Total Search Problems in $\mathsf{ZPP}$

TL;DR

This paper introduces the class TFZPP, explores its properties, separates it from other complexity classes under certain assumptions, and develops a taxonomy of its problems, including the novel problem Nephew.

Contribution

It systematically studies TFZPP, establishes separations from TFNP subclasses, extends proof complexity connections to randomized settings, and proposes a taxonomy with a new problem, Nephew.

Findings

TFZPP contains important problems like Bertrand-Chebyshev and Lossy-Code.

Under certain assumptions, TFZPP is separated from TFNP classes.

Most black-box TFZPP problems reduce to Lossy-Code, except for some artificial cases.

Abstract

We initiate a systematic study of ${\sf TFZPP}$, the class of total ${\sf NP}$ search problems solvable by polynomial time randomized algorithms. ${\sf TFZPP}$ contains a variety of important search problems such as $\text{Bertrand-Chebyshev}$ (finding a prime between $N$ and $2N$), refuter problems for many circuit lower bounds, and $\text{Lossy-Code}$. The $\text{Lossy-Code}$ problem has found prominence due to its fundamental connections to derandomization, catalytic computing, and the metamathematics of complexity theory, among other areas. While ${\sf TFZPP}$ collapses to ${\sf FP}$ under standard derandomization assumptions in the white-box setting, we are able to separate ${\sf TFZPP}$ from the major ${\sf TFNP}$ subclasses in the black-box setting. In fact, we are able to separate it from every uniform ${\sf TFNP}$ class assuming that ${\sf NP}$ is not in quasi-polynomial time. To do so, we extend the connection between proof complexity and black-box ${\sf TFNP}$ to randomized proof systems and randomized reductions. Next, we turn to developing a taxonomy of ${\sf TFZPP}$ problems. We highlight a problem called $\text{Nephew}$, originating from an infinity axiom in set theory. We show that $\text{Nephew}$ is in $\mathsf{PWPP}\cap \mathsf{TFZPP}$ and conjecture that it is not reducible to $\text{Lossy-Code}$. Intriguingly, except for some artificial examples, most other black-box ${\sf TFZPP}$ problems that we are aware of reduce to $\text{Lossy-Code}$.