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

2
votes
1answer
22 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' ...
2
votes
1answer
51 views

Lattice Path Spaces.

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
29 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
0answers
23 views

Finding integer vectors in the column space of a matrix

Consider a given set $S \subset Z$. $S$ is a finite set. Matrix $A \in S^{N \times M}$ is also given. Does there exist an algorithm to find all the vectors belonging to the space Col$(A)\cap S^N$ ...
0
votes
0answers
19 views

show that $L^+$ is non empty [duplicate]

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 L⊗Q⊆Zn⊗Q ...
0
votes
2answers
32 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
64 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
55 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 ...
0
votes
0answers
20 views

isomorphic lattices

I want to show that Lattices represented by matrices A, B are isomorphic (an isometric isomorphism exists) if and only represented by matrices if integer square matrices X, Y exist such that A = XBY, ...
0
votes
0answers
120 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 ...
1
vote
0answers
16 views

moduli of lattices

Consider the set $M$ of all (rank $g$) lattices in $g$-dimensional complex affine space $C^g$. Does M identify in some way with Siegel upper half space $H_g$? Let's say a lattice has CM if it has ...
1
vote
1answer
39 views

Lattices and Elliptic curves and number fields

Let $K$ be a number field with ring of integers $O_K$. If $K$ is totally real, then $O_K$ is a lattice in $\mathbb R$. If $K$ is imaginary quadratic, then $O_K$ is a lattice in $\mathbb C$. If $K$ ...
0
votes
0answers
18 views

smallest integer contained in sublattice $\Rightarrow$ $L'=[q,r\tau+s]$

Let $L'$ be a sublattice of the lattice $[1,\tau]$ in a imaginary quadratic field. Reminder: a lattice $L$ consists of the $\mathbb{Z}$-linear combinations of $1$ and $\tau$, with $\{1,\tau \}$ linear ...
0
votes
1answer
43 views

Helping solve mod problems

I am having trouble solving the below problems. My teacher taught us to write out the solutions by hand.. but I really think there is an easier way to do the higher numbers. Thanks!
1
vote
1answer
43 views

Counting sum of lattice points

Assume a set $S$ with $|S|$ entries. Indeed, $S$ is the set of lattice points inside a $k$-sphere. Assume $V=S\oplus S$ where $\oplus$ is the Minkowski sum of two sets. Do you know any lower bound on ...
2
votes
1answer
47 views

Is this the subgroup lattice for $\Bbb{Z}_4 \times \Bbb{Z}_8$?

I have been attempting to create the subgroup lattice for $\Bbb{Z}_4 \times \Bbb{Z}_8$. I have, so far, this: http://www.scribd.com/doc/223680804/Subgroup-Lattice-of-Z-4-x-Z-8 While I have calculated ...
0
votes
1answer
12 views

Correctness of the size of an planar integer lattice unknot

A planar integer lattice unknot is a polygon drawn over a two dimensional integer lattice. Here is an example: Given a number $N$, a planar unknot is not always possible. For example, a planar ...
0
votes
1answer
31 views

Integer polynomial with two aligned roots

Anyone have an example of a monic polynomial $f(x) \in \mathbb{Z}[x]$ with $f(0)=1$ such that for $\alpha \in \mathbb{C}\backslash\mathbb{R}$ and $t \in R, t>0, t\neq 1$ both $\alpha$ and $t\alpha$ ...
0
votes
0answers
20 views

Automorphism group of torus fixing origin

I've got a short question: Suppose that you have some lattice $\Lambda$, say $\Lambda=\mathbb{Z}+\mathbb{Z}i$, and let $T$ be the torus $\mathbb{C}/\Lambda$, coming with the quotient map ...
2
votes
1answer
78 views

number of lattice points in an n-ball

I have faced a problem in my work and I will appreciate any hint/reference as I am not much into the lattice problems. Assume an n-dimensional lattice $\Lambda_n$ with generator matrix $G$. Note that ...
1
vote
1answer
37 views

Lattice Definition

I see two Lattice definitions in Mathematics. Partial order set with each pair of elements have a least least upper bound and greatest lower bound. Integer linear combinations of vectors. Is ...
0
votes
0answers
15 views

Upper bound on the product of norms of vectors in a lattice basis

The orthogonality defect of a lattice basis is the quotient of the product of the norms of the vectors in the basis and the determinant of the lattice. It is at least 1 by Hadamard's inequality. ...
0
votes
0answers
55 views

Integer Points on Circles

