The euclidean-lattices tag has no usage guidance.

**3**

votes

**2**answers

303 views

### Can we count the number of integer lattice points in this case?

Gauss Circle problem gives the number of lattice points lie within a circle of radius $r$. This question points to a reference that estimates the number of lattice points in a $d−$dimensional ball.
$...

**14**

votes

**0**answers

227 views

### The Monster Moonshine Module from the engineering or algorithmic point of view

From what I understand (see, e.g., this question), the Monster Moonshine Module is a kind if "third generation" (or "second quantization"?) after the Golay code (with automorphism group $M_{24}$) and ...

**6**

votes

**0**answers

105 views

### Tiling with incommensurate triangles

Say that two triangles are incommensurate if they do not
share an edge length or a vertex angle, and their areas differ.
Suppose you'd like to tile the plane with pairwise incommensurate triangles.
I ...

**5**

votes

**0**answers

179 views

### Isomorphism classes of lattices

Suppose we have a $4 \times 6$ matrix $A$ of rank $4$ whose entries are rational numbers. Define
$$
V = \{x \in \mathbb R^6 \mid A \cdot x = 0\}
$$
and
$$
\Lambda = \{x \in \mathbb Z^6 \mid A \cdot ...

**7**

votes

**0**answers

85 views

### Counting symmetric convex bodies with no nonzero lattice point in the interior

In order to estimate the size of the torsion in the algebraic $K$-groups of $\mathbb Q$ one needs to understand the homology of $\mathrm{GL}_n(\mathbb Z)$, or alternatively, the homology of the space ...

**3**

votes

**1**answer

128 views

### Distance for $GL_n(\mathbb{R})/GL_n(\mathbb{Z})$

One can define the convergence of a sequence $(\Lambda_k)_k$ of full rank lattices as folow : $(\Lambda_k)\underset{k\rightarrow +\infty}{\longrightarrow} \Lambda \iff \forall k\in \mathbb{N} ,\exists ...

**0**

votes

**1**answer

67 views

### Existence of linearly indépendants vectors reaching each minima of a lattice

I was wondering : given a full rank lattice $\Lambda$ of $R^n$ (a discrete subgroup spanning $R^n$) the successive minima of $\Lambda$ are for $1\leqslant i \leqslant n$ $\lambda_i= \min\{r>0 \mid \...

**5**

votes

**0**answers

712 views

### Fractal covering of a plane with complex-base numeral systems - is periodicity necessary?

Taking a base $z$ positional numeral system with digits $a_k\in \{0,\ldots,n-1\}$:
$$s:\left\{(a_k)\in\{0,\ldots,n-1\}^{\mathbb{Z}}: \exists_K \forall_{k>K} \ a_k=0\right \}\to \sum_{k\in\mathbb{...

**2**

votes

**0**answers

25 views

### Periodicity of density of laminated lattices

In Sphere Packings, Lattices and Groups, Conway and Sloane explore laminated lattices. If we let $X_d$ be the set of $d$-dimensional Euclidean lattices where every pair of points are separated by ...

**3**

votes

**0**answers

48 views

### Lattice basis reduction over rings of number fields

Can one use lattice basis reduction algorithms, such as LLL over (low-rank) module lattices over rings of number fields of degree greater than 1? Is there any work on lattice reductions over Euclidean ...

**4**

votes

**1**answer

128 views

### On necessary condition for no integer points in polytope

For a convex polytope $\mathcal K$ in $\Bbb R^n$ presented by $O(n^c)$ linear inequalities is it true that for $|\mathcal K\cap \Bbb Z^n|=0$ it is necessary that at least one axis of John's ellipsoid ...

**2**

votes

**0**answers

90 views

### Gap in Successive minima on lattice spanned by rational and integer combination of integer vectors

We are given a rank $r$ matrix $B\in\Bbb Z^{k\times n}$ where $0\leq r\leq k\leq n$ holds.
We have
$$\mathcal L_\Bbb Z=\{uB\in\Bbb Z^n:u\in\Bbb Z^k\}\subseteq\mathcal L_\Bbb Q=\{uB\in\Bbb Z^n:u\in\...

**2**

votes

**2**answers

90 views

### Integer points spanned by real, rational and integer combination of integer vectors

We are given a rank $r$ matrix $B\in\Bbb Z^{k\times n}$ where $0\leq r\leq k\leq n$ holds.
We have $\mathcal L_\Bbb Z\subseteq \mathcal L_\Bbb Q\subseteq\mathcal L_\Bbb R$ where
$$\mathcal L_\Bbb Z=\...

**1**

vote

**1**answer

75 views

### Closest vertex in a 3D fcc lattice

The 3D fcc (face-centered-cubic) lattice, which has the same packing ratio as the 3D hexagonal close packed lattice, has the following 12 vectors connecting each vertex with its neighbors:
$(1,-1,0),...

**2**

votes

**1**answer

135 views

### “Sparse” Theta Series

The number of integer points with a given norm in the integer grid $\mathbb{Z} \times \mathbb{Z}$ may be calculated via the generating function
$$\theta_3(q)^2= \left(\sum_{n \in \mathbb{Z}} q^{n^2}\...

**11**

votes

**1**answer

188 views

### The lattice handshake number (“nearly kissing” number)?

Update: I'm happy to say that this question has been made essentially obsolete by the breakthrough result of Serge Vlăduţ, who showed that the kissing number is exponentially large: https://arxiv.org/...

**1**

vote

**1**answer

100 views

### Densest sphere packing for a given lattice

There is a great deal of fascinating work on the sphere packing problem. I was wondering if there exist methods to find the densest possible packing of a sublattice of a given lattice. In particular, ...

**2**

votes

**0**answers

34 views

### Bound on the fundamental region of a sublattice of a Niemeier Lattice

I am working with an 18 dimensional lattice, $W$ say, primitively embedded into a given Niemeier lattice $\mathcal{N}_i$. I am trying to figure out the following: what is the smallest possible ...

**6**

votes

**0**answers

136 views

### Positive-definite lattice with O(n,n) Gram matrix generated by minimal vectors

Consider a positive-definite $2n$-dimensional lattice with minimum norm $\mu$. It is sometimes possible to find a generating set of minimal vectors for the lattice such that the Gram matrix takes the ...

**2**

votes

**0**answers

49 views

### Configurations of minimal vectors for a 4-dimensional symplectic lattice

The possible configurations of minimal vectors for a 4-dimensional lattice are known for ages, but what about symplectic lattices ? If a 4-dimensional symplectic lattice $\Lambda$ has two minimal ...

**1**

vote

**0**answers

93 views

### On dimension of Segre embedding of lattice translations

Consider three lattices $L_1$, $L_2$ in $\Bbb Z^{n+1}$ and $L$ in $\Bbb Z^{2n+1}$.
Let $L_1+v_1$, $L_2+v_2$ and $L+v$ be their respective translationsfor some $v_1,v_2\in\Bbb Z^{n+1}\backslash\{(0,\...

**0**

votes

**2**answers

243 views

### Lattice question

Consider a lattice $\mathcal{L} = \mathbb{Z}v_1 \oplus \ldots \oplus \mathbb{Z}v_l$ in $\mathbb{R}^n$ and let $S_0$ be the set of edges of the fundamental unit of $\mathcal{L}$. We call a region $X$ ...

**5**

votes

**0**answers

96 views

### Lattice paths in polytopes

Let $P$ be a polytope in $\mathbb{R}^n$. Let $A_ix = b_i$ be the defining equations of its codimension $1$ faces. Is there an algorithm or some kind of criterion to decide if the lattice points inside ...

**3**

votes

**1**answer

142 views

### lattice with Voronoi cell inside a circle

This considers real-valued lattices in two dimensions.
I need to find the densest lattice $\Lambda$, i.e., the one with the smallest determinant of its generator matrix, such that the Voronoi cell of ...

**2**

votes

**2**answers

246 views

### What is the spinor genus of the Leech lattice?

The Leech lattice and the 23 Niemeier lattices make a single genus. How does it break up into spinor genera?

**6**

votes

**0**answers

175 views

### Bound on the determinant of a quadratic form restricted to a subspace

Let $Q\colon \mathbb{Z}^{n}\oplus\mathbb{Z}^m\to\mathbb{R}$ be a real quadratic form, which we denote $Q(x,y)$, $x\in\mathbb{Z}^n$, $y\in\mathbb{Z}^m$. Suppose:
The minimum of $Q(x,y)$ as $y$ varies ...

**2**

votes

**1**answer

222 views

### Smallest angle among two lines in an n × n grid

Does anybody have a reference answering the following (at least for me surprisingly non trivial) question?
Given an $n \times n$ integer grid, what is the minimum angle between any two distinct lines,...

**22**

votes

**1**answer

592 views

### Does $E_8$ know $Spin(7)$?

One way to define the compact group $Spin(7)$ is as the stabilizer of a certain 4-form on Euclidean $\mathbb R^8$ (see e.g. this MO question). This 4-form can be defined in various ways. For example,...

**1**

vote

**0**answers

231 views

### How to count the number of shortest paths in a 2x2 grid? [closed]

Say that we have a 2x2 regular grid or network. We label the nodes 0 to 3 row-wise. Then, for each node, we want to compute the number of shortest paths that pass through them.
I have a Python code ...

**16**

votes

**2**answers

408 views

### what is the equivalent of the Euler constant for higher dimensional lattices

Let $\Lambda$ be a unimodular lattice in $\mathbb R^d$. Then there are constants such that
$$\sum_{\substack{\gamma\in \Lambda\\0<|\gamma|<R\\}} \frac{1}{|\gamma|^d} = c_1 \log R + c_2 + o(1).$$...

**1**

vote

**0**answers

48 views

### Lattice points with next-largest norm [closed]

In a 2D integer grid, the points in increasing distance from the origin are:
$(0,0)$
$(\pm1,0)$ and $(0,\pm1)$
$(\pm1,\pm1)$
etc
By symmetry we need only consider one-eighth of the lattice, $x\ge0$ ...

**9**

votes

**0**answers

160 views

### Boomerangs in Polya's orchard

Polya's orchard problem asks for what radius $r$ of trees
at each lattice point within a distance $R$
of the origin block all lines of sight to the exterior of the orchard.
The answer is known; $r$ ...

**0**

votes

**0**answers

178 views

### Writing integers in ring of integers of number fields

Given $a,b\in\Bbb N$, we can write $a=a_tb^t+a_{t-1}b^{t-1}+\dots+a_1b+a_0$ where $t=\lceil\log_ba\rceil$ and $a_i<b<a$.
(1) Supposing if $b\in\mathcal{O}_K$ where $\mathcal{O}_K$ is ring of ...

**2**

votes

**0**answers

112 views

### Listing all Lattice Points in a Box

Let $B := [-1,1]^n$ be an $n$-dimensional box. Moreover, let $v_1,\ldots,v_n \in \mathbb{R}^n$ form a basis of $\mathbb{R}^n$, where the entries of the $v_i$ are explicitly irrational. We can assume ...

**3**

votes

**0**answers

77 views

### Enumerating 1-Lipschitz functions on an integer grid

Let $G$ denote an integer grid consisting of $\{0,\dots,m\}\times\{0,\dots,n\}$. An integer-valued function $f:G\to\mathbb{Z}$ is said to be 1-Lipschitz if it satisfies $|f(x) - f(y)| \leq \| x-y \|$...

**7**

votes

**1**answer

328 views

### Upper bound for the number of integral points in a convex set

Let $K \subset \mathbb{R}^3$ be a bounded convex set such that the points with integer
coordinates in $K$ are not all coplanar. Is it true that $|K \cap \mathbb{Z}^3| \leq 6{\rm Vol}(K) + 3$?

**0**

votes

**0**answers

676 views

### Number of lattice points in a given triangle

Given a triangle with real coordinates, does anybody know how to find the number of lattice points contained within it? What if the points are only rational? I know Pick's formula can be used for the ...

**6**

votes

**3**answers

629 views

### Probability that a self-avoiding walk on $\mathbb{Z}^3$ closes to a polygon

The probability that a random walk on $\mathbb{Z}^3$ returns to the origin is about 34%.
This is (part of)
Pólya's theorem.
I have been looking for an analogous (numerical) result for the probability
...

**7**

votes

**1**answer

761 views

### Given a positive-definite integral unimodular Gram matrix, how to find a basis of the associated lattice (over $\mathbf Q$)?

Let $G$ be a $n\times n-$symmetric matrix with integral coefficients and determinant $1$ (i.e. unimodular) such that the associated quadratic form is positive-definite.
I am interested in having an ...

**3**

votes

**1**answer

277 views

### Covering points with a shortest lattice spiral

Let $S$ be a finite set of lattice points in $\mathbb{Z}^2$.
My question is, roughly:
Q. How can a shortest lattice spiral that passes through
every point of $S$ be found?
A lattice spiral (my ...

**10**

votes

**1**answer

375 views

### A random variation on Polya's orchard problem

Polya's orchard problem is as follows:
"How thick must the
trunks of the trees in a regularly spaced circular orchard grow if they are
to block completely the view from the center?"
See, e.g.,
...

**6**

votes

**2**answers

221 views

### Covolume of the row span of a matrix and of the kernel of a matrix

Let $L$ be a $k$-dimensional lattice in $\mathbb{R}^n$. The covolume
$\hbox{CoVol}(L)$ of $L$ is the $k$-dimensional volume of a
fundamental domain for $L$, i.e., the volume of the parallelopiped
...

**38**

votes

**2**answers

2k views

### Can we find lattice polyhedra with faces of area 1,2,3,…?

I asked this question two months ago on MSE, where it earned the rare
Tumbleweed badge for garnering zero votes, zero answers, and 25 views over 61 days.
Perhaps justifiably so! Here I repeat it with ...

**5**

votes

**2**answers

275 views

### Bound on Minimal Length of Vectors in Lattice and its Dual Lattice

Let $\Lambda$ be a lattice in $\mathbb{R}^n$ and $\Lambda^\ast$ its dual lattice. Let $d=\min_{v\in\Lambda} (v,v)$ and $d^\ast =\min_{v\in\Lambda^\ast} (v,v)$ be the minimal squared lengths of vectors ...

**2**

votes

**1**answer

198 views

### The number of different lattice triangles

Two convex lattice polygons are equivalent if there is a lattice-preserving affine transformation mapping one of them to the other. Equivalent polygons have the same area. Let $H(A)$ denote the number ...

**5**

votes

**2**answers

345 views

### Even unimodular lattices with root system $32 A_1$

I'm studying Venkov's proof of the classification of even unimodular rank 24 lattices, and it prompted the following question.
For an even unimodular lattice $L$, let $R(L)= \{ x \in L : (x,x) =2\}$ ...

**12**

votes

**0**answers

323 views

### Multiplicity of ball covering

Background. My questions are motivated by the following:
A. Conway and Sloane in "On the covering multiplicity of lattices" (Discrete
and Computational Geometry, 8 (1992) 109-130) considered the ...

**3**

votes

**0**answers

119 views

### Lattices achieving best density

Let $\Lambda \subset \mathbb{R}^n$ be an Euclidean lattice with generator matrix $B$. Define the center density $\delta(\Lambda)$ in the usual way as $\delta(\Lambda) = \rho^n/|\det{B}|$, where $\rho$ ...

**42**

votes

**3**answers

2k views

### What fraction of the integer lattice can be seen from the origin?

Consider the integer lattice points in the positive quadrant $Q$ of $\mathbb{Z}^2$.
Say that a point $(x,y)$ of $Q$ is visible from the origin if the
segment from $(0,0)$ to $(x,y) \in Q$ passes ...

**3**

votes

**2**answers

153 views

### Lattice-point-free buffers around circles

Let $C(r)$ be the origin-centered circle of radius $r$,
and let $\beta(r)$ be the exterior buffer around $C(r)$:
the distance from $C(r)$ to the closest lattice point exterior to $C(r)$:
&...