Related papers: On $p$-adic Transference Theorem

We study the model theoretic strength of various lattices that occur naturally in topology, like closed (semi-linear or semi-algebraic or convex) sets. The method is based on weak monadic second order logic and sharpens previous results by…

It was recently proved that the dualization in lattices given by implicational bases is impossible in output-polynomial time unless P=NP. In this paper, we~show that this result holds even when the premises in the implicational base are of…

In the seventies, V. G. Drinfeld proved that a moduli problem of deformations by quasi-isogenies of certain $p$-divisible groups with extra actions is representable by an explicit semi-stable model of the $p$-adic symmetric space. This…

We construct lattice action for five-dimensional maximally supersymmetric Yang-Mills theory. This supersymmetric lattice formulation can be used to explore the non-perturbative regime of the continuum target theory, which has a known…

For a partially ordered set P, we denote by Co(P) the lattice of order-convex subsets of P. We find three new lattice identities, (S), (U), and (B), such that the following result holds. Theorem. Let L be a lattice. Then L embeds into some…

Let $\lambda_k$ denote the $k$-th successive minimum of a lattice $L$. We study properties of the lengths of certain bases of $L$. If $v_1, \dots v_n$ is a basis which is reduced in the sense of Minkowski we show that $\lvert v_k \rvert^2…

Moir\'e lattices are aperiodic systems formed by a superposition of two periodic lattices with a relative rotational angle. In optics, the photonic moir\'e lattice has many appealing properties such as its ability to localize light, thus…

Given a lattice $\Lambda \subset \mathbb{R}^n$, we consider its Minkowski reduced basis and the solid angle $\Omega$ spanned by the basis vectors. Such a basis satisfies strong near-orthogonality conditions, which allow us to bound from…

Minkowski's second theorem on successive minima asserts that the volume of a 0-symmetric convex body K over the covolume of a lattice \Lambda can be bounded above by a quantity involving all the successive minima of K with respect to…

Our earlier article proved that if $n > 1$ translates of sublattices of $Z^d$ tile $Z^d$, and all the sublattices are Cartesian products of arithmetic progressions, then two of the tiles must be translates of each other. We re-prove this…

The exchange graph of a 2-acyclic quiver is the graph of mutation-equivalent quivers whose edges correspond to mutations. When the quiver admits a nondegenerate Jacobi-finite potential, the exchange graph admits a natural acyclic…

We prove that the excedance relation on permutations defined by N. Bergeron and L. Gagnon actually extends to a congruence of the lattice on alternating sign matrices. Motivated by this example, we study all lattice congruences of the…

The goal of this paper is to develop the theory of weighted Diophantine approximation of rational numbers to $p$-adic numbers. Firstly, we establish complete analogues of Khintchine's theorem, the Duffin-Schaeffer theorem and the…

We show that the first order theory of the lattice of open sets in some natural topological spaces is $m$-equivalent to second order arithmetic. We also show that for many natural computable metric spaces and computable domains the first…

We use Fourier methods to prove that if $n > 1$ translates of sublattices of $Z^d$ tile $Z^d$, and all the sublattices are Cartesian products of arithmetic progressions, then two of the tiles must be translates of each other. This is a…

This is a sequel to the author's book "Derived Langlands" which introduced an embedding of the category of admissible representations of a locally p-adic group in to the derived category of the monomial category of the group. This article…

Bilattices (that is, sets with two lattice structures) provide an algebraic tool to model simultaneously the validity of, and knowledge about, sentences in an appropriate language. In particular, certain bilattices have been used to model…

In this note we investigate some aspects of the local structure of finite dimensional $p$-Banach spaces. The well known theorem of Gluskin gives a sharp lower bound of the diameter of the Minkowski compactum. In [Gl] it is proved that…

For a locally compact abelian group $G$ a simple proof is given for the known fact that a bounded domain $\Omega$ tiles $G$ with translations by a lattice $\Lambda$ if and only if the set of characters of $G$ indexed by the dual lattice of…

In this article, we continue the study of monadic distributive lattices (or m-lattices) which are a natural generalization of monadic Heyting algebras, introduced by Monteiro and Varsavsky and developed exhaustively by Bezhanishvili. First,…