Monochromatic Sums and Quotients Near Zero
Pith reviewed 2026-05-10 00:44 UTC · model grok-4.3
The pith
In any finite coloring of a dense subsemigroup of the positive reals, the set {a, b, ab, b(a+1)} is monochromatic for a and b arbitrarily close to zero.
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
Core claim
We prove that {a, b, ab, b(a+1)} is monochromatic near zero, meaning that for every finite coloring of a dense subsemigroup of ((0, ∞), +), we obtain a, b in the subsemigroup as small as we want such that the set is monochromatic. We also show that the pattern x, y, x+y, y/x is partition regular near zero.
What carries the argument
The configuration {a, b, ab, b(a+1)} and its monochromaticity under finite colorings, together with the four-term pattern x, y, x+y, y/x, in the near-zero regime of dense additive subsemigroups.
If this is right
- The configuration {a, b, ab, b(a+1)} remains unavoidable near zero in any finite coloring.
- The pattern x, y, x+y, y/x is partition regular near zero in dense subsemigroups.
- Variants of results on natural numbers, including certain Hindman-type statements, hold when restricted to arbitrarily small elements.
- The disproof of Sahasrabudhe's conjecture on non-regularity extends to the near-zero setting.
Where Pith is reading between the lines
- Other partition-regular patterns known on the integers may admit direct near-zero versions in the reals.
- The result likely applies to other dense additive subsemigroups such as the positive rationals or algebraic positives.
- One could test whether the same configurations remain monochromatic under different colorings or when the underlying operation changes.
- Links to topological or measure-theoretic versions of Ramsey theory on the reals become plausible.
Load-bearing premise
The subsemigroup must be dense in the positives, closed under addition and the multiplications needed to produce ab and b(a+1), and contain arbitrarily small positive elements.
What would settle it
A 2-coloring of the positive rationals in which, for all sufficiently small a and b, the four numbers a, b, ab, and b(a+1) use both colors.
read the original abstract
Recently S. Goswami proved that whenever the set $\mathbb N$ of natural numbers is finitely colored, the set $\{a, b, ab, b(a+1)\}$ is monochromatic which also established a variant of the long-standing Hindman's conjecture, which asks for a monochromatic set of the form $\{a, b, ab, a+b\}$. Actually he disproved a conjecture proposed by J. Sahasrabudhe that $\{a, b, a(b + 1)\}$ is not partition regular. In this paper we prove that $\{a, b, ab, b(a+1)\}$ is monochromatic near zero which means for every finite coloring of a dense subsemigroups of $((0, \infty), +)$, the set $\{a, b, ab, b(a+1)\}$ is monochromatic near zero or in other words, we will get $a, b$ in a dense subsemigroups of $((0, \infty), +)$ as small as we want such that the set $\{a, b, ab, b(a+1)\}$ is monochromatic for every finite coloring of that dense subsemigroups of $((0, \infty), +)$, also we show that the pattern $x, y, x+y, \frac{y}{x}$ is partition regular near zero.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper extends a result of Goswami on monochromatic configurations in finite colorings of the natural numbers to the setting of dense additive subsemigroups S of ((0, ∞), +). It claims that for any finite coloring of such an S, there exist arbitrarily small a, b ∈ S such that the set {a, b, ab, b(a+1)} is monochromatic. It further claims that the pattern x, y, x+y, y/x is partition regular near zero.
Significance. If the technical details are resolved, the results would provide a near-zero continuous analogue of Hindman-type theorems and partition regularity results, bridging discrete combinatorial number theory with dense subsets of the positive reals. The explicit construction of monochromatic configurations arbitrarily close to zero is a potentially useful strengthening.
major comments (2)
- [Abstract and §1] Abstract and §1 (statement of main theorems): The central claim requires that ab and b(a+1) lie in S whenever a, b ∈ S, so that they receive colors under the given coloring of S. However, S is defined only as a dense additive subsemigroup of ((0, ∞), +) with no stated closure under multiplication. The manuscript must either add an explicit hypothesis that S is closed under the relevant multiplications or prove that the chosen a, b can always be selected so that ab, b(a+1) ∈ S. This precondition is load-bearing for the well-posedness of the monochromatic configuration.
- [§2] §2 (proof of the first theorem): The argument that such a, b exist arbitrarily close to zero must explicitly verify that the constructed elements remain inside the given dense subsemigroup S after the multiplications are performed; otherwise the configuration exits the domain of the coloring.
minor comments (2)
- [Throughout] Notation for the dense subsemigroup S should be introduced once in §1 and used consistently; the repeated phrase 'dense subsemigroups of ((0, ∞), +)' is redundant.
- [Abstract and §3] The second claim on the pattern x, y, x+y, y/x requires closure under division; this should be stated explicitly alongside the additive-semigroup hypothesis.
Simulated Author's Rebuttal
We thank the referee for the careful reading and for highlighting these important points about the well-posedness of our configurations. We respond to each major comment below and will revise the manuscript accordingly.
read point-by-point responses
-
Referee: [Abstract and §1] Abstract and §1 (statement of main theorems): The central claim requires that ab and b(a+1) lie in S whenever a, b ∈ S, so that they receive colors under the given coloring of S. However, S is defined only as a dense additive subsemigroup of ((0, ∞), +) with no stated closure under multiplication. The manuscript must either add an explicit hypothesis that S is closed under the relevant multiplications or prove that the chosen a, b can always be selected so that ab, b(a+1) ∈ S. This precondition is load-bearing for the well-posedness of the monochromatic configuration.
Authors: We agree that the current definition of S as a dense additive subsemigroup does not automatically ensure ab, b(a+1) ∈ S. The strongest honest revision is to add the explicit hypothesis that S is closed under multiplication (making S a dense subsemigroup of ((0,∞),+) that is also closed under the relevant products). This is the natural setting for configurations mixing sums and products, and it renders the monochromatic set well-defined within the colored domain. We will update the abstract, §1, and all theorem statements to include this hypothesis. We do not claim in the current manuscript that we already prove the products remain in S without it, so we will not attempt to add such a proof; the added hypothesis is the direct and accurate fix. revision: yes
-
Referee: [§2] §2 (proof of the first theorem): The argument that such a, b exist arbitrarily close to zero must explicitly verify that the constructed elements remain inside the given dense subsemigroup S after the multiplications are performed; otherwise the configuration exits the domain of the coloring.
Authors: We accept this criticism. In the revised §2 we will insert an explicit verification paragraph immediately after the construction of a and b, confirming that, under the new closure hypothesis, ab and b(a+1) belong to S. We will also make the choice of a and b more explicit so that the reader can see they remain inside S throughout the argument. This addresses the concern that the configuration could leave the domain of the coloring. revision: yes
Circularity Check
No circularity detected; derivation self-contained
full rationale
The paper extends a cited result of Goswami on natural numbers to a statement about monochromatic configurations near zero in dense additive subsemigroups of (0,∞). The abstract and available text contain no self-definitional reductions, no fitted parameters renamed as predictions, no load-bearing self-citations, and no ansatzes smuggled via prior work by the same authors. The central claims rest on standard combinatorial partition-regularity arguments whose validity is independent of the present paper's inputs. No equation or step reduces by construction to a prior definition or fit within the manuscript.
Axiom & Free-Parameter Ledger
axioms (2)
- standard math ((0, ∞), +) is a commutative semigroup
- domain assumption Dense subsemigroups admit arbitrarily small positive elements closed under addition
Reference graph
Works this paper leans on
-
[1]
Alweiss,Monochromatic sums and products of polynomials, Discrete Anal
R. Alweiss,Monochromatic sums and products of polynomials, Discrete Anal. 2024:5, 7 pp. arXiv:2307.08901
-
[2]
L. L. Baglini,Partition regularity of polynomial systems near0, Semigr. Forum 103 (2021), 191–208 https://doi.org/10.1007/s00233-021-10179-w. MONOCHROMATIC SUMS AND QUOTIENTS NEAR ZERO 9
-
[3]
E. Bayatmanesh and M. A. Tootkaboni,Central sets theorem near zero, Top. App. 210 (2016), 70-80
work page 2016
-
[4]
V. Bergelson and D. Glasscock, On the interplay between additive and multiplicative largeness and its combinatorial applications,J. Comb. Theory Ser. A172(2020), 105203
work page 2020
-
[5]
J. Berglund, H. Junghenn, and P. Milnes, “Analysis on semigroups”,Wiley, New York, 1989
work page 1989
-
[6]
S. Biswas and S. K. Patra,Large sets near idempotent and its product, Semigroup Forum (2023) 106:368–393
work page 2023
- [7]
-
[8]
Ellis,Lectures on Topological Dynamics, Benjamin, New York, 1969
R. Ellis,Lectures on Topological Dynamics, Benjamin, New York, 1969
work page 1969
-
[9]
H. Furstenberg,Recurrence in ergodic theory and combinatorial number theory, Princeton University Press, Princeton, 1981
work page 1981
-
[10]
S. Goswami,Monochromatic Translated Product and Answering Sa- hasrabudhe’s Conjecture, Advances in Combinatorics, 2026:2, 6 pp., https://doi.org/10.19086/aic.2026.2
-
[11]
R. L. Graham, B. L. Rothschild, and J. H. Spencer,Ramsey Theory, second ed., Wiley-Interscience Series in Discrete Mathematics and Optimization, John Wiley & Sons, New York, 1990
work page 1990
-
[12]
Hindman,Finite sums from sequences within cells of partitions ofN, J
N. Hindman,Finite sums from sequences within cells of partitions ofN, J. Combin. Theory Ser. A 17 (1974), 1–11
work page 1974
-
[13]
Hindman,Partitions and sums and products of integers, Trans
N. Hindman,Partitions and sums and products of integers, Trans. AMS. 247 (1979), 227–245
work page 1979
-
[14]
Hindman,Monochromatic sums equal to products inN, Integers 11A(2011), Article 10
N. Hindman,Monochromatic sums equal to products inN, Integers 11A(2011), Article 10
work page 2011
-
[15]
N. Hindman and I. Leader,The semigroup of ultrafilters near 0, Semigroup Forum 59 (1999), 33-55
work page 1999
-
[16]
N. Hindman and D. Strauss,Algebra in the Stone- ˇCech compactification - theory and application, W. de Gruyter and Co., Berlin, 2012
work page 2012
-
[17]
N. Hindman and D. Strauss,Algebraic products of tensor products, Semigroup Forum, 103 (2021), 888-898
work page 2021
-
[18]
Moreira,Monochromatic sums and products inN, Ann
J. Moreira,Monochromatic sums and products inN, Ann. Math. (2) 185 (2017), no. 3, 1069–1090
work page 2017
-
[19]
Monochromatic sums and quotients in $\mathbb N$
M. Di Nasso, L. Luperi Baglini, R. Mennuni, M. Ragosta, and A. Vegnuti,Monochro- matic sums and quotients inN, arXiv:2603.03115v2
work page internal anchor Pith review Pith/arXiv arXiv
-
[20]
S. K. Patra and M. M. Shaikh,Monochromatic sums equal to products near zero, Integers20(2020), #A66
work page 2020
-
[21]
Sahasrabudhe,Exponential patterns in arithmetic ramsey theory, Acta Arith
J. Sahasrabudhe,Exponential patterns in arithmetic ramsey theory, Acta Arith. 182 (2017), 13
work page 2017
-
[22]
I. Schur,Uber die Kongruenzx m +y m =z m (modp),Jahresbericht der Deutschen Math.-Verein.25(1916), 114-117
work page 1916
-
[23]
B. L. van der Waerden, Beweis einer Baudetschen Vermutung, German.Nieuw Arch. Wiskd., II. Ser.15(1927), 212-216. 10 MD MOID SHAIKH, SOURA V KANTI PATRA, AND MUKESH KUMAR Md Moid Shaikh, Department of Mathematics, Maharaja Manindra Chan- dra College, 20 Ramkanto Bose Street, Kolkata-700003, West Bengal, India Email address:mdmoidshaikh@gmail.com, mdmoidsha...
work page 1927
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.