Questions tagged [integer-lattices]

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.

In geometry and group theory, a lattice in $\Bbb R^n$ is a subgroup of the additive group $\Bbb R^n$ that is isomorphic to the additive group $\Bbb Z^n$ and that spans the real vector space $\Bbb R^n$. In other words, for any basis of $\Bbb R^n$, the subgroup of all linear combinations with integer coefficients of the basis vectors forms a lattice. A lattice may be viewed as a regular tiling of a space by a primitive cell.

Lattices have many significant applications in pure mathematics, particularly in connection to Lie algebras, number theory, and group theory. They also arise in applied mathematics in connection with coding theory, in cryptography because of conjectured computational hardness of several lattice problems, and in the physical sciences. For instance, in materials science and solid-state physics, a lattice is a synonym for the "frame work" of a crystalline structure, a 3-dimensional array of regularly spaced points coinciding in special cases with the atom or molecule positions in a crystal.

894 questions
2
votes
1 answer

proof of orthogonality of the wavefunctions on the lattice-torus

Given a lattice $L=\{x = j_1a_1 + j_2a_2 : j_1,j_2 \in \mathbb{Z}\}$ with $a_1,a_2 \in\mathbb{R}^2$ beeing linearly independent. We can define a torus by $\mathbb{T}=L\,/ (\mathbb{Z}C + \mathbb{Z}T)$, where $C=c_1a_1 + c_2a_2$ and…
Nils
  • 133
  • 9
2
votes
1 answer

How do we balance the chemical equation and give an integer solution?

$$\require{mhchem}\ce{NaOH + H2SO4 -> Na2SO4 + H2O}$$ I'm trying all my best to come up with one solution but cant. in giving the integer solution to this chemical equation is it compulsory?
lela
  • 49
1
vote
1 answer

What is a good introduction to quantities such as the norm of a lattice and of short vectors in the context of lattice reduction?

I am trying to make sense of different notations used in measuring lattices, in particular before and after a basis reduction. In particular, I am trying to get bounds and estimates for the size of the shortest and of all the basis vectors after…
user99666
1
vote
1 answer

Notion of isomorphism of lattices / intrinsic definition of lattices

I'm trying to construct the "correct" (read: a good) notion of moduli space of $n$-dimensional lattices. Here, an $n$-dimensional lattice is the $\mathbb{Z}$-span of an $\mathbb{R}$-basis of $\mathbb{R}^n$. For this, one has to find the "correct"…
1
vote
0 answers

Are there any six-dimensional lattices with kissing number equal to 36 or 24?

I am studying two lattices which seem to have kissing number 36 and 24, respectively, and I am curious if they are some known lattices in the literature. I have looked up Conway and Sloane but didn't find any mentioning of such six-dimensional…
fagd
  • 133
  • 3
1
vote
1 answer

Check whether a vector is within the fundamental parallelepiped of a lattice

I am studying mathematics of lattices and I came up with a question but I am still unable to answer it. Given a integer lattice $\mathcal{L}(B) = \sum_{i=1}^nx_ib_i:x_i \in \mathbb{Z}$, and a point $t$ that lies in the space spun by the lattice, is…
narger
  • 11
1
vote
0 answers

Find lattice basis given sufficiently many lattice points

Suppose one has $N$ points belonging to an $n$-dimensional lattice $\mathcal{L}$, with $N > n$, and suppose one is sure that a basis for $\mathcal{L}$ is contained within those $N$ points. What's a (efficient) way to find a basis for…
Latrace
  • 308
1
vote
0 answers

Problem from Red Book

The following problem is from The Red Book (list of practice problems for undergraduate mathematics competition). Let $k$ denote a positive integer. Determine the number $N(k)$ of triples $(x,y,z)$ of integers satisfying $$\begin{cases} |x|\leq k, &…
Valerio
  • 370
  • 1
  • 6
1
vote
1 answer

A shortest k-sequence need not form a basis of the lattice

I'm reading Fundamental Problems of Algorithmic Algebra by Chee-Keng Yap and could not solve the following problem. The shortest k-sequence (where k > 2 is the dimension of the lattice) need not form a basis of the lattice. With following…
ASP
  • 129
1
vote
0 answers

Lattices with the worst Hadamard ratio?

Let $\Lambda$ be a full-rank lattice in $\mathbb{R}^n$, with basis $v_1,\ldots, v_n$. The ratio $\frac{\prod_{i=1}^n\|v_i\|}{|\det\Lambda|}$ is sometimes called the Hadamard ratio as Hadamard proved that this ratio is smaller than 1 (with equality…
yoyo
  • 9,943
1
vote
3 answers

Is it possible to make a regular 3-polygon by selecting $3$ points in $S$

I would appreciate if somebody could help me with the following problem: Let $\mathbb{Z}$ be the set of all integers and let $ S = \mathbb{Z} \times \mathbb{Z} $. Question: 1). Is it possible to make a regular 3-polygon by selecting $3$ points in…
Young
  • 5,492
1
vote
5 answers

Represent any number with two factorials

I was wondering if it is possible to represent any positive integer with x! - y! ? If not, is there any proof?
tandberg
  • 69
  • 3
1
vote
1 answer

Orthogonal complement to a lattice

Suppose we have an even lattice of rank 2, $\Lambda$, with the following intersection form, \begin{eqnarray} \left( \begin{array}{cc} 2 & 3 \\ 3 & 0 \end{array} \right) \end{eqnarray} As far as I know, there is a primitive embedding of this lattice…
1
vote
1 answer

Sublattice of index 2

Let $M \subset L$ be two lattice of $\mathbb{R}^2$ and $|L:M|=2$. Let $v_1,v_2 $ be basis of $M$ and linearly independent in $L$. Assume further that $||v_1||\leq ||v_2||$. If we fix $v_1$, can we replace $v_2$ by $v_2'$ such that $(v_1,v_2')$ is a…
Desunkid
  • 1,231
1
vote
1 answer

Complete lattice proof

I understand the defnition of complete lattice. But often times the argument that is given for showing something is complete lattice is it has a upper bound and a lower bound. For eg The partial order <= under a set of rational numbers from (0,1) is…
Aravind
  • 21