Tenney–Euclidean tuning
IMPORTED REVISION FROM WIKISPACES
This is an imported revision from Wikispaces. The revision metadata is included below for reference:
- This revision was by author genewardsmith and made on 2010-12-08 15:03:01 UTC.
- The original revision id was 186492863.
- The revision comment was:
The revision contents are below, presented both in the original Wikispaces Wikitext format, and in HTML exactly as Wikispaces rendered it.
Original Wikitext content:
Tenney-Euclidean tuning is a variant of [[TOP tuning]] which employs the [[Tenney-Euclidean metrics|TE norm]]. While there are theoretical arguments favoring TOP, the advantages of using a Euclidean norm provides a powerful argument in favor of TE tuning.
==Temperaments==
If we have k linearly independent [[Vals and Tuning Space|vals]] of dimension n, they will span a subspace of [[Vals and Tuning Space|tuning space]]. This subspace defines a regular temperament of rank k in the prime limit p, where p is the nth prime. Similarly, starting from n-k independent commas for the same regular temperament, the corresponding monzos span an n-k dimensional subspace of [[Monzos and Interval Space|interval space]]. Both the subspace of tuning space and the subspace of interval space characterize the temperament completely.
A question then arises as to how to choose a specific tuning for this temperament, which is the same as asking how to choose a point (vector) in this subspace of tuning space which provides a good tuning. One answer to this is RMS tuning.
==TE tuning==
If we put the (weighted) Euclidean metric on tuning space, leading to TE tuning space in weighted coordinates, it is easy to find the nearest point in the subspace to the JI point <1 1 ... 1|, and this closest point will define a tuning map which is called TE tuning (or TOP-RMS), a tuning which has been extensively studied by [[Graham Breed]]. We may also keep unweighted coordinates and use the TE norm on tuning space; in these coordinates the JI point is <1 log2(3) ... log2(p)|. The two approaches are equivalent.
One way to find this tuning is to use k parameters times the vals, leading to a parametrization of the subspace, and then to find the nearest point by least squares, differentiating the square of the distance to the JI point and solving the resulting linear equations. Another is to use the [[http://en.wikipedia.org/wiki/Moore%E2%80%93Penrose_pseudoinverse|Moore-Penrose pseudoinverse]].
===The pseudoinverse===
If A is an m**x**n matrix with real entries, and if we denote the pseudoinverse by A`, then it is defined as the n**x**m matrix such that
# AA`A = A. Hence, AA` maps the rows of A to itself and A`A the columns of A to itself.
# A`AA` = A
# A`A and AA` are symmetric matrices
From these properties it can be deduced that
* If A is invertible, its inverse is A`
* If A has rational entries, so does A`
* A`` = A
* The pseudoinverse of the transpose is the transpose of the pseudoinverse
* AA` is the orthogonal projection map onto the space spanned by the columns of A
* A`A is the orthogonal projection map onto the space spanned by the rows of A
* I - A`A, where I is the identity matrix, is the orthogonal projection map onto the kernel, or null space, of A
* If the rows of A are linearly independent, then A` = A*(AA*)^(-1), where A* is the transpose of A. This means the pseudoinverse can be found in this important special case by people who don't have a pseudoinverse routine available by using a matrix inverse routine.
* uA` is the nearest point to u in the subspace spanned by the rows of A; A`v is the nearest point to v in the space spanned by the columns of A.
===Computing TE tuning using pseudoinverses===
Suppose V is a matrix whose rows consist of vals in the weighted basis. No assumption need be made that the rows are linearly independent or that common factors ("torsion problems") cannot be found in some combination of the unweighted vals. If J is the JI point, <1 1 ... 1|, then JV` gives the TE tuning in the sense that it gives (not necessarily independent) generators which correspond to the rows of V. How many of each generator to take to map a rational number contained in the prime limit in question is determined by applying the val corresponding to the generator to the rational number.
We may also obtain the TE tuning from a projection map. P = V`V is the orthogonal projection map onto the space spanned by the rows of V. This space corresponds to the temperament, and so does P. However, P is independent of how the temperament is defined; it does not depend on whether the vals are linearly independent, how many of them there are, or whether torsion problems have been removed. Those are removed automatically. The tuning map giving the tuning of each prime number is found by multiplying by the JI map: JP where J is the JI map, which is the nearest point in the subspace corresponding to the temperament to J.
We may find the same projection map starting from a list of weighted monzos rather than vals. If M is a rank n matrix whose rows are weighted monzos, and I is the nxn identity matrix, then P = I - M`M is the same projection map as V`V so long as the temperament defined by the vals is the same as the temperament defined by the monzos. Again, it is irrelevant if the monzos are independent or how many of them there are.
===Pure octaves TE tuning===
If T = JP is the TE tuning map, then a corresponding pure-octaves map can be found by [[http://en.wikipedia.org/wiki/Scalar_multiplication|scalar multiplication]], T/T[1], where T[1], the first entry, is the tuning of 2. The justification for this is that T does not only define a point, but a line through the origin lying in the subspace defining the temperament, or in other words, a point in the linear subspace of projective space corresponding to the temperament, and hence is a projective object. Another way to say this is that T defines not only the closest point to J, but the closest direction in terms of angular measure between the line through T and the line through J. We might call pure-octaves Tenney-Euclidean tuning the POTE tuning.
==The rational projection map==
We may also do the same things starting from unweighted vals. This leads to a different tuning, the [[Fractional monzos|Frobenius tuning]], which is perfectly functional but has less theoretical justification than TE tuning. However, if greater weight needs to be attached to the larger primes than TE tuning attaches, Frobenius tuning may be preferred; people who feel that larger primes require more tuning care than smaller ones may well prefer it. However the main value of unweighted vals is that the pseudoinverse and projection map have rational entries, so that the rows of the matrix are [[Fractional monzos|fractional monzos]]. The projection map therefore, like the [[Wedgies and Multivals|wedgie]], defines a completely canonical object not depending on any arbitrary definition (eg how Hermite normal form or LLL reduction is specifically defined) which corresponds 1-1 with temperaments, and which automatically takes care of "torsion problems". It also may be found starting either from a set of vals or a set of commas, since if Q is the projection map found by treating monzos in the same way as vals, P = I-Q is the same projection map as would be found if starting from a set of vals defining the same temperament.
Spelling this out, if V is a matrix whose rows are vals, then P = V`V is a [[http://en.wikipedia.org/wiki/Positive-definite_matrix|positive-semidefinite]] [[http://en.wikipedia.org/wiki/Symmetric_matrix|symmetric matrix]] with rational matrix entries, which exactly specifies the regular temperament defined by the vals of V. If M is a matrix with rows of monzos which spans the subspace of interval space containing the commas, then this same matrix P is given by I - M`M.
If the vals defining V are linearly independent, then P = V*(VV*)^(-1)V. I the rows of M are independent, then we likewise have P = I - M*(MM*)^(-1)M.
Original HTML content:
<html><head><title>Tenney-Euclidean Tuning</title></head><body>Tenney-Euclidean tuning is a variant of <a class="wiki_link" href="/TOP%20tuning">TOP tuning</a> which employs the <a class="wiki_link" href="/Tenney-Euclidean%20metrics">TE norm</a>. While there are theoretical arguments favoring TOP, the advantages of using a Euclidean norm provides a powerful argument in favor of TE tuning.<br /> <br /> <!-- ws:start:WikiTextHeadingRule:0:<h2> --><h2 id="toc0"><a name="x-Temperaments"></a><!-- ws:end:WikiTextHeadingRule:0 -->Temperaments</h2> If we have k linearly independent <a class="wiki_link" href="/Vals%20and%20Tuning%20Space">vals</a> of dimension n, they will span a subspace of <a class="wiki_link" href="/Vals%20and%20Tuning%20Space">tuning space</a>. This subspace defines a regular temperament of rank k in the prime limit p, where p is the nth prime. Similarly, starting from n-k independent commas for the same regular temperament, the corresponding monzos span an n-k dimensional subspace of <a class="wiki_link" href="/Monzos%20and%20Interval%20Space">interval space</a>. Both the subspace of tuning space and the subspace of interval space characterize the temperament completely.<br /> <br /> A question then arises as to how to choose a specific tuning for this temperament, which is the same as asking how to choose a point (vector) in this subspace of tuning space which provides a good tuning. One answer to this is RMS tuning.<br /> <br /> <!-- ws:start:WikiTextHeadingRule:2:<h2> --><h2 id="toc1"><a name="x-TE tuning"></a><!-- ws:end:WikiTextHeadingRule:2 -->TE tuning</h2> If we put the (weighted) Euclidean metric on tuning space, leading to TE tuning space in weighted coordinates, it is easy to find the nearest point in the subspace to the JI point <1 1 ... 1|, and this closest point will define a tuning map which is called TE tuning (or TOP-RMS), a tuning which has been extensively studied by <a class="wiki_link" href="/Graham%20Breed">Graham Breed</a>. We may also keep unweighted coordinates and use the TE norm on tuning space; in these coordinates the JI point is <1 log2(3) ... log2(p)|. The two approaches are equivalent.<br /> <br /> One way to find this tuning is to use k parameters times the vals, leading to a parametrization of the subspace, and then to find the nearest point by least squares, differentiating the square of the distance to the JI point and solving the resulting linear equations. Another is to use the <a class="wiki_link_ext" href="http://en.wikipedia.org/wiki/Moore%E2%80%93Penrose_pseudoinverse" rel="nofollow">Moore-Penrose pseudoinverse</a>. <br /> <br /> <!-- ws:start:WikiTextHeadingRule:4:<h3> --><h3 id="toc2"><a name="x-TE tuning-The pseudoinverse"></a><!-- ws:end:WikiTextHeadingRule:4 -->The pseudoinverse</h3> If A is an m<strong>x</strong>n matrix with real entries, and if we denote the pseudoinverse by A`, then it is defined as the n<strong>x</strong>m matrix such that<br /> <ol><li>AA`A = A. Hence, AA` maps the rows of A to itself and A`A the columns of A to itself.</li><li>A`AA` = A</li><li>A`A and AA` are symmetric matrices</li></ol><br /> From these properties it can be deduced that<br /> <ul><li>If A is invertible, its inverse is A`</li><li>If A has rational entries, so does A`</li><li>A`` = A</li><li>The pseudoinverse of the transpose is the transpose of the pseudoinverse</li><li>AA` is the orthogonal projection map onto the space spanned by the columns of A</li><li>A`A is the orthogonal projection map onto the space spanned by the rows of A</li><li>I - A`A, where I is the identity matrix, is the orthogonal projection map onto the kernel, or null space, of A</li><li>If the rows of A are linearly independent, then A` = A*(AA*)^(-1), where A* is the transpose of A. This means the pseudoinverse can be found in this important special case by people who don't have a pseudoinverse routine available by using a matrix inverse routine.</li><li>uA` is the nearest point to u in the subspace spanned by the rows of A; A`v is the nearest point to v in the space spanned by the columns of A.</li></ul><br /> <!-- ws:start:WikiTextHeadingRule:6:<h3> --><h3 id="toc3"><a name="x-TE tuning-Computing TE tuning using pseudoinverses"></a><!-- ws:end:WikiTextHeadingRule:6 -->Computing TE tuning using pseudoinverses</h3> Suppose V is a matrix whose rows consist of vals in the weighted basis. No assumption need be made that the rows are linearly independent or that common factors ("torsion problems") cannot be found in some combination of the unweighted vals. If J is the JI point, <1 1 ... 1|, then JV` gives the TE tuning in the sense that it gives (not necessarily independent) generators which correspond to the rows of V. How many of each generator to take to map a rational number contained in the prime limit in question is determined by applying the val corresponding to the generator to the rational number.<br /> <br /> We may also obtain the TE tuning from a projection map. P = V`V is the orthogonal projection map onto the space spanned by the rows of V. This space corresponds to the temperament, and so does P. However, P is independent of how the temperament is defined; it does not depend on whether the vals are linearly independent, how many of them there are, or whether torsion problems have been removed. Those are removed automatically. The tuning map giving the tuning of each prime number is found by multiplying by the JI map: JP where J is the JI map, which is the nearest point in the subspace corresponding to the temperament to J.<br /> <br /> We may find the same projection map starting from a list of weighted monzos rather than vals. If M is a rank n matrix whose rows are weighted monzos, and I is the nxn identity matrix, then P = I - M`M is the same projection map as V`V so long as the temperament defined by the vals is the same as the temperament defined by the monzos. Again, it is irrelevant if the monzos are independent or how many of them there are.<br /> <br /> <!-- ws:start:WikiTextHeadingRule:8:<h3> --><h3 id="toc4"><a name="x-TE tuning-Pure octaves TE tuning"></a><!-- ws:end:WikiTextHeadingRule:8 -->Pure octaves TE tuning</h3> If T = JP is the TE tuning map, then a corresponding pure-octaves map can be found by <a class="wiki_link_ext" href="http://en.wikipedia.org/wiki/Scalar_multiplication" rel="nofollow">scalar multiplication</a>, T/T[1], where T[1], the first entry, is the tuning of 2. The justification for this is that T does not only define a point, but a line through the origin lying in the subspace defining the temperament, or in other words, a point in the linear subspace of projective space corresponding to the temperament, and hence is a projective object. Another way to say this is that T defines not only the closest point to J, but the closest direction in terms of angular measure between the line through T and the line through J. We might call pure-octaves Tenney-Euclidean tuning the POTE tuning.<br /> <br /> <!-- ws:start:WikiTextHeadingRule:10:<h2> --><h2 id="toc5"><a name="x-The rational projection map"></a><!-- ws:end:WikiTextHeadingRule:10 -->The rational projection map</h2> We may also do the same things starting from unweighted vals. This leads to a different tuning, the <a class="wiki_link" href="/Fractional%20monzos">Frobenius tuning</a>, which is perfectly functional but has less theoretical justification than TE tuning. However, if greater weight needs to be attached to the larger primes than TE tuning attaches, Frobenius tuning may be preferred; people who feel that larger primes require more tuning care than smaller ones may well prefer it. However the main value of unweighted vals is that the pseudoinverse and projection map have rational entries, so that the rows of the matrix are <a class="wiki_link" href="/Fractional%20monzos">fractional monzos</a>. The projection map therefore, like the <a class="wiki_link" href="/Wedgies%20and%20Multivals">wedgie</a>, defines a completely canonical object not depending on any arbitrary definition (eg how Hermite normal form or LLL reduction is specifically defined) which corresponds 1-1 with temperaments, and which automatically takes care of "torsion problems". It also may be found starting either from a set of vals or a set of commas, since if Q is the projection map found by treating monzos in the same way as vals, P = I-Q is the same projection map as would be found if starting from a set of vals defining the same temperament.<br /> <br /> Spelling this out, if V is a matrix whose rows are vals, then P = V`V is a <a class="wiki_link_ext" href="http://en.wikipedia.org/wiki/Positive-definite_matrix" rel="nofollow">positive-semidefinite</a> <a class="wiki_link_ext" href="http://en.wikipedia.org/wiki/Symmetric_matrix" rel="nofollow">symmetric matrix</a> with rational matrix entries, which exactly specifies the regular temperament defined by the vals of V. If M is a matrix with rows of monzos which spans the subspace of interval space containing the commas, then this same matrix P is given by I - M`M. <br /> <br /> If the vals defining V are linearly independent, then P = V*(VV*)^(-1)V. I the rows of M are independent, then we likewise have P = I - M*(MM*)^(-1)M.</body></html>