Fokker block: Difference between revisions
Wikispaces>genewardsmith **Imported revision 306589126 - Original comment: ** |
Wikispaces>genewardsmith **Imported revision 306603170 - 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 20: | : This revision was by author [[User:genewardsmith|genewardsmith]] and made on <tt>2012-02-29 20:56:46 UTC</tt>.<br> | ||
: The original revision id was <tt> | : The original revision id was <tt>306603170</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 33: | Line 33: | ||
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. | 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. | ||
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> | 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. | ||
=Third definition of a Fokker block= | |||
The n-1 vals u2, u3, ..., un defined in the previous section gave us n-1 inequalities ak - P < uk(q) ≤ ak, which apply to any q in the Fokker block. If we restrict q to 1 ≤ q < 2, and regard it as representing a pitch class, then it is associated to a lattice point in an n-1 dimensional vector space, and in that space the n-1 inequalities define the boundries of a parallepiped. The Fokker blocks can be defined as the pitch classes lying within such a paralellepiped. | |||
=Fourth definition of a Fokker block= | |||
The n-1 abstract MOS scales discussed with the second definition of Fokker blocks can be put into some chosen order, and the [[product word]] taken. This entails that every Fokker block leads to a product word, and the process can be reversed, so that product words of n-1 abstract MOS scales lead to Fokker blocks. Given the n-1 vals obtained by taking the interior product with some interval q, q can be recovered either by wedging the vals together and taking the [[The dual|dual]], or by taking the determinant of the nxn matrix of vals whose first row consists of indeterminates, as in the Preliminaries section. | |||
</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: | <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:10:&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:10 --><!-- ws:start:WikiTextTocRule:11: --><a href="#Preliminaries">Preliminaries</a><!-- ws:end:WikiTextTocRule:11 --><!-- ws:start:WikiTextTocRule:12: --> | <a href="#First definition of a Fokker block">First definition of a Fokker block</a><!-- ws:end:WikiTextTocRule:12 --><!-- ws:start:WikiTextTocRule:13: --> | <a href="#Second definition of a Fokker block">Second definition of a Fokker block</a><!-- ws:end:WikiTextTocRule:13 --><!-- ws:start:WikiTextTocRule:14: --> | <a href="#Third definition of a Fokker block">Third definition of a Fokker block</a><!-- ws:end:WikiTextTocRule:14 --><!-- ws:start:WikiTextTocRule:15: --> | <a href="#Fourth definition of a Fokker block">Fourth definition of a Fokker block</a><!-- ws:end:WikiTextTocRule:15 --><!-- ws:start:WikiTextTocRule:16: --> | ||
<!-- ws:end:WikiTextTocRule: | <!-- ws:end:WikiTextTocRule:16 --><br /> | ||
The <strong>Fokker block</strong> is one of the most notable inventions of the physicist and music theorist <a class="wiki_link_ext" href="http://en.wikipedia.org/wiki/Adriaan_Fokker" rel="nofollow">Adriaan Fokker</a>. While the idea generalizes easily to <a class="wiki_link" href="/just%20intonation%20subgroups">just intonation subgroups</a>, for ease of exposition we will suppose that we are in a <a class="wiki_link" href="/Harmonic%20Limit">p-limit</a> situation with n=pi(p) primes up to an including p.<br /> | The <strong>Fokker block</strong> is one of the most notable inventions of the physicist and music theorist <a class="wiki_link_ext" href="http://en.wikipedia.org/wiki/Adriaan_Fokker" rel="nofollow">Adriaan Fokker</a>. While the idea generalizes easily to <a class="wiki_link" href="/just%20intonation%20subgroups">just intonation subgroups</a>, for ease of exposition we will suppose that we are in a <a class="wiki_link" href="/Harmonic%20Limit">p-limit</a> situation with n=pi(p) primes up to an including p.<br /> | ||
<br /> | <br /> | ||
| Line 62: | Line 69: | ||
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 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 /> | 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 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 /> | <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> | 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.<br /> | ||
<br /> | |||
<!-- ws:start:WikiTextHeadingRule:6:&lt;h1&gt; --><h1 id="toc3"><a name="Third definition of a Fokker block"></a><!-- ws:end:WikiTextHeadingRule:6 -->Third definition of a Fokker block</h1> | |||
The n-1 vals u2, u3, ..., un defined in the previous section gave us n-1 inequalities ak - P &lt; uk(q) ≤ ak, which apply to any q in the Fokker block. If we restrict q to 1 ≤ q &lt; 2, and regard it as representing a pitch class, then it is associated to a lattice point in an n-1 dimensional vector space, and in that space the n-1 inequalities define the boundries of a parallepiped. The Fokker blocks can be defined as the pitch classes lying within such a paralellepiped.<br /> | |||
<br /> | |||
<!-- ws:start:WikiTextHeadingRule:8:&lt;h1&gt; --><h1 id="toc4"><a name="Fourth definition of a Fokker block"></a><!-- ws:end:WikiTextHeadingRule:8 -->Fourth definition of a Fokker block</h1> | |||
The n-1 abstract MOS scales discussed with the second definition of Fokker blocks can be put into some chosen order, and the <a class="wiki_link" href="/product%20word">product word</a> taken. This entails that every Fokker block leads to a product word, and the process can be reversed, so that product words of n-1 abstract MOS scales lead to Fokker blocks. Given the n-1 vals obtained by taking the interior product with some interval q, q can be recovered either by wedging the vals together and taking the <a class="wiki_link" href="/The%20dual">dual</a>, or by taking the determinant of the nxn matrix of vals whose first row consists of indeterminates, as in the Preliminaries section.</body></html></pre></div> | |||