Number Theory [math.NT]

Non-standard Zeckendorf decompositions; or, Tribonacci within Fibonacci

math.NT

math.CO

We study $B(n;k)$, the number of ways of writing $n$ as a sum or difference of the first $k$ Fibonacci numbers. We show that $B(0;k)$ satisfies the Tribonacci-like recurrence $B(0;k+1)=B(0;k)+B(0;k-1)+B(0;k-2)$ and that $B(n;k)$ satisfies a modified version of this recurrence.

Gaussian Behavior and Geometric Gaps in Decompositions from Recurrences with Zero Coefficients

math.NT

Zeckendorf's theorem establishes a unique representation for positive integers as sums of non-consecutive Fibonacci numbers. This result has been generalized to Positive Linear Recurrence Sequences (PLRS), where key statistical properties, such as the Gaussian distribution of summands, depend on strictly positive recurrence coefficients. This paper investigates the consequences of relaxing this condition by studying \textit{Zero Linear Recurrence Relations (ZLRRs)}, where the leading coefficient is zero ($c_1=0$). Focusing on the \textit{Lagonacci sequence} ($Z_{n+1}=Z_{n-1}+Z_{n-2}$) as a primary case study, we demonstrate that while the uniqueness of decompositions is lost, fundamental statistical behaviors persist. We prove that the number of summands in the canonical greedy decomposition converges to a \textit{Gaussian distribution} and that the distribution of gaps between indices decays \textit{geometrically}. Furthermore, we utilize the \textit{principle of equivalence of ensembles} to show these properties are robust for a wide class of ZLRRs. Finally, we quantify the non-uniqueness of these systems, proving that the number of legal decompositions grows \textit{exponentially} at a rate $\alpha =2$, significantly exceeding the growth of the underlying sequence.

Extremal densities for forbidden configurations in $S$-smooth numbers

math.NT

math.CO

Let $S = \{p_1,\dots,p_r\}$ be a finite set of distinct primes, let $\Psi_S(X)$ be the number of $S$-smooth integers not exceeding $X$, and let $F_S(X)$ be the maximum size of a subset of $M(S) \cap [1,X]$ containing no set $\{n,p_1 n,\dots,p_r n\}$. We prove that $ F_S(X)=\frac{r}{r+1}\Psi_S(X)+O_S\bigl((\log X)^{r-1}\bigr) $ as $X \to \infty$, and equivalently that $ f_S(k)=\frac{r}{r+1}k+O_S\bigl(k^{(r-1)/r}\bigr) $ for the corresponding extremal function on the first $k$ $S$-smooth numbers. We also relate this problem to the analogous extremal problem on the full interval $[1,N]$. Using the classical theory of such forbidden configurations, we obtain a representation of the corresponding density constant $\alpha_S$ in terms of the increments of $f_S$, along with nested computable bounds and a recursive formula for the reciprocal tail over $S$-smooth numbers. We further show that rational reciprocal sums over $S$-smooth denominators need not arise from eventually periodic binary sequences. In the classical case $S=\{2,3\}$, we derive an explicit tail formula and prove two structural propositions for optimal sets.

Belyi map verification using certified path tracking

math.NT

math.AG

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

Uniform estimates for Delannoy numbers and dimension-free estimates for discrete maximal functions over cross-polytopes

math.NT

math.CA

math.CO

We prove a uniform upper and lower bound for Delannoy numbers. This is achieved by using the representation of Delannoy numbers as the number of lattice points in high-dimensional cross-polytopes (also known as hyper-octahedrons or $\ell^1$ balls) and proving a uniform (dimension-free) count for these lattice points. Using this count, we establish dimension-free estimates for discrete maximal functions over cross-polytopes. By proving a comparison principle with the continuous setting, we obtain a dimension-free estimate on all $\ell^p(\mathbb{Z}^d)$ spaces for radii $R>C d^{3/2}.$ We also treat the full maximal function on $\ell^2(\mathbb{Z}^d)$ for small radii $R\le d^{1-\varepsilon}$ and the dyadic maximal function for any radii.

