The wedgie: Difference between revisions
Wikispaces>genewardsmith **Imported revision 301725948 - Original comment: ** |
Wikispaces>genewardsmith **Imported revision 312082798 - 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>2012- | : This revision was by author [[User:genewardsmith|genewardsmith]] and made on <tt>2012-03-18 10:55:50 UTC</tt>.<br> | ||
: The original revision id was <tt> | : The original revision id was <tt>312082798</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 10: | Line 10: | ||
=Basics= | =Basics= | ||
The //[[Wedgies and Multivals|wedgie]]// is a way of defining and working with an [[abstract regular temperament]]. If one takes r independent [[vals]] in a p-limit group of n primes, then the wedgie is defined by taking the [[Wedgies and Multivals|wedge product]] of the vals, and dividing out the greatest common divisior of the coefficients, to produce an r-multival. If the first non-zero coefficient of this multival is negative, it is then scalar multiplied by -1, changing the sign of the first non-zero coefficient to be positive. The result is the wedgie. Wedgies are in a one-to-one relationship with abstract regular temperaments; that is, regular temperaments where no tuning has been decided on. | The //[[Wedgies and Multivals|wedgie]]// is a way of defining and working with an [[abstract regular temperament]]. If one takes r independent [[vals]] in a p-limit group of n primes, then the wedgie is defined by taking the [[Wedgies and Multivals|wedge product]] of the vals, and dividing out the greatest common divisior of the coefficients, to produce an r-multival. If the first non-zero coefficient of this multival is negative, it is then scalar multiplied by -1, changing the sign of the first non-zero coefficient to be positive. The result is the wedgie. Wedgies are in a one-to-one relationship with abstract regular temperaments; that is, regular temperaments where no tuning has been decided on. | ||
=Truncation of wedgies= | |||
A useful operation to perform on any multivector, including wedgies, is truncation of the wedgie to a lower prime limit. This in effect sets all the basis vectors of a p-limit wedgie which are greater than q, the prime limit being truncated to, to zero. An alorithm to produce the truncation is to list the r-subsets of the primes to p in alphabetical order, and add the corresponding coefficient to the list of the q-limit truncation if and only if the maximum prime in the r-subet is less than or equal to q. Truncating a wedgie can lead to a non-wedgie if the GCD of the coefficients is greater than one; this means that in the lower limit, [[Wedgies and Multivals|contortion]] has appeared. | |||
=Conditions on being a wedgie= | =Conditions on being a wedgie= | ||
| Line 38: | Line 41: | ||
In the particular case of the 11-limit in rank three, we have that (W∨2)∧K gives the full wedgie, which has ten coefficents, in terms of the first six upon rounding off. Using this for a search is less difficult than it sounds, since the complexity numbers for rank three are so much lower. If the relative error E satisifes E ≤ 1/(2√5 q5q7q11), then the rounding off is guaranteed to lead to the correct result. This amount, 0.0099, is again easily met. | In the particular case of the 11-limit in rank three, we have that (W∨2)∧K gives the full wedgie, which has ten coefficents, in terms of the first six upon rounding off. Using this for a search is less difficult than it sounds, since the complexity numbers for rank three are so much lower. If the relative error E satisifes E ≤ 1/(2√5 q5q7q11), then the rounding off is guaranteed to lead to the correct result. This amount, 0.0099, is again easily met. | ||
</pre></div> | </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>The wedgie</title></head><body><!-- ws:start:WikiTextTocRule: | <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>The wedgie</title></head><body><!-- ws:start:WikiTextTocRule:11:&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:11 --><!-- ws:start:WikiTextTocRule:12: --><a href="#Basics">Basics</a><!-- ws:end:WikiTextTocRule:12 --><!-- ws:start:WikiTextTocRule:13: --> | <a href="#Truncation of wedgies">Truncation of wedgies</a><!-- ws:end:WikiTextTocRule:13 --><!-- ws:start:WikiTextTocRule:14: --> | <a href="#Conditions on being a wedgie">Conditions on being a wedgie</a><!-- ws:end:WikiTextTocRule:14 --><!-- ws:start:WikiTextTocRule:15: --> | <a href="#Constrained wedgies">Constrained wedgies</a><!-- ws:end:WikiTextTocRule:15 --><!-- ws:start:WikiTextTocRule:16: --> | <a href="#Reconstituting wedgies in general">Reconstituting wedgies in general</a><!-- ws:end:WikiTextTocRule:16 --><!-- ws:start:WikiTextTocRule:17: --> | ||
<!-- ws:end:WikiTextTocRule: | <!-- ws:end:WikiTextTocRule:17 --><br /> | ||
<!-- ws:start:WikiTextHeadingRule:1:&lt;h1&gt; --><h1 id="toc0"><a name="Basics"></a><!-- ws:end:WikiTextHeadingRule:1 -->Basics</h1> | <!-- ws:start:WikiTextHeadingRule:1:&lt;h1&gt; --><h1 id="toc0"><a name="Basics"></a><!-- ws:end:WikiTextHeadingRule:1 -->Basics</h1> | ||
The <em><a class="wiki_link" href="/Wedgies%20and%20Multivals">wedgie</a></em> is a way of defining and working with an <a class="wiki_link" href="/abstract%20regular%20temperament">abstract regular temperament</a>. If one takes r independent <a class="wiki_link" href="/vals">vals</a> in a p-limit group of n primes, then the wedgie is defined by taking the <a class="wiki_link" href="/Wedgies%20and%20Multivals">wedge product</a> of the vals, and dividing out the greatest common divisior of the coefficients, to produce an r-multival. If the first non-zero coefficient of this multival is negative, it is then scalar multiplied by -1, changing the sign of the first non-zero coefficient to be positive. The result is the wedgie. Wedgies are in a one-to-one relationship with abstract regular temperaments; that is, regular temperaments where no tuning has been decided on.<br /> | The <em><a class="wiki_link" href="/Wedgies%20and%20Multivals">wedgie</a></em> is a way of defining and working with an <a class="wiki_link" href="/abstract%20regular%20temperament">abstract regular temperament</a>. If one takes r independent <a class="wiki_link" href="/vals">vals</a> in a p-limit group of n primes, then the wedgie is defined by taking the <a class="wiki_link" href="/Wedgies%20and%20Multivals">wedge product</a> of the vals, and dividing out the greatest common divisior of the coefficients, to produce an r-multival. If the first non-zero coefficient of this multival is negative, it is then scalar multiplied by -1, changing the sign of the first non-zero coefficient to be positive. The result is the wedgie. Wedgies are in a one-to-one relationship with abstract regular temperaments; that is, regular temperaments where no tuning has been decided on.<br /> | ||
<br /> | <br /> | ||
<!-- ws:start:WikiTextHeadingRule:3:&lt;h1&gt; --><h1 id="toc1"><a name="Conditions on being a wedgie"></a><!-- ws:end:WikiTextHeadingRule: | <!-- ws:start:WikiTextHeadingRule:3:&lt;h1&gt; --><h1 id="toc1"><a name="Truncation of wedgies"></a><!-- ws:end:WikiTextHeadingRule:3 -->Truncation of wedgies</h1> | ||
A useful operation to perform on any multivector, including wedgies, is truncation of the wedgie to a lower prime limit. This in effect sets all the basis vectors of a p-limit wedgie which are greater than q, the prime limit being truncated to, to zero. An alorithm to produce the truncation is to list the r-subsets of the primes to p in alphabetical order, and add the corresponding coefficient to the list of the q-limit truncation if and only if the maximum prime in the r-subet is less than or equal to q. Truncating a wedgie can lead to a non-wedgie if the GCD of the coefficients is greater than one; this means that in the lower limit, <a class="wiki_link" href="/Wedgies%20and%20Multivals">contortion</a> has appeared.<br /> | |||
<br /> | |||
<!-- ws:start:WikiTextHeadingRule:5:&lt;h1&gt; --><h1 id="toc2"><a name="Conditions on being a wedgie"></a><!-- ws:end:WikiTextHeadingRule:5 -->Conditions on being a wedgie</h1> | |||
If we take any three integers &lt;&lt;a b c|| such that GCD(a, b, c) = 1 and a ≥ 1 the result is always a wedgie, the wedgie tempering out the <a class="wiki_link" href="/The%20dual">dual</a> <a class="wiki_link" href="/monzos">monzo</a> |c -b a&gt;. Since three such integers chosen at random are unlikely to produce a suitably small comma, the temperament will probably not be worth much, but at least it can be defined. <br /> | If we take any three integers &lt;&lt;a b c|| such that GCD(a, b, c) = 1 and a ≥ 1 the result is always a wedgie, the wedgie tempering out the <a class="wiki_link" href="/The%20dual">dual</a> <a class="wiki_link" href="/monzos">monzo</a> |c -b a&gt;. Since three such integers chosen at random are unlikely to produce a suitably small comma, the temperament will probably not be worth much, but at least it can be defined. <br /> | ||
<br /> | <br /> | ||
| Line 53: | Line 58: | ||
In the 7-limit case, if we wedge a prospective rank two multival W = &lt;&lt;a b c d e f|| with itself, we obtain W∧W = 2(af-be+cd). The quantity af-be+cd is the <a class="wiki_link_ext" href="http://en.wikipedia.org/wiki/Pfaffian" rel="nofollow">Pfaffian</a> of the wedgie, and that the Pfaffian is zero tells us that in the five-dimensional projective space <strong>P⁵</strong> in which wedgies live, the wedgie lies on a (four-dimensional) <a class="wiki_link_ext" href="http://en.wikipedia.org/wiki/Hypersurface" rel="nofollow">hypersurfce</a>, known as the <a class="wiki_link" href="/Abstract%20regular%20temperament#The Geometry of Regular Temperaments">Grassmannian</a> <strong>Gr</strong>(2, 4). For an 11-limit rank-two wedgie W = &lt;&lt;w1 w2 w3 w4 w5 w6 w7 w8 w9 w10|| we have that W∧W = 2&lt;&lt;&lt;&lt;w1w8-w2w6+w3w5, w1w9-w2w7+w4w5, w1w10-w3w7+w4w6, w2w10-w3w9+w4w8, w5w10-w6w9+w7w8|||| is zero. These conditions allow us to solve for three of the coefficients in terms of the other seven, and so that <strong>Gr</strong>(2, 5), the Grassmannian of rank-two 11-limit temperaments, is a six-dimensional projective <a class="wiki_link_ext" href="http://en.wikipedia.org/wiki/Algebraic_variety" rel="nofollow">algebraic variety</a> in nine-dimensional projective space <strong>P⁹</strong>. Wedgies correspond to rational points on this variety. For 11-limit rank three temperaments, we have w6w1-w5w2+w4w3 = w9w1-w8w2+w7w3 = w10w1-w8w4+w7w5 = w10w2-w9w4+w7w6 = w10w3-w9w5+w8w6 = 0; again, this leads to a six-dimensional variety, this time <strong>Gr</strong>(3, 5). <br /> | In the 7-limit case, if we wedge a prospective rank two multival W = &lt;&lt;a b c d e f|| with itself, we obtain W∧W = 2(af-be+cd). The quantity af-be+cd is the <a class="wiki_link_ext" href="http://en.wikipedia.org/wiki/Pfaffian" rel="nofollow">Pfaffian</a> of the wedgie, and that the Pfaffian is zero tells us that in the five-dimensional projective space <strong>P⁵</strong> in which wedgies live, the wedgie lies on a (four-dimensional) <a class="wiki_link_ext" href="http://en.wikipedia.org/wiki/Hypersurface" rel="nofollow">hypersurfce</a>, known as the <a class="wiki_link" href="/Abstract%20regular%20temperament#The Geometry of Regular Temperaments">Grassmannian</a> <strong>Gr</strong>(2, 4). For an 11-limit rank-two wedgie W = &lt;&lt;w1 w2 w3 w4 w5 w6 w7 w8 w9 w10|| we have that W∧W = 2&lt;&lt;&lt;&lt;w1w8-w2w6+w3w5, w1w9-w2w7+w4w5, w1w10-w3w7+w4w6, w2w10-w3w9+w4w8, w5w10-w6w9+w7w8|||| is zero. These conditions allow us to solve for three of the coefficients in terms of the other seven, and so that <strong>Gr</strong>(2, 5), the Grassmannian of rank-two 11-limit temperaments, is a six-dimensional projective <a class="wiki_link_ext" href="http://en.wikipedia.org/wiki/Algebraic_variety" rel="nofollow">algebraic variety</a> in nine-dimensional projective space <strong>P⁹</strong>. Wedgies correspond to rational points on this variety. For 11-limit rank three temperaments, we have w6w1-w5w2+w4w3 = w9w1-w8w2+w7w3 = w10w1-w8w4+w7w5 = w10w2-w9w4+w7w6 = w10w3-w9w5+w8w6 = 0; again, this leads to a six-dimensional variety, this time <strong>Gr</strong>(3, 5). <br /> | ||
<br /> | <br /> | ||
<!-- ws:start:WikiTextHeadingRule: | <!-- ws:start:WikiTextHeadingRule:7:&lt;h1&gt; --><h1 id="toc3"><a name="Constrained wedgies"></a><!-- ws:end:WikiTextHeadingRule:7 -->Constrained wedgies</h1> | ||
Most of the wedgies which are legitimate according to the previous section do not represent temperaments which are in any way reasonable. To get temperaments which are, we need to constrain the relevant metrics--complexity should not be too high, error should not be too high, and badness should not be so high that competing temperaments are much better. Let us consider how bounding <a class="wiki_link" href="/Tenney-Euclidean%20temperament%20measures#TE simple badness">relative error</a> E, aka simple badness, constrains a 7-limit rank two wedgie W = &lt;&lt;a b c d e f||.<br /> | Most of the wedgies which are legitimate according to the previous section do not represent temperaments which are in any way reasonable. To get temperaments which are, we need to constrain the relevant metrics--complexity should not be too high, error should not be too high, and badness should not be so high that competing temperaments are much better. Let us consider how bounding <a class="wiki_link" href="/Tenney-Euclidean%20temperament%20measures#TE simple badness">relative error</a> E, aka simple badness, constrains a 7-limit rank two wedgie W = &lt;&lt;a b c d e f||.<br /> | ||
<br /> | <br /> | ||
| Line 69: | Line 74: | ||
If C = ||W|| is the TE complexity, then the formula for the <a class="wiki_link" href="/Tenney-Euclidean%20metrics#Logflat TE badness">logflat badness</a> B in the 7-limit rank-two case is particularly simple: B = CE. If complexity is bounded by, for example, 20 (which allows for some quite complex temperaments) then since E ≤ 1/(4q5q7), B ≤ 20/(4q5q7) = 0.767. This badness figure is easily met. While simply bounding complexity will lead to a finite list, the list would be enormous. An alternative is also to bound badness; for instance, we might produce a list of 7-limit rank-two temperaments with complexity less than 20 and a more reasonable badness limit, such as 0.05 or 0.06.<br /> | If C = ||W|| is the TE complexity, then the formula for the <a class="wiki_link" href="/Tenney-Euclidean%20metrics#Logflat TE badness">logflat badness</a> B in the 7-limit rank-two case is particularly simple: B = CE. If complexity is bounded by, for example, 20 (which allows for some quite complex temperaments) then since E ≤ 1/(4q5q7), B ≤ 20/(4q5q7) = 0.767. This badness figure is easily met. While simply bounding complexity will lead to a finite list, the list would be enormous. An alternative is also to bound badness; for instance, we might produce a list of 7-limit rank-two temperaments with complexity less than 20 and a more reasonable badness limit, such as 0.05 or 0.06.<br /> | ||
<br /> | <br /> | ||
<!-- ws:start:WikiTextHeadingRule: | <!-- ws:start:WikiTextHeadingRule:9:&lt;h1&gt; --><h1 id="toc4"><a name="Reconstituting wedgies in general"></a><!-- ws:end:WikiTextHeadingRule:9 -->Reconstituting wedgies in general</h1> | ||
Essentially the same situation obtains for rank two temperaments in higher limits. The rule then is that if E ≤ 1/(C(n, 3)lb(q)lb(p)) then wedging K = &lt;1 lb(3) lb(5) ... lb(p)| with the val consisting of 0 followed by the first n-1 coefficients of the wedgie and rounding will give the wedgie. Here p and q are the largest and second largest primes in the prime limit, lb(x) is log base two, and C(n, 3) is n choose three, n(n-1)(n-2)/6.<br /> | Essentially the same situation obtains for rank two temperaments in higher limits. The rule then is that if E ≤ 1/(C(n, 3)lb(q)lb(p)) then wedging K = &lt;1 lb(3) lb(5) ... lb(p)| with the val consisting of 0 followed by the first n-1 coefficients of the wedgie and rounding will give the wedgie. Here p and q are the largest and second largest primes in the prime limit, lb(x) is log base two, and C(n, 3) is n choose three, n(n-1)(n-2)/6.<br /> | ||
<br /> | <br /> | ||