arXiv Science⌕ Search

arXiv subjects

Xiu-Hao Deng

Publications and source records attributed to Xiu-Hao Deng.

At least 19 recordsLinked to original sources

Bridging Pulse and Circuit Levels: A Geometric Framework for Deterministic Error Suppression

Quantum errors in noisy environments remain a major obstacle to advancing quantum information technology. Standard quantum error correction requires massive ancillary qubit overhead, motivating the need for hardware-efficient mitigation strategies. In this work, we propose a framework for dynamical quantum error correction at the circuit level, requiring no logical encoding or ancillary qubits. By extending a geometric framework (originally developed for creating dynamical error-correcting gates at the control pulse level) to the discrete dynamics of digital circuits, we map the accumulation of coherent errors to trajectories in a high-dimensional error space. We demonstrate that inserting deterministically optimized twirling gate sequences actively shapes these trajectories, utilizing destructive interference to keep the accumulated error bounded with error scaling $\mathcal{O}(1)$. This deterministic path-shaping suppresses circuit errors fundamentally differently than the stochastic random-walk behavior of standard randomized compiling with error scaling $\mathcal{O}(\sqrt{N})$. Furthermore, we show that this circuit-level dynamical correction synergizes with pulse-level robust control, providing an analytical bridge between continuous noise dynamics and discrete quantum compilation. This research illuminates pathways to achieving highly noise-resistant quantum circuits prior to the era of fault tolerance.

quant-ph↗

Quantum Evolution Networks Learn Long-Time Coherent Dynamics in Driven Spin Registers

Predicting and controlling driven quantum systems requires access to dynamics across physical parameters, initial states, and evolution times. A reusable neural model must capture this dependence while preserving unitary structure and maintaining accuracy over long-time coherent evolution. Here we introduce Quantum Evolution Networks (QENs), which map physical parameters and time to complete propagators for periodically driven three-spin registers. Shared networks learn unitary one-period propagators and compatible within-period paths, enabling predictions through known periodic composition without query-specific numerical integration. For transverse driving, the fifth-percentile fidelity, minimized over input states and sampled times, is 0.9947 over 24 periods on 256 held-out configurations. A leading-order analysis of spectrally resolved endpoint residuals predicts multicycle process error more accurately than quadratic or spectrum-averaged estimates. Interventions at matched single-period infidelity produce orders-of-magnitude differences in multicycle infidelity, demonstrating the importance of residual orientation. Compatible component replacements identify how endpoint and within-period approximations limit reconstruction accuracy. These results establish a reusable neural representation of the studied propagator families and connect its learned residual structure to its observed long-time reliability.

quant-ph↗

Thermal aliases in quantum noise: sampling clocks and pulse widths

Can collective quantum-noise measurements distinguish different mode temperatures from one common temperature when the coupling spectrum is unknown? For stationary Gaussian oscillator environments, we derive a sharp bandwidth threshold for an exact thermal alias on the integer-time sampling lattice. The threshold depends on temperature order through the quantum response. For frequencies within the first alias period, fixing sufficient integer-time correlations makes one additional fractional-time fluctuation observation enough to exclude every common-temperature fit. A calibrated second pulse width provides another route through the same collective port: both widths must probe one spectrum and retain their measured variance scales. For a specified two-mode example, continuous-frequency certificates cover all common temperatures and uncertainty in a shared pulse ramp. A binary-readout protocol combines randomly interleaved matched references with collective-variance and coherence checks to handle Gaussian oscillator loss and predictable readout drift. The selected fractional-clock and two-width designs require approximately $3.8\times10^7$ and $1.6\times10^8$ outcomes for at most 5\% type-I error and at least 95\% power on the stated alternative class. These theoretical and numerical acquisition guarantees assume independently validated preparation, spectral support and control specifications; validation costs are additional. The result identifies which new observation makes thermal-model testing informative when mode-resolved access is unavailable.

quant-ph↗

Entanglement-Induced Resilience of Quantum Dynamics

Quantum many-body devices suffer from imperfections that destabilize dynamics and limit scalability. We show that the dynamical growth of entanglement can intrinsically protect generic quantum dynamics against coherent and perturbative noise. Through rigorous theoretical analysis of general quantum dynamics and numerical simulations of spin chains and fermionic lattices, we prove that entanglement-entropy growth confines the influence of local Hamiltonian perturbations, thereby suppressing errors in dynamical errors. The degree of protection correlates quantitatively with the entanglement entropy of subsystems on which the perturbations act, and applies broadly to both analog quantum simulators and real-time control protocols. This entanglement-induced resilience is conceptually distinct from quantum error correction or dynamical decoupling: it passively leverages native many-body correlations without additional qubits, measurements, or control overhead. Our results reveal a generic mechanism linking entanglement growth to dynamical stability and provide practical guidelines for designing noise-resilient quantum devices.

