TOP tuning: Difference between revisions
Wikispaces>genewardsmith **Imported revision 551178974 - Original comment: ** |
Wikispaces>genewardsmith **Imported revision 551220834 - Original comment: ** |
||
| Line 1: | Line 1: | ||
<h2>IMPORTED REVISION FROM WIKISPACES</h2> | <h2>IMPORTED REVISION FROM WIKISPACES</h2> | ||
This is an imported revision from Wikispaces. The revision metadata is included below for reference:<br> | This is an imported revision from Wikispaces. The revision metadata is included below for reference:<br> | ||
: This revision was by author [[User:genewardsmith|genewardsmith]] and made on <tt>2015-05-15 | : This revision was by author [[User:genewardsmith|genewardsmith]] and made on <tt>2015-05-15 16:36:32 UTC</tt>.<br> | ||
: The original revision id was <tt> | : The original revision id was <tt>551220834</tt>.<br> | ||
: The revision comment was: <tt></tt><br> | : The revision comment was: <tt></tt><br> | ||
The revision contents are below, presented both in the original Wikispaces Wikitext format, and in HTML exactly as Wikispaces rendered it.<br> | The revision contents are below, presented both in the original Wikispaces Wikitext format, and in HTML exactly as Wikispaces rendered it.<br> | ||
| Line 26: | Line 26: | ||
We may solve the sharp semigroup equations exactly to obtain solutions in the transcendental extension Q(log₂(q₁), log₂(t₂), ..., log₂(qₖ)) where the qₙ are the intrinsic primes other than 2. For example, take 5-limit meantone. Since 2 and 5 divide 80 and 3 divides 81. this is an intrinsic temperament. Solving for the TOP tuning either by linear programing or checking all the potential TOP tunings, we find the sharp semigroup is generated by {2, 1/3, 5}. Solving the sharp semigroup equations gives us a TOP tuning T = <3q₃/log₂(6480) (8q₃ + 2q₃q₅)/log₂(6480) 8q₃q₅/log₂(6480)|. Here q₃ = log₂(3), q₅ = log₂(5), and the denominator can also be written 4 + 4q₃ + q₅. A more complex example including an extrinsic prime is 13-limit [[Rastmic temperaments#Parahemif|parahemif temperament]]. Setting D = 22 + q₁₁ + 5q₁₃, we have T = <(2q₁₁ +10q₁₃)/D (18q₁₁ + 2q₁₃)/D q₅ (102q₁₁ - 62q₁₃)/D 44q₁₁/D 44q₁₃/D|. Note that all the prime tunings except for that of 5 lie in the field Q(q₁₁, q₁₃), where 1/2, 11 and 13 generate the sharp semigroup; 5 is of course the extrinsic prime. The tuning of the other primes is the same as the tuning for hemif temperament, which has the same commas, generated by {144/143, 243/242, 364/363}, and the same sharp semigroup, but which tempers the 2.3.7.11.13 subgroup. | We may solve the sharp semigroup equations exactly to obtain solutions in the transcendental extension Q(log₂(q₁), log₂(t₂), ..., log₂(qₖ)) where the qₙ are the intrinsic primes other than 2. For example, take 5-limit meantone. Since 2 and 5 divide 80 and 3 divides 81. this is an intrinsic temperament. Solving for the TOP tuning either by linear programing or checking all the potential TOP tunings, we find the sharp semigroup is generated by {2, 1/3, 5}. Solving the sharp semigroup equations gives us a TOP tuning T = <3q₃/log₂(6480) (8q₃ + 2q₃q₅)/log₂(6480) 8q₃q₅/log₂(6480)|. Here q₃ = log₂(3), q₅ = log₂(5), and the denominator can also be written 4 + 4q₃ + q₅. A more complex example including an extrinsic prime is 13-limit [[Rastmic temperaments#Parahemif|parahemif temperament]]. Setting D = 22 + q₁₁ + 5q₁₃, we have T = <(2q₁₁ +10q₁₃)/D (18q₁₁ + 2q₁₃)/D q₅ (102q₁₁ - 62q₁₃)/D 44q₁₁/D 44q₁₃/D|. Note that all the prime tunings except for that of 5 lie in the field Q(q₁₁, q₁₃), where 1/2, 11 and 13 generate the sharp semigroup; 5 is of course the extrinsic prime. The tuning of the other primes is the same as the tuning for hemif temperament, which has the same commas, generated by {144/143, 243/242, 364/363}, and the same sharp semigroup, but which tempers the 2.3.7.11.13 subgroup. | ||
If we want a pure-octaves tuning, we may divide the TIPTOP tuning by the tuning of 2, giving what may be called the Pure Octaves TIPTOP tuning, or POTT. The POTT tuning is sometimes | If we want a pure-octaves tuning, we may divide the TIPTOP tuning by the tuning of 2, giving what may be called the Pure Octaves TIPTOP tuning, or POTT. The POTT tuning is sometimes in the simple form of prime tunings which can be expressed by way of [[fractional monzos]]; for 5- and 7-limit meantone and 11-limit meanpop, we get the 1/4-comma tuning which is also the eigenmonzo 5 minimax tuning. For 7- and 11-limit pajara, we also get the eigenmonzo 5 tuning, with pure 5/4s, and for 13-limit POTT, we get the eigenmonzo 13 tuning. For 5-, 7-, 11-, and 13-limit myna, the POTT tuning is pure 3s. And so forth, for many other examples. The same thing can happen in higher ranks: 7-limit starling has the 3 and 7 eigenvalue tuning, and 11 and 13 limit thrush the 3 and 11 eighenvalue tuning, etc. | ||
=TOP commas and TOP extensions= | =TOP commas and TOP extensions= | ||
Suppose T is a TOP tuned temperament with i intrinsic primes, e extrinsic primes, and a sharp semigroup of rank k+1. Then the dimensionality of T is n = e+i; the corank (rank of the comma group) is i-k and so the rank of the temperament is n-(i-k) = e+k. If we move a prime from intrinsic to extrinsic, the rank is therefore increased by 1 and the corank decreased by 1, leaving the dimensionality the same. If νₚ is the valuation val from prime p, meaning all coefficients bu the one for p are zero and the p coefficient is 1, then this "moving" | Suppose T is a TOP tuned temperament with i intrinsic primes, e extrinsic primes, and a sharp semigroup of rank k+1. Then the dimensionality of T is n = e+i; the corank (rank of the comma group) is i-k and so the rank of the temperament is n-(i-k) = e+k. If we move a prime from intrinsic to extrinsic, the rank is therefore increased by 1 and the corank decreased by 1, leaving the dimensionality the same. If νₚ is the valuation val from prime p, meaning all coefficients bu the one for p are zero and the p coefficient is 1, then this "moving" can be accomplished by adding νₚ, for some prime p which is intrinsic but not a prime or inverse prime of the sharp semigroup, as the bottom row of the val list (mapping matrix) for T, or equivalently wedging it with the wedgie for T. This process can continue until all intrinsic primes except those for the sharp semigroup are moved to extrinsic primes. In this case, i=k+1 so the corank is i-k = (k+1)-k = 1, and there is only one comma, defined as usual as a rational number number greater than one which is not a square, cube or other power, generating the kernel. Since either this comma or its inverse is a product in the sharp semigroup, its absolute proportional error is equal to APE(T). The result is that for any regular temperament, there is a unique comma of the temperament such that the absolute proportional error in any TOP tuning is equal to the maximal absolute proportional error for the temperament. This comma we may call the //TOP comma//.The TOP comma in a sense encapsulates the error of the temperament. Any TOP tuning of the temperament, including TIPTOP, is also a TOP tuning of the codimension one temperament defined by the TOP comma. | ||
The result is that for any regular temperament, there is a unique comma of the temperament such that the absolute proportional error in any TOP tuning is equal to the maximal absolute proportional error for the temperament. This comma we may call the //TOP comma//.The TOP comma in a sense encapsulates the error of the temperament. Any TOP tuning of the temperament, including TIPTOP, is also a TOP tuning of the codimension one temperament defined by the TOP comma. | |||
For an example of how this works, in the 5 and 7 limits, the TOP comma for magic temperament is 3125/3072; in the 11-limit, |0 -11 15 0 -5>; in the 13 limit, |0 0 46 0 -19 -11>. Putting these in Graham's app will show how closely these are associated with magic. In many cases, the association is even more emphatic.</pre></div> | For an example of how this works, in the 5 and 7 limits, the TOP comma for magic temperament is 3125/3072; in the 11-limit, |0 -11 15 0 -5>; in the 13 limit, |0 0 46 0 -19 -11>. Putting these in Graham's app will show how closely these are associated with magic. In many cases, the association is even more emphatic.</pre></div> | ||
| Line 55: | Line 53: | ||
We may solve the sharp semigroup equations exactly to obtain solutions in the transcendental extension Q(log₂(q₁), log₂(t₂), ..., log₂(qₖ)) where the qₙ are the intrinsic primes other than 2. For example, take 5-limit meantone. Since 2 and 5 divide 80 and 3 divides 81. this is an intrinsic temperament. Solving for the TOP tuning either by linear programing or checking all the potential TOP tunings, we find the sharp semigroup is generated by {2, 1/3, 5}. Solving the sharp semigroup equations gives us a TOP tuning T = &lt;3q₃/log₂(6480) (8q₃ + 2q₃q₅)/log₂(6480) 8q₃q₅/log₂(6480)|. Here q₃ = log₂(3), q₅ = log₂(5), and the denominator can also be written 4 + 4q₃ + q₅. A more complex example including an extrinsic prime is 13-limit <a class="wiki_link" href="/Rastmic%20temperaments#Parahemif">parahemif temperament</a>. Setting D = 22 + q₁₁ + 5q₁₃, we have T = &lt;(2q₁₁ +10q₁₃)/D (18q₁₁ + 2q₁₃)/D q₅ (102q₁₁ - 62q₁₃)/D 44q₁₁/D 44q₁₃/D|. Note that all the prime tunings except for that of 5 lie in the field Q(q₁₁, q₁₃), where 1/2, 11 and 13 generate the sharp semigroup; 5 is of course the extrinsic prime. The tuning of the other primes is the same as the tuning for hemif temperament, which has the same commas, generated by {144/143, 243/242, 364/363}, and the same sharp semigroup, but which tempers the 2.3.7.11.13 subgroup.<br /> | We may solve the sharp semigroup equations exactly to obtain solutions in the transcendental extension Q(log₂(q₁), log₂(t₂), ..., log₂(qₖ)) where the qₙ are the intrinsic primes other than 2. For example, take 5-limit meantone. Since 2 and 5 divide 80 and 3 divides 81. this is an intrinsic temperament. Solving for the TOP tuning either by linear programing or checking all the potential TOP tunings, we find the sharp semigroup is generated by {2, 1/3, 5}. Solving the sharp semigroup equations gives us a TOP tuning T = &lt;3q₃/log₂(6480) (8q₃ + 2q₃q₅)/log₂(6480) 8q₃q₅/log₂(6480)|. Here q₃ = log₂(3), q₅ = log₂(5), and the denominator can also be written 4 + 4q₃ + q₅. A more complex example including an extrinsic prime is 13-limit <a class="wiki_link" href="/Rastmic%20temperaments#Parahemif">parahemif temperament</a>. Setting D = 22 + q₁₁ + 5q₁₃, we have T = &lt;(2q₁₁ +10q₁₃)/D (18q₁₁ + 2q₁₃)/D q₅ (102q₁₁ - 62q₁₃)/D 44q₁₁/D 44q₁₃/D|. Note that all the prime tunings except for that of 5 lie in the field Q(q₁₁, q₁₃), where 1/2, 11 and 13 generate the sharp semigroup; 5 is of course the extrinsic prime. The tuning of the other primes is the same as the tuning for hemif temperament, which has the same commas, generated by {144/143, 243/242, 364/363}, and the same sharp semigroup, but which tempers the 2.3.7.11.13 subgroup.<br /> | ||
<br /> | <br /> | ||
If we want a pure-octaves tuning, we may divide the TIPTOP tuning by the tuning of 2, giving what may be called the Pure Octaves TIPTOP tuning, or POTT. The POTT tuning is sometimes | If we want a pure-octaves tuning, we may divide the TIPTOP tuning by the tuning of 2, giving what may be called the Pure Octaves TIPTOP tuning, or POTT. The POTT tuning is sometimes in the simple form of prime tunings which can be expressed by way of <a class="wiki_link" href="/fractional%20monzos">fractional monzos</a>; for 5- and 7-limit meantone and 11-limit meanpop, we get the 1/4-comma tuning which is also the eigenmonzo 5 minimax tuning. For 7- and 11-limit pajara, we also get the eigenmonzo 5 tuning, with pure 5/4s, and for 13-limit POTT, we get the eigenmonzo 13 tuning. For 5-, 7-, 11-, and 13-limit myna, the POTT tuning is pure 3s. And so forth, for many other examples. The same thing can happen in higher ranks: 7-limit starling has the 3 and 7 eigenvalue tuning, and 11 and 13 limit thrush the 3 and 11 eighenvalue tuning, etc.<br /> | ||
<br /> | <br /> | ||
<!-- ws:start:WikiTextHeadingRule:8:&lt;h1&gt; --><h1 id="toc4"><a name="TOP commas and TOP extensions"></a><!-- ws:end:WikiTextHeadingRule:8 -->TOP commas and TOP extensions</h1> | <!-- ws:start:WikiTextHeadingRule:8:&lt;h1&gt; --><h1 id="toc4"><a name="TOP commas and TOP extensions"></a><!-- ws:end:WikiTextHeadingRule:8 -->TOP commas and TOP extensions</h1> | ||
Suppose T is a TOP tuned temperament with i intrinsic primes, e extrinsic primes, and a sharp semigroup of rank k+1. Then the dimensionality of T is n = e+i; the corank (rank of the comma group) is i-k and so the rank of the temperament is n-(i-k) = e+k. If we move a prime from intrinsic to extrinsic, the rank is therefore increased by 1 and the corank decreased by 1, leaving the dimensionality the same. If νₚ is the valuation val from prime p, meaning all coefficients bu the one for p are zero and the p coefficient is 1, then this &quot;moving&quot; | Suppose T is a TOP tuned temperament with i intrinsic primes, e extrinsic primes, and a sharp semigroup of rank k+1. Then the dimensionality of T is n = e+i; the corank (rank of the comma group) is i-k and so the rank of the temperament is n-(i-k) = e+k. If we move a prime from intrinsic to extrinsic, the rank is therefore increased by 1 and the corank decreased by 1, leaving the dimensionality the same. If νₚ is the valuation val from prime p, meaning all coefficients bu the one for p are zero and the p coefficient is 1, then this &quot;moving&quot; can be accomplished by adding νₚ, for some prime p which is intrinsic but not a prime or inverse prime of the sharp semigroup, as the bottom row of the val list (mapping matrix) for T, or equivalently wedging it with the wedgie for T. This process can continue until all intrinsic primes except those for the sharp semigroup are moved to extrinsic primes. In this case, i=k+1 so the corank is i-k = (k+1)-k = 1, and there is only one comma, defined as usual as a rational number number greater than one which is not a square, cube or other power, generating the kernel. Since either this comma or its inverse is a product in the sharp semigroup, its absolute proportional error is equal to APE(T). The result is that for any regular temperament, there is a unique comma of the temperament such that the absolute proportional error in any TOP tuning is equal to the maximal absolute proportional error for the temperament. This comma we may call the <em>TOP comma</em>.The TOP comma in a sense encapsulates the error of the temperament. Any TOP tuning of the temperament, including TIPTOP, is also a TOP tuning of the codimension one temperament defined by the TOP comma.<br /> | ||
The result is that for any regular temperament, there is a unique comma of the temperament such that the absolute proportional error in any TOP tuning is equal to the maximal absolute proportional error for the temperament. This comma we may call the <em>TOP comma</em>.The TOP comma in a sense encapsulates the error of the temperament. Any TOP tuning of the temperament, including TIPTOP, is also a TOP tuning of the codimension one temperament defined by the TOP comma.<br /> | |||
<br /> | <br /> | ||
For an example of how this works, in the 5 and 7 limits, the TOP comma for magic temperament is 3125/3072; in the 11-limit, |0 -11 15 0 -5&gt;; in the 13 limit, |0 0 46 0 -19 -11&gt;. Putting these in Graham's app will show how closely these are associated with magic. In many cases, the association is even more emphatic.</body></html></pre></div> | For an example of how this works, in the 5 and 7 limits, the TOP comma for magic temperament is 3125/3072; in the 11-limit, |0 -11 15 0 -5&gt;; in the 13 limit, |0 0 46 0 -19 -11&gt;. Putting these in Graham's app will show how closely these are associated with magic. In many cases, the association is even more emphatic.</body></html></pre></div> | ||