{"entities":{"Q505699":{"pageid":507466,"ns":120,"title":"Item:Q505699","lastrevid":62341131,"modified":"2026-04-11T05:25:47Z","type":"item","id":"Q505699","labels":{"en":{"language":"en","value":"Facets of the \\(r\\)-stable \\((n,k)\\)-hypersimplex"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6678314"}},"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":"Q505699$0501574F-C33C-4F42-98B8-B1D8DB649347","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"3cec9698b90dcea77e6f0c153d1fa7909f1fc928","datavalue":{"value":{"text":"Facets of the \\(r\\)-stable \\((n,k)\\)-hypersimplex","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q505699$2E9B5345-850C-43C0-AB9F-B3034066C75B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"5c2cee782bee1abbe4ca7b57e10654c6b4195060","datavalue":{"value":"1367.52008","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q505699$3A67F89C-7D84-42E5-B766-B0E6A97AA73E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"3abc6a70dbf6482813534e44e9cb5a1449332bf6","datavalue":{"value":{"entity-type":"item","numeric-id":249579,"id":"Q249579"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q505699$4B29D8E6-4DEA-4DD8-B0AF-885D164ECD4D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a634f9e2e3988f29362d9e29fa52da00494e1629","datavalue":{"value":{"entity-type":"item","numeric-id":314766,"id":"Q314766"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q505699$40E2E273-E188-4322-826A-7E09710EBB80","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"710cc084d2ed0d09beceb5d2d7c52611268d6193","datavalue":{"value":{"entity-type":"item","numeric-id":159225,"id":"Q159225"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q505699$0C13951C-EF1C-4E2A-8A05-98165F68CF26","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ce03103194246a3df27ce58b06ab6f4262232789","datavalue":{"value":{"time":"+2017-01-26T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q505699$A954DFF2-4EB7-477C-81EA-7782C7E85D1B","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"b008c44a864fd543c9e8c9b43cacbc17b0f5c8a3","datavalue":{"value":"https://arxiv.org/abs/1408.5932","type":"string"},"datatype":"url"},"type":"statement","id":"Q505699$637ED998-558F-47EB-99ED-47AD71CACA3B","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"2b6b3ec95763e0db22db787535adb5149786fb88","datavalue":{"value":"For integers \\(0<k<n\\), let \\([n] = \\{1,\\ldots,n\\}\\) and \\({[n]\\choose k}\\) denote the collection of all \\(k\\)-element subsets of \\([n]\\). The characteristic vector of a subset \\(I\\in {[n]\\choose k}\\) is the \\(0/1\\)-vector \\(\\tilde{\\epsilon}_I = (\\epsilon_1,\\ldots,\\epsilon_n)\\) where \\(\\epsilon_i = 1\\) if \\(i\\in I\\) and \\(\\epsilon_i = 0\\) if \\(i\\not\\in I\\). The \\textit{\\((n,k)\\)-hypersimplex \\(\\Delta_{n,k}\\)} is the convex hull of \\(\\{\\tilde{\\epsilon}_I : I\\in {[n]\\choose k}\\}\\) in \\({\\mathbb{R}^n}\\). For varying \\(k\\) and \\(n\\) the class of hypersimplices forms an important collection of integer polytopes that generalize the standard \\((n-1)\\)-simplex. Now, assume the vertices of the \\(n\\)-cycle graph \\(C_n\\) are labeled in a clockwise fashion from \\(1\\) to \\(n\\). For an integer \\(r \\in \\{1,\\ldots,\\lfloor n/k\\rfloor\\}\\) a subset \\(I\\in {[n]\\choose k}\\), and the corresponding characteristic vector \\(\\tilde{\\epsilon}_I\\), is called \\textit{\\(r\\)-stable} if for every \\(i,j\\in I\\) the distance between vertices \\(i\\) and \\(j\\) on \\(C_n\\) is at least \\(r\\), that is \\(d_{C_n}(i,j)\\geq r\\). The \\textit{\\(r\\)-stable \\((n,k)\\)-hypersimplex} is the convex hull of all \\(r\\)-stable \\(\\tilde{\\epsilon}_I\\) where \\(I\\in {[n]\\choose k}\\).  The first main result of the paper is the derivation of the facet-defining inequalities of the facets of the \\(r\\)-stable \\((n,k)\\)-hypersimplices, in terms of \\((x_1,\\ldots, x_n)\\in {\\mathbb{R}^n}\\) for each \\(r \\in \\{1,\\ldots,\\lfloor n/k\\rfloor\\}\\), in particular, if \\(r\\neq\\lfloor n/k\\rfloor\\), then they all have exactly \\(2n\\) facets.  For a rational \\(d\\)-polytope \\(P\\subseteq {\\mathbb{R}}^n\\) and an integer \\(q\\geq 1\\) let \\(qP = \\{q\\tilde{t} : \\tilde{t}\\in P\\}\\). For indeterminates \\(x_1,\\ldots,x_n,z\\) over some field \\(K\\) let \\(A(P)_q\\) be the vector space over \\(K\\) spanned by the monomials \\(x_1^{t_1}\\cdots x_n^{t_n}z^q\\) where \\(\\tilde{t} = (t_1,\\ldots,t_n)\\in qP\\cap {\\mathbb{Z}}^n\\). By the convexity of \\(P\\) the \\textit{Ehrhart ring} \\(A(P) := \\bigoplus_{q\\geq 0}A(P)_q\\) is a well-defined finitely generated graded \\(K\\)-algebra. The polytope \\(P\\) is said to be \\textit{Gorenstein} if the Ehrhart ring \\(A(P)\\) is a Gorenstein ring. The second main result of the paper is the classification of those \\(r\\)-stable \\((n,k)\\)-hypersimplices that are Gorenstein as precisely those where \\(n = k(r+1)\\). In particular, \\(n = k(r+1)\\) implies that the \\(r\\)-stable \\((n,k)\\)-hypersimplices all have unimodal (Ehrhart) \\(\\delta\\)-vectors.","type":"string"},"datatype":"string"},"type":"statement","id":"Q505699$88F54D30-76ED-4590-8209-38C17F6C3AF5","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"40a8c8304e09a825de719366905817f3f4c840d6","datavalue":{"value":{"entity-type":"item","numeric-id":368450,"id":"Q368450"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q505699$4A125485-E5D0-48FA-A2FA-9DEFFC1EB0DE","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"78931806833c54190437f3675cf624ba3d256107","datavalue":{"value":"52B05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q505699$6CFA4101-45FE-4AAC-94A1-584E64A46A86","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b01ad1b16eab7f86b2e20d189e8d8d07f644af25","datavalue":{"value":"52B20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q505699$BCE833FC-3C88-4350-A039-AE049B23F728","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c297b30874ba400ee1e135f749155e44afd911e7","datavalue":{"value":"6678314","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q505699$7B142141-A134-49D2-B143-807B9A60D7A4","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8c8527979b937761b9bfcc1a649c8be634b97912","datavalue":{"value":"\\(r\\)-stable hypersimplex","type":"string"},"datatype":"string"},"type":"statement","id":"Q505699$40B358ED-1461-4E40-AE37-41D19C96D118","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a27fd06b9ea60ae0c455503373e98fc315253f8a","datavalue":{"value":"hypersimplex","type":"string"},"datatype":"string"},"type":"statement","id":"Q505699$35F11718-7A14-4353-9933-8A02CDB948EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"826588fa69c00b8a1a44fba987b4a4fd45caa4cb","datavalue":{"value":"facet","type":"string"},"datatype":"string"},"type":"statement","id":"Q505699$74BB1252-EF24-4FE2-A346-ED14AB820B03","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"11f1b7bedad69fb8c92081a432a714676c57a9b9","datavalue":{"value":"Gorenstein","type":"string"},"datatype":"string"},"type":"statement","id":"Q505699$5823FA70-BDD2-4AAF-B481-E8922B8F7B25","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":"Q505699$33041D02-6CC5-4605-870F-0B904A644AAB","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"9918f45ca4c941c86fc6a16d5174f33774a989f1","datavalue":{"value":"W264549504","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q505699$EF55E170-0462-4F05-BE07-1CB23C0A8B79","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"586de593bed0c33ceb1018085f264eff17f1c6de","datavalue":{"value":"Q59470276","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q505699$5955B0EE-B65F-4A43-8662-06380B5C090E","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"d80228179adeb1b4d56e93a3041fb54fc32b90d3","datavalue":{"value":{"entity-type":"item","numeric-id":3415206,"id":"Q3415206"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q505699$2D450850-4944-4A74-A263-03DACBAADDA3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5a9f2b3bad58c0f2643501eb05546c8ab1e68f26","datavalue":{"value":{"entity-type":"item","numeric-id":1747775,"id":"Q1747775"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q505699$A5423F47-2D49-4C2D-ADE1-DBED934C330A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d9bf24b5dae698e5efd5d9a9eb74261c09fec10e","datavalue":{"value":{"entity-type":"item","numeric-id":857415,"id":"Q857415"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q505699$D9C8C687-A5D6-4481-BBBB-3F2B569160F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9a47e3dbe7df7f3446504d734eaf03ff26b3c16e","datavalue":{"value":{"entity-type":"item","numeric-id":1042445,"id":"Q1042445"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q505699$09264D83-F1D3-4E21-885E-970A1ECAEA29","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"91f2e98854606a9e7b626a22b6628c51241ca944","datavalue":{"value":{"entity-type":"item","numeric-id":1364307,"id":"Q1364307"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q505699$BFF195D8-0009-4B17-B552-25F31ADC43C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"32e2e177f781b7701f1625527b577b9dc35d9d34","datavalue":{"value":{"entity-type":"item","numeric-id":1196693,"id":"Q1196693"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q505699$5D95129A-324C-4BBB-AA13-2A2CC031D22A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"72234c5ab71512aa8d7e345cefa565be7dd1d1df","datavalue":{"value":{"entity-type":"item","numeric-id":4681033,"id":"Q4681033"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q505699$DA6D862A-01D3-4169-AA4B-81F2DF5FB14C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9bb9cc989ebd827fae100b001dd874c8b0b278c6","datavalue":{"value":{"entity-type":"item","numeric-id":2465411,"id":"Q2465411"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q505699$AECA5568-6187-47BC-8033-00AB709DF688","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a38cc417236efd5feb9a933a7725da44f704e89b","datavalue":{"value":{"entity-type":"item","numeric-id":1260775,"id":"Q1260775"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q505699$6A5F5C9D-721F-45E4-9368-EF65DF1C0AAB","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"7f80eee76dd020d21a177f17903bfe766146bbe8","datavalue":{"value":"10.1007/S00026-016-0325-X","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q505699$10E74215-4E98-4B4F-98D4-3F38EA5D31BF","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"33c096fe0f252302b65485009c81dc192a02573e","datavalue":{"value":{"entity-type":"item","numeric-id":1747775,"id":"Q1747775"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0511607aa0540849a2f1a03ad8c22d1ef212083c","datavalue":{"value":{"amount":"+0.8221638798713684","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":"Q505699$905130A0-4724-4C3A-A3D5-7E186A93DE6F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d1c5ce4d41bbad2fb7416d1139adc385d24f4490","datavalue":{"value":{"entity-type":"item","numeric-id":1930548,"id":"Q1930548"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a7c22b125aa99965d1735d331d5c9005c9506ac6","datavalue":{"value":{"amount":"+0.7130973935127258","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":"Q505699$61038D67-A115-4570-B308-1F25A3582E9F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a7ae243ec03d5e26ace33c63c230ab5ba88c3248","datavalue":{"value":{"entity-type":"item","numeric-id":5746119,"id":"Q5746119"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b90bf60fcec7ff7e33ddf12d903ac44e378918d5","datavalue":{"value":{"amount":"+0.7095532417297363","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":"Q505699$C9198A75-DFA3-4219-9181-3B8844351C47","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"44b3577a7581cfb9cfff3ea02842423c4b62ed95","datavalue":{"value":{"entity-type":"item","numeric-id":5502212,"id":"Q5502212"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4ca96ec7d3637d6aacc297f7eafd9f7d1dbe5cd3","datavalue":{"value":{"amount":"+0.7053223848342896","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":"Q505699$55B4C429-747A-446F-89FF-EED8FB15D219","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"29e9913e3ce4d70b55cab7315e54ececee1d32c7","datavalue":{"value":{"entity-type":"item","numeric-id":1745198,"id":"Q1745198"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"77e5bdcac5fd878da64254ea7ff7791ff51d5a54","datavalue":{"value":{"amount":"+0.7030172944068909","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":"Q505699$48FC6339-4033-42D9-B23E-199CAF01E935","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"45fcd4163b5f33e6e8c784f5522d7246c0a1a61e","datavalue":{"value":{"entity-type":"item","numeric-id":57056,"id":"Q57056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q505699$6D1FC5FF-8D6C-4DE3-A708-EFD35501CB94","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Facets of the \\(r\\)-stable \\((n,k)\\)-hypersimplex","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Facets_of_the_%5C(r%5C)-stable_%5C((n,k)%5C)-hypersimplex"}}}}}