pith. sign in

arxiv: 2603.20497 · v2 · submitted 2026-03-20 · 🧮 math.CO · math.DS· math.NT

Partition regularity in imaginary quadratic rings of integers

Sebasti\'an Donoso , Andreu Ferr\'e Moragues , Andreas Koutsogiannis , Wenbo Sun This is my paper

Pith reviewed 2026-05-15 07:47 UTC · model grok-4.3

classification 🧮 math.CO math.DSmath.NT
keywords partition regularityimaginary quadratic ringshomogeneous quadratic equationsmultiplicative functionsTurán-Kubilius inequalityconcentration estimatesDiophantine equations
0
0 comments X

The pith

Certain homogeneous quadratic equations are partition regular over the rings of integers of imaginary quadratic fields when their solutions factor nicely into linear forms.

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The paper proves partition regularity results for homogeneous quadratic equations in imaginary quadratic integer rings, but only for those equations whose parametrized solutions factor into linear forms. To reach this, the authors build several number-theoretic tools for these rings, including a characterization of aperiodic completely multiplicative functions, an analogue of the Turán-Kubilius inequality, and a new concentration bound for multiplicative functions. A reader would care because the results move classical partition-regularity statements from the ordinary integers into a larger class of algebraic number rings. The work treats the factorization condition as the gateway that lets the new multiplicative-function machinery apply directly to colorings.

Core claim

We obtain partition regularity results for homogeneous quadratic equations whose parametrized solutions admit nice factorizations into linear forms over rings of integers of imaginary quadratic fields. To do so, we develop number-theoretic results of independent interest on such fields, such as a characterization for aperiodic completely multiplicative functions, the Turán-Kubilius inequality, and a new concentration estimate for multiplicative functions.

What carries the argument

The nice factorization of parametrized solutions into linear forms over the ring of integers, which allows the new multiplicative-function estimates to control the density of monochromatic solutions.

Load-bearing premise

The parametrized solutions of the homogeneous quadratic equations must admit nice factorizations into linear forms over the rings of integers of imaginary quadratic fields.

What would settle it

An explicit homogeneous quadratic equation whose solutions factor into linear forms yet fails to be partition regular under some finite coloring of the ring, or a completely multiplicative function on the ring that is aperiodic yet violates the stated characterization.

read the original abstract

We obtain partition regularity results for homogeneous quadratic equations whose parametrized solutions admit nice factorizations into linear forms over rings of integers of imaginary quadratic fields. To do so, we develop number-theoretic results of independent interest on such fields, such as a characterization for aperiodic completely multiplicative functions, the Tur\'an-Kubilius inequality, and a new concentration estimate for multiplicative functions.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Referee Report

0 major / 2 minor

Summary. The manuscript establishes partition regularity results for homogeneous quadratic equations over the rings of integers of imaginary quadratic fields, conditional on the parametrized solutions admitting factorizations into linear forms. It develops supporting tools of independent interest: a characterization of aperiodic completely multiplicative functions, an analogue of the Turán-Kubilius inequality, and a concentration estimate for multiplicative functions in these rings.

Significance. If the central claims hold, the work extends partition regularity from the integers to a new algebraic setting, with potential implications for Diophantine equations and additive combinatorics in quadratic fields. The independent number-theoretic lemmas on multiplicative functions strengthen the contribution and may have broader applicability.

minor comments (2)
  1. Clarify the precise meaning of 'nice factorizations' with explicit examples of the quadratic equations considered, ideally in the introduction or a dedicated section.
  2. Verify that all statements of the new concentration estimate include the precise error terms and range of applicability.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for their positive summary, assessment of significance, and recommendation of minor revision. No specific major comments appear in the report.

Circularity Check

0 steps flagged

No significant circularity; derivation is self-contained

full rationale

The paper obtains partition regularity results conditionally on the hypothesis that parametrized solutions of homogeneous quadratic equations factor into linear forms over O_K. It develops independent tools (characterization of aperiodic completely multiplicative functions, Turán-Kubilius inequality, concentration estimate) presented as having independent interest and applied once the factorization holds. No equation or claim reduces by construction to a fitted parameter, self-definition, or load-bearing self-citation chain; the central argument remains externally falsifiable via the stated number-theoretic lemmas.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

Abstract provides no explicit free parameters, invented entities, or detailed axioms beyond standard domain assumptions in algebraic number theory and combinatorics; full paper would be required to audit the ledger.

