A new algorithm for computing branching rules and Clebsch-Gordan coefficients of unitary representations of compact groups

Alberto Ibort, Alberto López-Yela and Julio Moro

arXiv: 1610.01054v2 · PDF · 18 January 2024
Categories: math-ph, math.MP
Journal: Journal of Mathematical Physics 58, 101702 (2017)
DOI: 10.1063/1.5004259
Licence: CC BY 4.0 The site shows the text.

Abstract

A numerical algorithm that computes the decomposition of any finite-dimensional unitary reducible representation of a compact Lie group is presented. The algorithm, which does not rely on an algebraic insight on the group structure, is inspired by quantum mechanical notions. After generating two adapted states (these objects will be conveniently defined in Def. II.1) and after appropriate algebraic manipulations, the algorithm returns the block matrix structure of the representation in terms of its irreducible components. It also provides an adapted orthonormal basis. The algorithm can be used to compute the Clebsch–Gordan coefficients of the tensor product of irreducible representations of a given compact Lie group. The performance of the algorithm is tested on various examples: the decomposition of the regular representation of two finite groups and the computation of Clebsch–Gordan coefficients of two examples of tensor products of representations of SU(2).

Items 11

Definition

Definition II.1

IY42

A state \rho in the Hilbert space \mathcal{H} supporting an irrep U of the group G is said to be adapted to a closed subgroup H if \mathrm{Tr}(\rho \, D(g)) = 0 for g \notin H.

Used by Definition II.3, Definition II.4, Theorem III.1, Corollary III.2

Definition

Definition II.2

WVLP

Let G be a group, (\mathcal{H},U) an irreducible unitary representation of G and H a closed subgroup of G. The Clebsch–Gordan matrix associated with G, H and (\mathcal{H},U) is the n\times n matrix C such that

C^\dagger D(h) C=\begin{pmatrix} \mathds{1}_{c_1}\otimes D^1(h) & & \\ & \hspace{-2cm}\mathds{1}_{c_2}\otimes D^2(h) & & & \\ & & \hspace{-2.cm} \rotatebox{-53}{\makebox[0pt]{\makebox[1.6em]{\xleaders\hbox{$\cdot$\hskip.11em}\hfill\kern0pt}}} & & \hspace{0.cm}\mbox{\Huge{$0$}}& \\ & & & \hspace{-1.3cm} \rotatebox{-53}{\makebox[0pt]{\makebox[1.6em]{\xleaders\hbox{$\cdot$\hskip.11em}\hfill\kern0pt}}} & & \\ & \hspace{-2.8cm}\mbox{\Huge{$0$}} & & & \hspace{-0.9cm} \rotatebox{-53}{\makebox[0pt]{\makebox[1.6em]{\xleaders\hbox{$\cdot$\hskip.11em}\hfill\kern0pt}}} & \\ & & & & & \hspace{-1.25cm}\mathds{1}_{c_N}\otimes D^N(h) \end{pmatrix},

for every h\in H, where the D(h) are the matrices defined in (\ref{Dg_def}), the D^{\alpha}(h),\ \alpha=1,\ldots,N, are the matrices associated with the irreps of the subgroup H and \otimes stands for the matrix Kronecker product defined as:

