95 citations · 258 across the 27 of their papers we have counts for
31 papers
Grothendieck's Equality vs Voevodsky's Equality
Thomas Eckl
We discuss how canonical and universal constructions, properties and characterizations interact with equality in the framework of Homotopy Type Theory, comparing it with Grothendie…
Quantum-centric Supercomputing for Materials Science: A Perspective on Challenges and Future Directions
Yuri Alexeev, Maximilian Amsler, Paul Baity +124
Computational models are an essential tool for the design, characterization, and discovery of novel materials. Hard computational tasks in materials science stretch the limits of e…
Extending the Variational Quantum Eigensolver to Finite Temperatures
Johannes Selisko, Maximilian Amsler, Thomas Hammerschmidt +2
We present a variational quantum thermalizer (VQT), called quantum-VQT (qVQT), which extends the variational quantum eigensolver (VQE) to finite temperatures. The qVQT makes use of…
Effects of thermal, elastic, and surface properties on the stability of SiC polytypes
Senja Ramakers, Anika Marusczyk, Maximilian Amsler +4
SiC polytypes have been studied for decades, both experimentally and with atomistic simulations, yet no consensus has been reached on the factors that determine their stability and…
Observation of separated dynamics of charge and spin in the Fermi-Hubbard model
Frank Arute, Kunal Arya, Ryan Babbush +96
Strongly correlated quantum systems give rise to many exotic physical phenomena, including high-temperature superconductivity. Simulating these systems on quantum computers may avo…
Preparing symmetry broken ground states with variational quantum algorithms
Nicolas Vogt, Sebastian Zanker, Jan-Michael Reiner +3
One of the most promising applications for near term quantum computers is the simulation of physical quantum systems, particularly many-electron systems in chemistry and condensed…