{"entities":{"Q976709":{"pageid":978557,"ns":120,"title":"Item:Q976709","lastrevid":51012023,"modified":"2026-01-16T05:14:54Z","type":"item","id":"Q976709","labels":{"en":{"language":"en","value":"On cross-intersecting uniform sub-families of hereditary families"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5721454"}},"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":"Q976709$1C347830-BA90-457A-8BF5-670F03DEF704","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"8572045e6e3c4da728c9a7782b888edfa0f0443e","datavalue":{"value":{"text":"On cross-intersecting uniform sub-families of hereditary families","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q976709$82705D4C-0302-40CC-90C1-D1C888464435","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d7438b666ad9c8b3351c7f62135b0e8886c44a1b","datavalue":{"value":"1207.05211","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q976709$A193045F-FB2D-49AE-BE5C-2E23692AF596","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"8f42514736889dc07faeaf61802749ba78a3b03d","datavalue":{"value":{"entity-type":"item","numeric-id":295830,"id":"Q295830"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q976709$734A7D5C-3B98-4429-83B1-89FC8F3767D9","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":"Q976709$15BD7805-16C5-42F8-B012-0F04BDDA28A4","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"66b34ed5dc0f3fc5384918e70a0007292dca094b","datavalue":{"value":{"time":"+2010-06-16T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q976709$20FA3B19-8326-45BE-A1BB-E207BB6A5822","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"0423488da93065c4c0770970b8677cf35dcd1437","datavalue":{"value":"https://eudml.org/doc/225240","type":"string"},"datatype":"url"},"type":"statement","id":"Q976709$31C461B9-4D36-4362-B5D4-088531BDA2F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P205","hash":"b552538440c07034a909989e63b3deb2b6afbf79","datavalue":{"value":"http://www.emis.de/journals/EJC/Volume_17/Abstracts/v17i1r60.html","type":"string"},"datatype":"url"},"type":"statement","id":"Q976709$2509D8D8-F13F-4EFB-8230-D196904A9026","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"f18e19cf018ef0df389ccc094c70fa7f9c65dc8a","datavalue":{"value":"Summary: A family \\({\\mathcal H}\\) of sets is hereditary if any subset of any set in \\({\\mathcal H}\\) is in \\({\\mathcal H}\\). If two families \\({\\mathcal A}\\) and \\({\\mathcal B}\\) are such that any set in \\({\\mathcal A}\\) intersects any set in \\({\\mathcal B}\\), then we say that \\(({\\mathcal A},{\\mathcal B})\\) is a cross-intersection pair (cip). We say that a cip \\(({\\mathcal A},{\\mathcal B})\\) is simple if at least one of \\({\\mathcal A}\\) and \\({\\mathcal B}\\) contains only one set. For a family \\({\\mathcal F}\\), let \\(\\mu({\\mathcal F})\\) denote the size of a smallest set in \\({\\mathcal F}\\) that is not a subset of any other set in \\({\\mathcal F}\\). For any positive integer \\(r\\), let \\([r]:= \\{1,2,\\dots,r\\}\\), \\(2^{[r]}:= \\{A: A\\subseteq[r]\\}\\), \\({\\mathcal F}^{(r)}:= \\{F\\in{\\mathcal F}:|F|= r\\}\\).   We show that if a hereditary family \\({\\mathcal H}\\subseteq 2^{[n]}\\) is compressed, \\(\\mu({\\mathcal H})\\geq r+ s\\) with \\(r\\leq s\\), and \\(({\\mathcal A},{\\mathcal B})\\) is a cip with \\(\\emptyset\\neq{\\mathcal A}\\subset{\\mathcal H}^{(r)}\\) and \\(\\emptyset\\neq{\\mathcal B}\\subset{\\mathcal H}^{(s)}\\), then \\(|{\\mathcal A}|+|{\\mathcal B}|\\) is a maximum if \\(({\\mathcal A},{\\mathcal B})\\) is the simple cip \\((\\{[r]\\}\\), \\(\\{B\\in{\\mathcal H}^{(s)}: B\\cap[r]\\neq\\emptyset\\})\\); \\textit{P. Frankl} and \\textit{N. Tokushige} [J. Comb. Theory, Ser. A 61, No. 1, 87--97 (1992; Zbl 0767.05093)] proved this for \\({\\mathcal H}= 2^{[n]}\\). We also show that for any \\(2\\leq r\\leq s\\) and \\(m\\geq r+ s\\) there exist (non-compressed) hereditary families \\({\\mathcal H}\\) with \\(\\mu({\\mathcal H})= m\\) such that no cip \\(({\\mathcal A},{\\mathcal B})\\) with a maximum value of \\(|{\\mathcal A}|+ |{\\mathcal B}|\\) under the condition that \\(\\emptyset\\neq{\\mathcal A}\\subset{\\mathcal H}^{(r)}\\) and \\(\\emptyset\\neq{\\mathcal B}\\subset{\\mathcal H}^{(s)}\\) is simple (we prove that this is not the case for \\(r=1\\)), and we suggest two conjectures about the extremal structures in general.","type":"string"},"datatype":"string"},"type":"statement","id":"Q976709$E61E8469-D420-4BB2-B70B-0BB4EB92CB24","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9bd9af688c0b97c53a0660570659cd00420d9c9b","datavalue":{"value":"05D05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q976709$83CDA5D1-3086-4ECA-B3DD-D68A6C6159BE","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"24746b399ef5214bc298e5ce84ff2187dc4d681a","datavalue":{"value":"5721454","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q976709$2887FD46-7441-49B1-B672-924019677806","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":"Q976709$EC1D2A74-9CA7-4FF7-A65F-5F0BABAA9A30","rank":"normal"}],"P1633":[{"mainsnak":{"snaktype":"value","property":"P1633","hash":"11078585331b6802c8e6c6c083b28f26d7bafbbd","datavalue":{"value":"bafkreif65gfpaiwzxox7olm7tmkjntv7vcnlneyp6nxp2awtjsqzotbjgi","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q976709$CF6FFA6B-6671-4145-BB8E-71E82834961A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"231b4b9ea75c30f04c0eb763a1a944aa2f7c4cd5","datavalue":{"value":{"entity-type":"item","numeric-id":765869,"id":"Q765869"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a5140e72813264f5627d5ccdb0ab689c62b6a558","datavalue":{"value":{"amount":"+0.909938395023346","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":"Q976709$DDB37EBB-48EE-4299-B8B0-CC82095CE6FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f19e0fd6b65195d35b00ab13f9798ebaf6d2cff7","datavalue":{"value":{"entity-type":"item","numeric-id":2422225,"id":"Q2422225"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d79233a27e73694ee7f5b19cd12ee0f624b3d663","datavalue":{"value":{"amount":"+0.9078502655029296","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":"Q976709$E622AAA3-E787-42A1-B0A6-5E11ADCF8168","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1c6e0c8e992a5d713b9e1d9b452a1918e522b06c","datavalue":{"value":{"entity-type":"item","numeric-id":383693,"id":"Q383693"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"103b0a8dc7d0e0fbc8142a875f9909da00ebf533","datavalue":{"value":{"amount":"+0.856073260307312","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":"Q976709$31A9A5DD-1A54-40C3-8129-F7E70FEC8133","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"110a242ae914e646f08fbccd6abb1c859c06a4e9","datavalue":{"value":{"entity-type":"item","numeric-id":3600873,"id":"Q3600873"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5899b593254040e2e3c81f360f72ca08948e67ef","datavalue":{"value":{"amount":"+0.8227795362472534","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":"Q976709$173F9681-C8B1-4DE0-8C30-A5F03D24F11B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a6d41d7d00256b3fa0dd1c4c9b4c483325e2f475","datavalue":{"value":{"entity-type":"item","numeric-id":2185903,"id":"Q2185903"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b62beb122c11f93809c87affe5638781756e227a","datavalue":{"value":{"amount":"+0.8173996806144714","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":"Q976709$90F1557B-DFE3-4E39-BE46-0D36DD52DAD6","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:976709","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:976709"}}}}}