Skip to content
Shadow Theory

Chapter 6SPC-2 · Version 2

Quantum currents and observer-independent events

Reading position 11 of 37

The physical question in this chapter is what specifies an event before anyone notices it. Source/readout mathematics first identifies information sufficient to track weights and currents. The two following chapters then supply distinct constitutions for actual histories and material records. Their role is to establish physically specified processes to which an experiential interpretation can subsequently be applied.

6.1 The coherent source

Let H\HH be finite dimensional, H(t)=H(t)H(t)=H(t)^\dagger, and (Pn)(P_n) a finite orthogonal resolution of the identity. The sectors can include apparatus and an inaccessible reference. For

iΨ˙=HΨ,Ψn=PnΨ, i\hbar\dot\Psi=H\Psi,\qquad \Psi_n=P_n\Psi,

define wn=Ψn2w_n=\norm{\Psi_n}^2 and current into nn from mm by

Jnm=2ImΨn,HΨm. J_{nm}=\frac{2}{\hbar}\operatorname{Im}\ip{\Psi_n}{H\Psi_m}. (6.1)

Self-adjointness and direct differentiation give

Jnm=Jmn,w˙n=mnJnm,Jnm2Hwnwm. J_{nm}=-J_{mn},\qquad \dot w_n=\sum_{m\ne n}J_{nm},\qquad |J_{nm}|\le\frac{2\norm{H}}{\hbar}\sqrt{w_nw_m}. (6.2)

The diagonal term makes no contribution because its expectation is real. The last estimate follows from Cauchy–Schwarz. It controls possible behavior near empty sectors without making a choice of actual events.

An actual jump history requires a law on paths, not only the continuity equation. If NnmN_{nm} counts transitions mnm\to n, its predictable intensity λnm\lambda_{nm} is defined relative to a specified filtration by requiring

Nnm(t)0t1{Xs=m}λnm(s)ds N_{nm}(t)-\int_0^t\one_{\{X_{s-}=m\}}\lambda_{nm}(s)\dd s

to be a local martingale. A signed current density and a random atomic counting measure are different objects. Their identification cannot be made path by path by changing notation.

Bell's minimal rates are

λnmB(t)=[Jnm(t)]+wm(t)when wm(t)>0. \lambda^B_{nm}(t)=\frac{[J_{nm}(t)]_+}{w_m(t)} \quad\text{when }w_m(t)>0. (6.3)

The construction is established in the Bell-process literature [3, 15]. Its selection from a physical constitution is a further problem. For example, directed expected traffic of the form

Fnm=[Jnm]++snm,snm=smn0, F_{nm}=[J_{nm}]_++s_{nm},\qquad s_{nm}=s_{mn}\ge0,

has the same net current for every symmetric surplus ss. Equality of populations therefore does not identify the event traffic, waiting-time structure, or full path law.

6.2 Predictive current coordinates

A source/readout completion can determine what is needed to evaluate a proposed event law without selecting it. Let (Ha)a(H_a)_a be a finite family of admitted control Hamiltonians, and define Hermitian current observables

Cnma=PnHaPmPmHaPni,LaO=i[Ha,O]. C^a_{nm}=\frac{P_nH_aP_m-P_mH_aP_n}{i\hbar}, \qquad \mathcal L_a^*O=\frac{i}{\hbar}[H_a,O].

Let WW be the smallest real subspace of Hermitian operators containing all Pn,CnmaP_n,C^a_{nm} and invariant under every La\mathcal L_a^*. It can be computed by repeatedly adjoining images of a basis. Its dimension is at most (dimH)2(\dim\HH)^2.

Theorem 6.1 (Predictive-current representation)

For a basis O1,,OdO_1,\ldots,O_d of WW, let ξ(ρ)=(trρOj)j\xi(\rho)=(\tr\rho O_j)_j. Two density operators have equal ξ\xi if and only if all future sector weights and currents agree under every finite sequence of admitted constant-control pulses. The image of ξ\xi is the coarsest representation sufficient for this target, and it evolves autonomously during each pulse.

Proof

Invariance of WW implies invariance under etLae^{t\mathcal L_a^*} and finite products of these exponentials. Equal coordinates therefore give all nominated future expectations. Conversely, equality for all nonnegative pulse durations gives equality of all one-sided mixed derivatives at zero. The resulting ordered words in the generators applied to Pn,CnmaP_n,C^a_{nm} span WW, so the coordinates agree. Coarsest sufficiency follows from Theorem 5.1. In a basis write LaOi=jAijaOj\mathcal L_a^*O_i=\sum_jA^a_{ij}O_j; then ξ˙=Aaξ\dot\xi=A^a\xi.

The theorem is about informational sufficiency. It says nothing about whether ξ\xi is experienced. It also does not determine which event generator, preparation measure, or physically exposed actuator should accompany the coherent source. Those additional distinctions are retained in the two measurement constitutions below.

6.3 The independence of physical events from conscious observation

The mature measurement programme contains two different constitutive completions [37, 35, 34]. One uses actual continuous configurations guided by the complete wave and an initial equilibrium law. The other uses a deterministic pilot medium with an initial spatial ensemble and a controlled complete-path limit to Bell dynamics. Neither includes conscious awareness as the trigger of an event.

This is a conditional physical result. It establishes that the specified models define events and records without an awareness variable. It does not prove that these models are the unique laws of nature, nor that consciousness has no relation to the processes they describe. The relevance is conceptual and technical: a psychophysical aspect can be added to the realized history without being invoked to complete an otherwise undefined measurement.

6.4 Complete experiments and comparison spaces

A complete experiment includes the source, unknown input, inaccessible reference, apparatus, fuel, working display, archives, reset receivers, null and failure branches, control programme, and all future return interactions. An approximate operation leaves its actual output in the model. It does not replace a daughter state by an ideal one merely because a label has been declared.

Lemma 6.2 (Composition and conditioning)

If successive complete Markov kernels differ uniformly by at most ϵj\epsilon_j in total variation, their complete retained-history laws differ by at most jϵj\sum_j\epsilon_j. The same telescoping conclusion holds for quantum instruments in half-diamond distance with the required reference retained. If στ1δ\norm{\sigma-\tau}_1\le\delta, p=trσ>0p=\tr\sigma>0, and q=trτ>0q=\tr\tau>0, then

D(σ/p,τ/q)min{1,δ/p}. D(\sigma/p,\tau/q)\le\min\{1,\delta/p\}.

If dTV(P,Q)ϵ\TV(P,Q)\le\epsilon and both conditional laws on EE exist, with P(E)=p>0P(E)=p>0, then

dTV(P(E),Q(E))min{1,2ϵ/p}. \TV(P(\cdot\mid E),Q(\cdot\mid E))\le\min\{1,2\epsilon/p\}.
Proof

Replace kernels one at a time. The common remaining suffix contracts the chosen distance, and the retained prefix is part of the input on which the uniform bound holds. For normalization, σ/pτ/q1δ/p+pq/p2δ/p\norm{\sigma/p-\tau/q}_1\le\delta/p+|p-q|/p\le2\delta/p. The same triangle argument applied to restrictions of probability measures proves the conditional estimate.

The positivity of conditioning probabilities is not optional. A formal cap by one cannot define conditioning on a null event. Likewise, closeness of final output probabilities does not by itself imply closeness of the actual historical record. These distinctions are crucial when physical reports are later used as evidence concerning experience.