arXiv subjects

Xavier Valcarce

Publications and source records attributed to Xavier Valcarce.

10 recordsLinked to original sources

arXiv2026

Exploring the landscape of compact magic-state distillation factories

Producing high-fidelity magic states using the smallest possible number of physical qubits and operations stands as a very important challenge to achieve fault-tolerant quantum computation at scale. Besides emerging proposals for alternative methods such as cultivation, magic state distillation remains essential for achieving very low error rates. Known distillation protocols are usually built through quantum codes derived from triorthogonal matrices. Here, exploiting the specific noise structure present in magic state distillation protocols, we show that classical error-correcting codes offer a simpler framework for deriving these protocols. This formulation is particularly well suited to systematic numerical and analytical studies of distillation protocols involving a fixed number of qubits. Specifically, we use a SAT solver to derive a series of no-go theorems that relate key figures of merit, including the number of qubits and the factory distance. In particular, considering the standard implementation as a circuit of Z-diagonal Pauli product rotations followed by measurements, we show that no $T$-to-$T$ distillation protocol on fewer than eight qubits can exceed distance 3, and no $T$-to-$\mathrm{CC}Z$ protocol distance 2. Our results also include new such distillation protocols with the smallest number of qubits for a given distance in the literature, namely distance 4 and 5 $T$-to-$T$ protocols supported on 10 and 11 qubits, as well as distance 3 and 4 $T$-to-$\mathrm{CC}Z$ distillation protocols supported on 9 and 10 qubits. Finally, going beyond unitary circuits by recycling qubits through mid-circuit measurement and reinitialization, we obtain an implementation of the distance-5 $49T$-to-$1T$ protocol on only 5 active qubits.

quant-ph↗

arXiv2026

Towards Device-Independent Quantum Key Distribution with Photonic Devices

Quantum Key Distribution (QKD) protocols enable two distant parties to communicate with information-theoretically proven secrecy. However, these protocols are generally vulnerable to potential mismatches between the physical modeling and the implementation of their quantum operations, thereby opening opportunities for side channel attacks. Device-Independent (DI) QKD addresses this problem by reducing the degree of device modeling to a black-box setting. The stronger security obtained in this way comes at the cost of a reduced noise tolerance, rendering experimental demonstrations more challenging: so far, only one experiment based on trapped ions was able to successfully generate a secret key. Photonic platforms have however long been preferred for QKD thanks to their suitability to optical fiber transmission, high repetition rates, readily available hardware, and potential for circuit integration. In this work, we assess the feasibility of DIQKD on a photonic circuit recently identified by machine learning techniques. For this, we introduce an efficient converging hierarchy of semi-definite programs (SDP) to bound the conditional von Neumann entropy and develop a finite-statistics analysis that takes into account full outcome statistics. Our analysis shows that the proposed optical circuit is sufficiently resistant to noise to make an experimental realization realistic.

quant-ph↗

arXiv2025

Unitary Synthesis with AlphaZero via Dynamic Circuits

Unitary synthesis is the process of decomposing a target unitary transformation into a sequence of quantum gates. This is a challenging task, as the number of possible gate combinations grows exponentially with the circuit depth. In this manuscript, we propose an approach using an AlphaZero-inspired reinforcement-learning agent for the exact compilation of unitaries using discrete sets of logic gates. The approach achieves low inference time and proves versatile across different gate sets, and qubit connectivities. Leveraging this flexibility, we explore unitary synthesis with dynamic circuits -- circuits that contain non-unitary operations such as measurements and conditional gates -- and discover unusual implementations of logical quantum gates. Although the direct synthesis of complete algorithms is intractable, our approach is well suited for efficiently synthesizing subroutines. This may have a significant impact when these subroutines are invoked repeatedly during algorithm execution.

quant-ph↗

arXiv2024

Automated generation of photonic circuits for Bell tests with homodyne measurements

Nonlocal quantum realizations, certified by the violation of a Bell inequality, are core resources for device-independent quantum information processing. Although proof-of-principle experiments demonstrating device-independent quantum information processing have already been reported, identifying physical platforms that are realistically closer to practical, viable devices remains a significant challenge. In this work, we present an automated framework for designing photonic implementations of nonlocal realizations using homodyne detections and quantum state heralding. Combining deep reinforcement learning and efficient simulations of quantum optical processes, our method generates photonic circuits that achieve significant violations of the Clauser-Horne-Shimony-Holt inequality. In particular, we find an experimental setup, robust to losses, that yields a CHSH violation of $2.068$ with $3.9$ dB and $0.008$ dB squeezed light sources and two beam splitters.

quant-ph↗

arXiv2024

Long-distance device-independent quantum key distribution using single-photon entanglement

