Xenharmonic Wiki

Comma-based lattices: Difference between revisions

← Older edit
VisualWikitext
Wikispaces>MartinGough
**Imported revision 440174940 - Original comment: **
Sintel (talk | contribs)
autopatrolled, emailconfirmed
1,548 edits
-legacy
 
(15 intermediate revisions by 6 users not shown)
Line 1: Line 1:
<h2>IMPORTED REVISION FROM WIKISPACES</h2>
When plotted on the standard tonal lattice (in which the basis intervals have prime number frequency ratios up to some prime limit p) commas form a widely scattered cloud in which no obvious structure is discernible. But rebasing to a lattice in which the basis intervals are themselves of comma size has the effect of drawing a set of similar-sized commas into the region near the origin, where their interrelationships become apparent. The dual of such a '''comma-based lattice''' is a lattice of equal temperaments (ETs), which provides a means of visualising the relationships between ETs and commas.
This is an imported revision from Wikispaces. The revision metadata is included below for reference:<br>
 
: This revision was by author [[User:MartinGough|MartinGough]] and made on <tt>2013-07-01 18:02:43 UTC</tt>.<br>
The theory behind this technique is set out below, illustrated for the 5-limit but extending in a straightforward way to any prime limit. An example of its application in the 5-limit can be viewed in this [[:File:Comma_lattice_(syntonic,_schisma,_kleisma).xlsx|spreadsheet ]]and this [[:File:Comma_lattice_(syntonic,_schisma,_kleisma)_3D.png|image]].
: The original revision id was <tt>440174940</tt>.<br>
 
: The revision comment was: <tt></tt><br>
A just interval '''''J''''' is the product of a JI tuning vector and a monzo:
The revision contents are below, presented both in the original Wikispaces Wikitext format, and in HTML exactly as Wikispaces rendered it.<br>
 
<h4>Original Wikitext content:</h4>
<math>\qquad J = \langle v \vert m \rangle</math>
<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;white-space: pre-wrap ! important" class="old-revision-html">= =
 
When plotted on the standard tonal lattice (in which the basis intervals have prime number frequency ratios up to some prime limit p) commas form a widely scattered cloud in which no obvious structure is discernible. But rebasing to a lattice in which the basis intervals are themselves of comma size concentrates commas in the region near the origin, where their interrelationships become apparent. The dual of such a lattice of commas is a lattice of equal temperaments (ETs), which provides a means of visualising the relationships between ETs and commas.
The theory behind this technique is set out below, illustrated for the 5-limit but extending in a straightforward way to any prime limit. An example of its application in the 5-limit can be viewed in this [[file:Comma lattice (syntonic, schisma, kleisma).xlsx|spreadsheet]].
A just interval **//&lt;span style="font-family: "Times New Roman",Times,serif;"&gt;J&lt;/span&gt;//** is the product of a JI tuning vector and a monzo:
[[math]]
\qquad J = \langle v \vert m \rangle
[[math]]
where
where
[[math]]
 
\qquad \langle v \vert = \langle \underline{2} \; \underline{3} \; \underline{5} \vert
<math>\qquad \langle v \vert = \langle \underline{2} \; \underline{3} \; \underline{5} \vert</math>
[[math]]
 
is the JI tuning vector, here expressed in a convenient shorthand in which an underscore denotes a suitable logarithm function. (The choice of logarithmic base is arbitrary and sets the unit for interval measurement.)
is the JI tuning vector, here expressed in a convenient shorthand in which an underscore denotes a suitable logarithm function. (The choice of logarithmic base is arbitrary and sets the unit for interval measurement.)
This standard coordinate system can be transformed into a rebased system using a square unimodular matrix **//&lt;span style="font-family: "Times New Roman",Times,serif;"&gt;W&lt;/span&gt;//** and its inverse **//&lt;span style="font-family: "Times New Roman",Times,serif;"&gt;N&lt;/span&gt;//**:
 
[[math]]
This standard coordinate system can be transformed into a rebased system using a unimodular matrix '''''W''''' and its inverse '''''N''''':
\qquad \langle w \vert = \langle v \vert W \qquad \qquad \vert n \rangle = N \vert m \rangle \\
 
<math>\qquad \langle w \vert = \langle v \vert W \qquad \qquad \vert n \rangle = N \vert m \rangle \\
\qquad \langle v \vert = \langle w \vert N \qquad \qquad \, \vert m \rangle = W \vert n \rangle \\
\qquad \langle v \vert = \langle w \vert N \qquad \qquad \, \vert m \rangle = W \vert n \rangle \\
\qquad WN = NW = I \qquad \vert W \vert = \vert N \vert = \pm 1
\qquad WN = NW = I \qquad \vert W \vert = \vert N \vert = \pm 1</math>
[[math]]
 
where  
where
[[math]]
 
\qquad \langle w \vert = \langle w_1 \; w_2 \; w_3 \vert
<math>\qquad \langle w \vert = \langle w_1 \; w_2 \; w_3 \vert</math>
[[math]]
 
is the rebased tuning vector (the elements of which are the sizes of the basis intervals) and
is the rebased tuning vector (the elements of which are the sizes of the basis intervals) and
[[math]]
 
\qquad \vert n \rangle = \vert n_1 \; n_2 \; n_3 \rangle
<math>\qquad \vert n \rangle = \vert n_1 \; n_2 \; n_3 \rangle</math>
[[math]]
 
