
Critique of Boyu Sima's Proof that P≠ NP
We review and critique Boyu Sima's paper, "A solution of the P versus NP...
read it

Nonexistence results for vectorial bent functions with Dillon exponent
We prove new nonexistence results for vectorial monomial Dillon type be...
read it

A Critique of KeumBae Cho's Proof that P⊊NP
In this paper we critique KeumBae Cho's proof that P⊊NP. This proof rel...
read it

A RoundCollapse Theorem for ComputationallySound Protocols; or, TFNP is Hard (on Average) in Pessiland
Consider the following two fundamental open problems in complexity theor...
read it

New relations and separations of conjectures about incompleteness in the finite domain
Our main results are in the following three sections: 1. We prove new ...
read it

A SauerShelahPerles Lemma for Sumsets
We show that any family of subsets A⊆ 2^[n] satisfies A≤ O(n^d/2), wher...
read it

Proving P!=NP in firstorder PA
We show that it is provable in PA that there is an arithmetically defina...
read it
On ArroyoFigueroa's Proof that P≠NP
We critique Javier ArroyoFigueroa's paper titled “The existence of the Tau oneway functions class as a proof that P≠NP,” which claims to prove P≠NP by showing the existence of a class of oneway functions. We summarize our best interpretation of ArroyoFigueroa's argument, and show why it fails to prove the existence of oneway functions. Hence, we show that ArroyoFigueroa fails to prove P≠NP.
READ FULL TEXT
Comments
There are no comments yet.