---
title: Kronecker Power Matrices
url: https://www.emergentmind.com/topics/kronecker-power-matrices
type: topic
---

# Kronecker Power Matrices

Kronecker power matrices are matrices of the form
\[
A^{\otimes k}=\underbrace{A\otimes A\otimes\cdots\otimes A}_{k\ \text{times}},
\]
obtained by repeated Kronecker product of a fixed matrix \(A\). In the literature summarized here, they appear both as an explicit object of study and as a special case of broader Kronecker-product constructions. The recurring themes are recursive self-similarity, exact factorization, preservation or transformation of structural invariants under repeated tensoring, and the use of Kronecker powers as a scalable mechanism in coding theory, linear-circuit complexity, structured matrix analysis, and representation theory [1108.3417], [2211.05217], [2103.14195].

## 1. Definition and algebraic setting

For matrices \(A_1,\dots,A_N\), associativity of the Kronecker product allows the iterated construction
\[
A_1\otimes A_2\otimes\cdots\otimes A_N,
\]
and in particular the repeated self-product
\[
A^{\otimes N}=\underbrace{A\otimes A\otimes\cdots\otimes A}_{N\text{ times}}.
\]
This repeated construction is explicit in the analysis of polarizing matrices, low-depth linear circuits, and exact binary factorization frameworks [1108.3417], [2211.05217], [2510.25292].

Several papers place Kronecker powers within a larger algebraic environment rather than treating them as an isolated class. One such environment is the distinction between Kronecker products and Kronecker sums. For example,
\[
A\oplus B=A\otimes I_2+I_2\otimes B
\]
and, more generally, the \(k\)-fold Kronecker sum
\[
A^{\oplus k} = A\otimes I_n\otimes\cdots\otimes I_n +I_n\otimes A\otimes\cdots\otimes I_n +\cdots +I_n\otimes\cdots\otimes I_n\otimes A
\]
appear in work on Lorentz-group representations, matrix compounds, and matrix-function decay [2110.15118], [2401.02100], [1501.07376]. This distinction is central: some papers directly analyze \(A^{\otimes k}\), whereas others analyze repeated Kronecker-sum structures and note only indirect relevance to “Kronecker power matrices” [2110.15118], [1501.07376].

The literature also emphasizes rearrangement and commutation phenomena. Shuffling matrices provide permutation operators that reorder factors in iterated Kronecker products. In the square case,
\[
L(A_0\otimes A_1\otimes\cdots\otimes A_{m-1})L^{-1}
=
A_{\sigma^{-1}(0)}\otimes A_{\sigma^{-1}(1)}\otimes\cdots\otimes A_{\sigma^{-1}(m-1)},
\]
and in the homogeneous case \(n_1=\cdots=n_m=n\), the shuffling action yields an embedding
\[
K_{n,\dots,n}\cong Sym(m).
\]
For Kronecker powers, this means that when all factors are equal, coordinate permutations can be implemented by a structured permutation group acting on \(n^m\) points [1605.09635].

A useful interpretive point follows from these sources. Kronecker power matrices are not merely larger copies of a base matrix; they are recursively structured tensor objects whose indexing, symmetry, and factor order can often be manipulated by exact algebraic operations. This suggests why they recur in areas where recursive scaling is essential.

## 2. Exact factorization, decomposition, and recognition

A major line of work studies when a matrix is exactly a Kronecker product and how repeated factorizations reveal a Kronecker power structure. For a nonzero \(mp\times nq\) matrix \(A\), partitioned into \(m\times n\) blocks of size \(p\times q\), the criterion
\[
\rank\!\big(\operatorname{vec}_{p\times q}(A)\big)=1
\]
is necessary and sufficient for the existence of matrices \(B\) and \(C\) such that
\[
A=B\otimes C.
\]
Here \(\operatorname{vec}_{p\times q}(A)\) is the block vec matrix, and the key identity is
\[
\operatorname{vec}_{p\times q}(B\otimes C)=\operatorname{vec}(B)\operatorname{vec}(C)^T.
\]
Thus a Kronecker product becomes an outer product after rearrangement, so the rearranged matrix has rank \(1\) [1310.8149].

The square-root problem specializes this factorization criterion to the second Kronecker power. If \(A\) is an \(m^2\times n^2\) matrix, then
\[
A=B\otimes B
\quad\Longleftrightarrow\quad
\operatorname{vec}_{m\times n}(A)=\operatorname{vec}(B)\operatorname{vec}(B)^T.
\]
A necessary condition is that \(\operatorname{vec}_{m\times n}(A)\) be symmetric and rank one, and this condition is sufficient over \(\mathbb C\). Over \(\mathbb R\), the additional condition
\[
\operatorname{tr}\big(\operatorname{vec}_{m\times n}(A)\big)>0
\]
characterizes the existence of a real Kronecker square root. The square root is unique up to sign [1310.8149]. A direct implication stated in the same work is that higher Kronecker powers can be tested recursively: one may first test whether a matrix is a Kronecker square, then test whether the extracted factor is itself a Kronecker square, and so on.

