From the 1 of 6 linked papers with an AI index.
6 papers
Absorption capacity of separable noise: Bell-mixing thresholds on entanglement and teleportation
Xuan Du Trinh
The paper defines how much of a Bell-state reference can be mixed into a separable two‑qubit noise state before it becomes entangled or useful for quantum teleportation, introducin…
On the emergence of classical stochasticity
Xuan Du Trinh, Ismaël Septembre, Hai-Chau Nguyen
We examine the logical structure of the emergence of classical stochasticity for a quantum system governed by a Pauli-type master equation. It is well-known that while such equatio…
Manjushri: A Tool for Equivalence Checking of Quantum Circuits
Xuan Du Trinh, Meghana Sistla, Nengkun Yu +1
Verifying whether two quantum circuits are equivalent is a central challenge in the compilation and optimization of quantum programs. We introduce \textsc{Manjushri}, a new automat…
Adaptivity is not helpful for Pauli channel learning
Xuan Du Trinh, Nengkun Yu
We prove that adaptive strategies offer no advantage over non-adaptive ones for learning and testing Pauli channels using entangled inputs. This key observation allows us to charac…
Entanglement Certification by Measuring Nonlocality
Xuan Du Trinh, Zhengyu Wu, Junlin Bai +3
Reliable verification of entanglement is a central requirement for quantum networks. This paper presents a practical verification approach based on violations of the Clauser-Horne-…
Scalable Equivalence Checking and Verification of Shallow Quantum Circuits
Nengkun Yu, Xuan Du Trinh, Thomas Reps
This paper concerns the problem of checking if two shallow (i.e., constant-depth) quantum circuits perform equivalent computations. Equivalence checking is a fundamental correctnes…