Birkhoff genericity on affine subspaces in horospheres

2026-06-06T14:36:16Z

We study Birkhoff genericity for a simple uniformly expanding diagonal flow on $\mathrm{SL}_{n+1}(\mathbb R)/\mathrm{SL}_{n+1}(\mathbb Z)$, with initial points restricted to affine subspaces of the expanding horospherical orbit through the identity coset. We prove that almost every point on such an affine subspace is Birkhoff generic, except possibly in two situations: either the defining matrix of the affine subspace has Diophantine exponent at least $n$, or the affine subspace is arbitrarily well approximable by affine subspaces of dimension $(r-1)$ defined over a real number field of degree $m\ge 2$, with $n+1=mr$. As applications, we obtain Dirichlet non-improvability and logarithmic density results for almost every point on these affine subspaces.

Arithmetic exceptionality of generalized Chebyshev polynomials of the second kind

2026-06-06T12:03:23Z

In this paper, we show that generalized Chebyshev polynomials of the second kind, associated with the root system $A_2$, are not arithmetically exceptional. We achieve this by studying the norms of certain cyclotomic elements that admit a parametrization of finite fields.

$P$-adic $L$-functions: $t$-modules and Dirichlet-Goss $L$-series

2026-06-06T10:17:00Z

We prove that the order of vanishing of a natural twist of the $P$-adic Carlitz zeta values at the positive "even" integers is always $1$. We also obtain the same result for $P$-adic Pellarin $L$-series, and for almost all $P$-adic Dirichlet-Goss $L$-series. To do so, we demonstrate a $P$-adic version of a reduced variant of the class formula for Anderson $t$-modules proven by Anglès, Ngo Dac and Tavares-Ribeiro in 2020.

Gcd-closed sets and divisibility among power LCM matrices

2026-06-06T09:52:22Z

