Shih-Han Hung

Certified randomness amplification by dynamically probing remote random quantum states

Minzhao Liu [1], Pradeep Niroula [1], Matthew DeCross [2], Cameron Foreman [3], Wen Yu Kon [1], Ignatius William Primaatmaja [1,2], M. S. Allman, J. P. Campora, Akhil Isanaka [2], Kartik Singhal [2], Omar Amer [1], Shouvanik Chakrabarti [1], Kaushik Chakraborty [1], Samuel F. Cooper [2], Robert D. Delaney [2], Joan M. Dreiling [2], Brian Estey [2], Caroline Figgatt [2], Cameron Foltz [2], John P. Gaebler [2], Alex Hall [2], Zichang He [1], Craig A. Holliman [4], Travis S. Humble [5], Shih-Han Hung [6], Ali A. Husain [7], Yuwei Jin [1], Fatih Kaleoglu [1], Colin J. Kennedy [2], Nikhil Kotibhaskar [3], Nathan K. Lysne [4], Ivaylo S. Madjarov [2], Michael Mills [2], Alistair R. Milne [3], Kevin Milner [3], Louis Narmour [2], Sivaprasad Omanakuttan [1], Annie J. Park [2], Michael A. Perlin [1], Adam P. Reed [2], Chris N. Self [8], Matthew Steinberg [1], David T. Stephen [2], Joseph Sullivan [1], Alex Chernoguzov [2], Florian J. Curchod [8], Anthony Ransford [2], Justin G. Bohnet [2], Brian Neyenhuis [2], Michael Foss-Feig [2], Rob Otter [1], Ruslan Shaydulin [1]

Abstract

Cryptography depends on truly unpredictable numbers, but physical sources emit biased or correlated bits. Quantum mechanics enables the amplification of imperfect randomness into nearly perfect randomness, but prior demonstrations have required physically co-located, loophole-free Bell tests, constraining the feasibility of remote operation. Here we realize certified randomness amplification across a network by dynamically probing large, entangled quantum states on Quantinuum's 98-qubit Helios trapped-ion quantum processor. Our protocol is secure even if the remote device acts maliciously or is compromised by an intercepting adversary, provided the samples are generated quickly enough to preclude classical simulation of the quantum circuits. We stream quantum gates in real time to the quantum processor, maintain quantum state coherence for $\approx 0.9$ seconds, and then reveal the measurement bases to the quantum processor only milliseconds before measurement. This limits the time for classical spoofing to 30 ms and constrains the location of hypothetical adversaries to a $4{,}500$ km radius. We achieve a fidelity of 0.586 on random circuits with 64 qubits and 276 two-qubit gates, enabling the amplification of realistic imperfect randomness with a low entropy rate into nearly perfect randomness.

Certified randomness using a trapped-ion quantum processor

Minzhao Liu [1,3,4], Ruslan Shaydulin [1], Pradeep Niroula [1], Matthew DeCross [2], Shih-Han Hung [5,6], Wen Yu Kon [1], Enrique Cervero-Martín, Kaushik Chakraborty [1], Omar Amer [1], Scott Aaronson [5], Atithi Acharya [1], Yuri Alexeev [3], K. Jordan Berg [2], Shouvanik Chakrabarti [1], Florian J. Curchod [7], Joan M. Dreiling [2], Neal Erickson [2], Cameron Foltz [2], Michael Foss-Feig [2], David Hayes [2], Travis S. Humble [8], Niraj Kumar [1], Jeffrey Larson [9], Danylo Lykov [1,3], Michael Mills [2], Steven A. Moses [2], Brian Neyenhuis [2], Shaltiel Eloul [1], Peter Siegfried [2], James Walker [2], Charles Lim [1], Marco Pistoia [1]

Abstract

While quantum computers have the potential to perform a wide range of practically important tasks beyond the capabilities of classical computers, realizing this potential remains a challenge. One such task is to use an untrusted remote device to generate random bits that can be certified to contain a certain amount of entropy. Certified randomness has many applications but is fundamentally impossible to achieve solely by classical computation. In this work, we demonstrate the generation of certifiably random bits using the 56-qubit Quantinuum H2-1 trapped-ion quantum computer accessed over the internet. Our protocol leverages the classical hardness of recent random circuit sampling demonstrations: a client generates quantum "challenge" circuits using a small randomness seed, sends them to an untrusted quantum server to execute, and verifies the server's results. We analyze the security of our protocol against a restricted class of realistic near-term adversaries. Using classical verification with measured combined sustained performance of $1.1\times10^{18}$ floating-point operations per second across multiple supercomputers, we certify $71,313$ bits of entropy under this restricted adversary and additional assumptions. Our results demonstrate a step towards the practical applicability of today's quantum computers.