Related papers: Integer points and their orthogonal lattices
Let $L$ be a finite lattice and let $I$ be an ideal of $L$. Then the restriction map is a bounded lattice homomorphism of the congruence lattice of~$L$ into the congruence lattice of $I$. In a 2009 paper, the authors proved the converse. In…
Graph partitioning, or the dividing of a graph into two or more parts based on certain conditions, arises naturally throughout discrete mathematics, and problems of this kind have been studied extensively. In the 1990s, Ando conjectured…
We consider isometric actions of lattices in semisimple algebraic groups on (possibly non-compact) homogeneous spaces with (possibly infinite) invariant Radon measure. We assume that the action has a dense orbit, and demonstrate two novel…
A marked lattice is a $d$-dimensional Euclidean lattice, where each lattice point is assigned a mark via a given random field on ${\mathbb Z}^d$. We prove that, if the field is strongly mixing with a faster-than-logarithmic rate, then for…
In 1960, G. Gr\"atzer and E.\,T. Schmidt proved that every finite distributive lattice can be represented as the congruence lattice of a sectionally complemented finite lattice $L$. For $u \leq v$ in $L$, they constructed a sectional…
In 1970 A. Baker and W. Schmidt introduced regular systems of numbers and vectors, showing that the set of real algebraic numbers forms a regular system on any fixed interval. This fact was used to prove several important results in the…
The consistency problem for a class of algebraic structures asks for an algorithm to decide for any given conjunction of equations whether it admits a non-trivial satisfying assignment within some member of the class. By Adyan (1955) and…
The Congruence Lattice Problem asks whether every algebraic distributive lattice is isomorphic to the congruence lattice of a lattice. It was hoped that a positive solution would follow from E. T. Schmidt's construction or from the approach…
We prove an estimate for the number of lattice points lying in certain non-convex Euclidean domains of interest in Diophantine approximation. As an application, we generalise a result of Kruse (1964) concerning the almost sure order of…
Let $H < G$ both be noncompact connected semisimple real algebraic groups where the former is maximal proper and $\Gamma < G$ be a lattice. Building on the work of Gorodnik-Weiss, we refine their techniques and obtain effective results.…
In 1919 A. Einstein suspected first that gravitational fields could play an essential role in the structure of elementary particles. In 1937, P.A.M. Dirac found a miraculous link between the properties of the visible Universe and elementary…
Carath\'eodory's conjecture has long been regarded as one of the central problems in the classical theory of convex surfaces. In this paper, we establish an index formula for hemispheres of convex closed surfaces under $C^2$-regularity. The…
Lorenzen's ``Algebraische und logistische Untersuchungen \"uber freie Verb\"ande'' appeared in 1951 in The Journal of Symbolic Logic. These ``Investigations'' have immediately been recognised as a landmark in the history of infinitary proof…
Integer compositions restricted by inequalities on certain pairs of parts were first considered by J\"{o}rg Arndt in 2013 and several variations have been studied recently. Here we consider a broad two-parameter generalization that scales…
In a previous paper {GN2} an effective solution of the lattice point counting problem in general domains in semisimple S-algebraic groups and affine symmetric varieties was established. The method relies on the mean ergodic theorem for the…
How to distribute a set of points uniformly on a spherical surface is a very old problem that still lacks a definite answer. In this work, we introduce a physical measure of uniformity based on the distribution of distances between points,…
Lorenz equations were first presented in 1963 by Edward Lorenz, they depend on three real positive parameters. For some of these parameters which are called T-points, there are two heteroclinic orbits connecting the three singular points in…
We prove a general categorical theorem that enables us to state that under certain conditions, the range of a functor is large. As an application, we prove various results of which the following is a prototype: If every diagram, indexed by…
For large ranks, there is no good algorithm that decides whether a given lattice has an orthonormal basis. But when the lattice is given with enough symmetry, we can construct a provably deterministic polynomial-time algorithm to accomplish…
This is a survey article on the theory of lattice points in large planar domains and bodies of dimensions 3 and higher, with an emphasis on recent developments and new methods, including a lot of results established only during the last few…