Multiplicative Trace Preservers

• Multiplicative trace preservers are maps or natural transformations that maintain trace invariance under multiplicative operations across diverse mathematical settings.
• They enforce rigidity by inducing canonical forms, uniqueness, and structural constraints in algebraic K-theory, matrix theory, and quantum channels.
• Applications include classifying similarity, congruence, spectral invariance in matrices, tensor structures, stochastic systems, and trace-preserving homomorphisms in SL(2,C).

Multiplicative trace preservers are maps, families of maps, or natural transformations that preserve a trace-compatible multiplicative structure. The term is not uniform across the literature. In higher algebra it denotes multiplicative natural transformations out of algebraic $K$-theory, notably the topological Dennis trace and the cyclotomic trace. In matrix preserver theory it denotes maps preserving expressions such as $$\operatorname{tr}(\phi(A)\psi(B)^k)=\operatorname{tr}(AB^k)$$, $$\operatorname{tr}(\phi_1(A_1)\cdots \phi_m(A_m))=\operatorname{tr}(A_1\cdots A_m)$$, or the trace of a Kronecker sum. In quantum information it is tied to trace-preserving completely positive maps and their multiplicative domains. In the theory of linear groups it refers to homomorphisms preserving the ordinary matrix trace on products in $SL(2,\mathbb C)$. Across these settings, the common theme is rigidity: trace preservation together with multiplicative compatibility typically forces strong canonical forms or uniqueness statements (Blumberg et al., 2011, Huang et al., 2021, Rahaman, 2017, Purzitsky, 2016).

1. Terminological scope and basic formulations

The most general pattern is that one asks for maps compatible with multiplication while leaving a trace-type invariant unchanged. In matrix settings, a standard form is

$$\operatorname{tr}(\phi_1(A_1)\cdots \phi_m(A_m))=\operatorname{tr}(A_1\cdots A_m),$$

or, with powers,

$$\operatorname{tr}(\phi(A)\psi(B)^k)=\operatorname{tr}(AB^k),$$

for prescribed classes of matrices. In tensor-structured problems one instead preserves

$$\operatorname{tr}(A\oplus B)=n\,\operatorname{tr}(A)+m\,\operatorname{tr}(B),$$

where $A\oplus B=A\otimes I_n+I_m\otimes B$. In higher algebra the multiplicativity condition is formulated through lax symmetric monoidal functors and multiplicative natural transformations. There one requires compatibility with monoidal structure diagrams, so that for a ring spectrum $R$ the induced map on $K(R)$ is a map of ring spectra (Huang et al., 2022, Hardy et al., 2019, Blumberg et al., 2011).

These formulations differ substantially in ambient category, but they share two recurrent mechanisms. First, trace preservation is usually paired with a nondegenerate bilinear or monoidal structure, which converts the trace identity into linearity, injectivity, or uniqueness. Second, multiplicativity propagates local information to global structure: preserving a trace on selected products often forces similarity, congruence, permutation-conjugation, or an automorphic action on a distinguished subalgebra (Huang et al., 2021, Rahaman, 2017).

A useful way to organize the subject is by ambient setting.

Setting	Preserved quantity	Typical outcome
Algebraic $$\operatorname{tr}(\phi(A)\psi(B)^k)=\operatorname{tr}(AB^k)$$0-theory	Multiplicative natural transformations to $$\operatorname{tr}(\phi(A)\psi(B)^k)=\operatorname{tr}(AB^k)$$1 or $$\operatorname{tr}(\phi(A)\psi(B)^k)=\operatorname{tr}(AB^k)$$2	Uniqueness and contractibility (Blumberg et al., 2011)
Matrix preserver theory	$$\operatorname{tr}(\phi(A)\psi(B)^k)=\operatorname{tr}(AB^k)$$3, $$\operatorname{tr}(\phi(A)\psi(B)^k)=\operatorname{tr}(AB^k)$$4, or $$\operatorname{tr}(\phi(A)\psi(B)^k)=\operatorname{tr}(AB^k)$$5	Similarity, congruence, or permutation forms (Huang et al., 2022, Huang et al., 2021, Hardy et al., 2019)
Quantum channels	Multiplicativity on a subalgebra for TP/CP maps	Characterization by multiplicative domain (Rahaman, 2017)
$$\operatorname{tr}(\phi(A)\psi(B)^k)=\operatorname{tr}(AB^k)$$6 groups	$$\operatorname{tr}(\phi(A)\psi(B)^k)=\operatorname{tr}(AB^k)$$7	Innerness under fixed-point hypotheses (Purzitsky, 2016)

