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.

learn more… | top users | synonyms

20
votes
5answers
1k 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 ...
16
votes
5answers
896 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 ...
15
votes
1answer
257 views

Hypercube and Hyperspheres

Let $n,k\in\mathbb{N}$. In this problem, the geometry of $\mathbb{R}^n$ is the usual Euclidean geometry. The lattice hypercube $ Q(n,k)$ is defined to be the set $ \{1,2,...,k\}^n ...
12
votes
2answers
2k views

Integer lattice points on a sphere

Suppose we have a sphere centered at the origin of $\mathbb{R^{n}}$ with radius $r$. Are there known theorems that state the number of integer lattice points that lie on the sphere? It seems like this ...
12
votes
2answers
488 views

Show $\binom{n}{k}\binom{k}{a} = \binom{n}{a}\binom{n-a}{k-a}$ by block-walking interpretation of Pascal's triangle

A combinatorial proof for the identity $$\binom{n}{k}\binom{k}{a} = \binom{n}{a}\binom{n-a}{k-a}$$ is the following "committee" argument, which seems the most common. There are $\binom{n}{k}$ ...
12
votes
1answer
420 views

Proving a complicated inequality involving integers

Let $a,b,c,d$ be integers such that $$\left( \begin{matrix} a & b \\ c & d \end{matrix} \right) = \left( \begin{matrix} 1 & 0 \\ 0 & 1 \end{matrix}\right) \mod 2$$ $$ ad-bc =1$$ ...
10
votes
1answer
247 views

Question about Pick's Theorem

Is there a Pick's Theorem for a general lattice in $\mathbb{R}^{2}$?
9
votes
2answers
680 views

Generalizing the 290 theorem.

I have only just come across the remarkable theorem of Conway about universal quadratic forms over $\mathbb{Z}$; namely that in determining whether a integer coefficient, positive definite quadratic ...
9
votes
2answers
686 views

Elementary proof that if $A$ is a matrix map from $\mathbb{Z}^m$ to $\mathbb Z^n$, then the map is surjective iff the gcd of maximal minors is $1$

I am trying to find an elementary proof that if $\phi$ is a linear map from $\mathbb{Z}^n\rightarrow \mathbb{Z}^m$ represented by an $m \times n$ matrix $A$, then the map is surjective iff the gcd ...
9
votes
2answers
311 views

Proving that $T$:$(x_1,…,x_n) \rightarrow (\frac {x_1+x_2}{2},\frac {x_2+x_3}{2},…,\frac {x_n+x_1}{2})$ leads to nonintegral components

Start with $n$ paiwise different integers $x_1,x_2,...,x_n,(n>2)$ and repeat the following step: $T$:$(x_1,...,x_n) \rightarrow (\frac {x_1+x_2}{2},\frac {x_2+x_3}{2},...,\frac {x_n+x_1}{2})$ ...
9
votes
1answer
515 views

Path (Feynman) Integrals over Graphs

I was thinking about Feynman integrals the other day and in particular about discretizing the paths. Does anyone know the lay of the land about what happens when you do path integrals over, say, a ...
9
votes
1answer
142 views

Modular parametrization of elliptic curve

