Graph-theoretic properties of scales: Difference between revisions
Wikispaces>genewardsmith **Imported revision 358793097 - Original comment: ** |
Wikispaces>genewardsmith **Imported revision 358793441 - 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-20 14: | : This revision was by author [[User:genewardsmith|genewardsmith]] and made on <tt>2012-08-20 14:55:05 UTC</tt>.<br> | ||
: The original revision id was <tt> | : The original revision id was <tt>358793441</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 48: | Line 48: | ||
=The Automorphism Group= | =The Automorphism Group= | ||
If A is the adjacency matrix, which is a VxV square matrix, the [[http://en.wikipedia.org/wiki/Graph_automorphism|automorphism group]] Aut(G) of the graph G is given explicitly by the set {P|P⋅A = A⋅P} of VxV [[http://en.wikipedia.org/wiki/Permutation_matrix|permutation matrices]] which commute with A. Equivalently, it is the set {P|A = P⋅A⋅P^(-1)}, where A is identical to itself under a similarity transformation. For most graphs, the automorphism group is trivial; however this is often not the case for graphs of scales. For instance, a symmetric scale such that if | If A is the adjacency matrix, which is a VxV square matrix, the [[http://en.wikipedia.org/wiki/Graph_automorphism|automorphism group]] Aut(G) of the graph G is given explicitly by the set {P|P⋅A = A⋅P} of VxV [[http://en.wikipedia.org/wiki/Permutation_matrix|permutation matrices]] which commute with A. Equivalently, it is the set {P|A = P⋅A⋅P^(-1)}, where A is identical to itself under a similarity transformation. For most graphs, the automorphism group is trivial; however this is often not the case for graphs of scales. For instance, a symmetric scale such that if s is in the scale, then so is its octave inversion 2/s, will have an element of order 2 in its automorphism group. A MOS will always have an element of order 2, resulting from some composition of inversion and translation. Graph automorphisms such as these preserve the property of being a dyadic chord, making such things of considerable musical interest. | ||
If the spectrum of the graph contains no repeated values, then Aut(G) is an [[http://en.wikipedia.org/wiki/Elementary_abelian_group|elementary abelian 2-group]], meaning all non-identity elements are of order 2. Hence for the more interesting automorphism groups, including non-abelian groups, we need repeated values in the spectrum, in other words eigenvalues with multiplicity greater than one corresponding to eigenspaces with dimension greater than one.</pre></div> | If the spectrum of the graph contains no repeated values, then Aut(G) is an [[http://en.wikipedia.org/wiki/Elementary_abelian_group|elementary abelian 2-group]], meaning all non-identity elements are of order 2. Hence for the more interesting automorphism groups, including non-abelian groups, we need repeated values in the spectrum, in other words eigenvalues with multiplicity greater than one corresponding to eigenspaces with dimension greater than one.</pre></div> | ||
Line 94: | Line 94: | ||
<br /> | <br /> | ||
<!-- ws:start:WikiTextHeadingRule:10:&lt;h1&gt; --><h1 id="toc5"><a name="The Automorphism Group"></a><!-- ws:end:WikiTextHeadingRule:10 -->The Automorphism Group</h1> | <!-- ws:start:WikiTextHeadingRule:10:&lt;h1&gt; --><h1 id="toc5"><a name="The Automorphism Group"></a><!-- ws:end:WikiTextHeadingRule:10 -->The Automorphism Group</h1> | ||
If A is the adjacency matrix, which is a VxV square matrix, the <a class="wiki_link_ext" href="http://en.wikipedia.org/wiki/Graph_automorphism" rel="nofollow">automorphism group</a> Aut(G) of the graph G is given explicitly by the set {P|P⋅A = A⋅P} of VxV <a class="wiki_link_ext" href="http://en.wikipedia.org/wiki/Permutation_matrix" rel="nofollow">permutation matrices</a> which commute with A. Equivalently, it is the set {P|A = P⋅A⋅P^(-1)}, where A is identical to itself under a similarity transformation. For most graphs, the automorphism group is trivial; however this is often not the case for graphs of scales. For instance, a symmetric scale such that if | If A is the adjacency matrix, which is a VxV square matrix, the <a class="wiki_link_ext" href="http://en.wikipedia.org/wiki/Graph_automorphism" rel="nofollow">automorphism group</a> Aut(G) of the graph G is given explicitly by the set {P|P⋅A = A⋅P} of VxV <a class="wiki_link_ext" href="http://en.wikipedia.org/wiki/Permutation_matrix" rel="nofollow">permutation matrices</a> which commute with A. Equivalently, it is the set {P|A = P⋅A⋅P^(-1)}, where A is identical to itself under a similarity transformation. For most graphs, the automorphism group is trivial; however this is often not the case for graphs of scales. For instance, a symmetric scale such that if s is in the scale, then so is its octave inversion 2/s, will have an element of order 2 in its automorphism group. A MOS will always have an element of order 2, resulting from some composition of inversion and translation. Graph automorphisms such as these preserve the property of being a dyadic chord, making such things of considerable musical interest.<br /> | ||
<br /> | <br /> | ||
If the spectrum of the graph contains no repeated values, then Aut(G) is an <a class="wiki_link_ext" href="http://en.wikipedia.org/wiki/Elementary_abelian_group" rel="nofollow">elementary abelian 2-group</a>, meaning all non-identity elements are of order 2. Hence for the more interesting automorphism groups, including non-abelian groups, we need repeated values in the spectrum, in other words eigenvalues with multiplicity greater than one corresponding to eigenspaces with dimension greater than one.</body></html></pre></div> | If the spectrum of the graph contains no repeated values, then Aut(G) is an <a class="wiki_link_ext" href="http://en.wikipedia.org/wiki/Elementary_abelian_group" rel="nofollow">elementary abelian 2-group</a>, meaning all non-identity elements are of order 2. Hence for the more interesting automorphism groups, including non-abelian groups, we need repeated values in the spectrum, in other words eigenvalues with multiplicity greater than one corresponding to eigenspaces with dimension greater than one.</body></html></pre></div> |