Number Theory [math.NT]

Unbounded Oscillation of Euler-Gompertz Diophantine Errors from Bell and Gould Numbers

math.NT

We investigate the asymptotic behavior of the Diophantine errors $\delta B_{n}-A_{n}$, where $\delta=-e\textrm{Ei}\left(-1\right)$ denotes the Euler-Gompertz constant and $B_{n}$ and $A_{n}$ are the $n$th Bell and Gould numbers, respectively. These errors have exponential generating function $g_{\delta}\left(z\right)=\exp\left(e^{z}-1\right)\left(\delta-{\displaystyle {\textstyle \int_{0}^{z}}\exp\left(1-e^{t}\right)dt}\right)$,$\:z\in\mathbb{C}$, and it is known that $\delta B_{n}-A_{n}=O(B_{n}\exp(-cn/\left(\ln\left(n\right)\right)^{2}))$ for some $c\in\mathbb{R}_{>0}$, implying $\lim_{n\rightarrow\infty}\left(A_{n}/B_{n}\right)=\delta$. In the present work, we prove that $\delta B_{n}-A_{n}$ oscillates without bound as $n\rightarrow\infty$; that is, both $\limsup_{n\rightarrow\infty}\left(\delta B_{n}-A_{n}\right)=\infty$ and $\liminf_{n\rightarrow\infty}\left(\delta B_{n}-A_{n}\right)=-\infty$.

Differential Addition on Twisted Edwards Curves

math.NT

cs.CR

This paper presents new differential addition (i.e., the addition of two points with the known difference) and doubling formulas, as the core step in Montgomery scaler multiplication, for twisted Edwards curves. The formulas are provided with cost of 5M+4S+1D, 3M+7S+1D when the given difference point is in affine form. Here, M,S,D denote the costs of a field multiplication, a field squaring and a field multiplication by a constant, respectively.

Differential addition on Jacobi quartic Curves

math.NT

cs.CR

In this paper we present new differential addition and doubling formulas for Jacobi quartic curves. Several differential addition and doubling formulas are presented with cost of 5M+4S+1D,3M+7S+1D,3M+6S+3D when the given difference point is in affine form. Here M,S,D denote the costs of a field multiplication, a field squaring and a field multiplication by a constant, respectively.

Computing the Greatest Common Divisor of Binomial Coefficients $\binom{mn}{mk}$

math.NT

The greatest common divisor (GCD) of $\binom{2n}{2k}$ for $1\leq k

Duke for Drinfeld

math.NT

We prove a function field analogue of Duke's equidistribution theorem for CM points, in the setting of Drinfeld--Stuhler modular curves. Our results thus extend, to the Drinfeld setting, both Duke's theorem on the modular curve and S.-W. Zhang's equidistribution in the case of Shimura curves. Equidistribution is reduced via a Weyl criterion to the decay of toric periods, which Waldspurger's formula expresses through central values of automorphic $L$-functions, bounded in Lindel\"of-strength form by the Riemann Hypothesis over function fields. We work at arbitrary level structures and in every positive characteristic.

On Bounds of Extension Degrees for Similarity of Integral Matrices over Number Fields

math.NT

math.AC

math.AG

It is well-known that if $n\times n$ integral matrices $A$ and $B$ of a number field $K$ are similar over all completions of the ring of integers of $K$, then $A$ and $B$ are similar over the ring of integers of a finite extension of $K$. We prove that there is no uniform bound of the degree of extension of $K$ valid for all $n\times n$ matrices. On the other hand, we provide a upper bound of the degree of extension of $K$ for a given separable characteristic polynomial.

Congruences for Overcubic Partition $k$-Tuples

math.NT

math.CO

In the last few years, a number of authors have proved divisibility properties satisfied by various functions which count the number of overcubic partition $k$--tuples of weight $n$ for small values of $k$. In this work, we use generating functions to prove some of their results as well as multiple infinite families of new congruences for overcubic partition $k$-tuples which do not yet appear in the literature. In particular, we focus on a new perspective which provides insights as to why these functions are often divisible by powers of 2, and we also prove families of congruences whose moduli are odd. For example, we prove that, for all $m\geq 0$, $\OL{b}_{4}(22m + 11) \equiv 0 \pmod{11}$ and we also prove infinite families such as $\OL{b}_{9l+2}(9m+3) \equiv 0 \pmod{3}$ for all $m,l\geq0$.

Isogeny graphs associated to Moret-Bailly families of supersingular abelian surfaces

math.NT

math.AG

For an odd prime $p$ and any prime $\ell\neq p$, we study finite directed graphs arising from the set of all equivalence classes of Moret-Bailly families of abelian surfaces in characteristic $p$ together with relative $(\ell,\ell)$-isogenies. We relate these graphs to the space of algebraic modular forms on an inner form of $GSp_4/\mathbb{Q}$ that is compact modulo its center and, using the Jacquet-Langlands correspondence, estimate the eigenvalues of their adjacency matrices. We further investigate a Sarnak-Xue type theorem in this setting, providing a first step toward the study of cut-off phenomena for these graphs.

On the modularity of the odd rank generating functions

math.NT

To provide partition-theoretic interpretations to Watson's the third-order mock theta function $\omega(q)$, Andrews defined the odd Durfee symbols and odd ranks. Motivated by Andrews' work, arithmetic properties of odd ranks are widely studied recently. In this paper, we obtain transformation formulas of the odd rank generating functions, which are used to construct families of weak Maass forms and weakly modular forms. As an application,we provide explicit identities for odd ranks modulo 5, analogous to Ramanujan's classical partition identities.

Weighted sum formulas for finite multiple mixed values

math.NT

In this paper, we employ the iterated integral expression of multiple polylogarithms to establish a weighted sum formula for finite multiple mixed values. As applications, we derive various relations among level-two variants of finite multiple zeta values.

Geometry of $\mathbf{F}_1$ and Cuntz-Krieger algebras

math.NT

math.AG

math.OA

We study a natural map between projective varieties $V(\mathbf{F}_{1})$ over the field with one element and the Cuntz-Krieger algebras $O_A$. Using the $K$-theory of $O_A$, we calculate the Frobenius action and cardinality of the set $V(\mathbf{F}_{1^r})$. It is proved that the zeta function of $V(\mathbf{F}_{1})$ satisfies all Weil's Conjectures except for an analog of the Riemann hypothesis. We use the crossed product structure of $O_A$ to establish a morphism of the schemes $\operatorname{Spec} ~(\mathbf{Z})\to \operatorname{Spec} ~(\mathbf{F}_{1})\simeq \{\operatorname{pt}\}$.

The ratio spectrum of Lagrange constants under linear fractional transformations

math.NT

