Quantum Randomness Certification via Bell Inequality Testing

Resolve Bottlenecks,
Find Innovative Solutions
Generate Solutions

Solution Overview

Problem

Traditional random number generators based on classical physics are deterministic, making their output randomness untrustworthy without additional assumptions, and existing quantum randomness generators lack device independence and noise tolerance, making it difficult to verify their quantum origin and secure against adversaries.

Innovation Solution

A security test logic system that uses a processor to compute a test statistic from measurements indicating particle coincidences, comparing it to a threshold to certify that the measurements are from a quantum system, thereby generating truly random bits independently of classical sources, and is robust to realistic noise levels.

Engineering Contradictions & Design Principles

VSEngineering Contradiction Analysis

1Reliability

If quantum randomness generators are used, then true randomness is improved, but device independence and noise tolerance are worsened

Engineering Contradiction:
Improverandomness qualityVSAvoidverification complexity
Core Design Contradiction:
ReliabilityVSDevice complexity

Solution Approach 1:

The patent replaces complex quantum device verification with a statistical test based on Bell inequalities. Instead of examining the internal quantum mechanical workings of the device, the system uses a simplified statistical approach where a processor computes a test statistic from measurement data and compares it to a threshold. This substitution of mechanical/physical verification with statistical analysis resolves the contradiction by maintaining true randomness generation while dramatically simplifying the verification process.

Inventive Principle:
Principle #28Mechanics substitution (Replace mechanical system)

2Device complexity

If classical physics-based random number generators are used, then device simplicity is improved, but randomness trustworthiness is worsened

Engineering Contradiction:
Improvegenerator simplicityVSAvoidrandomness trustworthiness
Core Design Contradiction:
Device complexityVSReliability

Solution Approach 1:

The patent introduces an intermediary statistical test based on Bell inequalities that bridges classical verification methods and quantum randomness generation. The test statistic computed from measurement data serves as an intermediary indicator that certifies quantum origins without requiring direct inspection of quantum components. This intermediary approach allows classical processors to verify quantum-generated randomness, resolving the contradiction between simplicity and trustworthiness.

Inventive Principle:
Principle #24Intermediary (Mediator)

3Reliability

If quantum system certification is implemented, then security against adversaries is improved, but measurement verification difficulty is worsened

Engineering Contradiction:
Improvesecurity levelVSAvoidquantum measurement verification
Core Design Contradiction:
ReliabilityVSDifficulty of detecting and measuring

Solution Approach 1:

The patent extracts the essential security-critical information from complex quantum measurements by focusing only on the test statistic that violates Bell inequalities. Instead of verifying all aspects of quantum measurements, the system extracts and analyzes only the specific statistical property (Bell inequality violation) that certifies quantum randomness and provides security against adversaries. This extraction approach resolves the contradiction by maintaining high security while simplifying verification to a single computable statistic.

Inventive Principle:
Principle #2Taking out (Extraction)

Data Source

PatentEP3729258B1Amplifying, generating, or certifying randomness
Publication Date: 2023.11.15 QUANTINUUM LTD
  • EP3729258B1 patent drawingFigure 1
  • EP3729258B1 patent drawingFigure 2A
  • EP3729258B1 patent drawingFigure 2B

AI summary

A security test logic system can include a non-transitory memory configured to store measurements from a measurement apparatus, the measurement outputs comprising indications of presence or absence of coincidences where particles are detected at more than one detector at substantially the same time, the detectors being at the end of different channels from a particle source and having substantially the same length. The system can include a processor configured to compute a test statistic from the stored measurements. The test statistic may express a Bell inequality, and the system can compare the test statistic with a threshold. The processor can be configured to generate and output a certificate certifying that the measurements are from a quantum system if the value of the computed test statistic passes the threshold.