{"entities":{"Q1715060":{"pageid":1725801,"ns":120,"title":"Item:Q1715060","lastrevid":72218814,"modified":"2026-04-14T03:24:40Z","type":"item","id":"Q1715060","labels":{"en":{"language":"en","value":"A Cauchy-Davenport theorem for linear maps"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7011197"}},"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":"Q1715060$ACDB6841-2443-4AA4-AAF5-87055031460B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"aabbfbdc29b5721cac3be31a58123d847f421bdb","datavalue":{"value":{"text":"A Cauchy-Davenport theorem for linear maps","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1715060$F62829C2-CAF9-494B-A93F-F3BC8C2BB049","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f84cec9120ccc2e1cdd660d50ce604f00b27db36","datavalue":{"value":"1438.11021","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1715060$B9A964AE-1CE2-448D-9426-5CF3D674F819","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"207b033f814008f44c6184c8354c33fa2e82f042","datavalue":{"value":{"entity-type":"item","numeric-id":644689,"id":"Q644689"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1715060$18BCD1BC-7BA0-4C25-833E-4C3BCABA2920","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e40a1f2e1d0938d6f05b9cdbd5d2c05aa0e69e93","datavalue":{"value":{"entity-type":"item","numeric-id":267031,"id":"Q267031"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1715060$9E751E0C-542E-420D-96AF-5338A3E741D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d52a4cb5317158c9113de3fe24d2706d4a1c845d","datavalue":{"value":{"entity-type":"item","numeric-id":534325,"id":"Q534325"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1715060$2AE33363-5E1B-4F07-9868-5625FC8A00F0","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":"Q1715060$E9846E58-ADD9-4ECC-BB0B-69F4511BBB08","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3f4145805478faad59761c3ff4a8cc3fff513172","datavalue":{"value":{"time":"+2019-02-01T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1715060$5BE490A2-4B22-4077-8C62-19CAFBAFC6C1","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"d3e5777701cb2cf69d6b05484c062a0f67ff789f","datavalue":{"value":"https://arxiv.org/abs/1508.02100","type":"string"},"datatype":"url"},"type":"statement","id":"Q1715060$541A27B5-63C5-4AB8-9465-1C7DA949B3EE","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"09403f1908239e9281f1e718de1b076fb92471b8","datavalue":{"value":"Let \\(\\mathbb{F}_p\\) denote the \\(p\\) element field for a prime \\(p\\). The Cauchy-Davenport theorem asserts that for \\(A,B\\subseteq \\mathbb{F}_p\\), \\(\\vert A+B\\vert \\ge \\min\\{p, \\vert A\\vert +\\vert B\\vert -1\\}\\). One might think about the set \\(A+B\\) as the image of the set \\(A\\times B\\) under the map \\(+: \\mathbb{F}_p\\times \\mathbb{F}_p\\rightarrow \\mathbb{F}_p\\). This view led the authors of the paper under review to ask for a generalization for an arbitrary linear map: let \\(L: \\mathbb{F}_p^n \\rightarrow \\mathbb{F}_p^m\\) be a linear map, and \\(A_1, A_2, \\ldots, A_n \\subseteq \\mathbb{F}_p\\), establish a good lower bound for \\(\\vert L(A_1\\times A_2\\times \\cdots \\times A_n)\\vert\\) in terms of \\(\\vert A_1\\vert, \\vert A_2\\vert, \\ldots, \\vert A_n\\vert\\). They do find such a good lower bound, which is tight if \\(m=n-1\\) and \\(p\\) is sufficiently large.   There have been related investigations for the case \\(m=1\\) by \\textit{Z.-W. Sun} [Acta Arith. 99, No. 1, 41--60 (2001, Zbl 0974.11009)] and \\textit{Z.-W. Sun} and \\textit{L.-L. Zhao} [J. Comb. Theory, Ser. A 119, No. 2, 364--381 (2012, Zbl 1273.11020)], but results for \\(m\\geq 2\\) are unprecedented. The actual bound, however, is too complex to state in a short review. The proof uses the Combinatorial Nullstellensatz and the polynomial method.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1715060$BA6F80D0-C92F-4BED-9EA8-7C41EFB26433","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"706e08216f8d7e32a9bfdcc84aeeba4ad0f22d8d","datavalue":{"value":{"entity-type":"item","numeric-id":169304,"id":"Q169304"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1715060$B0856257-E00A-44E9-A4C0-B866A05AAB6D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"f966b0d08eaa36f862948c36979cac20cef1e7f7","datavalue":{"value":"11B13","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1715060$775E9B26-49E0-45B5-970F-2CA53A962ECD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e970d93ffc7c98d538ff001152bd6d8854b6c34c","datavalue":{"value":"15A04","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1715060$F48CB77E-C9B3-443C-A465-776CA691950A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5005488ac12471348bfecb95099a57fd4da722ac","datavalue":{"value":"11T06","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1715060$ACCD25D7-42C8-4F6F-AEF5-BACB9D51CDE5","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"09d37e82af41126ae79ad5e99fdf90a38fdb50eb","datavalue":{"value":"7011197","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1715060$2B9F97B1-27A6-4F28-B5D3-EAA9F77D5E61","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c1a659a28abd9a0ab15a72d50cbebdd941744b5c","datavalue":{"value":"Cauchy-Davenport theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q1715060$1DA4BCF8-40D0-471D-AC06-0AE77AF38684","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ad869eba245d0180a4b4f66c3668961552dac9c2","datavalue":{"value":"general linear maps","type":"string"},"datatype":"string"},"type":"statement","id":"Q1715060$4D424925-318F-4A09-BED3-84704A9F1E92","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c552c0e1076646df059886d2789719fedaf2e0b3","datavalue":{"value":"Combinatorial Nullstellensatz","type":"string"},"datatype":"string"},"type":"statement","id":"Q1715060$3267A325-8A8E-41EC-8487-83F664566296","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3165f528617525bcf4e7137e7ba02ca73240ea3a","datavalue":{"value":"polynomial method","type":"string"},"datatype":"string"},"type":"statement","id":"Q1715060$7A5043F0-DA38-4C0E-B4F8-54BC564CAC9D","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":"Q1715060$964F5A33-8E65-4CC4-A851-F99FC41B1FAD","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"58d7e53a29ebe911416a52861e1b6809f07a0b07","datavalue":{"value":"W2964156759","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1715060$882B1843-3F3A-4F2B-8FCC-13ECBCE73ACD","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"028bb76258aad371e053cbd0c10ff9542b2af911","datavalue":{"value":"10.1007/S00493-016-3486-7","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1715060$00C7D92E-E4EA-410B-BF60-1B2DF47E4A54","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2fdafca6129a2a49e4a3e9f42d661a999bbb8c53","datavalue":{"value":{"entity-type":"item","numeric-id":1418188,"id":"Q1418188"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3147e097693c28a72a2007e8438ba1a2ec32a5ce","datavalue":{"value":{"amount":"+0.7777730226516724","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":"Q1715060$DC4187E9-00B4-46B2-AF95-D487C29E6C1A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e2a5ae2ba9d8de98496b274aea6872f1955e5187","datavalue":{"value":{"entity-type":"item","numeric-id":748497,"id":"Q748497"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"651dafd6bce9cec5e770169c36c07403a22e52a2","datavalue":{"value":{"amount":"+0.7739000916481018","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":"Q1715060$52C82136-6AAE-419D-BF5C-FC46AEE7F63E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d1bb2002ab15e3b2fd1fee4ce2b6594a2fdd2720","datavalue":{"value":{"entity-type":"item","numeric-id":4794398,"id":"Q4794398"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"334fb4816f5f5afd9d7465e9a713ed0c1038384a","datavalue":{"value":{"amount":"+0.7606093287467957","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":"Q1715060$98832EBA-8277-41FD-ADDC-C27A2F601033","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"eefc4342e3cb98d9655e68409155a7ee5f90d843","datavalue":{"value":{"entity-type":"item","numeric-id":4832292,"id":"Q4832292"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"debd14e53f961a87261fe26a3c8b22cfb5ee79db","datavalue":{"value":{"amount":"+0.759260356426239","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":"Q1715060$7876FB26-6196-451B-8A88-E53F12A9B9D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"36d71718013c0f0abe61cc521f56af6ddad884c1","datavalue":{"value":{"entity-type":"item","numeric-id":3439632,"id":"Q3439632"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"07cd5f57b4a25adae280c33b15f74386787825f7","datavalue":{"value":{"amount":"+0.7551497220993042","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":"Q1715060$FA13701E-E950-41AE-ABCE-78487A7E81CF","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A Cauchy-Davenport theorem for linear maps","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_Cauchy-Davenport_theorem_for_linear_maps"}}}}}