{"entities":{"Q923086":{"pageid":924934,"ns":120,"title":"Item:Q923086","lastrevid":65377146,"modified":"2026-04-12T02:10:46Z","type":"item","id":"Q923086","labels":{"en":{"language":"en","value":"Combinatorial properties of incompatible systems of linear inequalities and polyhedra"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4170911"}},"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":"Q923086$622526E5-7F28-45C8-8ACE-62A9B8A66302","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"5f48f587b277d22fafd692647d355ff1779accc2","datavalue":{"value":{"text":"Combinatorial properties of incompatible systems of linear inequalities and polyhedra","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q923086$A9ACB91C-5BBC-4455-840D-766C0CDD3AFB","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"cf399438c37edeffcf8775c427fb102361125bfc","datavalue":{"value":"0712.05006","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q923086$2FB968EA-763D-4029-93AE-A9A606E6521A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b43c20598daa9549180928844f60870a20241733","datavalue":{"value":"10.1007/BF01163715","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q923086$D79F0283-DE85-4B1A-B21E-6518C52E9E93","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"9d1f992b9168a846aa8c0a9b8c1084ee8db6be61","datavalue":{"value":{"entity-type":"item","numeric-id":787174,"id":"Q787174"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q923086$59162FB0-C98F-48B8-9764-70318B8F0EA7","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"00de3e6b6cfff0576fe0e1d6bc63c05579d2cb43","datavalue":{"value":{"entity-type":"item","numeric-id":173953,"id":"Q173953"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q923086$0E88814C-7BF6-4CC6-8969-AA32C463AF24","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3c94df5c9af0ede578c52141befd29044de13172","datavalue":{"value":{"time":"+1985-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q923086$658A96F3-667F-491D-A8F8-4392E034FDF9","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"05496445c8e8a7c9f2bd175bcd5b68a4a51228db","datavalue":{"value":"The notion of a diagonal of a convex polytope is introduced. Some relations between maximal compatible subsystems of the incompatible system (1) \\((a_ i,x)>0,\\quad a_ i,x\\in {\\mathbb{R}}^ n,\\quad i\\in M=\\{1,...,m\\}\\) of linear inequalities and diagonals of a polytope are established. Let B be a finite set in the space \\({\\mathbb{R}}^ n\\). A subset A of B such that \\(conv A\\cap ri conv B\\neq \\emptyset\\) and is minimal with respect to this property is called a diagonal of B. In the case \\(B=vert conv B\\) this is the definition of a diagonal of the convex polytope conv B. The main result is contained in the following theorem. Let \\(B=(b_ 1,b_ 2,...,b_ m)\\) be the Gale transform of the set \\(A=(a_ 1,a_ 2,...,a_ m),\\quad d=m-n-1,\\) and \\(pos\\{a_ 1,...,a_ m\\}={\\mathbb{R}}^ n.\\) The subset \\(L\\subseteq M=\\{1,2,...,m\\}\\) is the set of indices of a maximal compatible subsystem of the system (1) if and only if \\(M\\setminus L\\) is the set of indices of some diagonal of B. As a consequence, the author obtains the following formula for the number \\({\\mathcal D}(d,m)\\) of diagonals of the cyclic d-polytope with m vertices: \\({\\mathcal D}(d,m)=1\\) if \\(m\\leq d+1,\\quad {\\mathcal D}(d,m)=2\\left( \\begin{matrix} m-k-2\\\\ k\\end{matrix} \\right)+\\left( \\begin{matrix} m-k-2\\\\ k+1\\end{matrix} \\right)\\) if \\(m\\geq d+2\\) and \\(d=2k,\\quad {\\mathcal D}(d,m)=\\left( \\begin{matrix} m-k-2\\\\ k+1\\end{matrix} \\right)+\\left( \\begin{matrix} m-k-3\\\\ k\\end{matrix} \\right)\\) if \\(m\\geq d+2\\) and \\(d=2k+1\\).","type":"string"},"datatype":"string"},"type":"statement","id":"Q923086$34A7D62E-57CE-4F51-9C52-A8C05EC78B99","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b6a686fef1013593a32f9e8e67eecdd50e96866a","datavalue":{"value":"05A15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q923086$0715BBB0-6709-4A66-8FCE-CD8D3B929A81","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"78931806833c54190437f3675cf624ba3d256107","datavalue":{"value":"52B05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q923086$A867B6F3-666C-4DEE-96F0-92D6627A1F69","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"676d6e7bdeb4c887bac3323667a7cfb1cc8a3a3a","datavalue":{"value":"4170911","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q923086$1CD92ADF-9C0A-4003-ADBC-4341249526E8","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ef78207455db0dcc94da4f778f64bc5a0f982ad3","datavalue":{"value":"diagonal of a convex polytope","type":"string"},"datatype":"string"},"type":"statement","id":"Q923086$BE899771-A8C0-4024-8F07-9E780CA974AE","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":"Q923086$93918633-EAEA-42EB-86A9-B1E909D822EF","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"ff8fea9a5dba7c0c825c98a79aa7f9c13491987b","datavalue":{"value":{"entity-type":"item","numeric-id":5547252,"id":"Q5547252"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q923086$CDAF1BBF-DB1C-40EB-989C-F736E68453D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6329aa3f53b0007d7c30145137b42eaa70d002d9","datavalue":{"value":{"entity-type":"item","numeric-id":5588250,"id":"Q5588250"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q923086$12A4A28D-5899-4C8B-B1DF-50A804292EBB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9ef063b9c2a9e9b13d567a612398351e27f531b6","datavalue":{"value":{"entity-type":"item","numeric-id":3236254,"id":"Q3236254"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q923086$660C610B-1A9F-4963-A179-EE4B7E1EB916","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"726a9af26fa1b463ba33943bd4227ce14e517eb8","datavalue":{"value":{"entity-type":"item","numeric-id":5621733,"id":"Q5621733"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q923086$993EA691-3361-40D7-BE6A-3CB4793D9A57","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"1a1fa009ecc49a3bcb8d1b7ee9a9af5822f0dacf","datavalue":{"value":"https://doi.org/10.1007/bf01163715","type":"string"},"datatype":"url"},"type":"statement","id":"Q923086$8912BAB6-DF82-4327-B7D5-6EC5BB743DB0","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"96599250f88d34567ee1ef0ba49a29ffad0560ef","datavalue":{"value":"W2085888357","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q923086$F107C3AE-C5E3-4AB1-B516-CD6689B5C9BD","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fed01798493863ced59755400eae2db506d68217","datavalue":{"value":{"entity-type":"item","numeric-id":3352052,"id":"Q3352052"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3bc67ea631fa98f8dccf7183a72b96c692943cc6","datavalue":{"value":{"amount":"+0.7586248517036438","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":"Q923086$C7A38145-F0C9-4BBA-9F4C-B0BDF8324CAA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4d4515971baa81a00c383cdbb7a2f5641229e093","datavalue":{"value":{"entity-type":"item","numeric-id":1296758,"id":"Q1296758"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"93ce1d930acc2116741c139f5f88f306c7f9ea61","datavalue":{"value":{"amount":"+0.7297075390815735","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":"Q923086$C1767066-73F3-443F-B414-2A284ADDB1E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"304d7f1d460f7f049c89ceca186ec8a3c80da9cf","datavalue":{"value":{"entity-type":"item","numeric-id":4401003,"id":"Q4401003"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"60c4b073aa1e572bdcc9ab5c7302ab86412508f3","datavalue":{"value":{"amount":"+0.7229197025299072","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":"Q923086$4579E320-557C-44FE-9810-BADB431E46FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"167a4a1667d7b076636f2f5e53947fdb7157aafb","datavalue":{"value":{"entity-type":"item","numeric-id":1094673,"id":"Q1094673"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"77ac8ceb9921c30f30030050782babf6ee52cafe","datavalue":{"value":{"amount":"+0.7189950346946716","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":"Q923086$858179DF-49E9-488D-A0E9-A85303C44AD6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1cb8b349caeb7cc1e442c0d71c170ac7b00499ed","datavalue":{"value":{"entity-type":"item","numeric-id":1193726,"id":"Q1193726"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9f67e5d7e55cfcb4ff801591a23dbdf5dfb860c9","datavalue":{"value":{"amount":"+0.7181947231292725","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":"Q923086$2D6A1001-C69E-44D1-B60B-B47276FA856F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Combinatorial properties of incompatible systems of linear inequalities and polyhedra","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Combinatorial_properties_of_incompatible_systems_of_linear_inequalities_and_polyhedra"}}}}}