arXiv ScienceSearch

arXiv subjects

Liang Jiang

Publications and source records attributed to Liang Jiang.

At least 19 recordsLinked to original sources

Quantum channel learning with limited parallel access

Quantum channels can be characterized by their action on an orthogonal operator basis, where these operators are related to observable properties of the quantum system. For qudit and multimode bosonic systems, this is encoded respectively in the Heisenberg--Weyl transfer matrix estimated from the Choi-state, and in the characteristic-function transfer map estimated from a two-mode squeezed vacuum based Choi-state. We derive sample-complexity bounds for estimating entries of the transfer matrix/map to additive accuracy $ε$ with success probability $\ge1-δ$, under different resources: access to the complex-conjugate channel $\mathcal{E}^*$ and/or parallel access to $c$ copies. In all settings, the learner uses parallel channel calls with adaptively chosen, ancilla-assisted input states and measurements. Absolute values of transfer-matrix entries can be learned efficiently with simultaneous access to $\mathcal{E}$ and $\mathcal{E}^*$, with tight scaling $ε^{-4}$. Without conjugate access, any $c<d$ copies are insufficient for efficient learning, requiring sample complexity exponential in the number of ($d$-level) qudits $n$ (for prime $d$). Efficiency is recovered at $c=d$, with tight scaling $ε^{-2d}$. For bosonic systems, exponential sample complexity holds in terms of an effective dimension induced by an energy constraint for all $c=O(1/ε)$. Although the task is learning a particular state, these bounds carry stronger implications than standard state-learning bounds since the learner controls the inputs and has ancillary assistance. This establishes a hierarchy of channel-learning resources: self-complex-conjugate channels require two-copy ancilla-assisted access for efficient learning, while for every square-free $d$, some channels require $d$-copy access. As a corollary, we derive tighter lower bounds for state learning with limited multi-copy access.

quant-ph

Hybrid Device Design for a Pump-Free Microwave-Optical Bell-Pair Source

Hybrid quantum devices offer a route to combine complementary functionalities of disparate physical systems within a single architecture. Extending this concept to a three-way interface among optical, microwave, and single-spin degrees of freedom is particularly challenging because of the weak magnetic interaction between an individual spin and a microwave photon. Here, we propose a hybrid device architecture that integrates a single diamond color center with a superconducting parallel-plate microwave resonator and a photonic-crystal cavity. The parallel-plate geometry drastically reduces the resonator impedance and enhances the single-spin microwave coupling rate by an order of magnitude. The enhanced interaction allows the optical cavity to be spatially separated from the superconducting structure while retaining appreciable microwave coupling and optical cooperativity above 1. For both NV$^-$ and ${}^{117}$SnV$^-$ centers, numerical simulations predict microwave coupling rates in the kilohertz range together with optical cooperativity exceeding 1. This architecture provides a promising route toward single-spin microwave-optical hybrid quantum devices enabling functionalities such as pump-free microwave-optical Bell-pair generation.

quant-ph

Pump-Free Microwave-Optical Bell Pair Generation for Teleportation-Based Quantum Transduction

The coherent conversion between microwave and optical photons, known as quantum transduction, is critical for connecting superconducting processors to optical networks. Existing methods are limited by complications associated with optical pumping. We propose a pump-free microwave-optical Bell-pair source for teleportation-based transduction. Using a spin or atomic system resonantly coupled to optical and microwave cavities, the scheme generates loss-robust heralded Bell pairs. Across color centers, atomic ensembles, and phonon-mediated systems, this assembly achieves kilohertz-range heralding rates with high fidelity.

quant-ph

Optimal Hamiltonian Parameter Estimation in the Presence of Nuisance Parameters

In many sensing applications, the quantity of interest is not the only unknown, there are also additional unknown parameters, known as nuisance parameters, that affect the precision of estimation. While the ultimate local precision limit for a target parameter is well understood in the absence of nuisance parameters, the problem becomes significantly more challenging when they are present. In this work, we develop a framework for optimal Hamiltonian parameter estimation in the presence of nuisance parameters. We introduce an effective generator that captures the influence of nuisance parameters on the target precision, providing an explicit characterization of the ultimate precision limit for estimating the target parameter. Finally, we provide explicit optimal protocols, including probe state, control, and measurement that saturate this fundamental limit.

