slug: landman-robertson-robertson-2023-fibonacci-super-accessibility
bibkey: landman2023fibonaccisuperaccessibility
doi: 10.2140/moscow.2023.12.181
url: https://math.colgate.edu/~aaron/pap/moreDoAFinal.pdf
triage: theorem
motivation_gids:
  - D5/S3/Arith/Additive/FibonacciSuperAccessibility.result

The Fibonacci numbers are not 2-super-accessible

Problem

Landman, Robertson and Robertson, Ramsey properties for integer sequences with restricted gaps, Moscow Journal of Combinatorics and Number Theory 12(3), 181–195, Section 5, question 3, ask:

Is the set of Fibonacci numbers 2-super-accessible? We know it is 2-accessible but that it is not 2-large.

The source note gives the definitions and locators. The external named question and literal Lean conventions are in #16039.

Statement echo

Motivation

The settling declaration is D5/S3/Arith/Additive/FibonacciSuperAccessibility.result. Put

$$\alpha =\frac{47+\sqrt{5}}{58},c(n)=\{\begin{array}{ll}2& \{\alpha n\}<1/16,\\ 1& \text{otherwise}.\end{array}$$

The public theorems no_color_one_ap and no_color_two_diffseq exclude a 42-term color-1 $F$-ap and a three-term color-2 $F$-diffsequence. Their common coloring refutes 2-super-accessibility. Wesley’s note supplies the published modulus-29 parameter.

Gap

Bounded monochromatic diffsequences in color 2 do not force arbitrarily long restricted-gap arithmetic progressions in color 1. The same obstruction holds when color 2 meets every block of 33 consecutive positive integers, as proved below in prose. The claim about all colorings attaining the pair $(41,2)$ is not settled.

Route

Let $\psi =(1-\sqrt{5})/2$ and $r_n=(23f_n+f_{n+1})\mathrm{mod}29$. The block

$$(1,24,25,20,16,7,23)$$

is indexed by $n\mathrm{mod}7$, starting at $n=0$. The consumed private theorem residue_block proves this identity for every natural index. The Fibonacci identity in alpha_fib and fractional-part calculation in phase_fib give

$$\{\alpha f_n\}=\frac{r_n-{\psi }^n}{29}(n\ge 1).$$

The theorem phase_fib_bounds proves $1/32<\{\alpha f_n\}<26/29$. The no-wrap addition theorem of GoldenArcFirstReturnCore, used through fract_no_wrap, makes two successive Fibonacci steps from color 2 increase phase by more than $1/16$. This is incompatible with the color-2 window.

For color 1, uniform_hitting constructs a coprime-grid representative and controls its perturbation: if $\delta =p/q+\epsilon$ with coprime numerator and denominator and

$$\frac{1}{q}+(q-1)|\epsilon |<w<1,$$

then every starting phase has a hit in $[0,w)$ among its first $q$ steps. The theorem large_gap_hit applies this with $q=29$ for Fibonacci indices at least 8. The six small-gap certificates in small_gap_hit cover $d\in \{1,2,3,5,8,13\}$ with denominators at most 42. The theorem fib_gap_hit combines both ranges.

Falsifier

A color-1 42-term $F$-ap or a color-2 three-term $F$-diffsequence for this exact coloring would contradict its corresponding public theorem. A finite search with no such pattern is only a consistency check; it does not prove the universal avoidance statements. A different coloring with smaller avoidance bounds would inform optimality without contradicting this settlement.

Evidence

The Lean module is FibonacciSuperAccessibility, with its Scribe projection. The module’s admission basis is open-problem-resolution (#16039; Refuted) and its utility is a certified instance refuting claim. Its designated result is exempt from four-slot escape registration. The two avoidance theorems and the published owner D5/S1/Words/ReturnWords/GoldenArcFirstReturnCore.fract_add_displacement_of_no_wrap have unfinished escape audits in #16300; this issue is not registration evidence.

The numerical check is the experiment directory at commit ffbb05865f67b12df54a9c275251218090d024b2. Executing that commit’s check.py with argument 2000000 (python3 check.py 2000000) exits 0. The implementation seat executed the pinned Git blob with the equivalent command git show ffbb05865f67b12df54a9c275251218090d024b2:docs/reports/landman-robertson-robertson-2023-fibonacci-super-accessibility/check.py | python3 - 2000000 in the experiments clone. Its SHA-256 is b0b1b6346c608b56fcf50f720145154e7f36609fc143acab287c7dd2f6a66cad. The tested scope is $1\le n\le 2\cdot 10^6$ and all 30 positive Fibonacci gaps in that range. It computes 125001 color-2 points, maximum color-2 $F$-diffsequence length 2, maximum color-1 $F$-ap length 41 (gap 3), maximum consecutive color-1 run 19, and residues $(1,24,25,20,16,7,23,1,24)$ for indices 0 through 8, with zero failed checks. These finite maxima make no assertion about all colorings.

Triage

What the settlement shows

For the bounded-gap claim, the rational bracket proved by alpha_bracket implies

$$\left|\alpha -\frac{28}{33}\right|\le \frac{6817}{16500000}=:E.$$

Since $\gcd (28,33)=1$ and

$$\frac{1}{33}+32E=\frac{22442}{515625}<\frac{1}{16},$$

the coprime-grid hitting argument above, with $q=33$ and $t=\alpha x$, supplies $0\le j<33$ with $\{\alpha (x+j)\}<1/16$ for every positive integer $x$. Thus every such block contains color 2. This is a mathematical derivation from the $d=1$ certificate, not a separately exported kernel-checked 33-term theorem.

The nearest surviving source statements are that $F$ is 2-accessible and is not 2-large. They are literature results, consistent with this refutation of super-accessibility. No theorem elsewhere in the source that does not assume the open question is invalidated by its negative answer; no source theorem depending on a positive answer is asserted here.

ASSUMED-UNVERIFIED

Optimality over all colorings and the stated other $(r,t)$ questions remain open. The three escape registrations named in Evidence are unfinished. The literature attribution $\mathrm{doa}(F)=2$ is separate from the Lean axiom closure and is not claimed as a Lean result.