Structure metric: Difference between revisions
Wikispaces>genewardsmith **Imported revision 568198177 - Original comment: ** |
Wikispaces>genewardsmith **Imported revision 568352877 - 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>2015-11- | : This revision was by author [[User:genewardsmith|genewardsmith]] and made on <tt>2015-11-30 18:30:02 UTC</tt>.<br> | ||
: The original revision id was <tt> | : The original revision id was <tt>568352877</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 77: | Line 77: | ||
Tempering will often shrink distances and so increase density. For example, the duodene has a sparcity of 0.3686. Tempering by [[srutal]], where 2048/2025 is tempered out reduces that to 0.2860, and tempering by meantone to 0.2364. Tempering both gives 12et, and the sparcity becomes 0. To give another example, [[pentadekany2]], which is Cps([2,3,5,7,9,11], 3), has a sparcity of 0.4796; tempering out 3025/3024 lowers that to 0.4772; tempering further to portent (which tempers out 385/384, 441/440 and 1029/1024 as well as 3025/3024) lowers that to 0.4521, miracle tempering brings it down to 0.4286, and 72et brings that down to 0.4282. If A and B are two metric matricies for the same set of points, then A //dominates// B if A - B has all coefficients greater than or equal to zero. If A dominates B and is not identical with B, then the sparcity of A is greater than that of B. In the situation above, we may regard the notes in the tempered versions as the same points as in the untempered version, and we have chains of domination, where for instance the metric matrix for pentadekany2 dominates its tempering by 3025/3024, which dominates the tempering by portent, and so forth. | Tempering will often shrink distances and so increase density. For example, the duodene has a sparcity of 0.3686. Tempering by [[srutal]], where 2048/2025 is tempered out reduces that to 0.2860, and tempering by meantone to 0.2364. Tempering both gives 12et, and the sparcity becomes 0. To give another example, [[pentadekany2]], which is Cps([2,3,5,7,9,11], 3), has a sparcity of 0.4796; tempering out 3025/3024 lowers that to 0.4772; tempering further to portent (which tempers out 385/384, 441/440 and 1029/1024 as well as 3025/3024) lowers that to 0.4521, miracle tempering brings it down to 0.4286, and 72et brings that down to 0.4282. If A and B are two metric matricies for the same set of points, then A //dominates// B if A - B has all coefficients greater than or equal to zero. If A dominates B and is not identical with B, then the sparcity of A is greater than that of B. In the situation above, we may regard the notes in the tempered versions as the same points as in the untempered version, and we have chains of domination, where for instance the metric matrix for pentadekany2 dominates its tempering by 3025/3024, which dominates the tempering by portent, and so forth. | ||
An invariant related to sparcity is //spread//. If n is a point, define the spread polynomial of n to be the sum sp(n) = ∑ t^d(n, i) over all points i, where t is an indeterminate. Then the spread is the rational function spread(t) = ∑1/sp(n) over all points n. Spread as a function decreases between 0 and 1, with spread(0) = **P**, the number of notes in the scale and therefore points in the space, and spread(1) = 1. We can think of t = 0 as the highest magnification, with each of the points showing clearly, and t = 1 as the lowest, where all points have merged together. In between, at t = 1/2 or (a traditional choice, for some reason) t = exp(-1), we have a sparcity measure. Spread could use more study as it applies to scales; one notable fact for example is that most scales seem to have a spread inflection point between 0 and 1, a place where the second derivative has a local minimum. However, MOS scales do not give a spread function with such an inflection point, and it is easy to construct non-scale metric spaces where spread is not inflected. | An invariant related to sparcity is //spread//. If n is a point, define the spread polynomial of n to be the sum sp(n) = ∑ t^d(n, i) over all points i, where t is an indeterminate. Then the spread is the rational function spread(t) = ∑1/sp(n) over all points n. Spread as a function decreases between 0 and 1, with spread(0) = **P**, the number of notes in the scale and therefore points in the space, and spread(1) = 1. We can think of t = 0 as the highest magnification, with each of the points showing clearly, and t = 1 as the lowest, where all points have merged together. In between, at t = 1/2 or (a traditional choice, for some reason) t = exp(-1), we have a sparcity measure. Spread could use more study as it applies to scales; one notable fact for example is that most scales seem to have a spread inflection point between 0 and 1, a place where the second derivative has a local minimum. However, MOS scales do not give a spread function with such an inflection point, and it is easy to construct non-scale metric spaces where spread is not inflected. This inflection is related to the fact that spread for scales tends to be relatively large--notes tend to be far apart. Especially for larger scales, the tendency of spread to stick close to the maximum value for most values of t in the range 0 to 1 is striking. | ||
In most instances, spread is a rational function of complicated appearance, but in a few special cases it is quite simple. We have, for instance, spread(Euler(3*5)) = 4/(t^3 + 2t^2 +1), spread(Euler(3*5*7)) = 8/(t^7 + 3t^6 + 3t^4 + 1), spread(hexany) = 6/(t^6 + 4t^4 + 1), spread(dekany) = 10/(3t^9 + 6t^7 + 1), spread(pentadekany) = 16/(6t^14 + 8t^11 + 1), spread(eikosany) = 20/(t^19 + 9t^18 + 9t^14 + 1).</pre></div> | In most instances, spread is a rational function of complicated appearance, but in a few special cases it is quite simple. We have, for instance, spread(Euler(3*5)) = 4/(t^3 + 2t^2 +1), spread(Euler(3*5*7)) = 8/(t^7 + 3t^6 + 3t^4 + 1), spread(hexany) = 6/(t^6 + 4t^4 + 1), spread(dekany) = 10/(3t^9 + 6t^7 + 1), spread(pentadekany) = 16/(6t^14 + 8t^11 + 1), spread(eikosany) = 20/(t^19 + 9t^18 + 9t^14 + 1).</pre></div> | ||
| Line 159: | Line 159: | ||
Tempering will often shrink distances and so increase density. For example, the duodene has a sparcity of 0.3686. Tempering by <a class="wiki_link" href="/srutal">srutal</a>, where 2048/2025 is tempered out reduces that to 0.2860, and tempering by meantone to 0.2364. Tempering both gives 12et, and the sparcity becomes 0. To give another example, <a class="wiki_link" href="/pentadekany2">pentadekany2</a>, which is Cps([2,3,5,7,9,11], 3), has a sparcity of 0.4796; tempering out 3025/3024 lowers that to 0.4772; tempering further to portent (which tempers out 385/384, 441/440 and 1029/1024 as well as 3025/3024) lowers that to 0.4521, miracle tempering brings it down to 0.4286, and 72et brings that down to 0.4282. If A and B are two metric matricies for the same set of points, then A <em>dominates</em> B if A - B has all coefficients greater than or equal to zero. If A dominates B and is not identical with B, then the sparcity of A is greater than that of B. In the situation above, we may regard the notes in the tempered versions as the same points as in the untempered version, and we have chains of domination, where for instance the metric matrix for pentadekany2 dominates its tempering by 3025/3024, which dominates the tempering by portent, and so forth.<br /> | Tempering will often shrink distances and so increase density. For example, the duodene has a sparcity of 0.3686. Tempering by <a class="wiki_link" href="/srutal">srutal</a>, where 2048/2025 is tempered out reduces that to 0.2860, and tempering by meantone to 0.2364. Tempering both gives 12et, and the sparcity becomes 0. To give another example, <a class="wiki_link" href="/pentadekany2">pentadekany2</a>, which is Cps([2,3,5,7,9,11], 3), has a sparcity of 0.4796; tempering out 3025/3024 lowers that to 0.4772; tempering further to portent (which tempers out 385/384, 441/440 and 1029/1024 as well as 3025/3024) lowers that to 0.4521, miracle tempering brings it down to 0.4286, and 72et brings that down to 0.4282. If A and B are two metric matricies for the same set of points, then A <em>dominates</em> B if A - B has all coefficients greater than or equal to zero. If A dominates B and is not identical with B, then the sparcity of A is greater than that of B. In the situation above, we may regard the notes in the tempered versions as the same points as in the untempered version, and we have chains of domination, where for instance the metric matrix for pentadekany2 dominates its tempering by 3025/3024, which dominates the tempering by portent, and so forth.<br /> | ||
<br /> | <br /> | ||
An invariant related to sparcity is <em>spread</em>. If n is a point, define the spread polynomial of n to be the sum sp(n) = ∑ t^d(n, i) over all points i, where t is an indeterminate. Then the spread is the rational function spread(t) = ∑1/sp(n) over all points n. Spread as a function decreases between 0 and 1, with spread(0) = <strong>P</strong>, the number of notes in the scale and therefore points in the space, and spread(1) = 1. We can think of t = 0 as the highest magnification, with each of the points showing clearly, and t = 1 as the lowest, where all points have merged together. In between, at t = 1/2 or (a traditional choice, for some reason) t = exp(-1), we have a sparcity measure. Spread could use more study as it applies to scales; one notable fact for example is that most scales seem to have a spread inflection point between 0 and 1, a place where the second derivative has a local minimum. However, MOS scales do not give a spread function with such an inflection point, and it is easy to construct non-scale metric spaces where spread is not inflected. <br /> | An invariant related to sparcity is <em>spread</em>. If n is a point, define the spread polynomial of n to be the sum sp(n) = ∑ t^d(n, i) over all points i, where t is an indeterminate. Then the spread is the rational function spread(t) = ∑1/sp(n) over all points n. Spread as a function decreases between 0 and 1, with spread(0) = <strong>P</strong>, the number of notes in the scale and therefore points in the space, and spread(1) = 1. We can think of t = 0 as the highest magnification, with each of the points showing clearly, and t = 1 as the lowest, where all points have merged together. In between, at t = 1/2 or (a traditional choice, for some reason) t = exp(-1), we have a sparcity measure. Spread could use more study as it applies to scales; one notable fact for example is that most scales seem to have a spread inflection point between 0 and 1, a place where the second derivative has a local minimum. However, MOS scales do not give a spread function with such an inflection point, and it is easy to construct non-scale metric spaces where spread is not inflected. This inflection is related to the fact that spread for scales tends to be relatively large--notes tend to be far apart. Especially for larger scales, the tendency of spread to stick close to the maximum value for most values of t in the range 0 to 1 is striking.<br /> | ||
<br /> | <br /> | ||
In most instances, spread is a rational function of complicated appearance, but in a few special cases it is quite simple. We have, for instance, spread(Euler(3*5)) = 4/(t^3 + 2t^2 +1), spread(Euler(3*5*7)) = 8/(t^7 + 3t^6 + 3t^4 + 1), spread(hexany) = 6/(t^6 + 4t^4 + 1), spread(dekany) = 10/(3t^9 + 6t^7 + 1), spread(pentadekany) = 16/(6t^14 + 8t^11 + 1), spread(eikosany) = 20/(t^19 + 9t^18 + 9t^14 + 1).</body></html></pre></div> | In most instances, spread is a rational function of complicated appearance, but in a few special cases it is quite simple. We have, for instance, spread(Euler(3*5)) = 4/(t^3 + 2t^2 +1), spread(Euler(3*5*7)) = 8/(t^7 + 3t^6 + 3t^4 + 1), spread(hexany) = 6/(t^6 + 4t^4 + 1), spread(dekany) = 10/(3t^9 + 6t^7 + 1), spread(pentadekany) = 16/(6t^14 + 8t^11 + 1), spread(eikosany) = 20/(t^19 + 9t^18 + 9t^14 + 1).</body></html></pre></div> | ||