Number Theory [math.NT]

On purity of Anderson t-modules

math.NT

math.RA

In the theory of abelian Anderson $t$-modules, pure Anderson $t$-modules play an important role. Namoijam and Papanikolas also introduced the notions of strictly pure and almost strictly pure $t$-modules which are special classes of pure $t$-modules. Whereas it is well known that not all pure $t$-modules are isomorphic to strictly pure ones (e.g.~the tensor powers of the Carlitz module), the same question for almost strictly pure $t$-modules was not answered yet. In this article, we show that every pure Anderson $t$-module defined over a field $K$ is indeed isomorphic to an almost strictly pure Anderson $t$-module after base change to a suitable finite algebraic extension of $K$. We also give a necessary and sufficient criterion when such an isomorphism to a strictly pure Anderson $t$-module is possible.

Inclusions between p-bounded crystalline loci in dimension two

math.NT

Let p be an odd prime and K/Qp a finite unramified extension of degree f > 1. Let Z(r) be the reduced special fiber of the Emerton-Gee stack of two-dimensional crystalline representations of Hodge type r of the absolute Galois group of K. We study the collection of stacks Z(r) as r varies over p-bounded Hodge types, as a set partially ordered under inclusion. We prove that aside from two degenerate cases, simple inclusions can be classified in terms of three operations on Hodge types, two of which have standard automorphic interpretations. We also prove, with one exception, that inclusions can be detected at the level of an inclusion of closed points (equivalently, semisimple mod p Galois representations). GPT-5.5 Pro was used extensively in the course of this work.

Bhargava Gamma functions for determinant-admissible sets

math.NT

Bhargava's factorial construction attaches to a subset $S$ of a Dedekind domain a sequence of factorial ideals determined by local $p$-orderings. We introduce determinant-admissibility, a framework for factorial calculi whose local ordering data admit canonical carry, orbit, or renewal models together with compatible relative determinants. For such sets, the natural analogue of the Gamma function is generally not a scalar-valued function but a completed determinant line. After clearing rational spectral multiplicities, its integer fibers recover a finite tensor power of the Bhargava factorial ideals. Over number fields this line carries Archimedean metrics, while over global function fields it is completed at the distinguished places at infinity. In this formulation, Stirling-type formulas arise from large-parameter asymptotics of metrized determinants, and reflection formulas arise from dualities of the corresponding determinant complexes. We develop the theory through classical factorials, quadratic polynomial images, geometric and $q$-factorials, Polya--Ostrowski factorial ideals, Carlitz--Goss factorials, and a Bhargava--Barnes lift whose second-level determinant recovers the optimal Vandermonde energy of $n$-optimal sets. The set of cubes provides the first genuinely renewal-theoretic example. For primes $p \equiv 1 \pmod{3}$, we construct an exact three-state carry determinant, while projection through the quadratic character $\chi_{-3}$ yields the Archimedean half-determinant \[ \Gamma_{C,\infty}(z) = \sqrt{\Gamma(z)\Gamma(3z-2)} \] and a natural square-root determinant line. The remaining finite-place contribution is governed by nonlinear renewal systems at primes $p \equiv 2 \pmod{3}$ and by a ramified system at $p=3$; constructing their canonical global relative determinant is the principal open analytic problem.

On the transcendence of twisted special $L$-values at non-negative integers in characteristic $p$

math.NT

In this article, we study the transcendence of special values of certain Goss type $L$-series at non-negative integers, which takes values in a function field of characteristic $p$. We show that, for a Drinfeld module $\varphi$ over $K$ and an Artin representation $\rho:G_K\to \operatorname{GL}_n(\overline{\mathbb{F}}_q)$, the twisted special value $L(\varphi^\vee,\rho,k)$ is transcendental over $K$ for every non-negative integer $k$. The proof uses the theory of Artin twists of Drinfeld modules, Taelman's regulators of $t$-modules, and the algebraic independence theorem of Gezmis and Namoijam for tractable coordinates of logarithms. As a consequence, we deduce the transcendence of the special $L$-value $L(\rho,k)$ for every positive integers $k$.

