Partition regularity of homogeneous quadratics: Current trends and challenges

Nikos Frantzikinakis

REVIEW 3 major objections 4 minor 59 references

Partition regularity of homogeneous quadratics: Current trends and challenges

T0 review · 3 major / 4 minor · reviewed 2026-08-12 · deepseek-v4-flash

Challenge this review Re-run · record.json Download PDF Read on arXiv ↗ Review JSON

Pith's one-line read Homogeneous quadratic equations $ax^2+by^2=cz^2$ are pairwise partition regular when $ac$ or $bc$ is a square, and the remaining Rado-triple cases reduce to one conjecture.

desk verdict A solid, honest survey of a real recent advance, worth publishing after a global fix of a missing complex conjugate that as written breaks the key reduction. read the letter →

arxiv 2411.17523 v4 pith:2N6MAEO3 submitted 2024-11-26 math.CO math.NT

Nikos Frantzikinakis This is my paper · ORCID

classification math.COmath.NT MSC 05D1011N3711B3037A44

keywords partitionregularityPythagoreantripleshomogeneousquadraticequationsmultiplicativefunctionsGowersuniformityconcentrationinequalitiesQ-trickarithmeticRamseytheory

verification ladder T0 review T1 audit T2 compute T3 formal

The pith

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

The reading

Finitely color the positive integers. This article surveys a method that proves, for a wide family of homogeneous quadratic equations in three variables, that two of the three variables can always be found in the same color class. The flagship result is that the Pythagorean equation $x^2+y^2=z^2$ is partition regular with respect to every pair of variables, and more generally $ax^2+by^2=cz^2$ is partition regular with respect to $x,y$ whenever $ac$ or $bc$ is a square. The remaining pair cases, in which only $(a+b)c$ is a square, are proved conditional on a single conjecture about vanishing of correlations of aperiodic multiplicative functions along two irreducible binary quadratic forms. The article presents this as the first systematic route to a genuinely nonlinear homogeneity problem that was previously out of reach, with the heavy lifting split between Gowers-uniformity estimates and concentration estimates.

What carries the argument

The machinery has four parts. The Bochner–Herglotz representation on the multiplicative group $(\mathbb{Q}_+,\times)$ expresses positive multiplicative densities as integrals over the compact space of completely multiplicative functions $f\colon\mathbb{N}\to S^1$, turning density regularity into a positivity property for averages such as $\liminf_{N\to\infty} E_{m,n\in[N]} \int f(P_1(m,n))f(P_2(m,n))\,d\sigma(f)$. For aperiodic multiplicative functions, meaning those with zero correlation with every Dirichlet character, Gowers-uniformity results of all orders give vanishing of the relevant correlations, so only the pretentious part of $\sigma$ matters. For pretentious functions, which are close to $\chi(n)n^{it}$ in the pretentious distance, concentration estimates of Turán–Kubilius type show that after restricting to a highly divisible lattice $Qn+1$ the function concentrates on a tractable oscillatory factor. The Q-trick then averages over $Q$ in a multiplicative Følner set; all non-trivial Archimedean characters wash out and only the atom $\sigma(\{1\})>0$ survives, yielding the required positivity.

What would settle it

Compute, or bound away from zero, the Cesàro average over $m,n\le N$ of $\lambda(m^2+2n^2)\lambda(m^2-2n^2)$, where $\lambda$ is the completely multiplicative sign function with $\lambda(p)=-1$ at every prime, and let $N\to\infty$. A non-zero limit would disprove Conjecture 3 and destroy conditional Theorem 2.2; a proof of vanishing for even one explicit pair of irreducible quadratics would be the first confirmatory evidence for the conjecture in the genuinely irreducible setting.

Watch

Extended reading notes

Core claim

On its own terms, the paper claims that the pair version of the long-standing Pythagorean-triples problem is now within reach of a unified method. Theorem 1.3 states that the Pythagorean equation is partition regular with respect to all pairs of variables; Theorem 2.1 extends this to all non-zero integers $a,b,c$ with $ac$ or $bc$ a square, for the pair $(x,y)$. Theorem 2.2 shows that if Conjecture 3 holds, then the same conclusion follows whenever $(a+b)c$ is a square, which includes equations like $x^2+2y^2=z^2$ in the pair $(x,z)$ and $x^2+y^2=2z^2$ in every pair. The claim is not just the individual theorems: it is that the route through parametric reformulation, the Bochner–Herglotz representation, an aperiodic/pretentious dichotomy, and the Q-trick is the right systematic way to attack dilation-invariant nonlinear partition-regularity problems.

