Related papers: On $p$-adic Transference Theorem
A bi-Heyting algebra validates the G\"odel-Dummett axiom $(p\to q)\vee (q\to p)$ iff the poset of its prime filters is a disjoint union of co-trees (i.e., order duals of trees). Bi-Heyting algebras of this kind are called bi-G\"odel…
Minkowski's First Theorem and Dirichlet's Approximation Theorem provide upper bounds on certain minima taken over lattice points contained in domains of Euclidean spaces. We study the distribution of such minima and show, under some…
This is a short survey illustrating some of the essential aspects of the theory of canonical extensions. In addition some topological results about canonical extensions of lattices with additional operations in finitely generated varieties…
We provide an alternative proof of a (local) T1 theorem for dual exponents in the non-homogeneous setting of upper doubling measures. This previously known theorem provides necessary and sufficient conditions for the L^p-boundedness of…
This paper provides a new proof of the $p$-adic Gross--Zagier formula for the $p$-adic $L$-function associated with the base change of a normalised cuspidal eigen-newform $f$ of weight $k \geq 2$ (and families of such) to an imaginary…
This paper explores two generalizations of the classical Aubin-Lions Lemma. First we give a sufficient condition to commute weak limit and multiplication of two functions. We deduce from this criteria a compactness Theorem for degenerate…
We obtain a derivative formula for various notions of capacity. Namely we identify the second order term in the asymptotic expansion of the capacity of a union of two sets, as their distance goes to infinity. Our result applies to the usual…
The purpose of this paper is to explain how the identities of various fundamental lemmas fall within the scope of the transfer principle, a general result that allows to transfer theorems about identities of p-adic integrals from one…
In this paper we define Diophantine exponents of lattices and investigate some of their properties. We prove transference inequalities and construct some examples with the help of Schmidt's subspace theorem.
Fracton theories possess exponentially degenerate ground states, excitations with restricted mobility, and nontopological higher-form symmetries. This paper shows that such theories can be defined on arbitrary spatial lattices in three…
Minkowski proved that any $n$-dimensional lattice of unit determinant has a nonzero vector of Euclidean norm at most $\sqrt{n}$; in fact, there are $2^{\Omega(n)}$ such lattice vectors. Lattices whose minimum distances come close to…
Erd\H{o}s and P\'{o}sa proved in 1965 that there is a duality between the maximum size of a packing of cycles and the minimum size of a vertex set hitting all cycles. Such a duality does not hold if we restrict to odd cycles. However, in…
We give a semantics for the lambda-calculus based on a topological duality theorem in nominal sets. A novel interpretation of lambda is given in terms of adjoints, and lambda-terms are interpreted absolutely as sets (no valuation is…
Given a continuous function from Euclidean space to the real line, we analyze (under some natural assumption on the function), the set of values it takes on translates of lattices. Our results are of the flavor: For almost any translate,…
An algebraic theory of dualities is developed based on the notion of bond algebras. It deals with classical and quantum dualities in a unified fashion explaining the precise connection between quantum dualities and the low temperature…
In this article we introduce theory and algorithms for learning discrete representations that take on a lattice that is embedded in an Euclidean space. Lattice representations possess an interesting combination of properties: a) they can be…
We provide and motivate in this paper a natural framework for the study of approximate lattices. Namely, we consider approximate lattices in so-called $S$-adic linear groups and define relevant notions of arithmeticity. We also adapt to…
We discuss a general framework for the realization of a family of abelian lattice gauge theories, i.e., link models or gauge magnets, in optical lattices. We analyze the properties of these models that make them suitable to quantum…
This paper deals with the Langlands' classification for discrete series of unitary quasi-split p-adic groups. We show that such a classification follows from Arthur's work on the simple trace formula which we can use now thanks to…
The main goal of the article is testing a new classification algorithm. To this end we apply it to a relevant problem of describing the integrable cases of a subclass of two-dimensional lattices. By imposing the cut-off conditions…