All of glauberdebona's Comments + Replies

Correcting myself: "doubly" just added above.

For the time-complexity of the verifier to grow only linearly with $O\left(\log 1/\epsilon \right)$, we need also to assume the complexity of the reduction $f_m$ is $O\left(|C{|}^{\gamma }\right)$ for a fixed $\gamma$, regardless of $m$, which I admit is quite optimistic. If the time-complexity of the reduction $f_m$ is doubly exponential in $m$, the (upper bound of the) time-complexity of the verifier will be exponential in $1/\epsilon$, even with the stronger version of Reduction-Regularity. 

By "unconditionally", do you mean without an additional assumption, such as Reduction-Regularity?

I actually have a result in the other direction (an older version of this post). That is, with a slightly stronger assumption, we could derive a better upper bound (on $1/\epsilon$) for the time-complexity of the verifier.  The stronger assumption is just a stronger version of Reduction-Regularity, requiring $Prob\left(f\right(C)\in \overline{V_0}|f(C)\in \overline{P})\ge \delta$ -- that is, $\overline{V_0}$ replaces $\overline{L}$ in the inequality. It could still lead to an exponential ... (read more)

Your comment seems to imply that the conjecture's "99%" is about circuits $C$ for which $P\left(C\right)$ is false. Otherwise, it would be impossible for a $V$ to miss 100% of random reversible circuits without missing the circuits $C$ for which $P\left(C\right)$ is true. In the conjecture, should "random reversible circuits $C$" be read as "random reversible circuits $C$ for which $P\left(C\right)$ is false"? It does not change much indeed, but I might have to correct my presentation of the conjecture here.

I think I have an idea to make that 99% closer to 1. But its development became too big for a comment here, so I made a post about it.

Thanks for the feedback! The summary here and the abstract in the draft paper have been updated; I hope it is clearer now.

Hi everyone,

I’m Glauber De Bona, a computer scientist and engineer. I left an assistant professor position to focus on independent research related to AGI and AI alignment (topics that led me to this forum). My current interests include self-location beliefs, particularly the Sleeping Beauty problem.

I’m also interested in philosophy, especially formal reasoning -- logic, Bayesianism, and decision theory. Outside of research, I’m an amateur chess player.