{"entities":{"Q1815301":{"pageid":1826043,"ns":120,"title":"Item:Q1815301","lastrevid":47419363,"modified":"2026-01-01T16:53:06Z","type":"item","id":"Q1815301","labels":{"en":{"language":"en","value":"Mixed matrices and binomial ideals"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 943210"}},"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":"Q1815301$0EAF3407-312B-445D-9F15-CC8EA6FE1E30","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"2b3384150efa322353717a88c6b6430b3b46c97a","datavalue":{"value":{"text":"Mixed matrices and binomial ideals","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1815301$8BC713B8-4717-40FE-AEA8-28EA032B161A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"650383249ddaa6e170a6834a6e4aa96e43c53feb","datavalue":{"value":"0864.15016","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1815301$13E03BFE-61C0-4573-8152-31FB779BB0DF","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"9fdfc60c0df5f5d538621933ed3523f6fbd028ff","datavalue":{"value":"10.1016/0022-4049(95)00144-1","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1815301$AB7F26BA-E6FF-45F0-BEBC-F9AC23AE1EB9","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"815398644a498decddd1ae73a372fae389a433df","datavalue":{"value":{"entity-type":"item","numeric-id":1109822,"id":"Q1109822"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1815301$B42BE869-DD31-49A9-B680-0C2700D54803","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"10bd04f1e409f0b2a22df63cf5331865a724813c","datavalue":{"value":{"entity-type":"item","numeric-id":382079,"id":"Q382079"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1815301$B54747FC-E918-42CC-BA4A-52020DE10505","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":"Q1815301$DBD4FAE6-5AA4-4374-9489-BAE442C34870","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"58b271ef77cd510a5a83fff0d8422ddfc2624257","datavalue":{"value":{"time":"+1997-06-22T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1815301$2921FB17-B2F6-46D7-B1DC-DD3C178BE532","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"c4841d932884d1f631470bd7e72e4f407007340a","datavalue":{"value":"Write \\(u\\in\\mathbb{Z}^n\\) as \\(u=u^+-u^-\\) with nonnegative integral \\(u^+\\), \\(u^-\\) of disjoint support. Define the binomial \\(f_u=X^{u^+} -X^{u^-}\\in\\mathbb{Z}[X] =\\mathbb{Z}[X_1, \\dots,X_n]\\). Given \\(u_1,\\dots, u_r\\in\\mathbb{Z}^n\\) consider the matrix \\(M\\) having the \\(u_i\\) as row vectors and the ideals \\(I=\\langle f_{u_1}, \\dots, f_{u_r}\\rangle\\), \\(I^*=\\langle f_u:u\\in\\text{span}_\\mathbb{Z} (u_1, \\dots,u_r)\\rangle\\), \\(\\hat I=\\langle f_u:u\\in\\text{span}_\\mathbb{Q} (u_1,\\dots,u_r) \\cap\\mathbb{Z}^n\\rangle\\). The relations and properties of these binomial ideals are studied in terms of the properties of \\(M\\). A real matrix is mixed if all rows contain positive and negative entries; it is dominating if it does not contain a square mixed submatrix. A certain simple algorithm produces from a real matrix a submatrix that the authors call derived; all its nonzero rows are mixed. Here a selection of results of Sections 2,3. Theorem 2.3: The height of ideal \\(I\\) equals \\(r-\\max\\{0,s-t\\): The derived of \\(M\\) contains a mixed \\(s\\times t\\) submatrix\\}; Corollary 2.4: A criterion for when \\(f_{u_1}, \\dots,f_{u_r}\\) is a regular sequence. Corollary 2.8: Mixed dominating matrices are \\(L\\)-matrices in the sense of [\\textit{R. A. Brualdi}, \\textit{K. L. Chavey}, \\textit{B. L. Shader}, Linear Algebra Appl. 196, 37-61 (1994; Zbl 0789.15026)]. Theorem 2.9: If \\(M\\) is dominating of linearly independent rows, then \\(I=I^*\\); if even content \\((M)=1\\), then \\(I=I^*=\\hat I\\). Corollary 2.10: A criterion for a finitely generated subsemigroup \\(S\\) of \\(\\mathbb{Z}^n\\) in order that \\(\\mathbb{Z}[t^s: s\\in S]\\) is a complete intersection. This uses results of [\\textit{K. G. Fischer}, \\textit{J. Shapiro}, Lect. Notes Pure Appl. Math. 151, 111-130 (1993; Zbl 0792.13008)] and [\\textit{J. Herzog}, Manuscr. Math. 3, 175-193 (1970; Zbl 0211.33801)]. Proposition 3.1: An \\(r\\times (r+1)\\) matrix is an \\(S\\)-matrix in the sense of [\\textit{R. A. Brualdi}, \\textit{B. L. Shader}, Cambridge Tracts in Math. 116 (1995; Zbl 0833.15002)] and [\\textit{V. Klee}, Linear Algebra Appl. 96, 233-247 (1987; Zbl 0628.65034)] iff it is mixed dominating. Theorem 3.5: \\textit{C. Delorme}'s [Ann. sci. Ecole norm. sup., IV. Ser. 9, 145-154 (1976; Zbl 0325.20065)] criterion for when is \\(\\mathbb{Z}[t^s:s\\in S]\\) a complete intersection, \\(S\\subset\\mathbb{N}\\) being a numerical semigroup. The paper draws also on a paper of \\textit{D. Eisenbud} and \\textit{B. Sturmfels} [Duke Math. J. 84, No. 1, 1-45 (1996)].","type":"string"},"datatype":"string"},"type":"statement","id":"Q1815301$331ACCA8-A668-4B2B-AC53-2ABDE631DCB3","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c32074a6a9b33f3199d7f4946756883fac565aa0","datavalue":{"value":"15B57","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1815301$28503507-03B4-4CC3-B015-2C8178FAD6CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f0b321fafd33da205994db3b946bd7cfe9a54983","datavalue":{"value":"15A30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1815301$734D4C30-CC45-4AE8-BD3C-F7B46223A9DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"23117a89d3983e500a3b09b9e4836cdf368918b3","datavalue":{"value":"13A15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1815301$577C5FBF-D9E6-4A9B-BDA1-013419AC1E0E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"391950414a099d56bc54d4355f229d909cdcb643","datavalue":{"value":"13F20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1815301$3E32F129-58C2-4FFA-BAD4-0E950B47B2E2","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"bca2729beb8cd5db1660474743ecf2c653312af2","datavalue":{"value":"943210","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1815301$AB8247B4-1DD7-4C60-A83F-606B748211ED","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f730440f9983637db206c79d3047a86de523e9a7","datavalue":{"value":"binomial ideals","type":"string"},"datatype":"string"},"type":"statement","id":"Q1815301$9F103948-8547-4B08-9ACA-01BFF1D0FC69","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"658914e0f3379ad53c73e5914d69b06d8705a3da","datavalue":{"value":"height of ideal","type":"string"},"datatype":"string"},"type":"statement","id":"Q1815301$6D13DB01-91CA-420B-82CD-67D5E3E7C365","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8c454bb1fc40846e3c9c5d806ff983d8bac18980","datavalue":{"value":"regular sequence","type":"string"},"datatype":"string"},"type":"statement","id":"Q1815301$28131A57-1F60-441E-918F-688DBF626D4F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6222d91a332013c1f876f2f6a89c38c2446ae41b","datavalue":{"value":"complete intersection","type":"string"},"datatype":"string"},"type":"statement","id":"Q1815301$BBC6C83E-7D71-491D-9CF0-AD531DA36FA1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4cedf7258c66286c1c6e9de8a2d8575e9d8431c9","datavalue":{"value":"mixed matrix","type":"string"},"datatype":"string"},"type":"statement","id":"Q1815301$25BD789C-060A-441A-A1F7-3C382257243D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"01fdcabc4600dbbc8fc75a08f8a3c87aa859f9a1","datavalue":{"value":"content of integer matrix","type":"string"},"datatype":"string"},"type":"statement","id":"Q1815301$1C183D7F-AB7F-41FA-A8D2-359E387C5DD3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3eb7081305967da54a34a6f33ad4b59b09e4edb8","datavalue":{"value":"sign-solvable","type":"string"},"datatype":"string"},"type":"statement","id":"Q1815301$348CE737-4863-4180-92B2-E6E593024580","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ecfe88e879c606c5ea3a2e027358c110518d6300","datavalue":{"value":"\\(S\\)-matrix","type":"string"},"datatype":"string"},"type":"statement","id":"Q1815301$3EAD5215-E7A3-4CD6-A847-24A2B8D5BD10","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"da07777ffb310fb567e7e0b0c0b18dd7f93ebed8","datavalue":{"value":"\\(L\\)-matrix","type":"string"},"datatype":"string"},"type":"statement","id":"Q1815301$31549A2D-502C-44CC-8C1C-FE32FCDCA12A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"192a05ff35e5bf1d3ed9b25826744378490ec154","datavalue":{"value":"numerical semigroup","type":"string"},"datatype":"string"},"type":"statement","id":"Q1815301$8466D5C5-5071-4E40-9C89-F0EE670E4297","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"4cb749bb0545117c5a39ee1b861da533345043d8","datavalue":{"value":{"entity-type":"item","numeric-id":587686,"id":"Q587686"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1815301$E511A9D7-F02A-4FB9-A275-BA43633F4643","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":"Q1815301$7C928AC3-2C92-4149-A5A1-DE6996599787","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"0b4e38ffcc56e8ca89a980755cc48d23e8aa1e67","datavalue":{"value":"https://doi.org/10.1016/0022-4049(95)00144-1","type":"string"},"datatype":"url"},"type":"statement","id":"Q1815301$F0DDE179-31AD-41F6-BDE2-91E22AF23620","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"96f91d3306eb65047598fec4773a1c9ac00ef2ca","datavalue":{"value":"W2053284221","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1815301$82DFBEE7-6A28-47C3-9A35-F9B82AE137B4","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"0a7ec37871db33bd1530f66f79fdeb11258820b5","datavalue":{"value":{"entity-type":"item","numeric-id":1316185,"id":"Q1316185"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1815301$220585D4-0E8E-4B2F-B288-056D1B09A2B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"10cbd535167b6e713403cbb4c33f5c6524deebf6","datavalue":{"value":{"entity-type":"item","numeric-id":4858123,"id":"Q4858123"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1815301$D588BC8E-C7B8-44F7-A8DF-DD0BEB3DE9B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0729f4e7c5f75ceb1a8e25895dc254508acf0e00","datavalue":{"value":{"entity-type":"item","numeric-id":4089019,"id":"Q4089019"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1815301$2AA85F2C-90E6-43AB-9B14-A164E4E15EA8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fc3385a1623b99854e6af63816a0f7f51e1ea8ac","datavalue":{"value":{"entity-type":"item","numeric-id":1922418,"id":"Q1922418"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1815301$AC8E842C-E33C-42BE-9339-7A3567E45A79","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5f73e9787eea17a8785b609b16c313ef47c6730b","datavalue":{"value":{"entity-type":"item","numeric-id":4276400,"id":"Q4276400"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1815301$9C34521A-210D-48C3-ABF5-10D1C7974927","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ff46ca4daa3deb211a8ff92300fd21f75c34e9ed","datavalue":{"value":{"entity-type":"item","numeric-id":2544208,"id":"Q2544208"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1815301$2EBC06C9-2B78-493A-A730-5D9C5D4EAA10","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e8c2a7e3762c46fc5970213c577b316191d4c4c0","datavalue":{"value":{"entity-type":"item","numeric-id":1093326,"id":"Q1093326"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1815301$22C04D0F-BB08-487A-93F6-1A826961834E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b9cd5b4a82bf86c789e8aec14457e9e7a5412b8e","datavalue":{"value":{"entity-type":"item","numeric-id":5611879,"id":"Q5611879"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1815301$14AC0AE9-850A-4F3D-B059-8A03ADC94024","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"aff6342347317eed4754b0c78a50896295bcd115","datavalue":{"value":{"entity-type":"item","numeric-id":1770456,"id":"Q1770456"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9304090d456c7eee4662dc80096b9f952757ad05","datavalue":{"value":{"amount":"+0.7831011414527893","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":"Q1815301$ED84377F-E893-4A0C-963C-96527D9BFBEB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"28186b78fa11ae7afbcde637840033827a9c6d3a","datavalue":{"value":{"entity-type":"item","numeric-id":4979847,"id":"Q4979847"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a810d87a177e387b2de2c1b211f505954d17fd0c","datavalue":{"value":{"amount":"+0.7748136520385742","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":"Q1815301$0C140741-2EAF-446F-BB1B-95BAE320F2E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4445b5f6b273ec44ba703b10a5bd2699797fa67b","datavalue":{"value":{"entity-type":"item","numeric-id":1922418,"id":"Q1922418"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8b11731718869eee77a48633fbccae1494d3f1c5","datavalue":{"value":{"amount":"+0.7696523666381836","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":"Q1815301$FF01A86E-1969-4412-85A7-02BCE4528C6C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1ec211bd585c7fd65595f88f54242c89098177e7","datavalue":{"value":{"entity-type":"item","numeric-id":1279855,"id":"Q1279855"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8b11731718869eee77a48633fbccae1494d3f1c5","datavalue":{"value":{"amount":"+0.7696523666381836","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":"Q1815301$DC2ED704-B84B-48DB-A42A-9BC44CA2C92B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"adf2b38a9efc1c4204d1984e498779708dbd1831","datavalue":{"value":{"entity-type":"item","numeric-id":3023700,"id":"Q3023700"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"23edbee450ea236942b01a7bc2b738f072703229","datavalue":{"value":{"amount":"+0.7620147466659546","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":"Q1815301$5A9D721F-569B-4B2A-B6F3-5AB837901FE8","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1815301","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1815301"}}}}}