Load-bearing premise

The conditional part of the argument rests on Conjecture 3: any two unfactorable quadratic forms in two variables that are not multiples of each other will have vanishing correlations when fed an aperiodic multiplicative function, and this is not known even for one explicit pair of such forms with the sign-changing multiplicative function; without it, the treatment of pairs such as $m^2+2n^2$ and $m^2-2n^2$, and hence Theorem 2.2, collapses.

Editorial extensions

If this is right

Every finite coloring of $\mathbb{N}$ contains two same-colored integers $x,y$ and a third integer $z$ with $x^2+y^2=z^2$, and the same holds for each pairing of the three variables.
For $x^2+2y^2=z^2$, same-colored pairs exist for $(x,y)$ and $(y,z)$ unconditionally, while the remaining $(x,z)$ pair follows from Conjecture 3.
If Conjecture 3 holds, then for every Rado triple $(a,b,c)$ the equation $ax^2+by^2=cz^2$ is partition regular with respect to all three pairs of variables; this is unconditional when $a=c$ or $b=c$.
The underlying results are density regular, not merely partition regular: every set of positive multiplicative density contains the corresponding pairs in parametric form, so the conclusions survive colorings far from random.

Reading between the lines

Editorial extensions of the paper, not claims the author makes directly.

An immediate editorial inference is that the Q-trick is likely to transfer to any dilation-invariant pattern whose parametrization involves one reducible and one irreducible binary quadratic form; the paper already indicates this for pairs of the form $(\ell mn,\ell'(m^2-n^2))$.
A second inference is that the hardest new input for full Rado-triple pairs is not special number-theoretic structure but the correlation vanishing in Conjecture 3; a proof for a single explicit pair of irreducible quadratics, even with logarithmic averages, would be a decisive test.
A third inference is that the aperiodic/pretentious dichotomy may serve as a template for higher-degree homogeneous polynomials, but the paper's own example involving $n^2+1$ shows such transfers must be checked case by case.

Share X Bluesky LinkedIn Reddit HN

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, and a circularity audit.

Desk Editor's Note

read the letter

The paper is a survey, so it has no new theorems, but it does something almost as useful for the field: it gives a coherent, readable account of the recent proof that Pythagorean pairs are partition regular and of the broader method covering generalized homogeneous quadratics. The bird's-eye view in Section 3.2 and the detailed but accessible explanation of the Q-trick in Section 6 are genuinely good. I also credit the author for being explicit about what is conditional: Theorem 2.2 depends on Conjecture 3, and the survey states plainly that the needed two-irreducible-quadratics vanishing is unknown even for Liouville. That honesty is a real strength.

Now the soft spots. The stress-test note is correct. Equation (16) is not the Bochner-Herglotz representation on the multiplicative group Q_+. For f in the dual, f(r/s) = f(r) f(s)^{-1} = f(r)\overline{f(s)}, so the integrand must carry a conjugate. The printed unbarred product cannot represent a positive definite function; taking r=s gives a nonnegative real number as an integral of f(r)^2, which is impossible for non-real-valued f. This typo propagates into (17), (18), (20), (65), and the aperiodic-correlation statements. That said, the later appearance of (2mn)^{-it} in Section 6.1.2 shows the author knows the correct conjugate factor, so this is a systematic notational error in the exposition, not an error in the underlying published results. It still needs a global fix: a reader trying to follow the proof sketch cannot reconstruct the reduction as written. There is also an obvious typo in (88), where P_j appears in both factors.

The heavy self-citation is not a problem for a survey of the author's own recent work; the cited results are published and the sketches are traceable. The conditional results are clearly labeled. The main mathematical content, as far as I can tell, is sound.

Bottom line: this is a useful survey by a principal contributor, and the flaws are fixable exposition errors rather than load-bearing mathematical ones. With the conjugate corrected throughout, it will be a good entry point to the area. I would send it to peer review.

Referee Report

3 major / 4 minor

Summary. This survey explains recent progress on partition regularity of homogeneous quadratic equations ax^2 + by^2 = cz^2, with emphasis on partition regularity with respect to pairs of variables. The central results are Theorem 2.1, asserting partition regularity with respect to (x,y) when ac or bc is a square, and the conditional Theorem 2.2, covering the case where (a+b)c is a square under Conjecture 3. The paper develops a systematic strategy: reformulate partition regularity as density regularity for parametrized pairs, pass via a Bochner-Herglotz representation on the multiplicative group to averages of completely multiplicative functions, split multiplicative functions into aperiodic and pretentious cases, and finally combine the two regimes through the Q-trick. It also presents applications to level sets of multiplicative functions, comparisons with earlier work, and a list of open problems, including vanishing of correlations along two irreducible quadratic forms and ergodic-theoretic formulations.

Significance. If the exposition is made correct, the paper is a valuable roadmap to a body of recent research by the author with Host, Klurman, and Moreira. Its conceptual decomposition—Bochner-Herglotz representation, Gowers uniformity of aperiodic multiplicative functions, concentration estimates for pretentious functions, and the Q-trick—is genuinely useful and appears to capture the structure of the existing proofs. The survey is also honest about its limitations: the main results are cited rather than proved, the conditional Theorem 2.2 is explicitly made dependent on Conjecture 3, and the open problems are stated precisely. For a survey, the level of transparency about the dependence on external papers and the clear separation of unconditional and conditional statements are strengths. The principal weakness is a systematic conjugation error in the foundational representation step, together with a missing conjugation in the definition of the Gowers norms; these are fixable but affect the advertised reduction from density regularity to multiplicative-function averages.

major comments (3)

[§3.3.2, Eq. (16); Theorems 3.2–3.3] The Bochner-Herglotz representation on (Q_+, ×) is stated with f(r)f(s) instead of f(r)\overline{f(s)}. For a character f in M, f(r/s) = f(r) f(s)^{-1} = f(r)\overline{f(s)}, so the printed identity cannot hold. Taking r = s = 2 gives dΦ'(Λ) = ∫ f(2)^2 dσ(f), an expression that need not be real or nonnegative, while the left side is a density. Consequently condition (17) should be ∫ f(r)\overline{f(s)} dσ ≥ 0, and the integrands in (18), (20), (65), (75), and (79) should contain f(P_1)\overline{f(P_2)} rather than the unbarred product. The use of (2mn)^{-it} in §6.1.2 is consistent only with the conjugated representation, so the survey's account of the reduction from Definition 2.3 to Theorems 3.2 and 3.3 is internally inconsistent as written. This is not a purely cosmetic typo; the entire chain of displayed formulas leading to the Q-trick needs to be re-derived with the conjugate factor carried through.
[§4.2, Definition 4.2] The inductive definition of the U^{s+1}(Z_N) norm omits a complex conjugation: the average should involve a · \overline{a_h}, not a · a_h. As printed, the displayed formula for \|a\|_{U^2}^4 is not the standard U^2 norm for complex-valued sequences, and the equivalence (25) is not correct without the conjugate. Since Theorem 4.6 and the correlation-vanishing statements are expressed in terms of these norms, the definition should be corrected and any later use checked against the corrected definition.
[§6.5.1, Eqs. (88)–(91)] The Q-trick for the pair (m^2 + 2n^2, m^2 - 2n^2) is stated too tersely. In Case 2, the claimed equality G_{1,N}(f,K) = G_{2,N}(f,K) does not follow from the displayed condition (89) alone, because both G's contain contributions from primes p ≡ 1 mod 8, on which (89) imposes no condition; the expression in (88) also has P_j in both factors, which should be P_1 and P_2. Please add the missing condition on p ≡ 1 mod 8 or indicate explicitly where in [23] this case is proved.

minor comments (4)

[§5.6, Eq. (59)] The summand in the definition of G_{d,N}(f,K) contains n^{-it}, but n is not defined there; it should be p^{-it}.
[§6.1.2, Endgame I] The claim that the displayed double integral has positive real part for every t is justified by an unspecified computer calculation; please provide a closed form or a reference so that the claim is verifiable without external software.
[§3.1 and references] There are small typographical errors: 'Heglotz' should be 'Herglotz', the van der Waerden reference has 'Bewis' for 'Beweis', and Section 6.5.1 contains 'mutliplicative' for 'multiplicative'.
[§6.5.1, after Eq. (89)] The character denoted χ3 in the sentence following (89) should presumably be χ2.

Circularity Check

0 steps flagged · score 0.0 of 10

No circularity found: the survey transparently attributes its theorems to prior published work, and its only unproved input, Conjecture 3, is explicitly flagged as an assumption rather than a derived conclusion.

full rationale

No circular step is exhibited. The paper is an expository survey: Theorem 1.3, Theorem 2.1, Theorem 2.2, and Theorems 2.4/2.5 are all attributed to the author's earlier works [21], [22], [23], and the survey repeatedly states that the full proofs are in those papers, e.g., "Both results were established in [23]." For a survey, those citations are real external support, not inputs of the survey's own derivation chain. The conditional Theorem 2.2 explicitly depends on Conjecture 3, which the text itself labels open and notes is not known even for the Liouville function along two irreducible quadratic forms (Problem 1); an explicitly conditional statement is not a circular reduction. The Bochner-Herglotz reduction (Theorem 3.1 and equation (16)) applies a standard external representation theorem to a positive-definite sequence constructed from dilates of the set Lambda; the density statement is not defined in terms of the measure, so there is no self-definitional equivalence. The concentration estimates are cited to [44], [22], and [23], and the Gowers-uniformity and vanishing-of-correlations results are cited to [21] and [23]; these are antecedent published theorems rather than premises being re-labeled as conclusions. None of the surveyed claims is a fitted parameter renamed as a prediction. The only load-bearing unproved input in the narrative, Conjecture 3, is transparently flagged as a conjecture, with its failure mode and open status described in the manuscript. Even the possible mathematical erratum concerning the unbarred product in equation (16) would be a correctness issue, not circularity, because it does not make the target conclusion equivalent to an input by construction. Therefore the appropriate score is 0.

Assumptions & free parameters 0 free parameters · 7 assumptions · 0 invented entities

The survey introduces no new free parameters or invented entities. Its claims rest on standard theorems from harmonic analysis, analytic number theory, and ergodic Ramsey theory, plus the explicitly open Conjecture 3 for the conditional results.

assumptions (7)

standard math Bochner-Herglotz representation theorem for positive definite functions on (Q_+, x)
Used in Section 3.3.2 to represent multiplicative densities as integrals over the compact group M of completely multiplicative functions; this is the entry point for the whole method.
standard math Green-Tao-Ziegler inverse theorem for Gowers U^{s+1}[N] norms
Invoked in Section 4.2 as Theorem 4.4 to reduce U^s-uniformity to orthogonality against nilsequences; essential for vanishing of correlations.
standard math Daboussi-Katai orthogonality criterion
Theorem 4.5 in Section 4.3, used to prove aperiodic multiplicative functions are U^2-uniform and to seed higher-order uniformity.
standard math Wirsing-Halasz mean value theorem and pretentious distance characterization
Theorem 5.2 in Section 5.1, used to show every non-aperiodic completely multiplicative function is pretentious, i.e. close to chi * n^{it}.
standard math Turan-Kubilius inequality
Section 5.4, used to prove concentration estimates for additive functions along arithmetic progressions and binary quadratic forms.
standard math Dirichlet unit theorem and ideal counting estimates for quadratic number fields
Section 5.6, used to prove estimates (60)-(63) on representation counts for forms m^2 + d n^2, including non-PID rings such as Z[sqrt(-3)].
domain assumption Conjecture 3 (good for vanishing of correlations of aperiodic multiplicative functions)
Assumed for Theorem 2.2 and the irreducible-irreducible pair cases; explicitly open and not known even for the Liouville function along two irreducible quadratics (Section 6.5.2, Problem 1).

how reviews work

0 comments

Cite this review

Pith. "Pith review of Partition regularity of homogeneous quadratics: Current trends and challenges." pith.science (2026). https://pith.science/paper/2N6MAEO3

@misc{pith2026241117523,
  author       = {Pith},
  title        = {Pith review of: Partition regularity of homogeneous quadratics: Current trends and challenges},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/2N6MAEO3}},
  note         = {Machine review of arXiv:2411.17523}
}