A\otimes B=\begin{pmatrix} a_{11}B & \hspace{-0.1cm}a_{12}B& \rotatebox{0}{\makebox[0pt]{\makebox[1.4em]{\xleaders\hbox{$\cdot$\hskip.12em}\hfill\kern0pt}}} & \rotatebox{0}{\makebox[0pt]{\makebox[1.4em]{\xleaders\hbox{$\cdot$\hskip.12em}\hfill\kern0pt}}} & a_{1n}B \\ a_{21}B &\hspace{-0.1cm} a_{22}B& \rotatebox{0}{\makebox[0pt]{\makebox[1.4em]{\xleaders\hbox{$\cdot$\hskip.12em}\hfill\kern0pt}}} & \rotatebox{0}{\makebox[0pt]{\makebox[1.4em]{\xleaders\hbox{$\cdot$\hskip.12em}\hfill\kern0pt}}} &a_{2n}B\\ \hspace{-0.2cm} \rotatebox{90}{\makebox[0pt]{\makebox[1.2em]{\xleaders\hbox{$\cdot$\hskip.12em}\hfill\kern0pt}}} & \hspace{-0.5cm} \rotatebox{90}{\makebox[0pt]{\makebox[1.2em]{\xleaders\hbox{$\cdot$\hskip.12em}\hfill\kern0pt}}} &\hspace{-1.2cm} \rotatebox{-42}{\makebox[0pt]{\makebox[1.6em]{\xleaders\hbox{$\cdot$\hskip.11em}\hfill\kern0pt}}} & &\hspace{-0.2cm} \rotatebox{90}{\makebox[0pt]{\makebox[1.2em]{\xleaders\hbox{$\cdot$\hskip.12em}\hfill\kern0pt}}} \\ \hspace{-0.2cm} \rotatebox{90}{\makebox[0pt]{\makebox[1.2em]{\xleaders\hbox{$\cdot$\hskip.12em}\hfill\kern0pt}}} & \hspace{-0.5cm} \rotatebox{90}{\makebox[0pt]{\makebox[1.2em]{\xleaders\hbox{$\cdot$\hskip.12em}\hfill\kern0pt}}} &\hspace{0.41cm} \rotatebox{-42}{\makebox[0pt]{\makebox[1.6em]{\xleaders\hbox{$\cdot$\hskip.11em}\hfill\kern0pt}}} & &\hspace{-0.2cm} \rotatebox{90}{\makebox[0pt]{\makebox[1.2em]{\xleaders\hbox{$\cdot$\hskip.12em}\hfill\kern0pt}}} \\ \vspace{0.1cm}\hspace{-0.2cm} \rotatebox{90}{\makebox[0pt]{\makebox[0.85em]{\xleaders\hbox{$\cdot$\hskip.1em}\hfill\kern0pt}}} & \hspace{-0.5cm} \rotatebox{90}{\makebox[0pt]{\makebox[0.85em]{\xleaders\hbox{$\cdot$\hskip.1em}\hfill\kern0pt}}} & &\hspace{0.52cm} \rotatebox{-42}{\makebox[0pt]{\makebox[1.6em]{\xleaders\hbox{$\cdot$\hskip.11em}\hfill\kern0pt}}} & \hspace{-0.2cm} \rotatebox{90}{\makebox[0pt]{\makebox[0.85em]{\xleaders\hbox{$\cdot$\hskip.10em}\hfill\kern0pt}}} \\ a_{m1}B& \hspace{-0.1cm}a_{m2}B& \rotatebox{0}{\makebox[0pt]{\makebox[1.4em]{\xleaders\hbox{$\cdot$\hskip.12em}\hfill\kern0pt}}} & \rotatebox{0}{\makebox[0pt]{\makebox[1.4em]{\xleaders\hbox{$\cdot$\hskip.12em}\hfill\kern0pt}}} &a_{mn}B \end{pmatrix}

for arbitrary matrices A=\left(a_{ij}\right)_{i,j=1}^{m,n} and B.

Used by Theorem III.1

Definition

Definition II.3

ANA9

An adapted state \rho is said to be generic if its eigenvalues have the minimum possible degeneracy, that is, \lambda_j^\alpha\neq\lambda_k^\beta for all \alpha,\beta=1,\ldots,N, and for all j=1,\ldots,n_\alpha, k=1,\ldots,n_\beta.

Uses Definition II.1 · Used by Definition II.4, Theorem III.1

Definition

Definition II.4

EFJL

A pair (\rho_1,\rho_2) of adapted states is said to be mutually generic if they are both generic (in the sense of Definition II.3) and no eigenvector r^\alpha_{j} of the block \sigma_1^\alpha of \rho_1 is an eigenvector of the corresponding \sigma_2^\alpha of \rho_2 whenever n_{\alpha}>1, where matrices \sigma^\alpha_a come from the block-diagonalization of the adapted states \rho_a:

C^\dagger \rho_a C=\mathrm{diag}(\mathds{1}_{c_1}\otimes \sigma_a^1,\mathds{1}_{c_2}\otimes \sigma_a^2,\ldots,\mathds{1}_{c_N}\otimes \sigma_a^N),\quad a=1,2.

Uses Definition II.1, Definition II.3

Theorem

Theorem III.1

AL55

Let \rho be any generic adapted state and let V be any unitary matrix such that V^{\dagger}\rho V is diagonal. Then,

V=CXP,

where C is the Clebsch–Gordan matrix defined as in Definition II.2, P is any permutation matrix and X=\mathrm{diag}(X^1,X^2,\ldots,X^N) with X^\alpha given by

X^\alpha=\left(\begin{array}{c|c|c|c} Q^\alpha_1\otimes r^{\alpha}_1&Q^\alpha_2\otimes r^{\alpha}_2&\cdots&Q^\alpha_{n_\alpha}\otimes r^{\alpha}_{n_\alpha} \end{array}\right),

for any set of c_\alpha\times c_\alpha unitary matrices \left\{Q^\alpha_j\right\}_{j=1}^{n_\alpha} , where \left\{r^\alpha_{j}\right\}_{j=1}^{n_\alpha} is a set of eigenvectors of the matrices \sigma^\alpha, \alpha=1,\ldots,N, given in eq. (\ref{eigen}).

Uses Definition II.3, Definition II.1, Definition II.2

Proof of Theorem III.1

