Hyperbolic lattice point counting in unbounded rank

Valentin Blomer,Christopher Lutsko

2023-09-01

Abstract:We use spectral analysis to give an asymptotic formula for the number of matrices in SL(n, Z) of height at most T with strong error terms, far beyond the previous known, both for small and large rank.

Number Theory,Spectral Theory

What problem does this paper attempt to address?

Counting in Lattice Orbits

Alex Kontorovich,Christopher Lutsko

2024-01-15

Abstract:Given a discrete lattice, $\Gamma < \text{SL}_m(\mathbb{R})$, and a base point $o\in \mathbb{R}^m$, let $N_\Gamma(T)$ denote the number of points in the orbit $o\cdot \Gamma$ whose (Euclidean) length is bounded by a growing parameter, $T$. We demonstrate an abstract spectral method capable of obtaining strong asymptotic estimates for $N_\Gamma(T)$ without relying on the meromorphic continuation of higher rank Langlands Eisenstein series.

Number Theory
The Nonvanishing Hypothesis at Infinity for Rankin-Selberg Convolutions

Binyong Sun

DOI: https://doi.org/10.1090/jams/855

2017-01-01

Journal of the American Mathematical Society

Abstract:We prove the nonvanishing hypothesis at infinity for Rankin-Selberg convolutions for G L ( n ) × G L ( n − 1 ) {\mathrm {GL}}(n)\times {\mathrm {GL}}(n-1) .
Countably many asymptotic tensor ranks

Andreas Blatter,Jan Draisma,Filip Rupniewski

DOI: https://doi.org/10.1080/03081087.2024.2317906

2024-03-14

Linear and Multilinear Algebra

Abstract:In connection with recent work on gaps in the asymptotic subranks of complex tensors the question arose whether the number of nonnegative real numbers that arise as the asymptotic subrank of some complex tensor is countable. In this short note we settle this question in the affirmative, for all tensor invariants that are algebraic in the sense that they are invariant under field automorphisms of the complex numbers.

mathematics
Asymptotic Cohomology and Uniform Stability for Lattices in Semisimple Groups

Lev Glebsky,Alexander Lubotzky,Nicolas Monod,Bharatram Rangarajan

2023-07-09

Abstract:It is, by now, classical that lattices in higher rank semisimple groups have various rigidity properties. In this work, we add another such rigidity property to the list: uniform stability with respect to the family of unitary operators on finite-dimensional Hilbert spaces equipped with submultiplicative norms. Namely, we show that for (most) high-rank lattices, every finite-dimensional unitary "almost-representation" of $\Gamma$ is a small deformation of a (true) unitary representation. This extends a result of Kazhdan (1983) for amenable groups and of Burger-Ozawa-Thom (2013) for SL(n,Z) (for n>2). Towards this goal, we first build an elaborate cohomological theory capturing the obstruction to such stability, and show that the vanishing of second cohomology implies uniform stability in this setting. This cohomology can be roughly thought of as an asymptotic version of bounded cohomology, and sheds light on a question raised in Monod (2006) about a possible connection between vanishing of second bounded cohomology and Ulam stability.

Group Theory,Representation Theory
Minimal harmonic measure on 2D lattices

Zhenhao Cai,Eviatar B. Procaccia,Yuan Zhang

2024-08-31

Abstract:We study the harmonic measure (i.e. the limit of the hitting distribution of a simple random walk starting from a distant point) on three canonical two-dimensional lattices: the square lattice $\mathbb{Z}^2$, the triangular lattice $\mathscr{T}$ and the hexagonal lattice $\mathscr{H}$. In particular, for the least positive value of the harmonic measure of any $n$-point set, denoted by $\mathscr{M}_n(\mathscr{G})$, we prove in this paper that $$[\lambda(\mathscr{G})]^{-n+c\sqrt{n}} \le \mathscr{M}_n(\mathscr{G})\le [\lambda(\mathscr{G})]^{-n+C\sqrt{n}},$$ where $\lambda(\mathbb{Z}^2)=(2+\sqrt{3})^2$, $\lambda(\mathscr{T})=3+2\sqrt{2}$ and $\lambda(\mathscr{H})=(\tfrac{3+\sqrt{5}}{2})^3$. Our results confirm a stronger version of the conjecture proposed by Calvert, Ganguly and Hammond (2023) which predicts the asymptotic of the exponent of $\mathscr{M}_n(\mathbb{Z}^2)$. Moreover, these estimates also significantly extend the findings in our previous paper with Kozma (2023) that $\mathscr{M}_n(\mathscr{G})$ decays exponentially for a large family of graphs $\mathscr{G}$ including $\mathscr{T}$, $\mathscr{H}$ and $\mathbb{Z}^d$ for all $d\ge 2$.

