Imagine you need to photograph a building from 100 different angles. The conventional approach: walk to each spot, set up your tripod, take one photo, pack up, walk to the next spot. You make 100 trips. This paper's trick: mount the camera on a drone that flies a single continuous arc past all 100 positions simultaneously, capturing every angle in one pass. The drone needs a little extra hardware (GPS, stabilizers — the ancilla qubits) but the total flight time is radically shorter than 100 separate walks. That's the core mechanism here: encoding time itself as a quantum variable stored in ancilla qubits, so a single circuit sweep computes the entire correlation function across all time points at once. The committed claim: equilibrium correlation functions GAB(t−t') — the bread and butter of condensed matter physics, describing how systems respond to perturbations over time — can be computed across all Nt time points using a single quantum circuit with O(log Nt) ancilla qubits and O(log Nt) total circuit executions, requiring O(Nt log Nt) total quantum resources. The authors prove this scaling is optimal. Conventional quantum approaches — Hadamard test, variational methods, linear-response algorithms — all require a separate circuit per time point, giving at least O(Nt) shots and O(Nt²) total gates. The algorithmic architecture sits firmly in the Hamiltonian simulation family, specifically non-variational and gate-based. The key structural innovation is treating time as a quantum register rather than a classical parameter. By allocating O(log Nt) ancilla qubits to store a superposition of time values, the algorithm effectively parallelizes what was previously a sequential sweep. This is not a variational or hybrid approach — it's a clean circuit-model algorithm with a provable optimality guarantee. The compute property it leans on is the ability to create coherent superpositions over time indices, something with no classical analog. For the ladder: the baselines are the Hadamard test circuit, variational quantum eigensolvers adapted for dynamics, and linear-response-based approaches. All share the O(Nt) shots / O(Nt²) gates scaling. This paper achieves O(log Nt) shots / O(Nt log Nt) gates — an exponential improvement in shot count and a near-quadratic improvement in total gate resources. The demonstration is on a 1D spinless Hubbard model computing the Green's function, which is a canonical condensed-matter test case, not a toy problem. However, the system size for the demonstration is not specified beyond "1D spinless Hubbard," which likely means a modest number of sites. Integrity is mixed. The optimality of the O(Nt log Nt) scaling is proven mathematically, which is strong — this is a theoretical computer science style result, not a heuristic. The demonstration on the Hubbard model appears to be a numerical simulation rather than execution on real quantum hardware. No mention of pre-registration, code release, or independent replication. The benchmark choice (Hubbard model Green's function) is standard and not cherry-picked, but the absence of hardware noise analysis is notable. The milestone question maps to fault-tolerant quantum computing timelines. The algorithm's value scales with Nt — for small Nt, the overhead of ancilla preparation may not pay off. The real unlock comes when Nt is large enough that the log factor dominates, which coincides with system sizes where classical computation of correlation functions becomes intractable. That threshold is roughly 50-100 qubits with thousands of time points, which aligns with early fault-tolerant quantum computing expected in the 2028-2032 window. The obvious experiment not run: implementing this on actual noisy quantum hardware or even a noisy simulator. The algorithm assumes coherent ancilla qubits storing time superpositions — real hardware decoherence would degrade the time register first. The honest read is (a): this is a theoretical/algorithmic paper from a national lab group (Lawrence Berkeley), and the hardware experiment is a different paper with different collaborators. The scaling proof is the contribution; the hardware demonstration is deliberately deferred.