It follows from (?) that

(\mathds{1}_{c_\alpha}\otimes \sigma^{\alpha})(z_j^p\otimes r^{\alpha}_j)=\lambda^\alpha_{j}z_j^p\otimes r^{\alpha}_j\,

for any choice of n_\alpha orthonormal bases \left\{z_j^p\right\}_{p=1}^{c_\alpha} , j=1,\ldots,n_\alpha. Recall that n_\alpha is the dimension of the invariant subspace \mathcal{H}^\alpha or, equivalently, the number of rows and columns of the Hermitian positive semidefinite matrices \sigma^\alpha. On the other hand, c_\alpha is the multiplicity of that subspace, i.e., the global multiplicity of the eigenvalues \lambda^\alpha_j in the total matrix \rho (see eq. (?)).

If we now construct unitary matrices:

Q^\alpha_j=\begin{pmatrix} |&| & &|\\ z^1_j&z^2_j&\cdots&z^{c_\alpha}_j\\ |&| & &| \end{pmatrix},

such that their columns are the orthonormal vectors of the basis \displaystyle{\left\{z_j^p\right\}_{p=1}^{c_\alpha}}, then the matrix

X^\alpha=\left(\begin{array}{c|c|c|c} \!\!Q^\alpha_1\otimes r^{\alpha}_1&Q^\alpha_2\otimes r^{\alpha}_2&\cdots&Q^\alpha_{n_\alpha}\otimes r^{\alpha}_{n_\alpha}\!\!\! \end{array}\right)

will diagonalize the matrix \mathds{1}_{c_\alpha}\otimes\sigma^\alpha with its eigenvalues sorted as follows:

{X^\alpha}^\dagger(\mathds{1}_{c_\alpha}\otimes\sigma^{\alpha})X^\alpha=\begin{pmatrix} \lambda_{1}^\alpha\mathds{1}_{c_\alpha} & & \\ & \hspace{-0.8cm}\lambda_{2}^\alpha\mathds{1}_{c_\alpha} & & & \\ & & \hspace{-0.6cm} \rotatebox{-47}{\makebox[0pt]{\makebox[1.4em]{\xleaders\hbox{$\cdot$\hskip.12em}\hfill\kern0pt}}} & & \hspace{0.2cm}\mbox{\Huge{0}}& \\ & & & \hspace{0.1cm} \rotatebox{-47}{\makebox[0pt]{\makebox[1.4em]{\xleaders\hbox{$\cdot$\hskip.12em}\hfill\kern0pt}}} & & \\ & \mbox{\Huge{0}} & & & \hspace{0.45cm} \rotatebox{-47}{\makebox[0pt]{\makebox[1.4em]{\xleaders\hbox{$\cdot$\hskip.12em}\hfill\kern0pt}}} & \\ & & & & & \hspace{-0.4cm}\lambda_{n_\alpha}^\alpha\mathds{1}_{c_\alpha} \end{pmatrix}=\Lambda^\alpha\,.

Therefore, in view of (?), the matrix X=\mathrm{diag}(X^1,X^2,\ldots,X^N) diagonalizes the matrix C^\dagger\rho C:

(CX)^\dagger\rho\,CX=\mathrm{diag}\left(\Lambda^1,\Lambda^2,\ldots,\Lambda^N\right),

and any permutation P of the columns of the matrix CX will still diagonalize \rho, which shows that any unitary matrix V diagonalizing \rho can be written as a product V=CXP.

\Box

Corollary

Corollary III.2

J3VO

Let \rho be any adapted state, let X be the associated block-diagonal matrix with blocks (\ref{def_X}), let P=\mathrm{diag}(P^{1},P^2,\ldots,P^{N}) with P^{\alpha}=\mathrm{diag}(P^\alpha_1,P^\alpha_2,\ldots,P^\alpha_{n_\alpha}),\ \alpha\in\{1,\ldots,N\}, where each P^{\alpha} is a c_{\alpha}n_{\alpha}\times c_{\alpha}n_{\alpha} permutation matrix and let V=CXP. Then, for any linear combination \tau={\displaystyle \sum_{h\in H}\alpha_h D(h)}, it is verified that