quant-ph

Global Precision Bounds and Success-Probability Guarantees in Quantum Parameter Learning

Quantum metrology offers the possibility of quantum enhancements of the precision of various sensing tasks. In this manuscript, we tackle two open problems in the theory of single-shot quantum parameter learning, going beyond the usual setting of local parameter estimation via repeated measurements. The first concerns the construction of global upper bounds on the learning precision. The second concerns rigorous guarantees on the success probability of parameter learning, namely, lower bounds on the probability of learning a parameter with a certain precision, given the constraints on the resources used for the quantum metrology task. We provide rigorous, practical, and global upper bounds and success-probability guarantees for quantum parameter learning. Most importantly, we establish a fidelity-based learning guarantee for generic mixed-state models that can be viewed as the achievability-side analogue of the quantum Cramer-Rao bound. Whereas the latter provides a no-go constraint, based on the local curvature of the fidelities, our bound uses only pairwise fidelities between parameter-encoded states to certify that a prescribed precision is attainable with a guaranteed success probability. We demonstrate the versatility of the new bounds in a Rabi-frequency-learning example involving a driven qubit coupled to a bosonic environment and a collective-spin Hamiltonian learning problem. Together, the new global bounds and success-probability guarantees allow us to rule out unattainable precision and to certify attainable precision beyond what is possible via standard Fisher-information analysis or binary hypothesis testing bounds. They also allow one to tractably characterize the performance of various learning schemes, without the overhead of an explicit simulation.

quant-ph

Efficient Entanglement Purification Circuit Design for Dual-Species Atom Arrays

Entanglement purification protocols (EPPs) are essential for generating high-fidelity entangled states in noisy quantum systems, enabling robust quantum networking and computation. Building on the circuit of the foundational recurrence protocol, we generalize two-way EPPs to arbitrary stabilizer codes. Through analytical derivations and noisy circuit simulations incorporating circuit-level noise, we demonstrate enhanced purification performance, with fidelity improvements and finite distillation rates for distillable input states. We propose efficient circuit designs for EPPs tailored to dual-species Rydberg atom arrays, leveraging species-specific laser control and interspecies Rydberg interactions. Introducing a low-overhead operation set, the dual-species atom convenient operation set, we facilitate straightforward compilation of EPP circuits without the need for ancillary atoms or complex atom rearrangements. Our framework provides practical guidance for near-term implementations on dual-species platforms, advancing towards scalable entanglement distribution in neutral atom systems and paving the way for fault-tolerant quantum technologies.

quant-ph

High-Rank Encoding Can Improve Approximate Quantum Error Correction

Conventional quantum-code constructions encode pure logical states as pure code states, but this restriction can sacrifice performance. We show that intrinsic encoding randomness can improve optimal entanglement fidelity. We bound the loss from imposing a rank-one encoder and prove it is at most quadratic near perfect recovery after joint optimization. The optimized advantage survives small noise perturbations. An explicit noise family requires higher-rank encoders arbitrarily close to perfect recovery, with every optimal encoder mapping pure inputs to mixed code states.

quant-ph

Intrinsic Heralding and Optimal Decoders for Non-Abelian Topological Order

Topological order (TO) provides a natural platform for storing and manipulating quantum information. However, its stability to noise has only been systematically understood for Abelian TOs. In this work, we exploit the non-deterministic fusion of non-Abelian anyons to inform active error correction and design decoders where the fusion products, instead of flag qubits, herald the noise. This intrinsic heralding enhances thresholds over those of Abelian counterparts when noise is dominated by a single non-Abelian anyon type. Furthermore, we use Bayesian inference to obtain a statistical mechanics model for fixed-point non-Abelian TOs with perfect measurements under any noise model, which yields the optimal threshold conditioned on measuring anyon syndromes. We numerically illustrate these results for $D_4 \cong \mathbb Z_4 \rtimes \mathbb Z_2$ TO. In particular, for non-Abelian charge noise and perfect syndrome measurement, we find a conditioned optimal threshold $p_c=0.218(1)$, whereas an intrinsically heralded minimal-weight perfect-matching (MWPM) decoder already gives $p_c=0.20842(2)$, outperforming standard MWPM with $p_c = 0.15860(1)$. Our work highlights how non-Abelian properties can enhance stability, rather than reduce it, and discusses potential generalizations for achieving fault tolerance.