Let $a,b$ and $n$ be positive integers and let $S=\{x_1, \cdots, x_n\}$ be a set of $n$ distinct positive integers. For $x\in S$, one defines $G_{S}(x)=\{d\in S: d

Measure rigidity and equidistribution for fractal carpets

2026-06-06T09:44:54Z

Let $θ$ be a Bernoulli measure which is stationary for a random walk generated by finitely many contracting rational affine dilations of $\mathbb{R}^d$, and let $\mathcal{K} = \mathrm{supp}(θ)$ be the corresponding attractor. An example in dimension $d=1$ is the Hausdorff measure on Cantor's middle thirds set, and examples in higher dimensions include missing digits sets, Sierpiński carpets and Menger sponges. Let $ν$ denote the image of $θ$ under the map $\mathcal{K} \to \mathrm{SL}_{d+1}(\mathbb{R})/\mathrm{SL}_{d+1}(\mathbb{Z})$ which sends $x$ to the lattice $Λ_x = \mathrm{span}_{\mathbb{Z}}(e_1,\ldots,e_d,e_{d+1} + (x,0))$. We prove equidistribution of the pushforward measures $a_{n*}ν$ along any diverging sequence of diagonal matrices $(a_n)\subset\mathrm{SL}_{d+1}(\mathbb{R})$ that expand the first $d$ coordinates under a natural non-escape of mass condition. The latter condition is known to hold whenever $θ$ is absolutely friendly. We also show that weighted badly approximable vectors and Dirichlet-improvable vectors (for arbitrary norm) form a subset of $\mathcal{K}$ of $θ$-measure zero. The key ingredient is a measure classification theorem for the stationary measures of an associated random walk on an $S$-arithmetic space, introduced by the two first-named authors in earlier work. A new feature of this setting is that this random walk admits stationary measures which are not invariant.

On new identities connecting Ramanujan-Göllnitz-Gordon continued fraction and Ramanujan's continued fraction of order four

2026-06-06T09:17:02Z

By employing the classical tools from the theory of $q$-series and theta functions, new fascinating identities on different continued fractions can be achieved. In this article, we use the product expansion of Jacobi's theta function to establish identities that connect Ramanujan-Göllnitz-Gordon continued fraction with Ramanujan's continued fraction of order four. Also, we obtain Lambert series identities using Ramanujan's $_1 ψ_1$ summation formula.

On Ramanujan's Continued Fractions of Orders Five, Ten, and Twenty and Associated Lambert Series Identities

2026-06-06T08:59:05Z

In this work, we establish several new identities connecting Ramanujan's continued fractions of order twenty. By employing product representation for Jacobi's theta function $θ_1$, we derive a family of new relations connecting the continued fractions of order twenty with continued fractions of order ten and Rogers-Ramanujan continued fraction. Further, utilizing certain mock theta functions and their logarithmic derivatives, we obtain beautiful relations between Lambert series and theta functions of level twenty. Using Ramanujan's $_1 ψ_1$ summation formula, we establish Lambert series identities associated with the continued fractions of order twenty. These results extend earlier work on continued fractions of order 6, 12, and 16 and contribute to theory of $q$-series.

A criterion for weighted uniform distribution along functions from a Hardy field

2026-06-06T08:02:27Z

A classical theorem of Boshernitzan states that if $f$ is a function which belongs to a Hardy field and which satisfies $|f(x)|\prec x^{\ell}$ for some $\ell\in \mathbb{N}$, then the sequence $(f(n))_{n\in \mathbb{N}}$ is uniformly distributed modulo 1 if and only if $\lim_{x\to\infty}\frac{|f(x)-p(x)|}{\log(x)} = \infty$ for all $p(x)\in \mathbb{Q}[x]$. We provide a new proof of this result using methods from summability theory and we extend Boshernitzan's criterion by obtaining necessary and sufficient conditions for $f$ to be uniformly distributed modulo 1 with respect to a broad class of weighted averages. As an application of our results, we show that for the function $f(x) = x^{3/2}$ and for any $(a,b)\subset [0,1]$, and all sufficiently large $N\in\mathbb{N}$, there is an $n\in [N-N^{\frac{1}{4}},N]$ such that $f(n)\mod 1\in (a,b)$.

Monogenity of Fibonacci polynomials and Lucas polynomials

2026-06-06T07:33:42Z

We investigate the monogenity of irreducible factors of the Fibonacci polynomials $F_n(x)$ and the Lucas polynomials $L_n(x)$. Our main results show that for every odd positive integer $n$, all irreducible factors of $F_n(x)$ are monogenic, and for every even positive integer $n$, all irreducible factors of $L_n(x)$ are monogenic.

On the sequence $\mathrm{gcd}(a^n-1,b^n-1)$

2026-06-06T03:32:30Z

For integers $a,b\ge 2$, let \[ g_n:=\gcd(a^n-1,b^n-1)\qquad(n\ge 1). \] We study the sequence $(g_n)$ from the perspective of divisibility sequences and the Ailon--Rudnick problem. We prove that $(g_n)$ satisfies a constant-coefficient linear recurrence if and only if $a$ and $b$ are multiplicatively dependent. More generally, if $a$ and $b$ are multiplicatively independent, then every integer linear divisibility sequence $(W_n)$ satisfying \[ W_n\mid a^n-1 \qquad\text{and}\qquad W_n\mid b^n-1 \qquad(n\ge 1) \] is periodic. We also determine the local structure of $(g_n)$ through an exact support formula and an exact odd-prime valuation formula. In the normalized setting $\gcd(a-1,b-1)=1$, these formulas identify the bad set $\{n\ge 1:g_n>1\}$ as an explicit union of arithmetic progressions. Finally, we obtain several structural reductions toward the integer Ailon--Rudnick conjecture, including primitive-support, prime-power-ray, prime-index, and resultant formulations.

Minkowski shapes of pure number fields

2026-06-06T03:19:40Z

We study the Minkowski shape of pure number fields \[ K_a=\mathbb Q(θ),\qquad θ^n=a. \] For admissible parameters satisfying an explicit local hypothesis at the primes dividing $n$, we prove a discrete--archimedean factorization \[ \mathrm{sh}(K_a)=\bigl[C(a)^{\mathsf T}\mathrm{diag}\bigl(s_1(a),\dots,s_{n-1}(a)\bigr)C(a)\bigr], \] where the $s_m(a)$ arise from normalized monomials and $C(a)\in\mathrm{GL}_{n-1}(\mathbb Q)$ comes from a normalized integral basis. This yields a uniform odd/even rigidity dichotomy: for every odd $n\geq 3$, the Minkowski shape is a complete invariant among admissible pure degree-$n$ fields, whereas for $n=2r$ it determines the core field $\mathbb Q(|a|^{1/r})$; on the squarefree admissible subfamily it is complete up to sign, although infinitely many non-isomorphic pairs $K_a$ and $K_{-a}$ have the same shape. We also derive explicit formulas for $|\mathrm{disc}(K_a)|$, including exponent-vector and divisor-lattice factorizations. Finally, we show that the pure-field shape locus is supported on rational diagonal leaves in shape space: unconditionally it lies in a countable union of closed leaves, while under the same local hypothesis only finitely many leaves occur in each fixed degree. On a fixed normalized stratum, the shape depends only on ratio variables, whereas discriminant growth is governed by independent product variables.

Logarithmic source curves in polynomial fiber products

2026-06-06T01:14:42Z

Let $k$ be a field of characteristic zero and let $f,g\in k[x]$ be nonconstant. We study rational lifts of $f(a)$ through $g$ that do not arise from a composition $f=g\circ h$. To each non-graph component of $f(X)=g(Y)$ we attach its logarithmic source curve, namely the smooth compactification of its normalization with reduced boundary. The main geometric result is a sharp contact formula at infinity: if $N=°g/\gcd(°f,°g)$, then every one-infinity non-graph source has $X$-degree $N$, and in general the $X$-degree is $N$ times the number of boundary points. Over number fields this yields a finite symmetric-difference expansion of $S$-integral new lifts. Active one-infinity sources give exactly the power terms in height counts; positive-rank admissible two-infinity sources give logarithmic $S$-unit families; and inactive one-infinity sources, rank-zero two-infinity sources, and the remaining components contribute only finitely many inputs. Primitive one-infinity source classes have only polylogarithmic overlap, and ordered configuration covers introduce no new exponent. Over $\mathbb Q$, the $B^{1/2}$ boundary is precisely the quadratic Bilu--Tichy source cell.

Covering $\mathbb{F}_2^n$ with Hamming Balls

2026-06-06T00:48:55Z

Green asked the following question concerning structures in sumsets: Suppose that $\mathbb{F}_2^n$ is partitioned into sets $A_1, \dots, A_K$. Does $A_i+A_i$ contain a coset of codimension $O_K(1)$ for some $i$? An answer is not known even in the case of $K = 3$. We resolve this question in the affirmative in two special cases: (1) when $A_1, A_2$ are Hamming balls of radius $r < n/2 - 7$ relative to different bases, and (2) when $A_1$ is a Hamming ball of sufficiently small constant density.

Weighted Recursions for the Smallest Parts Function

2026-06-05T22:38:45Z

We establish new polynomial-weighted recursions for Andrews' smallest parts function. Our results use the generating series for the spt function, a harmonic Maass form of weight 3/2, paired with the Dedekind eta function. Unlike previous work, we use the Rankin-Cohen bracket to obtain modular forms of weight larger than 2. This introduces a nontrivial quasimodular component, which we determine for the relevant weights. We apply the holomorphic projection operator and the vanishing of cusp form spaces of small enough weight to obtain our results.

On the Vinberg Family of K3 Surfaces

2026-06-05T21:18:14Z

We study orthogonal modular forms associated with moduli spaces of lattice-polarized K3 surfaces whose generic transcendental lattices are of the form $T = H \oplus H \oplus L(-1)$ where $L$ is a root lattice of type $A_n$ or $D_n$. In Picard numbers $10$ through $17$, we use explicit Jacobian elliptic fibrations to construct modular forms on type IV domains associated with orthogonal groups $\mathrm{O}^+(T)$. We show that the coefficients of suitable Weierstrass models naturally realize generators for the corresponding graded rings of orthogonal modular forms.