# Tagged Questions

The tag has no usage guidance.

547 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,...
49 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 ...
351 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).$$...
34 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$ ...
121 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$ ...
158 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 ...
85 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 ...
54 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 \|$...
236 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$?
344 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 ...
499 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 ...
417 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 ...
236 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 ...
287 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....
195 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 ...
1k 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 ...
205 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 ...
164 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 ...
254 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\}$ ...
238 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 ...
108 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$ ...
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 ...
144 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)$:   &...
177 views

(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 ...
571 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 ...
620 views

336 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 ...
143 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: ...
170 views

285 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 ...
219 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, ...
541 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 ...
162 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 ...
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, ...
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 ...