Semi-device-independent randomness certification on discretized continuous-variable platforms
- URL: http://arxiv.org/abs/2511.05672v1
- Date: Fri, 07 Nov 2025 19:23:46 GMT
- Title: Semi-device-independent randomness certification on discretized continuous-variable platforms
- Authors: Moisés Alves, Vitor L. Sena, Santiago Zamora, Tailan S. Sarubi, A. de Oliveira Junior, Alexandre B. Tacla, Rafael Chaves,
- Abstract summary: We present a semi-device-independent scheme for randomness certification tailored to continuous-variable implementations.<n>We show that simple optical setups can achieve dimension-witness violations that certify positive min-entropy.
- Score: 33.83993649730681
- License: http://creativecommons.org/licenses/by/4.0/
- Abstract: Randomness is fundamental for secure communication and information processing. While continuous-variable optical systems offer an attractive platform for this task, certifying genuine quantum randomness in such setups remains challenging. We present a semi-device-independent scheme for randomness certification tailored to continuous-variable implementations, where the dimension assumption is operationally implemented by restricting state preparations to the two-level Fock subspace. Using standard homodyne and displacement-based measurements, we show that simple optical setups can achieve dimension-witness violations that certify positive min-entropy, even in the presence of realistic losses and misaligned reference frames. These results demonstrate that practical and scalable quantum randomness generation is achievable with minimal experimental complexity on continuous-variable platforms.
Related papers
- Sequential Semi-Device-Independent Quantum Randomness Certification [0.7480063019124682]
Quantum measurements under realistic conditions reveal only partial information about a system.<n>By performing sequential measurements on the same system, additional information can be accessed.<n>We develop a general framework and versatile numerical methods to bound the amount of certifiable randomness.
arXiv Detail & Related papers (2025-10-22T10:17:32Z) - Secure and robust randomness with sequential quantum measurements [0.0]
We prove a Tsirelson-like boundary for sequential quantum correlations, which represents a trade-off in nonlocality shared by sequential users.<n>Our simple qubit protocol reaches this boundary, and numerical analysis shows improved robustness under realistic noise.<n>This study advances understanding of sequential quantum correlations and offers insights for efficient device-independent protocols.
arXiv Detail & Related papers (2023-09-21T17:50:29Z) - Robust Control for Dynamical Systems With Non-Gaussian Noise via Formal
Abstractions [59.605246463200736]
We present a novel controller synthesis method that does not rely on any explicit representation of the noise distributions.
First, we abstract the continuous control system into a finite-state model that captures noise by probabilistic transitions between discrete states.
We use state-of-the-art verification techniques to provide guarantees on the interval Markov decision process and compute a controller for which these guarantees carry over to the original control system.
arXiv Detail & Related papers (2023-01-04T10:40:30Z) - Probabilities Are Not Enough: Formal Controller Synthesis for Stochastic
Dynamical Models with Epistemic Uncertainty [68.00748155945047]
Capturing uncertainty in models of complex dynamical systems is crucial to designing safe controllers.
Several approaches use formal abstractions to synthesize policies that satisfy temporal specifications related to safety and reachability.
Our contribution is a novel abstraction-based controller method for continuous-state models with noise, uncertain parameters, and external disturbances.
arXiv Detail & Related papers (2022-10-12T07:57:03Z) - Toward Certified Robustness Against Real-World Distribution Shifts [65.66374339500025]
We train a generative model to learn perturbations from data and define specifications with respect to the output of the learned model.
A unique challenge arising from this setting is that existing verifiers cannot tightly approximate sigmoid activations.
We propose a general meta-algorithm for handling sigmoid activations which leverages classical notions of counter-example-guided abstraction refinement.
arXiv Detail & Related papers (2022-06-08T04:09:13Z) - Steering-based randomness certification with squeezed states and
homodyne measurements [0.0]
We present a scheme for quantum randomness certification based on quantum steering.
The protocol is one-sided device independent, providing high security, but requires only states and measurements that are simple to realise on quantum optics platforms.
arXiv Detail & Related papers (2021-11-11T13:05:18Z) - Sampling-Based Robust Control of Autonomous Systems with Non-Gaussian
Noise [59.47042225257565]
We present a novel planning method that does not rely on any explicit representation of the noise distributions.
First, we abstract the continuous system into a discrete-state model that captures noise by probabilistic transitions between states.
We capture these bounds in the transition probability intervals of a so-called interval Markov decision process (iMDP)
arXiv Detail & Related papers (2021-10-25T06:18:55Z) - Practical Semi-Device Independent Randomness Generation Based on Quantum
State's Indistinguishability [0.0]
We present a proof-of-principle time-bin encoding semi-DI QRNG experiments based on a prepare-and-measure scheme.
We lower-bound the conditional min-entropy from the energy-bound and the input-output correlation, determining the amount of genuine randomness that can be certified.
arXiv Detail & Related papers (2021-04-22T15:39:36Z) - Probing the topological Anderson transition with quantum walks [48.7576911714538]
We consider one-dimensional quantum walks in optical linear networks with synthetically introduced disorder and tunable system parameters.
The option to directly monitor the walker's probability distribution makes this optical platform ideally suited for the experimental observation of the unique signatures of the one-dimensional topological Anderson transition.
arXiv Detail & Related papers (2021-02-01T21:19:15Z) - Certified Randomness From Steering Using Sequential Measurements [0.0]
A single entangled two-qubit pure state can be used to produce arbitrary amounts of certified randomness.
Motivated by these difficulties in the device-independent setting, we consider the scenario of one-sided device independence.
We show how certain aspects of previous work can be adapted to this scenario and provide theoretical bounds on the amount of randomness which can be certified.
arXiv Detail & Related papers (2020-08-03T08:18:29Z)
This list is automatically generated from the titles and abstracts of the papers in this site.
This site does not guarantee the quality of this site (including all information) and is not responsible for any consequences.