arXiv subjects

Stefano Pironio

Publications and source records attributed to Stefano Pironio.

At least 19 recordsLinked to original sources

arXiv2026

Partially-Commutative Polynomial Optimization

Semidefinite programming hierarchies for commutative and non-commutative polynomial optimization represent a powerful computational tool with many applications in quantum information. In such applications, a given variable is typically not either commuting or non-commuting with all other variables, but instead commutes with some variables and does not commute with others, i.e., the variables satisfy some partial commutation relations. While such partial commutation relations can always be incorporated in a fully non-commutative setting through suitable linear constraints in the semidefinite programming relaxations, exploiting their algebraic properties from the onset can result in more compact relaxations. This leads us to introduce partially-commutative polynomial optimization, a framework that encompasses commutative and non-commutative polynomial optimization, allowing for arbitrary commutation relations among the variables. We point out that the underlying algebraic structure is that of a partially-commutative monoid. We present and review several key aspects of such monoids and show how they can be used to build SDP relaxations for partially-commutative polynomial optimization problems in which the partial commutations are natively implemented in the monomial structure, without the need of additional linear constraints.

quant-ph↗

arXiv2026

Generalized measurement incompatibility

Quantum measurements can be incompatible, i.e., they can fail to be jointly measurable. Recently, a weaker notion of joint-measurability, called partial joint-measurability, was proposed by Masini et al. in [Quantum 8, 1574 (2024)]. In this work, we further generalize this notion to the setting where only a subset of the outcomes of each measurement is required to be jointly determined by classical variables. We provide two mathematical formulations of partial joint-measurability and show that, like full joint-measurability, it can be decided by solving a single semidefinite program. We prove that in the case of an untrusted measurement device, an adversary Eve, limited to classical side information, can perfectly guess the outcomes of the measurement device if and only if the set of measurements is partially jointly measurable. We derive analytical thresholds on the detection efficiency below which generic measurements become partially jointly measurable. Such bounds directly yield limits on the robustness of device-independent and semi-device-independent quantum cryptographic protocols against detection inefficiency. In particular, our results highlight the importance of a careful treatment of postselection in security analyses.

quant-ph↗

arXiv2025

No Bound Randomness in Quantum Nonlocality

Recently it has been found that there exist maximally nonlocal quantum correlations that fail to certify randomness for any fixed input pair, rendering them useless for device-independent spot-checking randomness expansion schemes. Here we show that conversely, in DI randomness amplification protocols where all input pairs are used for randomness generation, any amount of quantum nonlocality is sufficient to certify randomness. This shows that no bound randomness exists in quantum nonlocality - any quantum nonlocal behavior is useful in a DI randomness generation task with appropriate modification of protocol structure. Secondly, we show that in contrast to the hitherto considered fixed-input guessing probability, the average guessing probability over all inputs is a faithful and monotonic measure of nonlocality. We use the average guessing probability to show that in contrast to findings in PRL 134, 090201, the detection efficiency threshold for randomness generation is never lower than that for nonlocality detection. Finally, we analytically compute the average guessing probability by a quantum adversary of a single player's measurement outputs in a standard CHSH Bell test, and use it to demonstrate an improvement in the generation rate in state-of-art amplification protocols.

quant-ph↗

arXiv2025

Certification of quantum correlations and DIQKD at arbitrary distances through routed Bell tests

Transmission loss represents a major obstacle to the device-independent certification of quantum correlations over long distances, limiting applications such as device-independent quantum key distribution (DIQKD). In this work, we investigate the recently proposed concept of routed Bell experiments, in which a particle sent to one side can be measured either near or far from the source. We prove that routed Bell tests involving only entangled qubits can certify quantum correlations even in the presence of arbitrary loss on the channel to the distant device. This is achieved by adapting concepts from self-testing and quantum steering to the routed Bell test framework. Finally, as a natural extension of our approach, we outline a DIQKD protocol that, in principle, is secure over arbitrary distances.

quant-ph↗

arXiv2025

Device-Independent Quantum Key Distribution Based on Routed Bell Tests