Improved Bounds for Distinct Multiples in Intervals

math.NT

math.CO

In this note, we study two functions introduced by Erd\H{o}s and Pomerance. For any positive integer $n$, let $F(n)$ be the smallest integer $F>0$ such that any $F$ consecutive integers contain a distinct multiple for each positive integer at most $n$, and let $h_{\mathbb{P}}(n)$ be the smallest integer $H>0$ such that any $H$ consecutive integers contain a distinct multiple for each prime at most $n$. Based on the square-residue digit construction of Green and Ruzsa, we prove \[ F(n)\ge h_{\mathbb P}(n)\ge n\exp\!\left(\frac{1}{50}\frac{\log n}{\log\log n}\right), \] for sufficiently large $n$. This improves the previous bounds $h_{\mathbb P}(n)/n\to\infty$ by Ruzsa, $F(n)\gg n\log n/\log \log n$ by van Doorn, and $F(n)\gg n\log n$ by Kominers and, in particular, disproves the conjecture $F(n)\ll n\log n$ by Kominers. Moreover, we prove \[ F(n)\le n^{\beta+o(1)}\ll n^{1.4031} \qquad {\rm and}\qquad h_{\mathbb P}(n) \ll \frac{n^{7/5}}{(\log n)^{2/5}}, \] where $\beta\in (1,2)$ is the root of $2\beta^3-8\beta^2+8\beta-1=0$. This improves the previous best bounds $F(n)\ll n^{3/2}$ and $h_{\mathbb{P}}(n)\ll n^{3/2}/\sqrt{\log n}$ by Erd\H{o}s and Pomerance in 1980. Our upper bound on $F(n)$ is a corollary of the sum--difference theorem of Katz and Tao, while the upper bound on $h_{\mathbb P}(n)$ is achieved via a novel combinatorial method.

On Oliver's relations between infinite series and infinite products

math.NT

The Jacobi triple product identity provides closed-form expressions for many infinite-product generating functions that arise naturally in combinatorics and number theory. A particularly important application is to Dedekind's eta function {\eta}({\tau}), which it expresses as a theta function. Using the theory of modular forms, Oliver [5] classified all eta quotients that are theta functions. In this paper, we present elementary proofs of the identities established by Oliver.

On a Question of Lehmer concerning the Comtet Numbers

math.NT

math.CO

The Comtet numbers $b(n,k)$ and $B(n,k)$ of the first and second kind arise from the powers of $(1+x)\log(1+x)$ and of its compositional inverse, respectively. By interpreting both families as special values of weighted Stirling polynomials, we answer Lehmer's question of whether $B(n,k)$ satisfies a recurrence with a fixed number of terms by proving the four-term recurrence $kB(n+1,k+1)=B(n,k-1)-(n-k)B(n,k)-B(n+1,k)$. The corresponding relation for the unsigned array was conjectured by M. Kurkov, but not proved, in OEIS A354794. We further derive explicit formulas, convolution identities, and differential-difference relations for the Touchard-type polynomials attached to the two families.

On the higher algebraic $K$-groups of arithmetically equivalent number fields

math.NT

math.KT

In this paper, based on the structure of higher algebraic $K$-groups of the rings of integers of number fields, we introduce new equivalence relations between number fields called $K$-equivalence and almost $K$-equivalence, and investigate their relationships with arithmetical equivalence and local integral equivalence. Building upon the classical properties of arithmetically equivalent number fields studied by R. Perlis and on the pioneering work by Komatsu, we apply the Rost-Voevodsky theorem (the Quillen-Lichtenbaum conjecture) for odd primes $p$, thereby analyzing algebraic $K$-groups within the framework of continuous \'etale cohomology from a more modern perspective. As our main results, by utilizing permutation representations of global Galois groups and the data of local decomposition groups, we refine Komatsu's previous results in the range $p \neq 2$ and describe the conditions for number fields to be (almost) $K$-equivalent. Through these developments, we clarify how the arithmetic information reflected in higher $K$-groups resonates with the special values of zeta functions and Galois representations.

