Book 3 · The Mini-Beast · Part I · Biology · Chapter 6b
BIOLOGY · SYSTEMS

Cardiac

Version — Book 3 v2 (web, dated 2026-10-25). This page is the live web edition, part of Book 3 version 2, to be deposited on Zenodo at the March 2027 equinox. Added since version 1: assumed and derived steps relabelled, an exact check of the full two-variable field (the −2μ exponent is an approximation), and a corrected count of kernel-checked declarations. Version 1, as taught and deposited: 10.5281/zenodo.22947908.
The Operator Chain in Heart Rhythm — the sinoatrial node as a dm³ system
Editorial note — recovered chapter This chapter was written but never given its own page: the file ch6-resonance.html was taken by the acoustic resonance chapter (Cymatics, the Hypogeum, Schumann), and the cardiac material — sharing the word “resonance” in its working title — was left inside the monolithic vol3-minibeast.html. It is restored here as Chapter 6b, with acoustic Resonance kept as 6a. Content is reconstructed faithfully from the surviving text; nothing has been added to the claims.

The cardiac pacemaker — the sinoatrial (SA) node — is one of the cleanest biological realizations of a dm³ system. The limit cycle is the sinus rhythm; the contact variable $z$ is autonomic balance (the sympathovagal ratio); and the embodiment threshold $\tau = 2$ is proposed as the heart-rate-variability ratio at which decompensation becomes likely (no cohort data here, and no definition of the ratio is fixed in this chapter).

The SA node as an operator chain

The same generative chain that runs through the rest of Book 3 — $G = U \circ F \circ K \circ C$ — instantiates here in the heart. The pacemaker current drives a stable oscillation; autonomic input (sympathetic and parasympathetic tone) sets the working point; and the fold operator $F$ governs the transition from a healthy, variable rhythm to a rigid or chaotic one. In the model’s three-dimensional contact phase space the sinus node’s firing pattern is the attractor $\Gamma$, and heart-rate variability is its stochastic extension.

$$\text{limit cycle}=\text{sinus rhythm},\qquad z=\frac{\text{sympathetic}}{\text{vagal}}\ \text{tone},\qquad \tau=2\ \text{(HRV decompensation threshold)}.$$

Parameters

The chapter carries the same invariant triple $(T^\ast,\ \mu_{\max},\ \tau)$ that every other Book 3 system does, in the cardiac medium:

QuantityValueMeaning
$\mu_{\max}$≈ −0.29Stated stability margin of the sinus limit cycle (unsourced; no data or fit here). In the reduced model below the radial exponent at the cycle is $-2\mu_H$ for Hopf parameter $\mu_H$ (to leading order in $\mu_H/\lambda$), so $-0.29$ would mean $\mu_H\approx0.145$ — a consequence of the model, not a measurement
$\omega$≈ 1.0 HzPacemaker frequency (≈ 60 bpm resting)
$\tau$2Embodiment / decompensation threshold — the shared invariant across all seven Book 3 systems

The recurrence of $\tau = 2$ — the same value found in tubulin, neural, immune and the other instantiations — is the point of the framework: a common threshold rather than a per-system fit. In this chapter it is an assigned value, not measured or derived, and the same number appearing in several chapters is a shared functional form, not evidence of a shared invariant.

Falsifiable Prediction 3

Prediction — cardiac decompensation

For patients with autonomic dysregulation, the dm³ framework predicts that the stochastic criterion $\sigma/\tau > 1$ will precede clinical decompensation by a computable lead time — i.e. the variability of the sympathovagal drive crossing the embodiment threshold is an early warning, ahead of overt failure. The criterion is testable against prospective HRV cohort data.

This is stated as a prediction, not a validated result. It is falsifiable in the strict sense — a cohort in which $\sigma/\tau > 1$ carries no predictive lead over clinical decompensation would refute it.

Rigorous center-manifold reduction

The reading above tracked one oscillatory mode and set the others aside. That is only legitimate if the neglected modes are genuinely slaved to the oscillation — which is exactly what the center-manifold theorem provides, and, done carefully, it is what makes the rhythm stable.

Near the Hopf point where the sinus rhythm is born, write the dynamics in coordinates where $(x,y)$ span the oscillatory center pair (eigenvalues $\mu\pm i\omega$) and $u$ is a fast stable relaxation mode (eigenvalue $-\lambda$, $\lambda>0$) — one of the “neglected” autonomic modes. A representative dm³ field with quadratic center–stable coupling is

$$\dot x=\mu x-\omega y-xu,\qquad \dot y=\omega x+\mu y-yu,\qquad \dot u=-\lambda u+(x^2+y^2).$$

The center-manifold theorem gives a locally invariant, attracting manifold $u=h(x,y)$ tangent to the center eigenspace. Solving the invariance equation to leading order (verified symbolically) gives

$$u=h(x,y)=\frac{x^2+y^2}{\lambda}+O(4).$$