Let $r(n)$ denote the number of integral solutions to $a^2+b^2 = n$ where $a,b,n$ are integers. Furthermore, we count the pairs with regard to order and signs. (So if $(a,b)$ is a solution, so are ...
3
votes
1answer
109 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& ...
7
votes
1answer
58 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? ...
0
votes
0answers
49 views

Which of the following sets are sub lattices of $\mathbb{Z}^2$?

Here are the first three sets: $\{(x, y) \in \mathbb Z^2 : x + y = 1\}$. $\{(x, y) \in Z^2 : x + y = 0\} = S^2$. $\{(x,y) \in Z^2 :2\mid x\} = S^3$ I found that the first one is not a subgroup ...
1
vote
1answer
75 views

Obtaining a new basis for a lattice with one of the new basis vectors fixed

Suppose that a lattice $L$ in $\mathbb{R}^3$ is given with a basis $B = \mathbf{ \{ v_1, v_2, v_3 \} }$. Is there an algorithm that would help me obtain a new basis $B' = \mathbf{ \{ v_1', v_2', v_3' ...
1
vote
1answer
45 views

Orbits of action of $SL_2(\mathbb{Z})$ on lattice

I'm interested in the action of $SL_2(\mathbb{Z})$ on $\mathbb{Z}^2$: if $A\in SL_2(\mathbb{Z})$ and $v\in\mathbb{Z}^2$, then $Av\in\mathbb{Z}^2$. Specifically, what are the orbits of this action?
1
vote
0answers
20 views

Which lattices are ideals of a number field?

Let $K$ be a number field, then its ring of integers $\mathcal{O}_K$ in the Minkowski space of $K$ is a lattice $\Lambda$. Is there some geometric descrpition/intuition that describes sublattices of ...
3
votes
0answers
26 views

Number of points in the diagonal of an $X \times Y$ square lattice box.

So assuming we have a $X \times Y$ lattice, Say for example a $3 \times 5$ like so * * * * * * * * * * * * * * * I need to find the number of points that each ...
1
vote
0answers
19 views

Non zero Unimodular matrices

I have a question about the lattice reduction algorithms like LLL algorithm. Lattice reduction algorithms like LLL generate a unimodular matrix which makes more orthogonal basises for a given matrix. ...
4
votes
1answer
48 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 ...
0
votes
0answers
28 views

Covering a Disk in a Square Lattice: How Many Squares Are Needed?

I have a square lattice (the square side is $a$, and a disk centered at $(0,0)$ with radius 1. I want to know how many lattice squares are located completely inside the disk, and how many lattice ...
0
votes
0answers
99 views

Lattice orthogonal polyhedra face-area sequences: Golyhedra?

Let $P$ be a polyhedron, all of whose vertices are at points of $\mathbb{Z}^3$, all of whose edges are parallel to an axis, with every face simply connected, and the surface topologically a sphere. ...
1
vote
1answer
34 views

Factoring an integer matrix into unimodular and upper triangular matrices

I'm stuck at the following problem. I've read this somewhere, but the author did not provide a proof, probably assuming that this is `clear'. Let $A \in \mathbb{Z}^{n \times n}$. Then, there exist a ...
1
vote
0answers
30 views

Is the Voronoi region of a lattice symmetric around origion?

Assume an n-dimensional lattice. Is the Voronoi region of the lattice symmetric around origion? In other word, is the following statement true? "if $x\in \mathcal{V}$ then $-x\in \mathcal{V}$" where ...
1
vote
1answer
73 views

Lattice definition as finite density infinite set of vectors closed under addition?

This question came up in the definition of lattices (in the crystallography/group theory sense, not the ordered set sense) in our condensed matter lectures, but I believe it's more appropriate here ...
0
votes
0answers
8 views

Lattice and their duals generate a full rank subgroup

Is there a lattice $L$ in $\mathbb{R}^2$ such that $L$ and $L^*$ together generate a rank 4 subgroup of $\mathbb{R}^2?$ If so, is it possible to do this if all the generators of $L$ and $L^*$ are ...
0
votes
0answers
15 views

Show transformation of lattice paths is a bijection

How do I show that the transformation (switching head and tail of a path) is indeed a bijection from lattice paths with excess k to lattice paths with excess k-1. I need to describe the inverse ...
1
vote
1answer
37 views

Weyl group and weight lattice chambers.

Consider two simple Lie groups $G_1$ and $G_2$. Let $G_1$ have $W_1$ as a Weyl group and $G_2$ have $W_2$ as a Weyl group. Is it true that the Weyl group of $G_1 \times G_2$ is $W_1 \times W_2$? ...
0
votes
0answers
14 views

How is affine space analogue for lattices called?

Lattices are so like vector spaces that it seems natural to have an affine space construction for them. Unfortunately I could not find how such a construction is called. Could you please help me? ...
1
vote
0answers
41 views

Closest vector problem

Given is a vector $v=\begin{pmatrix}2,&-1,&0,&1\end{pmatrix}$ as the shortest vector of the lattice $\Lambda (B)$, where $B$ is determined as $B=\begin{pmatrix}4 &-3 & 2 & 0\\ ...
1
vote
1answer
23 views

Continuity of the mapping of a lattice in $\mathbb{R}^{d}$ onto the length of the shortest vector

I have the following problem: Let $X_{d}:=\{\mathbb{Z}^{d}g;g\in\operatorname{SL}_{d}(\mathbb{R})\}$ and define $\lambda:X_{d}\to(0,\infty)$ by: $$ \lambda(\Lambda):=\min\left\{r>0;\Lambda\cap ...
1
vote
1answer
23 views

isotropic sublattice

In Scattone " Compactification of Moduli Spaces of Algebraic K3 Surfaces" the author cites a correspondance between primitive isotropic sublattices of some lattice L and the rational boundary ...
0
votes
1answer
37 views

Equivalence of Lattices

Let $\Gamma=\{mw_1+nw_2:m,n\in\mathbb{Z}\}$ and $\Gamma'=\{mw_1'+nw_2':m,n\in\mathbb{Z}\}$. Show that $\Gamma=\Gamma'$ if and only if there exists a matrix $A\in SL(2,\mathbb{Z})$ such that $\left( ...
1
vote
0answers
53 views

Which matrices generate the same lattices?

Given are the following matrices: $A_{1}=\begin{bmatrix} 4 & 7 &9 \\ 3 & 5 &3 \\ 1 &2 &0 \end{bmatrix}$ , $A_{2}=\begin{bmatrix} 10 & 9 &6 \\ 11 & 7 &2 \\ ...
0
votes
1answer
49 views

Show that $(\Bbb{N}, |)$ is a distributive lattice.

Show that the set of Natural numbers with divisibility form a distributive Lattice where for any $x, y\in\mathbb{N}$ we have $x$ meet $y = \operatorname{gcd}(x,y)$ and $x$ joint ...
0
votes
1answer
70 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 ...
4
votes
1answer
327 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 ...
12
votes
2answers
342 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}$ ...