TOP tuning: Difference between revisions
Improve readability (1/2) |
Improve readability (2/2) |
||
| Line 27: | Line 27: | ||
For a temperament with both intrinsic and extrinsic primes, we may find the set of TOP tunings by first computing the tuning of the intrinsic primes. Then if ''r'' is an extrinsic prime, the tuning may be anything in the range where APE (''r'') ≤ E. The limit of the [[Lp tuning|''L''<sup>''p''</sup> tuning]] as ''p'' tends to 1 and the centroid of the region of TOP tunings both lead to choosing the JI tuning for ''r''. This produces the canonical TOP tuning, called '''TIPTOP'''. To find the TIPTOP tuning one method is to solve for all the potential TOP tunings of the intrinsic primes, find the tuning with least error, and then tune all the extrinsic primes purely. An alternative method is to first set up a linear programming problem; if T is a val with indeterminate coefficients T = {{val| ''t''<sub>1</sub> ''t''<sub>2</sub> … ''t''<sub>k</sub> }} then minimize E subject to nonnegativity and the linear constraints {''t''<sub>''n''</sub>/log<sub>2</sub>(''p''<sub>''n''</sub>) - 1 ≤ E, 1 - ''t''<sub>''n''</sub>/log<sub>2</sub>(''p''<sub>''n''</sub>) ≤ E, <T|''c''<sub>''k''</sub>> = 0} where the ''p''<sub>''n''</sub> are the primes of the temperament, and the ''c''<sub>''k''</sub> are the commas. We then may replace the tuning of all of the extrinsic primes with the pure JI tuning to get TIPTOP. | For a temperament with both intrinsic and extrinsic primes, we may find the set of TOP tunings by first computing the tuning of the intrinsic primes. Then if ''r'' is an extrinsic prime, the tuning may be anything in the range where APE (''r'') ≤ E. The limit of the [[Lp tuning|''L''<sup>''p''</sup> tuning]] as ''p'' tends to 1 and the centroid of the region of TOP tunings both lead to choosing the JI tuning for ''r''. This produces the canonical TOP tuning, called '''TIPTOP'''. To find the TIPTOP tuning one method is to solve for all the potential TOP tunings of the intrinsic primes, find the tuning with least error, and then tune all the extrinsic primes purely. An alternative method is to first set up a linear programming problem; if T is a val with indeterminate coefficients T = {{val| ''t''<sub>1</sub> ''t''<sub>2</sub> … ''t''<sub>k</sub> }} then minimize E subject to nonnegativity and the linear constraints {''t''<sub>''n''</sub>/log<sub>2</sub>(''p''<sub>''n''</sub>) - 1 ≤ E, 1 - ''t''<sub>''n''</sub>/log<sub>2</sub>(''p''<sub>''n''</sub>) ≤ E, <T|''c''<sub>''k''</sub>> = 0} where the ''p''<sub>''n''</sub> are the primes of the temperament, and the ''c''<sub>''k''</sub> are the commas. We then may replace the tuning of all of the extrinsic primes with the pure JI tuning to get TIPTOP. | ||
We may solve the sharp semigroup equations exactly to obtain solutions in the transcendental extension Q (log<sub>2</sub>(''q''<sub>1</sub>), log<sub>2</sub>(''t''<sub>2</sub>), …, log<sub>2</sub>(''q''<sub>''k''</sub>)) where the ''q''<sub>''n''</sub> 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 = {{val| 3''q''<sub>3</sub>/log<sub>2</sub>(6480) (8''q''<sub>3</sub> + 2''q''<sub>3</sub>''q''<sub>5</sub>)/log<sub>2</sub>(6480) 8''q''<sub>3</sub>''q''<sub>5</sub>/log<sub>2</sub>(6480) }}. Here ''q''<sub>3</sub> = log<sub>2</sub> (3), ''q''<sub>5</sub> = log<sub>2</sub> (5), and the denominator can also be written 4 + 4''q''<sub>3</sub> + q<sub>5</sub>. A more complex example including an extrinsic prime is 13-limit [[parahemif]] temperament. Setting D = 22 + ''q''<sub>11</sub> + 5''q''<sub>13</sub>, we have T = | We may solve the sharp semigroup equations exactly to obtain solutions in the transcendental extension Q (log<sub>2</sub>(''q''<sub>1</sub>), log<sub>2</sub>(''t''<sub>2</sub>), …, log<sub>2</sub>(''q''<sub>''k''</sub>)) where the ''q''<sub>''n''</sub> 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 = {{val| 3''q''<sub>3</sub>/log<sub>2</sub>(6480) (8''q''<sub>3</sub> + 2''q''<sub>3</sub>''q''<sub>5</sub>)/log<sub>2</sub>(6480) 8''q''<sub>3</sub>''q''<sub>5</sub>/log<sub>2</sub>(6480) }}. Here ''q''<sub>3</sub> = log<sub>2</sub> (3), ''q''<sub>5</sub> = log<sub>2</sub> (5), and the denominator can also be written 4 + 4''q''<sub>3</sub> + q<sub>5</sub>. A more complex example including an extrinsic prime is 13-limit [[parahemif]] temperament. Setting D = 22 + ''q''<sub>11</sub> + 5''q''<sub>13</sub>, we have T = {{val| (2''q''<sub>11</sub> + 10''q''<sub>13</sub>)/D (18''q''<sub>11</sub> + 2''q''<sub>13</sub>)/D ''q''<sub>5</sub> (102''q''<sub>11</sub> - 62''q''<sub>13</sub>)/D 44''q''<sub>11</sub>/D 44''q''<sub>13</sub>/D }}. Note that all the prime tunings except for that of 5 lie in the field Q (''q''<sub>11</sub>, ''q''<sub>13</sub>), 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 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/4's, 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. | 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/4's, 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. | ||
| Line 33: | Line 33: | ||
== 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 | 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 ''ν''<sub>''p''</sub> is the valuation val from prime ''p'', meaning all coefficients but the one for ''p'' are zero and the ''p'' coefficient is 1, then this "moving" can be accomplished by adding ''ν''<sub>''p''</sub>, 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. | ||
For example, in the 5 and 7 limits, the TOP comma for magic temperament is 3125/3072; in the 11-limit, {{monzo| 0 -11 15 0 -5 }}; in the 13 limit, {{monzo| 0 0 46 0 -19 -11 }}. | For example, in the 5 and 7 limits, the TOP comma for magic temperament is 3125/3072; in the 11-limit, {{monzo| 0 -11 15 0 -5 }}; in the 13 limit, {{monzo| 0 0 46 0 -19 -11 }}. | ||
| Line 39: | Line 39: | ||
== TOP with "inconsistent" rational tuning extensions == | == TOP with "inconsistent" rational tuning extensions == | ||
It can sometimes be useful to look not just at "indirect" prime-based mappings, but also add extra "direct" mappings for important rationals | It can sometimes be useful to look not just at "indirect" prime-based mappings, but also add extra "direct" mappings for important rationals – deliberately inconsistent with the indirect ones – for which the indirect mapping is subpar. | ||
A good example of this is [[ | A good example of this is [[16edo]], in which [[9/8]] is mapped to 225 [[cent]]s, while [[3/2]] is mapped to 675 cents. In this instance, the associated "2.3.5.9" [[sval]] would be {{val| 16 25 37 51 }}, where it is seen that the mapping of 51 steps for 9 is "inconsistent" with the mapping of 25 steps for 3. | ||
Note that there is no mapping for 3 which would map 9/1 to 51 steps, since 51 is an odd number, so it is useful to have both mappings: the regular 9/1, for use in chords such as the "[[ | Note that there is no mapping for 3 which would map 9/1 to 51 steps, since 51 is an odd number, so it is useful to have both mappings: the regular 9/1, for use in chords such as the "[[mavila]]" major 9 chord of 0-375-675-1050-1350, so that the 1350-cent 9/4 is a stack of two ~675-cent 3/2's, and the tempered 4:7:9 at 0-975-1425, which need not have any 3/2 at all. | ||
It so happens that for some full prime-limit temperaments, the TOP tuning remains optimal even if we use "inconsistent" mappings for any composite rational | It so happens that for some full prime-limit temperaments, the TOP tuning remains optimal even if we use "inconsistent" mappings for any composite rational – or even ''every'' rational – as long as we are willing to go with the restriction that such mappings only be used if they are tuned better than the regular consistent ones. We will call [[tuning map]]s that obey this restriction '''admissible.''' | ||
As an example, if our tuning map has the "consistent" 9/8 tuned to 204, but where we have an extra "inconsistent" 9/8 mapping that is tuned to 230 cents | As an example, if our tuning map has the "consistent" 9/8 tuned to 204, but where we have an extra "inconsistent" 9/8 mapping that is tuned to 230 cents – that would be an '''inadmissible''' tuning map, because we have added an extraneous extra 9/8 tuning that is worse than the original. In such situations we would throw away the extra inconsistent 9/8 entirely as it serves no purpose, and only use the consistent mapping. | ||
Given this restriction, the proof is easy: for any rational number, any "inconsistent" tuning must have a weighted error that is no worse than the "consistent" tuning, which in turn is no worse than the worst weighted prime error. However, there is no such thing as an "inconsistent prime mapping" | Given this restriction, the proof is easy: for any rational number, any "inconsistent" tuning must have a weighted error that is no worse than the "consistent" tuning, which in turn is no worse than the worst weighted prime error. However, there is no such thing as an "inconsistent prime mapping" – the mapping of a prime must always be consistent with itself! As a result, the worst-weighted error of the entire temperament cannot be changed by improving the errors of individual composite rationals – it will always be found at the worst-weighted prime, which will never change in this way. | ||
As a result, the tuning that minimizes the max Tenney-weighted error on the primes is the same tuning that minimizes the max Tenney-weighted error on all rationals, even if there exist rationals with extra inconsistent mappings that have better tunings than the consistent ones. | As a result, the tuning that minimizes the max Tenney-weighted error on the primes is the same tuning that minimizes the max Tenney-weighted error on all rationals, even if there exist rationals with extra inconsistent mappings that have better tunings than the consistent ones. | ||
Note that the above proof is only for full-prime limits: for arbitrary subgroups, some care is needed to extend the above argument, as it is possible (for instance) to work in the 2.5.9 subgroup without mapping 3 at all. In this situation, it is no longer the case that we have an extra mapping for 9/1 that is "inconsistent" with the mapping for 3/1, because there is no mapping for 3/1 at all, so 9/1 needs to be treated as thought it were a "prime. | Note that the above proof is only for full-prime limits: for arbitrary subgroups, some care is needed to extend the above argument, as it is possible (for instance) to work in the 2.5.9 subgroup without mapping 3 at all. In this situation, it is no longer the case that we have an extra mapping for 9/1 that is "inconsistent" with the mapping for 3/1, because there is no mapping for 3/1 at all, so 9/1 needs to be treated as thought it were a "prime". While a more thorough treatment of inconsistent mappings on arbitrary subgroups is needed, it is easy to see that for subgroups with a basis consisting only of prime powers, the same argument is easily shown to hold, with the worst weighted error being found at a prime power rather than a prime. | ||
Most importantly, the above result holds without any hitches for prime-limit subgroups as the limit tends to infinity, and in particular for infinite-limit generalized patent vals, where the TOP tuning minimizes the error on all rationals regardless of whether those rationals are mapped "consistently" given the mapping on the primes, or "inconsistently" given their direct rounding to the nearest | Most importantly, the above result holds without any hitches for prime-limit subgroups as the limit tends to infinity, and in particular for infinite-limit generalized patent vals, where the TOP tuning minimizes the error on all rationals regardless of whether those rationals are mapped "consistently" given the mapping on the primes, or "inconsistently" given their direct rounding to the nearest edostep. | ||
[[Category:Regular temperament theory]] | [[Category:Regular temperament theory]] | ||