Number Theory [math.NT]

The relativistic $p$-adic sunscreen conjecture
math.NT
math.AG


Sean Howe

We formulate a conjecture about intersections between the Banach-Colmez space $\mathrm{BC}(1/2)$ and germs of smooth rigid analytic curves at the origin in $\mathbb{A}^2_{\mathbb{C}_p}$

On Series Involving Cubed Catalan Numbers
math.NT
math.CO


Kunle Adegoke

Using generalized binomial coefficient identities and some results of John Dougall, we derive some families of series involving the cubes of Catalan numbers. We also establish a family of series containing fourth powers of Catalan numbers. Finally, we find a generalization of the Bauer series for $1/\pi$ and obtain some Ramanujan-like series for $1/\pi^2$ and~$1/\pi^3$.

Non-vanishing for quartic Hecke $L$-functions and ranks of elliptic curves
math.NT
math.AG


Cruz Castillo, Alexandre de Faveri, Alexander Dunn

We show that a positive proportion of Hecke $L$-functions attached to the quartic residue symbols $\big( \frac{\cdot}{q} \big)_4$ for squarefree $q \in \mathbb{Z}[i]$ do not vanish at the central point. Our method also extends to the Hecke characters associated to quartic twists of the congruent number curve $E : y^2 = x^3 - x$. In particular, we prove that the elliptic curve $E^{(q)} : y^2 = x^3 - qx$ has Mordell-Weil rank $0$ over $\mathbb{Q}(i)$ for a positive proportion of squarefree $q \in \mathbb{Z}[i]$ ordered by norm.

On algebraic independence of three p-adic continued fractions
math.NT


Sarra Ahallal, Mohamed Begare, Ali Kacha

In this paper, we establish sufficient conditions on the elements of the p-adic continued fractions $A$ and $B$ which guarantee that the p-adic continued fractions $A, B $ and $A^{B}$ are algebraically independent over $\mathbb{Q}$. These elements have partial quotients that increase rapidly. We note that these results extend some work of Bundschuh. Furthermore, we give some numerical examples which illustrated the theoretical results.

On finite analogues of Dobi\'{n}ski's formula and of Euler's constant via Gregory polynomials
math.NT


Toshiki Matsusaka, Taichi Miyazaki, Shunta Yara

We study a finite analogue of Dobi\'{n}ski's formula, which is related to the Napier constant $e$, and its Bessel-type generalizations. Furthermore, using Gregory polynomials, we extend the results of Kaneko--Matsusaka--Seki on finite analogues of Euler's constant, and compare them with the Wilson-type analogue $\gamma_\mathcal{A}^\mathrm{W}$.

Overconstrained character sums over finite abelian groups and decompositions of generalized bent, plateaued and landscape functions
math.NT
cs.IT
math.CO
math.IT


Ayça Çeşmelioğlu, Constanza Riera, Pantelimon Stănică

Generalized bent (gbent) functions from an $n$-variable Boolean space to $\mathbb{Z}_{2^k}$ are central in cryptography and sequence design. Instead of the usual binary decomposition, we introduce a $2^\ell$-adic representation, for $k=\ell r$, writing such functions as linear combinations of $r$ component functions valued in $\mathbb{Z}_{2^\ell}$. We prove a general result on overconstrained character sums over finite abelian groups: under a common-argument hypothesis, sequences with two-level Fourier magnitude spectra must be extremely sparse, with a conditional extension to multi-level spectra. As an application, we derive consequences for generalized plateaued functions under suitable assumptions. We then show that if $f:\mathbb{F}_2^n\to\mathbb{Z}_{2^k}$ is landscape, then under the $2^\ell$-adic decomposition every function in a certain affine space over $\mathbb{Z}_{2^\ell}$ is again landscape with the same Walsh magnitudes. This gives an unconditional necessity result, with no structural assumptions on $f$, together with a complete characterization using only a small subset of these maps. For generalized bent and generalized plateaued functions, sufficiency is also obtained from linear combinations of lower components under natural assumptions; a counterexample shows these assumptions are essential. Our method reduces verification for landscape functions from $2^{2^{k-1}}$ checks to fewer than $2^{k-\ell+1}+1$ conditions; for gbent functions this drops to a single basis function under the common-argument hypothesis, and for generalized plateaued functions, under additional assumptions, to $2^{k-\ell}$ checks. The $2^\ell$-adic framework also preserves key properties, including duality and differential uniformity.

