List and certificate complexities in replicable learning

P Dixon, A Pavan, J Vander Woude… - Advances in …, 2024 - proceedings.neurips.cc
We investigate replicable learning algorithms. Informally a learning algorithm is replicable if
the algorithm outputs the same canonical hypothesis over multiple runs with high probability …

Polynomial-time pseudodeterministic construction of primes

L Chen, Z Lu, IC Oliveira, H Ren… - 2023 IEEE 64th …, 2023 - ieeexplore.ieee.org
A randomized algorithm for a search problem is pseudodeterministic if it produces a fixed
canonical solution to the search problem with high probability. In their seminal work on the …

Pseudodeterministic algorithms and the structure of probabilistic time

Z Lu, IC Oliveira, R Santhanam - Proceedings of the 53rd Annual ACM …, 2021 - dl.acm.org
We connect the study of pseudodeterministic algorithms to two major open problems about
the structural complexity of BPTIME: proving hierarchy theorems and showing the existence …

Relations and equivalences between circuit lower bounds and Karp-Lipton theorems

L Chen, DM McKay, CD Murray… - … Conference (CCC 2019 …, 2019 - drops.dagstuhl.de
A frontier open problem in circuit complexity is to prove P^{NP} is not in SIZE [n^ k] for all k;
this is a necessary intermediate step towards NP is not in P_ {/poly}. Previously, for several …

Tight space lower bound for pseudo-deterministic approximate counting

O Grossman, M Gupta, M Sellke - 2023 IEEE 64th Annual …, 2023 - ieeexplore.ieee.org
We investigate one of the most basic problems in streaming algorithms: approximating the
number of elements in the stream. Famously, Mor78 gave a randomized algorithm achieving …

Lower bounds for pseudo-deterministic counting in a stream

V Braverman, R Krauthgamer, A Krishnan… - arXiv preprint arXiv …, 2023 - arxiv.org
Many streaming algorithms provide only a high-probability relative approximation. These
two relaxations, of allowing approximation and randomization, seem necessary--for many …

Pseudo-deterministic streaming

S Goldwasser, O Grossman, S Mohanty… - arXiv preprint arXiv …, 2019 - arxiv.org
A pseudo-deterministic algorithm is a (randomized) algorithm which, when run multiple
times on the same input, with high probability outputs the same result on all executions …

Pseudodeterminism: promises and lowerbounds

P Dixon, A Pavan, JV Woude… - Proceedings of the 54th …, 2022 - dl.acm.org
A probabilistic algorithm A is pseudodeterministic if, on every input, there exists a canonical
value that is output with high probability. If the algorithm outputs one of k canonical values …

LEARN-uniform circuit lower bounds and provability in bounded arithmetic

M Carmosino, V Kabanets… - 2021 IEEE 62nd …, 2022 - ieeexplore.ieee.org
We investigate randomized LEARN-uniformity, which captures the power of randomness
and equivalence queries (EQ) in the construction of Boolean circuits for an explicit problem …

Complete problems for multi-pseudodeterministic computations

P Dixon, A Pavan, NV Vinodchandran - Innovations in Theoretical …, 2021 - par.nsf.gov
We exhibit several computational problems that are {\em complete} for multi-
pseudodeterministic computations in the following sense:(1) these problems admit $2 …