Abstract:For any positive integer $q\geq 2$ and any real number $\delta\in(0,1)$, let $\alpha_q(n,\delta n)$ denote the maximum size of a subset of $\mathbb{Z}_q^n$ with minimum Hamming distance at least $\delta n$, where $\mathbb{Z}_q=\{0,1,\dotsc,q-1\}$ and $n\in\mathbb{N}$. The asymptotic rate function is defined by $ R_q(\delta) = \limsup_{n\rightarrow\infty}\frac{1}{n}\log_q\alpha_q(n,\delta n).$ The famous $q$-ary asymptotic Gilbert-Varshamov bound, obtained in the 1950s, states that \[ R_q(\delta) \geq 1 - \delta\log_q(q-1)-\delta\log_q\frac{1}{\delta}-(1-\delta)\log_q\frac{1}{1-\delta} \stackrel{\mathrm{def}}{=}R_\mathrm{GV}(\delta,q) \] for all positive integers $q\geq 2$ and $0<\delta<1-q^{-1}$. In the case that $q$ is an even power of a prime with $q\geq 49$, the $q$-ary Gilbert-Varshamov bound was firstly improved by using algebraic geometry codes in the works of Tsfasman, Vladut, and Zink and of Ihara in the 1980s. These algebraic geometry codes have been modified to improve the $q$-ary Gilbert-Varshamov bound $R_\mathrm{GV}(\delta,q)$ at a specific tangent point $\delta=\delta_0\in (0,1)$ of the curve $R_\mathrm{GV}(\delta,q)$ for each given integer $q\geq 46$. However, the $q$-ary Gilbert-Varshamov bound $R_\mathrm{GV}(\delta,q)$ at $\delta=1/2$, i.e., $R_\mathrm{GV}(1/2,q)$, remains the largest known lower bound of $R_q(1/2)$ for infinitely many positive integers $q$ which is a generic prime and which is a generic non-prime-power integer. In this paper, by using codes from geometry of numbers introduced by Lenstra in the 1980s, we prove that the $q$-ary Gilbert-Varshamov bound $R_\mathrm{GV}(\delta,q)$ with $\delta\in(0,1)$ can be improved for all but finitely many positive integers $q$. It is shown that the growth defined by $\eta(\delta)= \liminf_{q\rightarrow\infty}\frac{1}{\log q}\log[1-\delta-R_q(\delta)]^{-1}$ for every $\delta\in(0,1)$ has actually a nontrivial lower bound.

On an Analogue Of the Gauss Circle Problem For the Heisenberg Groups

Local Semicircle Law and Gaussian Fluctuation for Hermite Β Ensemble

The Gauss Circle Problem and Fourier Quasicrystals

Around the Gauss circle problem: Hardy's conjecture and the distribution of lattice points near circles

Zeros of conditional Gaussian analytic functions, random sub-unitary matrices and q-series

On the distribution of the error terms in the divisor and circle problems

An Uncertainty Principle for the Curvelet Transform, and the Infeasibility of Quantum Algorithms for Finding Short Lattice Vectors

The Second and Fourth Moments of Discrete Gaussian Distributions over Lattices

Quantum ergodicity for Eisenstein series on hyperbolic surfaces of large genus

Pointwise Equidistribution with an Error Rate and with Respect to Unbounded Functions

Quantum error thresholds for gauge-redundant digitizations of lattice field theories

The q-ary Gilbert-Varshamov bound can be improved for all but finitely many positive integers q

Quantum mean estimation for lattice field theory

Simulating $\mathbb{Z}_2$ lattice gauge theory on a quantum computer

Estimations optimales du noyau de la chaleur sur les groupes de type Heisenberg

Asymptotics of the quantization errors for some Markov-type measures with complete overlaps

Local square mean in the hyperbolic circle problem

Optimal error estimates for analytic continuation in the upper half-plane

Pointwise equidistribution with an error rate and with respect to unbounded functions

On the local $L^2$-Bound of the Eisenstein Series