Explicit mock Heegner points and BSD formula on certain Mordell curves

math.NT

For a natural number $a$, let $E_{2a}$ be the Mordell elliptic curve $X^3 +Y^3=2a$. We give an explicit construction of (mock) Heegner point on the Mordell curve $E_{2p}$ for a prime $p\equiv 4 \mod 9$ and $E_{2p^2}$ for a prime $p\equiv 7 \mod 9$, under the assumption that $2$ is not a cube modulo $p$. We also verify the explicit Gross-Zagier formula for these curves and go on to show that the BSD formula holds for these curves up to a $2$-adic unit. Using a result of Burungale-Flach, we show that the full BSD formula holds for the rank zero curve $E_{2p}$ for $p\equiv 7 \mod 9$ and $E_{2p^2}$ for $p\equiv 4 \mod 9$, whenever $2$ is not a cube modulo $p$.

Dimensions of Orbit Closures and Discrepancy for Dynamical $p$-adic Sequences

math.NT

math.DS

Classical discrepancy quantifies the irregularity of the distribution of a sequence in the unit interval. In this paper, we study the analogous notion for sequences in the ring of $p$-adic integers with a focus on the dynamically generated sequences. We prove that the orbits of ergodic $1$-Lipschitz self-maps of $\mathbb{Z}_p^d$ attain the optimal order of discrepancy and hence form low-discrepancy sequences. We also obtain bounds on the growth of the size of orbits of polynomial self-maps of $f: \mathbb{Z}_p^d \to \mathbb{Z}_p^d$ modulo $p^n$ for $d>1$. As a consequence, we show that orbit closures of $f$ have box dimension either zero or one. Our approach relies on the introduction of strong fixed points for such maps, together with several decomposition results for matrices over $\mathbb{Z}_p$.

Kuroda's Class Number Formula

math.NT

We give a non-analytic proof of the class number formula for biquadratic extensions of number fields.

On a problem of minimal additive complements for not eventually periodic $S$-difference sets

math.NT

Let $C$ and $W$ be two integer sets. If $C+W=\mathbb{Z}$, then we say that $C$ is an additive complement to $W$. If no proper subset of $C$ is an additive complement to $W$, then we say that $C$ is a minimal additive complement to $W$. In this paper, we give an affirmative answer to one problem of Ma and Chen [On a problem of minimal additive complements of integers, J. Number Theory 284(2026), 178-187.]

On the second moment and non-vanishing of central values of Hecke $L$-functions of $r$-th order characters

math.NT

In this paper, we establish asymptotic formulas for the first and second twisted moments of $r$-th order Hecke $L$-functions over global fields that contain the $2r$-th roots of unity, for $r\ge 3$. We focus primarily on algebraic number fields. As a consequence, we establish a positive proportion of non-vanishing central values for these $L$-functions, specifically for families of both square-free and $r$-th power-free ideals. Our approach is based on the machinery of multiple Dirichlet series.

Formally certifying number field invariants

cs.LO

math.NT

Number fields, which generalize the rational numbers, are fundamental objects in number theory. Many of their key arithmetic properties are captured by invariants whose computation is among the central tasks of computational algebraic number theory and a focus of several computer algebra systems and databases. In this paper, we describe a Lean 4 formalization for certifying several of these number field invariants. Building on previous work on certifying rings of integers, we extend this certification approach to further invariants including the signature, the unit group modulo $p$-th powers, and, ultimately, the class group. We also improve discriminant certification, allowing verifications for higher-degree number fields infeasible in previous work. We introduce structures based on representations of algebraic objects suited to computation, including reusable ones for certifying ideal arithmetic. Along the way, we formalize several underlying mathematical results, for instance on real closed fields and pseudo-remainder sequences, which are of independent interest. We apply our framework to verify hundreds of entries of the $\textit{L-functions and modular forms database}$ (LMFDB) concerning the discriminant, signature, class number, and class group structure of various number fields. To this end, we wrote a SageMath script that computes the certificates and outputs Lean proofs of the corresponding statements.

