Manuscript Psy02-A@1 · Psy02-A.tex · d92ce402
Psy02-A Conditional Scalar-Carrier Bounds and Operational Separation: A Mathematical Framework for Evaluating Orch-OR Hypotheses
Specifies version 1 of a conditional scalar-carrier framework for evaluating Orch-OR hypotheses. The carrier, the residual state, the environmental channel, the measurement, the causal schedule, the regularized reduction, and the consciousness assignment are separated modules. lem:number and thm:concentration prove finite-family concentration for displaced Fock-normal states. The exact criterion is vanishing of the observable-specific second moment. A residual number bound is sufficient and not necessary. thm:ordered treats general families by ordered Weyl expectations and does not assume a joint probability distribution. thm:fluctuations keeps exact residual-state fluctuation identities and does not infer coherence survival from concentration. thm:witness requires an independent trace-distance certificate. prop:attenuation and prop:dephasing show that concentration, occupation, and one accessible marginal do not preserve quantum information. thm:contact and thm:response-invariant construct a separate massless Wick-square response benchmark and classify its declared contact ambiguity. thm:support bounds scheduled ancestors. thm:nonidentifiable requires separated complete-record laws for mechanism identification. thm:collapse-channel supplies one regularized finite-dimensional reduction semigroup whose rate is E_G over hbar. Mass assignments and physical interpretation remain additional inputs. thm:nonentailment and thm:main record that an unconstrained consciousness assignment is not entailed by the stated physical premises. Em06-A, Em06-B, VII-H, VII-J, VIII-C, En01-A, En01-B, En01-C, Em05-A, and En02-E are documentary source records and are not premises. This is not a derivation of Orch-OR, not neuronal quantum viability, not quantum gravity, and not conscious experience. This is not metric reconstruction, not Einstein dynamics, not holographic identification, not a Page curve, and not spacetime emergence. It does not repair XI-G. It does not close O.1. O.1 stays NOT_CLOSED. The series Route B is not discharged. XVI-N is not discharged. XV-B is not opened. XVI-P is registered and is not a premise. H2, I3, and J2 stay unresolved. Full spacetime emergence is not constructed. No quantum coefficient is admitted. No compilation is asserted. Numerical execution is not asserted. Independent execution is not asserted.
Front matter
abstractAbstractFront matter · lines 96–128
Open as its own pageA mathematical assessment of orchestrated objective reduction requires separating the construction of a quantum carrier from observable concentration, environmental coherence loss, measurement, causal influence, and interpretation as conscious experience. We develop a modular conditional framework motivated by Cheung's scalar-carrier, response, and causal-support manuscripts, while retaining their distinct models and proof boundaries. For displaced Fock-normal states, we prove finite-family concentration, ordered Weyl bounds, and exact residual-state fluctuation identities with explicit number-moment constants. An environmental moment inequality gives a time-uniform concentration certificate, but an independently specified trace-distance witness is required for coherence survival. Explicit attenuation and dephasing examples show that concentration, occupation, and a single accessible marginal do not determine quantum-information preservation. We construct a separate massless Wick-square response benchmark, classify its declared contact ambiguity, and evaluate an invariant nonzero test. Finite channel schedules yield reference-preserving ancestor bounds, whereas mechanism identification requires separated complete-record laws. A regularized finite-dimensional mass-density model supplies a well-defined reduction semigroup and stochastic unraveling, including the rate ; its mass assignments and physical interpretation remain additional inputs. The complete work plan and a claim-status ledger identify the remaining carrier, biological, continuum, detector, causal, and interpretive obligations. No derivation of Orch-OR, neuronal quantum viability, quantum gravity, or conscious experience is asserted.
sectionFront matterFront matter · lines 128–134
Open as its own pageKeywords: Orch-OR; scalar carrier; Fock space; concentration; quantum coherence; instruments; response normalization; causal support; collapse models; identifiability.
Introduction and statement repair
sectionIntroduction and statement repairIntroduction and statement repair · lines 136–174
Open as its own pageThe Orch-OR proposal associates biologically orchestrated quantum processes with a proposed gravity-related reduction mechanism and an interpretation in terms of conscious experience HameroffPenrose,Penrose,Diosi. These are distinguishable commitments. A calculation concerning a free scalar observable does not, without additional constructions, identify its carrier with a neuronal degree of freedom, establish the relevant environmental dynamics, or assign an experiential meaning to an event.
Cheung's Em06-A and Em06-B manuscripts supply the immediate mathematical motivation for distinguishing scalar-only classical targets, residual-state concentration, and normalized fluctuations CheungEm06A,CheungEm06B. VII-H motivates normalization-independent response diagnostics, while VII-J and VIII-C motivate a separation between scheduled support and actual influence CheungVIIH,CheungVIIJ,CheungVIIIC. En01-A, En01-B, En01-C, and Em05-A motivate the additional separation of accessible observations from coherence, recovery, and mechanism identification CheungEn01A,CheungEn01B,CheungEn01C,CheungEm05A.
boundary. The supplied landmark excerpts are documentary source records. They are not treated as an independently audited collection of complete proofs. The results below are proved for newly specified objects. When a bridge to a landmark's classical input map or to a biological model is not constructed here, it is explicitly an assumption or an unresolved obligation. Similar notation does not identify different Hilbert spaces, test classes, states, channels, prescriptions, or physical models.
repaired claims. The following corrections are part of the mathematical framework, not qualifications added after its conclusion.
sectionIntroduction and statement repairIntroduction and statement repair · Psy02-A@1#tab:repairs · lines 174–229
Open as its own pagerepairs to the proposed landmark incorporation.
Proposed identification Correct statement Concentration replaces decoherence-time analysis Concentration controls specified observable laws. A coherence or recovery witness needs its own dynamics and bound. Residual number counts surviving degrees of freedom is an excitation-number expectation in a declared residual frame. Decoherence is input variation or detector noise These are particular perturbation models. General environmental dynamics require a reduced channel or system–environment evolution. A scalar field replaces a spin or dipole carrier This is a surrogate choice unless an operational correspondence is proved for named states and observations. Ordered Weyl expectations are sequential probabilities Sequential probabilities require instruments. An ordered expectation need not be a joint characteristic function. Contact ambiguity is residual-state variance These concern different objects: response-distribution normalization and state-dependent moments. A collapse timescale specifies a collapse model A stochastic law, unconditional evolution, regularization, outcomes, and compatibility conditions must also be supplied. Scheduled dependence identifies the mechanism Scheduled ancestors bound possible influence. Mechanism identification requires separated accessible record laws. and novelty boundary. The Fock estimates and channel inequalities use standard methods. The contribution is their explicit assembly into a two-budget certification framework, together with counterexamples and interfaces that prevent invalid transfers between its modules. The finite reduction model is a declared regularized comparison model, not a derivation of a new physical collapse law.
Carrier specification and finite realizations
sectionFock conventions, domains, and number momentsCarrier specification and finite realizations › Fock conventions, domains, and number moments · Psy02-A@1#eq:CCR, Psy02-A@1#eq:Weyl · lines 233–278
Open as its own pageLet be a separable complex Hilbert space whose inner product is linear in the second argument. Let
On the finite-particle domain , use
The map is real linear. Define
These conventions give
Standard Fock and Weyl constructions are discussed in Derezinski; the domain argument used below invokes the analytic-vector theorem Nelson.
A normal state is represented by a positive trace-class operator with . Its residual number moment is
For an unbounded self-adjoint , means the spectral quadratic moment, which may be finite even when an operator product is not trace class in a naive sense.
lemmaLemma: Field domains and the number estimateCarrier specification and finite realizations › Fock conventions, domains, and number moments · Psy02-A@1#lem:number, Psy02-A@1#eq:number-bound · proof attached · lines 279–331
Open as its own pageFor , is essentially self-adjoint on . Its closure satisfies, as a quadratic-form inequality on ,
Consequently, whenever ,
Proof. The creation and annihilation estimates are
Apply .
If has particle support at most , repeated application of these estimates bounds
The corresponding analytic-vector series converges for every fixed argument. Thus is a dense invariant domain of analytic vectors, and the analytic-vector theorem establishes essential self-adjointness.
The form estimate extends to by graph-norm approximation. Expand a positive trace-class in an orthonormal eigenbasis and sum the form estimate. Finite ensures that the relevant eigenvectors with positive eigenvalue lie in . The resulting bound is (eq:number-bound).
sectionSpacetime tests are not one-particle vectorsCarrier specification and finite realizations › Spacetime tests are not one-particle vectors · Psy02-A@1#eq:test-map · lines 333–364
Open as its own pageA compact spacetime test and its associated one-particle vector are different objects. Support restrictions apply initially to , not automatically to a position representation of .
For an explicit flat-space example, put
and, for real , define
The value at the single point is irrelevant to the class. Coordinates in the following estimate are expressed in a fixed reference unit.
propositionProposition: A concrete compact-test allowanceCarrier specification and finite realizations › Spacetime tests are not one-particle vectors · Psy02-A@1#prop:compact-test, Psy02-A@1#eq:test-bound · proof attached · lines 365–404
Open as its own pageThe map is well defined and satisfies
The same inequality bounds with on the right.
If for compact smooth , then .
Proof. Integration by parts gives
Since ,
The integral is , proving (eq:test-bound). Linearity gives the difference estimate. The Fourier multiplier of the displayed wave operator vanishes on , proving the last assertion.
sectionSpacetime tests are not one-particle vectorsCarrier specification and finite realizations › Spacetime tests are not one-particle vectors · lines 404–411
Open as its own pageFor a different background, classical metric input, switch, or relational test prescription, the corresponding map must be constructed separately. The flat-space estimate does not prove a curved-background or unrestricted gauge theorem.
definitionDefinition: Admissible carrier dataCarrier specification and finite realizations › Spacetime tests are not one-particle vectors · Psy02-A@1#def:carrier · lines 412–426
Open as its own pageAn admissible carrier specification consists of:
a fixed , Fock representation, and field convention;
a named compact spacetime test class and a specified map , or an explicit designation as an abstract oscillator surrogate;
real offsets , vectors , and a displacement direction , for ;
a normal residual state with finite number moment;
any common-support, plateau, and gauge restrictions used by the input map.
definitionDefinition: Operational carrier correspondenceCarrier specification and finite realizations › Carrier correspondence and the finite-dimensional obstruction · Psy02-A@1#eq:carrier-effect · lines 430–446
Open as its own pageA bounded-observation correspondence consists of a state class , an encoding channel , matched effects and , and a bound
The participating state and effect classes are part of the definition.
sectionCarrier correspondence and the finite-dimensional obstructionCarrier specification and finite realizations › Carrier correspondence and the finite-dimensional obstruction · lines 446–451
Open as its own pageThis comparison does not automatically control an unbounded field moment, an entire output channel, or reference-assisted recovery. Those require stronger, separately named comparisons.
propositionProposition: Finite-dimensional CCR obstructionCarrier specification and finite realizations › Carrier correspondence and the finite-dimensional obstruction · Psy02-A@1#prop:finite-CCR, Psy02-A@1#eq:compressed-CCR · proof attached · lines 452–487
Open as its own pageNo finite-dimensional matrices , , satisfy
when .
For the oscillator truncated to , define
Then
Proof. The trace of a commutator is zero, while . Direct multiplication gives , which implies (eq:compressed-CCR).
sectionCarrier correspondence and the finite-dimensional obstructionCarrier specification and finite realizations › Carrier correspondence and the finite-dimensional obstruction · lines 487–492
Open as its own pageAn approximate spin–scalar bridge must therefore specify its restricted observations and its boundary or compression error. It cannot assert an exact nonzero canonical commutator.
sectionDeterministic finite Fock approximationsCarrier specification and finite realizations › Deterministic finite Fock approximations · lines 493–498
Open as its own pageFor , let project onto total number at most , and let . Introduce a visible failure state .
theoremTheorem: Flagged cutoff and its correct error regimesCarrier specification and finite realizations › Deterministic finite Fock approximations · Psy02-A@1#thm:cutoff, Psy02-A@1#eq:cutoff-general, Psy02-A@1#eq:cutoff-diagonal · proof attached · lines 499–553
Open as its own pageThe map
is deterministic and CPTP. The retained subspace has dimension
For ,
In the common output space containing the original Fock space and the flag,
Proof. Use as the low-block Kraus operator and for an orthonormal basis of the high block. Their effects sum strongly to . The dimension follows from counting occupation vectors.
On , , giving the tail bound. Purify to , and set . A calculation in their two-dimensional span gives
Partial trace contracts the trace norm. The orthogonal flag contributes to the half trace distance, proving (eq:cutoff-general). When , the difference is a positive high block of trace and a negative orthogonal flag block of the same trace, proving (eq:cutoff-diagonal).
sectionDeterministic finite Fock approximationsCarrier specification and finite realizations › Deterministic finite Fock approximations · lines 553–559
Open as its own pageThe exact linear tail error agrees with the number-diagonal regime described in Cheung's En02-E CheungEn02E. It must not be transferred unchanged to arbitrary coherent states.
propositionProposition: Independent ancillary transferCarrier specification and finite realizations › Deterministic finite Fock approximations · Psy02-A@1#prop:ancilla · proof attached · lines 560–581
Open as its own pageLet be ancillary states independent of a message and its reference. For a fixed channel , define
Then
Here and below .
Proof. For every referenced input state , the input difference is , of trace norm . Apply channel contraction and take the supremum.
sectionDeterministic finite Fock approximationsCarrier specification and finite realizations › Deterministic finite Fock approximations · lines 581–586
Open as its own pageThis is a common-interface ancillary statement. It is not an automatic biological encoding or a dynamical simulation theorem.
Static concentration and normalized fluctuations
sectionDisplacement-compatible targetsStatic concentration and normalized fluctuations › Displacement-compatible targets · Psy02-A@1#eq:observable, Psy02-A@1#eq:displacement · lines 590–625
Open as its own pageFor , set
Thus the target is displacement compatible. An arbitrary collection of numbers is not silently presumed to arise from one common displacement.
By the Weyl convention,
Write
theoremTheorem: Finite-family concentrationStatic concentration and normalized fluctuations › Displacement-compatible targets · Psy02-A@1#thm:concentration, Psy02-A@1#eq:exact-mse, Psy02-A@1#eq:mse-bound, Psy02-A@1#eq:mean-bound, Psy02-A@1#eq:variance-bound, Psy02-A@1#eq:W2-exact, Psy02-A@1#eq:joint-W2 · proof attached · lines 626–706
Open as its own pageFor each , let be the spectral law of in . Then
For ,
If for every pair, the family strongly commutes and has a joint spectral law on , with
The exact criterion for concentration of a selected coordinate is
The condition is sufficient for fixed bounded vector families, but is not necessary.
Proof. Equation (eq:displacement) and unitary invariance of spectral moments prove (eq:exact-mse). Lemma lem:number proves (eq:mse-bound). Cauchy–Schwarz gives the mean estimate. Variance about the actual mean is at most the mean-square error about a prescribed target.
There is only one coupling of a probability law with a point mass, so its squared Wasserstein distance is its squared distance moment. Markov's inequality gives the tail bound.
If all symplectic pairings vanish, all one-parameter Weyl groups commute by (eq:Weyl); hence the self-adjoint generators strongly commute. The joint spectral theorem applies. Its squared distance moment is the sum of the coordinate moments, proving (eq:joint-W2). The final criterion is the exact identity (eq:W2-exact).
corollaryCorollary: Uniform bounded-family versionStatic concentration and normalized fluctuations › Displacement-compatible targets · Psy02-A@1#cor:uniform · proof attached · lines 708–726
Open as its own pageFor a fixed finite , suppose
Then all coordinate mean errors, variances, mean-square errors, and spectral distances to their displacement-compatible targets vanish uniformly in . For commuting families the joint Wasserstein distance also vanishes.
Proof. The common upper bound is , which tends to zero.
sectionOrdered expectations for noncommuting familiesStatic concentration and normalized fluctuations › Ordered expectations for noncommuting families · lines 728–736
theoremTheorem: Ordered Weyl identity and boundStatic concentration and normalized fluctuations › Ordered expectations for noncommuting families · Psy02-A@1#thm:ordered, Psy02-A@1#eq:ordered, Psy02-A@1#eq:ordered-bound, Psy02-A@1#eq:ordered-vacuum · proof attached · lines 737–801
Open as its own pageFor arbitrary real ,
For residual vacuum,
Under the bounded-family assumptions of Corollary cor:uniform, convergence to is uniform on compact -sets.
Proof. Repeated application of (eq:Weyl) produces the phase and the final direction . Conjugation by gives the target phase.
For self-adjoint , spectral calculus gives
Apply this with , use Lemma lem:number, and combine with . Vacuum normal ordering gives . On compact -sets, the vector norms and symplectic phase have common bounds.
sectionOrdered expectations for noncommuting familiesStatic concentration and normalized fluctuations › Ordered expectations for noncommuting families · lines 801–807
Open as its own pageThis reproduces the mathematical form of the supplied Em06-B ordered-correlation interface with the conventions fixed here CheungEm06B; it is not an independent audit of the landmark's classical relational map.
propositionProposition: Ordered correlations need not be a joint lawStatic concentration and normalized fluctuations › Ordered expectations for noncommuting families · Psy02-A@1#prop:not-joint · proof attached · lines 808–829
Open as its own pageThe ordered expression in (eq:ordered) need not be the characteristic function of a classical joint probability law.
Proof. Take residual vacuum, zero targets, , , with . Then
A joint characteristic function must satisfy . The displayed function violates this identity whenever .
theoremTheorem: Exact residual fluctuationsStatic concentration and normalized fluctuations › Fluctuations and failure of a unique limit · Psy02-A@1#thm:fluctuations · proof attached · lines 840–888
Open as its own pageThe fluctuation family has the exact residual representation
Its commutators, on the conjugated common core or as the corresponding form identities, are
The unnormalized observables instead satisfy
Concentration does not determine a unique fluctuation limit. A sufficient additional condition for convergence of bounded fluctuation expectations is trace-norm convergence of the residual states in the fixed representation.
Proof. The representation follows directly from (eq:displacement); the commutators follow from (eq:CCR). For every bounded operator ,
Apply this to fluctuation Weyl products or bounded spectral functions.
For nonuniqueness, let , and alternate and in one mode. Then , so concentration holds. For ,
The two subsequences have distinct characteristic functions.
remarkRemark: Variance alone misses biasStatic concentration and normalized fluctuations › Fluctuations and failure of a unique limit · lines 890–902
Open as its own pageIn one mode, a residual coherent state with real amplitude has
Thus vanishing variance does not imply concentration about the prescribed target. A symmetric mixture of the two opposite amplitudes has zero mean error but mean-square error .
remarkRemark: Residual and physical occupationStatic concentration and normalized fluctuations › Fluctuations and failure of a unique limit · lines 904–917
Open as its own pageThe residual number is not the occupation of the displaced state. The displacement shifts annihilators by a scalar, giving the safe estimate
Even displaced vacuum can therefore have occupation of order . Neither quantity counts modes or surviving biological degrees of freedom.
Environmental dynamics and the two-budget principle
sectionA conditional time-uniform concentration budgetEnvironmental dynamics and the two-budget principle › A conditional time-uniform concentration budget · lines 922–933
Open as its own pageLet be physical or model time. Specify normal residual states , vectors , offsets, and displacement-compatible targets. The actual state is
assumptionAssumption: Environmental moment certificateEnvironmental dynamics and the two-budget principle › A conditional time-uniform concentration budget · Psy02-A@1#ass:environment · lines 934–948
Open as its own pageThe chosen reduced dynamics preserves normality and finite number moments. The function is absolutely continuous and satisfies, almost everywhere,
where are integrable and . These statements must be justified from the chosen dynamics; they are not consequences of static concentration.
sectionA conditional time-uniform concentration budgetEnvironmental dynamics and the two-budget principle › A conditional time-uniform concentration budget · lines 948–956
Open as its own pageDefine
theoremTheorem: Time-uniform observable concentrationEnvironmental dynamics and the two-budget principle › A conditional time-uniform concentration budget · Psy02-A@1#thm:time-concentration, Psy02-A@1#eq:time-budget · proof attached · lines 957–988
Open as its own pageUnder Assumption ass:environment,
If
then
The bound vanishes if .
Proof. Multiply the moment inequality by and integrate. Apply Theorem thm:concentration at each time.
sectionA conditional time-uniform concentration budgetEnvironmental dynamics and the two-budget principle › A conditional time-uniform concentration budget · lines 988–994
Open as its own pageA bounded-generator theorem does not automatically justify this assumption for an unbounded field generator. Domain, moment, and conservativity arguments remain necessary for such a model.
sectionA separately specified coherence witnessEnvironmental dynamics and the two-budget principle › A separately specified coherence witness · Psy02-A@1#eq:coherence-witness · lines 995–1019
Open as its own pageUse the trace and channel distances
For channels, the latter controls all referenced input states. The relevant operational norm facts are summarized in Watrous.
Fix a dephasing channel , an input state , and an accessible channel . Define
The basis, decomposition, or record algebra defining is part of the specification.
theoremTheorem: Operational meaning and stability of the witnessEnvironmental dynamics and the two-budget principle › A separately specified coherence witness · Psy02-A@1#thm:witness, Psy02-A@1#eq:witness-stability · proof attached · lines 1020–1077
Open as its own pageFor the witness (eq:coherence-witness),
Further deterministic processing cannot increase .
Suppose
with the same . Then
Thus a survival certificate is
Proof. The output difference is Hermitian and traceless. Its positive and negative parts have equal trace, each equal to half its trace norm. The positive spectral projector attains the effect supremum.
Trace distance contracts under a channel. For channel perturbations, each of the two normalized input states contributes trace-norm error at most . After multiplying their sum by , the allowance is . For preparation changes, contractivity of and gives
The reverse triangle inequality proves (eq:witness-stability).
sectionA separately specified coherence witnessEnvironmental dynamics and the two-budget principle › A separately specified coherence witness · lines 1077–1084
Open as its own pageThis is the independently proved channel interface suggested by Cheung's En01-A CheungEn01A. It is not a statement about every possible definition of coherence.
corollaryCorollary: A recovery certificate implies a witness allowanceEnvironmental dynamics and the two-budget principle › A separately specified coherence witness · Psy02-A@1#cor:recovery · proof attached · lines 1085–1103
Open as its own pageOn a declared finite code, suppose a decoder satisfies
For code states ,
Proof. Apply Theorem thm:witness to and use contraction under the decoder.
sectionAn explicit attenuator and its separate budgetsEnvironmental dynamics and the two-budget principle › An explicit attenuator and its separate budgets · lines 1105–1120
Open as its own pageLet the system and bath have oscillator modes. A passive beam-splitter unitary has output annihilators
Prepare an independent bath state with and finite total number . Tracing the bath defines a channel . This is a standard attenuation construction HolevoWerner; the needed identities are proved below.
propositionProposition: Attenuation moment and displacement identitiesEnvironmental dynamics and the two-budget principle › An explicit attenuator and its separate budgets · Psy02-A@1#prop:attenuation · proof attached · lines 1121–1147
Open as its own pageFor every finite-number input ,
Furthermore,
Proof. Expand . The cross terms vanish because the bath is independent and centered. Sum over . A displacement of the system transforms into a system displacement of amplitude and a bath displacement. The latter disappears under partial trace.
sectionAn explicit attenuator and its separate budgetsEnvironmental dynamics and the two-budget principle › An explicit attenuator and its separate budgets · lines 1147–1156
Open as its own pageFor a vacuum bath and one mode, let
and let dephase in the number basis.
propositionProposition: Concentration and coherence have different trajectoriesEnvironmental dynamics and the two-budget principle › An explicit attenuator and its separate budgets · Psy02-A@1#prop:attenuator-witness · proof attached · lines 1157–1193
Open as its own pageFor the preceding input,
With , , the selected observable concentration bound is
whereas the witness is
For , witness survival up to is equivalent to
Proof. Vacuum attenuation maps
The output difference between the coherent and dephased inputs has off-diagonal entries , hence eigenvalues . The remaining statements follow by substitution.
sectionAn explicit attenuator and its separate budgetsEnvironmental dynamics and the two-budget principle › An explicit attenuator and its separate budgets · lines 1193–1199
Open as its own pageConcentration can therefore improve while the independently specified coherence witness decreases. A concentration condition does not replace the survival timescale.
propositionProposition: Number-preserving complete dephasingEnvironmental dynamics and the two-budget principle › Counterexamples to occupation-only and marginal-only inference · Psy02-A@1#prop:dephasing · proof attached · lines 1202–1224
Open as its own pageIn one mode,
and both inputs satisfy the same number-based concentration bound. Yet
Thus finite number and small scaled observable spread do not imply preservation of this quantum witness.
Proof. Both states have number populations . Their difference has eigenvalues . The dephasing channel annihilates that difference.
propositionProposition: One accessible marginal does not determine recoveryEnvironmental dynamics and the two-budget principle › Counterexamples to occupation-only and marginal-only inference · Psy02-A@1#prop:Bell · proof attached · lines 1226–1258
Open as its own pageThe identity qubit channel and complete -dephasing produce the same accessible output for the system half of a Bell input. Their optimal deterministic referenced recovery errors are, respectively,
in half-diamond distance to the identity.
Proof. Both channels fix . Identity is recovered exactly. Complete dephasing is entanglement breaking, so every decoder leaves its Bell-input output separable across reference and receiver. A separable two-qubit state has Bell-projector expectation at most , by Cauchy–Schwarz for pure product states and convexity. The Bell test therefore gives error at least .
For attainment,
so .
sectionCounterexamples to occupation-only and marginal-only inferenceEnvironmental dynamics and the two-budget principle › Counterexamples to occupation-only and marginal-only inference · lines 1258–1263
Open as its own pageThis finite proof supplies the relevant distinction without importing the separate extraction model of Em05-A CheungEm05A.
Input, preparation, and measurement budgets
sectionA declared input-control interfaceInput, preparation, and measurement budgets › A declared input-control interface · lines 1267–1273
Open as its own pageLet collect classical metric data, switching data, observation tests, and any other classical inputs. A common representation and common admissible support class must be fixed before comparing and .
assumptionAssumption: Input map certificateInput, preparation, and measurement budgets › A declared input-control interface · Psy02-A@1#ass:input · lines 1274–1287
Open as its own pageFor each selected observation, the constructed input map provides targets , vectors , and bounds
Any exact gauge identity asserts equality only on its declared common plateau. An outside-plateau defect is included in or in a separately bounded operator remainder.
sectionA declared input-control interfaceInput, preparation, and measurement budgets › A declared input-control interface · lines 1287–1297
Open as its own pageFor the explicit flat test map, Proposition prop:compact-test provides an instantiated . For the full Em06-B relational input map, the corresponding metric, switch, and plateau estimates require that manuscript's complete definitions and constants CheungEm06B. The present assumption does not pretend to reconstruct them from a release summary.
sectionPreparation in a moment-compatible metricInput, preparation, and measurement budgets › Preparation in a moment-compatible metric · lines 1298–1305
Open as its own pageFor a state , write
when finite, interpreted through the appropriate quadratic form.
definitionDefinition: Preparation allowance for a selected momentInput, preparation, and measurement budgets › Preparation in a moment-compatible metric · Psy02-A@1#def:preparation, Psy02-A@1#eq:prep-allowance · lines 1306–1326
Open as its own pageA preparation allowance certifies
One sufficient construction uses common purifications and
sectionPreparation in a moment-compatible metricInput, preparation, and measurement budgets › Preparation in a moment-compatible metric · lines 1326–1332
Open as its own pageThe sufficient construction follows from the triangle inequality. It controls a selected unbounded moment, unlike an unqualified trace-distance preparation bound.
propositionProposition: Trace distance alone does not bound field momentsInput, preparation, and measurement budgets › Preparation in a moment-compatible metric · Psy02-A@1#prop:unbounded-prep · proof attached · lines 1333–1356
Open as its own pageThere are one-mode states with
but
Proof. Take
The trace distance is . Since , the second moment is .
sectionPreparation in a moment-compatible metricInput, preparation, and measurement budgets › Preparation in a moment-compatible metric · Psy02-A@1#eq:prep-tail · lines 1356–1377
Open as its own pageFor completeness, a trace-distance allowance becomes usable when supplemented by a tail certificate. Let
If , then
Indeed , and an effect expectation changes by at most trace distance.
sectionIntrinsic and recorded observablesInput, preparation, and measurement budgets › Intrinsic and recorded observables · Psy02-A@1#eq:implementation, Psy02-A@1#eq:carrier-W2 · lines 1378–1417
Open as its own pageSuppose the implemented self-adjoint observable, in the declared residual frame, satisfies
where
The bounded remainder preserves self-adjointness on the field domain. Let .
Let be its spectral outcome in . A recorded surrogate outcome has a specified coupling
This representation may be independent additive detector noise or a certified correlated readout error.
Finally, if a physical carrier is claimed, require a same-quantity comparison between its recorded law and the surrogate recorded law:
Both laws must have finite second moments.
theoremTheorem: End-to-end scalar readout budgetInput, preparation, and measurement budgets › Intrinsic and recorded observables · Psy02-A@1#thm:readout, Psy02-A@1#eq:complete-budget · proof attached · lines 1418–1468
Open as its own pageUnder the preceding hypotheses, define
where
Then
In the surrogate-only case set and replace the biological law by the surrogate law.
The mean error is at most , and
Proof. Use the triangle inequality for the state quadratic norm in (eq:implementation). Definition def:preparation bounds the principal field term; Lemma lem:number bounds the vector-change term. The scalar and bounded-operator contributions are at most and .
The spectral distance to the target point mass is the root mean-square error. Minkowski gives
Finally apply the Wasserstein triangle inequality to (eq:carrier-W2). Cauchy–Schwarz and Markov's inequality give the last claims.
sectionIntrinsic and recorded observablesInput, preparation, and measurement budgets › Intrinsic and recorded observables · lines 1468–1475
Open as its own pageEvery term in (eq:complete-budget) has the units of the same scalar readout. A dimensionless effect-probability error such as (eq:carrier-effect) cannot simply be added to this root mean-square budget.
sectionAn additive-noise POVM and its exact cross termInput, preparation, and measurement budgets › An additive-noise POVM and its exact cross term · lines 1476–1481
Open as its own pageLet be the spectral measure of a self-adjoint , and let be a probability law for independent detector noise.
propositionProposition: Classical additive-noise POVMInput, preparation, and measurement budgets › An additive-noise POVM and its exact cross term · Psy02-A@1#prop:noise, Psy02-A@1#eq:noise-exact · proof attached · lines 1482–1514
Open as its own pageThe operator-valued measure
is a POVM. Its outcome law in a state is the convolution of the spectral law of with .
For finite second moments and independent ,
If the noise is centered, the last term vanishes. Without independence or a separately proved zero cross term, only the Minkowski allowance is asserted.
Proof. Positivity, normalization, and countable additivity follow from those of and the spectral measure, using weak operator integration. The convolution statement follows by taking state expectations. Expand the square and use independence for the cross term.
sectionAn additive-noise POVM and its exact cross termInput, preparation, and measurement budgets › An additive-noise POVM and its exact cross term · lines 1514–1518
Open as its own pageThis is a detector model. It does not represent arbitrary environmental decoherence.
sectionSequential measurement requires instrumentsInput, preparation, and measurement budgets › Sequential measurement requires instruments · lines 1519–1525
Open as its own pageAn instrument with finite outcomes is a family of completely positive trace-nonincreasing maps whose sum is trace preserving DaviesLewis.
propositionProposition: Sequential operational lawInput, preparation, and measurement budgets › Sequential measurement requires instruments · Psy02-A@1#prop:instrument · proof attached · lines 1526–1550
Open as its own pageFor specified instruments ,
is a probability law. The law depends on the instruments, not merely on a list of self-adjoint observables or their ordered Weyl expectations.
Proof. Complete positivity gives nonnegative outcome probabilities. Summing the last outcome applies a trace-preserving map. Repeat backwards through the sequence to obtain total probability . Different state-update maps with the same effects can give different later probabilities.
A separate normalization-independent response benchmark
sectionA separate normalization-independent response benchmarkA separate normalization-independent response benchmark · lines 1553–1563
Open as its own pageThis section constructs a distinct free massless vacuum benchmark in the spirit of VII-H CheungVIIH. It is not a susceptibility of the displaced family in Section sec:static, and its contact ambiguity is not a residual-state second moment. The Wick framework and distribution-extension principles are standard BrunettiFredenhagen,HollandsWald.
sectionModel and punctured responseA separate normalization-independent response benchmark › Model and punctured response · Psy02-A@1#eq:response-definition · lines 1564–1590
Open as its own pageWork on four-dimensional Minkowski space, with , and write
Use a free massless scalar vacuum with
Let
be vacuum-calibrated. Fix the source sign so that the first retarded response is
lemmaLemma: Punctured Wick-square kernelA separate normalization-independent response benchmark › Model and punctured response · Psy02-A@1#lem:response-kernel, Psy02-A@1#eq:cone-response · proof attached · lines 1591–1634
Open as its own pageThe declared first-order response satisfies
It is real, retarded, and homogeneous of degree on the punctured space.
Proof. Vacuum Wick contraction has exactly two connecting pairings, so
These positive-frequency products are defined in the free Wick framework. On the nonzero future null cone, and . The boundary-value identity
therefore pulls back to . It gives
Substitute in (eq:response-definition). Away from the origin, the commutator is supported on the nonzero null cones; the time cut creates no extra singular product there. Under positive dilation, has degree two and degree .
sectionAn explicit extension and complete ambiguity in its classA separate normalization-independent response benchmark › An explicit extension and complete ambiguity in its class · Psy02-A@1#eq:finite-part · lines 1636–1655
Open as its own pageChoose a smooth compactly supported function , equal to one near zero. For real , define
The cutoff includes its chosen reference time unit.
lemmaLemma: Existence and scaling of the reference extensionA separate normalization-independent response benchmark › An explicit extension and complete ambiguity in its class · Psy02-A@1#lem:extension · proof attached · lines 1656–1699
Open as its own pageEquation (eq:finite-part) defines a real retarded distribution extending (eq:cone-response). Its scaling degree at the origin is four.
Proof. Near zero, uniformly in . Both terms are therefore integrable; away from zero all supports are bounded. On a fixed compact support, the formula is bounded by a finite smooth-test seminorm, so it is a distribution.
For a test supported away from zero, use radial variables and . The identity
shows agreement with the punctured kernel. Support is contained in the future null cone and the origin.
For , a change of variables gives
The logarithm does not increase scaling degree above four. The nonzero homogeneous punctured restriction has degree , so the scaling degree is exactly four.
definitionDefinition: Permitted response prescription classA separate normalization-independent response benchmark › An explicit extension and complete ambiguity in its class · Psy02-A@1#def:response-class · lines 1701–1712
Open as its own pageA permitted response is a real retarded distribution on that:
agrees with (eq:cone-response) away from the origin;
has scaling degree at most four at the origin;
is used as a translation-covariant relative-coordinate kernel .
No larger prescription or state class is included.
theoremTheorem: Complete contact ambiguityA separate normalization-independent response benchmark › An explicit extension and complete ambiguity in its class · Psy02-A@1#thm:contact · proof attached · lines 1714–1742
Open as its own pageEvery permitted response has the form
Consequently, for every real test satisfying ,
Proof. The difference is supported at the origin. A finite-order distribution supported at one point is a finite sum of derivatives of the delta distribution. This follows by subtracting a sufficiently high Taylor jet of a test at the point and using the finite-order continuity estimate.
In four dimensions, has scaling degree . The common scaling-degree restriction therefore permits only . Reality makes its coefficient real. Since , write that coefficient as . Evaluation on gives the last assertion.
sectionAn explicit extension and complete ambiguity in its classA separate normalization-independent response benchmark › An explicit extension and complete ambiguity in its class · lines 1742–1748
Open as its own pageIf the prescription class permitted higher scaling degree, derivatives of could appear. The condition would then not annihilate every ambiguity.
sectionAn exactly evaluated invariantA separate normalization-independent response benchmark › An exactly evaluated invariant · Psy02-A@1#eq:Fstar · lines 1749–1778
Open as its own pageChoose , and define
Then
Set
The radial factor vanishes near , so this is a smooth compact test.
theoremTheorem: Nonzero prescription-independent responseA separate normalization-independent response benchmark › An exactly evaluated invariant · Psy02-A@1#thm:response-invariant, Psy02-A@1#eq:response-value · proof attached · lines 1779–1810
Open as its own pageFor every permitted response,
Proof. The test vanishes near the origin, so its response is independent of . On ,
Equation (eq:finite-part) gives
Substitute .
sectionAn exactly evaluated invariantA separate normalization-independent response benchmark › An exactly evaluated invariant · lines 1810–1815
Open as its own pageThe normalization and source sign are essential. Changing them changes the displayed coefficient. The value is a response pairing, not an outcome probability.
sectionDelayed product realization and robustnessA separate normalization-independent response benchmark › Delayed product realization and robustness · lines 1816–1827
Open as its own pageFor source and readout , define the relative test
Let be a nonnegative smooth mollifier of integral one, supported in the Euclidean ball of radius around zero, and take .
propositionProposition: A delayed nonzero experimentA separate normalization-independent response benchmark › Delayed product realization and robustness · Psy02-A@1#prop:delayed · proof attached · lines 1828–1855
Open as its own pageFor sufficiently small , the source and readout supports are strictly time separated and
Thus the product experiment is prescription independent and nonzero for sufficiently small .
Proof. The support of has time coordinate at least . For , the source occurs strictly earlier, and source and readout do not overlap. Therefore
Mollification converges to in every smooth-test seminorm on one common compact support. Distributional continuity and Theorem thm:response-invariant prove the claim.
sectionDelayed product realization and robustnessA separate normalization-independent response benchmark › Delayed product realization and robustness · lines 1855–1879
Open as its own pageFor an explicit allowance, suppose the relative tests have time support in , . Define a seminorm using the supremum of the test and its spatial gradient. Equation (eq:finite-part) gives
for tests with this time support. Taylor's theorem gives
where the seminorm includes the gradient and Hessian bounds needed for translations.
corollaryCorollary: Robust nonzero response certificateA separate normalization-independent response benchmark › Delayed product realization and robustness · Psy02-A@1#cor:response-robust · proof attached · lines 1880–1898
Open as its own pageSuppose preparation, test implementation, and detector calibration together contribute a certified response-unit error . If
then the implemented response is strictly negative.
Proof. Subtract the complete error allowance from the absolute reference value.
sectionDelayed product realization and robustnessA separate normalization-independent response benchmark › Delayed product realization and robustness · lines 1898–1905
Open as its own pageA finite instrument for measuring this Wick-square response has not been constructed merely by defining a response distribution. A transfer to a different state, mass, geometry, or biological carrier requires a new comparison theorem.
propositionProposition: Linear nuisance annihilationA separate normalization-independent response benchmark › Finite-bank nuisance separation · Psy02-A@1#prop:bank · proof attached · lines 1908–1937
Open as its own pageLet a response bank be , with complete permitted nuisance class . A linear readout is nuisance invariant exactly when
An invariant readout with nonzero response exists exactly when
If component errors are bounded by , the readout error is at most
Proof. Invariance is for every . The orthogonal complement of is . If lies outside the range, its orthogonal projection onto that kernel provides a nonzero invariant response. The error allowance is the triangle inequality.
sectionFinite-bank nuisance separationA separate normalization-independent response benchmark › Finite-bank nuisance separation · lines 1937–1941
Open as its own pageAn incomplete nuisance catalogue cannot certify invariance under nuisances that were never included.
Causal support and mechanism identification
sectionA complete finite scheduleCausal support and mechanism identification › A complete finite schedule · Psy02-A@1#eq:ancestors · lines 1945–1974
Open as its own pageLet be a finite site set with finite-dimensional local Hilbert spaces. All persistent quantum memories, classical controllers, environments retained for later use, and record registers must be included in the declared schedule.
At tick , let be a partition of , and specify a channel
on its fixed block spaces. Adaptive programs can be represented only after their controllers and conditional operations have been included in the specification.
For endpoint , define backwards ancestor sets:
Write for operators supported on .
theoremTheorem: Reference-preserving scheduled supportCausal support and mechanism identification › A complete finite schedule · Psy02-A@1#thm:support · proof attached · lines 1975–2013
Open as its own pageFor every endpoint observable ,
Consequently, the endpoint channel factors through the input reduction on . If two input states, possibly with a spectator reference, have equal reductions on together with that reference, their endpoint-reference outputs are equal.
In particular, a local trace-preserving intervention supported outside cannot influence this endpoint.
Proof. A block disjoint from the current support acts on an identity factor. Its adjoint is unital and preserves that identity. A block meeting the support can enlarge it only within the same block. Iterating proves the support assertion.
All endpoint observables therefore pull back to the ancestor algebra. Equal input reductions give equal expectations of every pullback, hence equal endpoint states. The argument tensors with the identity on a reference.
For explicit factorization, choose any fixed state on the nonancestor sites, insert it after the input reduction, and then apply the endpoint channel. The equality of reductions proves that this constructed channel agrees with the original one on every input. A local trace-preserving intervention outside the ancestor set preserves its reduction, including the reference.
sectionA complete finite scheduleCausal support and mechanism identification › A complete finite schedule · lines 2013–2030
Open as its own pageThis independently proves the relevant finite support statement associated with VIII-C and VII-J CheungVIIIC,CheungVIIJ. It does not identify the ancestors with a geometric causal past.
If has a metric and every block has diameter at most , then
The proof is the triangle inequality applied at each backwards step.
propositionProposition: Approximate no-influence allowanceCausal support and mechanism identification › A complete finite schedule · Psy02-A@1#prop:signal-error · proof attached · lines 2031–2044
Open as its own pageSuppose an actual endpoint channel is within half-diamond distance of a specified channel . If gives identical referenced outputs for two allowed inputs, then their actual outputs have trace distance at most .
Proof. Insert the common ideal output between the two actual outputs and use the triangle inequality.
exampleExample: A scheduled path that cancelsCausal support and mechanism identification › Scheduled ancestors need not be actual influence · lines 2048–2056
Open as its own pageApply SWAP on registers , then apply the same SWAP again. The composite channel is the identity. The backwards scheduled ancestor set for endpoint contains both registers, but the final state is its initial state and is unaffected by an initial intervention on .
exampleExample: Marginals do not certify a joint endpointCausal support and mechanism identification › Scheduled ancestors need not be actual influence · lines 2058–2070
Open as its own pageLet an input bit be , draw an independent uniform bit , and output
Each individual output is uniform and input independent. The joint output determines exactly. This classical stochastic map is also a quantum measure-and-prepare channel. Individual endpoint certificates do not replace a joint endpoint certificate.
propositionProposition: Conditional physical causal containmentCausal support and mechanism identification › Scheduled ancestors need not be actual influence · Psy02-A@1#prop:physical-causal · proof attached · lines 2072–2088
Open as its own pageSuppose an independently supplied physical embedding assigns events to the schedule and a transitive causal relation. Assume every allowed dependency through every local channel is certified to respect that relation. Then scheduled ancestors, and hence actual influences, lie in the physical causal past of the endpoint.
Proof. Every scheduled dependency path is a finite composition of certified causal steps. Transitivity gives containment. Theorem thm:support places actual influence inside the scheduled set.
sectionScheduled ancestors need not be actual influenceCausal support and mechanism identification › Scheduled ancestors need not be actual influence · lines 2088–2092
Open as its own pageNeither the physical embedding nor its causal relation is derived from the support theorem.
sectionObservational equivalenceCausal support and mechanism identification › Observational equivalence · lines 2093–2098
Open as its own pageLet be complete attempted-run record laws. Failures, heralding, intervention settings, and missing records are included rather than silently postselected away.
theoremTheorem: Mechanism non-identifiabilityCausal support and mechanism identification › Observational equivalence · Psy02-A@1#thm:nonidentifiable · proof attached · lines 2099–2123
Open as its own pageIf , every randomized test , declaring model , satisfies
More generally,
Proof. Write
The difference of expectations of a -valued function is at most total variation.
exampleExample: Different mechanisms with identical restricted recordsCausal support and mechanism identification › Observational equivalence · lines 2125–2140
Open as its own pageFor each intervention value , a quantum model prepares
and measures in the basis. An alternative model samples a classical Bernoulli variable with parameter . For the declared accessible records, the models have identical laws for every , despite different internal descriptions. Additional phase-sensitive measurements could distinguish some such models, but are not part of this experiment.
sectionObservational equivalenceCausal support and mechanism identification › Observational equivalence · lines 2140–2146
Open as its own pageThus an intervention effect on an endpoint need not be a mechanism-specific quantum signature. The obstruction is experiment relative, not a universal classical simulation theorem.
theoremTheorem: Oriented complete-record separationCausal support and mechanism identification › A robust identifying statistic · Psy02-A@1#thm:statistical · proof attached · lines 2149–2192
Open as its own pageLet a predeclared statistic take values in . Suppose ideal null and alternative families satisfy
Suppose actual complete laws are within total variation of their corresponding ideal families. Define
If , the midpoint threshold between and gives, after independent identically distributed attempted runs from a fixed family member,
Thus
suffices for each error to be at most . A simultaneous calibration failure probability at most gives unconditional error at most .
Proof. Total variation changes the expectation of by at most . The common threshold is therefore at least from each allowed expectation. Hoeffding's one-sided inequality Hoeffding gives
A union bound includes calibration failure.
sectionA robust identifying statisticCausal support and mechanism identification › A robust identifying statistic · lines 2192–2199
Open as its own pageA lower bound on an absolute signal magnitude does not supply one common oriented threshold if the alternative sign varies. This is the same distinction emphasized in En01-B CheungEn01B.
sectionUnbounded records require clipping and tail controlCausal support and mechanism identification › Unbounded records require clipping and tail control · lines 2200–2214
Open as its own pageSuppose setting is sampled with probability , and a scalar record has a certified second moment. Let be fixed contrast weights and
Define
propositionProposition: Bounded statistic from a mean contrastCausal support and mechanism identification › Unbounded records require clipping and tail control · Psy02-A@1#prop:clipping · proof attached · lines 2215–2253
Open as its own pageThe statistic lies in , and
If the ideal oriented mean-contrast gap is , and , put
Then its clipped expectation gap is at least
For independent setting-independent erasure with observation probability , score erased runs by . The gap is multiplied by . Actual total-variation implementation errors then subtract .
Proof. The definition of proves boundedness. Average over the randomized setting. Pointwise,
so each mean changes by at most . Apply the weighted triangle inequality. Independent erasure multiplies the nonconstant expectation by . Finally use total-variation control.
sectionUnbounded records require clipping and tail controlCausal support and mechanism identification › Unbounded records require clipping and tail control · lines 2253–2260
Open as its own pageThis proves a general form of the complete-record design principle in En01-C CheungEn01C. Independence, second-moment bounds, and the attempted-run record law are substantive hypotheses.
A separately declared reduction model
sectionA separately declared reduction modelA separately declared reduction model · lines 2262–2271
Open as its own pageThe relation is not a complete stochastic or operational dynamics. We now construct one finite regularized model in which that rate appears. The construction is related to the mass-density structure of Diósi-type models Diosi, but is not derived from the scalar-carrier theorems or from quantum gravity.
sectionRegularized mass data and unitsA separately declared reduction model › Regularized mass data and units · Psy02-A@1#eq:mass-Gram, Psy02-A@1#eq:EG · lines 2272–2309
Open as its own pageLet , with basis , . Assign smooth compactly supported real mass-density profiles . They may be required to be nonnegative and to have a fixed total mass; the mathematical positivity below does not require equal total mass.
Define
Here has its gravitational units, has energy units, and has inverse-time units. The smoothing profiles are explicit regulators, not parameter-free point masses.
lemmaLemma: Positive mass-density Gram matrixA separately declared reduction model › Regularized mass data and units · Psy02-A@1#lem:mass-positive, Psy02-A@1#eq:EG-rate · proof attached · lines 2310–2342
Open as its own pageThe integrals in (eq:mass-Gram) are finite, and is real symmetric positive semidefinite. There are real coefficients such that
Moreover,
Proof. The Coulomb singularity is locally integrable in three dimensions; compact smooth profiles make the integrals finite. For , the Coulomb quadratic form is nonnegative: its Fourier representation has nonnegative multiplier . The integral is finite at zero and infinity for a smooth compact profile. Thus . A real spectral factorization gives the coefficients. Expanding the squared profile difference proves (eq:EG-rate).
sectionUnconditional dynamicsA separately declared reduction model › Unconditional dynamics · Psy02-A@1#eq:collapse-generator · lines 2344–2363
Open as its own pageLet
Define the finite generator
This is a bounded finite-dimensional generator of the standard completely positive form GoriniKossakowskiSudarshan,Lindblad.
theoremTheorem: Finite regularized reduction semigroupA separately declared reduction model › Unconditional dynamics · Psy02-A@1#thm:collapse-channel, Psy02-A@1#eq:collapse-solution · proof attached · lines 2364–2410
Open as its own pageThe unique evolution is CPTP and satisfies
All populations are preserved. For , the coherence has e-folding time
Proof. Each matrix unit is an eigenvector of the generator, giving (eq:collapse-solution). For complete positivity, let be independent real Brownian variables of variance , and set
Then
because Gaussian averaging multiplies the matrix unit by
An average of unitary channels is CPTP. Finite linear-ODE uniqueness gives the specified evolution.
sectionUnconditional dynamicsA separately declared reduction model › Unconditional dynamics · lines 2410–2417
Open as its own pageThe random-unitary representation proves the unconditional channel. It does not by itself select a conditional collapse history. Different unravelings of an ensemble law need not have the same physical interpretation.
sectionA normalized stochastic reduction unravelingA separately declared reduction model › A normalized stochastic reduction unraveling · Psy02-A@1#eq:collapse-SDE · lines 2418–2437
Open as its own pageFor a normalized initial vector, specify the stochastic law
theoremTheorem: Conditional reduction and Born weightsA separately declared reduction model › A normalized stochastic reduction unraveling · Psy02-A@1#thm:collapse-unraveling · proof attached · lines 2438–2527
Open as its own pageEquation (eq:collapse-SDE) has a global norm-preserving solution. Its ensemble density solves (eq:collapse-generator).
Suppose the vectors
are pairwise distinct. Then the populations converge almost surely to a vertex of the probability simplex. The probability of the vertex is .
If some coincide, only reduction to their indistinguishable groups is guaranteed.
Proof. Itô's rule gives zero drift and zero stochastic increment for . The coefficients are smooth and bounded on the unit sphere. Local finite-dimensional existence, norm preservation, and compactness of that sphere give a global solution.
For , Itô's rule gives
The nonlinear mean terms cancel from the drift. The stochastic integrands are bounded, so their means vanish. Taking expectations proves the ensemble equation.
The populations satisfy
They are bounded martingales and hence converge almost surely. Let
Since , Itô's rule gives
Therefore
The integral is finite almost surely.
The convergent populations make converge. If the limiting were positive, the limiting would be positive, contradicting integrability. Hence the limiting population law is supported on a set of identical vectors . With pairwise distinct vectors, that set is a singleton. Finally, by bounded martingale convergence, which gives the stated weights.
sectionA normalized stochastic reduction unravelingA separately declared reduction model › A normalized stochastic reduction unraveling · lines 2527–2532
Open as its own pageConvergence concerns populations. An overall phase can continue to evolve and is not asserted to converge.
propositionProposition: Number-preserving Fock extensionA separately declared reduction model › Compatibility with a finite scalar surrogate · Psy02-A@1#prop:collapse-Fock · proof attached · lines 2535–2563
Open as its own pageEmbed the code basis into a finite set of oscillator occupation vectors. Extend diagonally by zero on its orthogonal complement. The resulting bounded operators define a CPTP semigroup on the full finite-mode Fock space. It preserves the code, finite number moments, and total number expectation:
Consequently, residual states subjected to this extension retain the number-based concentration bounds of Section sec:static.
Proof. The extended operators are bounded, mutually commuting, and commute with . The same random-unitary construction defines the normal channel on trace-class operators. Each unitary preserves number spectral subspaces and number moments. Average the exact number identity. The concentration theorem then applies to the resulting residual states.
sectionCompatibility with a finite scalar surrogateA separately declared reduction model › Compatibility with a finite scalar surrogate · lines 2563–2569
Open as its own pageThe assignment of mass profiles to oscillator occupation vectors is an extra model input. It is not the mass-density operator of a neuronal carrier derived from a free scalar field.
propositionProposition: Environmental composition and implementation errorsA separately declared reduction model › Compatibility with a finite scalar surrogate · Psy02-A@1#prop:composition · proof attached · lines 2570–2598
Open as its own pageFinite compositions of the declared environmental, reduction, and nonselective measurement channels are CPTP. If corresponding implemented channels have half-diamond errors , the composite error is at most
In finite dimensions, sums of bounded environmental and reduction generators can also be obtained as the norm limit of their alternating short-time channel products.
Proof. Composition preserves complete positivity and trace. For the error, expand the difference of two composites into a telescoping sum and use channel contraction.
For bounded finite generators ,
At , telescoping against gives an error .
sectionCompatibility with a finite scalar surrogateA separately declared reduction model › Compatibility with a finite scalar surrogate · lines 2598–2602
Open as its own pageThe finite argument does not establish a continuum unbounded-generator limit.
propositionProposition: Why commutator preservation is the wrong requirementA separately declared reduction model › Channels are not algebra automorphisms · Psy02-A@1#prop:not-automorphism · proof attached · lines 2605–2638
Open as its own pageA dissipative channel adjoint need not preserve products or commutators. For qubit dephasing with parameter ,
so
For oscillator attenuation, the enlarged output annihilator still obeys its canonical commutator because the bath contribution restores it.
Proof. The qubit calculation uses . For attenuation,
Discarding the bath and applying a reduced adjoint is a different operation from retaining this enlarged algebra.
sectionChannels are not algebra automorphismsA separately declared reduction model › Channels are not algebra automorphisms · lines 2638–2659
Open as its own pageThus compatibility must distinguish the underlying algebra, the dual reduced channel, and a system–environment realization. It must not demand that every reduced channel act as an automorphism.
physical obligations. The finite construction proves a conditional mathematical compatibility statement. It does not establish a microscopic mass operator for microtubules, a regulator-removal theorem, relativistic causality, a gravitational derivation, or the Orch-OR interpretation. Experimental exclusions of particular gravity-related collapse models likewise retain their regulator and dynamical assumptions Donadi. A detector or environmental error allowance is not itself a translation of such experimental bounds to a different collapse model.
Interpretive non-entailment
definitionDefinition: Physical theory and added assignmentInterpretive non-entailment · lines 2663–2670
Open as its own pageLet be the axioms specifying the physical objects and predictions of a declared model. Let be a named event set. An added consciousness assignment is a predicate , or a function from to a declared set of experiential labels.
theoremTheorem: Relative non-entailment of an unconstrained assignmentInterpretive non-entailment · Psy02-A@1#thm:nonentailment · proof attached · lines 2672–2688
Open as its own pageSuppose has a model and contains no premise constraining an added predicate . Then the physical premises do not determine that predicate. In particular, there are two expansions with identical physical objects and predictions but different assignments.
Proof. Take one model of . Expand it once with and once with . The physical reduct is unchanged, so every physical premise and prediction has the same interpretation. The assignments differ because .
sectionInterpretive non-entailmentInterpretive non-entailment · lines 2688–2698
Open as its own pageThis is a relative logical result. It does not state that consciousness can never be explained physically. If an additional theory constrains the assignment through report, content, or functional premises, those premises must be supplied and assessed. They are not consequences of concentration or a collapse timescale.
The modular conditional certification theorem
sectionThe modular conditional certification theoremThe modular conditional certification theorem · lines 2700–2704
Open as its own pageThe preceding modules can be assembled without identifying their underlying models.
theoremTheorem: Conditional scalar-carrier and operational certificateThe modular conditional certification theorem · Psy02-A@1#thm:main · proof attached · lines 2705–2783
Open as its own pageFix a time horizon and the following declared data:
admissible scalar-carrier data from Definition def:carrier, with the environmental certificate of Assumption ass:environment;
moment-compatible preparation and input certificates, a implemented-observable representation (eq:implementation), and detector and carrier-law allowances as in Theorem thm:readout;
a separately specified dephasing operation and accessible channel family, with ideal witnesses and errors ;
, if a response claim is made, the separate response model and prescription class of Section sec:response, together with response-unit implementation errors;
, if a causal claim is made, a complete finite schedule, and, for a geometric claim, an independently certified physical embedding;
, if a mechanism-identification claim is made, complete record families, a common oriented statistic, implementation allowances, and independent attempted runs.
Then:
intrinsic scalar mean-square errors obey (eq:time-budget), and complete scalar readout errors obey (eq:complete-budget);
ordered scalar expectations obey (eq:ordered-bound), while normalized fluctuations retain their exact residual-state representation and CCR;
the independently specified coherence witness obeys
the response claim is normalization independent within its declared class and robustly nonzero when Corollary cor:response-robust applies;
actual finite-model influence is contained in scheduled ancestors, with geometric containment only under the additional embedding certificate;
mechanism identification is certified by Theorem thm:statistical when its oriented gap is positive; identical complete record laws instead obey Theorem thm:nonidentifiable.
If the finite regularized reduction model of Section sec:collapse is additionally chosen, it has the proved channel and conditional reduction laws there. That choice is not derived from items (i)–(vi).
None of these conclusions identifies a biological carrier or determines an unconstrained consciousness assignment.
Proof. For (i), apply Theorem thm:time-concentration to the intrinsic residual family and Theorem thm:readout to its declared implementation. For (ii), apply Theorems thm:ordered and thm:fluctuations. For (iii), use Theorem thm:witness. For (iv), apply Theorem thm:contact, Theorem thm:response-invariant, and Corollary cor:response-robust. For (v), use Theorem thm:support and, only when its extra hypotheses hold, Proposition prop:physical-causal. For (vi), apply the two complete-record theorems.
The optional finite reduction statements are Theorems thm:collapse-channel and thm:collapse-unraveling. The carrier correspondence is not among the constructed biological data, and Theorem thm:nonentailment establishes the relative interpretive boundary.
remarkRemark: What a conjunction does not doThe modular conditional certification theorem · lines 2785–2792
Open as its own pageA conjunction of valid certificates is not a correspondence theorem. In particular, the response distribution is not a channel schedule, the scalar fluctuation algebra is not an instrument, and a finite reduction comparison is not a derived neuronal mechanism.
Mapping the six Orch-OR difficulties
sectionMapping the six Orch-OR difficultiesMapping the six Orch-OR difficulties · lines 2795–2852
Open as its own pageIdentifying the carrier. The framework supplies named Fock states, compact-test maps, field domains, commutation matrices, and finite compression errors. Identification with spins, dipoles, or microtubules still requires a correspondence such as (eq:carrier-effect) or a stronger channel-level bridge.
Maintaining relevant quantum resources. The concentration budget and the coherence or recovery budget are reported separately. The attenuation and dephasing examples prove that one does not determine the other. Biological viability requires an environmental model for the actual participating degrees of freedom. The contrasting calculations of Tegmark and of Hagan, Hameroff, and Tuszyński concern different modeling assumptions and are not replaced by a static condition Tegmark,HaganHameroffTuszynski.
Unconfirmed reduction physics. The finite regularized model proves that a chosen mass-density kernel can define a consistent channel and conditional process. Its rate formula does not derive the profiles, regulator, gravity hypothesis, or continuum physical law. The Penrose proposal remains an additional physical commitment Penrose.
Nonunique microtubule evidence. An intervention can alter a behavioral endpoint without identifying an Orch-OR-specific mechanism. Khan and colleagues report an epothilone-B effect on the latency to anesthetic loss of righting reflex in rats Khan. That endpoint is a specified behavioral proxy; the reported drug contrast does not by itself supply the carrier, collapse, or mechanism-separation certificates defined here.
Molecular events and conscious content. Instruments, channels, and causal ledgers can specify a physical chain of observations. They do not automatically provide a dictionary from a molecular event to an experiential content. Such a dictionary is a further model component.
Why a physical event should be experiential. An assignment unconstrained by the physical premises is not selected by those premises. The relative non-entailment theorem states this boundary without claiming a universal impossibility of physical explanation.
The complete work plan and completion criteria
sectionThe complete work plan and completion criteriaThe complete work plan and completion criteria · lines 2854–2861
Open as its own pageThe plan is retained in full as eight work packages. The proved modules replace vague targets by explicit certificates. Open bridges remain open rather than being declared solved by a change of terminology.
sectionWork package A: carrier audit and correspondenceThe complete work plan and completion criteria › Work package A: carrier audit and correspondence · lines 2862–2886
Open as its own pageRequired data. Specify , the spacetime test class, its one-particle map, displacement convention, domains, support restrictions, and the commutation matrix.
Completed here. Lemma lem:number, Proposition prop:compact-test, Proposition prop:finite-CCR, and Theorem thm:cutoff establish an explicit scalar-surrogate carrier audit.
Remaining target. For a biological carrier, construct matched state and observation classes and prove a carrier error. For coherent processing, construct a referenced channel comparison rather than only an effect comparison.
Completion criterion. Either a proved correspondence with a declared error, or an explicit designation as a scalar surrogate without biological identification.
sectionWork package B: concentration and ordered correlationsThe complete work plan and completion criteria › Work package B: concentration and ordered correlations · lines 2887–2909
Open as its own pageRequired data. Finite residual number moments, displacement-compatible targets, vectors, and a fixed finite family.
Completed here. Theorems thm:concentration, thm:ordered, and thm:fluctuations give all constants, the joint commuting law, the noncommuting ordered bound, and the exact fluctuation representation.
Remaining target. A unique fluctuation limit requires additional residual-state information. A landmark-specific relational claim requires source alignment of its classical test map and plateau conditions.
Completion criterion. A stated input family with finite constants and verified uniformity. No inference of coherence preservation from these bounds.
sectionWork package C: environmental dynamics and two budgetsThe complete work plan and completion criteria › Work package C: environmental dynamics and two budgets · lines 2910–2934
Open as its own pageRequired data. A reduced evolution or system–environment model, a residual-frame identification, a moment certificate, and a separately declared quantum witness.
Completed here. Theorem thm:time-concentration proves the conditional time-uniform estimate. Propositions prop:attenuation and prop:attenuator-witness instantiate both budgets for attenuation. Theorem thm:witness gives operational error allowances.
Remaining target. Derive the actual neuronal moment and witness dynamics, including bath preparation, coupling, temperature, memory, and accessible observations. For unbounded generators, prove domain and moment preservation.
Completion criterion. Report both selected-observable concentration and survival or loss of the named quantum witness.
sectionWork package D: input, preparation, and readout errorsThe complete work plan and completion criteria › Work package D: input, preparation, and readout errors · lines 2935–2961
Open as its own pageRequired data. Common representations, admissible input changes, plateau restrictions, preparation control, and a detector model in a compatible metric.
Completed here. Theorem thm:readout proves an end-to-end scalar budget. Proposition prop:noise constructs the additive-noise POVM and states the exact cross term. Proposition prop:instrument supplies sequential probabilities for specified instruments.
Remaining target. Instantiate the classical metric and switch bounds from complete source definitions. Construct any proposed physical detector. Replace a probability-only carrier allowance by a moment-compatible law comparison when RMS claims are made.
Completion criterion. Every term controls the same stated quantity and carries the correct units. Outside-plateau errors and nonzero noise cross terms are retained.
sectionWork package E: normalization-independent responseThe complete work plan and completion criteria › Work package E: normalization-independent response · lines 2962–2983
Open as its own pageRequired data. Field, state, source sign, Wick-square calibration, test space, and the complete prescription class.
Completed here. Section sec:response constructs a punctured kernel, a finite-part extension, the complete contact ambiguity in its stated class, and an invariant nonzero benchmark. It also proves a delayed product realization and a robust response margin.
Remaining target. Construct a physical readout and any proposed transfer to another state, geometry, mass, carrier, or biological system.
Completion criterion. The response value exceeds the complete response-unit error. Prescription independence remains restricted to the classified nuisance class.
sectionWork package F: causal support and identifiabilityThe complete work plan and completion criteria › Work package F: causal support and identifiability · lines 2984–3007
Open as its own pageRequired data. Complete finite schedules, local channels, references, joint endpoints, complete record laws, and any independent physical causal embedding.
Completed here. Theorem thm:support gives backwards support. Propositions prop:signal-error and prop:physical-causal give conditional stability and geometric containment. Theorems thm:nonidentifiable and thm:statistical give the two possible mechanism verdicts.
Remaining target. Design an actual experiment whose nuisance-enlarged null and alternative record families are separated by one common oriented statistic.
Completion criterion. Either a robust mechanism-specific separation certificate or an explicit observational-equivalence obstruction.
sectionWork package G: reduction dynamics and compatibilityThe complete work plan and completion criteria › Work package G: reduction dynamics and compatibility · lines 3008–3035
Open as its own pageRequired data. Regularized mass profiles, units, a conditional stochastic law, an unconditional channel, domain and moment statements, environmental composition, and causal conditions.
Completed here. Theorems thm:collapse-channel and thm:collapse-unraveling construct a finite regularized model. Proposition prop:collapse-Fock proves one scalar-surrogate compatibility statement. Proposition prop:composition proves finite composition and error control.
Remaining target. Derive or independently justify physical mass data; control regulator and continuum limits; certify locality or a physical causal embedding; and compare the resulting model with experiments in its own parameter class.
Completion criterion. A well-defined proposed physical reduction dynamics with its compatibility certificate, or an obstruction within a specified class. A timescale formula alone does not meet the criterion.
sectionWork package H: interpretive boundaryThe complete work plan and completion criteria › Work package H: interpretive boundary · lines 3036–3054
Open as its own pageRequired data. A named physical theory and a separately stated assignment to experience or conscious content.
Completed here. Theorem thm:nonentailment proves relative non-entailment when that assignment is unconstrained.
Remaining target. Supply and test any proposed additional interpretive, functional, report-based, or content-level premises.
Completion criterion. State precisely which premises select the assignment. Do not identify the remaining interpretive step with a previously proved physical bound.
sectionRecommended execution orderThe complete work plan and completion criteria › Recommended execution order · lines 3055–3082
Open as its own pageThe principal path is
The response construction, reduction model, and interpretive boundary are separate branches. Their outputs enter the principal path only through explicit comparison maps.
The earlier proposed “Further development” steps that merely restated input control are replaced by the instantiation tasks in work packages C and D. Black-hole evaporation, Page curves, and holographic reconstruction are not Orch-OR proof targets of this manuscript and are not included as successor obligations.
Discussion and conclusion
sectionDiscussion and conclusionDiscussion and conclusion · lines 3084–3117
Open as its own pageThe strongest conclusion established here is a controlled scalar-surrogate and operational framework. It provides:
explicit static and time-dependent concentration bounds;
exact residual fluctuation identities;
a separate operational coherence budget;
a same-quantity input, preparation, and readout ledger;
a normalization-independent response benchmark;
finite causal-support and complete-record tests;
one well-defined finite regularized reduction comparison;
a precise relative interpretive boundary.
The framework does not establish that microtubules realize its Fock carrier, that relevant quantum resources survive in neurons, that a gravity-related reduction law occurs there, or that a reduction event is conscious. Those claims need the separately listed bridge hypotheses and evidence.
No clinical recommendation follows. In particular, the mathematical model does not recommend microtubule-active drugs, anesthetic changes, or treatments for any psychiatric or neurological condition.
The landmark incorporation is therefore constructive but conditional. It sharpens the mathematical obligations of an Orch-OR model instead of presenting those obligations as already discharged.
Declarations
sectionDeclarationsDeclarations · lines 3118–3146
Open as its own page. No specific funding is declared.
interests. None declared.
. The present work is a mathematical analysis and involves no new human or animal experimentation.
availability. No new empirical dataset is used. The supplied landmark excerpts are documentary materials; their complete manuscripts and any physical correspondence require separate source and empirical audits.
provenance. The manuscript contains analytic proofs and declared comparison models. It does not report newly executed simulations, experimental reproduction, machine-checked proofs, or an executed {} compilation. The source is designed for
pdflatex; two compilation passes resolve internal references.
Claim-status and source ledger
sectionClaim-status and source ledgerClaim-status and source ledger · Psy02-A@1#tab:status · lines 3148–3279
Open as its own pageThe labels in the following ledger have distinct meanings:
Source record: a claim reported in the supplied landmark excerpts;
Proved here: a result proved for the objects defined in this manuscript;
Assumption: an input needed by a conditional result;
Open bridge: a construction not supplied by the present proofs.
{@{}p{0.25}p{0.20}p{0.48}@{}} of the incorporated components.
Component & Status & Exact boundary
Component & Status & Exact boundary
Em06-B scalar concentration and ordered interface & Source record; Fock form proved here & The source's full relational input map, classical metric estimates, and plateau constants are not independently audited by their restatement.
Fock domains and number estimate & Proved here & Uses the stated field normalization, analytic-vector theorem, and finite residual number expectation.
Compact-test map & Proved here & Explicit flat-space mass-shell map only; not a construction on an arbitrary metric or microtubule geometry.
Scalar–biological correspondence & Open bridge & Requires participating states, observations, an encoding or comparison map, and an error in the relevant metric.
Time-uniform concentration & Conditional theorem & The environmental number-moment inequality and its domain justification are inputs.
Attenuation two-budget example & Proved here & A specified oscillator and independent bath model, not neuronal environmental dynamics.
Coherence witness and recovery distinction & Proved here & Relative to the selected dephasing and accessible channel; does not exhaust every quantum resource.
Input and preparation allowances & Conditional theorem & Input-map constants and moment-compatible preparation control must be instantiated.
Detector noise & Proved model & Independent additive noise gives a convolution POVM; general dynamics are not identified with this noise.
Sequential probabilities & Proved here & Require named instruments; ordered Weyl expectations alone are insufficient.
VII-H-type response & Benchmark proved here & Free massless vacuum, fixed source sign and Wick-square calibration, scaling degree at most four.
Response transfer or physical detector & Open bridge & A response distribution does not itself construct an instrument or a biological susceptibility.
VII-J/VIII-C-type support & Finite theorem proved here & Complete block-channel schedule; physical causal containment needs an independent embedding.
Mechanism identification & Conditional certificate or obstruction & Requires complete record laws and a common oriented statistic after nuisance and implementation errors.
Finite regularized reduction & Proved comparison model & Mass profiles, regularization, and interpretation are declared inputs; no continuum physical law is derived.
sectionClaim-status and source ledgerClaim-status and source ledger · lines 3279–3298
Open as its own pageContinuum collapse and relativistic compatibility & Open bridge & Finite complete positivity does not solve unbounded domains, regulator removal, or physical causal embedding.
Consciousness assignment & Relative non-entailment proved here & Only for an assignment unconstrained by the stated physical premises; not a universal impossibility theorem.
Mathematical debugging ledger
sectionMathematical debugging ledgerMathematical debugging ledger · lines 3300–3388
Open as its own page• Field normalization. The choice gives vacuum variance , CCR , and the number bound . A different convention changes these constants.
• Displacement compatibility. The targets are explicitly . This avoids assuming that arbitrary targets come from one common coherent displacement.
• Unbounded products. Second moments are spectral quadratic moments. Commutator statements are made on a common core or as form identities, not as unjustified products of arbitrary trace-class and unbounded operators.
• Strong commutation. Vanishing symplectic pairings imply commutation of the entire one-parameter Weyl groups. This, rather than a formal core commutator alone, justifies the joint spectral law.
• Concentration criterion. Vanishing variance alone is insufficient. The exact condition is vanishing mean-square error about the prescribed target.
• Cutoff error. The exact tail probability is the state error only in the block-diagonal regime. Arbitrary coherence requires the square-root allowance. Failures are retained rather than renormalized away.
• Preparation metrics. Trace-distance closeness alone does not bound an unbounded field moment. Weighted preparation control or a tail certificate is required.
• Noise cross term. The cross term in (eq:noise-exact) is retained. Its removal requires centering with independence or a separate zero-cross-term proof.
• Witness error constants. Changing a channel affects both the coherent and dephased inputs; the resulting allowance is , not . Preparation changes similarly contribute .
• Response ambiguity. The contact classification includes its scaling-degree restriction. Dropping that restriction can permit derivatives of , which does not all annihilate.
• Response units and sign. The source sign and convention are fixed before evaluating the benchmark. The response pairing is not a probability.
• Environmental moment domains. A formal generator calculation does not by itself prove absolute continuity of an unbounded number moment. That property is part of the environmental certificate.
• Reduced algebra. A channel adjoint is not generally multiplicative. Preservation of the underlying enlarged CCR is not preservation of commutators by the reduced adjoint.
• Causal completeness. Unrecorded persistent bath memories or classical controls can invalidate a proposed local schedule. They must be included before computing ancestors.
• Joint endpoints. Input-independent marginals do not imply an input-independent joint channel.
• Statistical independence. The sample bound assumes independent attempted runs from a fixed family member. Adaptive dependence or repeated reuse of one preparation requires a different statistical argument.
sectionMathematical debugging ledgerMathematical debugging ledger · lines 3388–3408
Open as its own page• Collapse interpretation. The random-unitary ensemble representation and the normalized reduction unraveling are distinct conditional descriptions of one unconditional law. Selecting the latter as physical is an additional choice.
• Finite versus continuum dynamics. Bounded finite generators justify the displayed composition limit. No unbounded continuum Trotter or regulator-removal result is inferred from it.
• Proof and execution. An analytic derivation, a script, a compilation, a regression, and a machine proof certificate are different forms of evidence. None is silently substituted for another.
Landmark incorporation without model identification
sectionLandmark incorporation without model identificationLandmark incorporation without model identification · lines 3410–3452
Open as its own pageThe central incorporated source records are Em06-A, Em06-B, VII-H, VII-J, VIII-C, En01-A, En01-B, En01-C, Em05-A, and En02-E. Their roles are specified in the preceding sections.
Cheung's Em03-D supplies a useful documentary example of a compact-field to bounded-observation comparison with resource and state-class restrictions CheungEm03D. Such a comparison illustrates the kind of bridge required here; it does not identify its Schwarzschild packet with a neuronal carrier. Em04-A similarly illustrates the distinction between a declared dissipative model, instrument construction, and implementation certificates CheungEm04A.
The remaining retrieved manuscripts mentioned in the supplied corpus record concern other classical, field-theoretic, operational, reconstruction, or gravitational programs. They are not hidden premises of this manuscript. In particular:
a classical quotient or prescribed Einstein–scalar background is not derived gravitational dynamics;
a response kernel is not a causal schedule or an instrument;
a finite boundary readout is not a continuum carrier correspondence;
a fixed-background emission calculation is not a collapse mechanism or neuronal model;
a recovery ledger is not a consciousness assignment;
a source dependency, continuation, or shared vocabulary does not establish a mathematical identification.
The present framework therefore neither imports unresolved gravitational constructions nor opens their independent proof obligations. Its conditional theorem stands on the objects and hypotheses printed in this source.
bibliographyReferencesLandmark incorporation without model identification · lines 3453–3744
Open as its own pageHameroffPenrose
S. Hameroff and R. Penrose, Consciousness in the universe: a review of the “Orch OR” theory. Physics of Life Reviews 11, no. 1 (2014), 39–78.
https://doi.org/10.1016/j.plrev.2013.08.002.Penrose
R. Penrose, On gravity's role in quantum state reduction. General Relativity and Gravitation 28 (1996), 581–600.
https://doi.org/10.1007/BF02105068.Diosi
L. Diósi, Models for universal reduction of macroscopic quantum fluctuations. Physical Review A 40 (1989), 1165–1174.
https://doi.org/10.1103/PhysRevA.40.1165.Tegmark
M. Tegmark, Importance of quantum decoherence in brain processes. Physical Review E 61 (2000), 4194–4206.
https://doi.org/10.1103/PhysRevE.61.4194.HaganHameroffTuszynski
S. Hagan, S. R. Hameroff, and J. A. Tuszyński, Quantum computation in brain microtubules: decoherence and biological feasibility. Physical Review E 65 (2002), 061901.
https://doi.org/10.1103/PhysRevE.65.061901.Donadi
S. Donadi, K. Piscicchia, C. Curceanu, L. Diósi, M. Laubenstein, and A. Bassi, Underground test of gravity-related wave function collapse. Nature Physics 17 (2021), 74–78. First published online 7 September 2020.
https://doi.org/10.1038/s41567-020-1008-4.Khan
S. Khan et al., Microtubule-stabilizer epothilone B delays anesthetic-induced unconsciousness in rats. eNeuro 11, no. 8 (2024), ENEURO.0291-24.2024.
https://doi.org/10.1523/ENEURO.0291-24.2024.Derezinski
J. Dereziński, Introduction to representations of the canonical commutation and anticommutation relations. Lecture notes (2005).
https://arxiv.org/abs/math-ph/0511030. Cited for the standard CCR, Weyl, and Fock framework.Nelson
E. Nelson, Analytic vectors. Annals of Mathematics 70, no. 3 (1959), 572–615.
https://doi.org/10.2307/1970331.HolevoWerner
A. S. Holevo and R. F. Werner, Evaluating capacities of bosonic Gaussian channels. Physical Review A 63 (2001), 032312.
https://doi.org/10.1103/PhysRevA.63.032312.Watrous
J. Watrous, The Theory of Quantum Information. Cambridge University Press, 2018. Author's manuscript and chapter resources:
https://cs.uwaterloo.ca/ watrous/TQI/.DaviesLewis
E. B. Davies and J. T. Lewis, An operational approach to quantum probability. Communications in Mathematical Physics 17 (1970), 239–260.
https://doi.org/10.1007/BF01647093.BrunettiFredenhagen
R. Brunetti and K. Fredenhagen, Microlocal analysis and interacting quantum field theories: renormalization on physical backgrounds. Communications in Mathematical Physics 208 (2000), 623–661.
https://doi.org/10.1007/s002200050004.https://arxiv.org/abs/math-ph/9903028.HollandsWald
S. Hollands and R. M. Wald, Local Wick polynomials and time ordered products of quantum fields in curved spacetime. Communications in Mathematical Physics 223 (2001), 289–326.
https://doi.org/10.1007/s002200100540.https://arxiv.org/abs/gr-qc/0103074.GoriniKossakowskiSudarshan
V. Gorini, A. Kossakowski, and E. C. G. Sudarshan, Completely positive dynamical semigroups of -level systems. Journal of Mathematical Physics 17 (1976), 821–825.
https://doi.org/10.1063/1.522979.Lindblad
G. Lindblad, On the generators of quantum dynamical semigroups. Communications in Mathematical Physics 48 (1976), 119–130.
https://doi.org/10.1007/BF01608499.Hoeffding
W. Hoeffding, Probability inequalities for sums of bounded random variables. Journal of the American Statistical Association 58, no. 301 (1963), 13–30.
https://doi.org/10.1080/01621459.1963.10500830.CheungEm06A
N. Cheung, Em06-A: a scalar-only coherent limit of the first plateau coefficient. Manuscript
Em06-A-v1.tex, version 1, undated. Enter Calculus Companion. Supplied release excerpt, lines 1374–1419,thm:release.https://enter.grok.me/browse/Em06-A. Documentary source record; the full source construction is not presumed verified by its release summary.CheungEm06B
N. Cheung, Manuscript Em06-B.
Em06-B-v1.tex, version 1, undated. Enter Calculus Companion. Supplied excerpts: “Ordered Weyl expectations and their classical limit,” lines 991–1045,thm:ordered,eq:ordered-general,eq:ordered-bound, andeq:ordered-vacuum; and analytical release, lines 1798–1858,thm:release.https://enter.grok.me/browse/Em06-B. The source's full input-stability constants and relational construction are not reconstructed from these excerpts.CheungVIIH
N. Cheung, Landmark VII-H: normalization-independent connected quantum responses. Manuscript
VII-H.tex, version 1, undated. Enter Calculus Companion. Supplied release excerpt, lines 1748–1780,thm:release.https://enter.grok.me/browse/VII-H. Cited for the free massless Wick-square benchmark, complete contact-ambiguity boundary, and invariant response design. Section sec:response prints and proves the benchmark used in this manuscript.CheungVIIJ
N. Cheung, Manuscript VII-J.
VII-J.tex, version 1, undated. Enter Calculus Companion. Supplied release excerpt, lines 2035–2078,thm:release, and the supplied scheduled-path example.https://enter.grok.me/browse/VII-J. Cited for the distinction between scheduled ancestors, actual influence, and independently certified physical causal containment.CheungVIIIC
N. Cheung, Manuscript VIII-C.
VIII-C-v2.tex, version 2, undated. Enter Calculus Companion. Supplied “Backwards support for prescribed block channels,” lines 1512–1566,thm:C5,eq:backwards-set,eq:support, andeq:metric-support.https://enter.grok.me/browse/VIII-C. The finite support theorem needed here is independently proved in Section sec:causal.CheungEn01A
N. Cheung, Manuscript En01-A.
En01-A.tex, version 1, undated. Enter Calculus Companion. Supplied “Channel-interface theorem,” lines 1063–1093,thm:channelandeq:channelbias.https://enter.grok.me/browse/En01-A. Cited for operational separation of coherent and specified dephased inputs.CheungEn01B
N. Cheung, Manuscript En01-B.
En01-B-v2.tex, version 2, undated. Enter Calculus Companion. Supplied nuisance-cancellation and robust-margin theorem, lines 1518–1562,thm:contrast; and calibrated quadratic obstruction, lines 1215–1266,thm:width.https://enter.grok.me/browse/En01-B. Cited for common orientation, nuisance-enlarged families, and observational-equivalence boundaries.CheungEn01C
N. Cheung, Manuscript En01-C.
En01-C.tex, version 1, undated. Enter Calculus Companion. Supplied complete-record certificate, lines 1658–1723,thm:certificate,eq:statistic, andeq:g.https://enter.grok.me/browse/En01-C. Cited for bounded complete-record statistics, tail allowances, and independent-trial requirements.CheungEm05A
N. Cheung, Manuscript Em05-A.
Em05-A-v1.tex, version 1, undated. Enter Calculus Companion. Supplied “Diagnostic separation,” lines 1257–1298,thm:release.https://enter.grok.me/browse/Em05-A. Its finite extraction model is not identified with the oscillator or Bell counterexamples used here.CheungEn02E
N. Cheung, Manuscript En02-E.
En02-E-v2.tex, version 2, undated. Enter Calculus Companion. Supplied flagged-cutoff theorem, lines 572–602,thm:cutoff; and independent ancillary interface, lines 933–952,thm:ancilla.https://enter.grok.me/browse/En02-E. Cited with its number-diagonal and common-interface restrictions retained.CheungEm03D
N. Cheung, Manuscript Em03-D.
Em03-D-v1.tex, version 1, undated. Enter Calculus Companion. Supplied compact bulk-to-packet comparison, lines 887–954,thm:packetbridge; induced Weyl effect, lines 1062–1124,thm:induced; and analytical release, lines 2024–2085.https://enter.grok.me/browse/Em03-D. A separate fixed-background, state-class, and resource-dependent comparison; not a neuronal carrier correspondence.CheungEm04A
N. Cheung, Manuscript Em04-A.
Em04-A-v2.tex, version 2, undated. Enter Calculus Companion. Supplied analytical release, lines 1658–1698,thm:release.https://enter.grok.me/browse/Em04-A. Cited for separation of dissipative dynamics, instrument construction, and implementation verification.