is the rebased monzo.
is the rebased monzo.
The columns of **&lt;span style="font-family: "Times New Roman",Times,serif;"&gt;//W// &lt;/span&gt;**are the standard monzos for the new basis intervals and the columns of **&lt;span style="font-family: "Times New Roman",Times,serif;"&gt;//N// &lt;/span&gt;**are rebased monzos for the standard basis intervals.
 
The columns of '''''W''''' are the standard monzos for the new basis intervals and the columns of '''''N''''' are rebased monzos for the standard basis intervals.
 
Evaluation of an interval in the rebased system follows the usual procedure:
Evaluation of an interval in the rebased system follows the usual procedure:
[[math]]
 
\qquad J = \langle v \vert m \rangle = \langle w \vert N \, W \vert n \rangle = \langle w \vert n \rangle
<math>\qquad J = \langle v \vert m \rangle = \langle w \vert N \, W \vert n \rangle = \langle w \vert n \rangle</math>
[[math]]
 
After tempering (denoted by a dash):
After tempering (denoted by a dash):
[[math]]
 
\qquad J' = \langle v' \vert m \rangle = \langle w' \vert n \rangle
<math>\qquad J' = \langle v' \vert m \rangle = \langle w' \vert n \rangle</math>
[[math]]
 
where **//&lt;span style="font-family: "Times New Roman",Times,serif;"&gt;J’&lt;/span&gt;//** is the number of steps representing interval **//&lt;span style="font-family: "Times New Roman",Times,serif;"&gt;J&lt;/span&gt;//** in an equal temperament, and
where '''''J’''''' is the number of steps representing interval '''''J''''' in an equal temperament, and
[[math]]
 
\qquad \langle v’ \vert = \langle \underline{2}’ \; \underline{3}’ \; \underline{5}’ \vert \\
<math>\qquad \langle v’ \vert = \langle \underline{2}’ \; \underline{3}’ \; \underline{5}’ \vert \\
\qquad \langle w’ \vert = \langle w_1’ \; w_2’ \; w_3’ \vert
\qquad \langle w’ \vert = \langle w_1’ \; w_2’ \; w_3’ \vert</math>
[[math]]
 
(with integer elements) are the standard and rebased vals for that temperament.
(with integer elements) are the standard and rebased vals for that temperament.
When changing the basis in this way the unimodular property can be preserved by proceeding from the identity matrix in a series of steps in which a multiple of one column (basis interval) is subtracted from another.
When changing the basis in this way the unimodular property can be preserved by proceeding from the identity matrix in a series of steps in which a multiple of one column (basis interval) is subtracted from another.
The interesting situation is when all the basis intervals are commas. In this case the equation
The interesting situation is when all the basis intervals are commas. In this case the equation
[[math]]
 
\qquad NW = I
<math>\qquad NW = I</math>
[[math]]
 
can be read as a statement that the rows of //&lt;span style="font-family: "Times New Roman",Times,serif;"&gt;**N**&lt;/span&gt;// are standard vals representing a set of ETs which temper the basis commas (whose monzos are the columns of W) to &lt;1 0 0|, &lt;0 1 0| and &lt;0 0 1|, respectively. Each of these ETs sets one of the basis commas to a single step of the temperament while tempering out all the others.
can be read as a statement that the rows of '''''N''''' are standard vals representing a set of ETs which temper the basis commas (whose monzos are the columns of W) to &lt;1 0 0|, &lt;0 1 0| and &lt;0 0 1|, respectively. Each of these ETs sets one of the basis commas to a single step of the temperament while tempering out all the others.
 
Every point on the rebased lattice is both a monzo (interval) and a val (ET). This is of course also true for the standard lattice, but in the rebased system every lattice point near the origin (as well as more distant points near the JI zero plane) is the monzo of a comma-sized interval, and every lattice point which is not too close to a certain plane is the val for an ET approximating JI.
Every point on the rebased lattice is both a monzo (interval) and a val (ET). This is of course also true for the standard lattice, but in the rebased system every lattice point near the origin (as well as more distant points near the JI zero plane) is the monzo of a comma-sized interval, and every lattice point which is not too close to a certain plane is the val for an ET approximating JI.
Expressed in the standard basis the monzos are
Expressed in the standard basis the monzos are
[[math]]
 
\qquad \vert m \rangle = \vert m \negthinspace \underline{_2} \; m \negthinspace \underline{_3} \; m \negthinspace \underline{_5} \rangle = W \vert n_1 \; n_2 \; n_3 \rangle
<math>\qquad \vert m \rangle = \vert m \negthinspace \underline{_2} \; m \negthinspace \underline{_3} \; m \negthinspace \underline{_5} \rangle = W \vert n_1 \; n_2 \; n_3 \rangle</math>
[[math]]
 
where //n//&lt;span style="font-size: 10.06px;"&gt;1&lt;/span&gt;, //n//&lt;span style="font-size: 10.06px;"&gt;2&lt;/span&gt; and //n//&lt;span style="font-size: 10.06px;"&gt;3&lt;/span&gt; are the coordinates of a general lattice point representing the coefficients of each basis comma in the monzo, and the vals are
where ''n''<span style="font-size: 10.06px;">1</span>, ''n''<span style="font-size: 10.06px;">2</span> and ''n''<span style="font-size: 10.06px;">3</span> are the coordinates of a general lattice point representing the coefficients of each basis comma in the monzo, and the vals are
[[math]]
 