quant-ph↗

All-Microwave Multiqubit Gates

Implementing high-fidelity multiqubit gates is critical for reducing circuit depth in near-term quantum processors and fault-tolerant architectures. However, realizing multiqubit interactions and entanglement remains a critical challenge that limits the implementation of multiqubit gates. Here we propose an all-microwave scheme to realize single-step multiqubit gates incorporating n control and m target qubits, tailored for frequency-tunable superconducting transmon networks. By leveraging cross-resonance (CR) drives, this approach induces effective two-body ZX interactions that are significantly stronger than those achieved in conventional resonant regimes, circumventing the need for tunable couplers. The system's effective Hamiltonian is analytically derived using both quad frame rotation and rigorous block diagonalization. These combined theoretical methods facilitate the identification of optimal parameter regimes that simultaneously enhance desired target couplings and suppress parasitic higher-order terms, such as ZXX interactions. Through numerical simulations and gradient-based pulse-shape optimization, we demonstrate three-qubit gates achieving fidelities exceeding 99.9% within a 60 ns gate duration. Furthermore, we evaluate the fundamental scalability of this framework by extending the optimization to a five-qubit CXXXX architecture, confirming the physical viability of the multi-target driving scheme. Because these multiqubit operations naturally emulate stabilizer measurements, this architecture provides a hardware-efficient strategy for reducing the circuit depth of stabilizer-type operations by replacing sequential two-qubit gate decompositions with single-step multiqubit gates.

quant-ph↗

A Memory-Magic Exchange Law in Streaming Clifford+T Compilation

A phase that reaches a fault-tolerant processor in additive pieces can be remembered until the last piece arrives, or executed on arrival: the first option costs classical memory carried across rounds, the second costs magic states committed before the phase is known. We determine the exchange rate $α$, committed $T$ gates per bit of memory forgone, for ancilla-free coordinatewise Clifford+$T$ compilation. The Ramanujan bound gives $α\ge2$ with explicit constants, the square-root barrier of the spectral method. An elementary determinant method, using that quaternion numerators lie on spheres in both real embeddings of $\mathbb{Q}(\sqrt2)$, counts words near any rotation coset below that barrier. With a height dichotomy for the sphere sections it produces and a fibration over rational projections, it gives every $α<5/2$ unconditionally and uniformly over frames, by an exact SMT check of its continuum case analysis; $5/2$ is where this method stops. At Clifford-framed cosets the volume law holds up to subexponential factors: all but a vanishing fraction of $z$-rotations need $T$-count $(3-o(1))\log_2(1/\varepsilon)$, and processes whose committed pieces are near Clifford-framed $z$-rotations, including per-rotation pipelines, have $α\ge3-o(1)$, which a fractional-passthrough family attains under the Ross-Selinger typical-cost hypothesis. Under an equidistribution conjecture supported by exhaustive enumeration to $T$-count 22, $α=3$ in general and memory should be shed in whole rotations. The bounds hold even when the phases cancel to the identity; side information enters through a conditional entropy; probabilistic mixing halves the costs but not the rate. With clean ancillas and a phase-gradient catalyst, table lookups batched over coordinates drive the rate to $O(1/\log\log(1/\varepsilon))$, so the constant-rate law is specific to coordinatewise synthesis.

quant-ph↗

Preparation Changes the Cost of Calibration for Quantum Control

Error-correction records can reveal noise yet supply the information needed for control too slowly. In a surface code under Gaussian dephasing, encoded calibration learns a correlation that reverses the preferred control mainly through rare events. A product probe exposes it more often through the same checks, reducing ideal-record sample complexity from inverse-square to inverse-linear in phase variance. Counting both calibration and execution costs, we show that this gain can repay probe overhead and enable protected tasks within budgets that exclude encoded calibration.

quant-ph↗

Representation-Dependent Recoverability in Quantum Compilation