In this note we solve a problem posed by Lagarias and Shallit concerning Lagrange constants under linear fractional transformations $Mx=\frac{ax+b}{cx+d}$. For an integer matrix $M$ with nonzero determinant and relatively prime entries, define the ratio spectrum \begin{equation*} \mathcal{V}(M)=\left\{\frac{k(Mx)}{k(x)}:x\in\mathrm{Bad}\right\}, \end{equation*} where $k(x)$ denotes the Lagrange constant of the irrational number $x$ and $\mathrm{Bad}$ is the set of badly approximable numbers. Lagarias and Shallit proved that \begin{equation*} \mathcal{V}(M)\subseteq\left[\frac{1}{|\det M|},|\det M|\right], \end{equation*} and asked for the determination of $\mathcal{V}(M)$. We prove that \begin{equation*} \mathcal{V}(M)=\left[\frac{1}{|\det M|},|\det M|\right]. \end{equation*}

On finiteness properties of the unramified Iwasawa module of a $\mathbb{Z}_p$-extension with restricted ramification

math.NT

In the present article, we consider $\mathbb{Z}_p$-extensions defined by restrictions on ramifications at $p$-adic primes. We study the finiteness, the existence of non-trivial finite submodules, and the triviality of the unramified Iwasawa modules of these $\mathbb{Z}_p$-extensions. In addition, we give a new sufficient condition for Greenberg's Generalized Conjecture with some non-trivial concrete examples.

Eichler-Selberg relations for the third-order mock theta functions

math.NT

Ramanujan's third-order mock theta function $f(q)$ admits the well-known Appell-Lerch series representation: \[ \sum_{n=0}^{\infty}\frac{q^{n^2}}{(-q;q)_n^2}=\frac{2}{(q;q)_{\infty}}\sum_{n=-\infty}^{\infty}\frac{(-1)^nq^{\frac{3}{2}n^2+\frac{1}{2}n}}{1+q^n}. \] In this paper, we establish a natural generalization of this classical identity by utilizing the theory of harmonic Maass forms. Furthermore, we prove analogous Eichler-Selberg type relations for another third-order mock theta function $\omega(q)$. The method presented in this paper can be extended to study other classes of mock theta functions.

A Proof of a Conjecture of Zhi-Wei Sun on a Truncated Legendre-Symbol Determinant

math.NT

We prove Conjecture~3.4 of Zhi-Wei Sun by evaluating, for every prime $p\equiv3\pmod4$, a truncated Legendre-symbol determinant as $\lfloor(p-2)/3\rfloor^{2}x$. The argument reduces the determinant to inverse data for Chapman's full Legendre-symbol matrix and evaluates those data using Vsemirnov's factorization and a Schur-Pfaffian resolvent identity. OpenAI's ChatGPT produced the proof, which the authors independently checked and confirmed.

Level Totients for Integer Mosaics

math.NT

We study a level analog of Euler's totient function for integer mosaics. Let $P_i(n)$ be the set of primes appearing in the first $i$ levels of the mosaic of $n$, and let $\varphi_i(n)$ count the integers $m\leq n$ for which $P_i(m)\cap P_i(n)=\varnothing$. We prove a M\"obius divisor-sum formula for $\varphi_i(n)$ and reduce it to a sum over a set $\mathcal{V}_{i,S}$ of powerful integers. If $S\neq\varnothing$, $i\geq 2$, and $q=\min S$, then \[ |\mathcal{V}_{i,S}\cap[1,x]|\sim C_{i,S}x^{1/q}, \] with $C_{i,S}$ an explicit positive Euler-product constant. For fixed $S$, the density $\delta_i(S)$ of integers whose first $i$ levels avoid $S$ exists and has an Euler product; for nonempty $S$, $i\ge2$, and $q=\min S$, the number of such integers up to $N$ is $\delta_i(S)N+O_{i,S}(N^{1/q})$. Taking $S=P_i(n)$ gives \[ \frac{\varphi_i(n)}{n}=\delta_i(P_i(n))+O_\varepsilon(n^{-1/2+\varepsilon}) \] uniformly in $n$.

Faster enumeration of primes

math.NT

cs.DS

cs.SC

We describe several new algorithms for finding all prime numbers up to a given bound $N$, achieving the first ever speedup by a positive power of $\log N$ over the ancient sieve of Eratosthenes. The fastest version, which is not fully rigorous, runs in \[ N (\log \log N)^{1+o(1)} \] bit operations when analysed in the multitape Turing model. This improves on the best existing algorithms due to Pritchard (1981), Atkin--Bernstein (2004) and Sergeev (2016) by a factor of almost $\log N$. We also present a rigorous randomised (Las Vegas) variant that is slower by a factor of $(\log \log N)^{1+o(1)}$, and a rigorous deterministic variant that is slower by a factor of $(\log N)^{1/2+o(1)}$. The new algorithms make heavy use of fast polynomial arithmetic over finite fields, and also involve ideas from the theory of error-correcting codes.

A Greatest Common Divisor Criterion of Certain Binomial Coefficients

math.NT

cs.LO

The binomial greatest common divisor (gcd) criterion recorded as OEIS A080170 is proven. The criterion also appears as conjecture (17) in Ralf Stephan's list of OEIS conjectures. For $k\geq 2$, put \[ D(k)=\gcd_{2\leq q\leq k+1}\binom{qk}{k}, \qquad n=k+1. \] If $P$ is the largest prime-power component $p^a$ exactly dividing $n$, then the criterion asserts \[ D(k)=1 \quad\Longleftrightarrow\quad \frac{n}{P}>P. \] The proof is formalized in Lean and the Lean artifact is accepted as part of the Formal Conjectures project. Both the natural-language proof and the Lean formalization are generated by the MechMath Agent Team, an AI agent developed by the authors.

A first-exit proof of Cusick's sum-of-digits conjecture

math.NT

math.CO

We prove Cusick's conjecture on the binary sum-of-digits function. More precisely, for every integer \(t\ge 1\) we show that \[ c_t:=\lim_{N\to\infty}\frac{1}{N} \#\{0\le n\frac{1}{2}, \] and in fact obtain the explicit bound \[ c_t\ge \frac{1}{2}+2^{-2s_2(t)-1}, \] where \(s_2(m)\) denotes the number of ones in the binary expansion of \(m\). The proof is based on an exact deconvolution which replaces the distribution of \(s_2(n+t)-s_2(n)\) by a finite stopped random-walk law. The required bias is then proved through first-exit medians for principal subsequence ideals.

The Brocard Problem: Structural Invariants, p-Adic Density, and the Generative Sieve

math.NT

math.OC

This paper proposes an analytical and structural reformulation of the classical Brocard Problem. Through modular reduction using primorial cycles, the study establishes that the global solution space is governed by a structural invariant tightly restricted to pairs of consecutive $n$-smooth integers. The work mathematically proves the Triangular Equivalence, demonstrating that the existence of a Brown number is strictly equivalent to the condition that one-eighth of the factorial of $n$ is a perfect triangular number. Additionally, based on the profound structural tension and $p$-adic density imbalances, the manuscript introduces a generative $p$-Adic Sieve algorithm. This computational innovation shifts the traditional search from continuous floating-point extractions to discrete combinatorial partitions, identifying the potential for polynomial-time approximations via Lenstra--Lenstra--Lov\'{a}sz (LLL) lattice reduction. Finally, utilizing the Dickman-de Bruijn function and structural mapping to the Erd\H{o}s-Selfridge Theorem, the research asymptotically justifies the extreme geometric rarity of the solutions and demonstrates the universality of the methodological framework by establishing recursive reductions for even shifts and immediately invalidating the generalized equation $n! + 3 = m^2$ for any $n \ge 4$.

