{"entities":{"Q405311":{"pageid":407078,"ns":120,"title":"Item:Q405311","lastrevid":61601814,"modified":"2026-04-11T00:24:48Z","type":"item","id":"Q405311","labels":{"en":{"language":"en","value":"On saturated \\(k\\)-Sperner systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6340246"}},"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":"Q405311$414ADF9E-F56A-4321-B797-D1216C06C2E0","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"860e22da0475bf16dc063df8534ccfc2e31e2851","datavalue":{"value":{"text":"On saturated \\(k\\)-Sperner systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q405311$D4BD6147-A0BE-4D09-877B-2F75B3124E10","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"000759537f0307f4540c7fef41c31ccbf94f1119","datavalue":{"value":"1300.05310","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q405311$F6A4F103-F539-4820-90BC-731F1F507C75","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"2b1b941347ca0f7d774e863c84a89774a5575b09","datavalue":{"value":{"entity-type":"item","numeric-id":405310,"id":"Q405310"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q405311$BA9DFBDF-ED17-4BBA-8760-FFC50DFBA330","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"baec98a08bfece09a692d55be166c1546004bb05","datavalue":{"value":{"entity-type":"item","numeric-id":301587,"id":"Q301587"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q405311$45F94082-A9FB-4EA4-BACC-CC138B18CA00","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f8b2beaa85ff67f6ba8323eb17002460f5e5f0aa","datavalue":{"value":{"entity-type":"item","numeric-id":846045,"id":"Q846045"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q405311$21CCCAAF-682F-4250-AEBD-2AC8C998B2DB","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"ebc7441ecfd9ecfa38d48ddc4b2adb39ac7d7000","datavalue":{"value":{"entity-type":"item","numeric-id":161296,"id":"Q161296"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q405311$FC7EEFF8-354D-48D3-8CA8-1034D9221FD5","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f9d8fea32a46af1bd8128cc5dcfc32073a3817d0","datavalue":{"value":{"time":"+2014-09-04T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q405311$8A75E862-881B-4BF5-9268-46E0E1F71113","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"fe0fc9d748a2d4f0f0454d5a36bb1d03147b505b","datavalue":{"value":"https://arxiv.org/abs/1402.5646","type":"string"},"datatype":"url"},"type":"statement","id":"Q405311$D904DDB1-E4BD-4D7C-893B-37862605BA9C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P205","hash":"02715983e900382ac2f0a78cdc05ae38a25a3789","datavalue":{"value":"http://www.combinatorics.org/ojs/index.php/eljc/article/view/v21i3p22","type":"string"},"datatype":"url"},"type":"statement","id":"Q405311$29A7385B-89BB-4366-8110-C149AB4115C4","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"c569ca18b9358c0a32c742f0b58148709a23375d","datavalue":{"value":"Summary: Given a set \\(X\\), a collection \\(\\mathcal{F}\\subseteq\\mathcal{P}(X)\\) is said to be \\(k\\)-Sperner if it does not contain a chain of length \\(k+1\\) under set inclusion and it is saturated if it is maximal with respect to this property. \\textit{D. Gerbner} et al. [Graphs Comb. 29, No. 5, 1355--1364 (2013; Zbl 1272.05212)] conjectured that, if \\(|X|\\) is sufficiently large with respect to \\(k\\), then the minimum size of a saturated \\(k\\)-Sperner system \\(\\mathcal{F}\\subseteq\\mathcal{P}(X)\\) is \\(2^{k-1}\\). We disprove this conjecture by showing that there exists \\(\\epsilon0\\) such that for every \\(k\\) and \\(|X| \\geq n_0(k)\\) there exists a saturated \\(k\\)-Sperner system \\(\\mathcal{F}\\subseteq\\mathcal{P}(X)\\) with cardinality at most \\(2^{(1-\\epsilon)k}\\).{  }A collection \\(\\mathcal{F}\\subseteq \\mathcal{P}(X)\\) is said to be an oversaturated \\(k\\)-Sperner system if, for every \\(S\\in\\mathcal{P}(X)\\setminus\\mathcal{F}\\), \\(\\mathcal{F}\\cup\\{S\\}\\) contains more chains of length \\(k+1\\) than \\(\\mathcal{F}\\). Gerbner et al. proved that, if \\(|X|\\geq k\\), then the smallest such collection contains between \\(2^{k/2-1}\\) and \\(O\\left(\\frac{\\log{k}}{k}2^k\\right)\\) elements. We show that if \\(|X|\\geq k^2+k\\), then the lower bound is best possible, up to a polynomial factor.","type":"string"},"datatype":"string"},"type":"statement","id":"Q405311$32AA06E6-4685-4C38-9EDF-951AC379F4C7","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9bd9af688c0b97c53a0660570659cd00420d9c9b","datavalue":{"value":"05D05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q405311$9E2F37AD-0C67-4BF4-ADC1-E1E001ABFB26","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b4b251e34f965e85a4a30c5d646e0bae1192967","datavalue":{"value":"05D10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q405311$4E13E6F6-76FF-47F4-A5BA-52133CBE4A74","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c64e0d3ff53f556a5fcc13f94b38e0f56ad3efa6","datavalue":{"value":"6340246","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q405311$C32F999B-EBE7-4009-AA0C-D6124ECA3A9B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f880cdb87fd74f9da51a5aa44b9cc21ec1ff6b61","datavalue":{"value":"minimum saturation","type":"string"},"datatype":"string"},"type":"statement","id":"Q405311$0D39AEA0-9C06-49CF-9EE1-844C83F2CC7C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"858cea63409c97ac68cfbf036e3437a6237d4210","datavalue":{"value":"set systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q405311$310E5EE4-DC0B-4F42-AAF0-9B8F35F18AC1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6fe7e632c674266756b5b0efc5ef9fa798a66c26","datavalue":{"value":"Sperner systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q405311$20A1556A-8B3E-4D8C-9A14-4759010C88D4","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":"Q405311$DC440CF2-D490-4322-A1D3-BF0EE03272F7","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"dd79ed51cd0e174737d2ef0cbfd7bb79987579ab","datavalue":{"value":{"entity-type":"item","numeric-id":543991,"id":"Q543991"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q405311$FBA728FC-9138-4269-BA42-AFA9ECBCA6CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"adbeff09f0adceec23c2f944f247b0b1cc17ce78","datavalue":{"value":{"entity-type":"item","numeric-id":5521321,"id":"Q5521321"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q405311$49CDB12F-06A5-45BA-85C4-5C1C3FAFE21A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9d6d4b7522fbf0d46a39ddd075254faf1dd2afcb","datavalue":{"value":{"entity-type":"item","numeric-id":5558932,"id":"Q5558932"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q405311$CA2ABA35-2A50-4E76-8386-E826D1FA053A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6c67cd1fc5f79128afc0722554e08faf0c36cc03","datavalue":{"value":{"entity-type":"item","numeric-id":3726125,"id":"Q3726125"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q405311$0731CA2A-9B8D-43D4-AEF8-1047E0E94E64","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7635619e92aa2eca718afad6de7116392da3aa78","datavalue":{"value":{"entity-type":"item","numeric-id":2998920,"id":"Q2998920"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q405311$A39B8CEB-3188-4787-BE29-AB0A26DC7B68","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d0b64ed9290ecc7b79953c10f6e8354cdd0f139d","datavalue":{"value":{"entity-type":"item","numeric-id":5842843,"id":"Q5842843"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q405311$F1492561-FCF8-44F1-AD7E-E4ED7930BFC1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2ddf7afe64214df3c630d9e91c931a3c591a44ef","datavalue":{"value":{"entity-type":"item","numeric-id":1184855,"id":"Q1184855"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q405311$CFB85B07-7B02-4248-B6F3-24891968555E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6003b20622a76e9dda63a260950197adafe9dcb8","datavalue":{"value":{"entity-type":"item","numeric-id":5331782,"id":"Q5331782"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q405311$C461A96B-A2F1-4045-82BD-A5786B049C3E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"339bc7dd3da3eb4fe8ed7a5486c77b5908e8a4ce","datavalue":{"value":{"entity-type":"item","numeric-id":554011,"id":"Q554011"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q405311$A074734B-0DE6-47E1-A1A0-CC818C46C654","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7a8427f6f49fa225ccd4bc86f6c8c4da5a086eb5","datavalue":{"value":{"entity-type":"item","numeric-id":367051,"id":"Q367051"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q405311$398C0C63-B1CA-4D0D-B93D-8E551A6A73D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3d3b84ecd00b58a1e68985372f7f5c8fc21b440d","datavalue":{"value":{"entity-type":"item","numeric-id":5366933,"id":"Q5366933"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q405311$B333BFF2-0402-444B-AAE7-C598CF77B50E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1cb44fa19ef432ebe70a929dc7ab6c3c9375a250","datavalue":{"value":{"entity-type":"item","numeric-id":3722536,"id":"Q3722536"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q405311$29D0600A-DF36-42FC-9D22-3667704B2FE5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"59d7427adc632af85510201db03d040d32e5ae5c","datavalue":{"value":{"entity-type":"item","numeric-id":4934787,"id":"Q4934787"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q405311$7E117E87-B700-4908-8C42-1D2C626CBC8F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b3a6abbb422e77b4d1d16607b3bf315857b3aae8","datavalue":{"value":{"entity-type":"item","numeric-id":1972152,"id":"Q1972152"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q405311$31CDF60B-6F5D-4A08-8EC8-078511C48F9E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1a1a4574cd5e66894930e7c6e31f9766c6b413d1","datavalue":{"value":{"entity-type":"item","numeric-id":5463484,"id":"Q5463484"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q405311$17D4CA70-BC17-4880-8F04-2D01F8BCC98B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b71402670da660f99dbee96fb16e733a8ef3da58","datavalue":{"value":{"entity-type":"item","numeric-id":5750884,"id":"Q5750884"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q405311$BB1B9A42-6313-4EE1-8B9E-2FB4251B743F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d72e5a80e371e37f37528a2c64a4dae001915338","datavalue":{"value":{"entity-type":"item","numeric-id":5526641,"id":"Q5526641"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q405311$83AE0706-EA3B-4654-96BB-29F091EA0EB1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"953d3a327835eec3c80dfeea667f460797e1c998","datavalue":{"value":{"entity-type":"item","numeric-id":5554162,"id":"Q5554162"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q405311$450E3265-E380-43F1-B0BE-0599EB469699","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2d6ce350b643405973dadc214d64ab2407498d62","datavalue":{"value":{"entity-type":"item","numeric-id":5790850,"id":"Q5790850"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q405311$E1D7C6B8-A9D4-433C-9F05-2D9B8B3CCC64","rank":"normal"}],"P1633":[{"mainsnak":{"snaktype":"value","property":"P1633","hash":"8b9b497812f451deb3d25f266ec9d292ccb65874","datavalue":{"value":"bafkreigilkvj44l54wdpb4lg2ongznsnbjiuvmw4mctc7kyzchasoeifqe","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q405311$D43313EC-102B-43B1-B15D-12E35C043F6A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"941e3469f9a0dd9956bb6dd5985f3c42999d8dab","datavalue":{"value":{"entity-type":"item","numeric-id":367051,"id":"Q367051"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"39ec9147c37fa4bc9ddd85e806acccc92b4bfaea","datavalue":{"value":{"amount":"+0.803770124912262","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":"Q405311$DA9BEABC-9561-4FF6-B48D-E16CFC26E311","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"da872b773fc403578e4a2f60ab65a7a6fa8ac600","datavalue":{"value":{"entity-type":"item","numeric-id":4583638,"id":"Q4583638"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4f6d6f3d74c5fb5e72728adf30aac7ff028f6a29","datavalue":{"value":{"amount":"+0.786142885684967","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":"Q405311$2F7BF50F-5B74-454B-AD3B-0FF4FDA2D4F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"57078359d80f55d41842b9d1fe495c2b91a33c32","datavalue":{"value":{"entity-type":"item","numeric-id":5364244,"id":"Q5364244"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"20c3c892c0ef2cdc229eea4cd4c1b26f8b7c489a","datavalue":{"value":{"amount":"+0.7828428745269775","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":"Q405311$57093F13-1BF0-4820-B83C-5FBFE95C48F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"80d763915b153df8f7dd7ba8f2b1a281eb5dc599","datavalue":{"value":{"entity-type":"item","numeric-id":5262057,"id":"Q5262057"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"50f40d96604cc108fecb80be63bfd8633cc89b05","datavalue":{"value":{"amount":"+0.7786322832107544","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":"Q405311$41BCCDD7-5CDB-40C2-A483-9DA8226055A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bdb4015eaf25956a544c8a242a5c2a04b1cfc2e4","datavalue":{"value":{"entity-type":"item","numeric-id":1363663,"id":"Q1363663"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8a28178543e2223d0e3f2aa215a0b705ea20865b","datavalue":{"value":{"amount":"+0.7751191258430481","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":"Q405311$40FCCB74-E0BC-499C-8780-396C1E84E0DD","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"On saturated \\(k\\)-Sperner systems","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/On_saturated_%5C(k%5C)-Sperner_systems"}}}}}