{"entities":{"Q1382415":{"pageid":1393155,"ns":120,"title":"Item:Q1382415","lastrevid":68766558,"modified":"2026-04-13T01:55:23Z","type":"item","id":"Q1382415","labels":{"en":{"language":"en","value":"Counterexample to the Frankl-Pach conjecture for uniform, dense families"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1134682"}},"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":"Q1382415$8F04472B-23FF-422C-9201-63CE7216B4B2","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"5e47158bd77cac13fdeb98d5765517b8c0272e52","datavalue":{"value":{"text":"Counterexample to the Frankl-Pach conjecture for uniform, dense families","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1382415$3DA13EF8-EE1D-44C0-8334-C91F63602AFD","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c3ebafc9084027d07713a03a6e85ea1880353e48","datavalue":{"value":"0886.05109","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1382415$2BD9F2BD-9F7E-41C5-927E-839DEAC24261","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"2ef68d49bca3cbc7c9b7d444225614a72bd34ac0","datavalue":{"value":"10.1007/BF01200912","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1382415$A319D399-C6B8-45E5-9BD7-F036585062C1","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":"Q1382415$5E79AC9D-8591-4470-B23E-DCBF40E94BF9","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"12641de0c7a44a9d60a6f8d503a212499c146538","datavalue":{"value":{"time":"+1998-03-26T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1382415$101A7754-EE93-4B5A-B65E-0C7D3EE9D635","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"c20dc0e015911dbf43015e035bcf859dd8f4879a","datavalue":{"value":"A family \\(\\mathcal F\\) is a set of subsets of \\(\\{1,\\dots,n\\}\\). It is \\(l\\)-uniform if for all \\(F \\in {\\mathcal F}\\) holds that \\(|F|=l\\), while it is \\(l\\)-dense if there is a \\(D \\subset \\{1,\\dots,n\\}\\) such that \\(|D|=l\\) and \\(|\\{F \\cap D:F \\in {\\mathcal F}\\}|=2^n\\). Frankl and Pach showed earlier that if \\(|{\\mathcal F}|> {n \\choose l-1}\\) for an \\(l\\)-uniform family \\(\\mathcal F\\), then \\(\\mathcal F\\) is also \\(l\\)-dense. They conjectured that for every \\(l\\)-uniform, but not \\(l\\)-dense family \\(\\mathcal F\\) the inequality \\(|{\\mathcal F}|\\leq {n-1 \\choose l-1}\\) holds. The authors give a simple counterexample which shows the conjecture is false. The example also disproves a conjecture of Frankl and Watanabe (for \\(n>k>l>2\\)), which states that for every \\(k\\)-uniform, but not \\(l\\)-dense family \\(\\mathcal F\\) the inequality \\(|{\\mathcal F}|\\leq {n-k+l-1 \\choose l-1}\\) holds when \\(n>n_0(k)\\).","type":"string"},"datatype":"string"},"type":"statement","id":"Q1382415$F14D39AC-D84D-479F-845A-8F85347E23C6","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"73456c3353ea197c90c73d5f0daaf3b9d502d311","datavalue":{"value":{"entity-type":"item","numeric-id":235726,"id":"Q235726"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1382415$907A8058-FB3B-45B2-80A1-D4B72BB8F5E1","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9bd9af688c0b97c53a0660570659cd00420d9c9b","datavalue":{"value":"05D05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1382415$BF8DD54B-78D1-4023-8A24-A34C87B7369F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6067f706b4dc46578f95cffe3f955a762a75966e","datavalue":{"value":"1134682","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1382415$906070F1-851B-44C8-80A8-B4F20AC31335","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"370afb08886d454ad02a3e32ab188f88b9fed55c","datavalue":{"value":"hypergraphs","type":"string"},"datatype":"string"},"type":"statement","id":"Q1382415$4C920124-8DDD-433D-8074-67C989AA873E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"052b177cde66a19de8cc2732a1dbad5ed52ad08f","datavalue":{"value":"uniform families","type":"string"},"datatype":"string"},"type":"statement","id":"Q1382415$02B79F32-8147-4AA8-A590-ADF8131FE3CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5abefed7671d9b92ec00d6d557ed8844cbfbb35c","datavalue":{"value":"dense families","type":"string"},"datatype":"string"},"type":"statement","id":"Q1382415$392E76F5-6B9B-4593-844A-7B7581FB9A49","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"4a46df0eaeab5497c1a1e2e8d54cc303d0cf1346","datavalue":{"value":{"entity-type":"item","numeric-id":674614,"id":"Q674614"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1382415$39D8918D-BA0F-4129-9D9B-A3E8068FC375","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"13e78d027f9957631248b78948d4df59b38cd87f","datavalue":{"value":{"entity-type":"item","numeric-id":6481941,"id":"Q6481941"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1382415$8FACD447-8969-4737-9324-77DCA5E7DDAD","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":"Q1382415$D01B3E8F-4B6E-4BAF-8E5A-824F4E9F99A6","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"e1476345268720874d5885f380097e40114b9c39","datavalue":{"value":"Q123281023","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1382415$02B35993-6407-453E-A667-78DAAE1C4BAA","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"ed28daf112121dc08adf4ce72a073bd046e54847","datavalue":{"value":{"entity-type":"item","numeric-id":2556406,"id":"Q2556406"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1382415$3624ABBB-D174-445E-B797-3B29051EE210","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b910f3bdbfee2ff3a0d24df8459e194840d200d1","datavalue":{"value":{"entity-type":"item","numeric-id":2553434,"id":"Q2553434"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1382415$0153003F-15C2-49E1-9C3F-9F2C88D471E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2b8d1646a6aaa1e4417b1b003c3233698e2b452f","datavalue":{"value":{"entity-type":"item","numeric-id":790112,"id":"Q790112"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1382415$021C206D-46A5-40A6-ADE6-C9ADAA08B1EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0c186da867464fa0bc74c6e39b2a57d5e3705cc0","datavalue":{"value":{"entity-type":"item","numeric-id":1323482,"id":"Q1323482"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1382415$EEFB8232-FE91-4ACC-8DE2-D10CF9B5C27F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"519c04edb24aef1ce88b720e46082a964b292326","datavalue":{"value":{"entity-type":"item","numeric-id":3281090,"id":"Q3281090"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1382415$FC012C42-69F9-4489-BDFF-3EB243740751","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"5f853be91e20380ae264e4565b68ae158e280cc6","datavalue":{"value":"https://doi.org/10.1007/bf01200912","type":"string"},"datatype":"url"},"type":"statement","id":"Q1382415$7439E4F7-C54D-4BC3-ADCB-760963FC6DA4","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"cbe0f7917bf15f89b2f5c3401e1d0eeb8d8ec399","datavalue":{"value":"W1964675587","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1382415$281B85C1-EA76-4415-8159-6B051A8FC411","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"74389f15d2273ee6ae8af96aa2ed3055bae2e9a8","datavalue":{"value":{"entity-type":"item","numeric-id":4622622,"id":"Q4622622"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7dfe36a6308f4c4acb64322639d3f677de0eba7c","datavalue":{"value":{"amount":"+0.7912232875823975","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":"Q1382415$B8CE64BF-1402-431D-826A-955F7F5D0E1B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"487ec786bfbf9db49527a28575eb789dbc9085fd","datavalue":{"value":{"entity-type":"item","numeric-id":2112753,"id":"Q2112753"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"76a225f1eaafef05ca1590991f369c0ae9bbdcde","datavalue":{"value":{"amount":"+0.7808940410614014","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":"Q1382415$0F835189-ECEE-4694-B069-8911381C649E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c9c9f63c9e28bbe96cf82cfbaeb919a2a2efde60","datavalue":{"value":{"entity-type":"item","numeric-id":1864599,"id":"Q1864599"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7992c7f3e6ab42902554c6544a440ecdc2bf9168","datavalue":{"value":{"amount":"+0.7759264707565308","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":"Q1382415$6A5FFA31-C863-4ED5-BBA7-934053B4E15C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4951ec4d4274303706b16929b5140cee3c065abb","datavalue":{"value":{"entity-type":"item","numeric-id":1199494,"id":"Q1199494"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"db032d11449d5fecdcaf023e31d79f7e11f959ec","datavalue":{"value":{"amount":"+0.7727466225624084","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":"Q1382415$1EA23057-1390-4760-BE38-DB4CA0F473D4","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Counterexample to the Frankl-Pach conjecture for uniform, dense families","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Counterexample_to_the_Frankl-Pach_conjecture_for_uniform,_dense_families"}}}}}