Number Theory [math.NT]

A weaker but simpler sieve inequality
math.NT


John B. Friedlander

We discuss a cancellation property of sieve weights, one that is applicable to the distribution of primes and almost-primes in very short intervals.

Integer values of $\tan(\arctan 1+\arctan 2+\cdots+\arctan n)$ are rare
math.NT
math.CO


Ken Ono

For $n\ge1$, we let $$x_n:=\tan\bigl(\sum_{k=1}^{n}\arctan k\bigr).$$ In 2008, Amdeberhan, Medina, and Moll conjectured that $x_n\not \in \mathbb{Z}$ for every $n\ge5$. This was known for a set of positive integers of density $\tfrac{120}{817}\approx0.1469$. We prove that an integer value $x_n=m$ satisfies $|m|\ge e^{(1/2+o(1))\,n\log n}$, which we use to deduce that $$\#\{\,1\leq n\le N:x_n\in\mathbb{Z}\,\}=O(\log N). $$ In particular, the conjecture holds for a density-one set of $n$. The results in this note were formalized in Lean/Mathlib and produced autonomously by AxiomProver from natural-language statements.

An Explicit Expression for MZVs in Terms of Symmetric MZVs
math.NT


Katsumi Kina

We provide a simpler proof of the fact, originally proved by Seidai Yasuda, that symmetric multiple zeta values generate the entire space of multiple zeta values. Furthermore, based on this argument, we present an algorithm for expressing multiple zeta values in terms of symmetric multiple zeta values and products of multiple zeta values. Moreover, we give some results on symmetric and finite multiple zeta values of depth three.

Large Sets of Integers with No Harmonic Triples
math.NT
math.CO


Samuel Korsky

Let $f(N)$ denote the largest size of a set $A\subseteq [N]=\{1,\ldots,N\}$ containing no distinct $a,b,c$ such that \[ \frac2a=\frac1b+\frac1c . \] We prove \[ f(N)\gg N\exp\!\left(-(2\sqrt{\log(24/7)}+o(1))\sqrt{\log\log N}\right). \] The construction filters the odd integers up to $N$ by a random affine image of a dense three-term-progression-free set in a prime field $\mathbb{F}_q$ with $q\asymp\log N$, and then deletes a controlled family of collapsed triples.

Correlations of zeros of a family of $L$-functions in function fields with symplectic symmetry
math.NT


Julio Andrade, Asmaa Shamesaldeen

In this paper, we adapt the framework developed by Mason and Snaith to investigate the $n$-level density of zeros in the context of function fields. Specifically, we derive explicit formulas for the $n$-level density of zeros in families of quadratic Dirichlet $L$-functions associated with hyperelliptic curves of genus $g$ over the finite field $\mathbb{F}_{q}$. Employing Mason and Snaith's method, we obtain precise expressions for the $1$-level density in these families and extend the approach to higher-level densities. Furthermore, we apply the method to derive formulas for the $n$-level density of zeros in families of $L$-functions associated with prime characters. Our results are consistent with the findings of Andrade, Jung, and Shamesaldeen in the case $n=1$.

Small sums of roots of unity
math.NT


Alexandros Kalogirou

We address the question of how small a non-vanishing sum of $N$-th roots of unity with $k$ terms can be. We show upper bounds of the shape $N^{-\alpha_k}$, where $\alpha_k\rightarrow\infty$ with $k$. We also address the question of improving these bounds for a positive proportion of $N$.

An improved upper bound on the Ruzsa number
math.NT
math.CO


Yuchen Ding, Yu-Chen Sun, Lilu Zhao

Let $R_m$ be the least positive integer $r$ such that there exists a set $A\subseteq \mathbb{Z}_{m}$ with $A+A=\mathbb{Z}_m$ for which the number of ordered solutions of $n=x+y$ with $x,y\in A$ is at most $r$ for every $n\in \mathbb{Z}_m$. In this note we prove that $R_m\leqslant 128$ for every positive integer $m$, improving the previous bound $R_m\leqslant 192$.

On exotic Diophantine triples in $\mathbb{R}[X]$
math.NT


Ana Jurasić