On the surjectivity of $(T)$-adic Galois Representations of Drinfeld $A$-Modules of Rank 2 and 3: Density results

math.NT

Let $\mathbb{F}_{q}$ be a finite field, and $A:=\mathbb{F}_{q}[T]$. In this article, we give explicit criteria, involving concrete valuations, on the coefficients of the Drinfeld $A$-modules of rank $r$ for $r=2,3$, which ensure the surjectivity of the associated $(T)$-adic Galois representation. As a result, we shall calculate the densities of such Drinfeld $A$-modules.

On a question of Astorg and Boc Thaler

math.DS

math.NT

v4

Astorg and Boc Thaler studied the dynamics of certain skew-product tangent to the identity on $\mathbb{C}^2$, with two real parameters $\alpha>1$ and $\beta$ derived from its coefficients. They proved that if there exists an increasing sequence of positive integers $(n_k)_{k\geqslant 1}$ such that $(\sigma_k)_{k\geqslant 1}:=(n_{k+1}-\alpha n_k-\beta\ln n_k)_{k\geqslant 1}$ converges, then $f$ admits wandering domains of rank one. They also proved that for $\alpha>1$ with the Pisot property, the condition that $\theta:=\frac{\beta\ln\alpha}{\alpha-1}$ is rational is sufficient for the existence of $(n_k)_{k\geqslant 1}$ such that $(\sigma_k)_{k\geqslant 1}$ converges to a cycle. They asked if this condition is necessary. When $\alpha$ is an algebraic number, we answer the question of Astorg and Boc Thaler in the affirmative. Furthermore, denoting by $P(x)\in\mathbb{Z}[x]$ the minimal polynomial of~$\alpha$, we prove that $\theta\in\frac{1}{P(1)}\mathbb{Z}$ is necessary and sufficient for the existence of $(n_k)_{k\geqslant 1}$ such that $(\sigma_k)_{k\geqslant 1}$ converges. Combined with the work of Astorg and Boc Thaler, our result provides explicit new examples of skew-products on $\mathbb{C}^2$ with wandering domains of rank one.

Matsuki duality for loop groups

math.RT

math.AG

math.NT

We establish versions of Matsuki duality for loop groups. The main result is a bijection between symmetric loop group orbits and real polynomial loop group orbits on the affine Grassmannians or affine flag varieties. Along the way we obtain orbit parametrizations and make connections with vector bundles on real and twistor-$\mathbb P^1$ and Kottwitz sets .

Sums of two symbols in $K_2(F)/2K_2(F)$ in characteristic two

math.KT

math.NT

In this paper, study sums $A=\{a,b\}_2+\{c,d\}_2$ of two symbols in $K_2(F)/2K_2(F)$ when $\operatorname{char}(F)=2$. We first prove a chain lemma that connects $A$ to $B=\{\alpha,\beta\}_2+\{\gamma,\delta\}_2$ by a finite sequence of small steps when $A \equiv B$. We use this lemma to prove that $\{a,b,c,d\}_2 \in K_4(F)/2K_4(F)$ is a well-defined invariant of $A$, and that this invariant is trivial if and only if $A$ is congruent to a single symbol in $K_2(F)/4K_2(F)$. We also bound the symbol length of $C$ in $K_2(F)/2^m K_2(F)$ from above when $C$ is the sum of up to four symbols in $K_2(F)/2^{m+1}K_2(F)$.

Adolf Hurwitz and the Fundamental Theorem of Galois Theorie: The K\"onigsberg Lectures of 1890-1891

math.HO

math.NT