\qquad \langle v’ \vert = \langle \underline{2}’ \; \underline{3}’ \; \underline{5}’ \vert = \langle w_1’ \; w_2’ \; w_3’ \vert N
<math>\qquad \langle v’ \vert = \langle \underline{2}’ \; \underline{3}’ \; \underline{5}’ \vert = \langle w_1’ \; w_2’ \; w_3’ \vert N</math>
[[math]]
 
where //w//&lt;span style="font-size: 10.06px;"&gt;1&lt;/span&gt;’, //w//&lt;span style="font-size: 10.06px;"&gt;2&lt;/span&gt;’ and //w//&lt;span style="font-size: 10.06px;"&gt;3&lt;/span&gt;’ are the coordinates of a general lattice point representing the sizes of the commas //w//&lt;span style="font-size: 10.06px;"&gt;1&lt;/span&gt;, //w//&lt;span style="font-size: 10.06px;"&gt;2&lt;/span&gt; and //w//&lt;span style="font-size: 10.06px;"&gt;3&lt;/span&gt; in steps of the val’s ET.
where ''w''<span style="font-size: 10.06px;">1</span>’, ''w''<span style="font-size: 10.06px;">2</span>’ and ''w''<span style="font-size: 10.06px;">3</span>’ are the coordinates of a general lattice point representing the sizes of the commas ''w''<span style="font-size: 10.06px;">1</span>, ''w''<span style="font-size: 10.06px;">2</span> and ''w''<span style="font-size: 10.06px;">3</span> in steps of the val’s ET.
 
This lattice of commas/ETs has several interesting properties.
This lattice of commas/ETs has several interesting properties.
The standard monzos representing the intervals __2__, __3__ and __5__, which in the standard lattice are orthogonal, fold up under the transformation like the spokes of a collapsing umbrella until they lie almost in a straight line. Other simple intervals, being small integer combinations of these primitive intervals, also lie close to this line. At the same time smaller intervals, of comma size and above, are pulled in radially and away from the JI zero plane to populate the space near the origin. Musically interesting commas (those with low complexity and size) cluster around the origin and spread out more sparsely along the JI zero plane.
 
The standard monzos representing the intervals <u>2</u>, <u>3</u> and <u>5</u>, which in the standard lattice are orthogonal, fold up under the transformation like the spokes of a collapsing umbrella until they lie almost in a straight line. Other simple intervals, being small integer combinations of these primitive intervals, also lie close to this line. At the same time smaller intervals, of a size and complexity commensurate with that of the basis commas, are pulled in radially and away from the JI zero plane to populate the space near the origin.
 
Viewed as a val, a rebased lattice point represents a tuning vector for an ET, and intervals in this ET (for a given monzo lattice point) are measured by distance in integer steps from a zero plane normal passing through the origin normal to the tuning vector. Since monzos for simple intervals now lie in a narrow cone of directions, their sizes in relation to the octave are approximated well by most vals, even if those vals have tuning vectors not closely aligned with the (rebased) JI tuning vector. The exceptions are those vals whose tuning vectors point nearly perpendicular to the octave monzo, and thus come close to tempering out the octave and other simple intervals.
Viewed as a val, a rebased lattice point represents a tuning vector for an ET, and intervals in this ET (for a given monzo lattice point) are measured by distance in integer steps from a zero plane normal passing through the origin normal to the tuning vector. Since monzos for simple intervals now lie in a narrow cone of directions, their sizes in relation to the octave are approximated well by most vals, even if those vals have tuning vectors not closely aligned with the (rebased) JI tuning vector. The exceptions are those vals whose tuning vectors point nearly perpendicular to the octave monzo, and thus come close to tempering out the octave and other simple intervals.
With a suitable choice of basis intervals the rebased lattice can provide a framework for cataloguing both commas and ETs. In the 5-limit the following basis set (represented here by its rebased tuning vector) proves useful and is illustrated in the linked [[file:Comma lattice (syntonic, schisma, kleisma).xlsx|file]]:
 
[[math]]
With a suitable choice of basis intervals the rebased lattice can provide a framework for cataloguing both commas and ETs. In the 5-limit the following basis set (represented here by its rebased tuning vector) proves useful and is illustrated in the linked files:
\qquad \langle w \vert = \langle \, c \;\; \sigma \;\; k \, \vert
 
[[math]]
<math>\qquad \langle w \vert = \langle \, c \;\; \sigma \;\; k \, \vert</math>
where //c// = syntonic comma, //σ// = schisma, //k// = kleisma.
 
where ''c'' = syntonic comma, ''σ'' = schisma, ''k'' = kleisma.
 
Its change-of-basis matrices are
Its change-of-basis matrices are
[[math]]
 
\qquad W =  
<math>\qquad W =
\left[ \; \vert c \rangle \; \vert \sigma \rangle \; \vert k \rangle \; \right] =  
\left[ \; \vert c \rangle \; \vert \sigma \rangle \; \vert k \rangle \; \right] =
\left[ \begin{array}{rr}
\left[ \begin{array}{rr}
-4 &amp; -15 &amp; -6\\
-4 & -15 & -6\\
4 &amp; 8 &amp; -5\\
4 & 8 & -5\\
-1 &amp; 1 &amp; 6\\
-1 & 1 & 6\\
\end{array} \right]
\end{array} \right]
\qquad \qquad N = W^{-1} = \left[ \begin{array}{rr}
\qquad \qquad N = W^{-1} = \left[ \begin{array}{rr}
53 &amp; 84 &amp;123\\
53 & 84 &123\\
-19 &amp; -30 &amp; -44\\
-19 & -30 & -44\\
12 &amp; 19 &amp; 28\\
12 & 19 & 28\\
\end{array} \right]
\end{array} \right]</math>
[[math]]
 