This suggests that “multiplicative trace preserver” is best understood as a family resemblance term rather than a single formal definition. A plausible implication is that the literature uses the phrase to emphasize rigidity phenomena generated by the interaction of trace identities with multiplicative structure.

2. Multiplicative trace preservers in algebraic $$\operatorname{tr}(\phi(A)\psi(B)^k)=\operatorname{tr}(AB^k)$$8-theory

In the setting of noncommutative motives, multiplicative trace preservers are canonical multiplicative natural transformations out of algebraic $$\operatorname{tr}(\phi(A)\psi(B)^k)=\operatorname{tr}(AB^k)$$9-theory landing in topological Hochschild homology $$\operatorname{tr}(\phi_1(A_1)\cdots \phi_m(A_m))=\operatorname{tr}(A_1\cdots A_m)$$0 or topological cyclic homology $$\operatorname{tr}(\phi_1(A_1)\cdots \phi_m(A_m))=\operatorname{tr}(A_1\cdots A_m)$$1. The ambient category is $$\operatorname{tr}(\phi_1(A_1)\cdots \phi_m(A_m))=\operatorname{tr}(A_1\cdots A_m)$$2, the $$\operatorname{tr}(\phi_1(A_1)\cdots \phi_m(A_m))=\operatorname{tr}(A_1\cdots A_m)$$3-category of small idempotent-complete stable $$\operatorname{tr}(\phi_1(A_1)\cdots \phi_m(A_m))=\operatorname{tr}(A_1\cdots A_m)$$4-categories and exact functors. The connective and nonconnective algebraic $$\operatorname{tr}(\phi_1(A_1)\cdots \phi_m(A_m))=\operatorname{tr}(A_1\cdots A_m)$$5-theory functors are corepresentable in the motive categories $$\operatorname{tr}(\phi_1(A_1)\cdots \phi_m(A_m))=\operatorname{tr}(A_1\cdots A_m)$$6 and $$\operatorname{tr}(\phi_1(A_1)\cdots \phi_m(A_m))=\operatorname{tr}(A_1\cdots A_m)$$7: $$\operatorname{tr}(\phi_1(A_1)\cdots \phi_m(A_m))=\operatorname{tr}(A_1\cdots A_m)$$8 The paper proves that $$\operatorname{tr}(\phi_1(A_1)\cdots \phi_m(A_m))=\operatorname{tr}(A_1\cdots A_m)$$9 is the tensor unit in the symmetric monoidal $SL(2,\mathbb C)$0-category of additive invariants, and this tensor-unit role drives the trace uniqueness statements (Blumberg et al., 2011).

The central theorems are explicit. The space of multiplicative natural transformations from $SL(2,\mathbb C)$1 to $SL(2,\mathbb C)$2 is contractible,

$SL(2,\mathbb C)$3

and the unique point is the multiplicative topological Dennis trace. Likewise, for each $SL(2,\mathbb C)$4,

$SL(2,\mathbb C)$5

and the compatible lift through the tower yields the multiplicative cyclotomic trace $SL(2,\mathbb C)$6. The paper also proves that the space of multiplicative structures on $SL(2,\mathbb C)$7 itself is contractible: $SL(2,\mathbb C)$8. Hence there is no ambiguity in the multiplicative refinement of algebraic $SL(2,\mathbb C)$9-theory (Blumberg et al., 2011).

The structural input is equally important. $$\operatorname{tr}(\phi_1(A_1)\cdots \phi_m(A_m))=\operatorname{tr}(A_1\cdots A_m),$$0 is realized as a lax symmetric monoidal localizing invariant, and each $$\operatorname{tr}(\phi_1(A_1)\cdots \phi_m(A_m))=\operatorname{tr}(A_1\cdots A_m),$$1 is multiplicative as well. The multiplicative Morita equivalence

$$\operatorname{tr}(\phi_1(A_1)\cdots \phi_m(A_m))=\operatorname{tr}(A_1\cdots A_m),$$2