Fuglede's Conjecture on Cyclic Groups of Square-Free Order: The Case of Rapidly Growing Prime Factors

math.CO

math.NT

The main result of the paper is that an inductive argument is established to prove the Fuglede's conjecture for an infinite sequence of square-free order cyclic groups. The tile-to-spectral direction of the conjecture holds for all square-free cyclic groups, whereas we prove the spectral-tiling direction only for those groups among them whose prime factors grow rapidly. To achieve this, we develop an inductive technique with roots in a previous paper by the author co-authored with Fallon, Kiss, and Mayeli. Following recent preprints, Fuglede's conjecture remains open only for finite cyclic groups, and until now, there was no cyclic group for which the conjecture was known that possessed an arbitrary number of distinct divisors.

Asymptotics of the spectral determinant of the weighted Laplacian for a sequence of compact Riemann surfaces of infinitely growing volume

math.SP

math.NT

Let $(X,\chi,k)$ be a triple consisting of a smooth, compact hyperbolic Riemann surface $X$ of genus $g$, and an $m$ dimensional unitary multiplier system $\chi$ of admissible weight $k$. Our first result establishes an analogue of the prime geodesic theorem for the weighted prime geodesic counting function associated to $(X,\chi,k)$. The error term we obtain is explicit with effectively computable constants which depend solely on the genus of $X$, the dimension of $\chi$, the length of shortest geodesic on $X$ and the smallest non-zero eigenvalues of the weighted Laplacian $\Delta_{2k}$ as well that of the scalar Laplacian $\Delta_{0}$. Our second result studies the asymptotic behavior of the spectral determinant $\det\Delta_{2k_n}$ for a sequence $(X_{n}, \chi_{n}, k_{n})$ for which the genus of $X_n$ tends to infinity. Under reasonably general circumstances, namely the existence of a weak spectral gap, a uniform discreteness of the underlying Fuchsian group, and a type of non-accumulation of bounded geodesics, we prove that $\log\det\Delta_{2k_n}/\mathrm{vol}(X_{n})$ converges to a constant $C_{\alpha}$ which depends only on $\alpha=\lim_{n\to\infty} k_n$. Our result is deterministic and is compatible with the three well-studied probabilistic models, namely Weil-Petersson, Brooks-Makover, and random covers model.

Splitting Brauer classes by genus one curves over number fields

math.AG

math.NT

We prove that every Severi-Brauer variety of dimension at least two over a number field contains a twisted elliptic normal curve. Consequently, every Brauer class over a number field is split by a genus one curve. We prove this using the fibration method, by showing that the rational points on a smooth compactification of the Hilbert scheme of twisted elliptic normal curves are dense in its Brauer-Manin set.

A topological interpretation of numbers

math.GT

math.AT

math.GR

math.NT

We survey recent advancements on the realisation problem for mapping degree sets. In particular, we explain that any finite set containing zero is the mapping degree set between some $n$-manifolds, for each $n\geq3$. Our building factors for the construction of the realising manifolds will be aspherical manifolds. Thus, along the way, we review a couple of open questions related to maps of non-zero degree for aspherical manifolds.

The Relative Manin-Mumford Conjecture

math.NT

math.AG

v3

We prove the Relative Manin-Mumford Conjecture for families of abelian varieties in characteristic 0. We follow the Pila-Zannier method to study special point problems, and we use the Betti map which goes back to work of Masser and Zannier in the case of curves. The key new ingredients compared to previous applications of this approach are a height inequality proved by both authors of the current paper and Dimitrov, and the first-named author's study of certain degeneracy loci in subvarieties of abelian schemes. We also strengthen this result and prove a criterion for torsion points to be dense in a subvariety of an abelian scheme over $\mathbb{C}$. The Uniform Manin-Mumford Conjecture for curves embedded in their Jacobians was first proved by K\"{u}hne. We give a new proof, as a corollary to our main theorem, that does not use equidistribution.