For binary matrices, exact factorization can be characterized directly from sparsity patterns. A binary matrix \(A\in\mathbb B^{n\times n}\) is decomposable if
\[
A=\bigotimes_{i=1}^{\ell}A_i,
\]
with \(\ell>1\), each factor square, and each factor size \(>1\). For fixed sizes \((n_1,\dots,n_\ell)\), the factorization of \(A\neq 0\) is unique. A length-2 factorization with dimensions \((n_1,n_2)\) exists if and only if the support-derived set \(S\) satisfies
\[
S=S_1\times S_2.
\]
Equivalently, the rearranged matrix \(\mathcal R(A)\) has rank \(1\). In the specific case \(A=B^{\otimes k}\), the support set should recursively exhibit this Cartesian-product structure at every level [2510.25292].

The same framework explains how repeated self-similarity builds longer decompositions. The paper proves that compatible length-2 factorizations can be stitched into longer chains, and interprets the result through a decomposition graph whose paths encode factorization branches. In that language, a Kronecker power matrix is a particularly structured decomposable matrix whose repeated factorization manifests as a branchable path in the decomposition graph [2510.25292].

These results collectively establish two complementary viewpoints. One viewpoint is algebraic: rearrangement plus rank-one structure detects exact Kronecker factorization. The other is combinatorial: sparsity pattern plus recursive Cartesian-product structure detects self-similar tensor decomposition. Together they form the basic recognition theory for Kronecker power matrices.

## 3. Coding-theoretic invariants and polarizing matrices

In coding theory, Kronecker powers appear as the scaling mechanism for polarizing matrices. A binary \(l\times l\) matrix
\[
G=[\mathbf{g}_1^T,\mathbf{g}_2^T,\ldots,\mathbf{g}_l^T]^T
\]
is treated as a polarizing matrix, and its polarization behavior is quantified through the partial distances
\[
D_{G,i}\triangleq d\!\left(\mathbf{g}_i,\langle \mathbf{g}_{i+1},\ldots,\mathbf{g}_l\rangle\right),\qquad i=1,\ldots,l-1,
\]
and
\[
D_{G,l}\triangleq d(\mathbf{g}_l,\mathbf{0}).
\]
The associated exponent is
\[
E(G)=\frac{1}{l}\sum_{i=1}^{l}\log_l D_{G,i}.
\]
This exponent determines the asymptotic speed of channel polarization under successive cancellation decoding [1108.3417].

For a Kronecker product \(A\otimes B\), the partial distances factor exactly:
\[
D_{A\otimes B,\,(i-1)l_2+j}=D_{A,i}\cdot D_{B,j}, \qquad 1\le i\le l_1,\;1\le j\le l_2.
\]
The paper extends this recursively to arbitrary products
\[
D_{A_1\otimes\cdots\otimes A_N,k} = D_{A_1,i_1}D_{A_2,i_2}\cdots D_{A_N,i_N}.
\]
The exponent correspondingly becomes a weighted sum of component exponents:
\[
E(A \otimes B)= \frac{E(A)}{\log_{l_1}(l_1l_2)}+ \frac{E(B)}{\log_{l_2}(l_1l_2)},
\]
and more generally
\[
E(A_1\otimes\cdots\otimes A_N) = \sum_{i=1}^{N}\frac{E(A_i)}{\log_{l_i}(l_1l_2\cdots l_N)}.
\]
These identities make large Kronecker constructions analytically transparent [1108.3417].

The repeated-power case is especially striking:
\[
E(A^{\otimes N})=E(A).
\]
Hence Kronecker powering does not improve or degrade the exponent. The large matrix \(A^{\otimes N}\) retains exactly the same polarization exponent as the base matrix \(A\) [1108.3417]. The design principle stated in the paper is therefore to choose component matrices with high exponent, combine them via Kronecker products, and predict performance from the closed forms for partial distances and exponents.

This coding-theoretic perspective provides one of the clearest examples of why Kronecker powers matter: they scale blocklength while preserving a core asymptotic invariant. A plausible implication is that, in this setting, the value of Kronecker powering lies less in changing the qualitative polarization rate than in enabling analytically controlled length growth.

## 4. Circuit complexity and coverings of Kronecker powers

Another major research direction studies the complexity of computing transformations defined by Kronecker powers. For a fixed \(q\times q\) matrix \(M\), the matrix \(M^{\otimes n}\) has size \(N\times N\) with \(N=q^n\). A standard argument gives a depth-2 circuit of size \(O(N^{1.5})\), and depth-\(d\) size about \(O(d\,N^{1+1/d})\). The paper “Smaller Low-Depth Circuits for Kronecker Powers” improves this for all fixed base matrices [2211.05217].

