Number Theory [math.NT]

Random Multiplicative Functions with Periodic Weights

math.NT

math.PR

Given a Steinhaus random multiplicative function $f$, a $1$-periodic function of bounded variation $g$, and an irrational number $\alpha$, we study the distribution of $\sum_{n=1}^N f(n) g(\alpha n)$. We determine a necessary and sufficient condition for these sums, normalized by their standard deviation, to converge to the standard complex Gaussian distribution. On the other hand, we show that if we restrict the summands to have all their prime factors $>z$, with $z$ tending to infinity arbitrarily slowly, then a central limit theorem always holds for such sums.

Ljunggren--Jacobsthal and Bailey-Type Congruences for Rectangular Gaussian Binomial Coefficients

math.NT

Motivated by the polynomial form of Kalinin's Gaussian analogue of Wolstenholme's theorem, following Kalinin, we study a two-dimensional factorial ratio over the Gaussian integers, which we call the rectangular Gaussian binomial coefficient. For a rational prime $p\equiv 3\pmod 4$, we first prove that these coefficients are $p$-integral. Our main result is a Ljunggren--Jacobsthal-type supercongruence: for $p>5$ and every $k\geq 1$, simultaneous dilation of all four parameters by $p^k$ changes the coefficient by a multiple of $p^{3k}$. In particular, this proves the inert-prime case of a conjecture of Kalinin. We also establish a rectangular Bailey-type congruence modulo $p$ for parameters consisting of a large $p$-multiple and one base-$p$ digit. Its shape parallels Bailey's prime-power refinements of Lucas's theorem, but two additional ordinary binomial factors occur, reflecting the vertical and horizontal boundary strips of a rectangular block decomposition. The proofs combine reciprocal-power-sum estimates in $\mathbb{Z}_p[i]$ with factorizations of rectangular products into complete $p^k\times p^k$ blocks.

Asymptotic independence of class-group 4-ranks in correlated pairs of imaginary quadratic fields

math.NT

Fix a squarefree integer $d_0>1$, and let $d$ range over the positive squarefree integers coprime to $2d_0$. Although $\mathbb{Q}(\sqrt{-d})$ and $\mathbb{Q}(\sqrt{-d_0d})$ share all variable ramified primes, we prove that their class-group $4$-ranks are asymptotically independent. Over the subfamily $d\le X$, their joint distribution converges in total variation to the product of two copies of the Cohen--Lenstra--Gerth distribution, with error bounded by a negative power of $\log\log X$. We further conjecture that the corrected $2$-primary groups $2\operatorname{Cl}_{\mathbb{Q}(\sqrt{-d})}[2^\infty]$ and $2\operatorname{Cl}_{\mathbb{Q}(\sqrt{-d_0d})}[2^\infty]$ are asymptotically independent, each with the Cohen--Lenstra distribution. Suppose in addition that the class number of $\mathbb{Q}(\sqrt{d_0})$ is odd. For a density-one subset of this family, we prove that extension of ideals to $K(d)=\mathbb{Q}(\sqrt{d_0},\sqrt{-d})$ induces $4\operatorname{Cl}_{K(d)}[2^\infty]\cong 2\operatorname{Cl}_{\mathbb{Q}(\sqrt{-d})}[2^\infty]\oplus 2\operatorname{Cl}_{\mathbb{Q}(\sqrt{-d_0d})}[2^\infty]$. Together with this decomposition, the group-valued conjecture predicts that $4\operatorname{Cl}_{K(d)}[2^\infty]$ is distributed as the direct sum of two independent Cohen--Lenstra $2$-groups, giving a corrected Cohen--Lenstra--Martinet distribution for the biquadratic family. Unconditionally, the $8$-rank of $\operatorname{Cl}_{K(d)}$ has limiting distribution given by the convolution of two copies of the Cohen--Lenstra--Gerth distribution. The proof combines Smith's box method with quantitative truncated Gaussian-binomial moment inversion for diagonally coupled, fixed-width bordered R\'edei matrices.

Positive rational series for reciprocal powers of Catalan's constant and Dirichlet beta values

math.NT

Let $\beta(s)=\sum_{k=0}^{\infty}(-1)^k(2k+1)^{-s}$ and let $G=\beta(2)$ be Catalan's constant. We develop two families of positive series for reciprocal powers $\beta(s)^{-r}$. The first is obtained from the classical Euler transformation and is evaluated at $1/2$; it is valid for real $s>0$. A second transformation, valid for $s\geq2$, gives a faster series evaluated at $1/3$. We derive finite-sum and integral formulas for the base coefficients, together with a positive recurrence and a composition formula for arbitrary reciprocal powers. When $s$ is an integer, all coefficients are rational. We also give explicit remainder estimates and determine the exact root-convergence rates of the two families. As applications, we obtain positive rational series for every reciprocal power of Catalan's constant and for reciprocal powers of $\pi$ arising from odd values of the Dirichlet beta function.

Negative bias in moments of the Legendre family of elliptic curves

math.NT

We determine the bias in higher moments of the Legendre family of elliptic curves in view of the Negative Bias Conjecture of S. J. Miller. We show that every lower order term is either zero or negative on average for both even and odd moments, and explicitly compute the third and fourth moment. The results about Hurwitz class numbers in arithmetic progressions which we prove in the process may be useful for other applications.

Machine learning the arithmetic of Boyd's Mahler measure conjectures

math.NT

Boyd conjectured that the Mahler measure of $P_k(x,y)=x+y+\frac{1}{x}+\frac{1}{y}+k$ for $k$ an integer, is given by $r_kL'(E_k,0)$, where $E_k$ is the elliptic curve associated to the zero locus of $P_k$ and $r_k$ is a rational number. We study various arithmetic properties of $r_k$ using a dataset containing the first $250{,}000$ values of $k$, combining large-scale statistical analysis assisted by Claude with transformer-based experiments carried out using Axolver. We recover Boyd's observation that, apart from a few exceptions, $r_k$ is the reciprocal of an integer. The size of this integer is governed by the conductor of the elliptic curve. Moreover, its $p$-adic valuations display markedly different behavior according to the prime. For $p\geq 5$, the probability of $v_p(r_k)=-m$ for $m\geq 1$ appears to be $p^{-m}$. For the primes $2$ and $3$, however, we find additional arithmetic structure involving congruence conditions on $k$ and the primes of bad reduction of $E_k$. Although the neural networks do not predict $r_k$ exactly, they recover significant information about its magnitude and valuations. In particular, the experiments at the prime $2$ suggest arithmetic structure beyond the explicit predictor obtained from our statistical analysis.

Faster Deterministic Integer Root Finding for Integer Polynomials

math.NT

cs.DS

cs.SC

We give a deterministic algorithm for finding all integer roots of a square-free polynomial $f\in\mathbb Z[x]$ of degree $n$ with $\lVert f\rVert_\infty<2^b$. The running time is $$ \tilde{O}(n^{3/2}b), $$ improving the $\tilde{O}(n^2b)$ bound of Harvey and Hittmeir (Research in Number Theory, 2022). The algorithm follows the classical $p$-adic framework: find roots modulo a prime $p$, lift them modulo a high power of $p$, and verify the lifted candidates. The main new idea is to avoid searching for a prime for which $f\bmod p$ is square-free. Instead, we find a prime for which the total multiplicity of repeated roots modulo $p$ is small. This requires lifting repeated roots, which we handle using a weighted lifting tree. We also give a faster deterministic candidate-verification algorithm: given $n$ candidate integers smaller in absolute value than $2^b$, we decide which are roots of $f$ in $$ \tilde{O}(nb+\min(n^2,nb^2)) $$ bit operations. Together, these ingredients give the first deterministic subquadratic-in-$n$ improvement for integer root finding in the square-free case.

Dynamical Canonical Heights and Finite Trees

math.NT

We establish lower bounds for the canonical height of a wandering point that decays like the square of the field degree. Our methods and results apply to centered, postcritically finite, hyperbolic polynomials of prime power degree whose coefficients are algebraic integers. Our approach is ultimately inspired by an idea of Dimitrov that led to his proof of the Schinzel--Zassenhaus Conjecture. The height lower bound is derived from the lower bound of the local canonical height at an archimedean place. In previous work, the authors used a result of Dubinin on the transfinite diameter of a star-shaped tree. In this paper, we develop tools to bound the transfinite diameter of more general finite trees in the complex plane. We construct these trees using the Hubbard tree of a postcritically finite polynomial. Thurston's notion of core entropy helps us analyze combinatorial properties of the Hubbard tree.

The Minimal Degree of Salem Numbers with Negative Trace

math.NT

We show that the minimal degree of a Salem number with prescribed negative trace is bounded below by $T^2/\log T$ and above by $T^2\log T$, up to explicit constants and lower-order terms, where $T$ is the absolute value of the trace. This improves the previous doubly exponential upper bound of McKee and Smyth. Building on their construction, we also prove that for every prescribed negative trace there exists a constant $d_0$ such that Salem numbers of that trace exist in every even degree exceeding $d_0$.

Cycles for Rankin-Selberg $L$-functions, I: automorphic periods

math.NT

In this paper, we establish an explicit formula for automorphic periods which will be used in a sequel to study special values of $p$-adic Rankin-Selberg $L$-functions. Our motivation is to extend the Bertolini-Darmon-Prasanna formula to the case where the archimedean local sign is opposite to that in the original setting. To this end, we prove a formula for the $\mathrm{GU}(1,1)$-period of a theta lift from $\mathrm{GSO}(2)$ to $\mathrm{GSp}_4$, which is adapted to $p$-adic interpolation. We also introduce a $p$-depletion Hecke operator for this theta lift, which will play a crucial role in relating the automorphic period to the image of the $p$-adic Abel-Jacobi map.

de Rham theory and locally analytic vectors

