Regular temperament: Difference between revisions
Wikispaces>genewardsmith **Imported revision 237477747 - Original comment: ** |
Wikispaces>genewardsmith **Imported revision 237481103 - 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>2011-06-18 | : This revision was by author [[User:genewardsmith|genewardsmith]] and made on <tt>2011-06-18 18:02:50 UTC</tt>.<br> | ||
: The original revision id was <tt> | : The original revision id was <tt>237481103</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> | ||
<h4>Original Wikitext content:</h4> | <h4>Original Wikitext content:</h4> | ||
<div style="width:100%; max-height:400pt; overflow:auto; background-color:#f8f9fa; border: 1px solid #eaecf0; padding:0em"><pre style="margin:0px;border:none;background:none;word-wrap:break-word;white-space: pre-wrap ! important" class="old-revision-html">An //abstract regular temperament// is a [[regular temperament]] considered apart from any consideration of tuning, which classifies all of its tunings as tunings of the single abstract temperament. Various methods have been proposed for uniquely characterizing an abstract regular temperament. Among these are | <div style="width:100%; max-height:400pt; overflow:auto; background-color:#f8f9fa; border: 1px solid #eaecf0; padding:0em"><pre style="margin:0px;border:none;background:none;word-wrap:break-word;white-space: pre-wrap ! important" class="old-revision-html">[[toc|flat]] | ||
An //abstract regular temperament// is a [[regular temperament]] considered apart from any consideration of tuning, which classifies all of its tunings as tunings of the single abstract temperament. Various methods have been proposed for uniquely characterizing an abstract regular temperament. Among these are | |||
* **The [[Wedgies and Multivals|wedgie]]** | * **The [[Wedgies and Multivals|wedgie]]** | ||
| Line 31: | Line 33: | ||
For example, if we feed [<22 35 51 62|, <31 49 72 87|, <84 133 195 236|] into a reduced row echelon form routine, we obtain [<1 0 3 1|, <0 1 -3/7 8/7|, <0 0 0 0|]. Stripping off the zero val in the final row, we get E = [<1 0 3 1|, <0 1 -3/7 8/7|]. The monzo for 7/6 is |-1 -1 0 1>, and |-1 -1 0 1>E* = [0 1/7]. Multiply by |1 0 0 0>, the val for 2, and the result is |1 0 0 0>E*, which is [1 0]. We have in fact 7-limit orwell temperament, with period 2 and generator approximately 7/6. | For example, if we feed [<22 35 51 62|, <31 49 72 87|, <84 133 195 236|] into a reduced row echelon form routine, we obtain [<1 0 3 1|, <0 1 -3/7 8/7|, <0 0 0 0|]. Stripping off the zero val in the final row, we get E = [<1 0 3 1|, <0 1 -3/7 8/7|]. The monzo for 7/6 is |-1 -1 0 1>, and |-1 -1 0 1>E* = [0 1/7]. Multiply by |1 0 0 0>, the val for 2, and the result is |1 0 0 0>E*, which is [1 0]. We have in fact 7-limit orwell temperament, with period 2 and generator approximately 7/6. | ||
=Translation between methods of specifying temperaments= | |||
The various methods for specifying an abstract regular temperament can be translated from one to another. Below we explain how to translate to and from reduced row echelon form (RREF.) The point of using RREF as the transportation hub is that while it in some ways not a very good system for musical purposes, it is quick and easy to compute, with no requirement to use Smith or Hermite normal forms or to make use of the pseudoinverse in its full generality. | |||
==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 n = pi(p) is the number of primes in the p-limit) take a wedge product of basis vectors involving r-1 basis elements (ie, the wedge product of r-1 elements represent 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 r-1 basis elements to obtain n choose r-1 vals, and reduce the result to an RREF by the usual Gaussian reduction. If possible, this should be done using rational arthimetic, not floating point numbers. | |||
==Frobenius projection maps== | |||
To translate from the Frobenius matrix to the RREF, simply reduce the matrix to RREF form in the usual way. To translate from RREF to | |||
the Frobenius matrix, if E is the RREF form then the matrix is E`E. Here the definition for the pseudoinverse E` using only matrix inverse and transpose can be used. | |||
==The normal val list== | |||
To translate from the normal val list to the RREF, simply reduce the normal val list. To obtain the normal val list from the RREF, clear denominators from the rows of the RREF, saturate the result, reduce that to Hermite normal form and make the adjustment to normal val form. | |||
==The normal comma list== | |||
To translate from the normal comma list to the RREF, find the null space of the matrix of monzos of the normal comma list in form of a matrix, take the transpose of that matrix, and reduce to the RREF. If E is the RREF, to find the normal comma list first find the Frobenius projection map by computing I - M`M, where I is the identity matrix. Clear denominators from this, and saturate. Then reverse rows, reduce to Hermite normal form, reverse rows again, and adjust the result so that the monzos represent commas greater than one. | |||
Maple code for the parts of this which do not call the Maple functions for Hermite normal form, Smith normal form or the pseudoinverse can be found [[Basic abstract temperament translation code|here]]. | |||
=The Geometry of Regular Temperaments= | =The Geometry of Regular Temperaments= | ||
| Line 40: | Line 61: | ||
[[image:dualzoom.gif]] | [[image:dualzoom.gif]] | ||
</pre></div> | |||
<h4>Original HTML content:</h4> | <h4>Original HTML content:</h4> | ||
<div style="width:100%; max-height:400pt; overflow:auto; background-color:#f8f9fa; border: 1px solid #eaecf0; padding:0em"><pre style="margin:0px;border:none;background:none;word-wrap:break-word;width:200%;white-space: pre-wrap ! important" class="old-revision-html"><html><head><title>Regular temperament</title></head><body>An <em>abstract regular temperament</em> is a <a class="wiki_link" href="/regular%20temperament">regular temperament</a> considered apart from any consideration of tuning, which classifies all of its tunings as tunings of the single abstract temperament. Various methods have been proposed for uniquely characterizing an abstract regular temperament. Among these are<br /> | <div style="width:100%; max-height:400pt; overflow:auto; background-color:#f8f9fa; border: 1px solid #eaecf0; padding:0em"><pre style="margin:0px;border:none;background:none;word-wrap:break-word;width:200%;white-space: pre-wrap ! important" class="old-revision-html"><html><head><title>Regular temperament</title></head><body><!-- ws:start:WikiTextTocRule:12:&lt;img id=&quot;wikitext@@toc@@flat&quot; class=&quot;WikiMedia WikiMediaTocFlat&quot; title=&quot;Table of Contents&quot; src=&quot;/site/embedthumbnail/toc/flat?w=100&amp;h=16&quot;/&gt; --><!-- ws:end:WikiTextTocRule:12 --><!-- ws:start:WikiTextTocRule:13: --><a href="#Translation between methods of specifying temperaments">Translation between methods of specifying temperaments</a><!-- ws:end:WikiTextTocRule:13 --><!-- ws:start:WikiTextTocRule:14: --><!-- ws:end:WikiTextTocRule:14 --><!-- ws:start:WikiTextTocRule:15: --><!-- ws:end:WikiTextTocRule:15 --><!-- ws:start:WikiTextTocRule:16: --><!-- ws:end:WikiTextTocRule:16 --><!-- ws:start:WikiTextTocRule:17: --><!-- ws:end:WikiTextTocRule:17 --><!-- ws:start:WikiTextTocRule:18: --> | <a href="#The Geometry of Regular Temperaments">The Geometry of Regular Temperaments</a><!-- ws:end:WikiTextTocRule:18 --><!-- ws:start:WikiTextTocRule:19: --> | ||
<!-- ws:end:WikiTextTocRule:19 --><br /> | |||
An <em>abstract regular temperament</em> is a <a class="wiki_link" href="/regular%20temperament">regular temperament</a> considered apart from any consideration of tuning, which classifies all of its tunings as tunings of the single abstract temperament. Various methods have been proposed for uniquely characterizing an abstract regular temperament. Among these are<br /> | |||
<br /> | <br /> | ||
<ul><li><strong>The <a class="wiki_link" href="/Wedgies%20and%20Multivals">wedgie</a></strong></li></ul>This uses <a class="wiki_link_ext" href="http://en.wikipedia.org/wiki/Exterior_algebra" rel="nofollow">multilinear algebra</a> to define a unique reduced wedge product uniquely associated to the abstract regular temperament. The intervals of the temperament, as an abstract group, may be defined by the <a class="wiki_link_ext" href="http://mathworld.wolfram.com/InteriorProduct.html" rel="nofollow">interior product</a> of a <a class="wiki_link" href="/Wedgies%20and%20Multivals">wedgie</a> for a p-limit temperament with the p-limit monzos. <br /> | <ul><li><strong>The <a class="wiki_link" href="/Wedgies%20and%20Multivals">wedgie</a></strong></li></ul>This uses <a class="wiki_link_ext" href="http://en.wikipedia.org/wiki/Exterior_algebra" rel="nofollow">multilinear algebra</a> to define a unique reduced wedge product uniquely associated to the abstract regular temperament. The intervals of the temperament, as an abstract group, may be defined by the <a class="wiki_link_ext" href="http://mathworld.wolfram.com/InteriorProduct.html" rel="nofollow">interior product</a> of a <a class="wiki_link" href="/Wedgies%20and%20Multivals">wedgie</a> for a p-limit temperament with the p-limit monzos. <br /> | ||
| Line 70: | Line 85: | ||
For example, if we feed [&lt;22 35 51 62|, &lt;31 49 72 87|, &lt;84 133 195 236|] into a reduced row echelon form routine, we obtain [&lt;1 0 3 1|, &lt;0 1 -3/7 8/7|, &lt;0 0 0 0|]. Stripping off the zero val in the final row, we get E = [&lt;1 0 3 1|, &lt;0 1 -3/7 8/7|]. The monzo for 7/6 is |-1 -1 0 1&gt;, and |-1 -1 0 1&gt;E* = [0 1/7]. Multiply by |1 0 0 0&gt;, the val for 2, and the result is |1 0 0 0&gt;E*, which is [1 0]. We have in fact 7-limit orwell temperament, with period 2 and generator approximately 7/6.<br /> | For example, if we feed [&lt;22 35 51 62|, &lt;31 49 72 87|, &lt;84 133 195 236|] into a reduced row echelon form routine, we obtain [&lt;1 0 3 1|, &lt;0 1 -3/7 8/7|, &lt;0 0 0 0|]. Stripping off the zero val in the final row, we get E = [&lt;1 0 3 1|, &lt;0 1 -3/7 8/7|]. The monzo for 7/6 is |-1 -1 0 1&gt;, and |-1 -1 0 1&gt;E* = [0 1/7]. Multiply by |1 0 0 0&gt;, the val for 2, and the result is |1 0 0 0&gt;E*, which is [1 0]. We have in fact 7-limit orwell temperament, with period 2 and generator approximately 7/6.<br /> | ||
<br /> | <br /> | ||
<!-- ws:start:WikiTextHeadingRule:0:&lt;h1&gt; --><h1 id="toc0"><a name=" | <!-- ws:start:WikiTextHeadingRule:0:&lt;h1&gt; --><h1 id="toc0"><a name="Translation between methods of specifying temperaments"></a><!-- ws:end:WikiTextHeadingRule:0 -->Translation between methods of specifying temperaments</h1> | ||
<br /> | <br /> | ||
The various methods for specifying an abstract regular temperament can be translated from one to another. Below we explain how to translate to and from reduced row echelon form (RREF.) The point of using RREF as the transportation hub is that while it in some ways not a very good system for musical purposes, it is quick and easy to compute, with no requirement to use Smith or Hermite normal forms or to make use of the pseudoinverse in its full generality.<br /> | |||
<br /> | |||
<!-- ws:start:WikiTextHeadingRule:2:&lt;h2&gt; --><h2 id="toc1"><a name="Translation between methods of specifying temperaments-Wedgies"></a><!-- ws:end:WikiTextHeadingRule:2 -->Wedgies</h2> | |||
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 n = pi(p) is the number of primes in the p-limit) take a wedge product of basis vectors involving r-1 basis elements (ie, the wedge product of r-1 elements represent 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 r-1 basis elements to obtain n choose r-1 vals, and reduce the result to an RREF by the usual Gaussian reduction. If possible, this should be done using rational arthimetic, not floating point numbers.<br /> | |||
<br /> | |||
<!-- ws:start:WikiTextHeadingRule:4:&lt;h2&gt; --><h2 id="toc2"><a name="Translation between methods of specifying temperaments-Frobenius projection maps"></a><!-- ws:end:WikiTextHeadingRule:4 -->Frobenius projection maps</h2> | |||
To translate from the Frobenius matrix to the RREF, simply reduce the matrix to RREF form in the usual way. To translate from RREF to <br /> | |||
the Frobenius matrix, if E is the RREF form then the matrix is E`E. Here the definition for the pseudoinverse E` using only matrix inverse and transpose can be used.<br /> | |||
<br /> | |||
<!-- ws:start:WikiTextHeadingRule:6:&lt;h2&gt; --><h2 id="toc3"><a name="Translation between methods of specifying temperaments-The normal val list"></a><!-- ws:end:WikiTextHeadingRule:6 -->The normal val list</h2> | |||
To translate from the normal val list to the RREF, simply reduce the normal val list. To obtain the normal val list from the RREF, clear denominators from the rows of the RREF, saturate the result, reduce that to Hermite normal form and make the adjustment to normal val form.<br /> | |||
<br /> | |||
<!-- ws:start:WikiTextHeadingRule:8:&lt;h2&gt; --><h2 id="toc4"><a name="Translation between methods of specifying temperaments-The normal comma list"></a><!-- ws:end:WikiTextHeadingRule:8 -->The normal comma list</h2> | |||
To translate from the normal comma list to the RREF, find the null space of the matrix of monzos of the normal comma list in form of a matrix, take the transpose of that matrix, and reduce to the RREF. If E is the RREF, to find the normal comma list first find the Frobenius projection map by computing I - M`M, where I is the identity matrix. Clear denominators from this, and saturate. Then reverse rows, reduce to Hermite normal form, reverse rows again, and adjust the result so that the monzos represent commas greater than one.<br /> | |||
<br /> | <br /> | ||
Maple code for the parts of this which do not call the Maple functions for Hermite normal form, Smith normal form or the pseudoinverse can be found <a class="wiki_link" href="/Basic%20abstract%20temperament%20translation%20code">here</a>. <br /> | |||
<br /> | <br /> | ||
<!-- ws:start: | <!-- ws:start:WikiTextHeadingRule:10:&lt;h1&gt; --><h1 id="toc5"><a name="The Geometry of Regular Temperaments"></a><!-- ws:end:WikiTextHeadingRule:10 -->The Geometry of Regular Temperaments</h1> | ||
<br /> | <br /> | ||
< | Abstract regular temperaments can be identified with <a class="wiki_link_ext" href="http://en.wikipedia.org/wiki/Rational_point" rel="nofollow">rational points</a> on an <a class="wiki_link_ext" href="http://en.wikipedia.org/wiki/Algebraic_variety" rel="nofollow">algebraic variety</a> known as a <a class="wiki_link_ext" href="http://en.wikipedia.org/wiki/Grassmannian" rel="nofollow">Grassmannian</a>. 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 <strong>Gr</strong>(r, n) has points identified with the r-dimensional subspaces of the n-dimensional real vector space <strong>R</strong>^n. This has an embedding into a real vector space known as the <a class="wiki_link_ext" href="http://en.wikipedia.org/wiki/Pl%C3%BCcker_embedding" rel="nofollow">Plücker embedding</a>, 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 <strong>Gr</strong>(r, n), though we should note that most of these do not correspond to anything worth much as a temperament.<br /> | ||
<br /> | <br /> | ||
< | Grassmannians have the structure of a smooth, homogenous <a class="wiki_link_ext" href="http://en.wikipedia.org/wiki/Metric_space" rel="nofollow">metric space</a>, and hence represent a distinctly geometric mathematical object. In the 5-limit, the Grassmannian <strong>Gr</strong>(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.<br /> | ||
<br /> | <br /> | ||
<!-- ws:start: | <!-- ws:start:WikiTextLocalImageRule:44:&lt;img src=&quot;/file/view/dualzoom.gif/203369636/dualzoom.gif&quot; alt=&quot;&quot; title=&quot;&quot; /&gt; --><img src="/file/view/dualzoom.gif/203369636/dualzoom.gif" alt="dualzoom.gif" title="dualzoom.gif" /><!-- ws:end:WikiTextLocalImageRule:44 --></body></html></pre></div> | ||