abstract

Suppose we partition the integers into finitely many cells. Can we always find a solution of the equation $x^2+y^2=z^2$ with $x,y,z$ on the same cell? What about more general homogeneous quadratic equations in three variables? These are basic questions in arithmetic Ramsey theory, which have recently been partially answered using ideas inspired by ergodic theory and tools such as Gowers-uniformity properties and concentration estimates of bounded multiplicative functions. The aim of this article is to provide an introduction to this exciting research area, explaining the main ideas behind the recent progress and some of the important challenges that lie ahead.

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

59 extracted references · 57 canonical work pages

[23]

Frantzikinakis, O

N. Frantzikinakis, O. Klurman, J. Moreira. Partition regularity of generalized Pythagorean pairs. Preprint (2024) arXiv:2407.08360 3, 4, 11, 16, 23, 24, 30, 32, 35

arXiv 2024
[1]

Alweiss Monochromatic sums and products of polynomials.Discrete Anal.2024:5, 7 pp

R. Alweiss Monochromatic sums and products of polynomials.Discrete Anal.2024:5, 7 pp. 2

work page 2024
[2]

R. Alweiss. Monochromatic sums and products overQ. Preprint (2023)arXiv:2307.08901 3

arXiv 2023
[3]

Barrett, M

J. Barrett, M. Lupini, J. Moreira. On Rado conditions for nonlinear Diophantine equations. European J. Combin.94 (2021), Paper no. 103277, 20 pp. 2

