Monotone Projection Lower Bounds from Extended Formulation Lower Bounds

In this short note, we reduce lower bounds on monotone projections of polynomials to lower bounds on extended formulations of polytopes. Applying our reduction to the seminal extended formulation lower bounds of Fiorini, Massar, Pokutta, Tiwari, & de Wolf (STOC 2012; J. ACM, 2015) and Rothvoss (STOC 2014; J. ACM, 2017), we obtain the following interesting consequences. 1. The Hamiltonian Cycle polynomial is not a monotone subexponential-size projection of the permanent; this both rules out a natural attempt at a monotone lower bound on the Boolean permanent, and shows that the permanent is not complete for non-negative polynomials in VNP$_{{\mathbb R}}$ under monotone p-projections. 2. The cut polynomials and the perfect matching polynomial (or "unsigned Pfaffian") are not monotone p-projections of the permanent. The latter, over the Boolean and-or semi-ring, rules out monotone reductions in one of the natural approaches to reducing perfect matchings in general graphs to perfect matchings in bipartite graphs. As the permanent is universal for monotone formulas, these results also imply exponential lower bounds on the monotone formula size and monotone circuit size of these polynomials.Comment: Published in Theory of Computing, Volume 13 (2017), Article 18; Received: November 10, 2015, Revised: July 27, 2016, Published: December 22, 201

Generalized Supersymmetric Quantum Mechanics and Reflectionless Fermion Bags in 1+1 Dimensions

We study static fermion bags in the 1+1 dimensional Gross-Neveu and Nambu-Jona-Lasinio models. It has been known, from the work of Dashen, Hasslacher and Neveu (DHN), followed by Shei's work, in the 1970's, that the self-consistent static fermion bags in these models are reflectionless. The works of DHN and of Shei were based on inverse scattering theory. Several years ago, we offered an alternative argument to establish the reflectionless nature of these fermion bags, which was based on analysis of the spatial asymptotic behavior of the resolvent of the Dirac operator in the background of a static bag, subjected to the appropriate boundary conditions. We also calculated the masses of fermion bags based on the resolvent and the Gelfand-Dikii identity. Based on arguments taken from a certain generalized one dimensional supersymmetric quantum mechanics, which underlies the spectral theory of these Dirac operators, we now realize that our analysis of the asymptotic behavior of the resolvent was incomplete. We offer here a critique of our asymptotic argument.Comment: 33 pages, 2 figure