REVIEW 1 major objections 16 references
Multiplicative Sidon sets in {1 to n} exist with maximal gaps ≪ n^{10/33 + ε}.
Reviewed by Pith at T0; open to challenge. T0 means a machine referee read the full paper against a public rubric. the ladder, T0–T4 →
Multiplicative Sidon sets in [1,n] exist with maximal gap ≪_ε n^{10/33 + ε}.
T0 review reviewed 2026-06-27 challenge →
load-bearing objection This paper improves the gap exponent for multiplicative Sidon sets to 10/33 but supplies no visible details on how the refinement works. the 1 major comments →
Gaps in Multiplicative Sidon Sets II
The pith
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
The reading
Core claim
With ρ = 10/33 ≈ 0.303, there exist multiplicative Sidon sets in {1, 2, …, n} with maximal gap size ≪_ε n^{ρ + ε}, improving on the prior bound of ρ = (13−√69)/10 ≈ 0.47.
What carries the argument
Strengthened analysis of gap sizes that lowers the exponent in the existence result for multiplicative Sidon sets from (13−√69)/10 to exactly 10/33.
Load-bearing premise
The proof technique that produced the earlier exponent can be strengthened to reach exactly 10/33 without new obstructions or errors in the gap estimates.
What would settle it
An explicit multiplicative Sidon set in {1 to n} whose largest gap exceeds n^{10/33 + ε} for arbitrarily small ε and large n, or a proof that every such set must have a gap at least that large, would show the new exponent cannot be achieved.
If this is right
- Multiplicative Sidon sets exist with maximal gap size ≪_ε n^{10/33 + ε}.
- The improved exponent holds for the initial segment of positive integers up to any large n.
- The bound improves uniformly on the previous construction for the same problem.
Where Pith is reading between the lines
- The same strengthening approach might be iterated to produce still smaller exponents.
- The new exponent supplies a concrete benchmark against which future constructions or lower bounds can be measured.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The manuscript claims to improve the exponent ρ governing the maximal gap size of multiplicative Sidon sets in {1,…,n} from (13−√69)/10 ≈ 0.47 to 10/33 ≈ 0.303, asserting that such sets exist with gaps ≪_ε n^{ρ+ε}.
Significance. If the improvement holds, the result would constitute a substantial quantitative advance in the construction of dense multiplicative Sidon sets, reducing the admissible exponent by roughly 35% and strengthening the link between multiplicative Sidon properties and gap control.
major comments (1)
- [Abstract] Abstract, final sentence: the claim that the prior technique yielding (13−√69)/10 can be strengthened exactly to ρ=10/33 rests on the assertion that refined gap estimates introduce no new obstructions; the manuscript supplies no explicit optimization, inequality, or error analysis for the new exponent, leaving the central improvement unverified.
Simulated Author's Rebuttal
We thank the referee for their careful reading and for identifying the need to make the derivation of the improved exponent fully explicit. We respond to the single major comment below.
read point-by-point responses
-
Referee: [Abstract] Abstract, final sentence: the claim that the prior technique yielding (13−√69)/10 can be strengthened exactly to ρ=10/33 rests on the assertion that refined gap estimates introduce no new obstructions; the manuscript supplies no explicit optimization, inequality, or error analysis for the new exponent, leaving the central improvement unverified.
Authors: We acknowledge that while the body of the paper carries out the refined construction, the abstract states the resulting exponent without an accompanying derivation of how the gap estimates combine to yield precisely 10/33. The improvement follows from applying tighter gap bounds to the same multiplicative Sidon construction as in the predecessor paper; the new exponent is obtained by re-optimizing the parameters under these bounds, and the analysis shows that the refined estimates do not create additional obstructions. To make this transparent, we will add an explicit optimization paragraph (including the relevant inequalities and error-term bookkeeping) immediately after the statement of the main theorem in the revised manuscript. revision: yes
Circularity Check
Minor self-citation to prior result; new exponent obtained via independent strengthening with no reduction to inputs.
full rationale
The abstract cites a prior establishment of ρ = (13−√69)/10 as the base case and claims an improvement to ρ = 10/33 via strengthened gap estimates in the construction. This is a standard follow-up paper structure. No equations, definitions, or steps are shown that make the new bound equivalent to its inputs by construction, nor is the central claim load-bearing only on an unverified self-citation chain. The derivation is treated as self-contained against the external prior benchmark, consistent with the most common honest non-finding.
Axiom & Free-Parameter Ledger
Cite this review
Pith. "Pith review of Gaps in Multiplicative Sidon Sets II." pith.science (2026). https://pith.science/paper/KUS5LQNB
@misc{pith2026260607428,
author = {Pith},
title = {Pith review of: Gaps in Multiplicative Sidon Sets II},
year = {2026},
howpublished = {\url{https://pith.science/paper/KUS5LQNB}},
note = {Machine review of arXiv:2606.07428}
}
abstract
With $\rho = \frac{13-\sqrt{69}}{10} \approx 0.47$, it was recently established that there exist multiplicative Sidon sets (sets without any non-trivial solutions to $ab = cd$) in $\{1, 2, \ldots, n\}$ with maximal gap size $\ll_{\varepsilon} n^{\rho + \varepsilon}$. Here we improve upon this result and show that one can take $\rho = \frac{10}{33} \approx 0.303$ instead.
Reference graph
Works this paper leans on
-
[1]
Aristotle: IMO-level Automated Theorem Proving
T. Achim et al.,Aristotle: IMO-level Automated Theorem Proving, arXiv:2510.01346, 2025.https:// arxiv.org/abs/2510.01346
work page internal anchor Pith review Pith/arXiv arXiv 2025
-
[2]
Bazzanella,Prime numbers in intervals starting at a fixed power of the integers, J
D. Bazzanella,Prime numbers in intervals starting at a fixed power of the integers, J. Aust. Math. Soc. 87(2009), 83–99
2009
-
[3]
Bazzanella, A
D. Bazzanella, A. Perelli,The exceptional set for the number of primes in short intervals, J. Number Theory80(2000), 109–124
2000
-
[4]
Gaps in Multiplicative Sidon Sets
W. van Doorn, P. Monticone and Q. Tang,Gaps in Multiplicative Sidon Sets, arXiv:2605.02064, 2026. https://arxiv.org/abs/2605.02064
work page internal anchor Pith review Pith/arXiv arXiv 2026
-
[5]
Erdős,On sequences of integers no one of which divides the product of two others and on some related problems, Mitt
P. Erdős,On sequences of integers no one of which divides the product of two others and on some related problems, Mitt. Forsch.-Inst. Math. Mech. Univ. Tomsk2(1938), 74–82
1938
-
[6]
Erdős,On some applications of graph theory to number theoretic problems, Publ
P. Erdős,On some applications of graph theory to number theoretic problems, Publ. Ramanujan Inst.1 (1968), 131–136
1968
-
[7]
Erdős and L
P. Erdős and L. Lovász,Problems and results on 3-chromatic hypergraphs and some related questions, Coll. Math. Soc. J. Bolyai.10(1975), 609–627
1975
-
[8]
A.GafniandT.Tao,On the number of exceptional intervals to the prime number theorem in short intervals, arXiv:2505.24017, 2025.https://arxiv.org/abs/2505.24017
work page internal anchor Pith review Pith/arXiv arXiv 2025
-
[9]
com/Woett/ChatGPT-s-note-on-gaps-in-multiplicative-Sidon-sets
GPT-5.5 Pro,A note on the boundg(n)≪ε n10/33+ε, GitHub repository file, available athttps://github. com/Woett/ChatGPT-s-note-on-gaps-in-multiplicative-Sidon-sets
-
[10]
Järviniemi,On large differences between consecutive primes, arXiv:2212.10965, 2022.https://arxiv
O. Järviniemi,On large differences between consecutive primes, arXiv:2212.10965, 2022.https://arxiv. org/abs/2212.10965
-
[11]
R. Li,The number of primes in short intervals and numerical calculations for Harman’s sieve, arXiv:2308.04458v8, 2025.https://arxiv.org/abs/2308.04458
-
[12]
Nicolas and G
J.L. Nicolas and G. Robin,Majorations explicites pour le nombre de diviseurs deN, Canad. Math. Bull. 26(1983), 485–492
1983
-
[13]
Sárközy,Unsolved Problems in Number Theory, Period
A. Sárközy,Unsolved Problems in Number Theory, Period. Math. Hungar.42(2001), no. 1–2, 17–35
2001
-
[14]
Spencer,Asymptotic lower bounds for Ramsey functions, Discrete Math.20(1977), 69–76
J. Spencer,Asymptotic lower bounds for Ramsey functions, Discrete Math.20(1977), 69–76
1977
-
[15]
J. Stadlmann,On the mean square gap between primes, arXiv:2212.10867, 2022.https://arxiv.org/abs/ 2212.10867
-
[16]
Yu,The differences between consecutive primes, Bull
G. Yu,The differences between consecutive primes, Bull. Lond. Math. Soc.28(1996), 242–248. Groningen, the Netherlands Email address:wonterman1@hotmail.com School of Mathematics and Statistics, Xi’an Jiaotong University, Xi’an 710049, P. R. China Email address:tangquanyu827@gmail.com
1996
This paper was first reviewed by grok-4.3 on June 27, 2026.
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.