Tuning ranges of regular temperaments: Difference between revisions
Cmloegcmluin (talk | contribs) revise page to cover tuning ranges in general, with the Milne, Sethares, and Plamodon definitions restricted to a specific approach; extract details about these tuning ranges to new dedicated pages |
m →Diamond monotone: clarify |
||
| (25 intermediate revisions by 6 users not shown) | |||
| Line 1: | Line 1: | ||
There are various methods which have been suggested for defining '''tuning ranges appropriate to a given | There are various methods which have been suggested for defining '''tuning ranges appropriate to a given regular temperament'''. | ||
== Diamond tuning ranges == | == Diamond tuning ranges == | ||
[[Andrew Milne]], [[Bill Sethares]] and [[James Plamondon]] defined some important tuning ranges. Their "valid" range was defined in ''Tuning Continua and Keyboard Layouts'' in the | [[Andrew Milne]], [[Bill Sethares]] and [[James Plamondon]] defined some important tuning ranges. Their "valid" range was defined in ''Tuning Continua and Keyboard Layouts'' in the ''Journal of Mathematics and Music''<ref>Milne, A. J., Sethares, W. A., and Plamondon, J. (2008). [https://www.researchgate.net/publication/228091827_Tuning_continua_and_keyboard_layouts Tuning continua and keyboard layouts]. Journal of Mathematics and Music, 2(1):1–19.</ref>; according to Milne, this tuning range was Sethares's contribution. Their "purer" range was discussed in the technical report ''X_System'' in the Open University’s repository; this was Milne's contribution. Today these are known as [[diamond monotone]] and [[diamond tradeoff]], respectively. | ||
In | === History === | ||
In 2014, these tuning ranges were discussed by Milne, [[Gene Ward Smith]], and others. The "valid" range was proposed names such as "lax", "monotone", and "normal", while the "purer" range was proposed to be named "strict", and the combination proposed to be named "nice". After some churn (in the edit history of this page), valid/lax/monotone/normal became "valid", while purer/strict became "nice", and the combination became "strict". In other words, "nice" and "strict" for some reason got switched, and for some time and to some extent on the wiki and in the regular temperament community that's how they stuck. | |||
In May 2021 Milne agreed with a community effort to revise the names to be more specific, descriptive, and closer to their original meaning. So the original "valid" became "diamond monotone", the original "purer" become "diamond tradeoff", and the combination of these two was left unnamed. | |||
=== Examples === | === Examples === | ||
==== 5-limit meantone ==== | ==== 5-limit meantone ==== | ||
To illustrate the diamond tuning ranges, let's consider 5-limit [[meantone]]. This is a 5-limit temperament so the tonality diamond is {1, 3, 5, 1/3, 5/3, 1/5, 3/5}, or octave reduced, {1/1, 6/5, 5/4, 4/3, 3/2, 8/5, 5/3}. It is also a rank-2 temperament, so any particular tuning can be specified by tunings of the two generators, which we take to be the tempered 2/1 and 4/3. | To illustrate the diamond tuning ranges, let's consider 5-limit [[meantone]]. This is a 5-limit temperament so the tonality diamond is {1, 3, 5, 1/3, 5/3, 1/5, 3/5}, or octave reduced, {1/1, 6/5, 5/4, 4/3, 3/2, 8/5, 5/3}. It is also a rank-2 temperament, so any particular tuning can be specified by tunings of the two generators, which we take to be the tempered 2/1 and 4/3. | ||
To find the range of diamond | ===== Diamond tradeoff ===== | ||
To find the range of diamond tradeoff tunings, we fix the tuning of the octave to pure, or in other words, we choose one [[eigenmonzo]] (unchanged interval) to be 2/1. Then we iterate through the 5-limit tonality diamond for what to use for the other eigenmonzo. (If the rank were more than 2, we would be iterating over subsets of the tonality diamond of size ''r'' - 1, but since ''r'' = 2 we are iterating over single ratios.) | |||
* 1/1 is the 0-vector monzo and so it is always a (trivial) eigenmonzo of any tuning. We have to use a non-1/1 interval as the other eigenmonzo besides 2/1 to define a tuning. | * 1/1 is the 0-vector monzo and so it is always a (trivial) eigenmonzo of any tuning. We have to use a non-1/1 interval as the other eigenmonzo besides 2/1 to define a tuning. | ||
* If 4/3 is the eigenmonzo, the tuning is [2/1, 4/3] or Pythagorean. | * If 4/3 is the eigenmonzo, the tuning is [2/1, 4/3] or Pythagorean. | ||
| Line 24: | Line 24: | ||
* If 8/5 is the eigenmonzo, that's equivalent to 5/4 being the eigenmonzo and leads to the same tuning. | * If 8/5 is the eigenmonzo, that's equivalent to 5/4 being the eigenmonzo and leads to the same tuning. | ||
* If 6/5 is the eigenmonzo, then 12/5 is also tuned pure so the fourth (the generator) is (12/5)^(1/3). Therefore the tuning is [2/1, (12/5)^(1/3)], or third-comma meantone. | * If 6/5 is the eigenmonzo, then 12/5 is also tuned pure so the fourth (the generator) is (12/5)^(1/3). Therefore the tuning is [2/1, (12/5)^(1/3)], or third-comma meantone. | ||
* If 5/3 is the eigenmonzo, that's equivalent to 6/ | * If 5/3 is the eigenmonzo, that's equivalent to 6/5 being the eigenmonzo. | ||
These lead to three distinct tunings: | These lead to three distinct tunings: | ||
* [2/1, 4/3] or Pythagorean - 4/3 and 3/2 are pure | * [2/1, 4/3] or Pythagorean - 4/3 and 3/2 are pure | ||
* [2/1, 2/5^(1/4)], or quarter-comma meantone - 5/4 and 8/5 are pure | * [2/1, 2/5^(1/4)], or quarter-comma meantone - 5/4 and 8/5 are pure | ||
* [2/1, (12/5)^(1/3)], or third-comma meantone - 6/5 and 5/3 are pure | * [2/1, (12/5)^(1/3)], or third-comma meantone - 6/5 and 5/3 are pure | ||
These three are the possible extreme points of the diamond | These three are the possible extreme points of the diamond tradeoff tuning range, so to describe the whole range, we must take their convex hull. In this case it is easy because they are all collinear, and Pythagorean and third-comma are the two endpoints of the line segment. So the diamond tradeoff tuning range of 5-limit meantone consists of exactly those tunings with a pure 2/1 as the period and anywhere from 4/3 to (12/5)^(1/3) (498.045 to 505.214 in cents) as the generator. | ||
===== Diamond monotone ===== | |||
To find the range of diamond monotone tunings, we need all the steps in between consecutive members of the tonality diamond to be positive. So 6/5, 25/24, 16/15, and 9/8 must all be positive for the tuning to be diamond monotone. If we denote the octave period by ''p'' and the perfect fourth generator by ''g'', this yields the equations: | To find the range of diamond monotone tunings, we need all the steps in between consecutive members of the tonality diamond to be positive. So 6/5, 25/24, 16/15, and 9/8 must all be positive for the tuning to be diamond monotone. If we denote the octave period by ''p'' and the perfect fourth generator by ''g'', this yields the equations: | ||
| Line 45: | Line 47: | ||
Note that, since the definition of diamond monotone only depends on the ordering of intervals and not on their absolute size, in theory any amount of stretching or compression is allowed. For example, ''p'' = 12 cents and ''g'' = 5 cents is technically a diamond monotone meantone tuning, as is ''p'' = 12000 cents and ''g'' = 5000 cents. | Note that, since the definition of diamond monotone only depends on the ordering of intervals and not on their absolute size, in theory any amount of stretching or compression is allowed. For example, ''p'' = 12 cents and ''g'' = 5 cents is technically a diamond monotone meantone tuning, as is ''p'' = 12000 cents and ''g'' = 5000 cents. | ||
===== Diamond tradeoff and diamond monotone ===== | |||
In this particular case all of the diamond tradeoff tunings are also diamond monotone, so the diamond tradeoff range is entirely inside the diamond monotone range. | |||
==== 11-limit marvel ==== | ==== 11-limit marvel ==== | ||
===== Diamond monotone ===== | |||
The [[mapping]] provided for [[Marvel_family#Undecimal_marvel_.28unimarv.29|undecimal marvel]] is {{rket|{{map|1 0 0 -5 12}} {{map|0 1 0 2 -1}} {{map|0 0 1 2 -3}}}}. We don't know the tuning of our generators yet, so our [[tuning map]] has variables in it: {{bra|1 ''a'' ''b''}}. This means that our first generator (the period) is 1 octave, the second generator is ''a'' octaves, and the third generator is ''b'' octaves. If we left-multiply the mapping by this tuning map, we get a parameterized tuning of {{val| 1 ''a'' ''b'' 2''a''+2''b''-5 12-''a''-3''b'' }} undecimal marvel. Or in other words, all tunings of undecimal marvel are of this form. | |||
Applying this to the steps of the 11-limit tonality diamond, then, we obtain eight inequalities, the solution set of which is the union of {30/19 ≤ ''a'' ≤ 49/31, 2 + ''a''/5 ≤ ''b'' ≤ 4''a'' - 4} with {49/31 ≤ ''a'' ≤ 35/22, 2 + ''a''/5 ≤ ''b'' ≤ 3 - 3''a''/7}, which is the triangular region bounded by the tunings for edos 19, 22, and 31. This is the diamond monotone range. | |||
===== Diamond tradeoff ===== | |||
The diamond tradeoff range is a quadrilateral with vertices (given in terms of frequency ratios rather than log base 2 or cents) [[2, 4096/1375, 5, 524288/75625, 11], [2, 3, 224/45, 1568/225, 30375/2744], [2, 1620/539, (4/3)×sqrt (14), 291600/41503, (44/15)×sqrt (14)], [2, 3, 5, 225/32, 4096/375]]. | |||
===== Diamond tradeoff and diamond monotone ===== | |||
The three vertices with entirely rational number values for the approximations of 3 and 5 are not in the diamond monotone range, so only the [2, 1620/539, (4/3)×sqrt (14), 291600/41503, (44/15)×sqrt (14)] tuning is both diamond tradeoff and diamond monotone. Other examples of tunings that are both diamond tradeoff and diamond monotone are 41''p''/41, 53''p''/53, 72''p''/72 etc.; however 19''p''/19, 22''p''/22 and 31''p''/31 are not in the diamond tradeoff range. | |||
== Other tuning ranges == | == Other tuning ranges == | ||
The diamond tuning ranges, though they have historical momentum, do not preclude definition of other validity ranges for the tuning of temperaments. The topic of tuning ranges is relatively subjective. | The diamond tuning ranges, though they have historical momentum, do not preclude definition of other validity ranges for the tuning of temperaments. The topic of tuning ranges is relatively subjective. Milne himself has described the diamond tuning ranges as "convenient mathematical fictions", and proposed that the reality would be to define some sort of empirically obtained range of tunings over which a sample of participants can correctly identify that tuning's intervals in the way prescribed by the mapping. But realistically, that is an almost impossible question to even ask of participants, and relies upon all sorts of a priori assumptions about categorizations of intervals by their ratio, which is quite possibly an entirely bogus notion. | ||
[[Paul Erlich]] has proposed other tuning ranges, such as the set of regular tunings in which the temperament has up to 2×, 5×, 10× etc. its optimal damage under some metric (such as [[Kees_height|KE]]), or a set of absolute cutoffs on damage applied across all temperaments, though there could be no objective value for such cutoffs that would be both amenable to the entire community as well as useful for the entire set of regular temperaments (including extreme cases like [[macrotemperaments]] and [[microtemperaments]]). | [[Paul Erlich]] has proposed other tuning ranges, such as the set of regular tunings in which the temperament has up to 2×, 5×, 10× etc. its optimal damage under some metric (such as [[Kees_height|KE]]), or a set of absolute cutoffs on damage applied across all temperaments, though there could be no objective value for such cutoffs that would be both amenable to the entire community as well as useful for the entire set of regular temperaments (including extreme cases like [[macrotemperaments]] and [[microtemperaments]]). | ||
[[Dave Keenan]] has proposed the range over which there is not a "better" temperament that maps the generators differently, for some definition of "better", likely taking into account both error and complexity. | |||
Others have proposed the [[step ratio spectrum]] as a helpful way of thinking about tuning ranges. | Others have proposed the [[step ratio spectrum]] as a helpful way of thinking about tuning ranges. | ||
| Line 61: | Line 79: | ||
== References == | == References == | ||
<references/> | <references/> | ||
[[Category:Math]] | [[Category:Math]] | ||
[[Category: | [[Category:Regular temperament theory]] | ||
[[Category:Tuning]] | [[Category:Tuning]] | ||
[[Category:Terms]] | |||
[[Category:Diamond]] | |||
[[Category:todo:simplify]] | [[Category:todo:simplify]] | ||