Photon losses are the main obstacle to fully photonic implementations of device-independent quantum key distribution (DIQKD). Motivated by recent work showing that routed Bell scenarios offer increased robustness to detection inefficiencies for the certification of long-range quantum correlations, we investigate DIQKD protocols based on a routed setup. In these protocols, in some of the test rounds, photons from the source are routed by an actively controlled switch to a nearby test device instead of the distant one. We show how to analyze the security of these protocols and compute lower bounds on the key rates using noncommutative polynomial optimization and the Brown-Fawzi-Fawzi method. We determine lower bounds on the asymptotic key rates of several simple two-qubit routed DIQKD protocols based on CHSH or BB84 correlations and compare their performance to standard protocols. For high-quality short-path tests, we find that routed DIQKD protocols are significantly more robust to losses, showing an improvement of approximately $30\%$ in the detection efficiency compared to their nonrouted counterparts. This translates to a large improvement in the distance over which nonzero key can be distilled in optical setups with near-perfect single-photon detectors, where the main source of loss in the setup is due to transmission in the fiber. Notably, the routed BB84 protocol achieves a positive key rate with a detection efficiency as low as $50\%$ for the distant device, the minimal threshold for any QKD protocol featuring two untrusted measurements. However, the advantages we find are highly sensitive to noise and losses affecting the short-range correlations involving the additional test device.

quant-ph↗

arXiv2025

Information capacity of quantum communication under natural physical assumptions

The quantum prepare-and-measure scenario has been studied under various physical assumptions on the emitted states. Here, we first discuss how different assumptions are conceptually and formally related. We then identify one that can serve as a relaxation of all others, corresponding to a limitation on the one-shot accessible information of the state ensemble. This motivates us to study the optimal state discrimination probability of a source subject to these various physical assumptions. We derive general and tight bounds for states restricted by their quantum dimension, their vacuum component, an arbitrary uniform overlap, the magnitude of higher-dimensional signals and the experimenter's trust in their device. Our results constitute a first step towards a more unified picture of semi-device-independent quantum information processing.

quant-ph↗

arXiv2024

Prepare-and-measure scenarios with photon-number constraints

We study correlations in the prepare-and-measure scenario when quantum communication is constrained by photon-number statistics. Such constraints are natural and practical control parameters for semi-device-independent certification in optical platforms. To analyse these scenarios, we show how semidefinite programming relaxations for non-commutative polynomial optimization can be used to bound the set of quantum correlations under restrictions on the photon-number distribution. The practicality of this method is demonstrated by computing optimal performance bounds on several well-known communication tasks. We then apply the method to the certification of semi-device-inpependent random number generation protocols and show how to bound the conditional Shannon entropy. We showcase this versatile tool by improving randomness extraction in established protocols based on coherent states and homodyne measurements.

quant-ph↗

arXiv2024

Joint-measurability and quantum communication with untrusted devices

Photon loss represents a major challenge for the implementation of quantum communication protocols with untrusted devices, e.g. in the device-independent (DI) or semi-DI approaches. Determining critical loss thresholds is usually done in case-by-case studies. In the present work, we develop a general framework for characterizing the admissible levels of loss and noise in a wide range of scenarios and protocols with untrusted measurement devices. In particular, we present general bounds that apply to prepare-and-measure protocols for the semi-DI approach, as well as to Bell tests for DI protocols. A key step in our work is to establish a general connection between quantum protocols with untrusted measurement devices and the fundamental notions of channel extendibility and joint-measurability, which capture essential aspects of the communication and measurement of quantum information. In particular, this leads us to introduce the notion of partial joint-measurability, which naturally arises within quantum cryptography.

quant-ph↗

arXiv2024

When Quantum Nonlocality Does Not Play Dice

Bell nonlocality is widely viewed as a signature of intrinsic randomness, effectively playing the role of a 'dice' at the heart of many device-independent cryptographic protocols. We show that this connection has a fundamental limitation: there exist Bell inequalities that are maximally violated by quantum correlations yet certify no randomness for any fixed input pair. We develop a systematic construction based on symmetric deterministic extensions of nonlocal games, and use it to obtain explicit examples of such inequalities. We also construct maximally nonlocal quantum correlations that, for every input pair, admit a convex decomposition into strategies with predetermined outputs for those inputs. Our results reveal a strong form of determinism compatible with quantum nonlocality and delineate the limits of device-independent randomness certification.

quant-ph↗

arXiv2024

Certifying long-range quantum correlations through routed Bell tests

