Number Theory [math.NT]

Multiplicative dependence in the sumset of multiplicative groups
math.NT


Yuri Bilu, Florian Luca

Let $\Gamma$ and $\Delta$ be finitely generated multiplicative groups of algebraic numbers such that $\Gamma\cap\Delta$ is a finite group. We show that, up to finitely many exceptions, non-zero sums $x_1+y_1$ and $x_2+y_2$, with $x_1, x_2\in \Gamma$ and $y_1,y_2\in \Delta$, are multiplicatively dependent only if $x_1/x_2=y_1/y_2$ is a root of unity. For $m\ge 3$, we discuss possible shapes of $m$ multiplicatively dependent sums $x_1+y_1, \ \ldots, \ x_m+y_m$ with $x_1, \ldots, x_m \in \Gamma$ and $y_1, \ldots, y_m \in \Delta$. For $m=3$ we classify such sums, up to finitely many exceptions, assuming the $abc$-conjecture.

The Fine-Structure Hierarchy of Prime Biases and the Universal Dominance of $-1 \pmod N$
math.NT


Shin-ya Koyama

We investigate the deterministic hierarchy of prime distribution biases in arithmetic progressions modulo $N$ using a regularized spectral approach. Classical studies on Chebyshev's bias attribute prime races primarily to the accumulation of prime squares $p^2 \equiv 1 \pmod N$, which creates a systematic deficit in quadratic residue classes. However, this classical mechanism fails to explain or distinguish any bias among residue classes sharing identical quadratic residue status (e.g., $3, 5, 7 \pmod 8$). To overcome the long-standing analytical obstacles of jump discontinuities and non-convergent boundary fluctuations inherent in classical Perron-type step-function truncations, we introduce a smooth $C^\infty$ Gaussian mollifier into Weil's explicit formula for Dirichlet $L$-functions. By defining the spectrally normalized individual mollified sums $\widetilde S_T(x, a)$ and adopting the virtual character $\chi_{1,a}(x) := \mathbf{1}_{\{x \equiv 1 \pmod N\}} - \mathbf{1}_{\{x \equiv a \pmod N\}}$, the principal character component $\chi_0$ cancels identically since $1 - \overline{\chi_0}(a) = 0$. This automatic algebraic elimination erases both the universal logarithmic growth $\log x$ and the background noise $\log L(1, \chi^2)$. Under the Deep Riemann Hypothesis (DRH), we uncover a hitherto undetected \textbf{fine-structure bias} (or \emph{secondary bias}) strictly governed by the special values $\log L(1, \chi)$. We prove that $\widetilde S_T(x, \chi_{1,a}) := \widetilde S_T(x, 1) - \widetilde S_T(x, a) = C_N \cdot \log L(1, \chi_{1,a}) + \mathcal{O}((\log x)/\sqrt x)$ as $x \to \infty$, where $C_N > 0$ depends solely on $N$. Consequently, we establish a deterministic multi-way ranking (such as $7 > 3 > 5 > 1 \pmod 8$) that completely transcends the classical quadratic residue framework.

Small points in radical extensions of number fields
math.NT


Andrea Conti, Ilaria Del Corso, Arnaud Plessis, Lea Terracini

We study small points in radical extensions of algebraic fields. Given an algebraic extension $\mathbb{F}$ of $\mathbb{Q}$, a finitely generated subgroup $\Gamma\subseteq \mathbb{F}^\times$, and a rational prime $p$, we give a general criterion ensuring that $\mathbb{F}(\Gamma^{p-\mathrm{div}})\setminus \Gamma^{\mathrm{div}}$ has the Bogomolov property. This problem is motivated by a conjecture of R\'emond, formulated when $\mathbb{F}$ is a number field, predicting that such radical extensions contain no unexpected small points outside the divisible hull of the group used to generate them. As applications, we obtain new cases of R\'emond's conjecture for radical extensions generated by division points with respect to a finite set of primes, recovering and extending previous results of Amoroso and the third author. Our argument is based on a recent result on small points in $p$-adic Lie extensions.