work page 2021
[4]

Bergelson

V. Bergelson. Ergodic Ramsey theory. Logic and combinatorics (Arcata, Calif., 1985),Contemp. Math. 65 (1987), 63–87. 2

work page 1987
[5]

Bergelson

V. Bergelson. Multiplicatively large sets and ergodic Ramsey theory.Israel J. Math.148 (2005), 23–40. 33

work page 2005
[6]

Bergelson, H

V. Bergelson, H. Johnson, J. Moreira. New polynomial and multidimensional extensions of clas- sical partition results.Journal of Combinatorial Theory. Series A147 (2017),119–154. 2

work page 2017
[7]

Bergelson, A

V. Bergelson, A. Leibman. Polynomial extensions of van der Waerden’s and Szemerédi’s theorems. J. Amer. Math. Soc.9 (1996), 725–753. 2

work page 1996

Show all 59 references

[8]

Bowen, M

M. Bowen, M. Sabok. Monochromatic products and sums in the rationals.Forum Math, Pi(2024), Vol. 12:e17 1–12. 3

2024
[9]

Browning, S

T. Browning, S. Prendiville. A transference approach to a Roth-type theorem in the squares.Int. Math. Res. Notices(2017), 2219–2248. 2

2017
[10]

J. Chapman. Partition regularity for systems of diagonal equations.Int. Math. Res. Not.(2022), 13272–13316. 2