Its universal theorem states that for every integer \(q\ge 2\), there exists
\[
a_q = \Omega\!\left(\frac{1}{q^2\log q}\right)>0
\]
such that for any field and any \(q\times q\) matrix \(M\),
\[
M^{\otimes n}\text{ has a depth-2 synchronous circuit of size } O(N^{1.5-a_q}), \qquad N=q^n.
\]
The same paper gives sharper bounds in notable special cases:
\[
M^{\otimes n}\text{ has a depth-2 synchronous circuit of size }O(N^{1.446})
\]
for any \(2\times 2\) matrix \(M\),
\[
H_n \text{ has a depth-2 synchronous circuit of size } O(N^{1.443})
\]
for the Walsh-Hadamard transform \(H_n=H_1^{\otimes n}\), and
\[
R_n \text{ has a depth-2 synchronous circuit of size } O(N^{1.258})
\]
for the disjointness matrix \(R_n=R_1^{\otimes n}\) [2211.05217].

The technical novelty is an imbalance-aware conversion from a circuit for \(M\) to a circuit for \(M^{\otimes n}\). Rather than balancing a decomposition of \(M\), the construction exploits imbalanced decompositions and switches between soft-balancing and hard-balancing updates while analyzing the resulting size through a random walk [2211.05217]. The paper explicitly states that the new bounds provably could not be achieved using the approaches of prior work.

A related but distinct line of work studies coverings of boolean Kronecker powers. For a symmetric boolean matrix \(A\), one considers coverings by rectangles and asks whether
\[
L_2(A^{\otimes n})\preceq \sigma^{n+o(n)}(A)
\]
or analogous bounds from a chosen covering. The main synthesis theorem in the symmetric case gives, under an explicit condition involving a compact covering \(F\), a compact one-sided covering \(G\), and the parameters \(\sigma(F)\), \(\sigma(G)\), \(\lambda_F\), and \(\mu_G\),
\[
L_2(A^{\otimes n}) \preceq N^{\log_r \sigma(F)}.
\]
Applied to the Kneser–Sierpinski matrices
\[
D_N = D_2^{\otimes n},\qquad D_2=\begin{bmatrix}1&1\\[2pt]1&0\end{bmatrix},
\]
this yields
\[
SUM_2(D_N)=O(N^{1.251}),
\]
improving the previously known \(O(N^{1.258})\)-type bound [2212.01776].

These complexity results show that Kronecker powers are not only algebraically recursive but also algorithmically nontrivial. Their recursive structure can be leveraged to improve circuit size and covering complexity, but only when the imbalance produced by repeated tensoring is controlled with sufficient precision.

## 5. Representation theory and harmonic Kronecker powers

Kronecker powers also arise in a representation-theoretic setting, where the object is no longer a matrix over a numerical field but the \(k\)-fold tensor power of a module. The paper on harmonics of \(S_n\) studies the decomposition of
\[
\mathbf H_n^{\otimes k},
\]
the \(k\)-fold tensor power of the harmonic or coinvariant module of the symmetric group [2103.14195].

The starting point is the harmonic module
\[
\mathbf H_n=\mathbb C[x_1,\dots,x_n]/(p_1,\dots,p_n),
\]
with \(p_i=x_1^i+\cdots+x_n^i\). Using Chevalley’s theorem,
\[
\mathbb C[x_1,\dots,x_n]\cong \mathbf H_n\otimes I_n,
\]
and therefore
\[
\mathbb C[x_1,\dots,x_n]^{\otimes k}\cong \mathbf H_n^{\otimes k}\otimes I_n^{\otimes k}.
\]
This reduces the decomposition problem for \(\mathbf H_n^{\otimes k}\) to the \(S_n\)-character of a polynomial ring with \(k\) sets of variables [2103.14195].

The Frobenius characteristic of \(\mathbb C[X_n^k]\) is expressed as
\[
R_{n,k}
=
h_n\!\left[\frac{X}{(1-q_1)\cdots(1-q_k)}\right]
=
\sum_{\lambda\vdash n} s_\lambda\!\left[\frac{1}{(1-q_1)\cdots(1-q_k)}\right]s_\lambda[X].
\]
After specializing \(q_1=\cdots=q_k=q\), the multiplicity formula becomes
\[
\langle \mathcal F\,\mathbf H_n^{\otimes k}, s_\lambda\rangle =(q;q)_n^k\, s_\lambda\!\left[\frac{1}{(1-q)^k}\right].
\]
The paper then derives explicit combinatorial formulas using a generalized \(\comaj\) statistic on permutations and tableaux. Its main theorem states that for every partition \(\lambda\vdash n\),
\[
\langle \mathcal F\,\mathbf H_n^{\otimes k}, s_\lambda\rangle
=
\sum_{T\in \SYT(\lambda)} \sum_{\vec\sigma\in S_n^{\times(k-1)}}
q^{\comaj_T(\vec\sigma,\epsilon)}.
\]
This gives an explicit decomposition of arbitrary Kronecker powers of harmonics [2103.14195].

