{"id":"476aec04-2b8a-40fd-a1ce-d14e362a16e0","arxiv_id":"2508.21504","paper_version":1,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":6.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":6,"one_line_summary":"A NISQ quantum simulation thesis whose flagship results are a Kibble-Zurek benchmark running 1396 two-qubit gates on 133 qubits, a partial probabilistic error amplification scheme for open-system dynamics, and two phase-related applications.","lead":"This PhD thesis collects four results in near-term quantum simulation: an algorithm survey, a scalable benchmark using quantum critical dynamics, a method that reshapes hardware noise into a simulator of open quantum systems, and two studies of quantum states. Headline demonstration: coherent digital evolution on 133 qubits through 28 two-qubit gate layers (1396 entangling gates).","discovery_kind":"new_method","skeptic_critique":{"model":"deepseek-v4-flash","headline":"KZ-scaling coherence inference rests on a local-noise model validated only at 12 qubits; correlated noise at 133 qubits could in principle mimic the same scaling, so the depth-28 claim lacks a decisive witness.","rationale":"The reader's weakest assumption identifies exactly the same load-bearing concern: the benchmark's interpretation depends on the premise that digital hardware noise cannot produce a decreasing KZ-like defect density, and the supporting noise-model simulations use a simplified averaged channel validated only at 12 qubits. My read of Chapter 4 confirms that this is the central link between the raw experimental data and the headline 'coherent evolution up to depth 28' claim. The thesis honestly flags the classical diffusion counterexample and the limited validation, but the logical gap remains: sufficiency of KZ scaling for coherent digital evolution is not established at the scale claimed. Chapter 5 is new and unrefereed, but it is explicitly labeled as such and contains an analytic error bound; Chapter 6 consists of published work. Therefore the main risk is not internal inconsistency but an under-tested sufficiency claim in the benchmark. The proposed kink-kink correlator check offers a direct, feasible way to distinguish coherent KZ dynamics from noise-induced scaling without classical simulation of the full 133-qubit state. Given this, the existing CONDITIONAL verdict remains appropriate; no adjustment is needed.","tokens_in":61858,"tokens_out":5157,"duration_ms":66804,"concrete_test":"Compute the kink-kink correlation function (Appendix A.3) from the 133-qubit heavy-hex data at each tf in the KZ window. The coherent KZ mechanism predicts a characteristic algebraic decay with a specific sign structure; a depolarized or crosstalk-dominated mixture does not. If the measured correlator matches the coherent prediction across the full KZ window, the coherent-evolution interpretation survives without relying on the 12-qubit noise model. If it does not match, the defect-density scaling alone is insufficient, and the benchmark's transferability claim must be re-evaluated.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The central interpretive step is in §4.2: observing ndef ∝ t_f^{-1/2} in a digital Trotterized annealing circuit is taken as sufficient evidence of coherent evolution because digital hardware noise 'never yields a behavior that resembles a classical thermal limit.' This is supported only by §4.2.1 numerical experiments with a simplified, averaged local depolarizing-plus-relaxation channel (Eq. 4.9), validated at 12 qubits against one device (Fig. 4.2). The thesis itself concedes that a classical diffusion model can reproduce KZ scaling (§4.2). For the headline 127–133 qubit experiments, there is no classical verification and no noise-model simulation at that scale. Correlated multi-qubit noise or coherent crosstalk on a heavy-hex lattice is a known error source for transmon processors and is not represented in Eq. (4.9); if such noise produced a monotonically decreasing defect density over the same tf window, the observed scaling would no longer imply coherent evolution. Since the transferability argument (§4.3.3) and the depth-28 claim both rest on this inference, this is the most load-bearing assumption.","agreement_with_reader":"agree"},"referee_report":{"model":"deepseek-v4-flash","summary":"The thesis compiles four contributions around noisy intermediate-scale quantum simulation. Chapters 2–3 give a review of quantum dynamics algorithms and application outlook. Chapter 4 proposes an application-oriented benchmark based on reproducing the Kibble–Zurek defect-density scaling ndef ∝ tf^{-1/2} in digitized quantum annealing, demonstrated on IBM processors with up to 133 qubits, together with a transferability check to quantum optimization. Chapter 5 proposes partial probabilistic error amplification to engineer hardware noise into target open-system dynamics. Chapter 6 covers a hybrid electron–phonon ground-state solver and a QCNN-based phase classifier. The headline claims are coherent evolution to a two-qubit-gate depth of 28, with 1396 two-qubit gates, and a scalable benchmark that needs no classical verification.","tokens_in":62080,"tokens_out":5675,"duration_ms":69227,"significance":"If the benchmark is valid, it provides a genuinely scalable and intuitive quality metric for structured time-evolution circuits, which is valuable for near-term devices. The Kibble–Zurek anchor is an external textbook result, independently reproduced in statevector simulations; the 12-qubit noise-model validation and the consistency check against optimization are real, non-circular checks. The open-system PEA proposal includes an analytic error bound and numerical tests. The main risk is the load-bearing inference that observing the KZ scaling on 127–133 qubits proves coherent evolution, because the supporting noise-model study uses a simplified local depolarizing-plus-relaxation channel and does not cover correlated multi-qubit noise at the tested scale.","major_comments":[{"comment":"The central interpretive step is the claim that observing ndef ∝ tf^{-1/2} in a digital Trotterized annealing circuit is sufficient evidence of coherent evolution, because digital hardware noise 'never yields a behavior that resembles a classical thermal limit.' The manuscript itself concedes (§4.2) that a classical diffusion model can reproduce the same scaling. The rebuttal rests on noise-model simulations with Eq. (4.9), a local, averaged depolarizing-plus-relaxation channel, validated only at 12 qubits against one device (Fig. 4.2). Correlated multi-qubit noise and coherent crosstalk, which are known error sources on heavy-hex transmon processors, are not represented in this model. If such noise produced a monotonically decreasing ndef(tf) in the same tf window, the headline depth-28, 1396-gate claim would lose its interpretive foundation. Please add large-scale noisy simulations wit","section":"§4.2 / §4.2.1"},{"comment":"The benchmark is advertised as transferable and predictive ('the resulting quality metric is easily interpreted and transferred to other applications'). The only demonstrated transfer is the consistency check with residual energy in digitized quantum annealing for optimization, which uses the same underlying circuit family and the same device. This is a valuable first check, but it does not establish transferability to structurally different applications such as quantum chemistry or QML circuits with different gate distributions and noise sensitivity. Either add at least one structurally different second application, or narrow the abstract and introduction so that 'transferability' is presented as a hypothesis supported by one example rather than an established property.","section":"§4.3 / §4.3.3"}],"minor_comments":[{"comment":"Please specify the fitting procedure used to extract the KZ exponent: the range of tf included in the fit, the number of circuit depths, the fitting function, and the threshold criterion for deviation from ndef ∝ tf^{-1/2}. Without this, the 'number of reliable layers' metric is not uniquely defined.","section":"§4.2"},{"comment":"The noise model validation would be clearer with error bars on the hardware points and the η=1 simulated curve, and a statement of the number of samples. The current statement 'in very good agreement' is not quantitatively supported in the text.","section":"§4.2.1 / Fig. 4.2"},{"comment":"The notations tf and ∆t are used throughout, but the relationship between Trotter time step and circuit depth could be stated once explicitly: for a fixed ∆t, the number of layers is tf/∆t. This would help the reader connect the benchmark metric to the gate depth claim.","section":"§2.2.2 / §4.1"},{"comment":"The phrase 'suffers from no scaling issues' is too strong; what the method achieves is no classical verification and no exponential scaling in the metric itself. Please rephrase to avoid overclaiming.","section":"Abstract"}],"recommendation":"major_revision","confidential_remarks":"The core benchmark in Chapter 4 has already undergone peer review in PRX Quantum, and the other chapters are generally competently presented. I do not see grounds for rejection. The main issue is the coherence inference from KZ scaling: the rebuttal to the classical-diffusion caveat is numerical and based on a local noise model. This can be fixed within the manuscript's scope by adding correlated-noise simulations or by softening the interpretation. A major revision with such an addition or tightening is appropriate."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"The thesis is a compilation of four published papers plus one genuinely new chapter. The KZ-based benchmark in Chapter 4 is the real contribution: using a well-understood universal scaling law as an application-oriented quality metric, demonstrated on 133 qubits and 1396 two-qubit gates, with a transfer check against combinatorial optimization. That is a meaningful, intuitive advance for judging near-term hardware and error mitigation. The thesis is also honest: it declares provenance for each chapter, and it explicitly flags that a classical diffusion model can mimic the KZ scaling. The noise-model validation at 12 qubits against hardware is a real check, not window dressing.\n\nThe soft spot is exactly where the stress-test lands. The interpretation that observed KZ scaling implies coherent evolution depends on the claim that digital hardware noise cannot produce a decreasing defect density. That claim is supported by a simplified local depolarizing-plus-relaxation channel, validated at only 12 qubits on one device. Correlated multi-qubit noise or coherent crosstalk on a heavy-hex lattice is not represented in that model, and no noise simulation at 127–133 qubits is shown. So the headline 'demonstrating coherent evolution' goes beyond what the evidence strictly licenses. That said, this is not fatal: the benchmark is a heuristic quality metric, not a proof of coherence, and it still works as a relative measure across devices and error-mitigation stacks. The lack of shipped code or data, and the fact that the devices are retired, is a reproducibility weakness, not a correctness flaw. Chapter 5, the unrefereed partial-PEA method, has an analytically derived error bound and numerical tests; it looks plausible but deserves independent scrutiny.\n\nWho is this for? People working on near-term benchmarking, error mitigation, and Hamiltonian simulation. It gives a useful, concrete way to compare hardware and EMS. I would bring it to a reading group and would cite the PRX Quantum benchmark if I were working in that area.\n\nRecommendation: send it to serious peer review. The 133-qubit demonstration and the benchmark concept justify referee time, even though the coherence inference should be tightened. Verdict: accept with major or minor revision, conditional on addressing the noise-model extrapolation.","headline":"A solid thesis whose real contribution is the KZ-based benchmark at 133 qubits; the coherence inference is softer than the abstract implies, but the work deserves a serious referee.","tokens_in":62664,"tokens_out":1425,"would_cite":true,"duration_ms":20954,"reading_group":"yes","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["81P68"],"pacs":["03.67.Ac","03.67.Lx"],"model":"deepseek-v4-flash","headline":"This thesis claims that Kibble-Zurek defect scaling in digitized quantum annealing provides an application-oriented benchmark: the number of Trotter layers that still reproduce the predicted defect-density law measures how deep a circuit a","keywords":["quantum dynamics","quantum simulation benchmarking","Kibble-Zurek mechanism","quantum annealing","error mitigation","open quantum systems","probabilistic error amplification","Trotter circuits"],"falsifier":"Run the same 133-qubit benchmark on a device whose dominant errors are correlated two-qubit crosstalk not captured by the averaged depolarizing-plus-relaxation channel, and check whether the measured defect density over a range of annealing times t_f is monotonically decreasing and consistent with t_f^{-1/2} in a regime where independent simulations of the noise channel predict that coherence is already lost.","tokens_in":61639,"feed_emoji":"⚛️","tokens_out":4675,"duration_ms":51304,"temperature":0.7,"pith_summary":"The thesis is built around making noisy intermediate-scale quantum computers useful for simulating quantum dynamics. Its central contribution is a scalable benchmarking method: run a digitized quantum annealing circuit that crosses a quantum critical point and check how many Trotter layers still reproduce the Kibble-Zurek law, where defect density falls as the inverse square root of annealing time. Because accumulating hardware noise pushes the measured defect density off this universal scaling, the number of faithful layers becomes an intuitive quality metric that needs no classical verification and transfers to other time-evolution applications. The author demonstrates the scheme on 133 qubits, with coherent evolution up to a two-qubit gate depth of 28 and 1396 two-qubit gates. The thesis also contributes a method that reshapes characterized hardware noise into a target open-system Lindbladian via partial probabilistic error amplification, and two studies in state preparation and phase classification.","feed_headline":"Defect-scaling benchmark clocks coherent runs at 133 qubits","feed_subtitle":"Kibble-Zurek law yields a transferable quality metric, demonstrated at two-qubit gate depth 28.","key_machinery":"The quantum Kibble-Zurek mechanism as applied to Trotterized transverse-field Ising annealing: the system is evolved under H(s) = -(1-s) Σσ^x - s Σσ^zσ^z and the density of defects (domain walls) is measured from nearest-neighbor correlators. The predicted power law ndef ∝ t_f^{-1/2} is the yardstick, and the number of Trotter layers for which the measured defect density still follows this law is the application-oriented quality metric.","core_discovery":"The central claim is that in a digital quantum setting hardware noise never produces a decreasing, Kibble-Zurek-like defect density, so observing ndef proportional to t_f^{-1/2} across many Trotter steps is evidence of coherent, near-noise-free evolution. This turns quantum critical dynamics into a benchmark whose output metric is simply the number of reliably simulable circuit layers, directly transferable to applications such as quantum optimization. A corollary result, developed in Chapter 5, is that locally amplified and characterized Pauli noise can emulate a target Markovian open-system evolution with an analytically derived error bound, so that hardware noise is not only mitigated but","pith_inferences":["My inference: the benchmark would become most valuable as a cross-generation and cross-platform standard if the same critical-dynamics experiment were repeated on devices with qualitatively different noise structures, since the current noise-model validation is carried out on a single device architecture at 12 qubits.","My inference: the plateau where defect density follows the Kibble-Zurek law could be used as a figure of merit for error-mitigation scaling, tracking how many additional layers each mitigation technique buys as qubit counts grow.","My inference: the open-dynamics emulation via amplified noise could extend to non-Markovian or spatially correlated environments if noise characterization improves beyond the sparse Pauli model, turning a hardware liability into a programmable simulation knob."],"forward_implications":["The benchmark predicts, without classical verification, how deep structured time-evolution circuits can run on a given device and error-mitigation stack before noise takes over.","The metric is transferable: Section 4.3 shows consistency between the Kibble-Zurek benchmark and the residual energy of digitized quantum annealing applied to combinatorial optimization.","Because the Kibble-Zurek scaling is defined in the thermodynamic limit, the method avoids scaling issues and applies naturally to processors with more than one hundred qubits.","The scheme compares hardware and error-mitigation algorithms separately or in combination, giving a concrete layer count instead of an abstract fidelity.","Chapter 5's partial probabilistic error amplification provides a route to open quantum dynamics with a controllable, analytically derived error bound."],"supporting_citations":[{"why":"Supplies the Kibble-Zurek mechanism and the power-law defect-density prediction that the benchmarking method tests.","marker":"[324]"},{"why":"Provides Lloyd's product-formula proposal, the basis for the Trotterized digitized time evolution used in the benchmark circuits.","marker":"[110]"},{"why":"Supplies the device-calibrated noise-model construction used to simulate hardware noise and to show that noise breaks the Kibble-Zurek scaling.","marker":"[360]"},{"why":"Provides the hardware calibration data (qubit and gate properties) feeding the noise model and the experimental setup.","marker":"[79]"},{"why":"Documents an analog annealing experiment where thermal effects produce a decreasing defect density, the counterexample the thesis argues does not occur in digital noise.","marker":"[83]"},{"why":"Underpins the Pauli twirling and probabilistic error cancellation techniques used in the error-mitigation stack and in the Chapter 5 amplification scheme.","marker":"[175]"},{"why":"The author's earlier article that this chapter reproduces and extends with the 133-qubit demonstration and the optimization transferability study.","marker":"[2]"}],"fun_headline_variants":["Kibble-Zurek defect scaling benchmarks 133-qubit runs","133-qubit coherent evolution measured by defect-scaling metric","Hardware noise check via Kibble-Zurek defect density","Quantum benchmark: defect density maps noise-free Trotter layers","Open-system simulator from characterized hardware noise"],"cache_read_input_tokens":2688,"weakest_assumption_plain":"The benchmark's interpretation rests on the premise that accumulating digital hardware noise can never produce a decreasing, Kibble-Zurek-like defect density, so that observing the t_f^{-1/2} scaling proves coherent evolution; this premise is supported only by a simplified averaged noise model validated at 12 qubits on one device, leaving correlated multi-qubit or crosstalk noise as a potential spoiler.","fun_headline_variants_meta":{"raw":{"variants":["Kibble-Zurek defect scaling benchmarks 133-qubit runs","133-qubit coherent evolution measured by defect-scaling metric","Hardware noise check via Kibble-Zurek defect density","Quantum benchmark: defect density maps noise-free Trotter layers","Open-system simulator from characterized hardware noise"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000218,"raw_usage":{"total_tokens":1316,"prompt_tokens":821,"completion_tokens":495,"prompt_tokens_details":{"cached_tokens":256},"prompt_cache_hit_tokens":256,"prompt_cache_miss_tokens":565,"completion_tokens_details":{"reasoning_tokens":414}},"tokens_in":565,"tokens_out":495,"duration_ms":5786,"temperature":1.0,"reasoning_tokens":414,"cache_read_input_tokens":256,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-05T14:18:43.571986+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Run the same 133-qubit benchmark on a device whose dominant errors are correlated two-qubit crosstalk not captured by the averaged depolarizing-plus-relaxation channel, and check whether the measured defect density over a range of annealing times t_f is monotonically decreasing and consistent with t_f^{-1/2} in a regime where independent simulations of the noise channel predict that coherence is already lost.","supporting_citations":[],"review_version":1}