identifies small idempotent-complete stable $$\operatorname{tr}(\phi_1(A_1)\cdots \phi_m(A_m))=\operatorname{tr}(A_1\cdots A_m),$$3-categories with the Morita localization of flat spectral categories in a symmetric monoidal way. Together with Glasman’s Day-convolution equivalence, this permits multiplicative natural transformations to be interpreted as morphisms of $$\operatorname{tr}(\phi_1(A_1)\cdots \phi_m(A_m))=\operatorname{tr}(A_1\cdots A_m),$$4-algebras in functor categories (Blumberg et al., 2011).

These results place the Dennis and cyclotomic traces in an unusually rigid position. Any multiplicative trace from algebraic $$\operatorname{tr}(\phi_1(A_1)\cdots \phi_m(A_m))=\operatorname{tr}(A_1\cdots A_m),$$5-theory to $$\operatorname{tr}(\phi_1(A_1)\cdots \phi_m(A_m))=\operatorname{tr}(A_1\cdots A_m),$$6 or $$\operatorname{tr}(\phi_1(A_1)\cdots \phi_m(A_m))=\operatorname{tr}(A_1\cdots A_m),$$7 must coincide with the standard one. The paper further shows that $$\operatorname{tr}(\phi_1(A_1)\cdots \phi_m(A_m))=\operatorname{tr}(A_1\cdots A_m),$$8 is lax symmetric monoidal, with structural maps

$$\operatorname{tr}(\phi_1(A_1)\cdots \phi_m(A_m))=\operatorname{tr}(A_1\cdots A_m),$$9

and therefore if $$\operatorname{tr}(\phi(A)\psi(B)^k)=\operatorname{tr}(AB^k),$$0 is an $$\operatorname{tr}(\phi(A)\psi(B)^k)=\operatorname{tr}(AB^k),$$1-ring spectrum, then $$\operatorname{tr}(\phi(A)\psi(B)^k)=\operatorname{tr}(AB^k),$$2 is an $$\operatorname{tr}(\phi(A)\psi(B)^k)=\operatorname{tr}(AB^k),$$3-ring spectrum. This “one-step down” multiplicative behavior is a direct consequence of the monoidal formalism (Blumberg et al., 2011).

3. Matrix trace preservers on products, powers, and determinant-linked functionals

A large matrix-preserver literature studies multiplicative trace preservers as maps on matrix spaces for which the trace of products, power-products, or determinant-derived expressions remains unchanged. One foundational form is the multiplicative trace functional on positive definite matrices,

$$\operatorname{tr}(\phi(A)\psi(B)^k)=\operatorname{tr}(AB^k),$$4

If $$\operatorname{tr}(\phi(A)\psi(B)^k)=\operatorname{tr}(AB^k),$$5 satisfies

$$\operatorname{tr}(\phi(A)\psi(B)^k)=\operatorname{tr}(AB^k),$$6

then

$$\operatorname{tr}(\phi(A)\psi(B)^k)=\operatorname{tr}(AB^k),$$7

for all $$\operatorname{tr}(\phi(A)\psi(B)^k)=\operatorname{tr}(AB^k),$$8. The paper proves that this condition is equivalent to a congruence or transpose-congruence form: $$\operatorname{tr}(\phi(A)\psi(B)^k)=\operatorname{tr}(AB^k),$$9 with $$\operatorname{tr}(A\oplus B)=n\,\operatorname{tr}(A)+m\,\operatorname{tr}(B),$$0 invertible and $$\operatorname{tr}(A\oplus B)=n\,\operatorname{tr}(A)+m\,\operatorname{tr}(B),$$1. Parallel classifications are obtained for symmetric matrices, general matrices, upper triangular matrices, and diagonal matrices, with the corresponding double-sided similarity, orthogonal congruence, or permutation-and-scaling forms (Huang et al., 2016).

A broader local-to-global classification appears for trace-of-power-product preservers. For matrix spaces $$\operatorname{tr}(A\oplus B)=n\,\operatorname{tr}(A)+m\,\operatorname{tr}(B),$$2 and fixed $$\operatorname{tr}(A\oplus B)=n\,\operatorname{tr}(A)+m\,\operatorname{tr}(B),$$3, one studies linear maps $$\operatorname{tr}(A\oplus B)=n\,\operatorname{tr}(A)+m\,\operatorname{tr}(B),$$4 satisfying

