skip to main content
US FlagAn official website of the United States government
dot gov icon
Official websites use .gov
A .gov website belongs to an official government organization in the United States.
https lock icon
Secure .gov websites use HTTPS
A lock ( lock ) or https:// means you've safely connected to the .gov website. Share sensitive information only on official, secure websites.


Title: Distribution of Kloosterman paths to high prime power moduli
We consider the distribution of polygonal paths joining the partial sums of normalized Kloosterman sums modulo an increasingly high power p n p^n of a fixed odd prime p p , a pure depth-aspect analogue of theorems of Kowalski–Sawin and Ricotta–Royer–Shparlinski. We find that this collection of Kloosterman paths naturally splits into finitely many disjoint ensembles, each of which converges in law as n →<#comment/> ∞<#comment/> n\to \infty to a distinct complex valued random continuous function. We further find that the random series resulting from gluing together these limits for every p p converges in law as p →<#comment/> ∞<#comment/> p\to \infty , and that paths joining partial Kloosterman sums acquire a different and universal limiting shape after a modest rearrangement of terms. As the key arithmetic input we prove, using the p p -adic method of stationary phase including highly singular cases, that complete sums of products of arbitrarily many Kloosterman sums to high prime power moduli exhibit either power savings or power alignment in shifts of arguments.  more » « less
Award ID(s):
1903301
PAR ID:
10420599
Author(s) / Creator(s):
;
Publisher / Repository:
American Mathematical Society (AMS)
Date Published:
Journal Name:
Transactions of the American Mathematical Society, Series B
Volume:
10
Issue:
20
ISSN:
2330-0000
Page Range / eLocation ID:
p. 636-669
Format(s):
Medium: X
Sponsoring Org:
National Science Foundation
More Like this
  1. In this article we study base change of Poincaré series along a quasi-complete intersection homomorphism φ<#comment/> :<#comment/> Q →<#comment/> R \varphi \colon Q \to R , where Q Q is a local ring with maximal ideal m \mathfrak {m} . In particular, we give a precise relationship between the Poincaré series P M Q ( t ) \mathrm {P}^Q_M(t) of a finitely generated R R -module M M to P M R ( t ) \mathrm {P}^R_M(t) when the kernel of φ<#comment/> \varphi is contained in m a n n Q ( M ) \mathfrak {m}\,\mathrm {ann}_Q(M) . This generalizes a classical result of Shamash for complete intersection homomorphisms. Our proof goes through base change formulas for Poincaré series under the map of dg algebras Q →<#comment/> E Q\to E , with E E the Koszul complex on a minimal set of generators for the kernel of φ<#comment/> \varphi
    more » « less
  2. We prove and extend the longest-standing conjecture in ‘ q , t q,t -Catalan combinatorics,’ namely, the combinatorial formula for ∇<#comment/> m s μ<#comment/> \nabla ^m s_{\mu } conjectured by Loehr and Warrington, where s μ<#comment/> s_{\mu } is a Schur function and ∇<#comment/> \nabla is an eigenoperator on Macdonald polynomials. Our approach is to establish a stronger identity of infinite series of G L l GL_l characters involvingSchur Catalanimals; these were recently shown by the authors to represent Schur functions s μ<#comment/> [ −<#comment/> M X m , n ] s_{\mu }[-MX^{m,n}] in subalgebras Λ<#comment/> ( X m , n ) ⊂<#comment/> E \Lambda (X^{m,n})\subset \mathcal {E} isomorphic to the algebra of symmetric functions Λ<#comment/> \Lambda over Q ( q , t ) \mathbb {Q} (q,t) , where E \mathcal {E} is the elliptic Hall algebra of Burban and Schiffmann. We establish a combinatorial formula for Schur Catalanimals as weighted sums of LLT polynomials, with terms indexed by configurations of nested lattice paths callednests, having endpoints and bounding constraints controlled by data called aden. The special case for Λ<#comment/> ( X m , 1 ) \Lambda (X^{m,1}) proves the Loehr-Warrington conjecture, giving ∇<#comment/> m s μ<#comment/> \nabla ^m s_{\mu } as a weighted sum of LLT polynomials indexed by systems of nested Dyck paths. In general, for Λ<#comment/> ( X m , n ) \Lambda (X^{m,n}) our formula implies a new ( m , n ) (m,n) version of the Loehr-Warrington conjecture. In the case where each nest consists of a single lattice path, the nests in a den formula reduce to our previous shuffle theorem for paths under any line. Both this and the ( m , n ) (m,n) Loehr-Warrington formula generalize the ( k m , k n ) (km,kn) shuffle theorem proven by Carlsson and Mellit (for n = 1 n=1 ) and Mellit. Our formula here unifies these two generalizations. 
    more » « less
  3. In this paper we consider which families of finite simple groups G G have the property that for each ϵ<#comment/> > 0 \epsilon > 0 there exists N > 0 N > 0 such that, if | G | ≥<#comment/> N |G| \ge N and S , T S, T are normal subsets of G G with at least ϵ<#comment/> | G | \epsilon |G| elements each, then every non-trivial element of G G is the product of an element of S S and an element of T T . We show that this holds in a strong and effective sense for finite simple groups of Lie type of bounded rank, while it does not hold for alternating groups or groups of the form P S L n ( q ) \mathrm {PSL}_n(q) where q q is fixed and n →<#comment/> ∞<#comment/> n\to \infty . However, in the case S = T S=T and G G alternating this holds with an explicit bound on N N in terms of ϵ<#comment/> \epsilon . Related problems and applications are also discussed. In particular we show that, if w 1 , w 2 w_1, w_2 are non-trivial words, G G is a finite simple group of Lie type of bounded rank, and for g ∈<#comment/> G g \in G , P w 1 ( G ) , w 2 ( G ) ( g ) P_{w_1(G),w_2(G)}(g) denotes the probability that g 1 g 2 = g g_1g_2 = g where g i ∈<#comment/> w i ( G ) g_i \in w_i(G) are chosen uniformly and independently, then, as | G | →<#comment/> ∞<#comment/> |G| \to \infty , the distribution P w 1 ( G ) , w 2 ( G ) P_{w_1(G),w_2(G)} tends to the uniform distribution on G G with respect to the L ∞<#comment/> L^{\infty } norm. 
    more » « less
  4. Let f f be analytic on [ 0 , 1 ] [0,1] with | f ( k ) ( 1 / 2 ) | ⩽<#comment/> A α<#comment/> k k ! |f^{(k)}(1/2)|\leqslant A\alpha ^kk! for some constants A A and α<#comment/> > 2 \alpha >2 and all k ⩾<#comment/> 1 k\geqslant 1 . We show that the median estimate of μ<#comment/> = ∫<#comment/> 0 1 f ( x ) d x \mu =\int _0^1f(x)\,\mathrm {d} x under random linear scrambling with n = 2 m n=2^m points converges at the rate O ( n −<#comment/> c log ⁡<#comment/> ( n ) ) O(n^{-c\log (n)}) for any c > 3 log ⁡<#comment/> ( 2 ) / π<#comment/> 2 ≈<#comment/> 0.21 c> 3\log (2)/\pi ^2\approx 0.21 . We also get a super-polynomial convergence rate for the sample median of 2 k −<#comment/> 1 2k-1 random linearly scrambled estimates, when k / m k/m is bounded away from zero. When f f has a p p ’th derivative that satisfies a λ<#comment/> \lambda -Hölder condition then the median of means has error O ( n −<#comment/> ( p + λ<#comment/> ) + ϵ<#comment/> ) O( n^{-(p+\lambda )+\epsilon }) for any ϵ<#comment/> > 0 \epsilon >0 , if k →<#comment/> ∞<#comment/> k\to \infty as m →<#comment/> ∞<#comment/> m\to \infty . The proof techniques use methods from analytic combinatorics that have not previously been applied to quasi-Monte Carlo methods, most notably an asymptotic expression from Hardy and Ramanujan on the number of partitions of a natural number. 
    more » « less
  5. We study regularity of solutions u u to ∂<#comment/> ¯<#comment/> u = f \overline \partial u=f on a relatively compact C 2 C^2 domain D D in a complex manifold of dimension n n , where f f is a ( 0 , q ) (0,q) form. Assume that there are either ( q + 1 ) (q+1) negative or ( n −<#comment/> q ) (n-q) positive Levi eigenvalues at each point of boundary ∂<#comment/> D \partial D . Under the necessary condition that a locally L 2 L^2 solution exists on the domain, we show the existence of the solutions on the closure of the domain that gain 1 / 2 1/2 derivative when q = 1 q=1 and f f is in the Hölder–Zygmund space Λ<#comment/> r ( D ) \Lambda ^r( D) with r > 1 r>1 . For q > 1 q>1 , the same regularity for the solutions is achieved when ∂<#comment/> D \partial D is either sufficiently smooth or of ( n −<#comment/> q ) (n-q) positive Levi eigenvalues everywhere on ∂<#comment/> D \partial D
    more » « less