Ternary Cartesian Decomposition (TCAD)

• TCAD is a framework for decomposing ternary objects into three coherent components, each tailored to a specific domain’s structural requirements.
• In permutation groups, it constructs Cartesian decompositions that biject finite sets with product actions, exemplified by wreath product embeddings.
• In function decomposition and fluid kinematics, TCAD separates binary intermediates and tensor components, providing actionable insights for complexity bounds and invariant rotations.

Searching arXiv for the supplied topics and papers to ground the article. Ternary Cartesian Decomposition (TCAD) is not a single uniformly standardized construction across the arXiv literature. The term is used for at least three distinct technical frameworks that share a ternary structural motif: a Cartesian decomposition of a permutation domain into three components in permutation group theory, a fan-in-$2$ decomposition of a ternary function $T(x,y,z)$ through binary intermediates in decomposition complexity, and a three-part decomposition of the velocity gradient tensor $A=\nabla u$ in Cartesian coordinates into rigid rotation, pure shear, and stretching/compression in fluid kinematics. In ternary quantum logic, by contrast, the relevant Lie-theoretic notion is explicitly Cartan decomposition rather than Cartesian decomposition (Suleiman et al., 2022, Shen, 2010, Liu et al., 2021, Di et al., 2011).

1. Terminology and domain-specific meanings

The phrase “Ternary Cartesian Decomposition” appears in technically different settings, and the precise meaning depends on the object being decomposed. In the group-theoretic setting, the object is a finite set $\Omega$ carrying a ternary product structure $$\Omega \cong \Delta_1 \times \Delta_2 \times \Delta_3$$. In Shen’s decomposition-complexity setting, the object is a ternary function $T(x,y,z)$ represented via binary components $a(x,y)$ and $b(y,z)$. In fluid kinematics, the object is the velocity gradient tensor $A$, decomposed in the original $xyz$ coordinates as $T(x,y,z)$0. In ternary quantum-circuit synthesis, the cited source states that the correct term is Cartan decomposition, not Cartesian decomposition (Suleiman et al., 2022, Shen, 2010, Liu et al., 2021, Di et al., 2011).

Domain	Object	Canonical form
Permutation groups	Finite set $T(x,y,z)$1 with preserved ternary product structure	$T(x,y,z)$2, $T(x,y,z)$3
Decomposition complexity	Ternary function $T(x,y,z)$4	$T(x,y,z)$5
Fluid kinematics	Velocity gradient tensor $T(x,y,z)$6	$T(x,y,z)$7
Ternary quantum logic	One-qutrit and two-qutrit gate synthesis	Cartan decomposition $T(x,y,z)$8, not Cartesian

A plausible implication is that TCAD should be treated as a polysemous label rather than the name of a single canonical method. The commonality lies in ternary structure; the mathematical content differs sharply from one field to another.

2. TCAD in permutation group theory

In the permutation-group setting, a Cartesian decomposition of a finite set $T(x,y,z)$9 is a tuple of partitions $A=\nabla u$0 such that for any choice of blocks $A=\nabla u$1, the intersection $A=\nabla u$2 is a singleton. This induces a bijection between $A=\nabla u$3 and the Cartesian product $A=\nabla u$4. The ternary case is $A=\nabla u$5, with

$A=\nabla u$6

A permutation group $A=\nabla u$7 preserves the TCAD if it permutes the partitions $A=\nabla u$8 among themselves and respects the singleton-intersection property. The induced action on the set of components yields a homomorphism

$A=\nabla u$9

whose kernel acts componentwise on $\Omega$0 (Suleiman et al., 2022).

The associated wreath-product description is the structural core of the framework. For a typical component $\Omega$1, one chooses $\Omega$2 realizing the induced component action and lets $\Omega$3 be the image of $\Omega$4 on the set of components. The wreath product in product action is

$\Omega$5

Here $\Omega$6 is the base group acting independently on the three coordinates, while $\Omega$7 is the top group permuting coordinates. In the specialization of the Wreath Embedding Theorem to the ternary case, preservation of a homogeneous TCAD is equivalent to the existence of a permutational isomorphism under which

$\Omega$8