2022
[11]

Chapman, S

J. Chapman, S. Chow. Generalised Rado and Roth criteria. to appear inAnn. Sc. Norm. Super. Pisa Cl. Sci. (5). 2
[12]

Charamaras, A

D. Charamaras, A. Mountakis, K. Tsinas. On multiplicative recurrence along linear patterns. Preprint (2024) arXiv:2412.03504 7

2024 arXiv
[13]

S. Chow, S. Lindqvist, S. Prendiville. Rado’s criterion over squares and higher powers.J. Eur. Math. Soc. 23 (2021), no. 6, 1925–1997. 2

2021
[14]

Csikvári, K

P. Csikvári, K. Gyarmati, A. Sárközy. Density and Ramsey type results on algebraic equations with restricted solution sets.Combinatorica 32 (2012) no. 4, 425–449. 2

2012
[15]

Daboussi, H

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

1982
[16]

Di Nasso, L

M. Di Nasso, L. Luperi Baglini. Ramsey properties of nonlinear Diophantine equations.Adv. Math. 324 (2018), 84–117. 2

2018
[17]

Di Nasso, M

M. Di Nasso, M. Riggio. Fermat-like equations that are not partition regular.Combinatorica 38 (2018), 1067–1078. 2

2018
[18]

Donoso, A

S. Donoso, A. Le, J. Moreira, W. Sun. Additive averages of multiplicative correlation sequences and applications.J. Analyse Math.149 (2023), 719–761. 2, 3, 7, 35

2023
[19]

Frantzikinakis

N. Frantzikinakis. Some open problems on multiple ergodic averages.Bulletin of the Hellenic Mathematical Society60, (2016), 41–90. 3

2016
[20]

Frantzikinakis, B

N. Frantzikinakis, B. Host. Asymptotics for multilinear averages of multiplicative functions.Math. Proc. Camb. Phil. Soc.161 (2016), 87–101. 25

2016
[21]

Frantzikinakis, B

N. Frantzikinakis, B. Host. Higher order Fourier analysis of multiplicative functions and applica- tions. J. Amer. Math. Soc.30 (2017), 67–157. 3, 4, 10, 11, 14, 15, 28, 29