quant-ph

Robust Code RL via Faulty-Code-Driven Test case Synthesis and Dense Reward Shaping

Reinforcement Learning from Verifiable Rewards (RLVR) is pivotal for enhancing LLM code generation, yet its efficacy is often hindered by insufficient test case coverage, leading to reward hacking and policy degradation. To address this, we propose RobustTests, a framework featuring a faulty-code-driven test case synthesis strategy. By leveraging "near-correct" faulty codes, RobustTests captures latent logical discrepancies and employs validator agents with behavioral feature clustering to filter invalid or redundant test cases. Additionally, a stepwise dense reward function based on pass rates is introduced to mitigate false negatives and enhance training robustness. Using this pipeline, we construct an augmented version of the CodeContests+ dataset with superior diagnostic utility. Experimental results show that RL fine-tuning of Qwen3-32B via RobustTests achieves a 3% absolute gain on LiveCodeBench, demonstrating its effectiveness in advancing LLM code generation proficiency. Codes and data are available at https://huggingface.co/datasets/sid6/RobustTests.

cs.AI

Integer Linear Programming Decoder for Abelian and Non-Abelian Topological Codes

Topological orders (TOs) are widely used as quantum error-correcting codes, with anyon excitations serving as error syndromes. For certain Abelian TOs, decoding can be performed by independently matching particle-antiparticle pairs of each species. However, matching-based decoders cannot handle more general fusion rules in either Abelian or non-Abelian TOs, nor account for noise that correlates different anyon species. While clustering decoders are more broadly applicable, they typically neglect anyon data and fusion properties, leading to poor performance in practice. In this work, we introduce a fundamentally different decoder for arbitrary TOs based on integer linear programming (ILP). The ILP formulation linearizes the error-correction problem through the introduction of auxiliary variables and encodes fusion rules as linear constraints. Classical optimization then identifies the minimum-weight error configuration. As concrete examples, we determine error-correction thresholds for three TOs: the Abelian $\mathbb{Z}_2$ TO under depolarizing noise, where charge and flux errors are correlated; the Abelian $\mathbb{Z}_3$ TO, which does not admit a pairwise matching decoder; and the non-Abelian $D_4$ TO under noise channels that generate all anyon species. We demonstrate the versatility of the ILP decoder by showing a clear performance advantage over most existing decoders in all three cases. We further extend the method to incorporate noisy syndrome measurements and propose a just-in-time variant for continuous error correction. Our results establish ILP as a natural framework for handling correlated errors and general anyon fusion rules, and as a powerful and flexible general-purpose decoder for incoherent anyon noise in arbitrary TOs, with applications to fault-tolerant quantum computation.

quant-ph

Realistic Simulation of Quantum Repeater with Encoding and Classical Error Correction

Quantum repeaters are essential for scalable long-distance quantum networking. As quantum information processing moves toward fault-tolerant and error-corrected operations, it becomes increasingly important to study quantum repeaters that also move beyond raw physical entanglement and towards logical entanglement. In this paper, we implement and simulate the quantum repeater with encoding and classical error correction (QRE-CEC) protocol in SeQUeNCe, a discrete-event simulator of quantum networks. The protocol distributes logical Bell pairs, performs encoded entanglement swapping, and uses classical error correction for the decoding of entanglement swapping measurement outcomes to determine Pauli-frame corrections. For this study, we extend SeQUeNCe with a stabilizer-based backend, add support for CSS code-based encoded operations, and integrate gate, measurement, idle decoherence, and state-initialization noise models. Our simulation results show that QRE-CEC suppresses all modeled errors to the second order. Also, QRE-CEC can distribute logical Bell pairs with 0.91 fidelity over a distance of 2000 km under the parameter regimes we study. Beyond protocol-level performance evaluation, our implementation exposes practical simulator and control-plane challenges that are typically abstracted away in theoretical studies.

