Number Theory [math.NT]

A Local-Global Study of Obstructed Deformation Problems II

math.NT

We continue the local-global study of obstructed deformation problems for two-dimensional residual Galois representations arising from weight $2$ newforms of level $N$, initiated in \cite{Bin26}. Using the Greenberg-Wiles formula and the explicit classification of inertial Weil-Deligne types due to Demb\'el\'e-Freitas-Voight \cite{DFV22}, we systematically compute the local obstruction groups $H^0(G_p, \bar{\varepsilon}_\ell \otimes \mathrm{ad}^0\bar{\rho})$ for every inertial type arising at primes $p$ with $p^2 \mid N$ and $p \neq \ell$. For each type and in each of three arithmetic cases ($p \not\equiv \pm 1$, $p \equiv -1$, and $p \equiv 1 \pmod{\ell}$), we give the dimension of the local obstruction group and an explicit presentation of the universal deformation ring as a power series ring over the Witt vectors modulo explicit relations. We treat in detail the twisted Steinberg case ($\tau \simeq \tau_{\mathrm{St},p} \otimes \varepsilon_p$), the principal series cases, and the non-exceptional supercuspidal cases, including the full family of types at $p = 3$.

A Regularised Wallis Hierarchy

math.NT

A hierarchy of regularised Wallis products is introduced by raising the reciprocal Wallis factor \[ 1-\frac1{n^2} \] to the polynomial weight $n^m$, $m=0,1,2,\ldots$. For each $m$, a minimal exponential counterterm is chosen by cancelling precisely the non-summable terms in the logarithmic expansion. This gives a convergent product $P_m$ the logarithm of which is an explicit zeta-function tail. The first non-trivial examples are \[ \prod_{n=2}^{\infty} e^{1/n} \left(1-\frac1{n^2}\right)^n = \frac{e^\gamma}{2}, \qquad \prod_{n=2}^{\infty} e\left(1-\frac1{n^2}\right)^{n^2} = \frac{\pi}{e^{3/2}}. \] The even branch has a finite closed form involving $\pi$, harmonic numbers, and odd zeta values. The odd branch reduces to finite logarithmic gamma moments, and hence to constants involving $\gamma$, logarithms, odd zeta values, and derivatives of the zeta function at positive even integers. The same subtraction rule also gives a two-factor extension involving the companion factor $1+1/n^2$. Finally, the associated $x$-dependent products factor into one-sided canonical products, giving a direct connection with Kurokawa's multiple sine functions: the even Wallis branch is obtained from odd multiple sine functions, while the odd branch appears as a symmetric companion to the even multiple sine case.

On Zeckendorf-Niven numbers and arithmetic progressions

math.NT

A positive integer is Zeckendorf-Niven (respectively, Lucas-Niven) if it is divisible by the number of summands in its Zeckendorf decomposition (respectively, Lucas decomposition). We show that there exist infinitely many Zeckendorf-Niven numbers and Lucas-Niven numbers in every arithmetic progression. Furthermore, we provide bounds on the maximum number of consecutive Zeckendorf-Niven terms in certain arithmetic progressions.

Elements in $K_4$ and regulator maps of Fermat curves

math.NT

math.AG

math.KT

We construct explicit elements in the group $K_4^{(3)}$ of the Fermat curves $x^N+y^N=1$ for all $N\geq 3$. The construction, which is uniform in $N$, uses polylogarithmic complexes and a map of de Jeu to $K$-theory. We prove that the elements are non-trivial by showing that their images under Beilinson's regulator map are non-zero. Notably, we obtain explicit formulas for their regulator integrals involving special values of Zagier's trilogarithm function. As a corollary, we show that these regulator integrals are asymptotic to $\frac{3}{2}\zeta(3)N^2$ as $N\to +\infty$. Moreover, we derive formulas for the regulators of our elements in terms of hypergeometric functions, generalizing results of Otsubo for $K_2$ groups of Fermat curves. Finally, we numerically verify some cases of Beilinson's conjectures on special values of $L$-functions at $s=3$ for $N\in \{ 3,4,6 \}$.

