Classical homomorphic encryption for quantum circuits
We present the first leveled fully homomorphic encryption scheme for quantum circuits with classical keys. The scheme allows a classical client to blindly delegate a quantum computation to a quantum server: an honest server is able to run the computation while a malicious server is unable to learn any information about the computation. We show that it is possible to construct such a scheme directly from a quantum secure classical homomorphic encryption scheme with certain properties.
Architectures for photonic quantum computing
A linear optical approach to quantum computing offers highly coherent qubits, high fidelity single qubit gates, and probabilistic entangling operations that can be implemented using well-known quantum optical methods.
Quantum Renyi relative entropies and their use
The past decade of research in quantum information theory has witnessed extraordinary progress in understanding communication over quantum channels, due in large part to quantum generalizations of the classical Renyi relative entropy. One generalization is known as the sandwiched Renyi relative entropy and finds its use in characterizing asymptotic behavior in quantum hypothesis testing. It has also found use in establishing strong converse theorems (fundamental communication capacity limitations) for a variety of quantum communication tasks.
Increasing connectivity and modularity in superconducting quantum circuits with parametric interactions
Finding ways to connect quantum systems in a controlled and flexible fashion lies at the core of constructing quantum information processing systems. Superconducting quantum circuits present a particularly promising platform for engineering quantum systems from the ground up: the strong light-matter interactions in these circuits can readily be used to realize interactions between different components. There remain interesting questions, however, about what types of interactions we can realize.
Limitations of Hartree-Fock with quantum resources
The Hartree-Fock problem provides the conceptual and mathematical underpinning of a large portion of quantum chemistry. As efforts in quantum technology aim to enhance computational chemistry algorithms, the fundamental Hartree-Fock problem is a natural target. While quantum computers and quantum simulation offer many prospects for the future of modern chemistry, the Hartree-Fock problem is not a likely candidate.
Quantum Query-to-Communication Simulation Needs a Logarithmic Overhead
Buhrman, Cleve and Wigderson (STOC'98) observed that for every Boolean function f : {-1, 1}^n to {-1, 1}, the two-party bounded-error quantum communication complexity of 2-bit distributed versions of f is O(Q(f) log n), where Q(f) denotes the bounded-error quantum query complexity of f. This is in contrast to the classical randomized analogue of this statement, where the log n factor is absent. A natural question is if this O(log n) factor can be avoided. Aaronson and Ambainis (FOCS'03) showed that this factor is avoidable when f = OR.