Number Theory [math.NT]

On sums of two primes and six Fibonacci numbers

math.NT

Via the circle method, we deduce that all sufficiently large positive integers are sums of two primes and six positive Fibonacci numbers, and are also sums of two primes and seven Lucas numbers. We also prove that each sufficiently large positive integer can be written as a sum of two primes, three Fibonacci numbers, and three Lucas numbers.

Properties of Kloosterman sums for long Weyl element on GL(n)

math.NT

We give an alternate expression for the Kloosterman sums associated with the long Weyl element of \(GL(n)\) that avoides the use of Pl\"ucker coordinates. The expression is instead based on the use of the well-known Cauchy-Binet formula from linear algebra. From this expression, we prove some important properties of these Kloosterman sums.

Rational Solids with Equal Surface Area and Volume

math.NT

We classify pairs consisting of a right square pyramid and a right square prism, each having rational base side length and rational height, for which the two solids have equal surface area and equal volume. We prove that, up to scaling by a common positive rational factor, there is a unique such pair. The problem reduces to determining the rational points on a genus 2 bielliptic curve whose Jacobian has rank 2. We accomplish this using a quadratic Chabauty computation followed by the Mordell--Weil sieve. The same analysis gives an analogous classification for right circular cones and right circular cylinders.

Sharp Transitions for Localized Solutions to a Diophantine Inequality

math.NT

For fixed $\tau > 0$, non-integer $\theta > 2$ and large enough $s$, we investigate the number of solutions to the Diophantine inequality $|x_1^{\theta}+\cdots +x_s^{\theta} - R| < \tau$ as $R \to \infty$. Here, we restrict the variables $x_i$ in the ``almost diagonal" range $X-Y < x_i \leq X+Y$ for $i = 1, \ldots, s$, where $X = (R/s)^{1/\theta}$ and $Y \asymp \sqrt{X}$. Let $\omega = (\lfloor s/2 \rfloor(\theta-1))^{-1/2}$. We will show that if $Y = c\sqrt{X}$ for some $c > \omega$ then for sufficiently large $R$ there must always exist solutions, but if $c < \omega$ then there exist arbitrarily large positive $R$ for which there are no solutions. Our result is thus essentially sharp, with the exception of $c = \omega$. This work is analogous to the results of Daemen and Wright in which similar statements are proved for Waring's problem, though our results are likely somewhat stronger than what is possible in that setting. We discuss other related results and further work to be done.

Mean Value Estimates for a Real-Exponent Analogue of Waring's Problem

math.NT

math.CA

For non-integer $\theta > 3$ and $\kappa \geq 1$, we show that the smallest $r_0$ such that the mean value estimate \[ \int_{-\kappa}^{\kappa} \Big| \sum_{X < x \leq 2X} e(\alpha x^{\theta}) \Big|^{2r} d\alpha \ll_{\epsilon} \kappa X^{2r - \theta+\epsilon} \] holds for all integers $r \geq r_0$ satisfies $2r_0 \leq \theta^2(1+O(\theta^{-1/2}))$. This is an improvement over the previous bound by Poulias of $2r_0 \leq (\lfloor 2\theta \rfloor + 1)(\lfloor 2\theta \rfloor + 2)$. As a consequence, the bound on the asymptotic order of the minimum number of variables required to prove the expected asymptotic formula for the number $R_{s,\theta}(N)$ of solutions $(x_1,\ldots,x_s) \in \mathbb{N}^s$ to the Diophantine equation \[ \lfloor x_1^{\theta} \rfloor+\cdots+\lfloor x_s^{\theta} \rfloor = N \] is improved by a factor of $4$. We also discuss a certain Diophantine system which arises naturally from our proof, which may have applications to other counting problems and may be of independent interest.

Asymptotics of Hecke polynomial coefficients on the Atkin-Lehner eigenspaces

math.NT