\hspace{0cm}V^\dagger \tau V=\left( \begin{array}{ccccc} \left.\begin{array}{|cccc|}\hline \phantom{a} & \phantom{a}& \phantom{a}& \phantom{a}\\ \phantom{a} & \phantom{a}& \phantom{a}& \phantom{a}\\\hline \end{array}\right\}c_1n_1 & & & &\\ &\hspace{-1.33cm} \left.\begin{array}{|ccccccc|}\hline \phantom{a}& \phantom{a} & \phantom{a} & \phantom{a}& \phantom{a}& \phantom{a}& \phantom{a}\\ \phantom{a}& \phantom{a}& \phantom{a}& \phantom{a}& \phantom{a}& \phantom{a}& \phantom{a} \\ \phantom{a}& \phantom{a} & \phantom{a} & \phantom{a}& \phantom{a}& \phantom{a}& \phantom{a} \\ \phantom{a}& \phantom{a} & \phantom{a} & \phantom{a}& \phantom{a}& \phantom{a}& \phantom{a}\\\hline \end{array}\right\} c_2n_2 & & &\\ & &\hspace{-1.8cm} \rotatebox{-46}{\makebox[0pt]{\makebox[1.6em]{\xleaders\hbox{$\cdot$\hskip.11em}\hfill\kern0pt}}} & &\\ & & &\hspace{-0.73cm} \rotatebox{-46}{\makebox[0pt]{\makebox[1.6em]{\xleaders\hbox{$\cdot$\hskip.11em}\hfill\kern0pt}}} &\\ & & & &\hspace{-1.6cm}c_Nn_N\left\{\begin{array}{|ccccc|}\hline \phantom{a} & \phantom{a}& \phantom{a}& \phantom{a}& \phantom{a}\\ \phantom{a} & \phantom{a}& \phantom{a}& \phantom{a}& \phantom{a}\\ \phantom{a} & \phantom{a}& \phantom{a}& \phantom{a}& \phantom{a}\\\hline \end{array}\right. \end{array} \right),\begin{array}{c} \hspace{-8.35cm}\vspace{6.8cm}\Sigma^1 \end{array} \phantom{a} \begin{array}{c} \hspace{-6.2cm}\vspace{2.3cm}\Sigma^2 \end{array} \phantom{a} \begin{array}{c} \hspace{-2.45cm}\vspace{-5.9cm}\Sigma^N \end{array}

where

\Sigma^\alpha=\begin{pmatrix} R_{11}^\alpha & \hspace{-0.2cm}R_{12}^\alpha& \rotatebox{0}{\makebox[0pt]{\makebox[1.4em]{\xleaders\hbox{$\cdot$\hskip.12em}\hfill\kern0pt}}} & \rotatebox{0}{\makebox[0pt]{\makebox[1.4em]{\xleaders\hbox{$\cdot$\hskip.12em}\hfill\kern0pt}}} & R_{1n_\alpha}^\alpha \\ R_{21}^\alpha &\hspace{-0.2cm} R_{22}^\alpha& \rotatebox{0}{\makebox[0pt]{\makebox[1.4em]{\xleaders\hbox{$\cdot$\hskip.12em}\hfill\kern0pt}}} & \rotatebox{0}{\makebox[0pt]{\makebox[1.4em]{\xleaders\hbox{$\cdot$\hskip.12em}\hfill\kern0pt}}} &R_{2n_\alpha}^\alpha\\ \hspace{0.1cm} \rotatebox{90}{\makebox[0pt]{\makebox[1.2em]{\xleaders\hbox{$\cdot$\hskip.12em}\hfill\kern0pt}}} & \hspace{-0.2cm} \rotatebox{90}{\makebox[0pt]{\makebox[1.2em]{\xleaders\hbox{$\cdot$\hskip.12em}\hfill\kern0pt}}} &\hspace{-0.9cm} \rotatebox{-43}{\makebox[0pt]{\makebox[1.6em]{\xleaders\hbox{$\cdot$\hskip.11em}\hfill\kern0pt}}} & &\hspace{-0.15cm} \rotatebox{90}{\makebox[0pt]{\makebox[1.2em]{\xleaders\hbox{$\cdot$\hskip.12em}\hfill\kern0pt}}} \\ \hspace{0.1cm} \rotatebox{90}{\makebox[0pt]{\makebox[1.2em]{\xleaders\hbox{$\cdot$\hskip.12em}\hfill\kern0pt}}} & \hspace{-0.2cm} \rotatebox{90}{\makebox[0pt]{\makebox[1.2em]{\xleaders\hbox{$\cdot$\hskip.12em}\hfill\kern0pt}}} &\hspace{0.65cm} \rotatebox{-43}{\makebox[0pt]{\makebox[1.6em]{\xleaders\hbox{$\cdot$\hskip.11em}\hfill\kern0pt}}} & &\hspace{-0.15cm} \rotatebox{90}{\makebox[0pt]{\makebox[1.2em]{\xleaders\hbox{$\cdot$\hskip.12em}\hfill\kern0pt}}} \\ \vspace{0.1cm}\hspace{0.1cm} \rotatebox{90}{\makebox[0pt]{\makebox[0.85em]{\xleaders\hbox{$\cdot$\hskip.1em}\hfill\kern0pt}}} & \hspace{-0.2cm} \rotatebox{90}{\makebox[0pt]{\makebox[0.85em]{\xleaders\hbox{$\cdot$\hskip.1em}\hfill\kern0pt}}} & &\hspace{0.47cm} \rotatebox{-43}{\makebox[0pt]{\makebox[1.6em]{\xleaders\hbox{$\cdot$\hskip.11em}\hfill\kern0pt}}} & \hspace{-0.15cm} \rotatebox{90}{\makebox[0pt]{\makebox[0.85em]{\xleaders\hbox{$\cdot$\hskip.10em}\hfill\kern0pt}}} \\ R_{n_\alpha 1}^\alpha& \hspace{-0.2cm}R_{n_\alpha 2}^\alpha& \rotatebox{0}{\makebox[0pt]{\makebox[1.4em]{\xleaders\hbox{$\cdot$\hskip.12em}\hfill\kern0pt}}} & \rotatebox{0}{\makebox[0pt]{\makebox[1.4em]{\xleaders\hbox{$\cdot$\hskip.12em}\hfill\kern0pt}}} &R_{n_\alpha n_\alpha}^\alpha \end{pmatrix},