Device-independent quantum key distribution (DIQKD) provides the strongest form of quantum security, as it allows two honest users to establish secure communication channels even when using fully uncharacterized quantum devices. The security proof of DIQKD is derived from the violation of a Bell inequality, mitigating side-channel attacks by asserting the presence of nonlocality. This enhanced security comes at the cost of a challenging implementation, especially over long distances, as losses make Bell tests difficult to conduct successfully. Here, we propose a photonic realization of DIQKD, utilizing a heralded preparation of a single-photon path entangled state between the honest users. Being based on single-photon interference effects, the obtained secret key rate scales with the square root of the quantum channel transmittance. This leads to positive key rates over distances of up to hundreds of kilometers, making the proposed setup a promising candidate for securing long-distance communication in quantum networks.

quant-ph↗

arXiv2024

Complete Self-Testing of a System of Remote Superconducting Qubits

Self-testing protocols enable the certification of quantum systems in a device-independent manner, i.e. without knowledge of the inner workings of the quantum devices under test. Here, we demonstrate this high standard for characterization routines with superconducting circuits, a prime platform for building large-scale quantum computing systems. We first develop the missing theory allowing for the self-testing of Pauli measurements. We then self-test Bell pair generation and measurements at the same time, performing a complete self-test in a system composed of two entangled superconducting circuits operated at a separation of 30 meters. In an experiment based on 17 million trials, we measure an average CHSH (Clauser-Horne-Shimony-Holt) S-value of 2.236. Without relying on additional assumptions on the experimental setup, we certify an average Bell state fidelity of at least 58.9% and an average measurement fidelity of at least 89.5% in a device-independent manner, both with 99% confidence. This enables applications in the field of distributed quantum computing and communication with superconducting circuits, such as delegated quantum computing.

quant-ph↗

arXiv2024

Realistic Bell tests with homodyne measurements

We analyze Bell inequalities violations in photonic experiments for which the measurement apparatuses are restricted to homodyne measurements. Through numerical optimization of the Clauser-Horne-Shimony-Holt inequality over homodyne measurements and binning choices, we demonstrate large violations for states with a bounded number of photons. When considering states defined within qubit local subspaces of two Fock states, such as NOON states, a violation is observed solely within the qubit Fock space spanned by zero and two photons. For more generic states, large violations are obtained. Significant violations are observed even for states containing three photons locally and under realistic values of noise and losses. We propose concrete implementations to achieve such violations, opening new avenues for Bell experiments with homodyne detectors.

quant-ph↗

arXiv2022

Automated design of quantum optical experiments for device-independent quantum key distribution

Device-independent quantum key distribution (DIQKD) reduces the vulnerability to side-channel attacks of standard QKD protocols by removing the need for characterized quantum devices. The higher security guarantees come however, at the price of a challenging implementation. Here, we tackle the question of the conception of an experiment for implementing DIQKD with photonic devices. We introduce a technique combining reinforcement learning, optimisation algorithm and a custom efficient simulation of quantum optics experiments to automate the design of photonic setups maximizing a given function of the measurement statistics. Applying the algorithm to DIQKD, we get unexpected experimental configurations leading to high key rates and to a high resistance to loss and noise. These configurations might be helpful to facilitate a first implementation of DIQKD with photonic devices and for future developments targeting improved performances.

quant-ph↗

arXiv2020

Self-testing two-qubit maximally entangled states from generalized CHSH tests

Device-independent certification, also known as self-testing, aims at guaranteeing the proper functioning of untrusted and uncharacterized devices. For example, the quality of an unknown source expected to produce two-qubit maximally entangled states can be evaluated in a bi-partite scenario, each party using two binary measurements. The most robust approach consists in deducing the fidelity of produced states with respect to a two-qubit maximally entangled state from the violation of the CHSH inequality. In this paper, we show how the self-testing of two-qubit maximally entangled states is improved by a refined analysis of measurement statistics. The use of suitably chosen Bell tests, depending on the observed correlations, allows one to conclude higher fidelities than ones previously known. In particular, nontrivial self-testing statements can be obtained from correlations that cannot be exploited by a CHSH-based self-testing strategy. Our results not only provide novel insight into the set of quantum correlations suited for self-testing, but also facilitate the experimental implementations of device-independent certifications.

quant-ph↗

arXiv2020

What is the minimum CHSH score certifying that a state resembles the singlet?

A quantum state can be characterized from the violation of a Bell inequality. The well-known CHSH inequality for example can be used to quantify the fidelity (up to local isometries) of the measured state with respect to the singlet state. In this work, we look for the minimum CHSH violation leading to a non-trivial fidelity. In particular, we provide a new analytical approach to explore this problem in a device-independent framework, where the fidelity bound holds without assumption about the internal working of devices used in the CHSH test. We give an example which pushes the minimum CHSH threshold from $\approx2.0014$ to $\approx2.05,$ far from the local bound. This is in sharp contrast with the device-dependent (two-qubit) case, where entanglement is one-to-one related to a non-trivial singlet fidelity. We discuss this result in a broad context including device-dependent/independent state characterizations with various classical resources.

quant-ph↗