{"entities":{"Q1586331":{"pageid":1597071,"ns":120,"title":"Item:Q1586331","lastrevid":72254130,"modified":"2026-04-14T03:39:32Z","type":"item","id":"Q1586331","labels":{"en":{"language":"en","value":"On uniform \\(f\\)-vectors of cutsets in the truncated Boolean lattice"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1528606"}},"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":"Q1586331$F3CF3B55-5EB3-40A4-A41C-EBFBAFF94A35","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"dbdf1fd766dfdb3c5691e0f2da1489118dd20d85","datavalue":{"value":{"text":"On uniform \\(f\\)-vectors of cutsets in the truncated Boolean lattice","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1586331$CFF60F4B-CA26-4E7B-BA8F-E3D8DBE3677B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ee3d698a7eb85e6f0af3464e2ac29610ca2368c9","datavalue":{"value":"0949.05082","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1586331$AFFD95E2-9EA9-468E-AFDF-CF06C3BE6644","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c88e9c188bceffadba1e8d96b29f8e26f908e3fb","datavalue":{"value":"10.1007/PL00009834","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1586331$8EFA4564-5670-4EB8-90D6-EC5DB0E4A3BD","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"a87e84d22579e69c48ca0a6d828473db4dde3dd6","datavalue":{"value":{"entity-type":"item","numeric-id":168579,"id":"Q168579"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1586331$119551D7-EBF6-45D1-BB0E-3D7B762F9BC4","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"bdfb9c9db86c169ae17c07a115440c6fbeeb726b","datavalue":{"value":{"time":"+2000-11-13T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1586331$7317A9B5-8E86-4CBE-BEC8-FD9358C4D3E8","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"eae0abc69439d53c6feab010aa368e4804ac1746","datavalue":{"value":"https://arxiv.org/abs/1512.02973","type":"string"},"datatype":"url"},"type":"statement","id":"Q1586331$5F5299F4-0812-402D-8977-93EE5856EF80","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"2b42c92b7a305f187b6fd1e018f14961c461fa2b","datavalue":{"value":"Let \\(2^{[n]}\\) be the Boolean lattice, i.e. the lattice of subsets of \\([n]:=\\{1,\\dots,n\\}\\), ordered by inclusion. A family \\(\\mathcal C\\subseteq 2^{[n]}\\) is called a cutset if it meets every maximal chain in \\(2^{[n]}\\). The profile of \\(\\mathcal C\\) is a vector \\(f=(f_0,\\dots,f_n)\\) where \\(f_i:=|\\{X\\in \\mathcal C:|X|=i\\}|\\). Let \\(g_n(m,\\ell)\\) be the smallest value of \\(k\\) for which the \\((n+1)\\)-tuple \\((f_0,\\dots, f_n)\\), defined by \\(f_i=k\\) if \\(m\\leq i\\leq \\ell\\) and 0 otherwise, can be the profile of a cutset in \\(2^{[n]}\\). The authors prove:  \\[  \\begin{alignedat}{2}  g_n(m,m+1) &=\\begin{pmatrix} n-1 \\\\ m\\end{pmatrix} , \\quad & & 0\\leq m\\leq n-1, \\\\ g_n(m,m+2) & = \\sum^m_{j=0} \\begin{pmatrix} n-2j-2\\\\ m-j \\end{pmatrix}, \\quad & & 0\\leq m\\leq \\frac n2 -1 . \\end{alignedat}  \\]  Moreover, if \\(\\frac nm\\) is sufficiently large,  \\[  \\begin{gathered} \\begin{pmatrix} n-2\\\\ m \\end{pmatrix} <g_n(m,\\ell) \\leq \\sum^m_{j=0} \\begin{pmatrix} n-2j-2\\\\ m-j \\end{pmatrix} , \\quad m+2\\leq \\ell \\leq n-m-1, \\\\ \\begin{pmatrix} n-3\\\\ m \\end{pmatrix} <g_n(m,n-m)\\leq \\sum^m_{j=0} \\begin{pmatrix} n-2j-3\\\\m-j\\end{pmatrix}. \\end{gathered}  \\]  These numerical results are derived from a qualitativ description of the possible cutset-profiles using compression and canonical forms. The authors conjecture that for sufficiently large \\(\\frac nm\\)  \\[ g_n(m,\\ell) = \\begin{pmatrix} n\\\\ m \\end{pmatrix} -\\begin{pmatrix} n\\\\ m-1\\end{pmatrix}, \\quad 2m\\leq \\ell\\leq n-m-1, \\]   \\[ g_n(m,n-m)=\\begin{pmatrix} n-1\\\\ m\\end{pmatrix} -\\begin{pmatrix} n-1\\\\ m-1\\end{pmatrix} . \\]","type":"string"},"datatype":"string"},"type":"statement","id":"Q1586331$67F878D2-AA75-4B16-9E87-9B246BA87955","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"fc01f965b0513cf320497fc21a959a6ae364b21d","datavalue":{"value":{"entity-type":"item","numeric-id":427811,"id":"Q427811"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1586331$5A67111C-3D8A-4561-B190-EF00FCD50D76","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9bd9af688c0b97c53a0660570659cd00420d9c9b","datavalue":{"value":"05D05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1586331$4A8CB26E-29E3-4574-A6A0-6C25A3F484C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"3f3d0b1de78ad0e32d646815f9dc7561538cada7","datavalue":{"value":"06A07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1586331$4053F3C0-5197-446C-8E9C-BAD23B98B118","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d9a3514a89c23e0ac2c3d927db97941ff2631de6","datavalue":{"value":"06E05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1586331$2A14266E-9767-49BC-A329-71167A27B550","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7dd683446bbbf7f4c098ef1fd01d8fd1c5a586f4","datavalue":{"value":"1528606","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1586331$6241870A-1D6E-4EDA-AA27-5DA726B71C80","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0c76755b40378012473301226340484cbbecd869","datavalue":{"value":"cutset","type":"string"},"datatype":"string"},"type":"statement","id":"Q1586331$31775084-6274-4B37-B2BC-F1A2AD459526","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"70c12533e1406e33816856813f8ebf55f6f74c69","datavalue":{"value":"antichain","type":"string"},"datatype":"string"},"type":"statement","id":"Q1586331$14B1D52F-ECD1-4D14-BA46-07031F435328","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d5e5635796d61a2276700c5751e732bf45eb0f7a","datavalue":{"value":"Boolean lattice","type":"string"},"datatype":"string"},"type":"statement","id":"Q1586331$F5C546EB-1C1F-41A9-9222-CE946F067170","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"31cf470b52797086e1b2eada1cd4da1924faa5a0","datavalue":{"value":"profile","type":"string"},"datatype":"string"},"type":"statement","id":"Q1586331$EF4CAC29-B2FA-4C0E-9B11-80C105755094","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f08afcdf058072e0491babb026633cefd7c28b55","datavalue":{"value":"Kruskal-Katona theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q1586331$8CE6B8B3-684D-4857-8410-3F927D4828A8","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"6cde4e5a1be5a21cb604c46a652b5643ce677cfa","datavalue":{"value":{"entity-type":"item","numeric-id":162954,"id":"Q162954"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1586331$608F18FB-9A7F-4FCD-A8C5-D6A9E897AD37","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"59dde45a716958e108c5c7c168b94cdc52aedde6","datavalue":{"value":{"entity-type":"item","numeric-id":458286,"id":"Q458286"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1586331$3FAEBE74-BBD9-4758-BF28-9D948FE2F6C0","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":"Q1586331$AC7691DF-548B-4966-85D7-C552E38893FC","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"ccda4a42c9dbe65f0c0cc0c0dcfb406fc9fc0007","datavalue":{"value":"W2964218233","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1586331$83E134B0-2BDE-4D0B-AFDC-A0A065A9F653","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d73463a75f679b181c9350a18d1d34dcb57d0756","datavalue":{"value":{"entity-type":"item","numeric-id":5929842,"id":"Q5929842"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ed06081e046cf0833e716ba6ac69f9ba64d7fd41","datavalue":{"value":{"amount":"+0.9560339","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":"Q1586331$8C952F8E-40DE-4A68-B87A-BC3F453874D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bc8486dd2a096431411f67d4656b7e17572f164d","datavalue":{"value":{"entity-type":"item","numeric-id":1086269,"id":"Q1086269"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4a0399847060ac087e3bac926546a0259438d79d","datavalue":{"value":{"amount":"+0.90567636","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":"Q1586331$653579B9-F11C-481A-B390-0272CBA21DA6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"abcabe7c95a46ec628089293f9d2aa007995ce1e","datavalue":{"value":{"entity-type":"item","numeric-id":1942055,"id":"Q1942055"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b13d9cf215f37ae00155642bb3f818c730a5e5fb","datavalue":{"value":{"amount":"+0.9028402","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":"Q1586331$891B8159-CF80-4661-87D8-D2F0B1468F38","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"02af91b45fde11441284250c7106da4decc28597","datavalue":{"value":{"entity-type":"item","numeric-id":4489199,"id":"Q4489199"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9996fbac7f7f4f21fa6db892f84395041a45eec1","datavalue":{"value":{"amount":"+0.90086955","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":"Q1586331$A74372EC-767B-44F4-9E42-4E59FBB7B67A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1ab296812c9a20e89c0d8e37e0c4fdb1f1e8426c","datavalue":{"value":{"entity-type":"item","numeric-id":855880,"id":"Q855880"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8240e6ed6abfd8fd74cff8e223243cf60c7a1d87","datavalue":{"value":{"amount":"+0.8649661","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":"Q1586331$8EBD15E4-B2F3-48BF-BD7D-62AA39D8C82C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0ea69bb34762c337e14589f5423b9b2e1d369e28","datavalue":{"value":{"entity-type":"item","numeric-id":1864563,"id":"Q1864563"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6d3452b81d4ec0e768d64c344c095667dbf3b502","datavalue":{"value":{"amount":"+0.863434","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":"Q1586331$D330B263-92D3-42AA-816D-E888C149D311","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0f4668bd0bb399611c12099d25d41fe4af727c32","datavalue":{"value":{"entity-type":"item","numeric-id":1264164,"id":"Q1264164"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"48390f72ae280c5ae9bdf04c8767f36e106cc848","datavalue":{"value":{"amount":"+0.86089444","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":"Q1586331$48ED47BF-F411-41B5-875F-7E80F6EA30A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e1406a18c64c6f16c876b993f38442dc5c4e9358","datavalue":{"value":{"entity-type":"item","numeric-id":1267605,"id":"Q1267605"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c8f836b17b9589acc459114cede096b7dac183ce","datavalue":{"value":{"amount":"+0.85523266","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":"Q1586331$12909C72-BFB3-4B0D-91DF-15BA8860AA39","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"48c9b2641c7812ba8273eb31827cdc66186bae40","datavalue":{"value":{"entity-type":"item","numeric-id":878149,"id":"Q878149"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"10ac437bee778a79aaf84b6bca360e5d0c9d906e","datavalue":{"value":{"amount":"+0.8490645","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":"Q1586331$252B17E7-4355-4D10-B74D-F94E974C7B66","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c466400d3e1e24d0f322474d2d59aebfc7a37488","datavalue":{"value":{"entity-type":"item","numeric-id":2053692,"id":"Q2053692"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ada31c73905e9caacf31d06fdbd8347c09f400b1","datavalue":{"value":{"amount":"+0.8475596","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":"Q1586331$18F1BBC2-07B6-406D-AC60-FED50B5B88C4","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"On uniform \\(f\\)-vectors of cutsets in the truncated Boolean lattice","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/On_uniform_%5C(f%5C)-vectors_of_cutsets_in_the_truncated_Boolean_lattice"}}}}}