The kernel $\Omega$9 acts componentwise, and $$\Omega \cong \Delta_1 \times \Delta_2 \times \Delta_3$$0 permutes components (Suleiman et al., 2022).

The paper emphasizes two model cases. For regular action, if $$\Omega \cong \Delta_1 \times \Delta_2 \times \Delta_3$$1 acts regularly on $$\Omega \cong \Delta_1 \times \Delta_2 \times \Delta_3$$2, then $$\Omega \cong \Delta_1 \times \Delta_2 \times \Delta_3$$3 acts regularly on $$\Omega \cong \Delta_1 \times \Delta_2 \times \Delta_3$$4; if $$\Omega \cong \Delta_1 \times \Delta_2 \times \Delta_3$$5 is nontrivial, the full wreath product is not regular, but $$\Omega \cong \Delta_1 \times \Delta_2 \times \Delta_3$$6 remains a regular subgroup, $$\Omega \cong \Delta_1 \times \Delta_2 \times \Delta_3$$7, and $$\Omega \cong \Delta_1 \times \Delta_2 \times \Delta_3$$8. For diagonal groups, the simple diagonal subgroup

$$\Omega \cong \Delta_1 \times \Delta_2 \times \Delta_3$$9

acts simultaneously on all three coordinates, and the broader diagonal permutation group $T(x,y,z)$0 embeds into $T(x,y,z)$1. The worked examples with $T(x,y,z)$2 and $T(x,y,z)$3 illustrate the regular and diagonal patterns, respectively (Suleiman et al., 2022).

This usage of TCAD is thus a structural mechanism for realizing permutation groups inside wreath products in product action, with the ternary decomposition furnishing both the coordinate system and the induced homomorphism into $T(x,y,z)$4.

3. TCAD as decomposition complexity of ternary functions

In Shen’s framework, TCAD denotes decomposition of a ternary function into binary components with constrained intermediate alphabets. The basic model is

$T(x,y,z)$5

where

$T(x,y,z)$6

The decomposition complexity of $T(x,y,z)$7 does not exceed $T(x,y,z)$8 if there exist $T(x,y,z)$9 with $a(x,y)$0 and such functions $a(x,y)$1. The notation

$a(x,y)$2

captures the minimal total capacity of the two upper channels in the fan-in-$a(x,y)$3 network (Shen, 2010).

The core results are worst-case upper and lower bounds. Let $a(x,y)$4. The paper proves that the complexity of any function does not exceed $a(x,y)$5, and that the complexity of any predicate does not exceed $a(x,y)$6 as well as $a(x,y)$7. It also proves an existence lower bound: if $a(x,y)$8 and $a(x,y)$9 are at least $b(y,z)$0, then there exists a predicate with decomposition complexity $b(y,z)$1. The counting argument is expressed through the inequality

$b(y,z)$2

which forces either $b(y,z)$3 or logarithmic constraints on $b(y,z)$4 relative to $b(y,z)$5 or $b(y,z)$6 (Shen, 2010).

The explicit hard example is indexing. For

$b(y,z)$7

where $b(y,z)$8 is treated as a Boolean function $b(y,z)$9, the paper proves

$A$0

The proof fixes $A$1, regards $A$2 and $A$3 as functions of $A$4 and $A$5, and observes that from $A$6, $A$7, and $A$8 one must reconstruct the entire table $A$9, yielding

$xyz$0

hence $xyz$1 and $xyz$2 (Shen, 2010).

The examples sharpen the contrast between easy and hard decompositions. For parity, one bit for each channel suffices: $xyz$3 Thus $xyz$4. For equality $xyz$5, the paper states that one must transmit $xyz$6 and $xyz$7 completely, so $xyz$8 (Shen, 2010).

The framework is robust under approximation. For $xyz$9, the paper proves that if $T(x,y,z)$00, then there exists a predicate for which every $T(x,y,z)$01-approximation has decomposition complexity at least $T(x,y,z)$02, and for the indexing predicate any $T(x,y,z)$03-approximation has $T(x,y,z)$04. It also develops an algorithmic-information-theoretic version: if $T(x,y,z)$05 and $T(x,y,z)$06, then there exist $T(x,y,z)$07 with $T(x,y,z)$08 but no $T(x,y,z)$09 of length $T(x,y,z)$10 satisfying

