Quantum Query Complexity of Finding a Tarski Fixed Point on a High-Dimensional Grid

Tongyang Li, Weiran Ma, Ziyi Yang +1

The Knaster-Tarski fixed-point theorem states that every monotone function over a complete lattice has a fixed point. Beyond its fundamental role in order theory, the theorem and i…