Mathematical theory of saturation: Difference between revisions
Wikispaces>guest **Imported revision 281282912 - Original comment: ** |
Wikispaces>genewardsmith **Imported revision 281417484 - Original comment: Reverted to Oct 2, 2011 3:29 pm** |
||
| 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: | : This revision was by author [[User:genewardsmith|genewardsmith]] and made on <tt>2011-12-01 23:49:49 UTC</tt>.<br> | ||
: The original revision id was <tt> | : The original revision id was <tt>281417484</tt>.<br> | ||
: The revision comment was: <tt></tt><br> | : The revision comment was: <tt>Reverted to Oct 2, 2011 3:29 pm</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> | ||
<h4>Original Wikitext content:</h4> | <h4>Original Wikitext content:</h4> | ||
| Line 10: | Line 10: | ||
If C represents the commas (nullspace or kernel) of a supposed regular temperament, ie the intervals it tempers out, then if C isn't saturated it may be regarded as pathological, as it has notes which cannot be reached from the unison by tempered rational intervals. Similarly, if V is the subgroup of vals of the temperament, and is not saturated, then we obtain a temperament of sorts in which all of the notes cannot be reached by tempered intervals. | If C represents the commas (nullspace or kernel) of a supposed regular temperament, ie the intervals it tempers out, then if C isn't saturated it may be regarded as pathological, as it has notes which cannot be reached from the unison by tempered rational intervals. Similarly, if V is the subgroup of vals of the temperament, and is not saturated, then we obtain a temperament of sorts in which all of the notes cannot be reached by tempered intervals. | ||
For example, consider the "temperament" with commas generated by 126/125 and 3645/3584. The group the [[ | For example, consider the "temperament" with commas generated by 126/125 and 3645/3584. The group the [[monzo]]s |1 2 -3 1> and |-9 6 1 -1> generate is not saturated, since (126/125)*(3645/3584) = (81/80)^2, but 81/80 does not belong to the group. Hence (81/80)^2 is tempered out, but 81/80 isn't, and one gets two parallel [[meantone]]s not connected by any [[7-limit]] interval. Something similar happens with the two vals <12 19 28 34| and <26 41 60 72|; this however can be fixed in a way by extending to the 11-limit, and interpreting the "unobtainable" notes as notes reached in the 11-limit. Adding 245/242 to the commas (81/80 and 126/125) of septimal meantone is one way of reinterpreting the situation. In musical contexts, the first kind of problem has been called a "torsion problem" and the second kind "contorsion". | ||
Because unsaturated subgroups of Z^n are problematic, it is useful to have a means to saturate them; that is, to find the minimal saturated subgroup of Z^n containing the given subgroup. We may do this by inverting the right-reducing matrix which in part converts a matrix of basis elements for the subgroup V to [[http://en.wikipedia.org/wiki/Smith_normal_form|Smith normal form]]. If A is a matrix with r (the rank) rows of dimension n whose rows form a basis for V, then there are two square matricies L and R, such that S = LAR, where S is the Smith normal form. The right-reducing matrix is R, the matrix multiplying A on the right. The first r rows of R generate the saturation of V. This procedure is only useful if there is a routine for finding the Smith normal form available, so we will assume there is one and not concern ourselves with the Smith form as such. | Because unsaturated subgroups of Z^n are problematic, it is useful to have a means to saturate them; that is, to find the minimal saturated subgroup of Z^n containing the given subgroup. We may do this by inverting the right-reducing matrix which in part converts a matrix of basis elements for the subgroup V to [[http://en.wikipedia.org/wiki/Smith_normal_form|Smith normal form]]. If A is a matrix with r (the rank) rows of dimension n whose rows form a basis for V, then there are two square matricies L and R, such that S = LAR, where S is the Smith normal form. The right-reducing matrix is R, the matrix multiplying A on the right. The first r rows of R generate the saturation of V. This procedure is only useful if there is a routine for finding the Smith normal form available, so we will assume there is one and not concern ourselves with the Smith form as such. | ||
To give an example, consider the matrix [<12 19 28 34|, <26 41 60 72|] whose rows are the two vals we considered above. The Smith form itself is the 2x4 matrix [[1 0 0 0], [0 2 0 0]]; this does not concern us. The left-reducing matrix does not concern us either; our interest lies in the right reducing matrix, which is an invertible square integral matrix, [[-11 19 4 13], [7 -12 -4 10], [0 0 1 0], [0 0 0 1]]. Inverting this matrix gives another square integral matrix, [<12 19 28 34|, <7 11 16 19|, <0 0 1 0|, <0 0 0 1|]. The rank of V is two, so to find a basis for the saturation of V, we take the first two rows, which gives us the group generated by [<12 19 28 34|, <7 11 16 19|]. The [[ | To give an example, consider the matrix [<12 19 28 34|, <26 41 60 72|] whose rows are the two vals we considered above. The Smith form itself is the 2x4 matrix [[1 0 0 0], [0 2 0 0]]; this does not concern us. The left-reducing matrix does not concern us either; our interest lies in the right reducing matrix, which is an invertible square integral matrix, [[-11 19 4 13], [7 -12 -4 10], [0 0 1 0], [0 0 0 1]]. Inverting this matrix gives another square integral matrix, [<12 19 28 34|, <7 11 16 19|, <0 0 1 0|, <0 0 0 1|]. The rank of V is two, so to find a basis for the saturation of V, we take the first two rows, which gives us the group generated by [<12 19 28 34|, <7 11 16 19|]. The [[Normal lists|normal val list]] for this is [<1 0 -4 -13|, <0 1 4 10|], which are period and generator maps for septimal meantone, which is the saturated temperament corresponding to the contorted V. | ||
To test for saturation, we may take the wedge product of the generators. Wedging <26 41 60 72| with <12 19 28 34| gives us <<2 8 20 8 26 24||; this is not zero, so the rank of the group these generate is two. However the coefficients have a gcd of two, and hence the group is not saturated; for saturation, the coefficients must be relatively prime, with a gcd of one | To test for saturation, we may take the wedge product of the generators. Wedging <26 41 60 72| with <12 19 28 34| gives us <<2 8 20 8 26 24||; this is not zero, so the rank of the group these generate is two. However the coefficients have a gcd of two, and hence the group is not saturated; for saturation, the coefficients must be relatively prime, with a gcd of one.</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>Saturation</title></head><body>The set of n-tuples of integers Z^n such that two n-tuples can be added coordinatewise is the <a class="wiki_link_ext" href="http://en.wikipedia.org/wiki/Free_abelian_group" rel="nofollow">free abelian group</a> of rank n. Its subgroups have the property of <em>saturation</em> if for any element a of Z^n, if an integer multiple m*a of a belongs to a sublattice V, then a already belongs to V. Another way to put it is that if some linear combination with rational coefficients q1*v1 + ... + qk*vk of elements of V belongs to Z^n, then it belongs to V. For the latter definition we consider Z^n to be contained in the n-dimensional <a class="wiki_link_ext" href="http://en.wikipedia.org/wiki/Vector_space" rel="nofollow">real vector space</a> R^n, in which case Z^n is often called the <a class="wiki_link_ext" href="http://en.wikipedia.org/wiki/Integer_lattice" rel="nofollow">integer lattice</a>, or grid lattice.<br /> | <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>Saturation</title></head><body>The set of n-tuples of integers Z^n such that two n-tuples can be added coordinatewise is the <a class="wiki_link_ext" href="http://en.wikipedia.org/wiki/Free_abelian_group" rel="nofollow">free abelian group</a> of rank n. Its subgroups have the property of <em>saturation</em> if for any element a of Z^n, if an integer multiple m*a of a belongs to a sublattice V, then a already belongs to V. Another way to put it is that if some linear combination with rational coefficients q1*v1 + ... + qk*vk of elements of V belongs to Z^n, then it belongs to V. For the latter definition we consider Z^n to be contained in the n-dimensional <a class="wiki_link_ext" href="http://en.wikipedia.org/wiki/Vector_space" rel="nofollow">real vector space</a> R^n, in which case Z^n is often called the <a class="wiki_link_ext" href="http://en.wikipedia.org/wiki/Integer_lattice" rel="nofollow">integer lattice</a>, or grid lattice.<br /> | ||
| Line 25: | Line 22: | ||
If C represents the commas (nullspace or kernel) of a supposed regular temperament, ie the intervals it tempers out, then if C isn't saturated it may be regarded as pathological, as it has notes which cannot be reached from the unison by tempered rational intervals. Similarly, if V is the subgroup of vals of the temperament, and is not saturated, then we obtain a temperament of sorts in which all of the notes cannot be reached by tempered intervals.<br /> | If C represents the commas (nullspace or kernel) of a supposed regular temperament, ie the intervals it tempers out, then if C isn't saturated it may be regarded as pathological, as it has notes which cannot be reached from the unison by tempered rational intervals. Similarly, if V is the subgroup of vals of the temperament, and is not saturated, then we obtain a temperament of sorts in which all of the notes cannot be reached by tempered intervals.<br /> | ||
<br /> | <br /> | ||
For example, consider the &quot;temperament&quot; with commas generated by 126/125 and 3645/3584. The group the <a class="wiki_link" href=" | For example, consider the &quot;temperament&quot; with commas generated by 126/125 and 3645/3584. The group the <a class="wiki_link" href="/monzo">monzo</a>s |1 2 -3 1&gt; and |-9 6 1 -1&gt; generate is not saturated, since (126/125)*(3645/3584) = (81/80)^2, but 81/80 does not belong to the group. Hence (81/80)^2 is tempered out, but 81/80 isn't, and one gets two parallel <a class="wiki_link" href="/meantone">meantone</a>s not connected by any <a class="wiki_link" href="/7-limit">7-limit</a> interval. Something similar happens with the two vals &lt;12 19 28 34| and &lt;26 41 60 72|; this however can be fixed in a way by extending to the 11-limit, and interpreting the &quot;unobtainable&quot; notes as notes reached in the 11-limit. Adding 245/242 to the commas (81/80 and 126/125) of septimal meantone is one way of reinterpreting the situation. In musical contexts, the first kind of problem has been called a &quot;torsion problem&quot; and the second kind &quot;contorsion&quot;.<br /> | ||
<br /> | <br /> | ||
Because unsaturated subgroups of Z^n are problematic, it is useful to have a means to saturate them; that is, to find the minimal saturated subgroup of Z^n containing the given subgroup. We may do this by inverting the right-reducing matrix which in part converts a matrix of basis elements for the subgroup V to <a class="wiki_link_ext" href="http://en.wikipedia.org/wiki/Smith_normal_form" rel="nofollow">Smith normal form</a>. If A is a matrix with r (the rank) rows of dimension n whose rows form a basis for V, then there are two square matricies L and R, such that S = LAR, where S is the Smith normal form. The right-reducing matrix is R, the matrix multiplying A on the right. The first r rows of R generate the saturation of V. This procedure is only useful if there is a routine for finding the Smith normal form available, so we will assume there is one and not concern ourselves with the Smith form as such.<br /> | Because unsaturated subgroups of Z^n are problematic, it is useful to have a means to saturate them; that is, to find the minimal saturated subgroup of Z^n containing the given subgroup. We may do this by inverting the right-reducing matrix which in part converts a matrix of basis elements for the subgroup V to <a class="wiki_link_ext" href="http://en.wikipedia.org/wiki/Smith_normal_form" rel="nofollow">Smith normal form</a>. If A is a matrix with r (the rank) rows of dimension n whose rows form a basis for V, then there are two square matricies L and R, such that S = LAR, where S is the Smith normal form. The right-reducing matrix is R, the matrix multiplying A on the right. The first r rows of R generate the saturation of V. This procedure is only useful if there is a routine for finding the Smith normal form available, so we will assume there is one and not concern ourselves with the Smith form as such.<br /> | ||
<br /> | <br /> | ||
To give an example, consider the matrix [&lt;12 19 28 34|, &lt;26 41 60 72|] whose rows are the two vals we considered above. The Smith form itself is the 2x4 matrix [[1 0 0 0], [0 2 0 0]]; this does not concern us. The left-reducing matrix does not concern us either; our interest lies in the right reducing matrix, which is an invertible square integral matrix, [[-11 19 4 13], [7 -12 -4 10], [0 0 1 0], [0 0 0 1]]. Inverting this matrix gives another square integral matrix, [&lt;12 19 28 34|, &lt;7 11 16 19|, &lt;0 0 1 0|, &lt;0 0 0 1|]. The rank of V is two, so to find a basis for the saturation of V, we take the first two rows, which gives us the group generated by [&lt;12 19 28 34|, &lt;7 11 16 19|]. The <a class="wiki_link" href=" | To give an example, consider the matrix [&lt;12 19 28 34|, &lt;26 41 60 72|] whose rows are the two vals we considered above. The Smith form itself is the 2x4 matrix [[1 0 0 0], [0 2 0 0]]; this does not concern us. The left-reducing matrix does not concern us either; our interest lies in the right reducing matrix, which is an invertible square integral matrix, [[-11 19 4 13], [7 -12 -4 10], [0 0 1 0], [0 0 0 1]]. Inverting this matrix gives another square integral matrix, [&lt;12 19 28 34|, &lt;7 11 16 19|, &lt;0 0 1 0|, &lt;0 0 0 1|]. The rank of V is two, so to find a basis for the saturation of V, we take the first two rows, which gives us the group generated by [&lt;12 19 28 34|, &lt;7 11 16 19|]. The <a class="wiki_link" href="/Normal%20lists">normal val list</a> for this is [&lt;1 0 -4 -13|, &lt;0 1 4 10|], which are period and generator maps for septimal meantone, which is the saturated temperament corresponding to the contorted V.<br /> | ||
<br /> | |||
<br /> | <br /> | ||
To | To test for saturation, we may take the wedge product of the generators. Wedging &lt;26 41 60 72| with &lt;12 19 28 34| gives us &lt;&lt;2 8 20 8 26 24||; this is not zero, so the rank of the group these generate is two. However the coefficients have a gcd of two, and hence the group is not saturated; for saturation, the coefficients must be relatively prime, with a gcd of one.</body></html></pre></div> | ||