Prime-Power Rarefaction and a Density-One Lower Bound for Erd\H{o}s Problem 400

math.NT

For fixed $k\ge 2$, let $g_k(n)$ be the greatest excess $a_1+\cdots+a_k-n$ among positive integers $a_i$ satisfying $a_1!\cdots a_k!\mid n!$. We prove that, for every $\varepsilon>0$, all but $o(x)$ integers $n\le x$ satisfy \[ g_k(n)\ge \left(\frac{3(k-1)}{\log 12}-\varepsilon\right)\log n. \] We also prove, as $n\to\infty$, the pointwise upper bound \[ g_k(n)\le (k-1)\log_2 n+\log_2\log n+O_k(1). \] The central analytic input is uniform phase separation for one or two frequencies on fixed-prime $S$-unit progressions, deduced directly from the finite exceptional-subspace alternative of Drmota and Spiegelhofer, and the resulting uniform digit-sum normal-order theorem. A mixed $2$--$3$ representation, quantitative two-block estimates, and a large-prime Kummer sieve produce the stated coefficient.

Rank Amplification for Shifted Equal Values of Euler's Totient Function

math.NT

Let $S_h^\varphi(x)$ denote the number of integers $n\le x$ for which $\varphi(n)=\varphi(n+h)$. For the unit shift, we prove $S_1^\varphi(x)\ll x\exp{-(1/2-o(1))\sqrt{\log x,\log_2 x}}$. More generally, put $A=\log_3 x+\log_4 x-\log 2$, $G=\sqrt{\log x,A}$, and $V=\log x/G$. For every fixed integer $J\ge 1$, uniformly for $1\le h\le \exp{G/\sqrt{J}}$, we obtain $S_h^\varphi(x)=D_{h,>Y_J}^\varphi(x)+O_J(x\exp{-\sqrt{J},G+o_J(V)})$, where $Y_J=\exp{\sqrt{J},G}$. Here $D_{h,>Y_J}^\varphi(x)$ is the above-cutoff part of the classical Graham--Holt--Pomerance same-support family; it is empty for odd $h$. A moving choice $J\asymp \log_2 x/\log_3 x$ gives the unit-shift estimate and an analogous decomposition for a uniform range of shifts. The proof combines the smooth-totient theorem of Banks--Friedlander--Pomerance--Shparlinski with labelled supplier systems, a shifted divisor convolution, and an injective encoding of large supplier products into weighted friable tuples.

On Braverman-Kazhdan's asymptotic Hecke algebra for inner forms of $\mathrm{GL}_n$

math.RT

math.NT

We study Braverman-Kazhdan's asymptotic Hecke algebra $\mathcal{J}(G)$ for inner forms $G$ of $p$-adic $\mathrm{GL}_n$. We show that $\mathcal{J}(G)$ and the property for a $G$-representation to extend to a $\mathcal{J}(G)$-module are defined over $\overline{\mathbb{Q}_\ell}$, and hence make sense in the context of the categorical local Langlands correspondence. We show a rudimentary form of compatibility with Hecke operators, allowing us discuss stalks of sheaves on $\mathrm{Bun}_n$ corresponding to the trivial vector bundles on the stack of $L$-parameters, in particular the Whittaker sheaf, in terms of $\mathcal{J}(\mathrm{GL}_n)$-modules. We provide explicit formulas in terms of reductive centralizer of $L$-parameters for many functions in $\mathcal{J}(G)$, and show that $\mathcal{J}(G)$ has the same Hochschild homology as $C_c^\infty(G)$, and that the Kazhdan-Lusztig bijection appears in the isomorphism. We proceed via Bushnell-Kutzko and S\'{e}cherre-Stevens types, generalizing a theorem of Suzuki for $\mathrm{GL}_n$ for which we provide a proof.

Global Extrema of the Zeta Regularized Determinant on Orthogonal Flat Tori

math.SP

math.AP

math.NT

The search for extremal geometries is a central theme in several areas of mathematics. Here, we address the following question: among all n-dimensional orthogonal tori of unit volume, which one maximizes the zeta regularized determinant of the Laplacian? We prove that the equilateral torus is the unique maximizer in each dimension n, for all n greater than or equal to 2, validating Sarnak's conjecture in this context. We also investigate the analogous question for the Laplacian on Euclidean boxes with the Neumann and Dirichlet boundary conditions. For orthogonal flat tori of unit volume and dimension n, we show further that the determinant is strictly decreasing with the dimension and tends to zero as the dimension n tends to infinity.

Bounded elementary generation of SL_2: nearly the end

math.GR

math.NT

Let $\mathcal{O}_S$ be the ring of $S$-integers of a global field $K$ of any characteristic, where $S$ is a finite set of valuations of $K$ (and $S$ contains all of the archimedean valuations if the characteristic is zero). We prove that every unimodular $(2 \times 2)$-matrix over $\mathcal{O}_S$ is a product of $\leq 7$ elementary matrices. This nearly optimal bound essentially concludes the investigation of bounded elementary generation of $SL_2(\mathcal{O}_S)$ started over 50 years ago.

Panmagic permutations and N-ary groups

math.CO

math.GR

math.NT

Panmagic permutations are permutations whose matrices are panmagic squares. Positions of 1-s in the latter describe maximal configurations of non-attacking queens on a toroidal chessboard. Some of them, affine panmagic permutations, can be conveniently described by linear formulas of modular arithmetic, and we show that their sets have remarkable algebraic properties when one multiplies three or more of them rather than just two. In group-theoretic terms, they are special cosets of the dihedral group in the group of all affine permutations. We also investigate decomposition of panmagic permutations into disjoint cycles and find many connections with classical topics of number theory: multiplicative orders, 4k+1 primes, primitive roots and quadratic residues.

Ogus's conjecture on F-isocrystals

math.AG

math.NT

In 1984, Ogus conjectured the existence of a canonical F-isocrystal that enhances the Gauss--Manin connection, for a proper relative rigid space with analytically good reduction. We give a positive answer to this conjecture in full generality, through p-adic local systems and prismatic methods. Along the way, we introduce a prismatic refinement of the p-adic Riemann--Hilbert functor and prove a primitive purity theorem for Frobenius modules.

A bilinear approach to the finite field restriction problem, II

math.CA

math.NT

Let $P_3$ denote the three-dimensional paraboloid over a finite field of prime order in which $-1$ is not a square. We prove that the Fourier extension operator associated with $P_3$ maps $L^2$ to $L^r$ for $r>\frac{176}{51}=3.45098\ldots$. The argument combines the author's bilinear approach to the problem with point-line incidence estimates. We also prove that the extension operator associated with the paraboloid $P_6$ in six dimensions maps $L^2$ to $L^{8/3}$. This was previously known up to but not including the endpoint, and is the sharp $L^2$ estimate in six dimensions. Finally we observe that the endpoint restriction conjecture for $P_3$ in finite fields implies that the integer lattice points on the $3$-d Euclidean paraboloid are a $\Lambda(3)$ set.