Let $S_k^\sigma(N)$ denote the space of cusp forms of level $N$, weight $k$, and Atkin-Lehner sign pattern $\sigma$, and $S_k^{\mathrm{new},\sigma}$ denote its new subspace. In this paper, we study the asymptotic behavior of the coefficients of the $m$-th Hecke polynomial over $S_k^\sigma(N)$ and $S_k^{\mathrm{new},\sigma}(N)$. In particular, we show that in certain settings, all but finitely many of these coefficients take a particular sign. We also study settings in which the coefficients do not tend to any particular sign.

On $p$-adic solubility of $Ax^\ell + By^m + Cz^n = 0$

math.NT

math.AG

We study $p$-adic solubility of generalized Fermat equations $Ax^\ell + By^m + Cz^n = 0$ for positive integers $\ell,m,n$. For all but finitely many primes $p$, the probability of having a $p$-adic solution is described by a rational function in $p$ depending only on $\gcd(p-1,\ell,m)$, $\gcd(p-1,\ell,n)$, and $\gcd(p-1,m,n)$. When $\ell,m,n$ are pairwise coprime, we deduce that the proportion of these equations which are everywhere locally soluble is positive, given by a product of these local probabilities; when $\ell,m,n$ are not pairwise coprime, the proportion is 0\%. We then give several detailed examples demonstrating the explicit nature of the results.

Hecke-type action on higher order Herglotz-Zagier function

math.NT

In a seminal paper, Lewis and Zagier constructed variety of functions satisfying the three-term functional equations. In this article, we consider the first example among them and establish that the function is a Hecke eigen form with respect to the Hecke operators, which acts on periods. We then utilize this result to determine the action of the aforementioned operators on the derivative of the Higher order Herglotz-Zagier function. The action leads to a family of multi-term functional equations satisfied by the function.

On the Diophantine Equation $p^x+ (2p+1)^y =z^2$ with Consecutive Exponents

math.NT

We study the Diophantine equation $p^x+ (2p+1)^y =z^2$ over positive integers $x$, $y$ and $z$ for every odd prime $p$. We prove that $(x,y,z)=(2,1,p+1)$ is the unique solution except possibly when $2p+1$ is composite. In that case, it reduces to a family depending on one parameter, and we show that the parameter must be odd and satisfies an explicit upper bound, reducing the problem to finitely many cases.

A Positive Proportion of the Reduced D'Arcais Polynomials is not Hurwitz

math.NT

Heretofore, the second and third author conjectured that the D'Arcais polynomials, related to the coefficients of the powers of the Dedekind $\eta$-function, are Hurwitz polynomials except for a root at the origin. We show that this does in fact not hold for a positive proportion of all natural numbers.

Universal Ramanujan-type congruences for prime-detecting quasimodular forms

math.NT

We establish the existence of infinitely many Ramanujan-type congruences which hold uniformly for the full $\Z$-module of prime detecting quasimodular forms. In particular, we prove that for every prime $p$, there is at least one arithmetic progression $An+B$ such that every prime-detecting quasimodular form has coefficients divisible by $p$ in this progression.

The Position-wise Prime Digit Distribution Theorem: A Formal Proof of Position-wise Digit Equidistribution in the Prime Numbers

math.NT

We state and prove the Theorem: for primes $p < 10^n$ with base-$10$ expansion $p = \sum_{k=0}^{n(p)-1} d_k(p) 10^k$, the positional digit probabilities $P_n(d \mid k)$ satisfy \[ \lim_{n \to \infty} P_n(d \mid k) = \begin{cases} 1/10, & k \ge 1,\ d \in \{0,\dots,9\}, \\[4pt] 1/9, & k = \mathrm{lead},\ d \in \{1,\dots,9\}. \end{cases} \] The limiting behavior splits cleanly into two distinct mechanisms: an arithmetic regime for interior digits and an Archimedean regime for the leading digit. For fixed interior positions ($k \ge 1$), digit extraction modulo $10^{k+1}$ reduces the problem to prime counts in reduced residue classes, where uniform distribution follows from Siegel--Walfisz (with Bombieri--Vinogradov allowing $k$ to grow with $n$). For the leading digit, the $1/9$ limit is not a Benford-type scale invariance, but arises from the local near-constancy of the prime density $1/\log t$ within single decades combined with a Toeplitz-type error averaging. Explicit classical and conditional error bounds are recorded for both regimes.

