<?xml version="1.0" encoding="UTF-8"?><rss version="2.0"
	xmlns:content="http://purl.org/rss/1.0/modules/content/"
	xmlns:wfw="http://wellformedweb.org/CommentAPI/"
	xmlns:dc="http://purl.org/dc/elements/1.1/"
	xmlns:atom="http://www.w3.org/2005/Atom"
	xmlns:sy="http://purl.org/rss/1.0/modules/syndication/"
	xmlns:slash="http://purl.org/rss/1.0/modules/slash/"
	>

<channel>
	<title>hyperoctahedral group &#8211; neverendingbooks</title>
	<atom:link href="https://lievenlebruyn.github.io/neverendingbooks/tag/hyperoctahedral-group/feed/" rel="self" type="application/rss+xml" />
	<link>https://lievenlebruyn.github.io/neverendingbooks/</link>
	<description></description>
	<lastBuildDate>Sat, 31 Aug 2024 11:25:18 +0000</lastBuildDate>
	<language>en-US</language>
	<sy:updatePeriod>
	hourly	</sy:updatePeriod>
	<sy:updateFrequency>
	1	</sy:updateFrequency>
	<generator>https://wordpress.org/?v=6.6.1</generator>
	<item>
		<title>de Bruijn&#8217;s pentagrids (2)</title>
		<link>https://lievenlebruyn.github.io/neverendingbooks/de-bruijns-pentagrids-2/</link>
		
		<dc:creator><![CDATA[lieven]]></dc:creator>
		<pubDate>Wed, 17 Mar 2021 09:38:39 +0000</pubDate>
				<category><![CDATA[geometry]]></category>
		<category><![CDATA[GoV]]></category>
		<category><![CDATA[groups]]></category>
		<category><![CDATA[representations]]></category>
		<category><![CDATA[D5]]></category>
		<category><![CDATA[de Bruijn]]></category>
		<category><![CDATA[hyperoctahedral group]]></category>
		<category><![CDATA[Penrose]]></category>
		<category><![CDATA[pentagrid]]></category>
		<category><![CDATA[Young]]></category>
		<guid isPermaLink="false">http://www.neverendingbooks.org/?p=9284</guid>

					<description><![CDATA[Last time we&#8217;ve seen that de Bruijn&#8217;s pentagrids determined the vertices of Penrose&#8217;s P3-aperiodic tilings. These vertices can also be obtained by projecting a window&#8230;]]></description>
										<content:encoded><![CDATA[<p><a href="https://lievenlebruyn.github.io/neverendingbooks/de-bruijns-pentagrids">Last time</a> we&#8217;ve seen that de Bruijn&#8217;s pentagrids determined the vertices of Penrose&#8217;s P3-aperiodic tilings.</p>
<p>These vertices can also be obtained by projecting a window of the standard hypercubic lattice $\mathbb{Z}^5$ by the <a href="https://lievenlebruyn.github.io/neverendingbooks/conways-musical-sequences-2">cut-and-project</a>-method.</p>
<p>We&#8217;ll bring in representation theory by forcing this projection to be compatible with a $D_5$-subgroup of the symmetries of $\mathbb{Z}^5$, which explains why Penrose tilings have a local $D_5$-symmetry.</p>
<p><center><br />
<img decoding="async" src="https://lievenlebruyn.github.io/neverendingbooks/DATA3/D5region.jpg" width=70% ><br />
</center></p>
<p>The symmetry group of the standard $n$-dimensional hypercubic lattice<br />
\[<br />
\mathbb{Z} \vec{e}_1 + \dots + \mathbb{Z} \vec{e}_n \subset \mathbb{R}^n \]<br />
is the <a href="https://en.wikipedia.org/wiki/Hyperoctahedral_group">hyperoctahedral group</a> of all signed $n \times n$ permutation matrices<br />
\[<br />
B_n = C_2^n \rtimes S_n \]<br />
in which all $n$-permutations $S_n$ act on the group $C_2^n = \{ 1,-1 \}^n$ of all signs. The signed permutation $n \times n$ matrix corresponding to an element $(\vec{a},\pi) \in B_n$ is given by<br />
\[<br />
T_{ij} = T(\vec{a},\pi)_{ij} = a_j \delta_{i,\pi(j)} \]<br />
The represenation theory of $B_n$ was worked out in 1930 by the British mathematician and clergyman <a href="https://en.wikipedia.org/wiki/Alfred_Young">Alfred Young</a><br />
<center><br />
<img decoding="async" src="https://lievenlebruyn.github.io/neverendingbooks/DATA3/Young.jpg" width=40% ><br />
</center><br />
We want to do explicit calculations in $B_n$ using a computational system such as <a href="https://www.gap-system.org/">GAP</a>, so it is best to describe $B_n$ as a permutation subgroup of $S_{2n}$ via the morphism<br />
\[<br />
 \tau((\vec{a},\pi))(k) = \begin{cases} \pi(k)+n \delta_{-1,a_k}~\text{if $1 \leq k \leq n$} \\<br />
\pi(k-n)+n(1-\delta_{-1,a_{k-n}})~\text{if $n+1 \leq k \leq 2n$} \end{cases} \]<br />
the image is generated by the permutations<br />
\[<br />
\begin{cases}<br />
\alpha = (1,2)(n+1,n+2), \\<br />
\beta=(1,2,\dots,n)(n+1,n+2,\dots,2n), \\<br />
\gamma=(n,2n)<br />
\end{cases}<br />
 \]<br />
and to a permutation $\sigma \in \tau(B_n) \subset S_{2n}$ we assign the signed permutation $n \times n$ matrix $T_{\sigma}=T(\tau^{-1}(\pi))$.</p>
<p>We use GAP to set up $B_5$ from these generators and determine all its conjugacy classes of subgroups. It turns out that $B_5$ has no less than $953$ different conjugacy classes of subgroups.<br />
<verbatim><br />
gap> B5:=Group((1,2)(6,7),(1,2,3,4,5)(6,7,8,9,10),(5,10));<br />
Group([ (1,2)(6,7), (1,2,3,4,5)(6,7,8,9,10), (5,10) ])<br />
gap> Size(B5);<br />
3840<br />
gap> C:=ConjugacyClassesSubgroups(B5);;<br />
gap> Length(C);<br />
953<br />
</verbatim><br />
But we are only interested in the subgroups isomorphic to $D_5$. So, first we make a sublist of all conjugacy classes of subgroups of order $10$, and then we go through this list one-by-one and look for an explicit isomorphism between $D_5 = \langle x,y~|~x^5=e=y^2,~xyx=y \rangle$ and a representative of the class (or get a &#8216;fail&#8217; is this subgroup is not isomorphic to $D_5$).<br />
<verbatim><br />
gap> C10:=Filtered(C,x->Size(Representative(x))=10);;<br />
gap> Length(C10);<br />
3<br />
gap> s10:=List(C10,Representative);<br />
[ Group([ (2,5)(3,4)(7,10)(8,9), (1,5,4,3,2)(6,10,9,8,7) ]),<br />
  Group([ (1,6)(2,5)(3,4)(7,10)(8,9), (1,10,9,3,2)(4,8,7,6,5) ]),<br />
  Group([ (1,6)(2,7)(3,8)(4,9)(5,10), (1,2,8,4,10)(3,9,5,6,7) ]) ]<br />
gap> D:=DihedralGroup(10);
<pc group of size 10 with 2 generators>
gap> IsomorphismGroups(D,s10[1]);<br />
[ f1, f2 ] -> [ (2,5)(3,4)(7,10)(8,9), (1,5,4,3,2)(6,10,9,8,7) ]<br />
gap> IsomorphismGroups(D,s10[2]);<br />
[ f1, f2 ] -> [ (1,6)(2,5)(3,4)(7,10)(8,9), (1,10,9,3,2)(4,8,7,6,5) ]<br />
gap> IsomorphismGroups(D,s10[3]);<br />
fail<br />
gap> IsCyclic(s10[3]);<br />
true<br />
</verbatim><br />
Of the three (conjugacy classes of) subgroups of order $10$, two are isomorphic to $D_5$, and the third one to $C_{10}$. Next, we have to transform the generating permutations into signed $5 \times 5$ permutation matrices using the bijection $\tau^{-1}$.<br />
\[<br />
\begin{array}{c|c}<br />
\sigma &#038; (\vec{a},\pi) \\<br />
\hline<br />
(2,5)(3,4)(7,10)(8,9) &#038; ((1,1,1,1,1),(2,5)(3,4)) \\<br />
(1,5,4,3,2)(6,10,9,8,7) &#038; ((1,1,1,1,1)(1,5,4,3,2)) \\<br />
(1,6)(2,5)(3,4)(7,10)(8,9) &#038; ((-1,1,1,1,1),(2,5)(3,4)) \\<br />
(1,10,9,3,2)(4,8,7,6,5) &#038; ((-1,1,1,-1,1),(1,5,4,3,2))<br />
\end{array}<br />
\]<br />
giving the signed permutation matrices<br />
\[<br />
\begin{array}{c|cc}<br />
&#038; x &#038; y \\<br />
\hline<br />
A &#038; \begin{bmatrix}<br />
0 &#038; 1 &#038; 0 &#038; 0 &#038; 0 \\<br />
0 &#038; 0 &#038; 1 &#038; 0 &#038; 0 \\<br />
0 &#038; 0 &#038; 0 &#038; 1 &#038; 0 \\<br />
0 &#038; 0 &#038; 0 &#038; 0 &#038; 1 \\<br />
1 &#038; 0 &#038; 0 &#038; 0 &#038; 0 \end{bmatrix} &#038;<br />
\begin{bmatrix} 1 &#038; 0 &#038; 0 &#038; 0 &#038; 0 \\<br />
0 &#038; 0 &#038; 0 &#038; 0 &#038; 1 \\<br />
0 &#038; 0 &#038; 0 &#038; 1 &#038; 0 \\<br />
0 &#038; 0 &#038; 1 &#038; 0 &#038; 0 \\<br />
0 &#038; 1 &#038; 0 &#038; 0 &#038; 0 \end{bmatrix}  \\<br />
\hline<br />
B &#038; \begin{bmatrix}<br />
0 &#038; 1 &#038; 0 &#038; 0 &#038; 0 \\<br />
0 &#038; 0 &#038; 1 &#038; 0 &#038; 0 \\<br />
0 &#038; 0 &#038; 0 &#038; -1 &#038; 0 \\<br />
0 &#038; 0 &#038; 0 &#038; 0 &#038; 1 \\<br />
-1 &#038; 0 &#038; 0 &#038; 0 &#038; 0 \end{bmatrix} &#038;<br />
\begin{bmatrix}<br />
-1 &#038; 0 &#038; 0 &#038; 0 &#038; 0 \\<br />
0 &#038; 0 &#038; 0 &#038; 0 &#038; 1 \\<br />
0 &#038; 0 &#038; 0 &#038; 1 &#038; 0 \\<br />
0 &#038; 0 &#038; 1 &#038; 0 &#038; 0 \\<br />
0 &#038; 1 &#038; 0 &#038; 0 &#038; 0 \end{bmatrix}<br />
\end{array}<br />
\]<br />
$D_5$ has $4$ conjugacy classes with representatives $e,y,x$ and $x^2$. the<br />
<strong>character table</strong> of $D_5$ is<br />
\[<br />
\begin{array}{c|cccc}<br />
&#038; (1) &#038; (2) &#038; (2) &#038; (5) \\<br />
&#038; 1_a &#038; 5_1 &#038; 5_2 &#038; 2_a \\<br />
D_5 &#038; e &#038; x &#038; x^2 &#038; y \\<br />
\hline<br />
T &#038; 1 &#038; 1 &#038; 1 &#038; 1 \\<br />
V &#038; 1 &#038; 1 &#038; 1 &#038; -1 \\<br />
W_1 &#038; 2 &#038; \tfrac{-1+ \sqrt{5}}{2} &#038; \tfrac{-1 -\sqrt{5}}{2} &#038; 0 \\<br />
W_2 &#038; 2 &#038; \tfrac{-1 -\sqrt{5}}{2} &#038; \tfrac{-1+\sqrt{5}}{2}  &#038; 0<br />
\end{array}<br />
\]<br />
Using the signed permutation matrices it is easy to determine the characters of the $5$-dimensional representations $A$ and $B$<br />
\[<br />
\begin{array}{c|cccc}<br />
D_5 &#038; e &#038; x &#038; x^2 &#038; y \\<br />
\hline<br />
A &#038; 5 &#038; 0 &#038; 0 &#038; 1 \\<br />
B &#038; 5 &#038; 0 &#038; 0 &#038; -1<br />
\end{array}<br />
\]<br />
decomosing into $D_5$-irreducibles as<br />
\[<br />
A \simeq T \oplus W_1 \oplus W_2 \quad \text{and} \quad B \simeq V \oplus W_1 \oplus W_2 \]<br />
Representation $A$ realises $D_5$ as a rotation symmetry group of the hypercube lattice $\mathbb{Z}^5$ in $\mathbb{R}^5$, and next we have to find a $D_5$-projection $\mathbb{R}^5=A \rightarrow W_1 = \mathbb{R}^2$.</p>
<p>As a complex representation $A \downarrow_{C_5}$ decomposes as a direct sum of $1$-dimensional representations<br />
\[<br />
A \downarrow_{C_5} = V_1 \oplus V_{\zeta} \oplus V_{\zeta^2} \oplus V_{\zeta^3} \oplus V_{\zeta^4} \]<br />
where $\zeta = e^{2 \pi i /5}$ and where the action of $x$ on $V_{\zeta^i}=\mathbb{C} v_i$ is given by $x.v_i = \zeta^i v_i$. The $x$-eigenvectors in $\mathbb{C}^5$ are<br />
\[<br />
\begin{cases}<br />
v_0 = (1,1,1,1,1) \\<br />
v_1 = (1,\zeta,\zeta^2,\zeta^3,\zeta^4) \\<br />
v_2 =(1,\zeta^2,\zeta^4,\zeta,\zeta^3) \\<br />
v_3 = (1,\zeta^3,\zeta,\zeta^4,\zeta^2) \\<br />
v_4 = (1,\zeta^4,\zeta^3,\zeta^2,\zeta)<br />
\end{cases}<br />
\]<br />
The action of $y$ on these vectors is given by $y.v_i = v_{5-i}$ because<br />
\[<br />
x.(y.v_i) = (xy).v_i=(yx^{-1}).v_i=y.(x^{-1}.v_i) = y.(\zeta^{-i} v_i) = \zeta^{-1} (y.v_i) \]<br />
and therefore $y.v_i$ is an $x$-eigenvector with eigenvalue $\zeta^{5-i}$. As a complex $D_5$-representation, the factors of $A$ are therefore<br />
\[<br />
T = \mathbb{C} v_0, \quad W_1 = \mathbb{C} v_1 + \mathbb{C} v_4, \quad \text{and} \quad W_2 = \mathbb{C} v_2 + \mathbb{C} v_3 \]<br />
But we want to consider $A$ as a real representation. As $\zeta^j = cos(\tfrac{2 \pi j}{5})+i~sin(\tfrac{2 \pi j}{5}) = c_j + i s_j$ hebben we can take the vectors in $\mathbb{R}^5$<br />
\[<br />
\begin{cases}<br />
\frac{1}{2}(v_1+v_4) =  (1,c_1,c_2,c_3,c_4)= u_1 \\<br />
-\frac{1}{2}i(v_1-v_4) = (0,s_1,s_2,s_3,s_4) = u_2 \\<br />
\frac{1}{2}(v_2+v_3) =  (1,c_2,c_4,c1,c3)= w_1 \\<br />
-\frac{1}{2}i(v_2-v_3) = (0,s_2,s_4,s_1,s_3)= w_2<br />
\end{cases}<br />
\]<br />
and $A$ decomposes as a real $D_5$-representation with<br />
\[<br />
T = \mathbb{R} v_0, \quad W_1 = \mathbb{R} u_1 + \mathbb{R} u_2, \quad \text{and} \quad W_2 = \mathbb{R} w_1 + \mathbb{R} w_2 \]<br />
and if we identify $\mathbb{C}$ with $\mathbb{R}^2$ via $z \leftrightarrow (Re(z),Im(z))$ we can describe the $D_5$-projection morphism $\pi_{W_1}~:~\mathbb{R}^5=A \rightarrow W_1=\mathbb{R}^2$ via<br />
\[  (y_0,y_1,y_2,y_3,y_4) \mapsto y_0+y_1 \zeta + y_2 \zeta^2 + y_3 \zeta^3 + y_4 \zeta^4 = \sum_{i=0}^4 y_i (c_i,s_i) \]<br />
Note also that $W_1$ is the orthogonal complement of $T \oplus W_2$, so is equal to the linear subspace in $\mathbb{R}^5$ determined by the three linear equations<br />
\[<br />
\begin{cases}<br />
\sum_{i=0}^4 x_i = 0 \\<br />
\sum_{i=0}^4 c_{2i} x_i = 0 \\<br />
\sum_{i=0}^4 s_{2i} x_i = 0<br />
\end{cases}<br />
\]<br />
<center><br />
<img decoding="async" src="https://lievenlebruyn.github.io/neverendingbooks/DATA3/pentagrid2.jpg" width=55% ><br />
</center></p>
<p />
Okay, now take the Rhombic tiling corresponding to the regular pentagrid defined by $\gamma_0, \dots, \gamma_4$ satisfying $\sum_{i=0}^4 \gamma_i = 0$. Let $\vec{k}=(k_0,\dots,k_4) \in \mathbb{Z}^5$ and define the <strong>open hypercube</strong> $H_{\vec{k}}$ corresponding to $\vec{k}$ as the set of points<br />
\[<br />
(x_0,\dots,x_4) \in \mathbb{R}^5~:~\forall 0 \leq i \leq 4~:~k_i &#8211; 1 < x_i < k_i \]
From the vector $\vec{\gamma} = (\gamma_0,\dots,\gamma_4)$ determining the Rhombic tiling we define the $2$-dimensional plane $P_{\vec{\gamma}}$ in $\mathbb{R}^5$ given by the equations
\[
\begin{cases}
\sum_{i=0}^4 x_i = 0 \\
\sum_{i=0}^4 c_{2i} (x_i - \gamma_i) = 0 \\
\sum_{i=0}^4 s_{2i} (x_i - \gamma_i) = 0
\end{cases}
\]
The point being that $P_{\vec{\gamma}}$ is the linear plane $W_1$ in $\mathbb{R}^5$ translated over the vector $\vec{\gamma}$, so it is parallel to $W_1$. Here's the punchline:



<p />
<strong>de Bruijn&#8217;s theorem</strong>: The vertices of the Rhombic tiling produced by the regular pentagrid with parameters $\vec{\gamma}=(\gamma_0,\dots,\gamma_4)$ are the points<br />
\[<br />
\sum_{i=0}^4 k_i (c_i,s_i) \]<br />
with $\vec{k}=(k_0,\dots,k_4) \in \mathbb{Z}^5$ such that $H_{\vec{k}} \cap P_{\vec{\gamma}} \not= \emptyset$.</p>
<p />
To see this, let $\vec{x} = (x_0,\dots,x_4) \in P_{\vec{\gamma}}$, then $\vec{x}-\vec{\gamma} \in W_1$, but then there is a vector $\vec{y} \in \mathbb{R}^2$ such that<br />
\[<br />
x_j &#8211; \gamma_j = \vec{y}.\vec{v}_j \quad \forall~0 \leq j \leq 4 \]<br />
But then, with $k_j=\lceil \vec{y}.\vec{v}_j + \gamma_j \rceil$ we have that $\vec{x} \in H_{\vec{k}}$ and we note that $V(\vec{y}) = \sum_{i=0}^4 k_i \vec{v}_i$ is a vetex of the Rhombic tiling associated to the regular pentagrid parameters $\vec{\gamma}=(\gamma_0,\dots,\gamma_4)$.</p>
<p />Here we used regularity of the pentagrid in order to have that $k_j=\vec{y}.\vec{v}_j + \gamma_j$ can happen for at most two $j$&#8217;s, so we can manage to vary $\vec{y}$ a little in order to have $\vec{x}$ in the open hypercube.</p>
<p />
Here&#8217;s what we did so far: we have identified $D_5$ as a group of rotations in $\mathbb{R}^5$, preserving the hypercube-lattice $\mathbb{Z}^5$ in $\mathbb{R}^5$. If the $2$-plane $P_{\vec{\gamma}}$ is left stable under these rotations, then because rotations preserve distances, also the subset of lattice-points<br />
\[<br />
S_{\vec{\gamma}} = \{ (k_0,\dots,k_4)~|~H_{\vec{k}} \cap P_{\vec{\gamma}} \not= \emptyset \}  \subset \mathbb{Z}^5 \]<br />
is left stable under the $D_5$-action. But, because the map<br />
\[<br />
(k_0,\dots,k_4) \mapsto \sum_{i=0}^4 k_i (c_i,s_i) \]<br />
is the $D_5$-projection map $\pi : A \rightarrow W_1$, the vertices of the associated Rhombic tiling must be stable under the $D_5$-action on $W_1$, meaning that the Rhombic tiling should have a global $D_5$-symmetry.</p>
<p />
Sadly, the only plane $P_{\vec{\gamma}}$ left stable under all rotations of $D_5$ is when $\vec{\gamma} = \vec{0}$, which is an <strong>exceptionally singular</strong> pentagrid. If we project this situation we do indeed get an image with global $D_5$-symmetry<br />
<center><br />
<img decoding="async" src="https://lievenlebruyn.github.io/neverendingbooks/DATA3/projectionexcepsingular.jpg" width=80% ><br />
</center><br />
but it is <strong>not</strong> a Rhombic tiling. What&#8217;s going on?</p>
<p />
Because this post is already dragging on for far too long (TL;DR), we&#8217;ll save the investigation of projections of singular pentagrids, how they differ from the regular situation, and how they determine multiple Rhombic tilings, for another time.</p>
]]></content:encoded>
					
		
		
			</item>
	</channel>
</rss>
