On the factorizations of integers via division algorithms for polynomials

2026-06-05T14:37:39Z

We introduce and study several conditions related to the factorization problem of composite numbers. For this purpose, we employ cyclotomic polynomials, Sylvester resultants, and the Fermat equation. We show that the existence of a specific solution to the Fermat type equation in positive characteristic $p$ implies polynomial-time factorization of a composite natural number that is a multiple of $p$. We also show that such solutions do not exist for many semi-prime integers.

On periods and Jacobians of Heisenberg curves

2026-06-05T14:34:55Z

Heisenberg curves are cyclic covers of Fermat curves that also arise as non-abelian covers of the projective line, branched over three points by the discrete Heisenberg group modulo an integer. As normal Belyi covers, these are curves with many automorphisms in the sense of Oort, who questioned whether such curves have CM Jacobians. In 1986, Ihara proposed using towers of curves to study the pro-$\ell$ Galois representation associated with the thrice-punctured projective line. To study the kernel of this representation, he suggested using Heisenberg curves, but it was unknown to him at the time whether their Jacobians lacked complex multiplication. In this paper, for any odd prime $\ell$, we prove that Heisenberg curves of level $\ell^n\neq 3$ do not have CM Jacobians. Thus, we resolve the missing part of Ihara's original argument and in doing so we provide an infinite family of new counterexamples to Oort's question.

Connection between the Riemann zeta-function and random matrices via hyperfunctions

2026-06-05T14:33:16Z

Bohr pioneered the study of the statistical behavior of the Riemann zeta-function. A classical result by Bohr and Jessen revealed that the values of the Riemann zeta-function to the right of the critical line behave like a random variable. We now propose to extend Bohr's theory to the stage of hyperfunctions. In this paper, we introduce two random hyperfunctions: one is associated with the values of the Riemann zeta-function on the critical line, and the other is associated with the characteristic polynomial of a random matrix from the circular unitary ensemble. We then derive a relationship between these random hyperfunctions which is consistent with the Keating-Snaith conjecture on the moments of the Riemann zeta-function.

A Fibonacci theorem for Collatz trajectories via modular graph structure

2026-06-05T13:16:53Z