$$\operatorname{tr}(A\oplus B)=n\,\operatorname{tr}(A)+m\,\operatorname{tr}(B),$$5

The paper first classifies local $$\operatorname{tr}(A\oplus B)=n\,\operatorname{tr}(A)+m\,\operatorname{tr}(B),$$6-power preservers $$\operatorname{tr}(A\oplus B)=n\,\operatorname{tr}(A)+m\,\operatorname{tr}(B),$$7, namely maps with $$\operatorname{tr}(A\oplus B)=n\,\operatorname{tr}(A)+m\,\operatorname{tr}(B),$$8 on an open neighborhood of $$\operatorname{tr}(A\oplus B)=n\,\operatorname{tr}(A)+m\,\operatorname{tr}(B),$$9, and then deduces the form of $A\oplus B=A\otimes I_n+I_m\otimes B$0 by trace-adjoint arguments. On $A\oplus B=A\otimes I_n+I_m\otimes B$1, for instance, such pairs have the form

$A\oplus B=A\otimes I_n+I_m\otimes B$2

or the transpose variants, when $A\oplus B=A\otimes I_n+I_m\otimes B$3. On Hermitian, symmetric, positive definite, diagonal, and upper triangular classes one obtains the corresponding unitary, orthogonal, congruence, permutation, or triangular similarity forms, with parity restrictions and positivity constraints where appropriate (Huang et al., 2022).

For multiplicative trace preservers involving $A\oplus B=A\otimes I_n+I_m\otimes B$4 factors,

$A\oplus B=A\otimes I_n+I_m\otimes B$5

there is a marked rigidity jump when $A\oplus B=A\otimes I_n+I_m\otimes B$6. On $A\oplus B=A\otimes I_n+I_m\otimes B$7, the classification is

$A\oplus B=A\otimes I_n+I_m\otimes B$8

On $A\oplus B=A\otimes I_n+I_m\otimes B$9 and $R$0, odd $R$1 forces a common unitary congruence with real scalars $R$2 satisfying $R$3, while even $R$4 yields alternating forms using a single invertible $R$5: $R$6 For symmetric matrices the same pattern holds with transpose in place of adjoint, and for diagonal matrices one gets

$R$7

with a permutation matrix $R$8 and diagonal invertible $R$9 satisfying $K(R)$0 (Huang et al., 2021).

The common methodological backbone is the nondegeneracy of the bilinear form $K(R)$1. In the two-map case this nondegeneracy forces linearity, injectivity, and dimension equalities; in the $K(R)$2-map case it combines with cyclicity of trace and algebraic telescoping identities to impose a global implementing matrix or permutation. This suggests that the principal source of rigidity is not merely multiplicativity, but multiplicativity filtered through a nondegenerate trace pairing (Huang et al., 2021, Huang et al., 2022, Huang et al., 2016).

4. Tensor-structured preservers: Kronecker sums, partial traces, and partial determinants

A distinct line of work studies preservers of the trace of the Kronecker sum

$K(R)$3

for $K(R)$4, $K(R)$5. Its trace satisfies

$K(R)$6

The classification is expressed in terms of partial traces. For $K(R)$7, viewed as an $K(R)$8 block matrix with blocks in $K(R)$9, the partial traces are

$$\operatorname{tr}(\phi(A)\psi(B)^k)=\operatorname{tr}(AB^k)$$00

If $$\operatorname{tr}(\phi(A)\psi(B)^k)=\operatorname{tr}(AB^k)$$01 is left multiplication, then

$$\operatorname{tr}(\phi(A)\psi(B)^k)=\operatorname{tr}(AB^k)$$02

if and only if

$$\operatorname{tr}(\phi(A)\psi(B)^k)=\operatorname{tr}(AB^k)$$03

For a general linear map $$\operatorname{tr}(\phi(A)\psi(B)^k)=\operatorname{tr}(AB^k)$$04, the same preserver property is equivalent to the corresponding partial-trace conditions on the index-swapped map $$\operatorname{tr}(\phi(A)\psi(B)^k)=\operatorname{tr}(AB^k)$$05 evaluated at the identity (Hardy et al., 2019).