Originally, an exotic Diophantine triple is a set $\{a,b,c\}$ of distinct nonzero rational numbers for which \[ a+1,\quad b+1,\quad c+1,\quad ab+1,\quad ac+1,\quad bc+1,\quad abc+1 \] are all perfect squares. We prove that there is no such triple in $\mathbb{R}[X]$, with at least one nonconstant element, if none of $a,b,c$ is equal to $1$. Equivalently, under the distinct nonzero convention, every exotic Diophantine triple in $\mathbb{R}[X]$ with a nonconstant element must contain the element $1$.

Steady-State and Transient Heat Conduction Analysis Using a Polygonal Cell-Based Smoothed Finite Element Method
math.NT


Miao Zhang, Yang Yang, Chao Su, Yijia Dong, Mingjiao Yan

This paper presents a polygonal cell-based smoothed finite element method (CS-FEM) for two-dimensional steady-state and transient heat-conduction analysis. In the proposed formulation, Wachspress shape functions are employed to construct the temperature approximation over general polygonal elements, and the smoothed temperature gradient is evaluated through boundary integration over cell-based smoothing domains. The resulting formulation is implemented in ABAQUS through the user-defined element (UEL) interface, enabling heat-conduction analysis using polygonal meshes within a commercial finite element environment. Several numerical examples, including a linear patch test, steady-state benchmark problems, and transient heat-conduction problems with different boundary conditions, are investigated to verify the accuracy, convergence behavior, and robustness of the proposed method. The numerical results show good agreement with analytical or reference solutions. Compared with conventional FEM using triangular and quadrilateral elements, the proposed polygonal CS-FEM exhibits favorable accuracy and convergence performance, while providing greater flexibility in mesh generation for complex geometries. The proposed framework therefore offers an accurate and robust numerical approach for steady-state and transient heat-conduction analysis.

The Siegel-Weil formula in geometry and arithmetic
math.NT
math.AG


Jan Hendrik Bruinier, Riccardo Zuffetti

The present paper is an extended version of the lecture notes of a course given by the first author at the summer school on Formulas of Siegel and Weil (Bielefeld, September 2025). We survey three perspectives on the Siegel-Weil formula: classical, geometric, and arithmetic. We first recall the Siegel-Weil formula for elliptic theta series arising from positive definite lattices. We next discuss the higher genus case for lattices of arbitrary signature from an adelic viewpoint. After introducing orthogonal Shimura varieties, we present the geometric Siegel-Weil formula, in which the generating series of volumes of special cycles is shown to be an Eisenstein series. We conclude with the (partly conjectural) arithmetic Siegel-Weil formula, relating degrees of special cycles in arithmetic Chow groups to central derivatives of Eisenstein series.

Random Multiplicative Functions and Making Squares from Polynomial Values
math.NT
math.PR


Régis de la Bretèche, Victor Y. Wang, Max Wenqiang Xu

For a large family of polynomials $P(X)\in \mathbb{Z}[X]$, we prove central limit theorems for $\sum_{n\le N} f(P(n))$ for both Rademacher and extended Rademacher multiplicative functions $f$. To achieve this, we establish a paucity phenomenon in counting solutions to \[P(n_1)P(n_2)P(n_3)P(n_4) = \square, \quad 1\le n_1, n_2, n_3, n_4 \le N.\] Results of Hooley, Evertse--Silverman, and Reuss play an important role in the proof. Our estimates are sharpest for $\deg P = 2$, thanks to the rich theory of Pell--Fermat equations.

A Conditional Refinement of Page's Theorem on zeros of Dirichlet $L$-functions
math.NT


Debmalya Basak, Kyle Pratt

Landau--Siegel zeros are hypothetical zeros of Dirichlet $L$-functions that are close to the point $s=1$. A classic theorem of Page shows at most one such zero can exist among all Dirichlet $L$-functions with conductor $\leq Q$. We show that one can significantly refine Page's theorem under the assumption that all non-real zeros of Dirichlet $L$-functions lie outside a shrinking neighborhood of $s=1$.

A refined Malle conjecture for Heisenberg groups
math.NT


Jack B. Miller, Tim Santens

