Lesfip scales
IMPORTED REVISION FROM WIKISPACES
This is an imported revision from Wikispaces. The revision metadata is included below for reference:
- This revision was by author genewardsmith and made on 2012-01-12 13:49:17 UTC.
- The original revision id was 291735689.
- The revision comment was:
The revision contents are below, presented both in the original Wikispaces Wikitext format, and in HTML exactly as Wikispaces rendered it.
Original Wikitext content:
=Introduction= A //lesfip scale// (LEast Squares FIxed Point) is a scale which for some range of values for error tolerance, is a fixed point for the [[http://en.wikipedia.org/wiki/Least_squares|least squares algorithm]] minimizing the sum of squared error relative to some target list of intervals. That is, when we minimize the sum of the squares of all of the errors less than some fixed value such as seven cents, we obtain the same scale back again. A lesfip scale may be found by choosing a [[periodic scale|scale]], a target set of intervals, and an error tolerance. The least squares optimization is iterated until a fixed point is arrived at. Occasionally there may be a problem when the system becomes underdetermined, which can be fixed by increasing the error tolerance by some amount for one iteration. Two distinct scales can easily converge on one lesfip scale; an example is provided by the famous [[circulating temperaments]] Vallotti-Young and Werckmeister III, which converge onto the same temperament extraordinaire, [[val-werck]]. It can also happen that during the iteration two notes merge into one, decreasing the size of the scale. =Definition= Suppose S are the notes of a scale, expressed in terms of a set of notes 0 < s < 1200, for s∊S. This is the set of pitch classes of the scale, excepting the unison/octave class, expressed in terms of cents, of a periodic scale. Let C likewise be a set 0 < c < 1200 for c∊C of consonance targets, for example the values in cents of all members of a q-limit [[tonality diamond]]. Let e be a positive real number denoting the maximum allowed error in an approximation of an interval of the scale to an element of the set of target consonances, expressed in cents. Now form two sums: let A be the sum ∑(Xs - c)^2 over all pairs s∊S, c∊C with |s-c| < e, where Xs is a variable corresponding to s. Let B be the sum ∑(Xs - Xt - c)^2 over all triples s∊S, t∊S, c∊C with s>t and |s-t-c| < e, where Xs and Xt are variables corresponding to s and t. Now let Q = A+B. We define L(S, C, e) to be the set S' of values for the variables minimizing Q, if a unique minimum exists. This can be found by differentiating Q with respect to each of the variables, leading to n linear equations in n unknowns. If the system is underdetermined this might not lead to a unique solution; in this case L(S, C, e) is undefined. By adding more members to C, increasing the value of e, or both, it's possible to find a unique solution to a different, but related, problem. A lesfip scale is a fixed point of L for a given choice of C and some range a < e < b of values for e; that is, a set S such that L(S, C, e) = S, together with (in Scala format) 1200, representing the octave class. Lesfip are discrete points in the space of possible n-note octave repeating scales, surrounded by a basin of attraction. They can be found by iterating L, discarding the extra note when two notes converge to the same value, and stopping when a fixed point is reached. =Examples= Examples of lesfip scales can be found at [[Scalesmith]].
Original HTML content:
<html><head><title>Lesfip scales</title></head><body><br /> <!-- ws:start:WikiTextHeadingRule:0:<h1> --><h1 id="toc0"><a name="Introduction"></a><!-- ws:end:WikiTextHeadingRule:0 -->Introduction</h1> A <em>lesfip scale</em> (LEast Squares FIxed Point) is a scale which for some range of values for error tolerance, is a fixed point for the <a class="wiki_link_ext" href="http://en.wikipedia.org/wiki/Least_squares" rel="nofollow">least squares algorithm</a> minimizing the sum of squared error relative to some target list of intervals. That is, when we minimize the sum of the squares of all of the errors less than some fixed value such as seven cents, we obtain the same scale back again.<br /> <br /> A lesfip scale may be found by choosing a <a class="wiki_link" href="/periodic%20scale">scale</a>, a target set of intervals, and an error tolerance. The least squares optimization is iterated until a fixed point is arrived at. Occasionally there may be a problem when the system becomes underdetermined, which can be fixed by increasing the error tolerance by some amount for one iteration. Two distinct scales can easily converge on one lesfip scale; an example is provided by the famous <a class="wiki_link" href="/circulating%20temperaments">circulating temperaments</a> Vallotti-Young and Werckmeister III, which converge onto the same temperament extraordinaire, <a class="wiki_link" href="/val-werck">val-werck</a>. It can also happen that during the iteration two notes merge into one, decreasing the size of the scale.<br /> <br /> <!-- ws:start:WikiTextHeadingRule:2:<h1> --><h1 id="toc1"><a name="Definition"></a><!-- ws:end:WikiTextHeadingRule:2 -->Definition</h1> Suppose S are the notes of a scale, expressed in terms of a set of notes 0 < s < 1200, for s∊S. This is the set of pitch classes of the scale, excepting the unison/octave class, expressed in terms of cents, of a periodic scale. Let C likewise be a set 0 < c < 1200 for c∊C of consonance targets, for example the values in cents of all members of a q-limit <a class="wiki_link" href="/tonality%20diamond">tonality diamond</a>. Let e be a positive real number denoting the maximum allowed error in an approximation of an interval of the scale to an element of the set of target consonances, expressed in cents.<br /> <br /> Now form two sums: let A be the sum ∑(Xs - c)^2 over all pairs s∊S, c∊C with |s-c| < e, where Xs is a variable corresponding to s. Let B be the sum ∑(Xs - Xt - c)^2 over all triples s∊S, t∊S, c∊C with s>t and |s-t-c| < e, where Xs and Xt are variables corresponding to s and t. Now let Q = A+B. We define L(S, C, e) to be the set S' of values for the variables minimizing Q, if a unique minimum exists. This can be found by differentiating Q with respect to each of the variables, leading to n linear equations in n unknowns. If the system is underdetermined this might not lead to a unique solution; in this case L(S, C, e) is undefined. By adding more members to C, increasing the value of e, or both, it's possible to find a unique solution to a different, but related, problem. <br /> <br /> A lesfip scale is a fixed point of L for a given choice of C and some range a < e < b of values for e; that is, a set S such that L(S, C, e) = S, together with (in Scala format) 1200, representing the octave class. Lesfip are discrete points in the space of possible n-note octave repeating scales, surrounded by a basin of attraction. They can be found by iterating L, discarding the extra note when two notes converge to the same value, and stopping when a fixed point is reached.<br /> <br /> <!-- ws:start:WikiTextHeadingRule:4:<h1> --><h1 id="toc2"><a name="Examples"></a><!-- ws:end:WikiTextHeadingRule:4 -->Examples</h1> Examples of lesfip scales can be found at <a class="wiki_link" href="/Scalesmith">Scalesmith</a>.</body></html>