The paper introduces RT-symmetry as the relevant tensor-order symmetry. If

$$\operatorname{tr}(\phi(A)\psi(B)^k)=\operatorname{tr}(AB^k)$$06

then the index-swapped map $$\operatorname{tr}(\phi(A)\psi(B)^k)=\operatorname{tr}(AB^k)$$07 interchanges the tensor indices. The map is RT-symmetric when $$\operatorname{tr}(\phi(A)\psi(B)^k)=\operatorname{tr}(AB^k)$$08 and skew RT-symmetric when $$\operatorname{tr}(\phi(A)\psi(B)^k)=\operatorname{tr}(AB^k)$$09. These symmetries sharpen the preserver characterization by reducing it to explicit sign conditions on $$\operatorname{tr}(\phi(A)\psi(B)^k)=\operatorname{tr}(AB^k)$$10 and $$\operatorname{tr}(\phi(A)\psi(B)^k)=\operatorname{tr}(AB^k)$$11 (Hardy et al., 2019).

The multiplicative aspect enters through the exponential–Kronecker identity

$$\operatorname{tr}(\phi(A)\psi(B)^k)=\operatorname{tr}(AB^k)$$12

Thus preserving $$\operatorname{tr}(\phi(A)\psi(B)^k)=\operatorname{tr}(AB^k)$$13 induces determinant-preserving behavior on Kronecker products. Partial determinants $$\operatorname{tr}(\phi(A)\psi(B)^k)=\operatorname{tr}(AB^k)$$14 and $$\operatorname{tr}(\phi(A)\psi(B)^k)=\operatorname{tr}(AB^k)$$15 then provide factorwise multiplicative constraints mirroring the partial-trace classification. In this sense, the additive invariant $$\operatorname{tr}(\phi(A)\psi(B)^k)=\operatorname{tr}(AB^k)$$16 exponentiates into a multiplicative invariant on tensor products (Hardy et al., 2019).

This tensor-structured theory differs from the product-preserver setting because the underlying decomposition is bipartite. Partial trace and partial determinant replace the ordinary trace pairing as the decisive invariants. A plausible implication is that tensor-factor localization, rather than full-space linearity alone, is what makes the classification possible.

5. Stochastic matrices and reduction to the doubly stochastic component

For stochastic matrices, multiplicative trace preservers are families $$\operatorname{tr}(\phi(A)\psi(B)^k)=\operatorname{tr}(AB^k)$$17 such that

$$\operatorname{tr}(\phi(A)\psi(B)^k)=\operatorname{tr}(AB^k)$$18

or the analogous spectrum-preserving identity, where $$\operatorname{tr}(\phi(A)\psi(B)^k)=\operatorname{tr}(AB^k)$$19 is one of $$\operatorname{tr}(\phi(A)\psi(B)^k)=\operatorname{tr}(AB^k)$$20, $$\operatorname{tr}(\phi(A)\psi(B)^k)=\operatorname{tr}(AB^k)$$21, $$\operatorname{tr}(\phi(A)\psi(B)^k)=\operatorname{tr}(AB^k)$$22, or their linear spans. The decisive structural fact is that every matrix admits a canonical decomposition

$$\operatorname{tr}(\phi(A)\psi(B)^k)=\operatorname{tr}(AB^k)$$23

with $$\operatorname{tr}(\phi(A)\psi(B)^k)=\operatorname{tr}(AB^k)$$24, $$\operatorname{tr}(\phi(A)\psi(B)^k)=\operatorname{tr}(AB^k)$$25, and $$\operatorname{tr}(\phi(A)\psi(B)^k)=\operatorname{tr}(AB^k)$$26. For products over $$\operatorname{tr}(\phi(A)\psi(B)^k)=\operatorname{tr}(AB^k)$$27 or $$\operatorname{tr}(\phi(A)\psi(B)^k)=\operatorname{tr}(AB^k)$$28, the doubly stochastic components multiply according to

$$\operatorname{tr}(\phi(A)\psi(B)^k)=\operatorname{tr}(AB^k)$$29

and therefore

$$\operatorname{tr}(\phi(A)\psi(B)^k)=\operatorname{tr}(AB^k)$$30

