Lattices as they are used in number theory. (Not to be confused with lattice theory or lattices as used in physics!)

learn more… | top users | synonyms

1
vote
1answer
105 views

distributive sublattices of atomistic ortholattices

Let $L$ be an atomistic ortholattice (i.e. every element can be written as a join of atoms) with top and bottom elements 0 and 1, and let $M$ be a distributive atomic sub-ortholattice of $L$. Is $M$ ...
7
votes
1answer
465 views

genus and spinor genus over a number field

Let $F$ be a number field with ring of integers $\mathfrak{o}$. Let $(V,Q)$ be a quadratic space of dimension $n$ over $F$, and let $L$ be a free lattice in $V$ (i.e. $L\cong\mathfrak{o}^n$). If the ...
1
vote
0answers
82 views

Reference request for gluing construction of lattices

I would like to study gluing method of lattices (such as constructing Niemeier lattices from certain root lattices etc) and am looking for good references. I am aware of the book "Sphere Packings, ...
9
votes
1answer
341 views

Lattice in a certain Lie group

Let $G_n$ be the Lie group consisting of $n \times n$ upper triangular matrices of determinant $1$ with real entries. In other words, $$G_n = \{\text{$\left(\begin{matrix} a_{11} & a_{12} & ...
1
vote
0answers
202 views

existence of order preserving map [closed]

suppose A is a linear order set with a copy of rationals in it that is $A=B\cup\{\bar{r}:r\in\mathbb{Q}\cap[0,1]\}$. is there an orde preserving map that preservs sup and inf betwwen A and $[0,1]$ in ...
1
vote
1answer
105 views

Help with (Coxeter?) lattice identification.

I'm trying to find information about a specific lattice, which is proving difficult since I am not sure what its standard name is. Consider the regular $n$-Simplex embedded in $\mathbb{R}^n$ with one ...
1
vote
0answers
86 views

Information about mutant Leech lattice related to smallest perfect squared square

What happens if we follow the construction of the Leech lattice but replace the relation $\displaystyle \sum_{n=1}^{24} n^2 = 70^2$ with the smallest perfect squared square? Explicitly, if we set ...
2
votes
1answer
385 views

Probability that a “closable” self-avoiding random walk forms a polygon

Consider a self-avoiding random walk on an infinite graph (for concreteness, the grid of 2-dimensional lattice points $\mathbb{Z}^2$), in which on each step, the next position is chosen uniformly at ...
5
votes
1answer
271 views

Complete anti-chain lattices and the axiom of choice

Hello, everyone. I'm trying to find out about lattices of anti-chains, and was wondering whether you could help me with getting to grips with a Comp. Sci. paper I'm struggling with. I've been reading ...
2
votes
4answers
484 views

Minimal (semi)lattice containing a given poset

For a given poset, (I think that) it is easy to construct the minimal join-semilattice containing that poset. I wonder whether the minimal lattice containing that poset is also easy to construct. I ...
2
votes
2answers
276 views

Lattice reduction on an orthonormal lattice?

Suppose you are given an inner product on a vector space and given a set of linearly independent vectors, and that you have been promised that the lattice they span has an orthonormal basis. Can you ...
6
votes
2answers
367 views

Measuring how far from being cocompact a lattice is

Let $G$ be a locally compact group and $\Gamma$ a lattice (=discrete subgroup of $G$ such that $G/\Gamma$ carries a probability measure $\mu$ that is invariant under the action of $G$ by ...
11
votes
1answer
291 views

Defining measures over frames in place of $\sigma$-algebras

Normally, measures and probability spaces are defined over $\sigma$-algebras. I was wondering what would happen if one tries to define it over frames in place of $\sigma$-algebras? Specifically, ...
3
votes
1answer
566 views

Maximizing the number of lattice points in a circle of radius $r$ placed on a lattice

I have a circle of radius $r$, and I wish to place this circle of a $Z^2$ integer lattice or an $A_2$ hexagonal lattice s.t. I maximize the number of lattice points within or along the contour of the ...
3
votes
2answers
1k views

An exact counting solution for the number of points within a circle of radius $r$ centered on a lattice point in a $A_2$ hexagonal lattice

In a previous question: (The Gauss circle problem on a hexagonal lattice) I asked for an analytic approximation for the number of lattice points in or along the contour of a circle centered on a ...
1
vote
0answers
62 views

variant on ring objects in the category of complete lattices

Let $L$ be a complete lattice and denote its top and bottom elements by $0$ and $\infty$ respectively. Consider two binary operations $+$ and $\times$ defined on $L$ such that $(L^{op},+,0)$ is a ...
4
votes
1answer
235 views

Most orthogonal lattice basis

Let $n \in \mathbf{N}$ be a natural number and $v_1,\cdots,v_n$ a set of basis vectors in $\mathbb{R}^n$. How does one find the matrix $g \in \mathbf{GL}_n(\mathbb{Z})$ orthogonalizing these best ...
9
votes
2answers
994 views

The Gauss circle problem on a hexagonal lattice

Take an infinite hexagonal lattice (or equivalently, an equilateral triangular lattice), with unit spacing between the closest lattice point pairs, and draw a disc of radius $r$ centered on a lattice ...
3
votes
1answer
106 views

Is the complete lattice of inflators on a frame a frame?

Yup, it may sound like an inocent question to many of you; but a very good friend of mine is completely baffled in his research about lattices of inflators on a frame. He asked me very kindly to post ...
3
votes
0answers
132 views

references for properties/examples of breadth in (semi)lattices

This is in some sense following up on my earlier question and the answer given by NN. I am currently revising the paper which used the condition mentioned in my question. It was pointed out in NN's ...
4
votes
1answer
281 views

Invariant lattice of algebraic surface.

Given an algebraic surface $S$ with action of a finite group $G$. Is it true that the invariant lattice $H^2(X,\mathbb{Z})^G$ is generated by elements pulled back from the $H^2(X/G,\mathbb{Z})$ (or ...
1
vote
1answer
143 views

Covering a $d$-dimensional integer lattice by repeating a minimal set of deterministic moves

Imagine I place a turtle on some desired vertex, $v_i$, of a bounded $d$-dimensional integer lattice, $Z^d$, with dimensions $(l_1, ..., l_d)$. The turtle is able to travel from vertex to vertex ...
1
vote
0answers
127 views

How many more join-irreducibles can there be in a sub join-semilattice of a finite lattice?

Let $L$ be a finite lattice. Then $L$ is generated by its join-irreducible elements $J(L)$ or alternatively its meet-irreducible elements $M(L)$. If $S \subseteq L$ is a sub join-semilattice then ...
7
votes
1answer
196 views

Restricting representations to lattices

Let $V$ be a finite-dimensional irreducible representation of the Lie group $\text{SL}_n(\mathbb{R})$. Must $V$ remain irreducible when you restrict the action to $\text{SL}_n(\mathbb{Z})$? More ...
1
vote
1answer
297 views

The probability a self-avoiding random walk (SAW) on a rectangular or hexagonal lattice takes more than $N$ steps before trapping itself

What is the probability that a self-avoiding random walk (SAW) on a rectangular or hexagonal lattice is able to take more than $N$ steps, i.e. able to take more than $N$ steps before trapping itself ...
0
votes
0answers
143 views

$T^2$-fibered K3 surface with involution

Let $S$ be a K3 surface and $f:S\rightarrow \mathbb{P}^1$ a $T^2$-fibration (not necessarily holomorphic, I have a special Langrangian fibration in mind). Assume there is a $k$-section, then a fiber ...
2
votes
0answers
300 views

Singular fibers of an elliptic fibered K3 surface.

Let $f:S\rightarrow \mathbb{P}^1$ be an elliptic K3 surface. Assume that $\mathrm{Pic}(S)\cong U$, where $U$ stands for the hyperbolic lattice. I think that the elliptic fibration has only singular ...
5
votes
0answers
761 views

On “The Average Height of Planted Plane Trees” by Knuth, de Bruijn and Rice (1972)

I am trying to derive the classic paper in the title only by elementary means (no generating functions, no complex analysis, no Fourier analysis) although with much less precision. In short, I "only" ...
3
votes
0answers
170 views

Automorphisms of Torsion Quadratic Forms

Let $L$ be an $n$-dimensional lattice with an integer valued quadratic form $q$. Fix a basis $e_i$ for $L$ and let $K_{ij} = \langle e_i, e_j \rangle$, where $\langle x,y \rangle = q(x+y) - q(x) - ...
4
votes
2answers
274 views

Cancellation theorem for lattices

By a lattice, we mean a finitely generated, free $\mathbb{Z}$-module together with a symmetric bilinear form. Typical examples are the hyperbolic lattices $U$ and the root lattices $A_{n}, D_{n}, ...
14
votes
2answers
568 views

Maximal number of maximal subgroups

Let $G$ be a finite group. I want to find an upper bound on the number of the maximal subgroups. My questions is does it possible to prove that the number of maximal subgroups of any finite group $G$ ...
6
votes
1answer
1k views

Basis of a group

Let $G$ be a finite group. I will say that a set of a subgroups $H_1,\ldots ,H_k$ defines a basis for a group $G$ if any subgroup $H$ of $G$ there exists $S\subset [k]$ such that $H=\cap_{i\in ...
1
vote
0answers
165 views

Involution of $E_{8}$ lattice

Let $L$ be a lattice associate to the Dykin matrix of type $E_{8}$. I would like to understand involutions of $L$ and their invariant $L^{+}$ and coinvariant lattice $L^-$ (I think they are ...
1
vote
0answers
86 views

can minimal volume rational subspaces in a lattice be arbitrarily 'close'.

Let $\Gamma$ be a cocompact lattice in $\mathbb{R}^n$, eg. $\Gamma = A \mathbb{Z}^n$ for some $A \in SL_n \mathbb{R}$. Then any $k$-dimensional subspace $P$ which is rational in $\Gamma$ has a volume: ...
4
votes
1answer
260 views

Reference for subsemigroups of $\mathbb{N}^n$

A well known result about the natural numbers $\mathbb{N}$ says that for any finite subset $A \subset \mathbb{N}$ there exists $R \ge 0$ such that if $n$ is in the subgroup of $\mathbb{Z}$ generated ...
2
votes
1answer
198 views

Expected number of identical vertex pairs with the same Euclidean distance on a randomly colored rectangular lattice

Imagine I have an $N$ by $M$ rectangular lattice where I randomly assign one of $k$ colors to every vertex in the lattice. I then write down a list of the ${N*M}\choose{2}$ possible unordered pairs ...
2
votes
0answers
101 views

Finite subgroups (lattices) in the large N limit of SU(N)

I would like to gain some information about the discrete subgroups (lattices) of SU(N) Lie groups. I have already read some answers and references concerning the N=3 and N=4 cases. I am more ...
1
vote
0answers
128 views

Comparing the volume of a rational lagrangian under a linear symplectomorphism.

Let's fix the standard symplectic structure $(\mathbb{R}^{2g}, \omega, J)$. A (marked) symplectic lattice then has the form $A\mathbb{Z}^{2g}$ for $A \in Sp_{2g}\mathbb{R}$. We say a vector subspace ...
8
votes
2answers
410 views

Lattices in $SL(n,\mathbb R)$

If $\Gamma\subseteq SL(n,\mathbb{R})$ is a lattice (i.e. discrete and finite covolume), does $\Gamma$ necessarily contain some $\mathbb{R}$-diagonalizable copy of $\mathbb{Z}^{n-1}$? I know that the ...
15
votes
4answers
505 views

The latice spanned by $m$ random 0-1 vectors of length $n$

Consider $m$ random 0-1 vectors of length $n$. Let $L$ be the lattice spanned by them. What is the value of $m$ (as a function of $n$) for which it is true with positive probability that $L=Z^n$? More ...
3
votes
0answers
89 views

Versions of Helly's Theorem for Unbounded Parallelpipeds

I'm studying Frobenius splitting of toric varieties based on Sam Payne's characterization of Frobenius splitting ("Frobenius splittings of toric varieties" (2008)) and I came across a sort of Helly's ...
17
votes
1answer
577 views

Is the ball reducible in some high dimension?

Let $K$ be a bounded symmetric ($-K=K$) open convex body in $\mathbb R^n$. The critical determinant $d(K)$ of $K$ is the least possible volume $|\operatorname{det}(a_1\dots a_n)|$ of the fundamental ...
1
vote
1answer
106 views

Lorentz quotient and orientation

$$ U \; = \; \left( \begin{array}{cc} 0 & 1 \\\ 1 & 0 \end{array} \right) , $$ Given a real oriented vector space $V$ with inner product, form Lorentzian $L = V \oplus ...
5
votes
0answers
169 views

Effect of Covering Radius on Shortest Vector

For "even" integral lattices in dimension at least 4, does a covering radius strictly less than $\sqrt 2$ imply that there is a vector of norm 2, also called a root? Note that this is simply false in ...
4
votes
3answers
494 views

Product-Decomposition of distributive lattices

EDIT I now (strongly) believe that the following claim answers my question (see the text below). However, if it does, then I am sure that it is known. It is not difficult to prove and the question ...
5
votes
3answers
531 views

Matrices generating non-discrete subgroups of SL(2,R)

Jorgensen's inequality $\mid \left(Tr\left(A\right)\right)^2-4\mid+\mid Tr\left[A,B\right]-2\mid\ge 1$ gives a necessary condition for two matrices A,B to generate a discrete subgroup of SL(2,R). Are ...
3
votes
0answers
126 views

Commutative quantale (Q,+) with a binary operation distributing over +

Context: In Flagg's "Quantales and continuity spaces" the notion of a continuity spaces enriched in a certain quantale is introduced. Abstracting from the set $[0,\infty]$ the essential properties ...
0
votes
1answer
144 views

dither in Leech lattice quantization!

Hi, Can you please help me how to generate a dither signal $\mathbf{U}$, where $\mathbf{U}$ is a random vector of length 24 that is uniformly distributed over the voronoi region of the Leech lattice. ...
2
votes
1answer
313 views

When are the join-irreducibles in a complete lattice join-dense?

A subset $A$ of a complete lattice $L$ is said to be join-dense if $L=\{\bigvee R|R\subseteq A\}$. An element $a\in L$ is said to be join-irreducible if $a\neq 0$ and if $a=x\vee y$ then $a=x$ or ...
4
votes
1answer
355 views

Linear symmetric spaces are spaces with ''orthogonal complements''?

The collection of marked unimodular lattices in the euclidean $n$-space corresponds to the symmetric space $S_n:=SO_n(\mathbb{R}) \backslash SL_n(\mathbb{R})$. I have only recently been made aware ...