Based on a conjecture of Loughran and the second author, we give an explicit prediction for the leading constant in Malle's conjecture for Galois $\mc{H}$-extensions of $\Q$ ordered by discriminant, where $\mc{H}$ is the $3\times 3$ Heisenberg group over $\F_4$. The predicted leading constant is not a single Euler product, but rather a sum of two distinct Euler products. Our methods also give an efficient algorithm for computing the conjectural Loughran--Santens leading constant for many $2$-groups of nilpotency class $2$.

A Variation Norm Carleson Theorem Along the Primes
math.CA
math.NT


Anastasios Fragkos, Ben Krause, Nazar Miheisi, Yu-Chen Sun

Let $\Lambda$ denote the von Mangoldt function; we prove that for each $r > 2$, there exist constants \[ r' < \mathbf{c}(r) < 2 < \mathbf{C}(r), \qquad \lim_{r \to \infty} \mathbf{c}(r) = 1, \ \lim_{r \to \infty} \mathbf{C}(r) = \infty \] so that the discrete variational Carleson operator along the primes \begin{align} \mathcal{V}^r \Big( \sum_{n \neq 0} f(x-n) \Lambda(|n|) \frac{e^{2\pi i \lambda n}}{n} : \lambda \in \mathbb{T} \Big) \end{align} is bounded on $\ell^p$ for all $\mathbf{c}(r) < p < \mathbf{C}(r)$, while the variation is unbounded when $p \leq r'$. At the non-variational endpoint, the same argument gives the sharp maximal result: the prime Carleson operator \[ \sup_{\lambda\in\mathbb T} \Big|\sum_{n\neq0} f(x-n)\Lambda(|n|)\frac{e^{2\pi i\lambda n}}{n}\Big| \] is bounded on \(\ell^p(\mathbb Z)\) for the full expected range \(1

<\infty\). The proof gives a new mechanism for treating modulation-invariant singular integrals after arithmetic sparsification. It combines higher-order Fourier uniformity, a variable-coefficient multi-frequency principle in the spirit of Bourgain, and an additive-combinatorial inverse argument. A key step is a reduction to finite periodic models, where the Ramanujan structure of the major arcs is converted into a sharp estimate for structured atoms by elementary number theory.

Degenerations of flat connections on Riemann surfaces
hep-th
math.AG
math.NT


Mattia Biancotto, Eric D'Hoker, Axel Kleinschmidt, Michele Santagata, Oliver Schlotterer

The integration kernels for polylogarithm functions on a compact Riemann surface of arbitrary genus $h$ are shown to close as the surface undergoes a non-separating degeneration to one of genus $h{-}1$. Explicit formulas are obtained for the non-separating degeneration of the multivariable Enriquez connection for genus $h$ with an arbitrary number of variables to the Enriquez connection for genus $h{-}1$ with two additional punctures whose Lie algebra generators are related to the original ones by the characteristic Bernoulli generating functions known from the degeneration at $h=1$. Analogous degeneration formulas are obtained for the single-valued DHS kernels at the leading order in the real degeneration parameter that is adapted to relating modular tensors at genus $h$ and $h{-}1$.

The Euler Ensemble as a Turbulent Attractor: Parity Sectors, Zero Modes, and a Zeta Edge
nlin.CD
math.NT
physics.flu-dyn


Alexander Migdal

We compute the Lyapunov spectrum of the finite Euler ensembles, compact arithmetic fixed points of the rescaled momentum-loop equation for freely decaying incompressible Navier--Stokes turbulence. At finite cutoff \(N\), the tangential linearized problem is exactly solvable: the full Ising history \(\sigma_k=\pm1\) enters only through the closure winding \(qr=\sum_{k=1}^N\sigma_k\). The stability problem therefore reduces to an arithmetic spectral problem over reduced rational angles \(p/q\) and winding sectors \(r\). The continuum limit splits into three local sectors. For odd \(N\), both \(q\) and \(r\) are odd, so \(r=0\) is excluded by parity. For even \(N\), the zero-winding sector \(r=0\) is allowed and must be separated from the punctured sector \(r\ne0\). Their partition functions satisfy \(Z_{e,0}(N)/Z_{e,*}(N)\sim 6N/\pi^2\), so the zero-winding sector is a singular discrete zero mode, not part of the Gaussian \(r\)-continuum. The even zero-winding ensemble has a continuous tangential spectrum with positive Lyapunov exponents and is unstable. In the odd and punctured even ensembles, the spectral angle remains quantized, and for every fixed spectral label \(n\) the normalized eigenvalue law converges weakly to \(\delta_0\). Thus these two sectors are marginal fixed-mode Lyapunov limits. Their finite positive eigenvalues survive only as a vanishing arithmetic edge governed by coprime cotangent sums, Jordan totients, Dirichlet convolution, and \(\zeta(s)\). For \(d>2\), transverse perturbations are zero modes at linear order; in the two marginal sectors their quadratic obstruction is absorbed by a radial correction, leaving no quadratic spectral shift.

Generalisation of Baker's Forcing Method to Arbitrary Prime and NP-hardness of Several $p$-adic Optimisations
cs.CC
math.NT


Tomoki Mihara

G.\ D.\ Baker formulated a forcing method to interpret integer optimisation problem into $2$-adic linear regression, and proved the NP-hardness of $2$-adic linear regression. We generalise the forcing method to a wider class of $p$-adic optimisation for the case where $p$ is not necessarily $2$, and prove the NP-hardness of $p$-adic linear regression, the NP-hardness of $2$-adic dynamic neural network by S.\ Albeverio, A.\ Khrennikov, and B.\ Tirrozi, and the NP-hardness of a partial generalisation of the $p$-adic optimisation problem associated to van der Put neural network by G.\ L.\ R.\ N'guessan.

Closed geodesics in homology classes on random hyperbolic surfaces of large genus
math.GT
math.NT


Zeev Rudnick

We study the distribution of closed geodesics in homology classes on random hyperbolic surfaces of large genus. Viewing the surface as a random point in moduli space equipped with the Weil--Petersson probability measure, we investigate the fluctuations of the weighted counting function of closed geodesics in homology classes modulo $q$. We show that, in the large genus limit, the variance is asymptotic to $X\log X$ for every modulus $q>2$, with an exceptional factor of two when $q=2$. This contrasts with Hooley's conjecture for primes in arithmetic progressions, where the variance is expected to be $X\log q$. We suggest an explanation for this discrepancy, by comparing our result with the corresponding theory for function fields over a finite field.

A generalised cross-ratio and limits of local heights
math.AG
math.NT


Hidde Lammert Bakker, Emre Can Sertöz

We generalise the standard cross-ratio of four points on a projective line to a cross-ratio of a configuration of four planes in projective $n$-space, the first pair $A_1,\,A_2$ being $k$-dimensional and the second pair $B_1,\,B_2$ being $(n-k-1)$-dimensional, with $A_i \cap B_j = \emptyset$. Over the complex numbers, we show that this cross-ratio equals the augmented height pairing of the corresponding cycles $A_1-A_2, \, B_1-B_2$. Over a discretely valued field, we show that the valuation of the cross-ratio equals the intersection degree of the cycles once they are spread out over the valuation ring. Putting the two together, we conclude that the asymptotics of the Archimedean height pairing of a holomorphic family of configurations are governed by this intersection degree. We also define a degenerate cross-ratio for when $A_i \cap B_j \neq \emptyset$ and interpret the "limit height" of a degenerating holomorphic family of planes as the degenerate cross-ratio of the central plane configuration.

On the equivalence of binary cubic forms
math.NT
v4


J E Cremona

We consider the question of determining whether two binary cubic forms over an arbitrary field $K$ whose characteristic is not $2$ or $3$ are equivalent under the actions of either GL$(2,K)$ or SL$(2,K)$, deriving two necessary and sufficient criteria for such equivalence in each case. One of these involves an algebraic invariant of binary cubic forms which we call the Cardano invariant, which is closely connected to classical formulas and also appears in the work of Bhargava et al. The second criterion is expressed in terms of the base field itself, and also gives explicit matrices in SL$(2,K)$ or GL$(2,K)$ transforming one cubic into the other, if any exist, in terms of the coefficients of bilinear factors of a bicovariant of the two cubics. We also consider automorphisms of a single binary cubic form, show how to use our results to test equivalence of binary cubic forms over an integral domain such as~$\mathbb{Z}$, and briefly recall some connections between binary cubic forms and the arithmetic of elliptic curves. The methods used are elementary, and similar to those used in our earlier work with Fisher concerning equivalences between binary quartic forms.

Homological stability for generalized Hurwitz spaces and Selmer groups in quadratic twist families over function fields
math.NT
math.AG
math.AT
v4


Jordan S. Ellenberg, Aaron Landesman

We prove a version of the Bhargava-Kane-Lenstra-Poonen-Rains heuristics for Selmer groups of quadratic twist families of abelian varieties over global function fields. As a consequence, we derive a result towards the "minimalist conjecture" on Selmer ranks of abelian varieties in such families. More precisely, we show that the probabilities predicted in these two conjectures are correct to within an error term in the size of the constant field, $q$, which goes to $0$ as $q$ grows. Two key inputs are a new homological stability theorem for a generalized version of Hurwitz spaces parameterizing covers of punctured Riemann surfaces of arbitrary genus, and an expression of average sizes of Selmer groups in terms of the number of rational points on these Hurwitz spaces over finite fields.

The Zilber--Pink conjecture for products of curves with highly degenerate reduction
math.NT
math.AG
v3


Netan Dogra

We give a proof of the Zilber--Pink conjecture for $n$-fold self-products of a curve $X$ inside the self-product of its Jacobian, when $X$ has appropriate bad reduction, its Jacobian has no extra endomorphisms, and $n$ is sufficiently small. The strategy of proof follows the work of Katz, Rabinoff and Zureick-Brown on explicit Manin--Mumford bounds.

An integral analogue of Fontaine's crystalline functor
math.NT
math.AG
v2


Naoki Imai, Hiroki Kato, Alex Youcis

For a smooth formal scheme $\mathfrak{X}$ over the Witt vectors $W$ of a perfect field $k$, we construct a functor $\mathbb{D}_\mathrm{crys}$ from the category of prismatic $F$-crystals $(\mathcal{E},\varphi_\mathcal{E})$ (or prismatic $F$-gauges) on $\mathfrak{X}$ to the category of filtered $F$-crystals on $\mathfrak{X}$. We show that $\mathbb{D}_\mathrm{crys}(\mathcal{E},\varphi_\mathcal{E})$ enjoys strong properties when $(\mathcal{E},\varphi_\mathcal{E})$ is what we call locally filtered free (lff). Most significantly, we show that $\mathbb{D}_\mathrm{crys}$ actually induces an equivalence between the category of prismatic $F$-gauges on $\mathfrak{X}$ with Hodge--Tate weights in $[0,p-2]$ and the category of Fontaine--Laffaille modules on $\mathfrak{X}$. Finally, we use our functor $\mathbb{D}_\mathrm{crys}$ to enhance the study of prismatic Dieduonn\'e theory of $p$-divisible groups (as initiated by Ansch\"{u}tz--Le Bras) allowing one to recover the filtered crystalline Dieudonn\'e crystal from the prismatic Dieudonn\'e crystal. This in turn allows us to clarify the relationship between prismatic Dieudonn\'e theory and the work of Kim on classifying $p$-divisible groups using Breuil--Kisin modules.

On exotic matrix exponential sums and Bessel-Speh functions
math.NT
math.RT
v2


Elad Zelingher

In a previous work with Carmon, we defined Bessel--Speh functions. These are matrix coefficients of irreducible Speh representations of $\mathrm{GL}_{kc}(\mathbb{F})$, where $\mathbb{F}$ is a finite field. They arise from $(k,c)$ models, which are models that generalize the Whittaker model to Speh representations attached to irreducible generic representations. These constructions are finite field analogs of objects arising naturally in the generalized doubling method over $p$-adic fields, a recently active area of the Langlands program. In this article we study special values of Bessel--Speh functions which were used in our previous work with Carmon to define Ginzburg--Kaplan gamma factors. Our main result computes the special values of interest explicitly in terms of new arithmetic objects we introduce, called exotic matrix Kloosterman sums, which generalize both Katz's exotic Kloosterman sums and twisted matrix Kloosterman sums. We then show that exotic matrix Kloosterman sums can be expressed as products of modified Hall--Littlewood polynomials evaluated at roots of the characteristic polynomial of the Frobenius acting on Katz's exotic Kloosterman sheaf. As an application of our results, we establish new identities for Bessel functions of irreducible generic representations.

The partition function and elliptic curves
math.NT
math.CO
v4


Ken Ono

The Bruinier-Ono formula expresses the partition number $p(n)$ as a trace of `non-holomorphic' singular moduli of discriminant $\Delta_n:=1-24n$ CM points on $X_0(6).$ We interpret this trace through the geometry of CM points. Each nonholomorphic contribution is the value of the weight-two completion $E_2^*$ at a CM point, which is a canonical invariant of the underlying elliptic curve, determined by the diagonal `tangent' of the CM isogeny relation. This turns the trace into a quantity that can be reduced to the supersingular locus that is organized by Deuring-Eichler multiplicities and a Brandt-module pairing. For primes $ \ell\geq 5$ that are nonsplit in $\mathbb{Q}(\sqrt{\Delta_n})$, we obtain a supersingular trace formula on $X_0(6)$ over $\overline{\mathbb{F}}_{\ell}$. For the special primes $\ell=5,7,11$, this sheds new light on Ramanujan's classical partition congruences. These primes are special because they are the only ones for which the supersingular locus of $X_0(6)$ lies over $j\in \{0, 1728\}.$ This perspective offers a moduli-theoretic framework for Ramanujan's congruences modulo powers of these primes, organized through elliptic curves. The two new algebraic identities at the heart of this framework, as opposed to the classical results it builds on, were formalized and verified in Lean by AxiomProver.

An analogue of Kida's formula for Mazur-Tate elements
math.NT
v2


Naman Pratap, Anwesh Ray

We prove an analogue of Kida's formula for the Iwasawa invariants of the Mazur-Tate elements attached to elliptic curves over $\mathbb{Q}$. Let $p$ be an odd prime and let $L/K$ be a Galois extension of abelian number fields with $p$-power Galois group. For an elliptic curve $E/\mathbb{Q}$, we study the Mazur-Tate elements over the finite layers of the cyclotomic $\mathbb{Z}_p$-extensions of $K$ and $L$. We show that the vanishing of the $\mu$-invariant is preserved in the extension: if the level-$n$ Mazur-Tate element over $K$ has $\mu = 0$, then the corresponding element over $L$ also has $\mu = 0$. Moreover, the associated $\lambda$-invariants satisfy an explicit transition formula. This parallels the work of Hachimori-Matsuno on Selmer groups and of Matsuno on $p$-adic $L$-functions. As an application, we obtain an analogue of Kida's formula for the analytic Iwasawa invariants associated to Pollack's signed $p$-adic $L$-functions. Since our results apply to elliptic curves with any reduction type at $p$ under mild hypotheses, including those with additive reduction, we also obtain a Kida-type formula for the $p$-adic $L$-functions constructed by Delbourgo for elliptic curves with unstable additive reduction. In particular, because Mazur-Tate elements approximate $p$-adic $L$-functions in the limit, our results unify all previously known cases of Kida's formula for analytic Iwasawa invariants.

On Jacobi sums arising from the classical doubling method
math.NT
math.RT
v2


Calvin Yost-Wolff, Elad Zelingher

We define the notion of a non-abelian Jacobi sum $\mathcal{J}^{\mathrm{dbl}}\left(\pi, \chi\right)$ attached to an irreducible representation $\pi$ of a general linear group or a classical group over a finite field and a character $\chi$ of the multiplicative group of the finite field or its quadratic extension. These sums emerge in the study of the doubling method of Piatetski-Shapiro--Rallis and Lapid--Rallis. For general linear groups, we express these non-abelian Jacobi sums in terms of Kondo's non-abelian Gauss sums. For classical groups and for characters that are not conjugate-dual, we give an explicit formula for these non-abelian Jacobi sums in terms of Gauss sums attached to the Deligne--Lusztig data of the representation, and we prove that these Jacobi sums are constant on geometric Lusztig series. Our results rely on a multiplicativity result of non-abelian Jacobi sums obtained by Girsch--Zelingher.

Proofs of five conjectural identities on modular rank four Nahm sums
math.NT
math.CO
v3


Haijun Li

Nahm sums and Rogers-Ramanujan type identities have attracted considerable attention in recent years. In this paper, we provide analytic proofs of five conjectural identities on modular rank four Nahm sums that were proposed by Cao and Wang. Moreover, we reveal that the conjectures of Shi-Wang and Cao-Wang are closely related.

Averaged Fourier Estimates and Dyadic Approximation on the Cantor set
math.NT
math.DS
v2


Prasuna Bandi

Let $C$ be the middle-third Cantor set and let $\mu$ be the natural Cantor probability measure. Let \[ \gamma=\frac{\log2}{\log3}. \] The two main results of this paper are \[ \mu\{x\in C:\|2^n x\|2-\gamma. \] and \[ \mu\{x\in C:\|2^n x\|<\frac{1-\gamma}{2}. \] These results give new progress toward Velani's conjecture on zero-one law for dyadic approximation in the middle-third Cantor set.

On the Finiteness of Geometric Representations for Varieties over Finite Fields
math.NT
v2


Yufan Luo

Let $p$ be a prime number, and let $k$ be a finite field of characteristic different from $p$. Let $X$ be a normal geometrically connected variety over $k$, let $\overline X$ be a compactification of $X$, and let $Z=\overline X\setminus X$. Let $D$ be an effective Cartier divisor on $\overline X$ whose support is contained in $Z$. Motivated by Hiranouchi's Hermite--Minkowski type theorem for varieties over finite fields, we formulate a finiteness conjecture for continuous semisimple geometric representations $$ \pi_1(X,D)\longrightarrow \operatorname{GL}_n(F), $$ where $\pi_1(X,D)$ is Hiranouchi's fundamental group with ramification bounded by $D$, and $F$ is an algebraically closed field of characteristic $p$ endowed with the discrete topology. We prove this conjecture for odd $p$ in the following two cases: for curves with arbitrary ramification bound $D$, and for varieties of arbitrary dimension in the tame case, namely $D=0$. Furthermore, for arbitrary $p$, we prove the finiteness for those representations which admit a lift to characteristic zero.

Meromorphic higher-genus integration kernels via convolution over homology cycles
hep-th
math.AG
math.NT
v3


Eric D'Hoker, Oliver Schlotterer

Polylogarithms on arbitrary higher-genus Riemann surfaces can be constructed from meromorphic integration kernels with at most simple poles, whose definition was given by Enriquez via functional properties. In this work, homotopy-invariant convolution integrals over homology cycles are shown to provide a direct construction of Enriquez kernels solely from holomorphic Abelian differentials and the prime form. Our new representation is used to demonstrate the closure of the space of Enriquez kernels under convolution over homology cycles and under variations of the moduli. The results of this work further strengthen the remarkable parallels of Enriquez kernels with the non-holomorphic modular tensors recently developed in an alternative construction of higher-genus polylogarithms.

On the Thickness of Infinite Sidon Sets
math.CO
math.NT
v2


Kevin O'Bryant

Let $\gamma \ge 1$. A set $A$ of nonnegative integers is a Sidon set if for each $d>0$ there is at most one pair $(a,b) \in A \times A$ with $d=a-b$. If there are at most $\gamma$ pairs, then $A$ is a $\gamma$-Golomb ruler. We prove that if $A$ is a $\gamma$-Golomb ruler, then \[\liminf_{n\to\infty} \frac{ | A \cap [0,n) | }{ \sqrt{n/\log n} } \le \frac{2\sqrt\gamma}{\sqrt{\log 2}},\] generalizing and sharpening results of Erd\H{o}s and Cilleruelo. There is a $\gamma$-Golomb ruler $G$ with \[\frac{\sqrt\gamma}{\sqrt2} \le \limsup_{n\to\infty} \frac{ | G \cap [0,n) | }{\sqrt n} \le \sqrt{\gamma} ,\] generalizing a result of Kr\"uckeberg.