标签：#音乐理解 | #形式化分析 | #音乐
评分：5.9/10 | 创新 1.2/2 | 技术严谨 0.9/1.5 | 实验充分 0.6/1.5 | 清晰度 0.7/1 | 影响力 0.7/1.5 | 开源 1.2/1.5 | 可复现 0.3/0.5 | 工程/实践 0.3/1.5
👥 作者与机构
- Caleb Scott Alons：Department of Mathematics, University of Missouri - Columbia
📌 核心摘要
该研究输入为任意全音集合与修饰符集合，输出为半音排序、等音等价划分及其上的音程命名与调性系统判据，难点在于不依赖音高与律制预设而在任意基数下保持语法的良定义与可计算性。其方法链首先以循环群步进与素全音排序构造全音空间与旋转类并引入反射性定义，为后续扩张提供有序基底。其输出的排序结构进入下一步用于生成素半音排序与有序半音集，以修饰操作提升结构复杂度并衔接等音构造。最后以等音指派向量与同余关系构造等音等价关系并导出等音集、素等音排序与等音系统，进而用反射与最大偶性判别音乐实用性。相对Hook限定于标准七全音的句法理论，该方法的关键差异在于将全音、半音与等音统一为任意基数下的可计算框架，并以纯数学性质解释标准系统的优越性而非诉诸听觉经验。在标准键盘设置下，标准等音集的白键数量指标为7，高于黑键数量指标的5。该结论的适用边界限于句法层面的系统比较，尚未验证记谱可读性、作曲可用性与听觉接受度，也未覆盖调号与和声进行等上层结构。原文未披露训练、推理或部署成本。
🔗 开源与复现资源
本次未形成可展示的已核验资源记录，开放状态尚未核实。
可达状态仅表示本次链接检查结果，不代表许可证、本文权重或运行复现已验证。
🧭 深度解读
为什么要把音高暂时放在一边来谈等音
这篇论文的输入是传统乐理中习以为常的记谱对象，包括 7 个唱名、升降号、钢琴上的黑白键排列以及五度圈，目标是回答一个反直觉的问题，如果完全不谈频率比、协和度与平均律，人们是否还能重建出一套自洽的等音理论，并且解释为何十二键系统显得特别自然。作者把研究对象限定为句法层面的形式结构，声学指波的物理相互作用，句法指不直接引用音高的抽象记谱运算。
历史上从纯律到各种微分音键盘的探索大多先发现有用的声音现象，再为其寻找可传抄的记谱法，这种由声学到句法的路径容易让两类概念混在一起。本文反其道而行，先固定任意多个唱名，再看升降号、等价类与循环能长成什么样子。必须保留的关键信息是，本文不预设十二平均律，不预设可移调性，也不给等音标记指定音分值，所有的偏好判断都只在整数与模运算层面做出。
对于刚入门的研究生，可以把这项工作理解为给乐理做 1 次去声学化的重写，看看哪些结构依然成立，哪些结构会坍缩。
声学 × 句法： 声学负责音波物理属性决定的协和、泛音与调律数值，句法负责不预设音高的记谱结构与变换规则，二者搭配的理由是同一记谱既要能被传抄又要能被发声，组合意义在于本文把等价关系完全放在句法一侧定义，从而检验标准系统是否仍被选中。
接下来的学习顺序是先建立全音阶的循环语言，再引入变音记号得到半音直线，然后用整数元组压缩等音规则，最后用两个可检验的性质评价任意系统的实用性。读者需要适应作者对白键、黑键、调式音阶等日常词汇的重新定义，因为它们在这里都是等价类或其子集，而不是发声体的形状。
这项工作站在哪条研究路线上
在输入、目标与监督条件都相同的比较意义上，本文最直接的前身是胡克的等音理论。胡克已经把标准七唱名集合上的调号、等音等价与全音阶性做了句法化处理，并承认把这种处理推广到一般情形是有价值的。本文继承了他的问题意识，但把起点从固定的七推广到任意基数。另一条相关路线是克拉夫与多塞特关于最大偶集的研究，他们用黑白键在色圈上尽量均匀分布的直觉来解释全音阶集合的优选，本文把该直觉转写为谱大小的均匀性条件。
与曼德尔鲍姆和盖默对十九音系统的研究相比，相同点是都承认十九音可以由五度生成，不同点是前两者分别从 tempered fifth 的音分近似与均衡 temperament 下的组合资源出发，而本文只看整数互素与加法逆元。黑伍德的微分音录音、哈弗斯蒂克的十九音布鲁斯实践以及萨加的十九音谱例在本文中只是存在性旁证，说明非标准系统确有记谱与演奏实例，但本文不分析这些录音的声学效果。
还需要说明的是，本文没有绑定任何已验证的代码仓库、模型权重或数据集资源，资源状态是没有发现可用的公开实现，因此复述时只能复述定义与手算过程，不能声称有可运行系统。
要解决的具体形式化问题是什么
论文要解决的问题可以拆成 3 步。第一，如何在不引用音高的前提下定义全音阶移位、音程长度与循环排序，使得标准音阶中的二度圈与五度圈都成为特例。第二，如何把变音记号引入为整数的同构拷贝，并用全音阶空间生成半音的有序直线，使得线上的步数可以用整数区间来度量。
第三，如何用一个正整数元组把半音集合划分成等价类，使得标准十二键、十九键以及任意构造的怪异键盘都由同一公式生成，并能在此基础上谈论大调音阶、完全与大音程、增减音程以及调式圆。教学上可以先看一个最小例子，从 7 个唱名出发，若规定相邻白键之间插入的黑键数分别为一、一、零、一、一、一、零，那么白键加黑键总数就是十二，这正是标准键盘的句法影子。把这组插入数换成其他正整数，就得到其他键盘。
下面的对照表把标准系统的关键整数压缩在一处，阅读时先提出问题，标准十二键的插入规则与总数分别是什么，公平条件是都以七唱名为基底，指标方向是插入数越大则对应谱越大。
| 条件 | 基底规模 | 插入元组 | 白键数 | 黑键数 | 总键数 |
|---|---|---|---|---|---|
| 标准七唱名 | 7 | 2,2,1,2,2,2,1 | 7 | 5 | 12 |
该表的主要收益是把日常所见的二黑加三黑分组还原为一行整数，代价是它隐藏了具体哪个位置没有黑键，需要结合键盘图才能恢复。
未胜出的对照是十九音元组，它同样以七为基底但总数更大，后文会说明它在对称性上付出了什么代价。
整体构造如何从唱名走到等音圆
方法的全景是一条单向流水线。起点是选定全音阶基数与唱名集合，接着定义循环移位与音程长度，再挑选与基数互素的步长生成素全音阶排序，由此得到全音阶空间与旋转类。下一步把每个唱名与整数变音记号配对得到半音集合，用选定的全音阶空间把半音排成一条向左右无限延伸的直线。然后选定一个与基数等长的正整数元组，定义累加函数并写出同余式，把半音直线折叠成有限个等音类。
最后在等音集合上重新做移位、音程分类与循环生成，得到等音系统，并用反射性与最大偶性评价它。沿一个样本走完全程有助于理解，以自然音阶首音为起点，若累加偏移分别为零、二、四、五、七、九、十一，则该首音分别与自身及后续各自然半音等价，这正是标准等音指派的计算内容。 下面先导读标准五度类的两个旋转，图中左右两圆都是 7 个节点的闭环，中心标注区分了不同的移位参数，需要沿圆周读出相邻关系而非孤立地记字母顺序。
看图路径： 1. 先确认左右两圆都包含七个字母节点且中心分别标出两种移位参数；2. 再沿顺时针读出右侧以低音谱号下加一线音为起点的五度走向；3. 最后对比左圆以自然音阶首音为起点时同一邻接关系如何整体旋转
论文图 1。原论文 Figure 1:：“Some rotations in the standard class of fifths.”。
左圆以自然音阶首音为顶，顺时针依次经过属音、上主音等，右圆以其下属音为顶但邻接顺序不变，两个圆说明同一五度间隔在不同起点下只是整体旋转。这组图的可复述要点是，旋转类把起点不同的同一循环视为一族对象，全音阶系统则是所有互素步长对应的旋转类之集。
全音阶移位与循环如何用模运算写出
全音阶部分的核心操作是循环移位。设集合中有 n 个元素，下标按模 n 理解，移位 x 就是把每个元素下标加 x。连续做 y 次单步移位等价于 1 次移位 y，由此定义某音在另一音之上多少个全音阶步。音程则按包含起点的方式计数，例如下属音到下中音之间隔两个步，长度记为三，即三度，首调式主音到其高八度同名音之间隔 6 个步，长度记为七，即七度。这种计数方式保留了传统调式音程编号中五度对应 4 个步的别扭之处，作者刻意保留它以便平滑地谈论任意 p 度圈。
生成循环的关键是要求 p 减一与 n 互素，否则遍历会提前闭合而无法经过全部唱名。以十唱名为例，只有二度、四度、八度与十度满足互素条件，三度、五度等都不产生完整循环。互素条件的计算目标是保证乘法映射可逆，逆映射用模逆元写出，作者在正文中用复合函数直接验算了双向复合等于恒等。
全音阶集合 × 半音集合： 全音阶集合提供有限个无变音记号的基底音及其循环移位，半音集合把每个基底音与整数变音记号做笛卡尔积以引入升降层次，二者搭配是因为半音的排序需要借助全音阶空间的五度圈等排序，组合后得到可沿直线无限延伸的素半音排序。
符号与输入的对应关系是，小写 d 表示唱名，下标表示模 n 位置，t 表示全音阶移位，希腊字母德尔塔的变体表示生成循环的乘法映射，上标撇号表示经该映射重排后的顺序。计算目标是从任意合法 p 得到一个无重复的全排列，原文明确的实现是用下标乘以 p 减一。初学者可以先沿十唱名的四度圈手算一遍，起点不动，每次下标加三模十，依次得到零、三、六、九、二等，直至回到起点。
\[\underbrace{(t_{1}\circ\cdots\circ t_{1})}_{y}(d_{i})=t_{y}(d_{i})=d_{j}.\]上式把重复复合单步移位与 1 次多步移位等同起来，是后文把音程长度与移位步数互换使用的依据。
素全音阶排序 × 素等音排序： 素全音阶排序负责在任意全音阶基数下用与基数互素的音程长度生成循环，全音阶圆的完备版本，素等音排序负责只允许完全音程的长度生成等音集合上的循环，二者搭配是因为后者是前者在商结构上的受限子集，组合意义在于说明并非所有全音阶圆都能提升为等音圆。
变音记号与半音直线如何搭建
半音部分把变音记号集看作整数集的同构拷贝，负整数对应一串降号，零对应还原号，正整数对应一串升号，记号相加对应整数相加。半音集合是唱名集与记号集的笛卡尔积，自然半音是记号分量为零的那些元素，作者强调自然半音不等于唱名本身，前者是二元组，后者是基底元素。半音移位同时移动唱名分量与记号分量，前者按模 n，后者按整数加法。修饰音程则在全音阶音程长度之外再记录记号差，例如从降 2 级到升 4 级的三度可记为双升三度。
生成半音排序的操作是取一个全音阶空间，把它的重排顺序按降、还原、升、重升的层级依次铺开，得到一条向左为低、向右为高的直线，标准五度线就是由标准五度空间生成的特例。有序半音集上的区间用整数度量，从一个带撇号下标与记号的二元组到另一个，其区间数为下标差加记号差乘以 n，向右为正，向左为负。
下面先导读标准十二键键盘图，下方是 7 个白键字母，上方是 5 个黑键，每个黑键同时标出升与降两种写法，阅读时不要预设音高高低，只看标记的等价配对。
看图路径： 1. 先数出下方七个白键字母与上方五个黑键的分组为二加三；2. 再确认每个黑键同时带有升号与降号两种标记；3. 最后观察白键之间无黑键的两个位置对应哪两组相邻字母
论文图 3。原论文 Figure 3:：“The 12 standard piano keys (enharmonics).”。
该图的复述要点是，白键对应含自然半音的等价类，黑键对应不含自然半音的等价类，E 与 B 之上没有黑键的位置对应插入元组中取值为一的两个间隙。教学例子是标准有序半音集中从属音自然到属音降记号的区间为负三，意味着沿直线向左走 3 步，反向则为正三。
\[\mu(x)=\begin{cases}\underbrace{\flat\cdots\flat}_{x}&\textrm{if }x<0\\ \natural&\textrm{if }x=0\\ \underbrace{\sharp\cdots\sharp}_{x}&\textrm{if }x>0\end{cases}\]上式是变音记号映射的定义，它把整数与记号字符串一一对应，是后文谈论实用半音范围时度量升降重数的基准。
等音指派如何把无限半音折叠成有限键
等音部分是全文最需要动手算的一段。给定 n 元正整数元组，把它的前缀和定义为等音指派，零处取零，非零处累加到前一项为止，权重是全部元组元素之和。标准元组取二、二、一、二、二、二、一，权重为十二。任意元组例如十元的四、二、七、一、一、四、二、六、五、九，权重为四十一，意味着对应键盘有 41 个键，其中 10 个白键，31 个黑键，第零与第一白键之间有 3 个黑键，依此类推。
等价关系定义为两个半音的记号分量分别加上各自唱名位置的指派值后模权重同余，模运算保证自反、对称与传递。等音集就是该关系下的等价类集合，其基数等于权重。 trivial 的情形是元组全为一，此时每个类只含自身，全音阶集本身就是等音集。标准等音集有 12 个类，作者用圆周率下标的记号统一命名以避免偏好某种拼写，但在日常转写中仍沿用字母加升降号的写法。
需要澄清的误解是，等音等价不预设等律，升 C 与降 D 在非键盘乐器上可以是不同音高，本文对此不做音分映射。 下面先导读以序号标记的标准等音集键盘，下方白键序号为偶数，上方黑键序号为奇数，左右顺序与前一张键盘图一致。
看图路径： 1. 先把下方白键的偶数下标与上方黑键的奇数下标按左到右读出；2. 再确认黑键标记如何从具体升降号抽象为序号；3. 最后思考该序号写法为何不再偏好其中一种拼写
论文图 5。原论文 Figure 5:：“The standard enharmonic set with enharmonics expressed in \pi-notation.”。
该图的教学价值在于把具体拼写抽象掉，只保留等价类的计数结构，便于后文把移位写成模十二加法。符号上，大写 E 表示插入元组，大写 A 加下标表示其前缀和，N 表示权重即总键数，小写希腊字母陶表示等音移位。
\[A_{E}(x)=\begin{cases}0&\textrm{if }x=0\\ \sum_{i\,=\,0}^{x-1}e_{i}&\textrm{if }x\neq 0\end{cases},\qquad e_{i}\in E\textrm{ for each }i=0,\dots,n-1,\]上式是一般等音指派的定义，计算目标是为每个唱名位置给出一个固定的偏移量，原文明确的实现是前缀求和，零位置偏移为零。
等音指派 × 等音等价关系： 等音指派负责用正整数元组记录每两个相邻白键之间插入多少个键位并做累加，等音等价关系负责据此判定两个半音是否落入同一等价类，二者搭配是因为只有先给出累加偏移才能写出模等音基数的同余条件，组合后得到钢琴键即等价类的形式化定义。
大调音阶与完全大增减音程如何分类
由于等音集本身也是全音阶集，移位、音程与循环的语言可以直接搬运，只是步长含义发生变化。作者把元组中的最大值对应的移位称为整步，若该最大值能被大于一的整数整除，则对应分数步必定存在，标准情形最大值是二，整步移动两格，半步与半音步都移动一格。
以某自然大调为例，从主音出发依次加上各唱名位置的指派偏移，得到按从低到高排列的子集，这就是主音大调音阶，标准大调的步序为整、整、半、整、整、整、半，缺掉的末尾半步是因为定义只取起点到 7 个位置的像。音程分类先看半音步数是否落在指派的值域中，若是且该步数与总键数互素且不等于总数减一，则称为完全音程，否则称为大音程，步数为零是完全一度。标准情形完全音程只有四度与五度，其步数分别为五与七，二度、三度、六度、七度为大。
落在值域之外的步数既非完全也非大，例如标准集合中 3 步与 6 步对应的音程需要进一步用增减语言描述。完全音程向上或向下移动若干半音步得到增减，大的三度向下移动一格得到小三度，完全五度向下移动一格得到减五度，也可记为增四度。作者提醒不要把增减进行到越过完全一度，并建议按最小改动量命名以避免四重增二度之类的戏谑名称。
下面的数字表整理一般十元例子的规模，阅读问题是给定任意元组如何预估键盘外观，公平条件是白键数等于元组长度，指标方向是权重越大则总键数越多。
| 条件 | 基底规模 | 元组示例 | 白键数 | 黑键数 | 总键数 |
|---|---|---|---|---|---|
| 十元任意例子 | 10 | 4,2,7,1,1,4,2,6,5,9 | 10 | 31 | 41 |
表后需要说明，主要收益是展示定义的一般性，任意正整数元组都能生成合法键盘，具体代价是外观极不规则且难以演奏，未胜出项正是这种纯粹为演示一般性而构造的例子，它在后文的对称性检验中也会失败。
没有神经网络训练时实际计算了什么
本研究没有训练任何神经网络，也没有冻结或更新参数、反向传播、监督损失或重置时机的概念，因此不能把无训练等同于确定性求解，也不能从参数冻结推定输出确定。实际的计算过程是构造性数学推导与手算验证。第一类计算是互素性检查与模逆元求解，用于判断某个 p 度能否生成完整循环，以及写出循环的逆映射。第二类计算是前缀和与模同余判定，用于把给定的半音对判为等价或不等价，例如验证降 B 的双降与升 G 的双升在标准权重下同余。
第三类计算是完全音程筛选，对指派值域中的每个步数检查是否与总键数互素且不等于总数减一，从而列出完全音程表。第 4 类计算是谱大小统计，对每个唱名收集其对应的连续等音段并计数，再与最小值比较以判断最大偶性。这些计算都不需要训练数据或硬件加速，用纸笔或任意支持整数运算的脚本即可重放。缺项是作者未报告自动化搜索程序的运行时间与数值稳定性测试，但这不影响定义的正确性，因为所有结论都是整数层面的精确陈述。
用什么条件检验系统是否实用
由于没有数据集划分、采样策略或统计聚合，实验条件应理解为理论检验的适用条件。检验对象是任意等音系统，检验工具是两个性质。反射性要求系统中的每个旋转类都有镜像类，镜像条件在全音阶层面是度数满足 p 加 q 减二等于基数，在等音层面是指派值之和等于总键数。最大偶性要求每个唱名对应的谱大小只取最小值或最小值加一，谱定义为从该唱名指派位置出发连续取若干个等音，个数等于对应插入值。
检验时先列出全部合法 p，再算出各自的半音步数并两两配对看是否互为加法逆元，同时统计各谱的大小分布。标准十二音系统的检验条件是七唱名、插入元组如前、权重十二，十九音系统的检验条件是同样七唱名但插入元组改为三、三、二、三、三、三、二，权重十九，人为怪异系统的检验条件是五唱名配三、一、二、四、一，权重十一。
作者还讨论了实用半音的截断，标准情形每个唱名的可用记号被限制在负的前一插入值到自身的插入值之间，超出如三重升降号在实践中极少出现，并以阿尔康的三重升与罗斯拉韦茨的三重降谱例说明其罕见性。这些谱例只是记谱存在性的注脚，不是性能基线。
哪些系统通过了对称与均匀检验
论文报告的核心判断是，只有标准等音系统同时满足反射性与最大偶性。标准全音阶系统本身是反射的，二度对七度、三度对六度、四度对五度互为镜像。标准等音系统只有四度与五度两个完全音程，它们的半音步数五与七在模十二下互为逆元，因此系统反射。标准插入元组的最小值是一，各谱大小为一或二，满足最大偶性。
十九音系统的完全音程有 6 个，半音步数为三、六、八、十一、十四、十七，其中只有八与十一互为模十九逆元，因此四度类与五度类互为镜像但其余 4 类不可反射，系统整体不反射。十九音的插入最小值是二，各谱大小为二或三，满足最大偶性。五唱名的人为例子只有二度、三度、四度完全，对应步数三、四、六在模十一中无任何逆元对，系统不反射，其 K 谱大小为四，超出允许的 1 到 2 区间，也不满足最大偶性。
下面先导读标准等音的四度圆与五度圆，左右两圆节点相同但走向相反，中心标注区分了两种度数，观察时注意双标记节点的位置对应。
看图路径： 1. 先分别读出左右两圆顶部的同一自然音并沿相反方向走一圈；2. 再核对左侧四度圆与右侧五度圆的节点互为镜像；3. 最后观察双标记节点在两圆中位置如何对应
论文图 6。原论文 Figure 6:：“Enharmonic spaces representing their corresponding standard rotation classes.”。
该图支持的判断是标准系统的两个旋转类互为镜像，限制是它只展示了代表性空间而非全部旋转，推广到全部旋转需要借助模运算的一般论证。
反射性 × 最大偶性： 反射性负责检查每个旋转类在系统中是否存在加法逆元对应的镜像旋转类，最大偶性负责检查每个全音阶音对应的谱大小是否只取最小值或最小值加一，二者搭配是因为前者约束音程圆的对称完备性而后者约束黑白键分布的均匀性，组合成同时满足二者的可用系统判据。
下面的对照表把十九音系统的规模与对称残缺并置，比较问题是同样以七为基底时扩大权重能否保留完备镜像，公平条件是基底与记谱方式相同，指标方向是可反射类越多越好。
| 条件 | 基底规模 | 插入元组 | 白键数 | 总键数 | 可反射对 |
|---|---|---|---|---|---|
| 十九音例子 | 7 | 3,3,2,3,3,3,2 | 7 | 19 | 8,11 |
表后解释，主要收益是十九音保留了五度方向的可用结构，代价是其余度数失去镜像，未胜出项是二度、三度、六度、七度类，它们在该系统中不可反射，若以完备反射为目标则不应选用该权重。
拿掉均匀或对称条件会发生什么
把两个判据分开看有助于理解各自的分工。如果只保留最大偶性而放宽反射性，十九音系统可以通过，它的外观相对均匀，每个谱大小只差一，但其二度、三度等循环没有镜像，意味着某些方向的转位关系无法在系统内部找到对称对应。如果只保留反射性而放宽最大偶性，本文没有给出通过的非标准实例，标准系统仍然是唯一同时通过者。
人为的五唱名例子则同时失去两者，其键盘外观明显不规则，插入值从一跳到四，谱大小从一跳到四，完全音程的步数之间也没有逆元关系。这个例子不是为了证明去掉某个条件必然导致失败，而是作为存在性反例说明并非所有元组都适合音乐应用。另一个值得注意的边界是 trivial 等价，此时谱大小全为一，均匀性自然成立，但系统退化为全音阶自身，失去了引入等音的意义。
作者还指出，七度在标准系统中是大音程而在十九音系统中是完全音程，这种差异完全来自权重与互素性的变化，而非音高含义的变化。未评测的边界包括调号、调式、和弦与和声进行，这些概念在本文中明确留待未来工作，因此不能从当前的通过性推断和声应用的优劣。
这套句法目前还不能回答什么
首先，本文的偏好结论是有限解释而非因果证明，报告显示标准系统满足两个性质，支持它在句法意义下可用，但可能或待验证的是演奏可读性、作曲接受度与听觉效果确实因此变好，因为这些量没有被测量。其次，键盘图不预设音高顺序，白键左右相邻不意味着频率高低，黑键在白键左侧还是右侧只是绘图选择，复述时若把图中的左右直接读成音高高低就会误读。
第三，记号与对象的多义性需要靠上下文消解，同一字母既可指唱名也可指等音类，同一升降写法既可指半音也可指等价类，作者在含混时回到带下标的抽象记号，初学者应养成先确认对象层级的习惯。第四，实用半音的截断依赖插入值的区间公式，超出区间的半音在理论上仍属于某个等价类，只是在实践中被视为不实用，不能把不实用误解为不等价。
第五，本文未形式化调号，因此在素等音排序中呈现全部可互换标记，而不偏好其中之一，常规教材中偏好降号串或升号串的写法在这里没有形式依据。最后，所有关于延迟、算力、帧率或误判率的承诺都不在本文范围内，总体趋势不等于每组都成立，例如十九音在五度方向表现整齐不代表其所有度数都整齐。
复现时先做什么才能不走偏
复现的第一步是重写全音阶循环生成器，输入基数与度数，检查度数减一是否与基数互素，若是则用下标乘法生成排列并用模逆元验证可逆性，建议先用七唱名的五度圈与十唱名的四度圈做对照。第二步是实现变音记号同构与半音直线排序，输入选定的全音阶空间，输出按低到高排列的半音流，并实现区间函数以便核对正负步数。
第 3 步是实现等音指派与同余判定，输入正整数元组，计算前缀和与权重，对任意两个半音检验记号加偏移后是否模权重同余，先用标准元组复现 12 个类，再用十九音元组复现 19 个类。第四步是实现完全音程筛选与旋转类枚举，列出值域中与权重互素且不等于权重减一的步数，生成对应的等音圆并检查逆元配对。第五步是实现谱统计，计算每个唱名的连续段大小并与最小值比较。
需要保留的关键超参数其实是整数元组本身与基数，信息条件是全程不引入音分映射。还需补做的验证包括，对随机元组批量测试反射与均匀通过率，以及为调号偏好补充形式规则。下面的数字表汇总人为五唱名例子的规模与失败点，复现时可用它做回归检查。
| 条件 | 基底规模 | 插入元组 | 白键数 | 总键数 | 失配证据 |
|---|---|---|---|---|---|
| 人为五唱名例子 | 5 | 3,1,2,4,1 | 5 | 11 | 谱大小为 4 |
表后说明，主要收益是该例子同时违反两个性质，适合用作负例，具体代价是其记谱极不直观，未评测边界是若更换元组是否能得到另一个同时通过的系统，作者把该存在性与唯一性问题留给后续论文。
何时值得尝试这套语言
当研究目标是比较不同记谱方案的结构对称性，而非优化某个音频指标时，这套语言值得尝试。它把黑白键分组、五度圈方向与增减音程命名都还原为整数运算，初学者可以沿着输入到表示到组件到目标的单一样本走通，再推广到任意基数。它的适用条件是接受不谈音高的抽象，不接受则应回到 tempered 音分或纯律频率比的路线。它的主要限制是尚未覆盖调号、调式与和声，任何关于作曲便利性的断言都应标记为待验证。
回到中心矛盾，标准十二音系统之所以被偏爱，在本文的叙事中不仅因为历史声学妥协，也因为它恰好是通过两项句法检验的实例，而十九音系统虽然在五度方向同样整齐，却在完备镜像上付出代价。未来的工作若能给出生成同时通过系统的元组公式，或证明其不存在，将直接回答本文末尾提出的一连串问题。对于课程复述，建议以标准十二键为 worked example，以十九音为部分通过的对比，以五唱名怪异键盘为双重失败的反例，三者并置即可讲清定义的动机与判据的力度。
📎 论文与评分元数据
排名：前50% | 文档类型：理论研究 | arXiv 原文
⚖️ 评分明细
评分属于系统判断，不是论文实验结果；八维数值与总分见页首，原始审计记录保留在后端。
评分规则：type-aware-v1
评分模型：muse-spark-1.3-contributor
评分请求协议：openai_responses