Related papers: Sharp o-minimality and lattice point counting

Manin's conjecture predicts the distribution of rational points on Fano varieties. Using explicit parameterizations of rational points by integral points on universal torsors and lattice-point-counting techniques, it was proved for several…

It is shown that detailed and accurate information about the mass spectrum of the massive Schwinger model can be obtained using the technique of strong-coupling series expansions. Extended strong-coupling series for the energy eigenvalues…

In practical applications, lattice quantizers leverage discrete lattice points to approximate arbitrary points in the lattice. An effective lattice quantizer significantly enhances both the accuracy and efficiency of these approximations.…

For a presentation $\mathcal{A}$ of a transversal matroid $M$, we study the set $T_{\mathcal{A}}$ of single-element transversal extensions of $M$ that have presentations that extend $\mathcal{A}$; we order these extensions by the weak…

Two lattice points are visible from one another if there is no lattice point on the open line segment joining them. Let $S$ be a finite subset of $\mathbb{Z}^k$. The asymptotic density of the set of lattice points, visible from all points…

We show that coarse graining arguments invented for the analysis of multi-spin systems on a randomly triangulated surface apply also to the O(n) model on a random lattice. These arguments imply that if the model has a critical point with…

We study definably complete locally o-minimal expansions of ordered groups in this paper. A definable continuous function defined on a closed, bounded and definable set behave like a continuous function on a compact set. We demonstrate…

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 revisit Schnorr's lattice-based integer factorization algorithm, now with an effective point of view. We present effective versions of Theorem 2 of Schnorr's "Factoring integers and computing discrete logarithms via diophantine…

The illumination conjecture is a classical open problem in convex and discrete geometry, asserting that every compact convex body~$K$ in $\mathbb R^n$ can be illuminated by a set of no more than $2^n$ points. If $K$ has smooth boundary, it…

Motivated by the behavior of the trace pairing over tame cyclic number fields, we introduce the notion of tame lattices. Given an arbitrary non-trivial lattice $\mathcal{L}$ we construct a parametric family of full-rank sub-lattices…

We study observable sets for Schr\"odinger equations on combinatorial graphs. For one-dimensional lattice Schr\"odinger operators \(H=-\Delta_{\mathrm{disc}}+V\) with \(V(n)\to c\in\mathbb R\) as \(|n|\to\infty\), we prove that a set…

Given an o-minimal structure, we show that every definable (in this structure) mapping that is Lipschitz with respect to the inner metric can be approximated by $\mathscr{C}^1$ mappings that are Lipschitz with respect to the inner metric…

We investigate infinitary wellfounded systems for linear logic with fixed points, with transfinite branching rules indexed by some closure ordinal $\alpha$ for fixed points. Our main result is that provability in the system for some…

It is shown that, given any $k$-dimensional lattice $\Lambda$, there is a lattice sequence $\Lambda_w$, $w\in \mathbb Z$, with sub-orthogonal lattice $\Lambda_o \subset \Lambda$, converging to $\Lambda$ (unless equivalence), also we discuss…

In this paper we address the problem of finding well approximating lattices for a given finite set $A$ of points in ${\mathbb R}^n$. More precisely, we search for $\v{o},\v{d_1}, \dots,\v{d_n}\in \mathbb{R}^n$ such that $\v{a}-\v{o}$ is…

We consider the problem of finding lower bounds on the number of unlabeled $n$-element lattices in some lattice family. We show that if the family is closed under vertical sum, exponential lower bounds can be obtained from vertical sums of…

We say a lattice point $X=(x_1,\ldots,x_m)$ is visible from the origin, if $\gcd(x_1,...,x_m)=1$. In other word, there are no other lattice point on the line segment from the origin $O$ to $X$. From J.E. Nymann's result, we know that the…

A lattice reduction is an algorithm that transforms the given basis of the lattice to another lattice basis such that problems like finding a shortest vector and closest vector become easier to solve. Some of the famous lattice reduction…

We count flags of primitive lattices, which are objects of the form ${0}=\Lambda^{(0)}<\Lambda^{(1)}< \cdots <\Lambda^{(\ell)}= \mathbb{Z}^n$, where every $\Lambda^{(i)}$ is a primitive lattice in $\mathbb{Z}^n$. The counting is with…