Balancing the two local phase actions recovers the ordinary complex tensor product. Within that supplied composition rule, an entangling interaction creates joint information that no pair of separate state vectors can retain.
One source does not specify every composite
The Single Monad Model emphasizes a common origin for physical multiplicity. That motivation invites a precise question: when two completed subsystems are available, what mathematical object describes their joint state? Source unity does not, by itself, choose a tensor product, identify independent controls, or determine which joint preparations are possible.
This matters because entanglement is a property of a state relative to a specified subsystem decomposition. A state cannot be called entangled without saying which degrees of freedom belong to each party and what their local operations mean. DTT must connect those operational subsystems to its generative organization, rather than infer every observed correlation from the existence of one source.
Why the local phase actions must agree
Suppose two real spaces V₁ and V₂ carry selected complex structures J₁ and J₂. In an ordinary complex composite, moving a factor i from one tensor factor to the other does not change the joint vector. The corresponding real relation is:
The phase-balanced real tensor product imposes this relation. It identifies the two local actions as one common scalar multiplication, with the appropriate induced inner product and completion. This is an extra composition rule. Choosing a phase on each individual carrier does not automatically impose it on their unbalanced real tensor product.
In physical terms, a consistent shared phase convention concerns how joint preparations and controls are compared. It need not mean that each isolated subsystem has an observable absolute phase.
A dimension check on two complex lines
A complex line has two real dimensions. The raw real tensor product of two such lines therefore has four real dimensions. Let x,J₁x be a real basis of the first factor and y,J₂y a real basis of the second. The balancing relation identifies J₁x⊗y with x⊗J₂y, while applying it again gives J₁x⊗J₂y=−x⊗y.
Only two independent real directions remain. They form one complex line, exactly as in the usual complex tensor product. More generally, spaces of complex dimensions m and n have a balanced composite of complex dimension mn, or real dimension 2mn. Counting the original real tensor coordinates without this quotient would produce a different theory of composition.
A worked entangling preparation
Now supply two complex two-level systems with basis states |0⟩ and |1⟩. Prepare |+⟩⊗|0⟩, where |+⟩=(|0⟩+|1⟩)/√2. A controlled bit flip on the second system gives:
No pair of vectors a|0⟩+b|1⟩ and c|0⟩+d|1⟩ has this product. A product would require ac=bd=1/√2 and ad=bc=0, which is impossible when the first two products are nonzero. The controlled interaction has therefore created an entangled state under the supplied tensor rule.
This demonstration assumes the quantum state space, normalized amplitudes, and available gate. It provides a clear source-model target: derive or implement the required interaction and explain which nested operations preserve the joint coherence until completion.
Joint coherence is more than matched labels
The reduced state of either subsystem in |Φ⟩ is I/2. Each local detector therefore sees balanced outcomes, while a joint Z-basis measurement gives equal labels. An incoherent mixture of |00⟩ and |11⟩ also gives those equal Z labels, but it is not the same joint state.
The distinction appears in a different joint test. For |Φ⟩ the expectation of X⊗X is one; for the equal incoherent mixture it is zero. The cross terms |00⟩⟨11| and |11⟩⟨00| carry the difference. Thus a completion interface that keeps correlated classical labels while erasing these terms has changed the accessible joint predictions.
The relevant question is not whether a picture displays two connected objects, but whether the retained state supports the actual family of joint tests.
Why unconditional local action does not send a signal
Within standard quantum mechanics, a trace-preserving local channel on the second subsystem cannot change the first subsystem's reduced state. For Kraus operators Mk satisfying ΣMk†Mk=I, the expectation of any first-system observable O after the channel is:
A selected outcome can change conditional predictions, but identifying that selected subset requires access to its outcome label. This separates joint correlations from a controllable instantaneous message. A DTT account of nonlocal correlations must preserve this distinction if it adopts the ordinary channel framework. Source unity alone is not an operational signaling mechanism.
The next composition theorem to pursue
A stronger reconstruction would derive a joint operation algebra from the source's admissible histories, identify the independent subsystems, and establish why local phase actions satisfy the balancing relation. It should then show how interactions generate entanglement and which completion operations preserve or destroy the relevant correlations.
The six nested inner roles can contribute specific dependencies to such a construction, but none should be equated with one tensor factor merely because there are six labels. The physical test is compositional consistency across experiments: one fixed model should predict product preparations, entangling controls, delayed measurements, and retained records. That would connect the common-source interpretation to calculable joint behavior.
Continue with the articles
- Real-commutant phase selection: a paper guide
An oriented real orthogonal flow can select an ordinary complex structure on its dynamic sector. Planar examples explain residual zero-mode freedom, time-reversal antilinearity and the extra balancing rule needed for composite systems.
- Completion without biasing an unknown input
A factorized accepted channel gives the same success probability for every admitted unknown input, including inputs entangled with a reference. The failure channel and the amplification of errors by conditioning require separate checks.
- A phase-sensitive registration experiment
Registering a completion flag before or after further source evolution changes later phase-sensitive acceptance statistics. The proposed protocol measures that order effect and compares it with an ordinary qubit baseline.
- Test languages and observable quotients
A test language determines which records an observer can distinguish. Enlarging that language refines the observable quotient and reveals when apparently different instruments retain the same information.
Sources and reading
- Completion principles, real commutants, and positive-frequency geometry for orthogonal Hilbert representations
- Real-commutant phase selection from real Hilbert representations
Read the original source for its exact formulation and edition. The examples on this page are explanatory reconstructions.