Generalized Wieferich primes and monogenic trinomials
math.NT


Amy Falk, Joshua Harrington, Lenny Jones

Let $b\ge 2$ be an integer and let $p\ge 3$ be a prime. We say that $p$ is a {\em generalized Wieferich prime base $b$}, or more succinctly, a {\em base-$b$ Wieferich prime,} if $b^{p-1}\equiv 1 \pmod{p^2}$. When $b=2$, $p$ is also known simply as a Wieferich prime. Let $f(x)\in {\mathbb Z}[x]$ be a monic polynomial of degree $N\ge 2$. We say that $f(x)$ is monogenic if $f(x)$ is irreducible over ${\mathbb Q}$ and $\{1,\theta,\theta^2,\ldots,\theta^{N-1}\}$ is a basis for the ring of integers of ${\mathbb Q}(\theta)$, where $f(\theta)=0$. Recently, the third author proved that $x^{2p}+2x^p+2$ is monogenic if and only if $p$ is not a Wieferich prime. In this article, we generalize this result to $x^{2n}+bx^n+b$ with certain restrictions on $b\ge 2$ and $n\ge 3$.

An Introduction to p-adic Hodge Theory
math.NT


Olivia Dumitrescu, Kexuan Yang

This survey gives an introductory review of the classical Hodge theory, arithmetic geometry and algebraic number theory that inspires p-adic Hodge theory. Basic results in this new area developed by Tate, Faltings and Scholze are presented with corresponding mathematical constructions. Some background in algebraic geometry and algebraic topology is required

A sharp almost sure upper bound for partial sums of random multiplicative functions
math.NT
math.PR


Benjamin Durkan, Andrew Pearce-Crump

We prove that, for either a Steinhaus random multiplicative function or a Rademacher random multiplicative function $f$, and every $\eps>0$, almost surely $$ \left|\sum_{n\le x}f(n)\right|\ll_{\eps,f}\sqrt{x}(\log\log x)^{1/4+\eps}. $$ Together with Harper's almost sure lower bound, this determines the sharp logarithmic exponent in both models. This settles Harper's conjecture on the large fluctuations of random multiplicative functions.

On the size of $h$-fold sumsets
math.NT


Shi-Qiang Chen, Quan-Hui Yang

Let $h$ be a positive integer, and let $A$ be a finite set of integers. We derive an exact formula for $|hA|$. Furthermore, let $A=\{0,1,\ldots,s,a,b\}$, $1\leq s

The least quadratic residue and integers represented by quadratic forms
math.NT


Kannan Soundararajan, João C. C. Vargas

Let $\ell(n)$ denote the least non-trivial reduced quadratic residue modulo $n$; that is, $\ell(n)$ denotes the smallest square-free integer $r>1$ with $(r,n)=1$ and $r\equiv x^2 \bmod {n}$. We establish nearly optimal bounds for $\ell(n)$, both in terms of the magnitude of $n$ and of its number of prime factors $\omega(n)$. In particular, we construct moduli $n$ for which $\ell(n)$ is unexpectedly large. As an application of our results, we prove bounds for the rate at which binary quadratic forms with bounded discriminant represent all positive integers up to $N$.

On Generalized Chebyshev polynomials
math.NT


Taekyun Kim, Dae San Kim

In this paper, we introduce and study a novel family of generalized Chebyshev polynomials defined via a rational generating function. We demonstrate that the classical Chebyshev polynomials of the first, second, third, and fourth kinds naturally emerge as special cases of this framework. Furthermore, we derive comprehensive recurrence relations, tridiagonal determinant representations, and explicit closed-form expressions for these polynomials. We also establish some connections between the generalized Chebyshev polynomials and other classical sequences, including Morgan-Voyce polynomials, Fibonacci polynomials, and Fubini polynomials via Stirling numbers of the second kind. Finally, we examine the associated Euler-Seidel matrix and provide a continued fraction expansion for the quotient of consecutive polynomial terms.