Towards the $p$-adic Hodge parameters in semistable representations of $\mathrm{GL}_n(\mathrm{Q}_p)$
math.NT


Yiqin He

Let $\rho_p$ be an $n$-dimensional non-critical semistable $p$-adic Galois representation of the absolute Galois group of $\mathrm{Q}_p$ with regular Hodge--Tate weights. Let $\mathrm{D}$ be the associated $(\varphi,\Gamma)$-module over the Robba ring. By combining Ding's and Breuil--Ding's methods for the crystalline case with Qian's computation of higher extension groups of locally analytic generalized Steinberg representations, we capture the full information of the $p$-adic Hodge parameters of $\rho_p$ on the automorphic side by considering several Steinberg subquotients of $\mathrm{D}$ and the "crystalline" Hodge parameters between them. These results also admit geometric and Lie-algebraic reformulations on flag varieties related to the moduli space of Hodge parameters. We then construct an explicit locally analytic representation $\pi_{1}(\rho_p)$ and explicitly describe which Hodge-parameters information of $\rho_p$ it determines. In particular, if the monodromy rank of $\rho_p$ is at most $1$, $\pi_{1}(\rho_p)$ determines $\rho_p$. When $\rho_p$ comes from a $p$-adic automorphic representation, we show that $\pi_{1}(\rho_p)$ is a subrepresentation of the $\mathrm{GL}_n(\mathrm{Q}_p)$-representation globally associated to $\rho_p$, under mild hypotheses. Although it is still difficult to construct an explicit representation $\pi_{1}(\rho_p)$ that determines $\rho_p$, our results provide new evidence for the $p$-adic Langlands program in general semistable cases and demonstrate the broad applicability of Ding's, Breuil--Ding's, and Qian's methods.

Circle coverings driven by arithmetic sequences: a percolation approach to Diophantine approximation and fractal intersections
math.NT
math.DS
math.PR


Manuel Hauke, Andrei Shubin, Eduard Stefanescu, Agamemnon Zafeiropoulos

We study problems on covering $[0,1)$ by shrinking intervals centered at the points $\{q_n x\}$, where $(q_n)_{n\in \mathbb{N}}$ is a given real-valued sequence and $x \in [0,1)$ is random. For real-valued lacunary sequences $(q_n)_{n\in\mathbb{N}}$, we show that the covering radius $\frac{1}{n}$ is sharp up to a constant: there exist $C>c>0$ such that, for Lebesgue-almost all $x$, the intervals of length $\frac{C}{n}$ cover $[0,1)$ infinitely often, while this fails for intervals of length $\frac{c}{n}$. Moreover, the lower bound holds for certain sub-lacunary rates and the results partially extend to all probability measures with sufficiently fast Fourier decay. As an application, we obtain a new bound for a variant of the inhomogeneous Littlewood-Cassels problem: for any badly approximable $\alpha$ and $\gamma\in\mathbb{R}$, there exists a set of badly approximable $\beta$ of full Hausdorff dimension such that $ \|n\alpha-\gamma\| \|n\beta-\delta\|

A digit-sum formula for B\"ottcher coordinates
math.NT
math.DS


Rufei Ren

Let $p$ be an odd prime and let $\phi(x)=x^{p^2}+p^2x^{p^2+1}$. We prove an unconditional digit-sum congruence formula for the coefficients of the B\"ottcher coordinate of $\phi$. The argument separates the divisible case $k\equiv 0\pmod p$ from the general case, gives a complete vector-partition description of the surviving $B$-term monomials, and reduces the remaining partition sum to a one-variable cumulant. As consequences we recover the residue-class congruences conjectured by Salerno and Silverman and obtain an explicit description of the first block of coefficients modulo $p$.

The Circle Method for Quadrics over Function Fields
math.NT


Johanna Mettasch

We use the circle method to count $\mathbb{F}_q(t)$-rational points of bounded naive height on a quadric hypersurface $X\subseteq \mathbb{P}^{n-1}$ defined over $\mathbb{F}_q$, provided that $\mathrm{char}(\mathbb{F}_q)>2$ and $n\ge 3$. Viewing these points as morphisms $\mathbb{P}^1 \to X$ of fixed degree, we obtain exact formulas for their number depending on the parity of $n$ and on the determinant of the quadratic form defining $X$, including secondary terms in some cases.