On a classical zero-sum invariant

math.NT

math.CO

Let $G$ be a nontrivial, finite abelian group. Then $\nu (G)$ is the smallest integer $\ell$ such that every zero-sum free sequence $T$ over $G$ of length at least $\ell$ has the following property: all nonzero elements of $G$ that do not occur as a subsequence sum of $T$ lie in a proper coset of some subgroup of $G$. We study the invariant $\nu (G)$, which was introduced in Zero-Sum Theory in the 1960s.

Matchings and product growth in modular abelian independence groups

math.CO

math.NT

We unify two matching theories, one for finite subsets of groups and the other for finite-dimensional subspaces in a field extension. To achieve this, we study groups equipped with a compatible finitary matroid structure, termed here independence groups. Applying Rado's independent transversal theorem, we derive necessary and sufficient rank criteria for matchability between finite-rank sets. In the setting of a modular abelian independence group $G$, we develop an analogue of the $e$-transform from additive number theory, derive structural matching criteria, and characterize a global matching property by the absence of a submonoid $H$ satisfying $1<\rho(H)<\rho(G)$ and $\rho(H)<\infty$, where $\rho$ denotes rank. Examples of modular abelian independence groups are given and examined in the matching context. Arising from this matching theory, but formulated without any reference to it, is a product-growth bound that generalizes the Cauchy--Davenport theorem: we define a parameter $\mu(G)$ and prove that $\rho(XY)\geq \min\{\mu(G),\rho(X)+\rho(Y)-1\}$ for all nonempty finite-rank subsets $X,Y$ of $G$. Furthermore, $\rho(XY)$ is shown to be controlled from below by a submonoid of $G$ that stabilizes a flat, a phenomenon reminiscent of Kneser's theorem.

On a conjecture on the Kasami APN function: reductions, structure theorems, a proof for $k\bmod n\in\{1,2,n{-}2,n{-}1\}$, and exhaustive verification for $n\le 13$

math.CO

math.NT

We study a conjecture on the Kasami almost perfect nonlinear (APN) function $F(x)=x^{4^k-2^k+1}$ on $GF(2^n)$, $\gcd(k,n)=1$: for the $2^{n-1}$-element set $\Delta=\{F(b)+F(b+1)+1: b\in GF(2^n)\}$ and all distinct nonzero $v_1,v_2\in GF(2^n)$, \[ \bigl|\{(x,y,z)\in\Delta^3 : v_1x+v_2y+(v_1+v_2)z=0\}\bigr| \;=\; 2^{2n-3}. \] The conjecture was proposed at the NSUCRYPTO~2019 cryptographic olympiad (the proposer of the problem was not publicly disclosed). We prove the conjecture for $k\bmod n\in\{1,2,n-2,n-1\}$, in particular a complete proof for $k=2$ ($d=13$) via a quadratic-form theory and an exact root-count reduction, and we verify it exhaustively by computer for every admissible $(n,k)$ with $n\le13$.

Finding suitably generic points on curves with an application to the construction of rigid real closed fields

math.LO

math.NT

