A quantum ensemble contains preparation weights that are lost in its average density operator. We show how optimal decisions read these weights as a wave on projective state space. Varying the input prior sweeps a surface of fixed Born overlap through the ensemble; the resulting response propagates according to the geometry of pure states and reconstructs their distribution in every finite dimension. Conditional preparations can fix this wave through contact, selecting the ensemble at a steering boundary. Positive propagation gives exact biased-qubit solutions and explicit parent measurements for noisy channels. When measurement records are combined, their state directions are averaged and the wave acquires a source whose growth measures the lost discrimination advantage. Preparation, inference and noise can thus be understood as operations on the same recoverable distribution, linking quantum correlations to measurement resolution.
A quantum ensemble contains preparation weights that are lost in its average density operator. We show how optimal decisions read these weights as a wave on projective state space. Varying the input prior sweeps a surface of fixed Born overlap through the ensemble; the resulting response propagates according to the geometry of pure states and reconstructs their distribution in every finite dimension. Conditional preparations can fix this wave through contact, selecting the ensemble at a steering boundary. Positive propagation gives exact biased-qubit solutions and explicit parent measurements for noisy channels. When measurement records are combined, their state directions are averaged and the wave acquires a source whose growth measures the lost discrimination advantage. Preparation, inference and noise can thus be understood as operations on the same recoverable distribution, linking quantum correlations to measurement resolution.
Quantum state preparation can shape how positive and negative contributions combine in correlation measurements, providing a route to control cancellation through ensemble engineering. We develop a framework for relating this control to the prepared distribution, using the infinite-temperature trace of the same operator product as a uniform-weight reference for ensemble-dependent correlators. For diagonal observables, resolving both projector sectors separates each sector's probability mass from its conditional sign alignment and determines their contributions to the full correlator. A worked example shows what a selected-sector description can miss, and a simple bound limits the error from omitting the complementary contribution. We use two complementary preparations: Grover-type amplitude amplification to redistribute probability toward a specified target, and oracle-free shallow circuits to shape the distribution at low depth. Zero-time benchmarks combine noiseless simulations with finite-shot sampling and IBM Quantum demonstrations on up to 20 qubits. Sector statistics distinguish low occupation from cancellation within an occupied sector, while comparisons with noiseless simulations show that characteristic features of the engineered cumulative patterns persist on hardware. We also extend the analysis to multi-qubit diagonal observables and connect their sign and sector rules to explicit preparation choices. These results provide a basis for designing and assessing structured ensembles through their operator-resolved contributions to quantum correlation measurements.
Quantifying the disturbance caused by a quantum measurement typically requires detailed knowledge of the underlying measurement channel. In this work, we introduce a statistical disturbance bound, which connects the statistical properties of a quantum measurement to the state disturbance induced by any compatible measurement channel. Specifically, we show that the average fidelity between input and output with respect to an arbitrary ensemble of pure input states is fundamentally bounded in terms of the measurement, described as a positive operator-valued measure (POVM). We further develop the weighted state exclusion technique, which enables an experimental determination of the statistical disturbance bound without requiring explicit knowledge of the measurement effects. To see the advantages of our approach over existing information-disturbance relations, we show that our bound distinguishes between measurements with equivalent informativeness. Furthermore, we demonstrate that the weighted state exclusion technique can detect and quantify measurement-induced disturbance using state preparations that are insufficient for tomographic reconstruction of the measurement operators. Finally, we illustrate how disturbance bounds defined with respect to specific input ensembles can be used to bound an eavesdropper's guessing probability in a simple protocol for quantum randomness generation.
Quantum theory can be viewed as a generalization of classical probability theory, but the analogy as it has been developed so far is not complete. Whereas the manner in which inferences are made in classical probability theory is independent of the causal relation that holds between the conditioned variable and the conditioning variable, in the conventional quantum formalism, there is a significant difference between how one treats experiments involving two systems at a single time and those involving a single system at two times. In this article, we develop the formalism of quantum conditional states, which provides a unified description of these two sorts of experiment. In addition, concepts that are distinct in the conventional formalism become unified: Channels, sets of states, and positive operator valued measures are all seen to be instances of conditional states; the action of a channel on a state, ensemble averaging, the Born rule, the composition of channels, and nonselective state-update rules are all seen to be instances of belief propagation. Using a quantum generalization of Bayes' theorem and the associated notion of Bayesian conditioning, we also show that the remote steering of quantum states can be described within our formalism as a mere updating of beliefs about one system given new information about another, and retrodictive inferences can be expressed using the same belief propagation rule as is used for predictive inferences. Finally, we show that previous arguments for interpreting the projection postulate as a quantum generalization of Bayesian conditioning are based on a misleading analogy and that it is best understood as a combination of belief propagation (corresponding to the nonselective state-update map) and conditioning on the measurement outcome.
We study how much of the Hilbert-space and Born-rule structure of quantum theory can be obtained from operational primitives that involve records but not probabilities. The setting is a regime in which coherent alternatives recombine without leaving a stable record. We obtain three results of different kinds. Geometry. From composable contributions, record-inert reversible controls and amplitude scalings, under named conditions, we obtain a real inner-product event geometry. The existence of the inner product is equivalent to bounded mixing and is assumed in that form. In a worked interferometer with one mode per channel, the metric is not an input: metric-free port swaps and phase flips fix the form up to scale, and boundedness only forces the other controls to preserve it. Its uniqueness up to scale, the orthogonality of distinct outcomes, and the representation of events by orthogonal projections are derived. Obstruction. This geometry, even with full symmetry about the preparation and exact dyadic standards, does not select the quadratic weight: the preparation mixed with the maximally mixed state survives. The structural operations exhibited here certify only values on which the quadratic weight equals the counting weight. On restricted event families where Gleason’s theorem is unavailable, a calibration order oriented by the quadratic magnitude selects it: given exact standards, a state is the quadratic one exactly when it respects all such brackets. Whether such an orientation can be earned is the open problem. Given such brackets and refinement only to a finite depth K, every admissible state lies within 2^-K of the quadratic weight, without the Archimedean step. On the full projection lattice, Gleason’s theorem with null support, or sphere-transitive symmetry with null support, gives other conditional routes. Bridge. A predictive probability kernel is introduced separately. Its identification with the real quadratic weight ||P_A ψ||² / ||ψ||² is conditional on kernel-admission hypotheses, one of which is equivalent to the Born value; the complex form needs phase invariance in addition. The hypotheses select a class of contexts, and none is shown to be forced. For each we state the physical feature it expresses and a sufficient condition where one is known, and we work out one apparatus in which the geometry-stage hypotheses hold together. For all but one we give a context in which it fails (for the founding conditions, one that leaves the regime); for the remaining one, TCC-1, we give an illustration. This paper is the first in a series built on a common framework, Structural Ledger Consistency (in preparation).
In quantum mechanics, states are described by density matrices. Though their probabilistic interpretation is rooted in ensemble theory, density matrices embody a known shortcoming. They do not completely express the physical realization of an ensemble. Conveniently, the outcome statistics of projective and positive operator-valued measurements do not depend on the ensemble realization, only on the density matrix. Here, we show how the geometric approach to quantum mechanics tracks ensemble realizations. We do so in two concrete cases of a finite-dimensional quantum system interacting with another one with (i) finite-dimensional Hilbert space, relevant for quantum thermodynamics, and (ii) infinite-dimensional Hilbert space, relevant for state-manipulation protocols.
Most proposed table-top tests of gravity in the quantum regime use equal-amplitude spatial superpositions and seek either gravitationally induced entanglement or collapse-motivated loss of interference. This paper develops a complementary theory-classification framework in which branch weights are scanned as operational control parameters. A massive source is prepared in a two-branch state∣ψp⟩=p∣L⟩+1−p∣R⟩,or, more generally, in an m-branch state∣ψ⟩=∑a=1mpaeiθa∣a⟩.The elementary two-branch second cumulant p(1−p)(Δq)2 is treated as a baseline branch-resolution law, not as a quantum-gravity signature. The main object is an enlarged witness geometry combining mean response, branch-induced covariance and higher cumulants, operational recoverability, and excess-noise or irreversibility coordinates. The m-branch extension yields simplex and covariance-rank constraints; the n-particle extension distinguishes independent ensembles from collectively entangled branch states by n versus n2 scaling. Recoverability is formulated as a resource-theoretic witness convention: adaptive recovery may use probe instruments and classical feed-forward but may not introduce an independent branch-basis coherence resource; a separate joint-recovery functional captures coherent erasure using accessible source-probe correlations. Worked models illustrate deterministic expectation-value gravity, coherent branch-mediated interaction, effective irreversible branch-basis dephasing, and noisy classical measurement-feedback dynamics. A finite-record, calibrated measurement-feedback bound shows that, within that simulator class, reproducing nontrivial branch-conditioned response requires record distinguishability; the associated record overlaps bound adaptive recovery of source coherence, with response-calibrated corollaries when the feed-forward range is bounded. The resulting framework is not a new microscopic theory of gravity. It is a model-discrimination scheme for locating gravitational response models in a witness space generated by branch-weight, branch-number, and ensemble-size scans.