Subgroup majorization. (Q2442246): Difference between revisions

The authors deal with \(G\)-majorization. They consider reflection groups as subgroups \(G\) of the orthogonal group \(O_n\) acting on \(\mathbb R^n\). Then \(G\) is defined by a finite set of distinct generating hyperplanes \(V_j=\{x:\langle x,a_j\rangle=0\}\) for \(j=1,\ldots,k\), where \(a_j\) are positive roots in the root system of \(G\). Let \(V_j^+=\{x:\langle x,a_j\rangle\geq 0,\;j=1,\ldots,k\}\). They define the fundamental cone \(\mathcal C_G=\bigcap_{i=1}^k V_j^+\). The inessential part of \(\mathcal C_G\) is \(\mathcal C_{G,0}=\bigcap_{i=1}^k V_j\) and the essential is the orthogonal compliment \(\mathcal C_{G,1}=\mathcal C_{G,0}^\perp\cap\mathcal C_G\). For a finite reflection group \(G\) the authors define essential \(G\)-majorization by \(x\prec_G^+ y\) if and only if \(y^+\in\mathrm{conv}(\mathcal O(x^+))\), where \(x^+,y^+\) are the respective projections of \(x,y\) onto \(\mathcal C_{G,0}^\perp\) and \(\mathcal O(x^+)=\{g(x^+):g\in G\}\). One of the results that the authors obtain is the theorem: Suppose \(G\) is an extension of \(N\) by \(H\), and that \(G,N\), and \(H\cong G/N\) are all reflection groups. Then \(\mathcal C_G^\circ=\mathcal C_N^\circ\cap\mathcal C_H^\circ\). As an example the authors treat the hyperoctahedral group. Some of the section headings are: subgroup and group extension construction; normal subgroups in the hyperoctahedral group; order preserving functions.