Let $K$ be an algebraically closed field of characteristic 0 and transcendence degree at least 2. Let $C\subset K^2$ be an irreducible curve defined over $K$ but not defined over the algebraic closure of $\mathbb Q$. There is $(x ,y)$ a $K$-point of $C$ such that $x$ and $y$ are algebraically independent. Moreover, if $C_0$ and $C_1$ are two such curves and there is a finite-to-finite algebraic correspondence between them defined over $K$, then there are corresponding $K$-points $(x_0,y_0)\in C_0$ and $(x_1,y_1)\in C_1$ such that $x_0$ and $y_0$ are algebraically independent and $x_1$ and $y_1$ are algebraically independent. We use the latter result to construct non-Archimedean real closed fields of transcendence degree $\kappa$ with no non-trivial automorphisms for all $2\le\kappa\le \aleph_1$.

Spectral convergence of hyperbolic surfaces and quantum ergodicity

math.SP

math-ph

math.MP

math.NT

We extend the notion of Plancherel convergence, introduced in the study of compact quotients of locally compact groups, to finite-area hyperbolic surfaces and establish a quantum ergodicity theorem for Plancherel sequences. We show that the expectation values of integral operators whose kernels are uniformly bounded and have uniformly bounded propagation become asymptotically equidistributed, on average, for eigenvalues in a fixed compact interval. Our result recovers the case of multiplication operators studied by Le Masson and Sahlsten, corresponding to the degenerate case of propagation bound zero and kernels supported on the diagonal. Moreover, our result allows the systole to shrink without a uniform lower bound, with the allowed degeneration constrained by Plancherel convergence. This identifies Plancherel convergence as a natural spectral framework for quantum ergodicity on degenerating hyperbolic surfaces.

Lonely Runners over Function Fields: Quantized Phase--Riesz product

math.CO

math.NT

Let $C_k(q)$ be the least cardinality of a family of nonzero polynomials over $\mathbb F_q$ whose associated codimension-$k$ partial-circulant kernels cover the full coefficient space. Chow and Rimani'c conjectured that $C_k(q)=1+q+\cdots+q^k$. We disprove the unrestricted conjecture by constructing thirteen monic polynomials over $\mathbb F_2$ whose $k=3$ kernels cover $\mathbb F_2^7$; in particular, $C_3(2)\le 13<15$. For a general covering family of size $N=q^k+S$ and $\mathbb F_q$-linear rank $d$, we prove $S\gg d^{2/3}\left(\frac{\log(2q)}{\log(eNq^k/S)}\right)^{2/3}$. Consequently, for every fixed $k\ge 2$ and all sufficiently large $q$, $C_k(q)\ge q^k+c_kq^{2/3}$. When $k=2$, an integer-multiplicity refinement of the second-moment covering argument yields $\liminf_{q\to\infty}(C_2(q)-q^2)/q\ge \widetilde c_2$, where $\widetilde c_2$ is an explicit one-variable variational constant with numerical value $\widetilde c_2=0.5829944375\ldots$. We also classify triples admitting two independent low-degree polynomial syzygies and prove a conditional packet-free lower bound of size $q^k+(1/2-o(1))q^{k-1}$.

Products of trees and ${\rm PGL}_2$-torsors over the punctured affine line

math.GR

math.AG

math.NT

The goal of this article is to present a computation of the Galois cohomology of the group $G = \mathrm{PGL}_2$ over rings of Laurent polynomials. This computation recovers the main result of \cite{CGP} in this case by a new method, based on the analysis of actions on appropriate geometric objects (products of trees and, in general, of affine buildings), which was already used in \cite{ARR} to give a new proof of the theorem of Raghunathan-Ramanathan \cite{RR} concerning Galois cohomology over polynomial rings. Going beyond Galois cohomology, this method also enables one to determine the finite subgroups in the group of points over relevant polynomial rings. In view of these and other potential applications of the method in different situations (in particular, in the study of algebraic groups over the coordinate rings of general affine curves), we have attempted to make our exposition largely self-contained and accessible to broad mathematical audience.

Complexity-sensitive additive energy and off-diagonal Young inequalities on bounded-degree algebraic varieties

math.CA

math.CO

math.NT

