{"entities":{"Q840715":{"pageid":842563,"ns":120,"title":"Item:Q840715","lastrevid":50764403,"modified":"2026-01-15T02:22:10Z","type":"item","id":"Q840715","labels":{"en":{"language":"en","value":"Reverse search for monomial ideals"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5603617"}},"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":"Q840715$DE368975-8005-4B34-B9C4-C15CCF0B5BEC","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c372ea197e1bba47742c2e1b089e39f56c87bdb1","datavalue":{"value":{"text":"Reverse search for monomial ideals","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q840715$CEAA9512-28C4-4F90-A5DA-2A349D6DDFAF","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"733a26472d226deac1d89097c3abf4c68613e747","datavalue":{"value":"1221.13037","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q840715$075A591F-178B-4266-AB79-6CDFF9DE453A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b9c2ca28e5288d85fb298f81fb952ee265e1b58e","datavalue":{"value":{"entity-type":"item","numeric-id":322192,"id":"Q322192"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q840715$BCD14B9A-D9B0-4CEB-BB10-C9D67B7EB0CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"28136b3e5640435718ff67cf5b4f3155ec999dcd","datavalue":{"value":{"entity-type":"item","numeric-id":579328,"id":"Q579328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q840715$54FB6248-28CD-456A-9EF2-F2E037B33A90","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"ea72303f92787da89554ee5fa15621068821a762","datavalue":{"value":{"entity-type":"item","numeric-id":99061,"id":"Q99061"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q840715$A0DE8464-A0A1-4398-914A-EE8300253885","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"9da6f74ec6337139bbc2c0c55bd8fb986e578b38","datavalue":{"value":{"time":"+2009-09-14T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q840715$0F58CC93-B929-47B0-8D83-AAE59EFC3BE5","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"c778d4f42bd005eb0cae066a61c57150d714240c","datavalue":{"value":"Let \\(I\\) be a monomial ideal minimally generated by \\(x^{\\mathbf a_1},\\dots, x^{\\mathbf a_r}\\) in a polynomial ring \\(S=k[x_1,\\dots, x_n]\\) over a field \\(k\\). For an element \\(\\mathbf b\\) in \\(\\mathbb N^n\\), set  \\[  K_\\mathbf b=\\{F\\subset\\{1,2,\\dots,n\\}\\mid x^{\\mathbf b-F}\\in I\\},  \\]  where we identify a subset \\(F\\) of \\(\\{1,2,\\dots,n\\}\\) with the 0-1 vector whose support is \\(F\\). Then \\(K_\\mathbf b\\) is a simplicial complex (or the null complex, i.e., \\(\\emptyset\\not\\in K_\\mathbf b\\), if \\(x^\\mathbf b\\not\\in I\\)). It is known that the multigraded Betti numbers can be expressed as  \\[  \\beta_{i,\\mathbf b}(I)=\\beta_{i+1,\\mathbf b}(S/I)=\\dim_k \\tilde H_{i-1}(K_\\mathbf b;k),  \\]  where \\(\\tilde H_{i}(K_\\mathbf b;k)\\) is the reduced homology [see \\textit{D. Bayer} and \\textit{B. Sturmfels}, ``Cellular resolutions of monomial modules'', J. Reine Angew. Math. 502, 123--140 (1998; Zbl 0909.13011) or \\textit{E. Miller} and \\textit{B. Sturmfels}, Combinatorial commutative algebra. New York, NY: Springer (2005; Zbl 1066.13001 and Zbl 1090.13001)].    Since the reduced homologies of a simplicial complex whose geometric realization is contractible are all zero, in order to compute Betti numbers of \\(I\\), it is enough to consider \\(\\mathbf b\\in\\mathbb N^n\\) such that \\(K_\\mathbf b\\) is a non-cone, i.e., there is no vertex \\(i\\) such that \\(K_\\mathbf b=\\text{star}_{K_\\mathbf b}(\\{i\\})\\). The authors call \\(\\mathbf b\\in\\mathbb N^n\\) with \\(K_\\mathbf b\\) is not a cone a corner of \\(I\\).    Let us denote by \\(\\mathbf a\\vee\\mathbf a'\\) the componentwise maximum of \\(\\mathbf a\\) and \\(\\mathbf a'\\) for \\(\\mathbf a, \\mathbf a'\\in\\mathbb N^n\\). One way to find all corners of \\(I\\) is first consider \\(\\mathbf a_1\\vee\\mathbf a_2\\vee\\cdots\\vee\\mathbf a_r\\), the exponent vector of the least common multiple of the generators of \\(I\\), and use the full \\(\\text{lcm}\\) lattice of the generators of \\(I\\).    In this paper, the authors propose the following algorithm to find all the corners of \\(I\\). First consider \\(\\mathbf a_i\\) \\(i=1,2,\\dots, r\\), which is a corner since \\(K_{\\mathbf a_i}=\\{\\emptyset\\}\\). (Note that since \\(\\{\\emptyset\\}\\neq\\emptyset\\), \\(K_{\\mathbf a_i}\\) is not a null complex.) And given a corner \\(\\mathbf b\\) of \\(I\\), search corners of the form \\(\\mathbf b\\vee\\mathbf a_i\\) for some \\(i\\). By repeating this process, one gets all the corners of \\(I\\). This algorithm has advantage in terms of space complexity.    Reviewer's remark: \\(I=\\langle x_1^3, x_2^3, x_4^3, x_2x_3x_4, x_1x_3x_4, x_3^2, x_1^2x_2^2\\rangle\\) and \\(\\mathbf b=(2,2,2,1)\\) seems to be a counter example of Theorem 12 and Lemma 11.","type":"string"},"datatype":"string"},"type":"statement","id":"Q840715$9DD1BC7F-3893-4A54-9522-9378785E3231","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"4b54b68d3477766ec73fd9b51a97ca972d4bc645","datavalue":{"value":{"entity-type":"item","numeric-id":267719,"id":"Q267719"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q840715$FAC5EEA6-CAF2-42E8-8DE0-9869C8F61C9E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5408cf94c8585439fdc1c7736fd361405fcf2194","datavalue":{"value":"13F55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q840715$7F050DE2-9050-4D26-B5AA-98ED05732D92","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"dd4ec6e4b6aa854466b467ae20b9d087bcc2e35a","datavalue":{"value":"13D02","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q840715$DD5F183E-AA96-4DE2-9470-618C67BFA7C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"3261dadc98deaaa969a534e2a2cb92fd4aa565f7","datavalue":{"value":"13P99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q840715$6EB58366-1852-4AAC-A600-D5F2C9905115","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9300e3730b1ea6c7cca67041a7e462ce4e251980","datavalue":{"value":"5603617","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q840715$70D4FCA7-923F-4357-9D47-08227F4020D1","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"152b51a76bc3f2ffd0d6ea5cc70d9b732a88636f","datavalue":{"value":"monomial ideal","type":"string"},"datatype":"string"},"type":"statement","id":"Q840715$5B19F87C-1664-4BE9-871B-75EA0B2C9ABE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7d39b5a0838f50ac62cf63b6a4e8a72e30a2f49a","datavalue":{"value":"reverse search","type":"string"},"datatype":"string"},"type":"statement","id":"Q840715$E997129B-DF4F-4CF0-938C-B8E2FE283F75","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"78b826843ab20a87c9262e0d558d414868bdd4a5","datavalue":{"value":"simplicial complex","type":"string"},"datatype":"string"},"type":"statement","id":"Q840715$A68AE240-20B9-4D0A-B4AE-67EF13FB0A38","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ef03848f41f59da431665c121436ac0a6bc94ac2","datavalue":{"value":{"entity-type":"item","numeric-id":13610,"id":"Q13610"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q840715$FA50E9F0-5E47-4A15-9A9A-03F596EB367E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"15d940eaf5d3ceb185f6e04fe1d824887af9b227","datavalue":{"value":{"entity-type":"item","numeric-id":17026,"id":"Q17026"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q840715$83E174D8-1A53-4190-9C71-E8888CF7BC49","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"c9c1f58b8025297b76815155d9e858d1b402d938","datavalue":{"value":{"entity-type":"item","numeric-id":12911,"id":"Q12911"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q840715$1DE4DD35-91DC-4CE6-95F4-B6C2E3C5F1C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"5a7ab78c11a5a96fc598f910c529b2ab4e71c73d","datavalue":{"value":{"entity-type":"item","numeric-id":13292,"id":"Q13292"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q840715$5C2FFFE1-608B-4BF9-A87D-614ECDF189B1","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":"Q840715$5DAFCA90-3599-415F-9963-BD709F775B82","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"bad1f376c3c49d19a2b82cfc1cdedf4ea29a51a7","datavalue":{"value":"https://doi.org/10.1016/j.jsc.2009.05.002","type":"string"},"datatype":"url"},"type":"statement","id":"Q840715$E573A06F-1CFD-4B15-AA35-C463AC7CA7BA","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"d7d0b15ab07c98dd485b95ebcda109e7a9c95482","datavalue":{"value":"W2153919403","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q840715$CEABA28B-B85F-4627-8575-E0D4528A8700","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"931aae8e182476a50686c9651c82e3645d7165d2","datavalue":{"value":{"entity-type":"item","numeric-id":4657331,"id":"Q4657331"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q840715$50BB4765-395F-4F4B-A1B0-F79A8E9A72E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1e32a01f1d588f6d8c933d64e7a17325dbff022c","datavalue":{"value":{"entity-type":"item","numeric-id":1917258,"id":"Q1917258"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q840715$6D3CF2BC-7BB4-4504-96EF-87BA40221536","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a037a9528ee8cd9b2f23fdcdd549bfee53c8272f","datavalue":{"value":{"entity-type":"item","numeric-id":4215758,"id":"Q4215758"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q840715$754D81B5-DF6D-403F-9AFE-8FAA611D97E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"106856daac1952126e113caacbd4d461b6691f93","datavalue":{"value":{"entity-type":"item","numeric-id":1199706,"id":"Q1199706"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q840715$6011147A-3D68-407D-B3EF-9A08F55B13B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4fc95fb9694f0c547f1d1e12d686cc6e5814630f","datavalue":{"value":{"entity-type":"item","numeric-id":1361198,"id":"Q1361198"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q840715$DCC519F1-8063-4BEC-B072-DFE517B75A60","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c228ae9376769653d4c12e2b58069df9ad377f97","datavalue":{"value":{"entity-type":"item","numeric-id":4279508,"id":"Q4279508"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q840715$E9F7BB08-7CD4-414E-BEEB-4552EB9DC698","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"97ad6f61b25d09a9e76c71bdb6b340823e6cebb0","datavalue":{"value":{"entity-type":"item","numeric-id":4418129,"id":"Q4418129"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q840715$B7CB33D3-7E29-44C3-A8BD-74447AC37262","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"88fde7b2c4eab55269b89e0cfcb821e82b769a41","datavalue":{"value":{"entity-type":"item","numeric-id":1574756,"id":"Q1574756"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q840715$BB448164-B404-464E-A22B-A98CC2D250A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ca58840b47a56549dc44a80b36682a949c521e6d","datavalue":{"value":{"entity-type":"item","numeric-id":4651861,"id":"Q4651861"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q840715$C2631B1E-6769-479D-8E0F-B7B8EBC96BCA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1cf1279d84453a8467d474d47d974ca930bc4442","datavalue":{"value":{"entity-type":"item","numeric-id":294700,"id":"Q294700"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q840715$8F940E18-6767-4E90-AB8E-0796232A6FE2","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d7acfa9bc78e84477e58843a8f030b9af3903a02","datavalue":{"value":"10.1016/J.JSC.2009.05.002","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q840715$2DAB7EF7-40FF-4451-8694-CB4AEA26E3E4","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2c58fb984ee6ec2d6285cc1476f9480e61ebc21c","datavalue":{"value":{"entity-type":"item","numeric-id":992802,"id":"Q992802"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b6c41c350fa45def59474092500255ff7076b186","datavalue":{"value":{"amount":"+0.7073495388031006","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":"Q840715$81C7CA63-9927-4D49-8E51-BA31DCE81E4D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"170200679959f1f546bde39cc8c8cb9e1e5896d8","datavalue":{"value":{"entity-type":"item","numeric-id":412034,"id":"Q412034"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8b85bbe101298c93dfbc5076c47ba7b63c2e4925","datavalue":{"value":{"amount":"+0.703300952911377","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":"Q840715$79E4C45A-2FB3-468D-AD6A-5C89E7350A11","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"98ab979d25e784639569cb2da1f28781211240ef","datavalue":{"value":{"entity-type":"item","numeric-id":2570675,"id":"Q2570675"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6943fea7839073fd0dc6e6a6b75688e22bdcbbae","datavalue":{"value":{"amount":"+0.6990598440170288","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":"Q840715$5AB3F52D-A42E-47B0-AF51-7361C6DCBE28","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f09ea21626b57476075141703e1923c7ef77f381","datavalue":{"value":{"entity-type":"item","numeric-id":1917258,"id":"Q1917258"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d1ede2f34b15b7ebb99234e21298fd8a38852c98","datavalue":{"value":{"amount":"+0.6982532143592834","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":"Q840715$1B89FD44-4288-4FA4-9021-B959C5805AE4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2baf5dd1c3cd0e3dc444f6f8e1c3b47f9888842e","datavalue":{"value":{"entity-type":"item","numeric-id":2270121,"id":"Q2270121"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"320c1611949bda973d1a6f63f413114f7564307b","datavalue":{"value":{"amount":"+0.6936444640159607","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":"Q840715$5087C4EB-AE0A-4EB7-8E3E-145D50E3C6BA","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:840715","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:840715"}}}}}