Quantum statistical functions

Statistical functions such as the moment-generating function, characteristic function, cumulant-generating function, and second characteristic function are cornerstone tools in classical statistics and probability theory. They provide a powerful means to analyze the statistical properties of a system and find applications in diverse fields, including statistical physics and field theory. While these functions are ubiquitous in classical theory, a quantum counterpart has remained elusive due to the fundamental hurdle of noncommutativity of operators. The lack of such a framework has obscured the deep connections between standard statistical measures and the non-classical features of quantum mechanics. Here, we establish a comprehensive framework for quantum statistical functions that transcends these limitations, naturally unifying the disparate languages of standard quantum statistics, quasiprobability distributions, and weak values. We show that these functions, defined as expectation values with respect to the purified state, naturally reproduce fundamental quantum statistical quantities like expectation values, variance, and covariance upon differentiation. Crucially, by extending this framework to include the concepts of pre- and post-selection, we define conditional quantum statistical functions that uniquely yield weak values and weak variance. We further demonstrate that multivariable quantum statistical functions, when defined with specific operator orderings, correspond to well-known quasiprobability distributions. Our framework provides a cohesive mathematical structure that not only reproduces standard quantum statistical measures but also incorporates nonclassical features of quantum mechanics, thus laying the foundation for a deeper understanding of quantum statistics.

💡 Research Summary

The paper “Quantum statistical functions” presents a unified theoretical framework that brings the central tools of classical probability—moment‑generating functions (MGF), characteristic functions (CF), cumulant‑generating functions (CGF), and second characteristic functions (SCF)—into the quantum domain. Classical statistics relies on a single probability distribution to encode all moments and cumulants, but quantum mechanics introduces two fundamental obstacles: non‑commuting observables and the intrinsic probabilistic nature of measurement outcomes. The authors overcome these hurdles by defining quantum statistical functions as expectation values taken with respect to a canonical purification of the density operator and by systematically incorporating operator ordering.

Canonical purification
For any mixed state ρ on a Hilbert space ℋ, the authors use the canonical purification |Ψ⟩∈ℋ⊗ℋ* (ℋ* being the dual space) defined by |Ψ⟩=∑_i√λ_i|α_i⟩⊗⟨α_i|, where ρ=∑_i λ_i|α_i⟩⟨α_i|. In this enlarged space an observable A acts as A⊗𝟙, guaranteeing that ⟨Ψ|A⊗𝟙|Ψ⟩ = Tr(Aρ). This construction makes it possible to treat all quantum statistical quantities as ordinary expectation values, mirroring the classical case.

Quantum statistical functions
The quantum moment‑generating function (QMGF) is defined as
 M_Q(θ)=⟨Ψ|e^{θA⊗𝟙}|Ψ⟩.
Differentiating n times with respect to the real parameter θ and evaluating at θ=0 yields Tr(Aⁿρ), i.e., the n‑th ordinary moment. The quantum characteristic function (QCF) follows by analytic continuation θ→iθ, guaranteeing existence for all real arguments just as in the classical case. The logarithms of M_Q and C_Q give the quantum cumulant‑generating function (QCGF) and the second characteristic function (QSCF), respectively; their derivatives reproduce variance, covariance, and higher‑order cumulants.

Multivariate extension and operator ordering
For several non‑commuting observables {A_j}, the authors introduce a generalized operator‑ordering functional 𝒪_s(·) that encodes a chosen ordering prescription s (e.g., symmetric, normal, anti‑normal). The multivariate QMGF reads
 M_Q^{(s)}(θ₁,…,θ_k)=⟨Ψ|𝒪_s(e^{θ₁A₁}…e^{θ_kA_k})|Ψ⟩.
Fourier transforming this object produces quasiprobability distributions that depend on the ordering: the Kirkwood‑Dirac (KD) distribution for the symmetric ordering, the Margenau‑Hill (MH) distribution for the Weyl‑ordered case, and the Wigner function for the specific ordering that yields real‑valued phase‑space representations. Thus the framework clarifies how non‑commutativity manifests as a family of quasiprobabilities rather than a single classical probability.

Conditional functions and weak values
The paper extends the formalism to pre‑ and post‑selected ensembles. Given a pre‑selected state |ψ⟩ and a post‑selected state |φ⟩, a conditional purified state |Ψ_{ψ→φ}⟩ is constructed. The conditional QMGF,
 M_Q^{cond}(θ)=⟨Ψ_{ψ→φ}|e^{θA⊗𝟙}|Ψ_{ψ→φ}⟩,
has the property that its first derivative yields the weak value ⟨A⟩_w = ⟨φ|A|ψ⟩/⟨φ|ψ⟩, while the second derivative gives the weak variance. Consequently, weak measurements are naturally embedded as conditional expectations within the same mathematical structure, eliminating the need for ad‑hoc definitions.

Quantum Bochner theorem
A central theoretical contribution is a quantum analogue of Bochner’s theorem. In classical probability, a characteristic function corresponds to a positive‑definite measure if and only if it is positive‑semidefinite. The authors prove that a quantum characteristic function is positive‑definite precisely when the associated quasiprobability distribution is a genuine probability measure; otherwise, the function necessarily encodes non‑classical features (negativity or complex phases). This result provides a rigorous criterion separating classical from quantum statistics and explains why KD, MH, or Wigner distributions can become negative.

Applications to quantum parameter estimation
Leveraging the quantum statistical functions, the authors propose the Quantum Method of Moments (QMM) and its generalized version (QGMM). By experimentally varying the source parameters θ in the QMGF and measuring the resulting expectation values, one can construct unbiased estimators for unknown physical parameters. The multivariate QGMM, using ordered multivariate QMGFs, allows simultaneous estimation of several parameters with a resource‑optimal measurement scheme, outperforming traditional Fisher‑information‑based approaches in certain regimes.

Comparison with existing frameworks
Section V contrasts the present approach with methods based on matrix geometric means and information geometry. While those frameworks also address non‑commutativity, they either lack a direct connection to quasiprobability distributions or require more elaborate geometric constructions. The purification‑based definition here is conceptually simpler, operationally transparent, and directly yields the familiar statistical quantities upon differentiation.

Structure of the paper

• Section II reviews classical statistical functions, generating functionals in quantum field theory, canonical purification, and the matrix geometric mean.
• Section III introduces the four quantum statistical functions, their multivariate ordered extensions, the conditional versions, and proves the quantum Bochner theorem.
• Section IV develops QMM and QGMM for quantum metrology, providing explicit examples.
• Section V compares the new framework with alternative approaches, highlighting its advantages.
• Section VI summarizes the results and outlines future directions, such as extensions to open quantum systems and connections to quantum thermodynamics.

In summary, the authors deliver a comprehensive, mathematically rigorous, and physically insightful framework that unifies moment‑generating techniques, quasiprobability representations, and weak‑value theory under a single umbrella. By grounding everything in the canonical purification and operator ordering, the work bridges the gap between classical statistical tools and the intrinsically non‑classical nature of quantum mechanics, opening avenues for novel experimental protocols in quantum state characterization, metrology, and foundational studies.