Version 6.1 develops an integral framework for an analog quantum simulator of spin modelsbased on programmable superconducting-qubit arrays.The principal objective is not merely to construct a quantum device, but to establish atraceable mappingcontrol parameters −→ Hreal −→ quantum evolution −→ observables −→ classical reference.The framework supports transverse-field Ising, XY, XXZ, Heisenberg, long-range, anddisordered spin Hamiltonians.Version 6.1 introduces an explicit Hamiltonian- identification layer between hardwarecalibration and scientific validation.The realized Hamiltonian is decomposed into target terms, static calibration errors, dynamiccontrol errors, crosstalk, leakage, decoherence, and residual unwanted interactions.Validation is organized hierarchically:1. hardware calibration;2. Hamiltonian identification;3. state-preparation validation;4. readout calibration;5. static observable validation;6. dynamical observable validation;7. finite-size benchmarking;8. statistical equivalence testing;9. cross-device reproducibility;10. independent analytical reproduction. The statistical framework replaces the inadequate criterion of “statistical significance ofagreement” with an equivalence framework based on preregistered tolerances.The primary hypothesis is therefore formulated using two one-sided tests (TOST) or anequivalent confidence interval criterion:|∆O| < ϵO.Version 6.1 additionally specifies:• a supplementary Bayesian posterior probability of equivalence as a robustness check;• an explicit distinction between engineering no-go and physical falsification.The framework also specifies negative controls, positive controls, blind analysis, lockedanalysis code, exclusion rules, uncertainty propagation, data provenance, and reproducibilityrequirements.No experimental result or quantum advantage is claimed.
Version 6.1 develops an integral framework for an analog quantum simulator of spin modelsbased on programmable superconducting-qubit arrays.The principal objective is not merely to construct a quantum device, but to establish atraceable mappingcontrol parameters −→ Hreal −→ quantum evolution −→ observables −→ classical reference.The framework supports transverse-field Ising, XY, XXZ, Heisenberg, long-range, anddisordered spin Hamiltonians.Version 6.1 introduces an explicit Hamiltonian- identification layer between hardwarecalibration and scientific validation.The realized Hamiltonian is decomposed into target terms, static calibration errors, dynamiccontrol errors, crosstalk, leakage, decoherence, and residual unwanted interactions.Validation is organized hierarchically:1. hardware calibration;2. Hamiltonian identification;3. state-preparation validation;4. readout calibration;5. static observable validation;6. dynamical observable validation;7. finite-size benchmarking;8. statistical equivalence testing;9. cross-device reproducibility;10. independent analytical reproduction. The statistical framework replaces the inadequate criterion of “statistical significance ofagreement” with an equivalence framework based on preregistered tolerances.The primary hypothesis is therefore formulated using two one-sided tests (TOST) or anequivalent confidence interval criterion:|∆O| < ϵO.Version 6.1 additionally specifies:• a supplementary Bayesian posterior probability of equivalence as a robustness check;• an explicit distinction between engineering no-go and physical falsification.The framework also specifies negative controls, positive controls, blind analysis, lockedanalysis code, exclusion rules, uncertainty propagation, data provenance, and reproducibilityrequirements.No experimental result or quantum advantage is claimed.
Analog quantum simulators emulate complex many-body dynamics through native continuous-time evolution under hardware-defined interactions. Yet once a platform is specified, its interaction structure is largely fixed by the underlying hardware, restricting the Hamiltonians that can be realized and limiting programmability. Here we introduce universal analog quantum simulation (UAQS), a hybrid framework that systematically expands the range of accessible quantum evolutions within a given analog platform. UAQS employs optimized continuous-time control fields to engineer target dynamics directly, avoiding decomposition into discrete gate sequences. By preserving native analog evolution while extending the set of achievable Hamiltonians, UAQS transforms fixed-interaction analog devices into programmable simulators. Numerical studies on representative architectures, including superconducting circuits and Rydberg-atom arrays, show that UAQS accurately reproduces non-trivial many-body dynamics beyond the intrinsic interaction structure of the hardware. These results establish UAQS as a practical route toward programmable analog quantum simulation.
Establishing quantum simulations as reliable tools for materials research requires quantitative validation against experiments and, where available, classical many-body calculations. For dynamical spin response, such validation remains challenging because experiment, classical simulation, and quantum simulation do not produce the same native observables. This challenge is increasingly relevant as quantum simulation protocols for dynamical response progress from theory to hardware-level benchmarking against neutron scattering data. The longer-term goal is to extend validation to classically intractable regimes accessible through future fault-tolerant implementations. Here, we develop a cross-pipeline validation framework for quantum simulation of dynamical spin response, using inelastic neutron scattering and classical many-body simulation as complementary experimental and computational anchors. The framework brings these pipelines to common momentum- and energy-resolved comparison levels through explicit forward and inverse observable maps, propagates uncertainty via covariance matrices or resampling, tests robustness to structured distortion, and evaluates agreement using a hierarchy of complementary metric families. It distinguishes stochastic uncertainty from robustness-induced distortion, carries both through the comparison chain, and uses the resulting metric-level uncertainty and distortion information to support layered validation at the pipeline, solver, and model levels. We also introduce actuator-aware feedback logic to improve agreement without obscuring the physical origin of any remaining mismatch. We close by outlining future extensions of this methodology, including upstream uncertainty and distortion modeling, adaptive feedback, asymmetric validation beyond full classical benchmarking, fault-tolerant workflows, and community infrastructure for reproducible validation.
This document presents Version 6.1 of a proposed quantum magnetic sensor based on acollectively prepared, spin-squeezed ensemble of superconducting qubits.The central objective is to determine, experimentally and reproducibly, whether quantumstate preparation can improve magnetic-field estimation relative to a matched unsqueezedsuperconducting-qubit reference operated with the same device, readout chain, resource budget,and total cycle time.A critical physical refinement of the present version is that a superconducting qubit is notassumed to couple to magnetic field through the bare electron gyromagnetic ratio.Instead, the magnetic transduction coefficient is defined operationally asκB,i =⃓⃓⃓⃓∂ωi∂B⃓⃓⃓⃓,or, for flux-mediated devices,κB,i =⃓⃓⃓⃓∂ωi∂Φi⃓⃓⃓⃓Mi,where Miis the effective field-to-flux coupling coefficient.This formulation permits transmon, SQUID-loop, fluxonium, or related architectures withoutconflating artificial-qubit dynamics with physical electron-spin Zeeman coupling.The quantum-state resource is characterized using the optimized Wineland spin-squeezingparameterξ2R =N minn⊥ Var(Sn⊥ )|⟨S⟩|2.Values below unity constitute a metrological spin-squeezing criterion under the statedcollective-spin model.The primary metrological endpoint is not ξ−1R alone.Instead, the proposed experiment directly compares the measured magnetic-field sensitivityper square root bandwidth of the squeezed protocol against a matched coherent/unsqueezedprotocol:Gpair =ηB,cohηB,sq. The principal confirmatory criterion is that the preregistered 95% confidence interval forthe paired gain exclude unity after accounting for preparation overhead, contrast, decoherence,readout noise, calibration uncertainty, device-to-device variation, and cooldown-to-cooldownvariation.The framework includes Hamiltonian modeling, collective squeezing, Ramsey interferometry,classical and quantum Fisher information, open-system dynamics, magnetic transductioncalibration, null tests, blind analysis, preregistration, hierarchical statistics, uncertainty budgets,replication criteria, falsification rules, data schemas, and a reproducible Python referenceimplementation.No experimental result is claimed.
Version 6.1 presents an integral framework for an enhanced GRAPE algorithm for quantumoptimal control.The architecture combines:1. finite-dimensional Hamiltonian control;2. exact or controlled numerical propagation;3. analytic GRAPE gradients using exact Fréchet derivatives;4. gradient verification by independent numerical differentiation;5. robustness to parameter uncertainty;6. robustness to stochastic and quasistatic noise;7. amplitude and slew-rate constraints;8. spectral regularization;9. train/validation/test separation at the level of individual uncertainty realizations;10. multi-start optimization;11. computational-budget-matched comparison; 12. ablation analysis;13. distribution-shift stress testing;14. preregistered statistical analysis;15. independent reproducibility.The central optimization problem is written as a constrained robust optimization problem:maxϵJ(ϵ) (1)subject to amplitude, slew-rate, bandwidth, and numerical constraints.The robust objective is constructed from an in-sample expectation of gate or state-transferfidelity together with explicit regularization terms.A separate held-out distribution is reserved for validation and a locked test distribution isreserved for final evaluation.The framework distinguishes:training performance ̸= validation performance ̸= test performance. (2)The exact propagator derivative is expressed using the Fréchet derivative of the matrixexponential:∂Un∂ϵk,n= D expAn[︃−iℏHk∆t]︃, (3)whereAn = −iℏHn∆t. (4)This formulation avoids the mathematically invalid simplification ∂eA/∂x = eA ∂A/∂x,which only holds under additional commutation conditions.Version 6.1 additionally introduces formal computational-budget specification, ablationexperiments, paired statistical comparisons, bootstrap confidence intervals, multiple-comparisoncontrol, computational profiling, and independent reproduction.No experimental advantage is claimed.
A major application of analog quantum hardware is quantum simulation, where a system evolves over time according to a given Hamiltonian. One challenge when implementing the Hamiltonian on a programmable quantum simulator is the availability of distinct coupling types, many of which go beyond the conventional ZZ-couplings found in Ising Hamiltonians that are naturally implemented by various platforms. In prior work, we have developed a method based on domain wall encoding to simulate one-dimensional spin chains using only Ising Hamiltonians, which would otherwise require XX+YY-couplings as well. Here, we implement the method on a commercially accessible Rydberg atom quantum device, and simulate the time evolution of the Heisenberg XXZ model with various anisotropies. We successfully probe the XY and Ising phases of the model and reproduce the qualitative behavior of several one- and two-body observables in both phases, as well as at the critical point. Our work augments the toolbox to simulate canonical quantum many-body systems on analog quantum simulators.