Subgroup basis matrix
IMPORTED REVISION FROM WIKISPACES
This is an imported revision from Wikispaces. The revision metadata is included below for reference:
- This revision was by author mbattaglia1 and made on 2012-07-31 12:08:11 UTC.
- The original revision id was 355708344.
- The revision comment was:
The revision contents are below, presented both in the original Wikispaces Wikitext format, and in HTML exactly as Wikispaces rendered it.
Original Wikitext content:
=<span style="background-color: #ffffff;">Basics</span>=
<span style="background-color: #ffffff;">A [[Temperament Mapping Matrices (M-maps)|temperament mapping matrix]], or M-map, is a module homomorphism </span>**<span style="background-color: #ffffff;">T</span>**<span style="background-color: #ffffff;">: J -> K from the module J of JI ratios to a new module K, where K then comes to represent tempered intervals. We can also consider module homomorphisms **S:** J* -> L*, where J* is module of linear functionals on J, and where we map directly from J* to another module of linear functionals L*; this module is unrelated to K above. A bit of analysis will reveal that these homomorphisms restrict vals to [[xenharmonic/Smonzos and Svals|svals]] on a certain subgroup, and that the module L which the elements of L* act on are [[xenharmonic/Smonzos and Svals|smonzos]]. Hence, since these new homomorphisms can also be represented by integer matrices, we will call such matrices **subgroup mapping matrices**, or "val-maps" or **V-maps** when context demands they be distinguished from their temperamental counterparts, the [[Temperament Mapping Matrices (M-maps)|M-maps]].</span>
<span style="background-color: #ffffff;">If we use the convention that row matrices represent vals and column matrices represent monzos, then a matrix V is said to be a mapping matrix for a subgroup G of a JI module J if and only if the column module of V spans G and if V is of full column rank. Note that, unlike with M-maps, we drop the restriction that G must be saturated, so that we specifically allow for subgroups with prime powers and the like.</span>
<span style="background-color: #ffffff;">The column module of any subgroup mapping matrix is the submodule of J corresponding to the subgroup G. The row module of any subgroup mapping matrix V is the module of </span>[[xenharmonic/Smonzos and Svals|svals]] which take coefficients representing, in order, the mappings for the intervals specified by the columns of V. <span style="background-color: #ffffff;">Note that, much like with M-maps, there is not a unique mapping matrix for any subgroup: any matrix V of full-column rank which has columns that form a basis for G will also send vals to svals on that subgroup, but the coefficients of the svals will change to reflect the basis of V.</span>
Of note is that, much like temperament homomorphisms, these new subgroup homomorphisms also have a kernel, but this kernel is now a subspace of vals rather than monzos. For any V-map V and associated subgroup G defined by the columns of V, the kernel of V consists of those vals tempering out G. These vals have the property that, for any val n in the kernel and any other val v, (n+v)*V = n*V + v*V = 0 + v*V = v*V. In other words, any two vals differing by an element in the left null module will restrict to the same sval. Rather than saying that these null vals are "tempered out," we instead say that they are **restricted away**, as their subgroup restriction under V is the zero sval.
As a final note, we can easily see if two V-maps represent the same subgroup by checking to see if they form the same [[Normal lists|normal interval list]], or if they have the same Hermite normal form.
=Dual Transformation=
Much like with temperament mapping matrices, subgroup mapping matrices also have an associated dual transformation. Since the V-map represents a linear transformation **S:** J* -> L*, the associated dual transformation is **S*:** L -> J. Since L is the module that the module L* of svals acts on, we can identify L with smonzos, and since J is the module of JI monzos, **S*** maps from smonzos back to monzos. As with the dual transformation on a mapping matrix sending tvals -> vals, this mapping is generally injective but not surjective. No two smonzos will map to the same monzo, and the only monzos in the image of this transformation are those lying in the submodule of J denoted by G.
The main transformation of any V-map V can be applied by matrix multiplication with the V-map on the right and a matrix with vals as rows on the left. Conversely, the dual transformation of V can be applied by matrix multiplication with the V-map on the left and a matrix with smonzos as columns on the right.
=Example=
Say that our JI module J is in the 7-limit, and we want to look at temperaments on the 2.9/7.5/3 subgroup. We can create the V-map by forming a matrix in which the columns are the monzo representation of these intervals:
[[math]]
\[ \left[ \begin{array}{rrr}
1 & 0 & 0\\
0 & 2 & -1\\
0 & 0 & 1\\
0 & -1 & 0
\end{array} \right] \]
[[math]]
We can also write this matrix notationally as follows:
[[math]]
\[ \left[ \begin{array}{rrrrrl}
| & 1 & 0 & 0 & 0 & \rangle\\
| & 0 & 2 & 0 & -1 & \rangle\\
| & 0 & -1 & 1 & 0 & \rangle
\end{array} \right] \]
[[math]]
where it's understood that the kets are representing that the rows in this matrix are really column vectors, just written as rows due to an abuse of notation. A shorthand notation of this matrix is [|1 0 0 0>, |0 2 0 -1>, |0 -1 1 0>]. This matrix will be called **V**.
**Subgroup Restriction**
To restrict a val to the subgroup defined by the V-map, we'll left-multiply **V** by a val **W**. In this case, our val **W** will be the 7-limit patent val for [[12-EDO]]:
[[math]]
\[ \left[ \begin{array}{rrrrrl}
| & 12 & 19 & 28 & 34 & \rangle
\end{array} \right] \]
[[math]]
Multiplying **W*****V** yields the result
[[math]]
\[ \left[ \begin{array}{rrrrl}
| & 12 & 4 & 9 & \rangle
\end{array} \right] \]
[[math]]
which tells us that the restriction of the 12-EDO patent val to the 2.9/7.5/3 subgroup has a mapping of 12 steps for 2/1, a mapping of 4 steps for 9/7, and a mapping of 9 steps for 5/3.
We can also send temperament mapping matrices into the V-map. For instance, here's 7-limit sensi:
[[math]]
\[ \left[ \begin{array}{rrrrrl}
\langle & 1 & -1 & -1 & -2 & |\\
\langle & 0 & 7 & 9 & 13 & |\\
\end{array} \right] \]
[[math]]
If we call this matrix **M**, then the matrix multiplication **M*V** gives us the following result:
[[math]]
\[ \left[ \begin{array}{rrrrrl}
\langle & 1 & 0 & 0 & |\\
\langle & 0 & 1 & 2 & |\\
\end{array} \right] \]
[[math]]
This tells us that the subgroup restriction of sensi to the 2.9/7.5/3 subgroup is a new temperament mapping on the subgroup which sends 2/1 to one generator, 9/7 to the other generator, and 5/3 to two 9/7's. Additionally, since this is the multiplication of an M-map and a V-map, the resulting matrix also has the interpretation of having a set of columns representing the tmonzos that the 7-limit sensi M-map sends 2/1, 9/7, and 5/3 to, respectively.
We can also look at the kernel of our V-map, which yields the null module spanned by <0 1 1 2|. Any vals which differ by any multiple of this null val will restrict down to the same sval. For instance, <12 19 28 34| restricts to <12 4 9| on the 2.9/7.5/3 subgroup, and <12 19 28 34| + <0 1 1 2| = <12 20 29 36| also restricts down exactly to <12 4 9|.
**The Dual Transformation**
**V** implies a dual transformation mapping smonzos to monzos. As an example, we'll consider the matrix of smonzos [|0 1 0>, |0 -2 1>|]. If this matrix is X, then the dual transformation can be found by multiplying V*X, which yields
[[math]]
\[ \left[ \begin{array}{rrrrrrl}
| 0 & 2 & 0 & -1 & \rangle\\
| 0 & -5 & 1 & 2 & \rangle
\end{array} \right] \]
[[math]]
These monzos are the 7-limit representation of 9/7 and 245/243, respectively. Again, the "rows" here are in kets to specify that they're still supposed to be monzos and hence columns.Original HTML content:
<html><head><title>Subgroup Mapping Matrices (V-maps)</title></head><body><!-- ws:start:WikiTextHeadingRule:7:<h1> --><h1 id="toc0"><a name="Basics"></a><!-- ws:end:WikiTextHeadingRule:7 --><span style="background-color: #ffffff;">Basics</span></h1>
<span style="background-color: #ffffff;">A <a class="wiki_link" href="/Temperament%20Mapping%20Matrices%20%28M-maps%29">temperament mapping matrix</a>, or M-map, is a module homomorphism </span><strong><span style="background-color: #ffffff;">T</span></strong><span style="background-color: #ffffff;">: J -> K from the module J of JI ratios to a new module K, where K then comes to represent tempered intervals. We can also consider module homomorphisms <strong>S:</strong> J* -> L*, where J* is module of linear functionals on J, and where we map directly from J* to another module of linear functionals L*; this module is unrelated to K above. A bit of analysis will reveal that these homomorphisms restrict vals to <a class="wiki_link" href="http://xenharmonic.wikispaces.com/Smonzos%20and%20Svals">svals</a> on a certain subgroup, and that the module L which the elements of L* act on are <a class="wiki_link" href="http://xenharmonic.wikispaces.com/Smonzos%20and%20Svals">smonzos</a>. Hence, since these new homomorphisms can also be represented by integer matrices, we will call such matrices <strong>subgroup mapping matrices</strong>, or "val-maps" or <strong>V-maps</strong> when context demands they be distinguished from their temperamental counterparts, the <a class="wiki_link" href="/Temperament%20Mapping%20Matrices%20%28M-maps%29">M-maps</a>.</span><br />
<br />
<span style="background-color: #ffffff;">If we use the convention that row matrices represent vals and column matrices represent monzos, then a matrix V is said to be a mapping matrix for a subgroup G of a JI module J if and only if the column module of V spans G and if V is of full column rank. Note that, unlike with M-maps, we drop the restriction that G must be saturated, so that we specifically allow for subgroups with prime powers and the like.</span><br />
<br />
<span style="background-color: #ffffff;">The column module of any subgroup mapping matrix is the submodule of J corresponding to the subgroup G. The row module of any subgroup mapping matrix V is the module of </span><a class="wiki_link" href="http://xenharmonic.wikispaces.com/Smonzos%20and%20Svals">svals</a> which take coefficients representing, in order, the mappings for the intervals specified by the columns of V. <span style="background-color: #ffffff;">Note that, much like with M-maps, there is not a unique mapping matrix for any subgroup: any matrix V of full-column rank which has columns that form a basis for G will also send vals to svals on that subgroup, but the coefficients of the svals will change to reflect the basis of V.</span><br />
<br />
Of note is that, much like temperament homomorphisms, these new subgroup homomorphisms also have a kernel, but this kernel is now a subspace of vals rather than monzos. For any V-map V and associated subgroup G defined by the columns of V, the kernel of V consists of those vals tempering out G. These vals have the property that, for any val n in the kernel and any other val v, (n+v)*V = n*V + v*V = 0 + v*V = v*V. In other words, any two vals differing by an element in the left null module will restrict to the same sval. Rather than saying that these null vals are "tempered out," we instead say that they are <strong>restricted away</strong>, as their subgroup restriction under V is the zero sval.<br />
<br />
As a final note, we can easily see if two V-maps represent the same subgroup by checking to see if they form the same <a class="wiki_link" href="/Normal%20lists">normal interval list</a>, or if they have the same Hermite normal form.<br />
<br />
<!-- ws:start:WikiTextHeadingRule:9:<h1> --><h1 id="toc1"><a name="Dual Transformation"></a><!-- ws:end:WikiTextHeadingRule:9 -->Dual Transformation</h1>
Much like with temperament mapping matrices, subgroup mapping matrices also have an associated dual transformation. Since the V-map represents a linear transformation <strong>S:</strong> J* -> L*, the associated dual transformation is <strong>S*:</strong> L -> J. Since L is the module that the module L* of svals acts on, we can identify L with smonzos, and since J is the module of JI monzos, <strong>S</strong>* maps from smonzos back to monzos. As with the dual transformation on a mapping matrix sending tvals -> vals, this mapping is generally injective but not surjective. No two smonzos will map to the same monzo, and the only monzos in the image of this transformation are those lying in the submodule of J denoted by G.<br />
<br />
The main transformation of any V-map V can be applied by matrix multiplication with the V-map on the right and a matrix with vals as rows on the left. Conversely, the dual transformation of V can be applied by matrix multiplication with the V-map on the left and a matrix with smonzos as columns on the right.<br />
<br />
<!-- ws:start:WikiTextHeadingRule:11:<h1> --><h1 id="toc2"><a name="Example"></a><!-- ws:end:WikiTextHeadingRule:11 -->Example</h1>
Say that our JI module J is in the 7-limit, and we want to look at temperaments on the 2.9/7.5/3 subgroup. We can create the V-map by forming a matrix in which the columns are the monzo representation of these intervals:<br />
<br />
<!-- ws:start:WikiTextMathRule:0:
[[math]]<br/>
\[ \left[ \begin{array}{rrr}<br />
1 & 0 & 0\\<br />
0 & 2 & -1\\<br />
0 & 0 & 1\\<br />
0 & -1 & 0<br />
\end{array} \right] \]<br/>[[math]]
--><script type="math/tex">\[ \left[ \begin{array}{rrr}
1 & 0 & 0\\
0 & 2 & -1\\
0 & 0 & 1\\
0 & -1 & 0
\end{array} \right] \]</script><!-- ws:end:WikiTextMathRule:0 --><br />
<br />
We can also write this matrix notationally as follows:<br />
<br />
<!-- ws:start:WikiTextMathRule:1:
[[math]]<br/>
\[ \left[ \begin{array}{rrrrrl}<br />
| & 1 & 0 & 0 & 0 & \rangle\\<br />
| & 0 & 2 & 0 & -1 & \rangle\\<br />
| & 0 & -1 & 1 & 0 & \rangle<br />
\end{array} \right] \]<br/>[[math]]
--><script type="math/tex">\[ \left[ \begin{array}{rrrrrl}
| & 1 & 0 & 0 & 0 & \rangle\\
| & 0 & 2 & 0 & -1 & \rangle\\
| & 0 & -1 & 1 & 0 & \rangle
\end{array} \right] \]</script><!-- ws:end:WikiTextMathRule:1 --><br />
<br />
where it's understood that the kets are representing that the rows in this matrix are really column vectors, just written as rows due to an abuse of notation. A shorthand notation of this matrix is [|1 0 0 0>, |0 2 0 -1>, |0 -1 1 0>]. This matrix will be called <strong>V</strong>.<br />
<br />
<strong>Subgroup Restriction</strong><br />
To restrict a val to the subgroup defined by the V-map, we'll left-multiply <strong>V</strong> by a val <strong>W</strong>. In this case, our val <strong>W</strong> will be the 7-limit patent val for <a class="wiki_link" href="/12-EDO">12-EDO</a>:<br />
<br />
<!-- ws:start:WikiTextMathRule:2:
[[math]]<br/>
\[ \left[ \begin{array}{rrrrrl}<br />
| & 12 & 19 & 28 & 34 & \rangle<br />
\end{array} \right] \]<br/>[[math]]
--><script type="math/tex">\[ \left[ \begin{array}{rrrrrl}
| & 12 & 19 & 28 & 34 & \rangle
\end{array} \right] \]</script><!-- ws:end:WikiTextMathRule:2 --><br />
<br />
Multiplying <strong>W</strong><strong>*V</strong> yields the result<br />
<br />
<!-- ws:start:WikiTextMathRule:3:
[[math]]<br/>
\[ \left[ \begin{array}{rrrrl}<br />
| & 12 & 4 & 9 & \rangle<br />
\end{array} \right] \]<br/>[[math]]
--><script type="math/tex">\[ \left[ \begin{array}{rrrrl}
| & 12 & 4 & 9 & \rangle
\end{array} \right] \]</script><!-- ws:end:WikiTextMathRule:3 --><br />
<br />
which tells us that the restriction of the 12-EDO patent val to the 2.9/7.5/3 subgroup has a mapping of 12 steps for 2/1, a mapping of 4 steps for 9/7, and a mapping of 9 steps for 5/3.<br />
<br />
We can also send temperament mapping matrices into the V-map. For instance, here's 7-limit sensi:<br />
<br />
<!-- ws:start:WikiTextMathRule:4:
[[math]]<br/>
\[ \left[ \begin{array}{rrrrrl}<br />
\langle & 1 & -1 & -1 & -2 & |\\<br />
\langle & 0 & 7 & 9 & 13 & |\\<br />
\end{array} \right] \]<br/>[[math]]
--><script type="math/tex">\[ \left[ \begin{array}{rrrrrl}
\langle & 1 & -1 & -1 & -2 & |\\
\langle & 0 & 7 & 9 & 13 & |\\
\end{array} \right] \]</script><!-- ws:end:WikiTextMathRule:4 --><br />
<br />
If we call this matrix <strong>M</strong>, then the matrix multiplication <strong>M*V</strong> gives us the following result:<br />
<br />
<!-- ws:start:WikiTextMathRule:5:
[[math]]<br/>
\[ \left[ \begin{array}{rrrrrl}<br />
\langle & 1 & 0 & 0 & |\\<br />
\langle & 0 & 1 & 2 & |\\<br />
\end{array} \right] \]<br/>[[math]]
--><script type="math/tex">\[ \left[ \begin{array}{rrrrrl}
\langle & 1 & 0 & 0 & |\\
\langle & 0 & 1 & 2 & |\\
\end{array} \right] \]</script><!-- ws:end:WikiTextMathRule:5 --><br />
<br />
This tells us that the subgroup restriction of sensi to the 2.9/7.5/3 subgroup is a new temperament mapping on the subgroup which sends 2/1 to one generator, 9/7 to the other generator, and 5/3 to two 9/7's. Additionally, since this is the multiplication of an M-map and a V-map, the resulting matrix also has the interpretation of having a set of columns representing the tmonzos that the 7-limit sensi M-map sends 2/1, 9/7, and 5/3 to, respectively.<br />
<br />
We can also look at the kernel of our V-map, which yields the null module spanned by <0 1 1 2|. Any vals which differ by any multiple of this null val will restrict down to the same sval. For instance, <12 19 28 34| restricts to <12 4 9| on the 2.9/7.5/3 subgroup, and <12 19 28 34| + <0 1 1 2| = <12 20 29 36| also restricts down exactly to <12 4 9|.<br />
<br />
<strong>The Dual Transformation</strong><br />
<strong>V</strong> implies a dual transformation mapping smonzos to monzos. As an example, we'll consider the matrix of smonzos [|0 1 0>, |0 -2 1>|]. If this matrix is X, then the dual transformation can be found by multiplying V*X, which yields<br />
<br />
<!-- ws:start:WikiTextMathRule:6:
[[math]]<br/>
\[ \left[ \begin{array}{rrrrrrl}<br />
| 0 & 2 & 0 & -1 & \rangle\\<br />
| 0 & -5 & 1 & 2 & \rangle<br />
\end{array} \right] \]<br/>[[math]]
--><script type="math/tex">\[ \left[ \begin{array}{rrrrrrl}
| 0 & 2 & 0 & -1 & \rangle\\
| 0 & -5 & 1 & 2 & \rangle
\end{array} \right] \]</script><!-- ws:end:WikiTextMathRule:6 --><br />
<br />
These monzos are the 7-limit representation of 9/7 and 245/243, respectively. Again, the "rows" here are in kets to specify that they're still supposed to be monzos and hence columns.</body></html>