We develop additive-energy estimates and weighted Young inequalities for finite sets on bounded-degree real algebraic varieties. For an irreducible $m$-dimensional variety $V$, let $\sigma(V)=2m-\dim\overline{V-V}^{\mathrm{Zar}}$ and $\alpha(V)=\max{2,1+\frac{2\sigma(V)}{m}}$. For every $a\in[\alpha(V),3)$ we define a finite-degree translation-partition flag parameter $\Lambda_{a,R}(X;V)$ and prove $E(X)\ll \Lambda_{a,R}(X;V)^{3-a}|X|^{a+\varepsilon}$. This recovers the line-concentration theorem of Jing and Wu for algebraic surfaces in $\mathbb{R}^3$. For codimension-two quadratic threefolds ${(u,Q_1(u),Q_2(u))\in\mathbb{R}^3}\subset\mathbb{R}^5$ with positive-definite $Q_1$ and simple generalized spectrum, we prove the sharp estimate $E(X)\ll_{\varepsilon}|X|^{2+\varepsilon}$ without a flag loss. Hereditary versions of these estimates imply weighted $L^4$ restriction bounds and off-diagonal Young inequalities; at the near-diagonal threshold the sharp region is $1\le p,q\le 2$ and $p^{-1}+q^{-1}\ge 1$. We also prove a sharp turning-complexity extension of the Cushman-Demeter-Wu theorem: $J_3(P)\ll_{\varepsilon}\kappa(P)^2|P|^{3+\varepsilon}$, with matching examples at every power scale.

Eureka: Task-Conditioned Meta-Agent Orchestration for Scientific Discovery

cs.AI

math.NT

We present Eureka, a task-conditioned Meta-Agent architecture that compiles long-horizon tasks into dynamic obligation graphs with explicit acceptance semantics. During execution, Eureka forms Macro-Agents with specialized state, memory, operators, tools, verifiers, and local topology via receding-horizon planning, architecture promotion, and minimal-sufficient compilation. When bottlenecks recur, cost-benefit-gated evolution updates the local architecture under constraints. Theoretically, we establish results on regret, planning invalidation, amortization, subtree interfaces, serializability, and verification. Experimentally, Eureka completes 170/170 recursive tasks and generates 3,948 certificates with no false acceptances. Active context compresses median input from 9,490 to 4,005 tokens; incremental processing avoids 65.38% recomputation across 12,000 tasks; 16,000 concurrent executions serialize consistently. The same Meta-Agent instantiates a Theory-Discovery Agent and a Math/Conjecture Agent. The former yields structural results in quantum-process and spacetime theory. The latter identifies bottlenecks in Riemann Hypothesis research and advances a positivity certificate for Suzuki's localized Weil quadratic form to 0 < a <= 69/200 = 0.345, reaching ~99.55% of (log 2)/2. These results suggest that scientific-agent capability depends not only on the base model but on whether an architecture can be formed to match the task's cognitive structure.

A simple construction of the automorphic residual spectrum

math.RT

math.NT

We consider the spherical Borel Eisenstein series induced from the trivial representation for a split semisimple linear algebraic group over a number field. We prove that its regularization at the special point corresponding to half the weighted marking of a distinguished coadjoint nilpotent orbit in the Langlands dual Lie algebra is nonzero and square-integrable. Our proof follows the philosophy of Kazhdan and Okounkov. We give a geometric interpretation of Langlands' square-integrability criterion in this setting and, using the equivariant integration formula, prove that the regularization satisfies this criterion. As an immediate consequence, we obtain a simple and uniform proof of Arthur's unitarity conjecture, without case-by-case analysis or machine computation.

A random walk on p-groups with a symmetric perfect pairing

math.PR

math.CO

math.NT

The kernel of a random symmetric p-adic matrix is a random abelian group, equipped with a symmetric pairing. If we consider not only the matrix but also its top-left corners, we get a process valued in isomorphism classes of abelian groups, equipped with such a pairing. We show that when the matrix is Haar random, this process is a Markov chain, generated by an operator that we explicitly describe. We will also prove that this operator is reversible with respect to a Cohen-Lenstra type measure.