Probability
Lattice points on determinant surfaces and the spectrum of the automorphic Laplacian

Satadal Ganguly,Rachita Guria

2024-10-07

Abstract:We obtain an asymptotic formula with an error term for counting integer points $(a, b, c, d)$ in an expanding box $ [-X, X]^4$ that lie on the determinant surface $xy-zw=r$ for $r\neq 0$. The method involves Poisson summation formula, stationary phase analysis, Kuznetsov formula, Weyl law and large sieve inequality for the twisted coefficients $\rho_j(n)n^{i\kappa_j}$.

Number Theory
Towards Strong Reverse Minkowski-type Inequalities for Lattices

Daniel Dadush,Oded Regev

DOI: https://doi.org/10.48550/arXiv.1606.06913

2016-06-22

Abstract:We present a natural reverse Minkowski-type inequality for lattices, which gives upper bounds on the number of lattice points in a Euclidean ball in terms of sublattice determinants, and conjecture its optimal form. The conjecture exhibits a surprising wealth of connections to various areas in mathematics and computer science, including a conjecture motivated by integer programming by Kannan and Lovász (Annals of Math. 1988), a question from additive combinatorics asked by Green, a question on Brownian motions asked by Saloff-Coste (Colloq. Math. 2010), a theorem by Milman and Pisier from convex geometry (Ann. Probab. 1987), worst-case to average-case reductions in lattice-based cryptography, and more. We present these connections, provide evidence for the conjecture, and discuss possible approaches towards a proof. Our main technical contribution is in proving that our conjecture implies the $\ell_2$ case of the Kannan and Lovász conjecture. The proof relies on a novel convex relaxation for the covering radius, and a rounding procedure for based on "uncrossing" lattice subspaces.

Metric Geometry,Computational Complexity,Functional Analysis,Probability
Relative Trace Formula, Subconvexity and Quantitative Nonvanishing of Rankin-Selberg $L$-functions for $\mathrm{GL}(n+1)\times\mathrm{GL}(n)$

Liyang Yang

2023-09-14

Abstract:Let $\pi'$ be a fixed unitary cuspidal representation of $\mathrm{GL}(n)/\mathbb{Q}.$ We establish a subconvex bound in the $t$-aspect $$ L(1/2+it,\pi\times\pi')\ll_{\pi,\pi',\varepsilon}(1+|t|)^{\frac{n(n+1)}{4}-\frac{1}{4\cdot (4n^2+2n-1)}+\varepsilon}, $$ for any unitary pure isobaric automorphic representation $\pi$ of $\mathrm{GL}(n+1)/\mathbb{Q}.$ Moreover, the bound improves in the standard $L$-function case $$ L(1/2+it, \pi')\ll_{\pi',\varepsilon}(1+|t|)^{\frac{n}{4}-\frac{1}{4(n+1)(4n-1)}+\varepsilon}. $$ We also prove an explicit lower bound for nonvanishing of central $L$-values $$ \sum_{\pi\in\mathcal{A}_0}\textbf{1}_{L(1/2,\pi\times\pi')\neq 0}\gg_{\varepsilon}|\mathcal{A}_0|^{\frac{1}{n(n+1)(4n^2+2n-1)}-\varepsilon}, $$ for a suitable finite family $\mathcal{A}_0$ of unitary cuspidal representations of $\mathrm{GL}(n+1)/\mathbb{Q}.$ More generally, we address the spectral side subconvexity in the case of uniform parameter growth, and a quantitative form of simultaneous nonvanishing of central $L$-values for $\mathrm{GL}(n+1)\times\mathrm{GL}(n)$ (over $\mathbb{Q}$) in both level and eigenvalue aspects. Among other ingredients, our proofs employ a new relative trace formula in conjunction with P. Nelson's construction of archimedean test functions in \cite{Nel21} and volume estimates in \cite{Nel20}.

Number Theory
Outliers and bounded rank perturbation for non-Hermitian random band matrices

Yi Han

2024-08-01

