--- title: Commuting Tensor Product url: https://www.emergentmind.com/topics/commuting-tensor-product type: topic --- # Commuting Tensor Product In the literature considered here, **commuting tensor product** does not denote a single construction. The expression is used for several distinct, technically precise phenomena: a permutation or swap operator that reorders tensor factors in Kronecker products; a tensor-factorization theorem rigidified by **double commutativity** in Hilbert modules; a comparison between the **commuting operator** and **tensor product** models in nonlocal games; symmetric monoidal tensor products representing **commuting multimorphisms** in category theory; Banach-algebra tensor products adapted to **commuting pairs** of matrices; and tensorized **commuting projections** in discrete de Rham complexes. What these usages share is not a common formal definition, but the structural role of a tensor product constrained by an additional commutation, symmetry, or interchange law [1101.0910] [1310.5122] [2511.14402]. ## 1. Matrix and Kronecker-product meanings In finite-dimensional matrix theory, the basic object is the **tensor commutation matrix** or more generally a **tensor permutation matrix**. For vector spaces \(E_1,\dots,E_k\) and a permutation \(\sigma\), the associated tensor permutation operator is the linear map \[ U_\sigma(x_1\otimes \cdots \otimes x_k)=x_{\sigma(1)}\otimes \cdots \otimes x_{\sigma(k)}. \] After choosing tensor-product bases, its matrix is a permutation matrix independent of the chosen bases. In the two-factor case this becomes the tensor commutation matrix \(U_{n\otimes p}\), characterized by \[ U_{n\otimes p}(a\otimes b)=b\otimes a, \] and, for square-compatible matrices, \[ U_{n\otimes p}(A\otimes B)=(B\otimes A)U_{n\otimes p}. \] For rectangular factors the general identity is \[ U_\sigma\,(A_1\otimes \cdots \otimes A_k)\,V_\sigma^T = A_{\sigma(1)}\otimes \cdots \otimes A_{\sigma(k)}. \] Thus the relevant sense of “commuting” is not literal equality \(A\otimes B=B\otimes A\), but reordering by canonical permutation matrices [1101.0910]. This viewpoint is sharpened by explicit decompositions of the swap operator in orthogonal operator bases. For two qubits, \[ S_{2\otimes 2} = \frac{1}{2}I_2\otimes I_2 +\frac{1}{2}\sum_{i=1}^{3}\sigma_i\otimes\sigma_i, \] and more generally, if \(n=2^p\), the swap on \(\mathbb C^{2^p}\otimes \mathbb C^{2^p}\) admits the Pauli-string expansion \[ S_{2^n\otimes 2^n} = \frac{1}{2^n} \sum_{i_1,\ldots,i_n=0}^{3} (\sigma_{i_1}\otimes \cdots \otimes \sigma_{i_n}) \otimes (\sigma_{i_1}\otimes \cdots \otimes \sigma_{i_n}). \] The paper also recalls the \(n\)-dimensional Gell-Mann analogue \[ S_{n\otimes n} = \frac{1}{n}I_n\otimes I_n +\frac{1}{2}\sum_{i=1}^{n^2-1}\Lambda_i\otimes\Lambda_i. \] An important negative result accompanies these formulas: the particular \(3\times 3\) generalized Pauli candidates tested there do **not** reproduce \(S_{3\otimes 3}\) in the same way; the successful construction is restricted to tensor products of ordinary Pauli matrices and hence naturally to dimensions \(2^k\) [1312.7274]. ## 2. Double commutativity and tensor factorization in Hilbert modules In the Hilbert-module literature, “commuting tensor product” refers to a structural decomposition of quotient modules over product domains. Let \[ \mathcal H=\mathcal H_1\otimes\cdots\otimes\mathcal H_n \] be a product reproducing kernel Hilbert module over \(\mathbb C[z_1,\dots,z_n]\), with coordinate multipliers \(M_{z_i}\), and let \(\mathcal Q\) be a quotient module with compressed multipliers \[ C_{z_i}:=P_{\mathcal Q}M_{z_i}|_{\mathcal Q}. \] The decisive condition is **double commutativity**: \[ C_{z_i}C_{z_j}^*=C_{z_j}^*C_{z_i}, \qquad 1\le i2\), a co-doubly commuting submodule is essentially doubly commuting if and only if it has finite codimension, equivalently the quotient is essentially normal. The scope is not universal, however. The **standard** hypothesis is essential: if one factor is not standard, one can construct a doubly commuting quotient module that is an orthogonal sum of two tensor products rather than a single tensor product [1310.5122]. ## 3. Commuting-operator models versus tensor-product models In quantum information, the phrase enters through the distinction between two models of multipartite nonlocal strategies. In the **tensor product model**, the shared state lies in \[ \mathcal H=\mathcal H_1\otimes\cdots\otimes\mathcal H_k, \] and each player measures only on its own tensor factor. In the **commuting operator model**, all observables act on a single Hilbert space, with the only locality condition being pairwise commutation across different players. The general inequality \[ \omega^*_{tp}(G)\le \omega^*_{co}(G) \] holds, and the paper explicitly notes that equality can fail in general. The special case of **perfect** \(3\)XOR games is different: a 3XOR game has a perfect commuting operator strategy if and only if it has a perfect tensor product strategy using a **3-qubit GHZ state**, so in that exact value-\(1\) regime \[ \omega^*_{co}(G)=\omega^*_{tp}(G)=1. \] The proof encodes the game into a right-angled Coxeter group, identifies perfect commuting strategies with the group-theoretic condition \(\sigma\notin H\), and then shows that for 3XOR this obstruction is already captured by a tractable abelian quotient, yielding a polynomial-time decision procedure [2010.16290]. The same paper is careful about scope. The equivalence is only for **3XOR games**, only for **perfect strategies**, and does not establish equality of the full value functions for arbitrary games or approximate strategies. That restriction matters when set against negative approximation results for commutation. In normalized Hilbert–Schmidt norm, \[ \Gamma=\mathbb F_m\times\mathbb F_k,\qquad m,k\ge 2, \] is not Hilbert–Schmidt stable. Concretely, there exist contractions \(A_n,B_n\) such that \[ \|A_nB_n-B_nA_n\|_2\to 0, \qquad \|A_nB_n^*-B_n^*A_n\|_2\to 0, \] but for every exactly commuting pair \(A_n',B_n'\) with \[ A_n'B_n'=B_n'A_n', \qquad A_n'B_n'^*=B_n'^*A_n', \] one still has \[ \inf_n \big(\|A_n-A_n'\|_2+\|B_n-B_n'\|_2\big)>0. \] A plausible implication is that “commuting tensor product” phenomena that depend on exact commutation cannot, in general, be replaced by asymptotic Hilbert–Schmidt commutation without loss of structure [2108.09589]. ## 4. Categorical and operadic commuting tensor products In category-theoretic settings, the phrase is closer to a genuine tensor product equipped with a universal commutation property. A basic symmetric example is the tensor product of **correspondence functors**. For correspondence functors \(M,N\), \[ (M\otimes N)(X)=M(X)\otimes_k N(X), \qquad U(m\otimes n)=Um\otimes Un. \] This makes the category \(\mathcal F_k\) symmetric monoidal: \[ M\otimes N\cong N\otimes M, \qquad (M\otimes N)\otimes P\cong M\otimes (N\otimes P), \qquad k\otimes M\cong M. \] For a finite lattice \(T\), the associated functor \(F_T\) is a **commutative algebra correspondence functor**, with multiplication \[ \mu_X(\varphi\otimes\psi)=\varphi\vee\psi, \] and one has \[ F_T\otimes F_{T'}\cong F_{T\times T'}. \] In this context the commuting feature is ordinary symmetry of the monoidal product together with commutative algebra objects inside that symmetric monoidal category [1903.01750]. A much more general treatment is given in the double-categorical framework of commuting tensor products of monads. There the ambient datum is a symmetric normal oplax monoidal closed double category \(C\). One forms \(\mathbb{M}\mathrm{nd}(C)\), whose objects are horizontal monads, vertical arrows are monad morphisms, and horizontal arrows are bimodules. A **commuting monad multimorphism** is defined by an interchange hexagon built from the oplax monoidal structure; the commuting tensor product is then the representing object for such commuting multimorphisms. Under the stated hypotheses, the category \(Mnd(C)\) becomes **symmetric monoidal closed** under this commuting tensor product, and \(\mathbb{M}\mathrm{nd}(C)\) becomes a **symmetric oplax monoidal double category**. This single construction recovers the tensor product of enriched categories, the Boardman–Vogt tensor product of operads and symmetric multicategories, and extensions of these tensor products to bimodules, profunctors, and multiprofunctors [2511.14402]. ## 5. Banach-algebra tensor products for commuting pairs A different usage appears in multicentric functional calculus. Here the objective is not to define a commuting tensor product of operator algebras in the usual \(C^*\)-algebraic sense, but to construct a Banach algebra adapted to a **commuting pair** of matrices. Starting from one-variable multicentric algebras \(C_{\Lambda_1}(M_1)\) and \(C_{\Lambda_2}(M_2)\), the paper builds the two-variable space \[ C(M_1\times M_2,\mathbb C^{d_1\times d_2}) \] with a polyproduct induced from the one-variable multiplications through \[ (e_{1,j}\otimes e_{2,k})\circledcirc (e_{1,l}\otimes e_{2,m}) = (e_{1,j}\circledcirc e_{1,l})\otimes (e_{2,k}\circledcirc e_{2,m}), \] and proves the Banach-space identification \[ C(M_1 \times M_2, \mathbb{C}^{d_1 \times d_2}) = C(M_1, \mathbb{C}^{d_1}) \hat{\otimes}_\varepsilon C(M_2, \mathbb{C}^{d_2}). \] Scalar functions \(\varphi(z_1,z_2)\) are represented as Gelfand transforms of matrix-valued functions \(f(w_1,w_2)\), with \[ w_1=p_1(z_1),\qquad w_2=p_2(z_2), \] and the construction is intended for commuting pairs \((A,B)\) after choosing \(p_1,p_2\) so that \(p_1(A)\) and \(p_2(B)\) are diagonalizable. The paper explicitly notes that this is **not** the standard operator-algebraic commuting tensor product; it is a tensor-product-style Banach algebra tailored to commuting pairs of matrices [2105.13026]. This analytic use is illuminated by contrast with tensor-algebra products that are not commuting. Shao’s general product of tensors extends ordinary matrix multiplication and satisfies the associative law \[ \mathbb A(\mathbb B\mathbb C)=(\mathbb A\mathbb B)\mathbb C, \] but is generally noncommutative. Even scalar placement is asymmetric: \[ (\lambda \mathbb A)\mathbb B=\lambda(\mathbb A\mathbb B), \qquad \mathbb A(\lambda \mathbb B)=\lambda^{m-1}(\mathbb A\mathbb B). \] The paper therefore provides a useful counterpoint: tensor-product language alone does not imply any commuting behavior, and in that literature the central property is associativity rather than commutativity [1212.1535]. ## 6. Tensor-product commuting projections in discrete de Rham theory In numerical analysis and finite element exterior calculus, the phrase appears in the construction of **commuting projection operators** on tensor-product patch spaces. For 2D multipatch domains \[ \Omega=\operatorname{Int}\Big(\bigcup_{k\in K}\bar\Omega_k\Big), \qquad \Omega_k=F_k(\hat\Omega), \] with \(\hat\Omega=(0,1)^2\), each patch carries a local tensor-product de Rham sequence. On the reference patch, \[ \hat V^0_k = V^0_k\otimes V^0_k, \qquad \hat V^1_k= \begin{pmatrix} V^1_k\otimes V^0_k\\ V^0_k\otimes V^1_k \end{pmatrix}, \qquad \hat V^2_k=V^1_k\otimes V^1_k. \] The scalar projector \(\hat\Pi^0_k\) is built from a tensor-product basis and dual basis, and the higher projectors are defined by tensorized antiderivative formulas such as \[ \hat \Pi^1_k \hat u = \begin{pmatrix} \partial_1 \hat \Pi^0_k \big( \int_{0}^{\hat x_1} \hat u_1(z_1, \hat x_2) d z_1 \big) \\ \partial_2 \hat \Pi^0_k \big( \int_{0}^{\hat x_2} \hat u_2(\hat x_1, z_2) d z_2 \big) \end{pmatrix}, \] and \[ \hat \Pi^2_k \hat f = \partial_1\partial_2 \hat \Pi^0_k \big( \int_{0}^{\hat x_1}\int_{0}^{\hat x_2}\hat f(z_1,z_2)\,dz_2dz_1\big). \] On a single patch these operators are projections, are \(L^p\)-stable, and satisfy \[ \nabla^k \Pi^0_k \phi = \Pi^1_k \nabla^k \phi, \qquad \operatorname{curl}^k \Pi^1_k u = \Pi^2_k \operatorname{curl}^k u. \] The tensor-product structure is used crucially through directional invariance preserved by \(\hat\Pi^0_k\) [2303.14449]. The multipatch problem is subtler because adjacent patches may have **non-matching interfaces**. The paper first applies these tensor-product commuting projectors patchwise on broken spaces, then adds localized edge and vertex corrections so that the final global projectors \[ \Pi^0,\qquad \Pi^1,\qquad \Pi^2 \] become conforming while retaining commutation: \[ \nabla \Pi^0 \phi = \Pi^1 \nabla \phi, \qquad \operatorname{curl}\Pi^1 u = \Pi^2 \operatorname{curl} u. \] The result is local and stable in every \(L^p\), \(1\le p\le\infty\), under the assumptions that neighboring patches have nested resolutions and interior vertices are shared by exactly four patches. A plausible implication is that here “commuting tensor product” refers not to a tensor product of global spaces, but to a tensorized local mechanism whose cochain commutation survives global gluing [2303.14449]. ## 7. Scope, ambiguity, and recurrent distinctions Across these sources, several recurrent distinctions govern the meaning of the term. First, **reordering is not equality**. In matrix theory, tensor factors “commute” only through permutation matrices such as \(U_{n\otimes p}\) or \(S_{n\otimes n}\); the tensor product itself remains noncommutative as an ordered expression [1101.0910] [1312.7274]. Second, **commutation may be an operator-theoretic rigidity condition** rather than a symmetry of a monoidal product. In analytic Hilbert modules, double commutativity of the compressed coordinate multipliers is equivalent to tensor-product factorization, but only under the paper’s standard or analytic hypotheses; outside that regime, doubly commuting quotients need not be single tensor products [1310.5122]. Third, **commuting and tensor-product models can coincide or separate depending on context**. For perfect 3XOR games, perfect commuting operator strategies collapse to perfect tensor-product GHZ strategies, but the same paper explicitly refuses any general commuting\(=\)tensor-product conclusion beyond that exact setting [2010.16290]. Conversely, approximate Hilbert–Schmidt commutation need not be perturbable to exact commuting relations, so asymptotic commutation is not an adequate replacement for exact commuting models in general [2108.09589]. Fourth, **some literatures use the term via a universal property**. In the most abstract setting surveyed here, a commuting tensor product is the object representing commuting multimorphisms, and its extension to bimodules requires an oplax interchange law in a double category [2511.14402]. In less abstract but still categorical settings, the same broad phenomenon appears as a symmetric monoidal product with commutative algebra objects, as in correspondence functors [1903.01750]. These distinctions suggest that **commuting tensor product** is best treated as a family of domain-specific notions organized by a common theme: a tensorial construction constrained by interchange, symmetry, exact commutation, or compatibility with differential structure, rather than by a single cross-disciplinary definition. Source: https://www.emergentmind.com/topics/commuting-tensor-product