Bianchi groups and automorphisms of rank-four $K3$ surfaces

math.AG

math.NT

We relate the arithmetic of Bianchi groups to automorphism groups of Picard-rank-four $K3$ surfaces. Let $K$ be an imaginary quadratic field with ring of integers $\mathcal O_K$, and let $S_K=\operatorname{Herm}_2(\mathcal O_K)$ be the rank-four lattice of $2\times2$ Hermitian matrices over $\mathcal O_K$, equipped with the quadratic form $2\det$. For an odd integer $N\geq1$, we consider a very general $S_K(2N)$-polarized $K3$ surface $X_{K,2N}$. We prove that its automorphism group is commensurable with a level-$2N$ congruence subgroup of the Bianchi group. Furthermore, we also obtain exact realizations of congruence subgroups as full automorphism groups. Namely, if $K=\mathbb Q(i)$ or $K=\mathbb Q(\sqrt{-p})$, where $p$ is prime, then \[ \operatorname{Aut}(X_{K,2}) \cong P\Gamma_K(2). \] Thus, for every prime $p$, the projective principal congruence subgroup of level $2$ over $\mathcal O_{\mathbb Q(\sqrt{-p})}$ occurs as the full automorphism group of a Picard-rank-four $K3$ surface. At higher levels, the full automorphism group may be either the projective principal congruence subgroup or the strictly larger projective level subgroup $\operatorname{Bi}_K(2N)$, depending on the arithmetic of the primes dividing the level. We further explain these arithmetic groups geometrically. The surfaces $X_{K,2}$ arise as deformations of the Kummer surfaces $\operatorname{Km}(E_K\times E_K)$, yielding explicit double-cover models and genus-one fibrations. For $K=\mathbb Q(\sqrt{-2})$ and $K=\mathbb Q(\sqrt{-7})$, the automorphism group is generated by Mordell--Weil translations associated with genus-one fibrations coming from cusps, together with the covering involution. For $K=\mathbb Q(i)$ and $K=\mathbb Q(\sqrt{-3})$, we construct complete-intersection models in products of projective spaces and show that their automorphism groups are generated by deck involutions.

The natural extension of the $(-\beta)$-transformation

math.DS

math.NT

We give a concrete construction of a natural extension of $(-\beta)$-transformation when $\beta$ is greater than the golden mean. Our construction relies on its Markov diagram and the eigenvectors of the associated countable Markov shifts. Its positive recurrence can be shown by path counting using a special property of the diagram. Our down-to-earth construction elucidates the result of Bruin-Kalle \cite{BruinKalle} by examples.

Betti-Whittaker periods of the contragredient representations for $\textrm{GL}(n)$

math.RT

math.NT

We define Betti-Whittaker periods for a broad class of cohomological automorphic representations and establish a relation between the periods associated with these representations and their contragredients. This extends a result of Shih-Yu Chen for certain cuspidal automorphic representations.

Codimensions one and two cohomology of Hecke congruence subgroups

math.AT

math.NT

For $n\geq 1$ and $p$ a prime, the Hecke congruence subgroup $\Gamma_{0,n}(p)\leq \mathrm{SL}_n(\mathbb{Z})$ is the subgroup of matrices whose first column is of the form $(*,0,\dots,0)^t\bmod p$. Borel--Serre showed that $\Gamma_{0,n}(p)$ has virtual cohomological dimension $\binom{n}{2}$. The first author proved that the rational cohomology in this top degree $\binom{n}{2}$ vanishes for $n$ sufficiently large compared to $p$. We prove analogous results in codimension $1$ and $2$.

How Stark units enter SIC overlaps

quant-ph

math.NT

It has been observed that the mutual scalar products of the vectors in a SIC-POVM are given by algebraic units, and at least in some cases by square roots of Stark units. The full picture is somewhat more complicated, especially if non-minimal SIC-POVMs are considered. We present a mixture of exact and numerical evidence suggesting that the overlap units are always products of integral powers of square roots of Stark units from ray class fields all of which are attached to the maximal ring of integers in the base field. In the non-minimal case a lattice of such ray class fields is involved. In every second dimension (counted in a certain way) some of the overlap units equal $\pm 1$, and we show that this follows from a special property of the ray class fields. Our observations are complementary to but consistent with the claim that the overlap units can be calculated directly from the Shintani--Faddeev modular cocycle.

The variance of a general class of multiplicative functions in short intervals

math.NT

v2

We study a general class of multiplicative functions by establishing a connection between their ``short averages" and ``long average". More precisely, we employ Fourier analysis and the counting of rational points on specific binary forms to provide asymptotic estimates for the variance of this class within short intervals. Our results apply to notable multiplicative functions such as $\mu_k(n)$, $\frac{\phi(n)}{n}$, $\sigma_{\alpha}(n)$, among others, yielding several new results and improvements in the realm of short interval analysis. Remarkably, our results disprove a conjecture of van Overbeeke concerning the variance of $\frac{\phi(n)}{n}$.

Dimension formulas for modular form spaces of rational weights, the classification of eta-quotient characters and an extension of Martin's theorem

math.NT

v2

We give an explicit formula for dimensions of spaces of rational-weight modular forms whose multiplier systems are induced by eta-quotients of fractional exponents. As the first application, we give series expressions of Fourier coefficients of the $n$th root of certain infinite $q$-products. As the second application, we extend Yves Martin's list of multiplicative holomorphic eta-quotients of integral weights by first extending the meaning of multiplicativity, then identifying one-dimensional spaces, and finally applying Wohlfahrt's extension of Hecke operators. A table containing $2277$ of such eta-quotients is presented. As a related result, we completely classify the multiplier systems induced by eta-quotients of integral exponents. For instance, there are totally $384$ such multiplier systems on $\Gamma_0(4)$ for any fixed weight. There are also some new results on $n$-fold covers of modular groups for $n\geq3$. Finally, we provide SageMath programs for verifying the theorems and generating the tables.

Dirichlet improvability in $L_p$-norms

math.NT

math.DS

v3

For a norm $F$ on $\mathbb{R}^2$, we consider the set of $F$-Dirichlet improvable numbers $\mathbf{DI}_F$. In the most important case of $F$ being an $L_p$-norm with $p=\infty$, which is a supremum norm, it is well-known that $\mathbf{DI}_F = \mathbf{BA}\cup \mathbb{Q}$, where $\mathbf{BA}$ is a set of badly approximable numbers. It is also known that $\mathbf{BA}$ and each $\mathbf{DI}_F$ are of measure zero and of full Hausdorff dimension. Using classification of critical lattices for unit balls in $L_p$, we provide a complete and effective characterization of $\mathbf{DI}_p:=\mathbf{DI}_{F^{[p]}}$ in terms of the occurrence of patterns in regular continued fraction expansions, where $F^{[p]}$ is an $L_p$-norm with $p\in[1,\infty)$. This yields several corollaries. In particular, we resolve two open questions by Kleinbock and Rao by showing that the set $\mathbf{DI}_{p}\setminus \mathbf{BA}$ is of full Hausdorff dimension, as well as proving some results about the size of the difference $\mathbf{DI}_{p_1}\setminus \mathbf{DI}_{p_2}$. To be precise, we show that the set difference of Dirichlet improvable numbers in Euclidean norm ($p=2$) minus Dirichlet improvable numbers in taxicab norm ($p=1$) and vice versa, that is $\mathbf{DI}_{2}\setminus \mathbf{DI}_{1}$ and $\mathbf{DI}_{1}\setminus \mathbf{DI}_{2}$, are of full Hausdorff dimension. We also find all values of $p$, for which the set $\mathbf{DI}_p^c\cap\mathbf{BA}$ has full Hausdorff dimension. Finally, our characterization result implies that the number $e$ satisfies $e\in \mathbf{DI}_p$ if and only if $p\in(1,2)\cup(p_0,\infty)$ for some special constant $p_0\approx2.57$.