Slice and Partition Rank Criteria for Polynomial Zero-Avoidance
math.CO
math.NT


Simone Costa, Stefano Della Fiore, Mattia Fontana

We study polynomial zero-avoidance over finite vector spaces by means of slice rank and partition rank. We first make the support-entropy method effective by showing how a finite dual certificate yields an explicit entropy gap whenever the coefficient support admits no probability distribution with uniform marginals. For the quadratic elementary symmetric polynomial over fields of characteristic three, the ternary structure of the coefficient support gives a certificate with optimal normalized margin and a uniform analytic bound for the corresponding higher-degree Erd\H{o}s--Ginzburg--Ziv constant, avoiding a separate optimization for each field. We then use partition rank to handle solutions in pairwise distinct variables. Equality profiles are encoded by contracted local tensors, reducing the global problem to finitely many slice-rank estimates. Applying this reduction on the multiplicative torus gives restricted-alphabet zero-sum bounds with exponential base below the alphabet size. Coordinatewise inversion and support stratification then yield, to the best of our knowledge, the first nontrivial exponential bound for the higher-degree Erd\H{o}s--Ginzburg--Ziv problem over $\mathbb{F}_5^n$ associated with the fourth elementary symmetric polynomial.

Monotonicity and absolute convexity of two functions involving Riemann zeta function
math.NT
math.CA
v3


Bai-Ni Guo, Feng Qi

Let $\rho>0$ be a constant, let $j\ge0$ be an integer, and let $\Gamma(z)$ denote the Euler gamma function. With the aid of the integral representation for the Riemann zeta function $\zeta(z)$, by virtue of a monotonicity rule, and by means of some properties of the function $\frac{1}{\operatorname{e}^t-1}$ and its derivatives, the authors discuss the increasing monotonicity of the function $t\mapsto\binom{t+\rho+j}{\rho}\frac{\zeta(t+\rho)}{\zeta(t)}$, where $\binom{z}{w}$ denotes the extended binomial coefficient, study the absolute convexity and logarithmic convexity of the function $t\mapsto\Gamma(t+j)\zeta(t)$, and derive the increasing monotonicity and inequalities of some sequences involving the ratios $\bigl|\frac{B_{2n+2}} {B_{2n}}\bigr|$ of the Bernoulli numbers $B_{2n}$.

