Generator complexity: Difference between revisions
Jump to navigation
Jump to search
Wikispaces>genewardsmith **Imported revision 479872432 - Original comment: ** |
Wikispaces>genewardsmith **Imported revision 479872600 - 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>2013-12-30 | : This revision was by author [[User:genewardsmith|genewardsmith]] and made on <tt>2013-12-30 11:00:20 UTC</tt>.<br> | ||
: The original revision id was <tt> | : The original revision id was <tt>479872600</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">Suppose A = <0 A₃ A₅ A₇ ... Ap| is the generator mapping val for a rank two temperament with P periods to the octave, and B = <0 B₃ B₅ B₇ ... Bp| is the same val in weighted coordinates. For instance, <0 1 -2 -2| is the generator mapping val for seven limit [[pajara]], and <0 1/log2(3) -2/log2(5) -2/log2(7)| ≅ <0 0.631 -0.831 -0.712| is the val in weighted coordinates. For any vector V, let max(V) - min(V) = span(V). The //generator complexity// of the temperament is P span(B). In the case of pajara, which has two periods to the octave, this would be 2*(0.631 - (-0.861)) = 2.984. This can also be described in terms of the wedgie W of the temperament, as span(2∨W), which span of 0 followed by the first n-1 elements of W, where n is the number of primes in the p-limit. | <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">Suppose A = <0 A₃ A₅ A₇ ... Ap| is the generator mapping val for a rank two temperament with P periods to the octave, and B = <0 B₃ B₅ B₇ ... Bp| is the same val in weighted coordinates. For instance, <0 1 -2 -2| is the generator mapping val for seven limit [[pajara]], and <0 1/log2(3) -2/log2(5) -2/log2(7)| ≅ <0 0.631 -0.831 -0.712| is the val in weighted coordinates. For any vector V, let max(V) - min(V) = span(V). The //generator complexity// of the temperament is P span(B). In the case of pajara, which has two periods to the octave, this would be 2*(0.631 - (-0.861)) = 2.984. This can also be described in terms of the wedgie W of the temperament, as span(2∨W), which is the span of 0 followed by the first n-1 elements of W, where n is the number of primes in the p-limit. | ||
Generator complexity satisfies the inequality, for any p-limit interval I, G(I) ≤ C KE(I), where C is the generator complexity of the temperament, G(I) is the number of generator steps, times P, required to reach the tempered version of I, and KR(I) is the [[Kees height|Kees expressibility]] of I. So for instance, in meantone G(5/4) = 4, since it requires four generator steps to get to 5/4, and KE(5/4) = log2(5). In pajara, G(5/4) = 4 also, since two generator steps are required to get to 5/4 (5/4 = (4/3)^2 * 45/64), and P = 2, so that G(5/4) = 2*2. | Generator complexity satisfies the inequality, for any p-limit interval I, G(I) ≤ C KE(I), where C is the generator complexity of the temperament, G(I) is the number of generator steps, times P, required to reach the tempered version of I, and KR(I) is the [[Kees height|Kees expressibility]] of I. So for instance, in meantone G(5/4) = 4, since it requires four generator steps to get to 5/4, and KE(5/4) = log2(5). In pajara, G(5/4) = 4 also, since two generator steps are required to get to 5/4 (5/4 = (4/3)^2 * 45/64), and P = 2, so that G(5/4) = 2*2. | ||
| Line 14: | Line 14: | ||
Generator complexity has the nice property that for any MOS of size N, floor(N/(C KE(I))) intervals with pitch class corresponding to I are guaranteed to exist in the MOS. Generator complexity is also useful in making complete searches using [[the wedgie]] for temperaments below a certain complexity and badness bounds, allowing for a more efficient search.</pre></div> | Generator complexity has the nice property that for any MOS of size N, floor(N/(C KE(I))) intervals with pitch class corresponding to I are guaranteed to exist in the MOS. Generator complexity is also useful in making complete searches using [[the wedgie]] for temperaments below a certain complexity and badness bounds, allowing for a more efficient search.</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>Generator complexity</title></head><body>Suppose A = &lt;0 A₃ A₅ A₇ ... Ap| is the generator mapping val for a rank two temperament with P periods to the octave, and B = &lt;0 B₃ B₅ B₇ ... Bp| is the same val in weighted coordinates. For instance, &lt;0 1 -2 -2| is the generator mapping val for seven limit <a class="wiki_link" href="/pajara">pajara</a>, and &lt;0 1/log2(3) -2/log2(5) -2/log2(7)| ≅ &lt;0 0.631 -0.831 -0.712| is the val in weighted coordinates. For any vector V, let max(V) - min(V) = span(V). The <em>generator complexity</em> of the temperament is P span(B). In the case of pajara, which has two periods to the octave, this would be 2*(0.631 - (-0.861)) = 2.984. This can also be described in terms of the wedgie W of the temperament, as span(2∨W), which span of 0 followed by the first n-1 elements of W, where n is the number of primes in the p-limit. <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>Generator complexity</title></head><body>Suppose A = &lt;0 A₃ A₅ A₇ ... Ap| is the generator mapping val for a rank two temperament with P periods to the octave, and B = &lt;0 B₃ B₅ B₇ ... Bp| is the same val in weighted coordinates. For instance, &lt;0 1 -2 -2| is the generator mapping val for seven limit <a class="wiki_link" href="/pajara">pajara</a>, and &lt;0 1/log2(3) -2/log2(5) -2/log2(7)| ≅ &lt;0 0.631 -0.831 -0.712| is the val in weighted coordinates. For any vector V, let max(V) - min(V) = span(V). The <em>generator complexity</em> of the temperament is P span(B). In the case of pajara, which has two periods to the octave, this would be 2*(0.631 - (-0.861)) = 2.984. This can also be described in terms of the wedgie W of the temperament, as span(2∨W), which is the span of 0 followed by the first n-1 elements of W, where n is the number of primes in the p-limit. <br /> | ||
<br /> | <br /> | ||
Generator complexity satisfies the inequality, for any p-limit interval I, G(I) ≤ C KE(I), where C is the generator complexity of the temperament, G(I) is the number of generator steps, times P, required to reach the tempered version of I, and KR(I) is the <a class="wiki_link" href="/Kees%20height">Kees expressibility</a> of I. So for instance, in meantone G(5/4) = 4, since it requires four generator steps to get to 5/4, and KE(5/4) = log2(5). In pajara, G(5/4) = 4 also, since two generator steps are required to get to 5/4 (5/4 = (4/3)^2 * 45/64), and P = 2, so that G(5/4) = 2*2.<br /> | Generator complexity satisfies the inequality, for any p-limit interval I, G(I) ≤ C KE(I), where C is the generator complexity of the temperament, G(I) is the number of generator steps, times P, required to reach the tempered version of I, and KR(I) is the <a class="wiki_link" href="/Kees%20height">Kees expressibility</a> of I. So for instance, in meantone G(5/4) = 4, since it requires four generator steps to get to 5/4, and KE(5/4) = log2(5). In pajara, G(5/4) = 4 also, since two generator steps are required to get to 5/4 (5/4 = (4/3)^2 * 45/64), and P = 2, so that G(5/4) = 2*2.<br /> | ||
Revision as of 11:00, 30 December 2013
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 2013-12-30 11:00:20 UTC.
- The original revision id was 479872600.
- 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:
Suppose A = <0 A₃ A₅ A₇ ... Ap| is the generator mapping val for a rank two temperament with P periods to the octave, and B = <0 B₃ B₅ B₇ ... Bp| is the same val in weighted coordinates. For instance, <0 1 -2 -2| is the generator mapping val for seven limit [[pajara]], and <0 1/log2(3) -2/log2(5) -2/log2(7)| ≅ <0 0.631 -0.831 -0.712| is the val in weighted coordinates. For any vector V, let max(V) - min(V) = span(V). The //generator complexity// of the temperament is P span(B). In the case of pajara, which has two periods to the octave, this would be 2*(0.631 - (-0.861)) = 2.984. This can also be described in terms of the wedgie W of the temperament, as span(2∨W), which is the span of 0 followed by the first n-1 elements of W, where n is the number of primes in the p-limit. Generator complexity satisfies the inequality, for any p-limit interval I, G(I) ≤ C KE(I), where C is the generator complexity of the temperament, G(I) is the number of generator steps, times P, required to reach the tempered version of I, and KR(I) is the [[Kees height|Kees expressibility]] of I. So for instance, in meantone G(5/4) = 4, since it requires four generator steps to get to 5/4, and KE(5/4) = log2(5). In pajara, G(5/4) = 4 also, since two generator steps are required to get to 5/4 (5/4 = (4/3)^2 * 45/64), and P = 2, so that G(5/4) = 2*2. This inequality can be used to give an alternative definition of generator complexity: C = sup G(I)/KE(I) over non-octave intervals, where KE(I)>0. A related definition can be extended to higher ranks: since the [[Tenney-Euclidean metrics#The OETES|OETES]] in the case of a rank two temperament is proportional (albeit with a different proportionality factor for each temperament) to G(I), we can define a complexity measure for any rank of temperament by C = sup OETES(I)/KE(I). Generator complexity has the nice property that for any MOS of size N, floor(N/(C KE(I))) intervals with pitch class corresponding to I are guaranteed to exist in the MOS. Generator complexity is also useful in making complete searches using [[the wedgie]] for temperaments below a certain complexity and badness bounds, allowing for a more efficient search.
Original HTML content:
<html><head><title>Generator complexity</title></head><body>Suppose A = <0 A₃ A₅ A₇ ... Ap| is the generator mapping val for a rank two temperament with P periods to the octave, and B = <0 B₃ B₅ B₇ ... Bp| is the same val in weighted coordinates. For instance, <0 1 -2 -2| is the generator mapping val for seven limit <a class="wiki_link" href="/pajara">pajara</a>, and <0 1/log2(3) -2/log2(5) -2/log2(7)| ≅ <0 0.631 -0.831 -0.712| is the val in weighted coordinates. For any vector V, let max(V) - min(V) = span(V). The <em>generator complexity</em> of the temperament is P span(B). In the case of pajara, which has two periods to the octave, this would be 2*(0.631 - (-0.861)) = 2.984. This can also be described in terms of the wedgie W of the temperament, as span(2∨W), which is the span of 0 followed by the first n-1 elements of W, where n is the number of primes in the p-limit. <br /> <br /> Generator complexity satisfies the inequality, for any p-limit interval I, G(I) ≤ C KE(I), where C is the generator complexity of the temperament, G(I) is the number of generator steps, times P, required to reach the tempered version of I, and KR(I) is the <a class="wiki_link" href="/Kees%20height">Kees expressibility</a> of I. So for instance, in meantone G(5/4) = 4, since it requires four generator steps to get to 5/4, and KE(5/4) = log2(5). In pajara, G(5/4) = 4 also, since two generator steps are required to get to 5/4 (5/4 = (4/3)^2 * 45/64), and P = 2, so that G(5/4) = 2*2.<br /> <br /> This inequality can be used to give an alternative definition of generator complexity: C = sup G(I)/KE(I) over non-octave intervals, where KE(I)>0. A related definition can be extended to higher ranks: since the <a class="wiki_link" href="/Tenney-Euclidean%20metrics#The OETES">OETES</a> in the case of a rank two temperament is proportional (albeit with a different proportionality factor for each temperament) to G(I), we can define a complexity measure for any rank of temperament by C = sup OETES(I)/KE(I).<br /> <br /> Generator complexity has the nice property that for any MOS of size N, floor(N/(C KE(I))) intervals with pitch class corresponding to I are guaranteed to exist in the MOS. Generator complexity is also useful in making complete searches using <a class="wiki_link" href="/the%20wedgie">the wedgie</a> for temperaments below a certain complexity and badness bounds, allowing for a more efficient search.</body></html>