Let $T(n)=n/2$ if $n$ is even and $T(n)=(3n+1)/2$ if $n$ is odd. We prove that for each $m\ge1$, exactly $F(m+1)$ odd integers in $\{1,\ldots,2^m\}$ have the property that their orbit under $T$ avoids the residue class $4\pmod6$ during steps $2,\ldots,m$, where $F(m+1)$ is the $(m+1)$-th Fibonacci number; the proportion decays at rate $(\varphi/2)^m$, $\varphi=(1+\sqrt{5})/2$. The proof uses the directed graph $G$ of Collatz transitions modulo $6$ and its unique absorbing strongly connected component $G'=G[\{1,2,4,5\}]$. Removing vertex $4$ from $G'$ yields a subgraph of spectral radius $\varphi$, against $ρ(G')=2$; the Fibonacci count follows from this spectral gap. We construct an explicit bijection $Ψ_m:\{1,\ldots,6\cdot2^m\}\to\mathcal{P}_m(G)$ onto the directed paths of length $m$ in $G$. We further show that no vertex of $G'$ is dispensable: removing any single vertex reduces the spectral radius strictly below $2$, with hierarchy $1<\sqrt{2}<\varphi<2$. In particular, every positive cycle of $T$ must visit residue class $2\pmod6$, and a flow conservation identity forces this class to account for more than $18\%$ of the steps in any such cycle.

Multi-scale properties of continued fraction sets

2026-06-05T10:50:11Z

We survey the dimension theory of sets of real numbers with regular continued fraction expansion restricted to a non-empty and possibly infinite subset $\mathcal{D}\subset\mathbb{N}$.

Note on the Equivalence of Costas Polynomials and Orthomorphisms

2026-06-05T09:48:29Z

We establish an equivalence between the existence of Costas polynomials and the existence of a special kind of orthomorphism such that their compositions are also orthomorphisms. Computations are easier over these orthomorphisms. We provide a lower bound for the number of Costas polynomials and derive some of their properties. We show that Costas polynomials, by virtue of being multiplicative analogs of planar polynomials, can also be used to construct complete families of mutually orthogonal Latin squares.

Almost Sure Bounds for Discrepancies of Linear Forms on the Circle

2026-06-05T09:27:24Z

As a generalization of irrational rotations and a dual case of higher-dimensional Kronecker sequences, we study the discrepancy of sequences of linear forms on the circle. Given irrationals $α_1,\dots,α_d$, consider the set of $N^d$ points $\{k_1α_1+\cdots+k_dα_d \mod 1 : 1\le k_j\le N\}$. We prove that for a full-measure set of vectors $(α_1,\dots,α_d)\in\mathbb{R}^d$, the maximal discrepancy of these points relative to intervals in $[0,1)$ has the optimal principal order $(\log N)^d$, up to powers of $\log\log N$. This result provides a nearly sharp dual analogue, in the setting of linear forms, to Beck's celebrated theorem on multidimensional Kronecker sequences (Ann. of Math., 1994). The proof combines Fourier analysis, metric multiplicative Diophantine estimates, and a duality argument which reduces certain lattice-counting errors to Beck's discrepancy theorem.

Divisibility by $p$ for Markoff-like Surfaces

2026-06-05T09:16:52Z

We study orbits in a family of Markoff-like surfaces with extra off-diagonal terms over prime fields $\mathbb{F}_p$. It is shown that, for a typical surface of this form, every non-trivial orbit has size divisible by $p$. This extends a theorem of W.Y. Chen from the Markoff surface itself to others in this family. The proof closely follows and elaborates on a recent argument of D.E. Martin. We expect that there is just one orbit generically. For some special parameters, we prove that there are at least two or four orbits. Cayley's cubic surface plays a role in parametrising the exceptional cases and dictating the number of solutions mod $p$.

Low-Lying Zeros on the Critical Line for Families of Dirichlet $L$-Functions

2026-06-05T09:00:47Z

In this paper, we establish a new lower bound for the number of low-lying zeros of Dirichlet $L$-functions $L(s, χ)$ on the critical line within extremely short intervals. Specifically, for a sufficiently large prime $P$ and real number $T \in [a_1/\sqrt{\log P}, 1]$, we prove that the sum of the number of zeros on the critical line $N_0(T, χ)$ over characters $χ\bmod P$ satisfies $$ \sum_{χ\bmod P} N_0(T, χ) \gg T^2 P\sqrt{\log P} .$$ Traditional approaches encounter significant technical barriers in this short-interval regime. The Levinson method fails due to its own inherent limitations in handling such restricted intervals , while standard applications of the Selberg mollifier are hindered by the emergence of complex, inseparable cross-terms that are difficult to evaluate. To overcome these obstacles, we introduce a novel analytic framework utilizing high-dimensional Mellin transforms. This approach systematically manages the multi-variable series generated by the mollifier calculations. By explicitly resolving these cross-term obstructions, we extract the localized lower bound, providing a robust method that circumvents the short-interval bottleneck and offers potential applicability to the zero statistics of higher-rank $L$-function families.

A mod $p$ determinant criterion for Cohen--Lenstra convergence of random $p$-adic matrices with prescribed zero patterns

2026-06-05T07:31:59Z

We study the distribution of cokernels of Haar-random matrices over the $p$-adic integers with prescribed zero patterns, motivated by the Cohen--Lenstra heuristics. A central feature of our approach is that the asymptotic cokernel distribution is governed by the reductions modulo $p$ of these matrices, viewed as random matrices over the finite field $\mathbb{F}_p$. For several families of support patterns arising from stair-shaped zero regions, including general stair-shaped patterns, band matrices, and matrices with two symmetric stair-shaped zero regions, we show that convergence of the cokernel distribution to the Cohen--Lenstra distribution is equivalent to an asymptotic nonsingularity condition over $\mathbb{F}_p$. We further propose a conjecture for general support patterns and give examples showing that analogous rank-$r$ criteria fail for $r\ge 1$.

Asymptotics of Schwartz functions

2026-06-05T05:43:54Z

Let $G$ be a split, simply connected, almost simple algebraic group, and let $P$ be a maximal parabolic subgroup of $G$. Braverman and Kazhdan in \cite{BKnormalized} defined a Schwartz space on the affine closure $X_P$ of $P^{\mathrm{der}}\backslash G$. An alternate, more analytically tractable definition was given in \cite{Getz:Hsu:Leslie}, following several earlier works. When $G$ is a classical group or $G_2$, we show the two definitions coincide and prove several previously conjectured properties of the Schwartz space that will be useful in applications. Along the way, we give an alternative construction of the ring of differential operators on $X_P$ using the Fourier theory. We also establish the Poisson summation formulae in these cases.

Arithmetic Information of Rational Elliptic Surfaces, and Shioda's Rank 68 Elliptic Surface

2026-06-05T05:23:22Z

The field of definition of the Mordell-Weil group of an elliptic surface $E \rightarrow \mathbb{P}^1$ defined over $\mathbb{Q}$ is the smallest number field $k$ such that all of its $\Bar{\mathbb{Q}}(t)$-rational points are defined over $k(t)$. In this paper, we present an algorithm, implemented in \Magma{}, which can determine arithmetic information, including the field of definition, associated to any rational elliptic surface. As an application of this, we also demonstrate that the field of definition of Shioda's rank $68$ elliptic surface given by $y^2 = x^3 + t^{360} + 1$ is a number field of degree $829,440$.

Deterministic methods for finding elements of large multiplicative order

2026-06-05T05:04:50Z

We revisit the problem of rigorously and deterministically finding elements of large order in the multiplicative group of integers modulo a natural number $N$. Solving this problem is an essential step in several recent deterministic algorithms for factoring $N$, including the currently fastest ones. In 2018, the second author gave an algorithm that for a given target order $D \geq N^{2/5}$, finds either an element of order exceeding $D$, or a nontrivial divisor of $N$, or proves that $N$ is prime. The running time was \[ O\left(\frac{D^{1/2}}{(\log \log D)^{1/2}} \log^2 N \right) \] bit operations, asymptotically the same as the cost of computing the order of a single element using Sutherland's optimisation of the classical babystep-giantstep method. Subsequent work by several authors weakened the hypothesis $D \geq N^{2/5}$ to $D \geq N^{1/6}$. In this paper, we show that the hypothesis may be dropped altogether. Moreover, if $N$ is prime, we can guarantee returning an element of order exceeding $D$, rather than a proof that $N$ is prime.

Counting elliptic curves over $\mathbb{Q}$ with bounded naive height

2026-06-05T03:18:27Z

In this paper, we give exact and asymptotic formulas for counting elliptic curves $ E_{A,B} \colon y^2 = x^3 + Ax + B $ with $ A, B \in \mathbb{Z} $, ordered by naive height. We study the family of all such curves and also several natural subfamilies, including those with fixed $ j $-invariant and those with complex multiplication (CM). In particular, we provide formulas for two commonly used normalizations of the naive height appearing in the literature: the calibrated naive height, defined by \[ H^{\mathrm{cal}}(E_{A,B}) := \max\{ 4|A|^3, 27B^2 \}, \] and the uncalibrated naive height, defined by \[ H^{\mathrm{ncal}}(E_{A,B}) := \max\{ |A|^3, B^2 \}. \] In fact, we prove our theorems with respect to the more general naive height $H_{α, β}(E_{A,B}) := \max\{ α|A|^3, βB^2 \}$, defined for arbitrary positive real numbers $α, β\in \mathbb{R}_{> 0}$. As part of our approach, we give a completely explicit parametrization of the set of curves $ E_{A,B} $ with fixed $ j $-invariant and bounded naive height, describing them as twists of the curve $ E_{A_j, B_j} $ of minimal naive height for the given $ j $-invariant. We also include tables comparing and verifying our theoretical predictions with exact counts obtained via exhaustive computer searches, and we compute data for CM elliptic curves of naive height up to $ 10^{30} $. Code in SageMath is provided to compute all exact and asymptotic formulas appearing in the paper.

Unimodular Fake Mobius Functions

2026-06-05T00:03:04Z

Let $\mathbb{S}^1$ denote the unit circle. We introduce and develop the analytic and bias theory of unimodular fake Möbius functions, i.e. multiplicative functions $\mathfrak{f}:\mathbb{N} \to \mathbb{S}^1 \cup \{0\}$ whose prime-power values are prescribed by a fixed sequence $\{\varepsilon_k\}_{k\ge1}$ via the rule $\mathfrak{f}(p^k)=\varepsilon_k$ for every prime $p$ and every $k\ge1$. A key feature of these functions is that their Dirichlet series admit a factorization into complex powers of the Riemann zeta function. Our main analytic result is an explicit formula for the smoothed summatory function $\sum_{n\ge1}\mathfrak{f}(n)e^{-n/x}$, consisting of a leading main term together with a sequence of lower-order terms. The formula may be viewed as an extension of the Selberg-Delange method and is expected to be of independent interest. As an application, we introduce a notion of bias at a natural scale and obtain an explicit criterion distinguishing persistent bias, apparent bias, and no bias for unimodular fake Möbius functions.