2017
[22]

Frantzikinakis, O

N. Frantzikinakis, O. Klurman, J. Moreira. Partition regularity of Pythagorean pairs.Forum Math, Pi, 13 (2025), e5, 1–52. 2, 3, 4, 7, 11, 22, 26, 28, 29

2025
[24]

Furstenberg

H. Furstenberg. Ergodic behavior of diagonal measures and a theorem of Szemerédi on arithmetic progressions. J. Analyse Math.31 (1977), 204–256. 2, 7, 33

1977
[25]

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

2001
[26]

R. Graham. Some of my favorite problems in Ramsey theory.Combinatorial number theory(2007), 229–236, de Gruyter, Berlin. 2 PARTITION REGULARITY OF HOMOGENEOUS QUADRATICS 36

2007
[27]

R. Graham. Old and new problems in Ramsey theory.Horizons of combinatorics, Bolyai Soc. Math. Stud. 17 (2008), 105–118, Springer, Berlin. 2

2008
[28]

Granville, K

A. Granville, K. Soundararajan. Large character sums: pretentious characters and the Pólya- Vinogradov theorem.J. Amer. Math. Soc.20 (2007), no. 2, 357–384. 17

2007
[29]

Granville, K

A. Granville, K. Soundararajan. Pretentious multiplicative functions and an inequality for the zeta-function. Anatomy of integers, 191–197, CRM Proc. Lecture Notes, 46, Amer. Math. Soc., Providence, RI, 2008. 17

2008
[30]

Granville, K

A. Granville, K. Soundararajan. Multiplicative Number Theory: The pretentious approach. Book manuscript in preparation. 17
[31]

Green.100 open problems.Manuscript

B. Green.100 open problems.Manuscript. 3
[32]

Green, A

B. Green, A. Lindqvist. Monochromatic solutions tox + y = z2. Canad. J. Math. 71 (2019), 579–605. 2

2019
[33]

Green, T

B. Green, T. Tao. An inverse theorem for the GowersU 3(G)-norm. Proc. Edinb. Math. Soc. (2) 51 (2008), no. 1, 73–153. 13

2008
[34]

Green, T

B. Green, T. Tao. Quadratic uniformity of the Möbius function.Ann. Inst. Fourier (Grenoble) 58 (2008), no. 6, 1863–1935. 14

2008
[35]

Green, T

B. Green, T. Tao. The Möbius function is strongly orthogonal to nilsequences.Ann. of Math.175 (2012), no. 2, 541–566. 14

2012
[36]

Green, T

B. Green, T. Tao, T. Ziegler. An inverse theorem for the GowersU s+1[N ]-norm. Ann. of Math. 176 (2012), no. 2, 1231–1372. 11, 13, 14

2012
[37]

Gyarmati, I

K. Gyarmati, I. Ruzsa. A set of squares without arithmetic progressions.Acta Arith.155 (2012), 109–115. 2

2012
[38]

G. Halász. Über die Mittelwerte multiplikativer zahlentheoretischer Funktionen.Acta Math. Acad. Sci. Hung. 19 (1968), 365–403. 17

1968
[39]

Heule, O

M. Heule, O. Kullmann, V. Marek. Solving and verifying the Boolean Pythagorean triples problem via cube-and-conquer. Theory and applications of satisfiability testing–SAT 2016: 19th Interna- tional Conference, Bordeaux, France, July 5-8, 2016, Proceedings(2016), Springer, 228–245. 2

2016
[40]

I. Kátai. A remark on a theorem of H. Daboussi.Acta Math. Hungar.47 (1986), 223–225. 13

1986
[41]

Khalfalah, E

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

2006
[42]

O. Klurman. Correlations for multiplicative functions and applications.Compositio Mathematica 153 (2017), 1622–1657. 34

2017
[43]

Klurman, A

O. Klurman, A. Mangerel. Rigidity theorems for multiplicative functions.Mathematische Annalen 372 (2018), 651–697. 7

2018
[44]

Klurman, A

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

2021
[45]

E. Lamb. Maths proof smashes size record.Nature 534 (2016), 17–18. 2

2016
[46]

H. Lefmann. On partition regular systems of equations.J. Combin. Theory Ser. A58 (1991), 35–53. 2

1991
[47]

Matthiesen

L. Matthiesen. Generalized Fourier coefficients of multiplicative functions.Algebra Number Theory 12 (2018),1311–1400. 14