math.NT

Let $K_\infty/K$ be a $p$-adic Lie extension of a $p$-adic field $K$. We study the subring of pro-analytic vectors in the de Rham period ring $\mathbf{B}_{\mathrm{dR}}^+(K_\infty)$. We show that the pro-analytic subring admits a Galois-equivariant isomorphism with a formal power series ring $\widehat{K}_{\infty}^{\mathrm{la}} [[t_{K_\infty}]]$ if and only if $K_\infty$ satisfies a certain orientability condition, which says that the $\widehat{K}_\infty$-level Sen operator admits a Galois-equivariant $\mathbf{B}_{\mathrm{dR}}^+$-lift. A key input is the vanishing of higher locally analytic vectors of $\widehat{K}_\infty$-representations. As an application, we show that the lifted Sen operator induces regular connections on pro-analytic vectors of $\mathbf{B}_{\mathrm{dR}}^+$-representations, and can be used to compute Galois cohomology.

Arithmetic of elliptic curves induced by regular Diophantine triples

math.NT

We study elliptic curves induced by regular Diophantine triples, with emphasis on their torsion subgroups. We show that an elliptic curve $E$ induced by a regular Diophantine triple in integers necessarily has torsion subgroup $E(\mathbb{Q})_{\mathrm{tors}} \cong \mathbb{Z}/2\mathbb{Z} \times \mathbb{Z}/2\mathbb{Z}$. Moreover, we develop a criterion for when such an elliptic curve acquires a point of order $3$ over a quadratic field. For a particular family $\{ k-1, k+1, 4k\}$, we use it to show that this does not happen. Finally, we study both the torsion and the generic rank of a family of elliptic curves induced by the $D(-k^2)$-triple $\{1, 2k^2, 2k^2+2k+1\}$.

Lattice point sumsets and asymptotic approximate groups

math.NT

math.CO

math.GR

We establish new quantitative bounds for asymptotic approximate groups arising from finite subsets of lattices and, more generally, semi-linear subsets of abelian groups. Our approach combines Khovanskii's theorem on sumsets with Rogers and Zong bounds for the covering numbers.

Weights in \'etale cohomology over mixed-characteristic local fields and applications to anabelian geometry

math.NT

math.AG

In anabelian geometry, Kummer-faithful fields are expected to be suitable as base fields. In recent years, to characterize Kummer-faithfulness in terms of Galois representations, Ozeki and Taguchi defined a notion of (quasi-)highly Kummer-faithful fields as a variant, and posed the following natural question: Are sub-$p$-adic fields quasi-highly Kummer-faithful? In this paper, by studying the weights of $\ell$-adic \'etale cohomology over mixed-characteristic local fields and discussing the $p$-adic analogue, we give an affirmative answer to this question. Furthermore, we extend the class of base fields from mixed-characteristic local fields to complete discrete valuation fields whose residue fields are algebraic extensions of some finite field, and give equivalent conditions for the vanishing of the coinvariants of $\ell$-adic and of $p$-adic \'etale cohomology. As a result, we show that, for mixed-characteristic complete discrete valuation fields whose residue fields are algebraic extensions of some finite field, Kummer-faithfulness and quasi-high Kummer-faithfulness are equivalent.

Bilinear Kloosterman sums over small boxes and uniformity of a random walk

math.NT

Given an additive character $\psi$ of an arbitrary finite field $\mathbb{F}_{p^n}$ and elements $a,b\in \mathbb{F}_{p^n}$, $b\neq 0$, we prove a bound on bilinear Kloosterman sums $\sum_{x\in B_1}\sum_{y\in B_2}\psi(axy+bx^{-1}y^{-1})$, where $B_1, B_2$ denote boxes in $\mathbb{F}_{p^n}$. Here, a box is a coordinate parallelepiped obtained by restricting the coefficients of field elements, with respect to a fixed basis of $\mathbb{F}_{p^n}$ over $\mathbb{F}_p$, to intervals in $\mathbb{F}_p$. Our estimates are nontrivial when $|B_1||B_2|>p^{n/2+\epsilon}$ and hence in a range not accessible by the Weil bound. We also consider the random walk on $\mathbb{F}_{p^n}$ defined by $S_k=S_0+W_1+\cdots+W_k$, where $W_i=aX_iY_i+b(X_iY_i)^{-1}$ and $X_i,Y_i$ are independent uniformly distributed random variables on $B_1$ and $B_2$ respectively. We show that the nontrivial Fourier coefficients of $S_k$ decay exponentially. Consequently, every nonzero $\mathbb{F}_p$-linear projection of $S_k$, as well as the full distribution of $S_k$ converge to the uniform distribution on $\mathbb{F}_p$ and $\mathbb{F}_{p^n}$, respectively. We also obtain bounds on the rate at which the entropy of $S_k$ converges to its maximal value.

Distribution of simplices in the discrete and continuous settings

math.NT

math.CA

math.CO

In this paper, we study the distribution of simplices in both discrete and continuous settings. Let $q$ be an odd prime power, let $Q$ be a nondegenerate quadratic form on $\mathbb F_q^d$, and let $2\leq k\leq d-1$. We prove that every set $E\subset\mathbb F_q^d$ with \[ |E|\geq C_{d,k}q^{\beta_{d,k}}, \qquad \beta_{d,k}= \begin{cases} \displaystyle \frac{d+k}{2}-\frac{k-1}{k+1}, & d-k\ \text{even},\\[2mm] \displaystyle \frac{d+k-1}{2}, & d-k\ \text{odd}, \end{cases} \] determines a positive proportion of all ordered nondegenerate $k$-simplex congruence classes. This improves the previous exponent due to Bennett, Hart, Iosevich, Pakianathan, and Rudnev (2017), and is sharp when $d-k$ is odd. In the Euclidean setting, we prove that if $E\subset\mathbb R^d$ is compact and $\dim_{\mathrm H}(E)>d-1$, then there exists a Frostman probability measure $\mu$, supported on $E$, and a set of pins of full $\mu$-measure such that the pinned distance configuration measure for labeled $(d-1)$-simplices is absolutely continuous at every such pin. We also show that the same conclusion holds when $E\subset\mathbb R^d$ is a compact Salem set with $\dim_{\mathrm H}(E)>k$.

On binomial order and primitivity of irreducible quadratic polynomials over finite fields

math.NT

In this note we study binomial orders and coefficient criteria for primitive quadratic polynomials over finite fields. First, we introduce Lucas sequences associated with irreducible quadratic polynomials and prove that their first zero terms determine both the binomial order and the order of the polynomial, thereby confirming a conjecture of Vega. Next, by computing the numbers of irreducible and primitive quadratic polynomials with a fixed primitive constant term, we completely classify the finite fields for which Vega's coefficient criterion $b^2\neq2c$ is valid, answering another open problem posed by Vega. Finally, for finite fields satisfying $q+1=2^m\pi$, where $\pi$ is an odd prime, we establish a unified coefficient criterion for primitive quadratic polynomials in terms of a recursively defined family of exceptional polynomials, extending the previously known criteria for $q+1=2\pi$ and $q+1=4\pi$.

Murmurations of quadratic and cubic characters over function fields

math.NT

We compute the murmuration density for the family of quadratic characters over function fields. We show that the expectation of this density coincides with a correction term arising in the traces of high powers of the Frobenius class in this family, for which we determine large-genus asymptotics. This correction term admits a description in terms of the stable homology of the moduli space of hyperelliptic curves of genus $g$ with one marked Weierstrass point. We further identify this correction as a lower-order term in the one-level density and we obtain a non-vanishing result at the central point for quadratic $L$-functions over function fields, via an alternative approach to using the ratios conjecture. We also compute the murmuration density for the thin family of primitive cubic characters in the Kummer setting.

Weighted averages of Bernoulli polynomials and the Gamma function over regular integers modulo $n$

math.NT

We investigate weighted averages involving Bernoulli polynomials and the Gamma function over regular integers modulo n. Building upon recent identities of Kiuchi and Matsuoka together with our previous transformation formulas for weighted averages over regular integers, we derive explicit asymptotic formulas for a broad class of arithmetic functions. As applications, asymptotic formulas are obtained for the identity, M\"obius, divisor and Jordan totient functions.

Families preserving isomorphisms via techniques in anabelian geometry: with an application to a generalized Neukirch-Uchida theorem

math.NT

math.GR

Families preserving automorphisms of profinite groups are automorphisms that preserve each of the conjugacy classes of pro-cyclic subgroups. This notion appears in the context of verification of the property that every normal automorphism [i.e., an automorphism that preserves each of the normal closed subgroups] of a certain profinite group such as a nonabelian free profinite group or the absolute Galois group of a $p$-adic local field is an inner automorphism, which was proved by Jarden/Jarden-Ritter. In the present paper, we revisit the notion of a families preserving automorphism from the viewpoint of anabelian geometry. We introduce a natural generalized version of this notion for isomorphisms between general closed subgroups of a profinite group, which we shall refer to as families preserving isomorphisms in the profinite group. With regard to this generalized version, we prove that a large class of profinite groups satisfies a property that families preserving isomorphisms of certain closed subgroups of the profinite groups arise from inner automorphisms of them. For instance, the class includes the absolute Galois groups of Henselian discrete valuation fields of positive residue characteristic or Hilbertian fields. Moreover, as an application of this property, together with delicate considerations on pro-cyclic subgroups of the absolute Galois groups of infinite algebraic extension fields of $\mathbb{Q}$, we obtain a generalized version of the Neukirch-Uchida theorem for $l$-quasi-number fields, where an $l$-quasi-number field is defined to be an algebraic extension field $K$ of $\mathbb{Q}$ whose Galois closure $L$ over $\mathbb{Q}$ satisfies that $[L : \mathbb{Q}]$ is not divisible by $l^{\infty}$. Surprisingly, this result includes the Neukirch-Uchida-type result for the class of subfields of the maximal pro-prime-to-$l$ extension fields of arbitrary number fields.

