Expectation-Free Hamiltonian Learning

• Expectation-Free Hamiltonian is a method for quantum Hamiltonian learning that uses only single-shot projective measurements, avoiding expectation value estimation.
• It employs local randomization and scheduled short-time evolutions to reconstruct Hamiltonians in a local Pauli basis, surpassing the standard quantum limit.
• The approach achieves transient Heisenberg-limited scaling for parallel multi-parameter estimation without relying on entanglement or coherent joint measurements.

An expectation-free Hamiltonian refers to an approach for quantum Hamiltonian learning that eliminates the need for expectation value estimation—relying exclusively on single-shot, projective measurement data. In the context of recent research, specifically "Resource-Free Quantum Hamiltonian Learning Below the Standard Quantum Limit" (Baran et al., 28 Jul 2025), this term characterizes protocols that reconstruct an unknown Hamiltonian, decomposed in a local Pauli basis, using only short-time product-state trajectories, one-local randomized pre-processing, and projective measurements, and implements a single-shot maximum-likelihood estimator (MLE). These methods require neither entanglement, coherent measurements, nor dynamical control, yet can surpass the standard quantum limit (SQL) and achieve a transient Heisenberg-limited regime for parameter estimation.

1. Trajectory-Based Expectation-Free Protocol

The protocol begins by fixing a reference product state $\ket{\psi_0} = \ket{0}^{\otimes n}$. Each experimental run generates a "spread" state via local random unitaries:

$$\ket{\psi_0^{(r)}} = U_{\rm spread}^{(r)}\ket{\psi_0},\quad U_{\rm spread}^{(r)} = \bigotimes_{j=1}^n R_z(\xi_j)R_y(\chi_j)R_z(\phi_j),$$

where $\{\xi_j, \chi_j, \phi_j\}$ are sampled independently from the single-qubit Haar measure. This local randomization delocalizes the spectral support and ensures sensitivity to each Pauli term at short times.

A schedule of evolution times $\{t_k\}$ is chosen according to $t_k = \Delta t\,k^\alpha$ ($k \in \{1,...,m_t\}$, $\alpha > -1$), with the total evolution time $T_{\rm tot} = \sum_k t_k$ acting as the resource budget. For each spread state, time, and a fixed set of $K$ random product-Pauli measurement bases $p_\ell \in \{X,Y,Z\}^n$, the state is evolved under the target Hamiltonian and measured once in basis $$\ket{\psi_0^{(r)}} = U_{\rm spread}^{(r)}\ket{\psi_0},\quad U_{\rm spread}^{(r)} = \bigotimes_{j=1}^n R_z(\xi_j)R_y(\chi_j)R_z(\phi_j),$$0, yielding single-shot outcomes $$\ket{\psi_0^{(r)}} = U_{\rm spread}^{(r)}\ket{\psi_0},\quad U_{\rm spread}^{(r)} = \bigotimes_{j=1}^n R_z(\xi_j)R_y(\chi_j)R_z(\phi_j),$$1. No expectation values over measurement outcomes are formed at any stage.

2. Maximum-Likelihood Estimation without Expectation Values

Given a dataset of single-shot outcomes $$\ket{\psi_0^{(r)}} = U_{\rm spread}^{(r)}\ket{\psi_0},\quad U_{\rm spread}^{(r)} = \bigotimes_{j=1}^n R_z(\xi_j)R_y(\chi_j)R_z(\phi_j),$$2, the trial Hamiltonian $$\ket{\psi_0^{(r)}} = U_{\rm spread}^{(r)}\ket{\psi_0},\quad U_{\rm spread}^{(r)} = \bigotimes_{j=1}^n R_z(\xi_j)R_y(\chi_j)R_z(\phi_j),$$3 is parametrized as a Hermitian matrix via a complex lower-triangular embedding $$\ket{\psi_0^{(r)}} = U_{\rm spread}^{(r)}\ket{\psi_0},\quad U_{\rm spread}^{(r)} = \bigotimes_{j=1}^n R_z(\xi_j)R_y(\chi_j)R_z(\phi_j),$$4:

$$\ket{\psi_0^{(r)}} = U_{\rm spread}^{(r)}\ket{\psi_0},\quad U_{\rm spread}^{(r)} = \bigotimes_{j=1}^n R_z(\xi_j)R_y(\chi_j)R_z(\phi_j),$$5

ensuring Hermiticity for all $$\ket{\psi_0^{(r)}} = U_{\rm spread}^{(r)}\ket{\psi_0},\quad U_{\rm spread}^{(r)} = \bigotimes_{j=1}^n R_z(\xi_j)R_y(\chi_j)R_z(\phi_j),$$6. For each datum, the likelihood is

$$\ket{\psi_0^{(r)}} = U_{\rm spread}^{(r)}\ket{\psi_0},\quad U_{\rm spread}^{(r)} = \bigotimes_{j=1}^n R_z(\xi_j)R_y(\chi_j)R_z(\phi_j),$$7

The total (negative) log-likelihood,

$$\ket{\psi_0^{(r)}} = U_{\rm spread}^{(r)}\ket{\psi_0},\quad U_{\rm spread}^{(r)} = \bigotimes_{j=1}^n R_z(\xi_j)R_y(\chi_j)R_z(\phi_j),$$8

