Matches in SemOpenAlex for { <https://semopenalex.org/work/W2999348373> ?p ?o ?g. }
- W2999348373 abstract "We significantly strengthen and generalize the theorem lifting Nullstellensatz degree to monotone span program size by Pitassi and Robere (2018) so that it works for any gadget with high enough rank, in particular, for useful gadgets such as equality and greater-than. We apply our generalized theorem to solve two open problems: * We present the first result that demonstrates a separation in proof power for cutting planes with unbounded versus polynomially bounded coefficients. Specifically, we exhibit CNF formulas that can be refuted in quadratic length and constant line space in cutting planes with unbounded coefficients, but for which there are no refutations in subexponential length and subpolynomial line space if coefficients are restricted to be of polynomial magnitude. * We give the first explicit separation between monotone Boolean formulas and monotone real formulas. Specifically, we give an explicit family of functions that can be computed with monotone real formulas of nearly linear size but require monotone Boolean formulas of exponential size. Previously only a non-explicit separation was known. An important technical ingredient, which may be of independent interest, is that we show that the Nullstellensatz degree of refuting the pebbling formula over a DAG G over any field coincides exactly with the reversible pebbling price of G. In particular, this implies that the standard decision tree complexity and the parity decision tree complexity of the corresponding falsified clause search problem are equal." @default.
- W2999348373 created "2020-01-23" @default.
- W2999348373 creator A5003318200 @default.
- W2999348373 creator A5003633660 @default.
- W2999348373 creator A5014450397 @default.
- W2999348373 creator A5021914150 @default.
- W2999348373 creator A5057666042 @default.
- W2999348373 creator A5071686980 @default.
- W2999348373 date "2020-01-07" @default.
- W2999348373 modified "2023-09-23" @default.
- W2999348373 title "Lifting with Simple Gadgets and Applications to Circuit and Proof Complexity" @default.
- W2999348373 cites W1550421702 @default.
- W2999348373 cites W1609370892 @default.
- W2999348373 cites W1944379106 @default.
- W2999348373 cites W1968655942 @default.
- W2999348373 cites W1974070050 @default.
- W2999348373 cites W1990360244 @default.
- W2999348373 cites W1990932978 @default.
- W2999348373 cites W1992641578 @default.
- W2999348373 cites W1995365759 @default.
- W2999348373 cites W2003104918 @default.
- W2999348373 cites W2004004688 @default.
- W2999348373 cites W2012476164 @default.
- W2999348373 cites W2021972008 @default.
- W2999348373 cites W2031923588 @default.
- W2999348373 cites W2040889609 @default.
- W2999348373 cites W2044095368 @default.
- W2999348373 cites W2044632231 @default.
- W2999348373 cites W2047237020 @default.
- W2999348373 cites W2049016755 @default.
- W2999348373 cites W2061073612 @default.
- W2999348373 cites W2061814869 @default.
- W2999348373 cites W2068277524 @default.
- W2999348373 cites W2071159099 @default.
- W2999348373 cites W2071347463 @default.
- W2999348373 cites W2077054189 @default.
- W2999348373 cites W2077740213 @default.
- W2999348373 cites W2084384424 @default.
- W2999348373 cites W2097886040 @default.
- W2999348373 cites W2122782108 @default.
- W2999348373 cites W2141585995 @default.
- W2999348373 cites W2142326240 @default.
- W2999348373 cites W2145243417 @default.
- W2999348373 cites W2158029166 @default.
- W2999348373 cites W2188711438 @default.
- W2999348373 cites W2217204207 @default.
- W2999348373 cites W2220094226 @default.
- W2999348373 cites W2340787257 @default.
- W2999348373 cites W2529974411 @default.
- W2999348373 cites W2563018125 @default.
- W2999348373 cites W2565821653 @default.
- W2999348373 cites W2583114560 @default.
- W2999348373 cites W2588984325 @default.
- W2999348373 cites W2624730843 @default.
- W2999348373 cites W2739806313 @default.
- W2999348373 cites W2741968539 @default.
- W2999348373 cites W2768379587 @default.
- W2999348373 cites W2788289283 @default.
- W2999348373 cites W2793039178 @default.
- W2999348373 cites W2809332496 @default.
- W2999348373 cites W2809402609 @default.
- W2999348373 cites W2809677183 @default.
- W2999348373 cites W2889405140 @default.
- W2999348373 cites W2897781990 @default.
- W2999348373 cites W2934881566 @default.
- W2999348373 cites W2950340987 @default.
- W2999348373 cites W2963494352 @default.
- W2999348373 cites W2963843567 @default.
- W2999348373 cites W3022335368 @default.
- W2999348373 cites W42251193 @default.
- W2999348373 cites W49401050 @default.
- W2999348373 hasPublicationYear "2020" @default.
- W2999348373 type Work @default.
- W2999348373 sameAs 2999348373 @default.
- W2999348373 citedByCount "0" @default.
- W2999348373 crossrefType "posted-content" @default.
- W2999348373 hasAuthorship W2999348373A5003318200 @default.
- W2999348373 hasAuthorship W2999348373A5003633660 @default.
- W2999348373 hasAuthorship W2999348373A5014450397 @default.
- W2999348373 hasAuthorship W2999348373A5021914150 @default.
- W2999348373 hasAuthorship W2999348373A5057666042 @default.
- W2999348373 hasAuthorship W2999348373A5071686980 @default.
- W2999348373 hasConcept C111472728 @default.
- W2999348373 hasConcept C114614502 @default.
- W2999348373 hasConcept C118615104 @default.
- W2999348373 hasConcept C121332964 @default.
- W2999348373 hasConcept C129844170 @default.
- W2999348373 hasConcept C134306372 @default.
- W2999348373 hasConcept C138885662 @default.
- W2999348373 hasConcept C187455244 @default.
- W2999348373 hasConcept C24890656 @default.
- W2999348373 hasConcept C2524010 @default.
- W2999348373 hasConcept C2775997480 @default.
- W2999348373 hasConcept C2780586882 @default.
- W2999348373 hasConcept C2834757 @default.
- W2999348373 hasConcept C33923547 @default.
- W2999348373 hasConcept C34388435 @default.
- W2999348373 hasConcept C90119067 @default.
- W2999348373 hasConceptScore W2999348373C111472728 @default.
- W2999348373 hasConceptScore W2999348373C114614502 @default.