You know how speed tests work for internet connections? You don't just measure your new fibre line — you measure it against the old copper line doing the same download, on the same file, at the same time of day. Without that baseline, you're just reading a number off a dial and hoping it means something. This paper builds the copper-line test for a quantum optimisation method called Pauli Correlation Encoding. The committed claim: PCE, a framework that encodes binary optimisation variables into many-body Pauli observables, does not actually need a quantum computer. The authors show that two specific circuit families — matchgate circuits (free-fermionic evolutions) and IQP circuits — can compute all the required Pauli expectation values efficiently on a classical machine. They call this 'efficiently simulable PCE,' and it produces high-quality solutions on four standard combinatorial benchmarks: MaxCut, Maximum Independent Set, Multi-Dimensional Knapsack, and Max3SAT, across problem sizes from tens to thousands of variables. Why does this matter? Because quantum optimisation has a credibility problem. QAOA, VQE, and other variational quantum algorithms keep claiming advantage on optimisation tasks, but the classical baselines they compare against are often weak or stale. By showing that PCE's correlation structure can be exploited classically — using matchgates and IQP circuits whose expectation values are efficiently computable — the authors hand the field an honest yardstick. Any future quantum PCE implementation that doesn't beat this classical version isn't demonstrating quantum advantage; it's demonstrating overhead. The architecture is clean and legible. PCE encodes each classical binary variable as the sign of a Pauli expectation value computed from a parameterised quantum state. The original version required estimating exponentially many such values on a quantum device. The dequantised version restricts to circuit families where those expectation values have known efficient classical simulation: matchgate circuits (polynomially simulable via free-fermion techniques, Valiant 2002 / Terhal-DiVincenzo 2002) and IQP circuits (whose diagonal structure permits efficient computation of specific Pauli correlations). The method is non-variational in the sense that it does not require iterative gradient-based optimisation loops — you set up the encoding, compute the signs, and read out a candidate solution. Integrity is solid for a methods paper. The benchmarks are standard NP-hard problems used widely in combinatorial optimisation. Problem sizes reach thousands of variables, which is non-trivial for a heuristic. But the abstract doesn't name specific approximation ratios or compare head-to-head against best-known classical heuristics like Gurobi or simulated annealing with explicit numbers. The phrase 'high-quality solutions' is doing a lot of work without a percentage attached. The 24-page paper with 8 figures likely contains those numbers, but the abstract's vagueness is a yellow flag for anyone triaging. The milestone question is inverted here. Instead of 'how many qubits until quantum wins,' the question becomes: at what problem size and structure does a quantum PCE implementation first beat this classical PCE baseline? That crossover point — if it exists — is the number to watch. The paper doesn't name it, which is honest: the whole point is that we don't know yet whether quantum PCE has an advantage at all. The obvious experiment not run: a head-to-head comparison between quantum PCE (on actual quantum hardware or a noisy simulator) and this classical PCE on the same benchmark instances. My read is (c) — they're saving it for the next paper. This paper establishes the classical baseline; the follow-up will be the quantum-vs-classical showdown. That's a smart two-paper strategy, not a gap.