quant-ph

Active-SWE: Benchmarking Coding Agents for Proactive Bug Fixing without Issue Reports

Coding agents powered by large language models (LLMs) are increasingly adopted in software engineering (SWE) scenarios, capable of fixing a specific bug in large-scale codebase. However, existing SWE benchmarks typically assume that high-quality issue reports with detailed information are always available, which is easily violated in practice due to the complexity of report acquisition and curation. To address this, we introduce Active-SWE, a benchmark for evaluating coding agents on proactively discovering and fixing multiple bugs without report guidance, covering 1,663 tasks across six bug categories and eight languages. Beyond shifting the focus from existing reactive bug fixing to proactive bug fixing, Active-SWE enables a more in-depth evaluation by expanding the scope from fixing a specific recorded bug to multiple-bug fixing and potential bug discovery scenarios. To construct Active-SWE, we propose a novel difficulty-aware task formulation pipeline with a dual-track evaluation framework, facilitating comprehensive evaluation of proactive bug-fixing capability. Extensive experiments reveal that most state-of-the-art coding agents struggle with proactive bug-fixing tasks, demonstrating limited performance in locating and resolving recorded bugs, handling multiple bug fixing scenarios, and discovering valid potential bugs.

cs.SE

Criteria for unbiased estimation: applications to noise-agnostic sensing and quantum channel estimation

We establish the necessary and sufficient conditions for {local} unbiased estimation in multi-parameter estimation tasks. More specifically, we first consider quantum state estimation, where multiple parameters are encoded in a quantum state, and derive simple and intuitive necessary and sufficient conditions for a {local} unbiased estimation based on the derivatives of the encoded state. To demonstrate the utility of our framework, we consider phase estimation under unknown Pauli noise. We show that while {local} unbiased phase estimation is infeasible with a naive scheme, employing an entangled probe with a noiseless ancilla enables local unbiased estimation. We then extend our analysis to quantum channel estimation and derive a necessary and sufficient condition for local unbiased estimability of channel parameters, allowing noiseless ancillae, general CPTP controls, and multiple uses of the channel. As a concrete application, we analyze unbiased estimation of noise parameters affecting non-Clifford gates via cycle benchmarking under SPAM errors.

quant-ph

Universal Sample Complexity Bounds in Quantum Learning Theory via Fisher Information Matrix

We show that the sample complexity required in quantum learning theory within a general parametric framework is fundamentally governed by the inverse Fisher information matrix. More specifically, we derive upper and lower bounds on the number of samples required to estimate the parameters of a quantum system within a prescribed small additive error, with high success probability under maximum-likelihood estimation. Notably, both the upper and lower bounds are determined by the supremum of the maximum diagonal entry of the inverse Fisher information matrix. We then apply the general bounds to Pauli channel learning and Pauli expectation value learning, which serve as representative tasks in quantum channel and state learning, respectively, in the asymptotic small-error regime. Furthermore, we identify the structural origin of exponential sample complexity in Pauli channel learning without entanglement and in Pauli expectation value learning without quantum memory by comparing the quantum Fisher information matrix and the classical Fisher information matrix. We then extend the analysis to an error criterion based on the Euclidean distance between the true parameter values and their estimators, deriving the corresponding upper and lower bounds on the sample complexity, which are likewise characterized by the inverse Fisher information matrix. As an application, we consider Pauli channel learning with entangled probes. We highlight two fundamental contributions to quantum learning theory. First, we establish a systematic framework that determines the task-independent sample complexity under maximum-likelihood estimation. Second, we show that, in the small-error regime, the learning sample complexity is governed by the inverse Fisher information matrix, which is the central quantity in quantum metrology that determines the ultimate achievable mean squared error.

quant-ph

Logical computation with canonical lifted product codes