Fault-tolerant compilation can disperse high-level structure: schedules split an accumulated phase across rounds, gate synthesis replaces an angle by a Clifford+$T$ word, and randomized compiling spreads rotations over sign-randomized fragments. They preserve the computation but change how cheaply a downstream compiler can recover the aggregate phase data. We formalize this representation-dependent recoverability by charging two channels: output committed before the suffix arrives, and a serialized restart state crossing the cut. For an $r$-round accumulation of a commuting layer with $m$ generators at accuracy $ε$ ($K_ε=Θ(1/ε)$), any $p$-pass compiler correct on every valid stream with failure probability at most $δ$ obeys $\overline{A}_p+(2p-1)S\geq(1-δ)m\log_2 K_ε-h_2(δ)$, where $\overline{A}_p$ is committed output and $S$ is the crossing-state cap. The bound covers compile-time randomized compiling; a memory-capped block compiler attains it within a constant factor, and direct semantic aggregation reaches compact output with logarithmic state. The two channels are not always interchangeable. A compiler whose committed prefix is executed at the cut pays a toll the state channel never pays: the entropy $\log_2\binom{m}{k}$ of the mask naming which $k$ coordinates it commits early. Compilers that defer or buffer pay none of it. We prove both directions and, with instrumented compilers under a preregistered protocol, measure a per-generator toll matching $\log_2\binom{m}{k}/k$ that vanishes for a public mask and a buffered control. Under a disclosed fixed-total-error Clifford+$T$ and surface-code model, a materialize-first pipeline costs orders of magnitude more logical $T$ states and spacetime volume than a semantic-first one. Phase semantics should therefore be preserved until aggregation whenever the interface permits.

quant-ph↗

Structured Hamiltonian Learning for Multiqubit Conditional Phase Gates

Accurate measurement of an intended conditional phase does not by itself place a multiqubit phase gate in its declared generalized-gate equivalence class. We cast the diagnosis as structured Hamiltonian learning of the diagonal successful block in a known basis: Ramsey measurements on a connected graph reconstruct a target-relative eigenphase map; a Walsh transform then yields the per-cycle stroboscopic error generator in a selected logarithm branch, whose branch-dependent coefficients alone cannot decide global equivalence. For diagonal Pauli-Z dressing of weight at most m we derive an exact branch-independent criterion from multiplicative Boolean-Mobius invariants, converted at finite shot counts into a pass/fail/unresolved decision under prespecified tolerances and simultaneous confidence, separate from model rejection. For shared-control C^mZ gates a circular target-face contrast isolates each intended conditional phase, yet a support theorem exhibits forbidden interactions invisible to every target face once multiple targets or external spectators are present. We derive a Cramer-Rao bound for arbitrary integer phase contrasts, recovering the 4^m attempted-circuit scaling of a uniform (m+1)-body face, and quantify degradation from visibility loss, heralded survival, readout confusion, and correlated noise, while systematic bias triggers model rejection. Seeded simulations implement the 4M-setting multiplexed acquisition end to end: for M=3,4,5 at a common budget its mean phase-map RMSE is 0.689-0.794 times a separately compiled statewise scan, and a blind-interaction test yields 300/300 global-audit rejections versus 1/300 for target faces. These results estimate the error generator of a diagonal successful block under a specified acquisition model; they are not unknown-basis Hamiltonian identification, arbitrary-channel tomography, or hardware certification.

quant-ph↗

Do Quantum AIs Dream in Paths? Path-Integral Slow Thinking through Grover Interference

Reinforcement learning with verifiable rewards enables large language models to think slowly, but the same training can induce policy collapse: probability concentrates onto a few successful trajectories and exploratory diversity erodes. We ask whether quantum AI can realize slow thinking differently. We formulate slow thinking as coherent dynamics over reasoning trajectories, a discrete path integral in which action sequences coexist in superposition and recombine before measurement. In our trainable realization, an exact verifier partitions the ensemble into collective accepted and rejected components that interfere under Grover amplitude amplification. A finite Grover evolution is maximized when the pre-amplification success probability lies at an analytically determined value below one, so inference itself defines an interior training target and removes the monotonic pressure toward unit success. In exact statevector simulations of a 2x3 sliding puzzle, Grover training reaches accuracy 0.95 on a 32-question training set at one round, against 0.73 for the strongest classical control. On held-out questions specialization has a cost: an untrained uniform policy read out through the same amplification remains the strongest reference on this solution-dense benchmark, and quantum training preserves far more held-out accuracy than classical training - at four rounds with matched circuit applications the two quantum models reach 3.2 and 3.9 times the strongest classical controls. The number of training questions supported by fixed-size policies trained at each amplification budget also grows faster with the budget than with matched classical repetition. These results establish a Grover-based realization of path-integral slow thinking: the interior target preserves exploratory path diversity, and ensemble-level interference converts it into verified performance.

quant-ph↗

Robust CZ gate against flux line memory

