**8**

votes

**2**answers

297 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

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

**4**

votes

**2**answers

189 views

### A weak kind of fixed point

Let $X$ be a set and let $\cal A$ be a non-empty subset of $P(X)$ with the property that whenever $A_1 \subseteq A_2 \subseteq \cdots $ is an increasing chain of elements of $\cal A$ then $\cup_i A_i ...

**5**

votes

**1**answer

175 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

14 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

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

**7**

votes

**1**answer

330 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

89 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

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

**4**

votes

**0**answers

50 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

110 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

59 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

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

**5**

votes

**3**answers

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

**5**

votes

**1**answer

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

**4**

votes

**0**answers

38 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

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

**7**

votes

**1**answer

139 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

155 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

268 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

483 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

274 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

55 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

286 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

173 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

159 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 ?

**0**

votes

**0**answers

110 views

### Mean value estimate $ \frac{1}{T} \int_0^T | \zeta( \tfrac{1}{2} + it)|^2 \, dt = \log \frac{T}{2\pi } + (2\gamma - 1) + O(T^{\delta})$

I was browsing through the recent paper of Bourgain and Watt on mean value estimates of the Riemann zeta function on the critical line.
$$ \frac{1}{T} \int_0^T | \zeta( \tfrac{1}{2} + it)|^2 \, dt = ...

**4**

votes

**1**answer

151 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, ...

**11**

votes

**1**answer

418 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

224 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

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

**4**

votes

**2**answers

266 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

49 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

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

**6**

votes

**1**answer

279 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

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

**7**

votes

**1**answer

697 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

88 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 : ...

**1**

vote

**1**answer

127 views

### lattice orthogonal complement

Let $A\in \mathbb{Z}^{m\times n}$ ($m<n$) be a matrix with orthogonal rows. Further assume that the gcd of the coefficients in each row of $A$ is $1$.
Consider $\ker A\cap \mathbb{Z}^n = ...

**0**

votes

**1**answer

344 views

### How to recognize if a lattice is distributive? [closed]

I know that a Boolean lattice must be distributive.
But what with these lattices? Are these distributive?
$\hskip0.7in$
How to recognize which lattices are distributive or not only by looking on ...

**6**

votes

**1**answer

392 views

### Are the distributive permutation groups linearly primitive?

An action of a group $G$ on a set $X \neq \emptyset$ is called transitive if $\forall x,y \in X$, $\exists g \in G$ such that $g.x = y$.
It is called primitive if it is transitive and preserves no ...

**1**

vote

**1**answer

162 views

### basis of the lattice generated by the integer points inside a subspace of R^L

Consider $K$ linearly independent vectors $\mathbf{a}_1, \mathbf{a}_2, ..., \mathbf{a}_K \in \mathbb{Z}^L$, where $1 \leq K<L $. Hence, the span of $\lbrace\mathbf{a}_1, \mathbf{a}_2, ..., ...

**0**

votes

**0**answers

254 views

### Number of lattice points in a given triangle

Given a triangle with real coordinates, does anybody know how to find the number of lattice points contained within it? What if the points are only rational? I know Pick's formula can be used for the ...

**2**

votes

**2**answers

284 views

### Is certain topology-related set a distributive lattice?

In my research the following problem appeared (and if it is true, this solves positively several my conjectures):
Let $U$ be a fixed set (usually $U$ is infinite). Let $n$ be a fixed index set ($n$ ...

**0**

votes

**1**answer

67 views

### Lower bounds on the rank of a unimodular lattice, given the binlinear pairing of a subset of basis vectors

I have some questions on lower bounds on the rank of unimodular lattices given the bilinear pairing of a subset of its basis is known.
Let $\Lambda$ be an odd, unimodular matrix of signature ...

**2**

votes

**0**answers

116 views

### $\mathbb{Q}$-forms of $\mathrm{SL}_2\times \mathrm{SL}_2$

I am learning something about lattices in algebraic groups. Consider the algebraic group $\mathrm{SL}_2\times \mathrm{SL}_2$. What are the $\mathbb{Q}$-forms of such groups?

**3**

votes

**2**answers

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

**13**

votes

**3**answers

628 views

### Conjecture regarding closest point inside a discrete ball to a line

I'm a PhD student in image processing, where I've stumbled into a problem that seems to be essentially number theory. I've hunted around online and while I've found many results on similar problems, ...

**3**

votes

**2**answers

227 views

### Cohomology of SL(2,R) with coefficients given by linear action

Let $SL(2,{\mathbb R})$ act on ${\mathbb R}^2$ by matrix multiplication.
What is known about group cohomology $H^*(SL(2,{\mathbb R}),{\mathbb R}^2)$?
And about $$H^*(\Gamma,{\mathbb R}^2)$$ for a ...

**5**

votes

**2**answers

285 views

### Decomposing polyhedral cones into “direct sums” and a polynomial

This question consists of two parts. I'm not breaking it up into two separate ones because posing the second question would essentially require me two rewrite the first one. Also, to some extent, the ...