Nine-distance theorem and growth of best-approximation denominators

math.NT

math.CO

We prove a nine-distance theorem for Kronecker sequences on flat three-tori. That is, we show that among the first $N$ orbit points, at most nine distinct positive nearest-neighbour distances occur. This proves the conjecture of Haynes and Marklof. An example of Dettmann shows that nine is optimal. More generally, we prove that on a flat $d$-dimensional torus the number of such distances is at most $2^d+1$. The main tool is a new growth theorem for the denominators $q_1<\cdots$ of best simultaneous approximations in a $d$-dimensional inner-product space, which is of independent interest. We prove that, whenever $q_{n+2^d}$ is defined, either $q_{n+2^d}\ge2q_{n+1}$, or the indices $1,\ldots,2^d$ can be partitioned into disjoint pairs $\{j,k\}$, $j

A Coates-Sinnott-type Theorem for First Derivatives of Artin $L$-Functions

math.NT

math.KT

Let $K/k$ be a finite abelian extension of number fields with Galois group $G$ and let $n\geq 2$. We prove, assuming the relevant $p$-part of the equivariant Tamagawa number conjecture, first-derivative analogues of the Deligne-Ribet integrality theorem and of the Coates-Sinnott conjecture. We construct a rank-one leading term from the first derivatives at $s=1-n$ of the $S$-truncated Artin $L$-functions and show that it satisfies an integral annihilation property. We then attach to this leading term a fractional ideal of $\mathbb Q_p[G]$ and prove that, up to the natural torsion factor coming from $K_{2n-1}(O_K)$, this ideal annihilates the even $K$-group $K_{2n-2}(O_{K,S})$. The proof uses determinant methods, $\Sigma$-modified \'etale complexes, and a cancellation argument which removes the auxiliary Euler factors.

Bounds for Mertens Sums

math.NT

In this article we provide new bounds for the Mertens sums and products including $\sum_{p \le x} p^{-1}$ and $\prod_{p \le x} (1-\frac{1}{p})$ which provide superior exponential and log type bounds for these sums in all ranges. These weighted prime number sums and products were extensively studied by Rosser and Schoenfeld (1962) and are employed in a wide range of applications in number theory, cryptography, and combinatorics. Extensive tables are provided in this article which will be useful for these types of applications. The main new ideas in this article are sharp bounds for weighted sums of zeros of zeros of the zeta function. We make use of a novel technique of Fiori-Kadiri-Swidinsky (2023) which relies on a recent explicit zero-density estimate for $N(\sigma,T)$ of Kadiri-Lumley-Ng (2018). The bounds and techniques in this article for weighted zeros sums will likely be useful in many other arithmetic applications. Our main theorem significantly improves the exponential decay result of Vanlalngaia (2017) and fills a gap in the literature by correcting work of Dusart (2018). The results are also presented in a way that are amenable to future improvements. In addition, we prove an exact ``Riemann-Guinand explicit formula" for the Mertens sum $\sum_{p \le x} p^{-1}$ that appears to be new.

Algorithmic universal \'etale $(\varphi,\Gamma)$-modules

math.NT

Let $F/\mathbb{Q}_p$ be a finite extension and let $\breve{G}$ be a connected reductive group with connected center satisfying $p>h_{\breve{G}}$ (the Coxeter number). We write down explicit polynomial equations for the reduced Emerton-Gee stacks (the Borel and the twisted Borel versions that jointly cover the entire $\mathcal{X}_{\breve{G},\mathrm{red}}^{\mathrm{EG}}$), by introducing the mod $p$ Weil-Deligne stacks capturing derived structures of $(\varphi, \Gamma)$-modules in reduced families. This allows us to algorithmically compute the set of irreducible components of $\mathcal{X}_{\breve{G},\mathrm{red}}^{\mathrm{EG}}$, thereby establishing its equidimensionality, and the existence of crystalline lifts by showing the total number of irreducible components equals the number of (mod $p$) crystalline (or potentially semistable) components. The last step of the arguments is to interpolate the rigid analytic Weil-Deligne stacks and the mod $p$ Weil-Deligne stacks to deduce the number of potentially semistable components. An initial implementation of the algorithms based on Gr\"obner basis establishes the existence of crystalline lifts in the $\breve{G}=\mathrm{F}_4$ case for all $F/\mathbb{Q}_p$, and in the remaining $\breve{G}=\mathrm{E}_6, \mathrm{E}_7$, and $\mathrm{E}_8$ cases for all but finitely many $F/\mathbb{Q}_p$.

On the Petersson norm $\langle\theta_{\psi},\theta_{\psi}\rangle$

math.NT

Let $K$ be an imaginary quadratic field of discriminant~$-d<-11$, and for $\ell\geq1$, let $\psi$ be a Hecke character of $K$ with trivial finite conductor and infinite type~$(2\ell,0)$. In this work we prove that for any prime $p>3$, the quotient $$ \frac{\langle\theta_{\psi},\theta_{\psi}\rangle}{\Omega_{K}^{4\ell}}, $$ is $\lambda$-integral for a prime ideal $\lambda$ over $p$, where $\langle\theta_{\psi},\theta_{\psi}\rangle$ is the Petersson norm of the theta function $\theta_{\psi}=\theta_{\psi}(\tau)$ attached to $\psi$, and $\Omega_{K}$ denotes the Chowla--Selberg period attached to~$K$, and the product $$ \prod_{i=1}^{h_{K}}\frac{\langle\theta_{\psi_{i}},\theta_{\psi_{i}}\rangle}{\Omega_{K}^{4\ell}} $$ is rational, where the product is over all $h_{K}$ of the underlying Hecke characters.

Constructing Self-Regulating Field Theoriesfrom Primal Wave Fields without Background Manifolds:The Emergence of the Coordinate Continuum

math.NT

math-ph

math.MP

This paper introduces a rigorous mathematical framework in which the continuous space-time coordinate continuum and self-regulating field dynamics are derived from non-local, periodic primitives termed primal wave fields. Traditional continuum mechanics models physical phenomena over a pre-existing background of real numbers ($R$), an approach that inherently introduces unphysical, localized mathematical divergences (singularities) when computing point-like field interactions. We resolve these foundational vulnerabilities by constructing a three-tiered algebraic architecture - the base set $W_0$, the commutative ring $W_A$, and the field of fractions $W_I$ - independent of any background coordinate container. Utilizing a minimal set of primitive tracking operators over a universal synchronous clock lattice, we demonstrate that the smooth space-time coordinate continuum emerges naturally as the topological completion of a dense, intersecting rational resonance network $Q$. Finally, we show that formulating physical field operations directly within this wave-number fraction space natively regularizes interaction integrals, eliminating point-wise geometric infinities and rendering field propagation intrinsically bounded without relying on external mathematical cutoffs. An application of this approach demonstrates that the ultraviolet catastrophe is not an intrinsic property of the thermal diffusion process run backwards in time, but rather of the point-based representation of the classical diffusion equation.

A New Characteristic-Uniform Model for Elliptic Curves -- Theory, Arithmetic, and Applications

math.NT

We develop a characteristic-uniform theory of the elliptic-curve family \[ \mathcal C_d:\qquad (u^2+u)(v^2+v)=d, \] called the Cd curves. The smooth \((2,2)\)-completion, its marked boundary, and its dihedral symmetry provide a common geometric framework in every characteristic. In odd characteristic we give explicit dictionaries with Edwards, Montgomery, and Weierstrass models, whereas in characteristic two the same equation retains its intrinsic Artin--Schreier structure. Working directly on \(\mathcal C_d\), we derive affine and projective addition and doubling formulas, complete addition-law atlases, differential addition, Kummer arithmetic, halving, tripling, and scalar-multiplication procedures, including specialized formulas in characteristics two and three. We also investigate endomorphisms, division polynomials, isomorphism classes, finite-field mean values, model-preserving isogenies, V\'elu-type constructions, and Tate and Weil pairings. A detailed specialization to Cd25519 shows how the model supports efficient full-point and Kummer-line arithmetic while remaining directly compatible with Curve25519. Finally, we place \(\mathcal C_d\) in the broader symmetric family \[ (u^2+u+a)(v^2+v+b)=d. \] These results exhibit Cd curves as a self-contained and computationally effective model for elliptic-curve theory and applications.

Factorial residues modulo a prime: beyond the square-root bound

math.NT

math.CO

