Zariski

Polynomial recurrences, algebraic varieties, non-Boolean pattern lattice
topologicaldim algebraic variety6 metrics

What It Measures

Whether the signal lives on an algebraic variety — a surface defined by polynomial equations.

Delay-embeds the signal and tests whether the resulting point cloud lies near the zero set of a low-degree polynomial. In algebraic geometry, the Zariski topology's closed sets are exactly these zero sets, making the topology non-Hausdorff (most pairs of points can't be separated by open sets). This geometry also measures the signal's pattern lattice: does it obey Boolean logic (classical), or does it deviate toward a Heyting algebra (intuitionistic)?

Metrics

heyting_gap

How far is the signal's pattern lattice from Boolean? 1.0 means maximally non-Boolean: the law of excluded middle fails for many pattern pairs. Forest fire scores 1.0 — its intermittent dynamics create pattern relationships that violate classical logic (a pattern can be "neither always present nor always absent" in a meaningful sense). Logistic period-3 (0.90) and period-5 (0.78) are high too: their windows of periodicity within chaos create ambiguous pattern membership. Logistic full chaos and Rössler score 0.0 — fully chaotic systems are "Boolean" because every pattern either appears or doesn't, with no intermediate states.

nonsep_fraction

What fraction of point pairs are non-separable in the Zariski topology? Collatz gap lengths score 0.9995 (almost all pairs are non-separable — the data lies almost exactly on an algebraic variety). Rainfall scores 0.96 (its exponential-like distribution creates a low-dimensional algebraic structure). Wichmann-Hill (0.007) is nearly zero — good PRNGs fill delay space uniformly, avoiding any algebraic surface.

algebraic_residual

How well does a low-degree polynomial fit the delay-embedded cloud? Dice rolls (0.064) have the highest residual — the data is maximally far from any algebraic variety. Constants score 0.0 (trivially on a variety: the point {(c,c,c,...)}). This is the "anti-algebraic" metric: high values mean the signal has no polynomial recurrence relation.

residual_slope

Slope of log-residual vs polynomial degree. Sawtooth (-5.21) and L-System Dragon (-4.40) have the steepest negative slopes — residuals drop rapidly with degree, meaning a low-degree polynomial captures the structure. Constants score ~0 (no slope to measure). Strongly negative slopes indicate algebraic recurrence relations; near-zero slopes mean the data resists polynomial fitting at all degrees.

residual_convexity

Second derivative (curvature) of the log-residual curve across degrees 1-4. Collatz Parity (14.5), Rule 30 (14.4), and Symbolic Lorenz (14.3) score highest — their residual curves have strong convexity, meaning the rate of improvement accelerates at higher degrees. Rössler and constants score 0.0. High convexity signals that the data has algebraic structure at a specific degree that lower degrees miss.

heyting_stability

Consistency of the heyting_gap across non-overlapping data segments. Logistic period-3 (90.5) scores highest among non-degenerate sources — its intermittent dynamics produce consistently non-Boolean pattern structure throughout the signal. Rössler and logistic period-2 score 0.0 (their heyting_gap is either always zero or varies chaotically between segments). High stability means the non-Hausdorff property is a genuine structural feature, not a statistical fluctuation.

Atlas Rankings

algebraic_residual
SourceDomainValue
Moebius Functionnumber_theory0.0716
Partition Functionnumber_theory0.0687
Dice Rollsexotic0.0640
···
Pell Wordexotic0.0000
Logistic r=3.2 (Period-2)chaos0.0000
Collatz Paritynumber_theory0.0000
heyting_gap
SourceDomainValue
Forest Fireexotic1.0000
Pell Wordexotic0.9048
Logistic r=3.83 (Period-3 Window)chaos0.9048
···
Prime Gapsnumber_theory0.0000
Rossler Attractorchaos0.0000
Gzip (level 1)binary0.0000
heyting_stability
SourceDomainValue
Tribonacci Wordexotic1.0000
Pell Wordexotic1.0000
Fibonacci Wordexotic1.0000
···
Lorenz Attractorchaos0.0000
Rossler Attractorchaos0.0000
Sawtooth Wavewaveform0.0000
nonsep_fraction
SourceDomainValue
Mian-Chowlanumber_theory0.9821
Aubry-André Criticalquantum0.9767
Rainfall (ORD Hourly)climate0.9601
···
Arnold Cat Mapchaos0.0065
√2 Digitsnumber_theory0.0065
Euler-Mascheroni γ Digitsnumber_theory0.0066
residual_convexity
SourceDomainValue
Pell Wordexotic14.5042
Collatz Paritynumber_theory14.4790
Prime Indicatornumber_theory14.4375
···
Rossler Attractorchaos0.0000
Gzip (level 1)binary0.0000
Gzip (level 9)binary0.0000
residual_slope
SourceDomainValue
Logistic r=3.2 (Period-2)chaos-0.0406
Human Proteomebio-0.6883
Dice Rollsexotic-0.6995
···
Moebius Functionnumber_theory-5.7252
Padovan Wordexotic-5.6885
Bernoulli Shiftchaos-5.5469

When It Lights Up

Zariski's heyting_gap (CV=1.76) is the framework's most variable metric across sources. It detects a specific structural property — intermittency — that other geometries approximate but don't directly measure. The forest fire / logistic period-3 cluster at the top of the heyting_gap ranking corresponds to "intermittent chaos": systems that switch between qualitatively different dynamical regimes. In investigations, heyting_gap discriminated between normal and abnormal ECG with moderate effect size, because cardiac arrhythmias are fundamentally intermittent.

Open in Atlas
← SpirographCayley →