Number Theory [math.NT]

Zeta zeros of function fields heuristically equidistribute as genus goes to infinity
math.NT


Julian Shah

We propose a heuristic for the growth rate of the average class number of curves in $\mathcal M_g(\mathbb F_q)$ as $g \to \infty$. We show that this heuristic implies that the zeros of the zeta functions of such curves become equidistributed on the circle as $g\to\infty$. Our heuristic is based on the assumption that the stable cohomology of the universal Jacobian dominates a point count using the trace formula, following the method of Achter et al.

Sharp vertex connectivity of the Markoff graphs modulo $p$
math.NT
math.CO


Jie Ma, Mengxi Yang, Zichen Yang

The Markoff graph $G_p$ modulo a prime $p$ is an undirected graph whose vertices are the nonzero solutions over the finite field $\mathbb{F}_p$ of the normalized Markoff equation \[ x_1^2+x_2^2+x_3^2=x_1x_2x_3, \] where two vertices are adjacent if they differ by a Vieta involution. A major breakthrough of Bourgain, Gamburd, and Sarnak established that $G_p$ contains a giant connected component. Combined with Chen's remarkable divisibility theorem, this implies that $G_p$ is connected for all sufficiently large primes $p$. In the same paper, Bourgain, Gamburd, and Sarnak further asked whether the family $\{G_p\colon p\geq5\}$ forms an expander family. This motivates us to investigate the robustness of connectivity in the Markoff graphs. In this short note, we show that if the Markoff graph $G_p$ is connected, then it is in fact $2$-connected. Consequently, the Markoff graph $G_p$ is $2$-connected for all sufficiently large primes $p$. This is sharp in the sense that $G_p$ is not $3$-connected for any prime $p\geq 7$.

Positive Lower Density for Hofstadter's $ab-1$ Problem
math.NT
math.CO


Samuel Korsky

Let $A$ be the smallest set of positive integers containing $2$ and $3$ such that $ab-1\in A$ whenever $a,b\in A$ are distinct. We prove that $A$ has positive lower density, answering a problem of Erd\H{o}s attributed to Hofstadter.

On the Emerton-Gee stack of potentially semistable representations
math.NT


Shenrong Wang

We first classify the potentially semistable Galois representations of a given tame inertial type using some variants of Breuil-Kisin modules. Then we construct some ``model" of such Breuil-Kisin modules. From here, we build a stack of our version of Breuil-Kisin modules, and show that it is isomorphic to the Emerton-Gee stack of potentially semistable representations. This also makes it possible to construct a map from the rigid generic fiber of the potentially semistable EG stack to the analytification of the stack of Weil-Deligne representations, which ``interpolates" Fontaine's recipe of associating Weil-Deligne representations to potentially semistable Galois representations. We prove the smoothness of this map, and obtain the generic formal smoothness property of the potentially semistable EG stack. This can be regarded as the global version of Kisin's regularity results on the corresponding Galois deformation rings.

Representations as Sums of Icosahedral and Dodecahedral Numbers: Proof of Pollock's Conjectures
math.NT


Debmalya Basak, Anji Dong, Katerina Saettone, Alexandru Zaharescu

On the occasion of George Andrews' and Bruce Berndt's combined 170th birthday, we prove two conjectures of Sir Frederick Pollock that are more than 170 years old. In 1843, Pollock conjectured that every positive integer is the sum of at most 13 icosahedral numbers, or at most 21 dodecahedral numbers. We establish refined versions of both conjectures.

Which numbers are $u$-invariants of perfectoid fields?
math.NT
math.RA


Eknath Ghate, Srinivasan Srimathy

Let $p\neq 2$ be a prime. We determine the set of numbers that occur as the $u$-invariant of perfectoid subfields of $\mathbb{C}_p$. Given any number that is the $u$-invariant of a field of characteristic $p$, we give an explicit construction of a perfectoid field with the same $u$-invariant. In particular, if a number is the $u$-invariant of a field of characteristic $p$, it is also the $u$-invariant of a field of characteristic zero.

Binomial coefficients coprime to 6
math.NT
math.CO


Pascal Jelinek

It is a well known result by Singmaster that any integer $d$ divides almost all binomial coefficients. The study of the structure and the size of the exceptional set has been of interest for many decades. In the case where $d$ is a prime power, these sets are well understood and their size is known. However, if $d$ has at least two distinct prime factors, no non-trivial bounds are known. In this paper, we will provide the first non trivial bound on the number of binomial coefficients coprime to 6.

Short Second Moment of $\mathrm{GL}(2)$ L-Functions via Trivial Delta
math.NT


Suraj Panigrahy

Let $f$ be a holomorphic cusp form for $SL(2,\mathbb{Z})$. In this paper, we prove for $T^{\frac{1}{3}} \ll M \ll T^{\frac{1}{2}}$, the following short interval second moment \begin{equation*} \int_T^{T+M}\left|L\left(\frac12+it,f\right) \right|^2 dt \ll_{f,\epsilon} T^\epsilon \left( M + \frac{T}{M}+\sqrt{TM}\right). \end{equation*} The proof uses the trivial delta method along with conductor lowering technique.

Equidistribution for semiabelian varieties over number fields
math.NT
math.AG


Wei Xue

