The geometry-of-numbers tag has no usage guidance.

**41**

votes

**1**answer

2k views

### (Approximately) bijective proof of $\zeta(2)=\pi^2/6$ ?

Given $A,B\in {\Bbb Z}^2$, write $A \leftrightarrows B$ if the
interior of the line segment AB misses
${\Bbb Z}^2$.
For $r>0$, define
$S_r:=\{ \{A, B\} | A,B\in {\Bbb Z}^2,||A||<r,||B||<r, ...

**22**

votes

**2**answers

1k views

### Are most curves over Q pointless?

Fresh out of the arXiv press is the remarkable result of Manjul Bhargava saying that most hyperelliptic curves over $\mathbf{Q}$ have no rational points. Don Zagier suggests the paraphrase : Most ...

**20**

votes

**1**answer

511 views

### Voronoi cell of lattices with the same profile

Definition 1. Given a body $V$ in $\mathbb R^n$,
the function $p_V\colon \mathbb R_+\to \mathbb R_+$
$$p_V(r)=\mathop{\rm vol} [V\cap B_r(0)]$$
will be called profile of $V$.
Definition 2. Define ...

**18**

votes

**1**answer

568 views

### Is the norm of a $0-1$ matrix (almost) attained on a $0-1$ vector?

I'd like to state explicitly a problem which was somehow hidden in my three-week-old post:
Does there exist an absolute constant $c>0$ with the property that for any matrix $M\in{\mathcal ...

**15**

votes

**1**answer

447 views

### Geometry of numbers for three by three matrices?

While trying to use Minkowski's theorem to calculate the (left) class number of a noncommutative ring, I ran into the following problem:
What is the volume of the largest symmetric convex subset ...

**14**

votes

**1**answer

613 views

### Totally rational polytopes

Define a convex polytope in $\mathbb{R}^d$ as
totally rational (my terminology)
if its vertex coordinates are rational, its edge lengths
are rational, its two-dimensional face areas are rational, ...

**11**

votes

**3**answers

581 views

### Counting points on lattices

I expect that the following is a standard problem from analytic number theory, but I don't know where exactly to look for an answer.
Let f: ℤr→ H be a surjective homomorphism into a ...

**10**

votes

**3**answers

1k views

### Number of lattice points in a random disk of radius r

Consider a disk of radius $r$ centered at $(x,y)$, where $(x,y)$ is chosen from the uniform distribution on $[0,1) \times [0,1)$, and let the random variable $N$ be the number of lattice points in the ...

**9**

votes

**0**answers

334 views

### How small parallelograms are we guaranteed to get, when we select the two sides from different plane lattices?

Title question description: Select two lattices $\Lambda_1$ and $\Lambda_2$ (here a lattice=additive free abelian group without accumulation points) of maximal rank two in the real plane. We normalize ...

**8**

votes

**1**answer

616 views

### Projecting the unit cube onto a (very special) subspace

Let $n>1$ be an integer, and $a>1$ a real number. Consider the subspace $L<R^{2^n}$ generated by the $n$ possible tensor products of the $n-1$ copies of the vector $(1,a)$ and one copy of ...

**7**

votes

**2**answers

571 views

### Verifying an example in the Geometry of Numbers and Quadratic Forms

In answer to Pete L. Clark's question Must a ring which admits a Euclidean quadratic form be Euclidean? on Euclidean quadratic forms, I gave an example in seven variables, repeated below. Pete's ...

**7**

votes

**1**answer

504 views

### Verifying my other example in the Geometry of Numbers and Quadratic Forms

In answer to Pete L. Clark's question Must a ring which admits a Euclidean quadratic form be Euclidean? on Euclidean quadratic forms, I also gave an example in six or fewer variables, repeated below. ...

**7**

votes

**2**answers

151 views

### space of reduced positive definite quadratic forms

What is the highest dimension for which the space of reduced positive definite quadratic forms (or the fundamental domain of $SL_n(\mathbb{R})/SL_n(\mathbb{Z})$) has been explicitly calculated? I know ...

**7**

votes

**0**answers

107 views

### Minimal number of colours for colouring Voronoi-cells of a $d-$dimensional lattice

There are arbitrarily large finite sets of points in $\mathbb R^3$ whose Voronoi-domains
intersect all pairwise in $2-$dimensional polytopes. This shows that one needs infinitely many
colours in order ...

**7**

votes

**0**answers

450 views

### Higher-dimensional analogs of the Farey sequence/Riemann hypothesis connection?

See here for Franel and Landau's equivalent forms of the Riemann
hypothesis in terms of the uniformity of distribution of Farey sequences.
...

**6**

votes

**2**answers

797 views

### Is the operator norm always attained on a $\{0,1\}$-vector?

Given an operator $f\colon R^m\to R^n$, can one always find a non-zero vector
$x\in \{ 0,1 \}^m$ such that $\|f(x)\|/\|x\|\ge0.01\|f\|$? (Here I denote by
$\|\cdot\|$ both the Euclidean norms in $R^m$ ...

**6**

votes

**3**answers

578 views

### Sums of inverse determinants over matrices

Let $A \in M_n(\mathbb Z)$ and $\|A\| = \max |a_{ij}|$.
Denote $$ S(r) = \sum_{\substack{\|A\| \leq r \\\ \det{A} \neq 0}} \dfrac{1}{|\det{A}|} $$
- the sum over all matrices $A \in M_n(\mathbb Z)$ ...

**6**

votes

**2**answers

470 views

### Still more generalized Dirichlet Theorem

Dirichlet proved a classical theorem about approximating irrational real numbers with rational numbers, saying that for any irrational real number $\alpha$, you can find infinitely many rational ...

**6**

votes

**1**answer

113 views

### Lattice parallelogram of minimal area containing convex lattice polygon

What is the minimal constant $\alpha$ so that for any convex lattice polygon $F$ there exists a lattice parallelogram $P\supseteq F$ of area $A(P)\leq \alpha\cdot A(F)$?
It is not hard to show that ...

**6**

votes

**0**answers

151 views

### Upper bound on the number of ismorphism classes of bilinear forms on $\mathbb{Z}^n$

$\DeclareMathOperator{\Hom}{Hom}$A symmetric, positive definite bilinear form on $\mathbb{Z}^n$ is any mapping $$b : \mathbb{Z}^n \times \mathbb{Z}^n \to \mathbb{Z}$$ satisfying
$b$ is bilinear,
...

**5**

votes

**2**answers

428 views

### On Weil's characters of type (A)

In Weil's paper
"On a certain type of characters of the idele-class group of an algebraic number field",
Weil introduces a class of characters on the Idele class group (of not necessarily finite ...

**5**

votes

**1**answer

288 views

### Regular lattice polygons

Suppose I want to construct an $N$-gon in the plane whose vertices are integer lattice points, and which is close to a regular $N$-gon (which means, the ratio of longest to the shortest side is within ...

**5**

votes

**1**answer

196 views

### Maximum sets of lattice points such that only a few points collinear

Consider all the integer points $\in [0,n]\times[0,n]$, I want to find the maximum subset $S$ of which such that there are at most $n^\varepsilon(0<\varepsilon<1)$ points in $S$ collinear.
So, ...

**5**

votes

**0**answers

341 views

### An operator-norm version of Siegel's Lemma

Is there a kind of Siegel's Lemma saying that if $M$ is a ``small-height'' integer matrix, then there is a "small-height" vector $x$ with $\|Mx\|=\|M\|\|x\|$? (Here $\|Mx\|$ and $\|x\|$ denote the ...

**4**

votes

**1**answer

410 views

### Reverse Gauss's Circle Problem

Gauss's Circle Problem [1] is to find the number of lattice points inside the boundary of a circle with a given radius and center at the origin. I'm interested in the "reversed" version of this ...

**4**

votes

**1**answer

332 views

### Counting number of points in a lattice with bounded sup norm

Let $\Lambda$ be a lattice in $\mathbb{R}^n$. For $\bar{x} \in \mathbb{R}^n$, let
$\| \bar{x} \| = max_{1 \leq i \leq n} \{ |x_i| \}$, i.e. the sup norm. Let $\lambda_1, ..., \lambda_n$
be a ...

**4**

votes

**0**answers

66 views

### Rational $d$-simplices

Define a rational $d$-simplex as a simplex in $\mathbb{R}^d$
such that the measure of all its $k$-dimensional faces, $k \ge 1$, is rational.
So a rational triangle has rational edge lengths and ...

**3**

votes

**2**answers

271 views

### Proving Legendre's Sum of 3 Squares Theorem via Geometry of Numbers

Every positive integer can be written as the sum of 4 squares $n = a_1^2 + a_2^2 + a_3^2 + a_4^2$ however, if we only allow sum of 3 squares some numbers have to be left out:
$n = a^2 + b^2 + c^2$ ...

**3**

votes

**1**answer

208 views

### n-dimensional Delaunay Triangulation of Lattices

I have several questions concerning the Delaunay triangulation of a high dimensional lattice.
Given an $n$-dimensional lattice $L$ and its Delaunay triangulation (partition of $R^n$ into simplices ...

**3**

votes

**0**answers

142 views

### Counting number of points in a lattice with bounded length

I am interested in counting number of lattices using the following theorem.
The following is Theorem IV (page 412) in Chapter VIII of "An introduction to the geometry of numbers (second printing, ...

**2**

votes

**2**answers

250 views

### On successive minima and basis of a lattice

Let $\Lambda$ be a lattice in $\mathbb{R}^n$. For $\bar{x} \in \mathbb{R}^n$, let
$\| \bar{x} \| = max_{1 \leq i \leq n} \{ |x_i| \}$, i.e. the sup norm. Let $\lambda_1, ..., \lambda_n$
be a ...

**2**

votes

**1**answer

160 views

### The number of different lattice triangles

Two convex lattice polygons are equivalent if there is a lattice-preserving affine transformation mapping one of them to the other. Equivalent polygons have the same area. Let $H(A)$ denote the number ...

**2**

votes

**2**answers

568 views

### Projecting the unit cube onto a subspace [closed]

I have some (rather exotic) subspace $L<R^n$, and I want to show that every non-zero vector in $\{0,1\}^n$ has a relatively small projection onto $L$. What general results and tools can be helpful? ...

**1**

vote

**1**answer

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

**1**

vote

**0**answers

258 views

### Average rank of elliptic curves over function fields

De Jong showed in 2002 if the finite field $\mathbb{F}_q$ has characteristic not equal to 3, then the limsup of the average of 3-Selmer rank is bounded above, where the average is taken over the ...

**1**

vote

**0**answers

209 views

### Siegel's Mean Value Theorem by Rogers and Macbeath

I recently became engaged in the work of Siegel, Schmidt, Rogers, Macbeath regarding random lattices and geometry of numbers, e.g. Siegel proved that
$$\int_{SL(n,\mathbb{R})/SL(n,\mathbb{Z})} \sum_{ ...

**1**

vote

**0**answers

276 views

### Gauss circle problem and Jacobi-type estimates for higher dimensions

Hello everyone, I was doing some late night random reading and I got to wonder about some stuff about the Gauss circle problem.
To begin with, consider a circle in $\mathbb{R}^{2}$ with centre at the ...

**1**

vote

**0**answers

120 views

### A bounded function of the packing and covering density of lattices

Given a (finite-dimensional) lattice $L$ of an Euclidean vector-space, the function
$$L\longmapsto -\log(\hbox{packing density of }L)/
\log(\hbox{covering density of }L)$$
is bounded and bounded away ...