https://arxiv.org/api/6z8hTGtAidhPpab+ptNdTfmagLU 2026-06-18T14:33:31Z 49268 300 15 http://arxiv.org/abs/2606.06701v1 2026-06-04T20:40:37Z

Explicit arithmetic progressions modulo primes $p \equiv 1 \pmod{4}$ are derived in which the coefficients in the expansions of products of quintuple products vanish. In particular, if $p = m^{2} + n^{2}$, and $b$ is a positive integer, and $$\sum_{n=0}^{\infty} a_{n}q^{n} = \frac{(q^{2bm},q^{p-2bm};q^{2bn},q^{p-2bn};q^p)_{\infty}}{(q^p,-q^{b m},-q^{p-bm},-q^{bn},-q^{p-bn};q^p)_{\infty}^2},$$ we determine $α= α(m,n,p)$ such that $a_{pt+ α}=0$. Our results are proven using involutive transformations on integer lattices.

2026-06-04T20:40:37Z 13 pages Taylor Daniels Tim Huber James McLaughlin Dongxi Ye http://arxiv.org/abs/2602.05841v2 2026-06-04T20:21:17Z

We generalize Voronoi's theory of perfect quadratic forms to generalized copositive matrices over a full-dimensional closed convex cone K, by introducing a K-copositive minimum and perfect K-copositive matrices. We consider a key feature of a given cone, which we call Interior Ryshkov (IR) property. Under this property the classical theory and its applications generalize nicely and we prove that rationally generated cones possess this IR property. For contrast, we give a detailed example of a simple cone without the IR property, showing various differences to the classical case. Moreover, this example yields connections to questions of number theory, in particular to Diophantine approximation and the Pell Equation. Finally, as an application, we give inner and outer polyhedral approximations for the generalized completely positive cone and a method to find rational certificates for (non-)membership in this cone.

2026-02-05T16:28:36Z 19 pages, 3 figures; revised version according to referee comments Alexander Oertel Achill Schürmann http://arxiv.org/abs/2307.15657v3 2026-06-04T19:01:07Z

Let $F$ be a finite field, let $f$ be a function from $F$ to $F$, and let $a$ be a nonzero element of $F$. The discrete derivative of $f$ in direction $a$ is $Δ_a f \colon F \to F$ with $(Δ_a f)(x)=f(x+a)-f(x)$. The differential spectrum of $f$ is the multiset of cardinalities of all the fibers of all the derivatives $Δ_a f$ as $a$ runs through $F^*$. An almost perfect nonlinear (APN) function is one for which the largest cardinality in its differential spectrum is $2$. Almost perfect nonlinear functions are of interest as cryptographic primitives. If $d$ is a positive integer, then the power function over $F$ with exponent $d$ is the function $f \colon F \to F$ with $f(x)=x^d$ for every $x \in F$. There is a small number of known infinite families of APN power functions. In this paper, we re-express the exponents for one such family in a more convenient form. This enables us not only to obtain the differential spectrum of each power function $f$ with an exponent in our family, but also to determine the elements that lie in an arbitrary fiber of the discrete derivative of $f$. This differential analysis, which is far more detailed than previous results, is achieved by composing the discrete derivative of $f$ with some permutations and a double covering of its domain to obtain a function whose fibers can more readily be analyzed.

2023-07-28T16:38:38Z 38 pages Daniel J. Katz Kathleen R. O'Connor Kyle Pacheco Yakov Sapozhnikov http://arxiv.org/abs/2412.08744v3 2026-06-04T18:44:35Z

We extend Poonen's Bertini theorem over finite fields to Taylor conditions arising from locally free quotients of the sheaf of differentials on projective space. This is motivated by a result of Bilu and Howe in the motivic setting that allows for significantly more general Taylor conditions.

2024-12-11T19:34:06Z Matthew Bertucci http://arxiv.org/abs/2606.06604v1 2026-06-04T18:01:03Z

