User:Inthar/Endoparticular extensions: Difference between revisions

From Xenharmonic Reference
mNo edit summary
 
(16 intermediate revisions by the same user not shown)
Line 1: Line 1:
{{Problematic}}
{{Problematic}}


Goal: Formalize temp extension naturalness or a naturalness' that is stronger than naturalness.
Suppose the base temp tempers out a comma that is a product of powers of consecutive S-commas with nonzero exponents. An extension is ''endoparticular'' if it additionally tempers out the individual S-commas.


== Special case 1 ==
Conjecture: There is at most one S-expression for a comma in a given extended subgroup. Moreover, an endoparticular extension of a temperament tempering out one given comma to a given extended subgroup is unique if it exists.
Suppose the base temp tempers out (Sk)^m S(k+1)^n for nonzero integers m and n. An extension by one basis element is ''natural'' if it tempers out Sk and S(k+1).
 
Stronger conjecture: An endoparticular extension for a given temperament of any rank and a given extended subgroup is unique if it exists (regardless of the choice of comma basis).
 
== Conjecture: An endoparticular extension of a one-comma temperament is unique ==
Possible strategy: Since the definition of endoparticular requires consecutive square-particulars, maybe I can bound the number of consecutive S-commas that must appear in a factorization into consecutive S-commas

Latest revision as of 03:35, 7 February 2026

This is a problematic page or section. It lacks sufficient justification, content, or organization, and is subject to future overhaul or deletion.

Suppose the base temp tempers out a comma that is a product of powers of consecutive S-commas with nonzero exponents. An extension is endoparticular if it additionally tempers out the individual S-commas.

Conjecture: There is at most one S-expression for a comma in a given extended subgroup. Moreover, an endoparticular extension of a temperament tempering out one given comma to a given extended subgroup is unique if it exists.

Stronger conjecture: An endoparticular extension for a given temperament of any rank and a given extended subgroup is unique if it exists (regardless of the choice of comma basis).

Conjecture: An endoparticular extension of a one-comma temperament is unique

Possible strategy: Since the definition of endoparticular requires consecutive square-particulars, maybe I can bound the number of consecutive S-commas that must appear in a factorization into consecutive S-commas