from which it can be seen that the associated basis ETs are 53edo, 19edo and 12edo. (The negative signs in the 19edo val are the result of the JI tuning vector falling in a different quadrant from the octave monzo under this transformation.)
from which it can be seen that the associated basis ETs are 53edo, 19edo and 12edo. (The negative signs in the 19edo val are the result of the JI tuning vector falling in a different quadrant from the octave monzo under this transformation.)
The commas can be conveniently displayed in layers of the lattice with specified values of //n//k.
 
The //n//k = 0 plane contains all the commas tempered out by 12edo, including, near the origin: schisma, Pythagorean, syntonic, diaschisma, diesis, major diesis, ripple, misty, passion; and below, close to the JI zero line: the atom of Kirnberger and a 665edo comma, ‘schismon’ = schisma – atom.
The commas can be conveniently displayed in layers of the lattice with specified values of ''n''k.
The //n//k = 1 plane contains all the intervals (including commas) tempered to plus or minus one 12edo step. This group contains more than 30 named commas, including a vertical sequence of schisma-separated commas which are all tempered out by 53edo:
 
* semicomma, kleisma, amity, vulture, tricot, monzisma, –counterschisma, –mercator
The ''n''k = 0 plane contains all the commas tempered out by 12edo, including, near the origin: schisma, Pythagorean, syntonic, diaschisma, diesis, major diesis, ripple, misty, passion; and below, close to the JI zero line: the atom of Kirnberger and a 665edo comma, ‘schismon’ = schisma – atom.
which links up with a diagonal sequence of Pythagorean intervals:
 
* –mercator, 41-tone, sublimma, 17-tone, limma, apotome...
The ''n''k = 1 plane contains all the intervals (including commas) tempered to plus or minus one 12edo step. This group contains more than 30 named commas, including a vertical sequence of schisma-separated commas which are all tempered out by 53edo:
Any comma in the //n//k = 1 plane can substitute for the kleisma as the third basis comma to form an alternative lattice.
 
The comma lattice provides a framework for displaying ETs approximating the 5-limit. In the rebased lattice simple sub-octave intervals are lattice points lying close to the main diagonal of a rectilinear ‘loaf’ having the octave (with coordinates |53 -19 12&gt;) at one corner. Slicing the loaf parallel to its three axes yields 53edo, 19edo and 12edo, while angled cuts give other ETs.
<ul><li>semicomma, kleisma, amity, vulture, tricot, monzisma, –counterschisma, –mercator</li></ul>which links up with a diagonal sequence of Pythagorean intervals:
The zero planes for ETs tempering out a particular comma form sheaves of planes radiating from that comma’s monzo vector. They appear as lines marking the intersection of their zero planes with the //n//k = 1 plane, and fall into family groups including:
 
<ul><li>–mercator, 41-tone, sublimma, 17-tone, limma, apotome...</li></ul>This comma lattice provides a framework for displaying ETs approximating the 5-limit. In the rebased lattice simple sub-octave intervals are lattice points lying close to the main diagonal of a rectilinear ‘loaf’ having the octave (with coordinates |53 -19 12&gt;) at one corner. Slicing the loaf parallel to its three axes yields 53edo, 19edo and 12edo, while angled cuts give other ETs.
 
The zero planes for ETs tempering out a particular comma form sheaves of planes radiating from that comma’s monzo vector. They appear as lines marking the intersection of their zero planes with the ''n''k = 1 plane, and fall into family groups including:
 
* meantone temperaments: horizontal lines
* meantone temperaments: horizontal lines
* schismic temperaments: vertical lines
* schismic temperaments: vertical lines
Line 102: Line 112:
* aristoxenean temperaments: trailing diagonals
* aristoxenean temperaments: trailing diagonals
* misty temperaments: lines with gradient -2
* misty temperaments: lines with gradient -2
Other temperament families (such as kleismic) can be plotted as lines radiating from the tempered-out comma. Regular temperaments such as quarter-comma meantone can also be plotted, and the graphic has a number of other nice features.
Other temperament families (such as kleismic) can be plotted as lines radiating from the tempered-out comma. Regular temperaments such as quarter-comma meantone can also be plotted, and the graphic has a number of other nice features.
Another basis set, [ |monzisma&gt; |raider&gt; |atom&gt; ], turns up the magnification to focus on schismina-sized commas and the associated temperaments.</pre></div>
 
<h4>Original HTML content:</h4>
In a given prime limit there is an infinite number of comma basis sets to choose from, and any such set can be transformed in simple ways to generate others. For example, starting from the set described above, any comma in the ''n''k = 1 plane can substitute for the kleisma as the third basis comma.
<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">&lt;html&gt;&lt;head&gt;&lt;title&gt;Comma-based lattices&lt;/title&gt;&lt;/head&gt;&lt;body&gt;&lt;!-- ws:start:WikiTextHeadingRule:13:&amp;lt;h1&amp;gt; --&gt;&lt;h1 id="toc0"&gt;&lt;!-- ws:end:WikiTextHeadingRule:13 --&gt; &lt;/h1&gt;
 
