Mathematical theory of regular temperaments: Difference between revisions

(2 intermediate revisions by one other user not shown)

Line 62:

=== Just intonation subgroups and transversals ===

A relatively concrete approach, but one which is not canonically defined, is to define a [[transversal]] for the temperament by giving generators for a just intonation subgroup which when tempered becomes the notes of the temperament.

Line 71:

Line 72:

Maple code for the parts of these which do not call the Maple functions for Hermite normal form, Smith normal form or the pseudoinverse can be found in the article [[Basic abstract temperament translation code]].

~~=== Wedgies ===~~

To translate to wedgies from RREF simply take the wedge product of the rows of the RREF and then reduce the resulting multivector to a wedgie. To translate from wedgies to RREF, for a wedgie of rank ''r'' in ''n'' dimensions (where {{nowrap|''n'' {{=}} π(''p'')}} is the number of primes in the ''p''-limit) take a wedge product of basis vectors involving {{nowrap|''r'' − 1}} basis elements (i.e., the wedge product of {{nowrap|''r'' − 1}} elements representing primes) and wedge these with the basis element for each prime, obtaining either 0 or an ''r''-fold wedge product with sign ±1. Take the corresponding element of the wedgie times the ±1 sign (which is computed from the parity of the permutation of the ''r'' elements.) This gives a val; do this for every combination of {{nowrap|''r'' − 1}} basis elements to obtain ''n'' choose {{nowrap|''r'' − 1}} vals, and reduce the result to an RREF by the usual Gaussian reduction. If possible, this should be done using rational arithmetic, not floating point numbers.

~~An alternative explanation of this process is provided here: [[Intro to exterior algebra for RTT#Converting varianced multivectors to matrices]]~~

=== Frobenius projection matrices ===

Line 87:

Line 83:

== Geometry of regular temperaments ==

~~Abstract regular temperaments can be identified with~~ {{w|~~rational point~~}}s on an {{w|algebraic variety}} known as a {{w|Grassmannian}}. In particular, if the number of primes in the ''p''-limit is ''n'', and the rank of the temperament is ''r'', then the real Grassmannian '''Gr'''(''r'', ''n'') has points identified with the ''r''-dimensional subspaces of the ''n''-dimensional real vector space '''R'''<sup>''n''</sup>. This has an embedding into a real vector space known as the [[Plücker embedding]], which if the point in question corresponds to a temperament is the wedgie of the temperament. Regular temperaments of rank ''r'' in the ''p''-limit may be defined as rational points on '''Gr'''(''r'', ''n''), though we should note that most of these do not correspond to anything worth much as a temperament. In matrix terms, the real Grassmannian '''Gr'''(''r'', ''n'') can be identified with real symmetric projection matrices with trace ''r''. The rational symmetric projection matrices with trace ''r'' are precisely the Frobenius projections, so under this identification it is clear they represent rational points on '''Gr'''(''r'', ''n''). A rational projection matrix of trace ''r'' which is not symmetric is still a [[tuning map]]; minimax and least squares tunings provide examples of this.

Grassmannians have the structure of a smooth, homogenous {{w|metric space}}, and hence represent a distinctly geometric mathematical object. In the 5-limit, the Grassmannian '''Gr'''(2, 3), consisting of the planes through the origin in three dimensional space, may be identified with the projective plane, and hence 5-limit rank two temperaments may be pictured as points in a projective plane, as below (known as "projective tone space").

See also [[equivalence continuum]] for a description of the space of rank-''r'' temperaments supported by a given temperament, such as a rank-1 temperament, as an algebraic variety.

@@ Line 62: / Line 62: @@
 === Just intonation subgroups and transversals ===
 {{Main| Just intonation subgroups | Transversal }}
+{{See also| Gencom }}
 A relatively concrete approach, but one which is not canonically defined, is to define a [[transversal]] for the temperament by giving generators for a just intonation subgroup which when tempered becomes the notes of the temperament.
@@ Line 71: / Line 72: @@
 Maple code for the parts of these which do not call the Maple functions for Hermite normal form, Smith normal form or the pseudoinverse can be found in the article [[Basic abstract temperament translation code]].
-=== Wedgies ===
-To translate to wedgies from RREF simply take the wedge product of the rows of the RREF and then reduce the resulting multivector to a wedgie. To translate from wedgies to RREF, for a wedgie of rank ''r'' in ''n'' dimensions (where {{nowrap|''n'' {{=}} π(''p'')}} is the number of primes in the ''p''-limit) take a wedge product of basis vectors involving {{nowrap|''r'' − 1}} basis elements (i.e., the wedge product of {{nowrap|''r'' − 1}} elements representing primes) and wedge these with the basis element for each prime, obtaining either 0 or an ''r''-fold wedge product with sign ±1. Take the corresponding element of the wedgie times the ±1 sign (which is computed from the parity of the permutation of the ''r'' elements.) This gives a val; do this for every combination of {{nowrap|''r'' − 1}} basis elements to obtain ''n'' choose {{nowrap|''r'' − 1}} vals, and reduce the result to an RREF by the usual Gaussian reduction. If possible, this should be done using rational arithmetic, not floating point numbers.
-An alternative explanation of this process is provided here: [[Intro to exterior algebra for RTT#Converting varianced multivectors to matrices]]
 === Frobenius projection matrices ===
@@ Line 87: / Line 83: @@
 == Geometry of regular temperaments ==
-Abstract regular temperaments can be identified with {{w|rational point}}s on an {{w|algebraic variety}} known as a {{w|Grassmannian}}. In particular, if the number of primes in the ''p''-limit is ''n'', and the rank of the temperament is ''r'', then the real Grassmannian '''Gr'''(''r'',&nbsp;''n'') has points identified with the ''r''-dimensional subspaces of the ''n''-dimensional real vector space '''R'''<sup>''n''</sup>. This has an embedding into a real vector space known as the [[Plücker embedding]], which if the point in question corresponds to a temperament is the wedgie of the temperament. Regular temperaments of rank ''r'' in the ''p''-limit may be defined as rational points on '''Gr'''(''r'',&nbsp;''n''), though we should note that most of these do not correspond to anything worth much as a temperament. In matrix terms, the real Grassmannian '''Gr'''(''r'',&nbsp;''n'') can be identified with real symmetric projection matrices with trace ''r''. The rational symmetric projection matrices with trace ''r'' are precisely the Frobenius projections, so under this identification it is clear they represent rational points on '''Gr'''(''r'',&nbsp;''n''). A rational projection matrix of trace ''r'' which is not symmetric is still a [[tuning map]]; minimax and least squares tunings provide examples of this.
+{{Main|Plucker coordinates}}
-Grassmannians have the structure of a smooth, homogenous {{w|metric space}}, and hence represent a distinctly geometric mathematical object. In the 5-limit, the Grassmannian '''Gr'''(2,&nbsp;3), consisting of the planes through the origin in three dimensional space, may be identified with the projective plane, and hence 5-limit rank two temperaments may be pictured as points in a projective plane, as below (known as "projective tone space").
 See also [[equivalence continuum]] for a description of the space of rank-''r'' temperaments supported by a given temperament, such as a rank-1 temperament, as an algebraic variety.