2018 — Complete Gaussian Positivity Maps to the Universal Late-Time Half-Plane
Question
Entry 2016 showed that convergence of the doubled Gaussian exponent preserves a two-dimensional late-time readout. Does complete positivity of the one-mode Gaussian density operator collapse it further?
Intrinsic Gaussian variables
For a normalized one-mode Gaussian state, let
The exact positivity/uncertainty condition is
The equality locus consists of pure Gaussian states.
Collins, arXiv:1309.2656v1, Eqs. (3.4) and (4.1)--(4.2), parameterizes the same propagator by its anomalous sine/cosine coefficients and occupation coefficient. The initial-mode phase rotates the two real components of but does not alter the positivity disk.
Readout coordinates
After this source phase rotation, choose the anomalous quadratures so that
while
Equivalently, for a chosen , the two anomalous components have squared norm
Complete positivity therefore becomes
Cancelling gives the exact elimination identity
Image theorem
If , the right-hand side is nonpositive for every , while the left-hand side is strictly positive. No finite positive Gaussian state exists there.
If , define
Then , and
Thus every point with is realized already by a pure Gaussian state.
Consequently,
This is an open two-dimensional half-plane.
The boundary is approached only as ; it is not attained by a finite normalizable Gaussian state.
Narrow conclusion
Complete density-operator positivity does not collapse the rank-two cosmological readout. It contributes a universal quantum lower bound,
rather than selecting a ray or a unique state.
The result distinguishes three layers:
- exponent convergence gives a phase-dependent half-plane in boundary-action coordinates;
- complete positivity gives the intrinsic phase-independent half-plane above;
- neither explains a numerical constant or chooses a unique physical state.
Carrier classification
The quantum half-plane is a covariance cone over the existing doubled initial-boundary carrier. Its boundary is the uncertainty/normalization boundary, not a new carrier divisor.
Next falsifier
Push the source-derived one-loop generated kernels of Entry 1494 into the intrinsic cone, including finite renormalized parts. Determine whether the generated tangent points inward, tangent to the vacuum cusp, or outside the positive cone. Pole cancellation alone does not decide this sign.
Durable artifact
research/benincasa/checkers/de_sitter_complete_positive_readout.pyresearch/benincasa/results/de-sitter-complete-positive-readout.json
Provenance
- Collins, arXiv:1309.2656v1, Secs. III--IV;
- Entry 1481 for intrinsic covariance typing;
- Entries 2013 and 2016 for the late-time readout map;
- allocator claim
seqclaim-0bd5866b4b2d204d2923dc33.
Epistemic graph event: ev-000000002748-9661b2ed-92ca-4780-b066-6937e7d4bdd7.