Zeta-regularization and natural boundaries: Sums and products of integers and primes

math.NT

hep-th

math-ph

math.MP

Euler regularized the divergent product of all natural numbers and found beautiful formulas for regularized sums of integer powers of natural numbers. These derivations essentially relied on what is now called the zeta-regularization technique, although analytical continuation had not yet been invented. This classic method is however not applicable to the product of all primes, as the prime zeta function has a natural boundary along the imaginary axis. Mu\~noz Garc\'ia and P\'erez-Marco overcame this obstacle and evaluated the product of all primes to $4\pi^2$ by finding an appropriately regularized value of the derivative of the prime zeta function at the origin, lying on the natural boundary. We extend their approach in two novel directions. First, we show how to make sense of the sum of all primes. This regularization requires going a finite distance beyond the natural boundary. Second, we determine the regularized products of integers and primes in the nine imaginary quadratic fields where integers have a unique factorization into primes, and establish a general power-law relationship between products of integers and primes. Two well-known examples are Gauss and Eisenstein integers. The interest in this approach goes beyond number theory. In a variety of physical situations, the zeta-regularization technique is indeed not applicable because the relevant zeta function has a natural boundary.

Both $AA$ and $(A+1)(A+1)$ can be small

math.NT

math.CO

Adapting the construction disproving the sum-product conjecture over $\mathbb R$ present in Bloom, Sawin, Schildkraut and Zhelezov, we show the existence of a constant $c>0$ and arbitrarily large finite sets $A \subseteq \mathbb R$ such that $$\max\{|AA|, |(A+1)(A+1)|\} \ll |A|^{2-c}.$$

An aperiodic set of Wang tiles for every quadratic irrational

math.NT

math.CO

math.DS

math.MG

We propose a sufficient condition for the non-periodicity of a set of Wang tiles. It applies to sets of Wang tiles whose tiles have vertical or horizontal stripes. The proof is based on a geometric argument involving a quadrilateral circumscribed to a parabola from which we conclude the irrationality of the densities of the vertical and horizontal stripes. We apply the sufficient condition to propose new proofs of non-periodicity of known sets of Wang tiles, including an encoding of Penrose tilings into 24 Wang tiles and the family of metallic mean Wang tiles. Conversely, for every pair $(\alpha,\beta)\in[0,1]^2$ of irrational numbers in the same quadratic number field, we construct a finite aperiodic set of Wang tiles with stripes that admits a valid tiling whose density of vertical stripes is $\alpha$ and density of horizontal stripes is $\beta$.

A new attack to RSA with small private exponent and partial information

math.NT

We give a new algorithm to attack RSA with small private exponent, when some partial information of $p+q$ is given.The algorithm is a very simple modification of original Wiener's attack with continued fractions, and allows to factor $n$ whenever $d

The Sylow Divisor Condition: a Resolution of Erd\H{o}s Problem 768

math.NT

We resolve Erd\H{o}s Problem 768. Let $A(x)$ count the positive integers $n\le x$ such that, for every prime $p\mid n$, there is a divisor $d>1$ of $n$ with $d\equiv 1 \pmod p$. Erd\H{o}s asked whether $A(x)/x=\exp(-(c+o(1))\sqrt{\log x}\log\log x)$ for some constant $c>0$. We prove that this holds with $c=1/(2\sqrt{\log 2})$; equivalently, $\log(x/A(x))/(\sqrt{\log x}\log\log x)$ tends to $1/(2\sqrt{\log 2})$. The lower bound is obtained from primes in disjoint logarithmic intervals using a fourth-moment argument based on the multiplicative large sieve and a subset-product second moment. The upper bound uses canonical witness divisors, a deterministic compression map, an injective reconstruction theorem for its fibers, and growing divisor moments. Thus the paper determines the exact leading constant in Erd\H{o}s Problem 768.

Holes in Valid-Extension Sets of Finite Gilbreath Sequences

math.CO

