Graph-theoretic properties of scales: Difference between revisions
Wikispaces>genewardsmith **Imported revision 359811025 - Original comment: ** |
Wikispaces>genewardsmith **Imported revision 359829617 - 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-08- | : This revision was by author [[User:genewardsmith|genewardsmith]] and made on <tt>2012-08-25 01:14:03 UTC</tt>.<br> | ||
: The original revision id was <tt> | : The original revision id was <tt>359829617</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 93: | Line 93: | ||
The Ellis duodene is the 12-note 5-limit scale 1-16/15-9/8-6/5-5/4-4/3-45/32-3/2-8/5-5/3-9/5-15/8-2, and marvel tempering it leads to [[The Marveldene|marveldene]]. An excellent tuning for marvel is [[166edo|166et]], and in that the scale becomes 0, 16, 28, 44, 53, 69, 81, 97, 113, 122, 141, 150, 166. If we use the 15-limit consonance set, {16, 18, 19, 21, 23, 25, 28, 32, 34, 37, 40, 44, 48, 50, 53, 58, 60, 63, 69, 74, 76, 78, 81, 85, 88, 90, 92, 97, 103, 106, 108, 113, 116, 118, 122, 126, 129, 132, 134, 138, 141, 143, 145, 147, 148, 150}, we obtain a graph with 55 edges and an automorphism group of order 32. Abstractly, the automorphism group is the direct product of the group of the square with the Klein 4-group; as a permutation group it is the square (dihedral group D8 of order 8) part, generated by {(1,2)(5,6)(8,11)(9,10), (1,5), (2,6)}, and the two involutions flipping two notes, (3,4) flipping Eb and E, and (7,12) flipping C and G. | The Ellis duodene is the 12-note 5-limit scale 1-16/15-9/8-6/5-5/4-4/3-45/32-3/2-8/5-5/3-9/5-15/8-2, and marvel tempering it leads to [[The Marveldene|marveldene]]. An excellent tuning for marvel is [[166edo|166et]], and in that the scale becomes 0, 16, 28, 44, 53, 69, 81, 97, 113, 122, 141, 150, 166. If we use the 15-limit consonance set, {16, 18, 19, 21, 23, 25, 28, 32, 34, 37, 40, 44, 48, 50, 53, 58, 60, 63, 69, 74, 76, 78, 81, 85, 88, 90, 92, 97, 103, 106, 108, 113, 116, 118, 122, 126, 129, 132, 134, 138, 141, 143, 145, 147, 148, 150}, we obtain a graph with 55 edges and an automorphism group of order 32. Abstractly, the automorphism group is the direct product of the group of the square with the Klein 4-group; as a permutation group it is the square (dihedral group D8 of order 8) part, generated by {(1,2)(5,6)(8,11)(9,10), (1,5), (2,6)}, and the two involutions flipping two notes, (3,4) flipping Eb and E, and (7,12) flipping C and G. | ||
The connectivites of the marveldene go 6.222 ≤ 7 ≤ 8, and it has a radius of 1 and a diameter of 2, with center {0, 7}, ie C and G. The largest element of the Laplace spectrum is 12, so the complementary graph is not connected. It has eight maximum cliques, the septads [0, 1, 3, 5, 7, 8, 11], [0, 1, 3, 5, 7, 9, 11], [0, 1, 4, 5, 7, 8, 11], [0, 1, 4, 5, 7, 9, 11], [0, 2, 3, 6, 7, 8, 10], [0, 2, 3, 6, 7, 8, 11], [0, 2, 4, 6, 7, 8, 10] and [0, 2, 4, 6, 7, 8, 11], and two maximal pentads, [0, 3, 7, 9, 10] and [0, 4, 7, 9, 10].</pre></div> | The connectivites of the marveldene go 6.222 ≤ 7 ≤ 8, and it has a radius of 1 and a diameter of 2, with center {0, 7}, ie C and G. The largest element of the Laplace spectrum is 12, so the complementary graph is not connected. It has eight maximum cliques, the septads [0, 1, 3, 5, 7, 8, 11], [0, 1, 3, 5, 7, 9, 11], [0, 1, 4, 5, 7, 8, 11], [0, 1, 4, 5, 7, 9, 11], [0, 2, 3, 6, 7, 8, 10], [0, 2, 3, 6, 7, 8, 11], [0, 2, 4, 6, 7, 8, 10] and [0, 2, 4, 6, 7, 8, 11], and two maximal pentads, [0, 3, 7, 9, 10] and [0, 4, 7, 9, 10]. | ||
==Orwell[13]== | |||
Orwell[13], yhe 13-note MOS of orwell, has four more notes but the same set of 11-limit consonances as Orwell[9]. Now we have 0, 5, 7, 12, 17, 19, 24, 29, 34, 36, 41, 46, 48, 53, and while the graph of the scale still has a lot of symmetry, it is of an entirely different kind. This time the symmetry group is analogous to that of the diatonic scale, being the dihedral group D26 on 13 points. Orwell[13] has 26 maximal pentads and 13 maximal hexads on which the automorphism group faithfully acts. | |||
The graph of Orwell[13] is 10-regular, has 65 edges, with connectivities 9.058 ≤ 10 ≤ 10, and radius and diameter both 2.</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>Graph-theoretic properties of scales</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>Graph-theoretic properties of scales</title></head><body><!-- ws:start:WikiTextTocRule:28:&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:28 --><!-- ws:start:WikiTextTocRule:29: --><a href="#Graph of a scale">Graph of a scale</a><!-- ws:end:WikiTextTocRule:29 --><!-- ws:start:WikiTextTocRule:30: --> | <a href="#Connectivity">Connectivity</a><!-- ws:end:WikiTextTocRule:30 --><!-- ws:start:WikiTextTocRule:31: --> | <a href="#The Characteristic Polynomial">The Characteristic Polynomial</a><!-- ws:end:WikiTextTocRule:31 --><!-- ws:start:WikiTextTocRule:32: --> | <a href="#The Laplace Spectrum">The Laplace Spectrum</a><!-- ws:end:WikiTextTocRule:32 --><!-- ws:start:WikiTextTocRule:33: --> | <a href="#The Genus">The Genus</a><!-- ws:end:WikiTextTocRule:33 --><!-- ws:start:WikiTextTocRule:34: --> | <a href="#The Automorphism Group">The Automorphism Group</a><!-- ws:end:WikiTextTocRule:34 --><!-- ws:start:WikiTextTocRule:35: --> | <a href="#Examples">Examples</a><!-- ws:end:WikiTextTocRule:35 --><!-- ws:start:WikiTextTocRule:36: --><!-- ws:end:WikiTextTocRule:36 --><!-- ws:start:WikiTextTocRule:37: --><!-- ws:end:WikiTextTocRule:37 --><!-- ws:start:WikiTextTocRule:38: --><!-- ws:end:WikiTextTocRule:38 --><!-- ws:start:WikiTextTocRule:39: --><!-- ws:end:WikiTextTocRule:39 --><!-- ws:start:WikiTextTocRule:40: --><!-- ws:end:WikiTextTocRule:40 --><!-- ws:start:WikiTextTocRule:41: --><!-- ws:end:WikiTextTocRule:41 --><!-- ws:start:WikiTextTocRule:42: --><!-- ws:end:WikiTextTocRule:42 --><!-- ws:start:WikiTextTocRule:43: --> | ||
<!-- ws:end:WikiTextTocRule: | <!-- ws:end:WikiTextTocRule:43 --><br /> | ||
<!-- ws:start:WikiTextHeadingRule:0:&lt;h1&gt; --><h1 id="toc0"><a name="Graph of a scale"></a><!-- ws:end:WikiTextHeadingRule:0 -->Graph of a scale</h1> | <!-- ws:start:WikiTextHeadingRule:0:&lt;h1&gt; --><h1 id="toc0"><a name="Graph of a scale"></a><!-- ws:end:WikiTextHeadingRule:0 -->Graph of a scale</h1> | ||
Given a <a class="wiki_link" href="/periodic%20scale">periodic scale</a>, meaning a scale whose steps repeat, and assuming some multiple of the period is an interval of equivalence (usually this means the octave, ie interval of 2, which from now on we will assume is the interval of equivalence) then we may reduce the scale to a finite set S of pitch classes. This relates to the usual way of defining a scale, as used for instance by <a class="wiki_link" href="/Scala">Scala</a>. If we say 1-9/8-5/4-4/3-3/2-5/3-15/8-2 is a scale, we mean that each step of it represents a class of octave-equivalent pitches, so that &quot;5/4&quot; represents {...5/8, 5/4, 5/2, 5, 10 ...} and both &quot;1&quot; and &quot;2&quot; mean {...1/4, 1/2, 1, 2, 4...}. Suppose we have a finite set of pitches C strictly within the octave, so that s∊C entails 1 &lt; s &lt; 2, and suppose if s∊C then also 2/s∊C. The elements of C represent consonant pitch classes exclusive of the unison-octave class.<br /> | Given a <a class="wiki_link" href="/periodic%20scale">periodic scale</a>, meaning a scale whose steps repeat, and assuming some multiple of the period is an interval of equivalence (usually this means the octave, ie interval of 2, which from now on we will assume is the interval of equivalence) then we may reduce the scale to a finite set S of pitch classes. This relates to the usual way of defining a scale, as used for instance by <a class="wiki_link" href="/Scala">Scala</a>. If we say 1-9/8-5/4-4/3-3/2-5/3-15/8-2 is a scale, we mean that each step of it represents a class of octave-equivalent pitches, so that &quot;5/4&quot; represents {...5/8, 5/4, 5/2, 5, 10 ...} and both &quot;1&quot; and &quot;2&quot; mean {...1/4, 1/2, 1, 2, 4...}. Suppose we have a finite set of pitches C strictly within the octave, so that s∊C entails 1 &lt; s &lt; 2, and suppose if s∊C then also 2/s∊C. The elements of C represent consonant pitch classes exclusive of the unison-octave class.<br /> | ||
| Line 134: | Line 139: | ||
A <a class="wiki_link" href="/dyadic%20chord">dyadic chord</a> pentad is of genus 1, and any scale containing dyadic pentads is therefore not planar. The embedding of a pentad's graph on a torus is illustrated below:<br /> | A <a class="wiki_link" href="/dyadic%20chord">dyadic chord</a> pentad is of genus 1, and any scale containing dyadic pentads is therefore not planar. The embedding of a pentad's graph on a torus is illustrated below:<br /> | ||
<br /> | <br /> | ||
<!-- ws:start:WikiTextLocalImageRule: | <!-- ws:start:WikiTextLocalImageRule:44:&lt;img src=&quot;/file/view/pentad.gif/358612239/pentad.gif&quot; alt=&quot;&quot; title=&quot;&quot; /&gt; --><img src="/file/view/pentad.gif/358612239/pentad.gif" alt="pentad.gif" title="pentad.gif" /><!-- ws:end:WikiTextLocalImageRule:44 --><br /> | ||
<br /> | <br /> | ||
The edges leading from the four outer vertices wrap around to the opposite side, creating the torus embedding. On the other hand, a tetrad is of genus 0, since it can be drawn on a sphere as the verticies of a tetrahedron.<br /> | The edges leading from the four outer vertices wrap around to the opposite side, creating the torus embedding. On the other hand, a tetrad is of genus 0, since it can be drawn on a sphere as the verticies of a tetrahedron.<br /> | ||
| Line 149: | Line 154: | ||
The Zarlino scale, or &quot;just diatonic&quot; as it's often called, is the scale 1-9/8-5/4-4/3-3/2-5/3-15/8-2, with three major and two minor triads. It has a characteristic polynomial x(x+1)(x^2-3)(x^3-x^2-7*x-3) = x^7 - 11x^5 - 10x^4 + 21x^3 + 30x^2 + 9x. From the coefficients of this we can read off that it has 11 dyads and 5 triads, and from the roots, we find that its automorphism group is an elementary 2-group--in fact, it is of order 2, with the nontrivial automorphism being inversion. The three connectivities, algebraic, vertex, and edge, are 0.914 ≤ 2 ≤ 2. The scales radius is 2 and its diameter is 3. Its genus, of course, is 0, but less obviously its maximal genus is 2.<br /> | The Zarlino scale, or &quot;just diatonic&quot; as it's often called, is the scale 1-9/8-5/4-4/3-3/2-5/3-15/8-2, with three major and two minor triads. It has a characteristic polynomial x(x+1)(x^2-3)(x^3-x^2-7*x-3) = x^7 - 11x^5 - 10x^4 + 21x^3 + 30x^2 + 9x. From the coefficients of this we can read off that it has 11 dyads and 5 triads, and from the roots, we find that its automorphism group is an elementary 2-group--in fact, it is of order 2, with the nontrivial automorphism being inversion. The three connectivities, algebraic, vertex, and edge, are 0.914 ≤ 2 ≤ 2. The scales radius is 2 and its diameter is 3. Its genus, of course, is 0, but less obviously its maximal genus is 2.<br /> | ||
<br /> | <br /> | ||
<!-- ws:start:WikiTextLocalImageRule: | <!-- ws:start:WikiTextLocalImageRule:45:&lt;img src=&quot;/file/view/zarlino.png/359381659/zarlino.png&quot; alt=&quot;&quot; title=&quot;&quot; /&gt; --><img src="/file/view/zarlino.png/359381659/zarlino.png" alt="zarlino.png" title="zarlino.png" /><!-- ws:end:WikiTextLocalImageRule:45 --><br /> | ||
<br /> | <br /> | ||
<!-- ws:start:WikiTextHeadingRule:16:&lt;h2&gt; --><h2 id="toc8"><a name="Examples-The diatonic scale (Meantone[7])"></a><!-- ws:end:WikiTextHeadingRule:16 -->The diatonic scale (Meantone[7])</h2> | <!-- ws:start:WikiTextHeadingRule:16:&lt;h2&gt; --><h2 id="toc8"><a name="Examples-The diatonic scale (Meantone[7])"></a><!-- ws:end:WikiTextHeadingRule:16 -->The diatonic scale (Meantone[7])</h2> | ||
| Line 156: | Line 161: | ||
The genus of the 7-limit diatonic scale is 1, with maximal genus of 4. The connectivities go 3.198 ≤ 4 ≤ 4, and the radius and diameter are both 2.<br /> | The genus of the 7-limit diatonic scale is 1, with maximal genus of 4. The connectivities go 3.198 ≤ 4 ≤ 4, and the radius and diameter are both 2.<br /> | ||
<br /> | <br /> | ||
<!-- ws:start:WikiTextLocalImageRule: | <!-- ws:start:WikiTextLocalImageRule:46:&lt;img src=&quot;/file/view/diatonic7.png/359726439/diatonic7.png&quot; alt=&quot;&quot; title=&quot;&quot; /&gt; --><img src="/file/view/diatonic7.png/359726439/diatonic7.png" alt="diatonic7.png" title="diatonic7.png" /><!-- ws:end:WikiTextLocalImageRule:46 --><br /> | ||
<br /> | <br /> | ||
<!-- ws:start:WikiTextHeadingRule:18:&lt;h2&gt; --><h2 id="toc9"><a name="Examples-Star"></a><!-- ws:end:WikiTextHeadingRule:18 -->Star</h2> | <!-- ws:start:WikiTextHeadingRule:18:&lt;h2&gt; --><h2 id="toc9"><a name="Examples-Star"></a><!-- ws:end:WikiTextHeadingRule:18 -->Star</h2> | ||
Star is a scale of <a class="wiki_link" href="/Starling%20temperaments#Valentine temperament-11-limit">11-limit valentine temperament</a>, which in <a class="wiki_link" href="/77edo">77et</a> is 0, 5, 20, 25, 40, 45, 57, 65, 77, with the 11-limit consonance set {10, 12, 13, 15, 17, 20, 22, 25, 27, 28, 32, 35, 37, 40, 42, 45, 49, 50, 52, 55, 57, 60, 62, 64, 65, 67}. Its eight vertices are connected via 24 edges. The scale exhibits a very high degree of symmetry, with an automorphism group of order 384, the 8T44 transitive group [2^4]S4. Its graph is 6-regular, with every vertex connected to six others, and its algebraic, vertex and edge connectivities are all 6. The largest element of the Laplace spectrum is 8, so its complementary graph is not connected. It has 16 maximal cliques, all of which are tetrads, and the automorphism group acts faithfully on the tetrads.<br /> | Star is a scale of <a class="wiki_link" href="/Starling%20temperaments#Valentine temperament-11-limit">11-limit valentine temperament</a>, which in <a class="wiki_link" href="/77edo">77et</a> is 0, 5, 20, 25, 40, 45, 57, 65, 77, with the 11-limit consonance set {10, 12, 13, 15, 17, 20, 22, 25, 27, 28, 32, 35, 37, 40, 42, 45, 49, 50, 52, 55, 57, 60, 62, 64, 65, 67}. Its eight vertices are connected via 24 edges. The scale exhibits a very high degree of symmetry, with an automorphism group of order 384, the 8T44 transitive group [2^4]S4. Its graph is 6-regular, with every vertex connected to six others, and its algebraic, vertex and edge connectivities are all 6. The largest element of the Laplace spectrum is 8, so its complementary graph is not connected. It has 16 maximal cliques, all of which are tetrads, and the automorphism group acts faithfully on the tetrads.<br /> | ||
<br /> | <br /> | ||
<!-- ws:start:WikiTextLocalImageRule: | <!-- ws:start:WikiTextLocalImageRule:47:&lt;img src=&quot;/file/view/star.png/359553295/star.png&quot; alt=&quot;&quot; title=&quot;&quot; /&gt; --><img src="/file/view/star.png/359553295/star.png" alt="star.png" title="star.png" /><!-- ws:end:WikiTextLocalImageRule:47 --><br /> | ||
<br /> | <br /> | ||
<!-- ws:start:WikiTextHeadingRule:20:&lt;h2&gt; --><h2 id="toc10"><a name="Examples-Orwell[9]"></a><!-- ws:end:WikiTextHeadingRule:20 -->Orwell[9]</h2> | <!-- ws:start:WikiTextHeadingRule:20:&lt;h2&gt; --><h2 id="toc10"><a name="Examples-Orwell[9]"></a><!-- ws:end:WikiTextHeadingRule:20 -->Orwell[9]</h2> | ||
| Line 168: | Line 173: | ||
The graph has 16 maximal cliques, eight tetrads and eight pentads. All of the tetrads contain note 0, and all of the pentads notes 1 and 8. All three connectivites equal 6, the radius and diameter are both 2, and the graph complement is disconnected.<br /> | The graph has 16 maximal cliques, eight tetrads and eight pentads. All of the tetrads contain note 0, and all of the pentads notes 1 and 8. All three connectivites equal 6, the radius and diameter are both 2, and the graph complement is disconnected.<br /> | ||
<br /> | <br /> | ||
<!-- ws:start:WikiTextLocalImageRule: | <!-- ws:start:WikiTextLocalImageRule:48:&lt;img src=&quot;/file/view/orwell9.png/359811159/orwell9.png&quot; alt=&quot;&quot; title=&quot;&quot; /&gt; --><img src="/file/view/orwell9.png/359811159/orwell9.png" alt="orwell9.png" title="orwell9.png" /><!-- ws:end:WikiTextLocalImageRule:48 --><br /> | ||
<br /> | <br /> | ||
<!-- ws:start:WikiTextHeadingRule:22:&lt;h2&gt; --><h2 id="toc11"><a name="Examples-The dekany"></a><!-- ws:end:WikiTextHeadingRule:22 -->The dekany</h2> | <!-- ws:start:WikiTextHeadingRule:22:&lt;h2&gt; --><h2 id="toc11"><a name="Examples-The dekany"></a><!-- ws:end:WikiTextHeadingRule:22 -->The dekany</h2> | ||
| Line 177: | Line 182: | ||
Though it has only ten notes, an attempt to compute the genus of the dekany using SAGE caused it to wander off into the weeds and never return, or at least not when it was allowed to run overnight. An inquiry of someone who has published on the Johnson graphs revealed he had no idea what the genus of J(5,2) was, and it may very well not be known. However, the inequalities above show the genus must be at least 1.<br /> | Though it has only ten notes, an attempt to compute the genus of the dekany using SAGE caused it to wander off into the weeds and never return, or at least not when it was allowed to run overnight. An inquiry of someone who has published on the Johnson graphs revealed he had no idea what the genus of J(5,2) was, and it may very well not be known. However, the inequalities above show the genus must be at least 1.<br /> | ||
<br /> | <br /> | ||
<!-- ws:start:WikiTextLocalImageRule: | <!-- ws:start:WikiTextLocalImageRule:49:&lt;img src=&quot;/file/view/dekany.png/359810971/dekany.png&quot; alt=&quot;&quot; title=&quot;&quot; /&gt; --><img src="/file/view/dekany.png/359810971/dekany.png" alt="dekany.png" title="dekany.png" /><!-- ws:end:WikiTextLocalImageRule:49 --><br /> | ||
<br /> | <br /> | ||
<!-- ws:start:WikiTextHeadingRule:24:&lt;h2&gt; --><h2 id="toc12"><a name="Examples-The marveldene"></a><!-- ws:end:WikiTextHeadingRule:24 -->The marveldene</h2> | <!-- ws:start:WikiTextHeadingRule:24:&lt;h2&gt; --><h2 id="toc12"><a name="Examples-The marveldene"></a><!-- ws:end:WikiTextHeadingRule:24 -->The marveldene</h2> | ||
The Ellis duodene is the 12-note 5-limit scale 1-16/15-9/8-6/5-5/4-4/3-45/32-3/2-8/5-5/3-9/5-15/8-2, and marvel tempering it leads to <a class="wiki_link" href="/The%20Marveldene">marveldene</a>. An excellent tuning for marvel is <a class="wiki_link" href="/166edo">166et</a>, and in that the scale becomes 0, 16, 28, 44, 53, 69, 81, 97, 113, 122, 141, 150, 166. If we use the 15-limit consonance set, {16, 18, 19, 21, 23, 25, 28, 32, 34, 37, 40, 44, 48, 50, 53, 58, 60, 63, 69, 74, 76, 78, 81, 85, 88, 90, 92, 97, 103, 106, 108, 113, 116, 118, 122, 126, 129, 132, 134, 138, 141, 143, 145, 147, 148, 150}, we obtain a graph with 55 edges and an automorphism group of order 32. Abstractly, the automorphism group is the direct product of the group of the square with the Klein 4-group; as a permutation group it is the square (dihedral group D8 of order 8) part, generated by {(1,2)(5,6)(8,11)(9,10), (1,5), (2,6)}, and the two involutions flipping two notes, (3,4) flipping Eb and E, and (7,12) flipping C and G.<br /> | The Ellis duodene is the 12-note 5-limit scale 1-16/15-9/8-6/5-5/4-4/3-45/32-3/2-8/5-5/3-9/5-15/8-2, and marvel tempering it leads to <a class="wiki_link" href="/The%20Marveldene">marveldene</a>. An excellent tuning for marvel is <a class="wiki_link" href="/166edo">166et</a>, and in that the scale becomes 0, 16, 28, 44, 53, 69, 81, 97, 113, 122, 141, 150, 166. If we use the 15-limit consonance set, {16, 18, 19, 21, 23, 25, 28, 32, 34, 37, 40, 44, 48, 50, 53, 58, 60, 63, 69, 74, 76, 78, 81, 85, 88, 90, 92, 97, 103, 106, 108, 113, 116, 118, 122, 126, 129, 132, 134, 138, 141, 143, 145, 147, 148, 150}, we obtain a graph with 55 edges and an automorphism group of order 32. Abstractly, the automorphism group is the direct product of the group of the square with the Klein 4-group; as a permutation group it is the square (dihedral group D8 of order 8) part, generated by {(1,2)(5,6)(8,11)(9,10), (1,5), (2,6)}, and the two involutions flipping two notes, (3,4) flipping Eb and E, and (7,12) flipping C and G.<br /> | ||
<br /> | <br /> | ||
The connectivites of the marveldene go 6.222 ≤ 7 ≤ 8, and it has a radius of 1 and a diameter of 2, with center {0, 7}, ie C and G. The largest element of the Laplace spectrum is 12, so the complementary graph is not connected. It has eight maximum cliques, the septads [0, 1, 3, 5, 7, 8, 11], [0, 1, 3, 5, 7, 9, 11], [0, 1, 4, 5, 7, 8, 11], [0, 1, 4, 5, 7, 9, 11], [0, 2, 3, 6, 7, 8, 10], [0, 2, 3, 6, 7, 8, 11], [0, 2, 4, 6, 7, 8, 10] and [0, 2, 4, 6, 7, 8, 11], and two maximal pentads, [0, 3, 7, 9, 10] and [0, 4, 7, 9, 10].</body></html></pre></div> | The connectivites of the marveldene go 6.222 ≤ 7 ≤ 8, and it has a radius of 1 and a diameter of 2, with center {0, 7}, ie C and G. The largest element of the Laplace spectrum is 12, so the complementary graph is not connected. It has eight maximum cliques, the septads [0, 1, 3, 5, 7, 8, 11], [0, 1, 3, 5, 7, 9, 11], [0, 1, 4, 5, 7, 8, 11], [0, 1, 4, 5, 7, 9, 11], [0, 2, 3, 6, 7, 8, 10], [0, 2, 3, 6, 7, 8, 11], [0, 2, 4, 6, 7, 8, 10] and [0, 2, 4, 6, 7, 8, 11], and two maximal pentads, [0, 3, 7, 9, 10] and [0, 4, 7, 9, 10].<br /> | ||
<br /> | |||
<!-- ws:start:WikiTextHeadingRule:26:&lt;h2&gt; --><h2 id="toc13"><a name="Examples-Orwell[13]"></a><!-- ws:end:WikiTextHeadingRule:26 -->Orwell[13]</h2> | |||
Orwell[13], yhe 13-note MOS of orwell, has four more notes but the same set of 11-limit consonances as Orwell[9]. Now we have 0, 5, 7, 12, 17, 19, 24, 29, 34, 36, 41, 46, 48, 53, and while the graph of the scale still has a lot of symmetry, it is of an entirely different kind. This time the symmetry group is analogous to that of the diatonic scale, being the dihedral group D26 on 13 points. Orwell[13] has 26 maximal pentads and 13 maximal hexads on which the automorphism group faithfully acts.<br /> | |||
<br /> | |||
The graph of Orwell[13] is 10-regular, has 65 edges, with connectivities 9.058 ≤ 10 ≤ 10, and radius and diameter both 2.</body></html></pre></div> | |||