Enregistré dans:
Détails bibliographiques
Auteurs principaux: Akshima, Besselman, Tyler, Chung, Kai-Min, Guo, Siyao, Yang, Tzu-Yi
Format: Preprint
Publié: 2025
Sujets:
Accès en ligne:https://arxiv.org/abs/2510.12112
Tags: Ajouter un tag
Pas de tags, Soyez le premier à ajouter un tag!
_version_ 1866911208971436032
author Akshima
Besselman, Tyler
Chung, Kai-Min
Guo, Siyao
Yang, Tzu-Yi
author_facet Akshima
Besselman, Tyler
Chung, Kai-Min
Guo, Siyao
Yang, Tzu-Yi
contents In permutation inversion, we are given a permutation $π: [N] \rightarrow [N]$, and want to prepare some advice of size $S$, such that we can efficiently invert any image in time $T$. This is a fundamental cryptographic problem with profound connections to communication complexity and circuit lower bounds. In the classical setting, a tight $ST = \tildeΘ(N)$ bound has been established since the seminal work of Hellman (1980) and Yao (1990). In the quantum setting, a lower bound of $ST^2 = \tildeΩ(N)$ is proved by Nayebi, Aaronson, Belovs, and Trevisan (2015) against classical advice, and by Hhan, Xagawa and Yamakawa (2019) against quantum advice. It left open an intriguing possibility that Grover's search can be sped up to time $\tilde{O}(\sqrt{N / S})$. In this work, we prove an $ST + T^2 = Ω(N)$ lower bound for permutation inversion with even quantum advice. This bound matches the best known attacks and shows that Grover's search and the classical Hellman's algorithm cannot be further sped up. Our proof combines recent techniques by Liu (2023) and by Rosmanis (2022). Specifically, we first reduce the permutation inversion problem against quantum advice to a variant by Liu's technique, then we analyze this variant via representation theory inspired by Rosmanis (2022).
format Preprint
id arxiv_https___arxiv_org_abs_2510_12112
institution arXiv
publishDate 2025
record_format arxiv
spellingShingle Tight Quantum Time-Space Tradeoffs for Permutation Inversion
Akshima
Besselman, Tyler
Chung, Kai-Min
Guo, Siyao
Yang, Tzu-Yi
Computational Complexity
Information Theory
In permutation inversion, we are given a permutation $π: [N] \rightarrow [N]$, and want to prepare some advice of size $S$, such that we can efficiently invert any image in time $T$. This is a fundamental cryptographic problem with profound connections to communication complexity and circuit lower bounds. In the classical setting, a tight $ST = \tildeΘ(N)$ bound has been established since the seminal work of Hellman (1980) and Yao (1990). In the quantum setting, a lower bound of $ST^2 = \tildeΩ(N)$ is proved by Nayebi, Aaronson, Belovs, and Trevisan (2015) against classical advice, and by Hhan, Xagawa and Yamakawa (2019) against quantum advice. It left open an intriguing possibility that Grover's search can be sped up to time $\tilde{O}(\sqrt{N / S})$. In this work, we prove an $ST + T^2 = Ω(N)$ lower bound for permutation inversion with even quantum advice. This bound matches the best known attacks and shows that Grover's search and the classical Hellman's algorithm cannot be further sped up. Our proof combines recent techniques by Liu (2023) and by Rosmanis (2022). Specifically, we first reduce the permutation inversion problem against quantum advice to a variant by Liu's technique, then we analyze this variant via representation theory inspired by Rosmanis (2022).
title Tight Quantum Time-Space Tradeoffs for Permutation Inversion
topic Computational Complexity
Information Theory
url https://arxiv.org/abs/2510.12112