Emerton--Gee stacks, Serre weights, and Breuil--M\'ezard conjectures for $\mathrm{GSp}_4$

math.NT

v3

We construct a moduli stack of rank 4 symplectic projective \'etale $(\varphi,\Gamma)$-modules and prove its geometric properties for any prime $p>2$ and finite extension $K/\mathbf{Q}_p$. When $K/\mathbf{Q}_p$ is unramified, we adapt the theory of local models recently developed by Le--Le Hung--Levin--Morra to study the geometry of potentially crystalline substacks in this stack. In particular, we prove the unibranch property at torus fixed points of local models and deduce that tamely potentially crystalline deformation rings are domain under genericity conditions. As applications, we prove, under appropriate genericity conditions, an $\mathrm{GSp}_4$-analogue of the Breuil--M\'ezard conjecture for tamely potentially crystalline deformation rings, the weight part of Serre's conjecture formulated by Gee--Herzig--Savitt for global Galois representations valued in $\mathrm{GSp}_4$ satisfying Taylor--Wiles conditions, and a modularity lifting result for tamely potentially crystalline representations.

Sign changes of Fourier coefficients for holomorphic eta-quotients

math.NT

math.CO

v2

In this paper we study sign changes of an infinite class of $\eta$-quotients which are holomorphic modular forms. There is also a relation to Hurwitz class numbers.

Long strings of composite values of polynomials and a basis of order 2

math.NT

v4

We show that for any polynomial $f: \mathbb{Z}\to \mathbb{Z}$ with positive leading coefficient and irreducible over $\mathbb{Q}$, if $N$ is large enough then there are two strings of consecutive positive integers $I_{1}=\{n_1-m,\ldots, n_1+m\}$ and $I_{2}=\{n_2-m, \ldots, n_2+m\}$, such that $m = [(\log N) (\log \log N)^{1/325565}]$, $I_{1}\cup I_{2} \subset [1, N]$, $N = n_1 + n_2$, and $f(n)$ is composite for any $n\in I_{1}\cup I_{2}$. This extends the result in [5] which showed the same result but with $f(n)=n$.

The Exceptional Set in Goldbach's Problem with two Chen Primes

math.NT

v2

We show that all natural numbers $n\equiv 4\pmod 6$ are the sum of two Chen primes (primes $p$ such that $p+2$ has at most two prime factors), apart from a power-saving set of exceptions. This improves on various previous results and is optimal, barring substantial progress on the twin prime or binary Goldbach conjectures. The proof is based on constructing a non-negative model for the Chen primes in a suitable approximate sense. To do this, we develop an efficient sieving strategy that makes use of a power-saving variant of the Bombieri--Vinogradov theorem. Furthermore, we show that the primes are well approximated in additive problems by the Cram\'er model (rough numbers) with a sifting parameter of power size.

Gauss and p-adic numbers

math.NT

math.HO

v2

In his notebooks, Gauss recorded various calculations with "infinite congruences". These infinite congruences are p-adic numbers; Gauss computes a square root of $5$ in the $11$-adic integers in order to find an $11$-adic approximation to a quadratic Gauss sum, computes a nontrivial square root of $1$ in $10$-adic integers, and computes the $10$-adic logarithms of small natural numbers.

Additive relations in irrational powers

math.NT

math.CO

v2

