Abstract:Proving complexity lower bounds remains a challenging task: currently, we only know how to prove conditional uniform (algorithm) lower bounds and nonuniform (circuit) lower bounds in restricted circuit models. About a decade ago, Williams (STOC 2010) showed how to derive nonuniform lower bounds from uniform \emph{upper} bounds. Since then, a number of results of this kind have been proved. For example, Jahanjou et al. (ICALP 2015) and Carmosino et al. (ITCS 2016) proved that if NSETH fails, then $\text{E}^{\text{NP}}$ has circuit size $\omega(n)$. Just recently, it was shown how uniform \emph{lower} bounds can be used to derive nonuniform lower bounds: Belova et al. (SODA 2024) showed that if MAX-3-SAT cannot be solved in co-nondeterministic time $O(2^{(1 - \varepsilon)n})$, then there exists an explicit polynomial family of high arithmetic circuit size; Williams (FOCS 2024) showed that if NSETH is true, then Boolean Inner Product requires large $\text{ETHR} \circ \text{ETHR}$ circuits. In this paper, we continue developing this line of research and show that nondeterministic uniform lower bounds imply nonuniform lower bounds for various types of objects that are notoriously hard to analyze: circuits, matrix rigidity, and tensor rank. Specifically, we prove that if NSETH is true, then there exists a monotone Boolean function family in coNP of monotone circuit size $2^{\Omega(n / \log n)}$. Combining this with the result above, we get win-win circuit lower bounds: either $\text{E}^{\text{NP}}$ requires circuits of size $w(n)$ or coNP requires monotone circuits of size $2^{\Omega(n / \log n)}$. We also prove that MAX-3-SAT cannot be solved in co-nondeterministic time $O(2^{(1 - \varepsilon)n})$, then there exist small explicit families of high rigidity matrices and high rank tensors.

A New Lower Bound on the Second-Order Nonlinearity of a Class of Monomial Bent Functions.

A CLASS OF INEQUALITIES ABOUT BERNSTEIN POLYNOMIAL AND THEIR APPLICATIONS

Trace Monomial Boolean Functions with Large High-Order Nonlinearities

A New Proof of Some Polynomial Inequalities Related to Pseudo-Splines

Several New Infinite Families of Bent Functions Via Second Order Derivatives.

A new construction of perfect nonlinear functions using Galois rings

Some Results on Fast Algebraic Attacks and Higher-Order Non-Linearities.

A Construction of Bent Functions with Optimal Algebraic Degree and Large Symmetric Group

The Explicit Dual of Leander's Monomial Bent Function.

On the max min of the algebraic degree and the nonlinearity of a Boolean function on an affine subspace

Bounds in a popular multidimensional nonlinear Roth theorem

Quantitative bounds in the nonlinear Roth theorem

Asymptotic bounds on the numbers of certain bent functions

SAO 1-Resilient Functions With Lower Absolute Indicator in Even Variables

Some Results on Bent-Negabent Boolean Functions over Finite Fields

Complete Characterization of Generalized Bent and 2-Bent Boolean Functions.

An Open Problem on the Bentness of Mesnager's Functions

Constructing vectorial bent functions via second-order derivatives

Deriving Nonuniform Lower Bounds from Uniform Nondeterministic Lower Bounds

Balanced2p-variable Rotation Symmetric Boolean Functions with Optimal Algebraic Immunity, Good Nonlinearity, and Good Algebraic Degree

Nonexistence of generalized bent functions from ℤ_2^n to ℤ_m