SearcharxivSearch

arXiv · 2609.26114

The Missing Zigzag: Cycles of Semitone Trichords and a Conservation Law in Equal Temperament

Abstract

A cycle of nine pitch classes in twelve-tone equal temperament can be arranged so that its nine consecutive three-note windows realize, exactly once each, every trichord type containing a semitone -- types taken up to transposition but not inversion. Such cycles exist in abundance, and generalize to n-tone equal temperament, where the windows realize the n-3 semitone-containing types. In every one of the 1764 such cycles in twelve-tone equal temperament, the chromatic trichord 012 appears scalarly, as a direct chromatic run, and never in a broken "zigzag" contour such as 1-0-2. Why is the zigzag missing? We show that the zigzag presentation behaves as a conserved topological charge of an underlying interval-flow network: it occurs if and only if 3 divides n and n is neither 6 nor 12. The forward obstruction is a Z/3-valued conservation law, proved for all n by a weight-function argument; the two exceptional temperaments -- one of them the common Western tuning -- are excluded by finite certificates; and existence for every other multiple of 3 follows from an explicit construction. We also quantify rarity, and give exact censuses well beyond the reach of direct search. The classification is machine verified in Lean 4 in both directions. The paper is written for two audiences. Musical sections require no more than pitch-class set vocabulary; the mathematical development is self-contained and elementary, yet fully rigorous.

Explore related subjects

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

David Victor Feldman. 2026-08-21. The Missing Zigzag: Cycles of Semitone Trichords and a Conservation Law in Equal Temperament. https://arxiv.org/abs/2609.26114

Cite the original work for its findings. Save a collection to share your selection of sources.

KEEP EXPLORING

Related papers

Geometric Duality Between Constraints and Gauge Fields: Mirror Realization and Reduction Geometry on Principal Bundles

A connection and a nonzero parallel adjoint field determine an invariant hyperplane constraint on a principal bundle. Its sign mirror preserves the hyperplane and reverses its coorientation; global gauge realization is controlled by a twisted stabilizer reduction. For regular fields we identify the normalizing gauge extension as a pushout of the torus-normalizer extension, giving exact lift orders and simultaneous-splitting criteria. In singular rank-two block families, reductions on a fixed trivial bundle form an affine second-Chern lattice whose Weyl stabilizers and finite-order lift spectra detect topology invisible to paired curvature. The reduction framework also determines the structure group and second cohomology of the matched-flag diagonalization space of Friedman and Park, and gives a first- and second-Chern criterion for normal matrices with fixed separated spectrum on four-complexes; every integral solution of their three-eigenline equation on $S^2\times S^2$ is realized. For moving reductions, the projected circle curvature differs from the ambient paired curvature by a covariant-derivative term. Full fatness on a closed four-manifold forces a nontrivial sign-mirror obstruction for every circle reduction; hyperbolic self-dual-form bundles also provide circle reductions in the $y$-fat setting of Florit and Ziller. Contact transgression, bundle automorphism twists, and the natural first-jet Spencer operator complete the geometric picture.

math.GM

Ramanujan-Type Series of Signature 2: Analytical Evaluation via Degree-2 Transformations and Associated Harmonic Expansions

We provide an explicit analytical evaluation of the known rational Ramanujan-type series for the theory of signature 2. Focusing on the singular moduli $k_r$ for $r \in \{2, 3, 4, 7\}$, we demonstrate that the underlying elliptic identities can be established through modular transformations of degree 2. In particular, we showcase a family of rational harmonic Ramanujan-type series for $1/π$ involving higher-degree polynomials

math.GM