The euclidean-lattices tag has no wiki summary.

**3**

votes

**0**answers

72 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

76 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 ...

**9**

votes

**1**answer

207 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, ...

**5**

votes

**2**answers

148 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
...

**27**

votes

**1**answer

887 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 ...

**4**

votes

**2**answers

155 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

**0**answers

81 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 ...

**4**

votes

**2**answers

181 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\}$ ...

**3**

votes

**0**answers

87 views

### On one class of Euclidean lattices

Let $\Lambda\subset \mathbb Z^3$ be 3D lattice with a basis
$$a_1=\left(\begin{smallmatrix} a_{11} \\ a_{21}\\
a_{31}
\end{smallmatrix}\right),a_2=\left(\begin{smallmatrix} a_{12} \\ a_{22}\\
a_{32}
...

**9**

votes

**0**answers

157 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

88 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$ ...

**34**

votes

**3**answers

1k 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

126 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)$:
...

**7**

votes

**0**answers

150 views

### Lattice radial-step (ratchet) spirals

(30Oct13: Now solved; see Addendum.)
Define a curve, a ratchet spiral, $S(r_0,\epsilon)$ as follows, where $r_0 > 0$ and $\epsilon < 1$.
$S(r_0,\epsilon)$ begins with the arc ...

**5**

votes

**2**answers

447 views

### Is there a 3d equivalent of this picture?

This question arises apropos of an earlier question I asked that was (VERY!!!) helpfully answered by Anton Petrunin:
Fitting a mesh to a density function
The picture below is the image of a regular ...

**8**

votes

**4**answers

480 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 ...

**2**

votes

**2**answers

189 views

### Primitive orthogonal vectors/Unimodular matrices

Primitive sets of vectors are very important in the theory of point lattices, since they constitute the sets of vectors that are part of a basis for the lattice.
A set of integer vectors ...

**3**

votes

**1**answer

260 views

### The right conformal map to make a certain picture

This is a follow-up to a question I asked a year ago, which was helpfully answered by Anton Petrunin:
Fitting a mesh to a density function
I am trying to come up with a way to make a picture of an ...

**2**

votes

**0**answers

124 views

### A non-commutative ring from SU(2)

$SU(2)$, which will be regarded here as the group of unit quaternions under multiplication, has 3 conjugacy classes of finite subgroups which don't have cyclic subgroups of index 1 or 2. They are:
...

**0**

votes

**0**answers

138 views

### upper bound on the size of sumset of lattice points

Let $\Lambda$ be a lattice (discrete additive subgroup) in $\mathbb R^n$ ($n\geq 2$). In my problem, $\Lambda$ lies in a $k$ dimensional ($1< k\leq n$) subspace of $\mathbb R^n$. Let $A\subset ...

**3**

votes

**2**answers

247 views

### Empty lattice simplex or White's theorem

White has proved (White, G. K. Lattice tetrahedra -- Canad. J. Math. 16 1964 389–396.) the following theorem:
If $T$ is a closed tetrahedron and $\Lambda$ is a lattice which contains the vertices of ...

**10**

votes

**1**answer

258 views

### Identifying lattices

I wrote a program that numerically searches for lattices in $\mathbb{R}^d$ with high sphere packing densities. As I have been running the program, it has been able to find, in addition to well-known ...

**5**

votes

**2**answers

188 views

### Doubly covering an even lattice

I have read that there is a way to construct a group which is a double cover of an even lattice. The very tantalizing thing about this is that if the even lattice is chosen to be the Leech lattice, ...

**7**

votes

**2**answers

464 views

### Fitting a mesh to a density function

Suppose I have a probability density function defined on a region in the plane (in my case, the pdf is of the form $f(x) = \alpha\|x\|^{-\beta}$, and the region is the unit disk). For large $N$, is ...

**0**

votes

**0**answers

152 views

### Quadratic forms and 0-1 points.

I have a quadratic form $Q(u) = \langle Du , u \rangle = 0$, where $D$ is circulant-symmetric from $\mathbb{R}^{n \times n}$ $D$ has all entries $0$ or $1$ except the diagonal which a negative real ...

**5**

votes

**1**answer

416 views

### A 'generalized Four Squares Theorem'?

The $4$-dimensional lattice $\mathbb{Z}^{4}$ has vectors of length $\sqrt{n}$ for any positive integer $n$ by the Four Squares Theorem, but this need not be true for higher-dimensional integral, ...

**1**

vote

**0**answers

119 views

### A bounded function of the packing and covering density of lattices

Given a (finite-dimensional) lattice $L$ of an Euclidean vector-space, the function
$$L\longmapsto -\log(\hbox{packing density of }L)/
\log(\hbox{covering density of }L)$$
is bounded and bounded away ...