axioms (1)
  • domain assumption Standard algebraic properties of rings of integers in imaginary quadratic fields, including unique factorization in certain cases and behavior of multiplicative functions.
    Invoked implicitly to support the factorization of solutions and the application of number-theoretic inequalities.

pith-pipeline@v0.9.0 · 5360 in / 1247 out tokens · 50316 ms · 2026-05-15T07:47:58.244403+00:00 · methodology

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Lean theorems connected to this paper

Citations machine-checked in the Pith Canon. Every link opens the source theorem in the public Lean library.

What do these tags mean?
matches
The paper's claim is directly supported by a theorem in the formal canon.
supports
The theorem supports part of the paper's argument, but the paper may add assumptions or extra steps.
extends
The paper goes beyond the formal theorem; the theorem is a base layer rather than the whole result.
uses
The paper appears to rely on the theorem as machinery.
contradicts
The paper's claim conflicts with a theorem or certificate in the canon.
unclear
Pith found a possible connection, but the passage is too broad, indirect, or ambiguous to say the theorem truly supports the claim.

Forward citations

Cited by 1 Pith paper

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score.

  1. Hal\'asz theorems for Gaussian ideals in sectors and short intervals

    math.NT 2026-05 unverdicted novelty 7.0

    Proves quantitative Halász theorems for multiplicative functions on nonzero ideals of ℤ[i], with sectorial and short-interval versions under angular non-pretentiousness and non-degeneracy conditions on conjugate primes.

Reference graph

Works this paper leans on

