All Questions
Tagged with lattices euclidean-lattices
48 questions
5
votes
1
answer
162
views
I believe that all facets of a Voronoi-cell of a lattice are centerally symmetric. Is my argument correct? Is this true?
So let $L$ be a full dimensional lattice in $\mathbb{R}^{n}$. Then the Voronoi-cell of the lattice are precisely the points in $\mathbb{R}^{n}$ that are at least as close to the origin, as to any ...
2
votes
1
answer
95
views
What's the name of this constant similar to that of Hermite's?
Recently i've been thinking about base reduction of lattices, and this constant similar to Hermites constant came up. Let $L$ be a lattice with basis $\mathbf{b}_{1},\ldots,\mathbf{b}_{n}$. We define ...
3
votes
0
answers
61
views
For which lattices L does the cluster of Voronoi regions abutting that of the origin have a lattice tiling of euclidean space?
Let L be a n-dimensional lattice (a discrete cocompact subgroup of n-space).
Let V0 denote the Voronoi region of the origin, and let C denote the union of V0 with all the Voronoi regions that share a ...
- 2,858
3
votes
1
answer
287
views
On shortest vector problem
Assume we have an oracle which gives the length of the shortest vector in a lattice. Given this oracle can we find the shortest vector in polynomial time?
- 13.9k
1
vote
0
answers
34
views
Does $2$ variable linear Diophantine equation in $NC$ imply $2$ dimensional shortest vector is in $NC$?
Consider the Linear Diophantine in known $a,b,c\in\mathbb Z$
$$ax+by=c.$$
Above can be solve by Extended Euclidean which is not in $NC$ as far as we know. It is clear if Extended Euclidean is in $NC$ ...
- 13.9k
1
vote
1
answer
111
views
Existence of some lattice path connecting all given lattice paths
My daily work concerns analysis on metric spaces and some time ago it turned out that the problem I am dealing with boils down to a certain combinatorial problem. I've checked a lot of examples and it ...
- 137
2
votes
0
answers
191
views
Mistake in Rogers' paper: "number of lattice points in a set" for the case $n=2$?
Let $f:\mathbb R^n\to \mathbb R$ be a nonnegative Borel measurable function, and
let $f^*$ be the function obtained from $f$ by spherical symmetrization (see Rogers' paper: number of lattice points in ...
- 457
4
votes
2
answers
194
views
How large is the set of unimodular lattices whose sucesssive minima cannot be attained by a basis of lattice?
Recall that the $i$-th successive minimum of $L\in \mathcal L$ (space of full rank lattices in $\mathbb R^d$), denoted $\lambda_i(L)$ is the infimum of the radii of the balls containing $i$-linearly ...
- 457
2
votes
1
answer
220
views
Proof of generalized Siegel's mean value formula in geometry of numbers
Let $\mu$ be the Haar measure defined on the space of unimodular lattices, identified with $\text{SL}(d,\mathbb R)/\text{SL}(d,\mathbb Z)$.
The classical Siegel's formula in geometry of numbers states ...
- 457
5
votes
2
answers
339
views
Successive minima and the basis of lattice
I am able to prove the following two propositions: Recall that the $i$-th successive minimum of $L\in \mathcal L$, denoted $\lambda_i(L)$ is the infimum of the radii of the balls containing $i$-...
- 457
2
votes
0
answers
115
views
Find the closest point of a lattice $\Lambda$ given the closest point for its union of cosets $\bigcup_i ({\bf r}_i+\Lambda)$
Suppose we have an $n$-dimensional lattice $\Lambda$, and a set of vectors ${\bf r}_i$, we can construct a union of cosets of $\Lambda$, denoted as $L$, as
$$
L \equiv \bigcup_i ({\bf r}_i+\Lambda)
$$
...
- 163
1
vote
0
answers
45
views
How to construct lattices with largest possible number of Voronoi relevant lattice vectors?
Let M be the generator matrix of a $N$ dimensional lattice, and $V$ the set of Voronoi relevant vectors. The Voronoi cell for the origin can be written as $\text{Vor}_{\bf 0}(M)=\left\{{\bf x}: |{\bf ...
- 163
4
votes
1
answer
248
views
Relation between positive roots of $E_8$ and $\mathbb{F}_2^8 \setminus \{0\}$
There exists an explicit bijection (due to Cayley, that has built up a very nice table to describe this) between the positive roots of the lattice $E_7$ and $\mathbb{F}_2^6 \setminus \{0\}$ (where $\...
- 3,779
2
votes
2
answers
164
views
The range of each of successive minima for all unimodular lattices
Let $\mathcal L$ be the space of unimodular (covolume one) lattices in $\mathbb R^d$. The $i$-th successive minimum of $L\in \mathcal L$, denoted $\lambda_i(L)$ is the infimum of the radii of the ...
- 1,565
1
vote
1
answer
137
views
Relationships among lattices U14, C2xG23, A15+ and their Delaunay polytopes
Do you have any references explaining the relationships among the lattices U14, C2xG23 aka Q14, and A15+?
Do you have any references explaining the relationships among these lattices and the 7D ...
- 53
0
votes
1
answer
445
views
Standard Gram matrices for lattices
I would like to define standard Gram matrices, and use them to help me understand the symmetries of lattices.
I define "standard Gram matrix" as the Gram matrix g that minimizes the ...
- 53
1
vote
0
answers
81
views
Intersecting lattices with surfaces in R^d
Let us fix some bounded surface $S\subset \mathbb{R}^d$. Let $x_1,\ldots, x_m$ be some non-zero vectors in $\mathbb{R}^d$. I am interested is the maximum number of points that the lattice $L_m=\{\sum ...
- 2,288
2
votes
1
answer
425
views
Tri-coloring of E8 lattice? Why is the Gram matrix of E8 not unique?
This question is about euclidean lattices, regular arrays of points in $\mathbb R^N$.
Why are there 3 Gram matrices for the E8 lattice? They are not related by a similarity transformation; they have ...
- 53
5
votes
2
answers
446
views
Lattices containing $A_n$ and $D_n$
How many lattices are there which contain both the $A_n$ and $D_n$ lattices of the same dimension as sublattices? So far, I’ve found examples in 1D, 3D, 8D, and 24D.
- 2,773
1
vote
1
answer
172
views
Minimal volume of fundamental domains of lattices
Consider a full rank integer lattice in $\mathbb{R}^n$. Let $v_1$ be the shortest non-zero vector in the lattice, $v_2$ be the shortest one among those not parallel to $v_1$, $v_3$ be the shortest one ...
- 591
4
votes
0
answers
134
views
Deep Holes of the tensor product of two lattices
Let $L_0, L_1$ be Euclidean lattices (say full rank) of dimension $n_i$. Let $\lambda_1(L_i)$ denote the length of the shortest vector of $L_i$, and let $\rho(L_i)$ denote the covering radius of $L_i$:...
- 2,183
7
votes
2
answers
922
views
what is the number of paths returning to 0 on the hexagonal lattice
I am looking for an estimation of the number of paths of length $n$ going from 0 to 0 on the hexagonal (or honeycomb) lattice.
I can find plenty on references on self avoiding paths, but I am looking ...
- 1,352
4
votes
1
answer
108
views
Closed cobounded additive submonoid of $\mathbb{R}^n$
Let $M$ be a closed additive submonoid of $\mathbb{R}^n$ with $n\geq1$. Suppose also that there exists $r>0$ such that every ball of radius $r$ intersects $M$. I wonder if we can obtain more ...
- 143
3
votes
0
answers
53
views
Selfsimilar lattices in $\mathbb R^d$
Let $\Lambda\subset \mathbb R^d$ a discrete subgroup, up to diminishing $d$ we assume it is of the form $A\mathbb Z^d$ with $A\in GL(d)$. Up to dilation we assume that the shortest vector in $\Lambda\...
- 2,041
2
votes
0
answers
86
views
Shortest vectors in tensor product and maximal lattices in tensor product
$\mathcal L$ and $\mathcal L'$ be full rank lattices in $\mathbb R^n$ with shortest vectors $v_1,\dots,v_n$ and $v_1',\dots,v_n'$ respectively where $$\|v_1\|_2\leq\dots\leq\|v_n\|_2$$
$$\|v_1'\|_2\...
- 13.9k
4
votes
2
answers
2k
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.
$...
- 225
5
votes
0
answers
217
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 ...
- 1,362
3
votes
1
answer
98
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 ...
- 1,099
4
votes
1
answer
150
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 ...
- 13.9k
2
votes
0
answers
120
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\...
- 13.9k
2
votes
2
answers
105
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=\...
- 13.9k
1
vote
1
answer
183
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),...
- 283
1
vote
1
answer
156
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
53
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 ...
1
vote
0
answers
104
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,\...
- 13.9k
0
votes
2
answers
318
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$ ...
- 501
5
votes
0
answers
129
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 ...
- 501
5
votes
1
answer
206
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 ...
- 129
2
votes
2
answers
653
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?
- 4,949
6
votes
0
answers
268
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 ...
- 5,971
0
votes
0
answers
231
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 ...
user76479
0
votes
0
answers
894
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 ...
10
votes
1
answer
1k
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 ...
- 2,521
6
votes
2
answers
318
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
...
- 47.4k
7
votes
2
answers
453
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 ...
- 679
5
votes
2
answers
513
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\}$ ...
- 9,497
9
votes
4
answers
958
views
Applications of n-dimensional crystallographic groups
I would like to know what are the applications of the theory of $n$-dimensional crystallographic groups (aka space groups)
1) in mathematics
2) outside of mathematics,
besides the applications to $...
0
votes
1
answer
604
views
Finding lattice with short basis-vectors containing given lattice
While working on understanding the space spanned by certain integer relations of real numbers I have come across the following problem. Given $v_1,\dots, v_n \in \mathbb{Z}^m$, I am would like to find ...
- 1