**3**

votes

**2**answers

266 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

**2**answers

549 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

**1**answer

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

**0**answers

157 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

**0**answers

78 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

**1**answer

245 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

**1**answer

185 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

**0**answers

95 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

**0**answers

125 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

**2**answers

376 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

**4**answers

486 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

**0**answers

85 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 ...

**16**

votes

**1**answer

556 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

**1**answer

97 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

**0**answers

160 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

**2**answers

400 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

**3**answers

434 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

**0**answers

117 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

**1**answer

140 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

**1**answer

291 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

**1**answer

347 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 ...

**7**

votes

**1**answer

371 views

### Octonionic reflection groups

Consider Leech lattice definition provided by Wilson (Octonions and Leech lattice, 2008).
There are 819 E8 sublattices defined by
$ (2\lambda, 0, 0); $
$ (\lambda \overline{s}, (\lambda ...

**3**

votes

**2**answers

271 views

### Inner product spaces, Siegel's theorem and lattices: book suggestion

Background: I am a theoretical computer scientist (PhD candidate) and
have done graduate level courses in Algebra.
I want to understand the following theorem from the book "Symmetric
Bilinear Forms" ...

**2**

votes

**1**answer

193 views

### Spanning set for Lattice generated by an orbit of the group.

For a vector spaces it always holds that any set of vectors spanning vector space $V$ has a subset of vectors which is a basis for $V$. While for lattices it is not true. For example consider one ...

**6**

votes

**0**answers

384 views

### What is the structure of a space of $\sigma$-algebras?

Let $X$ be a compact metric space, and consider the Banach space $\Omega = C(X,\mathbb R)$ of continuous, real-valued functions on $X$, equipped with the supremum norm. Let $\delta_x \in \Omega^*$ be ...

**1**

vote

**2**answers

323 views

### Topology on Set of Prime Filters of a Distributive Lattice

Given a distributive lattice $A$ we can look at $Spec(A)$, whose points are prime ideals and its open sets are given similarly to the Zariski topology on Spec of a ring. That is, the basis of open ...

**1**

vote

**2**answers

227 views

### Relationship of Bousfield Classes of Morava K-theories

Suppose we have $\langle K(n)\rangle$ and $\langle K(n-1) \rangle$ for some fixed prime $p$. do we know whether or not $\langle K(n) \rangle \geq \langle K(n-1) \rangle$ or $\langle K(n-1) \rangle ...

**1**

vote

**3**answers

354 views

### Triangulations of lattice polygons

Let L be a 2-dimensional lattice and P- a lattice polygon. Suppose, it is triangulated into lattice tiangles. What are restrictions on their areas? For instance, can a lattice triangle of even area ...

**2**

votes

**1**answer

281 views

### Name of a lattice-property

Assume that we have a complete lattice $(L,\leq)$.
I would like to know whether the following property has a specific name and whether lattices with this property have been studied somewhere:
For ...

**2**

votes

**0**answers

214 views

### Hurwitz integers and $F_4$

The Hurwitz integers are
$$
\mathcal H=
\{a+bi+cj+dk:a,b,c,d\in\mathbb Z\;\text{ or } \;a,b,c,d\in \tfrac12+\mathbb Z\}.
$$
I want to know if there is a formula, for $m\in\mathbb Z$, for the number ...

**2**

votes

**0**answers

281 views

### Constructing the Stone Space of a Distributive Lattice

Does anyone have a good reference for the method of giving a topology to a distributive lattice as outlined in M.H. Stone's "Topological representation of distributive lattices and Brouwerian logics"? ...

**9**

votes

**1**answer

751 views

### Reference request: Ehrhart's conjecture on the geometry of numbers

Conjecture (Ehrhart). If a convex body $K \subset {\mathbb R}^n$ has its barycenter at the origin and contains no other point with integer coordinates, the volume of $K$ is less than or equal to $(n ...

**9**

votes

**2**answers

565 views

### Ellipsoids and lattices: an enclosure problem.

$E \subset {\mathbb R}^2$ is an ellipse of area $1$ centered at the origin that contains no other point with integer coordinates. Is there a matrix $A \in SL(2,{\mathbb Z})$ such that the ellipse ...

**0**

votes

**1**answer

290 views

### Finding lattice with short basis-vectors containing given lattice

Hello
While working on understanding the space spanned by certain integer relations of real numbers I have come across the following problem. Given $v_1,\dots, v_n \in \mathbb{Z}^m$ I am would like ...

**18**

votes

**0**answers

683 views

### Given a lattice L with n elements, are there finite groups H < G such that L $\cong$ the lattice of subgroups between H and G?

If there is no restriction on $n$, this is a famous open problem. I'm wondering if any recent work has been done for small $n>6$. I believe the question is answered (positively) for $n=6$ by ...

**5**

votes

**1**answer

124 views

### Is the cardinality of occuring torsion subgroups in cofinite lattices in SL(2,R) bounded?

Let $\Gamma$ be a cofinite lattice in $PSL(2,\mathbb{R})$ with torsion subgroup $H$.
Is the a uniform bound on the cardinality of $H$?

**0**

votes

**0**answers

100 views

### Question regarding contiguous forms

I read about contiguous forms in Achill Scürmann's thesis on positive quadratic forms. I am wondering about one aspect of the Voronoi algorithm presented in there, that enumerates all arithmetically ...

**1**

vote

**1**answer

321 views

### Complete De Morgan algebra

Recall that an algebra $(A,\sim)$ is a De Morgan algebra if $A$ is a bounded distributive lattice and $\sim$ is a unary operation which satisfies:
${\sim} (x\vee y)={\sim} x\wedge {\sim} y$ and ...

**1**

vote

**0**answers

184 views

### Implementation of the bounded-distance decoder of Leech-lattice?

Hi all,
I am wondering, anybody can help me how can I find an implemented version of Leech-Lattice quantizer/decoder, i.e., "Matlab", "C++" or "Python" code, using the approach proposed by Ofer ...

**4**

votes

**1**answer

556 views

### Lovász $\delta$ condition for LLL Algorithm

http://en.wikipedia.org/wiki/Lenstra%E2%80%93Lenstra%E2%80%93Lov%C3%A1sz_lattice_basis_reduction_algorithm
What is the importance of the $\delta$ parameter for LLL bases called Lovász condition?
...

**2**

votes

**1**answer

336 views

### Extending a complete lattice to get a “nice” Boolean lattice

Suppose we have a complete lattice. Which additional axioms (e.g. distributivity axioms) are needed to obtain a Boolean lattice in which complement(a) = lub{b | b /\ a = bottom} = glb{b | b / a = ...

**2**

votes

**1**answer

240 views

### Is there existing terminology for this technical condition on semilattices?

Given a semilattice $S$, a subset $E$, and a positive integer $n$, let $E^{[n]}$ be the set of all products of $n$-tuples in $E$. Thus $\bigcup_{n\geq 1} E^{[n]}$ is nothing but the subsemigroup of ...

**1**

vote

**0**answers

141 views

### bounds for the covering radius (or diameter of the Voronoi cell) of a lattice coming from a number field

Let $K$ be a number field and $O$ an order in $K$. Denote the real embeddings of $K$ by $\sigma_1,\dots,\sigma_s$ and the non-real complex embeddings of $K$ by ...

**1**

vote

**2**answers

211 views

### About lattice $\pmod q$

For any matrix $A \in Z^{n\times m}$, Let $$\wedge_q(A)=\{ y\in Z^m:\exists s\in Z^n, s.t. y=A^ts (\mod q) \},$$ $$\wedge_q^\bot(A)=\{x\in Z^m: Ax=0 (\mod q)\}.$$ There is a result stating that ...

**2**

votes

**0**answers

205 views

### Simultaneous diophantine approximation with polynomial bound

For a given number $\alpha$ continued fractions expansion $(p_n, q_n)$ of $\alpha$ has the remarkable property that not only $|\alpha - \frac{p_n}{q_n}| < \frac{1}{q_n^2}$, but the converse holds - ...

**1**

vote

**3**answers

488 views

### Genus and Spinor genus of a lattice

Hi, I'm looking for a motivation for the names genus and spinor genus of a lattice (and spinor norm of an isometry).
Is there any relation between the genus of a lattice and the genus of an algebraic ...

**5**

votes

**1**answer

420 views

### Finding Generators of O( Z^3,x^2 + xy + y^2 - z^2) and integer solutions

All pythagorean triples can be generated from $(3,4,5)^T$ and $(5,4,3)^T$ by the matrices:
\[ A = \left(\begin{array}{ccc} -1 & 2 & 2 \\\\ -2 & 1 & 2 \\\\-2 & 2 & 3 ...

**2**

votes

**0**answers

138 views

### Minimally 6-connected 3D discrete lines that are convex lattice sets

There are several definitions of 3D discrete lines, e.g. http://diwww.epfl.ch/w3lsp/publications/discretegeo/nratddl.html , http://dx.doi.org/10.1007/978-3-642-19867-0_4 . However, I know of none that ...

**2**

votes

**0**answers

251 views

### Pointwise bounds for Dirichlet kernel over truncated lattice

In 1 dimension, a "one-sided" Dirichlet kernel $D_N(x)=\sum_{k=0}^{k=N}e^{\frac{2\pi}{N}ikx}$ has its module sharply peaked around points corresponding, roughly, to the "dual lattice" ...

**1**

vote

**0**answers

193 views

### Upper bound on the number of shortest vectors in a lattice

Given a Lattice $L$ (e.g. by its Gram-Matrix or via a basis) I would like to know whether there is an upper bound on the number of shortest vectors in $L$. Available information on $L$ includes ...