Tp tuning: Difference between revisions
Wikispaces>genewardsmith **Imported revision 357975890 - Original comment: ** |
Wikispaces>genewardsmith **Imported revision 357975966 - 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-08-15 13: | : This revision was by author [[User:genewardsmith|genewardsmith]] and made on <tt>2012-08-15 13:46:13 UTC</tt>.<br> | ||
: The original revision id was <tt> | : The original revision id was <tt>357975966</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 30: | Line 30: | ||
Note that while the Hahn-Banach theorem is usually proven using Zorn's lemma and does not guarantee any kind of uniqueness, in most cases there is only one Lp tuning and the extension of Ɛ to Ƹ is in that case unique. | Note that while the Hahn-Banach theorem is usually proven using Zorn's lemma and does not guarantee any kind of uniqueness, in most cases there is only one Lp tuning and the extension of Ɛ to Ƹ is in that case unique. | ||
= | =T2 tuning= | ||
In the special case where p = 2, the Tp norm for the full prime limit becomes the L2 norm, which is the [[Tenney-Euclidean metrics|Tenney-Euclidean]] norm, or TE complexity. Associated to this norm is T2 tuning extended to arbitrary JI groups, and the T2 error, which is E2(S) for the temperament S, and which is approximately proportional to [[Tenney-Euclidean temperament measures#TE%20error|TE error]]. | In the special case where p = 2, the Tp norm for the full prime limit becomes the L2 norm, which is the [[Tenney-Euclidean metrics|Tenney-Euclidean]] norm, or TE complexity. Associated to this norm is T2 tuning extended to arbitrary JI groups, and the T2 error, which is E2(S) for the temperament S, and which is approximately proportional to [[Tenney-Euclidean temperament measures#TE%20error|TE error]]. | ||
For an example, consider [[Chromatic pairs#Indium|indium temperament]], with group 2.5/3.7/3.11/3 and comma basis 3025/3024 and 3125/3087. The corresponding full 11-limit temperament is of rank three, and using the [[Tenney-Euclidean tuning|usual methods]], in particular the pseudoinverse, we find that the T2 tuning map is <1199.552 1901.846 2783.579 3371.401 4153.996|. Applying that to 12/11 gives a generator of 146.995, and multiplying that by 1200.0/1199.552 gives a POT2 tuning, or extended POTE tuning, of 147.010. Converting the tuning map to weighted coordinates and subtracting <1200 1200 1200 1200 1200| gives <-0.4475 -.0685 -1.1778 0.9172 0.7741|. The ordinary Euclidean norm of this, ie the square root of the dot product, gives an error of 1.7414 cents.</pre></div> | For an example, consider [[Chromatic pairs#Indium|indium temperament]], with group 2.5/3.7/3.11/3 and comma basis 3025/3024 and 3125/3087. The corresponding full 11-limit temperament is of rank three, and using the [[Tenney-Euclidean tuning|usual methods]], in particular the pseudoinverse, we find that the T2 tuning map is <1199.552 1901.846 2783.579 3371.401 4153.996|. Applying that to 12/11 gives a generator of 146.995, and multiplying that by 1200.0/1199.552 gives a POT2 tuning, or extended POTE tuning, of 147.010. Converting the tuning map to weighted coordinates and subtracting <1200 1200 1200 1200 1200| gives <-0.4475 -.0685 -1.1778 0.9172 0.7741|. The ordinary Euclidean norm of this, ie the square root of the dot product, gives an error of 1.7414 cents.</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>Tp tuning</title></head><body><!-- ws:start:WikiTextTocRule:10:&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:10 --><!-- ws:start:WikiTextTocRule:11: --><a href="#Definition">Definition</a><!-- ws:end:WikiTextTocRule:11 --><!-- ws:start:WikiTextTocRule:12: --> | <a href="#Dual norm">Dual norm</a><!-- ws:end:WikiTextTocRule:12 --><!-- ws:start:WikiTextTocRule:13: --> | <a href="#Applying the Hahn-Banach theorem">Applying the Hahn-Banach theorem</a><!-- ws:end:WikiTextTocRule:13 --><!-- ws:start:WikiTextTocRule:14: --> | <a href="# | <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>Tp tuning</title></head><body><!-- ws:start:WikiTextTocRule:10:&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:10 --><!-- ws:start:WikiTextTocRule:11: --><a href="#Definition">Definition</a><!-- ws:end:WikiTextTocRule:11 --><!-- ws:start:WikiTextTocRule:12: --> | <a href="#Dual norm">Dual norm</a><!-- ws:end:WikiTextTocRule:12 --><!-- ws:start:WikiTextTocRule:13: --> | <a href="#Applying the Hahn-Banach theorem">Applying the Hahn-Banach theorem</a><!-- ws:end:WikiTextTocRule:13 --><!-- ws:start:WikiTextTocRule:14: --> | <a href="#T2 tuning">T2 tuning</a><!-- ws:end:WikiTextTocRule:14 --><!-- ws:start:WikiTextTocRule:15: --> | ||
<!-- ws:end:WikiTextTocRule:15 --><!-- ws:start:WikiTextHeadingRule:2:&lt;h1&gt; --><h1 id="toc0"><a name="Definition"></a><!-- ws:end:WikiTextHeadingRule:2 -->Definition</h1> | <!-- ws:end:WikiTextTocRule:15 --><!-- ws:start:WikiTextHeadingRule:2:&lt;h1&gt; --><h1 id="toc0"><a name="Definition"></a><!-- ws:end:WikiTextHeadingRule:2 -->Definition</h1> | ||
<strong>Tp tuning</strong> is a generalzation of <a class="wiki_link" href="/TOP%20tuning">TOP</a> and <a class="wiki_link" href="/Tenney-Euclidean%20tuning">TE</a> tuning. If p ≥ 1, define the Tp norm, which we may also call the Tp complexity, of any monzo in weighted coordinates b as<br /> | <strong>Tp tuning</strong> is a generalzation of <a class="wiki_link" href="/TOP%20tuning">TOP</a> and <a class="wiki_link" href="/Tenney-Euclidean%20tuning">TE</a> tuning. If p ≥ 1, define the Tp norm, which we may also call the Tp complexity, of any monzo in weighted coordinates b as<br /> | ||
| Line 61: | Line 61: | ||
Note that while the Hahn-Banach theorem is usually proven using Zorn's lemma and does not guarantee any kind of uniqueness, in most cases there is only one Lp tuning and the extension of Ɛ to Ƹ is in that case unique.<br /> | Note that while the Hahn-Banach theorem is usually proven using Zorn's lemma and does not guarantee any kind of uniqueness, in most cases there is only one Lp tuning and the extension of Ɛ to Ƹ is in that case unique.<br /> | ||
<br /> | <br /> | ||
<!-- ws:start:WikiTextHeadingRule:8:&lt;h1&gt; --><h1 id="toc3"><a name=" | <!-- ws:start:WikiTextHeadingRule:8:&lt;h1&gt; --><h1 id="toc3"><a name="T2 tuning"></a><!-- ws:end:WikiTextHeadingRule:8 -->T2 tuning</h1> | ||
In the special case where p = 2, the Tp norm for the full prime limit becomes the L2 norm, which is the <a class="wiki_link" href="/Tenney-Euclidean%20metrics">Tenney-Euclidean</a> norm, or TE complexity. Associated to this norm is T2 tuning extended to arbitrary JI groups, and the T2 error, which is E2(S) for the temperament S, and which is approximately proportional to <a class="wiki_link" href="/Tenney-Euclidean%20temperament%20measures#TE%20error">TE error</a>.<br /> | In the special case where p = 2, the Tp norm for the full prime limit becomes the L2 norm, which is the <a class="wiki_link" href="/Tenney-Euclidean%20metrics">Tenney-Euclidean</a> norm, or TE complexity. Associated to this norm is T2 tuning extended to arbitrary JI groups, and the T2 error, which is E2(S) for the temperament S, and which is approximately proportional to <a class="wiki_link" href="/Tenney-Euclidean%20temperament%20measures#TE%20error">TE error</a>.<br /> | ||
<br /> | <br /> | ||
For an example, consider <a class="wiki_link" href="/Chromatic%20pairs#Indium">indium temperament</a>, with group 2.5/3.7/3.11/3 and comma basis 3025/3024 and 3125/3087. The corresponding full 11-limit temperament is of rank three, and using the <a class="wiki_link" href="/Tenney-Euclidean%20tuning">usual methods</a>, in particular the pseudoinverse, we find that the T2 tuning map is &lt;1199.552 1901.846 2783.579 3371.401 4153.996|. Applying that to 12/11 gives a generator of 146.995, and multiplying that by 1200.0/1199.552 gives a POT2 tuning, or extended POTE tuning, of 147.010. Converting the tuning map to weighted coordinates and subtracting &lt;1200 1200 1200 1200 1200| gives &lt;-0.4475 -.0685 -1.1778 0.9172 0.7741|. The ordinary Euclidean norm of this, ie the square root of the dot product, gives an error of 1.7414 cents.</body></html></pre></div> | For an example, consider <a class="wiki_link" href="/Chromatic%20pairs#Indium">indium temperament</a>, with group 2.5/3.7/3.11/3 and comma basis 3025/3024 and 3125/3087. The corresponding full 11-limit temperament is of rank three, and using the <a class="wiki_link" href="/Tenney-Euclidean%20tuning">usual methods</a>, in particular the pseudoinverse, we find that the T2 tuning map is &lt;1199.552 1901.846 2783.579 3371.401 4153.996|. Applying that to 12/11 gives a generator of 146.995, and multiplying that by 1200.0/1199.552 gives a POT2 tuning, or extended POTE tuning, of 147.010. Converting the tuning map to weighted coordinates and subtracting &lt;1200 1200 1200 1200 1200| gives &lt;-0.4475 -.0685 -1.1778 0.9172 0.7741|. The ordinary Euclidean norm of this, ie the square root of the dot product, gives an error of 1.7414 cents.</body></html></pre></div> | ||