Abstract:In this work we consider general non-Hermitian square random matrices $X$ that include a wide class of random band matrices with independent entries. Whereas the existence of limiting density is largely unknown for these inhomogeneous models, we show that spectral outliers can be determined under very general conditions when perturbed by a finite rank deterministic matrix. More precisely, we show that whenever $\mathbb{E}[X]=0,\mathbb{E}[XX^*]=\mathbb{E}[X^*X]=\mathbf{1}$ and $\mathbb{E}[X^2]=\rho\mathbf{1}$, and under mild conditions on sparsity and entry moments of $X$, then with high possibility all eigenvalues of $X$ are confined in a neighborhood of the support of the elliptic law with parameter $\rho$. Also, a finite rank perturbation property holds: when $X$ is perturbed by another deterministic matrix $C_N$ with bounded rank, then the perturbation induces outlying eigenvalues whose limit depends only on outlying eigenvalues of $C_N$ and $\rho$. This extends the result of Tao on i.i.d. random matrices and O'rourke and Renfrew on elliptic matrices to a family of highly sparse and inhomogeneous random matrices, including all Gaussian band matrices on regular graphs with degree at least $(\log N)^3$. A quantitative convergence rate is also derived. We also consider a class of finite rank deformations of products of at least two independent elliptic random matrices, and show it behaves just as product i.i.d. matrices.

Probability
A Hörmander-Mikhlin theorem for high rank simple Lie groups

José M. Conde-Alonso,Adrián M. González-Pérez,Javier Parcet,Eduardo Tablate

2024-02-19

Abstract:We establish regularity conditions for $L_p$-boundedness of Fourier multipliers on the group von Neumann algebras of higher rank simple Lie groups. This provides a natural Hörmander-Mikhlin criterion in terms of Lie derivatives of the symbol and a metric given by the adjoint representation. In line with Lafforgue/de la Salle's rigidity theorem, our condition imposes certain decay of the symbol at infinity. It refines and vastly generalizes a recent result by Parcet, Ricard and de la Salle for $\SL$. Our approach is partly based on a sharp local Hörmander-Mikhlin theorem for arbitrary Lie groups, which follows in turn from recent estimates by the authors on singular nonToeplitz Schur multipliers. We generalize the latter to arbitrary locally compact groups and refine the cocycle-based approach to Fourier multipliers in group algebras by Junge, Mei and Parcet. A few related open problems are also discussed.

Functional Analysis
On the Holonomic Rank Problem

Spencer Bloch,An Huang,Bong H. Lian,Vasudevan Srinivas,Shing-Tung Yau

DOI: https://doi.org/10.4310/jdg/1404912101

2014-01-01

Journal of Differential Geometry

Abstract:A tautological system, introduced in [17, 18], arises as a regular holonomic system of partial differential equations that govern the period integrals of a family of complete intersections in a complex manifold X, equipped with a suitable Lie group action. In this article, we introduce two formulas-one purely algebraic, the other geometric-to compute the rank of the solution sheaf of such a system for CY hypersurfaces in a generalized flag variety. The algebraic version gives the local solution space as a Lie algebra homology group, while the geometric one as the middle de Rham cohomology of the complement of a hyperplane section in X. We use both formulas to find certain degenerate points for which the rank of the solution sheaf becomes 1. These rank 1 points appear to be good candidates for the so-called large complex structure limits in mirror symmetry. The formulas are also used to prove a conjecture of Hosono, Lian, and Yau, on the completeness of the extended GKZ system when X is P-n [12].
SLOPES FOR HIGHER RANK ARTIN SCHREIER WITT TOWERS

Rufei Ren,Daqing Wan,Liang Xiao,Myungjun Yu

DOI: https://doi.org/10.1090/tran/7162

IF: 1.3529

2018-01-01

Transactions of the American Mathematical Society

Abstract:We fix a monic polynomial f ¯ ( x ) ∈ F q [ x ] \bar f(x) \in \mathbb {F}_q[x] over a finite field of characteristic p p of degree relatively prime to p p , and consider the Z p ℓ \mathbb {Z}_{p^{\ell }} -Artin–Schreier–Witt tower defined by f ¯ ( x ) \bar f(x) ; this is a tower of curves ⋯ → C m → C m − 1 → ⋯ → C 0 = A 1 \cdots \to C_m \to C_{m-1} \to \cdots \to C_0 =\mathbb {A}^1 , whose Galois group is canonically isomorphic to Z p ℓ \mathbb {Z}_{p^\ell } , the degree ℓ \ell unramified extension of Z p \mathbb {Z}_p , which is abstractly isomorphic to ( Z p ) ℓ (\mathbb {Z}_p)^\ell as a topological group. We study the Newton slopes of zeta functions of this tower of curves. This reduces to the study of the Newton slopes of L L -functions associated to characters of the Galois group of this tower. We prove that, when the conductor of the character is large enough, the Newton slopes of the L L -function asymptotically form a finite union of arithmetic progressions. As a corollary, we prove the spectral halo property of the spectral variety associated to the Z p ℓ \mathbb {Z}_{p^{\ell }} -Artin–Schreier–Witt tower (over a large subdomain of the weight space). This extends the main result in a 2016 work of Davis, Wan, and Xiao from rank one case ℓ = 1 \ell =1 to the higher rank case ℓ ≥ 1 \ell \geq 1 .
Border rank bounds for $GL(V)$-invariant tensors arising from matrices of constant rank

