{"entities":{"Q2259178":{"pageid":2269921,"ns":120,"title":"Item:Q2259178","lastrevid":71701125,"modified":"2026-04-13T23:59:01Z","type":"item","id":"Q2259178","labels":{"en":{"language":"en","value":"Graver degrees are not polynomially bounded by true circuit degrees"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6409594"}},"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":"Q2259178$9B2A565C-01B2-4D78-AF75-432775424122","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d257e89041eb1d8a6c5ac26fa0ad8b1a235cdba1","datavalue":{"value":{"text":"Graver degrees are not polynomially bounded by true circuit degrees","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2259178$E0590F84-2E98-4AEB-9346-B32DF7286A96","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"eecb67c5b0115796e6df1bb6f37dff6b79890eb7","datavalue":{"value":"1333.14049","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2259178$4BBD3A78-9D5E-4276-9403-49627FED1F11","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f53fdb24d1f4fde470152820154831542e732720","datavalue":{"value":{"entity-type":"item","numeric-id":364716,"id":"Q364716"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2259178$F568BFE5-F47A-4D0F-8362-18334D6D1B80","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"9d301f2c1b0f5efb27a9456dd966748b0c0aab6c","datavalue":{"value":{"entity-type":"item","numeric-id":364717,"id":"Q364717"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2259178$E69E5E9A-8469-4F19-A0AC-F09C7CB4BBCD","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"34a2791b3d9645796ba9cdff19dd05bcf40f0161","datavalue":{"value":{"entity-type":"item","numeric-id":168348,"id":"Q168348"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2259178$85859C27-D172-4A71-A886-CC79BA446082","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b04cbc0bd9d6002d18ef325b8d307775df0871bf","datavalue":{"value":{"time":"+2015-02-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2259178$92CEE269-31A9-4396-9A9E-6CFB15B235DE","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"819d476c32e2ab669fba8d6fe128b9e4da164627","datavalue":{"value":"https://arxiv.org/abs/1306.3305","type":"string"},"datatype":"url"},"type":"statement","id":"Q2259178$12E5016E-0094-4DEB-983A-63D28BE8A493","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"8afef14121b64bf01dfe3dd65a1fab5a725fdef3","datavalue":{"value":"Let \\(A\\subset {\\mathbb N}^n\\) be a vector configuration of \\(m\\) vectors, and \\({\\mathbb N}A \\) the semigroup generated by \\(A\\). The polynomial ring \\(K[x_1,\\dots,x_m]\\) is graded by \\({\\mathbb N}A \\). The toric ideal \\(I_A\\) is generated by all the binomials \\({\\mathbf {x^u}}-{\\mathbf {x^v}}\\), such that \\({\\mathbf {x^u}},{\\mathbf {x^v}}\\) have the same \\({\\mathbb N}A \\)-degree. A binomial \\({\\mathbf {{x^u}}}-{\\mathbf {x^v}}\\) is called primitive is there exists no other binomial \\({\\mathbf {x^w}}-{\\mathbf {x^z}}\\) in \\(I_A\\), such that \\({\\mathbf {x^w}}\\) divides \\({\\mathbf {x^u}}\\) and \\({\\mathbf {x^z}}\\) divides \\({\\mathbf {x^v}}\\). The set of all primitive binomials in \\(I_A\\) is the Graver Basis \\(\\mathrm{Gr}_A\\). An irreducible binomial is called a circuit if it has minimal support.  Let \\(t_A\\) be the maximal true degree of any circuit in \\(I_A\\). The true circuit conjecture says that \\(\\deg(B)\\leq t_A\\) for any \\(B\\in \\mathrm{Gr}_A\\), where \\(\\deg(B)\\) is the usual degree in \\(K[x_1,\\dots,x_m]\\). There are several families of toric ideals where the true circuit conjecture is true.  The main result of this paper stay that in general, there is no polynomial in \\(t_A\\) that bounds the degree of every element of the Graver Basis \\(\\mathrm{Gr}_A\\).","type":"string"},"datatype":"string"},"type":"statement","id":"Q2259178$22A324F9-CE16-4049-BC57-40F7454C8931","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"62521f8705e66591e31fc8b93ff08699c4b43a75","datavalue":{"value":"14M25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2259178$3A633615-68B9-4EED-AA16-BB5A5B52D760","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74e7832a915a62c417a3bf8c026eff5989fd94d3","datavalue":{"value":"05C25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2259178$F96E4D15-C6F4-4044-BA8F-6E9567A30614","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f3a5e47548ef139717b317f83801cfef606a623d","datavalue":{"value":"05C38","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2259178$666BCEC9-0FB7-41D8-BF02-293371D1A850","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5408cf94c8585439fdc1c7736fd361405fcf2194","datavalue":{"value":"13F55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2259178$3B00793F-625D-450E-AFE8-B41513A43E8F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d266c744a03b074f9d723caacca7c2a109d7bd9a","datavalue":{"value":"6409594","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2259178$8653E119-8591-4034-978D-0D9AE8682F59","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2a94043f34169830e7973c56cc9fe49d0f845066","datavalue":{"value":"Graver basis","type":"string"},"datatype":"string"},"type":"statement","id":"Q2259178$DA144A03-2925-482D-AF80-9A6FB0BA7E32","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bae09195fd611bccf15c25e209f2742706bae66d","datavalue":{"value":"Gr\u00f6bner basis","type":"string"},"datatype":"string"},"type":"statement","id":"Q2259178$A3232E11-0DBE-428D-B188-3D2A1F0D63CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3bf2e504c06e2a8b1bdb6cf1e722423006c532a4","datavalue":{"value":"toric ideal","type":"string"},"datatype":"string"},"type":"statement","id":"Q2259178$7E57696F-7C3D-40E6-B3EE-1954F7CB6E1C","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"a87aa28fb6abe7eb4c217cf864551d04d86d9143","datavalue":{"value":{"entity-type":"item","numeric-id":277505,"id":"Q277505"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2259178$D60E82AD-C1B6-45DF-BFAA-3DEF76AD891E","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":"Q2259178$8073036B-1CC4-43D7-B7F1-7FD285E95F65","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"142b2cdd425bceac71ae816b3e9ee8ee23ee6263","datavalue":{"value":"W1964449757","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2259178$7BF0647E-A948-459B-A7DE-EE0F0CEC0D60","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"245ed0e24975927ce90c639a809b5d802334a7bc","datavalue":{"value":{"entity-type":"item","numeric-id":1306900,"id":"Q1306900"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2259178$CC82F04A-4E56-49BC-9156-07692B075522","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5ca4fbd368d1c365bc32d5fe8b8498401e88e71a","datavalue":{"value":{"entity-type":"item","numeric-id":1000634,"id":"Q1000634"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2259178$5B7EACD0-40B6-4F22-BB19-C0CE670E539F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1b4a833f1d0ec4b0d37e0dafc7fc3433ab5e771b","datavalue":{"value":{"entity-type":"item","numeric-id":651047,"id":"Q651047"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2259178$26050366-FE7D-4D24-9027-76128334E609","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0528f8d5cd4546c49c44494e6548942359e3bdcc","datavalue":{"value":{"entity-type":"item","numeric-id":4379897,"id":"Q4379897"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2259178$2CA6661C-E1FC-4BA0-B1F3-7253F144A6AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b683344105f5be9db1bd724d22f1603b62c43ae7","datavalue":{"value":{"entity-type":"item","numeric-id":533338,"id":"Q533338"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2259178$EBEFC20F-8B44-4026-BFDB-D294B9FAC123","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7a84734bd6f304dc7e39db6e87c1f6a9b39e092a","datavalue":{"value":{"entity-type":"item","numeric-id":4843234,"id":"Q4843234"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2259178$DF6252BE-5780-4D6A-9797-CD40D2B6E46C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"843764521986568185cb1d794b3bc87e9267c64d","datavalue":{"value":"10.1016/J.JPAA.2014.09.021","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2259178$305E4FF5-04B2-4E52-AE22-8AD1EB7C7A02","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e59f71e9dfdb22da3e60d54c240f9a398458ca30","datavalue":{"value":{"entity-type":"item","numeric-id":459272,"id":"Q459272"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"992d7a499e45ca86bd751915e2463eaabaf7847e","datavalue":{"value":{"amount":"+0.8220962","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2259178$0B479FE0-CFAC-401B-9105-9D310CD05ABE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"571bd68ec0a34e21a7d6f3a2096e805c0b3501d9","datavalue":{"value":{"entity-type":"item","numeric-id":2684903,"id":"Q2684903"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"83247c093a30bc51642170081910d0c82c643f8a","datavalue":{"value":{"amount":"+0.8034013","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2259178$FFF2DC67-4D1E-445E-B33B-A660D4CF3DBC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d95becc37663d98e38b182be4dfab1dc0939ef80","datavalue":{"value":{"entity-type":"item","numeric-id":3816110,"id":"Q3816110"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"952673ef7a5e89258298adcd4a7fec559c08f558","datavalue":{"value":{"amount":"+0.7941652","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2259178$05689B4C-CCCC-4F9C-A469-3E2519606CCB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3dab3c5c2126b5908e038dc8791ce8aefd01514c","datavalue":{"value":{"entity-type":"item","numeric-id":1073789,"id":"Q1073789"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0515ee66840ae727298066d0e2fa06621dbd957d","datavalue":{"value":{"amount":"+0.786546","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2259178$2D71F40E-4799-43AF-9E65-8FC54A79E217","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f2aa5e17bfb9fda7e1a7b822b45a5aa02263277f","datavalue":{"value":{"entity-type":"item","numeric-id":2568492,"id":"Q2568492"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b72864fd1843c071238149459472da9994d89626","datavalue":{"value":{"amount":"+0.7838659","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2259178$787BF278-1B8C-433A-BF93-452F1292ABE0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"589c7014dec3bed88a1931fdfb2b6a563afbe8f3","datavalue":{"value":{"entity-type":"item","numeric-id":2135999,"id":"Q2135999"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a40c704b8f466fc8f9c95e2337704468aced55a4","datavalue":{"value":{"amount":"+0.78334653","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2259178$0C83F0E8-8DC8-4448-BC53-400414FD4FF5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1379fde95e8fe9ed99d63a901290df180c43b17b","datavalue":{"value":{"entity-type":"item","numeric-id":5377026,"id":"Q5377026"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3fdd63f2cd6ec851b5ab8c81275fd61dfd8ab891","datavalue":{"value":{"amount":"+0.7810743","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2259178$4E94BDE5-3DD3-426E-91F4-63CF120B0B4D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8cd86efac77fe7810e8a5a2492facc1c55c748c5","datavalue":{"value":{"entity-type":"item","numeric-id":3328577,"id":"Q3328577"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f05db9e50ef3a96cf67d5243d0f6187ca5ffe72a","datavalue":{"value":{"amount":"+0.7808597","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2259178$86FF9BF4-8C9E-4060-96DF-828F5316DCBB","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":"916597530e66e2f5744ad8b342727362f03f6d60","datavalue":{"value":{"amount":"+0.7797407","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2259178$F02B57AE-6901-40AB-ADE9-190F5E998E29","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"85fb3d9d0461cf9e14889f48e3f41df5d078be35","datavalue":{"value":{"entity-type":"item","numeric-id":5418532,"id":"Q5418532"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"977ad0adec87c0839e94df7c801e329b05575e19","datavalue":{"value":{"amount":"+0.7794845","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2259178$1893AB69-AE02-4E05-9784-BB27F3EAEAE2","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Graver degrees are not polynomially bounded by true circuit degrees","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Graver_degrees_are_not_polynomially_bounded_by_true_circuit_degrees"}}}}}