Compressed Oracle Duality: A simple framework for knowing what quantum adversaries know

@misc{ding2026compressed,
  title = {{Compressed Oracle Duality: A simple framework for knowing what quantum adversaries know}},
  author = {Matthew Ding and Mark Zhandry},
  howpublished = {arXiv},
  year = {2026},
  month = nov,
  doi = {10.48550/arxiv.2611.00609},
  eprint = {2611.00609},
  archivePrefix = {arXiv},
  url = {https://arxiv.org/abs/2611.00609},
}

TY  - UNPB
TI  - Compressed Oracle Duality: A simple framework for knowing what quantum adversaries know
AU  - Matthew Ding
AU  - Mark Zhandry
PY  - 2026
DA  - 2026/11/01
PB  - arXiv
DO  - 10.48550/arxiv.2611.00609
UR  - https://arxiv.org/abs/2611.00609
AB  - Given a quantum adversary that queries a random oracle, how do we characterize the information that they "know"? The Compressed Oracle method of Zhandry (CRYPTO 2019) is one method that records the queries that the adversary makes; this recording serves as a representation of the information that is learned. However, a significant limitation of the Compressed Oracle method is that it may continue to store information that the adversary has "forgotten." This issue is especially pertinent in the space-bounded setting, where the adversary may uncompute information to free up space, while the information may still reside in the compressed oracle. In this work, we present a simple and interpretable framework called "Compressed Oracle Duality," which extends the Compressed Oracle method for space-bounded algorithms. By applying an isometry to the memory of a quantum adversary, we obtain a pair of compressed oracles with identical marginal distributions and classical correlations which correspond to the knowledge the adversary retains. In fact, we show that the outcome of measuring the new compressed oracle database corresponds exactly to applying the pretty-good measurement on the adversary's memory. As an application of our framework for collision search, we give a simplified proof of the recent T^2S = Ω(Nlog N) quantum time-space tradeoff for label-symmetric algorithms due to Magniez-Zur (arXiv:2609.10808); we also prove a stronger classical tradeoff of TS=Ω(Nlog N) assuming label symmetry. The proofs under our framework do not require representation theory and instead bound the mutual information between the compressed oracle pairs. This highlights both how the label symmetry assumption bypasses known proof barriers as well as the challenges that remain in achieving unconditional quantum time-space tradeoffs.
ER  -