A guiding principle in P. Scholze's $p$-adic geometry asserts that the points of $\operatorname{Spec}\mathbf{Z}$ over an algebraically closed perfectoid field of characteristic $p$ are classified, up to equivalence, by its untilts. In this paper, we give a concrete geometric realization and a generalization of this paradigm. We construct the absolute $\mathbf{F}_1$-arithmetic curve $(\operatorname{Spec}\mathbf{Z})_{\mathbf{F}_1}$ by pulling back the $\mathbf{F}_1$-structure sheaf of the arithmetic site to $\operatorname{Spec}\mathbf{Z}$. We demonstrate that $(\operatorname{Spec}\mathbf{Z})_{\mathbf{F}_1}$ provides a common geometric origin for fundamental structures in $p$-adic Hodge theory, complex analytic geometry, and the adelic scaling site. The moduli space of points of $(\operatorname{Spec}\mathbf{Z})_{\mathbf{F}_1}$ over an arbitrary perfectoid field, modulo intrinsic symmetries, canonically parameterizes the space of all perfectoid fields with the same tilt, providing a universal, characteristic-independent geometric realization of Scholze's heuristic. Evaluating the points of $(\operatorname{Spec}\mathbf{Z})_{\mathbf{F}_1}$ over the field $\mathbf{C}$ of complex numbers reveals, at each prime $p$, that the non-trivial points canonically form two principal homogeneous spaces (torsors) over the Weil groups $W_p=\mathbf{Q}_p^\times$ and $W_\infty=\mathbf{C}^\times$. Quotienting the archimedean orbit by the discrete Frobenius symmetries yields the complex Tate curve with modulus $q=p^{-1}$. We show that this elliptic curve canonically decomposes as the product of its real locus, which exactly recovers the adelic periodic orbit $C_p=\mathbf{R}_+^\times/p^\mathbf{Z}$, and a $p$-independent phase space that emerges naturally as a real analogue of the Fargues--Fontaine curve.

2026-06-04T18:01:03Z 30 pages Alain Connes Caterina Consani http://arxiv.org/abs/2504.05606v3 2026-06-04T16:51:44Z

For integers $m, m' \ge 1$, let $π$ and $π'$ be cuspidal automorphic representations of $\mathrm{GL}(m)$ and $\mathrm{GL}(m')$, respectively. We present a new proof of zero-free regions for $L(s, π)$ and for $L(s, π\times π')$ under the assumption that $π, π'$ or $L(s,π\times π')$ is self-dual. Our approach builds on ideas of "pretentious" multiplicative functions due to Granville and Soundararajan (as presented by Koukoulopoulos) and the notion of a positive semi-definite family of automorphic representations due to Lichtman and Pascadi.

2025-04-08T01:43:01Z 25 pages; added references and an outline of the proof in the introduction; fixed typos and minor calculation errors in Theorem 1.1 Nawapan Wattanawanichkul http://arxiv.org/abs/2606.06327v1 2026-06-04T16:01:13Z

We determine asymptotic results for the average size of Selmer groups arising from certain isogenies related to Jacobians of hyperelliptic curves of genus $g\geq 2$. We do so by combining Bhargava's geometry-of-numbers methods with new parametrisations coming from Vinberg theory, arising from representations related to the Dynkin diagrams of type $B$ and $C$. We additionally prove some lower bounds on the average size of these isogeny Selmer groups by using a formula of Greenberg--Wiles.

2026-06-04T16:01:13Z 35 pages Martí Oller http://arxiv.org/abs/2601.16044v3 2026-06-04T15:00:13Z

Recent work of Burungale-Skinner-Tian-Wan established the first infinite families of quadratic twists of non-CM elliptic curves over $\mathbb{Q}$ for which the strong Birch-Swinnerton-Dyer (BSD) conjecture holds. Building on their results, we encode the required hypotheses into an explicit algorithm and apply it to the database of elliptic curves in the $L$-functions and Modular Forms Database (LMFDB), identifying all elliptic curves $E$ of conductor at most $500{,}000$ that admit infinitely many quadratic twists satisfying the strong BSD conjecture. Our computations provide certain numerical evidence for a conjecture of Radziwiłł and Soundararajan predicting Gaussian behavior in the analytic order of the Shafarevich-Tate group, while also observing a systematic positive bias within the BSD-satisfying subfamily.

2026-01-22T15:19:37Z v2, to appear, Algorithmic Number Theory Symposium (ANTS) XVII Barinder S. Banwait Xiaoyu Huang http://arxiv.org/abs/2606.06243v1 2026-06-04T14:47:53Z