This body of work broadens the meaning of “Kronecker power matrices.” In linear algebra and coding theory, the object is a repeated tensor power of a fixed matrix. In this representation-theoretic context, the same repeated-tensor idea governs the decomposition of modules and characters. The common structural feature is the same: repeated self-tensoring creates a recursively scalable object whose decomposition can still be described explicitly.

## 6. Related constructions, extensions, and common distinctions

Several papers are relevant to Kronecker power matrices precisely because they clarify what is adjacent to, but not identical with, repeated self-Kronecker products.

One example is the Lorentz-group spinor map. The paper on \(SL(2,\mathbb C)\) and the restricted Lorentz group derives the formula
\[
\Lambda_L=A^\dagger(L^*\otimes L)A
\]
for the induced \(4\times 4\) Lorentz transformation. The derivation uses vectorization, the identity
\[
\mathrm{Vect}(Y)=(L^*\otimes L)\,\mathrm{Vect}(X),
\]
and the Kronecker sum identity
\[
e^A\otimes e^B=e^{A\oplus B}.
\]
However, the paper explicitly does not discuss repeated Kronecker products or tensor powers such as
\[
A^{\otimes n}=A\otimes A\otimes \cdots \otimes A.
\]
Its Kronecker usage is always of the form \(L^*\otimes L\), \(A\otimes B\), or \(A\oplus B\) [2110.15118]. This distinction is important because it separates single-product representation-theoretic constructions from true Kronecker powers.

A second adjacent line is the theory of matrix compounds. The paper on multiplicative and additive compounds shows that compounds can be written as projections of Kronecker powers and Kronecker sums:
\[
A^{(k)} = L_{n,k}\, A^{\otimes k}\, M_{m,k},
\qquad
A^{[k]} = L_{n,k}\, A^{\oplus k}\, M_{n,k}.
\]
The identities
\[
A^{\otimes k}M_{m,k}=M_{n,k}A^{(k)}
\qquad\text{and}\qquad
A^{\oplus k}M_{n,k}=M_{n,k}A^{[k]}
\]
show that repeated Kronecker constructions act as an ambient space from which compound matrices are extracted [2401.02100]. In this sense, Kronecker powers are not always the final object of interest; they may instead be a computational or conceptual lift.

A third adjacent line concerns structured covariance estimation. In the matrix normal model
\[
Y_i \sim \mathcal{N}(0,\Sigma_2\otimes\Sigma_1),
\]
the covariance of \(\mathrm{vec}(Y_i)\) has Kronecker form \(\Sigma_2\otimes\Sigma_1\), and the parameter dimension is reduced because
\[
\Sigma_2\otimes \Sigma_1 = (c\Sigma_2)\otimes(c^{-1}\Sigma_1),\qquad c>0.
\]
The paper identifies a special regime
\[
m_1+1 = nm_2
\]
in which the Kronecker covariance MLE has algebraic degree one and admits the rational closed form
\[
\hat{K}_2=\sum_{i=1}^n d_id_i^\top.
\]
This is not a Kronecker power result, but it illustrates the broader methodological role of Kronecker structure in algebraic statistics [2401.08280].

Finally, a substantial body of work concerns Kronecker sums rather than Kronecker powers. For
\[
S=M\otimes I_n + I_n\otimes M,
\]
the inverse \(S^{-1}\) exhibits non-monotone decay governed by grid geometry rather than one-dimensional index distance. The same perspective extends to matrix functions of
\[
{\cal A}=M\oplus M=M\otimes I+I\otimes M,
\]
for which factorized exponential identities such as
\[
\exp(M_1\oplus M_2)=\exp(M_1)\otimes \exp(M_2)
\]
yield product decay structure in coordinate directions [1312.6631], [1501.07376]. These papers are often associated with tensor-structured operators, but they explicitly emphasize that the exact factorization results apply to sums, not products.

The cumulative lesson is that the phrase “Kronecker power matrices” sits inside a wider ecosystem of Kronecker-based constructions. Some works study \(A^{\otimes k}\) directly; some use it as an intermediate representation; others clarify by contrast that the relevant structure is instead a single Kronecker product or a Kronecker sum. For arXiv-level literature, this distinction is not terminological decoration but a genuine mathematical boundary.

Source: https://www.emergentmind.com/topics/kronecker-power-matrices