arxiv: 2604.10822 · v3 · submitted 2026-04-12 · 🧮 math.NT

Recognition: unknown

Beatty solutions of almost Golomb equations

Benoit Cloitre

Pith reviewed 2026-05-10 14:57 UTC · model grok-4.3

classification 🧮 math.NT

keywords almost Golomb equationinhomogeneous Beatty sequencemonotone solutionstriple-nested identityequidistributionirrational orbitPell-Ostrowskireturn-time set

0 comments

The pith

Almost Golomb equations of order r admit a second monotone solution via an inhomogeneous Beatty sequence of slope 1/sqrt(r) when r is not an even perfect square.

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

The paper establishes that the almost Golomb functional equation has, in addition to its known r-regular solution, a second family of monotone solutions for most integers r. These solutions take the explicit form of inhomogeneous Beatty sequences whose slope is fixed at 1 over the square root of r. The argument proceeds by composing the original equation to produce a triple-nested identity, then locating the precise range of constant shifts for which the Beatty form continues to satisfy that identity. This matters because it shows that the equation does not determine a unique monotone sequence and links the problem directly to uniform distribution properties of irrational rotations.

Core claim

We prove that for every r greater than or equal to 2 that is not an even perfect square, the almost Golomb equation of order r admits a second monotone solution given by an inhomogeneous Beatty sequence of slope 1 over square root of r. Composing the equation with a leads to a triple-nested identity which admits a continuous one-parameter family of inhomogeneous Beatty solutions parametrized by a shift d ranging over an explicit interval. We determine these intervals sharply for r equals 2 and r equals 3, each proved by a local regime analysis combined with equidistribution of an irrational orbit. The endpoints of these intervals sit naturally inside the Pell-Ostrowski framework, and the de

What carries the argument

The inhomogeneous Beatty sequence of slope 1/sqrt(r) that satisfies the composed triple-nested identity for admissible constant shifts d.

If this is right

For every r not an even perfect square, the almost Golomb equation possesses at least two distinct monotone solutions in positive integers.
The triple-nested identity obtained by composing the original equation possesses a continuous one-parameter family of inhomogeneous Beatty solutions.
For r=2 and r=3 the admissible intervals for the shift parameter d are closed and can be stated explicitly.
The endpoints of the admissible intervals for r=2 and r=3 belong to the Pell-Ostrowski framework, and for r=2 the defect set at the upper endpoint coincides with the return-time set of an irrational rotation to a concrete interval.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

The same equidistribution technique may locate admissible shift intervals for r larger than 3.
The appearance of return-time sets at the boundary suggests that the defect structure is governed by the dynamics of the irrational rotation by 1/sqrt(r).
These Beatty solutions partition the positive integers in a manner compatible with the original sum-based relation, potentially yielding new additive bases or partition identities.

Load-bearing premise

The local regime analysis combined with equidistribution of the irrational orbit correctly identifies the sharp closed intervals of admissible shifts d for which the inhomogeneous Beatty sequence satisfies the composed triple-nested identity.

What would settle it

For r=2, compute the values of the candidate sequence a(n) = floor(n/sqrt(2) + d) for large n and test whether it satisfies the original almost Golomb equation when d lies strictly outside the claimed closed interval.

read the original abstract

The almost Golomb equation of order $r$ is the implicit functional equation $$a\Bigl(\sum_{j=0}^{r-1} a(n{-}j)\Bigr) = n$$ for nondecreasing sequences of positive integers with $a(1)=1$. Its earliest solution, the almost Golomb sequence of order $r$, is $r$-regular in the sense of Allouche and Shallit and has oscillating ratio $a(n)/n$. We prove that for every $r\ge 2$ that is not an even perfect square, the equation admits a second monotone solution given by an inhomogeneous Beatty sequence of slope $1/\!\sqrt{r}$. Composing the equation with $a$ leads to a triple-nested identity which admits a continuous one-parameter family of inhomogeneous Beatty solutions, parametrised by a shift $d$ ranging over an explicit interval. We determine these intervals sharply for $r=2$ and $r=3$, each proved by a local regime analysis combined with equidistribution of an irrational orbit. The endpoints of these intervals sit naturally inside the Pell--Ostrowski framework of Fokkink, and the defect set at the upper endpoint for $r=2$ is characterised as the return-time set of an irrational rotation to an explicit interval.

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.

