Tenney–Euclidean metrics: Difference between revisions

Line 1:

<h2>IMPORTED REVISION FROM WIKISPACES</h2>

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-11-~~23 20~~:01:42 UTC</tt>.<br>

: This revision was by author [[User:genewardsmith|genewardsmith]] and made on <tt>2013-11-26 13:31:33 UTC</tt>.<br>

: The original revision id was <tt>~~471702798~~</tt>.<br>

: The original revision id was <tt>472475982</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>

Line 8:

<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">[[toc|flat]]

=The weighting matrix=

Let us define the val weighting matrix W to be the diagonal matrix with values 1, 1/log2(3), 1/log2(5) ... 1/log2(p) along the diagonal. Given a val "a" expressed as a row vector, the corresponding vector in weighted coordinates is aW, with transpose Wa* where the * denotes the transpose. Then the dot product of weighted vals is aW^2a*, which makes the Euclidean metric on vals, a measure of complexity, to be || <a2 a3 ... ap| || = sqrt(a2^2 + a3^2/log2(3)^2 + ... + ap^2/log2(p)^2). Similarly, if b is a monzo, then in weighted coordinates the monzo becomes bW^(-1), and the dot product is bW^(-2)b*, leading to sqrt(b2^2 + log2(3)^2b3^2 + ... + log2(p)^2bp^2) as the norm on monzos, a measure of complexity we may call the Tenney-Euclidean, or TE, complexity.

Let us define the val weighting matrix W to be the diagonal matrix with values 1, 1/log2(3), 1/log2(5) ... 1/log2(p) along the diagonal. Given a val "a" expressed as a row vector, the corresponding vector in weighted coordinates is aW, with transpose Wa* where the * denotes the transpose. Then the dot product of weighted vals is aW^2a*, which makes the Euclidean metric on vals, a measure of complexity, to be || <a2 a3 ... ap| ||_2 = sqrt(a2^2 + a3^2/log2(3)^2 + ... + ap^2/log2(p)^2); dividong this by sqrt(n), where n = π(p) is the number of primes to p gives the Tenney-Euclidean, or TE, norm. Similarly, if b is a monzo, then in weighted coordinates the monzo becomes bW^(-1), and the dot product is bW^(-2)b*, leading to sqrt(b2^2 + log2(3)^2b3^2 + ... + log2(p)^2bp^2) as the norm on monzos, a measure of complexity we may call the Tenney-Euclidean, or TE, complexity.

=Temperamental complexity=

Line 54:

<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>Tenney-Euclidean metrics</title></head><body><a href="#The weighting matrix">The weighting matrix</a> | <a href="#Temperamental complexity">Temperamental complexity</a> | <a href="#The OETES">The OETES</a> | <a href="#Logflat TE badness">Logflat TE badness</a> | <a href="#Examples">Examples</a>

<h1 id="toc0"><a name="The weighting matrix"></a>The weighting matrix</h1>

Let us define the val weighting matrix W to be the diagonal matrix with values 1, 1/log2(3), 1/log2(5) ... 1/log2(p) along the diagonal. Given a val &quot;a&quot; expressed as a row vector, the corresponding vector in weighted coordinates is aW, with transpose Wa* where the * denotes the transpose. Then the dot product of weighted vals is aW^2a*, which makes the Euclidean metric on vals, a measure of complexity, to be || &lt;a2 a3 ... ap| || = sqrt(a2^2 + a3^2/log2(3)^2 + ... + ap^2/log2(p)^2). Similarly, if b is a monzo, then in weighted coordinates the monzo becomes bW^(-1), and the dot product is bW^(-2)b*, leading to sqrt(b2^2 + log2(3)^2b3^2 + ... + log2(p)^2bp^2) as the norm on monzos, a measure of complexity we may call the Tenney-Euclidean, or TE, complexity.<br />

