Graphs from quadratic forms and vector spaces over finite fields

2026-05-21T01:22:14Z

Let $q$ be an odd prime power, let $n\ge 2$, and let $V\subsetneq \mathbb F_{q^n}$ be a proper $\mathbb F_q$-vector subspace. Given a nonzero quadratic form $Q(X,Y)\in \mathbb F_{q^n}[X,Y]$, we consider the graph $Γ(Q,V)$ that naturally arises from the condition $Q(X,Y)\in V$. We determine all quadratic forms $Q$ for which $Γ(Q,V)$ is undirected for every $V$. Besides the case $Q(x,y)=XY$, studied earlier by the second author, this essentially leads to the forms $X^2\pm Y^2$ and the family $Q_b(X, Y):=X^2+bXY+Y^2, b\ne 0$. We then study connectedness and clique number for the corresponding graphs. Our results reveal a clear contrast between these cases. The graphs $Γ(X^2\pm Y^2, V)$ are well structured, disconnected and their clique number can be as large as $\# V$. On the other hand, the family $Q_b$ seems to yield less structured graphs: the graphs are connected (in fact, of diameter $2$) if $\# V\ge q^{3n/4}$ and, in many cases, their clique number is $o(\# V)$. Our proofs are mainly based on character sums, while requiring a few algebraic and combinatorial ideas. We end the paper with some open problems and remarks, including a short discussion of the complementary case where $q$ is even.

Rational dynamics of a prime-representing map

2026-05-20T23:00:18Z

We study the rational dynamics of the map $\mathcal{T}(x)=\lfloor x\rfloor(1+\{x\})$, which appears in the recursive construction of the prime-representing constant of Fridman, Garbulsky, Glecer, Grime and Florentin. For a rational number $x\geq 2$ with denominator $M$, we define its order to be the least non-negative integer $n$ such that $\mathcal{T}^n(x)$ is an integer, if such an $n$ exists, and ask whether every rational number has finite order. For each $n$, we prove that the reduced fractions $a/M$ of exact order $n$ are described by residue classes of $a$ modulo $M^{n+1}$, and give a recurrence for the number $A(n,M)$ of residue classes of exact order $n$. We then show that for each fixed denominator the fractions of finite order have natural density one among all reduced fractions with that denominator, which implies in particular that there is no infinite arithmetic progression of rational numbers of infinite order. We also give an explicit family of fractions of prescribed order for every denominator, and fully characterize the case $M=2$.

Log $p$-divisible groups and semi-stable representations

2026-05-20T20:53:18Z

Let $\mathscr{O}_K$ be a henselian DVR with field of fractions $K$ and residue field of characteristic $p>0$. Let $S$ denote $\mathop{\mathrm{Spec}} \mathscr{O}_K$ endowed with the canonical log structure. We show that the generic fiber functor $\mathbf{BT}_{S, {\mathrm{d}}}^{\log}\to \mathbf{BT}^{\mathrm{st}}_K$ between the category of dual representable log $p$-divisible groups over $S$ and the category of $p$-divisible groups with semistable reduction over $K$ is an equivalence. If $\mathscr{O}_K$ is further complete with perfect residue field and of mixed characteristic, we show that $\mathbf{BT}_{S, {\mathrm{d}}}^{\log}$ is also equivalent to the category of semistable Galois $\mathbb{Z}_p$-representations with Hodge-Tate weights in $\{0,1\}$. Finally, we show that the above equivalences respect monodromies.

Explicit Prime Densities for the Rank of Appearance in Lucas Sequences

2026-05-20T20:39:36Z

Let $U$ be a Lucas sequence, $p$ be prime, and $ρ_U(p)$ be the rank of appearance of $p$ in $U$. We derive closed-form formulas for the Dirichlet density of primes $p$ for which $d\mid ρ_U(p)$, where $d\geq 1$ is a fixed integer. Our results complete the work of Sanna ($2022$) by covering all $U$ and all $d\geq 1$.

2007: An Arboreal Odyssey: A View of Arboreal Galois Representations and Applications, from Early in the Subject's History

2026-05-20T19:16:57Z

