{"entities":{"Q1340130":{"pageid":1350869,"ns":120,"title":"Item:Q1340130","lastrevid":70185078,"modified":"2026-04-13T13:01:33Z","type":"item","id":"Q1340130","labels":{"en":{"language":"en","value":"Some best possible bounds concerning the traces of finite sets"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 700945"}},"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":"Q1340130$47DC5477-923D-4663-A7E0-DC78040F8CE1","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"5a40e419de96b3aadec13ce2a223361e32fc4d94","datavalue":{"value":{"text":"Some best possible bounds concerning the traces of finite sets","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1340130$FDF372DF-FF3B-4627-94A3-5DA825D9D3AA","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"cbc14021d11c5eabf9b19f86c398cd47abfd9d3e","datavalue":{"value":"0817.05073","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1340130$28EE464E-2156-437F-9E5E-E63891B2458E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"6866773f90df4f839d0e347b31603031f2aeecb5","datavalue":{"value":"10.1007/BF02986678","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1340130$FDC29BB3-2449-449C-8D24-A1CF97741329","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"24d2f620d2974ebdd1015229debd06431f4c7398","datavalue":{"value":{"entity-type":"item","numeric-id":1294575,"id":"Q1294575"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1340130$3C26AC60-6DFE-4F00-8C4E-49076E73376B","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"62093226388c211ee4d5286124caf1fbc8b86437","datavalue":{"value":{"entity-type":"item","numeric-id":185060,"id":"Q185060"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1340130$0CE0AE80-5CA2-4895-BA16-BE7201437581","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"c4b07a190f15c7b2348b8e14c104488242f16f69","datavalue":{"value":{"time":"+1995-07-11T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1340130$AEB4DBFB-8795-4117-A938-BD4BA7610DFA","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"ca54bf3a1752fd856250d6938018544c858fc600","datavalue":{"value":"Let \\(X\\) be an \\(n\\)-element set and \\(\\mathcal F\\) a system of subsets of \\(X\\). For a subset \\(Y\\subset X\\) let \\({\\mathcal F}_ Y\\) be the trace of \\(\\mathcal F\\) on \\(Y\\) (that is, \\({\\mathcal F}_ Y= \\{F\\cap Y: F\\in {\\mathcal F}\\})\\). Finally for integers \\(m\\), \\(n\\), \\(r\\), \\(s\\) the arrow relation \\((m,n)\\to (r,s)\\) means that whenever \\(|{\\mathcal F}|\\geq m\\), one can find an \\(s\\)-element subset \\(Y\\subset X\\) such that \\(|{\\mathcal F}_ Y|\\geq r\\). For example, the celebrated Vapnik-\u010cervonenkis theorem and the Sauer theorem state that  \\[ (m,n)\\to (2^ s, s)\\quad\\text{whenever}\\quad m> \\sum_{0\\leq i< s}{n\\choose i}. \\]  This paper studies the \\((m,n)\\to (m- t,n-1)\\) type arrow relations, gives new proofs for the cases \\(t= 4,5,6\\) using a weight function technique, and derives a new result stating \\((m,n)\\to (m-9,n- 1)\\) for \\(m\\leq \\lceil 65n/14\\rceil\\).","type":"string"},"datatype":"string"},"type":"statement","id":"Q1340130$AED4B4D6-151C-4572-A552-F9DF3C7A327D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9bd9af688c0b97c53a0660570659cd00420d9c9b","datavalue":{"value":"05D05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1340130$C15DF720-A35F-4AF5-B333-B612E5C5CE6E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"da00c812255bd7f02dddc14c65a56e042cf0446e","datavalue":{"value":"03E05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1340130$13ED797E-ED44-4DD6-9B1F-A75B4D340B57","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"dece0ba858d6f10108efbe6096b9eab2c3f9197a","datavalue":{"value":"700945","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1340130$0E922A47-0D18-441F-B58B-4F1655F4A114","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b77b431fc86a92792dc6a21fc772bba2088fb678","datavalue":{"value":"bounds","type":"string"},"datatype":"string"},"type":"statement","id":"Q1340130$C1E41FDD-7394-4403-872E-462236728977","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7912e5a769c157b51ad73ccf946203bde6ebfea0","datavalue":{"value":"traces of finite sets","type":"string"},"datatype":"string"},"type":"statement","id":"Q1340130$545FE0ED-255B-42D7-89CE-09FA48FB0A07","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"68c8a95ec29525a4c9cf0da05ec0794b3e53f493","datavalue":{"value":"arrow relation","type":"string"},"datatype":"string"},"type":"statement","id":"Q1340130$F1F64154-9F17-4B52-BDE8-B528AC87BDDA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8ee21a897700a3ce941e9d310d729e5afff2099f","datavalue":{"value":"Vapnik-\u010cervonenkis theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q1340130$0BC6D423-A12E-465F-8A1C-B3BE1F0F49BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4b0c8e32b2502cb90063472e043c11d0141b87ce","datavalue":{"value":"Sauer theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q1340130$0233CC12-98B6-4106-8501-151160A1A1A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5c87f5a8cf22007b9c36bf5f461676129bbe48ca","datavalue":{"value":"weight function","type":"string"},"datatype":"string"},"type":"statement","id":"Q1340130$115C6E3D-8224-4480-8E2E-209762372575","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"01b0989d65d3fe37f1a608a8cd96e416bda56c38","datavalue":{"value":{"entity-type":"item","numeric-id":200913,"id":"Q200913"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1340130$05E31B62-9EBD-4AD6-A378-464D9B4264A4","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":"Q1340130$59DB8C07-D55B-4AF8-A49E-CD228FC2CC0C","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":"Q1340130$CCD0B5F3-B48A-4F1D-8044-213127DB4467","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":"Q1340130$E8655C1E-23B5-4FEE-BAD5-6BAF71A254DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e55670eeffeb14e6ce51166fb8470acff9c12ef5","datavalue":{"value":{"entity-type":"item","numeric-id":5660314,"id":"Q5660314"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1340130$46A3C24B-3E7E-4F55-8D0E-0EBB882EE5DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"643d954aab38b2b70adf9f785895084f4c0093bc","datavalue":{"value":{"entity-type":"item","numeric-id":2544367,"id":"Q2544367"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1340130$8405E2E2-3BE3-45F9-89AC-A0BD174FE73C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ac0ec4868dba1b37d1adb8bb9f6a23d6c0a862f5","datavalue":{"value":{"entity-type":"item","numeric-id":3880849,"id":"Q3880849"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1340130$8EA72491-8345-472B-866D-A620577EB649","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"20195f3ee861bc899e61e8142045b4e3446d4149","datavalue":{"value":{"entity-type":"item","numeric-id":1835917,"id":"Q1835917"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1340130$AAAC9203-B0B0-434E-8A96-1545B97B12BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1bc689cd405d2af54010e909dd4b030c7b32d6fb","datavalue":{"value":{"entity-type":"item","numeric-id":4198510,"id":"Q4198510"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1340130$3C610103-C2A2-40B8-BE74-FE9244FE481C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"13b35a8d0bbc6d7125a5e98fb47cefaeb205b5ef","datavalue":{"value":{"entity-type":"item","numeric-id":1182739,"id":"Q1182739"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1340130$74FDBA35-72C0-4851-931C-C69430638F84","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"70de51512122ad3edfe018cc353bcfa31cc5410f","datavalue":{"value":"https://doi.org/10.1007/bf02986678","type":"string"},"datatype":"url"},"type":"statement","id":"Q1340130$91FB180D-658F-4D01-8B02-C2B88EF2D1BE","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"9b2021a7e3a4ca7b7c3041870577ec02967eca1c","datavalue":{"value":"W1972790035","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1340130$3F5A040F-A1E1-46A8-8340-891358AD570C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ac94ba3d7dd390ec1bea1042b1ce2160599cf499","datavalue":{"value":{"entity-type":"item","numeric-id":1900526,"id":"Q1900526"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f66b0b933482408f8ab8c98307ea7ebf28b89f77","datavalue":{"value":{"amount":"+0.8969478607177734","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":"Q1340130$77978D84-1C98-4716-A5B9-E571BA297269","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c262c112e1c680edcabd36a13c1c3a796670406b","datavalue":{"value":{"entity-type":"item","numeric-id":1182739,"id":"Q1182739"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a4c321737a69f00dc70b559f9ba51796d62eb65d","datavalue":{"value":{"amount":"+0.8139172792434692","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":"Q1340130$26D8C35B-2A84-4F04-B426-5A3ECE433566","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8a3399e57082a1f94e6e8bc994f8e6c2627d1d7a","datavalue":{"value":{"entity-type":"item","numeric-id":3222197,"id":"Q3222197"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a3284990fcb18d8a936f0935d78f0e3113bcb35d","datavalue":{"value":{"amount":"+0.7835361957550049","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":"Q1340130$C46CF227-3919-4080-A14A-1A564BB67156","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Some best possible bounds concerning the traces of finite sets","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Some_best_possible_bounds_concerning_the_traces_of_finite_sets"}}}}}