Let us define the val weighting matrix W to be the diagonal matrix with values 1, 1/log2(3), 1/log2(5) ... 1/log2(p) along the diagonal. Given a val &quot;a&quot; expressed as a row vector, the corresponding vector in weighted coordinates is aW, with transpose Wa* where the * denotes the transpose. Then the dot product of weighted vals is aW^2a*, which makes the Euclidean metric on vals, a measure of complexity, to be || &lt;a2 a3 ... ap| ||_2 = sqrt(a2^2 + a3^2/log2(3)^2 + ... + ap^2/log2(p)^2); dividong this by sqrt(n), where n = π(p) is the number of primes to p gives the Tenney-Euclidean, or TE, norm. Similarly, if b is a monzo, then in weighted coordinates the monzo becomes bW^(-1), and the dot product is bW^(-2)b*, leading to sqrt(b2^2 + log2(3)^2b3^2 + ... + log2(p)^2bp^2) as the norm on monzos, a measure of complexity we may call the Tenney-Euclidean, or TE, complexity.<br />

<br />

<h1 id="toc1"><a name="Temperamental complexity"></a>Temperamental complexity</h1>

@@ Line 1: / Line 1: @@
 <h2>IMPORTED REVISION FROM WIKISPACES</h2>
 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-11-23 20:01:42 UTC</tt>.<br>
+: This revision was by author [[User:genewardsmith|genewardsmith]] and made on <tt>2013-11-26 13:31:33 UTC</tt>.<br>
-: The original revision id was <tt>471702798</tt>.<br>
+: The original revision id was <tt>472475982</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>
@@ Line 8: / Line 8: @@
 <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">[[toc|flat]]
 =The weighting matrix=
-Let us define the val weighting matrix W to be the diagonal matrix with values 1, 1/log2(3), 1/log2(5) ... 1/log2(p) along the diagonal. Given a val "a" expressed as a row vector, the corresponding vector in weighted coordinates is aW, with transpose Wa* where the * denotes the transpose. Then the dot product of weighted vals is aW^2a*, which makes the Euclidean metric on vals, a measure of complexity, to be || &lt;a2 a3 ... ap| || = sqrt(a2^2 + a3^2/log2(3)^2 + ... + ap^2/log2(p)^2). Similarly, if b is a monzo, then in weighted coordinates the monzo becomes bW^(-1), and the dot product is bW^(-2)b*, leading to sqrt(b2^2 + log2(3)^2b3^2 + ... + log2(p)^2bp^2) as the norm on monzos, a measure of complexity we may call the Tenney-Euclidean, or TE, complexity.
+Let us define the val weighting matrix W to be the diagonal matrix with values 1, 1/log2(3), 1/log2(5) ... 1/log2(p) along the diagonal. Given a val "a" expressed as a row vector, the corresponding vector in weighted coordinates is aW, with transpose Wa* where the * denotes the transpose. Then the dot product of weighted vals is aW^2a*, which makes the Euclidean metric on vals, a measure of complexity, to be || &lt;a2 a3 ... ap| ||_2 = sqrt(a2^2 + a3^2/log2(3)^2 + ... + ap^2/log2(p)^2); dividong this by sqrt(n), where n = π(p) is the number of primes to p gives the Tenney-Euclidean, or TE, norm. Similarly, if b is a monzo, then in weighted coordinates the monzo becomes bW^(-1), and the dot product is bW^(-2)b*, leading to sqrt(b2^2 + log2(3)^2b3^2 + ... + log2(p)^2bp^2) as the norm on monzos, a measure of complexity we may call the Tenney-Euclidean, or TE, complexity.
 =Temperamental complexity=