Counting Frobenius extensions over local function fields
math.NT


Jürgen Klüners, Raphael Müller

We determine the asymptotic growth of extensions of local function fields of characteristic p counted by discriminant, where the Galois group is a subgroup of the affine group AGL_1(p). More general, we solve the corresponding counting problems for all groups which arise in a tower of a cyclic extension of order p over a cyclic extension of degree d coprime to p. This in particular give answers for certain non-abelian groups including S_3, dihedral groups of order 2p, and many Frobenius groups.

On congruence conjectures of Andrews and Bachraoui
math.NT
math.CO


Koustav Banerjee, Kathrin Bringmann, Mohamed El Bachraoui

Andrews and the third author recently studied congruences for certain restricted two-color partitions. They made two conjectures for Ramanujan-type congruences and a vanishing identity for the limiting sequence. In this paper, we settle these conjectures by relating the corresponding generating function to modular forms and mock theta functions.

Large values of exponential sums with multiplicative coefficients
math.NT


Andrew Granville, Youness Lamzouri

In 1977 Montgomery and Vaughan gave tight bounds for exponential sums of the form $\sum_{n\leq x}f(n)e(n\alpha)$ where $f$ is a $1$-bounded multiplicative function and $\alpha\in\mathbb R$, close to the conjectured $\ll \frac{x}{\sqrt{q}}+ \frac{x}{\log x}$ where $\alpha$ is best approximated by $|\alpha-a/q|\leq 1/(qx)$, showing their results to be ``best-possible'' by observing that the first part of their bound is more-or-less attained when $f(n)=\chi(n), \alpha=\frac aq$ where $\chi$ is a primitive character mod $q$, and the second part when $f(p)=e(-\alpha p)$ for all large primes $p$. La Bret\`eche and Granville proved that when $\alpha$ lies on a major arc the exponential sum is significantly smaller unless $f$ ``pretends to be'' $\chi(n)n^{it}$ for some character $\chi$ and real number $|t|<\log x$; and herein we prove that when $\alpha$ lies on a minor arc, the exponential sum is significantly smaller unless $f(p)$ pretends to be $e(-hp\alpha)$ for primes $p\leq x$ for some bounded integer $h$. We also study exponential sums $\sum_{n\leq x, P^+(n)\leq y} f(n) e(n\alpha)$ restricted to $y$-smooth (or $y$-friable) integers $n$. We conjecture that this sum is $\ll \frac{\Psi(x, y)}{\sqrt{q}}+ \frac{\sqrt{xy}}{\log x} $ in a wide range of parameters, show that if true this is best possible, and prove an upper bound in a wide range that is only slightly weaker than the conjecture. Finally we study the logarithmically weighted exponential sums $\sum_{n\leq x} \frac{f(n)}{n} e(n\alpha)$. We conjecture that this sum is $\ll \frac{\log x}{\sqrt{q}}+\log q$ in a wide range of parameters, show that if true this is best possible, and prove an upper bound in a wide range that is only slightly weaker than the conjecture. Along the way, we will prove various technical results about multiplicative functions which may be of use elsewhere.

Galois group of exceptional curves on the generic del Pezzo surface
math.AG
math.NT


Xinyu Fang

We prove that the Galois action on the exceptional curves on the generic del Pezzo surface of degree $d$ is maximal for all degrees $d$ and over any field $k$. As a consequence of the case $d=3$, we deduce that over $\mathbb{F}_q(u)$, 100% of cubic surfaces have no Brauer-Manin obstruction.

Cuspidal $\ell$-modular representations of ${\rm GL}_n(F)$ distinguished by a Galois involution, II
math.RT
math.NT


Robert Kurinczuk, Nadir Matringe, Vincent Sécherre

Let $F/F_0$ be a quadratic extension of non-Archimedean locally compact fields with residual characteristic $p\neq2$, and $\ell$ be a prime number different from $p$. We classify those $\ell$-modular cuspidal irreducible representations of ${\rm GL}_n(F)$ which are ${\rm GL}_n(F_0)$-distinguished, that is, which carry a non-zero ${\rm GL}_n(F_0)$-invariant linear form. In the case when $\ell\neq2$, an $\ell$-modular cuspidal representation of ${\rm GL}_n(F)$ is ${\rm GL}_n(F_0)$-distinguished if and only if it lifts to a ${\rm GL}_n(F_0)$-distinguished cuspidal $\ell$-adic representation, whereas when $\ell=2$, it is ${\rm GL}_n(F_0)$-distinguished if and only if it is conjugate-self-dual.

On the inverse Galois problem for del Pezzo surfaces of degree 1
math.AG
math.NT


Luke Karras

We solve the inverse Galois problem for del Pezzo surfaces of degree 1 over finite fields completely for 85 of the 112 possible types. We also determine for all 112 types the smallest field of existence. As an aside, we provide an example of a del Pezzo surface of degree 1 in characteristic 2 with more than one generalized Eckardt point.

Intersections and the B\'ezout Range: Abelian Varieties
math.AG
math.NT


Gregorio Baldi, David Urbanik

Given subvarieties $X, Y$ of a complex algebraic variety $S$ of complementary dimension, must they intersect? When $S$ is projective space, this is a consequence of the classical B\'ezout theorem, and an analogue for simple abelian varieties was established by Barth in 1968. Moreover, the moving lemma suggests that, after suitable translations, one may arrange for intersections of the expected dimension. In this work, we obtain variants for simple abelian varieties in the spirit of the completed Zilber--Pink philosophy. When $X$ and $Y$ have complementary dimension, we show that the intersections $X \cap [n]Y$ are zero-dimensional for all but finitely many integers $n$, and that these intersections collectively give rise to an analytically dense subset of $X$ as $n$ varies. We moreover control those $n$ for which $X \cap [n] Y$ has a positive dimensional component uniformly in $X, Y$ and $A$. When $\dim X + \dim Y < \dim A$, we show that $X \cap [n]Y = \varnothing$ for a set of integers $n$ of asymptotic density one, except in the presence of intersections at torsion points.

Beatty Sequences for a Quadratic Irrational: Decidability and Applications
math.NT
cs.DM
cs.FL
math.CO
math.LO
v3


Luke Schaeffer, Jeffrey Shallit, Stefan Zorcic

Let $\alpha$ and $\beta$ belong to the same quadratic field. We show that the inhomogeneous Beatty sequence $(\lfloor n \alpha + \beta \rfloor)_{n \geq 1}$ is synchronized, in the sense that there is a finite automaton that takes as input the Ostrowski representations of $n$ and $y$ in parallel, and accepts if and only if $y = \lfloor n \alpha + \beta \rfloor$. Since it is already known that the addition relation is computable for Ostrowski representations based on a quadratic number, a consequence is a new and rather simple proof that the first-order logical theory of these sequences with addition is decidable. The decision procedure is easily implemented in the free software Walnut. As an application, we show that for each $r \geq 1$ it is decidable whether the set $\{ \lfloor n \alpha + \beta \rfloor \, : \, n \geq 1 \}$ forms an additive basis (or asymptotic additive basis) of order $r$. Using our techniques, we also solve some open problems of Reble and Kimberling, and give an explicit characterization of a sequence of Hildebrand et al.

Geometric designs and Hilbert-Kamke equations of degree five for classical orthogonal polynomials
math.NT
math.CO
v4


Teruyuki Mishima, Xiao-Nan Lu, Masanori Sawa, Yukihiro Uchida

In this paper we elucidate the advantage of examining the connections between Hilbert-Kamke equations and geometric designs, or Chebyshev-type quadrature, for classical orthogonal polynomials. We first establish that if a $5$-design with $6$ rational points for a symmetric classical measure is parametrized by rational functions, then the corresponding measure should be the Chebyshev measure $(1-t^2)^{-1/2}dt/\pi$ on $(-1,1)$. Our proof is based on the collaboration of a certain polynomial identity and some advanced techniques on the computation of the genus of a certain irreducible curve. Next, we prove a necessary and sufficient condition for the existence of rational $5$-designs for the Chebyshev measure. Moreover, as one of our main theorems, we construct an infinite family of ideal solutions for the Prouhet-Tarry-Escott (PTE) problem by utilizing rational $5$-designs for the Chebyshev measure, and then establish that, up to affine equivalence over $\mathbb{Q}$, such ideal solutions are included in the famous parametric solutions found by Borwein (2002).

Diophantine approximation with sums of two squares
math.NT
v4


Stephan Baier, Habibur Rahaman

For any given positive definite binary quadratic form $Q$ with integer coefficients, we establish two results on Diophantine approximation with integers represented by $Q$. Firstly, we show that for every irrational number $\alpha$, there exist infinitely many positive integers $n$ represented by $Q$ and satisfying $||\alpha n||0$. This is an easy consequence of a result by Cook on small fractional parts of diagonal quadratic forms. Secondly, we give a quantitative version with a lower bound of this result when the exponent $1/2-\varepsilon$ is replaced by any fixed $\gamma<3/7$. To this end, we use the Voronoi summation formula and a bound for bilinear forms with Kloosterman sums to fixed moduli by Kerr, Shparlinski, Wu and Xi.

Multiple $\wp$-Functions and Their Applications
math.NT
v2


Hayato Kanno, Katsumi Kina

In this paper, we introduce and study multiple $\wp$-functions, which generalize the classical Weierstrass $\wp$-function to iterated sums over lattice points, and we establish explicit formulas expressing them in terms of single $\wp$-functions with coefficients given by multiple Eisenstein series. As an application, we derive some relations among multiple Eisenstein series and multiple zeta values by exploiting the double periodicity of the multiple $\wp$-functions.

Simultaneous non-vanishing of central values of $\mathrm{GL}(2)\times \mathrm{GL}(3)$ and $\mathrm{GL}(3)\times \mathrm{GL}(3)$ $L$-functions
math.NT
v2


Junjie Pan

Let $g$ denote a fixed holomorphic Hecke cusp form of weight $k \equiv 0 \pmod{4}$ on $\mathrm{SL}_2(\mathbb{Z})$, and let $\pi$ be a fixed cuspidal automorphic representation of $\mathrm{GL}_3$. In this paper, we establish an asymptotic formula for the first moment of the product \[L(1/2,g\times F)L(1/2,\pi\times F),\] where $F$ runs over an orthonormal basis of Hecke-Maa{\ss} cusp forms of level $q$ on $\mathrm{GL}_3$. As an application, we deduce that $L(1/2, g\times F)L(1/2,\pi\times F)\neq 0$ for infinitely many such forms $F$.

Restricted Overpartitions and concave compositions: their modularity and asymptotics
math.NT
v2


Koustav Banerjee, Kathrin Bringmann, Atul Dixit

In this paper we study restricted overpartitions and concave compositions. In several cases the resulting generating functions involve simultaneously modular forms, mock theta functions, mock Maass theta functions, and false theta functions, illustrating the appearance of mixed modular structures in restricted partition problems. Moreover, we obtain their asymptotic main terms. We also study related rank statistics.

Multiplicities of eigenvalues and quadratic representations of integers
math.NT
math.SP
v2


Siqi Fu, Andrew Pendleton

We study the set $M$ of all multiplicities of non-zero eigenvalues for the Laplace operator on a two-dimensional rectangle or torus. We show that for a rectangle with the side length ratio $r$, $M=\mathbb{N}$, the set of all positive integers, if and only if $r^2$ is rational. For a torus whose generating vectors have a length ratio $r$ and the angle between them $\theta$, we show that $M$ is an infinite set if and only if both $r\cos\theta$ and $r^2$ are rational. In this case, $M=2\mathbb{N}$, $4\mathbb{N}$, or $6\mathbb{N}$, and we obtain a characterization for each of these cases in term of $r\cos\theta$ and $r^2$. In the case when at least one of $r\cos\theta$ or $r^2$ is irrational, we show that $M=\{2\}$ or $\{2, 4\}$, and obtain a characterization for these cases. We prove these results by studying the number of integral lattice points on dilated ellipses.

Alternating geometric progressions modulo one and Sturmian words
math.NT
math.CO
v2


Qing Lu, Weizhe Zheng

Let $b\ge 2$ be an integer. Using Sturmian words we describe all irrational real numbers $\xi$ such that the image in $\mathbb{R}/\mathbb{Z}$ of the sequence $(\xi (-b)^n)_{n\ge 0}$ is contained in an interval of length $b^{-1}+b^{-2}-b^{-3}$. In previous work (arXiv:2603.16794) we showed that the image cannot be contained in a shorter interval.

Regularized integrals and manifolds with log corners
math.DG
math-ph
math.AG
math.MP
math.NT
v3


Clément Dupont, Erik Panzer, Brent Pym

We introduce a natural geometric framework for the study of logarithmically divergent integrals on manifolds with corners and algebraic varieties, using the techniques of logarithmic geometry. Key to the construction is a new notion of morphism in logarithmic geometry itself, introduced by Howell, which allows us to interpret the ubiquitous rule of thumb ''$\lim_{\epsilon\to 0} \log \epsilon := 0$'' as the restriction to a submanifold. Via a version of de Rham's theorem with logarithmic divergences, we obtain a functorial characterization of the classical theory of ``regularized integration'': it is the unique way to extend the ordinary integral to the logarithmically divergent context while respecting the basic laws of calculus (change of variables, Fubini's theorem, and Stokes' formula.)

Block decompositions for $p$-adic classical groups and their inner forms
math.RT
math.NT
v3


David Helm, Robert Kurinczuk, Daniel Skodlerack, Shaun Stevens

For an inner form $\mathrm{G}$ of a general linear group or classical group over a non-archimedean local field of odd residue characteristic, we decompose the category of smooth representations on $\mathbb{Z}[\mu_{p^{\infty}},1/p]$-modules by endo-parameter. We prove that parabolic induction preserves these decompositions, and hence that it preserves endo-parameters. Moreover, we show that the decomposition by endo-parameter is the $\overline{\mathbb{Z}}[1/p]$-block decomposition; and, for $\mathrm{R}$ an integral domain, introduce a graph whose connected components parameterize the $\mathrm{R}$-blocks, in particular including the cases $\mathrm{R}=\overline{\mathbb{Z}}_{\ell}$ and $\mathrm{R}=\overline{\mathbb{F}}_\ell$ for $\ell\neq p$. From our description, we deduce that the $\overline{\mathbb{Z}_\ell}$-blocks and $\overline{\mathbb{F}_\ell}$-blocks of $\mathrm{G}$ are in natural bijection, as had long been expected. Our methods also apply to the trivial endo-parameter (i.e., the depth zero subcategory) of any connected reductive $p$-adic group, providing an alternative approach to results of Dat and Lanard in depth zero. Finally, under a technical assumption (known for inner forms of general linear groups) we reduce the $\mathrm{R}$-block decomposition of $\mathrm{G}$ to depth zero.

A conjecture of Radu and Sellers on congruences modulo powers of 2 for broken 3-diamond partitions
math.CO
math.NT
v2


Dandan Chen, Rong Chen, Siyu Yin

In 2007, Andrews and Paule introduced the family of functions $\Delta_k(n)$, which enumerate the number of broken $k$-diamond partitions for a fixed positive integer $k$. In 2013, Radu and Sellers completely characterized the parity of $\Delta_3(8n+r)$ for certain values of $r$ and proposed a conjecture on congruences modulo powers of $2$ for broken $3$-diamond partitions. In this paper, we employ an unconventional $U$-sequence to resolve the revised conjecture put forward by Radu and Sellers.

Complexity of Linear Subsequences of $k$-Automatic Sequences
cs.FL
cs.DM
math.CO
math.NT
v5


Delaram Moradi, Narad Rampersad, Jeffrey Shallit

We construct automata with input(s) in base $k$ recognizing some basic relations and study their number of states. We also consider some basic operations on $k$-automatic sequences $(h(i))_{i \geq 0}$ and discuss their state complexity. We find a relationship between subword complexity of the interior sequence $(h'(i))_{i \geq 0}$ and state complexity of the linear subsequence $(h(ni+c))_{i \geq 0}$. We resolve a recent question of Zantema and Bosma about linear subsequences of $k$-automatic sequences with input in most-significant-digit-first format. We also discuss the state complexity and runtime complexity of using a reasonable interpretation of B\"uchi arithmetic to actually construct some of the studied automata recognizing relations or carrying out operations on automatic sequences.

Short proofs in combinatorics and number theory
math.CO
math.NT
v2


Boris Alexeev, Moe Putterman, Mehtaab Sawhney, Mark Sellke, Gregory Valiant

We give a triplet of short proofs, each of which answers a question raised by Erd\H{o}s. The first concerns the small prime factors of $\binom{n}{k}$, the second concerns whether an additive basis $A$ can always be split into pieces $A_1$ and $A_2$ such that each of $A_i + A_i$ has bounded gaps, and the final concerns whether $\{\alpha p\}$ is "well-distributed" in the sense introduced by Hlawka and Petersen. In each case, the proof is due entirely to an internal model at OpenAI.