Tenney–Euclidean metrics: Difference between revisions

Line 8:

<math>\displaystyle W = \operatorname {diag} (1/\log_2 (Q))</math>

~~Left~~-multiplying a vector by this matrix scales each entry by the corresponding entry of the diagonal matrix.

Right-multiplying a row vector by this matrix scales each entry by the corresponding entry of the diagonal matrix.

Given a val ''V'' expressed as a row vector, the corresponding vector in weighted coordinates is {{nowrap| ''V''''W'' {{=}} ''VW'' }}, with transpose {{nowrap| {{subsup|''V''|''W''|T}} {{=}} ''WV''{{t}} }} where {{t}} denotes the transpose. Then the dot product of weighted vals is {{nowrap| ''V''''W''{{subsup|''V''|''W''|T}} {{=}} ''VW''2''V''{{t}} }} (the dot product of a vector with itself, or the sum of the squares of its entries), which makes the Euclidean metric on vals[how?], a measure of complexity, to be {{nowrap| ‖''V''''W''‖2 {{=}} sqrt(''V''''W''{{subsup|''V''|''W''|T}}) }} {{nowrap| {{=}} sqrt({{subsup|''v''|1|2}} + {{subsup|''v''|2|2}}/(log23)2 + … + {{subsup|''v''|''n''|2}}/(log2''p'')2) }}, where {{nowrap|''n'' {{=}} π(''p'')}} is the number of primes to ''p''; dividing this by sqrt(''n'') gives the TE norm of a val.

Given a val ''V'' expressed as a row vector, the corresponding row vector in weighted coordinates is {{nowrap| ''V''''W'' {{=}} ''VW'' }}, with transpose {{nowrap| {{subsup|''V''|''W''|T}} {{=}} ''WV''{{t}} }} where {{t}} denotes the transpose. Then the dot product of weighted vals is {{nowrap| ''V''''W''{{subsup|''V''|''W''|T}} {{=}} ''VW''2''V''{{t}} }} (the dot product of a vector with itself, or the sum of the squares of its entries), which makes the Euclidean metric on vals[how?], a measure of complexity, to be {{nowrap| ‖''V''''W''‖2 {{=}} sqrt(''V''''W''{{subsup|''V''|''W''|T}}) }} {{nowrap| {{=}} sqrt({{subsup|''v''|1|2}} + {{subsup|''v''|2|2}}/(log23)2 + … + {{subsup|''v''|''n''|2}}/(log2''p'')2) }}, where {{nowrap|''n'' {{=}} π(''p'')}} is the number of primes to ''p''; dividing this by sqrt(''n'') gives the TE norm of a val.

Similarly, if '''m''' is a monzo, then in weighted coordinates the monzo becomes {{nowrap| '''m'''''W'' {{=}} ''W''{{inv}}'''m''' }}, and the dot product is {{nowrap| {{subsup|'''m'''|''W''|T}}'''m'''''W'' {{=}} '''m'''{{t}}''W''-2'''m''' }}, leading to {{nowrap| sqrt({{subsup|'''m'''|''W''|T}}'''m'''''W'') {{=}} sqrt({{subsup|''m''|1|2}} + (log23)2{{subsup|''m''|2|2}} + … + (log2''p'')2{{subsup|''m''|''n''|2}}) }}; multiplying this by sqrt(''n'') gives the dual RMS norm on monzos which serves as a measure of complexity.

== TE temperamental norm ==

@@ Line 8: / Line 8: @@
 <math>\displaystyle W = \operatorname {diag} (1/\log_2 (Q))</math>
-Left-multiplying a vector by this matrix scales each entry by the corresponding entry of the diagonal matrix.
+Right-multiplying a row vector by this matrix scales each entry by the corresponding entry of the diagonal matrix.
-Given a val ''V'' expressed as a row vector, the corresponding vector in weighted coordinates is {{nowrap| ''V''<sub>''W''</sub> {{=}} ''VW'' }}, with transpose {{nowrap| {{subsup|''V''|''W''|T}} {{=}} ''WV''{{t}} }} where {{t}} denotes the transpose. Then the dot product of weighted vals is {{nowrap| ''V''<sub>''W''</sub>{{subsup|''V''|''W''|T}} {{=}} ''VW''<sup>2</sup>''V''{{t}} }} (the dot product of a vector with itself, or the sum of the squares of its entries), which makes the Euclidean metric on vals<sup>[how?]</sup>, a measure of complexity, to be {{nowrap| ‖''V''<sub>''W''</sub>‖<sub>2</sub> {{=}} sqrt(''V''<sub>''W''</sub>{{subsup|''V''|''W''|T}}) }} {{nowrap| {{=}} sqrt({{subsup|''v''|1|2}} + {{subsup|''v''|2|2}}/(log<sub>2</sub>3)<sup>2</sup> + … + {{subsup|''v''|''n''|2}}/(log<sub>2</sub>''p'')<sup>2</sup>) }}, where {{nowrap|''n'' {{=}} π(''p'')}} is the number of primes to ''p''; dividing this by sqrt(''n'') gives the TE norm of a val.
+Given a val ''V'' expressed as a row vector, the corresponding row vector in weighted coordinates is {{nowrap| ''V''<sub>''W''</sub> {{=}} ''VW'' }}, with transpose {{nowrap| {{subsup|''V''|''W''|T}} {{=}} ''WV''{{t}} }} where {{t}} denotes the transpose. Then the dot product of weighted vals is {{nowrap| ''V''<sub>''W''</sub>{{subsup|''V''|''W''|T}} {{=}} ''VW''<sup>2</sup>''V''{{t}} }} (the dot product of a vector with itself, or the sum of the squares of its entries), which makes the Euclidean metric on vals<sup>[how?]</sup>, a measure of complexity, to be {{nowrap| ‖''V''<sub>''W''</sub>‖<sub>2</sub> {{=}} sqrt(''V''<sub>''W''</sub>{{subsup|''V''|''W''|T}}) }} {{nowrap| {{=}} sqrt({{subsup|''v''|1|2}} + {{subsup|''v''|2|2}}/(log<sub>2</sub>3)<sup>2</sup> + … + {{subsup|''v''|''n''|2}}/(log<sub>2</sub>''p'')<sup>2</sup>) }}, where {{nowrap|''n'' {{=}} π(''p'')}} is the number of primes to ''p''; dividing this by sqrt(''n'') gives the TE norm of a val.
 Similarly, if '''m''' is a monzo, then in weighted coordinates the monzo becomes {{nowrap| '''m'''<sub>''W''</sub> {{=}} ''W''{{inv}}'''m''' }}, and the dot product is {{nowrap| {{subsup|'''m'''|''W''|T}}'''m'''<sub>''W''</sub> {{=}} '''m'''{{t}}''W''<sup>-2</sup>'''m''' }}, leading to {{nowrap| sqrt({{subsup|'''m'''|''W''|T}}'''m'''<sub>''W''</sub>) {{=}} sqrt({{subsup|''m''|1|2}} + (log<sub>2</sub>3)<sup>2</sup>{{subsup|''m''|2|2}} + … + (log<sub>2</sub>''p'')<sup>2</sup>{{subsup|''m''|''n''|2}}) }}; multiplying this by sqrt(''n'') gives the dual RMS norm on monzos which serves as a measure of complexity.
 == TE temperamental norm ==