We establish and prove several results for the smooth Casselman-Jacquet submodule and quotient functors for real reductive groups. Other than exactness, surjectivity and globalization results, we establish a stability on the intersection of Jacquet subspaces. As an application, we establish a full version of the real Bernstein-Zelevinsky filtrations for smooth Fréchet representations of moderate growth rate.

2026-06-04T14:47:53Z 40 pages Kei Yuen Chan Kaidi Wu Jun Yu Hongfeng Zhang http://arxiv.org/abs/2606.06241v1 2026-06-04T14:47:21Z

Using André's lemma and the excision square for perfectoidization coming from $p$-complete arc descent, we prove new structural results about perfectoid rings and perfectoidization. The main result is a tameness theorem for torsion in perfectoid rings: if $R$ is a perfectoid ring and $I\subset R$ is an ideal, then the $I$-torsion in $R$ is $I_{\mathrm{perfd}}$-almost zero. This yields an excision-type decomposition of $R$ along its $I$-torsion part. We also study (semi)perfectoid rings and perfectoid ideals and take the opportunity to make some structural remarks about them.

2026-06-04T14:47:21Z 26 pages. Comments welcome Ryo Ishizuka Léo Navarro Chafloque http://arxiv.org/abs/2606.06222v1 2026-06-04T14:34:24Z

Let $d$ be the smallest positive integer, not divisible by $3$, for which there exists an algebraic number over $\mathbb{Q}$ of degree $d$ whose some three algebraic conjugates sum to zero. Employing the classification of vertex-transitive graphs on 16 vertices of degree 6, we prove that $d\neq 16$. This, combined with results obtained by Dubickas, Smyth and Stong \cite{DubickasSmyth2006}, Dubickas and Jankauskas \cite{DubickasJankauskas2015} and Virbalas \cite{Virbalas2025a}, implies that $d=20$.

2026-06-04T14:34:24Z Žygimantas Baronėnas Paulius Drungilas Jonas Jankauskas http://arxiv.org/abs/2605.29470v2 2026-06-04T13:31:13Z

We modify the approach to the arithmetical form of the large sieve by relying on the Parseval identity rather than on an approximate Bessel inequality and as a consequence, improve on the weighted large sieve inequality beyond what was heuristically accessible by the earlier approach. We also discuss the optimality of this approach.

2026-05-28T07:02:12Z Important miscalculation discovered Olivier Ramaré http://arxiv.org/abs/2504.02315v2 2026-06-04T13:19:20Z

Let $A_π(n,1)$ be the $(n,1)$-th Fourier coefficient of the Hecke-Maass cusp form $π$ for $\rm SL_3(\mathbb{Z})$ and $ ω(x)$ be a smooth compactly supported function. In this paper, we prove a nontrivial upper bound for the sum $$ \sum_{n_1,\cdots,n_\ell,n_{\ell+1}\in \mathbb{Z}_+ \atop n=n_1^r+\cdots+n_{\ell}^r+n_{\ell+1}^s} A_π(n,1)ω\left(n/X\right), $$ where $r\geq2$, $s\geq 2$ and $\ell\geq 2^{r-1}$ are integers.

2025-04-03T06:43:21Z Qingfeng Sun Yanxue Yu http://arxiv.org/abs/2606.06092v1 2026-06-04T12:29:13Z

In this paper, we introduce a notion of Higgs bundles on the Fargues-Fontaine curve. We establish a version of the BNR correspondence, which relates Higgs bundles to line bundles on suitable curves. We then describe an action of a Picard stack on the moduli stack of Higgs bundles and show that, modulo this action, there is a natural injective map of étale-stacks from the product of $B_{dR}^+$-affine Springer fibers to the Hitchin fiber that induces an equivalence of categories on every geometric point. Finally, we discuss connections with number-theoretic objects.

2026-06-04T12:29:13Z 52 pages. This is an abridged version of of my PhD thesis Ho Leung Fong http://arxiv.org/abs/2606.06086v1 2026-06-04T12:25:23Z

In this paper, we prove a generalization of a conjecture of Amdeberhan, Andrews, and Ballantine on double Lambert series. Motivated by a question raised by Cui, Kumar, and Singh concerning the existence of a generalization of this conjecture, we establish an identity in which the coefficients are given by the generalized divisor function $σ_k(n)$. As a special case, our result includes the original conjecture.

2026-06-04T12:25:23Z Rong Chen Tianjian Xu