The Hessian of elliptic curves as a Latt\`es map
math.NT
math.AC
math.AG
math.DS
v3


Marzio Mula, Federico Pintore, Daniele Taufer

We prove that the Hessian transformation of elliptic curves, both as an action on $j$-invariants and on the Hesse pencil, is a rigid Latt\`es map fitting into a reduced diagram, hence it lifts to a degree-$3$ endomorphism $\psi$ of a prescribed elliptic curve $E$. This result provides an effective tool to investigate the dynamics of the Hessian transformation, whose symmetries are inherited from those of $\psi$, which we characterize. In particular, over arbitrary fields of characteristic different from $2$ and $3$, the functional graphs of the Hessian and, more generally, of Latt\`es maps fitting into analogous reduced diagrams, are completely determined by the action of $\psi$ on the twists of $E$. When the underlying field is finite, we specialize these results to obtain a complete classification of Hessian functional graphs and derive an efficient method for computing iterated Hessians.

$p$-twisted Selmer near-companion curves
math.NT
v3


Minseok Kim

Let $E_1$ and $E_2$ be elliptic curves over a number field $K$. In \cite{scc}, Mazur and Rubin define the concept of $n$-Selmer near-companions and conjecture that if $E_1$ and $E_2$ are $n$-Selmer near-companions over $K$, then $E_1[n]$ is $G_K$-isomorphic to $E_2[n]$. Yu proves the conjecture on $n$-Selmer near-companion curves in the case $n=2$. We we introduce the notion of $p$-twisted Selmer near-companions ($p$-TSNC) over $K$ and prove that if $E_1$ and $E_2$ are $p$-TSNC over $K$, then $K(E_1[p])=K(E_2[p])$ under certain conditions.

New Congruences on Biregular Overpartitions
math.NT
v4


N. K. Meher, Sourav Bhowmick

Recently, Nadji, Ahmia and Ram\'{i}rez \cite{Nadji2025} investigated the arithmetic properties of ${\bar B}_{\ell_1,\ell_2}(n)$, the number of overpartitions where no part is divisible by $\ell_1$ or $\ell_2$ with $\gcd(\ell_1,\ell_2)$$=1$ and $\ell_1$, $\ell_2>1$. Specifically, they established congruences modulo $3$ and powers of $2$ for the pairs $(\ell_1, \ell_2)$ $\in$ $\{(4,3),(4,9),(8,3),(8,9)\}$, using the concept of generating functions, dissection formulas and Smoot's implementation of Radu's Ramanujan-Kolberg algorithm. Further, Alanazi, Munagi and Saikia \cite{Alanazi2024} established some congruences for the pairs $(\ell_1,\ell_2)$ $\in$ $\{(2,3),(4,3),(2,5),(3,5),(4,9),(8,27),(16,81)\}$ using the theory of modular forms and Radu's algorithm. Recently, Paudel, Sellers and Wang \cite{Paudel2025} extended several of their results and established infinitely many families of new congruences. In this paper, we find infinitely many families of congruences modulo $3$ and powers of $2$ for the pairs $(\ell_1,\ell_2)$ $\in$ $ \{(5,2^t), (4,3^t)\}$ $\forall t\geq1$ with $t\in\mathbb{N}$ and for $(3,2^t)$ $\forall t\geq2 $ with $t\in\mathbb{N}$, using the theory of Hecke eigenforms, an identity due to Newman \cite{Newman1959}, the concept of dissection formulas.

Additive relations in irrational powers
math.NT
math.CO
v3


Joseph Harrison

We investigate the interaction between raising to an irrational power and addition of real numbers. Thus, for a finite set $A$ of non-negative real numbers, let $A^{[c]} = \{a^c : a \in A\}$. When $k$ is a positive integer, $c$ is a real irrational number, and $A$ is a subset of an $N$-term arithmetic progression in $\mathbb{R}_{\geq 0}$ having cardinality at least a power of $\log{N}$, we prove that the $k$-fold sumset $|kA^{[c]}| \sim_k |A|^k/k!$ as $|A| \to \infty$. This result is uniform in $c$. When $A = \{1, \dots, N\}$ and $k = 2$, this result can be combined with existing works to show that $|A^{[c]} + A^{[c]}| \sim N^2/2$ as $N \to \infty$ whenever $c \in \mathbb{R} \setminus \{0, 1, 2\}$. The sumset lower bound follows from a bound on the number of equal sums of $r$ and $s \geq r$ elements of $A^{[c]}$ (by taking $r = s = k$). When $r = s = 2$ or $s > r$, our bound is optimal up to a power of $\log N$. This bound is proved using a functional transcendence theorem for certain endomorphisms of $\mathbb{R}_{>0}^n$, and innovations in the Pila--Wilkie counting theorem in $\mathbb{R}_{\exp}$ due to Binyamini, Novikov and Zak. In a different direction, we provide a Diophantine approximation criterion on $c$ that, when satisfied, ensures that a linear form in the $c$-th powers of multiplicatively independent integers does not vanish. The proof involves linear forms in logarithms. This provides a new proof of a fact, due to Bays--Kirby--Wilkie and Jones--Servi, that when $A$ is a multiplicatively independent set of positive integers, there are infinitely many effectively computable real numbers $c$ such that $A^{[c]}$ is linearly independent over $\mathbb{Q}$.

Weighted error-sum identities for periodic continued fractions and their generalizations
math.NT
v2


Kevin Calderon, Nikita Kalinin

For a purely $N$-periodic continued fraction $\xi=[\overline{a_0,a_1,\dots,a_{N-1}}]=[a_0,a_1,\cdots]$, with $a_k=a_{k+N}$ for all $k\ge 0$, and convergents $h_n/k_n=[a_0,a_1,\dots,a_n]$, we obtain explicit expressions for the weighted error sums $f_\xi(s)=\sum a_{n+1}\lvert h_n-\xi k_n\rvert^s$ for $s>1$. A key observation is that, for each residue class $k_0\in{0,1,\dots,N-1}$, the subsequence of approximation errors $(h_k-\xi k_k)$ with $k\equiv k_0 \pmod N$ forms a geometric progression. In addition, we extend our methods to generalized continued fractions with numerators $(b_n)$, obtaining Euler-type identities and weighted error-sum formulae for $\pi$ and $\ln 2$.

Monodromy groups of polynomials of composition length 2
math.NT
math.GR
v2


Angelot Behajaina, Joachim König, Danny Neftin

We study the monodromy groups of compositions of two indecomposable polynomials. In particular, we show that such monodromy groups either fulfill a certain ``largeness" property, or belong to an explicit list of exceptions. Such largeness results are crucial for dealing with compositions of more than two polynomials, and consequently are expected to have a wide range of applications to problems concerning the arithmetic of polynomials and arithmetic dynamics. In particular, our main result is a key ingredient in the solution of a long-standing open problem due to Davenport, Lewis and Schinzel, achieved in a companion paper.

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


Kejun Liu

Finite matrices can carry nontrivial algebraic spectral curves when their entries contain a multivalued response. We study a two-channel operator pencil with scalar power law $z^\beta$ and $J$-self-adjoint coefficient matrices. If $\beta=r/n$ is in lowest terms, then, away from an explicit degenerate locus, the normalized determinant curve is a degree-two cover of genus $n-1$: rational for $n=1$, elliptic for $n=2$, and hyperelliptic for $n\geq3$. Thus the generic genus in this class depends on the denominator of the response exponent, not its numerator. A birational reduction gives a hyperelliptic normal form with cyclic symmetry; the numerator remains in the cyclic character of the coupling function. Here $\lambda$ is a complexified coupling coordinate: the curve is the joint $(z,\lambda)$ determinant locus, not a fixed-coupling spectrum. For an irrational exponent, local monodromy has infinite order and no finite-sheeted response cover makes the power meromorphic. On a fixed logarithmic branch and at fixed coupling, rational approximants converge uniformly on compact sets. Negative exponents in $(-1,0)$ arise from a causal Volterra kernel and as locally uniform limits of cutoff continuum-bath Schur complements. This separates finite probe channels from the nonlocal memory producing the branching. For the exact leading infrared monomial model of a zero-temperature conformal response with rational $2h_{\rm probe}$, the generic probe curve has genus $\operatorname{den}(2h_{\rm probe})-1$. For the fundamental fermion in the leading large-$N$, strong-coupling, zero-temperature saddle of the even $q>2$ Sachdev--Ye--Kitaev model, this becomes $q/2-1$. These statements concern the joint determinant family of the monomial infrared model, not a completed response or fixed-coupling physical spectrum. Denominator two fixes genus one, but not the elliptic modulus.

Discrete Fourier Transform Approach to Cyclically Covering Subspaces of $\mathbb{F}^n_q$
math.NT
v2


Yangcheng Li, Pingzhi Yuan

Let $q$ be a prime power and $n$ a positive integer. A subspace \( U \subseteq \mathbb{F}_q^n \) is called cyclically covering if the union of all its cyclic shifts covers the whole space \( \mathbb{F}_q^n \). Let \( h_q(n) \) denote the maximum possible codimension of such a subspace. When \(\gcd(q,n)=1\), we derive necessary and sufficient conditions for \(h_q(n)=0\) via Discrete Fourier Transforms, and prove this equality is equivalent to the existence of full-weight codewords in cyclic codes of \(\mathbb{F}_q^n\). We also characterize codimension-$k$ cyclically covering subspaces. {Under suitable coprimality conditions on \(m,n\) and on the multiplicative orders of \(q\), we prove that the vanishing of \(h_q(m)\) and \(h_q(n)\) is preserved under their product.} Based on these results, we give a unified characterization of \(h_q(n)\) in the case where $q$ and $n$ are primes with \(n>q\) and $q$ being a primitive root modulo $n$. Specifically, \(h_2(n) \geq 2\) and \(h_q(n) = 0\) for \(q \neq 2\). We prove that \(h_3(n) \ge 1\) for every prime \(n > 3\) with odd \(\operatorname{ord}_n(3)\). Moreover, for any prime \(q > 3\), the Generalized Riemann Hypothesis implies the existence of infinitely many primes \(n > q\) such that $q$ is not a primitive root modulo $n$ and \(h_q(n) = 0\). We provide algebraic interpretations for the inequalities \(h_q(mn)\ge\max\{h_q(m),h_q(n)\}\) and \(h_q(mn)\ge h_q(m)+h_q(n)\). Using Galois descent, we prove \(h_{q^m}(n)\le h_q(n)\). Furthermore, we generalize a class of constructions that achieve the upper bound \(\lfloor\log_q(n)\rfloor\). Finally, under the Generalized Riemann Hypothesis, we obtain average lower bounds of \(h_q(n)\) for $q=2,3$.

A motivic Fundamental Lemma
math.AG
math.LO
math.NT
v5


Arthur Forey, François Loeser, Dimitri Wyss

In this paper we prove motivic versions of the Langlands-Shelstad Fundamental Lemma and Ng\^o's Geometric Stabilization. To achieve this, we follow the strategy from the recent proof by Groechenig, Wyss and Ziegler which avoided the use of perverse sheaves using instead $p$-adic integration and Tate duality. We make a key use of a construction of Denef and Loeser which assigns a virtual motive to any definable set in the theory of pseudo-finite fields.

Construction of Brooks-Lindenstrauss kernels on affine buildings of arbitrary reduced type, with applications
math.CA
math.DS
math.GR
math.NT
math.RT
v2


Jean-Philippe Anker, Bertrand Rémy, Bartosz Trojan

This article deals with harmonic analysis on affine buildings. Its main goal is to construct suitable kernels associated to a discrete multitemporal wave equations on the latter spaces, the long-standing motivation being to contribute to progress in arithmetic quantum unique ergodicity (AQUE) on certain Riemannian manifolds.

Semi-continuity for conductor divisors of \'etale sheaves
math.AG
math.NT
v2


Haoyu Hu, Jean-Baptiste Teyssier

In this article, we prove a semi-continuity property for both conductor divisors and logarithmic conductor divisors for \'etale sheaves on higher relative dimensions in a geometric situation. It generalizes a semi-continuity result for conductors of \'etale sheaves on relative curves to higher relative dimensions, and it can be considered as a higher dimensional $\ell$-adic analogy of Andr\'e's result on the semi-continuity of Poincar\'e-Katz ranks of meromorphic connections on smooth relative curves.

Characteristic cycle and wild Lefschetz theorems
math.AG
math.NT
v3


Haoyu Hu, Jean-Baptiste Teyssier

By relying on a new approach to Lefschetz type questions based on Beilinson's singular support and Saito's characteristic cycle, we prove an instance of the wild Lefschetz theorem envisioned by Deligne. Our main tool are new finiteness results for the characteristic cycles of perverse sheaves.

Ping-pong in the projective plane over a nonarchimedean field
math.GR
math.NT
v2


Sami Douba, Dmitry Kubrak, Konstantinos Tsouvalas

We show that any lattice in $\mathrm{SL}_3(k)$, where $k$ is a nonarchimedean local field, contains an undistorted subgroup isomorphic to the free product $\mathbb{Z}^2*\mathbb{Z}$. To our knowledge, the subgroups we construct give the first examples in the literature of finitely generated discrete subgroups of nonarchimedean Lie groups that are not virtually isomorphic to lattices in such Lie groups. Our result is in contrast to the case of $\mathrm{SL}_3(\mathbb{Z})$, in which the existence of a $\mathbb{Z}^2*\mathbb{Z}$ subgroup remains open.

Unboundedness of zero-cycles on higher dimensional Fano manifolds
math.AG
math.NT
v2


Claire Voisin

We show that, unlike del Pezzo surfaces, higher dimensional Fano manifolds do not satisfy in general boundedness properties for their ${\rm CH}_0$ group of $0$-cycles. For example, for quartic threefolds having a point of odd degree, there is no ``Coray type" uperbound on the minimal odd degrees of points. Also, the ${\rm CH}_0$-group of Fano hypersurfaces can be ``unbounded'' (a notion which is related to infinite dimensionality in the sense of Mumford), meaning that there is no integer $N$ such that $0$-cycles of degree at least $N$ are effective.

On non-freeness of groups generated by two parabolic matrices with rational parameters: limit points and the orbit test
math.GR
math.GT
math.NT
v3


Wonyong Jang, Dongryung Yi

For $\alpha \in \mathbb{R}$, let $$G_{\alpha}:= \left< \begin{bmatrix} 1 & 1 \\ 0 & 1 \end{bmatrix} , \begin{bmatrix} 1 & 0 \\ \alpha & 1 \end{bmatrix} \right> < \mathrm{SL}_2 (\mathbb{R}).$$ K. Kim and the first author established the orbit test, which provides a sufficient condition for $G_{\alpha}$ not to be a free group of rank 2. In this article, we present two main applications of the orbit test. First, using the corresponding modulo homomorphism, we show that the converse of the orbit test does not hold. In particular, we construct explicit counterexamples, all of which are rational. As another application, we prove that $$ \frac{2 n_3 + 2 n_5 - 1}{n_3 n_4 (2 n_5 - 1)} \quad \quad (n_3, n_4 \neq 0)$$ is a limit point of limit points of non-free rational numbers. Moreover, we prove that $$3 + \frac{3}{2 (9 n - 1)} \quad \text{and} \quad 3 + \frac{9 n + 5}{3 (2 n + 1) (9 n + 4)}$$ are non-free rational numbers which converge to $3$. Their construction relies on the orbit test together with a modified Pell's equation.

On the G\"ollnitz-Gordon-Andrews identities via commutative algebra
math.CO
math.NT
v2


Rupam Barman, Alapan Ghosh, Gurinder Singh

The G\"ollnitz-Gordon-Andrews identities generalize the classical partition identities discovered independently by H. G\"ollnitz and B. Gordon. These are Rogers-Ramanujan-type identities involving generating functions of partitions satisfying certain kinds of difference conditions on the one hand and infinite periodic products on the other. In 2021, Afsharijoo provided a commutative algebra proof of the Rogers-Ramanujan-Gordon identities. Building on Afsharijoo's approach, we investigate the G\"ollnitz-Gordon-Andrews identities using techniques from commutative algebra. More generally, we establish a broader family of identities, of which the G\"ollnitz-Gordon-Andrews identities arise as special cases. Our approach interprets the associated generating functions in terms of Hilbert-Poincar\'e series of suitably constructed graded algebras, providing the first commutative algebra framework for these identities.

The natural extension of the $(-\beta)$-transformation
math.DS
math.NT
v2


Shigeki Akiyama, Hiromi Ei, Hiroaki Ito

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.