**1**

vote

**0**answers

63 views

### The Linnik problem for dimension $2$

For $N$ an integer, let
$$\Omega_N:=\left\{\frac{\alpha}{\|\alpha\|}|\alpha \in\textbf{Z}^n~\text{and}~\|\alpha\|^2=N\right\}.$$
For $n=3$, Linnik asked if the set $\Omega_N$ was uniformly distributed ...

**2**

votes

**0**answers

48 views

### automorphic forms associated with symmetries of vertices of uniform honeycombs in hyperbolic space

Is there a catalogue of automorphic forms (modular/Maass/Siegel/Hilbert...) which lists them in terms of Poincaré series associated with the symmetries of the vertices of uniform honeycombs in ...

**0**

votes

**0**answers

82 views

### Finding good high-dimensional sphere coverings in Euclidean space

Suppose we want to cover the unit sphere $\mathcal{S}^{d-1} := \{\mathbf{x} \in \mathbb{R}^d: \|\mathbf{x}\|_2 = 1\}$ with spherical caps $\mathcal{C}_{\mathbf{y}} := \{\mathbf{x} \in \mathcal{S}^{d-1}...

**3**

votes

**0**answers

57 views

### Lattice points in regular simplex

Suppose we are given a regular (closed) simplex $S$ in a vector space $V$ of dimension $n$, whose vertices have integer values. Then for a lattice $L$, is there a sufficient criterion, for $S$ to ...

**2**

votes

**2**answers

187 views

### Lower bound for the number of representations of integers as sum of squares

Let $k\geq 4$. As usual, let $r_k(n)$ denote the number of ways to represent $n$ as the sum of $k$ squares. Is this true that for every $\varepsilon>0$, one has $r_k(n) \gg n^{\frac{k}{2}-1-\...

**1**

vote

**0**answers

47 views

### Dual equivalence for multioperators

This is a reference request question. But let's start with a few definitions.
Let $L$ and $M$ be two bounded lattices. A multioperator $p$ for $L$ and $M$ is an application $$p : L \to Ft(M)^{op}$$ ...

**1**

vote

**1**answer

44 views

### Dual lattices up to a q scaling factor

In this paper : https://eprint.iacr.org/2011/501.pdf
There is an equality page 10, in the second paragraph considered by the authors as "easy to check". If someone could explain to me why the set at ...

**2**

votes

**1**answer

155 views

### Posets (partially ordered sets) in equational logic

I know about equational logic, cf. https://en.wikipedia.org/wiki/Lattice_(order)#Lattices_as_algebraic_structures, and understood that lattices are expressed equationally, i.e., in terms of equational ...

**25**

votes

**2**answers

1k views

### Understanding sphere packing in higher dimensions

In a recent publication by the Ukrainian mathematician Maryna Viazovska the Kepler problem for dimension $8$ and $24$, namely the densest packing of spheres, was solved.
Admittedly it is very ...

**5**

votes

**1**answer

124 views

### Existence of lattices in reductive Lie groups

What is known about existence of lattices in reductive Lie groups? The best results I know about existence of lattices in connected Lie groups are either about semisimple groups or nilpotent groups ...

**13**

votes

**1**answer

362 views

### Counting lattice points inside a three-dimensional ellipsoid

I want to answer the following simple question:
Given a three-dimensional ellipsoid defined by $Q(x, y, z) \leq Z$ for a positive definite quadratic form $Q$, how many lattice points in $\mathbb{Z}...

**1**

vote

**0**answers

77 views

### Relation to Ehrhart polynomial with Uniqueness

A set of relative prime, positive integers $A = [a_1, \dots, a_d]$ describe the restricted partition function
$$
p_A(n) = \# \{(m_1,\dots,m_d)\in\mathbb{Z}^d: \textrm{ all }m_j \geq 0, \sum_{j=1}^d ...

**3**

votes

**1**answer

80 views

### Uniform lattice in semidirect product

A uniform lattice in a locally compact group $G$ is a discrete subgroup $\Gamma\subset G$ such that $G/\Gamma$ is compact.
My question is whether a uniform lattice exists in the group
$$
G={\mathbb R}^...

**8**

votes

**2**answers

354 views

### What's in the genus of the cubic lattice?

I'll write $\mathbf{Z}^n$ for the integral quadratic form $x_1^2 + \cdots + x_n^2$. For which values of $n$ is $\mathbf{Z}^n$ unique in its genus, i.e. isolated in Kneser's graph? In particular can ...

**1**

vote

**1**answer

152 views

### Is there a nice choice-free argument to count the number of sublattices?

It's a well known fact that the number of index $n$ sublattices of a rank two lattice $\Lambda$ is given by $\sigma_1(n) = \sum_{d\mid n} d$.
Here is a proof of this fact:
Proof: choosing a basis of ...

**7**

votes

**1**answer

395 views

### Lattice points near a curve

Bombieri and Pila had a well known bound for the count of lattice points on an algebraic curve in the plane. Does it generalize to a bound for the count of lattice points near (say within a distance ...

**1**

vote

**0**answers

18 views

### Dedekind complete quotients of Riesz spaces

Suppose that $E$ is a Dedekind complete Riesz space and let $J$ be an order ideal of $E$. Then one can form a quotient Riesz space $E/J$. I am interested which properties $J$ needs to posses so that $...

**3**

votes

**0**answers

139 views

### Lenstra's integer programming algorithm: Finding a lattice point “near the center”

I have already posted this question on the mathematics forum, but I suspect the question needs more detailed knowledge than most users have; please excuse the duplicate post. Any help is greatly ...

**8**

votes

**1**answer

398 views

### On (a generalization of) the Gauss Circle Problem

Most (if not all) references I read about the Gauss Circle Problem that proves a bound below $O(R^{2/3})$ reduces the GCP to the Dirichlet Divisor Problem by the well known expression of $r_2(n)$, the ...

**3**

votes

**1**answer

101 views

### Number of lattice points in homotetic image

I asked this question on MSE a week ago and it gave me a tumbleweed badge :-)
Let $\Lambda$ be a lattice in $\mathbb R^n$, with covolume $\Gamma$.
Moreover, let $S$ be a bounded (Lebesgue-)measurable ...

**1**

vote

**0**answers

37 views

### Checking integer points of given infinity norm on intersection

If we have convex region $\mathscr R$ given as intersection of a convex polytope $\mathscr P$ and an ellisoid $\mathscr E$ in $\ell^2$ norm is there an efficient way to test if there is an integer ...

**5**

votes

**0**answers

59 views

### Almost invariance in compact quotients of locally compact groups

While trying to get an analogue of Weiss's monotiling result for amenable residually finite groups
in the topological setting, I face the following problem.
Let $G$ be a locally compact amenable ...

**4**

votes

**1**answer

114 views

### Closest point to a dual lattice point (in particular for root lattices!)

Given a lattice $\Lambda\subset \mathbb{R}^n$ and a point $p\in\mathbb{R}^n$ outside the lattice, then I known it is a hard question to determine the set $S\subset \Lambda$ of all lattice points with ...

**1**

vote

**1**answer

61 views

### Existence of the double coset ring on paper of Ihara

In his paper "On discrete subgroups of the two by two projective linear group over $\mathfrak{p}$-adic fields", Yasutaka Ihara considers an abstract group $G$ together with a length function $l$ from $...

**1**

vote

**1**answer

131 views

### Two types of random walkers on square lattice

Consider a two dimensional square lattice ($n$ by $n$), which is our space $S$ (each point labelled by an index $1\to n^2$), containing two types of particles, distinguished here by either an index $1$...

**5**

votes

**3**answers

332 views

### Fundamental solution of Discrete Laplace in the plane

We consider a discretization of the Laplace operator on $\mathbb Z^2$, https://en.wikipedia.org/wiki/Discrete_Laplace_operator
Then, it is natural to consider its fundamental solution $u$, i.e. $|u(x)...

**5**

votes

**1**answer

179 views

### Average of Short Character Sum over All Dirichlet Characters Mod n

Cross-posted from M.SE.
Given $a,n$ coprime positive integers, let $L = \{(x,y)\in \mathbb{Z}^2, ax=y(n)\}$ be the lattice of all points satisfying $ax=y\pmod{n}$.
I want to find an order-of-...

**4**

votes

**0**answers

40 views

### Deformations of null-vectors of an integral unimodular lattice

Is there an $SO(n,n)$ transformation that makes the Euclidean norm-squared of all the null vectors of the $(n,n)$ hypercubic lattice strictly greater than 4?
Example: Let $\Lambda_{\rm sL}$ denote ...

**7**

votes

**0**answers

237 views

### Question on some coverings of the euclidean space

Let $L$ be a maximal integral lattice in the euclidean $(\mathbf R^{8m},q)$ (thus the associated bilinear form $b(u,v)=q(u+v)-q(u)-q(v)$, once restricted to $L$, takes values in $2\mathbf Z$ and has ...

**6**

votes

**1**answer

173 views

### Shortest vector problem over polynomials

In shortest vector problem, given a lattice in $\Bbb Z^n$, we seek the shortest non-zero vector in the lattice. This problem is computationally difficult.
Is there a polynomial analog of this problem ...

**0**

votes

**0**answers

158 views

### Writing integers in ring of integers of number fields

Given $a,b\in\Bbb N$, we can write $a=a_tb^t+a_{t-1}b^{t-1}+\dots+a_1b+a_0$ where $t=\lceil\log_ba\rceil$ and $a_i<b<a$.
(1) Supposing if $b\in\mathcal{O}_K$ where $\mathcal{O}_K$ is ring of ...

**1**

vote

**1**answer

275 views

### Does $\mathbb Z \times \mathbb Z$ mod the obvious $\mathbb Z$ action have more structure than just a set?

$\mathbb Z$ acts on the lattice $\mathbb Z \times \mathbb Z$ by adding an element to itself n times.
I am studying some function arising from symplectic geometry which happens in my case to be ...

**12**

votes

**3**answers

511 views

### 2-dimensional sublattices with all vectors having very big square (in absolute value)

QUESTION: Let $\Lambda\times\Lambda\rightarrow {\Bbb Z}$ be a lattice,
that is, ${\Bbb Z}^n$ with a non-degenerate integer quadratic form, not
definite, not necessarily unimodular, $n>2$. I want ...

**1**

vote

**2**answers

312 views

### Intersection of two lattices

Suppose that $\Lambda_1, \Lambda_2$ are two sub-lattices of $\mathbb{Z}^n$ of full rank, defined by congruence modulo a prime $p$. That is, there exist two vectors with integer entries $\mathbf{a}, \...

**0**

votes

**0**answers

57 views

### lattice basis reduction of the orbit of a rational vector on the torus

LEt $v=(p_1/q,...,p_n/q)$ be a vector of the torus $\mathbb{T}^n$, such that for any $i$, $p_i$ and $q$ are relatively prime. Let $L= \{ kv \mod \mathbb{T}^n , k=0,...,q-1 \}$.
What is the lattice ...

**6**

votes

**3**answers

307 views

### Probability a random matrix contains a short integer vector in its kernel

Consider a random $m$ by $n$ matrix $M$ with $m \leq n$, chosen uniformly over all those whose elements are in $\{0,1\}$ (or $\{-1,1\}$ if it is any easier). Is there any mathematical theory that ...

**2**

votes

**2**answers

178 views

### Permutation covering of a $G$-lattice

Let $G$ be a finite group.
By a $G$-lattice we mean a finitely generated free abelian group $L$ with an action of $G$.
We say that $L$ is a permutation $G$-lattice if $L$ has a ${{\mathbf{Z}}}$-basis ...

**6**

votes

**1**answer

166 views

### Is the braid group with $n$ strings $\mathcal{B}_n$ a lattice in a connected semi-simple Lie group?

Is the braid group with $n$ strings $\mathcal{B}_n$ known to be a lattice in a connected semi-simple Lie group ? (for $n$, say, bigger than $3$)
Or is it known that it cannot be such a lattice ?

**4**

votes

**1**answer

160 views

### Is the product of two supermodular functions supermodular?

The definition of Supermodularity is that for every $x′>x$ and $y′>y$, we have
\begin{equation*}
f(x′,y′)+f(x,y)>f(x′,y)+f(x,y′).
\end{equation*}
Suppose $f$ and $g$ are supermodular, non-...

**16**

votes

**1**answer

542 views

### Number of matrices with given Smith normal form

Denote with $\mathcal{M}$ the set of $(m \times n)$-matrices with integer coefficients bounded by some $K$. Given a matrix $B \in \mathcal{M}$ that is in Smith normal form, is anything known about the ...

**5**

votes

**1**answer

263 views

### Bounding the number of lattice points inside an $n$-dimensional ellipsoid

I am wondering if it is possible to produce an upper and/or lower bound on the number of integer lattice points that lie inside an $n$-dimensional ellipse.
That is, given an $n$-dimensional ellipsoid ...

**5**

votes

**2**answers

214 views

### Ordered lattice point enumeration

I initially asked this question over at StackOverflow as it has algorithmic flavor to it, but I haven't been getting much traction so I thought I would probe the mathematics community.
Setup: Let $e_{...

**4**

votes

**2**answers

287 views

### Counterexample on completely distributive lattices

I would like to see an example of a complete lattice $C$ which is both a frame and a dual-frame, i.e. finite meets distribute over arbitrary joins and finite joins distribute over arbitrary meets (...

**2**

votes

**1**answer

57 views

### covering radius of a lattice from cyclotomic extension

Given a finite field extension $L$ of $\mathbb{Q}$ of dimension $n$, there is a natural way to embed it into $\mathbb{R}^n$ such that the image of its ring of integers $\mathcal{O}_L$ is a lattice. If ...

**10**

votes

**3**answers

449 views

### Is a distributive lattice planar iff it admits no B3 sublattice?

A finite lattice is planar if it admits a Hasse diagram which is a planar graph (we want the Hasse diagram to be represented in the plane so that the $y$-coordinate of each element respects the order)...

**6**

votes

**1**answer

331 views

### When do two lattices have the same stabilizer in the diagonal torus?

This is moved from MSE, where I asked and didn't receive an answer (see http://math.stackexchange.com/questions/1145151/lattices-in-mathbbq-pn-with-the-same-stabilizer)
Let $T$ be the diagonal torus ...

**4**

votes

**1**answer

134 views

### Can any finite distributive weighted lattice be realized by inclusion of groups?

By theorem 2.1 here, any finite distributive lattice $\mathcal{L}$ can be realized as an intermediate subgroups lattice.
A weighted lattice $(\mathcal{L},\tau)$ is a lattice $\mathcal{L}$ with a ...

**8**

votes

**1**answer

835 views

### A dual version of a theorem of Øystein Ore in group theory

Let $(H \subset G)$ be an inclusion of finite groups.
This post is a dual version for the Generalization of a theorem of Øystein Ore in which it's proved:
Theorem: $\mathcal{L}(H\subset G)$ ...

**1**

vote

**0**answers

94 views

### Are lattices in the special real linear group subgroup seperable?

Let $G \leq SL_2(\mathbb{R})$ be a lattice, let $H \leq G$ be a finitely generated subgroup of infinite index, and let $n \in \mathbb{N}$. Must there be some $H \leq U \leq G$ such that $n \leq [G : U]...