Pith. sign in

REVIEW 4 major objections 6 minor 11 references

Dynamic computer music scores become readable when their moving fragments are modeled with topology and finite automata.

Reviewed by Pith at T0; open to challenge. T0 means a machine referee read the full paper against a public rubric. the ladder, T0–T4 →

Challenge this review Re-run · record.json Download PDF Read on arXiv ↗

T0 review · grok-4.5

2026-07-31 16:08 UTC pith:6EK7GPLR

load-bearing objection Elementary automata/set overlay on the authors’ Autopsias live-score practice; the readability claim is asserted, not measured. the 4 major comments →

arxiv 2607.28155 v1 pith:6EK7GPLR submitted 2026-07-30 cs.HC

A Mathematical Framework for Reading the Autopsias' Meta - Compositional System

Patricio F. Calatayud , Pablo Padilla Longoria , \'Alvaro Mart\'inez Ram\'irez This is my paper
classification cs.HC MSC 00A6568Q45
keywords dynamic musicographymathematicscomputer musictopologyfinite automatamusic notationreadabilitymeta-composition
verification ladder T0 review T1 audit T2 compute T3 formal T4 reserved

The pith

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

Computer-generated scores that move, animate, or reassemble themselves in real time share a chronic readability problem for performers. This paper takes the Autopsias meta-compositional system—live dissection and spatial reorganization of a printed score—as a case study and argues that basic topology and finite-automaton graphs can describe what stays invariant under those transformations. By treating chosen fragments as vertices and legal successions as edges, the authors distinguish an original left-to-right reading path from the freer paths of the rebuilt score, and claim that a geometrically torn score need not produce a torn performance. The point is to begin a mathematical orthography that lets composers and players share a common language for kinetic notation, analogous to the way pitch-class sets once organized pitch. A sympathetic reader cares because dynamic musicography is already in use yet still lacks shared reading rules; a workable formal account would turn improvisation conditioned by prior performance into a teachable, designable practice.

Core claim

Performances of Autopsias show that mathematics—topology together with finite-automaton schemes—can organize music information and its performance beyond pitch, revealing that a geometrically torn score does not imply a torn performance and that orthographic rules for dynamic musicography must therefore be enlarged.

What carries the argument

Finite-automaton graphs G = ⟨Ω, E⟩ whose vertices are chosen score fragments (morphemes) and whose edges encode which fragment may follow which; comparison of the original linear automaton G_orig with the rewired Autopsias automaton G_aut, together with the topological distinction between invariants and tears.

Load-bearing premise

Modeling relocated fragments as vertices of a finite automaton, and calling some changes ‘tears’ while others remain ‘invariants,’ is enough to explain or predict what musicians can actually read and play.

What would settle it

Record multiple Autopsias performances of the same source score; if the observed successions of fragments systematically violate the edges of G_aut, or if performers report no usable continuity between original and rebuilt versions despite the model predicting invariants, the central readability claim fails.

Watch this falsifier — get emailed when new claim-graph text bears on it.

If this is right

  • Composers of animated or algorithmically rewritten scores can design fragment graphs explicitly so performers know the legal paths in advance.
  • A new orthography for dynamic musicography becomes possible, treating spatial placement and succession rules as first-class notation elements.
  • Dialogue between composer and performer can shift from ad-hoc rehearsal negotiation to shared inspection of the automaton and its topological invariants.
  • Analysis of improvisation or comprovisation conditioned by prior performance gains a formal language comparable to pitch-class set theory.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

  • The same automaton-plus-topology lens could be applied to other real-time score systems (animated staves, generative lead sheets) without requiring the Autopsias workflow itself.
  • If performer intention overwrites the graph edges more often than the model allows, the framework may need an explicit layer for intentional ‘tearing’ rather than treating all deviations as noise.
  • Temporal gestural units mentioned as future work could turn the static vertices into timed objects, linking the graph model to existing phenomenological analyses of musical form.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit.

Referee Report

4 major / 6 minor

Summary. The paper argues that readability problems in dynamic (animated/algorithmic) musicography can be addressed by mathematical tools, taking the Autopsias meta-compositional system as case study. Autopsias transforms a performer-supplied score in real time by selecting and relocating fragments (morphemes). The authors introduce basic set/sequence notation for fragments S_i = ⟨t, p, d⟩, a transformed set A, and directed-graph/finite-automaton models G_orig vs G_aut of reading order (eqs. 1–11, Figs. 9–11). They claim topology (invariants vs ‘tears’) shows a torn score need not yield a torn performance, that mathematics analogous to pitch-class sets helps understand music information and performance, and that orthographic rules must be augmented to improve composer–performer dialogue.

Significance. If the framework delivered a usable readability metric, preserved invariants under the Autopsias map, or empirically linked path structure to performer behavior, it would be a genuine contribution to computer-music notation, HCI for scores, and the extension of mathematical music theory beyond pitch-class sets. The artistic documentation (videos, live Autopsias realizations) and the clear statement of the readability problem are strengths. As written, however, the formal content remains definitional restatement of fragment reordering; no theorems, invariants, complexity measures, or performer data are supplied. The significance is therefore prospective rather than demonstrated.