math.NT

Given a finite sequence of integers, form its difference triangle by repeatedly taking absolute differences of consecutive entries. We call the sequence Gilbreath if the leftmost entry of every row below the top is 1. The Gilbreath conjecture, which remains open, asserts that every initial segment of the primes is a Gilbreath sequence. This paper studies the local extension problem: given a Gilbreath sequence, which integers can be appended to it while preserving the Gilbreath property? We call the set of such admissible values the valid-extension set of the sequence. A previously proposed characterization in the literature predicts that this set always fills a natural parity interval around the last term. We show that this fails in general: the valid-extension set can have interior holes, with the smallest failure occurring at length 5 for the sequence (2,3,5,9,15). The paper develops a corrected theory of valid extensions. We give an exact criterion for membership in the valid-extension set, an algorithm that computes it, and a sharp condition determining exactly when the set fills the candidate interval. This last condition is an order-sensitive analogue of the classical Brown completeness criterion for subset sums. We also establish endpoint validity and reflection symmetry, determine the exact minimum size of the valid-extension set together with its unique minimizer, exhibit a family whose valid-extension set has exponentially many components, and provide enumeration data through length 11.

N-ary groups of panmagic permutations from the Post coset theorem

math.CO

math.GR

math.NT

Panmagic permutations are permutations whose matrices are panmagic squares, better known as solutions to the modular n-queens problem, configurations of n non-attacking queens on a toroidal nxn chessboard. Some of them, affine panmagic permutations, can be conveniently described by linear formulas of modular arithmetic, and we show that their sets are a generalization of groups with N-ary multiplication instead of binary one. With the help of the Post coset theorem, we identify panmagic N-ary groups as cosets of the dihedral subgroup and its extensions in the group of all affine permutations. We also investigate decomposition of panmagic permutations into disjoint cycles and find many connections with classical topics of number theory and combinatorics: square-free numbers, 4k+1 primes, quadratic residues, cycle indices from Polya counting, and linear congruential generators.

The Goncharov Lie coalgebra of a field

math.KT

math.AT

math.NT

This paper relates algebraic $K$-theory of fields to polylogarithms via general linear groups. We introduce the Goncharov Lie coalgebra, defined in terms of the $E_\infty$-homology of general linear groups. Using Steinberg modules, we find a presentation, compute its Lie cobracket, and construct motivic and Hodge realisations. Combining these results with the Rognes rank spectral sequence, we give symbolic descriptions of the rationalisation of the algebraic $K$-theory of fields beyond the cases studied by Matsumoto-Milnor and Bloch-Suslin: we express $K^{(3)}_4(F)$ and the indecomposable part of $K^{(3)}_5(F)$ in terms of Goncharov's polylogarithmic complex of weight 3.

Tractability versus curse of dimensionality for geometric $L_p$-discrepancies

math.NA

cs.NA

math.NT

This paper studies tractability versus the curse of dimensionality for several geometric $L_p$-discrepancies through a unified discrepancy--integration duality framework, where worst case integration errors in suitable function spaces equal the corresponding discrepancies. A general lower bound method for non-negative linear rules in spaces under broad tensor-product assumptions establishes exponential information complexity in the dimension $d$, yielding the curse of dimensionality for the respective discrepancy. We complement this overview by new results on discrepancy--integration duality and the curse of dimensionality for the periodic $L_p$-discrepancy. The current state of research on this general problem is summarized in a clearly laid out table, which also highlights the remaining open questions.

Bialgebraic geometry of B\"ottcher coordinates

math.DS

math.NT

Becker and Bergweiler showed that if $f$ is a non-exceptional polynomial, then the B\"ottcher coordinate $\Psi_f \colon \mathbb D_R \to B_\infty(f)$ associated to $f$ is a transcendental function. In this paper, we study $f$-bialgebraic sets: algebraic subsets of $\mathbb D_R^n$ whose image under the coordinate-wise action of $\Psi_f$ is contained in an algebraic set of the same dimension. We give a complete dynamical classification of bialgebraic sets under the additional assumption that the Julia set of $f$ is either disconnected, or connected and admits a nondegenerate locally connected model. Inspired by the Ax--Lindemann--Weierstrass theorem and the Ax--Schanuel conjecture, we formulate analogs with $\Psi_f$ in place of the exponential function and prove them in the case where the Julia set $J_f$ is disconnected.

