pith. machine review for the scientific record. sign in

arxiv: 2601.15179 · v3 · submitted 2026-01-21 · 🧮 math.HO

Recognition: 3 theorem links

· Lean Theorem

Role of (periodic as well as aperiodic) tessellations in contemporary composition. The cases of Tesselles sonores and Le Chapeau \`a douze cornes by Marisa Acu\~na

Maria Luisa Acu\~na Fuentes , \'Edouard Thomas
Authors on Pith no claims yet

Pith reviewed 2026-05-16 12:38 UTC · model grok-4.3

classification 🧮 math.HO
keywords tessellationsaperiodic monotilescontemporary compositionmicrotonal intervalsHat tileMarisa Acuñaplane tilingsmusical structures
0
0 comments X

The pith

Constructions of the aperiodic Hat from elementary polygons enable mapping geometric tilings to microtonal musical intervals.

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

This paper explores the role of both periodic and aperiodic tessellations in contemporary music composition through two specific works by Marisa Acuña. It positions the recent discovery of aperiodic monotiles, including the Hat, as opening new compositional avenues beyond earlier uses of visual tilings in music. The central argument focuses on how building the Hat from simple geometric polygons supports direct transformations of those structures into sound, illustrated by microtonal interval mappings in Le Chapeau à douze cornes. A sympathetic reader would care because this suggests geometry can supply concrete, non-arbitrary rules for generating complex, non-repeating musical forms.

Core claim

Constructions of the Hat from elementary geometric polygons provide a different perspective, for example through the sound transformation of microtonal intervals, as seen in Marisa Acuña's piece Le Chapeau à douze cornes.

What carries the argument

The Hat aperiodic monotile constructed from elementary geometric polygons, which carries the mapping from visual tiling properties to audible musical structures.

Load-bearing premise

The geometric properties of aperiodic tilings translate directly into audible musical structures without significant loss or arbitrary choice in the mapping.

What would settle it

If listeners cannot perceptually distinguish music derived from the Hat's aperiodic constructions from music based on periodic tilings or random interval choices, the claim of meaningful translation fails.

read the original abstract

The recent discovery of a family of aperiodic monotiles, which includes David Smith's famous Hat, has shaken the field of plane tessellations. Music composers have already utilised the visual representation of plane tilings in their artwork (Tom Johnson through his use of Vuza's canons, talea and color in isorhythmic motets...). Constructions of the Hat from elementary geometric polygons provide a different perspective, for example through the sound transformation of microtonal intervals, as seen in Marisa Acu\~na's piece Le Chapeau \`a douze cornes.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Referee Report

1 major / 0 minor

Summary. The manuscript examines the role of periodic and aperiodic tessellations in contemporary music, highlighting the recent discovery of the Hat monotile family. It argues that constructions of the Hat from elementary polygons offer a new perspective on composition, illustrated through sound transformations of microtonal intervals in Marisa Acuña's works Tesselles sonores and Le Chapeau à douze cornes, building on earlier uses of tilings by composers such as Tom Johnson.

Significance. If a reproducible, structure-preserving mapping from tiling geometry to audible parameters were supplied, the paper could strengthen interdisciplinary links between aperiodic monotiles and music by furnishing concrete compositional examples. In its present form the contribution remains primarily descriptive, with limited impact on either the mathematics of tilings or the theory of mathematical music.

major comments (1)
  1. Abstract and the section discussing Le Chapeau à douze cornes: the central claim that Hat constructions supply a perspective 'through the sound transformation of microtonal intervals' is unsupported because no explicit mapping function, rule set, or derivation is given that relates geometric features (edge lengths, vertex angles, or matching rules) to musical parameters such as frequency ratios or durations. The link therefore rests on visual analogy or composer intent rather than a verifiable translation.

Simulated Author's Rebuttal

1 responses · 0 unresolved

We thank the referee for their constructive comments. We address the concern about the lack of an explicit mapping between the Hat geometry and musical parameters by clarifying the conceptual nature of the link in our manuscript.

read point-by-point responses

  1. Referee: Abstract and the section discussing Le Chapeau à douze cornes: the central claim that Hat constructions supply a perspective 'through the sound transformation of microtonal intervals' is unsupported because no explicit mapping function, rule set, or derivation is given that relates geometric features (edge lengths, vertex angles, or matching rules) to musical parameters such as frequency ratios or durations. The link therefore rests on visual analogy or composer intent rather than a verifiable translation.

    Authors: The manuscript does not intend to propose a formal, reproducible mapping from tiling geometry to audible parameters, as this would go beyond the scope of illustrating the role of tessellations in composition. Instead, it highlights how the visual and structural properties of the Hat, constructed from elementary polygons, inspired the composer Marisa Acuña to explore microtonal intervals in her works Tesselles sonores and Le Chapeau à douze cornes. This is analogous to how Tom Johnson used tilings in his compositions through conceptual rather than strictly mathematical translations. We acknowledge that the original wording in the abstract may suggest a more direct transformation than intended. We will revise the abstract and the section on Le Chapeau à douze cornes to make explicit that the perspective is provided through the composer's artistic interpretation of the aperiodic structure, without claiming a verifiable geometric-to-musical function. revision: partial

Circularity Check

0 steps flagged

No derivation chain or predictions; paper is purely descriptive

full rationale

The manuscript contains no equations, fitted parameters, predictions, or load-bearing derivations. It references the known Hat monotile result and describes existing musical compositions (Tesselles sonores and Le Chapeau à douze cornes) without introducing any mapping function, ansatz, or self-referential construction that reduces to its own inputs. All cited tiling facts are external and independent; the text performs no statistical fitting or renaming of results as novel predictions. This is the standard case of an expository paper with no circularity.

Axiom & Free-Parameter Ledger

0 free parameters · 0 axioms · 0 invented entities

The abstract references the known discovery of aperiodic monotiles and prior musical uses of tilings but introduces no free parameters, axioms, or invented entities of its own.

pith-pipeline@v0.9.0 · 5417 in / 1032 out tokens · 54551 ms · 2026-05-16T12:38:32.646378+00:00 · methodology

discussion (0)

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

Lean theorems connected to this paper

Citations machine-checked in the Pith Canon. Every link opens the source theorem in the public Lean library.

What do these tags mean?
matches
The paper's claim is directly supported by a theorem in the formal canon.
supports
The theorem supports part of the paper's argument, but the paper may add assumptions or extra steps.
extends
The paper goes beyond the formal theorem; the theorem is a base layer rather than the whole result.
uses
The paper appears to rely on the theorem as machinery.
contradicts
The paper's claim conflicts with a theorem or certificate in the canon.
unclear
Pith found a possible connection, but the passage is too broad, indirect, or ambiguous to say the theorem truly supports the claim.