Capturing one-way functions via np-hardness of meta-complexity
S Hirahara - Proceedings of the 55th Annual ACM Symposium on …, 2023 - dl.acm.org
A one-way function is a function that is easy to compute but hard to invert* on average*. We
establish the first characterization of a one-way function by* worst-case* hardness …
establish the first characterization of a one-way function by* worst-case* hardness …
Robustness of average-case meta-complexity via pseudorandomness
R Ilango, H Ren, R Santhanam - Proceedings of the 54th Annual ACM …, 2022 - dl.acm.org
We show broad equivalences in the average-case complexity of many different meta-
complexity problems, including Kolmogorov complexity, time-bounded Kolmogorov …
complexity problems, including Kolmogorov complexity, time-bounded Kolmogorov …
On one-way functions and the worst-case hardness of time-bounded kolmogorov complexity
Whether one-way functions (OWF) exist is arguably the most important problem in
Cryptography, and beyond. While lots of candidate constructions of one-way functions are …
Cryptography, and beyond. While lots of candidate constructions of one-way functions are …
Average-case hardness of NP from exponential worst-case hardness assumptions
S Hirahara - Proceedings of the 53rd Annual ACM SIGACT …, 2021 - dl.acm.org
A long-standing and central open question in the theory of average-case complexity is to
base average-case hardness of NP on worst-case hardness of NP. A frontier question along …
base average-case hardness of NP on worst-case hardness of NP. A frontier question along …
Learning in Pessiland via Inductive Inference
S Hirahara, M Nanashima - 2023 IEEE 64th Annual Symposium …, 2023 - ieeexplore.ieee.org
Pessiland is one of Impagliazzo's five possible worlds in which NP is hard on average, yet
no one-way function exists. This world is considered the most pessimistic because it offers …
no one-way function exists. This world is considered the most pessimistic because it offers …
Probabilistic Kolmogorov complexity with applications to average-case complexity
H Goldberg, V Kabanets, Z Lu… - … Conference (CCC 2022 …, 2022 - wrap.warwick.ac.uk
Understanding the relationship between the worst-case and average-case complexities of
NP and of other subclasses of PH is a long-standing problem in complexity theory. Over the …
NP and of other subclasses of PH is a long-standing problem in complexity theory. Over the …
A duality between one-way functions and average-case symmetry of information
S Hirahara, R Ilango, Z Lu, M Nanashima… - Proceedings of the 55th …, 2023 - dl.acm.org
Symmetry of Information (SoI) is a fundamental property of Kolmogorov complexity that
relates the complexity of a pair of strings and their conditional complexities. Understanding if …
relates the complexity of a pair of strings and their conditional complexities. Understanding if …
Optimal coding theorems in time-bounded kolmogorov complexity
Z Lu, IC Oliveira, M Zimand - arXiv preprint arXiv:2204.08312, 2022 - arxiv.org
The classical coding theorem in Kolmogorov complexity states that if an $ n $-bit string $ x $
is sampled with probability $\delta $ by an algorithm with prefix-free domain then K …
is sampled with probability $\delta $ by an algorithm with prefix-free domain then K …
On worst-case learning in relativized heuristica
S Hirahara, M Nanashima - 2021 IEEE 62nd Annual …, 2022 - ieeexplore.ieee.org
A PAC learning model involves two worst-case requirements: a learner must learn all
functions in a class on all example distributions. However, basing the hardness of learning …
functions in a class on all example distributions. However, basing the hardness of learning …
[PDF][PDF] Symmetry of information from meta-complexity
S Hirahara - 37th Computational Complexity Conference (CCC …, 2022 - drops.dagstuhl.de
Symmetry of information for time-bounded Kolmogorov complexity is a hypothetical
inequality that relates time-bounded Kolmogorov complexity and its conditional analogue. In …
inequality that relates time-bounded Kolmogorov complexity and its conditional analogue. In …