The paper states this as the central insight: the $$\operatorname{tr}(\phi(A)\psi(B)^k)=\operatorname{tr}(AB^k)$$31-component carries the spectral and trace information (Tsai et al., 26 Sep 2025).

On $$\operatorname{tr}(\phi(A)\psi(B)^k)=\operatorname{tr}(AB^k)$$32, the classification is explicit. For $$\operatorname{tr}(\phi(A)\psi(B)^k)=\operatorname{tr}(AB^k)$$33, multiplicative trace preservation and multiplicative spectrum preservation are equivalent, and one has either

$$\operatorname{tr}(\phi(A)\psi(B)^k)=\operatorname{tr}(AB^k)$$34

or the transpose version, with $$\operatorname{tr}(\phi(A)\psi(B)^k)=\operatorname{tr}(AB^k)$$35. For $$\operatorname{tr}(\phi(A)\psi(B)^k)=\operatorname{tr}(AB^k)$$36, the forms are cyclic: $$\operatorname{tr}(\phi(A)\psi(B)^k)=\operatorname{tr}(AB^k)$$37 On the span $$\operatorname{tr}(\phi(A)\psi(B)^k)=\operatorname{tr}(AB^k)$$38, one obtains inner or transpose-inner conjugations by invertibles in the algebra. On $$\operatorname{tr}(\phi(A)\psi(B)^k)=\operatorname{tr}(AB^k)$$39 and $$\operatorname{tr}(\phi(A)\psi(B)^k)=\operatorname{tr}(AB^k)$$40, the $$\operatorname{tr}(\phi(A)\psi(B)^k)=\operatorname{tr}(AB^k)$$41-component has the same form as on $$\operatorname{tr}(\phi(A)\psi(B)^k)=\operatorname{tr}(AB^k)$$42, while the non-$$\operatorname{tr}(\phi(A)\psi(B)^k)=\operatorname{tr}(AB^k)$$43 parts are arbitrary tails $$\operatorname{tr}(\phi(A)\psi(B)^k)=\operatorname{tr}(AB^k)$$44 landing in $$\operatorname{tr}(\phi(A)\psi(B)^k)=\operatorname{tr}(AB^k)$$45 or $$\operatorname{tr}(\phi(A)\psi(B)^k)=\operatorname{tr}(AB^k)$$46, subject only to the requirement that the image remain in the ambient space (Tsai et al., 26 Sep 2025).

A particularly strong conclusion is that when $$\operatorname{tr}(\phi(A)\psi(B)^k)=\operatorname{tr}(AB^k)$$47, multiplicative trace preservers always coincide with multiplicative spectrum preservers across all stochastic sets and spans considered. For $$\operatorname{tr}(\phi(A)\psi(B)^k)=\operatorname{tr}(AB^k)$$48 and $$\operatorname{tr}(\phi(A)\psi(B)^k)=\operatorname{tr}(AB^k)$$49, extra assumptions are needed in some span cases, but from three factors onward the two notions agree. This is a stochastic analogue of the rigidity phenomenon seen in general matrix products: additional multiplicative slots force the trace constraint to encode the full automorphic structure (Tsai et al., 26 Sep 2025).

6. Quantum channels, multiplicative domains, and trace-preserving complete positivity

In quantum information theory, the ambient objects are quantum channels $$\operatorname{tr}(\phi(A)\psi(B)^k)=\operatorname{tr}(AB^k)$$50, that is, completely positive trace-preserving maps. The relevant multiplicative notion is not usually preservation of the trace of arbitrary products by a family of maps, but preservation of matrix multiplication on a distinguished subalgebra. Passing to the adjoint $$\operatorname{tr}(\phi(A)\psi(B)^k)=\operatorname{tr}(AB^k)$$51, which is unital when $$\operatorname{tr}(\phi(A)\psi(B)^k)=\operatorname{tr}(AB^k)$$52 is trace-preserving, one defines the multiplicative domain

$$\operatorname{tr}(\phi(A)\psi(B)^k)=\operatorname{tr}(AB^k)$$53

An equivalent characterization is

$$\operatorname{tr}(\phi(A)\psi(B)^k)=\operatorname{tr}(AB^k)$$54

Thus multiplicative behavior for trace-preserving channels is encoded by the multiplicative domain of the unital adjoint (Rahaman, 2017).

