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

4
votes
1answer
43 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 ...
2
votes
1answer
80 views

Why is Minkowski's Theorem so powerful?

Minkowksi's Convex Body Theorem is evidently pretty powerful, as it yields swift proofs of Fermat's Two Square and Lagrange's Four Square Theorems. Also, Minkowski's bound on class number and the ...
1
vote
0answers
54 views

Finding a basis for a particular integer lattice

The following problem arose in the context of string theory. I hope someone here might provide some guidance or a solution... Our starting point is: i) an integer-lattice $L\subset\mathbb R^n$ ...
2
votes
1answer
56 views

Simple question about lattices in $\mathbb{C}$

Milne's Modular Functions and Modular Forms states, at the bottom of page 10: We can normalize our lattices so they are of the form $$\Lambda(\tau) := \mathbb{Z} \cdot 1 + \mathbb{Z} \cdot ...
6
votes
1answer
93 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 ...
0
votes
1answer
96 views

Lattice in $\Bbb R^2$

Let (a,b) be a lattice basis of a lattice L in R2. Prove that every other lattice basis has the form (a',b')=(a,b)P, where P is a 2x2 integer matrix with determinant 1 or - 1.
9
votes
2answers
306 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})$ ...
2
votes
1answer
73 views

Number of Dyck paths from $(0,0)$ to $(2n,k_1)$ if allowed to go below the $x$ axis

What is the number of (general?) Dyck paths from $(0,0)$ to $(2n,k_1)$, where $k_1\geq0$, allowing the path to go below the $x$ axis and touch the negative horizontal line at $k_2\leq0$ an arbitrary ...
2
votes
0answers
39 views

Lattice generated by vectors orthogonal to an integer vector

Given a non-zero vector $\boldsymbol{v}$ composed of integers, imagine the set of all non-zero integer vectors $\boldsymbol{u}$, such that $\boldsymbol{u} \cdot \boldsymbol{v} = 0$, i.e., the integer ...
0
votes
0answers
19 views

Number of *distinct* dot products of an integer vector by elements of a hyper-rectangle

Imagine a vector $\boldsymbol{v}$ composed of integers, and the set $S$ of all integer vectors within a hyper-rectange, with one corner at the origin and other at $\boldsymbol{m}$. In other words: $S ...
0
votes
0answers
27 views

Minkowski Theorem

Theorem: Let $L$ be an $n$-dimensional lattice in $\mathbb R^n$ with fundamental domain $T$, and let $X$ be a bounded symmetric convex subset of $\mathbb R^n$. If $Vol(X)>2^nVol(T)$ then $X$ ...
0
votes
0answers
15 views

Faber-Krahn inequality for domain in Z^d with nearest-neighbor connections

In $\mathbb{R}^d$ there is a theorem that if you are looking for the first Dirichlet eigenvalue $\lambda_1$ of a domain $D \subset \mathbb{R}^d$ with a given volume $V$, then $\lambda_1$ will be ...
1
vote
1answer
37 views

Number of solution pairs $(i,j)$ such that $i+jk \leq l$