High-fidelity CZ gates are central to superconducting quantum processors, but implementations based on flux tuning are still sensitive to pulse distortion. Conventional predistortion, typically used for an isolated gate, can recover the desired flux at the chip but it fails if the flux line memory exists, causing the fidelity of repeated CZ gates to drop rapidly. To address this issue, we model the flux line distortion as the dynamics of a stateful classical actuator coupled to a quantum system. Using a first-order Dyson expansion, we derive the error generators induced by variations in the initial flux-line state. We then design a robust CZ gate by optimizing the flux pulse to suppress these generators and minimize the residual flux line state at the gate exit. A one-pole flux line model shows the expected first-order robustness plateau. For a more practical three-pole model, the optimized CZ pulse achieves $F_{\mathrm{avg}}=99.998\%$, suppresses all first-order error generators, and brings the residual flux line state close to zero. With no additional waiting time between gates, our robust pulse achieves $F_{\mathrm{avg}}=99.97\%$ for the complete ten-gate sequence and reduces the sequence infidelity by a factor of about $2.3\times10^{3}$ relative to the baseline under the same predistortion protocol. These results show that explicitly accounting for flux line memory maintains high-fidelity CZ operation across repeated gate sequences and addresses a key limitation of conventional predistortion.

quant-ph↗

Pareto Front Engineering of Dynamical Sweet Spots in Superconducting Qubits

Operating superconducting qubits at dynamical sweet spots (DSSs) suppresses decoherence from low-frequency flux noise. A key open question is how long coherence can be extended under this strategy and what fundamental limits constrain it. Here we introduce a fully parameterized, multi-objective periodic-flux modulation framework that simultaneously optimizes energy relaxation $T_1$ and pure dephasing $T_ϕ$, thereby quantifying the tradeoff between them. For fluxonium qubits with realistic noise spectra, our method enhances $T_ϕ$ by a factor of 3-5 compared with existing DSS strategies while maintaining $T_1$ in the hundred-microsecond range. We further prove that, although DSSs eliminate first-order sensitivity to low-frequency noise, relaxation rate cannot be reduced arbitrarily close to zero, establishing an upper bound on achievable $T_1$. At the optimized working points, we identify double-DSS regions that are insensitive to both DC and AC flux, providing robust operating bands for experiments. As applications, we design single- and two-qubit control protocols at these operating points and numerically demonstrate high-fidelity gate operations. These results establish a general and useful framework for Pareto-front engineering of DSSs that substantially improves coherence and gate performance in superconducting qubits.

quant-ph↗

Non-Perturbative Geometric Framework for Single-Qubit Gates under Always-On Couplings

In qubit arrays with always-on couplings, single-qubit gates pose a control challenge often as demanding as entangling operations. The same interactions that enable two-qubit entanglement induce crosstalk that significantly degrades single-qubit fidelity. We present a non-perturbative analytical framework for constructing high-fidelity single-qubit gates in the presence of such couplings. From the geometric structure of SU(2) dynamics, we derive a crosstalk-suppression criterion. The dynamics must trace closed loops on a 2-sphere, with a net-zero enclosed-area condition arising when zero-detuning subspaces are present, and the pulse waveform corresponds to the geodesic curvature of the loop. Unlike previous Euclidean-geometric and perturbative dynamically-corrected-gate constructions, the framework operates on a 2-sphere whose intrinsic curvature is set by the detuning, enabling crosstalk suppression even when couplings are comparable to the drive amplitude. Noise robustness enters as an additional constraint along the same closed loop via the Magnus expansion. In two- and three-qubit Heisenberg chains, the resulting pulses are robust against fluctuations in both coupling strength and qubit frequency. Our pulses outperform a representative perturbative robust-control pulse by more than an order of magnitude in fidelity when the always-on coupling approaches the drive amplitude, where perturbative methods break down.

quant-ph↗

Universal Robust Quantum Gates via Doubly Geometric Control

Geometric quantum computation offers a potential route to fault-tolerant quantum information processing by exploiting the global nature of geometric phases. However, achieving controlled high-order suppression of multiple error sources remains a long-standing limitation, particularly in realistic large-scale circuits with complex noise environments. This limitation is largely due to the absence of a general framework that directly characterizes error accumulation and enables systematic improvement. Here we establish such a framework for universal doubly geometric gates by embedding target operations into a hierarchy of level-n identity constructions. This approach enables direct quantification of error accumulation while removing structural constraints inherent in previous schemes. We analytically show that the defining conditions lead to simultaneous fourth-order suppression of control errors, with a systematic extension to sixth-order suppression via higher-level constructions. Our results establish doubly geometric control as a general and scalable route toward high-order robust quantum gates, with potential implications for fault-tolerant quantum information processing.

