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

0
votes
0answers
8 views

The size of the vertex hull of a lattice

Let $L$ be a lattice defined by $d$ vectors in $\mathbb{R}^d$. The Vertex Hull of a node $a$ at radius $r$ (denoted $VH(a, r)$) is defined to be the set of vertices that define the convex hull of $L ...
1
vote
0answers
25 views

Prove that $a_{i,1}x_1 +a_{i,2}x_2 +···+a_{i,n}x_n ≤c_i, 1≤i≤n $ are all satisfied by a nonzero $n-tuple$ of integers.

My setting is that $c_1, · · · c_n$ are positive real numbers, and $A = [a_{i,j} ]$ is an $n × n$ non-singular matrix. Assume that $c_1 · · · c_n > | det(A)|.$ I want to prove that the n-linear ...
1
vote
1answer
13 views

Is it true that for a lattice $L$, $\mathbb{R}L = \mathbb{R}^{n}$?

I have as a definition A lattice $L \subseteq \mathbb{R}^{n}$ is a subgroup that is free of rank $n$ such that $\mathbb{R}L = \mathbb{R}^{n}$. I don't know if I am misinterpreting the statement, ...
-2
votes
0answers
66 views
+100

Find a function so whenever it is near a lattice point $\lim_{x \rightarrow [x_0]}f(x)=[y_0]$

A function $f:\mathbb{R} \rightarrow \mathbb{R}$ is an "easy estimator" if any point on f,$(x_0,y_0)$ is near a lattice point $([x_0],[y_0])$ then $\lim_{x \rightarrow [x_0]}f(x)=[y_0]$. In other ...
0
votes
1answer
34 views

When does a real inverrtible matrix send a lattice in $\mathbb{R}^2$ to itself?

There is a question in Artin asking when does an inverrtible 2x2 real matrix send a lattice to itself. The issue I have is with this question not being specific as to what kind of answer is ...
0
votes
0answers
37 views

When do three complex numbers define a lattice?

Given three complex numbers, when is the set of all integer linear combinations of them a lattice? Since lattices can be defined by only two basis elements, I suppose the answer must be that one ...
0
votes
0answers
19 views

Intersection of two convex lattices polygons

A convex lattice polygon is a polygon whose vertices are points on the integer lattice. Let P and Q two convex lattice polygons with n ,(resp. m) vertices. Let R be the convex lattice polygon ...
0
votes
0answers
26 views

Is this a known lattice?

