An official website of the United States government
Abstract We consider negative moments of quadratic Dirichlet $$L$$–functions over function fields. Summing over monic square-free polynomials of degree $2g+1$ in $$\mathbb{F}_{q}[x]$$, we obtain an asymptotic formula for the $$k^{\textrm{th}}$$ shifted negative moment of $$L(1/2+\beta ,\chi _{D})$$, in certain ranges of $$\beta $$ (e.g., when roughly $$\beta \gg \log g/g $$ and $k<1$). We also obtain non-trivial upper bounds for the $$k^{\textrm{th}}$$ shifted negative moment when $$\log (1/\beta ) \ll \log g$$. Previously, almost sharp upper bounds were obtained in [ 3] in the range $$\beta \gg g^{-\frac{1}{2k}+\epsilon }$$.
more »
« less
This content will become publicly available on January 1, 2026
Sketching, Moment Estimation, and the Lévy-Khintchine Representation Theorem
In the d-dimensional turnstile streaming model, a frequency vector 𝐱 = (𝐱(1),…,𝐱(n)) ∈ (ℝ^d)ⁿ is updated entry-wisely over a stream. We consider the problem of f-moment estimation for which one wants to estimate f(𝐱)=∑_{v ∈ [n]}f(𝐱(v)) with a small-space sketch. A function f is tractable if the f-moment can be estimated to within a constant factor using polylog(n) space. The f-moment estimation problem has been intensively studied in the d = 1 case. Flajolet and Martin estimate the F₀-moment (f(x) = 1 (x > 0), incremental stream); Alon, Matias, and Szegedy estimate the L₂-moment (f(x) = x²); Indyk estimates the L_α-moment (f(x) = |x|^α), α ∈ (0,2]. For d ≥ 2, Ganguly, Bansal, and Dube estimate the L_{p,q} hybrid moment (f:ℝ^d → ℝ,f(x) = (∑_{j = 1}^d |x_j|^p)^q), p ∈ (0,2],q ∈ (0,1). For tractability, Bar-Yossef, Jayram, Kumar, and Sivakumar show that f(x) = |x|^α is not tractable for α > 2. Braverman, Chestnut, Woodruff, and Yang characterize the class of tractable one-variable functions except for a class of nearly periodic functions. In this work we present a simple and generic scheme to construct sketches with the novel idea of hashing indices to Lévy processes, from which one can estimate the f-moment f(𝐱) where f is the characteristic exponent of the Lévy process. The fundamental Lévy-Khintchine representation theorem completely characterizes the space of all possible characteristic exponents, which in turn characterizes the set of f-moments that can be estimated by this generic scheme. The new scheme has strong explanatory power. It unifies the construction of many existing sketches (F₀, L₀, L₂, L_α, L_{p,q}, etc.) and it implies the tractability of many nearly periodic functions that were previously unclassified. Furthermore, the scheme can be conveniently generalized to multidimensional cases (d ≥ 2) by considering multidimensional Lévy processes and can be further generalized to estimate heterogeneous moments by projecting different indices with different Lévy processes. We conjecture that the set of tractable functions can be characterized using the Lévy-Khintchine representation theorem via what we called the Fourier-Hahn-Lévy method.
more »
« less
- PAR ID:
- 10639941
- Editor(s):
- Meka, Raghu
- Publisher / Repository:
- Schloss Dagstuhl – Leibniz-Zentrum für Informatik
- Date Published:
- Volume:
- 325
- ISSN:
- 1868-8969
- Page Range / eLocation ID:
- 77:1-77:23
- Subject(s) / Keyword(s):
- Streaming Sketches Lévy Processes Theory of computation → Sketching and sampling
- Format(s):
- Medium: X Size: 23 pages; 1149504 bytes Other: application/pdf
- Size(s):
- 23 pages 1149504 bytes
- Sponsoring Org:
- National Science Foundation
More Like this
-
-
null (Ed.)Abstract We consider the inequality $$f \geqslant f\star f$$ for real functions in $$L^1({\mathbb{R}}^d)$$ where $$f\star f$$ denotes the convolution of $$f$$ with itself. We show that all such functions $$f$$ are nonnegative, which is not the case for the same inequality in $L^p$ for any $$1 < p \leqslant 2$$, for which the convolution is defined. We also show that all solutions in $$L^1({\mathbb{R}}^d)$$ satisfy $$\int _{{\mathbb{R}}^{\textrm{d}}}f(x)\ \textrm{d}x \leqslant \tfrac 12$$. Moreover, if $$\int _{{\mathbb{R}}^{\textrm{d}}}f(x)\ \textrm{d}x = \tfrac 12$$, then $$f$$ must decay fairly slowly: $$\int _{{\mathbb{R}}^{\textrm{d}}}|x| f(x)\ \textrm{d}x = \infty $$, and this is sharp since for all $r< 1$, there are solutions with $$\int _{{\mathbb{R}}^{\textrm{d}}}f(x)\ \textrm{d}x = \tfrac 12$$ and $$\int _{{\mathbb{R}}^{\textrm{d}}}|x|^r f(x)\ \textrm{d}x <\infty $$. However, if $$\int _{{\mathbb{R}}^{\textrm{d}}}f(x)\ \textrm{d}x =: a < \tfrac 12$$, the decay at infinity can be much more rapid: we show that for all $$a<\tfrac 12$$, there are solutions such that for some $$\varepsilon>0$$, $$\int _{{\mathbb{R}}^{\textrm{d}}}e^{\varepsilon |x|}f(x)\ \textrm{d}x < \infty $$.more » « less
-
For a fairly general family of L L -functions, we survey the known consequences of the existence of asymptotic formulas with power-saving error term for the (twisted) first and second moments of the central values in the family. We then consider in detail the important special case of the family of twists of a fixed cusp form by primitive Dirichlet characters modulo a prime q q , and prove that it satisfies such formulas. We derive arithmetic consequences: a positive proportion of central values L ( f ⊗ χ , 1 / 2 ) L(f\otimes \chi ,1/2) are non-zero, and indeed bounded from below; there exist many characters χ \chi for which the central L L -value is very large; the probability of a large analytic rank decays exponentially fast. We finally show how the second moment estimate establishes a special case of a conjecture of Mazur and Rubin concerning the distribution of modular symbols.more » « less
-
null (Ed.)A new network with super-approximation power is introduced. This network is built with Floor (⌊x⌋) or ReLU (max{0,x}) activation function in each neuron; hence, we call such networks Floor-ReLU networks. For any hyperparameters N∈N+ and L∈N+, we show that Floor-ReLU networks with width max{d,5N+13} and depth 64dL+3 can uniformly approximate a Hölder function f on [0,1]d with an approximation error 3λdα/2N-αL, where α∈(0,1] and λ are the Hölder order and constant, respectively. More generally for an arbitrary continuous function f on [0,1]d with a modulus of continuity ωf(·), the constructive approximation rate is ωf(dN-L)+2ωf(d)N-L. As a consequence, this new class of networks overcomes the curse of dimensionality in approximation power when the variation of ωf(r) as r→0 is moderate (e.g., ωf(r)≲rα for Hölder continuous functions), since the major term to be considered in our approximation rate is essentially d times a function of N and L independent of d within the modulus of continuity.more » « less
-
Abstract We consider Lane–Emden ground states with polytropic index 0 ≤ q - 1 ≤ 1 {0\leq q-1\leq 1} , that is, minimizers of the Dirichlet integral among L q {L^{q}} -normalized functions.Our main result is a sharp lower bound on the L 2 {L^{2}} -norm of the normal derivative in terms of the energy, which implies a corresponding isoperimetric inequality.Our bound holds for arbitrary bounded open Lipschitz sets Ω ⊂ ℝ d {\Omega\subset\mathbb{R}^{d}} , without assuming convexity.more » « less
