Fokker block: Difference between revisions
Wikispaces>genewardsmith **Imported revision 306531666 - Original comment: ** |
Wikispaces>genewardsmith **Imported revision 306588950 - 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-02-29 | : This revision was by author [[User:genewardsmith|genewardsmith]] and made on <tt>2012-02-29 20:01:47 UTC</tt>.<br> | ||
: The original revision id was <tt> | : The original revision id was <tt>306588950</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 11: | Line 11: | ||
=Preliminaries= | =Preliminaries= | ||
Suppose we have n-1 commas, and we form an n by n matrix, the top row of which are n indeterminate elements |e2 e3 e5 ... ep>, and the other rows of which are the monzos corresponding to our chosen commas. If we take the determinant of this matrix, we get v2*e2+v3*e3+...+vp*ep where the v2, v3 ... vp are integers. We interpret this as the [[Vals and Tuning Space|val]] v = <v2, v3, ... vp|. If this is a zero vector the commas are not independent, and if the there exists a common divisor we have what is known as a torsion problem, and we discard the comma set. Otherwise, if v2<0 we reverse sign, and we have a val v which tells us what equal temperament our Fokker block will be approximating. For example, starting with the commas | Suppose we have n-1 commas, and we form an n by n matrix, the top row of which are n indeterminate elements |e2 e3 e5 ... ep>, and the other rows of which are the monzos corresponding to our chosen commas. If we take the determinant of this matrix, we get v2*e2+v3*e3+...+vp*ep where the v2, v3 ... vp are integers. We interpret this as the [[Vals and Tuning Space|val]] v = <v2, v3, ... vp|. If this is a zero vector the commas are not independent, and if the there exists a common divisor we have what is known as a torsion problem, and we discard the comma set. Otherwise, if v2<0 we reverse sign, and we have a val v which tells us what equal temperament our Fokker block will be approximating. For example, starting with the commas 225/224, 100/99, 176/175 and 385/384, the above procedure gives us the val v = <22 35 51 62 76|, and we will be looking at a 22-note scale in the 11-limit. | ||
Now choose an example step for the Fokker block, which is a p-limit interval c such that v(c) = 1; that is, if m is the monzo for c, then <v|m>=1. Precisely which interval with this property we choose doesn't actually matter, so if our commas are | Now choose an example step for the Fokker block, which is a p-limit interval c such that v(c) = 1; that is, if m is the monzo for c, then <v|m>=1. Precisely which interval with this property we choose doesn't actually matter, so if our commas are 225/224, 100/99, 176/175 and 385/384, we could for instance choose 22/21, 25/24, 28/27, 33/32, 36/35, 45/44 or 49/48. Having selected a step, form the n by n matrix whose first row is the monzo for the step c, and whose other rows are the monzos of the n-1 commas. Because we have chosen c so that v(c)=1, the determinant of this matrix will be ∓1. It is therefore a [[http://en.wikipedia.org/wiki/Unimodular_matrix|unimodular matrix]], that is, a square matrix with coefficients which are integers and with determinant ∓1. Such a matrix is invertible, and the inverse matrix is also unimodular. If we call c c1, and label the commas c2, c3, ... cn; and if we consider the columns of the inverse matrix to be vals and call them v1, v2, ... vn, then by the definition of the inverse of a matrix, vi(cj) = delta(i,j), where delta(i,j) is the [[http://en.wikipedia.org/wiki/Kronecker_delta|Kronecker delta]]. Stated another way, vi(cj) is 0 unless i equals j, in which case vi(ci) = 1. | ||
These unimodular matricies define a [[http://en.wikipedia.org/wiki/Change_of_basis|change of basis]] for the p-limit system of musical intervals: just as every p-limit interval can be written as a product of primes up to p with integer exponents, every such interval is a product of c1, c2, ... cn with integer exponents. To determine the exponents, we use v1, v2, ... vn, so that if q is a p-limit rational number, we may write it as | These unimodular matricies define a [[http://en.wikipedia.org/wiki/Change_of_basis|change of basis]] for the p-limit system of musical intervals: just as every p-limit interval can be written as a product of primes up to p with integer exponents, every such interval is a product of c1, c2, ... cn with integer exponents. To determine the exponents, we use v1, v2, ... vn, so that if q is a p-limit rational number, we may write it as | ||
| Line 32: | Line 32: | ||
=Second definition of a Fokker block= | =Second definition of a Fokker block= | ||
Let is define a new set of vals by uk = P*vk - vk(2)*v1. To apply these vals to S[i], note first that floor((e1*i+a1)/P) = floor(i+a1/P) = i, so that v1(S[i]) = i. Hence for k>1, uk(S[i]) = P*vk(S[i]) - vk(2)*i. Since x-1 < floor(x) ≤ x, we have (ek*i + ak)/P-1 < floor((ek*i + ak)/P) ≤ (ek*i + ak)/P, so that | Let is define a new set of vals by uk = P*vk - vk(2)*v1. To apply these vals to S[i], note first that floor((e1*i+a1)/P) = floor(i+a1/P) = i, so that v1(S[i]) = i. Hence for k>1, uk(S[i]) = P*vk(S[i]) - vk(2)*i. Since x-1 < floor(x) ≤ x, we have (ek*i + ak)/P-1 < floor((ek*i + ak)/P) ≤ (ek*i + ak)/P, so that | ||
ek*i + ak - P < P*vk(S[i]) ≤ ek*i + ak. Since ek = vk(2), this gives us ak - P < uk(S[i]) ≤ ak. This means that for each of the vals uk, the scale is mapped to a set of P integers.</pre></div> | ek*i + ak - P < P*vk(S[i]) ≤ ek*i + ak. Since ek = vk(2), this gives us ak - P < uk(S[i]) ≤ ak. This means that for each of the vals uk, the scale is mapped to a set of P integers. | ||
The val uk is a linear combination of v1 and vk, which are both vals of the set of commas {c2, c3, ... cn} minus {ck}. Since uk(2)=0, uk is a multiple of the generator step val of a [[Normal lists|normal val list]], or map, for the rank two temperament tempering out {c2, c3, ... ,cn} minus {ck}; in fact it is ∓mGk, where Gk is the generator step val and m is the number of periods to the octave. If we take the wedge product v1∧Gk and reduce it to a [[The wedgie|wedge]] Wk, then the [[Interior product|interior products]] Wk∨S[i] for i from 1 to P are P distinct vals wi, each of which have wi(2) in a range of P successive values. It follows that the abstract [[periodic scale]] Wk∨S represents a MOS of the temperament defined by Wk. The Fokker block can be tempered in n-1 distinct rank two temperament ways to n-1 distinct MOS, and this provides another definition of a Fokker block: a periodic JI scale is Fokker if and only if from the rank n JI group it generates it can be tempered in n-1 ways to n-1 distinct MOS.</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>Fokker blocks</title></head><body><!-- ws:start:WikiTextTocRule:6:&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:6 --><!-- ws:start:WikiTextTocRule:7: --><a href="#Preliminaries">Preliminaries</a><!-- ws:end:WikiTextTocRule:7 --><!-- ws:start:WikiTextTocRule:8: --> | <a href="#First definition of a Fokker block">First definition of a Fokker block</a><!-- ws:end:WikiTextTocRule:8 --><!-- ws:start:WikiTextTocRule:9: --> | <a href="#Second definition of a Fokker block">Second definition of a Fokker block</a><!-- ws:end:WikiTextTocRule:9 --><!-- ws:start:WikiTextTocRule:10: --> | <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>Fokker blocks</title></head><body><!-- ws:start:WikiTextTocRule:6:&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:6 --><!-- ws:start:WikiTextTocRule:7: --><a href="#Preliminaries">Preliminaries</a><!-- ws:end:WikiTextTocRule:7 --><!-- ws:start:WikiTextTocRule:8: --> | <a href="#First definition of a Fokker block">First definition of a Fokker block</a><!-- ws:end:WikiTextTocRule:8 --><!-- ws:start:WikiTextTocRule:9: --> | <a href="#Second definition of a Fokker block">Second definition of a Fokker block</a><!-- ws:end:WikiTextTocRule:9 --><!-- ws:start:WikiTextTocRule:10: --> | ||
| Line 39: | Line 41: | ||
<br /> | <br /> | ||
<!-- ws:start:WikiTextHeadingRule:0:&lt;h1&gt; --><h1 id="toc0"><a name="Preliminaries"></a><!-- ws:end:WikiTextHeadingRule:0 -->Preliminaries</h1> | <!-- ws:start:WikiTextHeadingRule:0:&lt;h1&gt; --><h1 id="toc0"><a name="Preliminaries"></a><!-- ws:end:WikiTextHeadingRule:0 -->Preliminaries</h1> | ||
Suppose we have n-1 commas, and we form an n by n matrix, the top row of which are n indeterminate elements |e2 e3 e5 ... ep&gt;, and the other rows of which are the monzos corresponding to our chosen commas. If we take the determinant of this matrix, we get v2*e2+v3*e3+...+vp*ep where the v2, v3 ... vp are integers. We interpret this as the <a class="wiki_link" href="/Vals%20and%20Tuning%20Space">val</a> v = &lt;v2, v3, ... vp|. If this is a zero vector the commas are not independent, and if the there exists a common divisor we have what is known as a torsion problem, and we discard the comma set. Otherwise, if v2&lt;0 we reverse sign, and we have a val v which tells us what equal temperament our Fokker block will be approximating. For example, starting with the commas | Suppose we have n-1 commas, and we form an n by n matrix, the top row of which are n indeterminate elements |e2 e3 e5 ... ep&gt;, and the other rows of which are the monzos corresponding to our chosen commas. If we take the determinant of this matrix, we get v2*e2+v3*e3+...+vp*ep where the v2, v3 ... vp are integers. We interpret this as the <a class="wiki_link" href="/Vals%20and%20Tuning%20Space">val</a> v = &lt;v2, v3, ... vp|. If this is a zero vector the commas are not independent, and if the there exists a common divisor we have what is known as a torsion problem, and we discard the comma set. Otherwise, if v2&lt;0 we reverse sign, and we have a val v which tells us what equal temperament our Fokker block will be approximating. For example, starting with the commas 225/224, 100/99, 176/175 and 385/384, the above procedure gives us the val v = &lt;22 35 51 62 76|, and we will be looking at a 22-note scale in the 11-limit.<br /> | ||
<br /> | <br /> | ||
Now choose an example step for the Fokker block, which is a p-limit interval c such that v(c) = 1; that is, if m is the monzo for c, then &lt;v|m&gt;=1. Precisely which interval with this property we choose doesn't actually matter, so if our commas are | Now choose an example step for the Fokker block, which is a p-limit interval c such that v(c) = 1; that is, if m is the monzo for c, then &lt;v|m&gt;=1. Precisely which interval with this property we choose doesn't actually matter, so if our commas are 225/224, 100/99, 176/175 and 385/384, we could for instance choose 22/21, 25/24, 28/27, 33/32, 36/35, 45/44 or 49/48. Having selected a step, form the n by n matrix whose first row is the monzo for the step c, and whose other rows are the monzos of the n-1 commas. Because we have chosen c so that v(c)=1, the determinant of this matrix will be ∓1. It is therefore a <a class="wiki_link_ext" href="http://en.wikipedia.org/wiki/Unimodular_matrix" rel="nofollow">unimodular matrix</a>, that is, a square matrix with coefficients which are integers and with determinant ∓1. Such a matrix is invertible, and the inverse matrix is also unimodular. If we call c c1, and label the commas c2, c3, ... cn; and if we consider the columns of the inverse matrix to be vals and call them v1, v2, ... vn, then by the definition of the inverse of a matrix, vi(cj) = delta(i,j), where delta(i,j) is the <a class="wiki_link_ext" href="http://en.wikipedia.org/wiki/Kronecker_delta" rel="nofollow">Kronecker delta</a>. Stated another way, vi(cj) is 0 unless i equals j, in which case vi(ci) = 1.<br /> | ||
<br /> | <br /> | ||
These unimodular matricies define a <a class="wiki_link_ext" href="http://en.wikipedia.org/wiki/Change_of_basis" rel="nofollow">change of basis</a> for the p-limit system of musical intervals: just as every p-limit interval can be written as a product of primes up to p with integer exponents, every such interval is a product of c1, c2, ... cn with integer exponents. To determine the exponents, we use v1, v2, ... vn, so that if q is a p-limit rational number, we may write it as<br /> | These unimodular matricies define a <a class="wiki_link_ext" href="http://en.wikipedia.org/wiki/Change_of_basis" rel="nofollow">change of basis</a> for the p-limit system of musical intervals: just as every p-limit interval can be written as a product of primes up to p with integer exponents, every such interval is a product of c1, c2, ... cn with integer exponents. To determine the exponents, we use v1, v2, ... vn, so that if q is a p-limit rational number, we may write it as<br /> | ||
| Line 60: | Line 62: | ||
<!-- ws:start:WikiTextHeadingRule:4:&lt;h1&gt; --><h1 id="toc2"><a name="Second definition of a Fokker block"></a><!-- ws:end:WikiTextHeadingRule:4 -->Second definition of a Fokker block</h1> | <!-- ws:start:WikiTextHeadingRule:4:&lt;h1&gt; --><h1 id="toc2"><a name="Second definition of a Fokker block"></a><!-- ws:end:WikiTextHeadingRule:4 -->Second definition of a Fokker block</h1> | ||
Let is define a new set of vals by uk = P*vk - vk(2)*v1. To apply these vals to S[i], note first that floor((e1*i+a1)/P) = floor(i+a1/P) = i, so that v1(S[i]) = i. Hence for k&gt;1, uk(S[i]) = P*vk(S[i]) - vk(2)*i. Since x-1 &lt; floor(x) ≤ x, we have (ek*i + ak)/P-1 &lt; floor((ek*i + ak)/P) ≤ (ek*i + ak)/P, so that<br /> | Let is define a new set of vals by uk = P*vk - vk(2)*v1. To apply these vals to S[i], note first that floor((e1*i+a1)/P) = floor(i+a1/P) = i, so that v1(S[i]) = i. Hence for k&gt;1, uk(S[i]) = P*vk(S[i]) - vk(2)*i. Since x-1 &lt; floor(x) ≤ x, we have (ek*i + ak)/P-1 &lt; floor((ek*i + ak)/P) ≤ (ek*i + ak)/P, so that<br /> | ||
ek*i + ak - P &lt; P*vk(S[i]) ≤ ek*i + ak. Since ek = vk(2), this gives us ak - P &lt; uk(S[i]) ≤ ak. This means that for each of the vals uk, the scale is mapped to a set of P integers.</body></html></pre></div> | ek*i + ak - P &lt; P*vk(S[i]) ≤ ek*i + ak. Since ek = vk(2), this gives us ak - P &lt; uk(S[i]) ≤ ak. This means that for each of the vals uk, the scale is mapped to a set of P integers.<br /> | ||
<br /> | |||
The val uk is a linear combination of v1 and vk, which are both vals of the set of commas {c2, c3, ... cn} minus {ck}. Since uk(2)=0, uk is a multiple of the generator step val of a <a class="wiki_link" href="/Normal%20lists">normal val list</a>, or map, for the rank two temperament tempering out {c2, c3, ... ,cn} minus {ck}; in fact it is ∓mGk, where Gk is the generator step val and m is the number of periods to the octave. If we take the wedge product v1∧Gk and reduce it to a <a class="wiki_link" href="/The%20wedgie">wedge</a> Wk, then the <a class="wiki_link" href="/Interior%20product">interior products</a> Wk∨S[i] for i from 1 to P are P distinct vals wi, each of which have wi(2) in a range of P successive values. It follows that the abstract <a class="wiki_link" href="/periodic%20scale">periodic scale</a> Wk∨S represents a MOS of the temperament defined by Wk. The Fokker block can be tempered in n-1 distinct rank two temperament ways to n-1 distinct MOS, and this provides another definition of a Fokker block: a periodic JI scale is Fokker if and only if from the rank n JI group it generates it can be tempered in n-1 ways to n-1 distinct MOS.</body></html></pre></div> | |||