The neglected mode is not zero — it is slaved to the oscillation’s power. Substituting it back yields the reduced normal form, in polar coordinates,

$$\dot r=\mu r-\frac{r^3}{\lambda},\qquad \dot\theta=\omega.$$

This is a supercritical Hopf bifurcation: the first Lyapunov coefficient $-1/\lambda<0$, so there is a stable limit cycle of amplitude $r^\ast=\sqrt{\lambda\mu}$ — the sinus rhythm. The bare one-mode ansatz, which sets $u=0$, gives $\dot r=\mu r$: no saturation, amplitude running away for $\mu>0$. It misses the limit cycle entirely. The rigor is not decoration — the slaved mode is precisely what saturates and stabilizes the healthy rhythm.

Exact check (added in audit) For the full three-variable field the cycle can be found with no center-manifold approximation: setting $\dot r=0$ gives $u=\mu$, and $\dot u=0$ then gives $r^2=\lambda\mu$ exactly. Linearising in $(r,u)$ at that point gives $s^2+\lambda s+2\lambda\mu=0$, so the radial exponents are $s=\tfrac12\big(-\lambda\pm\sqrt{\lambda^2-8\lambda\mu}\big)$. For small $\mu/\lambda$ the slow one is $\approx-2\mu$ (the value the Lean file proves for the reduced 1-D field), but it is not exactly $-2\mu$ for the full field, and for $\mu>\lambda/8$ the pair is complex. Likewise $u=(x^2+y^2)/\lambda$ is the leading-order slaved value as $\mu\to0$. Checked symbolically in ch6b-audit-verify.py.
What this settles

The single-mode picture is now the leading-order reduction on the center manifold, not an assumption. For the SA node specifically, decompensation ($\tau = 2$) becomes a statement about the sign of the first Lyapunov coefficient — computable once the explicit autonomic vector field, and hence its Jacobian, is fixed.

Status — what is and is not established

Following the same axiom/sorry ledger convention as the rest of the series, here is the honest accounting for this chapter:

StatementStatusNotes
One-mode limit-cycle model of the SA nodeassumed (model)The operator chain is posited to reduce to a single oscillatory mode with sinus rhythm as the attractor $\Gamma$; nothing derives this from SA-node physiology (ion-channel kinetics) here
$\tau = 2$ as the HRV decompensation thresholdproposedSame value assigned in other Book 3 chapters (shared form, not a shared invariant); motivated, not clinically validated here; $\sigma$ and the ratio $\sigma/\tau$ are not defined from data
Rigorous center-manifold reductionderived for the toy field onlyCenter-manifold theorem applied to the stated three-variable field (not to an SA-node model); the stable mode is slaved as $u=(x^2+y^2)/\lambda$ and the reduced normal form $\dot r=\mu r-r^3/\lambda$ follows (verified symbolically). Coefficient signs for the explicit SA-node field remain to be read off its Jacobian
Lean / AXLE formalizationauditedAlgebraic core in CardiacHopfReduction.lean — reduced radial identity, limit-cycle amplitude $r^2=L\mu$, one-mode contrast, and radial_deriv_at_cycle (derivative of the reduced radial field at the cycle is $-2\mu$). supercritical is only $-1/L<0$ and mentions no vector field (its own docstring says so); the substantive statement is radial_deriv_at_cycle. Kernel-checked 2026-09-12 under the v4.32.0 pin — five declarations, all on [propext, Classical.choice, Quot.sound], report in tools/verify-audit/2026-09-12/. Center-manifold existence invoked, not formalized
Clinical validation of Prediction 3not doneRequires a prospective HRV cohort; the $\sigma/\tau>1$ criterion is falsifiable but untested in this chapter

What this does and does not show

It shows that the cardiac pacemaker fits the same operator-chain grammar as the rest of Book 3, with a clean physiological reading for every term and a single falsifiable clinical prediction. It does not show a proved center-manifold reduction, a machine-checked formalization, or any clinical validation — those are named above as open, not glossed. The chapter’s value is the mapping and the prediction it exposes to test, held to the same standard as everything else in the Mini-Beast.

Note. This is a theoretical modeling chapter, not medical guidance. The decompensation criterion is a research prediction awaiting prospective validation. Recovered and set as Chapter 6b from content in vol3-minibeast.html. Principia Orthogona · Book 3 · Pablo Nogueira Grossi · G6 LLC · Newark NJ · 2026 · ORCID 0009-0000-6496-2186 · CC BY-NC-ND 4.0.
← Chapter 6a · Resonance Chapter 7 · Topological Orthogenesis →
Proved · kernel-checked
supercritical CardiacHopfReduction.lean:56 Each name above is declared in this repository at the line shown and appears in an axiom report with no sorryAx. A clean axiom report is not a reading of the statement: per R20, a theorem can assume its conclusion and still report clean. Follow the link before citing one as evidence.