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
Dice Rollsexotic0.0639
macOS Mach-O (dyld)binary0.0614
Beta Noisenoise0.0585
···
Constant 0x00noise0.0000
Constant 0xFFnoise0.0000
Collatz Paritynumber_theory0.0000
heyting_gap
SourceDomainValue
Constant 0x00noise1.0000
Forest Fireexotic1.0000
Logistic r=3.83 (Period-3 Window)chaos0.9048
···
Prime Gapsnumber_theory0.0000
Rossler Attractorchaos0.0000
White Noisenoise0.0000
heyting_stability
SourceDomainValue
Constant 0x00noise100.0000
Logistic r=3.83 (Period-3 Window)chaos90.4762
Logistic r=3.74 (Period-5 Window)chaos77.6190
···
Rossler Attractorchaos0.0000
Logistic r=3.2 (Period-2)chaos0.0000
Logistic Edge-of-Chaoschaos0.0000
nonsep_fraction
SourceDomainValue
Constant 0x00noise1.0000
Collatz Gap Lengthsnumber_theory0.9995
Poisson Countsexotic0.9935
···
Wichmann-Hillbinary0.0065
XorShift32binary0.0065
Arnold Cat Mapchaos0.0067
residual_convexity
SourceDomainValue
Collatz Paritynumber_theory14.4790
Rule 30exotic14.3748
Symbolic Lorenzexotic14.2854
···
Rossler Attractorchaos0.0000
Constant 0xFFnoise0.0000
Pi Digitsnumber_theory0.0000
residual_slope
SourceDomainValue
Constant 0x00noise-0.0000
Logistic r=3.2 (Period-2)chaos-0.0528
Sprott-Bchaos-0.6902
···
Sawtooth Wavewaveform-5.2147
L-System (Dragon Curve)exotic-4.3993
Symbolic Lorenzexotic-4.3932

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
← Ordinal PartitionCayley →