major comments (4)
  1. [§4.b, eqs. (9)–(10)] §§4.b–5 and eqs. (6)–(10): G_orig = ⟨{a,b,c,d},{X,Y,Z,U}⟩ | (abcd)* and G_aut = ⟨{a,b,c,d},{X,Y,Z,W,U}⟩ | (a(d)?cb)* merely encode that fragment order can change. No invariant is shown to be preserved by F_autopsia (eq. 11), no path-complexity or language-theoretic measure is defined, and no mapping from the automata to observed readability or performance outcomes is given. The leap from ‘we can draw two graphs’ to ‘mathematics addresses readability’ is therefore unsupported.
  2. [Introduction, §2] Introduction and §2 invoke topology (invariants vs tears) as the key tool that distinguishes a torn score from a non-torn performance, yet no topological space, continuous map, or concrete invariant is ever defined or computed on the score or on the performance. The claim remains metaphorical and does not underwrite the central readability argument.
  3. [Abstract / Main Contribution] Abstract, Aims, and Main Contribution assert that Autopsias performances ‘show’ mathematics helps understand music information/performance and necessitate new orthography. The manuscript contains only illustrative videos and informal description; there is no performer study, readability metric, baseline comparison, or systematic observation protocol. Without such evidence the contribution claim is not established.
  4. [§4.a–4.b, eq. (11)] Eq. (11) introduces an unspecified function F that may alter time, pitch and duration of each morpheme. The subsequent discussion never constrains F, never states what remains invariant under F, and never links changes in parameters to readability. The formal apparatus therefore cannot yet serve as a framework for orthographic rules.
minor comments (6)
  1. [Abstract] Abstract and throughout: ‘cynetic musicography’ is almost certainly a misspelling of ‘kinetic’; correct consistently.
  2. [§4.a] Eqs. (1)–(5) mix angle brackets, set braces and implication arrows with inconsistent spacing and undefined symbols (e.g., script I). Standardize notation and define every symbol at first use.
  3. [§4.b] Figures 9–11 are described but the actual automata diagrams are not reproduced with sufficient clarity in the text; ensure edge labels and accepting conditions are legible.
  4. [References] Several bibliographic entries lack page numbers or DOIs; Stroppa 1999 and Tenney & Polansky 1968 should be checked for completeness. ‘Wolfhart’ in the text is ‘Wohlfahrt’ in the references.
  5. Language is frequently non-idiomatic (‘a teared score’, ‘the mathematical systematization of the qualia of music’, ‘comprovisational’). A thorough copy-edit by a native speaker familiar with the field is needed.
  6. [§5, footnote 3] The term ‘morpheme’ is taken from Stroppa but later the authors note it should become ‘clang’ (Tenney); decide on one terminology and justify the choice.

Circularity Check

0 steps flagged

No circular derivation: automata and topology overlays restate fragment reordering without forcing the readability claim by construction.

full rationale

The paper’s formal chain (morpheme tuples S_i, set A ⊂ V, directed graphs G_orig and G_aut with regular expressions (abcd)* vs (a(d)?cb)*, and the map F_autopsia) is definitional description of the Autopsias process, not a prediction fitted from or defined in terms of the target readability outcome. No parameters are fit to data and then re-presented as forecasts; no uniqueness theorem or load-bearing lemma is imported from overlapping-author prior work; citations (Hopcroft & Ullman, Mazzola, Tymoczko, Aarseth, Tenney & Polansky) are external standard sources. Self-reference to Autopsias as the case study is ordinary for a system paper and does not close a derivation loop. The central claim that mathematics addresses dynamic-score readability and that orthography must be augmented is an unsupported leap from the diagrams, not a quantity that equals its inputs by construction. Weakness is thin assertion, not circularity. Steps list left empty per honest non-finding.

Axiom & Free-Parameter Ledger

0 free parameters · 5 axioms · 3 invented entities

The load-bearing content is mostly definitional modeling plus domain premises about what counts as readable performance under live score transformation. No fitted physical constants. Standard automata/set notation is borrowed; the paper’s own bridge is that these structures track performer-relevant identity under Autopsias re-layout—an assumption not independently evidenced here.

axioms (5)
  • domain assumption Finite automata / directed graphs adequately represent both conventional score reading order and Autopsias reading possibilities (eqs. 6–10, §4.b).
    Used as the performance scheme without showing that edge sets match cognitive or practical reading constraints.
  • domain assumption Topological notions of continuous deformation, invariants, and tears transfer usefully from shapes to musical scores and performances (Introduction; §2 question on tearing tonality/raga).
    Motivates the whole 'mathematical framework' but no topological invariant of a score is defined or computed.
  • ad hoc to paper A score fragment can be treated as a morpheme S_i = ⟨t, p, d⟩ and relocated via an unspecified map F while remaining a meaningful performance unit (eqs. 1, 11; §4.a).
    Parameterization and F are stipulated for Autopsias without rules that determine F or validate perceptual identity.
  • standard math Standard definitions of sets, sequences, directed graphs, and finite automata apply as in Hopcroft & Ullman (1979).
    Background formalism cited and used notationally.
  • domain assumption Identical (R=A) vs equivalent/improvisational (R≈A) outcomes exhaust the main performance regimes of Autopsias (§2).
    Frames what the math is supposed to organize; not derived from data.
