14 citations · 60 across the 26 of their papers we have counts for
4 papers · 1 filter
Some improvements to product formula circuits for Hamiltonian simulation
Andre Kornell, Peter Selinger
We provide three improvements to the product formula implementation of the ground state energy estimation algorithm via Trotter-Suzuki decomposition. These consist of smaller circu…
On the structure of modal and tense operators on a boolean algebra
Guram Bezhanishvili, Andre Kornell
We study the poset NO(B) of necessity operators on a boolean algebra B. We show that NO(B) is a meet-semilattice that need not be distributive. However, when B is complete, NO(B) i…
Completely hereditarily atomic OMLs
John Harding, Andre Kornell
An irreducible complete atomic OML of infinite height cannot both be algebraic and have the covering property. However, Kalmbach's construction provides an example of such an OML t…
Axioms for the category of sets and relations
Andre Kornell
We provide axioms for the dagger category of sets and relations that recall recent axioms for the dagger category of Hilbert spaces and bounded operators.