{"entities":{"Q1953417":{"pageid":1964159,"ns":120,"title":"Item:Q1953417","lastrevid":57631803,"modified":"2026-03-31T16:54:51Z","type":"item","id":"Q1953417","labels":{"en":{"language":"en","value":"Families that remain \\(k\\)-Sperner even after omitting an element of their ground set"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6171871"}},"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":"Q1953417$EBC0559A-ADBC-44B8-B320-8670B455430D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b6913bf8de5697cc9f9e7c99306a60f8204c2673","datavalue":{"value":{"text":"Families that remain \\(k\\)-Sperner even after omitting an element of their ground set","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1953417$4E77DEFA-32E0-4683-936C-830DD329EC0D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a1058dc48c9d80e78259d2f89cf3e422991577e6","datavalue":{"value":"1267.05282","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1953417$D58A7F91-0E61-419C-B68D-F2452E285672","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"be697b915466aa0472f088a7a4adb7b421dd1b46","datavalue":{"value":{"entity-type":"item","numeric-id":322260,"id":"Q322260"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1953417$4C1D850B-A80F-4665-A618-4FD054971A77","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":"Q1953417$6FD58452-2576-47AC-9E2F-88D726D94D2E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"4a8303ee696998ba030c9b1c3b6bc07c6038c334","datavalue":{"value":{"time":"+2013-06-07T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1953417$9FA99A1D-DE73-4074-87B3-A0B67D471B7D","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"5cfb3b225b2039bc57b7a0ebc6ee2acb6842371c","datavalue":{"value":"https://arxiv.org/abs/1207.2923","type":"string"},"datatype":"url"},"type":"statement","id":"Q1953417$2133B9FF-7BE7-4FBB-8F73-2798667ED3F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P205","hash":"bf5a7f89504507adae17429406d64819d0d13279","datavalue":{"value":"http://www.combinatorics.org/ojs/index.php/eljc/article/view/v20i1p32","type":"string"},"datatype":"url"},"type":"statement","id":"Q1953417$A1D644C4-85A1-458C-924C-97B608253E31","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"c17b42f19b3e225dc372a6cc1660a9b582637312","datavalue":{"value":"Summary: A family \\(\\mathcal{F} \\subseteq 2^{[n]}\\) of sets is said to be \\(l\\)-trace \\(k\\)-Sperner if for any \\(l\\)-subset \\(L \\subset [n]\\) the family \\(\\mathcal{F}|_L=\\{F|_L:F \\in \\mathcal{F}\\}=\\{F \\cap L: F \\in \\mathcal{F}\\}\\) is \\(k\\)-Sperner, i.e. does not contain any chain of length \\(k+1\\). The maximum size that an \\(l\\)-trace \\(k\\)-Sperner family \\(\\mathcal{F} \\subseteq 2^{[n]}\\) can have is denoted by \\(f(n,k,l\\). For pairs of integers \\(l<k\\), if in a family \\(\\mathcal{G}\\) every pair of sets satisfies \\(\\bigl||G_1|-|G_2|\\bigr| < k-l\\), then \\(\\mathcal{G}\\) possesses the \\((n-l)\\)-trace \\(k\\)-Sperner property. Among such families, the largest one is \\(\\mathcal{F}_0 = \\{F\\in 2^{[n]}: \\lfloor \\frac{n-(k-l)}{2}\\rfloor+1 \\leq |F| \\leq \\lfloor \\frac{n-(k-l)}{2}\\rfloor +k-l\\}\\) and also \\(\\mathcal{F}'_0=\\{F\\in 2^{[n]}: \\lfloor \\frac{n-(k-l)}{2}\\rfloor \\leq |F| \\leq \\lfloor \\frac{n-(k-l)}{2}\\rfloor +k-l-1\\}\\) if \\(n-(k-l)\\) is even. In an earlier paper, we proved that this is asymptotically optimal for all pair of integers \\(l<k\\), i.e., \\(f(n,k,n-l)=(1+o(1))|\\mathcal{F}_0|\\).    In this paper we consider the case when \\(l=1, k\\geq 2\\), and prove that \\(f(n,k,n-1) = |\\mathcal{F}_0|\\) provided \\(n\\) is large enough. We also prove that the unique \\((n-1)\\)-trace \\(k\\)-Sperner family with size \\(f(n,k,n-1)\\) is \\(\\mathcal{F}_0\\) and also \\(\\mathcal{F}'_0\\) when \\(n+k\\) is odd.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1953417$0684C3F7-2B7E-4419-B3ED-CAD3F4AB2CD7","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9bd9af688c0b97c53a0660570659cd00420d9c9b","datavalue":{"value":"05D05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1953417$558EB1FD-712A-47FE-9FFF-4489D9E4EA72","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"28ef1e7db97cb6608b8d9f1f490c54d5068d0a10","datavalue":{"value":"6171871","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1953417$C173E4B0-A796-443D-8ABD-C0B39098A70E","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4fc45a39b6514eb86ee5d4079df7abcabd2bacb9","datavalue":{"value":"extremal set systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q1953417$326B16CE-C353-444C-B7B1-342C29F5C185","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5ad5599d0b8005742d4eb354b6906a61e9640688","datavalue":{"value":"chains","type":"string"},"datatype":"string"},"type":"statement","id":"Q1953417$B3F8DF50-1877-4379-8DC1-E06FBC93DE43","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f6ce889a8a92a5adf9884f2ba6068fac0f7d64b3","datavalue":{"value":"traces","type":"string"},"datatype":"string"},"type":"statement","id":"Q1953417$90780C7B-C6CE-41DD-901F-AE32B0A84205","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":"Q1953417$ACB691BC-A9D3-4945-894D-D4199C0380BB","rank":"normal"}],"P1633":[{"mainsnak":{"snaktype":"value","property":"P1633","hash":"d2115e58ea48cf52ef7664d181e71f73f2357cfc","datavalue":{"value":"bafkreic6agzxid5a5x73ndlhqdmwlmtcty6yahrne4u22igzllbtidnvcm","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1953417$329899BE-B9DC-46CF-8A17-A09C8B0F5B69","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2faec627c6019c5975fe4e89aacbec1f6b0e0277","datavalue":{"value":{"entity-type":"item","numeric-id":1024991,"id":"Q1024991"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"15196e505bede170faa11d4df757b5f4c3154fb3","datavalue":{"value":{"amount":"+0.9192553758621216","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":"Q1953417$76993B77-155A-49C6-BD66-FC42644282D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7f7d559a4cf6a1300c2d5de557ef05e5fa7565b5","datavalue":{"value":{"entity-type":"item","numeric-id":1937361,"id":"Q1937361"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2fd5374272d99023a69cf15bd1733fbecc8e780e","datavalue":{"value":{"amount":"+0.8365055918693542","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":"Q1953417$2F620AC7-9363-4BD1-9189-6D91EAA07C4C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7a1d40d63f4b16ce1f356a679ae5fc0c713e8dc4","datavalue":{"value":{"entity-type":"item","numeric-id":1010900,"id":"Q1010900"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7abec5eee68041c332ed538e6bf80788e05522e5","datavalue":{"value":{"amount":"+0.786932647228241","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":"Q1953417$765E9561-A753-4826-BE0E-1D152AA37E90","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c5c6f8589902cf60ce3c401f3ec9bd1ed15c1965","datavalue":{"value":{"entity-type":"item","numeric-id":1377738,"id":"Q1377738"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e4b472c81f124cc56a393d2278039f077eb80f87","datavalue":{"value":{"amount":"+0.783997118473053","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":"Q1953417$07270368-84F1-4CF7-B02B-7CB1EBE6A233","rank":"normal"},{"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":"6d63d2eb668c0156ba0f7c464f31be5cfdd88a56","datavalue":{"value":{"amount":"+0.7837418913841248","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":"Q1953417$A4A8A4CC-387F-4355-B1BC-B0064056FFC5","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1953417","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1953417"}}}}}