REVIEW 4 minor 2 references
Standard morphisms and Pythagorean triples
T0 review · 0 major / 4 minor · reviewed 2026-08-16 · deepseek-v4-flash
Pith's one-line read Every finite cyclic coloring of the integers admits infinitely many primitive monochromatic Pythagorean triples.
desk verdict A clean short note that uses the FKM theorem as a black box and genuinely proves the infinitude of primitive monochromatic Pythagorean triples for every finite cyclic target; the only real risk is the precise reach of that external theorem. read the letter →
The pith
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
The reading
What carries the argument
The key object is the kernel H of the extended homomorphism Q^×_{>0} → Z/mZ, together with the seed theorem [2] that every completely multiplicative finite-valued map into the circle group admits an identity-valued Pythagorean triple. The separation lemma (Lemma 1.2) is the engine: for any finitely many ratios q_i ≠ 1 it constructs a prime ℓ ∤ m and a homomorphism λ to Z/ℓZ vanishing on none of them. Because Z/mZ × Z/ℓZ is cyclic, it embeds into the circle group, so the seed theorem can be reapplied inside H ∩ ker λ; this forces infinitely many Pythagorean pairs in H. The finiteness of T(m) is then obtained by covering the compact assignment space X_m = (Z/mZ)^P with clopen sets U_P indexed by primitive triples and taking a finite subcover.
What would settle it
Exhibit a standard morphism f: N → Z/mZ such that the kernel of the induced homomorphism Q^×_{>0} → Z/mZ contains only finitely many Pythagorean pairs; the proof's infinite-bootstrap step would be directly contradicted. Equivalently, a finite search for a modulus m and a prime-coloring assignment whose primitive monochromatic triples do not grow without bound would refute Theorem 1.3.
Extended reading notes
Core claim
The central discovery is that one monochromatic Pythagorean pair forces infinitely many. Given a standard morphism f: N → Z/mZ, the paper extends it to a homomorphism f-hat: Q^×_{>0} → Z/mZ and studies the kernel H. An external theorem [2] guarantees that H contains at least one Pythagorean pair. The separation lemma then shows that if H contained only finitely many such pairs, one could choose a prime ℓ ∤ m and a homomorphism λ: Q^×_{>0} → Z/ℓZ nonzero on every ratio appearing in those pairs; because Z/mZ × Z/ℓZ is cyclic and embeds into the circle group, the external theorem applied again produces a Pythagorean pair in H ∩ ker λ, contradicting the choice of λ. Hence H contains infinitely many Pythagorean pairs, which scale to infinitely many primitive and identity-valued integral Pythagorean triples. A compactness argument over the product space (Z/mZ)^P then upgrades this to finiteness of the threshold T(m).
Load-bearing premise
The load-bearing premise is the external result [2] that every completely multiplicative finite-valued coloring of the positive integers has at least one Pythagorean triple whose three entries all receive the same value; if that statement were false, incomplete, or inapplicable at the relevant moduli, Theorems 1.3 and 2.1 would not follow.
Editorial extensions
If this is right
- For every m ≥ 1, every standard morphism f: N → Z/mZ has infinitely many primitive monochromatic Pythagorean triples.
- The threshold T(m) is finite for every m, so every standard morphism has a primitive monochromatic triple with hypotenuse bounded by a number that depends only on m.
- Corollary 1.4: if H is a subgroup of Q^×_{>0} with finite cyclic quotient, then every coset of H contains infinitely many Pythagorean triples entrywise.
- For the morphism n ↦ v_3(n) mod m, the least possible hypotenuse of a primitive monochromatic triple is (9^m + 1)/2, giving the lower bound T(m) ≥ (9^m + 1)/2.
- Thresholds are monotone under divisibility: T(d) ≤ T(m) whenever d divides m.
Reading between the lines
- The compactness argument proving T(m) finite is non-constructive: it does not yield an explicit bound. Extracting an effective upper bound from the finite subcover is a concrete open direction the paper leaves untouched.
- The proof uses cyclicity of Z/mZ in the step where Z/mZ × Z/ℓZ embeds into the circle group. Whether the analogous statement holds for finite non-cyclic abelian groups is a natural next question, since that embedding step would need replacement.
- The valuation example suggests T(m) grows at least exponentially, roughly as (9^m + 1)/2; the paper leaves the true asymptotic growth of T(m) open.
Signed reviews
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. This paper studies standard morphisms f:N→Z/mZ (completely additive functions) and the existence of monochromatic Pythagorean triples. The main result, Theorem 1.3, asserts that for every m≥1 and every standard morphism f, there are infinitely many identity-valued Pythagorean triples (x,y,z) with xf=yf=zf=0, and infinitely many primitive Pythagorean triples with all three entries of the same color. From this the authors derive Theorem 2.1: the threshold T(m) is finite for all m; the valuation morphism n↦v3(n) mod m has least possible hypotenuse (9^m+1)/2; and T(d)≤T(m) for d|m. The proof uses, as a black box, a theorem of Frantzikinakis, Klurman and Moreira (Theorem 1.1) guaranteeing an identity-valued Pythagorean triple for every finite-valued completely multiplicative function h:N→T.
Significance. Granting the external Theorem 1.1, the arguments are correct and elegant. The separation lemma (Lemma 1.2) is self-contained and its counting argument is sound. The contradiction argument for infinitude is valid, and the scaling argument converting primitive monochromatic triples into identity-valued triples is correct. The compactness proof that T(m) is finite is standard and clean, and the explicit v3-morphism example gives a sharp lower bound that is genuinely informative. The paper resolves the qualitative part of Problem 4.3 of Eliahou et al. for every modulus m, which is a significant advance for a short note. The exposition is clear, the dependence on the external theorem is honestly stated, and I found no circularity or hidden fitting of parameters.
minor comments (4)
- [Section 1, Theorem 1.1] The proof of Theorem 1.3 relies twice on Theorem 1.1 as a black box, and this is the sole external input; please cite the exact theorem number in the corrected arXiv version of [2] and reproduce the hypotheses verbatim. This is a request for precise attribution rather than an indication of a gap.
- [Section 1, proof of Theorem 1.3] The notation 'nh=e^{2πi(nf)/m}' is slightly nonstandard; writing h(n)=e^{2πi nf/m} would avoid confusion with the left action of n on h.
- [Section 2, Theorem 2.1(2)] In the displayed line 'the standard morphism nf_m = v3(n) (mod m)', the definition would be clearer as 'the standard morphism f_m given by n f_m = v_3(n) mod m'.
- [Title] The title in the full text contains an extra space ('ST ANDARD MORPHISMS'); this should be corrected to 'Standard morphisms and Pythagorean triples' in the final version.
Circularity Check
No circularity: the derivation relies on an external theorem from [2] as a black box and never assumes the target infinitude result.
full rationale
The paper's central proof (Theorem 1.3) applies Theorem 1.1 of Frantzikinakis, Klurman and Moreira [2] to the completely multiplicative finite-valued morphism h(n)=e^{2πi nf/m} to obtain a single identity-valued Pythagorean triple, not the infinitude it aims to prove. The infinitude is then obtained by a contradiction argument: if H contained only finitely many Pythagorean pairs, Lemma 1.2 would produce a prime ℓ∤m and a homomorphism λ to Z/ℓZ that is nonzero on every coordinate u_i, and applying the same external theorem to the product homomorphism (f-hat,λ) would force one of the finitely many pairs to lie in H∩ker λ, contradicting the choice of λ. The subsequent scaling by c^{m-1} turns monochromatic triples into identity-valued triples and preserves distinctness because distinct Pythagorean pairs have distinct primitive cores. Theorem 2.1(1) is a compactness consequence of Theorem 1.3, and Theorem 2.1(2) is an explicit parametrization argument with no fitted parameters. No self-citation is load-bearing: the only substantive cited input, Theorem 1.1 of [2], is external, published, and does not contain the conclusion of this paper. The proof is conditional on that external theorem, but reliance on an external proved result is a correctness dependency, not circularity. The manuscript contains no fitted input renamed as a prediction and no ansatz smuggled in through citation; the only announced limitation, that an effective upper bound and the asymptotic growth of T(m) remain open, is not a circularity issue.
Assumptions & free parameters
assumptions (4)
- standard math Frantzikinakis-Klurman-Moreira Theorem 1.1: every finite-valued completely multiplicative h:N->T has an identity-valued Pythagorean triple.
- standard math Standard parametrization of primitive Pythagorean triples: {a,b}={r^2-s^2,2rs}, c=r^2+s^2 with coprime r>s>0 of opposite parity.
- standard math Tychonoff's theorem: the product space X_m=(Z/mZ)^P is compact.
- standard math A finite product of cyclic groups of coprime orders is cyclic (Chinese remainder theorem).
Cite this review
Pith. "Pith review of Standard morphisms and Pythagorean triples." pith.science (2026). https://pith.science/paper/VUQVRQJ2
@misc{pith2026260811975,
author = {Pith},
title = {Pith review of: Standard morphisms and Pythagorean triples},
year = {2026},
howpublished = {\url{https://pith.science/paper/VUQVRQJ2}},
note = {Machine review of arXiv:2608.11975}
}
abstract
Let $m\geq 1$, let $f:\mathbb N\to\mathbb Z/m\mathbb Z$ be a standard morphism and let $T(m)$ be the least integer $N$ such that every such $f$ admits a primitive monochromatic Pythagorean triple with hypotenuse at most $N$. The aim of this note is to prove that every standard morphism has infinitely many identity-valued Pythagorean triples and infinitely many primitive monochromatic Pythagorean triples. Thus the qualitative part of Problem~4.3 of Eliahou, Fromentin, Marion-Poty and Robilliard is solved for every $m$. Moreover, $T(m)$ is finite, the morphism $n\mapsto v_3(n)\pmod m$ has least possible hypotenuse $(9^m+1)/2$ and $T(d)\leq T(m)$ when $d\mid m$.
Reference graph
Works this paper leans on
-
[2]
N. Frantzikinakis, O. Klurman and J. Moreira,Partition regularity of Pythagorean pairs, Forum of Mathe- matics, Pi13(2025), e5; corrected version, arXiv:2309.10636v5, 2026. Departamento de Matemática, NOV A School of Science and Technology, Universidade NOV A de Lisboa, 2829-516 Caparica, Portugal Email address:joao.araujo@fct.unl.pt Centro de Investigaçã...
arXiv 2025
-
[1]
S. Eliahou, J. Fromentin, V. Marion-Poty and D. Robilliard,Are monochromatic Pythagorean triples unavoidable under morphic colorings?, Experimental Mathematics27(2018), no. 4, 419–425
work page 2018
Reviewed August 16, 2026 · model on record in the stance chip above.
Discussion (0). Continue with ORCID to comment.