# Tagged Questions

A lattice in $\mathbb R^n$ is a discrete subgroup of $\mathbb R^n$ or, equivalently, it is a subgroup of $\mathbb R^n$ generated by linearly independent vectors. Lattices have applications in geometric number theory, e.g. via Minkowski's theorem.

2k views

### Pick's Theorem on a triangular (or hex) grid

Pick's theorem says that given a square grid consisting of all points in the plane with integer coordinates, and a polygon without holes and non selt-intersecting whose vertices are grid points, its ...
1k views

### Every integer vector in $\mathbb R^n$ with integer length is part of an orthogonal basis of $\mathbb R^n$

Suppose $\vec x$ is a (non-zero) vector with integer coordinates in $\mathbb R^n$ such that $\|\vec x\| \in \mathbb Z$. Is it true that there is an orthogonal basis of $\mathbb R^n$ containing $\vec x$...
292 views

2k views

### How to count lattice points on a line.

How can we count the number of lattice point on a line, given that the endpoints of the lines are themselves lattice points? I really can't think of how counting lattice points would work, so please ...
462 views

### Which internal angles can a lattice polygon have?

I am wondering if for a lattice polygon an internal angle can take any value? If no which ones not and why? I guess there will be some restrictions due to the discrete nature of the grid but I am ...
75 views

### Ideals of $\mathbb{Z}[i]$ geometrically

It is pretty easy to visualize the ideals of $\mathbb{Z}$ in the "integer line". Let's go up to $\mathbb{Z}[i]$ and consider the ideal $3\cdot\mathbb{Z}[i]$. We can visualize it as a "sub-lattice" ...
342 views

### Guaranteeing an integer lattice point centroid

My question is this: Writing $n(4)$ to be the minimum number of integer lattice points in the plane so that some four of them must determine an integer lattice point centroid, show that $n(4)=13$. I ...
299 views

### What is the easiest way to describe the Leech lattice explicitly?

I am aware that the Leech lattice is the unique even unimodular lattice in $\mathbb{R}^{24}$ with no norm $2$ vectors. However I am after a way to describe this lattice explicitly without reference ...
214 views

### Is there an algorithm to find a basis for the lattice $V \cap \Bbb{Z}^n$ given a basis for $V \subseteq \Bbb{Q}^n$?

This might be a stupid/very simple question, but since I can't quite seem to come up with a nice trick I will ask it anyway. Assume that we have a vectorspace $V \subseteq \mathbb{Q}^n$ given in the ...
782 views

### Projection of a lattice onto a subspace

Let $G$ be a $n \times n$ matrix with real entries and let $\Lambda = \{x^n \colon \exists i^n \in \mathbb{Z}^n \text{ such that } x^n = G \cdot i^n\}$ define a lattice. I am interested in projecting ...
86 views

### Determining if $\mathbb{Z}[a]$ is a discrete subring of $\mathbb{C}$.

Let $a \in \mathbb{C}$ and consider the ring $\mathbb{Z}[a]$. Is there some nice criterion which will tell me whether $\mathbb{Z}[a]$ is discrete in the sense that there is some $\delta >0$ such ...
164 views

### Placing a circle in a square lattice

Two part question. Consider the square lattice $\mathbb{Z}^2$: Imagine you are going to place a circle of radius $r$ somewhere in $\mathbb{R}^2$. Question 1: What is the radius of the largest ...
230 views

### Algebraic proof of Ehrhart's theorem

Let $P \subset \mathbb{R}^d$ be a $d$-dimensional polytope, where all vertices lie on integral coordinates, and let $L(P,n)$ denote the number of integral lattice points contained in the scaled ...
109 views

92 views

### Unimodular matrix to increase the minimum eigenvalue

Given a positive definite matrix $P$, I would like to find a unimodular matrix $U$ so that $U P U^T$ raises the minimum eigenvalue as much as possible. How can one find such a matrix $U$?
As a computer scientist and "armchair" mathematician, I'm trying to replicate the images found here of Abelian sandpiles on a square lattice, where the initial configuration is $n$ chips on a single ...
### Area of the lattice generated from $(n, n\sqrt{2} \mod 1)$
I plotted $\Big\{ (n, n \sqrt{2} \, \mathrm{mod} \,1) \;\Big| -50 \leq n \leq 50 \Big\}$ and even though the $n \sqrt{2}$ is a line, the pattern that emerges is a lattice. What is the basis of this ...