The paper gives several equivalent descriptions. For a unital channel $$\operatorname{tr}(\phi(A)\psi(B)^k)=\operatorname{tr}(AB^k)$$55,

$$\operatorname{tr}(\phi(A)\psi(B)^k)=\operatorname{tr}(AB^k)$$56

the fixed-point algebra of $$\operatorname{tr}(\phi(A)\psi(B)^k)=\operatorname{tr}(AB^k)$$57. If $$\operatorname{tr}(\phi(A)\psi(B)^k)=\operatorname{tr}(AB^k)$$58, then

$$\operatorname{tr}(\phi(A)\psi(B)^k)=\operatorname{tr}(AB^k)$$59

This yields a Kraus-level criterion for nontrivial multiplicativity. The eventual multiplicative domain

$$\operatorname{tr}(\phi(A)\psi(B)^k)=\operatorname{tr}(AB^k)$$60

is a stabilizing $$\operatorname{tr}(\phi(A)\psi(B)^k)=\operatorname{tr}(AB^k)$$61-subalgebra on which $$\operatorname{tr}(\phi(A)\psi(B)^k)=\operatorname{tr}(AB^k)$$62 acts as a bijective $$\operatorname{tr}(\phi(A)\psi(B)^k)=\operatorname{tr}(AB^k)$$63-homomorphism, while $$\operatorname{tr}(\phi(A)\psi(B)^k)=\operatorname{tr}(AB^k)$$64 is strictly contractive on the Hilbert–Schmidt orthogonal complement. The restriction $$\operatorname{tr}(\phi(A)\psi(B)^k)=\operatorname{tr}(AB^k)$$65 has spectrum equal to the peripheral spectrum of $$\operatorname{tr}(\phi(A)\psi(B)^k)=\operatorname{tr}(AB^k)$$66, and $$\operatorname{tr}(\phi(A)\psi(B)^k)=\operatorname{tr}(AB^k)$$67 is the algebra generated by peripheral eigenoperators (Rahaman, 2017).

Global multiplicativity is extremely rigid. A trace-preserving CP map is multiplicative on all of $$\operatorname{tr}(\phi(A)\psi(B)^k)=\operatorname{tr}(AB^k)$$68 if and only if it is a $$\operatorname{tr}(\phi(A)\psi(B)^k)=\operatorname{tr}(AB^k)$$69-automorphism, hence unitary conjugation

$$\operatorname{tr}(\phi(A)\psi(B)^k)=\operatorname{tr}(AB^k)$$70

More generally, a channel is multiplicative precisely on the subalgebra determined by its multiplicative domain. The multiplicative index

$$\operatorname{tr}(\phi(A)\psi(B)^k)=\operatorname{tr}(AB^k)$$71

measures stabilization time, with $$\operatorname{tr}(\phi(A)\psi(B)^k)=\operatorname{tr}(AB^k)$$72 for normal or diagonalizable channels such as Pauli channels, while explicit examples on $$\operatorname{tr}(\phi(A)\psi(B)^k)=\operatorname{tr}(AB^k)$$73 show larger values. The paper also proves that channels with trivial multiplicative domain are dense in completely bounded norm among unital CP maps (Rahaman, 2017).

Relative to matrix preserver theory, the quantum-channel literature replaces exact preservation of $$\operatorname{tr}(\phi(A)\psi(B)^k)=\operatorname{tr}(AB^k)$$74 by exact multiplicativity on a subalgebra detected through trace-duality. The common principle remains the same: multiplicativity is governed by a rigid invariant algebra, and trace preservation supplies the correct adjoint formalism for finding it.

7. Trace-preserving homomorphisms on $$\operatorname{tr}(\phi(A)\psi(B)^k)=\operatorname{tr}(AB^k)$$75 and representation-theoretic rigidity

For subgroups $$\operatorname{tr}(\phi(A)\psi(B)^k)=\operatorname{tr}(AB^k)$$76, a trace-preserving homomorphism is a group homomorphism $$\operatorname{tr}(\phi(A)\psi(B)^k)=\operatorname{tr}(AB^k)$$77 such that

$$\operatorname{tr}(\phi(A)\psi(B)^k)=\operatorname{tr}(AB^k)$$78