K{\"u}hne established equidistribution for canonical adelic line bundles on semiabelian varieties, a setting which need not lie in the quasi-canonical range of Yuan-Zhang's theorem. We study adelic line bundles on semiabelian compactifications whose toric part is governed by a toric metrized divisor. The main unconditional result is generic equidistribution when the toric metric is monocritical and arithmetically T-effective. The proof isolates the asymptotic estimates in K{\"u}hne's argument and reinterprets them as estimates along explicit compression paths. This gives a comparison mechanism between canonical, quasi-canonical, and more general toric metrics. For the Bogomolov application, the quasi-canonical case is handled by a K{\"u}hne local-trivialization transport package. After fixing a single theta-factor convention for the local trivializations, the proof checks the Picard-zero theta factors under K{\"u}hne's operations and obtains the Bogomolov theorem for the metric class treated in this paper, namely the monocritical and arithmetically T-effective toric metrics, through the quasi-canonical replacement argument.

Machine-Guided Recurrence Boundary Theory for Nahm Sums
math.NT


Ankush Goswami

We develop a proof-carrying recurrence--boundary method for affine families of positive-definite Nahm sums. A universal coordinate-contiguous relation provides exact algebraic cells for finite certificates; a tropical face-limit theorem identifies parameter directions along which a higher-rank Nahm sum degenerates to a lower-rank theta or theta--hypergeometric boundary value; and a recurrence--boundary principle recovers the initial sums from sufficiently many independent boundary limits. Machine learning and reinforcement learning are used only for discovery. Evolutionary symbolic search proposes recurrences and asymptotic rays from exact algebraic data, while a $Q$-learning agent searches for short sequences of legal contiguous-cell identities. No learned output is accepted as proof: every successful candidate is replaced by an exact symbolic certificate. As the main application, we prove Shi and Wang's Conjecture~3.8 (arXiv:2607.23257) for the Nahm sums dual to Zagier's twelfth rank-three example. The search finds a second-order recurrence for a one-parameter family and a five-cell certificate for it, together with two asymptotic rays leading to binary and unary theta series. These give two linear equations for the two initial sums. Solving the resulting $2\times2$ system reduces the conjecture to two generalized-eta identities, certified by valence arguments on $\Gamma_1(300)$ and $\Gamma_1(100)$. Consequently the dual of Zagier's twelfth example is modular, and every member of the affine family is an explicit $\mathbb{Z}[q,q^{-1}]$-combination of the two base products. Complete verification artifacts accompany the paper.

On Sun's Conjectures for Truncated Jacobi-Symbol Determinants via Supersingular Elliptic Curves
math.NT


Guo Li, Xiaoju Yan

We study the truncated Jacobi-symbol determinants $$\{c,d\}_n=\det\!\left[\left(\frac{j^2+cjk+dk^2}{n}\right)\right]_{2\le j,k\le n-2}$$ proposed by Zhi-Wei Sun in \cite{ZWSun} and prove Conjectures 5.1(i), 5.2, 5.3, 5.4, 5.5, 5.6(i), 5.7, 5.8, a case of 5.6(ii) of \cite{ZWSun}, Conjecture 4.8(i) of \cite{Sun2019} and some strengthened forms. All results follow from a single unified approach: for a prime $p$, we diagonalize the nonzero-residue matrix indexed by $\mathbb{F}_p^\times$ and reduce the vanishing of determinants to the supersingular reduction of certain CM elliptic curves. The same framework extends naturally to further families of parameters, suggesting a general mechanism behind identities of this type.

Proofs of the Conjectures on $SOME(n)$ and $DSOME(n)$ Functions Related to Integer Partitions
math.NT


Gaurab Bardhan, Nipen Saikia

Andrews and Dastidar (2026) introduced $SOME(n)$ and $DSOME(n)$ functions related to partitions of a positive integer $n$, where $SOME(n)$ is the sum of all the odd parts in the partitions of $n$ minus the sum of all the even parts and $DSOME(n)$ is the sum of all the odd parts in the partitions of $n$ into distinct parts minusthe sum of all the even parts in the same partitions. The purpose of this paper is to establish the conjecture$SOME(\lambda)\equiv0\pmod{5^\alpha}$, $\alpha\ge 1$ and $\lambda\ge0$ are integers such that $24\lambda\equiv1\pmod{5^\alpha}$ due to Andrews and Dastidar, and the conjecture $DSOME(50n+21)\equiv0\pmod{8}$ due to Baruah and Gogoi (2026). In the process, we establish some new infinite families of congruences modulo 2, 4, and 8 for $DSOME(n)$.

The Mathieu group $M_{23}$ is a Galois group over $\mathbb{Q}$
math.NT
math.AG
math.GR


Xiaoyu Huang, Blake Jackson, Kyu-Hwan Lee, Bjorn Poonen, Rachel Pries, Shaowu Zhang

Researchers studying the inverse Galois problem realized 25 of the 26 sporadic finite simple groups as Galois groups over $\mathbb{Q}$ during 1984--1989. We complete this program by proving that the last remaining sporadic group, the Mathieu group $M_{23}$, occurs as a Galois group over $\mathbb{Q}$. In fact, we produce an explicit degree $23$ polynomial with rational coefficients whose splitting field has Galois group $M_{23}$ over $\mathbb{Q}$. To accomplish this, we use a non-rigid triple of conjugacy classes of $M_{23}$ and compute Belyi maps to construct an explicit regular Galois extension of $\mathbb{Q}(t)$ with Galois group $M_{23}$. Essential for our computation is the numerical Belyi map algorithm developed and implemented by Klug, Musty, Schiavone, Sijsling, and Voight, inspired by ideas of Hejhal and Stark.

A new hyperbolicity wedge and a joint semicircle limit for Jensen polynomials of Riemann's $\xi$-function
math.NT


Jonathan Holland

Let \[ \xi\!\left(\frac12+z\right) =\sum_{n\geq 0}\frac{\gamma(n)}{n!}z^{2n}, \qquad J^{d,n}(X) =\sum_{j=0}^{d}\binom dj\gamma(n+j)X^j . \] The Riemann hypothesis is equivalent to the hyperbolicity of $J^{d,n}$ for every $d,n\geq0$. We prove that there is an absolute constant $K>0$ such that \[ n^3\log^2(n+2)\geq Kd^5 \quad\Longrightarrow\quad J^{d,n}\ \text{is hyperbolic}. \] Along every sequence with $n,d\to\infty$ in this region, the empirical measure of the naturally centered and scaled zeros also converges to Wigner's semicircle law. This gives a simultaneous degree--derivative version of the global semicircle consequence of the fixed-degree Hermite limit of Griffin, Ono, Rolen, and Zagier.

Twisted Bernoulli Zeros in Quasi-Linear Time: Distribution, Depth, and Explicit Hilbert Class Components
math.NT


Peter Chocian

The divided generalized Bernoulli values $b_{\chi,j} = fB_{1,\chi\omega^{-j}} \bmod p$, for $\chi$ an odd primitive Dirichlet character of conductor $f$ and order $d$ with $d \mid p-1$, control (for $p \nmid \varphi(f)$) the odd isotypic components of the $p$-class group of $Q(\zeta_{fp})$ through the characterwise abelian Main Conjecture; a zero is a twisted irregular pair, a branch with positive Iwasawa lambda-invariant, in the tradition studied by Ernvall, Holden, Delbourgo-Knospe and Knospe. We survey these zeros in the regime complementary to existing tabulations: fixed small conductor and large $p$ ($f = 3, 5$ to $p < 10^5$; all odd primitive characters of conductor at most 20 to $p < 2 \cdot 10^4$), computing each spectrum by a residue-class weight formula and one Bluestein convolution over $F_p$, a direct finite-field alternative of the same quasi-linear order as the standard power-series method. The survey records 27,508 zero lines over 55,121 character-prime pairs, each verified by two independent code paths with an exact order of vanishing; the counts and digits are consistent with the random model, and eight lines are non-simple, including one of depth three at $(f,p,j) = (19,37,16)$, giving class components of order exactly $p^2$ and $37^3$. The main contribution converts zeros into explicit certified generators: the conductor-three catalogue of arXiv:2607.23177 is extended from $p < 500$ to $p < 10^5$, all 2,441 zero lines simple, each projected circular unit proven to generate its complete order-$p$ Hilbert class field component by a fresh split-prime Artin certificate -- the largest in the degree-199,980 field $Q(\zeta_{299973})$. Ancillary files contain all tables, certificates, and a verification program.

On some representations of Metacyclic groups whose integral forms can be computed from a single residual representation
math.NT


Bruno Aguiló-Vidal, Luis Arenas-Carmona, Matías Saavedra-Lagos

In a previous work we computed the number of integral forms, over its field of definition, of an irreducible representation of a dihedral group. Here we apply the theory of Bruhat-Tits buildings to give similar formulas for a wider family of metacyclic groups that have representations of arbitrarily large dimension. Occasionally, these formulas can be extended to groups containing a subgroup in that family.

Modular resurgent structures for vectors
math.NT
hep-th
math-ph
math.CV
math.MP


Miranda C. N. Cheng, Ioana Coman, Veronica Fantini, Claudia Rella

Building on prior results [1], we introduce vector-valued modular resurgent series, whose components exhibit a single infinite tower of singularities in the Borel plane, trivial secondary resurgent series, and Stokes constants given by linear combinations of the coefficients of a vector of $L$-functions. We extend the paradigm of modular resurgence to this setting, emphasizing the role of the Stokes constants and the interplay between the associated vectors of $q$-series and Dirichlet series, and describing the resulting symmetry relating canonical pairs of vector-valued modular resurgent series. Moreover, we conjecture that certain vectors of $q$-series with modular resurgent asymptotics are vector-valued quantum modular forms and can be reconstructed via median resummation. Finally, we show that vectors of $q$-Pochhammer symbols, previously considered in [2], and Eichler integrals of vector-valued modular forms of weight $1/2$ and $3/2$ can be studied within the framework of vector-valued modular resurgence. While the first case amounts to a convenient repackaging of scalar modular resurgence, the second involves a non-trivial representation of the modular group and therefore illustrates the necessity of the vector-valued framework; we establish its modular resurgent structure in general, and work it out in full detail for the unary theta series, whose Eichler integrals are the false theta functions of quantum topology.

Sharp Bounds for Rational Points Near Space Curves
math.NT
math.CA


Mingfeng Chen, Andreas Seeger, Rajula Srivastava, Niclas Technau

Let $Q\geq 1$ be large, and $\delta \in(0,1)$ be small. Denote by $\mathcal C \subset \mathbb R^3$ a sufficiently smooth curve with non-vanishing curvature and torsion. How many rational points $\mathbf{a}/q$ of height $q\in[Q,2Q]$ are $\delta/q$-near $\mathcal C$? This manuscript provides an essentially optimal answer. We show that the folklore conjectures are incorrect for certain manifolds with codimension $\ge 2$, including the moment curve $(t,t^2,t^3)$. The reason is a hitherto hidden `major arc' type obstruction. We also establish matching upper bounds (up to endpoints). Our argument combines purely Fourier analytical techniques with the planar counting results by Vaughan--Velani.

The minimal obstruction modulus for quadratic forms
math.NT


Naoki Ochi

Let $Q = ax^2+bxy+cy^2$ be a primitive positive definite integral binary quadratic form with discriminant $\Delta = b^2-4ac$. It is known that $Q$ admits a local obstruction; that is, there exist $k,l \in \mathbb{Z}$ such that $Q \not\equiv l \pmod k$. We study the minimal obstruction modulus $\kappa_Q := \min \{k \in \mathbb{Z}_{\geq 1} \mid \text{there exists } l \text{ such that } Q \not\equiv l \pmod k \}$, and we determine $\kappa_Q$ completely, treating the cases $\Delta \equiv 0 \pmod 4$ and $\Delta \equiv 1 \pmod 4$ separately. We also determine the analogous invariants for primitive ternary diagonal forms.

Plancherel and Poisson summation formulae for a family of affine $\Psi$-bundles
math.NT
math.RT


Jayce R. Getz (Pam), Miao (Pam), Gu, Chun-Hsien Hsu

We prove a Plancherel formula for a family of affine $\Psi$-bundles. As an application, we construct Fourier transforms and asymptotic Schwartz spaces for the family. We then prove the corresponding Poisson summation formula under suitable assumptions. The choice of affine $\Psi$-bundles we consider is motivated by applications to triple product $L$-functions explored in another paper of the authors and Leslie.

A Sharper Explicit Result for the Sum of Two Almost Primes
math.NT


Peter J. Campbell

We prove that for every integer $N\geq2$, there exist positive integers $a$ and $b$ such that $N=a+b$ and $\Omega(ab)\leq33$, where $\Omega(n)$ denotes the number of prime factors of $n$, counted with multiplicity. This improves the previous bound of $40$ obtained by Dudek and Dunn. The proof applies the explicit Friedlander--Iwaniec $\Lambda^-\Lambda^2$ lower-bound sieve to a sequence derived from the products $n(N-n)$. The main new ingredient is pre-sieving at the prime $3$, which eliminates the extremal small-prime case in the dimension condition while keeping the resulting remainder terms under explicit control. We complete the proof using analytic estimates for large $N$, finite verification over an intermediate range, and explicit prime-gap data for small $N$.

A proof of a conjecture on permutation polynomials
math.NT
math.CO


Krishna Mallick, Mohit Pal

In this paper, we use finite fields and linear algebra methods to resolve a conjecture by T. Zhang, L. Zheng, H. Wang, J. Peng and Y. Li (Finite Fields Appl. 110 (2026) 102743) concerning permutation pentanomials.

An analogue of Hirose's relation for finite multiple harmonic $q$-series at roots of unity
math.NT


Takumi Maesaka

Recently, Hirose proved an analogue of the linear part of Kawashima's relations for refined symmetric multiple zeta values. In this paper, we establish an analogue of Hirose's relation for finite multiple harmonic $q$-series at roots of unity. As an application, we prove the cyclic sum conjecture proposed by Kh. Hessami Pilehrood, T. Hessami Pilehrood, and R. Tauraso.

Counting metacyclic fields
math.NT


Maddie Allen, Justine Dell, Milad Fakhari, Kevin J. McGown, Chloe Stewart, Daniel Tedeschi

By a metacyclic field $K$ we mean the Galois closure of a pure field $\mathbb{Q}(\sqrt[\ell]{D})$, $D\in\mathbb{Z}$, of odd prime degree $\ell$. Let $\mathcal{M}_\ell$ denote the collection of isomorphism classes of metacyclic fields of degree $\ell(\ell-1)$. Write $N_\ell(X)=\#\{K\in\mathcal{M}_\ell: |\Delta_K|\leq X\}$ for the associated counting function, where $\Delta_K$ denotes the discriminant of $K$. We show $$N_\ell(X)\sim A_\ell X^{\frac{1}{(\ell-1)^2}}(\log X)^{\ell-2}\,,$$ for an explicit constant $A_\ell$. We express $A_\ell$ as a rational number times a product over primes of a degree $\ell$ polynomial in $1/p$.

On the $\beta=2$ Partition function for Dirichlet $L$-functions in the $q$-aspect
math.NT
math.PR


Christopher Atherfold

We study the $\beta=2$ partition function $\int_{|h| \leq \log^{\theta}(q)/2}|L(1/2+ih,\chi)|^2dh$ for typical Dirichlet characters modulo a large prime $q$ and $\theta \in (-1/2,0]$ motivated by a $q$-analogue of the Saksman--Webb conjectures. When $\theta <0$, we use Harper's randomisation argument to introduce explicit conditioning to recover moment upper bounds consistent with critical normalisation predicted there. As an application, we prove that for $q(1-o(1))$ Dirichlet characters modulo $q$, $\max_{|h| \leq 1/2}|L(1/2+ih,\chi)|\ll \frac{\log(q)}{(\log\log(q))^{3/4+o(1)}}$, establishing an upper bound matching the predictions of the $q$-analogue of the Fyodorov--Hiary--Keating conjectures up to second order.

Large class of many-to-one mappings over quadratic extension of finite fields
cs.IT
math.IT
math.NT


Yanbin Zheng, Meiying Zhang, Yanjin Ding, Zhengbang Zha, Qiang Wang

Many-to-one mappings and permutation polynomials over finite fields have important applications in cryptography and coding theory. In this paper, we study the many-to-one property of a large class of polynomials such as $f(x) = h(a x^q + b x + c) + u x^q + v x$, where $h(x) \in \mathbb{F}_{q^2}[x]$ and $a$, $b$, $c$, $u$, $v \in \mathbb{F}_{q^2}$. Using a commutative diagram satisfied by $f(x)$ and trace functions over finite fields, we reduce the problem whether $f(x)$ is a many-to-one mapping on $\mathbb{F}_{q^2}$ to another problem whether an associated polynomial $g(x)$ is a many-to-one mapping on the subfield $\mathbb{F}_{q}$. In particular, when $h(x) = x^{r}$ and $r$ satisfies certain conditions, we reduce $g(x)$ to polynomials of small degree or linearized polynomials. Then by employing the many-to-one properties of these low degree or linearized polynomials on $\mathbb{F}_{q}$, we derive a series of explicit characterization for $f(x)$ to be many-to-one on $\mathbb{F}_{q^2}$. On the other hand, for all $1$-to-$1$ mappings obtained in this paper, we determine the inverses of these permutation polynomials. Moreover, we also explicitly construct involutions from $2$-to-$1$ mappings of this form. Our findings generalize and unify many results in the literature.

Uniform stratified vanishing and equidistribution on $\mathbb{G}_m^d$
math.AG
math.NT
v2


Amadou Bah, K. V. Shuddhodan

We prove a uniform stratified generic vanishing theorem for perverse sheaves on $\mathbb{G}_m^d$ over finite fields, with constants depending only on the dimension and on the complexity \`a la Sawin. As a corollary, we prove an equidistribution theorem for $\mathbb{G}_m^d$ extending Katz's theorem for $\mathbb{G}_m$. The corollary applies to sequences of perverse sheaves of bounded complexity with common tannakian monodromy group, over finite fields of varying characteristic. As the cardinalities of the fields tend to infinity, the Frobenius conjugacy classes attached to the multiplicative characters equidistribute in the space of conjugacy classes of a maximal compact subgroup.

On the Godement-Jacquet functional equation for finite matrix monoids
math.RT
math.NT


Elad Zelingher

In previous work with Harman and Snowden, we found explicit formulas for units of rank ideals of the matrix monoid algebra $\mathbb{K}\left[\operatorname{Mat}_n\left(\mathbb{F}_q\right)\right]$, where $\mathbb{K}$ is an algebraically closed field with characteristic not dividing $q$. In this work, we use these explicit formulas to establish a regularized Godement--Jacquet functional equation valid for irreducible representations of $\operatorname{GL}_n\left(\mathbb{F}_q\right)$ and of the algebra $\mathbb{K}\left[\operatorname{Mat}_n\left(\mathbb{F}_q\right)\right]$. Using this functional equation we give an explicit expression for primitive central idempotents corresponding to irreducible representations of $\mathbb{K}\left[\operatorname{Mat}_n\left(\mathbb{F}_q\right)\right]$, where the characteristic of $\mathbb{K}$ does not divide $\left|\operatorname{GL}_n\left(\mathbb{F}_q\right)\right|$. Interestingly, the coefficients in this formula are closely related to degenerate non-abelian Gauss sums.

The Borel complexity of non-Archimedean operator ranges
math.FA
math.LO
math.NT


Martino Lupini

We completely classify the possible complexity classes of non-closed operator ranges on separable Banach spaces over a Polish non-Archimedean non-trivially valued field. These are precisely $\boldsymbol{\Pi }_{1+\lambda +n+2}^{0}$ for a countable ordinal $\lambda $ that is either zero or a limit ordinal, and a finite ordinal $n$. Considering Fr\'echet spaces produces the additional complexity classes $\boldsymbol{\Pi }_{\lambda }^{0}$ for a countable limit ordinal $\lambda $.

Some new results for Andrews' Kimberling partitions
math.CO
math.NT


Gaurab Bardhan, Nipen Saikia

George E. Andrews (2016) introduced the Kimberling index, $K(\pi)$, of a partition $\pi$ of a positive integer $n$, which is defined as $$K(\pi) = (\text{largest part of } \pi) - (\text{least part of } \pi) - (\text{number of parts of } \pi).$$ Based on Kimberling index, Andrews defined five partition functions, $K_>(n),$ $K_<(n),$ $K_\leq(n),$ $K_=(n),$ and $K_\geq(n)$, called Kimberling partition functions, which count the numbers of partitions of a positive integer $n$ for which the Kimberling index $K(\pi) $ is $>0$, $<0$, $\leq0$, $=0$ and $\geq 0$, respectively. He also gave the generating functions for $K_\le(n),$ $K_<(n),$ and $K_>(n)$ and established some relations connecting Kimberling partitions and other partition functions. Since then, the Kimberling partition functions and their generating functions remained unexplored. In this paper, we derive generating functions for $K_=(n),$ and $K_\geq(n)$, and establish some congruence relations of the five Kimberling partition functions by using the method of $q$-series identities.

Hankel Transform and $(\alpha,\beta)$ Somos-4 Sequences
math.CO
math.NT


Feihu Liu, Ying Wang, Zihao Zhang

An $(\alpha,\beta)$ Somos-$4$ sequence $S_n$ is defined by the recurrence $S_nS_{n-4}=\alpha S_{n-1}S_{n-3}+\beta S_{n-2}^2$ ($n\geq 4$), with suitable initial values, where $\alpha$ and $\beta$ are constant parameters. A widely studied question is the following: When does the Hankel transform of a generating function become an $(\alpha,\beta)$ Somos-4 sequence? In particular, how can $\alpha$ and $\beta$ be derived for such a function? A sufficient condition for this problem has been established by Wang and Zhang. In this paper, we obtain the following three main results. (i): We extend the Wang--Zhang sufficient condition by working over the rational function field. Then we combine this result with the Sulanke--Xin quadratic transformation to resolve all of Barry's currently unsolved $(\alpha,\beta)$ Somos-4 conjectures, which arise in diverse contexts, including generalized Catalan recurrences, Riordan arrays, generalized Bernstein arrays, and elliptic curves. (ii): We show that the odd and even subsequences of an $(\alpha,\beta)$ Somos-4 sequence are again $(\alpha,\beta)$ Somos-4 sequences with transformed parameters. This is employed to establish Barry's Hurwitz transform conjecture. (iii): Using the theory of orthogonal polynomials, we prove a Hankel determinant formula and thereby prove a conjecture related to the $(\alpha,\beta)$ Somos-4 sequence. In addition, we prove some conjectures on formulas for periodic Hankel determinants.

Jacobi Endpoint Pencils and Sharp Interlacing for Centered Binomial Samples
math.CV
math.NT


Seokho Jin

For an even or odd real entire function $H$ of order at most one, let $B_{2n+1}[H]$ denote its centered binomial sample of odd degree. After removing the zero at $z=\pm1$ forced by the parity of $H$ and writing $x=z+z^{-1}$, one obtains a real quotient $C_n(x)$. We prove uniform strip conditions on the zeros of $H$ under which $C_n$ and $C_{n+1}$ generate a real-rooted pencil for every $n$. For even $H$ the optimal uniform half-width is $\sqrt{15/28}$, whereas for odd $H$ the half-width $1$ is sufficient. This conclusion is genuinely stronger than separate unit-circle-rootedness of the two sampled polynomials: the latter may hold while the adjacent quotients fail to interlace. The structural result is a theorem for Jacobi spectral multipliers. For every $0<\nu<2$, the quotient problem becomes preservation of the endpoint pencil $y^n(y+t)$. We obtain explicit fixed-$n$ and uniform strip thresholds and determine the exact threshold for $n=1$. The proof combines Bernstein variation diminution with total nonnegativity of finite Jacobi matrices attached to the zero orbits of $H$; a possible unpaired outer real pair, which is not covered by the full defect-class argument, is treated directly on the endpoint pencil. For nonpolynomial even sources satisfying the fixed-$n$ strip condition, a remote-zero-orbit deformation removes common zeros whenever the adjacent images have simple zeros in $(0,4)$. This yields strict interlacing for quotient families associated with Dedekind zeta derivatives and with nested critical-value blocks of self-dual newforms.

A note on the partition function of a rectangle
math.CO
cs.DM
math.NT


Krystian Gajdzica, Maciej Zakarczemny

We investigate the asymptotic behavior of the rectangle partition functions $p(n,n)$ and $p(3,n)$. The function $p(n,n)$ counts partitions of the square $n\times n$ into rectangular blocks with integer sides, while $p(3,n)$ counts such partitions of the rectangle $3\times n$. Two rectangle partitions are identified when they contain the same multiset of rectangle types, and a block $a\times b$ is identified with a block $b\times a$. Our main results are $$ p(n,n) = \exp\left( \left(\tfrac{\pi}{\sqrt3}+o(1)\right)n\sqrt{\log n} \right) $$ and $$ p(3,n) = \exp\left( \pi\sqrt{\tfrac{11n}{3}}+O(\log n) \right). $$ We also present simpler upper and lower bounds for $p(n,n)$ and an independent upper bound for $p(3,n)$.

Restricted generalized Schur numbers
math.CO
math.NT


Collier Gaiser

For $k\geq2$, let $S_r(k;\ell)$ be the smallest $n$, if exists, such that every $r$-coloring of $\{1,2,\ldots,n\}$ has a monochromatic solution $\mathcal{S}$ to the equation \[ x_1+x_2+\cdots+x_k=x_{k+1} \] such that the number of distinct integers in $\mathcal{S}$ is exactly $\ell+1$. We prove that, if $\ell\geq2$ is fixed, then \[ S_2(k;\ell)= k^2+\left[\frac{(\ell+1)(\ell-2)}{2}+2\right]k+\ell(\ell-2) \] for all large enough $k$. In particular, we have $S_2(k;2)=k^2+2k$ for all $k\geq3$.

Sharp $\ell^p$-Improving Estimates for Fixed-Radius Discrete Spherical Averages
math.CA
math.NT


Rui Han, Fan Yang

Let $d\geq 4$ and let $R>0$. When $d=4$, assume that $R^2\in\mathbb{N}\setminus 4\mathbb{N}$; when $d\geq 5$, let $R^2\in\mathbb{N}$ be arbitrary. We prove the fixed-radius estimate $$\|A_R f\|_{\ell^{p'}(\mathbb{Z}^d)}\leq C_{d,p,\varepsilon}R^{-d(2/p-1)+\varepsilon}\|f\|_{\ell^p(\mathbb{Z}^d)}$$ for $(d+2)/d\leq p\leq 2$, where $p'$ is the H\"older conjugate exponent of $p$ and $A_R$ is the probability average over the lattice sphere of radius $R$. This extends the fixed-radius estimates of Kesler--Lacey and Hughes to the sharp lower endpoint $p=(d+2)/d$.

A proof of the cyclotomic conjecture and the non-existence of almost Moore digraphs
math.CO
math.NT
math.RA


Jaskaran Kaur, Hitesh Kumar

For $n>2$ and $k>1$, define the polynomial \[F_{n,k}(x) = \Phi_n(1 + x + \cdots + x^k),\] where $\Phi_n$ denotes the $n$-th cyclotomic polynomial. The \emph{cyclotomic conjecture} proposed by Gimbert (1999) exactly describes the irreducibility of $F_{n,k}(x)$ over $\mathbb{Q}$ in terms of $n$ and $k$. Conde, Gimbert, Gonz\'{a}lez, Miller and Miret (2014) established that the cyclotomic conjecture, if true, would imply the non-existence of almost Moore digraphs - a well-known open question concerning the directed degree-diameter problem. In this article, we prove the cyclotomic conjecture and, as a consequence, show that there are no almost Moore digraphs with maximum out-degree $d$ and diameter $k$ for any $d>1$ and $k>2$.

Varieties with prescribed fundamental group schemes
math.AG
math.NT


Lingguang Li, Hao Wang

We study the realization problem for Tannakian fundamental group schemes: given an affine $k$-group scheme $G$, when does there exist a smooth projective connected pointed $k$-variety $(X,x)$ whose fundamental group scheme is isomorphic to $G$? We establish exact sequences for fundamental group schemes associated with principal bundles, and combine them with a Godeaux--Serre construction and Lefschetz-type theorems. As applications, we show that every finite \'etale $k$-group scheme is realized as the $S$-, Nori, and extended Nori fundamental group scheme of a smooth projective variety, while every finite constant group scheme is realized as the $F$- and \'etale variants.11

On the asymptotics of Kempner-Irwin sums
math.NT
math.CA
v5


Jean-François Burnol

Let $I(b,d,k)$ be the subseries of the harmonic series keeping the integers having exactly $k$ occurrences of the digit $d$ in base $b$. We prove the existence of an asymptotic expansion to all orders in descending powers of $b$, for fixed $d$ and $k$, of $I(b,d,k)-b\log(b)$. We explicitly give, depending on cases, either four or five terms. The coefficients involve the values of the zeta function at the integers.

Elementary characterization of the Galois groups of $x^{12}+ax^6+b$
math.NT
v3


Malcolm Hoong Wai Chen

Let $f(x)=x^{12}+ax^6+b \in \mathbb{Q}[x]$ be an irreducible polynomial, $g_4(x)=x^4+ax^2+b$, $g_6(x)=x^6+ax^3+b$, and let $G_4$ and $G_6$ be the Galois groups of $g_4(x)$ and $g_6(x)$, respectively. This paper provides a streamlined elementary characterization of all sixteen possible Galois groups of $f(x)$. In particular, we give explicit criteria showing that the Galois group of $f(x)$ can be uniquely determined by the pair $(G_4,G_6)$ along with testing whether at most two expressions involving $a$ and $b$ are rational squares. This contributes to a broader program to systematically study the Galois groups of $x^{2m}+ax^m+b$ for a positive integer $m$.

Connected fundamental domains for congruence subgroups
math.NT
math.GR
v3


Zhaohu Nie, C. Xavier Parent

We give explicit sets of right coset representatives for the congruence subgroups $\Gamma_0(N)$, $\Gamma_1(N)$ and $\Gamma(N)$, and prove that the corresponding unions of standard modular triangles are connected fundamental domains. The construction is based on a study of the projective line ${\mathbb P}^1({\mathbb Z}/N{\mathbb Z})$. For every residue class $j\in{\mathbb Z}/N{\mathbb Z}$, the number of representatives above $j$ is governed by the simple function \[W_j=\min\{m\in{\mathbb Z}_{>0}\mid mj-1\in ({\mathbb Z}/N{\mathbb Z})^*\}.\] We also include examples illustrating how the connected domains make cusp and boundary data visible.

On the distribution of shapes of pure quartic number fields
math.NT
v2


Sudipa Das, Sushant Kala, Arunabha Mukhopadhyay, Anwesh Ray

The shape of a number field is a subtle arithmetic invariant arising from the geometry of numbers. It is defined as the equivalence class of the lattice of integers with respect to linear operations that are composites of rotations, reflections, and positive scalar dilations. For a number field of degree $n$, the shape is a point in the space of shapes $\mathscr{S}_{n-1}$, which is the double quotient $GL_{n-1}(\mathbb{Z}) \backslash GL_{n-1}(\mathbb{R}) / GO_{n-1}(\mathbb{R})$. In this paper, we investigate the distribution of shapes in the family of pure quartic fields $K_m = \mathbb{Q}(\sqrt[4]{m})$. We prove that the shape of $K_m$ lies on one of ten explicitly described torus orbits in $\mathscr{S}_3$, determined by the sign and residue class of $m \bmod 32$. It is shown that the shape on a given torus orbit is completely determined by two parameters, one of which varies continuously, while the other takes values in a discrete set. As a result, the distribution of shapes in this family is governed by a product of a continuous and a discrete measure. Our results shed new light on a question posed by Manjul Bhargava and Piper H concerning the distribution of shapes in families of non-generic number fields of fixed degree. Notably, the limiting distribution in our case does not arise as the restriction of the natural measure on $\mathscr{S}_3$ induced by Haar measure on $GL_3(\mathbb{R})$.

Partial Bloch--Kato Selmer groups of $B$-pairs as delta functors
math.NT
math.KT
v2


Rustam Steingart

In this article we revisit the partial Selmer groups introduced by Ding in cohomological degree one. On the subcategory of partially de Rham positive $B$-pairs we extend them to higher cohomological degree and show that the resulting groups form a cohomological delta functor satisfying a variant of the Euler--Poincar\'e characteristic formula and Tate duality.

Cobham's theorem for the Gaussian integers
math.NT
cs.FL
math.AC
v3


Álvaro Bustos-Gajardo, Robbert Fokkink, Reem Yassawi

Assuming the four exponentials conjecture, Hansel and Safer showed that if a subset $S$ of the Gaussian integers is both $\alpha=-m+i $- and $\beta=-n+i$-recognizable, then it is syndetic, and they conjectured that $S$ must be eventually periodic. Without assuming the four exponentials conjecture, we show that if $\alpha$ and $\beta$ are multiplicatively independent Gaussian integers, and at least one of $\alpha$, $\beta$ is not an $n$-th root of an integer, then any $\alpha$- and $\beta$-automatic configuration is eventually periodic; in particular we prove Hansel and Safer's conjecture. Otherwise, there exist non-eventually periodic configurations which are $\alpha$-automatic for any root of an integer $\alpha$. Our work generalises the Cobham-Semenov theorem to Gaussian numerations.

Difference operators and difference equations on lattices, or grids, up to the elliptic hypergeometric case
math.NT
v2


Alphonse P. Magnus

It is shown how to define difference operators and equations on particular lattices $\{x_n\}$, $2n\in\mathbb{Z}$, such that the divided difference operator $(\mathcal{D}f)(x_{n+1/2})= (f(x_{n+1})-f(x_n))/(x_{n+1}-x_n)$ has the property that $\mathcal{D}f$ is a rational function of degree $2d$ when $f$ is a rational function of degree $d$. It is then shown that the $x_n$s are in the most general case values of an elliptic function at a sequence of arguments in arithmetic progression (\emph{elliptic lattice}). Many special and limit cases, down to the most elementary ones, are considered too. First and second order difference operators and equations are constructed, up to the simplest elliptic hypergeometric ones. One also shows orthogonality and biorthogonality properties of rational solutions to some of these difference equations.

Missing digits and sums of two prime squares
math.NT
v3


Cihan Sabuncu

We investigate integers whose base $g$ expansion omits a fixed digit and which can be represented as a sum of two prime squares. In the first part of the paper, we apply the Hardy--Littlewood circle method to obtain asymptotic formulas for weighted count of representations of such integers up to $g^k$ as $k\to\infty$, where we weight by the von Mangoldt function. In this case, we also get an interesting bias depending on the fixed digit we are missing. In the second part, combining the circle method with sieve methods, we study the second moment of the corresponding unweighted counting function. This allows us to get a nontrivial lower bound for the cardinality of the set $$\{ n \leq g^k : n \text{ omits the digit } b \text{ in its base } g \text{ expansion and } n = p^2 + q^2 \text{ for some primes } p,q \}. $$

Notes on Algebraic Properties and Non-Standard Analysis of the Ring of Integers Modulo Infinitely Large Primes
math.NT
math.LO
v2


Tomoki Mihara

As applications of non-standard analysis to the study of transcendence, we extend transcendence criteria by Anzawa--Funakura and Matsusaka--Seki. We also summarise known algebraic and model theoretic results on the ring $\mathscr{A}$ of integers modulo infinitely large primes for number theorists, and share topics in transcendental number theory with algebraists and model theorists.

Algebraic Spectral Curves of Two-Channel Operator Pencils with Power-Law Response
math.NT
math-ph
math.MP
math.SP
v4


Kejun Liu

A finite matrix can acquire a nontrivial algebraic spectral curve when its entries contain a multivalued response. We study this mechanism for a two-channel pencil with scalar response $z^\beta$ and $J$-self-adjoint matrices. If $\beta=r/n$ is in lowest terms and the coefficients are generic, the normalized determinant curve in $(z,\lambda)$ has genus $n-1$ and is a double cover. It is rational for $n=1$, elliptic for $n=2$, and hyperelliptic for $n\geq3$. The generic genus depends only on the denominator $n$. The proof reduces birationally to a classical hyperelliptic normal form. The numerator appears as the cyclic character of the distinguished coupling and controls its divisor and boundary singularity. Here $\lambda$ is a complexified coupling coordinate: the curve is the joint determinant locus, not a fixed-coupling spectrum. For irrational exponents the local monodromy has infinite order, while rational approximants converge uniformly on compact sets and preserve isolated zeros on a fixed branch. Negative exponents in $(-1,0)$ arise from causal Volterra kernels and cutoff continuum-bath Schur complements, separating finite channels from nonlocal memory. As an application, the exact leading infrared monomial model of a zero-temperature conformal response of dimension $h_{\rm probe}$ has, for rational $2h_{\rm probe}$, genus $\operatorname{den}(2h_{\rm probe})-1$. For the fundamental fermion in the even-$q>2$ Sachdev--Ye--Kitaev saddle, this becomes $q/2-1$. The core statements, including determinant algebra, branch counts, and causal-response identities, are machine-checked from raw matrix definitions.

Theorem $(1+1.9)$ on the Goldbach Conjecture
math.NT
v2


Jiamin Li, Jianya Liu

For $1 \leq a \leq 2$, we say Proposition $(1+a)$ holds if every sufficiently large even integer $N$ can be written as $$N = p + rq, \quad r \leq q^{a-1},$$ where $r$ is either $1$ or prime, and $p,q$ are primes. Thus Proposition $(1+1)$ is essentially the binary Goldbach Conjecture, and Proposition $(1+2)$ is Chen's theorem. We prove unconditionally that Proposition $(1+1.9)$ is true. Assuming the Elliott--Halberstam Conjecture, the exponent $1.9$ can be improved to $1.4$. Analogously, Proposition $(1-a)$ is formulated for the Twin Prime Conjecture. Unconditionally, we prove Proposition $(1-1.75)$, and under the Elliott--Halberstam Conjecture, Proposition $(1-1.4)$. For six decades, a substantial theoretical divide has persisted between Propositions $(1+2)$ and $(1+1)$, and likewise between Propositions $(1-2)$ and $(1-1)$. By constructing new weighted sieves and adopting new analytic tools, this paper establishes a connecting pathway between them and achieves breakthroughs in this line of research.

Odd Parts of Derivative Period Polynomials: Zero Geometry and a Logarithmic Transition
math.NT
v2


Seokho Jin

Let $f$ be a normalized level-one Hecke eigenform of even weight $k$, and let $Q_{f,m}$ be the derivative period polynomial formed from the critical values of the $m$-th derivative of its completed $L$-function. We study its odd part $Q^-_{f,m}(z)=(Q_{f,m}(z)-Q_{f,m}(-z))/2$. We prove that there is an absolute $K_0$ such that, for every even $k\ge K_0$, every normalized level-one Hecke eigenform $f$ of weight $k$, and every integer $m\ge0$, the nonzero zeros of $Q^-_{f,m}$ off the unit circle, if any, consist of four simple zeros forming a single real reciprocal quartet $\{\pm b,\pm b^{-1}\}$, where $0<1$. The occurrence and location of this possible quartet are governed by the critical derivative order $m_c(k)=(k-1)\log((k-1)/\pi)$. If $m/m_c(k)\to\theta\in(0,1)$, exactly one quartet occurs and $b\to(1+\theta)/2$; if $\theta>1$, every nonzero zero is eventually simple and lies on the unit circle. At $\theta=1$ the same real-or-unit-circle containment remains valid, and any quartet that is present consists of four simple zeros. For each fixed weight, all nonzero zeros are eventually simple and lie on the unit circle as $m\to\infty$. Consequently, the Diamantis--Rolen containment conjecture holds outside finitely many weight--derivative pairs. The proof combines an exact signed-reciprocal completion, uniform split-Mellin saddle estimates yielding a moving-sine model, and a winding count that transfers disk-zero information to the unit circle.

An Asymptotic Bound for Non-covering Congruence Systems over Fq[x]
math.NT
v2


Rongyin Wang

Fix a prime power $q$. Let $D_q(n)$ be the largest possible least degree of a polynomial omitted by a non-covering family of $n$ congruence classes in $\mathbb F_q[x]$. Assuming the known theorem that every non-covering family of $n$ classes omits a polynomial of degree less than $n$, we prove \[ D_q(n)=\frac{n}{q-1}+O_q(1). \] The upper bound combines a minimal-counterexample reduction to irreducible moduli with a truncated inclusion--exclusion (Brun sieve) argument. A nested-modulus construction gives the matching lower bound. This is a follow-up to the author's 2025 work.

A New Characteristic-Uniform Model for Elliptic Curves -- Theory, Arithmetic, and Applications
math.NT
v4


Hongfeng Wu

We develop a characteristic-uniform arithmetic theory for \[ \mathcal C_d:\quad (u^2+u)(v^2+v)=d. \] For \(d(1-16d)\ne0\), its smooth \((2,2)\)-completion has four rational boundary points forming \(\mathbb Z/4\mathbb Z\), an intrinsic \(D_8\)-action, the inverse \(-(u,v)=(u,-v-1)\), and the native Kummer map \(\kappa_d(u,v)=(u+1)\). Working natively, we derive complete full-point and differential laws, Kummer ladders and recovery, halving, tripling, \(2P+Q\), division polynomials, isogenies, CM endomorphisms, and pairings, with dedicated formulas in characteristics two and three. Classical models provide proof and optimization dictionaries while all endpoints remain native. For Cd25519, the Kummer line is exactly the X25519 line, and a native Segre recoding realizes the optimized complete \(a=-1\) Edwards full-point dependency graph. We further study \[ \begin{gathered} \mathcal C_{a,b,d}:(u^2+u+a)(v^2+v+b)=d,\quad \mathcal T_{a,d}:(u^2+u+a)(v^2+v)=d,\\ \mathcal R_{\tau,\sigma,\kappa}:(x^2-\tau)(y^2-\sigma)=\kappa xy,\quad \mathcal Q_{\alpha,\beta,\gamma}:x^2y^2+\alpha(x^2+y^2)+\beta xy+\gamma=0. \end{gathered} \] For these product, one-sided twisted, reciprocal, and QRT families, we determine their genus-one geometry, finite-field forms, arithmetic, and isogenies. On each smooth QRT fibre, the Vieta--McMillan map is a fixed elliptic translation. Marking \(D\) gives the state \(P\mapsto(\kappa(P),\kappa(P+D))\), with maps realizing \(n\mapsto mn+r\). This yields logarithmic ladders and an elliptic Lucas calculus with nonlinear addition, fast-index doubling, state-division polynomials, and bridges to elliptic divisibility sequences, sigma functions, and elliptic nets. In characteristic two, every ordinary pointed elliptic curve over a perfect field admits the binary state model.

Hearing Tamagawa Factors modulo $q - 1$
math.NT
v2


Patrick Erik Bradley

The Tamagawa factor w.r.t.\ the prime $p$ of an abelian variety $A$ over a non- archimedean local field $K$ is found to be congruent modulo $q - 1$ to the wavelet eigenvalues of a $p$-adic Laplacian integral operator on the $O_K$-rational points of its N\'eron model, where $q = p^f$ is the cardinality of the residue field of $K$. The method is to express the volume of the $K$-rational points of $A$ w.r.t.\ the canonical measure in terms of the local $L$-factor given by the Frobenius action on $\ell$-adic cohomolgy, and the Tamagawa factor; and then observe that this coincides with the Serre invariant of that compact $p$-adic analytic manifold modulo $q - 1$. A previous result by \'A.M.\ Ledezma and the author on hearing Serre invariants then yields the asserted congruence.

Sidon sets with $\Delta$-separated sumsets in additive number theory
math.NT
math.CO
v2


Melvyn B. Nathanson

The nonempty set $A$ of integers is $\Delta$-separated if $|a-a'| \geq \Delta$ for all $a,a' \in A$ with $a \neq a'$. The set $A$ is a $B_h$-set if every element of the sumset $hA$ has a unique representation as a sum of $h$ elements of $A$. A $B_2$-set is also called a Sidon set. A $B_{h,\Delta}$-set is a $B_h$-set whose sumset $hA$ is $\Delta$-separated. Upper and lower bounds are obtained for the cardinality of the largest $B_{2,\Delta}$-sets contained in the integer interval $\{1,2,\ldots, n\}$, that is, sets $A \subseteq \{1,2,\ldots, n\}$ such that, if $a,b,c,d \in A$ and $\{a,b\} \neq \{c,d\}$, then $|(a+b)-(c+d)| \geq \Delta$.

Sturmian lattices and Aperiodic tile sets
math.CO
math.DS
math.MG
math.NT
v4


Shigeki Akiyama, Tadahisa Hamada, Katsuki Ito

We give an explicit algorithm to construct aperiodic tile sets based on Sturmian words of quadratic slopes. The method works for any quadratic irrational slope, and we can produce infinitely many aperiodic tile sets whose underlying scaling constant is a unit of any real quadratic field. There are two key ingredients in our construction. The first one is ``Sturmian lattices''; an interesting grid structure generated by Sturmian words that emerged in an aperiodic monotile called Smith Turtle. We shall give a classification of Sturmian lattices. The second is the bounded displacement equivalence of Delone sets, which plays a central role in this construction.

Limits of Equi-Affine Equi-Distant Loci of Planar Convex Domains with Two Non-Parallel Asymptotes
math-ph
math.AG
math.DG
math.MP
math.NT
v3


Nikita Kalinin, Mikhail Shkolnikov

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

Product representations of polynomials over finite fields
math.CO
math.NT
v2


Hyunwoo Lee, Chi Hoi Yip, Semin Yoo

Erd\H{o}s, S\'ark\"ozy, and S\'os studied the asymptotics of the maximum size of a subset of $\{1,2,\ldots, N\}$ such that it does not contain $k$ distinct elements whose product is a perfect square. More generally, Verstra\"ete proposed a conjecture regarding the asymptotic behavior of the same quantity with the set of perfect squares replaced by the value set of a polynomial in $\mathbb{Z}[x]$. In this paper, we study a finite field analogue of Verstra\"ete's conjecture.

From some Pisot numerations to topological groups
math.DS
cs.FL
math.NT
v2


Olivier Carton, Jake Sudbery, Reem Yassawi

A Pisot numeration system $U$ for $\mathbb N$ is a sequence of natural numbers generated by an integral homogeneous linear recurrence whose characteristic polynomial is the minimal polynomial of a Pisot number. The purpose of this paper is to introduce the analogue of the group of $p$-adic integers for such numerations when they \emph{preserve zeros}, which is equivalent to the `Condition F' introduced by Frougny and Solomyak for $\beta$-numerations. We show that these topological groups $\mathbb Z_U$ project homomorphically onto a torus. Equipping $\mathbb Z_U$ with the appropriate topology, we also show that if $U$ is unimodular, then $\mathbb Z_U$ is continuously isomorphic to a torus.