We investigate the interaction between raising to an irrational power and addition of real numbers. Thus, for a finite set $A$ of non-negative real numbers, let $A^{[c]} = \{a^c : a \in A\}$. When $k$ is a positive integer, $c$ is a real irrational number, and $A$ is a subset of an $N$-term arithmetic progression in $\mathbb{R}_{\geq 0}$ having cardinality at least a power of $\log{N}$, we prove that the $k$-fold sumset $|kA^{[c]}| \sim_k |A|^k/k!$ as $|A| \to \infty$. This result is uniform in $c$. When $A = \{1, \dots, N\}$ and $k = 2$, this result can be combined with existing works to show that $|A^{[c]} + A^{[c]}| \sim N^2/2$ as $N \to \infty$ whenever $c \in \mathbb{R} \setminus \{0, 1, 2\}$. The sumset lower bound follows from a bound on the number of equal sums of $r$ and $s \geq r$ elements of $A^{[c]}$ (by taking $r = s = k$). When $r = s = 2$ or $s > r$, our bound is optimal up to a power of $\log N$. This bound is proved using a functional transcendence theorem for certain endomorphisms of $\mathbb{R}_{>0}^n$, and innovations in the Pila--Wilkie counting theorem in $\mathbb{R}_{\exp}$ due to Binyamini, Novikov and Zak. In a different direction, we provide a Diophantine approximation criterion on $c$ that, when satisfied, ensures that a linear form in the $c$-th powers of multiplicatively independent integers does not vanish. The proof involves linear forms in logarithms. This provides a new proof of a fact, due to Bays--Kirby--Wilkie and Jones--Servi, that when $A$ is a multiplicatively independent set of positive integers, there are infinitely many effectively computable real numbers $c$ such that $A^{[c]}$ is linearly independent over $\mathbb{Q}$.

On the Real Zeroes of Half-integral Weight Hecke Cusp Forms, II

math.NT

v3

We show that for $\gg K^2$ of the half-integral weight Hecke cusp forms in Kohnen plus subspaces with weight bounded by a large parameter $K$, the number of "real" zeroes grows at the expected rate. A key technical step in the proof is to obtain sharp bounds for the mollified first and second moments of quadratic twists of modular $L$-functions.

An Explicit Result for the Sum of Two Almost Primes

math.NT

v4

We show that every $N \geq 2$ can be written as the sum of positive integers $a$ and $b$ where $\Omega(ab) \leq 40$. The result is obtained through the direct application of an explicit lower bound Selberg sieve along with some computation and optimisation.

Strong Approximation for the Relative Character Variety of the Four-Times Punctured Sphere

math.NT

math.DS

math.GR

v3

We study the orbits of solutions to the Markoff-type equation $$X^2 + Y^2 + Z^2 = XYZ + AX + BY + CZ + D$$ in $\mathbb{F}_p,$ for fixed integers $A, B, C, D,$ under the symmetry group $\Gamma$ generated by \[\begin{split}&V_1: (x, y, z)\mapsto (A + yz - x, y, z),\\ &V_2: (x, y, z)\mapsto (x, B + xz - y, z),\text{ and}\\ &V_3: (x, y, z)\mapsto (x, y, C + xy - z).\end{split}\] This equation defines the Relative Character Variety of the Four-Times Punctured Sphere, with $\Gamma$ arising from the Pure Mapping Class Group. Outside an explicit degeneracy locus, $\Gamma$ acts transitively on the bulk of solutions mod $p$ for density-one of primes, the remainder splitting into several small orbits reflecting finite orbits over $\mathbb{C}$. For the ``degenerate'' parameters, we show there are either two large orbits (most degenerate parameters) or four (the rest, excluding $(0, 0, 0, 4)$) for a density-one set of primes. These results are especially interesting for two subfamilies. The first, $$X^2 + Y^2 + Z^2 = XYZ + k,\,\,\,k\neq 4,$$ arises in the combinatorial group theory of $\text{SL}_2(\mathbb{F}_p)$; we very nearly prove the $Q$-classification conjecture of McCullough and Wanderley for density-one of primes. By work of Martin, this conjecture implies their Classification and $T$-Classification Conjectures. The second, $$x_1^2 + x_2^2 + x_3^2 + a_1x_2x_3 + a_2x_1x_3 + a_3x_1x_2 = (3+a_1+a_2+a_3)x_1x_2x_3,$$ arises from generalized cluster algebras. Our degeneracy notion specializes to that of de Courcy-Ireland, Litman, and Mizuno. For all nondegenerate and some degenerate surfaces in this subfamily, their results imply our orbit count (1, 2, or 4) holds for all sufficiently large primes.