For a prime \(p\), let \(A_p=\{k!\pmod p:1\leq k

Integral Representations and Asymptotics for a Family of Areal Mahler Measures

math.NT

We answer a problem posed by Matilde Lal\'in concerning the areal Mahler measures of the multivariable polynomial family $$ P_n(x_1,\ldots,x_n,u) = \prod_{j=1}^n(1+x_j) + u\prod_{j=1}^n(1-x_j), \qquad n\geq1. $$ Using a probabilistic reformulation, we derive convolution and one-dimensional Fourier integral representations for $\mathrm m_{\mathbb D}(P_n)$. These representations yield strict alternating signs for all forward differences of the sequence $\bigl(\mathrm m_{\mathbb D}(P_n)\bigr)_{n\geq1}$, as well as an explicit three-term asymptotic expansion as $n\to\infty$.

The Local Four-Square Problem over \(\mathbb{Z}_{p^k}\)

math.NT

The norm map \(N:\mathcal{H}_{\mathbb{Z}_{p^k}}\to \mathbb{Z}_{p^k}\) is studied on the quaternion ring over \(\mathbb{Z}_{p^k}\), where \(p\) is an odd prime and $k\ge 1$ an integer. By means of the isomorphism \(\mathcal{H}_{\mathbb{Z}_{p^k}}\cong M_2(\mathbb{Z}_{p^k})\), quaternions are investigated using matrix methods. It is shown that the fibre size \[ a_{p^k}(m)=|\{q\in \mathcal{H}_{\mathbb{Z}_{p^k}}:N(q)=m\}| \] depends only on the \(p\)-adic valuation \(v_p(m)\) of \(m\). Explicit formulas for the fibre sizes are derived for every \(m\in\mathbb{Z}_{p^k}\): \[ a_{p^k}(m)= \begin{cases} p^{3k-2}(p^2-1), & t=0,\\[6pt] p^{3k-2-t}(p+1)(p^{t+1}-1), & 0

Every quasiperfect number has at least eight distinct prime factors

math.NT

No quasiperfect number ($\sigma(n) = 2n + 1$) is known, and its number of distinct prime factors is bounded below; the bound $\omega \ge 7$ of Hagis--Cohen has stood since 1982, obstructed by a family of ``deep leaves'' on which pure enumeration cannot terminate (the scan bound for the intermediate prime reaches $8 \times 10^8$, and the exponent dimension is unbounded). This paper clears that obstruction with three lemmas at the level of secondary-school algebra --- a discriminant criterion, a quadratic-residue sieve, and a multilinear resolver --- which eliminate the last prime $q$, the intermediate prime $p$, and the exponent dimension respectively, turning a non-terminating search into a finite decision. On this basis all 381 stems of ``$3 \mid n$ and $\omega = 7$'' and their $79{,}751{,}212$ deep leaves are eliminated, with the ledger closing exactly and zero solutions throughout; the complementary case ``$3 \nmid n$ and $\omega = 7$'' collapses to a single stem, which is eliminated directly, so that the proof does not rest on any theorem whose published record we could not independently re-verify. Together with the machine elimination of $\omega \le 6$ (Theorem B4), this yields the main theorem: \emph{any quasiperfect number, if one exists, satisfies $\omega(n) \ge 8$} --- the first advance of this bound since Hagis--Cohen 1982. The full computation has been reproduced by seven separately closed ledgers across three algorithmic architectures (CPU and GPU), all with zero solutions and exact ledger closure, and the lemma layer is formalized in Lean (259 theorems, zero \texttt{sorry}). A 2023 preprint of Zemann reported the same bound by a different computation; our audit of its public code found a coverage gap of 35 feasible exponents, so the elimination given here is, to our knowledge, the first complete proof. Code, ledgers, and Lean sources are available from the authors.

Multiple Zeta Values

math.NT

math.CO

These lecture notes are based on three courses given at Nagoya University. Their purpose is to give a beginner-friendly introduction to multiple zeta values and several of their variants, such as finite and symmetric multiple zeta values, q-analogues of multiple zeta values, and multiple Eisenstein series. These notes will be updated in the future.

On the $L^6$-norm of holomorphic Hecke eigenforms

math.NT

Let $H_k$ be an $L^2$-normalized Hecke basis for the space of all holomorphic cusp forms of weight $k$. We show that $\max_{f\in H_k}\Vert F\Vert_6\gg (\log\log k)^{\frac{1}{2}}$ where $F(z)=(\Im z)^{\frac{k}{2}}f(z).$ This confirms that the $L^6$-norm of Hecke eigenforms does not converge uniformly as the weight goes to infinity. We also give some results on the joint mass of degree $6$.

Mahler measures at interior CM points: proofs of two conjectures of Samart

math.NT

We prove two conjectures of Samart as identities of genuine Mahler measures. The first is the case $k=1$ of his evaluations for the family $(x+x^{-1})(y+y^{-1})(z+z^{-1})+k^{1/2}$: $m((x+x^{-1})(y+y^{-1})(z+z^{-1})+1)=4L'(g_7,0)$, where $g_7(\tau)=\eta(\tau)^3\eta(7\tau)^3$ is the unique newform of $S_3(\Gamma_0(7),\chi_{-7})$ (LMFDB label 7.3.b.a). The second is the conjugate pair of quadratic CM entries of his 2015 table: $n_2((47\pm 45\sqrt{-7})/2)=(4/7)(54L'(g_7,0)+L'(\chi_{-7},-1))$, where $n_2(s):=2m((x+x^{-1})(y+y^{-1})(z+z^{-1})+\sqrt{s})$. In both cases the parameter lies inside (or on the boundary of) the critical locus, so the passage from the holomorphic (modified) Mahler measure---where Samart computed the $L$-value side conditionally, and Fei the real-part level---to the true Mahler measure was open. For the first theorem we close the gap by a differential-comparison continuation of the Mahler differential along an explicitly certified path, followed by a continuity argument at the interior point. For the second theorem no continuation is needed: the second preimage of the parameter under the modular parametrization is the Fricke partner of Samart's CM point and lies in his proved region, and the evaluation is an exact CM lattice-sum computation. The analytic and arithmetic inputs not proved here are stated explicitly with references; the finite numerical inequalities used in the continuation argument are certified by interval arithmetic, and all identities are confirmed numerically to 41--60 digits.

Samart's conjecture n_4(81)=40M_7: the exact CM evaluation and the two obstructions. A status report

math.NT

This note archives the status of Samart's Table-6 conjecture $n_4(81)=40M_7$, $M_7:=L'(g_7,0)$, where $g_7(\tau)=\eta(\tau)^3\eta(7\tau)^3$ is the newform of $S_3(\Gamma_0(7),\chi_{-7})$ and $n_4(s):=4m(x^4+y^4+z^4+1+s^{1/4}xyz)$. The conjecture is the cleanest of Samart's open interior-point entries (discriminant $-7$, class number $1$, a single $L$-value), and it was dropped as a theorem target in the companion paper, where the two $n_2$-family conjectures were proved. We record what is proved and precisely where those methods fail. First, a complete proof of the $L$-value side (P1): at the CM point $\tau_2=(7+\sqrt{-7})/4$ the Eisenstein--Kronecker expression underlying Samart's formula evaluates exactly to $\mathrm{EK}_4(\tau_2)=40M_7$, via lattice sums over the ring of integers of $\mathbb{Q}(\sqrt{-7})$ and the principal ideal $(\bar\varpi)$, with an exact cancellation of the parasitic $\zeta_K(2)$-terms. Second, two quantitative obstructions to the remaining half $n_4(81)=\mathrm{EK}_4(\tau_2)$: the critical image of the $n_4$-family is a two-dimensional astroid disc containing the parameter $c=3$ in its interior (in contrast to the one-dimensional slit $[0,64]$ of the $n_2$-family), so no continuation path can approach the CM point; and Samart's $U$-series converges on all of the upper half-plane but leaves the geometric sheet of the holomorphic Mahler measure everywhere below $\mathrm{Im}\,\tau=1/\sqrt{2}$, so the premise of the differential-comparison continuation fails. A 20-digit direct torus integration then decides the conjecture numerically: $n_4(81)-40M_7=+0.0586706795972872...$, five orders of magnitude above the integration error floor, so the identity as literally stated is refuted; a closed form for the true value $n_4(81)$ remains open and appears to require regulator/monodromy machinery.

An intermediate conjecture between Goldbach and Dubner: every even number is the sum of a prime and a twin prime

math.NT

Call a prime $t$ a twin member if $t-2$ or $t+2$ is prime, and let $\mathcal{T}$ denote the set of twin members. We study the statement (S): every even $n \ge 6$ can be written as $n = p + t$ with $p$ prime and $t \in \mathcal{T}$. Statement (S) sits between the Goldbach conjecture and Dubner's conjecture (every even $n > 4208$ is a sum of two twin members), and we observe that (S) is a single elementary statement implying both the Goldbach conjecture and the twin prime conjecture. We prove an orientation-rigidity theorem: for $n \not\equiv 0 \pmod 3$, all twin members $t$ appearing in Goldbach partitions of $n$ (representations $n = p + q$ with $p, q$ prime) have the same orientation. According to $n \bmod 3$, either every such $t$ has $t + 2$ prime, or every such $t$ has $t - 2$ prime, with degenerate exceptions confined to the primes $3$ and $5$. We verify (S) exhaustively for all even $n \le 10^{12}$. In the course of the earlier run to $10^{11}$ we also re-derive the $33$ terms $\ge 6$ of the Dubner exception list A007534 and re-verify Dubner's conjecture; those two by-products are established for $n \le 10^{11}$ only, the extension to $10^{12}$ covering (S) alone. We compute the least twin witness $t_{\min}(n) = \min\{t \in \mathcal{T} : n - t \text{ prime}\}$, whose maximum is $14549$ (at $n = 571714791706$), below $\log^3 n$, and the density of twin-touching Goldbach partitions (those containing a twin member), which decays like $c(n)/\log n$ and matches the Hardy-Littlewood prediction for the constant $c(n)$: measured median values $4.93$-$5.01$ against a predicted median of $4.97$-$4.98$ (the mean is $8C_2 \approx 5.28$, with $C_2$ the twin-prime constant).

Isogeny graphs of elliptic curves in characteristic zero

math.NT

math.AG

math.CO

For an elliptic curve $E$ defined over a field $K$ of characteristic $0$ with $\operatorname{End}_K \! E \cong \mathbb{Z}$, we classify which isogeny graphs $\mathcal{G}(E/K)$ can occur. We first show that $\mathcal{G}(E/K)$ decomposes as a weak Cartesian product of its $p$-primary isogeny graphs, one for each prime $p$, thereby reducing the problem to classifying $p$-primary isogeny graphs. We then show that each such graph is isomorphic, as an edge-weighted graph, to a member of an explicit family of edge-weighted graphs $\mathcal{H}_{p^k}^r$ and $\mathcal{H}_{p^{\infty,+}}^r$, every member of which occurs as a $p$-primary isogeny graph except for $\mathcal{H}_{2^k}^0$ for $k\ge 2$. The proof relies on a detailed study of the $p$-adic Galois representation attached to $E$, through which we identify each graph with a subgroup of $\operatorname*{GL}\nolimits_{2}(\mathbb{Z}_{p})$. More generally, we identify subgroups of $\operatorname*{GL}\nolimits_{2}(\widehat{\mathbb{Z}})$ for each possible isogeny graph and describe their corresponding modular curves, completing, in the genus $0$ case, the explicit parameterization of isogeny graphs via parameterized isogenous families of elliptic curves. We also introduce the $p$-blooming invariant $\mathfrak{I}_p(E/K)$, an isogeny class invariant determining the value of $r$ in the $p$-primary isogeny graph, and show that elliptic curves over fields with a real embedding attain the smallest possible value. As applications, we characterize the isogeny graphs of elliptic curves with potential complex multiplication; give an algorithm for determining the isogeny graph from the adelic Galois representation; recover the classification of rational isogeny graphs; and, under GRH, classify the isogeny graphs occurring over certain number fields.

Automorphic functions for square-zero extensions of curves over finite fields

math.NT

math.AG

math.RT

We study automorphic functions for square-zero extensions $C$ of curves $\overline{C}$ over finite fields, a study initiated by Braverman-Kazhdan-Polishchuk in [BKP23]. More precisely, we study the cuspidality and Hecke-finiteness of the functions in the orbit decomposition introduced in loc. cit. for split connected reductive groups $G$, generalizing some of the results for $G=\mathrm{PGL}_2$. As a result, for $G=\mathrm{PGL}_3$, we prove a new case of a conjecture in [BK23] concerning the finite-dimensionality of the space of unramified Hecke-finite functions. We also introduce a formulation of support bounds for spherical cuspidal and Hecke-finite functions in terms of the Harder-Narasimhan stratification of $G$-bundles on the reduced curve. Using representation-theoretic constructions together with their geometric interpretations in terms of $G$-bundles on $C$ and certain twisted $G$-Higgs bundles on $\overline{C}$, we compute the optimal bounds in several cases and, in particular, determine the optimal bound for $G=\mathrm{PGL}_3$.

Additive decompositions of multiplicative subgroups in prime fields: a self-contained approach

math.NT

math.CO

S\'ark\"ozy conjectured that the nonzero quadratic residues modulo a sufficiently large prime have no nontrivial additive decomposition. Hanson and Petridis proved the conjecture for almost all primes, and Kalmynin completed the proof. Kalmynin also developed a general framework for additive decompositions of multiplicative subgroups. More recently, Rudnev and Tyrrell used this framework to classify all additive decompositions of proper multiplicative subgroups of prime fields, showing that the only nontrivial example is the subgroup of order $4$. We give a new self-contained proof of this classification that streamlines the arguments of Kalmynin and of Rudnev and Tyrrell.

Associated graded modules for modular representations of quaternion algebras

math.RT

math.NT

Let $K$ be a finite unramified extension of $\mathbb{Q}_p$ and $D$ the non-split quaternion algebra over $K$. We compute the associated graded modules of the duals of the predicted representations of $D^\times$ occurring in the Jacquet--Langlands correspondence.

Identities involving the number of missing integers in partitions - combinatorial proofs

math.CO

math.NT

A missing integer in a partition $\lambda$ is a positive integer less than the largest part of $\lambda$ that does not appear as a part in $\lambda$. In the recent paper On the number of missing integers in partitions, Bhoria, Eyyunni, and Santra examined the number of partitions (overpartitions) of $n$ with a fixed number of missing integers and established generating functions, identities, and congruences for them. In this article, we provide combinatorial proofs for several of their results.

Localization and elliptic motivic relations

math.AG

math.NT

We observe that the motivic analogue of Suslin reciprocity (and similar degree-zero statements) is a formal consequence of localization (plus purity/some six functor formalism). In particular, the statement of Suslin reciprocity for smooth schemes over fields due to Kriz is a corollary of localization for higher Chow groups, over any base; we write down the framework yielding such relations with coefficients for schemes smooth over any base in $\A^1$-invariant motivic cohomology. As an application, we refine some relations between cup products of modular units to be integral in coefficients and in the base: first, we imitate the (rational-coefficients, complex-analytic) Busuioc--Park--Patashnick--Stevens argument for full-level-$N$ elliptic schemes, extending the result to integral bases and coefficients using the elementary reciprocity statement. We then refine the construction and resulting relations to the setting of motivic sheaves; in particular, this gives analogous relations at non-full level structure, as well as over any smooth global quotient stack.

Fixed Perimeter Analogues of Several Partition Results Related to Parity

math.CO

math.NT

In 2016, Straub proved that Euler's classic partition identity holds true for partitions with largest hook (perimeter) $n$. This inspired further study of the relationship between classical partitions and fixed perimeter partitions. We extend the study of parity bias inequalities, first introduced by Kim, Kim, and Lovejoy in 2020, to the fixed perimeter setting and show using combinatorial methods that fixed perimeter analogues of many classical parity bias results can be proven and generalized. We also extend these methods to prove similar inequalities for the fixed perimeter analogues of PED and POD partitions. We additionally develop recursive formulas for the number of perimeter $n$ partitions with odd parts distinct and even parts unrestricted and with even parts distinct and odd parts unrestricted.

Arithmetic hypergeometric $\mathcal {D}$-modules and exponential sums on reductive groups

math.AG

math.NT

For a finite family of representations of a reductive group, we define a Laurent polynomial on the group. The exponential sum associated this Laurent polynomial is called a hypergeometric exponential sum. We introduce an arithmetic hypergeometric $\mathcal D$-module to study the hypergeometric exponential sum. It is an overholonomic arithmetic $\mathcal D$-module with a Frobenius structure so that the trace of the Frobenius at a rational point is the exponential sum. Over the locus where the Laurent polynomial is nondegenerate, the arithmetic hypergeometric $\mathcal {D}$-module defines an $F$-isocrystal overconvergent along the degenerate locus. As an application, we get an estimation of the hypergeometric exponential sum.

The finitude of the fibers of the complementary Bell numbers

math.CO

math.NT

Subbarao and Verma introduced, in 1999, a number of open problems concerning the sequence $(f(n))_{n \geq 0}$ of complementary Bell numbers, which may be defined via Bell polynomials $B_{n}(x) = \sum_{k=0}^{n} \left\{ \begin{smallmatrix} n \\ k \end{smallmatrix} \right\} x^k$ so that $f(n) = B_{n}(-1)$. Yang [Electron. J. Combin., 2001] subsequently solved the first two problems from Subbarao and Verma, but the third such problem has remained open, to the best of our knowledge. The first part of this third problem asks whether or not $f(n)$ takes any given value only a finite number of times. We solve this problem in the affirmative, through a combined application of finite difference-based methods, partial Motzkin paths, the completeness of the Tate algebra with respect to the Gauss norm, and Strassmann's theorem.

Collinear Interior Lattice Points in Triangles Satisfying $B(T)\in\{4,5\}$

math.CO

math.NT

A positive integer $k$ is called $Bn$-collinear if at least one lattice triangle with $n$ boundary points ($B(T)=n$) and $k$ interior lattice points exists, and every such triangle has all of its interior points collinear. Building on prior work on $B(T)=3$, we completely classify the $B4$- and $B5$-collinear integers. Using canonical lattice classifications together with arithmetic properties of Alder's generalized totient function $g(k)$, we prove that the only $B4$-collinear integers are $k\in\{1,2,5\}$. Furthermore, we show that no integer is $B5$-collinear. This establishes a structural contrast: while three and four boundary lattice points exhibit some collinearity constraints, five boundary points disrupt the pattern.

Convolutive sequences, II: Parametrizations

math.CO

math.NT

In recent work, the authors defined a sequence $(a_n)_{n\ge 0}$ to be $m$-convolutive exactly if \begin{align*} \sum_{n\ge 0} a_{mn} q^n = \left(\sum_{n\ge 0} a_n q^n\right)^m \end{align*} for a specific positive integer $m$ and provided proofs of the $2$- and $3$-convolutivity of a small number of sequences arising from primitive eta-products. Since the completion of that work, the authors have discovered many new instances of convolutive eta-products. The main focus of this work is to unify all but one of these instances in a parametric way.

Schur--Plucker Geometry of the MDS Locus for Principal-Ideal Codes

cs.IT

math.IT

math.NT

Let \(g\) be a monic polynomial of degree \(r

Square-Difference-Free Sets beyond the Three-Quarter Barrier

math.CO

math.NT

Let $D(N)$ denote the largest cardinality of a subset of $\{1,\ldots,N\}$ containing no nonzero square difference. While a construction certifying $D(N)\geq (1-o(1))N^{1/2}$ is almost trivial, Erd\H{o}s conjectured that this bound is sharp up to polylogarithmic factors. This was disproved by S\'ark\"ozy and later again by Ruzsa, who found an elegant construction showing that $D(N)\geq c\cdot N^{0.733077\dots}$, with an absolute constant $c>0$. His approach was subsequently refined, leading to the previously best known lower bound with exponent $0.7334117\dots$ due to Beigel-Gasarch and, independently, Lewko. However, in the original paper Ruzsa observed that $3/4$ seems to be the natural barrier of his approach. In this paper we develop a new construction leading to the lower bound \[ \liminf_{N\to\infty}\frac{\log D(N)}{\log N} \geq \alpha_*:= 0.7527964558\ldots; \] thus crossing the natural exponent-$3/4$ barrier of Ruzsa's method. The value $0.7527964558\ldots$ arises from a simple optimisation problem and appears to be the limit of the new approach.

Intertwining Operators for Siegel Parabolics over Finite Fields

math.RT

math.CO

math.NT

We consider degenerate principal series representations $\operatorname{Ind}_P^G\chi$ over finite fields, where $G$ is a classical subgroup of $\operatorname{GL}_{2n}$, and $P$ is the Siegel parabolic subgroup. For example, we show that this representation is always multiplicity-free and irreducible for generic characters $\chi$. We then discuss a particular intertwining operator $I$ on $\operatorname{Ind}_P^G\chi$ and its related combinatorics. Firstly, this operator $I$ produces families of diagonalizable antitriangular matrices with well-behaved eigenvalues. Secondly, applying $I$ to a special vector in $\operatorname{Ind}_P^G\chi$ leads us to various matrix Gauss sums, whose evaluations imply an explicit equidistribution result of the trace and determinant of symmetric and alternating invertible matrices.

The catenary degree of monoids of product-one sequences

math.GR

math.AC

math.CO

math.NT

Let $G$ be a (multiplicatively written) finite group. A sequence over $G$ is a finite collection of terms from $G$, where repetition is allowed and the order is disregarded. A product-one sequence is a sequence whose terms can be ordered such that their product in $G$ equals the identity element of $G$. The set $\mathcal B (G)$ of all product-one sequences over $G$, endowed with the concatenation of sequences as the operation, is a finitely generated C-monoid; in particular, it is atomic, i.e., every non-unit element can be written as a finite product of atoms. The study of $\mathcal B (G)$ is of fundamental importance, as its combinatorial, algebraic, and arithmetic properties play a crucial role across various branches of mathematics, most notably in invariant theory and factorization theory. While the arithmetic of the monoid $\mathcal B (G)$ is well understood in the abelian setting (in which case $\mathcal B (G)$ is a Krull monoid), little is known in the non-abelian setting because of the substantial structural complexity involved. In this paper, we study the arithmetic invariants of the monoid $\mathcal B (G)$ for non-abelian groups, focusing in particular on the catenary degree. The catenary degree $\mathsf c (G)$ of the monoid $\mathcal B (G)$ is defined as the smallest integer $N$ such that any two factorizations of an element $S \in \mathcal B (G)$ can be concatenated by a chain of factorizations in which adjacent steps differ by replacing at most $N$ atoms. Extending the methods from arithmetic combinatorics to the non-abelian setting, we explicitly characterize all finite groups with catenary degree at most 3, and we investigate an infinite class of finite groups whose monoids of product-one sequences are seminormal and possess well-behaved arithmetic structures. Furthermore, we show that a specific non-abelian group in this class has catenary degree 4.

Square-integrability of holomorphic differential forms on locally symmetric varieties

math.AG

math.NT

We prove that every holomorphic differential form of non-top degree on a locally symmetric variety with Baily-Borel boundary of codimension greater than 1 is square-integrable with respect to the invariant metric. This generalizes a theorem of Weissauer in the Siegel modular case.

Counterexamples to the Minimum Period Conjecture for Restricted Partition Functions

math.CO

math.NT

For a finite sequence of positive integers $\boldsymbol{a}=(a_1,\dots,a_n)$, the restricted partition function $q_{\boldsymbol{a}}(k)$ denote the number of nonnegative integer solutions to the equation $a_1x_1+a_2x_2+\cdots +a_nx_n=k$. It is proved to be a quasi-polynomial of degree $n-1$. Write $q_{\boldsymbol{a}}(k)=\sum_{j=0}^{n-1}c_j(k)k^j$ with periodic coefficient functions $c_j$, and set $b_m=\#\{i:m\mid a_i\}$. In 2008, Beck, Sam, and Woods conjectured that the minimum period of $c_j(k)$ is $\mathrm{lcm}\{m:b_m>j\}$. In this paper, we derive an exact root-of-unity formula for every coefficient function $c_j(k)$. The formula proves the conjectured divisibility upper bound, but it also reveals a lower bound for the period of $c_j(k)$. Both divisibility bounds are sharp. This leads us to construct a family of counterexamples to this conjecture.

Comparing local-global obstructions on algebraic stacks

math.AG

math.NT

For quotient stacks [X/G] with X a smooth quasi-projective geometrically integral k-variety and G a linear k-group, where k is a number field, we extend some relations between local-global obstructions on varieties, showing that \'etale-Brauer obstruction is the finest one among various obstructions (such as iterated descent, finite descent, descent, Brauer-Manin}).

Unlikely intersection in higher-dimensional formal groups

math.NT

v5

In this article, we identify a class of higher-dimensional formal groups over the ring of $p$-adic integers that are uniquely determined by their $p$-power torsion points. More precisely, we prove that if two simple finite-height formal groups share infinitely many torsion points, then they are equal. This extends a rigidity theorem of Berger \cite{LB1} from the one-dimensional setting to a higher-dimensional family of simple formal groups.

Quadratic Twists of Heronian Elliptic Curves with Arbitrarily Large 2-Selmer Rank

math.NT

v2

This paper explicitly determines the 2-Selmer group of the family of elliptic curves arising from Heron triangles of area 2mn. By analyzing the quadratic twists induced by powers of 2(varying m), we show precisely how the 2-Selmer group transforms under such twisting. For any squarefree odd integer n, the 2-Selmer rank is determined by the parity of m, the congruence class of q = (n2 + 1)/2 (mod 8), and the prime factorizations of the factors n1, n2 of n = n1n2. These results yield explicit formulas for the 2-Selmer rank and provide an explicit upper bound on the Mordell-Weil rank. In particular, this generalizes the family studied in [1] to arbitrary m, constructing explicit families of Heronian elliptic curves with prescribed and arbitrarily large 2-Selmer rank.

A converse to a theorem of Gauss on Gauss sums

math.NT

math.RT

v2

In this note we prove (under mild hypotheses) that $f$ is a nontrivial character of $\mathbb{F}_p$ if and only if the Fourier transform of $f$ has magnitude 1 somewhere in $\mathbb{F}_p^\times$. This implies a converse to a theorem of Gauss on the magnitude of the Gauss sum, in addition to other consequences. The common theme in all our results is that extremal behavior on the Fourier side imposes multiplicative structure on the physical side.

Symmetric Square Large Sieve for $\mathrm{PSL}_2 (\mathbb{Z} {[i]}) \backslash \mathrm{PSL}_2 (\mathbb{C}) $ and Prime Geodesic Theorem for $ \mathrm{PSL}_2 (\mathbb{Z} {[i]}) \backslash \mathbb{H}^3 $

math.NT

v3

In this paper, we improve the error term in the prime geodesic theorem for the Picard manifold $ \mathrm{PSL}_2 (\mathbb{Z} {[i]}) \backslash \mathbb{H}^3 $. Instead of $ \mathrm{PSL}_2 (\mathbb{Z} {[i]}) \backslash \mathbb{H}^3 $, we establish a spectral large sieve inequality for symmetric squares over $\mathrm{PSL}_2 (\mathbb{Z} {[i]}) \backslash \mathrm{PSL}_2 (\mathbb{C}) $. This enables us to improve the bound $ O (T^{3+2/3+\varepsilon}) $ of Balkanova and Frolenkov to $ O (T^{3+1/2+\varepsilon}) $ for the second moment of symmetric square $L$-functions over $ \mathrm{PSL}_2 (\mathbb{Z} {[i]}) \backslash \mathbb{H}^3 $. The basic idea is to enlarge the spherical family $\Pi_c^{0} (T)$ of Maass cusp forms on $ \mathrm{PSL}_2 (\mathbb{Z} {[i]}) \backslash \mathbb{H}^3 $ to the family $ \Pi_c (T, \sqrt{T}) $ of cuspidal representations on $ \mathrm{PSL}_2 (\mathbb{Z} {[i]}) \backslash \mathrm{PSL}_2 (\mathbb{C}) $.

Rank growth of abelian varieties over certain finite Galois extensions

math.NT

v3

Let $A/K$ be an abelian variety over a number field $K$. We prove that a finite automorphism group $G \subseteq \mathrm{Aut}_K(X)$ of a smooth projective variety $X/K$ such that $X/G \cong \mathbb{P}_K^d$ can force the rank growth of $A$ over infinitely many mutually linearly disjoint $G$-extensions $L_i/K$. The proof is based on Hilbert irreducibility and N\'{e}ron specialization. We then combine the theorem with finite group representations to obtain explicit lower bounds for rank growth. As applications, we obtain rank growth results for Jacobian varieties and construct explicit examples. We further prove arbitrarily large rank growth of abelian varieties over symmetric extensions. Finally, we study the connection with infinite rank conjectures.

Isomorphic gcd-graphs over polynomial rings

math.NT

v2

Gcd-graphs over the ring of integers modulo $n$ are a simple and elegant class of integral graphs. The study of these graphs connects multiple areas of mathematics, including graph theory, number theory, and ring theory. In a recent work, inspired by the analogy between number fields and function fields, we define and study gcd-graphs over polynomial rings with coefficients in finite fields. We discover that, in both cases, gcd-graphs share many similar and analogous properties. In this article, we extend this line of research further. Among other topics, we explore an analog of a conjecture of So and a weaker version of Sander-Sander, concerning the conditions under which two gcd-graphs are isomorphic or isospectral. We also provide several constructions showing that, unlike the case over $\mathbb{Z}$, it is not uncommon for two gcd-graphs over polynomial rings to be isomorphic.

Oscillations of random multiplicative functions under initial bias

math.NT

math.PR

v3

We prove that if $f$ is a random completely multiplicative function, conditional $f(p)=1$ for each prime $p \le (\log x)^{2-\epsilon}$, the probability that $\sum_{1\le n \le N}f(n)\ge 0$ for all $N\le x$ is $o(1)$ as $x \rightarrow \infty$. This solves a conjecture of Kucheriaviy, who has a complementary result showing this exponent is sharp. We also prove that almost surely the partial sums of $\sum\frac{f(n)}{\sqrt{n}}$ change signs infinitely many times, solving a problem of Aymone.

Arithmetic genus inequalities with an application to sums of squares

math.NT

math.AG

v2

We show variants of the genus inequality for the irreducible components of the special fiber of an arithmetic curve over a henselian discrete valuation ring of residue characteristic zero that take into account the non-existence of rational, respectively real points on the the components. We then apply this inequality to obtain the bound $2^{ng}$ (respectively $2^{n(g+1)}$) on the totally positive sum-of-two-squares index in the function field of a curve of genus $g$ over the field of $n$-fold iterated real Laurent series with (respectively without) real points. The bound $2^{n(g+1)}$ had been previously known only for hyperelliptic curves.

Long strings of composite values of polynomials and a basis of order 2

math.NT

v5

We show that for any polynomial $f: \mathbb{Z}\to \mathbb{Z}$ with positive leading coefficient and irreducible over $\mathbb{Q}$, if $N$ is large enough then there are two strings of consecutive positive integers $I_{1}=\{n_1-m,\ldots, n_1+m\}$ and $I_{2}=\{n_2-m, \ldots, n_2+m\}$, such that $m = [(\log N) (\log \log N)^{1/325565}]$, $I_{1}\cup I_{2} \subset [1, N]$, $N = n_1 + n_2$, and $f(n)$ is composite for any $n\in I_{1}\cup I_{2}$. This extends the result in [5] which showed the same result but with $f(n)=n$.

Counting Irreducible polynomials with coefficients from thin subgroups

math.NT

v2

L. Bary-Soroker and R. Shmueli (2026) have given an asymptotic formula for the number of irreducible polynomials over the finite fields $\mathbb F_q$ of $q$ elements, such that their coefficients are perfect squares in $\mathbb F_q$ and also extended this to classes of polynomials with coefficients described by finitely many unions of intersections of polynomial images. Here we use a different approach, which allows us to obtain another generalisation of this result to polynomials with coefficients from small subgroups of $\mathbb F_q^*$. As a demonstration of the power of our approach, we also use it to count such irreducible polynomials with an additional condition, namely, with a prescribed value of their discriminant. This generalisation seems to be unachievable via the approach of L. Bary-Soroker and R. Shmueli (2026).

A note on the $q$-adic valuation of $\sigma_k(n)$

math.NT

v2

In this note, we obtain an exact formula for the $q$-adic valuation of $\sigma_k(n)$ where $q$ is an odd prime, allowing us to derive an explicit upper bound which is asymptotically better than the previous bound obtained by Zhao when $n$ is large and $k \geqslant q-2$. The key parts are played by the LTE lemma and the use of cyclotomic polynomials.

Transcendence and measures via the refined Diophantine exponent

math.NT

v2

In 2007, Adamczewski and Bugeaud introduced the notion of the Diophantine exponent of an infinite word as a quantitative measure of repetition, leading to new transcendence results for real numbers whose expansions in an integer base are sufficiently simple. In the present article, we introduce the refined Diophantine exponent, which detects weaker forms of repetition while preserving the full strength of the classical approach. This new exponent applies in situations where repetition is partially obscured by some form of noise. Related ideas already appear in the work of Corvaja and Zannier in 2002 and, more recently, in the works of Kebis, Luca, Ouaknine, Scoones, and Worrell. Our approach provides a unified framework that recovers and extends these results, as well as those of Adamczewski and Bugeaud. We also develop quantitative refinements of this method, leading to results about transcendence measures. The recent breakthrough of Bell, Diller, and Jonsson in the context of algebraic dynamics is partly based on a similar idea, which also served as a motivation for the present work.

Additive Rigidity for Images of Rational Points on Abelian Varieties II: The General Case

math.NT

math.AG

v2

We study the interaction between the group law on an abelian variety and the additive structure induced on its image under a morphism to a projective space. Let $A/F$ be an abelian variety, $f:A \rightarrow \mathbb{P}^n$ be a morphism which is finite onto its image, and $\Gamma \subseteq A(F)$ be a finite-rank subgroup. We show that for any affine chart $\mathbb{A}^n \subseteq \mathbb{P}^n$ and any finite subset $X \subseteq f(\Gamma) \cap \mathbb{A}^n$, the energy satisfies $E(X) \ll \lvert X \rvert^2$ and the sumset satisfies $\lvert X+X \rvert \gg \lvert X \rvert^2$. Thus images of finite-rank subgroups of abelian varieties cannot have strong additive structure in affine space. This removes the simplicity assumption from the author's previous result. The proof combines the uniform Mordell--Lang conjecture of Gao--Ge--K\"{u}hne with a refined use of the Ueno locus, R\'{e}mond's boundedness theorem for abelian subvarieties of bounded degree, and induction on the dimension of $A$.

Counting the number of $1_{m}$-preperiodic $\mathcal{O}_{K}$-points of a discrete dynamical system with applications from arithmetic statistics, VII

math.NT

math.DS

v2

In this follow-up article of a multi-part series on (strictly) preperiodic point-counting, we inspect an astonishing relationship between the set of (strictly) $1_{m}$-preperiodic points of a polynomial map $\varphi_{d, c}$ defined by $\varphi_{d, c}(z) = z^d + c$ for all $c, z \in \mathcal{O}_{K}$ and the coefficient $c$, where $K$ is any number field of degree $n\geq 1$, $d>2$ is an integer and $m\in \mathbb{Z}_{\geq 1}$ is any fixed (eventual period). As before, we wish to study counting problems that are inspired by torsion point-counting in arithmetic statistics and (strictly) preperiodic point-counting in arithmetic dynamics. In doing so, we then first prove that for any prime $p\geq 3$ and for any fixed $\ell \in \mathbb{Z}_{\geq 1}$ and fixed (eventual period) $m\in \mathbb{Z}_{\geq 1}$, the average number of distinct $1_{m}$-preperiodic integral points of any odd degree map $\varphi_{p^{\ell}, c}$ modulo prime ideal $p\mathcal{O}_{K}$ is unbounded or zero as $c$ tends to infinity. Inspired further by work of Doyle-Poonen, along with conjectural work of Hutz and $\textit{abc}(\textit{d})$-conditional work of Panraksa on $K$-rational preperiodic points of any even degree map $\varphi_{(p-1)^{\ell}, c}$ for any prime $p\geq 5$ in arithmetic dynamics, we then also prove that for any fixed (eventual period) $m \in \mathbb{Z}_{ \geq 1}$, the average number of distinct $1_{m}$-preperiodic integral points of any $\varphi_{(p-1)^{\ell}, c}$ modulo prime ideal $p\mathcal{O}_{K}$ is unbounded or zero as $c\to \infty$. Finally, we then apply density, polynomial- and number field-counting, and Sato-Tate equidistribution results from arithmetic statistics, and thereby obtaining further a stream of counting and statistical results on arithmetic objects that arise naturally in our polynomial discrete dynamical settings.

Four-digit Kaprekar dynamics in odd bases

math.NT

math.CO

v2

Start with four digits, arrange them in both descending and ascending order, subtract, and repeat. This simple process is known as the Kaprekar routine, famous in base ten for sending every nonconstant four-digit string to $6174$. We show that in every odd base $B>3$, the four-digit Kaprekar map has an unexpectedly rigid structure. After at most three iterations, every nonconstant orbit enters an explicit triangular region $\mathcal{T}_B$, and on this region the map is conjugate to projective doubling: \[ \{[r],[s]\}\longmapsto \{[2r],[2s]\}. \] This gives a complete finite description of all nonconstant terminal cycles, including an explicit formula for their lengths and counts. In particular, the longest terminal cycle has length at most $(B-1)/2$, and equality can occur only when $B$ is prime. For primes $p>5$, equality occurs precisely when the least positive $m$ with $2^m\equiv\pm1\pmod p$ is $m=(p-1)/2$. The results proved here were first formulated by Schwartz and Thakur. As a test case for AI-assisted formal mathematics, AxiomProver produced Lean/mathlib formalizations of these results.

Superlinear complexity of the $(3/2)^n$ steering word

math.NT

v3

Write $(3/2)^n = m_n + \varepsilon_n$ with $m_n$ the nearest integer and $\varepsilon_n\in[-\tfrac12,\tfrac12)$, and let $T=(t_n)$, $t_n=2m_{n+1}-3m_n$, be the resulting \emph{steering word}: the step-by-step record of the map $x\mapsto\tfrac32 x$ on the orbit of 1, coded by nearest-integer rounding. Using results by Corvaja--Zannier and Nair--Kumar--Rout we prove that the subword complexity $p_{T}(k)$ of $T$ is superlinear, $p_{T}(k)/k\to\infty$. The argument is completely formalized in Lean~4 and rests on a single external input, the Evertse--Schlickewei $S$-arithmetic subspace theorem, from which both cited results are themselves derived within the formalization.

Short Quartic Exponential Sums in an Intermediate Range and Waring's Problem for Fourth Powers with Almost Equal Summands

math.NT

v2

This paper is devoted to short quartic Weyl sums in an intermediate range of rational approximations and to their application to Waring's problem with almost equal summands. We obtain a pointwise estimate for such sums and use it, together with the Hardy--Littlewood circle method, to establish an asymptotic formula for the number of representations of a sufficiently large natural number as a sum of seventeen fourth powers of integers lying in a short interval about a common centre. The asymptotic formula is valid for $N^{6/25+\varepsilon}\leq H\leq N^{1/4-\varepsilon}$ and improves the previously known admissible lower bound for $H$.

The Orbital Bivariate Chromatic Polynomial

math.CO

math.GR

math.NT

v5

The orbital bivariate chromatic polynomial, introduced in this article, counts the number of ways to color the vertices of a graph with $\lambda$ colors such that adjacent vertices either receive distinct colors from a set of $\lambda$ colors, or the same color from a distinguished subset of $\lambda-\mu$ colors, up to a group of symmetries. This new graph polynomial simultaneously generalizes the orbital chromatic polynomial due to Cameron and Kayibi (2007) and the bivariate chromatic polynomial due to Dohmen, P\"onitz, and Tittmann (2003). We discuss fundamental properties, and provide expansions of this new polynomial for various families of graphs, including complete graphs, complete bipartite graphs, paths, cycles, and wheels. Some of these expansions are even new for the orbital chromatic polynomial. As a side result, we obtain a ``Fermat-like'' congruence for Lucas sequences, which generalizes Fermat's Little Theorem. Finally, we outline open problems related to the orbital bivariate chromatic polynomial.

Solid locally analytic representations

math.RT

math.NT

v5

We develop the $p$-adic representation theory of $p$-adic Lie groups on solid vector spaces over a complete non-archimedean extension of $\mathbb{Q}_p$. More precisely, we define and study categories of solid, solid locally analytic and solid smooth representations. We show that the category of solid locally analytic representations of a compact $p$-adic Lie group is equivalent to that of quasi-coherent modules over its algebra of locally analytic distributions, generalizing a classical result of Schneider and Teitelbaum. For arbitrary $G$, we prove an equivalence between solid locally analytic representations and quasi-coherent sheaves over certain locally analytic classifying stack over $G$. We also extend our previous cohomological comparison results from the case of a compact group defined over $\mathbb{Q}_p$ to the case of an arbitrary group, generalizing results of Lazard and Casselman-Wigner. Finally, we study an application to the locally analytic $p$-adic Langlands correspondence for $\mathrm{GL}_1$.

On the Classification of Weierstrass Elliptic Curves over $\mathbb{Z}_n$

cs.CR

cs.IT

math.AG

math.IT

math.NT

v2

The elliptic curves are beautiful mathematical object with several applications. They have been studied well over finite and infinite fields. In this work, we study Weierstrass elliptic curves over the finite ring $\mathbb{Z}_n$ through classification. Our study is supported with extensive computational data. We also present some conjectures.

K3 surfaces with real or complex multiplication

math.AG

math.NT

v4

Let $E$ be a totally real number field of degree $d$ and let $m \geqslant 3$ be an integer. We show that if $md \leqslant 21$ then there exists an $(m-2)$-dimensional family of complex projective $K3$ surfaces with real multiplication by $E$. Analogous results are proved for CM number fields and also for all known higher-dimensional hyperk\"ahler manifolds.

On the generating series of the degree sequence

math.DS

math.AG

math.NT

v2

We study the generating series associated with the degree sequence of a monomial self-map of a projective toric variety. We establish conditions under which this series has its circle of convergence as a natural boundary, and hence is a transcendental, non-holonomic function. In the case of toric surfaces, our results are sharp; moreover, we answer a question of Bell by proving that its reduction modulo $p$ is transcendental for all but finitely many prime numbers $p$.

Testing Transformer Learnability on the Arithmetic Sequence of Rooted Trees

cs.AI

cond-mat.dis-nn

math-ph

math.MP

math.NT

v2

We study whether a transformer network can learn the deterministic sequence of trees generated by the iterated prime factorization of the natural numbers. Each integer is mapped into a rooted planar tree and the resulting sequence $\mathbb{N}\mathscr{T}$ defines an arithmetic text with measurable statistical structure. A transformer network (the GPT-2 architecture) is trained from scratch on the first $10^{11}$ elements and evaluated on Next-Token and masked-word prediction tasks, with a Hidden Markov Model as baseline and a scaling analysis over context window, dataset size, vocabulary size and model size. The model reaches a word accuracy of about $0.4$, well above the baseline, and its performance remains stable on test blocks located at $10^{13}$--$10^{15}$, far beyond the training interval. Moreover, the likelihood assigned by the model separates the arithmetic text from two controls: synthetic sequences reproducing its word frequencies exactly but carrying no sequential organization, with a separation that widens as the evaluated context grows; and sequences containing more than three consecutive square-free integers, a configuration that arithmetic forbids. These results indicate that the transformer captures regularities of the arithmetic text that go beyond its frequency profile.

A Dieudonn\'e theory for analytic p-divisible groups and applications to Shimura varieties

math.AG

math.NT

v2

We study families of analytic $p$-divisible groups over adic spaces $S$ defined over $\mathbb{Q}_p$. We prove an equivalence between such families and Hodge-Tate triples, generalizing a theorem of Fargues. For a perfectoid space $S$, we construct a functor associating to an analytic $p$-divisible group $\mathcal{G} \rightarrow S$ a coherent sheaf $\mathcal{E}(\mathcal{G})$ on the relative Fargues--Fontaine curve $X_S$. Restricting to analytic $p$-divisible groups admitting a Cartier dual, we obtain an equivalence of categories with local shtukas satisfying a minuscule condition, compatible with the prismatic Dieudonn\'e theory of Ansch\"utz--Le Bras. We conclude with applications to moduli spaces: we show that the local Shimura varieties of EL and PEL types of Scholze--Weinstein are moduli spaces of analytic $p$-divisible groups with extra structure, and we give a reinterpretation of the Hodge--Tate period map of Scholze in terms of topologically $p$-torsion subgroups of abelian varieties.

Subgroups with all finite lifts isomorphic are conjugate

math.GR

math.AG

math.GT

math.NT

v3

We show that for non-conjugate subgroups $G_1$ and $G_2$ of a finite group $G$ there exists an extension of $G$ (by a finite group) in which the pre-images of $G_1$ and $G_2$ are not isomorphic. This allows us to show that $\mathbb Z$-coset equivalent subgroups of a finite group are not necessarily isomorphic, answering a question of Dipendra Prasad. We also indicate connections to profinite rigidity, anabelian geometry, mapping class groups, and non-arithmetic lattices in Lie groups.

The local Langlands correspondence of essentially unipotent supercuspidal representations for disconnected reductive groups

math.RT

math.NT

v3

We construct the local Langlands correspondence of essentially unipotent supercuspidal representations under the framework of rigid inner forms and prove a certain functoriality and compatibilities. This is stronger than an analogous result of Solleveld, which did not care about rigidifications of inner twists. We also generalize this correspondence for disconnected reductive groups. We expect to use this result for extension of Kaletha's explicit local Langlands correspondence of non-singular supercuspidal representations.

Universality for cokernels of partially random integral matrices

math.PR

math.CO

math.NT

v2

Given any $\varepsilon > 0$, let $M(n)$ be a random $n \times (n+u)$ matrix over $\mathbb{Z}_p$, with all entries independent and $\varepsilon$-balanced (lying in each residue class mod $p$ with probability at most $1-\varepsilon$). Wood proved that as $n \to \infty$ the distribution of $\mathrm{cok}(M(n))$ approaches Cohen and Lenstra's conjectured distribution of class groups. Given $\alpha,\beta >0$ such that $\alpha + \beta <1$, we prove that the distribution of $\mathrm{cok}(M(n))$ still approaches the Cohen--Lenstra distribution even if we weaken the hypothesis by allowing up to $\alpha n$ entries per column and up to $\beta n$ entries per row of $M(n)$ to not be $\varepsilon$-balanced. We also weaken the independence condition by allowing certain types of dependence between the entries of each column. In addition, we prove that, for any $\delta > 0$, the cokernels of random band matrices of width $\log(n)^{1+\delta}$ with $\varepsilon$-balanced entries in the band and arbitrary entries outside of it will also approach the Cohen--Lenstra distribution, which answers a question of Kang--Lee--Yu.

A universal leading-residue formula for Witten zeta functions

math.RT

math.NT

v3

Let $\Phi$ be an irreducible crystallographic root system of rank $r$, with Coxeter number $h$, Weyl group $W$, Cartan matrix $C_\Phi$, and invariant degrees $2=d_1\leq\cdots\leq d_r=h$. We prove that Au's normalized Witten zeta function has a simple pole at $2/h$ and evaluate its residue as $\frac{2(2\pi)^{r/2}\sqrt{\det C_\Phi}}{h|W|}\cdot\frac{\prod_{i

Aperiodicity and subword complexity in the binary expansion of powers of three

math.CO

math.NT

v2

We prove two results on the fine structure of the binary digits of $3^{m}$. First, for every fixed period $p$, the number of positions at which the binary expansion of $3^{m}$ breaks $p$-periodicity grows in order like $\log m/\log\log m$; equivalently, no window of the expansion deeper than a fixed power of $\log m$ is $p$-periodic. Second, the finite binary word formed by the low-order digits of $3^{m}$ has full low-order subword complexity: its complexity function satisfies $p_{3^{m}}(n)\ge n+1$ for every length $n$, once $m$ is large enough.

Cyclic codes and cyclically covering subspaces

cs.IT

math.CO

math.IT

math.NT

v2

A subspace of $\mathbb{F}_q^n$ is called cyclically covering if the union of $\sigma^i(U)$ can cover the whole space $\mathbb{F}_q^n$, where $\sigma$ is the cyclic shift, $0 \leqslant i \leqslant n-1$. Let $h_q(n)$ be the largest possible co-dimension of a cyclically covering subspace of $\mathbb{F}_q^n$. We show that $h_2(2p) = 2$ for every prime $p$ such that $2$ is a primitive root modulo $p$. By constacyclic codes, we show that $h_q((q-1)n) = 0$ when $h_q(n) = 0$ and $\gcd(n,q-1) = 1$. We also derive a lower bound on $h_q(n)$ by the concept of support weight distribution, which is important in coding theory. Finally, using irreducible cyclic codes, we present several families of $n$ such that $h_q(n) = 0$.