with R_{ij}^\alpha square matrices of size c_\alpha defined as:

R_{ij}^\alpha=s_{ij}^\alpha {(Q_i^\alpha P_i^\alpha)}^\dagger Q_j^\alpha P_j^\alpha\qquad\mbox{for}\qquad s_{ij}^\alpha={r^{\alpha}_i}^\dagger\tau^{\alpha} r^{\alpha}_j\,,

where \tau^\alpha, \alpha=1,\ldots,N, are the matrices on the block diagonal of \tau after being transformed by C, i.e., those matrices such that C^\dagger\tau C=\mathrm{diag}\big(\mathds{1}_{c_1}\otimes\tau^1,\mathds{1}_{c_2}\otimes\tau^2,\ldots,\mathds{1}_{c_N}\otimes\tau^N\big) .

Uses Definition II.1

Proof of Corollary III.2

We just transform \tau with V:

V^\dagger\tau V=\begin{pmatrix} \big(X^1 P^1\big)^\dagger(\mathds{1}_{c_1}\otimes\tau^1)X^1 P^1& & \\ & \hspace{-2.4cm}\big(X^2 P^2\big)^\dagger(\mathds{1}_{c_2}\otimes\tau^2)X^2 P^2& & & \\ & & \hspace{-1.85cm} \rotatebox{-33}{\makebox[0pt]{\makebox[1.6em]{\xleaders\hbox{$\cdot$\hskip.12em}\hfill\kern0pt}}} & & \hspace{2cm}\mbox{\Huge{0}}& \\ & & & \hspace{-0.cm} \rotatebox{-33}{\makebox[0pt]{\makebox[1.6em]{\xleaders\hbox{$\cdot$\hskip.12em}\hfill\kern0pt}}} & & \\ & \hspace{-2.8cm}\mbox{\Huge{0}} & & & \hspace{-0.27cm} \rotatebox{-33}{\makebox[0pt]{\makebox[1.6em]{\xleaders\hbox{$\cdot$\hskip.12em}\hfill\kern0pt}}} & \\ & & & & & \hspace{-3.5cm}\big(X^NP^N\big)^\dagger(\mathds{1}_{c_N}\otimes\tau^N)X^NP^N \end{pmatrix}.

Hence, the matrices \Sigma^{\alpha} in the statement are \displaystyle{\Sigma^\alpha=\big(X^\alpha P^{\alpha}\big)^\dagger(\mathds{1}_{c_1}\otimes\tau^\alpha)X^\alpha P^{\alpha}}. Finally, if we substitute in \displaystyle{\Sigma^\alpha} the definition of \displaystyle{X^\alpha} in eq. (?) and use the property (A\otimes B)(C\otimes D)=AC\otimes BD of the Kronecker product for matrices A,B,C,D such that the products AC and BD are feasible , we get:

\displaystyle{R_{ij}^\alpha=s_{ij}^\alpha {P_i^\alpha}^\dagger{Q_i^\alpha}^\dagger Q_j^\alpha P_j^\alpha} \qquad \mbox{\rm with} \qquad \displaystyle{s_{ij}^\alpha={r^{\alpha}_i}^\dagger\tau^{\alpha} r^{\alpha}_j}.

\Box

Uses Proof

Corollary

Corollary III.3

3F80

Let \rho,\tau, V and \Sigma^{\alpha},\ \alpha\in\{1,\ldots,N\}, be as in Corollary III.2. Let

\widetilde{R}^{\alpha}_{ij}=\frac{R^{\alpha}_{ij}}{\|R^{\alpha}_{ij}\|}\,

for any matrix R_{ij}^\alpha\not=0 and set

