Showing 1–10 of 10 results for author: Gargava, N

Module lattices and their shortest vectors

Authors: Nihar Gargava, Vlad Serban, Maryna Viazovska, Ilaria Viglino

Abstract: We study the shortest vector lengths in module lattices over arbitrary number fields, with an emphasis on cyclotomic fields. In particular, we sharpen the techniques of arXiv:2308.15275v2 to establish improved results for the variance of the number of lattice vectors of bounded Euclidean norm in a random module lattice. We then derive tight probabilistic bounds for the shortest vector lengths for… ▽ More We study the shortest vector lengths in module lattices over arbitrary number fields, with an emphasis on cyclotomic fields. In particular, we sharpen the techniques of arXiv:2308.15275v2 to establish improved results for the variance of the number of lattice vectors of bounded Euclidean norm in a random module lattice. We then derive tight probabilistic bounds for the shortest vector lengths for several notions of random module lattice. △ Less

Submitted 14 October, 2025; originally announced October 2025.

Comments: 20 pages. This article is an improved and augmented version of some of the results in arXiv:2402.10305

MSC Class: 11H06 (Primary) 11H50; 68R01; 94B75 (Secondary)

Integral Matrices of Fixed Rank over Number Fields

Authors: Nihar Gargava, Vlad Serban, Maryna Viazovska, Ilaria Viglino

Abstract: We prove an asymptotic formula for the number of fixed rank matrices with integer coefficients over a number field K/Q and bounded norm. As an application, we derive an approximate Rogers integral formula for discrete sets of module lattices obtained from lifts of algebraic codes. This in turn implies that the moment estimates of random lattices with a number field structure also carry through for… ▽ More We prove an asymptotic formula for the number of fixed rank matrices with integer coefficients over a number field K/Q and bounded norm. As an application, we derive an approximate Rogers integral formula for discrete sets of module lattices obtained from lifts of algebraic codes. This in turn implies that the moment estimates of random lattices with a number field structure also carry through for large enough discrete sets of module lattices. △ Less

Submitted 13 October, 2025; originally announced October 2025.

Comments: Our previous preprint 2402.10305 on this topic is broken into two different parts. This is one of the two parts

MSC Class: 11H06; 11H50; 68R01; 94B75

Buildings for Synthesis with Clifford+R

Authors: Mark Deaconu, Nihar Gargava, Amolak Ratan Kalra, Michele Mosca, Jon Yard

Abstract: We study the problem of exact synthesis for the Clifford+R gate set and give the explicit structure of the underlying Bruhat-Tits building for this group. In this process, we also give an alternative proof of the arithmetic nature of the Clifford+R gate set. We study the problem of exact synthesis for the Clifford+R gate set and give the explicit structure of the underlying Bruhat-Tits building for this group. In this process, we also give an alternative proof of the arithmetic nature of the Clifford+R gate set. △ Less

Submitted 13 October, 2025; originally announced October 2025.

Comments: 26 pages, 5 figures

Density of shapes of periodic tori in the cubic case

Authors: Nguyen-Thi Dang, Nihar Gargava, Jialun Li

Abstract: Consider the compact orbits of the $\mathbb{R}^2$ action of the diagonal group on $\operatorname{SL}(3,\mathbb{R})/\operatorname{SL}(3,\mathbb{Z})$, the so-called periodic tori. For any periodic torus, the set of periods of the orbit forms a lattice in $\mathbb{R}^2$. Such a lattice, re-scaled to covolume one, gives a shape point in… ▽ More Consider the compact orbits of the $\mathbb{R}^2$ action of the diagonal group on $\operatorname{SL}(3,\mathbb{R})/\operatorname{SL}(3,\mathbb{Z})$, the so-called periodic tori. For any periodic torus, the set of periods of the orbit forms a lattice in $\mathbb{R}^2$. Such a lattice, re-scaled to covolume one, gives a shape point in $\operatorname{SL}(2,\mathbb{R})/\operatorname{SL}(2,\mathbb{Z})$. We prove that the shapes of all periodic tori are dense in $\operatorname{SL}(2,\mathbb{R})/\operatorname{SL}(2,\mathbb{Z})$. This implies the density of shapes of the unit groups of totally real cubic orders. △ Less

Submitted 18 February, 2025; originally announced February 2025.

MSC Class: 37PXX; 37A44

Mean Value for Random Ideal Lattices

Authors: Nihar Gargava, Maryna Viazovska

Abstract: We investigate the average number of lattice points within a ball for the $n$th cyclotomic number field, where the lattice is chosen at random from the set of unit determinant ideal lattices of the field. We show that this average is nearly identical to the average number of lattice points in a ball among all unit determinant random lattices of the same dimension. To establish this result, we appl… ▽ More We investigate the average number of lattice points within a ball for the $n$th cyclotomic number field, where the lattice is chosen at random from the set of unit determinant ideal lattices of the field. We show that this average is nearly identical to the average number of lattice points in a ball among all unit determinant random lattices of the same dimension. To establish this result, we apply the Hecke integration formula and subconvexity bounds on Dedekind zeta functions of cyclotomic fields. The symmetries arising from the roots of unity in an ideal lattice allow us to improve a lattice packing bound by Venkatesh, achieving an enhancement by a factor of 2. △ Less

Submitted 22 November, 2024; originally announced November 2024.

MSC Class: 11H60; 11H31; 11T71

Effective module lattices and their shortest vectors

Authors: Nihar Gargava, Vlad Serban, Maryna Viazovska, Ilaria Viglino