Extremal Chowla sets and their linear analogues: A human-AI mathematical investigation using Co-Scientist

math.NT

cs.AI

math.GR

v2

We introduce an extremal invariant associated with Chowla-type order conditions in finite groups. A nonempty subset $S$ of a finite group $G$ is called a Chowla set if every element of $S$ has order greater than $|S|$, and we write $C(G)$ for the maximum cardinality of such a set. We first show that $C(G)$ is determined by the distribution of element orders in $G$. For cyclic groups, we derive an exact divisor formula and characterize the integers $n$ for which $C(\mathbb{Z}/n\mathbb{Z})=\varphi(n)$. We prove that $\liminf_{n\to\infty}C(\mathbb{Z}/n\mathbb{Z})/\varphi(n)=1$, whereas $\limsup_{n\to\infty}C(\mathbb{Z}/n\mathbb{Z})/\varphi(n)=\infty$, and we determine the corresponding lower and upper limits under normalization by $n$. For finite abelian groups, we obtain an explicit formula in terms of the invariant-factor decomposition, together with a closed formula for finite abelian $p$-groups. We then develop a linear analogue for finite field extensions. A nonzero $K$-subspace $A$ of an extension $L/K$ is called a Chowla subspace if $[K(a):K]>\dim_K A$ for every nonzero $a\in A$. Since this condition depends on $\dim_K A$, it does not generally require every nonzero element of $A$ to generate $L$ over $K$. Nevertheless, when $L/K$ is finite and separable, we prove the exact formula $C(L/K)=[L:K]-d_{\max}(L/K)$, where $d_{\max}(L/K)$ is the largest degree over $K$ of a proper intermediate field. For finite fields, we give a direct proof in every degree using a normal-basis construction. This work was developed through an expert-guided human-AI collaboration. A reasoning-focused configuration of Co-Scientist was used to explore examples and potential proof strategies. The authors formulated the problem, independently verified and completed all arguments, and wrote the final proofs.

Sets of integers with no large sum-free subset

math.CO

math.NT

v3

Answering a question of P. Erdos from 1965, we show that for every eps>0 there is a set A of n integers with the following property: every subset A' of A with at least (1/3 + eps)n elements contains three distinct elements x,y,z with x + y = z.

$q$-analogues of Wilf-Zeilberger seeds and Ramanujan $1/\pi^k$-formulas

math.CO

math.CA

math.NT

v4

We develop the notion of Wilf-Zeilberger seeds as a powerful framework for generating WZ-pairs and for lifting classical hypergeometric identities to the $q$-setting. As an application, we systematically obtain a large family of $q$-analogues of Ramanujan-type $1/\pi^k$ formulas, extending a body of literature previously limited to sporadic examples. While the majority of these $q$-analogues are modular, we also uncover several curious instances of mock modularity.

Weighted Cohomology, Hodge Theory and Intersection Cohomology of Shimura varieties

math.AG

math.NT

v2

We prove that the intersection cohomology of the Baily-Borel compactification of a complex Shimura variety is identified with the top weight quotient of the mixed Hodge structure on the reductive Borel-Serre compactification. This yields canonical cup products and functorial pullbacks on the intersection cohomology. As an application, we introduce canonical cycle classes associated to special cycles, relating analytic geometric volumes of non-compact Shimura varieties to topological terms.

An affirmative answer to Owings's sumset question

math.CO

math.DS

math.NT

v3

We give an affirmative answer to Owings's sumset question: for any $2$-coloring of natural numbers, there is an infinite $B\subseteq\mathbb{N}$ such that $B+B$ is monochromatic. More generally, for every $m,\ell\in\mathbb{N}$ and every $2$-coloring of $\mathbb{N}$, there is an infinite $B\subseteq\mathbb{N}$ such that $$ (m+\ell)B\cup\{mx+\ell y:x,y\in B,\ x