High-rate quantum low-density parity-check (qLDPC) codes encode many logical qubits with low physical-qubit overhead, but realizing efficient fault-tolerant computation on such dense encodings remains a major challenge. Generic, code-agnostic techniques such as code surgery and gate teleportation apply broadly, but are difficult to make modular, low-overhead, and fully certifiable on complex high-rate codes whose structure is left unexploited. Here we overcome these obstacles by co-designing the code together with its logical instruction set for a broad family of \emph{canonical} lifted-product (LP) codes with cyclic symmetry. We show that these codes admit a \emph{canonical logical basis}, in which conjugate logical operators are organized into rows and columns of cyclic orbits inherited directly from the underlying classical codes, analogous to the structure that makes hypergraph-product codes so tractable. This canonical basis unlocks a complete logical instruction set, including constant-depth automorphism and fold-transversal Clifford gates, modular graph code surgeries built from a constant number of reusable seed surgery gadgets or a compact canonical extractor, highly parallel logical Pauli-product measurements, and parallel magic-state injection. For example, a $[[1122,148,\leq\!20]]$ (resp. $[[4350,1224,\leq\!20]]$) LP code requires only two (resp. four) seed surgery gadgets, while arbitrary high-weight logical measurements can be implemented using a full extractor smaller than half of the data code block. These results advance the frontier of fault-tolerant quantum computation on ultra-high-rate quantum architectures.

quant-ph

Strategic Plan for Neutral Atom Quantum Computation

We present a strategic plan for neutral atom quantum computation, bringing together hardware development and theory advancements to achieve the goal of practical quantum advantage. The concept of practical quantum advantage is defined, along with how to verify claims of advantage, and approaches to designing quantum algorithms that deliver practical advantage. Future directions for neutral atom quantum processor hardware are described: scaling-up system size, Qubit encodings and atomic platforms, going further below threshold with neutral-atom logical-qubit performance, continuous reloading of qubits, and fast readout. We also explore opportunities for scalable integrated photonic control technologies. Alongside hardware advancements, new developments in quantum error correction and compilation of quantum circuits are proposed. Finally, we examine the opportunity of networking multiple neutral atom quantum processors together to perform distributed quantum computing and overcome possible limitations of a single system.

quant-ph

Enhancing Entanglement Purification with Shared Randomness

Entanglement purification protocols (EPPs) are essential for improving entanglement fidelity to support fault-tolerant distributed quantum information processing. Practical entanglement sources are often heterogeneous and source labels may be unavailable at the EPP layer. We show that classical shared randomness, together with buffer memories, can enhance entanglement purification when source labels are unavailable, without state characterization or EPP circuit optimization. The strategy is to accumulate multiple entanglement distribution rounds and then use shared randomness to shuffle all the stored entangled states before packaging them as inputs to the EPP. For any $n$ Werner sources and any fixed $n$-to-1 bilocal Clifford EPP, we prove that accumulating and shuffling improves the expected success probability and the success-weighted output Bell fidelity over the baseline without accumulating and shuffling, for every $n$, for every finite number of accumulation rounds and in the asymptotic limit, and the improvement increases monotonically with the number of accumulation rounds.

quant-ph

Fault-tolerant quantum computation by hybrid qubits with bosonic cat-code and single photons

Hybridizing different degrees of freedom or physical platforms potentially offers various advantages in building scalable quantum architectures. We here introduce a fault-tolerant hybrid quantum computation by building on the advantages of both discrete-variable (DV) and continuous-variable (CV) systems. Particularly, we define a CV-DV hybrid qubit with bosonic cat-code and single photon, which is implementable in current photonic platforms. By the cat-code encoded in the CV part, the dominant loss errors are readily correctable without multi-qubit encoding, while the logical basis is inherently orthogonal due to the DV part. We design fault-tolerant architectures by concatenating hybrid qubits and an outer DV quantum error correction code such as topological codes, exploring their potential merits in developing scalable quantum computation. We demonstrate by numerical simulations that our scheme is at least an order of magnitude more resource-efficient over all previous proposals in photonic platforms, allowing us to achieve a record-high loss threshold among existing CV and hybrid approaches. We discuss its realization not only in all-photonic platforms but also in other hybrid platforms including superconducting and trapped-ion systems, which allows us to find various efficient routes towards fault-tolerant quantum computing.

quant-ph