p-adic root separation and the discriminant of integer polynomials

math.NT

math.DS

v2

In this paper we investigate the following related problems: (A) the separation of $p$-adic roots of integer polynomials of fixed degree and bounded height; and (B) counting integer polynomials of a fixed degree and bounded height with discriminant divisible by a (large) power of a fixed prime. One of the consequences of our findings is the existence, for all large $Q>1$, of $Q^{2/n}$ integer irreducible polynomials $P$ of degree $n$ and height $\asymp Q$ with an almost prime power discriminant of maximal size, that is $|D(P)|\asymp Q^{2n-2}$ and $D(P)=p^kC_P$ with $C_P\in\mathbb{Z}$ satisfying $|C_P|\ll1$. Our method generalises techniques developed for the real case and relies on a quantitative non-divergence estimate developed by Kleinbock and Tomanov.

\'Etude statistique du facteur premier m\'edian, 4: somme des inverses

math.NT

v2

We consider the sum of the reciprocals of the middle prime factor of an integer, defined according to multiplicity or not. We obtain an asymptotic expansion in the first case and an asymptotic formula involving an implicit parameter in the second. Both these results improve on previous estimates available in the literature.

The asymptotic Mahler measure of Gaussian periods

math.NT

v3

We construct a sequence of cyclotomic integers (Gaussian periods) of particularly small Mahler measure/height. We study the asymptotics of their Mahler measure as a function of their conductor, to find that the growth rate is the (multivariate) Mahler measure of a family of log Calabi-Yau varieties of increasing dimension. In turn, we study the asymptotics of some of these Mahler measures as the dimension increases, as well as properties of the associated algebraic dynamical system. We describe computational experiments that suggest that these cyclotomic integers realise the smallest non-zero logarithmic Mahler measure in the set of algebraic integers with cyclic Galois group of a given odd order. Finally, we discuss some precise conjectures that imply double logarithmic growth for those Mahler measures as a function of that order. The proofs use ideas from the theory of quantitative equidistribution, reflexive polytopes and toric varieties, the theory of random walks, Bessel functions, class field theory, and Linnik's constant.

The Geodesic Restriction Problem for Arithmetic Spherical Harmonics

math.NT

v2

Given a Riemannian manifold $M$ and an $L^2$-normalized Laplacian eigenfunction $\psi$ on $M$ with eigenvalue $\lambda^2$, a general problem in analysis is to understand how the mass of $\psi$ distributes around $M$. There are different ways to attack this problem. One of them is to analyze the $L^p$-norm of $\psi$ restricted to a submanifold of $M$. Here, we concentrate on the case $M=S^2$, $p=2$, and we restrict to geodesics of the sphere. Burq, G\'erard, and Tzvetkov showed, for $\gamma$ a geodesic of $S^2$ (and indeed for more general surfaces), that $||\psi|_{\gamma}||_{L^2} \ll \lambda^{1/4}$ and that this bound is optimal in general. In this paper, we specialize to the case in which $\psi$ is an eigenfunction of all the Hecke operators on the sphere and consider the set of geodesics $\mathcal{C}_{D}$ of $S^2$ associated to fundamental discriminants $D<0$. By combining approaches of Ali and Magee, we improve the previous upper bound to $||\psi|_{\mathcal{C}_{D}}||_{L^2} \ll_{D,\varepsilon} \lambda^{\varepsilon}$ for any $\varepsilon>0$, which is essentially sharp.

Multi-height distribution of rational points of split toric stacks

math.NT

math.AG

v3

We study the distribution of rational points of split toric stacks with all heights bounded over $\mathbf{Q}$ by lifting the counting problem to an extended universal torsor under the torus associated with the orbifold Picard group. To achieve this, we prove the existence of an integral parametrization of rational points on toric stacks, which allows us to define a lift of the stacky height to this extended universal torsor. This allows us to define the Tamagawa number of a toric stack $X$ as an Euler product and, for a prime number $p$, to interpret the $p$-adic factor via a mass formula counting $\mathbf{F}_p$-points of the sectors of $X$.

Non-abelian amplification and bilinear forms with Kloosterman sums

math.NT

v2

We introduce a new method to bound bilinear (Type II) sums of Kloosterman sums with composite moduli $c$, using Fourier analysis on $\mathrm{SL}_2(\mathbb{Z}/c\mathbb{Z})$ and an amplification argument with non-abelian characters. For sums of length $\sqrt{c}$, our method produces a non-trivial bound for all moduli except near-primes, saving $c^{-1/12}$ for products of two primes of the same size. Combining this with previous results for prime moduli, we achieve savings beyond the P\'olya-Vinogradov range for all moduli. We give applications to moments of twisted cuspidal $L$-functions, and to large sieve inequalities for exceptional cusp forms with composite levels.

Local-global principle for triangularizability and diagonalizability of matrices

math.NT

math.AG

v3

Given a number field $k$ with the ring of integers $\mathcal{O}_k$ and a matrix $M\in \mathrm{M}_{n}(\mathcal{O}_k)$. We prove that if $\mathcal{O}_k$ is a principal ideal domain, the local-global principle for triangularizability and diagonalizability of $M$ holds. To explain the possible failures of the local-global principle, we prove that the stratified Brauer--Manin obstruction is the only obstruction to the local-global principle for triangularizability and diagonalizability of $M$ in some special cases.

Vertical unramified Brauer groups of Galois normic bundles

math.NT

math.AG

v2

We compute the vertical unramified Brauer group of the Galois normic bundles, which are given by $\mathrm{N}_{K/k}(\mathbf{z})=P(x)$. Our main result gives combinatorial formulas for the vertical unramified Brauer groups in terms of the Galois group structure of $K/k$ and the irreducible factors of $P(x)$.

Torsion groups of elliptic curves that appear infinitely often over septic, octic and nonic fields

math.NT

v4

We determine the sets $\Phi^\infty(n)$ of abelian groups that appear as torsion groups of infinitely many elliptic curves, up to $\overline \Q$-isomorphism, over number fields of degree $n=7,8$ and $9$. The proof translates the problem into one about low-degree points on modular curves $X_1(m,n)$. We construct the infinite families using modular units, and eliminate the remaining candidates using finite-field gonality computations, covering arguments, and a specialization argument for $W^0_d$. The most difficult case is $X_1(37)$ in degree $9$, where the Jacobian has positive rank. We handle this case by showing that $W^0_9(X_1(37)_{\F_2})$ contains no translate of the positive-rank elliptic factor induced by the morphism $X_1(37)\to X_0^+(37)$.

