{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,8]],"date-time":"2025-10-08T22:47:48Z","timestamp":1759963668420,"version":"3.40.5"},"reference-count":45,"publisher":"Society for Industrial & Applied Mathematics (SIAM)","issue":"3","funder":[{"DOI":"10.13039\/501100000781","name":"European Research Council","doi-asserted-by":"publisher","award":["802020-ERC-HARMONIC"],"award-info":[{"award-number":["802020-ERC-HARMONIC"]}],"id":[{"id":"10.13039\/501100000781","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100000781","name":"European Research Council","doi-asserted-by":"publisher","award":["101002742"],"award-info":[{"award-number":["101002742"]}],"id":[{"id":"10.13039\/501100000781","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100006769","name":"Russian Science Foundation","doi-asserted-by":"publisher","award":["16-11-10123"],"award-info":[{"award-number":["16-11-10123"]}],"id":[{"id":"10.13039\/501100006769","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["SIAM J. Comput."],"published-print":{"date-parts":[[2024,6,30]]},"DOI":"10.1137\/20m1374523","type":"journal-article","created":{"date-parts":[[2024,6,10]],"date-time":"2024-06-10T14:32:03Z","timestamp":1718029923000},"page":"648-700","source":"Crossref","is-referenced-by-count":2,"title":["Semialgebraic Proofs, IPS Lower Bounds, and the \\(\\boldsymbol{\\tau}\\)-Conjecture: Can a Natural Number be Negative?"],"prefix":"10.1137","volume":"53","author":[{"given":"Yaroslav","family":"Alekseev","sequence":"first","affiliation":[{"name":"Department of Computer Science, Technion\u2013Israel Institute of Technology, Haifa, Israel, and Steklov Institute of Mathematics at St.\u00a0Petersburg, St.\u00a0Petersburg, Russia."}]},{"given":"Dima","family":"Grigoriev","sequence":"additional","affiliation":[{"name":"CNRS, Mathematiques, Universite de Lille, Villeneuve d\u2019Ascq, 59655, France."}]},{"given":"Edward A.","family":"Hirsch","sequence":"additional","affiliation":[{"name":"Department of Computer Science, Ariel University, Ariel, Israel."}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-5558-9911","authenticated-orcid":true,"given":"Iddo","family":"Tzameret","sequence":"additional","affiliation":[{"name":"Department of Computing, Imperial College London, London, UK."}]}],"member":"351","published-online":{"date-parts":[[2024,6,5]]},"reference":[{"key":"ref1","series-title":"LIPIcs Leibniz Int. Proc. Inform. 200","first-page":"21:1","volume-title":"36th Computational Complexity Conference","author":"Alekseev Y.","year":"2021"},{"key":"ref3","first-page":"124","volume":"8","author":"Atserias A.","year":"2018","journal-title":"Dagstuhl Reports"},{"doi-asserted-by":"publisher","key":"ref5","DOI":"10.1112\/plms\/s3-73.1.1"},{"doi-asserted-by":"publisher","key":"ref6","DOI":"10.1137\/060654645"},{"key":"ref8","series-title":"MPS-SIAM Ser. Optim. 13","volume-title":"Semidefinite Optimization and Convex Algebraic Geometry","author":"Blekherman G.","year":"2013"},{"doi-asserted-by":"publisher","key":"ref9","DOI":"10.1007\/978-1-4612-0701-6"},{"doi-asserted-by":"publisher","key":"ref10","DOI":"10.1090\/S0273-0979-1989-15750-9"},{"doi-asserted-by":"publisher","key":"ref11","DOI":"10.1007\/s00037-009-0260-x"},{"doi-asserted-by":"publisher","key":"ref12","DOI":"10.2307\/2273826"},{"doi-asserted-by":"publisher","key":"ref13","DOI":"10.1007\/BF01294258"},{"doi-asserted-by":"publisher","key":"ref14","DOI":"10.1016\/j.tcs.2004.06.020"},{"doi-asserted-by":"publisher","key":"ref16","DOI":"10.2307\/2273702"},{"doi-asserted-by":"publisher","key":"ref17","DOI":"10.1090\/S0002-9939-96-03173-5"},{"doi-asserted-by":"publisher","key":"ref18","DOI":"10.1561\/0400000086"},{"doi-asserted-by":"publisher","key":"ref19","DOI":"10.4086\/toc.2021.v017a010"},{"key":"ref20","series-title":"Lecture Notes in Comput. Sci. 533","first-page":"174","volume-title":"Computer Science Logic","author":"Goerdt A.","year":"1990"},{"doi-asserted-by":"publisher","key":"ref23","DOI":"10.1007\/s00037-001-8192-0"},{"doi-asserted-by":"publisher","key":"ref24","DOI":"10.1016\/S0304-3975(02)00446-2"},{"doi-asserted-by":"publisher","key":"ref25","DOI":"10.17323\/1609-4514-2002-2-4-647-679"},{"doi-asserted-by":"publisher","key":"ref26","DOI":"10.1016\/S0168-0072(01)00055-0"},{"doi-asserted-by":"publisher","key":"ref27","DOI":"10.1145\/3230742"},{"key":"ref28","volume-title":"Lie Groups: History, Frontiers and Applications","volume":"8","author":"Hilbert D.","year":"1978"},{"key":"ref29","first-page":"124","volume-title":"Proof Complexity (Dagstuhl Seminar 18051)","author":"Hirsch E.","year":"2018"},{"doi-asserted-by":"publisher","key":"ref32","DOI":"10.1007\/s000370050024"},{"key":"ref33","first-page":"10","volume":"340","author":"Itsykson D.","year":"2006","journal-title":"Zap. Nauchn. Semin. POMI"},{"doi-asserted-by":"publisher","key":"ref34","DOI":"10.1007\/BF02807438"},{"doi-asserted-by":"publisher","key":"ref35","DOI":"10.1137\/16M1107632"},{"doi-asserted-by":"publisher","key":"ref37","DOI":"10.1016\/0012-365X(92)00057-X"},{"doi-asserted-by":"publisher","key":"ref38","DOI":"10.1137\/0801013"},{"doi-asserted-by":"publisher","key":"ref39","DOI":"10.1002\/0471728519"},{"key":"ref40","series-title":"LIPIcs Leibniz Int. Proc. Inform. 67","first-page":"59:1","volume-title":"8th Innovations in Theoretical Computer Science Conference","author":"O\u2019Donnell R.","year":"2017"},{"doi-asserted-by":"publisher","key":"ref42","DOI":"10.1007\/s00037-020-00202-x"},{"doi-asserted-by":"publisher","key":"ref45","DOI":"10.1145\/2984450.2984455"},{"doi-asserted-by":"publisher","key":"ref46","DOI":"10.1017\/CBO9781107325944.010"},{"doi-asserted-by":"publisher","key":"ref47","DOI":"10.1512\/iumj.1993.42.42045"},{"key":"ref48","series-title":"LIPIcs Leibniz Int. Proc. Inform. 80","first-page":"80:1","volume-title":"44th International Colloquium on Automata, Languages, and Programming","author":"Raghavendra P.","year":"2017"},{"doi-asserted-by":"publisher","key":"ref49","DOI":"10.1007\/s000370050013"},{"doi-asserted-by":"publisher","key":"ref51","DOI":"10.1561\/0400000039"},{"doi-asserted-by":"publisher","key":"ref52","DOI":"10.1215\/S0012-7094-95-08105-8"},{"doi-asserted-by":"publisher","key":"ref53","DOI":"10.1007\/BF03025291"},{"doi-asserted-by":"publisher","key":"ref54","DOI":"10.1007\/BF01362149"},{"key":"ref55","first-page":"182","volume":"264","author":"Strassen V.","year":"1973","journal-title":"J. Reine Angew. Math."},{"doi-asserted-by":"publisher","key":"ref57","DOI":"10.1016\/0304-3975(79)90044-6"},{"doi-asserted-by":"publisher","key":"ref58","DOI":"10.1016\/0304-3975(80)90060-2"},{"key":"ref59","first-page":"365","volume":"30","author":"Valiant L. G.","year":"1982","journal-title":"Enseign. Math."}],"container-title":["SIAM Journal on Computing"],"original-title":[],"language":"en","deposited":{"date-parts":[[2024,6,28]],"date-time":"2024-06-28T17:06:56Z","timestamp":1719594416000},"score":1,"resource":{"primary":{"URL":"https:\/\/epubs.siam.org\/doi\/10.1137\/20M1374523"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024,6,5]]},"references-count":45,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2024,6,30]]}},"alternative-id":["10.1137\/20M1374523"],"URL":"https:\/\/doi.org\/10.1137\/20m1374523","relation":{},"ISSN":["0097-5397","1095-7111"],"issn-type":[{"type":"print","value":"0097-5397"},{"type":"electronic","value":"1095-7111"}],"subject":[],"published":{"date-parts":[[2024,6,5]]}}}