{"entities":{"Q1293671":{"pageid":1304421,"ns":120,"title":"Item:Q1293671","lastrevid":43006113,"modified":"2025-07-16T19:56:43Z","type":"item","id":"Q1293671","labels":{"en":{"language":"en","value":"Shellings and the lower bound theorem"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1310072"}},"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":"Q1293671$815C48EC-241B-4BDE-B5FE-2508BF3575BA","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"00118f81e9d14ed353755b9c287937d96885d4a1","datavalue":{"value":{"text":"Shellings and the lower bound theorem","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1293671$E989A1C0-B8ED-489C-B5C1-AB9B2C4B8940","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"23a51e8cc152a0888cd199facfde67198d4fe402","datavalue":{"value":"0948.52002","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1293671$8FCD3A8E-DE53-4A1E-8BB0-AB33CBAAFAD4","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"901131614a26ef5b6f0f5903eb96ac829604a362","datavalue":{"value":"10.1007/PL00009435","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1293671$7174DDFB-0F88-4AF5-929D-BDD8533A5E53","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"4cf2a361662c7c1bce692c9a480a1aa7191bc131","datavalue":{"value":{"entity-type":"item","numeric-id":748893,"id":"Q748893"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1293671$91907969-DE95-4C79-8FD5-DC8D786A5F4D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"715130b5af33ddf74231e84b440508650567f067","datavalue":{"value":{"entity-type":"item","numeric-id":748892,"id":"Q748892"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1293671$5EBD7689-5408-4C76-BF8D-6DD2102ADA29","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"b6f367138a9ac2b85113cfed5a6fd5bedcc8944c","datavalue":{"value":{"entity-type":"item","numeric-id":178842,"id":"Q178842"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1293671$61CDA6D1-C72A-4395-A66A-2279F8EF3D6F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7cafddcef351a781b52efdbab2297438896f87eb","datavalue":{"value":{"time":"+2000-11-12T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1293671$D3B58445-68EC-462B-8ABA-2AE9F35DFB12","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"7378747fdbdba7472c2ff9ab565edd947a4a9008","datavalue":{"value":"A stacked \\(d\\)-polytope \\(P_s\\) is a simplicial polytope obtained from a simplex by successive addition of pyramids over facets. The number of \\(k\\)-faces \\((1\\leq k\\leq d-1)\\) of \\(P_s\\) is some function \\(\\varphi_k(n,d),\\) where \\(n\\) is the vertex number of \\(P_s.\\)    The lower bound theorem (LBT) asserts that for a simplicial \\(d\\)-polytope \\(P\\) with \\(n\\) vertices, the number \\(f_k(P)\\) of \\(k\\)-faces of \\(P\\) satisfies the inequality \\(f_k(P)\\geq\\varphi_k(n,d),1\\leq k\\leq d-1.\\)    A shelling of the boundary complex \\(\\partial P\\) of \\(P\\) is an ordering \\(F_1,F_2,\\dots,F_m\\) of the facets of \\(P\\) so that \\(F_{i+ 1}\\cap\\cup_{t=1}^iF_t\\) is a nonempty union of \\((d-2)\\)-faces of \\(F_{i+ 1},1\\leq i\\leq m-1.\\) For \\(1\\leq i\\leq m,\\) let \\(\\mathcal K_i\\) be the complex spanned by \\(F_1,F_2,\\dots,F_i,\\) so that \\(\\mathcal K_m=\\partial P.\\) Then going from \\(\\mathcal K_i\\) to \\(\\mathcal K_{i+1}\\) by adding \\(F_{i+1}\\) is a shelling operation, in particular \\(j\\)-operation if \\(F_{i+1}\\) and \\(\\mathcal K_i\\) have \\(j\\) common \\((d-2)\\)-faces, \\(1\\leq j\\leq d.\\)    Let \\(h_j\\) be the number of \\(j\\)-operations among the \\(m-1\\) shelling operations. Then \\(n=d+h_1,\\) and \\(f_1(P)=\\binom d2+(d-1)h_1+h_2\\) and the LBT is equivalent to the following theorem: If \\(P\\) is a simplicial \\(d\\)-polytope \\((d\\geq 3),\\) then \\(h_1\\leq h_2,\\) and, for \\(f\\geq 4,\\) equality occurs only if \\(P\\) is stacked. This is a simple property of shellings, and the aim of this paper is to give an elementary proof of it using only shellings.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1293671$1A6DCE59-0333-404B-B8C1-5E54616F2EF6","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"78931806833c54190437f3675cf624ba3d256107","datavalue":{"value":"52B05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1293671$61AD6C1F-E318-4AD4-96F1-0A45B35EF93E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d5ae9e2988e76d371f7e87b79bcd004ea2b80f64","datavalue":{"value":"51M20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1293671$62D34837-0DD6-4368-BD64-9C2B8C493C77","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b2ab47e35b7392a8a271413c3b55c7e18fac1422","datavalue":{"value":"1310072","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1293671$3EF8C0C8-CB1E-4DBE-8401-963176D9FE4D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fd0f277c2df7f8ad7f377affc3d2abecc4d26f23","datavalue":{"value":"lower bound theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q1293671$82A0E8E8-59DB-4B81-A8E1-708A45826423","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0b026126c169308201ddd535efbfda63c3056211","datavalue":{"value":"stacked \\(d\\)-polytope","type":"string"},"datatype":"string"},"type":"statement","id":"Q1293671$26A43DDE-FB78-4758-ABA8-EB907A6B579F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"981d4d1be6acb6c13b24d23bf09014e4cd4a0d76","datavalue":{"value":"simplicial polytope","type":"string"},"datatype":"string"},"type":"statement","id":"Q1293671$BC57BE1C-30D4-4075-B5B7-0A603BCEC1A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a765d52c9e17259097d03b8629393280b617f46f","datavalue":{"value":"shelling","type":"string"},"datatype":"string"},"type":"statement","id":"Q1293671$7B169167-E290-4B1B-BD41-39AC265E35A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bfa4721d8f34b486841f634820ee6bd5cdaacc15","datavalue":{"value":"shelling operation","type":"string"},"datatype":"string"},"type":"statement","id":"Q1293671$784F3797-6C5C-446E-97FA-A793A216BAB3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5ad5599d0b8005742d4eb354b6906a61e9640688","datavalue":{"value":"chains","type":"string"},"datatype":"string"},"type":"statement","id":"Q1293671$FADB1AF6-1EB4-45B4-8170-68547055C1E1","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"c6855762fbb65267aee0ab3f9e382c688f4baaa2","datavalue":{"value":{"entity-type":"item","numeric-id":593300,"id":"Q593300"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1293671$B30F2D5C-75F8-4511-AA4D-32480FEF2C2D","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":"Q1293671$141AB69A-17F5-4533-AF75-34773A96DB95","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"8c0da665d7fd518e79abbc91522c8c332769fa84","datavalue":{"value":"https://doi.org/10.1007/pl00009435","type":"string"},"datatype":"url"},"type":"statement","id":"Q1293671$C1A9D503-55A4-48CA-885D-F47AFB3ADB56","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"3c9c951a73c198cff9167ba32ca75eee57344c43","datavalue":{"value":"W2036824761","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1293671$D63117E8-1120-4014-AC20-21C62762234F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e6086edd2fa5b7fb62f4c8e83b5def0a96fd222e","datavalue":{"value":{"entity-type":"item","numeric-id":3093193,"id":"Q3093193"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0b82cf30e7bda60f177d478a771311360e291ea6","datavalue":{"value":{"amount":"+0.84640163","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":"Q1293671$6049047E-FDA7-40AA-A4B5-3B9768F10CD7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"014e84019590f59aee7e5f2c5e0f37fed121a208","datavalue":{"value":{"entity-type":"item","numeric-id":3757833,"id":"Q3757833"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"363e8e6e61a3f93f39e0a666cc94d85abada07f7","datavalue":{"value":{"amount":"+0.84306985","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":"Q1293671$3B5757AE-73E9-4C4B-9DC7-D166E5D7672D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fc9bb18bd003e90b61cb6d15e89f2e8e0d5fb03f","datavalue":{"value":{"entity-type":"item","numeric-id":3518743,"id":"Q3518743"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ed7ced508fdd1c4581d4a71eade31161dcb5d203","datavalue":{"value":{"amount":"+0.83830786","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":"Q1293671$EEF5ED39-1947-44C0-A8C0-9EB07E7975F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"db79b3f3b8c3cda18193d2cafa6232d97d3fd546","datavalue":{"value":{"entity-type":"item","numeric-id":3217682,"id":"Q3217682"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"786b3e727103749744e14972a58047b41b725025","datavalue":{"value":{"amount":"+0.83675396","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":"Q1293671$2A293988-50FB-4E8E-BF3C-C3E730D117E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5c8d128d197270268c3827505f02fc78db5b7805","datavalue":{"value":{"entity-type":"item","numeric-id":4691745,"id":"Q4691745"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ea1cb268bcb863938a8590f12d59997973f347a0","datavalue":{"value":{"amount":"+0.83335423","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":"Q1293671$A2F78CB5-A5A4-41CF-81C3-35B097F90E05","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"91c9ee4bc0d388217a60eaae9263f91f7a37e775","datavalue":{"value":{"entity-type":"item","numeric-id":3773928,"id":"Q3773928"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6205e7705bc6c20043c400134e0f4d0e11b2a9ab","datavalue":{"value":{"amount":"+0.8328159","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":"Q1293671$09EC559B-34A0-46E3-9A81-FBDD598CF069","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"452b0351b2f434a44323ed49f00278597bf0083a","datavalue":{"value":{"entity-type":"item","numeric-id":5753068,"id":"Q5753068"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8d18be0b9414a8be0c4a649ab3801e59de0a0c12","datavalue":{"value":{"amount":"+0.8325426","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":"Q1293671$FDE09E6E-05A6-4EE0-8B89-D482CDDF2369","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"039affdd110ce759c76b871b0af74335d4229fcd","datavalue":{"value":{"entity-type":"item","numeric-id":4348953,"id":"Q4348953"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"82b7f0af928ea41166af7809f5a5abb32d69d744","datavalue":{"value":{"amount":"+0.8317215","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":"Q1293671$EC9D3CC3-2A97-46BE-B410-4D6CEBCBE929","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0fcb2787728b09e059ee0ef959cf8c6db0648697","datavalue":{"value":{"entity-type":"item","numeric-id":2363681,"id":"Q2363681"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"749a10281724a5bf007d8eb4f6cf2995474e311c","datavalue":{"value":{"amount":"+0.8316725","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":"Q1293671$D83BE16E-350A-4442-887F-873AB2F0A350","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1293671","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1293671"}}}}}