On the pseudorandom properties of filtered Legendre symbol sequences using three polynomials

math.NT

v2

The primary objective of this section is to demonstrate that the actual pseudorandom measures of our construction are significantly smaller than the theoretical upper bounds derived from the Weil theorem. Regarding the family of sequences, we note that the construction $E_{f,g,h}$ allows for a large variety of sequences by choosing different triples of polynomials. While the detailed analysis of the cross-correlation measure of such a family is a challenging problem and lies beyond the scope of the present paper, the structure of the construction suggests that sequences generated by different polynomials will remain nearly orthogonal. Indeed, since each sequence is built from distinct Legendre symbol sequences with proven low correlation, their combinations are expected to maintain the same level of independence.

Short intervals for the Romanoff-type sumset

math.NT

v3

Let $X$ be large and let $\mathcal{P}$ denote the set of primes. Fix positive real parameters $r_1,\dots,r_s$ and a parameter $\lambda\geqslant 1$ determined by a balancing relation, and let $\mathcal{A}_{\lambda}(X)\subset[1,2X]$ be the associated lacunary set generated by sums of powers of $2$ with polynomially growing exponents. Set $\mathcal{S}_{\lambda}:=\mathcal{P}+\mathcal{A}_{\lambda}(X)$. Fix $\varepsilon>0$, choose $\theta$ with $2/15+\varepsilon<\theta<0.99$, and set $h=X^{\theta}$. We prove that for all but $O_{\varepsilon}\left(X\exp\left(-c_{\varepsilon}(\log X)^{1/4}\right)\right)$ values of $x\in[X,2X]$, the short interval $(x,x+h]$ contains $\asymp_{\varepsilon} h$ integers of the form $p+a$, where $p$ is prime and $a\in\mathcal{A}_{\lambda}(X)$.

On the Mean Value of a Weighted Composite Arithmetic Function

math.NT

v4

The primary objective of this paper is to employ methods from analytic number theory to investigate the mean value properties of a composite function involving the Dirichlet divisor function and a generalized minimal power function. Specifically, we study the weighted summatory function where the divisor function is normalized by the number of distinct prime factors. We establish a rigorous asymptotic formula for this sum, detailing the analytic properties of the associated Dirichlet series and the contour integration process.

On the defect in the generalized Grunwald--Wang problem

math.NT

v2

The classical Grunwald--Wang theorem asserts that, unless we are in the so-called special case, local cyclic Galois extensions at finitely many completions of a number field can be approximated by a global cyclic extension. In the special case the obstruction is measured by a group of order 2. It has been known for a long time that the Grunwald--Wang theorem extends to a very general context of valued fields. Therefore it is natural to ask whether in the special case the obstruction is always measured by a finite group and if so, is the order of this group bounded independently of the number of places under consideration. We show that the answer to both questions is negative in general, already for rational function fields and discrete valuations coming from points of the affine line. This has some interesting links to the arithmetic of function fields over Q or Q_p.

The second minimum of Barnes-Wall lattices

math.NT

v2

The paper gives a recursive construction of the Barnes-Wall lattices as subdirect products. This is used to show that the Barnes-Wall lattices of minimum $d$ do not contain any vectors of norm $a$ with $d<3d/2$.

Exactness property of Breuil-Kisin functors and Bloch-Kato Selmer groups

math.NT

math.AG

v2

Let $K$ be a $p$-adic field and $T$ a lattice in a semistable representation of $\mathrm{Gal}(\overline{K}/K)$ with Hodge-Tate weights in $[0, r]$. Assuming $0\leq r

A remark on an integral structure of the imperfect coefficient ring of $(\varphi,\Gamma)$-modules

math.NT

math.RT

v3

Let $K$ be a complete discrete valuation field of characteristic $0$ with perfect residue field of characteristic $p>0$. Let $\mathbb{A}_K$ denote the imperfect coefficient ring of $(\varphi,\Gamma)$-modules defined by Jean-Marc Fontaine. We prove that the canonical map $W(k_{K_\infty})[[\mu]]\rightarrow \mathbb{A}_K\cap A_{\mathrm{inf}}$ is an isomorphism, even when $K$ is ramified. This fact was remarked by Nathalie Wach without proof. In Appendix 2, we include a result of Dylan Pentland. Both results indicate the difficulty of constructing a coefficient ring of ``Wach modules'' in the ramified case.

Bohr obstructions to recurrence along Hardy-field sequences

math.NT

math.CO

math.DS

v2

We construct Bohr obstructions to multiple recurrence along rounded Hardy-field sequences, showing that the real derivative-span criterion of Bergelson, Moreira, and Richter is essentially sharp and answering two of their questions. For $E\subseteq\mathbb N$ and $u:\mathbb N\to\mathbb Z$, set $R_{u}(E):=\{n\in\mathbb N:E\cap(E-u(n))\neq\varnothing\}$. We prove that, if $f_1,\dots,f_k$ are functions of polynomial growth from a Hardy field and some real linear combination of $f_1,\dots,f_k$ and their derivatives has a nonzero finite limit, then there exist $M\in\mathbb N$ and a basic Bohr set $E\subseteq\mathbb N$ such that $\bigcap_{i=1}^k R_{[Mf_i]}(E)$ is not thick. In particular, for some Bohr set $E$, the set $R_{[t^{3/2}]}(E)\cap R_{[\sqrt{2}t^{3/2}+t]}(E)$ is piecewise syndetic but not thick. We also prove that, if for some $\lambda_1,\dots,\lambda_k\in\mathbb{R}$ we have $$\inf_{x\geq 1}\left\|\sum_{i}\lambda_if_i(x)\right\|_{\mathbb{T}}>\frac{1}{2} \sum_i|\lambda_i|,$$ then $\bigcap_i R_{[f_i]}(E)=\varnothing$ for some basic Bohr set $E$. More generally, our results apply with $[\cdot]$ replaced by any rounding function $\rho:\mathbb{R}\to\mathbb{Z}$ satisfying $\sup_{x\in\mathbb{R}}|\rho(x)-x|<\infty$.

Towards a generalized Maeda conjecture for modular forms with quadratic nebentypus

math.NT

v2

We establish a lower bound for the number of non-CM Galois orbits of newforms in $S_k(N,\Psi)$ with non-trivial quadratic nebentypus $\Psi$ for sufficiently large weights. Extending the work of Dieulefait, Pacetti, and Tsaknias in the trivial nebentypus setting, we analyze the restrictions imposed by the quadratic character on local inertial types and determine the number of admissible Galois orbits of such types. We further prove that Atkin-Li pseudo-eigenvalues are Galois equivariant and hence, up to a natural equivalence relation, define a global Galois invariant. Together with existence results for newforms having prescribed local behavior, these invariants yield a lower bound for the number of non-CM Galois orbits by counting compatible pairs of local-global invariants. Finally, computations in small weights show that this lower bound is not always attained, indicating that certain local equivalences are not realized globally by Galois conjugation over the coefficient field of the modular form.

