dynsys_correlation_dimension — MATH dynsys op

• Datenarten: points → measurement

• Aufruf: import fullseye as fs; fs.ledger.dynsys_correlation_dimension(points, n_radii=24, r_lo=None, r_hi=None, max_points=4000, seed=0) (die Implementierung direkt: import mathops; mathops.dynsys_correlation_dimension(points, n_radii=24, r_lo=None, r_hi=None, max_points=4000, seed=0); aus dem Register: opsmath.get("dynsys_correlation_dimension"))

Verwendung

Grassberger-Procaccia-Korrelationsdimension — die Steigung von `log C(r)`.

> Die ausführliche Beschreibung unten ist der Originaltext — Zusammenfassung und Überschriften sind übersetzt.

`C(r) is the fraction of point pairs closer than r`; for a self-similar

set it grows like `r**D`, and *D* is read off the straight part of the

log-log plot (fitted on the middle 60 % of the radii, where the curve is free

of the small-`r noise floor and the large-r` saturation).

★Why this earns its place: unlike box counting it needs no grid, and its

answers are known for simple sets — a circle gives 1, a filled square

2, a Cantor set `log2/log3 = 0.6309`. It measures a different quantity

from the existing `fractal_dimension` (box counting), so the two are an

independent pair rather than two names for one number.

Returns a `measurement`: the fitted dimension.

Raises `ValueError`: fewer than 32 points; not a 2-D array; non-finite

input; a degenerate cloud (every point identical); a radius range that leaves

no pairs.

Limits: sub-sampled to *max_points* (pairs grow quadratically). ★The

dominant error is not the sub-sampling but the radius window: the

default range is the 1st-25th percentile of pair distances, and on a *bounded*

set its upper end runs into the boundary, where `C(r)` saturates and flattens

the slope. Measured on a unit square (true D = 2): 1.879 with the default

window and 1.873 / 1.879 / 1.871 at 400 / 1,500 / 3,000 points —— more points

do not help; narrowing the window to `r_lo=0.01, r_hi=0.1` gives 1.947

and `0.002 / 0.05` gives 2.050. Pass *r_lo* / *r_hi* explicitly when the

answer matters, and report the window with the number.

Familienweiter Eingabevertrag (fail-closed)

Jeder mathops-Operator prüft seine Eingabe vor der Berechnung (nichts rutscht stillschweigend durch):

• **Komplexe Eingaben lösen ValueError aus** — die Umwandlung nach float64 verwirft den Imaginärteil stillschweigend (numpy meldet nur eine ComplexWarning und liefert eine plausibel aussehende, falsche reelle Zahl). Schreiben Sie .real/.imag/abs() explizit oder nutzen Sie complexops.

• **Masked Arrays mit maskierten Elementen lösen ValueError aus** — die implizite Umwandlung, die die Maske abstreift und die Rohwerte darunter verwendet, wird abgelehnt. Geben Sie explizit an, ob gefüllt oder verworfen wird.

• **NaN/Inf löst bei jeder Eingabe ValueError aus** (mit Anzahl abgelehnt — es pflanzt sich durch das gesamte Ergebnis fort).

• Formen sind strikt: 1-D und 2-D werden nie implizit hochgestuft oder gebroadcastet (eine Matrix im Vektor-Slot oder ein Vektor im Matrix-Slot löst ValueError aus; reshapen Sie explizit).

• Größenobergrenze: Operatoren, die eine Matrix nehmen, sowie die stat_histogram-Bins lösen jenseits von mathops.MAX_ELEMENTS (2^26 ≈ 67 Mio. Elemente) ValueError aus.

Ausführlicher Anwendungsleitfaden

• Leitfaden zur Familie math_metrology

Referenzen (Beispieldaten, Literatur)

• Katalog der Beispieldaten (Download-URLs / Lizenzen) — 2-D nutzt skimage.data (BSD/Public Domain) plus synthetische Bilder, 3-D nennt Download-URLs echter Datenquellen (Stanford, PDS, …).

• Herkunft und Literatur der Operatoren — die Quellen der Forschung/Verfahren, auf denen diese Operatorfamilie beruht.

• Der kanonische Algorithmus (Autor, Jahr) und seine Anwendungen stehen im Familienleitfaden oben.

Ausführbare Beispiele (verifizierte Samples, die diesen Operator wirklich aufrufen)

• poc_what_a_picture_cannot_check — py -3.11 examples/poc_what_a_picture_cannot_check.py

Typkompatible Folge-Operatoren (nehmen measurement als Eingabe)

—

Gleiche Kategorie (dynsys)

ode_flow_states · ode_vector_field_grid · dynsys_poincare_section · dynsys_lyapunov_spectrum · dynsys_bifurcation_map


*Provenance: mathops.py — MATH Operator-Registry. Diese Notiz wird von tools/opdocs.py md erzeugt (nicht von Hand bearbeiten).*

© 2026 Kazufumi Furuse — Fullseye operator documentation. Licensed under Apache-2.0.