Abstract: We prove tight probabilistic bounds for the shortest vectors in module lattices over number fields using the results of arXiv:2308.15275. Moreover, establishing asymptotic formulae for counts of fixed rank matrices with algebraic integer entries and bounded Euclidean length, we prove an approximate Rogers integral formula for discrete sets of module lattices obtained from lifts of algebraic codes.… ▽ More We prove tight probabilistic bounds for the shortest vectors in module lattices over number fields using the results of arXiv:2308.15275. Moreover, establishing asymptotic formulae for counts of fixed rank matrices with algebraic integer entries and bounded Euclidean length, we prove an approximate Rogers integral formula for discrete sets of module lattices obtained from lifts of algebraic codes. This in turn implies that the moment estimates of arXiv:2308.15275 as well as the aforementioned bounds on the shortest vector also carry through for large enough discrete sets of module lattices. △ Less

Submitted 15 October, 2025; v1 submitted 15 February, 2024; originally announced February 2024.

Comments: 21 pages. This paper has now been broken into two papers; namely 2510.12893 and 2510.11673. The former improves Theorem 3 from this preprint with the required rank condition t>26 improved to t>10. The latter is a rewrite of the combinatorics part of the paper about lifts of codes and includes a proof of Theorem 4 from this preprint. No further changes will be made to this preprint

MSC Class: 11H06 (Primary) 11H50; 68R01; 94B75 (Secondary)

Moments of the number of points in a bounded set for number field lattices

Authors: Nihar Gargava, Vlad Serban, Maryna Viazovska

Abstract: We examine the moments of the number of lattice points in a fixed ball of volume $V$ for lattices in Euclidean space which are modules over the ring of integers of a number field $K$. In particular, denoting by $ω_K$ the number of roots of unity in $K$, we show that for lattices of large enough dimension the moments of the number of $ω_K$-tuples of lattice points converge to those of a Poisson dis… ▽ More We examine the moments of the number of lattice points in a fixed ball of volume $V$ for lattices in Euclidean space which are modules over the ring of integers of a number field $K$. In particular, denoting by $ω_K$ the number of roots of unity in $K$, we show that for lattices of large enough dimension the moments of the number of $ω_K$-tuples of lattice points converge to those of a Poisson distribution of mean $V/ω_K$. This extends work of Rogers for $\mathbb{Z}$-lattices. What is more, we show that this convergence can also be achieved by increasing the degree of the number field $K$ as long as $K$ varies within a set of number fields with uniform lower bounds on the absolute Weil height of non-torsion elements. △ Less

Submitted 15 February, 2024; v1 submitted 29 August, 2023; originally announced August 2023.

Comments: 46 pages, 1 figure, incomplete tangential result in Section 2 was removed and treated in more detail in a separate paper, Appendix C was added

MSC Class: 11H06 (Primary) 52C17; 11G50 (Secondary)

Dense packings via lifts of codes to division rings

Authors: Nihar Gargava, Vlad Serban

Abstract: We obtain algorithmically effective versions of the dense lattice sphere packings constructed from orders in $\mathbb{Q}$-division rings by the first author. The lattices in question are lifts of suitable codes from prime characteristic to orders $\mathcal{O}$ in $\mathbb{Q}$-division rings and we prove a Minkowski--Hlawka type result for such lifts. Exploiting the additional symmetries under fini… ▽ More We obtain algorithmically effective versions of the dense lattice sphere packings constructed from orders in $\mathbb{Q}$-division rings by the first author. The lattices in question are lifts of suitable codes from prime characteristic to orders $\mathcal{O}$ in $\mathbb{Q}$-division rings and we prove a Minkowski--Hlawka type result for such lifts. Exploiting the additional symmetries under finite subgroups of units in $\mathcal{O}$, we show this leads to effective constructions of lattices approaching the best known lower bounds on the packing density $Δ_n$ in a variety of new dimensions $n$. This unifies and extends a number of previous constructions. △ Less

Submitted 11 April, 2022; v1 submitted 5 November, 2021; originally announced November 2021.

MSC Class: 11H31

Lattice packings through division algebras

Authors: Nihar Prakash Gargava

Abstract: In this article, we will show the existence of lattice packings in a sparse family of dimensions. This construction will be a generalisation of Venkatesh's lattice packing result. In our construction, we replace the appearance of the cyclotomic number field with a division algebra over the rational field. For this, we develop an analogue of Siegel's mean value theorem over lattices that have a pre… ▽ More In this article, we will show the existence of lattice packings in a sparse family of dimensions. This construction will be a generalisation of Venkatesh's lattice packing result. In our construction, we replace the appearance of the cyclotomic number field with a division algebra over the rational field. For this, we develop an analogue of Siegel's mean value theorem over lattices that have a prescribed set of symmetries given by a finite non-commutative group inside the multiplicative subgroup of a division algebra. This approach improves the best known lattice packing bounds in many dimensions. △ Less

Submitted 26 September, 2021; v1 submitted 10 July, 2021; originally announced July 2021.

MSC Class: 11H06

A localized version of the basic triangle theorem

Authors: Gérard Duchamp, Nihar Gargava, Hoang Ngoc Minh, Pierre Simonnet

Abstract: In this short note, we give a localized version of the basic triangle theorem, first published in 2011 (see [4]) in order to prove the independence of hyperlogarithms over various function fields. This version provides direct access to rings of scalars and avoids the recourse to fraction fields as that of meromorphic functions for instance. In this short note, we give a localized version of the basic triangle theorem, first published in 2011 (see [4]) in order to prove the independence of hyperlogarithms over various function fields. This version provides direct access to rings of scalars and avoids the recourse to fraction fields as that of meromorphic functions for instance. △ Less

Submitted 6 August, 2020; v1 submitted 9 August, 2019; originally announced August 2019.