Character sums over co-dimension one sub-lattices in finite field extensions

math.NT

v4

We obtain nontrivial bounds for multiplicative character sums over codimension-one sublattices of finite field extensions $\mathbb{F}_{p^d}$. This extends earlier results of Davenport--Lewis and Chang from full-dimensional settings to the codimension-one setting. As an application, we establish cancellation in character sums over binary cubic forms for intervals of length $p^{3/8+\varepsilon}$. Our approach combines Burgess-type amplification technique, represesentation of character sum using multiplicative energy and it's estimates to prove the result.

Discrete restrictions from Laurent monomial systems for multiple Dirichlet series

math.NT

v3

We introduce a special class of multiple Dirichlet series whose terms are supported on a variety and which admit an Euler product structure.

Change of weights operations for triangulated $({\varphi},{\Gamma})$-modules

math.NT

math.RT

v2

Zhixiang Wu has shown the existence of "change of weights" operation on $(\varphi,\Gamma)$-modules in families (arxiv:2405.16637). We interpret it in the trianguline case as pullbacks with a discussion on related stacks. Finally, we prove that it intertwines well with translation functors via a 1-1 correspondence defined by Yiwen Ding (arXiv:2407.21237) in the non-critical crystabelline case.

A trick to ensure positive Mordell-Weil rank

math.NT

v3

In this short note, we present a trick to ensure that the Jacobian of a given smooth curve over a number field has strictly positive Mordell-Weil rank. More explicitly, we prove that a smooth curve with no rational non-trivial 2-torsion and no rational theta characteristic has non-zero Mordell-Weil rank assuming the existence of a rational degree 1 divisor class. In particular, it implies that a generic nice curve with a rational degree 1 class has strictly positive rank. This criteria is both of theoretical and computational interest as we show how to use it in practice. We also give refinements, including an equivalent for families of curves, and explicit examples.

The fourth known primitive solution to $a^5 + b^5 + c^5 + d^5 = e^5$

math.NT

v3

We report the fourth known primitive solution to the Diophantine equation $a^5 + b^5 + c^5 + d^5 = e^5$, extending the small set of solutions identified in 1966, 1996, and 2004. The new solution has target value $e = 1{,}956{,}878$, more than an order of magnitude larger than those of all previously known primitive solutions. It was obtained by a large-scale computational search using an optimized meet-in-the-middle algorithm. To make this search feasible under fixed memory, we introduce a partitioning strategy that trades additional preprocessing for reduced memory usage, and show that this approach remains practical for search ranges well beyond those explored here. Finally, we compare structural properties of known fourth- and fifth-power counterexamples to Euler's sum-of-powers conjecture, observing that most known fifth-power solutions have their largest summand close to the target value.

Parry condition, existence and uniqueness of alternate bases

math.NT

cs.DM

math.CO

v2

Alternate bases are a numeration system that generalizes the R\'enyi numeration system. It is common in this context to construct examples or counter-examples by specifying the expansions of $1$ in the desired system. While it is easy to show when a system with given expansions of $1$ exists in the R\'enyi case, the same is not true in the alternate case. In this article, we establish conditions for given words to be the expansions of $1$ in the alternate case. To do so, we use a fixed point theorem on matrices defined from the expansions and obtain the elements of the base from the components of the fixed point. We also obtain a partial result for the uniqueness of such a base. In the latter parts of the article, we use similar techniques to prove the existence of bases with a given sequence of $B$-integers.

A generalization of Bressoud's beautiful bijection

math.NT

v3

