--- title: Disjoint-Composition of Norms url: https://www.emergentmind.com/topics/disjoint-composition-of-norms type: topic --- # Disjoint-Composition of Norms “Disjoint-composition of norms” (Editor's term) denotes a structural phenomenon in which disjointness or orthogonality splits an ambient space into noninterfering components, and a linear or nonlinear map acts on those components by simple local operations while the global norm is determined by how the component contributions compose. In rectangular matrix spaces this phenomenon is explicit: disjointness-preserving maps have a rigid block/tensor form, and norm preservation reduces to simple constraints on diagonal scaling parameters; closely related decompositions also appear for disjointness preserving operators on Banach lattices and in several other norm-composition frameworks [1903.03456], [1607.01423]. ## 1. Rectangular matrices, disjointness, and unitarily invariant norms For a field \(\mathbb{F}=\mathbb{R}\) or \(\mathbb{C}\), \(M_{m,n}=M_{m,n}(\mathbb{F})\) denotes the vector space of all \(m\times n\) matrices over \(\mathbb{F}\). For \(A,B\in M_{m,n}\), with adjoint \(A^*\), the relation \[ A\perp B \quad\Longleftrightarrow\quad A^*B=0_n,\ \ AB^*=0_m \] defines disjointness. Geometrically, \(A^*B=0_n\) means the initial spaces are orthogonal, while \(AB^*=0_m\) means the ranges are orthogonal. If \(A,B\) are partial isometries, then \(A\perp B\) exactly says that their range projections and initial projections are orthogonal [1903.03456]. The same matrix setting carries the Jordan \(JB^*\)-triple product \[ \{A,B,C\}=\frac12(AB^*C+CB^*A), \] which is the canonical triple product for the \(JB^*\)-triple structure of rectangular matrices. It also carries the Schatten \(p\)-norms \[ \|A\|_p=S_p(A)=\Big(\sum_{j=1}^h s_j(A)^p\Big)^{1/p}, \qquad p>0, \] and the Ky Fan \(k\)-norms \[ F_k(A)=\sum_{j=1}^k s_j(A), \] where \(s_1(A)\ge s_2(A)\ge \dots \ge s_h(A)\) are the singular values and \(h=\min\{m,n\}\). These norms are unitarily invariant: \(\|UAV\|=\|A\|\) for all unitaries of appropriate sizes [1903.03456]. This matrix-theoretic setting is the primary concrete realization of disjoint-composition of norms. Disjointness is an orthogonality condition on initial and range spaces, and unitarily invariant norms depend only on singular values. A plausible implication is that any map preserving disjointness and a singular-value norm should be forced into a form that separates orthogonal components rather than mixing them. ## 2. Canonical block form of disjointness-preserving maps Let \(\Phi:M_{m,n}\to M_{r,s}\) be linear. The central structural theorem states that \(\Phi\) preserves disjointness if and only if there exist unitary (orthogonal) matrices \(U\in U_r\), \(V\in U_s\), and diagonal matrices \(Q_1,Q_2\) with positive diagonal entries, with either \(Q_1\) or \(Q_2\) possibly empty, such that \[ \Phi(A)=U \begin{pmatrix} A\otimes Q_1 & 0 & 0\\ 0 & A^t\otimes Q_2 & 0\\ 0 & 0 & 0 \end{pmatrix} V \qquad \text{for all }A\in M_{m,n}. \] Here \(A\otimes Q_1\) is permutation-similar to a direct sum of scalar multiples of \(A\), and \(A^t\otimes Q_2\) is similarly a direct sum of scalar multiples of \(A^t\) [1903.03456]. This form has a precise geometric meaning. The map preserves disjointness by re-using \(A\) and \(A^t\) only on mutually orthogonal summands, scaled by positive factors, and then applying left and right unitaries as global rotations. There is no mixing between the “\(A\)-copy” and the “\(A^t\)-copy” other than via unitary equivalence. In this sense, the target space decomposes into disjoint blocks, and \(\Phi\) acts on each block by a simple scale-and-unitary rule. Several special cases clarify the theorem. If \(Q_1\) is vacuous, then \(\Phi\) is built only from transpose copies; if \(Q_2\) is vacuous, then \(\Phi\) is built only from copies of \(A\). In the square case \(M_n\to M_n\), if \(\Phi\) preserves disjointness and is nonzero, then, up to conjugation by unitaries, it has the form \[ \Phi(A)=UAV \qquad\text{or}\qquad \Phi(A)=UA^tV. \] This is consistent with the rigidity expected from same-size isometry and preserver results [1903.03456]. ## 3. Triple products, zero products, and normalization by partial isometries The triple product and disjointness are linked by the equivalence \[ A^*B=0,\ AB^*=0 \quad\Longleftrightarrow\quad AA^*B+BA^*A=0 \quad\Longleftrightarrow\quad \{A,A,B\}=0. \] Thus zero triple products involving two equal arguments encode disjointness. It follows that any linear map preserving zero triple products necessarily preserves disjointness, so the block form above already governs zero triple-product preservers [1903.03456]. More precisely, a linear map \(\Phi:M_{m,n}\to M_{r,s}\) preserves zero triple products if and only if it has the same disjointness-preserving form \[ \Phi(A)=U \begin{pmatrix} A\otimes Q_1 & 0 & 0\\ 0 & A^t\otimes Q_2 & 0\\ 0 & 0 & 0 \end{pmatrix} V. \] If \(\Phi\) is a \(JB^*\)-triple homomorphism, then the diagonal weights are forced to be identities: \[ \Phi(A)=U \begin{pmatrix} A\otimes I_{q_1} & 0 & 0\\ 0 & A^t\otimes I_{q_2} & 0\\ 0 & 0 & 0 \end{pmatrix} V. \] The triple-product identity \(\Phi(AA^*A)=\Phi(A)\Phi(A)^*\Phi(A)\) forces the scaling on each copy of \(A\) to be exactly \(1\). A concise way to state the outcome is that triple-product structure equals disjointness structure plus normalization [1903.03456]. The same normalization appears through partial isometries. A matrix \(A\) is a partial isometry iff \(AA^*A=A\), equivalently all singular values are \(0\) or \(1\). The paper shows equivalences between the following conditions: \(\Phi\) maps partial isometries to partial isometries; \(\Phi\) sends disjoint rank-one partial isometries to disjoint partial isometries; \(\Phi\) preserves disjointness and sends some nonzero partial isometry to a partial isometry; \(\Phi\) preserves zero triple products and sends some nonzero partial isometry to a partial isometry; and \(\Phi\) is a \(JB^*\)-triple homomorphism. In the language of disjoint-composition, partial isometries detect exactly when the local diagonal scaling has collapsed to identity. ## 4. Schatten and Ky Fan norms as norms on disjoint block sums The matrix-space version of disjoint-composition of norms is clearest for unitarily invariant norms. If \(A\) and \(B\) are disjoint, then their singular value decompositions can be arranged to be orthogonal, so the singular values of \(A\oplus B\) behave like concatenations of those of \(A\) and \(B\). For Schatten norms, \[ \|A\oplus B\|_p^p=\|A\|_p^p+\|B\|_p^p, \] and for Ky Fan norms the top \(k\) singular values of \(A\oplus B\) are selected from those of \(A\) and \(B\) separately. This clean behavior is exactly what makes the block form compatible with norm preservation [1903.03456]. For Schatten \(p\)-norms with \(p\in(0,2)\cup(2,\infty)\) and \(m,n\ge2\), the following are equivalent: \(\|\Phi(A)\|_p=\|A\|_p\) for all \(A\in M_{m,n}\); \(\|\Phi(A)\|_p=\|A\|_p\) for all \(A\) of rank at most \(2\); and the existence of unitaries \(U,V\) and positive diagonal \(Q_1,Q_2\) such that \[ \|Q_1\oplus Q_2\|_p=1 \] and \[ \Phi(A)=U \begin{pmatrix} A\otimes Q_1 & 0 & 0\\ 0 & A^t\otimes Q_2 & 0\\ 0 & 0 & 0 \end{pmatrix} V. \] Norm preservation therefore reduces to a single global constraint on the diagonal scaling parameters [1903.03456]. In the complex case, Ky Fan norm preservation on rank-\(\le2\) matrices yields the same block/tensor form together with the conditions \[ k\ge 2(q_1+q_2) \qquad\text{and}\qquad \operatorname{tr}(Q_1+Q_2)=1. \] Again the essential point is that disjoint copies do not interfere in the singular value structure, so the norm of \(\Phi(A)\) is determined by the norm of \(A\) composed with the diagonal scales \(Q_1,Q_2\) [1903.03456]. A concrete \(2\times2\) example makes the mechanism explicit. With \[ A=E_{11},\qquad B=E_{22}, \] one has \(A\perp B\). If \(Q_1=\operatorname{diag}(a_1,a_2)\), \(Q_2\) is vacuous, and \(U=V=I_4\), then \(\Phi(A)=A\otimes Q_1\) and \(\Phi(B)=B\otimes Q_1\) remain disjoint. For the Schatten \(p\)-norm, \[ \|\Phi(A)\|_p^p=a_1^p+a_2^p,\qquad \|A\|_p^p=1, \] so norm preservation requires \(a_1^p+a_2^p=1\). This is the simplest illustration of how the norm of a disjoint block sum is the sum of the contributions from its blocks. ## 5. Banach lattices, dense ideals, and operator norms controlled by disjointness In Banach lattices, disjointness is defined by \[ x\perp y \quad\Longleftrightarrow\quad |x|\wedge |y|=0. \] For a linear disjointness preserving operator \(T:E\to F\), the fundamental boundedness theorem states that for any disjoint sequence \((u_n)\) in \(E\), there exists \(C>0\) such that \[ \|T(u_n)\|\le C\|u_n\| \quad\text{for all }n. \] From this one obtains an order dense ideal \(E_T\subset E\) on which \(T\) is norm bounded. If \(E\) has order continuous norm, then every disjointness preserving map \(T:E\to F\) has a unique decomposition \[ T=R+S, \] where \(R\) is a bounded disjointness preserving operator and \(S\) is a disjointness preserving operator that is zero on a norm dense ideal. For \(E=C(X)\), every disjointness preserving operator is norm bounded on a norm dense sublattice algebra of \(C(X)\), and one gets a decomposition into a bounded disjointness operator and a finite sum of unbounded disjointness preserving operators concentrated at finitely many singularity points [1607.01423]. This gives a Banach-lattice analogue of disjoint-composition of norms. The norm behavior of a disjointness preserving operator splits into a bounded part on a large ideal and an unbounded part concentrated on a small residual set. In the \(C(X)\) case, the decomposition \[ T=R+\sum_{k=1}^n S_k \] localizes the unbounded behavior at finitely many singular points, so the global operator norm is assembled from a bounded regular component plus finitely many localized singular components [1607.01423]. A related operator-theoretic formalization appears through affiliated operator classes and enveloping norms. If \(P\) is one of the disjointly defined operator classes, the enveloping norm is \[ \|T\|_{e,P} = \inf\{\|S\|: S\in P,\ \pm T\le S\}, \] equivalently \[ \|T\|_{e,P} = \inf\{\|S\|: S\in P \text{ and } |Tx|\le S|x| \ \forall x\in E\}. \] The spaces of regularly affiliated operators are Banach spaces under these enveloping norms, so domination by operators defined through disjoint convergence behavior becomes itself a norm structure [2209.01981]. Disjointness can also become norm-definable. For exactly \(r\)-convex, strictly monotone Banach lattices with \(r>2\), \[ x\perp y \quad\Longleftrightarrow\quad \forall t\in[0,1],\ \|x+ty\|^r+\|x-ty\|^r \le 2\big(\|x\|^r+t^r\|y\|^r\big). \] A plausible implication is that, in such classes, the decomposition of norms along disjoint parts is already encoded in the Banach-space language, without explicit reference to lattice operations [1603.07510]. ## 6. Other compositional frameworks and scope of the idea The same structural motif appears in several distinct literatures. For semigroups of continuous functions, surjections \(T:A\to B\) satisfying a two-variable norm condition \[ \rho(Tf,Tg)=\rho(f,g) \] for \(\rho\in\{\rho_+,\rho_{\max}\}\) are forced to be composition in modulus maps: \[ |Tf(y)| = |f(\phi(y))| \quad\text{for all } f\in A,\ y\in Ch(B). \] Here the preserved quantity is a composite norm built from a function \(\psi\) of two variables, and preservation of this composite norm rigidifies the map to a boundary homeomorphism together with modulus composition [1910.09216]. In convex analysis and learning theory, optimal interpolation norms are defined by \[ \|y\| = \inf_{\substack{x\in\mathcal X\\ Lx=y}} |||F(x)||| = \inf_{\substack{x_1,\dots,x_m\\ L_1x_1+\cdots+L_mx_m=y}} \big|\big|\big|(\|x_1\|_1,\dots,\|x_m\|_m)\big|\big|\big|. \] This infimal postcomposition framework encompasses the latent group lasso, the overlapping group lasso, and certain norms used for learning tensors, and its dual norm is \[ \|y^*\|_* = \big|\big|\big|(\|L_1^*y^*\|_{1*},\ldots,\|L_m^*y^*\|_{m*})\big|\big|\big|_*. \] Here norm composition is explicit: block norms are aggregated by an outer norm and transported through a linear operator [1603.09273]. Other settings exhibit the same idea in more specialized forms. \(D\)-norms on \(\mathbb{R}^d\) form a commutative semigroup under multiplication induced by componentwise multiplication of independent generators, and the idempotent \(D\)-norms are exactly the blockwise sup-plus-\(L_1\) norms \[ \|x\|_D = \sum_{k=1}^K \max_{i\in A_k}|x_i| + \sum_{j\notin\bigcup_k A_k}|x_j| \] determined by completely dependent blocks [1303.1284]. For pseudo-t-norms on complete lattices, there exists a left-continuous t-norm on the ordinal sum \(L_1\oplus L_2\) if and only if there exists a left-continuous t-norm on \(L_2\), and the glued operation is defined by the local t-norms on the components and meet on mixed pairs [2506.07567]. In arithmetic, the multinorm principle gives a local-global statement for products of field norms from \(L_1\) and \(L_2\) when the Galois closures are linearly disjoint over \(K\) [1203.0359]. A broader noncommutative analogue appears for maps \(T:L_p(\mathcal M)\to L_q(\mathcal N)\). The norms \[ \|x\|_{p,n} = \inf\Big\{\frac12(\|f\|_p+\|g\|_p): f,g\in L_p(\mathcal M)_+,\ \begin{pmatrix} f\otimes1_n & x^*\\ x & g\otimes1_n \end{pmatrix}\ge0\Big\} \] define matrix-level control by order intervals, and a map is completely order bounded when the ampliations \(T\otimes \mathrm{Id}_{M_n}\) are uniformly bounded with respect to these norms. In the cases \(p=\infty\) or \(q=1\), with \(\mathcal N\) injective, completely order bounded maps are decomposable; for \(2p