I have show that the number of solutions $\left(\, i,j\,\right)$ of non-negative integers to $i + jk \leq l$ is $$ \left(\,\left\lfloor\, l \over k\,\right\rfloor +1\,\right) {2l + 2 - k\left\lfloor\, ...
1
vote
0answers
33 views

Line and distance to lattice points?

Consider the lattice $\mathbb{Z}^{n}\subset\mathbb{R}^{n}$ and a line (not necessarily through the origin). What conditions can be placed on the slope of the line that is necessary and sufficient so ...
1
vote
0answers
88 views

Lattices in $\mathbb C$ as modules of the ring of integers in an imaginary quadratic field

Let $K$ be an imaginary quadratic number field and let $O_K\subset K$ be the ring of algebraic integers in $K$. Let us call a lattice $\Lambda\subset\mathbb C$ normalized if the tori $\mathbb ...
3
votes
1answer
178 views

Number of self-avoiding rook walks in a rectangular grid

I was wondering how many self-avoiding rook walks there are on an $m×n$ grid. A self-avoiding rook walk is a path from the bottom left corner to the top right corner of the grid, composed only of ...
2
votes
0answers
40 views

Leech Lattice and Golay Code

Consider the following Miracle Octat Generator or MOG. Choose the sign $\pm 3$ and fill in the blanks $\pm 1$ to create a point $x$ in the Leech lattice $\Lambda_{24}$ with $||x||^2=8$. $ ...
0
votes
3answers
40 views

Is there a theorem or axiom which shows that permutations of step sequences through a lattice graph result in the same destination?

I have been searching for a theorem, lemma, or even an axiom which shows that the permutations of a step sequence in Taxicab Geometry result in the same destination in such a lattice graph. To ...
2
votes
0answers
79 views

Dual Lattice definition

A lattice is a free abelian group $L$ together with a symmetric non-degenerate bilinear form $(,): L\times L\rightarrow \Bbb{Z}$. Let $H=\mathrm{Hom}(L,\Bbb{Z})$. I often see the dual of $L$ being ...
0
votes
0answers
49 views

Understanding the Cholesky decomposition

I'm attempting to understand the Cholesky decomposition via the following site: http://en.wikipedia.org/wiki/Cholesky_decomposition If I have a matrix, say $$A = \begin{bmatrix} 2 & -1 & ...
1
vote
0answers
22 views

$\Delta$ vs. $\delta$ in Lattice Theory

I'm learning about lattices and I'd like to confirm the difference between the density $\Delta$ and another density $\delta$. I would greatly appreciate if someone could confirm, correct, or even ...
3
votes
3answers
90 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 ...
1
vote
2answers
300 views

How to find the number of squares formed by given lattice points?

Let us say that we are N integer coordinates (x, y) - what would our approach be if we were supposed to find the number of squares we could make from those given n points? Additionally, if we were to ...
0
votes
0answers
25 views

Generic structure in $\mathbb{Z}^n$

As a quick definition, a subset of $A\subseteq\mathbb{Z}^n$ is generic if for every pair of elements $\alpha_1,\alpha_2\in A$ that have an equal coordinate, there is a third element $\gamma\in A$ that ...
1
vote
1answer
34 views

What does the notation for a group ${A_n}^*$ mean?

I was on a website that catalouges lattices. I was looking through the alternating group lattices and the dihedral lattices and there were two kinds for each. For example, there was $A_2$ and ...
2
votes
2answers
168 views

Number of lattice paths

In my notes I have this: A lattice path is path consisting of step points $(x_0,y_0),(x_1,y_1),\ldots,(x_m,y_m).$ where either $x_{i+1}=x_{i}$ and $y_{i+1}=y_i+1$ or $x_{i+1}=x_{i}+1$ and ...
1
vote
0answers
36 views

Estimate for the co-volume of discs centered at lattice points in the plane?

Suppose I have a unimodular lattice $\Lambda = A \mathbb{Z^2}$ ($A\in SL(2,\mathbb{R})$) in the plane. I place a disc of fixed radius, $r$, around each point of $\Lambda$, so that I have a union of ...
1
vote
1answer
20 views

estimates for the largest disc not intersecting a unimodular lattice?

Are there any nice estimates for the size of the largest disc (centered anywhere) not intersecting a unimodular (i.e. covolume = 1) lattice in the plane? Maybe estimates in terms of the shortest ...
0
votes
0answers
22 views

Why changing a vector in a basis for a lattice can lead to a new lattice if $gcd(a_{m+1}, \ldots, a_n) = 1$?

On the book "Lattice basis reduction" by M.R. Bremner published by Taylor & Francis Corollary 1.26. Let $L$ be an $n$-dimensional lattice in $\mathbb{R}^n$ with basis $x_1, x_2, \ldots , x_n$. ...
0
votes
0answers
66 views

Help in Understanding the Formula for The Lattice Point Counting in Triangles with Rational Coordinates

Yesterday I have found this paper while searching Google. However, since the author of this paper gave no examples of implementing the following formula, I don't understand how to implement it in ...
2
votes
1answer
97 views

{0,1}-solutions for integer equations via lattice base reduction?

I would like to find $\{0,1\}$-solutions of a system of equations of the form $$\left\{\begin{array}{c}\sum_{i\in I_1}x_i=1\\\sum_{i\in I_2}x_i=1\\\vdots\\\sum_{i\in I_k}x_i=1\end{array}\right.$$ ...
0
votes
0answers
13 views

Points of a lattice inside square of side $N$

Let $\Lambda\subseteq \mathbb Z^m$ be a full-rank lattice of index $h$. I would like to know an upper bound for the quantity $H_N=|\Lambda\cap [-N,N[^m|$ where $[-N,N[^m=\{(a_1,\dots,a_m)\in \mathbb ...
0
votes
1answer
66 views

Number of integer lattice points within a circle

I am trying to solve a problem on codeforces, to be precised, this problem. I was able to figure out that the solution is $N(n) - N(n-1)$ where $N(n)$ is the number of lattice points withing a circle ...
1
vote
0answers
56 views

The number of lattice points in d-dimensional ball

The following paper states that the number of lattice points in a $d$-dimensional ball of radius $R$ is $V_d R^d + O(R^\alpha)$ where $\alpha = d - 2$ and $V_d$ is the volume of the unit ...
1
vote
0answers
27 views

Ehrhart Polynomials Modulo Prime Integers

Are there any results known about computing Ehrhart Polynomials modulo prime integers?
0
votes
1answer
54 views

$(a \vee b)\wedge c=b\wedge c$ implies $(c\wedge b)\wedge a= b \vee c$

Show that for any elements a,b,c in a modular lattice $(a \vee b)\wedge c=b\wedge c$ implies $(c\wedge b)\wedge a= b \vee c$ ? $\wedge$ is meet and $\vee$ is join operations respectively .
2
votes
0answers
34 views

lattice symmetries portrayed in animation

Below is an animated gif by Dave Whyte: What is the orbifold/fibrifold notation for the symmetries of the lattice depicted below? (a la /The Symmetries of Things/? Are there related theta function ...
4
votes
2answers
96 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 ...
3
votes
2answers
84 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( ...
2
votes
2answers
107 views

$x+y\sqrt{2}$ infimum ($x,y\in \mathbb{Z}$)

I've looked for help with this question but I have not found anything, I hope this is not a duplicate. Define the set $A=\{\mid x+y\sqrt{2}\mid \ : x,y\in \mathbb{Z}\ \mbox{and} \mid ...
5
votes
1answer
181 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 ...
1
vote
1answer
104 views

Equivalent definitions of a lattice in a real vector space of finite dimension

I'm currently trying to work my way through chapter seven of Serre's book "A Course in Arithmetic" with a view to learning about modular forms. During the course of this chapter the book begins to ...
3
votes
2answers
136 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
31 views

Scalar multiple of one lattice contained in another

I believe my question boils down to the following question: Given lattices $L$ and $L'$ in $k^{n}$, does there exist $\lambda \in k^{\times}$ so that $\lambda L' \subseteq L$ and $\lambda L' ...
3
votes
2answers
97 views

Number of paths from $(0,0)$ to $(n,k)$ where all four directions are allowed, using a specific number of steps

It is well known that the number of paths from $(0,0)$ to $(n,k)$ in $\mathbb{N^2}$ with the set of steps $\{(1,0),(0,1)\}$ is ${n+k \choose k}$. This is the minimum number of steps needed to get to ...
1
vote
1answer
67 views

“All vertices of a convex pentagon are lattice points, and its sides have integral length. Show that its perimeter is even.”

"All vertices of a convex pentagon are lattice points, and its sides have integral length. Show that its perimeter is even." - Problem Solving Strategies, Arthur Engel, pg. 27. I have proven the ...
0
votes
2answers
65 views

Minimum difference of angles between points on square lattice

I have integer grid of size $N \times N$. If I calculate angles between all point triples - is it possible analytically find minimal non-zero difference between those angles?
3
votes
2answers
266 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 ...
0
votes
1answer
58 views

show that L^+ is non-empty

I want to show that $L^+$ is non-empty where $L$ is a full-rank integer lattice and $L^+$ denotes the set of elements of $L$ having positive coordinates I have an indication that I did not understand ...
3
votes
1answer
207 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 ...