Within this research, two combinatorial bijections using Young diagrams were studied. The first is a special case of a bijective correspondence between two classes of combinatorial objects. Its proof, based on Young diagrams, establishes equinumerosity and provides an explicit constructive mapping. The second is a generalization to any natural d, preserving bijectivity. It shows the combinatorial structure remains stable under changes in the parameter, with Young diagrams serving as a universal language. A notable and non-obvious aspect of this generalization is the symmetry revealed in the construction. Intuitively, it was not evident that one could consider not only the natural order of residues but also any permutation of them.

Belyi map verification using certified path tracking

math.NT

math.AG

v2

We provide an end-to-end workflow to rigorously compute the monodromy of Belyi maps from exact equations over number fields using certified homotopy continuation. We then apply this method at scale to certify the monodromy triples of Belyi maps in the $L$-functions and Modular Forms Database (LMFDB).

Deformation of the absolute Galois groups of number fields

math.NT

v3

The technical goal of this paper is to construct and study profinite monoids DG_K for number fields K such that (1) the unit group of DG_K is isomorphic to the absolute Galois group G_K; (2) the maximal abelian quotient of DG_K is isomorphic to the Deligne-Ribet monoid DR_K; (3) the idempotents of DG_K bijectively correspond to subsets of the set P_K of (finite) primes of K; (4) the maximal Galois groups G_{K, S} with restricted ramifications S all appear as maximal closed subgroups of DG_K at idempotents; (5) all maximal closed subgroups of DG_K at idempotents are of this form. We also discuss the relationship between DG_K and the p-typical Witt vectors of Borger and de Smit, where we will describe the fundamental monoid of the semi-galois category of Lambda-rings of Borger and de Smit in terms of fields of norms of the local field K_p in particular.

Galois Symbols for a Jacobian and Multiplicative Groups

math.NT

v2

Let $C$ be a smooth projective geometrically connected curve over a field $k$ with a $k$-rational point. Let $J$ be the Jacobian variety of $C$. For an integer $r\geq 1$ and a positive integer $n$ prime to the characteristic of $k$, we prove that the Galois symbol map \[ K(k;J,\mathbb{G}_{m},\ldots,\mathbb{G}_{m})/n \to H_{\mathrm{\acute et}}^{r+1}\bigl(k,J[n]\otimes \mu_n^{\otimes r}\bigr) \] is injective, where the multiplicative group $\mathbb{G}_{m}$ occurs $r$ times. The proof uses Akhtar's description of higher Chow groups of zero-cycles and the Beilinson--Lichtenbaum theorem. The case $r=1$ recovers a theorem of Spiess.

The exceptional locus of a motivic local system

math.AG

math.NT

v2

To every Nori motivic local system over a smooth, connected complex algebraic variety, we associate an exceptional locus controlling the variation in the complexity of its stalks; the definition is given explicitly in terms of motivic Galois groups and Artin motives. We prove a motivic analogue of the Cattani--Deligne--Kaplan Theorem, asserting that the exceptional locus is a countable union of closed algebraic subvarieties. Moreover, we show that it is defined over any algebraically closed subfield over which the motivic local system admits a model, and stable under Galois conjugation when the latter descends to a smaller subfield. This extends and strengthens previous results by Andr\'e in the pure case. We obtain a similar description for the splitting locus of the motivic weight filtration.

On the prime field spherical restriction conjecture in four dimensions: breaking the Stein-Tomas exponent and applications

math.CA

math.CO

math.NT

v3

We introduce a method based on horizontal slicing and a plane-then-line stopping-time decomposition for the prime field spherical restriction problem in four dimensions. The method is designed to overcome the Kloosterman obstruction in the spherical Bochner--Riesz kernel by decomposing each critical horizontal slice into rich-plane, rich-line-and-poor-plane, and poor-line-and-poor-plane components, which are then treated by distinct affine-geometric mechanisms. As a quantitative consequence, we prove that \[ R_{S_j}^*(2\to r)\lesssim_r 1 \] for every non-zero radius sphere $S_j\subseteq\mathbb F_p^4$ and every $r>23/7$, thereby breaking the Stein--Tomas exponent of $10/3$. We also formulate a localized spherical restriction/extension conjecture that predicts the sharp dependence of the restriction norm on the size of the physical support. This conjecture simultaneously captures the spherical restriction conjecture $L^2\to L^3$ up to the endpoint and the Erd\H{o}s--Falconer distance conjecture in four dimensions. Using the same structural method, we establish the first nontrivial bounds toward this localized conjecture and derive new almost-every-pin distance estimates in $\mathbb F_p^4$.