Desk Editor's Note private letter to a colleague

Cloitre gives a second family of inhomogeneous Beatty solutions to the almost Golomb equation for r not an even square, with sharp intervals only for r=2 and 3.

read the letter

The main takeaway is that this paper constructs a second monotone solution to the almost Golomb equation of order r as an inhomogeneous Beatty sequence with slope 1/sqrt(r), at least when r is not an even perfect square. They reach this by composing the original equation into a triple-nested identity that supports a continuous family of such sequences parametrized by a shift d, then showing the admissible interval for d is non-empty in general and determining its exact endpoints for r=2 and r=3 via local regime analysis plus equidistribution of an irrational orbit. The endpoints connect to the Pell-Ostrowski framework, and the defect set at the upper endpoint for r=2 is identified as a return-time set of an irrational rotation. This is a clean, explicit addition in the area of Beatty sequences and r-regular sequences. The use of standard equidistribution tools keeps the argument straightforward, and the concrete intervals for small r give something verifiable and useful beyond the existence claim. The soft spot is that for general r the result stops at showing the interval is non-empty without sharp bounds or further structure, so the level of detail drops off quickly. The paper stays within its stated scope and does not overclaim broader impact. This is aimed at number theorists already working on recursive sequences or inhomogeneous Beatty representations; someone outside that subfield would find it too narrow. A reader interested in explicit constructions for functional equations on sequences would get direct value from the parametrization and the r=2,3 cases. I would send it to peer review. The central existence result looks well-supported by the methods described, and the explicit work for small r gives referees something concrete to check.

Referee Report

0 major / 4 minor

Summary. The paper proves that for every integer r ≥ 2 that is not an even perfect square, the almost Golomb equation a(∑_{j=0}^{r-1} a(n-j)) = n admits a second monotone solution given by an inhomogeneous Beatty sequence of slope 1/√r. This is obtained by composing the equation to derive a triple-nested identity, exhibiting a one-parameter family of inhomogeneous Beatty solutions parametrized by a shift d over an explicit interval, verifying that suitable d yield solutions to the original equation, and showing the interval is non-empty for general r (with sharp determination for r=2 and r=3 via local regime analysis plus equidistribution of irrational orbits). Endpoints are placed in the Pell-Ostrowski framework, and the defect set for r=2 at the upper endpoint is identified as a return-time set of an irrational rotation.

Significance. If the central existence claim holds, the work supplies explicit new monotone solutions to the almost Golomb equations, extending beyond the known r-regular almost Golomb sequence and connecting these functional equations to inhomogeneous Beatty sequences and equidistribution properties of irrational rotations. The construction of a continuous family via the composed identity, the non-emptiness argument for general r, and the sharp interval results for r=2,3 (with the return-time characterization) constitute a concrete advance in the arithmetic study of such implicit equations. The invocation of the Pell-Ostrowski framework for endpoint interpretation adds interpretive value without being essential to the existence proof.

minor comments (4)

The definition and notation for the inhomogeneous Beatty sequence (including the precise role of the shift parameter d) should be stated explicitly in the introduction or §2 before the composition step, to aid readers unfamiliar with the inhomogeneous case.
In the discussion of the triple-nested identity, add a brief remark clarifying why solutions to the composed equation automatically satisfy the original almost Golomb equation for the chosen monotone sequences (or cite the relevant lemma).
For the equidistribution arguments in the r=2 and r=3 cases, include a short statement of the discrepancy bound or error term used to control the local regime analysis, even if standard.
The reference to the Pell-Ostrowski framework would benefit from a one-sentence reminder of the relevant theorem or property being applied, rather than assuming reader familiarity.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for the positive and accurate summary of our results on inhomogeneous Beatty solutions to the almost Golomb equation, as well as for the recommendation of minor revision. We appreciate the recognition of the connections to equidistribution and the Pell-Ostrowski framework. No specific major comments were raised in the report.