\widetilde{R}^\alpha_{k_\alpha}=\mathrm{diag}\left(\widetilde{R}^{\alpha}_{1{k_\alpha}},\widetilde{R}^{\alpha}_{2{k_\alpha}},\ldots,\widetilde{R}^{\alpha}_{n_{\alpha}{k_\alpha}}\right)

for any fixed k_\alpha\in\{1,\ldots,n_{\alpha}\}. If \,\Xi^{\alpha},\ \alpha\in\{1,\ldots,N\}, are the diagonal blocks of V^{\dagger} \kappa V for some other {\displaystyle \kappa=\sum_{h\in H}\beta_h D(h)}, then:

\widetilde{R}^\alpha_{k_\alpha}\hspace{-0.44cm}\phantom{A}^\dagger\,\Xi^\alpha \widetilde{R}^\alpha_{k_\alpha}=\widetilde{S}_{k_\alpha}^\alpha\otimes\mathds{1}_{c_\alpha}= \begin{pmatrix} \tilde{s}_{{k_\alpha}11}^\alpha \mathds{1}_{c_\alpha} & \hspace{-0.2cm} \tilde{s}_{{k_\alpha}12}^\alpha \mathds{1}_{c_\alpha}& \rotatebox{0}{\makebox[0pt]{\makebox[1.4em]{\xleaders\hbox{$\cdot$\hskip.12em}\hfill\kern0pt}}} & \rotatebox{0}{\makebox[0pt]{\makebox[1.4em]{\xleaders\hbox{$\cdot$\hskip.12em}\hfill\kern0pt}}} & \tilde{s}_{{k_\alpha}1n_\alpha}^\alpha \mathds{1}_{c_\alpha} \\ \tilde{s}_{{k_\alpha}21}^\alpha \mathds{1}_{c_\alpha} &\hspace{-0.2cm} \tilde{s}_{{k_\alpha}22}^\alpha \mathds{1}_{c_\alpha}& \rotatebox{0}{\makebox[0pt]{\makebox[1.4em]{\xleaders\hbox{$\cdot$\hskip.12em}\hfill\kern0pt}}} & \rotatebox{0}{\makebox[0pt]{\makebox[1.4em]{\xleaders\hbox{$\cdot$\hskip.12em}\hfill\kern0pt}}} & \tilde{s}_{{k_\alpha}2n_\alpha}^\alpha \mathds{1}_{c_\alpha}\\ \hspace{-0.1cm} \rotatebox{90}{\makebox[0pt]{\makebox[1.2em]{\xleaders\hbox{$\cdot$\hskip.12em}\hfill\kern0pt}}} & \hspace{-0.5cm} \rotatebox{90}{\makebox[0pt]{\makebox[1.2em]{\xleaders\hbox{$\cdot$\hskip.12em}\hfill\kern0pt}}} &\hspace{-1.4cm} \rotatebox{-30}{\makebox[0pt]{\makebox[1.6em]{\xleaders\hbox{$\cdot$\hskip.12em}\hfill\kern0pt}}} & &\hspace{-0.4cm} \rotatebox{90}{\makebox[0pt]{\makebox[1.2em]{\xleaders\hbox{$\cdot$\hskip.12em}\hfill\kern0pt}}} \\ \hspace{-0.1cm} \rotatebox{90}{\makebox[0pt]{\makebox[1.2em]{\xleaders\hbox{$\cdot$\hskip.12em}\hfill\kern0pt}}} & \hspace{-0.5cm} \rotatebox{90}{\makebox[0pt]{\makebox[1.2em]{\xleaders\hbox{$\cdot$\hskip.12em}\hfill\kern0pt}}} &\hspace{1.1cm} \rotatebox{-30}{\makebox[0pt]{\makebox[1.6em]{\xleaders\hbox{$\cdot$\hskip.12em}\hfill\kern0pt}}} & &\hspace{-0.4cm} \rotatebox{90}{\makebox[0pt]{\makebox[1.2em]{\xleaders\hbox{$\cdot$\hskip.12em}\hfill\kern0pt}}} \\ \hspace{-0.1cm} \rotatebox{90}{\makebox[0pt]{\makebox[1.2em]{\xleaders\hbox{$\cdot$\hskip.12em}\hfill\kern0pt}}} & \hspace{-0.5cm} \rotatebox{90}{\makebox[0pt]{\makebox[1.2em]{\xleaders\hbox{$\cdot$\hskip.12em}\hfill\kern0pt}}} & &\hspace{1cm} \rotatebox{-30}{\makebox[0pt]{\makebox[1.6em]{\xleaders\hbox{$\cdot$\hskip.12em}\hfill\kern0pt}}} & \hspace{-0.4cm} \rotatebox{90}{\makebox[0pt]{\makebox[1.2em]{\xleaders\hbox{$\cdot$\hskip.12em}\hfill\kern0pt}}} \\ \tilde{s}_{{k_\alpha}n_\alpha 1}^\alpha \mathds{1}_{c_\alpha}& \hspace{-0.2cm} \tilde{s}_{{k_\alpha}n_\alpha 2}^\alpha \mathds{1}_{c_\alpha}& \rotatebox{0}{\makebox[0pt]{\makebox[1.4em]{\xleaders\hbox{$\cdot$\hskip.12em}\hfill\kern0pt}}} & \rotatebox{0}{\makebox[0pt]{\makebox[1.4em]{\xleaders\hbox{$\cdot$\hskip.12em}\hfill\kern0pt}}} & \tilde{s}_{{k_\alpha}n_\alpha n_\alpha}^\alpha \mathds{1}_{c_\alpha} \end{pmatrix}.