Spence-Kummer's trilogarithm functional equation and its underlying geometry

math.NT

math.AG

math.GT

v4

In this paper, we investigate the underlying geometry of the Spence--Kummer functional equation for the trilogarithm. Our geometry naturally determines a certain path system on the projective line minus three points, connecting the standard tangential base point to the nine variables of the $Li_{3}$ terms in the equation, reflecting the symmetry of the non-Fano arrangement. Consequently, we derive a precise form of the Spence--Kummer equation together with its $\ell$-adic Galois analogue by using algebraic relations between polylogarithm generating series arising from the path system. We apply the tensor and homotopy criteria for functional equations of complex and $\ell$-adic iterated integrals developed by Zagier and Nakamura--Wojtkowiak. To compute the lower-degree terms of the functional equation in both the complex and the $\ell$-adic Galois cases, we also focus on a diagram of three geometric objects: the moduli space $M_{0,5}$, the complement to the Coxeter arrangement of type ${\rm B_3}$, and the complement to the non-Fano arrangement.

A $p$-Converse theorem for Real Quadratic Fields

math.NT

v3

Let $E$ be an elliptic curve defined over a real quadratic field $F$. Let $p > 5$ be a rational prime that is inert in $F$ and assume that $E$ has split multiplicative reduction at the prime $\mathfrak{p}$ of $F$ dividing $p$. Let $\underline{III}(E/F)$ denote the Tate-Shafarevich group of $E$ over $F$ and $ L(E/F,s) $ be the Hasse-Weil complex $L$-function of $E$ over $F$. Under some technical assumptions, we show that when $rank_{\mathbb{Z}} \hspace{0.01mm} \hspace{1mm} E(F) = 1$ and $\#\Big(\underline{III}(E/F)_ {p^\infty}\Big) < \infty$, then $ord_{s=1} \ L(E/F,s) = 1$. Further, we give an application to a $p$-converse theorem over $\mathbb{Q}$.

Counting w-coprime S-integers and S-integral ideals in positive characteristic

math.NT

v2

Let Fq be the finite field with q elements, and K an algebraic function field over with Fq as its field of constants. Let S be a finite nonempty set of prime divisors over K, and OS be the ring of integers of K attached to S. Let w greater than 1 be an integer. In this work we shall count w coprime S integers and S integral ideals, and our proofs are a combination of analytic methods and the Riemann Roch theorem and the Weil theorem for function fields in positive characteristic.

Large smooth twins from short lattice vectors

math.NT

v2

Finding the largest pair of consecutive $B$-smooth integers is computationally challenging. Current algorithms to find such pairs have an exponential runtime -- which has only be provably done for $B \leq 100$ and heuristically for $100 < B \leq 113$. We improve this by detailing a new algorithm to find such large pairs. The core idea is to solve the shortest vector problem (SVP) in a well constructed lattice. With this we are able to significantly increase $B$ and notably report the heuristically largest pair with $B = 751$ which has $196$-bits. By slightly modifying the lattice, we are able to find larger pairs for which one cannot conclusively say whether it is the largest or not for a given $B$. This notably includes a $213$-bit pair with $B = 997$ which is the largest pair found in this work.

Worse than square-root cancellation in Bateman-Horn's conjecture

math.NT

v2

We prove asymptotics for the average error term in Bateman-Horn's conjecture in the exponential range.

Residues of a tropical zeta function for convex domains

math.NT

math-ph

math.AG

math.MP

math.SG

v2

