Abstract:SIAM Journal on Computing, Volume 53, Issue 2, Page 480-523, April 2024. We introduce a variant of Probabilistically Checkable Proofs (PCPs) that we refer to as rectangular PCPs, wherein proofs are thought of as square matrices, and the random coins used by the verifier can be partitioned into two disjoint sets, one determining the row of each query and the other determining the column. We construct PCPs that are efficient, short, smooth, and (almost) rectangular. As a key application, we show that proofs for hard languages in NTIME[math], when viewed as matrices, are rigid infinitely often. This strengthens and simplifies a recent result of Alman and Chen [FOCS, 2019] constructing explicit rigid matrices in FNP. Namely, we prove the following theorem: There is a constant [math] such that there is an FNP-machine that, for infinitely many [math], on input [math] outputs [math] matrices with entries in [math] that are [math]-far (in Hamming distance) from matrices of rank at most [math]. Our construction of rectangular PCPs starts with an analysis of how randomness yields queries in the Reed–Muller-based outer PCP of Ben-Sasson, Goldreich, Harsha, Sudan, and Vadhan [SIAM J. Comput., 36 (2006), pp. 889–974; CCC, 2005]. We then show how to preserve rectangularity under PCP composition and a smoothness-inducing transformation. This warrants refined and stronger notions of rectangularity, which we prove for the outer PCP and its transforms.

An Algorithmic Proof of Brégman–Minc Theorem

An upper bound for the permanent of (0,1)-matrices

Upper bounds on the permanent of multidimensional (0,1)-matrices

Degree-$M$ Bethe and Sinkhorn Permanent Based Bounds on the Permanent of a Non-negative Matrix

A simple proof of the Grunbaum conjecture

The Proof of Kazhdan-Mazur's Nonvanishing Hypothesis

A Hybrid Algorithm for Computing Permanents of Sparse Matrices

A Proof of a Conjecture of C.L. Siegel

Combinational Proof for a Theorem Concerning the Upper Banach Density

Approximating Permanent of Random Matrices with Vanishing Mean: Made Better and Simpler

Inductive proof of Borchardt's theorem

A one-line proof of a minimax theorem (for a notion of curvature on finite graphs)

A Tight Analysis of Bethe Approximation for Permanent

A Proof of Brouwer's Conjecture

Rigid Matrices from Rectangular PCPs

Random path method with pivoting for computing permanents of matrices

A Probabilistic Proof of the Perron-Frobenius Theorem

A simple proof of a theorem of Laptev and Weidl

A Perturbation Bound of the Drazin Inverse of a Matrix by Separation of Simple Invariant Subspaces

Three New Proofs of the Theorem rank f(M) + rank g(M) = rank (f,g)(M) + rank [f,g](M)