{"entities":{"Q2312873":{"pageid":2323616,"ns":120,"title":"Item:Q2312873","lastrevid":57843042,"modified":"2026-04-02T18:41:51Z","type":"item","id":"Q2312873","labels":{"en":{"language":"en","value":"On degree bounds for the sparse Nullstellensatz"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7081762"}},"aliases":{},"claims":{"P31":[{"mainsnak":{"snaktype":"value","property":"P31","hash":"fd5912e4dab4b881a8eb0eb27e7893fef55176ad","datavalue":{"value":{"entity-type":"item","numeric-id":56887,"id":"Q56887"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2312873$A2BD3F45-E6C0-42F2-9CB7-151D585CBA6B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e2238c5b0be3d9064692b2059c53e7e8f03ee112","datavalue":{"value":{"text":"On degree bounds for the sparse Nullstellensatz","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2312873$C47EDF75-86E3-4F43-B424-41C83D077B0C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a6d3f4909c8d38d7d9f8b610e684cd28cea0956c","datavalue":{"value":"1430.14111","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2312873$DFBB0C58-CA91-441E-8430-C8A62CBDFE4D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"de393e3319df5a7eaa53386b45fe2e8d4cded226","datavalue":{"value":{"entity-type":"item","numeric-id":410702,"id":"Q410702"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2312873$8B51F6EB-3D26-42E1-9A74-4D5A2982D0D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"4fe1084ec857683a7ac32fede078ecbef17f5a0f","datavalue":{"value":{"entity-type":"item","numeric-id":250254,"id":"Q250254"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2312873$9B13EF78-8F21-473D-B68B-9D0F68463E98","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7384f5e7f23228cbddb797ad0ee1a037f50b935b","datavalue":{"value":{"entity-type":"item","numeric-id":250255,"id":"Q250255"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2312873$4D45437C-2CEB-4A52-A59C-DD27F2514F05","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"93541bb195a0809b1f249396bcebe99d047e6b6c","datavalue":{"value":{"entity-type":"item","numeric-id":161561,"id":"Q161561"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2312873$D7F62BF9-7A5F-4E94-8802-380C3AE1BBDB","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5ffdc9ffce048cac45801362823035df6483c760","datavalue":{"value":{"time":"+2019-07-18T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2312873$C1918538-F539-462C-8D5E-68836DC2CFD7","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"78c9548ded40f60d288d4f943d34a168ca8543aa","datavalue":{"value":"https://arxiv.org/abs/1812.05505","type":"string"},"datatype":"url"},"type":"statement","id":"Q2312873$9B8FE71D-2A31-4308-B4F9-1BF65AFD9B6C","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"89cb12a3df80da4591af34366821b8e13c7d7946","datavalue":{"value":"\\textit{D. Hilbert}'s Nullstellensatz [Math. Ann. 42, 313--373 (1893; JFM 25.0173.01)] provides algebraic certificates for the infeasibility of systems of polynomial equations over algebraically closed fields. The question of bounding the degree of such certificates has a long history and culminated in \\textit{J. Koll\u00e1r}'s work [J. Am. Math. Soc. 1, No. 4, 963--975 (1988; Zbl 0682.14001)] which did not leave much space for improvement if one wants to formulate general upper bounds on the degree in terms of the degrees of the polynomial equations. \\textit{N. Fitchas} and \\textit{A. Galligo} provided a more algebraic approach to the results of Kollar [Math. Nachr. 149, 231--253 (1990; Zbl 0729.14001)]. Another breakthrough was the work of \\textit{M. Sombra} [Adv. Appl. Math. 22, No. 2, 271--295 (1999; Zbl 0933.14001)] taking into account to a certain extent sparsity in both the system of polynomial equations and the certificate. Sombra's sparse Nullstellensatz has been improved considerably under the hypothesis that the given system of polynomial equation has no common roots at toric infinity by \\textit{J. F. Canny} and \\textit{I. Z. Emiris} [J. ACM 47, No. 3, 417--451 (2000; Zbl 1094.65508)], \\textit{J. Tuitman} [Int. Math. Res. Not. 2011, No. 7, 1560--1572 (2011; Zbl 1217.14046)] and \\textit{E. Wulcan} [Math. Ann. 350, No. 3, 661--682 (2011; Zbl 1234.32001)].  The paper under review provides similar results for general systems without any hypothesis concerning toric infinity. Sparsity of the input system is again taken into account but the output certificate is only bounded in degree without any sparsity considerations. From results of \\textit{Z. Jelonek} [Invent. Math. 162, No. 1, 1--17 (2005; Zbl 1087.14003)], the authors obtain degree bounds depending on the volume of a convex polytope containing the supports of the given equations and the vertex set of the standard unitary simplex. Their bounds distinguish the different supports of the given polynomials. They also prove bounds for the Noether exponent of ideals in the same setting. In this mixed sparse setting, the bounds are considerably smaller than previously known bounds.","type":"string"},"datatype":"string"},"type":"statement","id":"Q2312873$6C2E1A7E-895F-44A4-8D1E-84D9110C62B2","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"88869985536b2086d3956a3a0dd4ae36e550eca6","datavalue":{"value":{"entity-type":"item","numeric-id":233373,"id":"Q233373"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2312873$98D191D9-8713-43FC-8D06-AE4ACC89949E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"65ef089ab6dd31e83c3611c992a3cfd8973b58bb","datavalue":{"value":"14Q20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2312873$5992514B-B079-45E3-BB45-CD66E82F69B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"3261dadc98deaaa969a534e2a2cb92fd4aa565f7","datavalue":{"value":"13P99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2312873$3E1AE0FF-283B-4522-B35F-F771684FEF97","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"76f74a25b568a91dcb4aaeb71f794e2ad8f896d0","datavalue":{"value":"7081762","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2312873$15F5E277-E776-4AF7-8CD7-EE7A9AE05A5E","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5635117dab34dd0ce4f9552c10d7342ec8af03d9","datavalue":{"value":"effective Hilbert's Nullstellensatz","type":"string"},"datatype":"string"},"type":"statement","id":"Q2312873$AAEF91BF-93CA-4223-AFEF-1B518FA14756","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0ecf077a64b95a280cbfebfc5ffeae35319bc13e","datavalue":{"value":"Noether exponent","type":"string"},"datatype":"string"},"type":"statement","id":"Q2312873$366B347F-8049-4A83-99F2-83D0904F041E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a8581a4fe4c0d3571122fc96549003538cce73aa","datavalue":{"value":"sparse polynomials","type":"string"},"datatype":"string"},"type":"statement","id":"Q2312873$6E52AB6C-58A5-4501-8EB6-C95B188CE985","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4d86cc0124b06bd50a1ab734588db06efd4db483","datavalue":{"value":"mixed volume","type":"string"},"datatype":"string"},"type":"statement","id":"Q2312873$2791CB8E-AE5C-4248-B972-5B12533833DF","rank":"normal"}],"P1460":[{"mainsnak":{"snaktype":"value","property":"P1460","hash":"57f7fea50d2ce1b39b695c4a1313582eed405e38","datavalue":{"value":{"entity-type":"item","numeric-id":5976449,"id":"Q5976449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2312873$F65CC549-2EA0-4FFA-BA8E-16098B8904F5","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"d0ac8966211b71e29b66f106b0899ca4600e541e","datavalue":{"value":"W2955426264","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2312873$1C12BC40-F349-4788-BDD7-972F227A0948","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"ce5199b850ff8cac21405f0f9c316213506d5255","datavalue":{"value":{"entity-type":"item","numeric-id":2911815,"id":"Q2911815"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2312873$753E063A-EF00-4742-B50F-73693CD72E69","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0d13e8dd537a4512fd7541c88822fa4a01a9fd99","datavalue":{"value":{"entity-type":"item","numeric-id":1226632,"id":"Q1226632"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2312873$D936D92F-74A6-4FBB-8868-887B8B6652AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dc8a8dbfff8f42ef282e3cdbad4bb4985556c4cb","datavalue":{"value":{"entity-type":"item","numeric-id":1100521,"id":"Q1100521"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2312873$C8F4A979-95F4-4CA3-BD97-5AE766415FF4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"84cc681d10d6de0335019f0c08a931f5847d29b9","datavalue":{"value":{"entity-type":"item","numeric-id":5487877,"id":"Q5487877"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2312873$4D1F64CF-F103-4AA7-8A71-477E88FDF5B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a83ae4bdcbf88d884848b045ee581bd9d3f72122","datavalue":{"value":{"entity-type":"item","numeric-id":4209232,"id":"Q4209232"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2312873$25BCCB8E-EC7E-4B4C-AB34-F0575CAA4A37","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b357f6fc8ed64a6529289a8081d904c5f33d6b3b","datavalue":{"value":{"entity-type":"item","numeric-id":3353156,"id":"Q3353156"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2312873$3945E0B6-AF18-4F00-A0DD-2049224DCC73","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4fc3460abda0fbb3f55c49da05d6654bd280ec87","datavalue":{"value":{"entity-type":"item","numeric-id":1298105,"id":"Q1298105"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2312873$40C6ABF5-E054-4715-9253-4F3C1052B330","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d6f882fe9dd4e77e007ce91fb979674cdc30b302","datavalue":{"value":{"entity-type":"item","numeric-id":4293510,"id":"Q4293510"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2312873$B4EACF51-5248-47A5-85A2-86074C1B6608","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b6e781bb80ca5d568ded68daaffdfcd3026e659c","datavalue":{"value":{"entity-type":"item","numeric-id":2571047,"id":"Q2571047"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2312873$B6605258-012A-448B-8DE2-DA0A7DAD65C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"20bb92181f8c1810e42f6ddfd619a56e734011c6","datavalue":{"value":{"entity-type":"item","numeric-id":4731274,"id":"Q4731274"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2312873$80FE62F6-8626-4F60-91F5-DC8416896970","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1dd386d71ae1e7c677d69997ffe11503db1f34f3","datavalue":{"value":{"entity-type":"item","numeric-id":1847866,"id":"Q1847866"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2312873$D3A85E1A-4C1D-4728-9A9D-EB9E24A9A697","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e96abeedb86b24b1928404ac3dd88e36ec0f04f6","datavalue":{"value":{"entity-type":"item","numeric-id":491257,"id":"Q491257"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2312873$57399660-3FE7-43E5-9391-3B0D93FCFE8A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"961d34e3aef6e831084318d7141233e760d42bd7","datavalue":{"value":{"entity-type":"item","numeric-id":1901475,"id":"Q1901475"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2312873$4424631C-379F-4506-A046-AD368D5E4461","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d0943000c606bc924a9a78a0e159def5cb8d78c0","datavalue":{"value":{"entity-type":"item","numeric-id":1291069,"id":"Q1291069"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2312873$716354D7-709A-4BA2-A2C4-9FAEA7146D07","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c57dacedb2408df61b584f0ff97b6ff80804ce4a","datavalue":{"value":{"entity-type":"item","numeric-id":4850733,"id":"Q4850733"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2312873$D5C68214-6634-492E-8CEF-E00F85173F83","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6a10dd572321770728b85b0a96a40cfad43903af","datavalue":{"value":{"entity-type":"item","numeric-id":3002514,"id":"Q3002514"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2312873$D41A7C7E-9857-4602-B4AE-1BAFD441AE21","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fabdf583c3f2cff72c5c6d035efd1c3c40942878","datavalue":{"value":{"entity-type":"item","numeric-id":634801,"id":"Q634801"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2312873$092DDDFA-0430-49D9-BC66-F6217F523F4A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"72ae25723c93ec68591c1a7bdaead60833d458dd","datavalue":{"value":"10.1016/J.JALGEBRA.2019.06.014","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2312873$9DDE0AE9-7370-4559-9FAF-D5583ED8528F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"476cf05f5491da24236ed60f285082ef4d27e85c","datavalue":{"value":{"entity-type":"item","numeric-id":1358930,"id":"Q1358930"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5af3ee6ea3bf54ab8f13e623cc59da9fa426cff0","datavalue":{"value":{"amount":"+0.8469045758247375","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2312873$617FF25F-FFF3-4AEA-9ED4-B8AA9386E1E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f8fc1194d9fc074969187571bc9313d8b2af519a","datavalue":{"value":{"entity-type":"item","numeric-id":2790190,"id":"Q2790190"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5af3ee6ea3bf54ab8f13e623cc59da9fa426cff0","datavalue":{"value":{"amount":"+0.8469045758247375","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2312873$6ACC36FD-F400-4616-9B9B-3FFC9891097A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"998f5c1b5afdf80ed9f95995bbe046c168ae8f63","datavalue":{"value":{"entity-type":"item","numeric-id":2571047,"id":"Q2571047"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"90905dad996d0935994ae51a8446c3a95c2b3c05","datavalue":{"value":{"amount":"+0.8251284956932068","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2312873$4906BB69-C228-44B1-AD00-BE4DC99CE4AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"669062cd9728a7cf97068214597d24d0666fd475","datavalue":{"value":{"entity-type":"item","numeric-id":1100521,"id":"Q1100521"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"45bc33f003bf4ca830f2f1e68e5026f11cb6f2f0","datavalue":{"value":{"amount":"+0.8194055557250977","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2312873$43D7C780-279F-49B0-AE08-F8A582F3A407","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ba5afc4566b5998998a22fe32631867cb19defe2","datavalue":{"value":{"entity-type":"item","numeric-id":4204240,"id":"Q4204240"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e1f77d29c2be633796dbf653c8d1fc7bd38d1898","datavalue":{"value":{"amount":"+0.8099437355995178","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2312873$04871813-906E-470D-AEBA-6F72D82E8FA9","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2312873","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2312873"}}}}}