Generalized Lazarsfeld-Mukai bundles and a conjecture of Donagi and Morrison

Let S be a K3 surface and assume for simplicity that it does not contain any (-2)-curve. Using coherent systems, we express every non-simple Lazarsfeld-Mukai bundle on S as an extension of two sheaves of some special type, that we refer to as generalized Lazarsfeld-Mukai bundles. This has interesting consequences concerning the Brill-Noether theory of curves C lying on S. From now on, let g denote the genus of C and A be a complete linear series of type g^r_d on C such that d<= g-1 and the corresponding Brill-Noether number is negative. First, we focus on the cases where A computes the Clifford index; if r>1 and with only some completely classified exceptions, we show that A coincides with the restriction to C of a line bundle on S. This is a refinement of Green and Lazarsfeld's result on the constancy of the Clifford index of curves moving in the same linear system. Then, we study a conjecture of Donagi and Morrison predicting that, under no hypothesis on its Clifford index, A is contained in a g^s_e which is cut out from a line bundle on S and satisfies e<= g-1. We provide counterexamples to the last inequality already for r=2. A slight modification of the conjecture, which holds for r=1,2, is proved under some hypotheses on the pair (C,A) and its deformations. We show that the result is optimal (in the sense that our hypotheses cannot be avoided) by exhibiting, in the Appendix, some counterexamples obtained jointly with Andreas Leopold Knutsen.Comment: 28 pages, final version, to appear in Adv. Math. with an Appendix joint with Andreas Leopold Knutse

Improved Soundness for QMA with Multiple Provers

We present three contributions to the understanding of QMA with multiple provers: 1) We give a tight soundness analysis of the protocol of [Blier and Tapp, ICQNM '09], yielding a soundness gap Omega(1/N^2). Our improvement is achieved without the use of an instance with a constant soundness gap (i.e., without using a PCP). 2) We give a tight soundness analysis of the protocol of [Chen and Drucker, ArXiV '10], thereby improving their result from a monolithic protocol where Theta(sqrt(N)) provers are needed in order to have any soundness gap, to a protocol with a smooth trade-off between the number of provers k and a soundness gap Omega(k^2/N), as long as k>=Omega(log N). (And, when k=Theta(sqrt(N)), we recover the original parameters of Chen and Drucker.) 3) We make progress towards an open question of [Aaronson et al., ToC '09] about what kinds of NP-complete problems are amenable to sublinear multiple-prover QMA protocols, by observing that a large class of such examples can easily be derived from results already in the PCP literature - namely, at least the languages recognized by a non-deterministic RAMs in quasilinear time.Comment: 24 pages; comments welcom