$T(x,y,z)$11

A strengthened result states that under $T(x,y,z)$12 and $T(x,y,z)$13, there exists a computable total $T(x,y,z)$14 for which incompressible triples fail any such decomposition (Shen, 2010).

The same paper connects TCAD to one-dimensional cellular automata. In the non-uniform ASAP model, if $T(x,y,z)$15 is computable “as soon as possible” by a non-uniform cellular automaton using state alphabet $T(x,y,z)$16, then

$T(x,y,z)$17

This yields a corollary that the indexing predicate cannot be computed in this model, and a separation theorem that there exists a linear-time computable predicate that is not computable “as soon as possible” even non-uniformly (Shen, 2010).

4. TCAD of the velocity gradient tensor in Cartesian coordinates

In fluid kinematics, TCAD refers to a ternary decomposition of the velocity gradient tensor $T(x,y,z)$18 in the original Cartesian coordinates. The motivation is the limitation of the classical Cauchy–Stokes split

$T(x,y,z)$19

The cited paper states that $T(x,y,z)$20 mixes rigid-body rotation with antisymmetric shear and therefore cannot represent fluid rotation unambiguously, while $T(x,y,z)$21 mixes pure stretching/compression with symmetric shear, and the distinction between stretching and shear depends on the coordinate frame. On this basis, the paper derives the Cartesian-coordinate decomposition

$T(x,y,z)$22

where $T(x,y,z)$23 is the Liutex-based rigid rotation tensor, $T(x,y,z)$24 is the pure shear tensor, and $T(x,y,z)$25 is the stretching/compression tensor (Liu et al., 2021).

At rotational points, where $T(x,y,z)$26 has one real eigenvalue $T(x,y,z)$27 and a complex-conjugate pair $T(x,y,z)$28 with $T(x,y,z)$29, the Liutex direction $T(x,y,z)$30 is the unit real eigenvector satisfying

$T(x,y,z)$31

Let $T(x,y,z)$32 be the vorticity vector. The Liutex magnitude is

$T(x,y,z)$33

and the Liutex vector is $T(x,y,z)$34. The rigid rotation tensor is then

$T(x,y,z)$35

where the hat operation maps a vector to the associated skew-symmetric cross-product matrix. The stretching/compression tensor is

$T(x,y,z)$36

with component form

$T(x,y,z)$37

Finally,

$T(x,y,z)$38

Equivalently, $T(x,y,z)$39 with $T(x,y,z)$40, and $T(x,y,z)$41 with $T(x,y,z)$42 (Liu et al., 2021).

At irrotational points, where $T(x,y,z)$43 has three real eigenvalues, the Liutex part vanishes: $T(x,y,z)$44 and $T(x,y,z)$45. If $T(x,y,z)$46 is a real Schur orthogonal matrix such that $T(x,y,z)$47 is real lower-triangular with diagonal entries $T(x,y,z)$48, then

$T(x,y,z)$49

This preserves the decomposition directly in $T(x,y,z)$50 coordinates (Liu et al., 2021).

The paper characterizes the three components precisely. $T(x,y,z)$51 is skew-symmetric and trace-free, representing pure rigid-body rotation. $T(x,y,z)$52 is symmetric and contains only normal strain, carrying the trace

$T(x,y,z)$53

at rotational points. $T(x,y,z)$54 is trace-free and contains all remaining shear, both symmetric and antisymmetric. The paper further states that the inputs $T(x,y,z)$55, $T(x,y,z)$56, $T(x,y,z)$57, $T(x,y,z)$58, $T(x,y,z)$59, and $T(x,y,z)$60, and the outputs $T(x,y,z)$61, $T(x,y,z)$62, and $T(x,y,z)$63, are Galilean invariant (Liu et al., 2021).

This formulation is presented as a replacement for classical scalar vortex diagnostics that mix strain and rotation. The decomposition provides an explicit separation of rigid rotation, pure shear, and stretching/compression without coordinate rotations or pointwise optimization in a separate principal frame.

5. The quantum-circuit terminology collision: Cartan, not Cartesian

