Graph-theoretic properties of scales: Difference between revisions
Wikispaces>genewardsmith **Imported revision 359800353 - Original comment: ** |
Wikispaces>genewardsmith **Imported revision 359806425 - 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-24 | : This revision was by author [[User:genewardsmith|genewardsmith]] and made on <tt>2012-08-24 20:57:40 UTC</tt>.<br> | ||
: The original revision id was <tt> | : The original revision id was <tt>359806425</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 73: | Line 73: | ||
[[image:star.png]] | [[image:star.png]] | ||
==Orwell[9]== | |||
Orwell[9], the 9-note orwell MOS, has notes 0, 5, 12, 17, 24, 29, 36, 41, 48, 53 in [[53edo|53 equal]]. With the 11-limit consonance set {7, 8, 9, 10, 12, 14, 15, 17, 19, 22, 24, 26, 27, 29, 31, 34, 36, 38, 39, 41, 43, 44, 45, 46} it defines a graph of 31 edges with an automorphism group of order 96. The group consists of an [[http://mathworld.wolfram.com/OctahedralGroup.html|octahedronal group]] part which is transitive on the six notes from 2 to 7, that is {12, 17, 24, 29, 36, 41} of 53edo, generated by (2,3), (4,5),(6,7), (2,4)(3,5) and (4,6)(5,7), and an involution exchanging notes 1 and 8, that is, 5 and 48 of 53edo. The center of the MOS, note 0 in this numbering, stays where it is, and has degree six whereas all the other notes are degree seven. | |||
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. | |||
==The dekany== | ==The dekany== | ||
| Line 88: | Line 93: | ||
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].</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:26:&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:26 --><!-- ws:start:WikiTextTocRule:27: --><a href="#Graph of a scale">Graph of a scale</a><!-- ws:end:WikiTextTocRule:27 --><!-- ws:start:WikiTextTocRule:28: --> | <a href="#Connectivity">Connectivity</a><!-- ws:end:WikiTextTocRule:28 --><!-- ws:start:WikiTextTocRule:29: --> | <a href="#The Characteristic Polynomial">The Characteristic Polynomial</a><!-- ws:end:WikiTextTocRule:29 --><!-- ws:start:WikiTextTocRule:30: --> | <a href="#The Laplace Spectrum">The Laplace Spectrum</a><!-- ws:end:WikiTextTocRule:30 --><!-- ws:start:WikiTextTocRule:31: --> | <a href="#The Genus">The Genus</a><!-- ws:end:WikiTextTocRule:31 --><!-- ws:start:WikiTextTocRule:32: --> | <a href="#The Automorphism Group">The Automorphism Group</a><!-- ws:end:WikiTextTocRule:32 --><!-- ws:start:WikiTextTocRule:33: --> | <a href="#Examples">Examples</a><!-- ws:end:WikiTextTocRule:33 --><!-- ws:start:WikiTextTocRule:34: --><!-- ws:end:WikiTextTocRule:34 --><!-- ws:start:WikiTextTocRule:35: --><!-- 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: | <!-- ws:end:WikiTextTocRule:40 --><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 127: | Line 132: | ||
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:41:&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:41 --><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 142: | Line 147: | ||
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:42:&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:42 --><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 149: | Line 154: | ||
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:43:&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:43 --><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:44:&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:44 --><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> | |||
Orwell[9], the 9-note orwell MOS, has notes 0, 5, 12, 17, 24, 29, 36, 41, 48, 53 in <a class="wiki_link" href="/53edo">53 equal</a>. With the 11-limit consonance set {7, 8, 9, 10, 12, 14, 15, 17, 19, 22, 24, 26, 27, 29, 31, 34, 36, 38, 39, 41, 43, 44, 45, 46} it defines a graph of 31 edges with an automorphism group of order 96. The group consists of an <a class="wiki_link_ext" href="http://mathworld.wolfram.com/OctahedralGroup.html" rel="nofollow">octahedronal group</a> part which is transitive on the six notes from 2 to 7, that is {12, 17, 24, 29, 36, 41} of 53edo, generated by (2,3), (4,5),(6,7), (2,4)(3,5) and (4,6)(5,7), and an involution exchanging notes 1 and 8, that is, 5 and 48 of 53edo. The center of the MOS, note 0 in this numbering, stays where it is, and has degree six whereas all the other notes are degree seven.<br /> | |||
<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:WikiTextHeadingRule: | <!-- ws:start:WikiTextHeadingRule:22:&lt;h2&gt; --><h2 id="toc11"><a name="Examples-The dekany"></a><!-- ws:end:WikiTextHeadingRule:22 -->The dekany</h2> | ||
The standard 2)5 dekany is a <a class="wiki_link" href="/Combination%20product%20sets">combination product set</a>, Cps([2,3,5,7,11], 2). It consists of ten notes associated to two-element subset of the set of the first five primes, {2,3,5,7,11}, and in one mode is 1-12/11-5/4-14/11-15/11-3/2-35/22-7/4-20/11-21/11, which we will take as its notes from note 0 to note 9. It has 30 edges, with connectivities 5 ≤ 6 ≤ 6, and the largest element of the Laplace spectrum is 8, so that the complementary graph is also connected. Its radius and diameter are both 2. The graph is known as the <a class="wiki_link_ext" href="http://en.wikipedia.org/wiki/Johnson_graph" rel="nofollow">Johnson graph</a> J(5,2). The 3)5 dekany, which is the inverse of the standard dekany, has the Johnson graph J(5,3) as its graph, which is graph-isomorphic to J(5,2).<br /> | The standard 2)5 dekany is a <a class="wiki_link" href="/Combination%20product%20sets">combination product set</a>, Cps([2,3,5,7,11], 2). It consists of ten notes associated to two-element subset of the set of the first five primes, {2,3,5,7,11}, and in one mode is 1-12/11-5/4-14/11-15/11-3/2-35/22-7/4-20/11-21/11, which we will take as its notes from note 0 to note 9. It has 30 edges, with connectivities 5 ≤ 6 ≤ 6, and the largest element of the Laplace spectrum is 8, so that the complementary graph is also connected. Its radius and diameter are both 2. The graph is known as the <a class="wiki_link_ext" href="http://en.wikipedia.org/wiki/Johnson_graph" rel="nofollow">Johnson graph</a> J(5,2). The 3)5 dekany, which is the inverse of the standard dekany, has the Johnson graph J(5,3) as its graph, which is graph-isomorphic to J(5,2).<br /> | ||
<br /> | <br /> | ||
| Line 163: | Line 173: | ||
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:45:&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:45 --><br /> | ||
<br /> | <br /> | ||
<!-- ws:start:WikiTextHeadingRule: | <!-- 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].</body></html></pre></div> | ||