The extended Fargues--Scholze spectral action

math.RT

math.AG

math.NT

v2

Let $G$ be a connected reductive group over a non-archimedean local field. The main result of Fargues and Scholze [FS21] for the geometrization of the local Langlands correspondence is the construction of a ``spectral action'' on the category of $\ell$-adic sheaves on $\text{Bun}_{G}$, the stack of $G$-torsors on the Fargues-Fontaine curve. The goal of this paper is to prove a conjecture of Fargues which says that one can extend this construction to the larger stack $\text{Bun}_G^e$ of $G$-torsors on the Kaletha gerbe over the curve, as introduced by Fargues [Far22]. This ``extended spectral action'' allows for a version of the categorical local Langlands conjecture for an arbitrary connected reductive group $G$, and is the first such statement for those $G$ which are not extended pure inner forms of a quasi-split group, such as non-trivial inner forms of $\mathrm{SL}_{n}$. Finally, we prove this conjecture for tori, following the original argument of [Zou24] and, under the same assumptions as [Zou26] (including connected center), we reduce the ``extended'' version of the categorical conjecture to the one in Fargues--Scholze.

Mutation-preserving generalized cluster algebras and Laurent mutation invariants

math.RA

math.AC

math.NT

v3

We introduce mutation-preserving generalized cluster algebras, for which the generalized cluster mutation in each direction is independent of the seed in the mutation equivalence class. We classify all irreducible generalized cluster algebras with this property. Then, a Markov-type Diophantine equation $x^2+y^2+z^2+2yz=kxyz$ is studied, which has a structure of the mutation-preserving generalized cluster algebra. We prove that positive integer solutions exist if and only if $1\leq k\leq 5$ and determine all their orbits under the associated generalized cluster mutation groups. In particular, multiple orbits occur for each $k=1,3$, whereas the solutions form a single orbit for each $ k=2,4,5$. We then classify all generalized Markov Laurent mutation invariants. As an application, a conjecture proposed by Chen-Li is proved, showing that every Laurent mutation invariant of irreducible sign-equivalent cluster algebras is essentially a polynomial in the corresponding basic invariant.

A Proof of a Conjecture on Fixed Perimeter Partitions

math.CO

math.NT

v2

Finding fixed perimeter analogues of various partition theoretic identities and inequalities has recently emerged as an active area of research. Gray, Payne, Swisher, and Watson [\textit{Discrete Math.}, 2026] established several fixed perimeter analogues of partition theoretic results inspired by Euler's celebrated partition identity. Very recently, in a separate work [\textit{ar{X}iv:2608.00421}, 2026], they explored fixed perimeter analogues of inequalities related to parity biases. Introducing the concept of parity bias, Kim, Kim, and Lovejoy [\textit{Eur. J. Comb.}, 2020] conjectured that $pd_o(n)>pd_e(n)$ for all $n\ge 20$, where $pd_o(n)$ (respectively, $pd_e(n)$) denote the number of partitions of $n$ into distinct parts having more odd parts (respectively, even parts) than even parts (respectively, odd parts). The author, together with Banerjee, Bhattacharjee, Dastidar, and Saikia [\textit{Eur. J. Comb.}, 2022], proved this conjecture. Gray, Payne, Swisher, and Watson conjectured that a fixed perimeter analogue of this inequality holds for all $n\ge 9$. In this paper, we confirm their conjecture.