When plotted on the standard tonal lattice (in which the basis intervals have prime number frequency ratios up to some prime limit p) commas form a widely scattered cloud in which no obvious structure is discernible. But rebasing to a lattice in which the basis intervals are themselves of comma size concentrates commas in the region near the origin, where their interrelationships become apparent. The dual of such a lattice of commas is a lattice of equal temperaments (ETs), which provides a means of visualising the relationships between ETs and commas.&lt;br /&gt;
Another basis set, [ |monzisma&gt; |raider&gt; |atom&gt; ], turns up the magnification to focus on schismina-sized commas and the associated temperaments.
The theory behind this technique is set out below, illustrated for the 5-limit but extending in a straightforward way to any prime limit. An example of its application in the 5-limit can be viewed in this &lt;a href="/file/view/Comma%20lattice%20%28syntonic%2C%20schisma%2C%20kleisma%29.xlsx/587448909/Comma%20lattice%20%28syntonic%2C%20schisma%2C%20kleisma%29.xlsx" onclick="ws.common.trackFileLink('/file/view/Comma%20lattice%20%28syntonic%2C%20schisma%2C%20kleisma%29.xlsx/587448909/Comma%20lattice%20%28syntonic%2C%20schisma%2C%20kleisma%29.xlsx');"&gt;spreadsheet&lt;/a&gt;.&lt;br /&gt;
 