In the winter semester of 1890--1891 Adolf Hurwitz delivered a lecture course at the Albertina University in K\"onigsberg entitled -Theorie der algebraischen Gleichungen-. These lectures contain a particularly clear presentation of the ideas of Evariste Galois and, in particular, a proof of the fundamental theorem of Galois theory formulated in the language of substitutions. The present paper analyzes Hurwitz's treatment of this result on the basis of his lecture notes preserved in the ETH Library in Zurich (Hs 582:66), together with material from his Mathematisches Tagebuch 23 (Hs 582:23). After placing the K\"onigsberg lectures in their historical context, we give an overview of their mathematical content and reconstruct in detail Hurwitz's argument leading to the fundamental theorem.

The Kodaira dimension of Hilbert modular threefolds

math.NT

math.AG

v3

Following a method introduced by Thomas-Vasquez and developed by Grundman, we prove that many Hilbert modular threefolds of arithmetic genus $0$ and $1$ are of general type, and that some are of nonnegative Kodaira dimension. The new ingredient is a detailed study of the geometry and combinatorics of totally positive integral elements $x$ of a fractional ideal $I$ in a totally real number field $K$ with the property that $\mathop{\mathrm{tr}} xy < \mathop{\mathrm{min}} I \mathop{\mathrm{tr}} y$ for some $y \gg 0 \in K$.

Division polynomials for arbitrary isogenies

math.NT

cs.CR

math.AG

v3

Following work of Mazur-Tate and Satoh, we extend the definition of division polynomials to arbitrary isogenies of elliptic curves, including those whose kernels do not sum to the identity. In analogy to the classical case of division polynomials for multiplication-by-n, we demonstrate recurrence relations, identities relating to classical elliptic functions, the chain rule describing relationships between division polynomials on source and target curve, and generalizations to higher dimension (i.e., elliptic nets).

Balanced rectangles over Sturmian words and minimal discrepancy intervals

math.NT

math.CO

v2

We consider $m\times n$ rectangular matrices formed from Sturmian words with slope $\alpha$, and we fully characterise their balance properties in terms of the Ostrowski representations of $m$ and $n$ with respect to $\alpha$. This generalises recent results by Anselmo et al., as well as those by Shallit and the author, where only quadratic irrational slopes were considered. In contrast to the two mentioned papers, the approach in this paper is based on the distribution of $n\alpha \bmod 1$.

Boundary Cohomology of Sp6(Z): Trivial Representation

math.NT

math.AG

v2

In this article, we compute the boundary cohomology of the arithmetic group Sp6(Z) with coefficients in the trivial representation. Our computation utilizes the Borel-Serre compactification and the associated spectral sequence.

Computer vision and converse theorems

math.NT

v2

Random matrices provide a well-established statistical model for a range of arithmetic phenomena. In this paper, we investigate the extent to which one- and two-dimensional convolutional neural networks (CNNs) can distinguish between arithmetic data arising from elliptic curves with conductor in a fixed interval and random matrix data drawn from the same Sato-Tate distribution. Inspired by converse theorems in the Langlands program, we represent each elliptic curve together with its twists as a vector field and, subsequently, encode that vector field as a digital image. We observe that a two-dimensional CNN trained on this image data is better able to separate conductor families from random matrix data than a one-dimensional CNN trained on vectors of Frobenius traces without twisting data. We also observe that the same two-dimensional architecture can predict the analytic rank of an elliptic curve, and it does so by factoring through the (untwisted) Frobenius traces.

Infinite sumsets in $U^k(\Phi)$-uniform sets

math.DS

math.CO

math.NT

v2

Extending recent developments of Kra, Moreira, Richter and Roberson, we study infinite sumset patterns in $U^k(\Phi)$-uniform subsets of the integers, defined via the local uniformity seminorms introduced by Host and Kra. We relate the degree $k$ of a $U^k(\Phi)$-uniform set to the existence of a rich variety of sumset patterns. As a counterpart, we stablish higher order parity obstruction to sumsets arising from nilsystems. We also provide examples of $U^k(\Phi)$-uniform sets for applications, including sets arising from the Thue-Morse and Rudin-Shapiro sequences.