Abstract:Pebble games are popular models for analyzing time-space trade-offs. In particular, the reversible pebble game is often applied in quantum algorithms like Grover's search to efficiently simulate classical computation on inputs in superposition. However, the reversible pebble game cannot harness the additional computational power granted by irreversible intermediate measurements. The spooky pebble game, which models interleaved measurements and adaptive phase corrections, reduces the number of qubits beyond what reversible approaches can achieve. While the spooky pebble game does not reduce the total space (bits plus qubits) complexity of the simulation, it reduces the amount of space that must be stored in qubits. We prove asymptotically tight trade-offs for the spooky pebble game on a line with any pebble bound, giving a tight time-qubit tradeoff for simulating arbitrary classical sequential computation with the spooky pebble game. For example, for all $\epsilon \in (0,1]$, any classical computation requiring time $T$ and space $S$ can be implemented on a quantum computer using only $O(T/ \epsilon)$ gates and $O(T^{\epsilon}S^{1-\epsilon})$ qubits. This improves on the best known bound for the reversible pebble game with that number of qubits, which uses $O(2^{1/\epsilon} T)$ gates. We also consider the spooky pebble game on more general directed acyclic graphs (DAGs), capturing fine-grained data dependency in computation and show that this game can outperform the reversible pebble game on trees. Additionally any DAG can be pebbled with at most one more pebble than is needed in the irreversible pebble game, implying that finding the minimum number of pebbles necessary to play the spooky pebble game on a DAG with maximum in-degree two is PSPACE-hard to approximate.

Fractional Pebbling Game Lower Bounds

Inapproximability of the Standard Pebble Game and Hard to Pebble Graphs

Hardness of Approximation in PSPACE and Separation Results for Pebble Games

Automating Weight Function Generation in Graph Pebbling

Thresholds for Pebbling on Grids

Computing Bounds on Product-Graph Pebbling Numbers

Tight Bounds on the Spooky Pebble Game: Recycling Qubits with Measurements

Bilevel Programming for Pebbling Numbers of Lemke Graph Products

On the pebbling numbers of Flower, Blanuša, and Watkins snarks

Counterexamples to a Monotonicity Conjecture for the Threshold Pebbling Number

Lollipop and Cubic Weight Functions for Graph Pebbling

A Lower Bound for Dynamic Fractional Cascading

The Game of Blocking Pebbles

On the Hardness of Red-Blue Pebble Games

Improved Complexity Analysis of Quasi-Polynomial Algorithms Solving Parity Games

I/O complexity and pebble games with partial computations

Fractional Hedonic Games With a Limited Number of Coalitions.

Fractional coloring with local demands and applications to degree-sequence bounds on the independence number

The DAG Visit approach for Pebbling and I/O Lower Bounds

Preference Games and Personalized Equilibria, with Applications to Fractional BGP