https://arxiv.org/api/7lMHNuImnX8LsQOy/8h5BBOPD90 2026-06-13T21:00:04Z 49201 120 15 http://arxiv.org/abs/2410.04189v3 2026-06-06T20:17:08Z

Suppose that $n$ is $0$ or $4$ modulo $6$. We show that there are infinitely many primes of the form $p^2 + nq^2$ with both $p$ and $q$ prime, and obtain an asymptotic for their number. In particular, when $n = 4$ we verify the `Gaussian primes conjecture' of Friedlander and Iwaniec. We study the problem using the method of Type I/II sums in the number field $\mathbf{Q}(\sqrt{-n})$. The main innovation is in the treatment of the Type II sums, where we make heavy use of two recent developments in the theory of Gowers norms in additive combinatorics: quantitative versions of so-called concatenation theorems, due to Kuca and to Kuca--Kravitz-Leng, and the quasipolynomial inverse theorem of Leng, Sah and the second author.

2024-10-05T15:08:03Z 59 pages, accepted for publication in Acta Math. v3 corrects an error with a partial summation argument in Section 8.3 and a minor inaccuracy in Section 8.7 Ben Green Mehtaab Sawhney http://arxiv.org/abs/2606.06118v2 2026-06-06T15:13:12Z

In this note, we generalize a 1950 result of P. Erd\H os on upper bounds of $k$-th moment of Romanoff type representation functions. As an application, we give a conditional proof of a recent conjecture of Y.-G. Chen on Romanoff type sumsets under the assumption of the Hardy-Littlewood conjecture.

2026-06-04T13:06:09Z Yuchen Ding Liangxun Li http://arxiv.org/abs/2606.08216v1 2026-06-06T15:10:08Z

For $0\leq k\leq n$, let $u(n,k)$ be the largest divisor of $\binom nk$ whose prime factors are at most $k$. Erdős Problem #684 concerns the special threshold $u(n,k)>n^2$ and asks how early this small-prime part can be forced to become large. We prove the density-one analogue for every fixed power threshold. If $f_c(n)$ is the least $k$ for which $u(n,k)>n^c$, then, for each fixed $c>0$, \[ f_c(n)=\left(\frac{c}{1-γ}+o(1)\right)\log n \] for almost all positive integers $n$. In particular, \[ f_2(n)=\left(\frac{2}{1-γ}+o(1)\right)\log n =(4.730544237\ldots+o(1))\log n \] for the Erdős #684 threshold. This is a normal-order theorem, not a pointwise resolution of the corresponding worst-case problem. The constant $1-γ$ is arithmetic. Kummer's theorem rewrites $\log u(n,k)$ as a sum of carry indicators, and complete-residue averaging gives \[ m(k)=k\sum_{p\leq k}\frac{\log p}{p-1}-\log k!=(1-γ)k+o(k). \] The cancellation in this formula moves the typical crossing from the naive scale $c\log n$ to $c(1-γ)^{-1}\log n$. We prove the required concentration uniformly for every $k\leq A\log X$ on one dyadic interval, after discarding a zero-density exceptional set caused by large powers of small primes dividing one of the nearby integers $n,n-1,\ldots$. We also prove Gaussian fluctuations in the logarithmic range. If $k=k(X)\to\infty$, $k\leq A\log X$, and $n$ is uniform in $[X,2X)\cap\mathbb Z$, then \[ \frac{\log u(n,k)-m(k)}{\sqrt{V(k)}}\Rightarrow \mathcal N(0,1), \qquad V(k)\sim (2-\log(2π))k\log k. \] Higher prime powers are needed for the mean, but after centering their aggregate is $L^2$-negligible on the Gaussian scale; the variance comes only from the prime levels.

2026-06-06T15:10:08Z 19 pages, no figures Eric Li Trinity College, University of Cambridge, United Kingdom http://arxiv.org/abs/2606.08199v1 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.

2026-06-06T14:36:16Z 37 pages Nimish A. Shah Pengyu Yang http://arxiv.org/abs/2606.08125v1 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.

2026-06-06T12:03:23Z 28 pages, supported by Tübitak Derya Acar Metin Azmaz Vural Cam Ömer Küçüksakallı http://arxiv.org/abs/2606.08085v1 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.

2026-06-06T10:17:00Z 44 pages. Comments welcome Daniel Krell Calvo http://arxiv.org/abs/2606.08075v1 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<x, d|x \ {\rm and} \ (d|y|x, y\in S)\Rightarrow y\in \{d,x\}\}$. We denote by $(S^a)$ (resp. $[S^a]$) the $n\times n$ matrix having the $a$th power of the greatest common divisor (resp. the least common multiple) of $x_i$ and $x_j$ as its $(i,j)$-entry. In 1995, Bourque and Ligh showed that the $a$th power GCD matrix $(S^a)$ divides the $a$th power LCM matrix $[S^a]$ in the ring $M_n(\mathbb Z)$ of $n\times n$ matrices over the integers when $S$ is FC. In 2002, Hong proved that such factorization is no longer true when $S$ is gcd closed. In 2008 (resp. 2026), Hong showed that $[S^a]\mid [S^b]$ if $a\mid b$ and $S$ is a divisor chain (resp. an FC set). In this paper, we show that for arbitrary positive integers $a$ and $b$ with $a|b$, the $b$th power matrices $[S^b]$ is divisible by the $a$th power matrix $[S^a]$ if $S$ is a gcd-closed set (i.e. $\gcd(x_i, x_j)\in S$ for all integers $i$ and $j$ with $1\le i, j\le n$) such that the condition $\mathcal G$ is satisfied (i.e., for any $x\in S$, either $G_S(x)$ contains at most one elements, or $G_S(x)$ contains at least two elements and satisfies that $[y_1,y_2]=x$ and $(y_1,y_2)\in G_S(y_1)\cap G_S(y_2)$) for any $\{y_1,y_2\}\subseteq G_S(x)$. This confirms a conjecture of Hong proposed in [S.F. Hong, Divisibility among power GCD matrices and power LCM matrices, {\it Bull. Aust. Math. Soc.} {\bf 113} (2026), 231-243].

2026-06-06T09:52:22Z Guangyan Zhu http://arxiv.org/abs/2502.19552v2 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.

2025-02-26T20:45:15Z 51 pages. Corrections made following referee reports, significant revision in sections 7 and 11. One theorem from the introduction became more complicated and is relegated to section 6, no changes to main results of the paper Osama Khalil Manuel Luethi Barak Weiss http://arxiv.org/abs/2603.29284v2 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.

2026-03-31T05:38:52Z Shruthi C. Bhat B. R. Srivatsa Kumar http://arxiv.org/abs/2601.10752v2 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.

2026-01-13T09:27:02Z Shruthi C. Bhat B. R. Srivatsa Kumar http://arxiv.org/abs/2606.08040v1 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)$.

2026-06-06T08:02:27Z 19 pages Michael Reilly http://arxiv.org/abs/2606.08024v1 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.

2026-06-06T07:33:42Z Comments are welecome! Han Chen Weizhe Guo Haojie Hong http://arxiv.org/abs/2606.07959v1 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.

2026-06-06T03:32:30Z Khai-Hoan Nguyen-Dang http://arxiv.org/abs/2606.07956v1 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.

2026-06-06T03:19:40Z 50 pages, comments welcome! Khai-Hoan Nguyen-Dang http://arxiv.org/abs/2605.12903v2 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.

2026-05-13T02:28:01Z 67 pages; substantially rewritten and expanded; title, abstract, MSCs, references, and logarithmic-source-curve framework updated; comments welcome Henry Shin