We define an $\operatorname{SL}_n(\mathbb{Z})$-invariant tropical zeta function of a convex domain. In dimension 2 it admits boundary Dirichlet-series representation with summands indexed by Farey pairs. For $C^3$ strictly convex domains, it extends meromorphically to $\Re(s)>3/5$, holomorphic there except for a simple pole at $s=2/3$, with residue universally proportional to equiaffine perimeter. A Tauberian argument yields the $t^{1/3}$ wave-front lattice-perimeter asymptotic for $t\rightarrow 0$. In addition, for a special domain $L$, which is a limit shape of lattice polygons in a square, with its tropical zeta function being expressed in terms of Witten SU(3) zeta function, we compute the exact coefficient in the asymptotic expansion of the integer-averaged lattice point counting for the leading term $N^{1/2}$.

On Maximal Prime Gaps

math.NT

v3

In this paper, we show a new upper bound of prime gaps, that is the gap between a prime number and its consecutive prime number. We show that the gap between a prime number $p_n$ and its consecutive prime number is not larger than $\frac{51}{16}\log^2{p_n}$. We also show that the result implies the existence of a prime number in a certain type of interval for large enough numbers as a consequence.

On zero-sum problems of new types

math.NT

math.CO

v3

In this paper, we investigate zero-sum problems of new types. For example, given $2n-1$ integers $a_1,\ldots,a_{2n-1}$ relatively prime to an integer $n>1$, we prove that for some nonempty $I\subseteq\{1,\ldots,2n-1\}$ the sum $\sum_{i\in I}a_i$ is divisible by $n$ but not divisible by $n^2$, and conjecture that we may further require $|I|=n$ when $n$ is even.

Prime-Power Rarefaction and a Density-One Lower Bound for Erd\H{o}s Problem 400

math.NT

v2

For fixed $k\ge 2$, let $g_k(n)$ be the greatest excess $a_1+\cdots+a_k-n$ among positive integers $a_i$ satisfying $a_1!\cdots a_k!\mid n!$. We prove that, for every $\varepsilon>0$, all but $o(x)$ integers $n\le x$ satisfy \[ g_k(n)\ge \left(\frac{3(k-1)}{\log 12}-\varepsilon\right)\log n. \] We also prove, as $n\to\infty$, the pointwise upper bound \[ g_k(n)\le (k-1)\log_2 n+\log_2\log n+O_k(1). \] The central analytic input is uniform phase separation for one or two frequencies on fixed-prime $S$-unit progressions, deduced directly from the finite exceptional-subspace alternative of Drmota and Spiegelhofer, and the resulting uniform digit-sum normal-order theorem. A mixed $2$--$3$ representation, quantitative two-block estimates, and a large-prime Kummer sieve produce the stated coefficient.

Associators in mould theory

math.QA

math.NT

v2

By developing various techniques of mould theory and establishing a quasi-involutive reformulation of Drinfeld's associator set, we introduce $\mathsf{GARI}(\mathscr{F})_{\mathsf{as}+\mathsf{bal}}$, a mould theoretic formulation of Drinfeld's associator set. We give a mould-theoretical generalization of the result that associator relations imply double shuffle relations, namely, we explain that $\mathsf{GARI}(\mathscr{F})_{\mathsf{as}+\mathsf{bal}}$ is embedded into Ecalle's set $\mathsf{GARI}(\mathscr{F})_{\mathsf{as}\ast\mathsf{is}}$ which is a mould theoretic version of Racinet's double shuffle set.

Multiplicative convolution and double shuffle relations

math.AG

math.AT

math.NT

v3

We develop a geometric approach to the regularized double shuffle relations for multiple zeta values, based on convolution of perverse sheaves on $\mathbb{C}^*$ and inspired by the approach of Deligne and Terasoma. We introduce semi-holonomy isomorphisms associated with pro-unipotent paths and show that their compatibility with multiplicative convolution is equivalent to a condition on the pro-unipotent fundamental group, the homological pentagon equation. We prove that this condition is equivalent to the regularized double shuffle relations, yielding a geometric proof that the pentagon equation implies these relations. The approach is purely topological and avoids Hodge-theoretic and Tannakian methods.