Let $f$ be a cusp form of weight $2$ on $\Gamma_0(N)$ and assume that $f$ is a Hecke form and a newform. Then, we easily see that $$C(\gamma)=2i\pi \int_{\tau}^{\gamma \tau}{f(\tau')d\tau'} \quad ...
8
votes
2answers
290 views

Show that the matrix $A$ with integer entries is injective on the reals to $\mathbb{R}^m$ iff it is injective on the integer lattice.

Show that the $m \times n$ matrix $A$ with integer entries is an injective linear map from $\mathbb{R}^n$ to $\mathbb{R}^m$ iff it is injective as a linear map from $\mathbb{Z}^n$ to $\mathbb{Z}^m$. ...
8
votes
1answer
383 views

“Center-of-Mass” of lattice polygons (generalization of Pick's theorem)

Call a polygon with integer coordinates (in the Euclidean plane) a 'lattice polygon'. Pick's Theorem allows you to efficiently compute the number of lattice points inside this polygon given just its ...
7
votes
1answer
122 views

What is the limit $\lim\limits_{(x,y)\to(1,1),\ (x,y)\in S}(1-x^py^q)(1-x^ry^s)\sum_{p/q\le m/n\le r/s}x^my^n$?

Let $S=[0,1)^2$ and $m,n$ are positive integers and $p/q,r/s$ are positive rationals with $p/q<r/s$. What is the limit $$\lim\limits_{(x,y)\to(1,1),\ (x,y)\in S}(1-x^py^q)(1-x^ry^s)\sum_{p/q\le ...
7
votes
1answer
65 views

Orbits of action of $SL_m(\mathbb{Z})$ on $\mathbb{Z}^m$

I'm considering the action of $SL_m(\mathbb{Z})$ on $\mathbb{Z}^m$: if $A\in SL_m(\mathbb{Z})$ and $v\in\mathbb{Z}^m$, then $Av\in\mathbb{Z}^m$. My question is: what are the orbits of this action? ...
7
votes
0answers
248 views

How small parallelograms are we guaranteed to get, when we select the two sides from different plane lattices?

This a shortened version (motivation from telecommunications stripped away) of a question I asked in MO in late May (no answers). I am mostly checking, if somebody has seen this or a related question ...
6
votes
2answers
46 views

Which planar angles on an integer lattice are possible?

As shown in this question, you can construct an angle $A$ on 3 integer points on a plane only if $\tan A$ is rational. A natural generalization is to ask which values can planar angles based on 3 ...
6
votes
1answer
4k views

Integer solutions (lattice points) to arbitrary circles

Wolfram Alpha will provide integer solutions to arbitrary circle equations. I'm trying to understand how it's able to calculate them, but despite a fair bit of digging I haven't found any discussion ...
6
votes
1answer
95 views

How to eliminate some edges of a lattice to get exactly k paths?

We have an $n$ by $n$ lattice. We want to find a way to eliminate some edges, so that there are exactly $k$ paths from $(1,1)$ to $(n,n)$ of length $2n-2$. (this means our paths should be NE). I don't ...
6
votes
1answer
123 views

Power Functions on the Integers

Suppose $f:\mathbb{R}\to\mathbb{R}$ is of the form $f(x)=x^a$ for some $a\in\mathbb{R}^{+}$. If $f(\mathbb{Z})\subset\mathbb{Z}$, show that $a\in\mathbb{Z}$. Source: A friend posed this problem; not ...
5
votes
2answers
4k views

Lattice paths and Catalan Numbers

Starting in the top left corner of a 2×2 grid, and only being able to move to the right and down, there are exactly 6 routes to the bottom right corner. How many such routes are there through a ...
5
votes
2answers
296 views

Proving this identity $\sum_k\frac{1}{k}\binom{2k-2}{k-1}\binom{2n-2k+1}{n-k}=\binom{2n}{n-1}$ using lattice paths

How can I prove the identity $\sum_k\frac{1}{k}\binom{2k-2}{k-1}\binom{2n-2k+1}{n-k}=\binom{2n}{n-1}$? I have to prove it using lattice paths, it should be related to Catalan numbers The $n$th ...
5
votes
1answer
575 views

Shortest Non-Zero Vector in Integer Lattices with Given Points

There are two questions related to the shortest non zero vector problem that have left me scratching my head. Please bear with me as I describe the problem. Disclaimer: this is homework. For the ...
5
votes
1answer
201 views

Bézout's identity in higher dimensions?

I have an invertible rational matrix $C\in\text{GL}(n,\mathbb{Q})$ which works on lattice $\mathbb{Z}^{n}$. Can I write the resulting set in the following form $$C\cdot \mathbb{Z}^{n}=X\cdot ...
5
votes
1answer
126 views

Complex elliptic curve for the “conjugate” lattice

Let $\Lambda$ be a lattice in $\mathbb{C}$, and $E=\mathbb{C}/\Lambda$ the corresponding complex elliptic curve. Let $\bar{\Lambda}$ be the "conjugate" lattice, i.e. the one obtained by conjugating ...
5
votes
1answer
186 views

The lattice points of a f.g. rational cone form a f.g. monoid.

In their book "Polytopes, Rings, and K-Theory" Bruns and Gubeladze sketch an alternative approach to Gordan's Lemma, which is stated in the headline (f.g. = finitely generated). I don't understand the ...
5
votes
1answer
294 views

Convergence of Sum over Integer Lattice

Does the sum $$\sum_{z \in \mathbb{Z}^3\setminus \{(0,0,0)\}} \left( \frac{1}{|{\bf x} - {\bf z}|^2} - \frac{1}{|{\bf z}|^2} \right)$$ converge pointwise or even uniformly for $\varepsilon < |{\bf ...
4
votes
1answer
401 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 ...
4
votes
2answers
278 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 ...
4
votes
1answer
224 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 ...
4
votes
1answer
174 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 ...
4
votes
2answers
663 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 ...
4
votes
1answer
68 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 ...
4
votes
2answers
111 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 ...
4
votes
1answer
87 views

Lattice in a vector space of dim 2 over a valuated field.

I'm reading "Arbres, amalgames et SL2" of J.P. Serre, and something is not clear to me, but is to him :) Let $k$ be a field, with a discrete valuation $v$, ie a group epimorphism $v:k^\ast \to ...
4
votes
1answer
31 views

What is the significance of $SL(2, \mathbb{R} / SL(2, \mathbb{Z}))$ in studying lattices in geometry of numbers?

I was listening to a talk about lattices and the geometry of numbers and at one point they jumped from discussing a 2d lattice into discussing $SL(2, \mathbb{R})\ /\ SL(2, \mathbb{Z}))$ and it was not ...
4
votes
1answer
48 views

Integer solutions to a two variable equation.

For $m, n \in \mathbb{Z}$, show the only integer solutions to $f(m,n) = \displaystyle \frac{3^m(2^n+1)-2^{m+n}}{2^{m+n}-3^{m+1}}$ are $f(1, 2) = -7$, $f(0, 1) = -1$, and $f(0, 2) = 1$. More ...
4
votes
2answers
75 views

Looking for references on 'non-discrete lattices'

A lattice in $\mathbb{R}^n$ is a discrete subgroup that spans $\mathbb{R}^n$. Recently I've been running into a similar sort of object consisting of more than $n$ vectors in $\mathbb{R}^n$ and their ...
4
votes
1answer
36 views

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 ...
4
votes
0answers
123 views

Adelic lattices

Let $\mathbb{A} = \widehat{\mathbb{Z}} \otimes \mathbb{Q} \times \mathbb{R}$ be the adeles over $\mathbb{Q}$. In Deligne's article "Formes modulaires et representations de GL(2)" he states without ...
3
votes
1answer
3k views

How can I find the number of the shortest paths between two points on a 2D lattice grid?

How do you find the number of the shortest distances between two points on a grid where you can only move one unit up, down, left, or right? Is there a formula for this? Eg. The shortest path between ...
3
votes
3answers
97 views

Orthogonal Vectors in a 2D Lattice with minimum area

I came across an interesting problem in my research (not a mathematician). Here it goes: Suppose, there is a 2D lattice $\Lambda$ in the X-Y plane with basis vectors $\vec{a}$ and $\vec{b}$, which ...
3
votes
1answer
399 views

Generators of Special Linear Groups

Linear algebra and special-linear group experts please help: I learn that in principle one can generate this $M$ matrix form the $B_1$ and $B_2$ matrix below. Here $$ M=\begin{pmatrix} 0& 1& ...
3
votes
2answers
293 views

Are there 2D analogues for integer division and modular arithmetic?

Let's say you have a "parallelogram" of points $P = \{(0, 0), (0, 1), (1, 1), (0, 2), (1, 2)\}$. This parallelogram lies between $u = (2, 1)$ and $v = (-1, 2)$. Then for any point $n \in ...
3
votes
1answer
56 views

Lower-Bounding angles in integer Lattices

Given an $n \times n$ integer grid I chose any two grid points $a,b$, draw a line $l$ through $a$ and $b$ and measure the angle between $l$ and a horizontal line. I can do this for any grid point pair ...
3
votes
1answer
196 views

Theta series representation of lattices (Leech lattice, especially)

I'm reading now about theta series and its significance in researching self-dual, even lattices. Now, I found the wikipedia article about the Leech lattice, but I'm having trouble understanding where ...
3
votes
2answers
137 views

Prove that there is a basis of a lattice $\Lambda$ s.t. a reflection is of a certain form

Consider $\Lambda$ a lattice in $\mathbb{R}^2$. Let $S \in O(\Lambda)$ be a reflection, i.e. $\det S = -1$. Set $S_{1}= \begin{pmatrix} 1 & 0 \\ 0 & -1 \\ \end{pmatrix}$ and $S_{2}= ...
3
votes
1answer
100 views

Nonzero element of minimal length in a lattice?

Given two linearly independent vectors $a,b\in\mathbb{R}^2$ we form the lattice $L=\{ma+nb|m,n\in\mathbb{Z}\}$. Now, a proof starts with "choose a nonzero vector in $L$ of smallest length...". Why ...
3
votes
2answers
97 views

Smallest linear combination of a set of vectors

I'm searching for an algorithm to accomplish a (hopefully) simple task. If I have a set of vetors, (e.g. $\left( ...