The study of arboreal Galois representations (that is, Galois groups arising from iteration of polynomial and rational functions) originated with work of Odoni in the 1980s. Beginning in the early 2000s it underwent a period of renewed interest, which continues to this day. Written in 2007, this survey article gives a sense of the subject from the early days of this renewal. It is presented here as a document of historical interest -- precisely as originally written -- and because some recent work has referenced specific pieces of it. It was written as an informal document, and not intended to be published. Much, though not all, of the content overlaps with the 2013 survey article ``Galois representations from pre-image trees: an arboreal survey" of the author.

Parity vectors and paradoxical sequences in the accelerated Collatz map

2026-05-20T19:02:00Z

This note studies parity vectors and paradoxical sequences in the accelerated Collatz iteration $T(n) = (3n+1)/2$ for $n$ odd, $T(n) = n/2$ for $n$ even. Building on Rozier and Terracol (arXiv:2502.00948, 2025), Terras (1976), Lagarias (1985), and Tao (2019), we prove three theorems and add one numerical observation. The first is a sharp finitary form of Terras's parity-vector density; the second is a closed-form analytic count of paradoxical $Ω_k(n)$ for each fixed length $k$. The third is a density-zero theorem for bounded-length paradoxical sequences with explicit constant. As for the numerical piece, among the seven $(j, q)$ pairs that show up in the Rozier-Terracol enumeration with first term $n \le 10^9$, every paradoxical reduced ratio $q/j$ turns out to be a left convergent, a left semiconvergent, or a Stern-Brocot mediant of adjacent convergents/semiconvergents of $\log_3 2$. The three theorems are unconditional. The fourth observation is verified for $n \le 10^7$ and conjectured for all $n$. We make no claim toward the Collatz conjecture or Terras's coefficient-stopping-time conjecture.

Sharp omega results for the divisor and circle problems

2026-05-20T17:56:12Z

We establish omega results for the divisor and circle problems that are conjecturally sharp, while also determining the sign of the large values obtained. This improves on the work of Soundararajan and on the subsequent independent refinements of Sourmelidis and Mahatab, and gives the first improvement on Hafner's 1981 $Ω_+$ result for the divisor problem and his $Ω_-$ result for the circle problem. The main new ingredient is a resonance method which works directly with the phase appearing in the Voronoï summation formula. This is achieved by replacing the usual positive kernels by a one-sided sectorial kernel, namely the density of a Gamma distribution, whose Fourier transform lies in a suitable sector of the complex plane.

Arithmetic Properties of Overcolored Odd Partitions

2026-05-20T15:49:35Z

Let $\bar{a}_s(n)$ denote the number of partitions of $n$, wherein each odd part is multicolored (atmost $s\ge 1$ colors) and the first appearance of parts may be overlined. In this paper, we establish new families of congruences modulo powers of $2$ satisfied by $\bar{a}_s(n)$ for infinitely many $s$. Our approach builds upon generating function manipulations, Hecke eigenform theory and results of Newman.

Binomial coefficients with divisors avoiding an interval

2026-05-20T14:14:12Z

We investigate a fifty-year-old conjecture of Erdős and Graham concerning whether the binomial coefficient ${n \choose k}$ with $1 \leq k \leq \frac{n}{2}$ must always have a divisor $\leq n$ that is ``close'' to $n$: that is, bigger than a constant times $n$. We show this is the case when $k$ is sufficiently large as a function of $n$. However, we show (under the Generalized Riemann Hypothesis) it is possible to find binomial coefficients ${n \choose k}$, where $k$ is small compared to $n$, such that ${n \choose k}$ does not have divisors $\leq n$ close to $n$. This settles the conjecture of Erdős and Graham, under GRH. This latter, more substantial argument involves a restricted covering problem with residue classes, sieve methods, and various exponential sum estimates.

Additive Rigidity for $x$-Coordinates of Rational Points on Elliptic Curves

2026-05-20T14:11:53Z

