On the Two-sided Permutation Inversion Problem

06/23/2023
by   Gorjan Alagic, et al.
0

In the permutation inversion problem, the task is to find the preimage of some challenge value, given oracle access to the permutation. This is a fundamental problem in query complexity, and appears in many contexts, particularly cryptography. In this work, we examine the setting in which the oracle allows for quantum queries to both the forward and the inverse direction of the permutation – except that the challenge value cannot be submitted to the latter. Within that setting, we consider two options for the inversion algorithm: whether it can get quantum advice about the permutation, and whether it must produce the entire preimage (search) or only the first bit (decision). We prove several theorems connecting the hardness of the resulting variations of the inversion problem, and establish a number of lower bounds. Our results indicate that, perhaps surprisingly, the inversion problem does not become significantly easier when the adversary is granted oracle access to the inverse, provided it cannot query the challenge itself.

READ FULL TEXT
research
03/16/2021

Tight Bounds for Inverting Permutations via Compressed Oracle Arguments

In his seminal work on recording quantum queries [Crypto 2019], Zhandry ...
research
12/22/2018

Quantum query complexity of symmetric oracle problems

We study the query complexity of quantum learning problems in which the ...
research
11/04/2021

Quantum search-to-decision reductions and the state synthesis problem

It is a useful fact in classical computer science that many search probl...
research
06/10/2020

Tight Quantum Time-Space Tradeoffs for Function Inversion

In function inversion, we are given a function f: [N] ↦ [N], and want to...
research
12/20/2018

The Query Complexity of a Permutation-Based Variant of Mastermind

We study the query complexity of a permutation-based variant of the gues...
research
01/07/2019

An in-place, subquadratic algorithm for permutation inversion

We assume the permutation π is given by an n-element array in which the ...
research
07/21/2023

A Generalized Quantum Branching Program

Classical branching programs are studied to understand the space complex...

Please sign up or login with your details

Forgot password? Click here to reset