Waring's problem involving D.H. Lehmer numbers

math.NT

v3

For every positive integer $a$ which is coprime with $p$, $p$ is an odd prime, we denote by $\overline{a}$ the unique integer satisfying $1\leq \overline{a}\leq p$ and $a\overline{a}\equiv 1(\mathrm{mod}~p)$. Put $$L(p)=\{a\in Z^+:(a,p)=1,2\nmid a+\overline{a}\}.$$ The elements of $L(p)$ are called D.H. Lehmer numbers. The main purpose of this paper is to prove that for any fixed odd prime $p$, every sufficiently large number unless it is congruent to 15 or 16$(\mathrm{mod}~{16})$ is representable as the sum of 14 fourth powers of D.H. Lehmer numbers. Furthermore, every sufficiently large number is representable as the sum of 16 fourth powers of D.H. Lehmer numbers.

On special perfect polynomials over $\mathbb{F}_2$

math.NT

v2

We give some necessary conditions satisfied by special perfect polynomials over $\mathbb{F}_2$.

Ramanujan's and Lim's Identities and Harmonic Maass--Jacobi Forms

math.NT

v2

We study an extension of Ramanujan's identities for odd zeta values by Lim and introduce Jacobi analogues of classical Eichler integrals of Eisenstein series. In negative weight we construct explicit completions and embed these objects into a modular framework by showing that they are (singular) harmonic Maass--Jacobi forms. We further describe their non-holomorphic parts in terms of Eichler integrals, establish Ramanujan-type inversion formulas, and study their behavior under the Maass raising and lowering operators and at torsion points.

Explicit constructions for Ramanujan-type congruences

math.NT

math.CO

v2

For an integer-valued sequence $\{a(n)\}_{n\geq 0}$ and a prime $\ell$, a Ramanujan-type congruence is a relation of the form $a(\ell n-\delta_{\ell})\equiv 0\pmod\ell$, where $\delta_{\ell}$ is a specific shift. In this paper, we present explicit constructions of modular forms to establish Ramanujan-type congruences for a broad class of generating functions, including eta-quotients, weakly holomorphic modular forms, and mock modular forms. As applications, our explicit approach provides a unified framework to not only recover known congruences but also establish new non-congruence results and explicit congruences for various combinatorial and arithmetic functions.

Maximal Arboreal Galois Images for Polynomials of Twisted Carlitz Type

math.NT

v2

In this paper, we study the arboreal Galois representations for polynomials of twisted Carlitz type, whose first iterated Galois group is linked to the torsion of a twisted Carlitz module. We prove two explicit families of polynomials having iterated Galois groups isomorphic to full iterated cyclic wreath product at every level. We then compare the arboreal Galois image of a polynomial of twisted Carlitz type with the adelic Galois image of its corresponding twisted Carlitz module, and show that arboreal maximality and adelic surjectivity are logically independent, except for a one-way local implication.

Schur properties of randomly perturbed sets

math.CO

math.NT

v2

A set $A$ of integers is said to be \emph{Schur} if any two-colouring of $A$ results in monochromatic $x,y$ and $z$ with $x+y=z$. We study the following problem: how many random integers from $[n]$ need to be added to some $A\subseteq [n]$ to ensure with high probability that the resulting set is Schur? Hu showed in 1980 that when $|A|> \lceil 4n/5 \rceil$, no random integers are needed, as $A$ is already guaranteed to be Schur. Recently, Aigner-Horev and Person showed that for any dense set of integers $A\subseteq [n]$, adding $\omega(n^{1/3})$ random integers suffices, noting that this is optimal for sets $A$ with $|A|\leq \lceil n/2 \rceil$. We close the gap between these two results by showing that if $A\subseteq [n]$ with $|A|=\lceil n/2 \rceil +t<\lceil 4n/5 \rceil$, then adding $\omega(\min\{n^{1/3},nt^{-1}\})$ random integers will with high probability result in a set that is Schur. Our result is optimal for all $t$, and we further provide a stability result showing that one needs far fewer random integers when $A$ is not close in structure to the extremal examples. We also initiate the study of perturbing sparse sets of integers $A$ by using algorithmic arguments and the theory of hypergraph containers to provide nontrivial upper and lower bounds.

Cyclotomic Factors and LRS-Degeneracy

math.AC

math.NT

v5

We present three new, practical algorithms for polynomials in $\mathbb{Z}[x]$: one to test if a polynomial is cyclotomic, one to determine which cyclotomic polynomials are factors, and one to determine whether the given polynomial is LRS-degenerate. A polynomial is "LRS-degenerate" iff it has two distinct roots $\alpha, \beta$ such that $\beta = \zeta \alpha$ for some root of unity $\zeta$. All three algorithms are based on "intelligent brute force". The first two produce the indexes of the cyclotomic polynomials; the third produces a list of degeneracy orders. The algorithms are implemented in CoCoALib.

Algebraic cycles and values of Green's functions -- Products of Elliptic Curves

math.AG

math.NT

v2

