The geometry-of-numbers tag has no wiki summary.

**2**

votes

**2**answers

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

**4**

votes

**1**answer

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

**3**

votes

**0**answers

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

**5**

votes

**1**answer

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

**6**

votes

**0**answers

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

**7**

votes

**2**answers

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

**1**

vote

**0**answers

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

**2**

votes

**0**answers

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

**1**

vote

**0**answers

139 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_{ ...

**3**

votes

**0**answers

93 views

### On one class of Euclidean lattices

Let $\Lambda\subset \mathbb Z^3$ be 3D lattice with a basis
$$a_1=\left(\begin{smallmatrix} a_{11} \\ a_{21}\\
a_{31}
\end{smallmatrix}\right),a_2=\left(\begin{smallmatrix} a_{12} \\ a_{22}\\
a_{32}
...

**5**

votes

**1**answer

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

**3**

votes

**1**answer

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

**19**

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

**15**

votes

**1**answer

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

**6**

votes

**3**answers

563 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)$ ...

**7**

votes

**0**answers

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

**4**

votes

**1**answer

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

**1**

vote

**0**answers

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

**5**

votes

**2**answers

410 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

**2**answers

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

**9**

votes

**0**answers

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

**34**

votes

**1**answer

1k 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, ...

**14**

votes

**1**answer

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

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

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

**20**

votes

**1**answer

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

**8**

votes

**1**answer

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

**2**

votes

**2**answers

559 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? ...

**7**

votes

**0**answers

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

**5**

votes

**0**answers

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

**18**

votes

**1**answer

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

**6**

votes

**2**answers

724 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$ ...

**7**

votes

**1**answer

494 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

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

**11**

votes

**3**answers

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