FRINK Linked Data Fragments server

Matches in SemOpenAlex for { <https://semopenalex.org/work/W2988943902> ?p ?o ?g. }

• W2988943902 abstract "We introduce the binary value principle which is a simple subset-sum instance expressing that a natural number written in binary cannot be negative, relating it to central problems in proof and algebraic complexity. We prove conditional superpolynomial lower bounds on the Ideal Proof System (IPS) refutation size of this instance, based on a well-known hypothesis by Shub and Smale about the hardness of computing factorials, where IPS is the strong algebraic proof system introduced by Grochow and Pitassi (2018). Conversely, we show that short IPS refutations of this instance bridge the gap between sufficiently strong algebraic and semi-algebraic proof systems. Our results extend to full-fledged IPS the paradigm introduced in Forbes et al. (2016), whereby lower bounds against subsystems of IPS were obtained using restricted algebraic circuit lower bounds, and demonstrate that the binary value principle captures the advantage of semi-algebraic over algebraic reasoning, for sufficiently strong systems. Specifically, we show the following: (abstract continues in document.)" @default.
• W2988943902 created "2019-11-22" @default.
• W2988943902 creator A5035077817 @default.
• W2988943902 creator A5058530409 @default.
• W2988943902 creator A5060900447 @default.
• W2988943902 creator A5066962007 @default.
• W2988943902 date "2019-11-15" @default.
• W2988943902 modified "2023-09-27" @default.
• W2988943902 title "Semi-Algebraic Proofs, IPS Lower Bounds and the $tau$-Conjecture: Can a Natural Number be Negative?" @default.
• W2988943902 cites W1516468647 @default.
• W2988943902 cites W1542260560 @default.
• W2988943902 cites W1543891730 @default.
• W2988943902 cites W1550331971 @default.
• W2988943902 cites W1680398520 @default.
• W2988943902 cites W1890806713 @default.
• W2988943902 cites W1968584500 @default.
• W2988943902 cites W1968655942 @default.
• W2988943902 cites W1988083342 @default.
• W2988943902 cites W1992641578 @default.
• W2988943902 cites W2006912660 @default.
• W2988943902 cites W2007080245 @default.
• W2988943902 cites W2012805418 @default.
• W2988943902 cites W201320490 @default.
• W2988943902 cites W2014195574 @default.
• W2988943902 cites W2021972008 @default.
• W2988943902 cites W2026944800 @default.
• W2988943902 cites W2028932986 @default.
• W2988943902 cites W2044413922 @default.
• W2988943902 cites W2045652876 @default.
• W2988943902 cites W2056382067 @default.
• W2988943902 cites W2071846104 @default.
• W2988943902 cites W2078561631 @default.
• W2988943902 cites W2082560626 @default.
• W2988943902 cites W2085352155 @default.
• W2988943902 cites W2090449431 @default.
• W2988943902 cites W2091628344 @default.
• W2988943902 cites W2093396771 @default.
• W2988943902 cites W2106264302 @default.
• W2988943902 cites W2110180651 @default.
• W2988943902 cites W2132489129 @default.
• W2988943902 cites W2153575169 @default.
• W2988943902 cites W2170831059 @default.
• W2988943902 cites W2210840110 @default.
• W2988943902 cites W2323554188 @default.
• W2988943902 cites W2492280620 @default.
• W2988943902 cites W2791949701 @default.
• W2988943902 cites W2897781990 @default.
• W2988943902 cites W2903251947 @default.
• W2988943902 cites W2914732100 @default.
• W2988943902 cites W2962731772 @default.
• W2988943902 cites W2963930882 @default.
• W2988943902 cites W2996640527 @default.
• W2988943902 cites W3003917753 @default.
• W2988943902 cites W3089654546 @default.
• W2988943902 cites W3105062377 @default.
• W2988943902 cites W653291882 @default.
• W2988943902 hasPublicationYear "2019" @default.
• W2988943902 type Work @default.
• W2988943902 sameAs 2988943902 @default.
• W2988943902 citedByCount "0" @default.
• W2988943902 crossrefType "posted-content" @default.
• W2988943902 hasAuthorship W2988943902A5035077817 @default.
• W2988943902 hasAuthorship W2988943902A5058530409 @default.
• W2988943902 hasAuthorship W2988943902A5060900447 @default.
• W2988943902 hasAuthorship W2988943902A5066962007 @default.
• W2988943902 hasConcept C105605280 @default.
• W2988943902 hasConcept C105795698 @default.
• W2988943902 hasConcept C108710211 @default.
• W2988943902 hasConcept C111472728 @default.
• W2988943902 hasConcept C114614502 @default.
• W2988943902 hasConcept C118615104 @default.
• W2988943902 hasConcept C134306372 @default.
• W2988943902 hasConcept C138885662 @default.
• W2988943902 hasConcept C184264201 @default.
• W2988943902 hasConcept C18912844 @default.
• W2988943902 hasConcept C2524010 @default.
• W2988943902 hasConcept C2731732 @default.
• W2988943902 hasConcept C2776291640 @default.
• W2988943902 hasConcept C2780586882 @default.
• W2988943902 hasConcept C2780990831 @default.
• W2988943902 hasConcept C33923547 @default.
• W2988943902 hasConcept C48372109 @default.
• W2988943902 hasConcept C9376300 @default.
• W2988943902 hasConcept C94375191 @default.
• W2988943902 hasConceptScore W2988943902C105605280 @default.
• W2988943902 hasConceptScore W2988943902C105795698 @default.
• W2988943902 hasConceptScore W2988943902C108710211 @default.
• W2988943902 hasConceptScore W2988943902C111472728 @default.
• W2988943902 hasConceptScore W2988943902C114614502 @default.
• W2988943902 hasConceptScore W2988943902C118615104 @default.
• W2988943902 hasConceptScore W2988943902C134306372 @default.
• W2988943902 hasConceptScore W2988943902C138885662 @default.
• W2988943902 hasConceptScore W2988943902C184264201 @default.
• W2988943902 hasConceptScore W2988943902C18912844 @default.
• W2988943902 hasConceptScore W2988943902C2524010 @default.
• W2988943902 hasConceptScore W2988943902C2731732 @default.
• W2988943902 hasConceptScore W2988943902C2776291640 @default.
• W2988943902 hasConceptScore W2988943902C2780586882 @default.
• W2988943902 hasConceptScore W2988943902C2780990831 @default.
• W2988943902 hasConceptScore W2988943902C33923547 @default.

• next