Sampling and the complexity of nature
arXiv:2012.07905 · doi:10.17169/refubium-28790
Abstract
Randomness is an intrinsic feature of quantum theory. The outcome of any quantum measurement will be random, sampled from a probability distribution that is defined by the measured quantum state. The task of sampling from a prescribed probability distribution is therefore a natural technological application of quantum devices. In the research presented in this thesis, I investigate the complexity-theoretic and physical foundations of quantum sampling algorithms. I assess the computational power of natural quantum simulators and close loopholes in the complexity-theoretic argument for the classical intractability of quantum samplers (Part I). I shed light on how and under which conditions quantum sampling devices can be tested or verified in regimes that are not simulable on classical computers (Part II). Finally, I explore the computational boundary between classical and quantum computing devices (Part III). In particular, I develop efficiently computable measures of the infamous Monte Carlo sign problem and assess those measures both in terms of their practicability as a tool for alleviating or easing the sign problem and the computational complexity of this task. An overarching theme of the thesis is the quantum sign problem which arises due to destructive interference between paths -- an intrinsically quantum effect. The (non-)existence of a sign problem takes on the role as a criterion which delineates the boundary between classical and quantum computing devices. I begin the thesis by identifying the quantum sign problem as a root of the computational intractability of quantum output probabilities. It turns out that the intricate structure of the probability distributions the sign problem gives rise to, prohibits their verification from few samples. In an ironic twist, I show that assessing the intrinsic sign problem of a quantum system is again an intractable problem.
PhD Thesis, Freie Universität Berlin (2020). Chapters 2, 3, 7, 8, 9 contain unpublished overview material
References in corpus (186)
- Quantum Computing in the NISQ era and beyond
- Many-Body Physics with Ultracold Gases
- Quantum phase transition from a superfluid to a Mott insulator in a gas of ultracold atoms
- Cold bosonic atoms in optical lattices
- Entanglement detection
- On the Measurement of Qubits
- Many-body localization, thermalization, and entanglement
- Experimental realization of Shor's quantum factoring algorithm using nuclear magnetic resonance
- Observation of many-body localization of interacting fermions in a quasi-random optical lattice
- Measurement-based quantum computation with cluster states
- String-net condensation: A physical mechanism for topological phases
- A strong loophole-free test of local realism
- Characterizing Quantum Supremacy in Near-Term Devices
- Quantum state tomography via compressed sensing
- Probing the relaxation towards equilibrium in an isolated strongly correlated 1D Bose gas
- Exploring the many-body localization transition in two dimensions
- Quantum walks of correlated particles
- Boson Sampling on a Photonic Chip
- Probing the Superfluid to Mott Insulator Transition at the Single Atom Level
- Entanglement of atoms via cold controlled collisions
- Quantum Random Number Generators
- Controlled Collisions for Multiparticle Entanglement of Optically Trapped Atoms
- Demonstration of a small programmable quantum computer with atomic qubits
- Chaos in quantum channels
- Efficient quantum state tomography
- Exact and Approximate Unitary 2-Designs: Constructions and Applications
- Quantum simulation of frustrated magnetism in triangular optical lattices
- Experimental boson sampling in arbitrary integrated photonic circuits
- Fermionic atoms in a 3D optical lattice: Observing Fermi-surfaces, dynamics and interactions
- Photonic Boson Sampling in a Tunable Circuit
- On Many-Body Localization for Quantum Spin Chains
- Roads towards fault-tolerant universal quantum computation
- Experimental Four-photon Entanglement and High-fidelity Teleportation
- Ballistic spreading of entanglement in a diffusive nonintegrable system
- Quantum state estimation
- Theory of the phase transition in random unitary circuits with measurements
- Gaussian Boson Sampling
- Scalable Noise Estimation with Random Unitary Operators
- Measurement-induced criticality in random quantum circuits
- Direct Fidelity Estimation from Few Pauli Measurements
- Spectral signatures of many-body localization with interacting photons
- Coherent transport of neutral atoms in spin-dependent optical lattice potentials
- Characterizing Quantum Gates via Randomized Benchmarking
- Universal computation by multi-particle quantum walk
- A blueprint for demonstrating quantum supremacy with superconducting qubits
- Positive Wigner functions render classical simulation of quantum computation efficient
- Quantum phases from competing short- and long-range interactions in an optical lattice
- Controlled exchange interaction between pairs of neutral atoms in an optical lattice
- Demonstration of qubit operations below a rigorous fault tolerance threshold with gate set tomography
- A fault-tolerant one-way quantum computer
- Gapless spin-liquid ground state in the kagome antiferromagnet
- Evenly distributed unitaries: on the structure of unitary designs
- Self-testing of quantum systems: a review
- Methodology for quantum logic gate constructions
- Digital quantum simulation of fermionic models with a superconducting circuit
- Observation of Entangled States of a Fully Controlled 20-Qubit System
- Boson Sampling for Molecular Vibronic Spectra
- The `Higgs' Amplitude Mode at the Two-Dimensional Superfluid-Mott Insulator Transition
- Exact SO(5) Symmetry in spin 3/2 fermionic system
- Random Quantum Circuits are Approximate 2-designs
- Simulation of strongly correlated fermions in two spatial dimensions with fermionic Projected Entangled-Pair States
- Efficient experimental validation of photonic boson sampling against the uniform distribution
- Boson Sampling from Gaussian States
- Device-independent tests of classical and quantum dimensions
- Semi-device-independent security of one-way quantum key distribution
- Self-Consistent Quantum Process Tomography
- Quantum Supremacy and the Complexity of Random Circuit Sampling
- Signatures of Many-Body Localization in a Controlled Open Quantum System
- Unconditionally verifiable blind computation
- Random Quantum Circuits and Pseudo-Random Operators: Theory and Applications
- On the experimental verification of quantum complexity in linear optics
- Meron-Cluster Solution of Fermion Sign Problems
- Oscillating Superfluidity of Bosons in Optical Lattices
- Estimating outcome probabilities of quantum circuits using quasiprobabilities
- Visibility of the Amplitude (Higgs) Mode in Condensed Matter
- Emergence of coherence and the dynamics of quantum phase transitions
- Antiferromagnetic Heisenberg Spin Chain of a Few Cold Atoms in a One-Dimensional Trap
- Achieving quantum supremacy with sparse and noisy commuting quantum computations
- How to generate random matrices from the classical compact groups
- Quantum Sampling Problems, BosonSampling and Quantum Supremacy
- A detailed study of Gaussian Boson Sampling
- No imminent quantum supremacy by boson sampling
- Instantaneous Quantum Computation
- Assessing the progress of trapped-ion processors towards fault-tolerant quantum computation
- Verification of quantum computation: An overview of existing approaches
- Cross-Platform Verification of Intermediate Scale Quantum Devices
- Experimental Realization of an Order-Finding Algorithm with an NMR Quantum Computer
- Efficient classical simulation of random shallow 2D quantum circuits
- Sublattice addressing and spin-dependent motion of atoms in a double-well lattice
- Unified derivations of measurement-based schemes for quantum computation
- The sign problem in Monte Carlo simulations of frustrated quantum spin systems
- Matrix Product Unitaries: Structure, Symmetries, and Topological Invariants
- A Simple Proof that Toffoli and Hadamard are Quantum Universal
- Leveraging Secondary Storage to Simulate Deep 54-qubit Sycamore Circuits
- Stringent and efficient assessment of Boson-Sampling devices
- Composed ensembles of random unitary matrices
- Approximate unitary -designs by short random quantum circuits using nearest-neighbor and long-range gates
- Optimal verification of entangled states with local measurements
- Majorana-time-reversal symmetries: a fundamental principle for sign-problem-free quantum Monte Carlo simulations
- A de Finetti representation for finite symmetric quantum states
- Reliable quantum certification for photonic quantum technologies
- A new approach to the complex-action problem and its application to a nonperturbative study of superstring theory
- Efficient algorithm for boson sampling with partially distinguishable photons
- Spectral functions of the Higgs mode near two-dimensional quantum critical points
- The Higgs mode in a two-dimensional superfluid
- Geometry Dependence of the Sign Problem
- Experimental realization of plaquette resonating valence bond states with ultracold atoms in optical superlattices
- Universal relaxational dynamics near two-dimensional quantum-critical points
- Simulating boson sampling in lossy architectures
- Threshold Accuracy for Quantum Computation
- Architectures for quantum simulation showing a quantum speedup
- On the hardness of classically simulating the one clean qubit model
- Nonstoquastic Hamiltonians and Quantum Annealing of an Ising Spin Glass
- Coupled wire construction of chiral spin liquids
- Convergence Conditions for Random Quantum Circuits
- Both Toffoli and Controlled-NOT need little help to do universal quantum computation
- Post hoc verification with a single prover
- Post hoc verification of quantum computation
- Exponential Time Complexity of the Permanent and the Tutte Polynomial
- Easing the Monte Carlo sign problem
- Verification of Many-Qubit States
- Semi-device-independent bounds on entanglement
- Certifying the building blocks of quantum computers from Bell's theorem
- Quantum Chaos, Delocalization, and Entanglement in Disordered Heisenberg Models
- Liquid state NMR simulations of quantum many-body problems
- Verified measurement-based quantum computing with hypergraph states
- Impossibility of Classically Simulating One-Clean-Qubit Computation
- Quantum approximate optimization with Gaussian boson sampling
- Recovering quantum gates from few average gate fidelities
- Efficient synthesis of probabilistic quantum circuits with fallback
- Permanents in linear optical networks
- Single-copy entanglement detection
- Entanglement-ergodic quantum systems equilibrate exponentially well
- The Clifford group fails gracefully to be a unitary 4-design
- Sign-problem-free Monte Carlo simulation of certain frustrated quantum magnets
- Fidelity witnesses for fermionic quantum simulations
- Boson sampling with Gaussian measurements
- On the simulation of quantum circuits
- Vanishing of the negative-sign problem of quantum Monte Carlo simulations in one-dimensional frustrated spin systems
- Thermodynamic properties of highly frustrated quantum spin ladders: influence of many-particle bound states
- Sample complexity of device-independently certified "quantum supremacy"
- Matrix Product Representation of Locality Preserving Unitaries
- Non-destructive selective probing of phononic excitations in a cold Bose gas using impurities
- Quantum Kagome Ice
- Efficient Quantum Monte Carlo simulations of highly frustrated magnets: the frustrated spin-1/2 ladder
- Boson-Sampling in the light of sample complexity
- Quantum time crystals with programmable disorder in higher dimensions
- Benchmarking of Gaussian boson sampling using two-point correlators
- Negative sign problem in continuous-time quantum Monte Carlo: optimal choice of single-particle basis for impurity problems
- Closing gaps of a quantum advantage with short-time Hamiltonian dynamics
- Dynamical structure factors of dynamical quantum simulators
- Polynomial-time classical simulation of quantum ferromagnets
- Classical simulability of noisy boson sampling
- Mitigating the Sign Problem Through Basis Rotations
- Verifying commuting quantum computations via fidelity estimation of weighted graph states
- Exact Boson Sampling using Gaussian continuous variable measurements
- Off-Diagonal Expansion Quantum Monte Carlo
- Non-local updates for quantum Monte Carlo simulations
- Efficient classical simulation of noisy quantum computation
- Quantum supremacy in constant-time measurement-based computation: A unified architecture for sampling and verification
- Nested Cluster Algorithm for Frustrated Quantum Antiferromagnets
- Quantum pseudo-randomness from cluster-state quantum computation
- A monomial matrix formalism to describe quantum many-body states
- Power of Quantum Computation with Few Clean Qubits
- Clock Quantum Monte Carlo: an imaginary-time method for real-time quantum dynamics
- Noise Threshold of Quantum Supremacy
- The Massive Goldstone (Higgs) mode in two-dimensional ultracold atomic lattice systems
- Resolution of the Sign Problem for a Frustrated Triplet of Spins
- Solution to sign problems in models of interacting fermions and quantum spins
- On the Classical Hardness of Spoofing Linear Cross-Entropy Benchmarking
- Efficient algorithm for optimizing data pattern tomography
- Validating and Certifying Stabilizer States
- Fourier analysis of sampling from noisy chaotic quantum circuits
- Benchmarking the quantum cryptanalysis of symmetric, public-key and hash-based cryptographic schemes
- Efficient unitary paths and quantum computational supremacy: A proof of average-case hardness of Random Circuit Sampling
- Certification of Boson Sampling Devices with Coarse-Grained Measurements
- Simulating Quantum Circuits with Sparse Output Distributions
- On the Complexity of Random Quantum Computations and the Jones Polynomial
- Solution to the sign problem in a frustrated quantum impurity model
- Can Chaotic Quantum Circuits Maintain Quantum Supremacy under Noise?
- The complexity of approximating complex-valued Ising and Tutte partition functions
- Forging quantum data: classically defeating an IQP-based quantum test
- Composite symmetry protected topological order and effective models
- The Computational Complexity of Ball Permutations
- Analogue Quantum Simulation: A Philosophical Prospectus
- Pinned QMA: The power of fixing a few qubits in proofs