{"id":"be912849-852a-4562-be7e-8a93b2393833","arxiv_id":"1908.09533","paper_version":1,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":6.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":3,"one_line_summary":"Selecting a handful of Pauli terms from the problem Hamiltonian yields short-depth VQE trial wavefunctions that reach chemical accuracy for H2, LiH, and H2O, with only four variational parameters for LiH.","lead":"Two ways to build short trial waves for the variational quantum eigensolver are proposed, using only a few Pauli terms from the molecule's Hamiltonian; numerical tests on H2, LiH, and H2O reach chemical accuracy with very few gates. The approach sharply reduces circuit depth and variational parameters versus unitary coupled cluster, which matters for noisy near-term quantum computers.","discovery_kind":"new_method","skeptic_critique":{"model":"deepseek-v4-flash","headline":"The X-to-Y replacement does not just multiply the Pauli term by i; it inserts an extra Z, so the imaginary-time ansatz depends on an unspecified qubit choice and the LiH/H2O results may not be robust.","rationale":"The reader's weakest-assumption analysis and my stress-test converge on the X-to-Y replacement heuristic for the imaginary-time ansatz. My reading adds a precise technical point: the replacement is not a global phase multiplication. For a Pauli term containing X on qubit q, replacing that X with Y gives i H_j Z_q, so the modified operator depends on q through an extra Pauli Z. The paper's H2 demonstration is degenerate in the sense that the extra Z only changes phases on the two relevant basis states, so it cannot validate the general 'it does not matter which qubit' claim. For LiH and H2O the selected terms act in larger subspaces, and different replacement positions can yield unitaries that explore different relative phases among the connected configurations. The reported four-term LiH result may therefore depend on an unspecified choice, and the missing appendix prevents a reader from checking the exact operators used. This concern is not a rejection: the reported energies are variational upper bounds and could still be fully correct for the specific terms used. But the paper should either prove or empirically demonstrate robustness of the replacement rule, or specify a deterministic selection rule that reproduces the reported ansatz. Since the reader already conditions acceptance on this and related points, my verdict is unchanged.","tokens_in":9240,"tokens_out":10642,"duration_ms":123239,"concrete_test":"Restore the missing appendix and, for the reported LiH optimal set (YXXYXXXX, ...), enumerate every possible position for the X-to-Y replacement in each of the four terms. For every combination of replacement positions, classically optimize the four parameters in Eq. (9) and compute the energy error relative to the exact ground state. If all combinations reach chemical accuracy (<1.6 mH), the heuristic is robust; if only some do, identify a selection rule (e.g., choose the replacement whose H'_j maximizes the imaginary-time overlap, or minimizes the perturbative energy) and show the reported four-term set is the output of that rule. Repeat for the H2O 18-term set. This directly settles whether the reported gate counts and parameter counts are properties of the construction as specified.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The central result for the imaginary-time ansatz rests on the claim that, in each selected Hamiltonian term H_j, one Pauli X can be exchanged for a Y and \"it does not matter\" which qubit is chosen, because the term \"acquires a factor i\". This is not correct in general. Since Y = i X Z, replacing X on qubit q gives H'_j = i H_j Z_q (up to a sign convention), not i H_j. The extra Z_q acts as a relative phase between the computational basis states connected by H_j. For a two-qubit system the effect can be absorbed into a global phase, which is why the H2 example in Eqs. (7)-(8) and Fig. 3 does not expose the problem, but for LiH and H2O the different choices of q produce genuinely different unitary evolutions. The paper gives no criterion for choosing q, and the appendix with the optimal terms is missing from this version. If the reported K=4, 4-parameter success for LiH depends on a favorable choice among the possible X positions, the headline result is an under-specified special case rather than a robust construction.","agreement_with_reader":"agree"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper proposes two Hamiltonian-term-based ansatze for VQE: a QAOA-inspired ansatz that interleaves evolutions under selected problem-Hamiltonian Pauli terms with single-qubit Z-rotations (Eq. (2)), and an imaginary-time-inspired ansatz obtained by replacing one X by Y in each selected Pauli term and evolving under the resulting Hermitian operator (Eq. (9)). For H2, LiH, and H2O in STO-3G with parity mapping and frozen-core reduction, the authors use exact classical diagonalization as the energy target and a greedy, one-term-at-a-time selection heuristic. They report chemical accuracy with K=1 (H2), K=4 (LiH), and K=18 (H2O) Pauli terms at P=1, with correspondingly small gate counts; for LiH the imaginary-time ansatz uses four variational parameters, 36 two-qubit gates, and 45 one-qubit gates. Scaling formulas for parameters and gate counts are given as functions of N, K, and P.","tokens_in":9506,"tokens_out":18668,"duration_ms":194253,"significance":"Should the construction be robust, the practical impact is real: it provides concrete, small circuit-resource counts for VQE on NISQ hardware and reduces the variational-parameter count relative to the UCC ansatz in the numerical examples. The numerics are transparent and honest in the sense that all reported energies are variational upper bounds compared against exact diagonalization, so the error curves are valid capacity statements for the ansatz. The main risk is that the imaginary-time-inspired substitution rule is asserted rather than proven; if that rule is under-specified or fails for LiH/H2O, the headline K=4 LiH result is not a well-defined algorithm.","major_comments":[{"comment":"The justification for the X→Y replacement is not correct as stated. With the standard Pauli relation Y = i X Z (up to an irrelevant sign convention), replacing X on qubit q in H_j gives H'_j = ± i H_j Z_q, so e^{-iγ H'_j} = e^{±γ H_j Z_q}, i.e. evolution generated by H_j Z_q rather than by H_j. The statement that \"it does not matter for which qubit we exchange X with Y\" therefore requires proof. In the two-qubit H2 example the extra Z_q acts on the two-dimensional subspace as a constant (up to a sign), which is why Eqs. (7)–(8) and Fig. 3 do not expose the problem; for N≥3, different choices of q define genuinely different variational manifolds. The example H'_j = YYXYXXXX for LiH shows one particular choice but no selection rule is given, and the appendix in which the optimal terms are listed is absent from this version. The K=4, four-parameter LiH result in Fig. 4 and Table I is therefore not a well-specified construction unless a canonical choice of q is fixed and its impact, or a proof of invariance, is supplied.","section":"Imaginary-time ansatz, Eqs. (5)–(9)"},{"comment":"The claim that the term-search increases computational load \"only polynomially\" is not substantiated. The greedy algorithm makes O(KM) candidate-term evaluations, but each evaluation is itself a VQE minimization with an uncharacterized number of quantum-circuit calls and classical optimization steps. The polynomial statement applies to the number of Hamiltonian terms tried, not to the total computational cost, and the paper does not report the number of optimizer iterations or measurements per candidate. Without this information, the \"favorable scaling for larger molecules\" in the abstract is supported for circuit depth and parameter count, but not for the full VQE workflow.","section":"Term-selection algorithm, Figs. 1 and 4 and following paragraph"}],"minor_comments":[{"comment":"The sentence \"for LiH with K = 1, only 45 one-qubit gates and 36 two-qubit gates are enough to obtain chemical accuracy with only 4 variational parameters\" is inconsistent with the abstract and Table I, where the four-parameter LiH entry corresponds to K=4 and P=1; please correct the K value or provide the consistent K=1, P=4 data.","section":"Paragraph after Fig. 4 and Table I"},{"comment":"The text states that \"the optimal Pauli terms are listed in the appendix,\" but no appendix appears in this version; since the X-to-Y replacement choices are part of the circuit specification, the accepted manuscript should include the full list.","section":"Appendix reference"},{"comment":"The assertion that a Hamiltonian-based generation \"automatically preserves the particle-number of the trial wavefunction\" is not demonstrated for the individual Pauli terms H_j after the fermion-to-qubit mapping; each selected H_j should be shown to commute with the particle-number operator, or the statement should be qualified.","section":"Introduction, particle-number claim"},{"comment":"The column header \"H20\" should be \"H2O\", and the table caption should define P (the number of discretization steps) and distinguish it from the parameter count.","section":"Table I"},{"comment":"The LiH bond-length statement is given without supporting data; a figure or table showing the same four terms work across the stated bond-length range would strengthen the claim.","section":"Bond-length scan"}],"recommendation":"major_revision","confidential_remarks":"The paper is within scope and the numerical work is clean. The main technical issue is the under-specified X-to-Y replacement rule for the imaginary-time ansatz, which directly affects the headline LiH resource count. I recommend requiring (i) a precise statement of the replacement rule with a proof of invariance or a numerical test over all replacement positions for at least LiH and H2O, (ii) reporting the optimizer overhead for the greedy selection, and (iii) including the appendix with the optimal terms. These are fixable within the manuscript's scope; the paper does not need new physics or a different method."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Here's the short version: this paper shows that a VQE trial state formed from a small, greedily selected set of the problem-Hamiltonian Pauli terms can get to chemical accuracy for H2, LiH, and H2O with far fewer gates and parameters than UCC. The QAOA-inspired construction is a legitimate, useful idea. The imaginary-time construction, however, rests on an X-to-Y replacement heuristic that is stated too glibly and, as written, is not correct for multi-qubit terms.\n\nWhat's genuinely new is using Hamiltonian Pauli terms directly as the ansatz generator pool, with a classical search to pick K terms, and two unitaries built from them. The numerical results are transparent: they compare against exactly diagonalized energies, and the variational energies are upper bounds, so the accuracy claims are honest in-sample capacity statements. For LiH, four terms (36 CNOTs, 4 parameters) beats UCC's 112 CNOTs and 8 parameters, and H2O also shows gains.\n\nThe soft spot is the X-to-Y rule. The paper says 'it does not matter for which qubit we exchange X with Y' because the term 'acquires a factor i.' That's not right. Y = i X Z, so replacing X_q by Y_q gives H'_j = i H_j Z_q, not i H_j. The extra Z_q sits on a specific qubit and the resulting unitary genuinely depends on which qubit you pick. For H2 the two choices are related by symmetry, which is why the example in Eqs. (7)-(8) looks fine. For LiH and H2O the choices are not equivalent, and without a criterion for choosing q the K=4 LiH result is an under-specified special case. The appendix listing the optimal terms is referenced but missing from this version, so I can't check whether a favorable choice was made.\n\nOther notes: the term selection uses exact energies as the oracle, so these are capacity demonstrations, not parameter-free predictions. Optimizer details are absent and no code or data are shipped. Those are minor for a methods letter.\n\nBottom line: the QAOA-inspired half is solid and worth a serious referee. The imaginary-time half needs either a proof that the unitary family is independent of the X position, or a clear rule for choosing the position, and the appendix needs to be present. I'd send it to peer review.","headline":"A useful VQE ansatz construction with honest numerical capacity claims, but the imaginary-time variant's X-to-Y rule is mathematically under-specified and needs fixing before the headline LiH numbers can be taken at face value.","tokens_in":10050,"tokens_out":9480,"would_cite":false,"duration_ms":84642,"reading_group":"maybe","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":[],"pacs":[],"model":"deepseek-v4-flash","headline":"A tiny subset of the problem Hamiltonian's Pauli terms can build VQE trial wavefunctions that reach chemical accuracy for H2, LiH, and H2O.","keywords":["variational quantum eigensolver","trial wavefunction","Pauli terms","imaginary-time evolution","quantum approximate optimization algorithm","molecular Hamiltonian","short-depth circuits","LiH"],"falsifier":"Apply the imaginary-time-inspired ansatz to LiH using the reported first optimal term $YXXYXXXX$, and optimize the energy for each of the six possible single-$X$-to-$Y$ substitutions instead of just the paper's $YYXYXXXX$; if any substitution fails to reach 1.6 mHartree, the claim that the choice of substituted qubit is irrelevant is refuted.","tokens_in":8988,"feed_emoji":"⚛️","tokens_out":12273,"duration_ms":112887,"temperature":0.7,"pith_summary":"The paper argues that a variational quantum eigensolver can use a trial wavefunction built from a small, selected subset of the problem Hamiltonian's Pauli terms, rather than from the full Hamiltonian or a complete coupled-cluster expansion. The authors demonstrate by numerical VQE simulation that chemical accuracy of 1.6 mHartree is reached with one Pauli term for H2, four of 276 terms for LiH, and 18 of 551 terms for H2O. Their imaginary-time-inspired construction replaces one X with one Y in each selected term, turning a non-unitary decay into a unitary rotation with a single variational parameter per term; for LiH this yields a circuit with only four parameters, 36 two-qubit gates, and 45 one-qubit gates. If this holds, molecular ground-state energy estimation becomes far less demanding in circuit depth and optimization cost, which is the main obstacle to running VQE on noisy intermediate-scale quantum hardware.","feed_headline":"Four Pauli terms suffice for LiH chemical accuracy","feed_subtitle":"A VQE ansatz built from a handful of Hamiltonian terms runs in 36 two-qubit gates and four parameters.","key_machinery":"The machinery is a Hamiltonian-derived ansatz: write the Hamiltonian as $H = \\sum_j h_j H_j$ with Pauli terms $H_j$, choose a subset $S$ of $K$ terms, and form products of exponentials $e^{-i\\gamma H'_j}$, optionally interleaved with single-qubit $Z$ rotations in the QAOA-inspired variant. The imaginary-time variant replaces one $X$ with one $Y$ in each selected $H_j$, giving the Pauli string a factor of $i$; this converts the non-unitary decay $e^{-tH_j}$ into a unitary rotation $e^{-itH'_j}$ that can be implemented with standard one- and two-qubit gates. For H2 the replacement turns the optimal term $XX$ into the coupled-cluster excitation $XY$. The construction is carried by two observations: only a small fraction of the $M$ possible terms are needed, and a greedy sequential search can find them in polynomial time.","core_discovery":"The central claim is that the trial wavefunction in VQE can be generated from a curated subset of Pauli terms of the problem Hamiltonian itself, with the variational parameters absorbing the effect of all omitted terms. In the numerical study, based on the STO-3G basis and the parity fermion-to-qubit mapping with two-qubit reduction, one Pauli term solves H2, four of the 276 Pauli terms solve LiH, and 18 of the 551 terms solve H2O to within 1.6 mHartree. For the imaginary-time-inspired ansatz, each selected term contributes exactly one variational parameter, so the LiH trial state is prepared with four parameters, 36 two-qubit gates, and 45 one-qubit gates; increasing the number of Trotter steps reduces the number of required terms. Because the selected terms are Pauli strings derived from pairs of creation and annihilation operators, the resulting trial state automatically preserves particle number. The terms are chosen one at a time by a greedy search, fixing the best term before looking for the next, which keeps the selection cost polynomial in the total number of Pauli terms.","pith_inferences":["If the single-operator $X$-to-$Y$ replacement heuristic holds beyond the molecules tested, the same construction would apply to any fermionic Hamiltonian mapped to qubits, including multi-reference systems where fixed coupled-cluster ansätze typically fail; the paper does not test such cases.","The reported gate counts cover only trial-state preparation as compiled from Pauli exponentials; an actual device run would add measurement overhead and hardware-specific compilation, so the practical advantage could differ from the headline numbers.","The Hamiltonian-subset idea is not chemistry-specific: applied to an Ising or MaxCut cost Hamiltonian it would yield a QAOA variant that uses a few selected terms of the cost function rather than the full cost Hamiltonian, a direction the paper mentions but does not explore.","A fully adaptive variant could re-optimize earlier parameters after each new Pauli term is added instead of freezing them, potentially reducing $K$ further; this extension is not examined in the paper."],"forward_implications":["VQE circuits for small molecules can shrink from hundreds of two-qubit gates to a few dozen, which is the regime where noisy intermediate-scale quantum hardware can hold a computation.","The number of variational parameters can drop to one per selected Pauli term (four for LiH), substantially simplifying the classical optimization loop that often dominates VQE.","Adding Trotter steps trades depth for parameters: for H2O the imaginary-time ansatz needs 18 terms with one step, 12 terms with two steps, and 9 terms with three steps.","The greedy term-selection procedure scales polynomially in the total Pauli-term count, so the same ansatz-construction principle applies in principle to other Hamiltonians beyond H2, LiH, and H2O.","Particle number is conserved automatically in the trial state because the Hamiltonian's Pauli terms preserve it, avoiding a symmetry-violation problem common in hardware-heuristic ansätze."],"supporting_citations":[{"why":"Supplies the standard second-quantized form of molecular Hamiltonians that the Pauli decomposition starts from.","marker":"[5]"},{"why":"Introduces the variational quantum eigensolver and the measurement-plus-classical-optimization loop the ansatz is designed for.","marker":"[10]"},{"why":"Gives the formal requirements for VQE trial states and the parameter-accuracy trade-off the paper targets.","marker":"[11]"},{"why":"Provides the hardware-demonstrated VQE baseline with a heuristic ansatz that the short-depth circuits are compared against.","marker":"[15]"},{"why":"Shows how to implement exponentiated Pauli terms as quantum circuits and supplies the unitary coupled-cluster ansatz used for comparison.","marker":"[16]"},{"why":"Defines the QAOA structure that the first trial-wavefunction variant adapts.","marker":"[18]"},{"why":"Supplies the software toolchain used to map the molecular Hamiltonians to qubit Pauli terms.","marker":"[28]"},{"why":"Provides the parity fermion-to-qubit mapping and two-qubit reduction that set the Pauli-term counts for LiH and H2O.","marker":"[29]"}],"fun_headline_variants":["4 Pauli terms for LiH chemical accuracy in 36 gates","VQE ansatz with 4 terms reaches chemistry accuracy","Problem-Hamiltonian ansatz: 4 terms, 36 gates, 4 params","Minimal Pauli selection gives short VQE circuits"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The method's accuracy rests on the heuristic that replacing one Pauli $X$ with one Pauli $Y$ in any selected Hamiltonian term produces a unitary that mimics imaginary-time evolution; this rule is demonstrated only for the two-qubit H2 example before being applied to LiH and H2O.","fun_headline_variants_meta":{"raw":{"variants":["4 Pauli terms for LiH chemical accuracy in 36 gates","VQE ansatz with 4 terms reaches chemistry accuracy","Problem-Hamiltonian ansatz: 4 terms, 36 gates, 4 params","Minimal Pauli selection gives short VQE circuits"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000648,"raw_usage":{"total_tokens":2957,"prompt_tokens":907,"completion_tokens":2050,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":523,"completion_tokens_details":{"reasoning_tokens":1975}},"tokens_in":523,"tokens_out":2050,"duration_ms":16626,"temperature":1.0,"reasoning_tokens":1975,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-14T11:09:38.080153+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Apply the imaginary-time-inspired ansatz to LiH using the reported first optimal term $YXXYXXXX$, and optimize the energy for each of the six possible single-$X$-to-$Y$ substitutions instead of just the paper's $YYXYXXXX$; if any substitution fails to reach 1.6 mHartree, the claim that the choice of substituted qubit is irrelevant is refuted.","supporting_citations":[{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Supplies the standard second-quantized form of molecular Hamiltonians that the Pauli decomposition starts from."},{"cited_title":"Peruzzo, J","cited_arxiv_id":null,"evidence_quote":"Gives the formal requirements for VQE trial states and the parameter-accuracy trade-off the paper targets."},{"cited_title":"Quantum Computation of Electronic Transitions using a Variational Quantum Eigensolver","cited_arxiv_id":"1901.01234","evidence_quote":"Provides the hardware-demonstrated VQE baseline with a heuristic ansatz that the short-depth circuits are compared against."},{"cited_title":"Romero, R","cited_arxiv_id":null,"evidence_quote":"Defines the QAOA structure that the first trial-wavefunction variant adapts."},{"cited_title":"Qiskit: An Open-source Framework for Quantum Computing,","cited_arxiv_id":null,"evidence_quote":"Provides the parity fermion-to-qubit mapping and two-qubit reduction that set the Pauli-term counts for LiH and H2O."}],"review_version":1}