Derek Wu

2024-05-10

Abstract:We prove border rank bounds for a class of $GL(V)$-invariant tensors in $V^*\otimes U\otimes W$, where $U$ and $W$ are $GL(V)$-modules. These tensors correspond to spaces of matrices of constant rank. In particular we prove lower bounds for tensors in $\mathbb{C}^l\otimes\mathbb{C}^m\otimes\mathbb{C}^n$ that are not $1_A$-generic, where no nontrivial bounds were known, and also when $l,m\ll n$, where previously only bounds for unbalanced matrix multiplication tensors were known. We give the first explicit use of Young flattenings for tensors beyond Koszul to obtain border rank lower bounds, and determine the border rank of three tensors.

Algebraic Geometry
Integral Formulas and asymptotic behavior of lattice points in complex hyperbolic space

Mohamed Vall Ould Moustapha

DOI: https://doi.org/10.48550/arXiv.2004.03482

2020-04-05

Abstract:This paper deals with the $\Gamma$-lattice points problem associated to a discrete subgroup of motions $\Gamma$ in the complex hyperbolic space $\mathbb{C} H^n$. We give two integral formulas for the local average of the number $N(T, z, z')$ of $\Gamma$- lattice points in a sphere of radius $T$ in $\mathbb{C} H^n$. The first on is in terms of the solution of the $\Gamma$-automorphic wave equation on $\mathbb{C} H^n$ and the second is given in terms of the spectral function of the Laplace-Beltrami operator under $\Gamma$-automorphic boundary conditions. We use the obtained integral formulas to obtain an asymptotic behavior of the number $N(T, z, z')$ as $T\rightarrow \infty$, with an estimate of the remainder term. Our principal tools are the explicit solution of the wave equation on the complex hyperbolic space, special functions and spectral theory of the Laplace-Beltrami operator under $\Gamma$ automorphic boundary conditions.

Classical Analysis and ODEs
Central limit theorems for lattice point counting on tessellated domains

Sourav Das

2024-06-08

Abstract:Following the approach of Bj$\ddot{\text{o}}$rklund and Gorodnik, we have considered the discrepancy function for lattice point counting on domains that can be nicely tessellated by the action of a diagonal semigroup. We have shown that suitably normalized discrepancy functions for lattice point counting on certain tessellated domains satisfy a non-degenerate central limit theorem. Furthermore, we have also addressed the same problem for affine and congruence lattice point counting, proving analogous non-degenerate central limit theorems for them. The main ingredients of the proofs are the method of cumulants and quantitative multiple mixing estimates.

Number Theory,Dynamical Systems,Probability
Asymptotic tensor rank is characterized by polynomials

Matthias Christandl,Koen Hoeberechts,Harold Nieuwboer,Péter Vrana,Jeroen Zuiddam

2024-11-24

Abstract:Asymptotic tensor rank is notoriously difficult to determine. Indeed, determining its value for the $2\times 2$ matrix multiplication tensor would determine the matrix multiplication exponent, a long-standing open problem. On the other hand, Strassen's asymptotic rank conjecture makes the bold claim that asymptotic tensor rank equals the largest dimension of the tensor and is thus as easy to compute as matrix rank. Despite tremendous interest, much is still unknown about the structural and computational properties of asymptotic rank; for instance whether it is computable. We prove that asymptotic tensor rank is "computable from above", that is, for any real number $r$ there is an (efficient) algorithm that determines, given a tensor $T$, if the asymptotic tensor rank of $T$ is at most $r$. The algorithm has a simple structure; it consists of evaluating a finite list of polynomials on the tensor. Indeed, we prove that the sublevel sets of asymptotic rank are Zariski-closed (just like matrix rank). While we do not exhibit these polynomials explicitly, their mere existence has strong implications on the structure of asymptotic rank. As one such implication, we find that the values that asymptotic tensor rank takes, on all tensors, is a well-ordered set. In other words, any non-increasing sequence of asymptotic ranks stabilizes ("discreteness from above"). In particular, for the matrix multiplication exponent (which is an asymptotic rank) there is no sequence of exponents of bilinear maps that approximates it arbitrarily closely from above without being eventually constant. In other words, any upper bound on the matrix multiplication exponent that is close enough, will "snap" to it. Previously such discreteness results were only known for finite fields or for other tensor parameters (e.g., asymptotic slice rank). We obtain them for infinite fields like the complex numbers.

