64 citations · 231 across the 22 of their papers we have counts for
23 papers
Lattice-Based Quantum Advantage from Rotated Measurements
Yusuf Alnawakhtha, Atul Mantri, Carl A. Miller +1
Trapdoor claw-free functions (TCFs) are immensely valuable in cryptographic interactions between a classical client and a quantum server. Typically, a protocol has the quantum serv…
The membership problem for constant-sized quantum correlations is undecidable
Honghao Fu, Carl A. Miller, William Slofstra
When two spatially separated parties make measurements on an unknown entangled quantum state, what correlations can they achieve? How difficult is it to determine whether a given c…
The Impossibility of Efficient Quantum Weak Coin-Flipping
Carl A. Miller
How can two parties with competing interests carry out a fair coin flip, using only a noiseless quantum channel? This problem (quantum weak coin-flipping) was formalized more than…
Experimental Low-Latency Device-Independent Quantum Randomness
Yanbao Zhang, Lynden K. Shalm, Joshua C. Bienfang +10
Applications of randomness such as private key generation and public randomness beacons require small blocks of certified random bits on demand. Device-independent quantum random n…
Parallel Self-Testing of the GHZ State with a Proof by Diagrams
Spencer Breiner, Amir Kalev, Carl A. Miller
Quantum self-testing addresses the following question: is it possible to verify the existence of a multipartite state even when one's measurement devices are completely untrusted?…
Local Randomness: Examples and Application
Honghao Fu, Carl A. Miller
When two players achieve a superclassical score at a nonlocal game, their outputs must contain intrinsic randomness. This fact has many useful implications for quantum cryptography…
An Elementary Proof of Private Random Number Generation from Bell Inequalities
Carl A. Miller
The field of device-independent quantum cryptography has seen enormous success in the past several years, including security proofs for key distribution and random number generatio…
Randomness in nonlocal games between mistrustful players
Carl A. Miller, Yaoyun Shi
If two quantum players at a nonlocal game G achieve a superclassical score, then their measurement outcomes must be at least partially random from the perspective of any third play…
Keyring models: an approach to steerability
Carl A. Miller, Roger Colbeck, Yaoyun Shi
If a measurement is made on one half of a bipartite system, then, conditioned on the outcome, the other half has a new reduced state. If these reduced states defy classical explana…
Graphical Methods in Device-Independent Quantum Cryptography
Spencer Breiner, Carl A. Miller, Neil J. Ross
We introduce a framework for graphical security proofs in device-independent quantum cryptography using the methods of categorical quantum mechanics. We are optimistic that this ap…
Rigidity of the magic pentagram game
Amir Kalev, Carl A. Miller
A game is rigid if a near-optimal score guarantees, under the sole assumption of the validity of quantum mechanics, that the players are using an approximately unique quantum strat…
Parallel Device-Independent Quantum Key Distribution
Rahul Jain, Carl A. Miller, Yaoyun Shi
A prominent application of quantum cryptography is the distribution of cryptographic keys that are provably secure. Recently, such security proofs were extended by Vazirani and Vid…
Certified randomness between mistrustful players
Carl A. Miller, Yaoyun Shi
It is known that if two players achieve a superclassical score at a nonlocal game , then their outputs are certifiably random - that is, regardless of the strategy used by the p…
Certifying the absence of quantum nonlocality
Carl A. Miller, Yaoyun Shi
Quantum nonlocality is an inherently non-classical feature of quantum mechanics and manifests itself through violation of Bell inequalities for nonlocal games. We show that in a fa…
Universal security for randomness expansion from the spot-checking protocol
Carl A. Miller, Yaoyun Shi
Colbeck (Thesis, 2006) proposed using Bell inequality violations to generate certified random numbers. While full quantum-security proofs have been given, it remains a major open p…
Robust protocols for securely expanding randomness and distributing keys using untrusted quantum devices
Carl A. Miller, Yaoyun Shi
Randomness is a vital resource for modern day information processing, especially for cryptography. A wide range of applications critically rely on abundant, high quality random num…
Evasiveness of Graph Properties and Topological Fixed-Point Theorems
Carl A. Miller
Many graph properties (e.g., connectedness, containing a complete subgraph) are known to be difficult to check. In a decision-tree model, the cost of an algorithm is measured by th…
Optimal robust quantum self-testing by binary nonlocal XOR games
Carl A. Miller, Yaoyun Shi
Self-testing a quantum device means verifying the existence of a certain quantum state as well as the effect of the associated measurements based only on the statistics of the meas…
On optimal entanglement assisted one-shot classical communication
Brett Hemenway, Carl A. Miller, Yaoyun Shi +1
The one-shot success probability of a noisy classical channel for transmitting one classical bit is the optimal probability with which the bit can be sent via a single use of the c…
Deciding Unitary Equivalence Between Matrix Polynomials and Sets of Bipartite Quantum States
Eric Chitambar, Carl A. Miller, Yaoyun Shi
In this brief report, we consider the equivalence between two sets of bipartite quantum states under local unitary transformations. For pure states, this problem corresponds…
Comment on "Matrix Pencils and Entanglement Classification"
Eric Chitambar, Carl A. Miller, Yaoyun Shi
In our earlier posting "Matrix Pencils and Entanglement Classification", arXiv:0911.1803, we gave a polynomial-time algorithm for deciding if two states in a space of dimension $2\…
Matrix Pencils and Entanglement Classification
Eric Chitambar, Carl A. Miller, Yaoyun Shi
In this paper, we study pure state entanglement in systems of dimension . Two states are considered equivalent if they can be reversibly converted from one to…
Equicharacteristic etale cohomology in dimension one
Carl A. Miller
The Grothendieck-Ogg-Shafarevich formula expresses the Euler characteristic of an etale sheaf on a curve in terms of local data. The purpose of this paper is to prove a version of…