I am wondering if the lattice generated by $$ \mathbf{B}=\mathbf{I}_N-\frac{\mathbf{n}\, \mathbf{n}^{\rm T}}{\mathbf{n}^{\rm T} \,\mathbf{n}} $$ where $\mathbf{n}=\left[n_1,n_2,\ldots,n_N\right]^{\rm ...
0
votes
0answers
15 views

Lattices, compact orbits, and admissible boxes

A box in $\mathbb{R}^n$ is a set of the form $[-b_1,b_1]\times \cdots \times [-b_n,b_n]$ with $b_i>0$ for all $i$. For any unimodular lattice $\Lambda$ define ...
0
votes
1answer
21 views

Finding an integral basis for a lattice defined in terms of an equation modulo p

Let p be a prime number, u relatively prime to p, and $\Lambda := \lbrace (a, b) \in \mathbb{Z}^2 : b \equiv au$ (mod p)$\rbrace$. How then can I find an integral basis $v_1, v_2$ for $\Lambda$? I ...
1
vote
1answer
26 views

How to generally describe all possible quasi-crystal structures in $\mathbb{R}^3$?

According to what I found on Wikipedia[1,2], you can represent any quasi-crystal structure in $\mathbb{R}^n$ by cutting a space $\mathbb{R}^N, N>n$ at an angle with the $\mathbb{R}^n$ space and ...
2
votes
2answers
45 views

Expression from generators of Special Linear Groups II

I wonder whether one can generate this $t$ matrix form the $A_1$ and $A_2$ matrix below. Here $$ t=\begin{pmatrix} 1& 1& 0\\ 0& 1& 0\\ 0& 0& 1 \end{pmatrix} $$ from: $$ ...
9
votes
1answer
125 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 ...
1
vote
1answer
89 views
+250

Prove that $\mathcal{O}_3$ and $\mathcal{O}_7$ are euclidean domains

For a non-square integer $d$ such that $d \equiv 1 \mod 4,$ we define the set $$\mathcal{O}_d := \left\{\frac{a + b\sqrt{d}}{2}:a,b \in \mathbb{Z}, a \equiv b \mod 2 \right\}.$$ Prove that ...
0
votes
1answer
32 views

Maximal even sub-lattice in $\mathbb{Z}^n$ (reference request)

Lemma: The maximal even sub-lattice in $\mathbb{Z^n}$ is $$ \Big\{ (x_1,\cdots,x_n)\in \mathbb{Z}^n ~~\big|~~ \sum_{1 \le i \le n} x_i \in \mathbb{2Z} \Big\} $$ I found the above lemma in an ...
0
votes
0answers
25 views

Minimize multivariate (multivariable) polynomial over the integers

I'd like to minimize the following polynomial in 6 variables $h_0,h_1,g_0,g_1,g_2,g_3$: $$ g_3^2\cdot h_0^3\cdot h_1^3 - g_2\cdot g_3\cdot h_0^2\cdot h_1^4 + g_1\cdot g_3\cdot h_0\cdot h_1^5 - ...
0
votes
1answer
42 views

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

$$\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?
1
vote
1answer
31 views

Why ins't $\mathfrak{h}$ enough to parametrize complex elliptic curves?

this a pretty idiot question and of course there is a mistake in my way of thinking. Let $E$ be a elliptic curve, $E (\mathbb{C}) \cong \mathbb{C} / \Lambda$, where $\Lambda = \langle \omega_1, ...
1
vote
0answers
20 views

Coexistance of certain vectors in a lattice

I'm currently working on the SVP (Shortest Lattice Vector Problem) as a part of a paper that I'm writing. I've been trying to prove ( or disprove) the following without too much success : Question : ...
0
votes
1answer
17 views

Is it easy to find a lattice vector whose length is in a specific interval?

Say $L$ is a lattice of ${\bf R}^n$ with rank $m$. Let $\alpha, \beta \ (\alpha<\beta)$ be positive real numbers. Set $A_{L}=\{{\bf x}\in L: \alpha\leq \|{\bf x}\|\leq \beta\}.$ It may be difficult ...
3
votes
1answer
32 views

Finding a basis for the integer lattice points in a subspace

When writing this answer, one subgoal involved finding all integer solutions to the equations $\sum_{i=1}^5x_i=\sum_{i=1}^5ix_i=0$ in $\Bbb Z^5$. Since this is a linear system, the solutions form a ...
1
vote
0answers
21 views

Lower bounds on possible integer relations from the PSLQ algorithm

For the equation: $$ \sum_{i=1}^na_ix_i=0 $$ where all $x_i$ are real numbers and all $a_i$ are integers, the PSLQ algorithm can either find an integer relation or give lower bounds on the norm of ...
0
votes
0answers
24 views

Isoperimetric inequality for Lattice points

Here is the problem I was wondering if it was solved: Given a simple polygon with edges being on lattice points such as the one below. Does the circle with the same area intersect strictly less ...
3
votes
1answer
33 views

Measure theoretic proof of $|\Bbb{Z}^d/A\Bbb{Z}^d| = |\det(A)|$

Let $A \in \Bbb{Z}^{d\times d}$ be an invertible matrix with entries in $\Bbb{Z}$. It is well-known (and can be proved using algebraic properties of matrices) that the index of the group $A \Bbb{Z}^d ...
2
votes
2answers
55 views

Lattice of integers $\mathbf{Z}$ in $\mathbb{R^2}$

Lattice of integers $\mathbf{Z}$ in $\mathbb{R^2}$ The questions: Give an example of a nonempty subset of $\mathbb{R^2}$ (noted $M$) which is closed under addition and for all $m\in M$ we have $-m\in ...
4
votes
1answer
42 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
64 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
50 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
44 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
90 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
80 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
299 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
59 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
33 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
17 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
18 views

Minkowsky 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
11 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
36 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
31 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
78 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
151 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
36 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
37 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
45 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
47 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
20 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
84 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
248 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 ...