{"entities":{"Q1057272":{"pageid":1059120,"ns":120,"title":"Item:Q1057272","lastrevid":66649341,"modified":"2026-04-12T11:33:12Z","type":"item","id":"Q1057272","labels":{"en":{"language":"en","value":"An intersection-union theorem for integer sequences"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3896938"}},"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":"Q1057272$C123C367-E3B4-4362-8939-03291E70B0C5","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"7558d1e5988c67b11d947902e4d051cc923fbab3","datavalue":{"value":{"text":"An intersection-union theorem for integer sequences","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1057272$99E5F61A-37EC-4BB8-9891-D216D72B0CB1","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"748f5dc401f64200a7f6868d8f2102370f639f4c","datavalue":{"value":"0563.05004","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1057272$FFC5F9A6-281B-46C9-A23B-FA1BA8A1E5F2","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"3ba53c56327f7369846c802e7ecb26c0be4c4747","datavalue":{"value":"10.1016/0012-365X(85)90076-7","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1057272$D49DD0DF-35FF-426C-96A7-73BDC4470E86","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"98c5835a632f59c04c7195e8516df80cfca74bbb","datavalue":{"value":{"entity-type":"item","numeric-id":427811,"id":"Q427811"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1057272$4957F03E-AD66-42E7-80EE-837B5C24C387","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ac477f1df395589c0cab4a2bbf89ace8bc4e54fe","datavalue":{"value":{"entity-type":"item","numeric-id":697627,"id":"Q697627"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1057272$FC5E8A04-51DE-43EB-80B5-4B8ADFF89BDC","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"38665fe4ed2b835132254a58832c329597060029","datavalue":{"value":{"entity-type":"item","numeric-id":175483,"id":"Q175483"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1057272$275872ED-98E6-4CEF-9C67-A2759E65C1D3","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3c94df5c9af0ede578c52141befd29044de13172","datavalue":{"value":{"time":"+1985-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1057272$97C1AAA9-A05B-4955-BC20-AA8E230C0384","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"c98866894c40bf7aa61e02b6abc67ec5b2cb5816","datavalue":{"value":"Let \\(E^ n_ k = \\left\\{\\bar x = (x_ 1,\\ldots,x_ n)| x_1 \\in \\{0,1,\\ldots,k-1\\}\\right\\}\\) with \\(k\\geq2\\). A subset \\(S\\) of \\(E^ n_ k\\) is called an intersection-family [union-family] if, for all \\(\\bar x,\\bar y\\in S\\), there exists \\(i\\) with \\(x_ i\\), \\(y_ i\\neq 0\\) \\([x_ i, y_ i\\neq k-1]\\). S is an intersection-union-family if it has both of the above properties. Define \\(K_ n\\) by \\(K_{2n}=\\frac12\\binom{2n}n\\), \\(K_{2n+1}=0\\). The authors prove that \\(e_{\\text{intun}}(k,n)\\), the maximum size of an intersection-union-family in \\(E^ n_ k\\), is given by  \\[  \\begin{aligned} e_{\\text{intun}}(Kn,n) &= \\sum_{j>n/2} \\sum_{i<n/2} \\binom nj \\binom ji (k-2)^{j-1} + 2K_ n \\sum_{i<n/2} \\binom {n/2}i (k-2)^{n/2-1} + K_ n \\\\ &=\\begin{cases} k^{n-2}\\quad&\\text{if \\(k=2\\);} \\\\ k^ n\\left(1-O\\left(\\frac{1}{n}\\right)\\right)\\quad&\\text{if \\(k\\geq3\\) and \\(n\\to \\infty\\).} \\end{cases} \\end{aligned}  \\]","type":"string"},"datatype":"string"},"type":"statement","id":"Q1057272$860EA0AD-F74D-4E9F-A478-3754AC5FDCA2","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"6247f04fad65d359a20e559b3e9499d6219d492e","datavalue":{"value":"05A05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1057272$14691735-B5AD-436A-8390-51248BB6910D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e821df6326b3ec031e2707c7393053b1c25d6776","datavalue":{"value":"11B99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1057272$A3D653A0-3DA7-49D0-A829-6BD1443F1D21","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6929a170aa91e6b6bd4fcd081057131aa6f32613","datavalue":{"value":"3896938","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1057272$7D676E29-B002-4F01-BAE1-A34C6305B5C6","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dc4d437cfcf9e8b78181a3573cb8c0e3b89febe8","datavalue":{"value":"intersection-union-family","type":"string"},"datatype":"string"},"type":"statement","id":"Q1057272$8925D815-3835-425A-A1AC-A663F271A41A","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"787fe1ad3943efbb97e0f745be92828881d054e0","datavalue":{"value":{"entity-type":"item","numeric-id":1187950,"id":"Q1187950"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1057272$749A7A59-D1C7-44CD-99DB-50D6C424A6CB","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":"Q1057272$DD728878-06E7-45A2-A2EE-84B418AD379E","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"4041f0b040c90c6c80caff02549608916592d535","datavalue":{"value":{"entity-type":"item","numeric-id":1234692,"id":"Q1234692"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1057272$D42B6FC0-E93A-4787-A3CA-435BF4D7F4AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"122e5d7f8ac9722e2ddd39c8377d96359d05a732","datavalue":{"value":{"entity-type":"item","numeric-id":4099633,"id":"Q4099633"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1057272$873082EB-A989-4D19-BC06-DDA2E281B8FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"090a500a99eee80ccd8723e942a7edc0c91ebac6","datavalue":{"value":{"entity-type":"item","numeric-id":1096631,"id":"Q1096631"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1057272$7BB5C72F-40AA-4A20-B330-339EF0920D03","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":"Q1057272$6E9C4A6A-2695-4151-8B3B-B2F8FBCD1BAF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b0dc7949466602ee37857ef3ea30a39840b47183","datavalue":{"value":{"entity-type":"item","numeric-id":5626673,"id":"Q5626673"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1057272$0E6BCFB0-8FD0-4A01-848E-DB1D072B4662","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"00c0a273982b6733ef06176a7e421cfe6976ddab","datavalue":{"value":{"entity-type":"item","numeric-id":4196436,"id":"Q4196436"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1057272$808041F2-234E-4BD5-A47A-9D51753EB179","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aaae1481f8d57c21729e16a7c2280ec8b172ca14","datavalue":{"value":{"entity-type":"item","numeric-id":3674669,"id":"Q3674669"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1057272$23205746-80C0-452D-8799-2ED51A0A1AEC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5c4c9e6178a0ebfaa7e32cf4f51a42cfd4a88be8","datavalue":{"value":{"entity-type":"item","numeric-id":4046052,"id":"Q4046052"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1057272$4115A50C-F0B2-4AB6-9473-0A8A3324714C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6202bfc8f04960cc3c98aab40612c4a57bab84aa","datavalue":{"value":{"entity-type":"item","numeric-id":4775869,"id":"Q4775869"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1057272$4AFD3974-6B71-444C-AD19-8208B72D0B58","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"d1a0de7653adc09daa742ea31e670693aea3ac11","datavalue":{"value":"https://doi.org/10.1016/0012-365x(85)90076-7","type":"string"},"datatype":"url"},"type":"statement","id":"Q1057272$F30D68CF-9FCC-49C8-9163-23EA90042784","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"377fbd1f7c43c62030475e92017100e2da6365fe","datavalue":{"value":"W2014597309","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1057272$233D33D7-C8A9-4B2F-8BF2-E5D33163A816","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d6d2225651ba0e2b80a35f5f87e89c0292fa98f7","datavalue":{"value":{"entity-type":"item","numeric-id":5365417,"id":"Q5365417"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fe92069ad4d1ef6bbc79d544d3422ba14cad9ee8","datavalue":{"value":{"amount":"+0.8926657","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":"Q1057272$E05B3E57-F8D2-444C-9FA9-38A864212CB0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8a49c9c7b5af66b533d3bd06af5b9b7749a29199","datavalue":{"value":{"entity-type":"item","numeric-id":6098042,"id":"Q6098042"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"170a62d95130217fe1249b89ba7e83ed2626823a","datavalue":{"value":{"amount":"+0.8865633","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":"Q1057272$D4F2F818-DAD3-425A-A93D-FA009736F77D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f2fda7a756c788167299b2d29e4007b82d825523","datavalue":{"value":{"entity-type":"item","numeric-id":5906420,"id":"Q5906420"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5e41df7ea89be7669661bbfec83eac40f35ba8b7","datavalue":{"value":{"amount":"+0.88508064","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":"Q1057272$8D6D61E1-B722-453E-ABB1-3333088E4167","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5eaa5066341eb10a1208517bf3f7ca85493b0ea7","datavalue":{"value":{"entity-type":"item","numeric-id":2935258,"id":"Q2935258"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e6bf42fb5bd66fec0b1a0bd4e767a773cb932b63","datavalue":{"value":{"amount":"+0.87646365","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":"Q1057272$D86EE7CF-28AB-4A4D-8C2B-DAEBE85B224B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"833708dfe3fc5c687107cf09c031ea2a3d59c7d2","datavalue":{"value":{"entity-type":"item","numeric-id":4855235,"id":"Q4855235"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"278ad710228175335c820ed3b16cbbda95eaedc0","datavalue":{"value":{"amount":"+0.8763605","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":"Q1057272$8017C897-C714-42F0-9A5C-F826531E03C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c8cbf783a24de17b04d5f0b2368006892aa4e6ef","datavalue":{"value":{"entity-type":"item","numeric-id":1587618,"id":"Q1587618"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"39141474febc68ad5b5b07c5c4a18713ce4f385d","datavalue":{"value":{"amount":"+0.8751339","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":"Q1057272$9EB03DD4-7715-44D5-8E5E-14BAF9FF6DAD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6ab0f403cd7e673b1f307f6dfe9f5931d30807c4","datavalue":{"value":{"entity-type":"item","numeric-id":2715956,"id":"Q2715956"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"191e1bf7028240cbf7f2e39c908387ae3a2cc6ca","datavalue":{"value":{"amount":"+0.87439066","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":"Q1057272$FAF49B3F-8496-449C-92B0-D3E4A90A540C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ac1338f5495fa1cf5f741757ff3d55f64b479fb3","datavalue":{"value":{"entity-type":"item","numeric-id":5855482,"id":"Q5855482"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7e3195cdd6dcc7fed63fc9e8c9be9b5ad8f35a59","datavalue":{"value":{"amount":"+0.87352437","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":"Q1057272$A547EB3A-F893-4E38-A545-47D99A8722DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c48ddba466722cbfa272301ff3b9ff2f34aac4a4","datavalue":{"value":{"entity-type":"item","numeric-id":4330586,"id":"Q4330586"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"18539b22562e9ce49e583f7e83e4a5e127d5e1a0","datavalue":{"value":{"amount":"+0.87075424","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":"Q1057272$99093F38-0BA0-4820-9515-E8872CEC409E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7713b92978dceb9275c48ae6b1a537781ec25f84","datavalue":{"value":{"entity-type":"item","numeric-id":6080530,"id":"Q6080530"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ca498e449bd5f9b6cbd6ef3869a1efb69bdfba31","datavalue":{"value":{"amount":"+0.8704037","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":"Q1057272$49B2836A-F916-447F-8C4B-BDC93AD5262B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"An intersection-union theorem for integer sequences","badges":[]}}}}}