---
title: Quantum Computed Moments (QCM)
url: https://www.emergentmind.com/topics/quantum-computed-moments-qcm
type: topic
---

# Quantum Computed Moments (QCM)

Quantum Computed Moments (QCM) is a hybrid quantum–classical, moment-based quantum/subspace-expansion method in which Hamiltonian moments with respect to a trial state, \(\langle H^p\rangle\), are measured on a quantum computer and then combined through a cumulant or Lanczos cluster expansion to estimate ground-state energies and, in later extensions, other ground-state observables [2009.13140, 2111.08132]. In its characteristic use on near-term hardware, QCM keeps the trial-state circuit shallow, shifts much of the complexity into the measurement of low-order moments and classical post-processing, and produces a non-variational correction to the direct expectation value \(\langle H\rangle\) that can incorporate correlation beyond the prepared ansatz [2211.08780].

## 1. Definition, scope, and historical placement

QCM emerged from the broader family of moment-based and connected-moment methods, including the connected moments expansion (CMX) and the Peeters–Devreese–Soldatov (PDS) functional, but it is distinguished by the use of quantum-computed Hamiltonian moments together with a Lanczos-based analytic reconstruction of the ground-state energy [2009.05709, 2103.09124]. In the formulation that became standard in later work, a quantum processor prepares a trial state \(|\phi\rangle\), measures \(\langle H^p\rangle\) for a small number of orders \(p\), and a classical routine transforms those moments into a corrected estimate of the ground-state energy [2009.13140].

The central design objective is to reduce reliance on deep, highly expressive ansätze. Standard variational methods require the prepared state itself to approach the true ground state, whereas QCM uses the spectral information contained in the sequence of moments of a fixed or weakly parameterized trial state. In this sense, QCM trades ansatz complexity for measurement and post-processing complexity. The trial state must still have nonzero overlap with the target ground state, but the formalism is specifically intended to extract more information than is available from the first moment alone [2312.06975, 2603.09302].

The method has been developed and tested in several distinct settings. Initial demonstrations focused on quantum magnetism and lattices up to \(5\times 5\) (25 qubits) on IBM Quantum hardware [2009.13140]. It was then adapted to ab initio chemistry, first with Hartree–Fock reference determinants for hydrogen chains up to H\(_6\) [2111.08132], then with more general trial states and extensive reduced-density-matrix reconstructions for the water molecule [2311.02533, 2509.10758]. A parallel line of work extended QCM from energies to arbitrary ground-state observables through Hellmann–Feynman constructions [2312.06975].

## 2. Moment formalism and Lanczos reconstruction

For a normalized trial state \(|v_1\rangle\), QCM begins from the raw Hamiltonian moments
\[
\mu_p \equiv \langle H^p\rangle = \langle v_1|H^p|v_1\rangle.
\]
From these, one defines connected moments or cumulants recursively as
\[
c_p = \langle H^p\rangle -\sum_{j=0}^{p-2} \binom{p-1}{j}\, c_{j+1}\,\langle H^{p-1-j}\rangle.
\]
In particular, \(c_1=\langle H\rangle\), so the ordinary variational energy is the first term in the QCM construction [2111.08132, 2312.06975].

The reconstruction step uses Lanczos expansion theory. Rather than explicitly generating Krylov vectors on hardware, QCM exploits the fact that the sequence \(\{|\Psi_0\rangle, H|\Psi_0\rangle, H^2|\Psi_0\rangle,\dots\}\) is encoded implicitly in the moments. The ground-state energy is expressed through an infimum formula involving analytic expansions of effective Lanczos coefficients \(\alpha(z)\) and \(\beta(z)\), and truncation at fourth order produces the widely used closed-form estimator
\[
E_{\rm QCM}
= c_1 - \frac{c_2^2}{c_3^2 - c_2 c_4}
\left(\sqrt{3c_3^2 - 2c_2 c_4} - c_3\right).
\]
Different papers denote this quantity as \(E_{\rm QCM}\), \(E_0^{\mathrm{L}(4)}\), or \(E_L\), but the underlying expression is the same fourth-order Lanczos-cluster approximation [2009.13140, 2111.08132, 2311.02533].

This estimator is non-variational. It is not the expectation value of \(H\) in any prepared state, and it is not constrained to lie above the exact ground-state energy. That non-variational character is essential to the method’s purpose: it allows the estimate to pass below the Hartree–Fock or ansatz energy and to capture correlation encoded in higher moments. It also creates a corresponding caveat: inaccurate or noisy moments can drive the estimate to unphysical values or below the exact energy [2111.08132, 2603.09302].

The underlying interpretation is Krylov-theoretic. QCM is related to Lanczos, quantum subspace expansion, and other Krylov methods, but it does not require explicit preparation of \(H^k|\psi\rangle\) states or the measurement of Hamiltonian and overlap matrices for a generated basis. The Krylov subspace is represented implicitly by the measured moments, and the diagonalization step is replaced by an analytic moment functional [2009.13140, 2312.06975].

