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 noncommutative 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.
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 noncommutative 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.
The prepare-and-measure framework based on energy constraints offers a practical middle ground between fully device-dependent and device-independent quantum cryptography. The only assumption on an otherwise uncharacterized prepare-and-measure device is that the energy of the prepared states is bounded. Existing security analyses of this framework assume that the preparation and measurement devices share at most classical correlations, and under this assumption certified lower bounds on the extractable randomness have been established. Recent work has shown that an adversary who pre-distributes entanglement between the devices can mount attacks that are strictly more powerful than those available when the devices share only classical correlations, reducing the extractable randomness below the previously certified rates. This leaves open the fundamental question of whether randomness can be certified at all in this scenario.
We address this open question by constructing semidefinite programming relaxations of the guessing probability by adapting the Navascués-Pironio-Acín hierarchy to the energy-constrained setting where shared entanglement between the devices is permitted. Our relaxations yield certified lower bounds on the extractable randomness without enforcing any restrictions on the dimensions of the quantum state shared between the preparation and measurement devices. We show that these certified lower bounds are strictly positive for a range of energy values, thereby answering the open question affirmatively: certified randomness generation is theoretically possible in the energy-constrained SDI framework even in the presence of a fully quantum adversary.
The choice of optical receiver determines which properties of the transmitted states remain visible in the observed data and therefore affects the performance of different quantum protocols. We compare continuous-variable, photon-counting and hybrid receivers within the same prepare-and-measure framework, using semi-device-independent randomness generation as the main case study. The measurement device is left uncharacterised, while the source is described by the Gram matrix of its pure signal states using an energy-derived overlap constraint, a magnitude-Gram benchmark or the full complex Gram matrix of a certified coherent phase-shift-keyed constellation. Within this framework, the observed receiver statistics are used to bound Hmin(B∣X,Λ) against classical side information correlated with the measurement device but independent of the input. For a fixed Gram matrix, this bound is obtained from an exact semidefinite program, with complex multi-input cases treated in block-real form and checked through the corresponding dual certificate. Photon counting alone is phase blind for fixed-modulus phase encoding and therefore certifies no worst-case randomness. Continuous-variable receivers give the highest certified entropy at moderate energy, while under the nominal source calibration a hybrid receiver performs better at low energy when the beacon-region label is retained in the output. The same receiver statistics also provide receiver-level comparisons for discrete-modulated continuous-variable quantum key distribution, quantum reading, covert communication and quantum-signature verification, without replacing the full security analysis required for each protocol.
Quantum correlations in Bell and prepare-and-measure experiments are central resources for probing nonclassicality and enabling device-based quantum information protocols. In the absence of shared public randomness (i.e., without run-to-run mixing), even qubit correlation sets are typically nonconvex, making standard convex characterizations inadequate. Here we derive qubit-specific constraints from uncertainty relations, yielding a state-independent consistency test for observed statistics in both prepare-and-measure and Bell scenarios. The test captures explicit nonconvex boundaries in representative correlation families and enables correlation-based device inference by constraining (and sometimes uniquely determining) unitary-invariant measurement parameters even away from extreme points. Moreover, incorporating the inferred qubit constraints as additional conditions in a moment-matrix relaxation strengthens separability tests and can certify entanglement even for Bell-local correlations within the independent-device model. These tools provide a practical route to characterize and leverage low-dimensional quantum devices, including certification, randomness generation, and entanglement verification.
Prepare-and-measure scenarios are among the simplest and most widely used settings for quantum communication. A sender prepares a physical system in one of several possible states, which a receiver then measures. Despite this simple structure, these scenarios offer a rich framework for exploring the differences between classical and quantum communication, revealing quantum advantages, and developing protocols for quantum cryptography and device certification. In this tutorial, we give a ground-up introduction to prepare-and-measure scenarios and the methods used to study them. We introduce different frameworks for constraining and characterising communication, with an emphasis on semi-device-independent approaches to quantum information. We also cover modern convex-optimisation techniques for characterising the correlations achievable in these scenarios and illustrate how these tools can be applied in practice. Our aim is to give newcomers the conceptual and technical foundations needed to approach the current literature and apply prepare-and-measure methods in their own research. We conclude with a discussion of open problems and directions for future work.
Semi-device-independent QRNG frameworks represent a particularly attractive approach, combining strong security guarantees with high randomness generation rates while relying only on reduced and practical physical assumptions. A recently proposed approach based on photon-number constraints is particularly suited to photonic implementations, where these assumptions can be easily assessed experimentally. Here, we experimentally demonstrate a quantum random number generator within this framework, enabling the direct computation of lower bounds on the certifiable Shannon entropy via semidefinite relaxation techniques. When combined with entropy accumulation methods, this approach enables finite-size randomness certification without assuming independent and identically distributed rounds. We realize the protocol using a four-state coherent-state constellation symmetrically distributed in phase space and measured by heterodyne detection, certifying 0.223 bit per measurement, which is the highest value reported to date for a continuous-variable semi-device-independent QRNG. The implementation combines a low-loss integrated photonic heterodyne receiver with a simple transmitter assembled from commercial components, providing a practical and high-speed architecture for semi-device-independent randomness generation.
A key aspect in quantum information is to understand the advantage offered by quantum systems over classical ones in communication tasks. In recent years, a fundamental approach to this problem has been developed, focusing on quantum correlations in prepare-and-measure scenarios. Inspired by the developments in Bell nonlocality and device-independent information processing, this line of research aims to characterize the possibilities and limits of quantum systems for communication, in particular to precisely capture the advantage they offer over classical systems. In addition to fundamental insights, these ideas also underpin the concept of semi-device-independent quantum information processing. Exploring trade-offs between security, performance and ease-of-implementation, this approach opens promising directions for novel quantum information processing technologies and devices. A number of protocols and proof-of-principle demonstrations have been reported in recent years, in particular for quantum randomness certification and key distribution. Here, we provide a comprehensive introduction to quantum prepare-and-measure correlations and semi-device independent applications.