https://reionize.github.io
These results complement each other & highlight subtleties in formulating random models which capture the properties of physical dynamics 🔎 ✨
8/8
These results complement each other & highlight subtleties in formulating random models which capture the properties of physical dynamics 🔎 ✨
8/8
These ensembles can also be efficiently simulated assuming the existence of quantum-secure OWFs 💻
7/8
These ensembles can also be efficiently simulated assuming the existence of quantum-secure OWFs 💻
7/8
When the connectivity of the system is known, we show that the dynamics of any ensemble of local Hamiltonians, at any time scale, can be distinguished from a random unitary.
6/8
When the connectivity of the system is known, we show that the dynamics of any ensemble of local Hamiltonians, at any time scale, can be distinguished from a random unitary.
6/8
Under standard cryptographic assumptions, there exist Hamiltonians whose long-time dynamics perform computations that are out of reach for (& can be distinguished from) any efficient circuit 🤖
5/8
Under standard cryptographic assumptions, there exist Hamiltonians whose long-time dynamics perform computations that are out of reach for (& can be distinguished from) any efficient circuit 🤖
5/8
Not only that, determining if there exist energy-conserving PRUs for a given family of local 1D Hamiltonians is in general undecidable!
4/8
Not only that, determining if there exist energy-conserving PRUs for a given family of local 1D Hamiltonians is in general undecidable!
4/8
We then ask, when can we efficiently construct energy-conserving pseudorandom unitaries (PRUs)? 🔋
3/8
We then ask, when can we efficiently construct energy-conserving pseudorandom unitaries (PRUs)? 🔋
3/8
If H is local, we can also efficiently distinguish it from random unitary dynamics by preparing states with non-zero energy and checking if H is conserved ⚡
2/8
If H is local, we can also efficiently distinguish it from random unitary dynamics by preparing states with non-zero energy and checking if H is conserved ⚡
2/8