2018
[48]

J. Moreira. Monochromatic Sums and Products inN. Ann. of Math. (2)185 (2017), no. 3, 1069–

2017
[49]

P. Pach. Monochromatic solutions tox + y = z2 in the interval [cN, cN4]. Bull. London Math. Soc. 50 (2018), 1113–1116. 2

2018
[50]

Prendiville

S. Prendiville. Counting monochromatic solutions to diagonal Diophantine equations.Discrete Anal. 2021:14, 47 pp. 2

2021
[51]

R. Rado. Studien zur Kombinatorik.Math. Z. 36 (1933), no. 1, 424–470. 1, 2

1933
[52]

A. Sárközy. On difference sets of integers I.Acta Math. Acad. Sci. Hungar.31 (1978), no. 3-4, 125–149. 2

1978
[53]

I. Schur. Über die Kongruenzxm + ym ≡ zm(mod p). Jahresbericht der Deutschen Math. Verein. 25 (1916) 114–117. 1

1916
[54]

W. Sun. A structure theorem for multiplicative functions over the Gaussian integers and appli- cations. J. Anal. Math.134 (2018), 55–105. 3

2018
[55]

W. Sun. Sarnak’s conjecture for nilsequences on arbitrary number fields and applications.Adv. Math. 415 (2023), Paper no. 108883, 90 pp. 3, 16

2023
[56]

T. Tao. The logarithmically averaged Chowla and Elliott conjectures for two-point correlations. Forum of Mathematics, Pi4 (2016). 7

2016
[57]

T. Tao, J. Teräväinen. The structure of logarithmically averaged correlations of multiplicative functions, with applications to the Chowla and Elliott conjectures.Duke Math. J. 168 (2019), 1977–2027. 11 PARTITION REGULARITY OF HOMOGENEOUS QUADRATICS 37

2019
[58]

Tenenbaum.Introduction to analytic and probabilistic number theory.Cambridge Studies in Advanced Mathematics46, Cambridge University Press, Cambridge (1995)

G. Tenenbaum.Introduction to analytic and probabilistic number theory.Cambridge Studies in Advanced Mathematics46, Cambridge University Press, Cambridge (1995). 19

1995
[59]

B. L. van der Waerden. Bewis einer Baudetschen Vermutung,Nieuw. Arch. Wisk. 15 (1927), 212–216. 1 (NikosFrantzikinakis) University of Crete, Department of Mathematics and Applied Math- ematics, Heraklion, Greece Email address: frantzikinakis@gmail.com

1927

Pith tools

Reviewed August 12, 2026 · model on record in the stance chip above.

[1] [23]

Frantzikinakis, O

N. Frantzikinakis, O. Klurman, J. Moreira. Partition regularity of generalized Pythagorean pairs. Preprint (2024) arXiv:2407.08360 3, 4, 11, 16, 23, 24, 30, 32, 35

arXiv 2024

[2] [1]

Alweiss Monochromatic sums and products of polynomials.Discrete Anal.2024:5, 7 pp

R. Alweiss Monochromatic sums and products of polynomials.Discrete Anal.2024:5, 7 pp. 2

work page 2024

[3] [2]

R. Alweiss. Monochromatic sums and products overQ. Preprint (2023)arXiv:2307.08901 3

arXiv 2023

[4] [3]

Barrett, M

J. Barrett, M. Lupini, J. Moreira. On Rado conditions for nonlinear Diophantine equations. European J. Combin.94 (2021), Paper no. 103277, 20 pp. 2

work page 2021

[5] [4]

Bergelson

V. Bergelson. Ergodic Ramsey theory. Logic and combinatorics (Arcata, Calif., 1985),Contemp. Math. 65 (1987), 63–87. 2

work page 1987

[6] [5]

Bergelson

V. Bergelson. Multiplicatively large sets and ergodic Ramsey theory.Israel J. Math.148 (2005), 23–40. 33

work page 2005

[7] [6]

Bergelson, H

V. Bergelson, H. Johnson, J. Moreira. New polynomial and multidimensional extensions of clas- sical partition results.Journal of Combinatorial Theory. Series A147 (2017),119–154. 2

work page 2017

[8] [7]

Bergelson, A

V. Bergelson, A. Leibman. Polynomial extensions of van der Waerden’s and Szemerédi’s theorems. J. Amer. Math. Soc.9 (1996), 725–753. 2

work page 1996