Computational Complexity,Algebraic Geometry,Quantum Physics
The rank of sparse random matrices

Amin Coja-Oghlan,Alperen A. Ergür,Pu Gao,Samuel Hetterich,Maurice Rolvien

2024-06-19

Abstract:We determine the rank of a random matrix over an arbitrary field with prescribed numbers of non-zero entries in each row and column. As an application we obtain a formula for the rate of low-density parity check codes. This formula vindicates a conjecture of Lelarge (2013). The proofs are based on coupling arguments and a novel random perturbation, applicable to any matrix, that diminishes the number of short linear relations.

Combinatorics,Discrete Mathematics,Probability
Lattice point counting for finite-order mapping classes

Spencer Dowdall,Howard Masur

2023-05-06

Abstract:This paper concerns the lattice counting problem for the mapping class group of a surface $S$ acting on Teichmüller space with the Teichmüller metric. In that problem the goal is to count the number of mapping classes that send a given point $x$ into the ball of radius $R$ centered about another point $y$. For the action of the entire group, Athreya, Bufetov, Eskin and Mirzakhani have shown this quantity is asymptotic to $e^{hR}$, where $h$ is the dimension of the Teichmüller space. We instead consider only the action of finite-order elements of the group and show the associated count grows coarsely at the rate of $e^{hR/2}$, that is, with half the exponent. To obtain these quantitative estimates, we introduce a new notion in Teichmüller geometry, called complexity length, which reflects some aspects of the negative curvature of curve complexes and also has applications to counting problems.

Geometric Topology,Dynamical Systems
Geometric rank of tensors and subrank of matrix multiplication

Swastik Kopparty,Guy Moshkovitz,Jeroen Zuiddam

DOI: https://doi.org/10.48550/arXiv.2002.09472

2020-02-21

Computational Complexity

Abstract:Motivated by problems in algebraic complexity theory (e.g., matrix multiplication) and extremal combinatorics (e.g., the cap set problem and the sunflower problem), we introduce the geometric rank as a new tool in the study of tensors and hypergraphs. We prove that the geometric rank is an upper bound on the subrank of tensors and the independence number of hypergraphs. We prove that the geometric rank is smaller than the slice rank of Tao, and relate geometric rank to the analytic rank of Gowers and Wolf in an asymptotic fashion. As a first application, we use geometric rank to prove a tight upper bound on the (border) subrank of the matrix multiplication tensors, matching Strassen's well-known lower bound from 1987.
Density theorems for $\text{GL}_n$ via Rankin-Selberg $L$-functions

Jared Duker Lichtman,Alexandru Pascadi

2024-08-25

Abstract:We obtain density theorems for cuspidal automorphic representations of $\text{GL}_n$ over $\mathbb{Q}$ which fail the generalized Ramanujan conjecture at some place. We depart from previous approaches based on Kuznetsov-type trace formulae, and instead rely on $L$-function techniques. This improves recent results of Blomer near the threshold of the pointwise bounds.

Number Theory,Representation Theory

Hyperbolic lattice point counting in unbounded rank

Counting in Lattice Orbits

The Nonvanishing Hypothesis at Infinity for Rankin-Selberg Convolutions

Countably many asymptotic tensor ranks

Asymptotic Cohomology and Uniform Stability for Lattices in Semisimple Groups

Minimal harmonic measure on 2D lattices

Lattice points on determinant surfaces and the spectrum of the automorphic Laplacian

Towards Strong Reverse Minkowski-type Inequalities for Lattices

Relative Trace Formula, Subconvexity and Quantitative Nonvanishing of Rankin-Selberg $L$-functions for $\mathrm{GL}(n+1)\times\mathrm{GL}(n)$

Outliers and bounded rank perturbation for non-Hermitian random band matrices

A Hörmander-Mikhlin theorem for high rank simple Lie groups

On the Holonomic Rank Problem

SLOPES FOR HIGHER RANK ARTIN SCHREIER WITT TOWERS

Border rank bounds for $GL(V)$-invariant tensors arising from matrices of constant rank

Integral Formulas and asymptotic behavior of lattice points in complex hyperbolic space

Central limit theorems for lattice point counting on tessellated domains

Asymptotic tensor rank is characterized by polynomials

The rank of sparse random matrices

Lattice point counting for finite-order mapping classes

Geometric rank of tensors and subrank of matrix multiplication

Density theorems for $\text{GL}_n$ via Rankin-Selberg $L$-functions