@@ Line 54: / Line 54: @@
 <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">&lt;html&gt;&lt;head&gt;&lt;title&gt;Tenney-Euclidean metrics&lt;/title&gt;&lt;/head&gt;&lt;body&gt;&lt;!-- ws:start:WikiTextTocRule:10:&amp;lt;img id=&amp;quot;wikitext@@toc@@flat&amp;quot; class=&amp;quot;WikiMedia WikiMediaTocFlat&amp;quot; title=&amp;quot;Table of Contents&amp;quot; src=&amp;quot;/site/embedthumbnail/toc/flat?w=100&amp;amp;h=16&amp;quot;/&amp;gt; --&gt;&lt;!-- ws:end:WikiTextTocRule:10 --&gt;&lt;!-- ws:start:WikiTextTocRule:11: --&gt;&lt;a href="#The weighting matrix"&gt;The weighting matrix&lt;/a&gt;&lt;!-- ws:end:WikiTextTocRule:11 --&gt;&lt;!-- ws:start:WikiTextTocRule:12: --&gt; | &lt;a href="#Temperamental complexity"&gt;Temperamental complexity&lt;/a&gt;&lt;!-- ws:end:WikiTextTocRule:12 --&gt;&lt;!-- ws:start:WikiTextTocRule:13: --&gt; | &lt;a href="#The OETES"&gt;The OETES&lt;/a&gt;&lt;!-- ws:end:WikiTextTocRule:13 --&gt;&lt;!-- ws:start:WikiTextTocRule:14: --&gt; | &lt;a href="#Logflat TE badness"&gt;Logflat TE badness&lt;/a&gt;&lt;!-- ws:end:WikiTextTocRule:14 --&gt;&lt;!-- ws:start:WikiTextTocRule:15: --&gt; | &lt;a href="#Examples"&gt;Examples&lt;/a&gt;&lt;!-- ws:end:WikiTextTocRule:15 --&gt;&lt;!-- ws:start:WikiTextTocRule:16: --&gt;
 &lt;!-- ws:end:WikiTextTocRule:16 --&gt;&lt;!-- ws:start:WikiTextHeadingRule:0:&amp;lt;h1&amp;gt; --&gt;&lt;h1 id="toc0"&gt;&lt;a name="The weighting matrix"&gt;&lt;/a&gt;&lt;!-- ws:end:WikiTextHeadingRule:0 --&gt;The weighting matrix&lt;/h1&gt;
-  Let us define the val weighting matrix W to be the diagonal matrix with values 1, 1/log2(3), 1/log2(5) ... 1/log2(p) along the diagonal. Given a val &amp;quot;a&amp;quot; expressed as a row vector, the corresponding vector in weighted coordinates is aW, with transpose Wa* where the * denotes the transpose. Then the dot product of weighted vals is aW^2a*, which makes the Euclidean metric on vals, a measure of complexity, to be || &amp;lt;a2 a3 ... ap| || = sqrt(a2^2 + a3^2/log2(3)^2 + ... + ap^2/log2(p)^2). Similarly, if b is a monzo, then in weighted coordinates the monzo becomes bW^(-1), and the dot product is bW^(-2)b*, leading to sqrt(b2^2 + log2(3)^2b3^2 + ... + log2(p)^2bp^2) as the norm on monzos, a measure of complexity we may call the Tenney-Euclidean, or TE, complexity.&lt;br /&gt;
+  Let us define the val weighting matrix W to be the diagonal matrix with values 1, 1/log2(3), 1/log2(5) ... 1/log2(p) along the diagonal. Given a val &amp;quot;a&amp;quot; expressed as a row vector, the corresponding vector in weighted coordinates is aW, with transpose Wa* where the * denotes the transpose. Then the dot product of weighted vals is aW^2a*, which makes the Euclidean metric on vals, a measure of complexity, to be || &amp;lt;a2 a3 ... ap| ||_2 = sqrt(a2^2 + a3^2/log2(3)^2 + ... + ap^2/log2(p)^2); dividong this by sqrt(n), where n = π(p) is the number of primes to p gives the Tenney-Euclidean, or TE, norm. Similarly, if b is a monzo, then in weighted coordinates the monzo becomes bW^(-1), and the dot product is bW^(-2)b*, leading to sqrt(b2^2 + log2(3)^2b3^2 + ... + log2(p)^2bp^2) as the norm on monzos, a measure of complexity we may call the Tenney-Euclidean, or TE, complexity.&lt;br /&gt;
 &lt;br /&gt;
 &lt;!-- ws:start:WikiTextHeadingRule:2:&amp;lt;h1&amp;gt; --&gt;&lt;h1 id="toc1"&gt;&lt;a name="Temperamental complexity"&gt;&lt;/a&gt;&lt;!-- ws:end:WikiTextHeadingRule:2 --&gt;Temperamental complexity&lt;/h1&gt;