On Jiang's wavefront sets conjecture for representations in local Arthur packets

2026-05-06T14:19:14Z

This paper serves as an attempt towards the Jiang conjecture on the upper bound nilpotent orbits in the wavefront sets of representations in local Arthur packets of quasi-split classical groups, which is a natural generalization of the well-known Shahidi conjecture, reflecting the relation between the structure of wavefront sets and the local Arthur parameters. Applying the character identities of local Arthur packets and a matching method, we reduce the study of the upper bound to certain properties of the wavefront sets of the corresponding bi-torsor representations of general linear groups, which is implied by a recent result of Atobe and Ciubotaru for split classical groups when the residue characteristic is large.

The Erdős-Pósa property for prime-length cycles fails (and beyond)

2026-05-06T14:05:32Z

We prove that for every $t \in \mathbb{N}$, prime-length cycles do not have the $\frac{1}{t}$-integral Erdős-Pósa property, even when restricted to planar graphs. We in fact prove a more general density result. For every $t \in \mathbb{N}$ and every subset $L \subseteq \mathbb{N}$ with lower density zero, the set of cycles whose length is in $L$ do not have the $\frac{1}{t}$-integral Erdős-Pósa property, even when restricted to planar graphs. We also consider a less restrictive density condition on $L$, called porous, where the complement of $L$ contains arbitrarily long sequences of consecutive integers. We prove that for every porous set $L \subseteq \mathbb{N}$, the set of cycles whose length is in $L$ do not have the Erdős-Pósa property, even when restricted to projective planar graphs. Our results partially answer a question of Gollin, Hendrey, Kwon, Oum, and Yoo [Math. Ann., 393(2):2507-2559, 2025].

Limits of equi-affine equi-distant loci of planar convex domains with two non-parallel asymptotes

2026-05-06T14:02:13Z

In this note, we introduce equi-affine invariants by averaging over the space of tropical structures of fixed covolume. Applied to the tropical distance series, this construction produces a family of equi-affine invariant functions associated with convex domains which are expected to satisfy a number of remarkable properties. We conjecture a limiting description of the associated level sets in the compact case, and we prove an analogue of this statement for unbounded domains with two non-parallel asymptotes. In addition, we give an explicit formula for the arithmetic mean value at the center of the unit disk.

Exponential sums over singular binary quintics

2026-05-06T14:00:05Z

We give an estimate of exponential sums over singular binary quintic forms in a characteristic-free form, based on the Waring decomposition of binary forms. This extends the method on our preceding result on the space of binary quartics to a non-coregular space.

Energy and Vertex Energy of Modified Divisor Prime Graphs

2026-05-06T12:46:48Z

This paper investigates the energy and vertex energy of the modified divisor prime graph $G^*_{Dp}(n)$, which is distinguished from the standard divisor prime graph by the inclusion of a self-loop at the vertex $1$. To facilitate this analysis, we introduce a generalized definition of vertex energy for graphs with self-loops and demonstrate its mathematical consistency.

The McKay correspondence and local heights for wild-by-tame split metacyclic groups

2026-05-06T09:48:06Z

We study the McKay correspondence for the representations of certain wild-by-tame split metacyclic groups whose order is divisible by the characteristic of the base field. We calculate the stringy motive of the quotient variety and find a formula for its stringy Euler number. As a consequence, we prove that a crepant resolution of the quotient variety (provided one exists) does not in general have Euler characteristic equal to the number of conjugacy classes in $G$, in contrast to the classical case. In particular, we show it depends on the choice of representation as well as the group. As part of this, we compute the v-function associated to a $G$-representation, corresponding to a stacky local height function.

$\mathbb{G}_m$-cohomology of $p$-adic Stein spaces

2026-05-06T09:47:21Z

We compute the étale $\mathbb{G}_m$-cohomology of some $p$-adic rigid analytic Stein spaces. The computation is done by considering the filtration induced by the subgroup of principal units $U=1+ \mathfrak{m} \mathcal{O}^+$ of $\mathbb{G}_m$. We then determine the $U$-cohomology via methods from $p$-adic Hodge theory (passage to the pro-étale site, comparison theorems with $p$-adic cohomologies), while the $\mathbb{G}_m/U$-cohomology is obtained using Kummer exact sequences. In particular, our formula applies to the case of Drinfeld upper-half space.