Because trace on $$\operatorname{tr}(\phi(A)\psi(B)^k)=\operatorname{tr}(AB^k)$$79 carries strong conjugacy information, such homomorphisms behave like multiplicative trace preservers in a group-theoretic sense. The key identities are

$$\operatorname{tr}(\phi(A)\psi(B)^k)=\operatorname{tr}(AB^k)$$80

These permit propagation of trace preservation from a finite trace set to all words in the generators (Purzitsky, 2016).

The main innerness theorem states that if $$\operatorname{tr}(\phi(A)\psi(B)^k)=\operatorname{tr}(AB^k)$$81 is surjective and trace-preserving, and there exist $$\operatorname{tr}(\phi(A)\psi(B)^k)=\operatorname{tr}(AB^k)$$82 whose associated Möbius transformations have no common fixed point, then there exists $$\operatorname{tr}(\phi(A)\psi(B)^k)=\operatorname{tr}(AB^k)$$83 such that

$$\operatorname{tr}(\phi(A)\psi(B)^k)=\operatorname{tr}(AB^k)$$84

When both groups lie in $$\operatorname{tr}(\phi(A)\psi(B)^k)=\operatorname{tr}(AB^k)$$85, the conjugating element can be taken in $$\operatorname{tr}(\phi(A)\psi(B)^k)=\operatorname{tr}(AB^k)$$86. The proof proceeds by conjugating one generator to diagonal or standard parabolic form, using trace equalities to determine matrix entries of the images, and exploiting the absence of common fixed points to rule out degeneracies (Purzitsky, 2016).

The same paper develops finite trace parameterizations for finitely generated and finitely presented groups. If $$\operatorname{tr}(\phi(A)\psi(B)^k)=\operatorname{tr}(AB^k)$$87 and a surjective homomorphism preserves the traces of each generator and of every ordered product $$\operatorname{tr}(\phi(A)\psi(B)^k)=\operatorname{tr}(AB^k)$$88 of distinct generators with $$\operatorname{tr}(\phi(A)\psi(B)^k)=\operatorname{tr}(AB^k)$$89, then it preserves trace on all of $$\operatorname{tr}(\phi(A)\psi(B)^k)=\operatorname{tr}(AB^k)$$90. A more economical “anchored” criterion uses two generators $$\operatorname{tr}(\phi(A)\psi(B)^k)=\operatorname{tr}(AB^k)$$91 with no common fixed point, together with the traces of $$\operatorname{tr}(\phi(A)\psi(B)^k)=\operatorname{tr}(AB^k)$$92, $$\operatorname{tr}(\phi(A)\psi(B)^k)=\operatorname{tr}(AB^k)$$93, $$\operatorname{tr}(\phi(A)\psi(B)^k)=\operatorname{tr}(AB^k)$$94, and $$\operatorname{tr}(\phi(A)\psi(B)^k)=\operatorname{tr}(AB^k)$$95 for $$\operatorname{tr}(\phi(A)\psi(B)^k)=\operatorname{tr}(AB^k)$$96 (Purzitsky, 2016).

These results connect multiplicative trace preservation to character varieties. Trace functions on generators and selected products generate the trace algebra polynomially, while relators impose polynomial equations among those traces. This gives a concrete, elementary route from trace-preserving homomorphisms to local parameterizations of representation spaces, including Fuchsian groups with elliptic elements (Purzitsky, 2016).

Taken together, these diverse literatures show that multiplicative trace preservers are a unifying rigidity phenomenon rather than a single construction. In higher algebra they isolate the canonical Dennis and cyclotomic traces. In matrix theory they force similarity, congruence, or permutation structure. In stochastic and tensor settings they reduce to distinguished components such as the doubly stochastic or partial-trace parts. In quantum channels they are controlled by multiplicative domains and peripheral spectrum. In $$\operatorname{tr}(\phi(A)\psi(B)^k)=\operatorname{tr}(AB^k)$$97 they often collapse to conjugation. The recurring conclusion is that once multiplicativity and trace preservation are imposed simultaneously, the admissible maps are usually determined up to a very small canonical family (Blumberg et al., 2011, Hardy et al., 2019, Huang et al., 2021, Tsai et al., 26 Sep 2025, Rahaman, 2017, Purzitsky, 2016).