We have designed and built several generations of universal and fully programmable quanum computers, will fully-connected qubit graphs and highly expressive gate sets. This allows us to use these quantum computers at a higher level, somewhat divorced from the details of the physical qubits. We have run many types and families of quantum algorithms, simulations, and circuits on these machines, in almost all areas of science. Examples include:
- Quantum simulations and Trotterized circuit substantiations of model Hamiltonians from
- condensed mater physics (exotic magnetism, phase transitions, topological states of matter)
- nuclear physics (elements of lattice gauge theory from QCD)
- high energy physics (test of quantum scrambling, AdS-CFT hyperbolic lattice dynamics)
- Machine learning routines to parametrize standard circuits to perform optimization tasks or pattern recognition
- Benchmarking algorithms, from textbook algorithms to those that certify quantum computation
- Novel gate and circuit operations, from multi qubit gates to phononic interactions