Small values of signed harmonic sums and logarithmic means of multiplicative functions

2026-05-06T09:46:50Z

We construct sequences $\{a_n\}_{n\in\mathbb{N}}\in\{-1,1\}^{\mathbb{N}}$ with small values of signed harmonic sums \[ \sum_{n\in\mathcal{A}\cap[1,N]}\frac{a_n}{n}, \] for any reasonably dense subsets $\mathcal{A}\subset\mathbb{N}.$ We apply these methods to further construct completely multiplicative functions $f:\mathbb{N}\to\{-1,1\}$ with unusually small logarithmic partial sums, that is, \[ \sum_{n \leq N}\frac{f(n)}{n} \ll \exp\left(-c_0 \frac{N^{1/3}}{(\log N)^{1/3}} \right) \] holds for infinitely many $N\to\infty$. The proofs combine careful analysis of the small-scale distribution of random harmonic sums over subsets of $\mathbb{N}$, together with deterministic inductive arguments inspired by the ``anatomy" of integers.

On special values of generalized $p$-adic hypergeometric functions of logarithmic type

2026-05-06T06:23:10Z

We introduce a new type of $p$-adic hypergeometric functions, which are generalizations of $p$-adic hypergeometric functions of logarithmic type defined by Asakura, and show that these functions satisfy the congruence relations similar to Asakura's. We also give numerical computations of the special values of these functions at $t=1$ and prove that these values are equal to zero under some conditions.

Order drop, Hecke descent, and a mod $p^4$ supercongruence for symmetric-cube hypergeometric coefficients

2026-05-06T04:22:39Z

We prove that the symmetric-cube coefficients $A_n=(-27)^n[z^n]\,_2F_1(1/3,1/3;1;z)^3$ satisfy the supercongruence $A(mp)\equiv A(m) \bmod p^4$ for every prime $p\geq 5$ and every $m\geq 1$. The proof rests on three ingredients: (i) the modular identification $F(t(τ))=η(τ)^9/η(3τ)^3$ with $t(τ)=η(3τ)^{12}/η(τ)^{12}$, whose logarithmic derivative is the weight-5 Eisenstein series $C(q)=3E_5(χ_0,χ_3)$ on $Γ_0(3)$; (ii) exact congruences $c_{mp^r}\equiv c_{mp^{r-1}} \bmod p^{4r}$ for the coefficients of $C$, combined with a Lagrange-Burmann extraction; and (iii) a Hecke descent on weakly holomorphic forms, where the defect is expanded in the two-dimensional space of weight-5 forms on $Γ_0(3)$ with character $χ_3$, spanned by $C$ and $tC$, via a cusp-adapted basis, with the second cusp handled by the Fricke involution $W_3$. As an independent result, we show that the Mao-Tian cubic recurrence drops from order 3 to order 2 at the specialization $(1/3,1/3,1)$.

Fixed-point lifting and ghost periodic points for Chebyshev polynomials modulo odd prime powers

2026-05-06T02:16:54Z

Let $p$ be an odd prime, let $n\ge2$, and let the $n$th Chebyshev polynomial $T_n$ act on $\Z/p^k\Z$. We count fixed and exact-periodic points, allowing non-permutation degrees, and organize the finite-field formulas by the two source groups needed for prime-power lifting. Over $\Fp$ we record the four-GCD fixed-point formula \[ N_1=\frac{\gcd(n-1,p-1)+\gcd(n+1,p-1)+\gcd(n-1,p+1)+\gcd(n+1,p+1)-2δ}{2}, \] where $δ=\gcd(n-1,2)$. The proof separates split and nonsplit source groups for $a=(ζ+ζ^{-1})/2$ and counts degenerate fixed residues branch-wise. For every odd $p$, \[ N_2=N_1+d(p-1). \] Here $d$ denotes the number of fixed residue classes $a\in\Fp$ for which $T_n'(a)\equiv1\pmod p$. For $p\ge5$ and all $k\ge1$, \[ N_k=N_1+d\bigl(p^{\min(k-1,\nup(n^2-1))}-1\bigr). \] This all-level formula does not extend unchanged to $p=3$, where boundary $p$-adic estimates at $a=\pm1$ can fail; the first-lift formula remains valid. For periods, we use the Chebyshev order \[ \cord_e(n)=\min\{r\ge1:n^r\equiv\pm1\pmod e\}. \] A source-order-$e$ point is periodic over $\Fp$ exactly when $\gcd(n,e)=1$, with period $\cord_e(n)$. Möbius inversion for the iterates $T_{n^j}$ gives exact-period point counts over $\Z/p^k\Z$ for all odd $p$; for $p\ge5$, the all-level fixed-point formula gives closed forms. When $p\nmid n$, orbitwise lifting modulo $p^2$ gives either full period retention or one Hensel lift plus ghost periodic points of period $\cord_{ep}(n)$. For $p\ge5$, higher lifts above a periodic residue are governed by the tower $\cord_{ep^q}(n)$.