is minimized using gradient-based optimization (with backpropagation through the "extended-parameter embedding" neural network mapping). Importantly, all inference is performed directly from single-shot data—there is no construction of empirical expectation values at any point.

3. Transient Heisenberg-Limited Scaling and Error Analysis

The protocol exhibits error scaling that supersedes the SQL in total time for short-time probes. For an unknown Pauli-decomposed Hamiltonian,

$$\ket{\psi_0^{(r)}} = U_{\rm spread}^{(r)}\ket{\psi_0},\quad U_{\rm spread}^{(r)} = \bigotimes_{j=1}^n R_z(\xi_j)R_y(\chi_j)R_z(\phi_j),$$9

the single-parameter Fisher information at probe time $\{\xi_j, \chi_j, \phi_j\}$0 is given by

$\{\xi_j, \chi_j, \phi_j\}$1

Averaging over randomizations, $\{\xi_j, \chi_j, \phi_j\}$2 in the short-time regime ($\{\xi_j, \chi_j, \phi_j\}$3), indicating Heisenberg-limited scaling: from the Cramér–Rao bound, $\{\xi_j, \chi_j, \phi_j\}$4.

For a protocol summing over $\{\xi_j, \chi_j, \phi_j\}$5 times $\{\xi_j, \chi_j, \phi_j\}$6, the total Fisher information satisfies

$\{\xi_j, \chi_j, \phi_j\}$7

Consequently,

$\{\xi_j, \chi_j, \phi_j\}$8

enabling continuous interpolation from SQL error scaling ($\{\xi_j, \chi_j, \phi_j\}$9) to the Heisenberg limit ($\{t_k\}$0) by tuning $\{t_k\}$1.

4. Parallel Multi-Parameter Estimation without Structural Priors

Each short-time probability is generically sensitive to all Hamiltonian parameters. For Pauli string $\{t_k\}$2 and measurement outcome $\{t_k\}$3,

$\{t_k\}$4

Owing to full support under Haar randomness, all overlaps $\{t_k\}$5 are nonzero with probability one, yielding generic sensitivity.

Averaging the multi-parameter Fisher matrix over many spread states,

$\{t_k\}$6

the protocol statistically diagonalizes the Fisher matrix, ensuring all parameters are uncorrelated and recoverable in parallel at the Heisenberg rate. No term isolation or assumptions (e.g., sparsity, commutativity) are required.

5. Empirical Validation on One-Dimensional Spin Chains

The method was benchmarked on disordered, anisotropic Heisenberg models for 1D spin-$\{t_k\}$7 chains, including:

• XYZ nearest-neighbor: $\{t_k\}$8.
• XYZ2: Incorporates arbitrary local fields and next-nearest-neighbor couplings $\{t_k\}$9.
• XYZ3: Adds three-body couplings $t_k = \Delta t\,k^\alpha$0.
• Gapless XXZ: $t_k = \Delta t\,k^\alpha$1, $t_k = \Delta t\,k^\alpha$2.

The probe ensemble utilized $t_k = \Delta t\,k^\alpha$3 spread states, $t_k = \Delta t\,k^\alpha$4 evolution times $t_k = \Delta t\,k^\alpha$5, $t_k = \Delta t\,k^\alpha$6 random Pauli bases, and a single shot per basis. Reconstruction error $t_k = \Delta t\,k^\alpha$7 fit as $t_k = \Delta t\,k^\alpha$8 yields $t_k = \Delta t\,k^\alpha$9 at $k \in \{1,...,m_t\}$0, exceeding the SQL value ($k \in \{1,...,m_t\}$1). Varying $k \in \{1,...,m_t\}$2 produces error scaling $k \in \{1,...,m_t\}$3, matching theoretical predictions. Increasing $k \in \{1,...,m_t\}$4 pushes $k \in \{1,...,m_t\}$5 toward the single-parameter bound ($k \in \{1,...,m_t\}$6 for $k \in \{1,...,m_t\}$7), confirming statistical independence of the parameters.

Crucially, only one shot per measurement is sufficient to achieve these super-SQL scalings in practice.

6. Experimental Considerations and Implementation

The expectation-free Hamiltonian learning protocol does not require entanglement, coherent joint measurements, or dynamical multi-qubit control. Random local pre-rotations are sufficient, implemented independently on each qubit. The method’s minimal experimental requirements—short-time product-state trajectories, local randomization, scheduled single-shot Pauli measurements, and single-shot MLE—make it suitable for near-term quantum hardware. The associated codebase is online and open-source (Baran et al., 28 Jul 2025).

7. Significance and Conceptual Distinction

By avoiding any post-processing to form expectation values, the expectation-free Hamiltonian learning paradigm provides a streamlined, statistically efficient route to quantum Hamiltonian identification. Its analytic and numerical validation of transient Heisenberg scaling without quantum resources such as entanglement or dynamical control distinguishes it from prior resource-intensive schemes. The ability to learn all Hamiltonian parameters in parallel without structural priors further underscores the generality and potential impact of this class of protocols for characterizing complex quantum systems (Baran et al., 28 Jul 2025).