Losses in the transmission channel, which increase with distance, pose a major obstacle to photonics demonstrations of quantum nonlocality and its applications. Recently, Chaturvedi, Viola, and Pawlowski (CVP) [arXiv:2211.14231] introduced a variation of standard Bell experiments with the goal of extending the range over which quantum nonlocality can be demonstrated. In these experiments, which we call 'routed Bell experiments', Bob can route his quantum particle along two possible paths and measure it at two distinct locations - one near and another far from the source. The idea is that a Bell violation in the short-path should weaken the conditions required to detect nonlocal correlations in the long-path. Indeed, CVP showed that there are quantum correlations in routed Bell experiments such that the outcomes of the remote device cannot be classically predetermined, even when its detection efficiency is arbitrarily low. In this paper, we show that the correlations considered by CVP, though they cannot be classically predetermined, do not require the transmission of quantum systems to the remote device. This leads us to define the concept of 'short-range' and 'long-range' quantum correlations in routed Bell experiments. We show that these correlations can be characterized through standard semidefinite programming hierarchies for non-commutative polynomial optimization. We then explore the conditions under which short-range quantum correlations can be ruled out. We point out that there exist fundamental lower-bounds on the critical detection efficiency of the distant device, implying that routed Bell experiments cannot demonstrate long-range quantum nonlocality at arbitrarily large distances. However, we do find that routed Bell experiments allow for reducing the detection efficiency threshold. The improvements, though, are significantly smaller than those suggested by CVP's analysis.

quant-ph↗

arXiv2024

Almost qudits in the prepare-and-measure scenario

Quantum communication is often investigated in scenarios where only the dimension of Hilbert space is known. However, assigning a precise dimension is often an approximation of what is actually a higher-dimensional process. Here, we introduce and investigate quantum information encoded in carriers that nearly, but not entirely, correspond to standard qudits. We demonstrate the relevance of this concept for semi-device-independent quantum information by showing how small higher-dimensional components can significantly compromise the conclusions of established protocols. Then we provide a general method, based on semidefinite relaxations, for bounding the set of almost qudit correlations, and apply it to remedy the demonstrated issues. This method also offers a novel systematic approach to the well-known task of device-independent tests of classical and quantum dimensions with unentangled devices. Finally, we also consider viewing almost qubit systems as a physical resource available to the experimenter and determine the optimal quantum protocol for the well-known Random Access Code.

quant-ph↗

arXiv2023

Quantum-inspired classification based on quantum state discrimination

We present quantum-inspired algorithms for classification tasks inspired by the problem of quantum state discrimination. By construction, these algorithms can perform multiclass classification, prevent overfitting, and generate probability outputs. While they could be implemented on a quantum computer, we focus here on classical implementations of such algorithms. The training of these classifiers involves Semi-Definite Programming. We also present a relaxation of these classifiers that utilizes Linear Programming (but that can no longer be interpreted as a quantum measurement). Additionally, we consider a classifier based on the Pretty Good Measurement (PGM) and show how to implement it using an analogue of the so-called Kernel Trick, which allows us to study its performance on any number of copies of the input state. We evaluate these classifiers on the MNIST and MNIST-1D datasets and find that the PGM generally outperforms the other quantum-inspired classifiers and performs comparably to standard classifiers.

quant-ph↗

arXiv2022

Simple and practical DIQKD security analysis via BB84-type uncertainty relations and Pauli correlation constraints

According to the entropy accumulation theorem, proving the unconditional security of a device-independent quantum key distribution protocol reduces to deriving tradeoff functions, i.e., bounds on the single-round von Neumann entropy of the raw key as a function of Bell linear functionals, conditioned on an eavesdropper's quantum side information. In this work, we describe how the conditional entropy can be bounded in the 2-input/2-output setting, where the analysis can be reduced to qubit systems, by combining entropy bounds for variants of the well-known BB84 protocol with quantum constraints on qubit operators on the bipartite system shared by Alice and Bob. The approach gives analytic bounds on the entropy, or semi-analytic ones in reasonable computation time, which are typically close to optimal. We illustrate the approach on a variant of the device-independent CHSH QKD protocol where both bases are used to generate the key as well as on a more refined analysis of the original single-basis variant with respect to losses. We obtain in particular a detection efficiency threshold slightly below 80.26%, within reach of current experimental capabilities.

quant-ph↗

arXiv2022

Adaptive advantage in entanglement-assisted communications

Entanglement is known to boost the efficiency of classical communication. In distributed computation, for instance, exploiting entanglement can reduce the number of communicated bits or increase the probability to obtain a correct answer. Entanglement-assisted classical communication protocols usually consist of two successive rounds: first a Bell test round, in which the parties measure their local shares of the entangled state, and then a communication round, where they exchange classical messages. Here, we go beyond this standard approach and investigate adaptive uses of entanglement: we allow the receiver to wait for the arrival of the sender's message before measuring his share of the entangled state. We first show that such adaptive protocols improve the success probability in Random Access Codes. Second, we show that once adaptive measurements are used, an entanglement-assisted bit becomes a strictly stronger resource than a qubit in prepare-and-measure scenarios. We briefly discuss extension of these ideas to scenarios involving quantum communication and identify resource inequalities.

