Quantum vs Classical Proofs and Subset Verification

We study the ability of efficient quantum verifiers to decide properties of exponentially large subsets given either a classical or quantum witness. We develop a general framework that can be used to prove that QCMA machines, with only classical witnesses, cannot verify certain properties of subsets given implicitly via an oracle. We use this framework to prove an oracle separation between QCMA and QMA using an "in-place" permutation oracle, making the first progress on this question since Aaronson and Kuperberg in 2007. We also use the framework to prove a particularly simple standard oracle separation between QCMA and AM.Comment: 23 pages, presentation and notation clarified, small errors fixe

Phase Retrieval Using Unitary 2-Designs

We consider a variant of the phase retrieval problem, where vectors are replaced by unitary matrices, i.e., the unknown signal is a unitary matrix U, and the measurements consist of squared inner products |Tr(C*U)|^2 with unitary matrices C that are chosen by the observer. This problem has applications to quantum process tomography, when the unknown process is a unitary operation. We show that PhaseLift, a convex programming algorithm for phase retrieval, can be adapted to this matrix setting, using measurements that are sampled from unitary 4- and 2-designs. In the case of unitary 4-design measurements, we show that PhaseLift can reconstruct all unitary matrices, using a near-optimal number of measurements. This extends previous work on PhaseLift using spherical 4-designs. In the case of unitary 2-design measurements, we show that PhaseLift still works pretty well on average: it recovers almost all signals, up to a constant additive error, using a near-optimal number of measurements. These 2-design measurements are convenient for quantum process tomography, as they can be implemented via randomized benchmarking techniques. This is the first positive result on PhaseLift using 2-designs.Comment: 21 pages; v3: minor revisions, to appear at SampTA 2017; v2: rewritten to focus on phase retrieval, with new title, improved error bounds, and numerics; v1: original version, titled "Quantum Compressed Sensing Using 2-Designs

A Quantum Version of Sch\"oning's Algorithm Applied to Quantum 2-SAT

We study a quantum algorithm that consists of a simple quantum Markov process, and we analyze its behavior on restricted versions of Quantum 2-SAT. We prove that the algorithm solves this decision problem with high probability for n qubits, L clauses, and promise gap c in time O(n^2 L^2 c^{-2}). If the Hamiltonian is additionally polynomially gapped, our algorithm efficiently produces a state that has high overlap with the satisfying subspace. The Markov process we study is a quantum analogue of Sch\"oning's probabilistic algorithm for k-SAT

Quantum Adversary (Upper) Bound

We describe a method to upper bound the quantum query complexity of Boolean formula evaluation problems, using fundamental theorems about the general adversary bound. This nonconstructive method can give an upper bound on query complexity without producing an algorithm. For example, we describe an oracle problem which we prove (non-constructively) can be solved in $O(1)$ queries, where the previous best quantum algorithm uses a polylogarithmic number of queries. We then give an explicit $O(1)$-query algorithm for this problem based on span programs.Comment: Journal version. Edited for clarity and conciseness. Haar transform algorithm remove

Ungrading: Reflections Through a Feminist Pedagogical Lens

Ungrading is a pedagogical approach in which no grades are given on any assignments. Instead, students are provided with many opportunities to submit work and gain feedback. The goal is to shift student focus from achieving a grade to growth as a learner and a person. As instructors, our ungrading approach utilized personalized learning plans, checkpoint reflections, and student-professor learning conferences to put agency in the hands of our students. We employed this method in upper-level biology and computer science courses and provide critical reflections here regarding our experiences and the connections between this approach and feminist STEM pedagogy tenets. We were impressed with students’ self-reported feelings of engagement with the material, enthusiasm for risk-taking, and reduced stress. Feminist themes of reducing the classroom power gap, active student participation, and addressing and disrupting systems of oppression are met through student ownership of their learning and challenging of traditional power dynamics between the student and professor

Quantum Algorithm for Path-Edge Sampling

We present a quantum algorithm for sampling an edge on a path between two nodes s and t in an undirected graph given as an adjacency matrix, and show that this can be done in query complexity that is asymptotically the same, up to log factors, as the query complexity of detecting a path between s and t. We use this path sampling algorithm as a subroutine for st-path finding and st-cut-set finding algorithms in some specific cases. Our main technical contribution is an algorithm for generating a quantum state that is proportional to the positive witness vector of a span program