31 extracted references · 31 canonical work pages · cited by 1 Pith paper

  1. [1]

    Bergelson and A

    V. Bergelson and A. Ferré Moragues. An ergodic correspondence principle, invariant means and applications.Israel J. Math., 245(2):921–962, 2021

    work page 2021

  2. [2]

    Bergelson, J

    V. Bergelson, J. Moreira, and F. K. Richter. Multiple ergodic averages along functions from a hardy field: Convergence, recurrence and combinatorial applications.Adv. Math.,443:109597, 2024

    work page 2024

  3. [3]

    Daboussi and H

    H. Daboussi and H. Delange. On multiplicative arithmetical functions whose modulus does not exceed one.J. London Math. Soc. (2), 26(2):245–264, 1982

    work page 1982

  4. [4]

    Donoso, A

    S. Donoso, A. N. Le, J. Moreira, and W. Sun. Averages of completely multiplicative functions over the gaussian integers – a dynamical approach.Transactions of the American Mathematical Society, 377(10):7081–7115, 2024

    work page 2024

  5. [5]

    P. D. T. A. Elliott.Probabilistic number theory. I, volume 239 ofGrundlehren der Mathematischen Wissenschaften. Springer-Verlag, New York-Berlin, 1979. Mean-value theorems

    work page 1979

  6. [6]

    Frantzikinakis

    N. Frantzikinakis. Joint ergodicity of fractional powers of primes.Forum Math., Sigma,10:e30, 2022

    work page 2022

  7. [7]

    Frantzikinakis

    N. Frantzikinakis. Joint ergodicity of sequences.Adv. Math.,417:108918, 2023

    work page 2023

  8. [8]

    Frantzikinakis and B

    N. Frantzikinakis and B. Host. Higher order Fourier analysis of multiplicative functions and appli- cations.J. Amer. Math. Soc., 30(1):67–157, 2017

    work page 2017

  9. [9]

    Frantzikinakis, O

    N. Frantzikinakis, O. Klurman, and J. Moreira. Partition regularity of generalized Pythagorean pairs. Preprint 2024, arXiv:2407.08360

    work page arXiv 2024

  10. [10]

    Frantzikinakis, O

    N. Frantzikinakis, O. Klurman, and J. Moreira. Partition regularity of Pythagorean pairs.Forum Math. Pi, 13:Paper No. e5, 52, 2025

    work page 2025

  11. [11]

    W. T. Gowers. A new proof of Szemerédi’s theorem.Geom. Funct. Anal.,11(3):465–588, 2001

    work page 2001

  12. [12]

    R. Graham. Some of my favorite problems in Ramsey theory. InCombinatorial number theory, pages 229–236. de Gruyter, Berlin, 2007

    work page 2007

  13. [13]

    R. Graham. Old and new problems and results in Ramsey theory. InHorizons of combinatorics, volume 17 ofBolyai Soc. Math. Stud., pages 105–118. Springer, Berlin, 2008

    work page 2008

  14. [14]

    Green and T

    B. Green and T. Tao. The primes contain arbitrarily long arithmetic progressions.Ann. of Math., 167(2):481–547, 2008

    work page 2008

  15. [15]

    Green and T

    B. Green and T. Tao. Linear equations in primes.Ann. of Math.,171:1753–1850, 2010

    work page 2010

  16. [16]

    G. Halász. über die Mittelwerte multiplikativer zahlentheoretischer Funktionen.Acta Math. Acad. Sci. Hungar., 19:365–403, 1968

    work page 1968

  17. [17]

    Khalfalah and E

    A. Khalfalah and E. Szemerédi. On the number of monochromatic solutions ofx+y=z2.Combin. Probab. Comput., 15(1-2):213–227, 2006

    work page 2006

  18. [18]

    Klurman, A

    O. Klurman, A. P. Mangerel, C. Pohoata, and J. Teräväinen. Multiplicative functions that are close to their mean.Trans. Amer. Math. Soc., 374(11):7967–7990, 2021

    work page 2021

  19. [19]

    Kubilius.Probabilistic methods in the theory of numbers, volume Vol

    J. Kubilius.Probabilistic methods in the theory of numbers, volume Vol. 11 ofTranslations of Math- ematical Monographs. American Mathematical Society, Providence, RI, 1964

    work page 1964

  20. [20]

    L. G. Lucht and K. Reifenrath. Mean-value theorems in arithmetic semigroups.Acta Math. Hungar., 93(1-2):27–57, 2001

    work page 2001

  21. [21]

    D. A. Marcus.Number fields. Universitext. Springer, Cham, second edition, 2018. With a foreword by Barry Mazur

    work page 2018

  22. [22]

    M. R. Murty and J. Esmonde.Problems in algebraic number theory, volume 190 ofGraduate Texts in Mathematics. Springer-Verlag, New York, second edition, 2005

    work page 2005

  23. [23]

    M. R. Murty and J. Van Order. Counting integral ideals in a number field.Expo. Math., 25(1):53–66, 2007

    work page 2007

  24. [24]

    Neukirch.Algebraic number theory, volume 322 ofGrundlehren der mathematischen Wis- senschaften [Fundamental Principles of Mathematical Sciences]

    J. Neukirch.Algebraic number theory, volume 322 ofGrundlehren der mathematischen Wis- senschaften [Fundamental Principles of Mathematical Sciences]. Springer-Verlag, Berlin, 1999. PARTITION REGULARITY IN IMAGINARY QUADRATIC RINGS OF INTEGERS 40 Translated from the 1992 German original and with a note by Norbert Schappacher, With a foreword by G. Harder

    work page 1999

  25. [25]

    R. Rado. Studien zur kombinatorik.Math. Z., 36(1):424–470, 1933

    work page 1933

  26. [26]

    R. Rado. Note on combinatorial analysis.Proc. London Math. Soc. (2), 48:122–160, 1943

    work page 1943

  27. [27]

    A. Sárközy. On difference sets of sequences of integers. I.Acta Math. Hungar.,31(1-2):125–149, 1978

    work page 1978

  28. [28]

    I. Schur. Über die kongruenzxm +y m ≡z m( modp).Jahresbericht der Deutschen Math. Verein, 25:114–117, 1916

    work page 1916

  29. [29]

    W. Sun. A structure theorem for multiplicative functions over the Gaussian integers and applica- tions.J. Anal. Math., 134(1):55–105, 2018

    work page 2018

  30. [30]

    W. Sun. Sarnak’s conjecture for nilsequences on arbitrary number fields and applications.Adv. Math., 415:Paper No. 108883, 91, 2023

    work page 2023

  31. [31]

    Tenenbaum.Introduction to Analytic and Probabilistic Number Theory

    G. Tenenbaum.Introduction to Analytic and Probabilistic Number Theory. AMS, 2015. (Sebastián Donoso)Departamento de Ingeniería Matemática and Centro de Modelamiento Matemático, Universidad de Chile & IRL 2807 - CNRS, Beauchef 851, Santiago, Chile Email address:sdonoso@dim.uchile.cl (Andreu Ferré Moragues)Department of Mathematical Analysis and Applied Mat...

    work page 2015