## 3. Measurement strategies and classical post-processing

The measurement layer depends strongly on the structure of the trial state and the Hamiltonian representation. In the generic spin-model formulation, one writes
\[
H = \sum_i w_i P_i,
\]
with Pauli strings \(P_i\), expands \(H^2,H^3,H^4\), and groups the resulting Pauli strings into tensor product bases (TPBs) or qubit-wise commuting sets so that many expectation values can be extracted from one measurement basis [2009.13140, 2603.09302]. This is the route used in the original lattice-model implementations, where moments up to fourth order were obtained directly from Pauli-string measurements on superconducting devices [2009.13140].

In chemistry, more specialized reductions are possible. For hydrogen chains with a single Slater determinant as trial state, the expectation value of any excitation operator can be written as a determinant of submatrices of the one-body reduced density matrix (1-RDM). In that implementation, the authors expanded \(\mathcal{H}^p\) classically, measured only 1-RDM elements \(\langle a_i^\dagger a_j\rangle\) on hardware, reconstructed higher-body expectations through determinant identities, and then formed \(\langle \mathcal{H}^p\rangle\) up to \(p=4\) entirely in classical post-processing [2111.08132]. Because the reference was a singlet Slater determinant, spin-degeneracy reduction and symmetry constraints further reduced qubit and measurement counts.

The water-molecule implementation used a different strategy because the trial state was a selected UCCD ansatz rather than a single determinant. There, the full 4-body reduced density matrix was reconstructed from 200 different Pauli bases with 25,000 shots each, readout error mitigation and symmetry verification were applied, and Wick’s theorem was used classically to evaluate \(\langle \mathcal{H}^p\rangle\) and related mixed operators [2509.10758]. The same infrastructure supported both ground-state energy estimation and the later extension to dipole moments.

Across these variants, the classical pipeline is consistent: measure a sufficient set of low-order correlators on hardware, assemble \(\langle H^p\rangle\), compute the cumulants \(c_p\), and evaluate the fourth-order Lanczos formula. The method is therefore “classical-heavy” in two distinct senses: it requires symbolic or numerical preprocessing of moment expressions, and it pushes the energy reconstruction itself into post-processing rather than state preparation [2311.02533, 2109.12790].

## 4. Noise robustness, purification, and mitigation layers

A defining claim of the QCM literature is that the fourth-order Lanczos estimator is unusually robust to noise on near-term hardware. In the hydrogen-chain study, raw QCM energies showed a much smaller upward shift than raw Hartree–Fock energies, and for H\(_6\) at \(0.74\) Å the method recovered 97.1% of the molecular energy without error mitigation, compared with 78% for direct measurement of \(\langle \mathcal{H}\rangle\) [2111.08132]. In the deep-circuit magnetism study, QCM maintained reasonable energy estimates for instances up to 20 qubits and trial-state circuits of up to \(\sim 500\) CNOTs, whereas direct VQE energies drifted toward their high-temperature limits; the authors argued that matching these results by VQE would require hardware improvement by about two orders of magnitude in error rates [2211.08780].

An analytic account of this robustness was given in the study of deep noisy circuits. Under a global white-noise model, the fourth-order Lanczos estimator \(E_0^{\mathrm{L}(4)}\) cancels the leading noise contribution that appears in \(\langle H\rangle\), so the first noise-sensitive term enters only at higher order in a small spectral-gap parameter. That analysis was presented as an explicit filtering of incoherent noise by the structure of the moment functional [2211.08780].

Several implementations added post-processing mitigation. For single-determinant chemistry, the measured 1-RDM should be idempotent, \(R^2=R\), and noise breaks this property. The hydrogen-chain work applied McWeeny purification,
\[
R_{j+1}=3R_j^2-2R_j^3,
\]
to push the measured 1-RDM back toward the manifold of Slater-determinant density matrices before reconstructing all moments. The purified QCM estimate crossed the Hartree–Fock variational limit and reached within 99.9% of the exact electronic ground-state energy for H\(_6\), with dissociation-curve errors of order 10 mH for H\(_6\) and as low as 0.1 mH for H\(_2\) in STO-3G [2111.08132].

Later work identified specific “pathological” noise regimes. Because the fourth-order formula contains both a square root,
\[
3c_3^2 - 2c_2 c_4,
\]
and a denominator,
\[
c_3^2 - c_2 c_4,
\]
noise can make the square-root argument negative or the denominator singular. In fermionic problems, noisy moments can also shift the effective spectral weight into the wrong charge sector, so QCM reconstructs the ground state of the noisy effective matrix rather than the intended constrained problem [2603.09302]. To address this, the FCQEM method applies a purely classical post-processing map to measured probability distributions, \(p_i \mapsto p_i^2/\sum_j p_j^2\), before moment reconstruction. In the reported HeH\(^+\), TFIM, and H\(_2\)O studies, FCQEM+QCM improved upon either method individually and, in the H\(_2\)O depolarization study, improved the correction by two orders of magnitude relative to QCM alone [2603.09302].