Circularity Check

0 steps flagged

No significant circularity; derivation relies on external mathematical results

full rationale

The manuscript derives a triple-nested composed identity from the original almost Golomb equation and exhibits a one-parameter family of inhomogeneous Beatty sequences (parametrized by shift d) that satisfy it. It then verifies that suitable d in explicitly described non-empty intervals yield solutions to the original equation, using standard external facts on Beatty sequences, equidistribution of irrational rotations, and the Pell-Ostrowski framework only for endpoint interpretation. For general r the argument shows non-emptiness without requiring sharp endpoints or any fitted parameters. No step reduces by construction to a self-definition, renamed empirical pattern, or load-bearing self-citation; the existence proof is self-contained against independent number-theoretic benchmarks.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

The proof relies on standard number-theoretic results without introducing new free parameters or postulated entities. The slope 1/sqrt(r) is derived from the functional equation rather than fitted, and the shift d is the explicit parameter whose range is determined.

axioms (2)

standard math Equidistribution theorem for the sequence {n α} mod 1 when α is irrational
Invoked to determine the sharp intervals of admissible shifts d via local regime analysis for r=2 and r=3.
standard math Basic properties of inhomogeneous Beatty sequences and their compositions
Used to construct the candidate solutions and verify they satisfy the almost Golomb equation inside the identified intervals.

pith-pipeline@v0.9.0 · 5521 in / 1577 out tokens · 63344 ms · 2026-05-10T14:57:11.318387+00:00 · methodology

discussion (0)

Forward citations

Cited by 1 Pith paper

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

Critical Slow Growth in Averaged Meta-Fibonacci Recursions
math.CO 2026-05 unverdicted novelty 7.0

Averaged meta-Fibonacci recursions at critical alpha=1 exhibit a triangular block structure where k appears k times, yielding Q(n) ~ sqrt(2n), while supercritical alpha>1 forces any linear growth rate to equal 1 - 1/alpha.

Reference graph

Works this paper leans on

11 extracted references · 2 canonical work pages · cited by 1 Pith paper · 2 internal anchors

[1]

Allouche and J

J.-P. Allouche and J. Shallit,Automatic Sequences: Theory, Applications, Generaliza- tions, Cambridge University Press, 2003

2003
[2]

Almost Golomb Sequences

B. Cloitre, Almost Golomb sequences, preprint, 2026.arXiv:2604.02404

work page internal anchor Pith review Pith/arXiv arXiv 2026
[3]

Cloitre, A binary tree of monotone solutions of the almost Golomb equation, preprint, in preparation, 2026

B. Cloitre, A binary tree of monotone solutions of the almost Golomb equation, preprint, in preparation, 2026

2026
[4]

The Pell Tower and Ostronometry

R. Fokkink, The Pell tower and Ostronometry,Communications in Mathematics33 (2025), no. 2, Paper no. 6.arXiv:2309.01644

work page internal anchor Pith review Pith/arXiv arXiv 2025
[5]

A. S. Fraenkel, The bracket function and complementary sets of integers,Canadian J. Math.21(1969), 6–27

1969
[6]

S. W. Golomb, Problem 5407,Amer. Math. Monthly73(1966), 674. 24

1966
[7]

Lothaire,Algebraic Combinatorics on Words, Cambridge University Press, 2002

M. Lothaire,Algebraic Combinatorics on Words, Cambridge University Press, 2002

2002
[8]

OEIS Foundation,The On-Line Encyclopedia of Integer Sequences, published electroni- cally athttps://oeis.org
[9]

J. Shallit,The Logical Approach to Automatic Sequences: Exploring Combinatorics on Words with Walnut, London Mathematical Society Lecture Note Series 482, Cambridge University Press, 2023

2023
[10]

Alessandri and V

P. Alessandri and V. Berth´ e, Three distance theorems and combinatorics on words, Enseign. Math.44(1998), no. 1–2, 103–132

1998
[11]

V. T. S´ os, On the distribution mod 1 of the sequencenα,Ann. Univ. Sci. Budapest. E¨ otv¨ os Sect. Math.1(1958), 127–134. 25

1958