Thin subbases of Piatetski-Shapiro sequences

2026-05-06T02:08:12Z

For a non-integral real number $c>1$, let $\mathbb{N}_{(c)}:=\{\lfloor n^c\rfloor ~|~ n\in\mathbb{N}\}$. We show that $\mathbb{N}_{(c)}$ contains thin subbases of every order $h\geq 5$ when $12$. In fact, for every regularly varying function $F$ such that \[ \frac{F(x)}{\log x}\to\infty\quad\text{ and } \quad F(x)\leq (1+o(1))\frac{Γ(1+1/c)^h}{Γ(h/c)} x^{h/c-1}, \] there exists $A\subseteq\mathbb{N}_{(c)}$ with $r_{A,h}(n)\sim F(n)$. We also establish analogous results for $k$-th powers of Piatetski-Shapiro numbers and Piatetski-Shapiro primes for small $c$.

Correlations of error terms for weighted prime counting functions

2026-05-06T01:59:44Z

Standard prime-number counting functions, such as $ψ(x)$, $θ(x)$, and $π(x)$, have error terms with limiting logarithmic distributions once suitably normalized. The same is true of weighted versions of those sums, like $π_r(x) = \sum_{p\le x} \frac1p$ and $π_\ell(x) = \sum_{p\le x} \log(1-\frac1p)^{-1}$, that were studied by Mertens. These limiting distributions are all identical, but passing to the limit loses information about how these error terms are correlated with one another. In this paper, we examine these correlations, showing, for example, that persistent inequalities between certain pairs of normalized error terms are equivalent to the Riemann hypothesis (RH). Assuming both RH and LI, the linear independence of the positive imaginary parts of the zeros of $ζ(s)$, we calculate the logarithmic densities of the set of real numbers for which two different error terms have prescribed signs. For example, we conditionally show that $ψ(x) - x$ and $\sum_{n\le x} \frac{Λ(n)}n - (\log x - C_0)$ have the same sign on a set of logarithmic density $\approx 0.9865$.

Rational orbits under correspondences

2026-05-06T01:30:43Z

Consider an algebraic function like $F(x) = \sqrt{x^3 - 1}$. If $p \in \mathbb{Q}$ is a rational number, how many iterates of $p$ under $F$ can also be rational? The dynamics of algebraic functions may be formalized in the language of correspondences on curves and their iterates. In this paper we show that if $F$ is a correspondence from $\mathbb{P}^1$ to itself defined over a finitely generated field $K$ of characteristic 0 satisfying several minor constraints, then either for each $n \geq 12$ there are only finitely many $p \in \mathbb{Q}$ for which $F^n(p)$ contains a $K$-rational point or $F$ belongs to an explicit list of known exceptional correspondences.

Special periods and some non-tempered cases of the Gan-Gross-Prasad conjecture

2026-05-06T01:25:57Z

In this paper, we establish a relationship between special periods and special L-values of automorphic representations of classical groups, and prove the non-tempered global Gan--Gross--Prasad conjecture in several cases. Our approach consists of two main steps. First, inspired by Rallis' tower property, we study the interaction between special periods and the tower property for the genericity of global theta lifts. Second, we investigate the relationship between the analytic properties of L-functions and special periods via the Rankin--Selberg integral method. Combining these results with non-vanishing criteria for global theta lifts in terms of various L-values, we prove three explicit higher-corank families of non-tempered cases of the global Gan--Gross--Prasad conjecture.