Projection: Difference between revisions
ArrowHead294 (talk | contribs) m Markup formatting |
Remove contentious "beginner" template ย |
||
| (3 intermediate revisions by 3 users not shown) | |||
| Line 251: | Line 251: | ||
=== With respect to the generator tuning map === | === With respect to the generator tuning map === | ||
A more common way to view the tuning of a temperament than as a generator ''embedding'' is as a [[generator tuning map|generator ''tuning map'']]. In cases where tuning is thought of as approximation followed by embedding, the generator tuning map <math>๐</math> is closely related to the generator embedding <math>G</math>; it is simply <math>G</math> left-multiplied by the [[just tuning map]] <math>๐</math><ref group="note">Similarly, the projection matrix, when left-multiplied by <math>๐</math>, gives the ''temperament'' [[tuning map]] <math>๐</math>, usually referred to simply as the "tuning map" for short. 1/4-comma meantone's <math>๐</math> is {{map|1.000 1.585 2.232}}ยท{{ket|{{map|1 1 0}} {{map|0 0 0}} {{map|0 1/4 1}}}} = {{map|1.000 1.580 2.232}}. This is clearly closely related to the just tuning map, which represents the tuning of JI.</ref> (see [[Dave Keenan & Douglas Blumeyer's guide to RTT | A more common way to view the tuning of a temperament than as a generator ''embedding'' is as a [[generator tuning map|generator ''tuning map'']]. In cases where tuning is thought of as approximation followed by embedding, the generator tuning map <math>๐</math> is closely related to the generator embedding <math>G</math>; it is simply <math>G</math> left-multiplied by the [[just tuning map]] <math>๐</math><ref group="note">Similarly, the projection matrix, when left-multiplied by <math>๐</math>, gives the ''temperament'' [[tuning map]] <math>๐</math>, usually referred to simply as the "tuning map" for short. 1/4-comma meantone's <math>๐</math> is {{map|1.000 1.585 2.232}}ยท{{ket|{{map|1 1 0}} {{map|0 0 0}} {{map|0 1/4 1}}}} = {{map|1.000 1.580 2.232}}. This is clearly closely related to the just tuning map, which represents the tuning of JI.</ref> (see [[Dave Keenan & Douglas Blumeyer's guide to RTT/Units analysis#Just tuning map, generator embedding: generator tuning map]]). For example, since meantone is 5-limit, its just tuning map is {{map|logโ2 logโ3 logโ5}} โ {{map|1.000 1.585 2.232}}, so 1/4-comma meantone's <math>๐</math> is {{map|1.000 1.585 2.232}}ยท{{rbra|{{vector|1 0 0}} {{vector|0 0 1/4}}}} = {{map|1.000 0.580}}, or in cents instead of octaves, that's {{rbra|1200.000 696.578}}. ย | ||
Many popular regular temperament tuning schemes work by optimizing for the entries of <math>๐</math> directly, and many times it's not helpful or insightful to view the generators in non-integer vector form, which are reasons for <math>๐</math>'s popularity over <math>G</math>. Some practitioners may not even view tuning as an optimization problem and will simply choose values for <math>๐</math> on gut feeling. This is all to say that this idea of approximating and then re-embedding, AKA projecting, is not an inherently necessary feature of RTT; it is only one way to look at it which may be valuable to some musicians and theoreticians but completely bonkers-seeming and convoluted to others. | Many popular regular temperament tuning schemes work by optimizing for the entries of <math>๐</math> directly, and many times it's not helpful or insightful to view the generators in non-integer vector form, which are reasons for <math>๐</math>'s popularity over <math>G</math>. Some practitioners may not even view tuning as an optimization problem and will simply choose values for <math>๐</math> on gut feeling. This is all to say that this idea of approximating and then re-embedding, AKA projecting, is not an inherently necessary feature of RTT; it is only one way to look at it which may be valuable to some musicians and theoreticians but completely bonkers-seeming and convoluted to others. | ||
| Line 272: | Line 272: | ||
The subscripts indicate which primes and which generators are related. So the columns, as previously stated, correspond to the two generators of the temperament, gโ and gโ, while the rows correspond to the three primes for this temperament, pโ, pโ, and pโ, which are primes 2, 3, and 5, respectively. | The subscripts indicate which primes and which generators are related. So the columns, as previously stated, correspond to the two generators of the temperament, gโ and gโ, while the rows correspond to the three primes for this temperament, pโ, pโ, and pโ, which are primes 2, 3, and 5, respectively. | ||
See also [[Dave Keenan & Douglas Blumeyer's guide to RTT | See also [[Dave Keenan & Douglas Blumeyer's guide to RTT/Units analysis]], and/or the [[#Units|Units]] section later in this article for more details. | ||
== Uniqueness == | == Uniqueness == | ||
| Line 431: | Line 431: | ||
=== Keeping the mapping and generator embedding in sync === | === Keeping the mapping and generator embedding in sync === | ||
The way to transform from one mapping form <math>M_1</math> to another equivalent mapping form <math>M_2</math> is to perform elementary row operations, the most common of which is to add some multiple of one row to another (or subtract some multiple of one row from another). For more information on this, please see [[Dave Keenan & Douglas Blumeyer's guide to RTT | The way to transform from one mapping form <math>M_1</math> to another equivalent mapping form <math>M_2</math> is to perform elementary row operations, the most common of which is to add some multiple of one row to another (or subtract some multiple of one row from another). For more information on this, please see [[Dave Keenan & Douglas Blumeyer's guide to RTT/Mappings#Adding and subtracting rows|the detailed explanation here]]. Similarly, we can transform from one generator embedding <math>G_1</math> to another equivalent generator embedding <math>G_2</math> by performing elementary ''column'' operations. ย | ||
Supposing one desires to transform from a pair of <math>M_1</math> and <math>G_1</math> to another pair of <math>M_2</math> and <math>G_2</math> where both pairs multiply to the same <math>P</math>, or—said another way—you wish to keep your <math>M</math> and <math>G</math> ''in sync'', the simplest approach would be to—for each elementary row operation you apply to <math>M</math> you must apply the opposite elementary column operation to <math>G</math>, e.g. if you add three times the second row to the first row of <math>M</math>, then you must ''subtract'' three times the second ''column'' from the first ''column'' of <math>G</math>. This is along the same lines as the explanations provided for manipulating generator form by changing forms of <math>M</math>, which you can find here: [[Generator form manipulation]]. | Supposing one desires to transform from a pair of <math>M_1</math> and <math>G_1</math> to another pair of <math>M_2</math> and <math>G_2</math> where both pairs multiply to the same <math>P</math>, or—said another way—you wish to keep your <math>M</math> and <math>G</math> ''in sync'', the simplest approach would be to—for each elementary row operation you apply to <math>M</math> you must apply the opposite elementary column operation to <math>G</math>, e.g. if you add three times the second row to the first row of <math>M</math>, then you must ''subtract'' three times the second ''column'' from the first ''column'' of <math>G</math>. This is along the same lines as the explanations provided for manipulating generator form by changing forms of <math>M</math>, which you can find here: [[Generator form manipulation]]. | ||
| Line 796: | Line 796: | ||
In the first several of the following subsections, we examine units-only analyses of some RTT objects; for simpler of examples of these, see [[Dave Keenan & Douglas Blumeyer's guide to RTT | In the first several of the following subsections, we examine units-only analyses of some RTT objects; for simpler of examples of these, see [[Dave Keenan & Douglas Blumeyer's guide to RTT/Units analysis#Units-only analyses]]. Then the last few sections are more general units analyses. | ||
=== Generator embedding, mapping: Projection matrix === | === Generator embedding, mapping: Projection matrix === | ||
| Line 1,167: | Line 1,167: | ||
=== The JI mapping times the JI generator embedding === | === The JI mapping times the JI generator embedding === | ||
This situation is a variation upon the situation [[Dave Keenan & Douglas Blumeyer's guide to RTT | This situation is a variation upon the situation [[Dave Keenan & Douglas Blumeyer's guide to RTT/Units analysis#Cancelation|described here]], where the projection matrix <math>P</math> is derived as the matrix product of the generator embedding matrix <math>G</math> and the temperament mapping matrix <math>M</math>. What we're going to do here is work through the variation where it's the ''JI'' embedding matrix <math>G_{\text{j}}</math> and the ''JI'' mapping matrix <math>M_{\text{j}}</math>. ย | ||
The key difference here is that both of these matrices are [[identity matrix|identity matrices]]. Thus, upon multiplying them, the result is ''also'' an identity matrix. ย | The key difference here is that both of these matrices are [[identity matrix|identity matrices]]. Thus, upon multiplying them, the result is ''also'' an identity matrix. ย | ||
| Line 1,467: | Line 1,467: | ||
=== The comma basis === | === The comma basis === | ||
To obtain the comma basis from <math>P</math>, simply take the nullspace as you would take it of the mapping (see [[Dave Keenan & Douglas Blumeyer's guide to RTT | To obtain the comma basis from <math>P</math>, simply take the nullspace as you would take it of the mapping (see [[Dave Keenan & Douglas Blumeyer's guide to RTT/Exploring temperaments#Nullspace]] for more information). ย | ||
Remember, the mapping represents the temperament, and the projection represents a particular tuning of this temperament, so no matter which projection we use, while they will each have their own unchanged-intervals, they will share the same commas: the commas of the temperament. | Remember, the mapping represents the temperament, and the projection represents a particular tuning of this temperament, so no matter which projection we use, while they will each have their own unchanged-intervals, they will share the same commas: the commas of the temperament. | ||
| Line 1,477: | Line 1,477: | ||
An alternative method for finding <math>\textrm{C}</math> is discussed in the "Alternative method for the comma and unchanged-interval bases" section below. | An alternative method for finding <math>\textrm{C}</math> is discussed in the "Alternative method for the comma and unchanged-interval bases" section below. | ||
=== The unchanged-interval | === The unchanged-interval basis === | ||
The '''unchanged-interval basis''' of a tuning is the [[basis]] for all of its [[unchanged-interval]]s. ย | The '''unchanged-interval basis''' of a tuning is the [[basis]] for all of its [[unchanged-interval]]s. ย | ||
| Line 1,511: | Line 1,511: | ||
=== The mapping === | === The mapping === | ||
To obtain (some form of) the mapping from a projection, find its comma basis per the above, then take the nullspace of that comma basis to get the mapping. For more information, see [[Dave Keenan & Douglas Blumeyer's guide to RTT | To obtain (some form of) the mapping from a projection, find its comma basis per the above, then take the nullspace of that comma basis to get the mapping. For more information, see [[Dave Keenan & Douglas Blumeyer's guide to RTT/Exploring temperaments#Nullspace]]. | ||
| Line 1,578: | Line 1,578: | ||
For a simpler take on this idea which doesn't involve the projection matrix, see [[Dave Keenan & Douglas Blumeyer's guide to RTT | For a simpler take on this idea which doesn't involve the projection matrix, see [[Dave Keenan & Douglas Blumeyer's guide to RTT/Tuning computation#Solving for the generators]]. | ||
=== The unrotated vectors and scaling factors === | === The unrotated vectors and scaling factors === | ||
| Line 1,655: | Line 1,655: | ||
The basic idea is that any two commas' projections are the zero vector, so an indefinite number of these may be combined with each other. And any unchanged-interval's projection is equal to itself, so an indefinite number of these may be combined as well. But any interval that is a combination of some number of unchanged-intervals and some number of commas will have the comma part projected to zero but the unchanged-interval part left alone, and thus be rotated by the projection. In other words, only intervals with the same scaling factor can be combined and still remain unrotated, which is to say that the commas form one type of unrotated vector basis and the unchanged-intervals form another type of unrotated vector basis, but these bases do not combine into one basis together. | The basic idea is that any two commas' projections are the zero vector, so an indefinite number of these may be combined with each other. And any unchanged-interval's projection is equal to itself, so an indefinite number of these may be combined as well. But any interval that is a combination of some number of unchanged-intervals and some number of commas will have the comma part projected to zero but the unchanged-interval part left alone, and thus be rotated by the projection. In other words, only intervals with the same scaling factor can be combined and still remain unrotated, which is to say that the commas form one type of unrotated vector basis and the unchanged-intervals form another type of unrotated vector basis, but these bases do not combine into one basis together. | ||
That said, <math>V</math> must still be full-rank, meaning there is some relationship between the comma vectors and the unchanged-interval vectors. Specifically, it means that no unchanged-interval can be a linear combination of other unchanged-intervals and commas. If any were, we'd find an impossible situation, such as two unchanged-intervals off by a comma, so neither interval can change, yet they must both project to the same thing. For another take on this idea, see [[Dave Keenan & Douglas Blumeyer's guide to RTT | That said, <math>V</math> must still be full-rank, meaning there is some relationship between the comma vectors and the unchanged-interval vectors. Specifically, it means that no unchanged-interval can be a linear combination of other unchanged-intervals and commas. If any were, we'd find an impossible situation, such as two unchanged-intervals off by a comma, so neither interval can change, yet they must both project to the same thing. For another take on this idea, see [[Dave Keenan & Douglas Blumeyer's guide to RTT/Tuning computation#Edge cases]]. | ||
== Generator information types == | == Generator information types == | ||
| Line 1,704: | Line 1,704: | ||
== See also == | == See also == | ||
* [[ | * [[Projection matrices]]: a more mathematical discussion of these ideas | ||
* [[Eigenmonzo basis]]: an alternative conceptualization for the unchanged-interval basis | * [[Eigenmonzo basis]]: an alternative conceptualization for the unchanged-interval basis | ||