Abstract:The development of large-scale platforms for quantum information requires new methods for verification and validation of quantum behavior. Quantum tomography (QT) is the standard tool for diagnosing quantum states, process, and readout devices by providing complete information. However, QT is limited since it is expensive to not only implement experimentally, but also requires heavy classical post-processing of data. In this dissertation, we introduce new methods for QT that are more efficient to implement and robust to noise and errors, thereby making QT a more practical tool for current quantum information experiments. The crucial detail that makes these new, efficient, and robust methods possible is prior information about the quantum system. This prior information is prompted by the goals of most experiments in quantum information, which require pure states, unitary processes, and rank-1 POVM operators. Therefore, most experiments are designed to operate near this ideal regime. We show that when this is the case, QT can be accomplished with significantly fewer resources, and produce a robust estimate in the presence of noise and errors. Moreover, the estimate is also robust if the state is not exactly pure, the process is not exactly unitary, or the POVM is not exactly rank-1. Such compelling methods are only made possible by the positivity constraint on quantum states, processes, and POVMs. This requirement is an inherent feature of quantum mechanics, but has powerful consequences to QT. Since QT is necessarily an experimental tool, we discuss a test of these new methods in an experimental setting. The physical system is an ensemble of laser-cooled cesium atoms in the laboratory of Prof. Poul Jessen. Experiments were conducted by Hector Sosa-Martinez et al. to demonstrate different QT protocols. We compare the results, and conclude that the new methods are effective.

Experimental Implementation of an Efficient Test of Quantumness

Interactive cryptographic proofs of quantumness using mid-circuit measurements

Interactive Protocols for Classically-Verifiable Quantum Advantage

Towards experimental classical verification of quantum computation

Randomness-free Test of Non-classicality: a Proof of Concept

Forging quantum data: classically defeating an IQP-based quantum test

Simple Tests of Quantumness Also Certify Qubits

On-Chip Verified Quantum Computation with an Ion-Trap Quantum Processing Unit

Verifiable measurement-based quantum random sampling with trapped ions

Experimental Benchmarking of an Automated Deterministic Error-Suppression Workflow for Quantum Algorithms

Experimental Cryptographic Verification for Near-Term Quantum Cloud Computing

Testing Real Quantum Theory in an Optical Quantum Network

Efficient tests for experimental quantum gates

Self-testing of a single quantum device under computational assumptions

Propagation of errors and quantitative quantum simulation with quantum advantage

Equivalence, Identity, and Unitarity Checking in Black-Box Testing of Quantum Programs

Efficient and Robust Methods for Quantum Tomography

A computational test of quantum contextuality, and even simpler proofs of quantumness

Self-Testing of Quantum Circuits

Re-examining the quantum volume test: Ideal distributions, compiler optimizations, confidence intervals, and scalable resource estimations

On Testing Quantum Programs