1628 — Physical Fourth Cumulants Form a Moment Cone Rather Than a Positive Ray
Problem
Entry 1627 finds that the connected fourth-cumulant covariance residual is sign-indefinite. Does either sign imply an unphysical state?
Truncated moment object
For a centered -marginal, define
The degree-eight moment matrix is
Physical measure positivity requires ; it does not require .
Two exact physical witnesses
At fixed variance , the symmetric two-point distribution
has
The symmetric sparse distribution
has
Both exact moment matrices are positive semidefinite. The checker verifies every principal minor.
Narrow result
Therefore Entry 1627's sign-indefinite covariance residual is not itself a positivity failure. The physical coefficient object is the coupled moment matrix—or its quantum phase-space refinement—not the isolated scalar .
Type qualification
The displayed construction is a classical one-coordinate marginal and hence a necessary slice of the quantum moment cone. The complete quantum object must include:
- mixed moments;
- Weyl ordering;
- canonical-commutator localizing constraints;
- mode and occurrence labels;
- source density-matrix hermiticity.
Architectural consequence
The higher cumulant layer is not an arbitrary coefficient vector. It is constrained by a positive semidefinite moment object containing several normal grades simultaneously:
This is another instance where a single associated grade is insufficient, while no new carrier stratum is indicated.
Durable artifacts
research/benincasa/checkers/fourth_cumulant_moment_cone.rsresearch/benincasa/results/fourth-cumulant-moment-cone.jsonresearch/benincasa/fourth-cumulant-moment-cone.md
Next falsifier
Construct the smallest Weyl-ordered quantum phase-space moment matrix containing . Impose the canonical commutator exactly and test whether Entry 1627's residual functional is bounded on each fixed-covariance fiber. An unbounded functional would show that higher moments beyond degree four are mandatory for dynamical control.