GAMUT Standing on the shoulders of giants
Foundations
GAMUT is not starting from scratch. It is a synthesis that becomes possible only because of decades of independent work in pitch-class set theory, Fourier analysis, geometric music theory, and symplectic mechanics. This page maps the intellectual lineages the project draws from — and then states clearly what the new contribution is.
Intellectual lineages
What GAMUT inherits
Allen Forte & John Rahn
Pitch-class set theory and nomenclature
The 4,095 nonempty subsets of the chromatic universe form 223 transposition/inversion classes (224 classes when the empty set is included) — the periodic table of pitch-class content. Rahn formalized the underlying operations and equivalence relations. GAMUT inherits this entire base-layer vocabulary: every node in the interactive explorer, every row in the fiber tables, carries a Forte number.
Forte, The Structure of Atonal Music (1973). Rahn, Basic Atonal Theory (1980).
Andrew Duncan
Cyclic autocorrelation as content fingerprint
Duncan's insight is that the cyclic autocorrelation of a pitch-class set — how the set overlaps with shifted copies of itself — is the natural translation-invariant descriptor of interval content. Its Fourier transform gives the content power spectrum. Individual squared mode magnitudes are proportional to coordinate-circle moment maps; the transposition circle uses a weighted sum. Autocorrelation is not itself that scalar moment map.
Duncan, "Combinatorial Music Theory," JAES 39, no. 6 (1991): 427–448.
Nicolas Slonimsky
Ordered interval cycles and the Thesaurus
Slonimsky catalogued melodic patterns by interval-cycle structure and interpolation — not by pitch-class membership but by the way one moves through a collection. GAMUT studies periodic gap words through Fourier support: equal-step gap words are DC-only, and a shift period constrains support to a specified annihilator subgroup. This is a mathematical connection, not an exhaustive classification of the Thesaurus; arbitrary sparse support is insufficient.
Slonimsky, Thesaurus of Scales and Melodic Patterns (1947).
Ian Quinn, Emmanuel Amiot, Jason Yust
Fourier analysis in music theory
Quinn's DFT-based framework for general equal-tempered harmony, Amiot's systematic treatment of Fourier space in music theory, Yust's applications to rhythm and tonality, and the Yust–Amiot investigation of non-spectral transposition-invariant information together provide the Fourier vocabulary that GAMUT lifts into symplectic coordinates.
Quinn, "General Equal-Tempered Harmony," PNM 44 (2006). Amiot, Music Through Fourier Space (2016). Yust, Organized Time (2018).
Dmitri Tymoczko & Callender–Quinn–Tymoczko
Geometric and orbifold chord spaces
Tymoczko demonstrated that the geometry of musical chords is nontrivial, and Callender–Quinn–Tymoczko showed that musically natural quotient operations produce orbifold-like stratified geometries rather than single smooth manifolds. GAMUT's insistence that the total object is stratified by cardinality — not forced into a single manifold — is directly motivated by their work.
Tymoczko, "The Geometry of Musical Chords," Science 313 (2006). CQT, "Generalized Voice-Leading Spaces," Science 320 (2008). Tymoczko, A Geometry of Music (2011).
Art Samplaski, Bigo et al., Coifman–Lafon
Embeddings and visualization
Samplaski's multidimensional scaling of pitch-class-set similarity, Bigo and collaborators' simplicial chord spaces, and Coifman–Lafon's diffusion maps provide the rendering toolkit. GAMUT separates these as controlled projections of an exact higher-dimensional object — the visualization is not the model; it is a shadow of it.
Samplaski, "Mapping the Geometries…," MTO 11 (2005). Bigo et al., CMJ 39 (2015). Coifman & Lafon, "Diffusion Maps," ACHA 21 (2006).
V. I. Arnold & McDuff–Salamon
Symplectic geometry and Hamiltonian mechanics
The standard machinery of action-angle coordinates, Marsden–Weinstein reduction, and anti-symplectic involutions provides the mathematical chassis for the thickened space. GAMUT does not invent new symplectic geometry — it identifies the Fourier coordinates in which the existing theory applies cleanly to musical data.
Arnold, Mathematical Methods of Classical Mechanics, 2nd ed. (1989). McDuff & Salamon, Introduction to Symplectic Topology, 3rd ed. (2017).
The novel synthesis
What GAMUT contributes
None of the individual ingredients above — autocorrelation, gap words, Fourier lifts, symplectic forms — is new in isolation. The contribution is the observation that, a discrete content/order model can be embedded in Fourier coordinates and extended by a chosen weighted exact symplectic structure. Specifically:
- The layered architecture. Content (what pitch classes are present) and order (how they are sequenced) are separated before any continuous embedding. The base layer carries content; the fiber above each content class carries rooted cyclic orderings.
- The dual Fourier lift. Both the content indicator and the order signal are lifted into their respective Fourier coordinates, yielding complex content modes Xj and order modes Yℓ.
- A standard exact symplectic form in the chosen Fourier coordinates. The ambient space ℂn−1 × ℂk carries a direct-sum symplectic form chosen with positive weights in the spectral coordinates. This extra structure is not forced by the discrete embedding.
- Hamiltonian symmetries. Discrete pitch transposition and cyclic reindexing extend to Hamiltonian circle actions (phase rotations preserving the form); inversion conjugates content modes and conjugates order modes with order-mode index reversal — anti-symplectically for the stipulated weights.
- Symplectic vector fibers. After thickening, finite permutation fibers embed as finite subsets of symplectic vector fibers in a trivial complex vector bundle, with the symplectic form splitting as a product.
- Cardinality-graded structure. The total space is not fixed-dimensional. It is a disjoint union of cardinality strata with different fiber dimensions — a cardinality-graded symplectic family, with orbifold strata appearing after reduction and finite quotienting.
- Representation boundaries. A labeled metric determines its all-pairs distance multiset and automorphism group; that group does not reconstruct the metric. A traversal's step multiset is different from its all-pairs multiset. Directed modular gaps with a root reconstruct a pattern under closure and distinctness conditions. The directed autocorrelation and squared content Fourier magnitudes determine each other, but need not determine the content set. Homometry is equality of autocorrelation; Z-relatedness also excludes transposition/inversion equivalence. The explorer's node-size statistic counts preserving transpositions. RMCP supplies redundant encodings and implementation checks, not a generic inverse to these information losses.
- A clear epistemic boundary. The kinematics — the form, the symmetries, the conditional reduction — are derived in the revised manuscript. The Lean release checks selected discrete results, not this higher geometry. Musically motivated dynamics (Hamiltonians that model compositional preference or voice-leading cost) remain deliberately open and aspirational.
Directed autocorrelation has an exact Fourier correspondence. Periodic gap words have support in a specified annihilator subgroup. Full complex order coordinates reconstruct the discrete seed, which embeds in the chosen ambient symplectic space. Its cardinality components have no cross-component attachment topology. After transposition reduction, cyclic seed stabilizers equal gap-period symmetries; unreduced freeness does not imply reduced freeness. Numerical projections, musical utility and self-teaching interpretations require separate validation.