We study the interaction between the group law on an elliptic curve and the additive structure of $x$-coordinates of rational points on an elliptic curve. Let $E/\mathbb{Q}$ be an elliptic curve of Mordell-Weil rank $r \geq 1$, $d \geq 1$ be an integer, and $0<ρ\leq 1$. We show that if a $d$-dimensional proper generalized arithmetic progression in $\mathbb{Q}$ contains the $x$-coordinates of rational points on $E/\bbq$ with positive proportion $ρ$, then the number of such points is bounded by $A(E,d,ρ)^r$. The proof combines extraction lemmas, gap principles, and the bounds for spherical codes. As an application, we obtain restrictions on sets of rational points whose $x$-coordinates have small sumsets or large additive energy.

One-level density of zeros of $Γ_1(q)$ $L$-functions

2026-05-20T13:57:56Z

We study the one-level density of zeros for a family of $Γ_1(q)$ $L$-functions. Assuming GRH, we are able to extend the support of the Fourier transform of the test function to $\left(-\frac{8}{3},\frac{8}{3}\right)$ and verify the Katz-Sarnak prediction for our unitary family. As an application, we obtain that the proportion of forms in the family with non-vanishing at the central point is at least $62.5\%$, assuming GRH. This is the highest non-vanishing proportion for any family associated with a unitary group. Moreover, this result indicates that the structural properties of $L$-functions play a more important role in extending the support than the associated symmetry group.

A strange continued fraction associated with the Romik map

2026-05-20T12:28:29Z

In 2008, Dan Romik studied in this journal Primitive Pythagorean Triples, or PPTs. In order to do so, he introduced a modified slow (subtractive) Euclidean algorithm, and showed that the underlying dynamical system of this Euclidean algorithm (the ``Romik system''), is ergodic and has a $σ$-finite, infinite measure, of which is explicitly given. In this paper, the Romik system is further studied. Various basic properties are determined, such as the expansion of rational numbers and quadratic irrationals. Also (a version of) the planar natural extension of the Romik system is obtained, and the $σ$-finite, invariant measure is explicitly given, and it is shown that it is ergodic. Furthermore, for Lebesgue almost every $x$ asymptotically half of the regular continued fraction (RCF) convergents of $x$ are among the Romik convergents. We also show that related to the Romik map a ``strange'' continued fraction can be given. ``Strange,'' as the set of possible partial quotients (i.e., digits) for any $x\in [0,1]$ in this expansion is $\{ 0, \pm 2\}$. Various properties of this ``Romik expansion'' are given.

On the variance of the digits of $1/p$

2026-05-20T12:05:20Z

Let $p>3$ be a prime and $b\ge 2$ an integer such that $p$ does not divide $b$. Then $1/p$ has a periodic digit expansion with respect to the basis $b$. The length $q$ of the period is the (multiplicative) order of $b$ mod $p$. In the case $q=p-1$ a formula for the variance of the digits of a period was given previously. This formula involves a Dedekind sum. We determine the variance in the case $q=(p-1)/2$. If $p\equiv 3$ mod 4 a Dedekind sum and the class number of $\mathbb Q(\sqrt{-p})$ occur in the respective formula. If $p\equiv 1$ mod 4, the formula may be much more complex since it involves linear combinations of (possibly many) products of two Bernoulli numbers attached to odd characters.

Quasiautomorphic forms are isomorphic to vector-valued automorphic forms

2026-05-20T11:53:33Z

We utilize the structure of quasiautomorphic forms over a Hecke triangle group to define a mapping from a quasiautomorphic form to a vector-valued automorphic form (vvaf). This kind of vvaf we call a Hecke vector-form. First we supply a proof of the functional equations that hold for Hecke vector-forms modulo the group generators. Then, utilizing the multiplier system for these Hecke vector-forms, we prove the opposite direction and complete the bijection. Since the modular group is a special instance of the Hecke triangle groups, our results hold for quasimodular forms.

The $ρ$-Fourier transform

2026-05-20T11:03:30Z

Let $G$ be a reductive group over a local field $F$ and let $ρ:{}^LG \to \mathrm{GL}_{V_ρ}(\mathbb{C})$ be a representation of its $L$-group satisfying suitable assumptions. Braverman, Kazhdan and Ngô conjectured that one has a $ρ$-Fourier transform on $L^2(G(F))$ and a $ρ$-Schwartz space $\mathcal{S}_ρ(G(F))