invented entities (3)
  • Autopsias meta-compositional system independent evidence
    purpose: Case study: live computational dissection and pictorial re-layout of a performer’s score as dynamic musicography.
    Central object of analysis; described operationally via rehearsals, screen projection, and videos, not as a formal system with public spec.
  • Autopsias morpheme S_i = ⟨t, p, d⟩ and transformed set A no independent evidence
    purpose: Atomic units for writing-side formalization of dissected notation.
    Paper-specific packaging of score fragments; independent handle outside this text is unclear beyond ordinary notation fragments.
  • G_orig / G_aut reading automata for the same fragments no independent evidence
    purpose: Contrast linear original reading with expanded Autopsias path languages.
    Illustrative graphs (Figs. 9–11); not fitted to performance logs or shown unique.

pith-pipeline@v1.2.0-daily-grok45 · 14187 in / 3303 out tokens · 74068 ms · 2026-07-31T16:08:47.149352+00:00 · methodology

0 comments
read the original abstract

Background. New forms of music writing using computers have arisen in the past 20 years. Most of them use the capacities of digital manipulation of data like animation, algorithmic processing, cinematic view, and much more. These scores use dynamic musicography, and all of them share a problem. They have readability problems. We will argue that this problem can be addressed by mathematical tools. Aims. Take the Autopsias [Autopsies] meta-compositional system as a study case for starting the construction of a mathematical framework that can overview the readability for cynetic musicography. The Autopsias system is the process of transforming a musical score dynamically. Methodology. We will start to build a mathematical framework by taking a group of basic topological concepts, and applying them after a bridge between a printed score and a dynamic computational re-appropriation of it has taken place. We will observe the writing and the performing of the several performances of the Autopsias composition, and analyze them from a mathematical perspective, in order to get the ability to start constructing a new set of orthographical tools for the performance of dynamic musicography. Main Contribution. The performances of Autopsias show that mathematics, as with pitch-class sets, can be helpful for understanding music information, as well as its performance. Also show the necessity of augmenting the set of orthographic rules, in order to improve the dialog between composers and performers.

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Reference graph

Works this paper leans on

11 extracted references

  1. [1]

    Cybertext: perspectives on ergodic literature

    AARSETH, Espen J. Cybertext: perspectives on ergodic literature. Baltimore: JHU Press, 1997

    1997

  2. [2]

    Apuntes matemáticos para leer a Lacan: 1

    AMSTER, Pablo. Apuntes matemáticos para leer a Lacan: 1. Topología. Buenos Aires: Letra Viva, 2011

    2011

  3. [3]

    BACH, Johann Sebastian. 5. Double, from Suite in C Minor (trans. to a minor). For lute. New York: Ariel Publications, 1980. [printed music]

    1980

  4. [4]

    BROUWER, Leo. 4. Tristes hombres si no mueren de amores, from Estudios epigramáticos. For solo guitar; Tranquillo; Vivace; Tempo primo; Vivace; Tempo primo.EMT 1812, 1987. [printed music]

    1987

  5. [5]

    Introduction to Automata Theory, Languages, and Computation (1st ed.)

    HOPCROFT, John, & ULLMAN, Jeffrey. Introduction to Automata Theory, Languages, and Computation (1st ed.) . Reading Mass: Addison-Wesley. ISBN 978-0-201-02988-8, 1979

    1979

  6. [6]

    The topos of music: Geometric Logic of Concepts, Theory, and Performance

    MAZZOLA, Guerino. The topos of music: Geometric Logic of Concepts, Theory, and Performance. New York: Springer-Birkhaüser, 2012

    2012

  7. [7]

    Live electronics or

    STROPPA, Marco. Live electronics or... live music? towards a critique of interaction. Contemporary Music Review, 18(3):41–77, 1999

    1999

  8. [8]

    Meta Hodos a Phenomenology of 20th Century Musical Materials and an Approach to the Study of Form; and Meta Meta+ Hodos

    TENNEY, James, & POLANSKY, Larry. Meta Hodos a Phenomenology of 20th Century Musical Materials and an Approach to the Study of Form; and Meta Meta+ Hodos. Oakland: Frog Peak, 1968

    1968

  9. [9]

    Pequeños tratados

    QUIGNARD, Pascal. Pequeños tratados. Barcelona: Seix Barral, 2016

    2016

  10. [10]

    Studie no

    WOHLFAHRT, Franz. Studie no. 23, from Sixty Studies for the violin, op. 45. For violin solo; Moderato. 17549. New York: Schirmer, 1905. [printed music] 12

    1905

  11. [11]

    ZGRAJA, Kristof. 1. Improvvisando – Flamenco – a piacere, from 3 virtuoso Flamenco Studies. For solo flute. Pp. 2–5; Maestoso, cantabile. ED 8425, 1996. [printed music] 13

    1996