A recurrent source of confusion is the use of “TCAD” in the vicinity of ternary quantum logic. The cited qutrit-gate paper does not define a ternary Cartesian decomposition. Instead, it studies elementary gates for ternary quantum logic circuits and derives one-qutrit synthesis from Cartan decomposition of $T(x,y,z)$64 and $T(x,y,z)$65. The paper introduces the ternary controlled-$T(x,y,z)$66 (TCX) gate and ternary controlled-$T(x,y,z)$67 (TCZ) gate as two-qutrit elementary gates and states that either TCX or TCZ, together with arbitrary one-qutrit gates, is universal for ternary quantum computation (Di et al., 2011).

The Lie-theoretic factorization is explicitly

$T(x,y,z)$68

with $T(x,y,z)$69 and $T(x,y,z)$70 drawn from a subgroup generated by embedded $T(x,y,z)$71 rotations and diagonal phases. The explicit synthesis given in the paper is

$T(x,y,z)$72

The paper then states a terminology note: the correct mathematical term is Cartan decomposition, not Cartesian decomposition, and if “TCAD” appears in the literature in the context of ternary gate synthesis, it should be understood as “Ternary Cartan Decomposition”-based synthesis, not “Cartesian” (Di et al., 2011).

This distinction is substantive rather than merely lexical. The synthesis relies on the Cartan subalgebra of $T(x,y,z)$73, KAK factorization, and embedded $T(x,y,z)$74 rotations on two-level subspaces. It is therefore conceptually unrelated to the Cartesian-product structures used in permutation groups or to the ternary function decompositions of decomposition complexity.

6. Comparative perspective, misconceptions, and open directions

The sources collectively indicate that the main misconception surrounding TCAD is the assumption of a single accepted technical meaning. The literature considered here does not support that assumption. In one setting, TCAD is a decomposition of a set into three partition systems with singleton intersections; in another, it is a constrained communication/decomposition model for ternary functions; in a third, it is a tensor decomposition in Cartesian coordinates; and in qutrit synthesis the mathematically correct term is Cartan decomposition rather than Cartesian decomposition (Suleiman et al., 2022, Shen, 2010, Liu et al., 2021, Di et al., 2011).

A plausible unifying observation is that all of these constructions resolve a ternary object into structured lower-level components. In the group-theoretic case, the components are partitions or coordinates and the residual coupling is encoded by $T(x,y,z)$75. In decomposition complexity, the components are binary summaries $T(x,y,z)$76 and $T(x,y,z)$77 plus an aggregator $T(x,y,z)$78. In fluid kinematics, the components are rigid rotation $T(x,y,z)$79, pure shear $T(x,y,z)$80, and stretching/compression $T(x,y,z)$81. This suggests a family resemblance at the level of architecture rather than a common formal theory.

The most explicit open problems arise in decomposition complexity. The paper states that it would be interesting to get a linear bound for an explicit function in an intermediate case when $T(x,y,z)$82 and $T(x,y,z)$83 are short compared to $T(x,y,z)$84, asks what happens if $T(x,y,z)$85 is replaced by $T(x,y,z)$86 in the definition of $T(x,y,z)$87, asks for lower bounds for explicit ternary functions in the algorithmic-information-theoretic setting, asks for classical Shannon-information analogues of the multi-source Kolmogorov results, and asks whether the techniques of Hansen–Lachish–Miltersen can yield bounds for explicit functions in the algorithmic-information-theory setting (Shen, 2010).

In the permutation-group setting, the ternary case is distinguished by the fact that the top group embeds into $T(x,y,z)$88, so the possibilities are limited to the trivial group, a $T(x,y,z)$89-cycle subgroup $T(x,y,z)$90, a $T(x,y,z)$91-cycle subgroup $T(x,y,z)$92, or $T(x,y,z)$93. In the fluid-kinematic setting, the paper’s emphasis is not on open combinatorial questions but on the claim that the decomposition in the original $T(x,y,z)$94 coordinates provides a Galilean-invariant separation of rotation, shear, and stretching/compression. Taken together, these usages show that “TCAD” functions as a domain-sensitive shorthand whose meaning must be fixed by context rather than by acronym alone (Suleiman et al., 2022, Liu et al., 2021).