The Fantastic Mathematics of τau
A mathematical paper proving exact finite-window recurrence in the sequence floor(n/τ) mod 9, unifying an empirically discovered 102,240-cycle drift with carry-threshold mechanics and Symbolic Necessity.
"Why was Six afriad of Seven.
Because Seven mod Nine"
Abstract
We study the sequence , where and begins at zero. This sequence decomposes into consecutive blocks of length 6 and 7 — and no other lengths. Within each 710-step cycle, 113 blocks appear (81 of length 6, 32 of length 7), arranged as 15 repetitions of a base phrase and 2 interrupting phrases in the configuration . The spacings between the 32 blocks of length 7 form a Sturmian word on : specifically .
The complete value-and-length cycle spans 6390 steps (1017 blocks), where a set of column-sum coincidences emerges: the sum of block values, the sum of start-indices modulo 9, and the sum of stop-indices modulo 9 all equal 4068, while the sum of (value length) equals 25,560 — and . The terminal indices 709 and 6389 are both prime. The block count 113 is prime. At large scales, is prime. These prime appearances are arithmetically notable, though the paper does not prove a causal prime-generating mechanism.
The paper's central result concerns exact recurrence. At offset within a 6390-point renormalized window, the accumulated phase drift remains below every carry threshold, yielding pointwise identity between the base pattern and its translate: for all . This exact return persists for 25 multiples. At the 26th multiple, the first failures occur at indices , spaced by 710. Crucially, these same indices appear independently in the empirically documented drift pattern of the 102,240-cycle — where at exactly , all spaced by 710. Both phenomena are governed by the same carry-threshold mechanism: the accumulated approximation error exceeding the minimum gap between fractional phases and their nearest integer.
These results are framed within Symbolic Necessity (): a proposed formal property of structures whose completeness outruns finite derivation but whose bounded projections nonetheless yield exact discrete law.
1. Introduction
1.1 Counting circles
Take any natural number and form , where . A circle with radius has circumference . So is the radius of a circle with integer circumference . The function counts completed turns; records residual phase.
Starting from is critical. At : , , . The sequence begins at the origin — zero radius, zero circumference, zero phase, zero value. Every subsequent structure emerges from this origin by adding one unit of circumference.
1.2 The blocks of six and seven
Define . Since , each unit step in advances by . The floor increments approximately every steps: sometimes after 6 steps, sometimes after 7. The block lengths are and , and no other values.
1.3 Epistemic status
This paper presents results at three levels:
- Proved results (Sections 2–6): Block decomposition, Sturmian structure, column sums, exact finite-window return, and the 102,240-cycle unification. All computationally verified and algebraically derived.
- Computationally verified observations (Sections 7–8, Appendices B–C): The meta-return at 73,996,200, primes at scale, the Tau-Wave system, repeating decimal tail ratios, Gelfond's constant identification. Confirmed but not derived from first principles.
- Interpretive framework (Section 9): Symbolic Necessity. A proposed conceptual reading, not a theorem.
1.4 Why rather than
Any formal treatment of rotation requires a distinguished full-turn constant. We use because: the circle group has period ; the kernel of from to is ; unit-speed parametrisation has period ; and the identity represents one complete rotation directly. None of this changes the mathematics — but it simplifies notation and aligns the constant with its geometric role.
2. Block Properties and the 710-Cycle
2.1 Formal definitions
Definition 1 (Block). A block is a maximal run of consecutive sharing the same value of . Each block has: Block ID (sequential from 0), Value , Length , Start , Stop , Block Sum (Value Length), Start , Stop .
Definition 2 (Increment indicator). records whether increments at step . Block lengths are the gaps between successive where .
2.2 The first seven blocks
| ID | Value | Length | Start | Stop | Sum | Start mod 9 | Stop mod 9 |
|---|---|---|---|---|---|---|---|
| 0 | 0 | 7 | 0 | 6 | 0 | 0 | 6 |
| 1 | 1 | 6 | 7 | 12 | 6 | 7 | 3 |
| 2 | 2 | 6 | 13 | 18 | 12 | 4 | 0 |
| 3 | 3 | 7 | 19 | 25 | 21 | 1 | 7 |
| 4 | 4 | 6 | 26 | 31 | 24 | 8 | 4 |
| 5 | 5 | 6 | 32 | 37 | 30 | 5 | 1 |
| 6 | 6 | 6 | 38 | 43 | 36 | 2 | 7 |
These 7 blocks span 44 integers ( to ) and form the base phrase: . Block values progress sequentially: .
2.3 The 710-cycle: phrase-and-break architecture
Proposition 1. In : exactly 113 blocks (81 of length 6, 32 of length 7), totalling , arranged as:
| Phase | Content | Blocks | Integers | Range |
|---|---|---|---|---|
| Phase 1 | 8 base phrases | 56 | 352 | – |
| Break 1 | 1 break phrase | 4 | 25 | – |
| Phase 2 | 7 base phrases | 49 | 308 | – |
| Break 2 | 1 break phrase | 4 | 25 | – |
| Total | 113 | 710 |
Check: . .
The base phrase contains two 7-blocks at positions 0 and 3 (a pair). The break phrase contains one 7-block (a singleton). Normally, 7-blocks come in pairs; at the two break points, a singleton appears. This accommodates .
2.4 Continued fraction context
. The convergent truncates after partial quotient and gives . The 8 + break + 7 + break phrase structure is consistent with the continued-fraction organisation around this convergent. A rigorous derivation of the phrase counts from the partial quotients is not given here, but the alignment is exact and computationally verified.
2.5 Value progression
After 113 blocks, the value has advanced by . Since , full return requires shifts, giving cycle length .
3. Sturmian Structure
3.1 The spacing sequence
The 32 blocks of length 7 in one 710-cycle occupy block indices:
The 31 spacings between consecutive 7-blocks (noncyclic — measured within the 710-window, not wrapping) are:
The lone at position 16 is the "double-4 break" — two consecutive spacings of 4 — marking the Phase 1 → Break 1 transition.
Theorem 1 (Sturmian Spacing). The spacing sequence is a Sturmian word on with slope .
Proof. The irrational rotation on by produces an orbit that partitions into 113 intervals of exactly two distinct lengths (by the three-distance theorem, applied to the convergent with error ). Of 113 intervals, 81 have the shorter length (6-blocks) and 32 the longer (7-blocks). The distribution of 7-blocks among 6-blocks follows a Sturmian word with slope , taking values and . The initial-phase-dependent form is verified computationally.
Structural correspondence. A pair corresponds to a base phrase : two 7-blocks at distance 3, gap of 4 to the next pair. The lone 4 corresponds to a break phrase : a singleton 7-block with gap 4 on both sides.
4. The Hierarchical Tower
4.1 The 6390-cycle
Proposition 2. The range contains 1017 blocks (729 of length 6, 288 of length 7), comprising 9 complete 710-cycles. Each value – appears as a block value 113 times and occupies exactly 710 positions. The terminal index is prime.
4.2 Column sum coincidences
Theorem 2. Over one 6390-cycle (1017 blocks):
| Column | Sum | Relation |
|---|---|---|
| Block Value | 4068 | |
| Block Length | 6390 | exact |
| Block Sum (Value Length) | 25,560 | |
| Start | 4068 | Block Value sum |
| Stop | 4068 | Block Value sum |
Moreover, , connecting the block-value sum and the block-product sum through .
These coincidences do not hold at the 710 level (where the sums are ). The 6390-cycle is the minimal level where they emerge.
4.3 Block-sum distribution
The 1017 block sums take 16 distinct values. The frequencies split cleanly: sums achievable only by length-6 blocks appear 81 times each; sums achievable only by length-7 blocks appear 32 times each; and the two degenerate sums (0 from value 0, and 42 from ) each appear 113 times.
4.4 Prime factorizations
| Cycle lengths | Block counts |
|---|---|
| (prime) | |
The irreducible core is for cycle lengths and for block counts, with powers of 2 and 3 accumulating at each level.
4.5 Preserved approximation error
Error ratios: and to ten figures — the same factors as the cycle-length ratios. The per-unit error is identical across all levels:
At the rational level these are scaled copies of the same reduced fraction . The nontrivial claim is that the same scaling family reappears in the projected block structure, column sums, and exact finite-window returns.
4.6 Primes at cycle boundaries
The terminal index is prime. The terminal index is prime. The block count is prime, and (a factor of ) is prime. By contrast, and are composite. The primality does not persist at all levels. These appearances are arithmetically notable within the hierarchy, but the paper does not prove a causal relationship.
4.7 Block-sum chain
The sum of all block sums in one 6390-cycle () equals , the length of the next cycle level. The factor of 4 is the same one appearing in and .
5. Exact Finite-Window Return
5.1 The claim
The raw orbit never repeats. But a specific coding of it returns to itself with pointwise identity after renormalization — not approximately, but exactly — because the residual error stays below every carry boundary in a bounded window.
5.2 The renormalized return map
For , define:
This subtracts the dominant linear drift (113 per 710-block), isolating residual modular structure.
5.3 The carry mechanism
Let . Decompose the accumulated drift:
Then:
where the residual carry function is
The window returns exactly (up to integer shift ) when for all , which occurs when , where is the minimum gap to a carry boundary.
5.4 Exact return at
Theorem 3. , so and . The minimum carry gap is . Since :
This is pointwise identity, not approximation. Verified for all 6390 values.
5.5 Persistence and breakdown
Corollary. The return persists for . At , three indices fail:
These are the three values of in whose fractional phase is closest to 1. Verified by direct computation.
6. The 102,240-Cycle Drift: Unification
6.1 Empirical discovery
The research notes record that within the 102,240-cycle (), the block sequence drifts from the base pattern at specific indices. Comparing with over reveals exactly 6 mismatches:
This was discovered empirically. The notes further document that the drift continues into subsequent 6390-windows: at , still spaced by 710, with one new failure added per 710-step advance.
6.2 The carry-threshold explanation
Since , the accumulated drift at this scale is . Compare with the carry threshold :
So carries fire wherever . The 6 values of satisfying this in are exactly , verified computationally. These are the 6 positions in the base window whose fractional phase is closest to 1, and they are spaced by 710 because the irrational rotation revisits the near-1 region at the 710-approximant scale.
6.3 Connection to Theorem 3
The Theorem 3 failures at are — a strict subset of the 102,240-drift positions. The mechanism is the same: accumulated error exceeding the carry threshold. The difference is quantitative:
| Scale | Accumulated drift | Exceeds by | Failures in |
|---|---|---|---|
| () | does not exceed | 0 | |
| () | 3 | ||
| 102,240 cycle () | 6 |
The 3 failures at are the 3 positions with the largest fractional phases; the 6 failures at the 102,240 scale are the 6 positions above a slightly lower threshold. Both are governed by the same carry function, the same 710-lattice, and the same underlying approximation quality.
6.4 Significance
This is the paper's strongest structural result: an empirically discovered pattern-drift phenomenon and an algebraically derived carry-threshold mechanism converge on the same indices. The 102,240-cycle "drift" is not mysterious — it is the carry function firing at exactly the positions predicted by the rational approximation error. The 710-spacing of the failures is inherited from the 710-approximant structure. Two independent analyses, carried out months apart with different methods, produce the same list of integers.
7. Primes at Scale
Status: computationally verified observations.
7.1 The prime chain in
Reading left to right: is prime, is prime, is prime. More precisely, is prime (since ).
7.2 Primes from
is prime for . At each of these scales, is near an integer whose integer part is prime.
7.3 The meta-return prime
is prime. Furthermore, is prime. The function is prime at .
7.4 Repeating decimal tails
The decimal expansion of for large eventually settles into repeating tails. At , the tail is . At and , different tails appear. The ratios between the lengths of the non-repeating prefixes at these three scales are remarkably clean: , , and — all ratios of small integers.
8. The Tau-Wave System
Status: computationally verified observation providing independent confirmation of the 73,996,200 return.
8.1 Setup
Define wave functions with two slightly different frequencies:
where (the -constant from Section 4.5) and . Phase-shifted versions use an offset of . The interference pattern measures how the slightly detuned frequencies drift relative to each other as increases.
8.2 Return at
The wave interference returns to its initial state when , giving . This provides a wave-based consistency check for the same meta-return scale — from continuous wave analysis rather than discrete block arithmetic.
Since , the return occurs simultaneously at every level of the hierarchy. The near-integer return places the meta-cycle scale within of an integer — and is prime.
9. Complex Phase-Locking
9.1 The system
With correction normalization active:
where . Two real controls: governs rotation, governs exponential shear.
9.2 Spoke-count law
Proposition 3. If in lowest terms, the spoke count is .
| Reduced | Spokes | |
|---|---|---|
| 17 | 17 | |
| 1.7 | 17 | |
| 0.3 | 3 | |
| 7.05 | 141 (not 705) |
The decimal point is irrelevant; only the reduced form matters. The case is the strongest falsification test.
9.3 The correction toggle
With correction on: is fixed; changing only changes . The locking skeleton (spoke count) is invariant while strand shapes deform. With correction off: drifts with , creating apparent tongue motion that is a parameterization artifact.
9.4 The reappearance of 710
Samples are taken at . The inter-block phase shift produces strong alignment when near an integer multiple of — the same condition governing the arithmetic system. The 710-lattice is not a parameter choice; it is the natural comparison scale from the continued fraction.
9.5 Asymptotic circularity
For large , , whose normalized shape is — a pure circle. The observed progression from elliptical to circular form is built into the complex sine asymptotics.
9.6 Gelfond's constant and the -dependent system
A related system with exhibits different convergence behaviour: as increases, all points eventually settle to . At , two critical crossing values appear:
where is Gelfond's constant. Note . The second crossing marks where the orbit first returns to the real axis; a further period completion occurs at where . The appearance of — a known transcendental — as the natural scale of this -indexed complex system is an open observation.
10. Symbolic Necessity
10.1 Definition
Definition 3. is symbolically necessary for system , written , when:
- Operational Dependence. requires for semantic completeness.
- Constructive Inaccessibility. cannot be finitely constructed by 's operations.
- Projective Exactness. Finite subsystems can generate exact local structure by referencing through bounded projections.
10.2
- Operational Dependence. Cyclic structure, Fourier analysis, , and the residue theorem all require a full-turn constant.
- Constructive Inaccessibility. By Lindemann–Weierstrass (1882), is transcendental. Algebra cannot construct what it depends on.
- Projective Exactness. This paper provides a worked mathematical example. The nonperiodic orbit produces exact block structure, exact column sums, and exact finite-window returns through bounded codings.
10.3 The observer equation
(continuous source), (coding scheme), (discrete output). Multiple codings of the same source:
| Coding | Output |
|---|---|
| Block values, 6/7 lengths | |
| Renormalized 6390-window | Exact carry-stable return |
| Tau-Wave interference | 73,996,200 phase return |
| Complex on 710-lattice | Spoke counts |
Recurrence belongs to the coding, not the source. " is irrational" and "the pattern recurs exactly" are not contradictions.
10.4 Gödel complement
Gödel shows finite systems cannot internally verify all truths. The -block system shows what finite systems can still achieve: exact projected law from a completion they cannot contain. The proposed complement:
Incompleteness does not merely limit finite systems. It also explains why local exactness can exist without global closure — because the local structure is a bounded projection of a richer whole.
10.5 Information at scale
At the scale of Theorem 3, nothing relevant to the verified recurrence is lost in the projection. The bounded coding captures the full recurrence structure of the coding on that window.
11. Discussion
11.1 Central thesis
A continuous, nonperiodic generator can produce exact finite structure once viewed through a bounded observer map.
11.2 Claims and non-claims
Proved: Sturmian spacing . Phrase architecture . Column sums . Exact return at , persisting 25 times, failing at at . Unification of 102,240-cycle drift with carry threshold at .
Observed: Primes at scale (Appendix B). Meta-return at 73,996,200. Tau-Wave confirmation. Repeating decimal tail ratios , , with product 1 (Appendix C). Gelfond's constant as natural crossing scale. convergence.
Interpretive: Symbolic Necessity. Gödel complement.
Not claimed: That is uniquely privileged (open question). That these patterns have physical realisations. That Gödel is "overcome." That the primes are causally generated.
11.3 Falsification tests
- Replace with , , . If equally coherent hierarchies appear, the principle is universal.
- Change base. Replace mod 9 with mod 7 or mod 11.
- Verify the exact return for all 6390 values and the three failure indices at .
- Verify the 102,240 drift at exactly .
- Straighten coordinates. Replot tongues in .
11.4 Open problems
- Is the preserved per-unit error generic to all irrationals with good convergents?
- Can the 8-and-7 phrase structure be rigorously derived from partial quotients?
- What determines the phase-transition index at –?
- What is the precise observable for the 73,996,200 meta-return?
- Are the arithmetic and wave projections functorially related?
12. Conclusion
We began at zero. The sequence produces blocks of length 6 and 7, distributed as a Sturmian word. The internal architecture — 8 phrases, a break, 7 phrases, a break — reflects the continued fraction . The column sums of the 6390-cycle converge to and , connected through . The terminal indices are prime.
The central result is exact recurrence: a renormalized 6390-window returns with pointwise identity at , persists for 25 multiples, and breaks at the 26th at indices — spaced by 710. These same indices appear independently in the empirically discovered 102,240-cycle drift, where at . Both are instances of the carry-threshold mechanism operating on the same 710-lattice. The convergence of two independent analyses on the same list of integers is the strongest evidence that the mechanism is real.
The same architecture reappears in the Tau-Wave system (confirming the 73,996,200 return) and in the complex sine family (where 710 serves as the natural comparison lattice and rational locking produces spoke counts).
We call this Symbolic Necessity: the principle that finite systems can reference structures they cannot construct, and that the bounded projections can be exact.
Exactness need not come from global periodicity. It can come from bounded renormalized observation of an irrational source.
Appendix A: Computational Verification
import math
tau = 2 * math.pi
def build_blocks(N):
blocks, val, start = [], math.floor(0/tau) % 9, 0
for n in range(1, N + 1):
v = math.floor(n/tau) % 9
if v != val:
blocks.append({'length': n-start, 'value': val, 'start': start, 'stop': n-1})
val, start = v, n
if start < N:
blocks.append({'length': N-start, 'value': val, 'start': start, 'stop': N-1})
return [b for b in blocks if b['length'] > 0]
# Proposition 1
b710 = build_blocks(710)
assert len(b710) == 113
assert sum(1 for b in b710 if b['length']==6) == 81
assert sum(1 for b in b710 if b['length']==7) == 32
lengths = [b['length'] for b in b710]
phrase, brk = [7,6,6,7,6,6,6], [7,6,6,6]
i, p, k = 0, 0, 0
while i < len(lengths):
if lengths[i:i+7] == phrase: p += 1; i += 7
elif lengths[i:i+4] == brk: k += 1; i += 4
else: raise ValueError(f"Unexpected at {i}")
assert (p, k) == (15, 2)
# Theorem 1
seven_pos = [i for i,b in enumerate(b710) if b['length']==7]
spacings = [seven_pos[i+1]-seven_pos[i] for i in range(len(seven_pos)-1)]
assert spacings == [3,4]*8 + [4] + [3,4]*7
# Theorem 2
b6390 = build_blocks(6390)
assert len(b6390) == 1017
assert sum(b['value'] for b in b6390) == 4068
assert sum(b['value']*b['length'] for b in b6390) == 25560
assert sum(b['start']%9 for b in b6390) == 4068
assert sum(b['stop']%9 for b in b6390) == 4068
# Theorem 3
eps = 6390/tau - 1017; q2 = 1308519
def y(n, q): return math.floor((n+6390*q)/tau) - 113*math.floor((n+6390*q)/710)
for n in range(6390): assert y(n,q2)-113 == y(n,0)
for a in range(1,26):
for n in range(6390): assert y(n,a*q2)-113*a == y(n,0)
f26 = [n for n in range(6390) if y(n,26*q2)-113*26 != y(n,0)]
assert f26 == [4593, 5303, 6013]
assert f26[1]-f26[0] == f26[2]-f26[1] == 710
# Section 6: 102,240-cycle drift
drift = [n for n in range(6390)
if math.floor(n/tau)%9 != math.floor((n+102240)/tau)%9]
assert drift == [2463, 3173, 3883, 4593, 5303, 6013]
assert all(drift[i+1]-drift[i]==710 for i in range(len(drift)-1))
assert set(f26).issubset(set(drift))
Appendix B: Complete Prime Catalogue
The following is a systematic record of all prime candidates found by evaluating and related expressions, with exponents tested from to .
B.1 Primes from
| Exponent | Expression |
|---|---|
| 71 | |
| 90 | |
| 155 |
B.2 Primes from
| Exponent | Expression |
|---|---|
| 344 | |
| 382 | |
| 521 | |
| 3779 | |
| 5754 |
B.3 Primes from
| Exponent | Value | Notes |
|---|---|---|
| 7 | 113,000,009 | |
| 262 | (large prime) | |
| 3933 | (large prime) |
The exponent gaps are 255 and 3671.
B.4 Primes from
| Exponent | Notes |
|---|---|
| 0 | (prime) |
| 5 | |
| 74 | |
| 193 | |
| 282 | |
| 775 |
Equivalently expressed as at .
B.5 The prime chain in
Reading the integer part left to right:
| Truncation | Value | Prime? |
|---|---|---|
| 1 digit | 1 | unit |
| 2 digits | 11 | prime |
| 3 digits | 113 | prime |
| 9 digits | 113,000,009 | prime |
Additionally, is prime, and is prime.
B.6 The prime-factor scaffold
All cycle-length and block-count numbers decompose into the same small set of primes:
| Cycle lengths | Factorisations | Block counts | Factorisations |
|---|---|---|---|
| 710 | 113 | prime | |
| 6,390 | 1,017 | ||
| 25,560 | 4,068 | ||
| 102,240 | 16,272 |
The observation that 1017, 4068, and 16272 are composed exclusively of the primes , while 6390, 25560, and 102240 are composed of , means the entire hierarchy rests on four primes: and .
Appendix C: Repeating Decimal Structure
C.1 Setup
The decimal expansion of for large eventually settles into a non-repeating prefix followed by a repeating tail. Three cases were examined:
| Non-repeating prefix | Repeating tail (35 digits) | |
|---|---|---|
| 6 | ||
| 261 | (268 digits, begins ) | |
| 3932 | (3939 digits, begins ) |
C.2 The tail ratios
Let , , denote the three 35-digit repeating tails read as integers. Then:
These are exact rational ratios of small integers. Their product:
This is required by the cyclic structure (), but the individual ratios being clean fractions of small integers is not forced. The prime content of the ratios is:
Every prime appearing in the numerator of one ratio appears in the denominator of another. The primes involved are — all small, and and echo the and that structure the block hierarchy.
C.3 The exponent spacing
The three -values at which these tails were observed are , with gaps and . These are the same exponents at which yields primes (Section B.3: ). The repeating-tail structure and the prime-generating property occur at the same scales.
References
- Steinhaus, H. (1957). One Hundred Problems in Elementary Mathematics. Problem 57.
- Morse, M. and Hedlund, G. A. (1940). "Symbolic dynamics II: Sturmian trajectories." Amer. J. Math., 62(1), 1–42.
- Lothaire, M. (2002). Algebraic Combinatorics on Words. Cambridge.
- Hardy, G. H. and Wright, E. M. (1979). An Introduction to the Theory of Numbers. 5th ed. Oxford.
- Gödel, K. (1931). "Über formal unentscheidbare Sätze." Monatshefte Math. Phys., 38, 173–198.
- Lindemann, F. (1882). "Über die Zahl ." Math. Annalen, 20, 213–225.
- Khinchin, A. Ya. (1964). Continued Fractions. U. Chicago Press.
- Arnol'd, V. I. (1961). "Small denominators. I." Izvestiya AN SSSR, 25(1), 21–86.
Correspondence: i.am@timothysolomon.com
Developed through human reseach and perseverance AI-collaborative writing and code generation (2024–2026), with all mathematical claims verified by computation.