Proof of Corollary III.3

If we write

\Xi^\alpha =\begin{pmatrix} T_{11}^\alpha & \hspace{-0.3cm}T_{12}^\alpha& \rotatebox{0}{\makebox[0pt]{\makebox[1.4em]{\xleaders\hbox{$\cdot$\hskip.12em}\hfill\kern0pt}}} & \rotatebox{0}{\makebox[0pt]{\makebox[1.4em]{\xleaders\hbox{$\cdot$\hskip.12em}\hfill\kern0pt}}} & T_{1n_\alpha}^\alpha \\ T_{21}^\alpha &\hspace{-0.2cm} T_{22}^\alpha& \rotatebox{0}{\makebox[0pt]{\makebox[1.4em]{\xleaders\hbox{$\cdot$\hskip.12em}\hfill\kern0pt}}} & \rotatebox{0}{\makebox[0pt]{\makebox[1.4em]{\xleaders\hbox{$\cdot$\hskip.12em}\hfill\kern0pt}}} &T_{2n_\alpha}^\alpha\\ \hspace{-0.1cm} \rotatebox{90}{\makebox[0pt]{\makebox[1.2em]{\xleaders\hbox{$\cdot$\hskip.12em}\hfill\kern0pt}}} & \hspace{-0.5cm} \rotatebox{90}{\makebox[0pt]{\makebox[1.2em]{\xleaders\hbox{$\cdot$\hskip.12em}\hfill\kern0pt}}} &\hspace{-0.8cm} \rotatebox{-40}{\makebox[0pt]{\makebox[1.6em]{\xleaders\hbox{$\cdot$\hskip.11em}\hfill\kern0pt}}} & &\hspace{-0.4cm} \rotatebox{90}{\makebox[0pt]{\makebox[1.2em]{\xleaders\hbox{$\cdot$\hskip.12em}\hfill\kern0pt}}} \\ \hspace{-0.1cm} \rotatebox{90}{\makebox[0pt]{\makebox[1.2em]{\xleaders\hbox{$\cdot$\hskip.12em}\hfill\kern0pt}}} & \hspace{-0.5cm} \rotatebox{90}{\makebox[0pt]{\makebox[1.2em]{\xleaders\hbox{$\cdot$\hskip.12em}\hfill\kern0pt}}} &\hspace{0.85cm} \rotatebox{-40}{\makebox[0pt]{\makebox[1.6em]{\xleaders\hbox{$\cdot$\hskip.11em}\hfill\kern0pt}}} & &\hspace{-0.4cm} \rotatebox{90}{\makebox[0pt]{\makebox[1.2em]{\xleaders\hbox{$\cdot$\hskip.12em}\hfill\kern0pt}}} \\ \vspace{0.1cm}\hspace{-0.2cm} \rotatebox{90}{\makebox[0pt]{\makebox[0.85em]{\xleaders\hbox{$\cdot$\hskip.1em}\hfill\kern0pt}}} & \hspace{-0.5cm} \rotatebox{90}{\makebox[0pt]{\makebox[0.85em]{\xleaders\hbox{$\cdot$\hskip.1em}\hfill\kern0pt}}} & &\hspace{0.55cm} \rotatebox{-40}{\makebox[0pt]{\makebox[1.6em]{\xleaders\hbox{$\cdot$\hskip.11em}\hfill\kern0pt}}} & \hspace{-0.4cm} \rotatebox{90}{\makebox[0pt]{\makebox[0.85em]{\xleaders\hbox{$\cdot$\hskip.10em}\hfill\kern0pt}}} \\ T_{n_\alpha 1}^\alpha& \hspace{-0.2cm}T_{n_\alpha 2}^\alpha& \rotatebox{0}{\makebox[0pt]{\makebox[1.4em]{\xleaders\hbox{$\cdot$\hskip.12em}\hfill\kern0pt}}} & \rotatebox{0}{\makebox[0pt]{\makebox[1.4em]{\xleaders\hbox{$\cdot$\hskip.12em}\hfill\kern0pt}}} &T_{n_\alpha n_\alpha}^\alpha \end{pmatrix},

