29 citations · 30 across the 5 of their papers we have counts for
6 papers
The quantum smooth label cover problem is undecidable
Eric Culf, Kieran Mastel, Connor Paddock +1
We show that the quantum smooth label cover problem is undecidable and RE-hard. This sharply contrasts the quantum unique label cover problem, which can be decided efficiently by a…
RE-completeness of entangled constraint satisfaction problems
Eric Culf, Kieran Mastel
Constraint satisfaction problems (CSPs) are a natural class of decision problems where one must decide whether there is an assignment to variables that satisfies a given formula. S…
Two prover perfect zero knowledge for MIP*
Kieran Mastel, William Slofstra
The recent MIP*=RE theorem of Ji, Natarajan, Vidick, Wright, and Yuen shows that the complexity class MIP* of multiprover proof systems with entangled provers contains all recursiv…
The Clifford theory of the n-qubit Clifford group
Kieran Mastel
The n-qubit Pauli group and its normalizer the n-qubit Clifford group have applications in quantum error correction and device characterization. Recent applications have made use o…
A New Class of Higher Quantum Airy Structures as Modules of -Algebras
Vincent Bouchard, Kieran Mastel
Quantum -Airy structures can be constructed as modules of -algebras via restriction of twisted modules for the underlying Heisenberg algebra. In th…
Deep Learning-Guided Surface Characterization for Autonomous Hydrogen Lithography
Mohammad Rashidi, Jeremiah Croshaw, Kieran Mastel +3
As the development of atom scale devices transitions from novel, proof-of-concept demonstrations to state-of-the-art commercial applications, automated assembly of such devices mus…