A just interval &lt;strong&gt;&lt;em&gt;&lt;span style="font-family: "Times New Roman",Times,serif;"&gt;J&lt;/span&gt;&lt;/em&gt;&lt;/strong&gt; is the product of a JI tuning vector and a monzo:&lt;br /&gt;
[[Category:31edo]]
&lt;!-- ws:start:WikiTextMathRule:0:
[[Category:Comma]]
[[math]]&amp;lt;br/&amp;gt;
[[Category:Lattice]]
\qquad J = \langle v \vert m \rangle&amp;lt;br/&amp;gt;[[math]]
[[Category:What is]]
--&gt;&lt;script type="math/tex"&gt;\qquad J = \langle v \vert m \rangle&lt;/script&gt;&lt;!-- ws:end:WikiTextMathRule:0 --&gt;&lt;br /&gt;
where&lt;br /&gt;
&lt;!-- ws:start:WikiTextMathRule:1:
[[math]]&amp;lt;br/&amp;gt;
\qquad \langle v \vert = \langle \underline{2} \; \underline{3} \; \underline{5} \vert&amp;lt;br/&amp;gt;[[math]]
--&gt;&lt;script type="math/tex"&gt;\qquad \langle v \vert = \langle \underline{2} \; \underline{3} \; \underline{5} \vert&lt;/script&gt;&lt;!-- ws:end:WikiTextMathRule:1 --&gt;&lt;br /&gt;
is the JI tuning vector, here expressed in a convenient shorthand in which an underscore denotes a suitable logarithm function. (The choice of logarithmic base is arbitrary and sets the unit for interval measurement.)&lt;br /&gt;
This standard coordinate system can be transformed into a rebased system using a square unimodular matrix &lt;strong&gt;&lt;em&gt;&lt;span style="font-family: "Times New Roman",Times,serif;"&gt;W&lt;/span&gt;&lt;/em&gt;&lt;/strong&gt; and its inverse &lt;strong&gt;&lt;em&gt;&lt;span style="font-family: "Times New Roman",Times,serif;"&gt;N&lt;/span&gt;&lt;/em&gt;&lt;/strong&gt;:&lt;br /&gt;
&lt;!-- ws:start:WikiTextMathRule:2:
[[math]]&amp;lt;br/&amp;gt;
\qquad \langle w \vert = \langle v \vert W \qquad \qquad \vert n \rangle = N \vert m \rangle \\&amp;lt;br /&amp;gt;
\qquad \langle v \vert = \langle w \vert N \qquad \qquad \, \vert m \rangle = W \vert n \rangle \\&amp;lt;br /&amp;gt;
\qquad WN = NW = I \qquad \vert W \vert = \vert N \vert = \pm 1&amp;lt;br/&amp;gt;[[math]]
--&gt;&lt;script type="math/tex"&gt;\qquad \langle w \vert = \langle v \vert W \qquad \qquad \vert n \rangle = N \vert m \rangle \\
\qquad \langle v \vert = \langle w \vert N \qquad \qquad \, \vert m \rangle = W \vert n \rangle \\
\qquad WN = NW = I \qquad \vert W \vert = \vert N \vert = \pm 1&lt;/script&gt;&lt;!-- ws:end:WikiTextMathRule:2 --&gt;&lt;br /&gt;
where &lt;br /&gt;
&lt;!-- ws:start:WikiTextMathRule:3:
[[math]]&amp;lt;br/&amp;gt;
\qquad \langle w \vert = \langle w_1 \; w_2 \; w_3 \vert&amp;lt;br/&amp;gt;[[math]]
--&gt;&lt;script type="math/tex"&gt;\qquad \langle w \vert = \langle w_1 \; w_2 \; w_3 \vert&lt;/script&gt;&lt;!-- ws:end:WikiTextMathRule:3 --&gt;&lt;br /&gt;
is the rebased tuning vector (the elements of which are the sizes of the basis intervals) and&lt;br /&gt;
&lt;!-- ws:start:WikiTextMathRule:4:
[[math]]&amp;lt;br/&amp;gt;
\qquad \vert n \rangle = \vert n_1 \; n_2 \; n_3 \rangle&amp;lt;br/&amp;gt;[[math]]
--&gt;&lt;script type="math/tex"&gt;\qquad \vert n \rangle = \vert n_1 \; n_2 \; n_3 \rangle&lt;/script&gt;&lt;!-- ws:end:WikiTextMathRule:4 --&gt;&lt;br /&gt;
is the rebased monzo.&lt;br /&gt;
The columns of &lt;strong&gt;&lt;span style="font-family: "Times New Roman",Times,serif;"&gt;&lt;em&gt;W&lt;/em&gt; &lt;/span&gt;&lt;/strong&gt;are the standard monzos for the new basis intervals and the columns of &lt;strong&gt;&lt;span style="font-family: "Times New Roman",Times,serif;"&gt;&lt;em&gt;N&lt;/em&gt; &lt;/span&gt;&lt;/strong&gt;are rebased monzos for the standard basis intervals.&lt;br /&gt;
Evaluation of an interval in the rebased system follows the usual procedure:&lt;br /&gt;
&lt;!-- ws:start:WikiTextMathRule:5:
[[math]]&amp;lt;br/&amp;gt;
\qquad J = \langle v \vert m \rangle = \langle w \vert N \, W \vert n \rangle = \langle w \vert n \rangle&amp;lt;br/&amp;gt;[[math]]
--&gt;&lt;script type="math/tex"&gt;\qquad J = \langle v \vert m \rangle = \langle w \vert N \, W \vert n \rangle = \langle w \vert n \rangle&lt;/script&gt;&lt;!-- ws:end:WikiTextMathRule:5 --&gt;&lt;br /&gt;
After tempering (denoted by a dash):&lt;br /&gt;
&lt;!-- ws:start:WikiTextMathRule:6:
[[math]]&amp;lt;br/&amp;gt;
\qquad J' = \langle v' \vert m \rangle = \langle w' \vert n \rangle&amp;lt;br/&amp;gt;[[math]]
--&gt;&lt;script type="math/tex"&gt;\qquad J' = \langle v' \vert m \rangle = \langle w' \vert n \rangle&lt;/script&gt;&lt;!-- ws:end:WikiTextMathRule:6 --&gt;&lt;br /&gt;
where &lt;strong&gt;&lt;em&gt;&lt;span style="font-family: "Times New Roman",Times,serif;"&gt;J’&lt;/span&gt;&lt;/em&gt;&lt;/strong&gt; is the number of steps representing interval &lt;strong&gt;&lt;em&gt;&lt;span style="font-family: "Times New Roman",Times,serif;"&gt;J&lt;/span&gt;&lt;/em&gt;&lt;/strong&gt; in an equal temperament, and&lt;br /&gt;
&lt;!-- ws:start:WikiTextMathRule:7:
[[math]]&amp;lt;br/&amp;gt;
\qquad \langle v’ \vert = \langle \underline{2}’ \; \underline{3}’ \; \underline{5}’ \vert \\&amp;lt;br /&amp;gt;
\qquad \langle w’ \vert = \langle w_1’ \; w_2’ \; w_3’ \vert&amp;lt;br/&amp;gt;[[math]]
--&gt;&lt;script type="math/tex"&gt;\qquad \langle v’ \vert = \langle \underline{2}’ \; \underline{3}’ \; \underline{5}’ \vert \\
\qquad \langle w’ \vert = \langle w_1’ \; w_2’ \; w_3’ \vert&lt;/script&gt;&lt;!-- ws:end:WikiTextMathRule:7 --&gt;&lt;br /&gt;
(with integer elements) are the standard and rebased vals for that temperament.&lt;br /&gt;
When changing the basis in this way the unimodular property can be preserved by proceeding from the identity matrix in a series of steps in which a multiple of one column (basis interval) is subtracted from another.&lt;br /&gt;
The interesting situation is when all the basis intervals are commas. In this case the equation&lt;br /&gt;
&lt;!-- ws:start:WikiTextMathRule:8:
[[math]]&amp;lt;br/&amp;gt;
\qquad NW = I&amp;lt;br/&amp;gt;[[math]]
--&gt;&lt;script type="math/tex"&gt;\qquad NW = I&lt;/script&gt;&lt;!-- ws:end:WikiTextMathRule:8 --&gt;&lt;br /&gt;
can be read as a statement that the rows of &lt;em&gt;&lt;span style="font-family: "Times New Roman",Times,serif;"&gt;&lt;strong&gt;N&lt;/strong&gt;&lt;/span&gt;&lt;/em&gt; are standard vals representing a set of ETs which temper the basis commas (whose monzos are the columns of W) to &amp;lt;1 0 0|, &amp;lt;0 1 0| and &amp;lt;0 0 1|, respectively. Each of these ETs sets one of the basis commas to a single step of the temperament while tempering out all the others.&lt;br /&gt;
Every point on the rebased lattice is both a monzo (interval) and a val (ET). This is of course also true for the standard lattice, but in the rebased system every lattice point near the origin (as well as more distant points near the JI zero plane) is the monzo of a comma-sized interval, and every lattice point which is not too close to a certain plane is the val for an ET approximating JI.&lt;br /&gt;
Expressed in the standard basis the monzos are&lt;br /&gt;
&lt;!-- ws:start:WikiTextMathRule:9:
[[math]]&amp;lt;br/&amp;gt;
\qquad \vert m \rangle = \vert m \negthinspace \underline{_2} \; m \negthinspace \underline{_3} \; m \negthinspace \underline{_5} \rangle = W \vert n_1 \; n_2 \; n_3 \rangle&amp;lt;br/&amp;gt;[[math]]
--&gt;&lt;script type="math/tex"&gt;\qquad \vert m \rangle = \vert m \negthinspace \underline{_2} \; m \negthinspace \underline{_3} \; m \negthinspace \underline{_5} \rangle = W \vert n_1 \; n_2 \; n_3 \rangle&lt;/script&gt;&lt;!-- ws:end:WikiTextMathRule:9 --&gt;&lt;br /&gt;
where &lt;em&gt;n&lt;/em&gt;&lt;span style="font-size: 10.06px;"&gt;1&lt;/span&gt;, &lt;em&gt;n&lt;/em&gt;&lt;span style="font-size: 10.06px;"&gt;2&lt;/span&gt; and &lt;em&gt;n&lt;/em&gt;&lt;span style="font-size: 10.06px;"&gt;3&lt;/span&gt; are the coordinates of a general lattice point representing the coefficients of each basis comma in the monzo, and the vals are&lt;br /&gt;
&lt;!-- ws:start:WikiTextMathRule:10:
[[math]]&amp;lt;br/&amp;gt;
\qquad \langle v’ \vert = \langle \underline{2}’ \; \underline{3}’ \; \underline{5}’ \vert = \langle w_1’ \; w_2’ \; w_3’ \vert N&amp;lt;br/&amp;gt;[[math]]
--&gt;&lt;script type="math/tex"&gt;\qquad \langle v’ \vert = \langle \underline{2}’ \; \underline{3}’ \; \underline{5}’ \vert = \langle w_1’ \; w_2’ \; w_3’ \vert N&lt;/script&gt;&lt;!-- ws:end:WikiTextMathRule:10 --&gt;&lt;br /&gt;
where &lt;em&gt;w&lt;/em&gt;&lt;span style="font-size: 10.06px;"&gt;1&lt;/span&gt;’, &lt;em&gt;w&lt;/em&gt;&lt;span style="font-size: 10.06px;"&gt;2&lt;/span&gt;’ and &lt;em&gt;w&lt;/em&gt;&lt;span style="font-size: 10.06px;"&gt;3&lt;/span&gt;’ are the coordinates of a general lattice point representing the sizes of the commas &lt;em&gt;w&lt;/em&gt;&lt;span style="font-size: 10.06px;"&gt;1&lt;/span&gt;, &lt;em&gt;w&lt;/em&gt;&lt;span style="font-size: 10.06px;"&gt;2&lt;/span&gt; and &lt;em&gt;w&lt;/em&gt;&lt;span style="font-size: 10.06px;"&gt;3&lt;/span&gt; in steps of the val’s ET.&lt;br /&gt;
This lattice of commas/ETs has several interesting properties.&lt;br /&gt;
The standard monzos representing the intervals &lt;u&gt;2&lt;/u&gt;, &lt;u&gt;3&lt;/u&gt; and &lt;u&gt;5&lt;/u&gt;, which in the standard lattice are orthogonal, fold up under the transformation like the spokes of a collapsing umbrella until they lie almost in a straight line. Other simple intervals, being small integer combinations of these primitive intervals, also lie close to this line. At the same time smaller intervals, of comma size and above, are pulled in radially and away from the JI zero plane to populate the space near the origin. Musically interesting commas (those with low complexity and size) cluster around the origin and spread out more sparsely along the JI zero plane.&lt;br /&gt;
Viewed as a val, a rebased lattice point represents a tuning vector for an ET, and intervals in this ET (for a given monzo lattice point) are measured by distance in integer steps from a zero plane normal passing through the origin normal to the tuning vector. Since monzos for simple intervals now lie in a narrow cone of directions, their sizes in relation to the octave are approximated well by most vals, even if those vals have tuning vectors not closely aligned with the (rebased) JI tuning vector. The exceptions are those vals whose tuning vectors point nearly perpendicular to the octave monzo, and thus come close to tempering out the octave and other simple intervals.&lt;br /&gt;
With a suitable choice of basis intervals the rebased lattice can provide a framework for cataloguing both commas and ETs. In the 5-limit the following basis set (represented here by its rebased tuning vector) proves useful and is illustrated in the linked &lt;a href="/file/view/Comma%20lattice%20%28syntonic%2C%20schisma%2C%20kleisma%29.xlsx/587448909/Comma%20lattice%20%28syntonic%2C%20schisma%2C%20kleisma%29.xlsx" onclick="ws.common.trackFileLink('/file/view/Comma%20lattice%20%28syntonic%2C%20schisma%2C%20kleisma%29.xlsx/587448909/Comma%20lattice%20%28syntonic%2C%20schisma%2C%20kleisma%29.xlsx');"&gt;file&lt;/a&gt;:&lt;br /&gt;
&lt;!-- ws:start:WikiTextMathRule:11:
[[math]]&amp;lt;br/&amp;gt;
\qquad \langle w \vert = \langle \, c \;\; \sigma \;\; k \, \vert&amp;lt;br/&amp;gt;[[math]]
--&gt;&lt;script type="math/tex"&gt;\qquad \langle w \vert = \langle \, c \;\; \sigma \;\; k \, \vert&lt;/script&gt;&lt;!-- ws:end:WikiTextMathRule:11 --&gt;&lt;br /&gt;
where &lt;em&gt;c&lt;/em&gt; = syntonic comma, &lt;em&gt;σ&lt;/em&gt; = schisma, &lt;em&gt;k&lt;/em&gt; = kleisma.&lt;br /&gt;
Its change-of-basis matrices are&lt;br /&gt;
&lt;!-- ws:start:WikiTextMathRule:12:
[[math]]&amp;lt;br/&amp;gt;
\qquad W = &amp;lt;br /&amp;gt;
\left[ \; \vert c \rangle \; \vert \sigma \rangle \; \vert k \rangle \; \right] = &amp;lt;br /&amp;gt;
\left[ \begin{array}{rr}&amp;lt;br /&amp;gt;
-4 &amp;amp; -15 &amp;amp; -6\\&amp;lt;br /&amp;gt;
4 &amp;amp; 8 &amp;amp; -5\\&amp;lt;br /&amp;gt;
-1 &amp;amp; 1 &amp;amp; 6\\&amp;lt;br /&amp;gt;
\end{array} \right]&amp;lt;br /&amp;gt;
\qquad \qquad N = W^{-1} = \left[ \begin{array}{rr}&amp;lt;br /&amp;gt;
53 &amp;amp; 84 &amp;amp;123\\&amp;lt;br /&amp;gt;
-19 &amp;amp; -30 &amp;amp; -44\\&amp;lt;br /&amp;gt;
12 &amp;amp; 19 &amp;amp; 28\\&amp;lt;br /&amp;gt;
\end{array} \right]&amp;lt;br/&amp;gt;[[math]]
--&gt;&lt;script type="math/tex"&gt;\qquad W =
\left[ \; \vert c \rangle \; \vert \sigma \rangle \; \vert k \rangle \; \right] =
\left[ \begin{array}{rr}
-4 &amp; -15 &amp; -6\\
4 &amp; 8 &amp; -5\\
-1 &amp; 1 &amp; 6\\
\end{array} \right]
\qquad \qquad N = W^{-1} = \left[ \begin{array}{rr}
53 &amp; 84 &amp;123\\
-19 &amp; -30 &amp; -44\\
12 &amp; 19 &amp; 28\\
\end{array} \right]&lt;/script&gt;&lt;!-- ws:end:WikiTextMathRule:12 --&gt;&lt;br /&gt;
from which it can be seen that the associated basis ETs are 53edo, 19edo and 12edo. (The negative signs in the 19edo val are the result of the JI tuning vector falling in a different quadrant from the octave monzo under this transformation.)&lt;br /&gt;
The commas can be conveniently displayed in layers of the lattice with specified values of &lt;em&gt;n&lt;/em&gt;k.&lt;br /&gt;
The &lt;em&gt;n&lt;/em&gt;k = 0 plane contains all the commas tempered out by 12edo, including, near the origin: schisma, Pythagorean, syntonic, diaschisma, diesis, major diesis, ripple, misty, passion; and below, close to the JI zero line: the atom of Kirnberger and a 665edo comma, ‘schismon’ = schisma – atom.&lt;br /&gt;
The &lt;em&gt;n&lt;/em&gt;k = 1 plane contains all the intervals (including commas) tempered to plus or minus one 12edo step. This group contains more than 30 named commas, including a vertical sequence of schisma-separated commas which are all tempered out by 53edo:&lt;br /&gt;
&lt;ul&gt;&lt;li&gt;semicomma, kleisma, amity, vulture, tricot, monzisma, –counterschisma, –mercator&lt;/li&gt;&lt;/ul&gt;which links up with a diagonal sequence of Pythagorean intervals:&lt;br /&gt;
&lt;ul&gt;&lt;li&gt;–mercator, 41-tone, sublimma, 17-tone, limma, apotome...&lt;/li&gt;&lt;/ul&gt;Any comma in the &lt;em&gt;n&lt;/em&gt;k = 1 plane can substitute for the kleisma as the third basis comma to form an alternative lattice.&lt;br /&gt;
The comma lattice provides a framework for displaying ETs approximating the 5-limit. In the rebased lattice simple sub-octave intervals are lattice points lying close to the main diagonal of a rectilinear ‘loaf’ having the octave (with coordinates |53 -19 12&amp;gt;) at one corner. Slicing the loaf parallel to its three axes yields 53edo, 19edo and 12edo, while angled cuts give other ETs.&lt;br /&gt;
The zero planes for ETs tempering out a particular comma form sheaves of planes radiating from that comma’s monzo vector. They appear as lines marking the intersection of their zero planes with the &lt;em&gt;n&lt;/em&gt;k = 1 plane, and fall into family groups including:&lt;br /&gt;
&lt;ul&gt;&lt;li&gt;meantone temperaments: horizontal lines&lt;/li&gt;&lt;li&gt;schismic temperaments: vertical lines&lt;/li&gt;&lt;li&gt;diaschismic temperaments: leading diagonals&lt;/li&gt;&lt;li&gt;aristoxenean temperaments: trailing diagonals&lt;/li&gt;&lt;li&gt;misty temperaments: lines with gradient -2&lt;/li&gt;&lt;/ul&gt;Other temperament families (such as kleismic) can be plotted as lines radiating from the tempered-out comma. Regular temperaments such as quarter-comma meantone can also be plotted, and the graphic has a number of other nice features.&lt;br /&gt;
Another basis set, [ |monzisma&amp;gt; |raider&amp;gt; |atom&amp;gt; ], turns up the magnification to focus on schismina-sized commas and the associated temperaments.&lt;/body&gt;&lt;/html&gt;</pre></div>
Retrieved from "https://en.xen.wiki/w/Comma-based_lattices"