quant-ph↗

arXiv2022

Entanglement in prepare-and-measure scenarios: many questions, a few answers

Entanglement and quantum communication are paradigmatic resources in quantum information science leading to correlations between systems that have no classical analogue. Correlations due to entanglement when communication is absent have for long been studied in Bell scenarios. Correlations due to quantum communication when entanglement is absent have been studied extensively in prepare-and-measure scenarios in the last decade. Here, we set out to understand and investigate correlations in scenarios that involve both entanglement and communication, focusing on entanglement-assisted prepare-and-measure scenarios. In a recent companion paper [arXiv:2103.10748], we investigated correlations based on unrestricted entanglement. Here, our focus is on scenarios with restricted entanglement. We establish several elementary relations between standard classical and quantum communication and their entanglement-assisted counterparts. In particular, while it was already known that bits or qubits assisted by two-qubit entanglement between the sender and receiver constitute a stronger resource than bare bits or qubits, we show that higher-dimensional entanglement further enhance the power of bits or qubits. We also provide a characterisation of generalised dense coding protocols, a natural subset of entanglement-assisted quantum communication protocols, finding that they can be understood as standard quantum communication protocols in real-valued Hilbert space. Though such dense coding protocols can convey up to two bits of information, we provide evidence, perhaps counter-intuitively, that resources with a small information capacity, such as a bare qutrits, can sometimes produce stronger correlations. Along the way we leave several conjectures and conclude with a list of interesting open problems.

quant-ph↗

arXiv2022

Informationally restricted correlations: a general framework for classical and quantum systems

We introduce new methods and tools to study and characterise classical and quantum correlations emerging from prepare-and-measure experiments with informationally restricted communication. We consider the most general kind of informationally restricted correlations, namely the ones formed when the sender is allowed to prepare statistical mixtures of mixed states, showing that contrary to what happens in Bell nonlocality, mixed states can outperform pure ones. We then leverage these tools to derive device-independent witnesses of the information content of quantum communication, witnesses for different quantum information resources, and demonstrate that these methods can be used to develop a new avenue for semi-device independent random number generators.

quant-ph↗

arXiv2021

Correlations in entanglement-assisted prepare-and-measure scenarios

We investigate the correlations that can arise between Alice and Bob in prepare-and-measure communication scenarios where the source (Alice) and the measurement device (Bob) can share prior entanglement. The paradigmatic example of such a scenario is the quantum dense coding protocol, where the communication capacity of a qudit can be doubled if a two-qudit entangled state is shared between Alice and Bob. We provide examples of correlations that actually require more general protocols based on higher-dimensional entangled states. This motivates us to investigate the set of correlations that can be obtained from communicating either a classical or a quantum $d$-dimensional system in the presence of an unlimited amount of entanglement. We show how such correlations can be characterized by a hierarchy of semidefinite programming relaxations by reducing the problem to a non-commutative polynomial optimization problem. We also introduce an alternative relaxation hierarchy based on the notion of informationally-restricted quantum correlations, which, though it represents a strict (non-converging) relaxation scheme, is less computationally demanding. As an application, we introduce device-independent tests of the dimension of classical and quantum systems that, in contrast to previous results, do not make the implicit assumption that Alice and Bob share no entanglement. We also establish several relations between communication with and without entanglement as resources for creating correlations.

quant-ph↗

arXiv2021

Device-independent quantum key distribution with asymmetric CHSH inequalities

The simplest device-independent quantum key distribution protocol is based on the Clauser-Horne-Shimony-Holt (CHSH) Bell inequality and allows two users, Alice and Bob, to generate a secret key if they observe sufficiently strong correlations. There is, however, a mismatch between the protocol, in which only one of Alice's measurements is used to generate the key, and the CHSH expression, which is symmetric with respect to Alice's two measurements. We therefore investigate the impact of using an extended family of Bell expressions where we give different weights to Alice's measurements. Using this family of asymmetric Bell expressions improves the robustness of the key distribution protocol for certain experimentally-relevant correlations. As an example, the tolerable error rate improves from 7.15% to about 7.42% for the depolarising channel. Adding random noise to Alice's key before the postprocessing pushes the threshold further to more than 8.34%. The main technical result of our work is a tight bound on the von Neumann entropy of one of Alice's measurement outcomes conditioned on a quantum eavesdropper for the family of asymmetric CHSH expressions we consider and allowing for an arbitrary amount of noise preprocessing.

quant-ph↗