Structure metric: Difference between revisions

: This revision was by author [[User:genewardsmith|genewardsmith]] and made on <tt>2015-11-22 20:36:25 UTC</tt>.<br>

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

A metric invariant is a property of a metric space which is preserved under isometry. The metric invariants of the structure metric define properites of the scale from which it derives,

The //eccentricity// of a point x of a metric space (and therefore of a note of our scale) is its maximum distance from any other point in the space. The minimum eccentricity is the radius of the space, and the maximum eccentricity is the diameter. The center of the space is the set of points whose eccentricity equals the radius. This can be the whole space, and hence the whole scale, but more often it singles out some notes as of particular importance in the scale. For instance in John O'Sullivan's scale Blue, 1-15/14-9/8-6/5-5/4-4/3-7/5-3/2-8/5-5/3-9/5-15/8-2, {1, 6/5, 5/4, 3/2} is singled out as the center. A more refined measure than eccentricity is the //distance degree// of a point; we can use the minimum of this to define the distance degree center. In the case of Blue, that would be {1, 3/2}. Note that the importance of these notes is not derived from tuning considerations but purely from the structure of the scale.

If d is a metric, the pth power of d for p ≥ 0 will at least be a distance function, though for some choices of p it might violate the triangle inequality. The pth power transform of the metric d leads to the p distance matrix Dp = (d(i, j)^p). This is an N dimensional symmetric square matrix, where N is the cardinality of the scale within a single period. Corresponding to it is an N-1 dimensional symmetric square matrix Gp = ((i, j)^p), the p Gromov product matrix. If Gp is positive semidefinite, then the metric space is said to have p-negative type. If it is positive definite, the space is of strict p-negative type. The space is embeddable in a Euclidean space if and only if it is of 2-negative type, and if and only if it is embeddable in a Euclidean space of N-1 dimensions but in no lesser number of dimensions, it is of strict 2-negative type. It follows that if Gp is positive semidefinite, the p/2-th power transform d^(p/2) of the metric embeds in Euclidean space, and if it is positive definite, such an embedding requires N-1 dimensions. If the space is of p-negative type, it is of strict q-negative type for any q&lt;p. The supremum of all the exponents q where the space is of strict q-negative type is an exponent p which is of negative type but not strict negative type. This exponent is called the supremal p-negative type (and also the maximal generalized roundness.) A space (and hence for us, a scale) with a higher supremal p-negative type is "rounder", and with a lower one "flatter". Below is a listing of some scales (either JI or in some edo) by increasing roundness.

A metric invariant is a property of a metric space which is preserved under isometry. The metric invariants of the structure metric define properites of the scale from which it derives,&lt;br /&gt;

The &lt;em&gt;eccentricity&lt;/em&gt; of a point x of a metric space (and therefore of a note of our scale) is its maximum distance from any other point in the space. The minimum eccentricity is the radius of the space, and the maximum eccentricity is the diameter. The center of the space is the set of points whose eccentricity equals the radius. This can be the whole space, and hence the whole scale, but more often it singles out some notes as of particular importance in the scale. For instance in John O'Sullivan's scale Blue, 1-15/14-9/8-6/5-5/4-4/3-7/5-3/2-8/5-5/3-9/5-15/8-2, {1, 6/5, 5/4, 3/2} is singled out as the center. A more refined measure than eccentricity is the &lt;em&gt;distance degree&lt;/em&gt; of a point; we can use the minimum of this to define the distance degree center. In the case of Blue, that would be {1, 3/2}. Note that the importance of these notes is not derived from tuning considerations but purely from the structure of the scale.&lt;br /&gt;

If d is a metric, the pth power of d for p ≥ 0 will at least be a distance function, though for some choices of p it might violate the triangle inequality. The pth power transform of the metric d leads to the p distance matrix Dp = (d(i, j)^p). This is an N dimensional symmetric square matrix, where N is the cardinality of the scale within a single period. Corresponding to it is an N-1 dimensional symmetric square matrix Gp = ((i, j)^p), the p Gromov product matrix. If Gp is positive semidefinite, then the metric space is said to have p-negative type. If it is positive definite, the space is of strict p-negative type. The space is embeddable in a Euclidean space if and only if it is of 2-negative type, and if and only if it is embeddable in a Euclidean space of N-1 dimensions but in no lesser number of dimensions, it is of strict 2-negative type. It follows that if Gp is positive semidefinite, the p/2-th power transform d^(p/2) of the metric embeds in Euclidean space, and if it is positive definite, such an embedding requires N-1 dimensions. If the space is of p-negative type, it is of strict q-negative type for any q&amp;lt;p. The supremum of all the exponents q where the space is of strict q-negative type is an exponent p which is of negative type but not strict negative type. This exponent is called the supremal p-negative type (and also the maximal generalized roundness.) A space (and hence for us, a scale) with a higher supremal p-negative type is &amp;quot;rounder&amp;quot;, and with a lower one &amp;quot;flatter&amp;quot;. Below is a listing of some scales (either JI or in some edo) by increasing roundness.&lt;br /&gt;