All Questions
Tagged with lattices mg.metric-geometry
76 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 ...
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
12
votes
1
answer
381
views
Do lattices with small covering radius have sublattices with small covering radius?
For me a lattice is a discrete subgroup of $\mathbb R^n$. The linear span of a lattice, written $\Lambda \otimes \mathbb R$, is the $\mathbb R$-vector subspace of $\mathbb R^n$ generated by $\Lambda$. ...
- 148k
1
vote
2
answers
276
views
Does $\mathbb Z^n$ contain $A_n$?
Are there any positive integer $n > 3$ such that the root lattice $A_n$ is contained in $\mathbb Z^n$?
- 646
6
votes
1
answer
180
views
Expected value of the length of the shortest non-zero vector in a lattice?
$\DeclareMathOperator\SL{SL}$What is the expected value of the length of the shortest non-zero vector in a (unimodular) lattice? I.e., let $G=\SL_n(\mathbb{R})$ with Haar measure $\mu$, $\Gamma=\SL_n(...
- 609
4
votes
0
answers
111
views
Advice on results for balls on regular $N$-dimensional grids
I have obtained some results regarding balls on regular $N$-dimensional grids. I would like expert opinion on wether the results are significant or interesting enough for (trying to) publish them in a ...
- 337
4
votes
1
answer
267
views
Characterizing the D4 lattice as a sphere packing
Suppose I pack spheres in $\mathbb{R}^4$ in such a way that each touches 24 others. (All spheres in my question are assumed to have equal radius and be non-overlapping.) Does this packing ...
- 22.3k
5
votes
0
answers
159
views
Is fundamental group of a finite volume, negatively curved, cusped manifold a non-uniform lattice?
$\DeclareMathOperator\Mob{Mob}$Some background: (1) A Riemannian manifold $M$ is pinched negatively curved if there is a constant $\tau<\kappa<0$ such that all the sectional curvatures are ...
- 51
2
votes
1
answer
588
views
Kissing number lower bound vs. upper bound - precise meanings?
According to en.wikipedia.org, https://en.wikipedia.org/wiki/Kissing_number#Some_known_bounds
It says the kissing numbers $K$ have lower bound $K_L$ and upper bound $K_S$:
$$
K_L < K < K_U.
$$
I ...
- 447
0
votes
1
answer
199
views
Leech lattice shortest vector vs other 23 cases and E8 cases
In this paper by Viazovska, she said that:
"The E8-lattice sphere packing 𝒫E8 is the union of open Euclidean balls with centers at
the lattice points and radius $1/\sqrt{2}$." So I think ...
- 447
1
vote
0
answers
77
views
Lattice packing
Let $\Lambda$ be a lattice in $R^n$ and $R>0$ a real number.
Consider the number $N$ of points in $\Lambda$ of norm less than $R$. Let $R$ goes to infinity. What can be said about the asymptotic ...
- 237
1
vote
0
answers
47
views
Barnes-Wall lattices’ contact polytopes
The contact polytopes of the Barnes-Wall lattices in 1, 2, 4, and 8 dimensions are all uniform polytopes. Is this true in any higher number of dimensions?
- 2,773
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
10
votes
0
answers
533
views
Kissing the Monster, or $196,560$ vs. $196,883$
The $D = 24$ kissing number is $196,560$, and the dimension of the smallest non-trivial complex representation of the Monster group is $196,883$. These two numbers are nearly but not quite equal, and ...
- 209
1
vote
1
answer
90
views
Affine semigroup generating a lattice
This is a cross-post from MSE.
Everything is assumed to be finite-dimensional. Let $S$ be a finitely generated affine semigroup (i.e. a subsemigroup of a lattice $N$ of a Euclidean space). Assume that ...
- 1,374
2
votes
0
answers
95
views
Is there an exact solution for the number of points within a circle of radius r for an honeycomb lattice?
I want to ask if exists an exact solution for the number of points within a circle of radius r for an honeycomb lattice.
I know that it is exist for an square lattice https://mathworld.wolfram.com/...
- 31
0
votes
1
answer
937
views
The exact number of points within a circle of radius r centered on a lattice point in a hexagonal lattice? Review expression Gauss circle problem
In the case of a square lattice, the exact number of points within a circle of radius r centered in the center is (see: http://mathworld.wolfram.com/GausssCircleProblem.html:
$$N(r)=1+4Floor(r)+4 \...
- 31
3
votes
1
answer
133
views
Lattice-like structure with maximum spacing between vertices
I'll first describe my problem in layman's terms. I have a map with $m$ countries and I want to color each country with a different color (this has nothing to do with the 4-color theorem). How do I ...
- 3,098
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
1
vote
0
answers
48
views
Short lattice vectors in the complement of a hyperplane
Suppose that $\Lambda \subseteq \mathbb{R}^n$ is a lattice and $H \subseteq \mathbb{R}^n$ is a hyperplane such that $H \cap \Lambda$ has rank $n - 1$. I would like to know an upper bound on the ...
5
votes
1
answer
190
views
Number of distinct normalized vectors from the center of a hexagon in a hexagonal grid
Consider an infinite hexagonal grid composed of regular hexagons. Choose any hex to be the origin hex. Let n be a natural number.
Find an expression, in terms of n, for the number of distinct ...
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
9
votes
1
answer
204
views
Which unimodular lattices $L\subset \mathbb R^2$ minimize $f_t(L):=\sum_{ v\in L} e^{-t \|v\|_2}$? (for parameters $t>0$)
$\DeclareMathOperator\SL{SL}\DeclareMathOperator\SO{SO}$Consider the lattices in $\SL(2,\mathbb R)(\mathbb Z^2)$ up to rotation. The space of such lattices can be identified with the modular surface $\...
- 241
3
votes
1
answer
174
views
Dense and decodable lattices in high dimensions
We are currently looking for both dense and decodable lattices.
Precisely, we want a lattice which CVP can be solved in polynomial time like $O(n^2)$ or $O(n^3)$ where $n$ is the dimension like 128 or ...
- 31
2
votes
0
answers
155
views
density of lattices
I'm looking for references pertaining to the remark at the bottom of p.18 of Conway-Sloane, "Sphere Packings, Lattices and Groups" (3rd ed), henceforth referred to as "SPLG".
First,...
- 519
1
vote
0
answers
124
views
Number of lattice points in a structural symmetric convex body
Let $f$ is a convex symmetric function on the interval $[-a,a]$, i.e., $f(-x)=f(x)$ for $\forall \, x\in [-a,a]$. Then we consider a $n$-dimensional convex body in Euclidean space
\begin{equation}
\...
- 550
3
votes
1
answer
381
views
Source on counting lattice points on a line
Looking for a book or article on the result linked below. The result tells us that the number of lattice points on a line between points $(a,b)$ and $(c,d)$ is given by $\gcd(a-c,b-d)+1$.
https://math....
- 45
1
vote
1
answer
122
views
Property of convex polygons on integer lattice structures
Another graduate student and I are working on an research project and are looking for a paper or other source that has a proof for a result about polygons on an integer lattice structure. Suppose you ...
- 45
3
votes
1
answer
302
views
number of integer points inside a triangle and its area
Let $T$ be a triangle in $\mathbb{R}^2$ defined by $y = \alpha x$, $y = \beta$ and $x = \gamma$ where
$\alpha, \beta, \gamma \in \mathbb{R}_{>0}$. I am interested in obtaining an estimate for the ...
- 3,625
10
votes
0
answers
495
views
A lattice with Monster group symmetries
The book Mathematical Evolutions contains the following excerpt:
A last, famous, example is the following. It is known that in the space
of one hundred and ninety six thousand eight hundred and ...
- 12.4k
4
votes
0
answers
94
views
Getting more out of Minkowski's convex body theorem in the case of non-convex bodies
Problem. In number theory one generally proves the finiteness of the Picard group of a number field using Minkowski's convex body theorem. The actual body $S_p$ of interest in the proof, depending on ...
- 141
1
vote
1
answer
228
views
Lattice points in hypercubes
Let $ (\Lambda_n) $ be a family of lattices, $ \Lambda_n \subset \mathbb{Z}^n $, with $ \det\Lambda_n \sim n $ as $ n \to \infty $ (meaning $ \lim_{n\to\infty} n^{-1} \det\Lambda_n = 1$). I am ...
- 503
5
votes
1
answer
190
views
Finding a superbase in a lattice of Voronoi first kind
An $n$-dimensional lattice in $\mathbb R^n$ is said to be of Voronoi’s first kind if it there exists $n+1$ vectors $b_1,\cdots b_{n+1}$ (called the superbase) such that
$\{b_1,\ldots,b_n \}$ is a ...
user14875
4
votes
1
answer
293
views
Number of points in a lattice and an oblong box
I have a very simple question in geometry of numbers. (It is a slight modification of Counting points on the intersection of a box and a lattice .) There's a bound I can easily prove, and it's good ...
- 20.2k
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
1
vote
1
answer
190
views
What information about the lattice $\Lambda$ can be recovered from the metric space $\mathbb{R}^n/\Lambda$?
Let $\Lambda\subset\mathbb{R}^n$ a lattice, i.e., a discrete subgroup that spans $\mathbb{R}^n$. Now we can look at the torus $T=\mathbb{R}^n/\Lambda$ which naturally carries the metric $d_T$ induced ...
- 3,031
10
votes
1
answer
648
views
Does every positive-definite integral lattice admit an angle-preserving homomorphism into $\Bbb Z^n$ for some $n$?
Some initial clarifications
By lattice I mean an additive subgroup of $\mathbb R^n$ which is isomorphic to $\mathbb Z^n$ and has full rank (i.e. spans $\Bbb R^n$ when considered as set of vectors). A ...
- 13.6k
3
votes
1
answer
553
views
Lattice projections
I imagine the following result is folklore
Theorem. Those $k$-dimensional subspaces $\zeta \subset \mathbb{R}^n$ $(1 \leq k \leq n-1)$ for which the orthogonal projection of the lattice $\mathbb{Z}^n$...
- 13.5k
9
votes
0
answers
365
views
How to count integer lattice points close to a subspace of $\mathbb R^n$?
Consider $m$ linearly independent vectors in $n$-dimensional Euclidean space, $v_1,...,v_m \in \mathbb R^n$ where $1\leq m<n$, and let $U := {\rm span}(v_1,...,v_m)$ denote the $m$-dimensional ...
- 686
5
votes
0
answers
107
views
How well can a rotation separate lattice vectors of equal norm in Z^d?
I'm interested in rotations $R$ that maximally separate integral lattice vectors of equal norm. This question is preliminary, and regards the scaling of those separations as norm goes to infinity.
...
- 271
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
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
3
votes
2
answers
202
views
Existence of lattices whose circles have bounded number of points
For any plane lattice $\Lambda= \{ mA+nB: m,n \in \mathbb Z \}$, with $A,B$ linearly independent vectors in $\mathbb R^2$, we define the set of the circles in $\Lambda$ as
$$\mathcal K(\Lambda) = \...
- 315
33
votes
3
answers
3k
views
Understanding sphere packing in higher dimensions
In a recent publication by the Ukrainian mathematician Maryna Viazovska the Kepler problem for dimension $8$ and $24$, namely the densest packing of spheres, was solved.
Admittedly it is very ...
user88381
4
votes
1
answer
242
views
Closest point to a dual lattice point (in particular for root lattices!)
Given a lattice $\Lambda\subset \mathbb{R}^n$ and a point $p\in\mathbb{R}^n$ outside the lattice, then I known it is a hard question to determine the set $S\subset \Lambda$ of all lattice points with ...
- 1,846
8
votes
1
answer
224
views
Translative packing constant strictly larger than lattice packing constant
Simply put, my question is this: what is the smallest dimension, if any,
where we can know for sure that a convex body exists whose translative
packing constant is strictly larger than its lattice ...
- 5,971
30
votes
0
answers
747
views
Is there an Ehrhart polynomial for Gaussian integers
Let $N$ be a positive integer and let $P \subset \mathbb{C}$ be a polygon whose vertices are of the form $(a_1+b_1 i)/N$, $(a_2+b_2 i)/N$, ..., $(a_r+b_r i)/N$, with $a_j + b_j i$ being various ...
- 156k
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