Gross and Zagier defined certain `higher Green's functions' on products of modular curves and conjectured that the value of these functions at complex multiplication points should be logarithms of algebraic numbers. This is now a theorem of Li and Bruinier-Li-Yang. We relate this conjecture to the existence of motivic cycles in the universal family of products of elliptic curves along the lines of Mellit and Zhang. Using this we are able to prove Zagier's conjecture in some cases when the two CM points have the same discriminant. This is originally a theorem of Viazovska. Li, Bruinier-Li-Yang, Bruinier-Ehlen-Yang, Viazovska and others relate this conjecture to Borcherds' lifts of weakly holomorphic modular forms. Their works, coupled with ours, suggest that there should be a link between motivic cycles in the universal family on the one hand and Borcherds lifts on the other. We explain why this is the case. This suggests a motivic interpretation of weakly holomorphic modular forms. In the special case we look at we show that indeed this is true.

On the analog of the Kolmogorov-Arnold superposition representation for continuous functions of several $p$-adic variables

math-ph

math.MP

math.NT

v4

It is shown that any continuous function depending on several $p$-adic variables, each of which is defined on $\mathbb{Z}_{p}$, can be represented as a superposition of continuous functions of one $p$-adic variable. This statement is true for both functions with values in $\mathbb{R}$ and functions with values in $\mathbb{Q}_{p}$.

Pointwise convergence of polynomial multiple ergodic averages along the primes

math.DS

math.CA

math.NT

v2

We establish pointwise almost everywhere convergence for the polynomial multilinear ergodic averages $$\frac{1}{N} \sum_{n=1}^N \La(n) f_1(T^{P_1(n)} x)\cdots f_k(T^{P_k(n)} x)$$ as $N\to \infty$, where $\La$ is the von Mangoldt function, $T \colon X \to X$ is an invertible measure-preserving transformation of a probability space $(X,\nu)$, $P_1,\ldots, P_k$ are polynomials with integer coefficients and distinct degrees, and $f_1,\ldots,f_k\in L^\infty(X)$. This pointwise almost everywhere convergence result can be seen as a refinement of the norm convergence result obtained in Wooley--Ziegler (Amer. J. Math, 2012) in the case of polynomials with distinct degrees. We develop a multilinear circle method for von Mangoldt-weighted (equivalently, prime-weighted) averages in the general $k$-linear setting. The advantage of our method, besides establishing Weyl-type inequalities for multilinear Cram{\'e}r-weighted averages and sharp $p$-adic $L^q$-improving multilinear estimates among other tools, is that for the first time it allows us to work with inverse theorems having subpolynomial bounds in the general multilinear setting. This, in turn, yields sharp $r$-variational estimates $r > 2$ for our weighted polynomial multilinear ergodic average and, more importantly, offers prospects for addressing other multilinear problems involving inverse theorems lacking polynomial bounds.

Solvable points on intersections of quadrics, cubics, and quartics

math.AG

math.NT

v2

Let $k$ be a field of characteristic not 2 or 3. We establish polynomial lower bounds on the ambient dimension $N$ for an intersection $X\subset\mathbb{P}^N$ of quadrics, cubics and quartics to have a dense collection of solvable points, i.e. points in $X(k^{\mathsf{Sol}})$ where $k^{\mathsf{Sol}}/k$ is a solvable closure. Our method connects the classical theory of polar hypersurfaces, as redeveloped by Sutherland, to Fano varieties $\mathcal{F}(j,X)$ of $j$-dimensional linear subspaces on $X$, and we use this to obtain improved control on the arithmetic of $\mathcal{F}(j,X)$.

Special points on intersections of hypersurfaces

math.AG

math.GR

math.NT

v2

We establish lower bounds on the ambient dimension for an intersection of hypersurfaces to have a dense collection of "level $\ell$" points, in the sense introduced by Arnold-Shimura, given as a polynomial in the numbers of hypersurfaces of each degree. Our method builds upon the framework for solvable points of G\'omez-Gonz\'ales-Wolfson to include other classes of accessory irrationality, towards the problem of understanding the arithmetic of "special points." We deduce improved upper bounds on resolvent degree $\operatorname{RD}(n)$ and $\operatorname{RD}(G)$ for the sporadic groups as part of outlining frameworks for incorporating future advances in the theory.

An orthogonal perspective on Gauss composition

math.RA

math.AG

math.NT

v2

We revisit Gauss composition over a general base scheme, with a focus on orthogonal groups. We show that the Clifford and norm functors provide an equivalence of stacks between binary quadratic modules and pseudoregular modules over quadratic algebras. As a consequence, we exhibit a composition law for coprimitive forms over a general base, including a universal version of Dirichlet composition. This perspective synthesizes the constructions of Kneser and Wood, reconciles algebraic and geometric approaches, and clarifies the role of orientations and the natural emergence of narrow class groups.

Rationality problem for norm one tori of tensor products of \'etale algebras and Hasse norm principle

math.AG

math.NT

v3

Let $k$ be a field. Let $A=\prod_{i=1}^r K_i$ and $B=\prod_{j=1}^s E_j$ be \'etale $k$-algebras where $K_i$ and $E_j$ are finite separable field extensions of $k$ with $[K_i:k]=m_i$ and $[E_j:k]=n_j$. Let $\mathcal{T}_A=R^{(1)}_{A/k}(\mathbb{G}_m)$ be the norm one torus of the \'etale $k$-algebra $A$. We prove that if $\gcd(m_i,n_j\mid 1\leq i\leq r, 1\leq j\leq s)=1$ and $\mathcal{T}_A$ and $\mathcal{T}_B$ are stably $($resp. retract$)$ $k$-rational, then the algebraic $k$-torus $\mathcal{T}_A\otimes \mathcal{T}_B$ and the norm one torus $\mathcal{T}_{A\otimes B}$ are stably $($resp. retract$)$ $k$-rational. In particular, if $k$ is a global field, then the Hasse norm principle holds for $(A\otimes B)/k$. We introduce a new invariant of $G$-lattices, the permutation order, whose triviality is equivalent to invertibility, and use it to study the rationality of tensor products $T_1\otimes T_2$ of algebraic $k$-tori. As an application, we obtain large families of field extensions $K/k$ for which the Hasse norm principle holds.

Orbit decomposition statistics for discrete dynamical systems: the Ces\`aro mean and a large deviation principle

math.DS

math.NT

math.PR

v2

If a self-map $\sigma \colon \mathcal{X} \rightarrow \mathcal{X}$ has a dynamical zeta function with nonzero radius of convergence $1/\Lambda$ and the Ces\`aro mean $B$ of $ \# \mathrm{Fix}(\sigma^k)/\Lambda^k$ exists and is positive, we show a large deviation principle for the number of prime orbits occurring in the decomposition of a general orbit of length $\leq X$ (an element of the free abelian monoid generated by the prime orbits or, equivalently, a prime orbit of a finite multiset in $\mathcal{X}$) with speed $B \log X$ and universal rate function equal to that of the Poisson distribution with unit mean. We also show a large deviation principle for more general strongly additive functions. The proof uses asymptotic results on the total number of general orbits, as well as a weak analogue of Mertens's second theorem, that may be of independent interest. The theory applies, for example, to endomorphisms of algebraic groups over finite fields, additive cellular automata, and automorphisms of some solenoids.

Ind-Banach approach to Grothendieck duality in Rigid-analytic geometry

math.AG

math.NT

v2

We prove a duality theorem for quasi-compactly supported cohomology of quasi-coherent sheaves on rigid-analytic spaces, with respect to a smooth and Kiehl partially-proper morphism. This includes an identification of the dualizing object with volume forms. The functional analysis underlying our theory does not use condensed mathematics, but rather Ind-Banach spaces, following Ben-Bassat--Kelly--Kremnizer. Nevertheless, our overall strategy is inspired by that of Clausen--Scholze in the complex-analytic setting.

An Asymmetric Formula for Interval Consonance and its Relation to Harmonic Coincidence

cs.SD

eess.AS

math.HO

math.NT

v2

Euler's Gradus Suavitatis (1739) assigns a dissonance value to a musical interval p/q by the formula G(p/q) = 1 + \Omega^(p) + \Omega^(q), where \Omega^(n) = \sum_i e_i(p_i - 1) sums the weighted prime exponents of n. We propose the simpler asymmetric formula f(p/q) = p + \Omega^(q), which treats numerator and denominator differently and performs comparably on standard consonance data. We also show that, under a model in which harmonics are integer-indexed and counted uniformly up to a fixed truncation level, Gradus is equivalent to a weighted harmonic coincidence count with weights w(n) = \Omega^(n), connecting it to Galileo's earlier pulse-coincidence model (1638). The formula naturally generates a coprime integer triangle T(n,k) = n + \Omega^(k), whose rightmost diagonal gives the two-stage dissonance of the superparticular (consecutive-harmonic) intervals. The formula f admits a simple two-stage interpretation in terms of harmonic context and partial recognition, which we offer as a speculative perceptual hypothesis.