2 papers
quant-ph2025
Hidden shift problem for complex functions
Serge Adonsou, Peter Bruin, Maris Ozols +1
We study quantum algorithms for the hidden shift problem of complex scalar- and vector-valued functions on finite abelian groups. Given oracle access to a shifted function and the…
cs.LO2023
The Directed Van Kampen Theorem in Lean
Henning Basold, Peter Bruin, Dominique Lawson
Directed topology is an area of mathematics with applications in concurrency. It extends the concept of a topological space by adding a notion of directedness, which restricts how…