quant-ph↗

Optimal Effective Hamiltonian for Quantum Computing and Simulation

The effective Hamiltonian serves as the conceptual pivot of quantum engineering, transforming physical complexity into programmable logic; yet, its construction remains compromised by the mathematical non-uniqueness of block diagonalization, which introduces an intrinsic "gauge freedom" that standard methods fail to resolve. We address this by establishing the Least Action Unitary Transformation (LAUT) as the fundamental principle for effective models. By minimizing geometric action, LAUT guarantees dynamical fidelity and inherently enforces the preservation of symmetries--properties frequently violated by conventional Schrieffer-Wolff and Givens rotation techniques. We identify the Bloch-Brandow formalism as the natural perturbative counterpart to this principle, yielding analytic expansions that preserve symmetries to high order. We validate this framework against experimental data from superconducting quantum processors, demonstrating that LAUT quantitatively reproduces interaction rates in driven entangling gates where standard approximations diverge. Furthermore, in tunable coupler architectures, we demonstrate that the LAUT approach captures essential non-rotating-wave contributions that standard models neglect; this inclusion is critical for quantitatively reproducing interaction rates and revealing physical multi-body interactions such as $XZX+YZY$, which are verified to be physical rather than gauge artifacts. By reconciling variational optimality with analytical tractability, this work provides a systematic, experimentally validated route for high-precision system learning and Hamiltonian engineering.

quant-ph↗

Fundamental Costs of Noise-Robust Quantum Control: Speed Limits and Complexity

Noise is ubiquitous in quantum systems and is a major obstacle for the advancement of quantum information science. Noise-robust quantum control achieves high-fidelity operations by engineering the evolution path so that first-order noise contributions cancel at the final time. Such dynamical error correction typically incurs a time overhead beyond standard quantum speed limits. We derive general lower bounds on control complexity that quantify this overhead for quasi-static coherent noise under bounded control amplitude. For a single noise source, we prove a universal time lower bound for first-order robustness and give a constructive scheme that implements any target gate robustly in time 4T plus a constant time. For robustness against an entire noise space, we show dimension lower bounds on the number M of segments in any mixed-unitary schedule from two mechanism: (i) a coherent dimension bound when the error subspace contains an irreducible block isomorphic to su(q), and (ii) a projection dimension bound when the noise space contains the trace-zero span of orthogonal projectors. Under bounded speed, these bounds on number of segments imply time lower bounds. With only local controls robust against noise space defined on a graph, we obtain a graph-orthogonality time bound scales linear with graph chromatic number. We illustrate the bounds through examples. Collectively, these results establish quantitative limitations on the feasibility of first-order noise-resilient operations.

quant-ph↗

Geometric correspondence of noisy quantum dynamics and universal robust quantum gates

Quantum information processing faces a significant hurdle: noise. Different noise sources induce varying errors in quantum operations depending on the underlying dynamics. To gain a deeper understanding of these error mechanisms, we introduce the concept of Quantum Error Evolution Diagrams (QEED). These QEEDs establish a dual correspondence between driven noisy quantum dynamics and geometric space curves, offering quantitative geometric metrics to assess the severity of these errors. This theory provides a framework for designing universal robust quantum gates to correct the errors induced by generic noises. Furthermore, we present a protocol for constructing a universal set of single- and two-qubit robust quantum gates. These gates, designed with simple and smooth control pulses of arbitrary length, achieve fidelities exceeding 99.99\% across a wide range of noise strengths. This geometric approach offers significant advantages over existing methods. Overall, our work provides new insights into the geometric nature of noisy quantum dynamics and paves the way for the development of approaches to dynamically correct quantum errors.

quant-ph↗

Smolyak algorithm assisted robust control for quantum systems with uncertainties

Efficient and systematic numerical methods for robust control design are crucial in quantum systems due to inevitable uncertainties or disturbances. We propose a novel approach that models uncertainties as random variables and quantifies robustness using the expectation of infidelity by reformulating it as a weighted tensor product quadrature. We employ the Smolyak algorithm to develop a parametric robust quantum control scheme, which balances the reduction of computational cost with the enhancement of estimation accuracy. We demonstrate the effectiveness of our proposed algorithm by incorporating the Smolyak sparse grids into conventional gradient-based quantum optimal control methods such as GRAPE and GOAT. In robust control problems concerning quantum gate realization, low infidelity and strong robustness can be achieved. These results contribute to improving the reliability and security of quantum computing and communication systems in the presence of real-world imperfections.

quant-ph↗