where T_{ij}^{\alpha}=t_{ij}^{\alpha}{(Q_i^{\alpha}P_i^\alpha)}^{\dagger}Q_j^{\alpha}P_j^\alpha, then one can easily check that

\widetilde{R}_{i{k_\alpha}}^{\alpha \dagger}T_{ij}^{\alpha}\widetilde{R}_{j{k_\alpha}}^{\alpha}= \frac{\overline{s_{i{k_\alpha}}^{\alpha}}}{|s_{i{k_\alpha}}^{\alpha}|}\,t_{ij}^{\alpha}\,\frac{s_{j{k_\alpha}}^{\alpha}}{|s_{j{k_\alpha}}^{\alpha}|}\mathds{1}_{c_{\alpha}}=\tilde{s}_{{k_\alpha}ij}^{\alpha}\mathds{1}_{c_{\alpha}}\quad\mbox{\rm and}\quad\widetilde{S}_{k_\alpha}^\alpha=(\tilde{s}_{{k_\alpha}ij}^{\alpha})_{i,j=1}^{n_\alpha}.

\Box

Lemma

Lemma III.4

FFVZ

Given two matrices A and B of arbitrary sizes, there exist two permutation matrices P and F, which only depend on the dimensions of the matrices A and B, such that

B\otimes A=P(A\otimes B)F\,.

In the case in which A and B are square matrices of sizes n and c respectively, the permutation matrices are related by P=F^\dagger where

F=\left(\begin{array}{c|c|c|c|c} f &h f & h^2f &\cdots&h^{c-1}f\end{array}\right),

and h and f are the following matrices of dimensions cn\times cn and cn\times n respectively:

h=\begin{pmatrix} 0 &\hspace{-0.2cm}1 & \\ & \hspace{-0.2cm}0 & \hspace{0.1cm} \rotatebox{-50}{\makebox[0pt]{\makebox[1.5em]{\xleaders\hbox{$\cdot$\hskip.11em}\hfill\kern0pt}}} & & \\ & & \hspace{0.1cm} \rotatebox{-50}{\makebox[0pt]{\makebox[1.5em]{\xleaders\hbox{$\cdot$\hskip.11em}\hfill\kern0pt}}} & \hspace{0.3cm} \rotatebox{-50}{\makebox[0pt]{\makebox[1.5em]{\xleaders\hbox{$\cdot$\hskip.11em}\hfill\kern0pt}}} & \hspace{0.8cm}\mbox{\Huge{$0$}}& \\ & & & \hspace{0.25cm} \rotatebox{-50}{\makebox[0pt]{\makebox[1.5em]{\xleaders\hbox{$\cdot$\hskip.11em}\hfill\kern0pt}}} & \hspace{-0.5cm} \rotatebox{-50}{\makebox[0pt]{\makebox[1.5em]{\xleaders\hbox{$\cdot$\hskip.11em}\hfill\kern0pt}}} & \\ & \mbox{\Huge{$0$}} & & &\hspace{-0.4cm} \rotatebox{-50}{\makebox[0pt]{\makebox[1.5em]{\xleaders\hbox{$\cdot$\hskip.11em}\hfill\kern0pt}}} &\hspace{-0.8cm}1 \\ & & & & & \hspace{-0.8cm}0 \end{pmatrix}\,,\quad\qquad f=\left(\begin{array}{c|c} 1&\begin{array}{c} \vspace{-0.3cm}\\ \Large{\text{$0$}}_{1\times(n-1)}\\ \vspace{-0.4cm} \end{array}\\\hline \begin{array}{c} \vspace{0.2cm}\\ \Large{\text{$0$}}_{(cn-1)\times 1} \end{array}&\hspace{-0.12cm}\begin{array}{c} \vspace{-0.3cm}\\ \hspace{0.2cm}\mathds{1}_{(n-1)}\otimes\left(\begin{array}{c} 0\\ \vdots\\ 0\\ 1 \end{array}\right)_{c\times 1} \vspace{0.1cm}\\\hline \end{array}\\ &\begin{array}{c} \vspace{-0.3cm}\\ \huge{\text{$0$}}_{(c-1)\times (n-1)} \end{array} \end{array}\right)\,.

Source and licence

The text on this page is from arXiv:1610.01054v2 by Alberto Ibort, Alberto López-Yela and Julio Moro, under the licence CC BY 4.0. The corpus made these changes: it read the items out of the LaTeX source, it expanded the macros of the paper, it put each proof after its statement, and it converted the text to HTML. The formulas are the TeX of the paper, and KaTeX renders them. A formula or a reference can look different from the PDF. The page is published under CC BY 4.0.

The record of each item is in analysis/objects/1610/1610.01054.jsonl.