{"entities":{"Q1380347":{"pageid":1391087,"ns":120,"title":"Item:Q1380347","lastrevid":67294581,"modified":"2026-04-12T16:39:55Z","type":"item","id":"Q1380347","labels":{"en":{"language":"en","value":"Nested chain partitions of Hamiltonian filters"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1123557"}},"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":"Q1380347$3EC0DA38-8702-49E8-9077-4E977CF3F946","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e49d0c18ef3e14c735a207deb1bf64864c3c4884","datavalue":{"value":{"text":"Nested chain partitions of Hamiltonian filters","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1380347$5644FF09-3704-4FF4-9322-D71DF8D01016","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"4eb904cd970129ce8789d6d09d847fdfe9b7b895","datavalue":{"value":"0893.05020","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1380347$40BA978E-92C6-4537-9630-74E218713292","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"70fb901fbd78445ca7ba46f172c7dcc7dc3d251a","datavalue":{"value":{"entity-type":"item","numeric-id":1283309,"id":"Q1283309"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1380347$88861E9F-B261-4415-8A65-CC3059420DBF","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"1c03f12d2ae232c6413ffedcffaa255461d32f1a","datavalue":{"value":{"entity-type":"item","numeric-id":171729,"id":"Q171729"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1380347$36B4EEC4-63A1-414B-A5B0-5B962D0AF6FE","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2f32c4f84dfe8ec89b557af06d9f906ffb4a113a","datavalue":{"value":{"time":"+1998-03-31T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1380347$114DC924-BB30-4C1E-A142-BEF69618FAD3","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"47af0c07b5f3f9b6830a87a24ebfdf464d8f7201","datavalue":{"value":"Given a collection \\(F\\) of 2-subsets of the standard \\(n\\)-set \\([n]=\\{1,2,\\dots,n\\}\\), a graph \\(G_F\\) has vertices \\(i\\) and \\(j\\) adjacent iff \\(\\{i,j\\}\\in F\\).   If \\(B_n\\) is the Boolean algebra on \\([n]\\), then \\(F\\) generates a filter whose properties may be correlated to properties of the graph \\(G_F\\). To illustrate, a special case of this notion is the author's Theorem 1.1 which states that \\(G_F\\) is a Hamiltonian graph precisely when the filter \\(P\\) generated by \\(F\\) is a nested chain order, i.e., a poset equipped with a rank function and having a nested chain partition, where a partition of \\(P\\) into saturated chains is nested if  \\[ \\max_{x\\in C_1} r(x) \\geq\\max_{x\\in C_2} r(x)\\quad \\text{whenever} \\quad\\min_{x\\in C_1} r(x)< \\min_{x\\in C_2} r(x). \\]  The author's proof of this theorem is well filled with instructive asides and even if it follows a path through more classical pastures, it is itself a very nice extension of anything preceding. A conjecture of Lih states that any filter of \\(B_n\\) generated by a collection of subsets of size \\(t\\) has the Sperner property, i.e., the maximum size of an antichain in \\(P\\) equals the size of the largest rank of \\(P\\). If \\(G\\) is a graph on \\([n]\\) with at least one edge and if \\(P_G\\) denotes the collection of all sets \\(H\\) whose induced subgraph contains at least one edge, ordered by set inclusion, then if the components of \\(G\\) are isolated points except for one Hamiltonian graph, the author shows \\(P_G\\) to have the Sperner property in Theorem 6.11. Together with Theorem 1.1 this goes a long way to strengthen Lih's conjecture for the case \\(t=2\\) and hence also for any remaining cases \\(t=2u\\).","type":"string"},"datatype":"string"},"type":"statement","id":"Q1380347$263CA8AE-1968-4A1E-8132-29037ED3E160","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9bd9af688c0b97c53a0660570659cd00420d9c9b","datavalue":{"value":"05D05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1380347$3E2AE687-2D78-4F5B-9048-E8FE5F6AE3CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"3f3d0b1de78ad0e32d646815f9dc7561538cada7","datavalue":{"value":"06A07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1380347$8E0F2130-9EF4-428C-987C-F290F0071361","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ff5afb9f74c3a3415ada815bc1c672499bc6e26b","datavalue":{"value":"06E99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1380347$38319287-53B2-42AC-893E-A88139CF92A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e35cfda1c439de499de525a8a9009114d934bb37","datavalue":{"value":"05C99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1380347$7D10F216-6CDA-4201-A799-D4C0FD73BC97","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"2717c8f4a223ddf918112970eebd5e1a2df04965","datavalue":{"value":"1123557","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1380347$B0A963F7-AD0D-450C-BA70-824410F03EB0","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0b79c0d46aaed6ae08d529961c9f16b783e44803","datavalue":{"value":"Boolean algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q1380347$E8EBCD3A-FA51-42FA-8E09-AF8AE71291AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e65d8ce1b478dc8adf2ee5b9d1401b48f0fe5d2c","datavalue":{"value":"filter","type":"string"},"datatype":"string"},"type":"statement","id":"Q1380347$4E651B7E-0360-4F39-A073-5BFEB9DB0756","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fc7b4d2c7ddddbdcaefa50a42c56e156daf5fead","datavalue":{"value":"Hamiltonian graph","type":"string"},"datatype":"string"},"type":"statement","id":"Q1380347$FBA7555D-B8A3-4101-B5E2-557DC664B765","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"762a112ef0429a3655234c3e246a242461dca9bf","datavalue":{"value":"poset","type":"string"},"datatype":"string"},"type":"statement","id":"Q1380347$F615D87B-A912-4C39-966D-60E16AF0F219","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e9af8c101e69a9a236011c7795b40ea550abc83e","datavalue":{"value":"nested chain partition","type":"string"},"datatype":"string"},"type":"statement","id":"Q1380347$81AAEF83-2501-45B7-9513-6ADADEE10FB0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"07ffa81073397b2088aa4e37c968bdf80be87657","datavalue":{"value":"conjecture of Lih","type":"string"},"datatype":"string"},"type":"statement","id":"Q1380347$D6414D9A-A9F6-4449-89EB-207EE54D5C1E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"13d0a8937ce7d751aeb4e0334539bd7bc381a68d","datavalue":{"value":"Sperner property","type":"string"},"datatype":"string"},"type":"statement","id":"Q1380347$94EA73AB-FA70-4BBC-8752-6A52771EAE28","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"b626688718ca3d61fce8479b1c17fa40d92d8dda","datavalue":{"value":{"entity-type":"item","numeric-id":233347,"id":"Q233347"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1380347$2F4F1C19-9D01-48C3-A4E7-E46B4FBE1F91","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":"Q1380347$E67B0CFE-7BDA-4E3F-A0E7-119014E8D0FA","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"af7277fa808175e7ed42e97e21566c8f560ad139","datavalue":{"value":"https://doi.org/10.1006/jcta.1997.2824","type":"string"},"datatype":"url"},"type":"statement","id":"Q1380347$F9C37752-F581-43A0-856D-E96E93BBE40A","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"e47dce3b95cc1e7aeb03e6b5e7b5ee9b8708734d","datavalue":{"value":"W1972222531","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1380347$2AF6F0DC-121B-4AB7-B12A-EF815EEF692D","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"559dbe579a3334aacf82df2fdcef598c181017c4","datavalue":{"value":{"entity-type":"item","numeric-id":5422499,"id":"Q5422499"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1380347$5757FFA5-5C8E-42CC-A85F-5B9567A5034A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fbe62fe8adcf48ef5a7cc944e569d5ea9f50595c","datavalue":{"value":{"entity-type":"item","numeric-id":5805073,"id":"Q5805073"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1380347$ABFDECCE-E09D-432A-9FBA-9AACB108DDE4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e676a589917f584b51e1fa51f24ff37f4ff1174a","datavalue":{"value":{"entity-type":"item","numeric-id":1239323,"id":"Q1239323"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1380347$D5935675-26BF-49A1-876B-2F0CDF1394F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"45ad880ab40ff9515bcea276f7a23374355f8f18","datavalue":{"value":{"entity-type":"item","numeric-id":1139061,"id":"Q1139061"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1380347$DD9E8352-32D4-4A0C-94FF-F74C201E17D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e88a056913849b780a51bd378fc27e942961e6a2","datavalue":{"value":{"entity-type":"item","numeric-id":3944608,"id":"Q3944608"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1380347$13EB8ACA-3AB4-43F7-A007-5836A8D64028","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a45044225c26c6ee826bd554d05a4972c65a6731","datavalue":{"value":{"entity-type":"item","numeric-id":1145697,"id":"Q1145697"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1380347$99CDBACC-D8F6-479A-B0C1-634A3B1620F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ad5150f649664acaef25e906cebc3bb77ce13354","datavalue":{"value":{"entity-type":"item","numeric-id":1151409,"id":"Q1151409"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1380347$4808E144-BE0E-423E-BD2B-D81333152587","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6bab35dff61e12f0d94e5882db5fb1324b1b4b42","datavalue":{"value":{"entity-type":"item","numeric-id":1264161,"id":"Q1264161"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1380347$EBA97A52-BAAF-4AAC-93C9-C592A4AAA859","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c9696dd27f2567e783887f48900b124327544e4e","datavalue":{"value":"10.1006/JCTA.1997.2824","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1380347$404A4E31-2588-477D-BAE5-96232BE3A270","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5aca593520e7a424c3a48b7cc1d9076ac1f0f747","datavalue":{"value":{"entity-type":"item","numeric-id":1283310,"id":"Q1283310"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"052a28951ba20f762e1fc85160a419eb68aaf02e","datavalue":{"value":{"amount":"+0.8119570016860962","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":"Q1380347$1EFCBE20-C828-4D45-9316-D607B4003C8D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e32c0b611239849bc1c31ec9fe5d59f1b1bc154f","datavalue":{"value":{"entity-type":"item","numeric-id":1264161,"id":"Q1264161"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9aca42d68f91f7cca9d2f2a16e1b22453a802b6f","datavalue":{"value":{"amount":"+0.7872697710990906","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":"Q1380347$F296BB41-9411-45BC-A28D-4677EA6F92A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"db5ad44b3a983af4acb6c8020bc93fac2bf59717","datavalue":{"value":{"entity-type":"item","numeric-id":489325,"id":"Q489325"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fb6bc42a129ec78fd2e3b2e994dcb48fe891598e","datavalue":{"value":{"amount":"+0.7517096996307373","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":"Q1380347$85781956-A808-4BFB-BB94-72270FA11A18","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Nested chain partitions of Hamiltonian filters","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Nested_chain_partitions_of_Hamiltonian_filters"}}}}}