## 5. Applications in chemistry, magnetism, and arbitrary observables

QCM was first demonstrated for two-dimensional quantum magnetism models on lattices up to \(5\times 5\) (25 qubits), where the infimum estimate consistently outperformed the benchmark variational calculation for the same shallow trial state [2009.13140]. It was then adapted to ab initio chemistry, beginning with linear hydrogen chains H\(_2\), H\(_4\), and H\(_6\), where moments with respect to the Hartree–Fock determinant were sufficient to recover dynamical correlation beyond the Hartree–Fock limit on superconducting hardware [2111.08132].

The most precise chemistry energy demonstration reported for a real molecule was the 8-qubit water calculation on IBM hardware. Using a 4-excitation UCCD-inspired trial circuit of depth 25 with 22 CNOTs, QCM combined with readout mitigation, symmetry verification, reduced-density-matrix rescaling, and reference-state calibration produced a ground-state energy within \(1.4\pm 1.2\) mHa of exact diagonalisation in the 14 spin-orbital basis [2311.02533]. The paper characterized this as chemically relevant accuracy for a non-trivial molecular system on noisy superconducting hardware.

A major extension was the generalization from energies to arbitrary ground-state observables. The method introduces a perturbed Hamiltonian
\[
H_\lambda = H + \lambda A,
\]
uses QCM to estimate the ground-state energy of \(H_\lambda\), and then applies the Hellmann–Feynman theorem. In the finite-difference form used in practice,
\[
\langle A\rangle_0^{\mathrm{L}(4)} \approx
\frac{E_{+\varepsilon,0}^{\mathrm{L}(4)} - E_{-\varepsilon,0}^{\mathrm{L}(4)}}{2\varepsilon}.
\]
Because the \(\lambda\) dependence is introduced in classical post-processing, the same quantum data can be reused for \(+\varepsilon\) and \(-\varepsilon\) [2312.06975].

This framework was first demonstrated for magnetization and spin–spin correlations in Heisenberg models, where QCM tracked exact ground-state observables across parameter regions in which direct trial-state expectations deviated strongly [2312.06975]. It was then applied experimentally to the electric dipole moment of the water molecule. In that study, the QCM-based Hellmann–Feynman estimate agreed with full configuration interaction within \(0.03 \pm 0.007\) debye \((2\% \pm 0.5\%)\), whereas direct expectation-value determination had errors on the order of 0.07 debye \((5\%)\), even in noiseless statevector calculations [2509.10758]. This established that the moment-based improvement is not restricted to the energy itself.

## 6. Relation to other methods, limitations, and outlook

QCM is closely related to VQE, quantum subspace expansion, quantum Lanczos, CMX, and quantum phase estimation, but it occupies a distinct regime. Relative to VQE, it keeps the ansatz simple and fixed or weakly optimized, then uses higher moments to generate a non-variational correction rather than seeking all accuracy through state preparation [2009.13140, 2111.08132]. Relative to explicit Krylov or subspace methods, it does not prepare \(H^k|\psi\rangle\) states or measure Hamiltonian and overlap matrices in a generated basis; the Krylov information is encoded implicitly in the moment sequence [2312.06975]. Relative to QPE, it is designed for shallow circuits and NISQ devices rather than deep coherent evolution and fault-tolerant operation [2111.08132, 2211.08780].

The main limitations recur across the literature. The method requires nonzero ground-state overlap of the trial state, and finite-order truncation means that accuracy still depends on the quality of that reference [2312.06975, 2103.09124]. Higher-order moments are more sensitive to shot noise and device noise, so most practical implementations stop at fourth order [2111.08132, 2311.02533]. In chemistry, the symbolic or tensorial preprocessing of \(\mathcal{H}^4\) can become the dominant bottleneck, particularly for conventional molecular-orbital Hamiltonians with \(\mathcal{O}(N_s^4)\) terms [2111.08132, 2509.10758]. Some implementations also rely on special structure, such as a single Slater determinant or singlet symmetry, to reduce the measurement problem [2111.08132].

The non-variational character of QCM is both its strength and its principal caution. It enables energies below Hartree–Fock and beyond the direct ansatz limit, but it also means that noisy or mispurified moments can produce ill-conditioned expressions, complex branches, or energies that correspond to the wrong physical sector [2603.09302]. The later literature therefore emphasizes physically constrained purification, better Hamiltonian representations, improved error mitigation, and integration with more flexible trial states as the central directions for further development [2509.10758, 2603.09302].

Taken together, the published work presents QCM as a family of Lanczos-cluster, moment-based reconstruction methods that are specifically adapted to shallow-circuit quantum hardware. Its established domain is low-order, noise-robust recovery of ground-state energies and observables from imperfect trial states; its open problem is how far that strategy can be scaled, both computationally and chemically, as Hamiltonian representations, measurement reductions, and mitigation methods improve.

Source: https://www.emergentmind.com/topics/quantum-computed-moments-qcm