Tenney–Euclidean metrics: Difference between revisions
Wikispaces>genewardsmith **Imported revision 175010471 - Original comment: ** |
Wikispaces>genewardsmith **Imported revision 175023807 - 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>2010-10-30 | : This revision was by author [[User:genewardsmith|genewardsmith]] and made on <tt>2010-10-30 20:37:46 UTC</tt>.<br> | ||
: The original revision id was <tt> | : The original revision id was <tt>175023807</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> | ||
| Line 12: | Line 12: | ||
Suppose now A is a matrix whose rows are vals defining a p-limit regular temperament. Then the corresponding weighted matrix is V = AW. The [[RMS tuning|TOP-RMS]] tuning matrix is then V`V, where V` is the pseudoinverse. If the rows of V (or equivalently, A) are linearly independent, then we have V` = V*(VV*)^(-1), where V* denotes the transpose. In terms of vals, the tuning projection matrix is P = V`V = V*(VV*)^(-1)V = WA*(AW^2A*)^(-1)AW. P is a [[http://en.wikipedia.org/wiki/Positive-definite_matrix|positive semidefinite matrix]], so it defines a [[http://en.wikipedia.org/wiki/Definite_bilinear_form|positive semidefinite bilinear form]]. In terms of weighted monzos m1 and m2, m1Pm2* defines the semidefinite form on weighted monzos, and hence b1W^(-1)PW^(-1)b2* defines a semidefinite form on unweighted monzos, in terms of the matrix W^(-1)WA*(AW^2A*)^(-1)AWW^(-1) = A*(AW^2A*)^(-1)A = **P**. From the semidefinite form we obtain an associated [[http://en.wikipedia.org/wiki/Definite_quadratic_form|semidefinite quadratic form]] b**P**b* and from this the [[http://en.wikipedia.org/wiki/Norm_%28mathematics%29|seminorm]] sqrt(b**P**b*). | Suppose now A is a matrix whose rows are vals defining a p-limit regular temperament. Then the corresponding weighted matrix is V = AW. The [[RMS tuning|TOP-RMS]] tuning matrix is then V`V, where V` is the pseudoinverse. If the rows of V (or equivalently, A) are linearly independent, then we have V` = V*(VV*)^(-1), where V* denotes the transpose. In terms of vals, the tuning projection matrix is P = V`V = V*(VV*)^(-1)V = WA*(AW^2A*)^(-1)AW. P is a [[http://en.wikipedia.org/wiki/Positive-definite_matrix|positive semidefinite matrix]], so it defines a [[http://en.wikipedia.org/wiki/Definite_bilinear_form|positive semidefinite bilinear form]]. In terms of weighted monzos m1 and m2, m1Pm2* defines the semidefinite form on weighted monzos, and hence b1W^(-1)PW^(-1)b2* defines a semidefinite form on unweighted monzos, in terms of the matrix W^(-1)WA*(AW^2A*)^(-1)AWW^(-1) = A*(AW^2A*)^(-1)A = **P**. From the semidefinite form we obtain an associated [[http://en.wikipedia.org/wiki/Definite_quadratic_form|semidefinite quadratic form]] b**P**b* and from this the [[http://en.wikipedia.org/wiki/Norm_%28mathematics%29|seminorm]] sqrt(b**P**b*). | ||
It may be noted that (VV*)^(-1) = (AW^2A)^(-1) is the inverse of the [[http://en.wikipedia.org/wiki/Gramian_matrix|Gram matrix]] used to compute [[RMS temperament measures|wedgie complexity]], and hence is the corresponding Gram matrix for the dual space. Hence **P** represents a change of basis defined by the mapping given by the vals combined with an inner product on the result. Given a monzo b, bA* represents the tempering of b in a basis defined by the mapping A, and (AW^2A)^(-1) defines a positive-definite quadratic form, and hence a norm, on the tempered interval space with basis defined by A. | It may be noted that (VV*)^(-1) = (AW^2A*)^(-1) is the inverse of the [[http://en.wikipedia.org/wiki/Gramian_matrix|Gram matrix]] used to compute [[RMS temperament measures|wedgie complexity]], and hence is the corresponding Gram matrix for the dual space. Hence **P** represents a change of basis defined by the mapping given by the vals combined with an inner product on the result. Given a monzo b, bA* represents the tempering of b in a basis defined by the mapping A, and //P// = (AW^2A*)^(-1) defines a positive-definite quadratic form, and hence a norm, on the tempered interval space with basis defined by A. | ||
Denoting the temperament-defined, or temperamental, seminorm by T(x), the subspace of interval space such that T(x) = 0 contains a sublattice of the lattice of monzos consisting of the commas of the temperament. The [[http://en.wikipedia.org/wiki/Quotient_space_%28linear_algebra%29|quotient space]] of the full vector space by the commatic subspace such that T(x) = 0 is now a [[http://en.wikipedia.org/wiki/Normed_vector_space|normed vector space]] with norm given by T, in which the intervals of the regular temperament define a lattice. The norm T on these lattice points is the //temperamental complexity// of the intervals of the regular temperament | Denoting the temperament-defined, or temperamental, seminorm by T(x), the subspace of interval space such that T(x) = 0 contains a sublattice of the lattice of monzos consisting of the commas of the temperament. The [[http://en.wikipedia.org/wiki/Quotient_space_%28linear_algebra%29|quotient space]] of the full vector space by the commatic subspace such that T(x) = 0 is now a [[http://en.wikipedia.org/wiki/Normed_vector_space|normed vector space]] with norm given by T, in which the intervals of the regular temperament define a lattice. The norm T on these lattice points is the //temperamental norm// or //temperamental complexity// of the intervals of the regular temperament; in terms of the basis defined by A, it is sqrt(t//P//t) where t is the image of a monzo b by t = bA* | ||
==OE complexity== | ==OE complexity== | ||
| Line 21: | Line 21: | ||
To define the OE, or octave equivalent seminorm, we simply add a row |1 0 0 ... 0> representing 2 to the matrix B. An alternative proceedure is to find the [[normal lists|normal val list]], and remove the first val from the list, corresponding to the octave or some fraction thereof, and proceed as in the previous section on temperamental complexity. | To define the OE, or octave equivalent seminorm, we simply add a row |1 0 0 ... 0> representing 2 to the matrix B. An alternative proceedure is to find the [[normal lists|normal val list]], and remove the first val from the list, corresponding to the octave or some fraction thereof, and proceed as in the previous section on temperamental complexity. | ||
Octaves are now projected to the origin as well as commas. We can as before form the quotient space with respect to the seminorm, and obtain a normed space in which octave-equivalent interval classes of the intervals of the temperament are the lattice points. The seminorm applied to monzos gives the OE complexity.</pre></div> | Octaves are now projected to the origin as well as commas. We can as before form the quotient space with respect to the seminorm, and obtain a normed space in which octave-equivalent interval classes of the intervals of the temperament are the lattice points. The seminorm applied to monzos gives the OE complexity. | ||
If we start from a normal val list and remove the first val, the remaining vals map to the octave classes of the notes of the temperament. If we call this reduced list of vals C, then the inner product on note classes in this basis is defined by the symmetric matrix O = (CW^(-2)C*)^(-1). For example, starting from the normal val list for gamelismic, the 1029/1024 temperament, which is [<1 1 0 3|, <0 3 0 -1|, <0 0 1 0|], we may remove the first val to obtain C = [<0 3 0 -1|, <0 0 1 0|]. From this we obtain O = [[0.26958 0], [0 5.39135]]. Since 3/2 maps to |3 0> by C, the note class defined by 3/2 is represented by k = |3 0>, and the OE complexity, or length, of this class is sqrt(kOk*), which is 1.55762. </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>Tenney-Euclidean metrics</title></head><body><!-- ws:start:WikiTextHeadingRule:0:&lt;h2&gt; --><h2 id="toc0"><a name="x-The weighting matrix"></a><!-- ws:end:WikiTextHeadingRule:0 -->The weighting matrix</h2> | <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>Tenney-Euclidean metrics</title></head><body><!-- ws:start:WikiTextHeadingRule:0:&lt;h2&gt; --><h2 id="toc0"><a name="x-The weighting matrix"></a><!-- ws:end:WikiTextHeadingRule:0 -->The weighting matrix</h2> | ||
| Line 29: | Line 31: | ||
Suppose now A is a matrix whose rows are vals defining a p-limit regular temperament. Then the corresponding weighted matrix is V = AW. The <a class="wiki_link" href="/RMS%20tuning">TOP-RMS</a> tuning matrix is then V`V, where V` is the pseudoinverse. If the rows of V (or equivalently, A) are linearly independent, then we have V` = V*(VV*)^(-1), where V* denotes the transpose. In terms of vals, the tuning projection matrix is P = V`V = V*(VV*)^(-1)V = WA*(AW^2A*)^(-1)AW. P is a <a class="wiki_link_ext" href="http://en.wikipedia.org/wiki/Positive-definite_matrix" rel="nofollow">positive semidefinite matrix</a>, so it defines a <a class="wiki_link_ext" href="http://en.wikipedia.org/wiki/Definite_bilinear_form" rel="nofollow">positive semidefinite bilinear form</a>. In terms of weighted monzos m1 and m2, m1Pm2* defines the semidefinite form on weighted monzos, and hence b1W^(-1)PW^(-1)b2* defines a semidefinite form on unweighted monzos, in terms of the matrix W^(-1)WA*(AW^2A*)^(-1)AWW^(-1) = A*(AW^2A*)^(-1)A = <strong>P</strong>. From the semidefinite form we obtain an associated <a class="wiki_link_ext" href="http://en.wikipedia.org/wiki/Definite_quadratic_form" rel="nofollow">semidefinite quadratic form</a> b<strong>P</strong>b* and from this the <a class="wiki_link_ext" href="http://en.wikipedia.org/wiki/Norm_%28mathematics%29" rel="nofollow">seminorm</a> sqrt(b<strong>P</strong>b*). <br /> | Suppose now A is a matrix whose rows are vals defining a p-limit regular temperament. Then the corresponding weighted matrix is V = AW. The <a class="wiki_link" href="/RMS%20tuning">TOP-RMS</a> tuning matrix is then V`V, where V` is the pseudoinverse. If the rows of V (or equivalently, A) are linearly independent, then we have V` = V*(VV*)^(-1), where V* denotes the transpose. In terms of vals, the tuning projection matrix is P = V`V = V*(VV*)^(-1)V = WA*(AW^2A*)^(-1)AW. P is a <a class="wiki_link_ext" href="http://en.wikipedia.org/wiki/Positive-definite_matrix" rel="nofollow">positive semidefinite matrix</a>, so it defines a <a class="wiki_link_ext" href="http://en.wikipedia.org/wiki/Definite_bilinear_form" rel="nofollow">positive semidefinite bilinear form</a>. In terms of weighted monzos m1 and m2, m1Pm2* defines the semidefinite form on weighted monzos, and hence b1W^(-1)PW^(-1)b2* defines a semidefinite form on unweighted monzos, in terms of the matrix W^(-1)WA*(AW^2A*)^(-1)AWW^(-1) = A*(AW^2A*)^(-1)A = <strong>P</strong>. From the semidefinite form we obtain an associated <a class="wiki_link_ext" href="http://en.wikipedia.org/wiki/Definite_quadratic_form" rel="nofollow">semidefinite quadratic form</a> b<strong>P</strong>b* and from this the <a class="wiki_link_ext" href="http://en.wikipedia.org/wiki/Norm_%28mathematics%29" rel="nofollow">seminorm</a> sqrt(b<strong>P</strong>b*). <br /> | ||
<br /> | <br /> | ||
It may be noted that (VV*)^(-1) = (AW^2A)^(-1) is the inverse of the <a class="wiki_link_ext" href="http://en.wikipedia.org/wiki/Gramian_matrix" rel="nofollow">Gram matrix</a> used to compute <a class="wiki_link" href="/RMS%20temperament%20measures">wedgie complexity</a>, and hence is the corresponding Gram matrix for the dual space. Hence <strong>P</strong> represents a change of basis defined by the mapping given by the vals combined with an inner product on the result. Given a monzo b, bA* represents the tempering of b in a basis defined by the mapping A, and (AW^2A)^(-1) defines a positive-definite quadratic form, and hence a norm, on the tempered interval space with basis defined by A.<br /> | It may be noted that (VV*)^(-1) = (AW^2A*)^(-1) is the inverse of the <a class="wiki_link_ext" href="http://en.wikipedia.org/wiki/Gramian_matrix" rel="nofollow">Gram matrix</a> used to compute <a class="wiki_link" href="/RMS%20temperament%20measures">wedgie complexity</a>, and hence is the corresponding Gram matrix for the dual space. Hence <strong>P</strong> represents a change of basis defined by the mapping given by the vals combined with an inner product on the result. Given a monzo b, bA* represents the tempering of b in a basis defined by the mapping A, and <em>P</em> = (AW^2A*)^(-1) defines a positive-definite quadratic form, and hence a norm, on the tempered interval space with basis defined by A.<br /> | ||
<br /> | <br /> | ||
Denoting the temperament-defined, or temperamental, seminorm by T(x), the subspace of interval space such that T(x) = 0 contains a sublattice of the lattice of monzos consisting of the commas of the temperament. The <a class="wiki_link_ext" href="http://en.wikipedia.org/wiki/Quotient_space_%28linear_algebra%29" rel="nofollow">quotient space</a> of the full vector space by the commatic subspace such that T(x) = 0 is now a <a class="wiki_link_ext" href="http://en.wikipedia.org/wiki/Normed_vector_space" rel="nofollow">normed vector space</a> with norm given by T, in which the intervals of the regular temperament define a lattice. The norm T on these lattice points is the <em>temperamental complexity</em> of the intervals of the regular temperament | Denoting the temperament-defined, or temperamental, seminorm by T(x), the subspace of interval space such that T(x) = 0 contains a sublattice of the lattice of monzos consisting of the commas of the temperament. The <a class="wiki_link_ext" href="http://en.wikipedia.org/wiki/Quotient_space_%28linear_algebra%29" rel="nofollow">quotient space</a> of the full vector space by the commatic subspace such that T(x) = 0 is now a <a class="wiki_link_ext" href="http://en.wikipedia.org/wiki/Normed_vector_space" rel="nofollow">normed vector space</a> with norm given by T, in which the intervals of the regular temperament define a lattice. The norm T on these lattice points is the <em>temperamental norm</em> or <em>temperamental complexity</em> of the intervals of the regular temperament; in terms of the basis defined by A, it is sqrt(t<em>P</em>t) where t is the image of a monzo b by t = bA*<br /> | ||
<br /> | <br /> | ||
<!-- ws:start:WikiTextHeadingRule:4:&lt;h2&gt; --><h2 id="toc2"><a name="x-OE complexity"></a><!-- ws:end:WikiTextHeadingRule:4 -->OE complexity</h2> | <!-- ws:start:WikiTextHeadingRule:4:&lt;h2&gt; --><h2 id="toc2"><a name="x-OE complexity"></a><!-- ws:end:WikiTextHeadingRule:4 -->OE complexity</h2> | ||
| Line 38: | Line 40: | ||
To define the OE, or octave equivalent seminorm, we simply add a row |1 0 0 ... 0&gt; representing 2 to the matrix B. An alternative proceedure is to find the <a class="wiki_link" href="/normal%20lists">normal val list</a>, and remove the first val from the list, corresponding to the octave or some fraction thereof, and proceed as in the previous section on temperamental complexity.<br /> | To define the OE, or octave equivalent seminorm, we simply add a row |1 0 0 ... 0&gt; representing 2 to the matrix B. An alternative proceedure is to find the <a class="wiki_link" href="/normal%20lists">normal val list</a>, and remove the first val from the list, corresponding to the octave or some fraction thereof, and proceed as in the previous section on temperamental complexity.<br /> | ||
<br /> | <br /> | ||
Octaves are now projected to the origin as well as commas. We can as before form the quotient space with respect to the seminorm, and obtain a normed space in which octave-equivalent interval classes of the intervals of the temperament are the lattice points. The seminorm applied to monzos gives the OE complexity.</body></html></pre></div> | Octaves are now projected to the origin as well as commas. We can as before form the quotient space with respect to the seminorm, and obtain a normed space in which octave-equivalent interval classes of the intervals of the temperament are the lattice points. The seminorm applied to monzos gives the OE complexity.<br /> | ||
<br /> | |||
If we start from a normal val list and remove the first val, the remaining vals map to the octave classes of the notes of the temperament. If we call this reduced list of vals C, then the inner product on note classes in this basis is defined by the symmetric matrix O = (CW^(-2)C*)^(-1). For example, starting from the normal val list for gamelismic, the 1029/1024 temperament, which is [&lt;1 1 0 3|, &lt;0 3 0 -1|, &lt;0 0 1 0|], we may remove the first val to obtain C = [&lt;0 3 0 -1|, &lt;0 0 1 0|]. From this we obtain O = [[0.26958 0], [0 5.39135]]. Since 3/2 maps to |3 0&gt; by C, the note class defined by 3/2 is represented by k = |3 0&gt;, and the OE complexity, or length, of this class is sqrt(kOk*), which is 1.55762.</body></html></pre></div> | |||