{"entities":{"Q1427982":{"pageid":1438722,"ns":120,"title":"Item:Q1427982","lastrevid":67532310,"modified":"2026-04-12T18:38:08Z","type":"item","id":"Q1427982","labels":{"en":{"language":"en","value":"When subset-sums do not cover all the residues modulo \\(p\\)."}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2056167"}},"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":"Q1427982$926C00F0-EC75-417A-B7C1-AFADF61CC7BB","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"6d870cf3aadd3dd1016690bd882423e42ff6e809","datavalue":{"value":{"text":"When subset-sums do not cover all the residues modulo \\(p\\).","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1427982$022C69B7-C6A8-4AF4-9546-02CE0C0A9FE7","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"764dec839b8a88752ac66f7e8e987a4d45abd14d","datavalue":{"value":"1048.11077","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1427982$B59E5A12-233D-423B-B54F-B00F05FE57F6","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"028ee8819fa8296514b2d4938789139b208243c1","datavalue":{"value":{"entity-type":"item","numeric-id":187639,"id":"Q187639"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1427982$0F0AAC37-1FE2-4A0F-A2A2-B7FDBCFA1E7C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"5c9f14d8b7ec028cbc45ba60a0b2078ec5ad1d0a","datavalue":{"value":{"entity-type":"item","numeric-id":221878,"id":"Q221878"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1427982$58C2B042-863F-4418-B2B7-80A8C8E89B5D","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e6cac328d206d9ef9b7afb3fb4ca5d1d204199af","datavalue":{"value":{"entity-type":"item","numeric-id":167107,"id":"Q167107"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1427982$61F50467-6FDB-4BD5-AB43-2FC41FF06F3C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"947fc07e6e3c9508b7adeaf87fe542c1ae2d0058","datavalue":{"value":{"time":"+2004-03-14T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1427982$DE777225-E579-462F-B8E8-63ADE06408E4","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"a9a66b622fb8b782d8d0c11c67c39e04473a64cf","datavalue":{"value":"If \\({\\mathcal A}\\) is a subset of some group, \\(S_{\\mathcal A}\\) denotes the sum of the elements of \\({\\mathcal A}\\) and \\({\\mathcal A}^*= \\{S_{\\mathcal B},\\,{\\mathcal B}\\subset{\\mathcal A}\\}\\).   In [Acta Arith. 9, 149--159 (1964; Zbl 0156.04801)], \\textit{P. Erd\u0151s} and \\textit{H. Heilbronn} proved that every subset \\({\\mathcal A}\\subset\\mathbb{Z}/p\\mathbb{Z}\\setminus \\{0\\}\\) such that \\(|{\\mathcal A}|\\geq 3\\sqrt{6p}\\) satisfies \\({\\mathcal A}^*= \\mathbb{Z}/p\\mathbb{Z}\\). They conjectured that the conclusion still holds if we replace the coefficient \\(3\\sqrt{6}\\) by \\(2\\). Olson proved it and finally, Dias da Silva and ould Hamidoune proved a best possible result of this form.   The present paper looks for subsets \\({\\mathcal A}\\subset \\mathbb{Z}/p\\mathbb{Z}\\) such that \\(|{\\mathcal A}|\\) is large and \\({\\mathcal A}^*\\neq \\mathbb{Z}/p\\mathbb{Z}\\).   Observe that as soon as \\(\\sum_{a\\in{\\mathcal A}}\\| a/p\\|< 1-1/p\\) \\((\\| z\\|= \\min_{n\\in\\mathbb{Z}}| z-n|)\\), \\({\\mathcal A}^*\\neq \\mathbb{Z}/p\\mathbb{Z}\\) must hold. More generally, if for some non-zero modulo \\(p\\) integer \\(s\\), \\(\\sum_{a\\in{\\mathcal A}}\\| sa/p\\|< 1-1/p\\), then \\({\\mathcal A}^*\\neq \\mathbb{Z}/p\\mathbb{Z}\\) must hold.   The present paper looks for a kind of converse statement for this criterion. The following theorem is proved: Let \\(c> \\sqrt{2}\\) and \\(p\\) be a prime. Let \\({\\mathcal A}\\subset \\mathbb{Z}/p\\mathbb{Z}\\), with \\(|{\\mathcal A}|\\geq c\\sqrt{p}\\). If we assume \\({\\mathcal A}^*\\neq \\mathbb{Z}/p\\mathbb{Z}\\) then \\(\\sum_{a\\in{\\mathcal A}}\\| as/p\\|< 1+ O(p^{-1/4}\\log p)\\) for some integer \\(s\\) that is, non-zero modulo \\(p\\).","type":"string"},"datatype":"string"},"type":"statement","id":"Q1427982$520BD9DD-D1F2-4534-9408-D15C57BA66BF","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"ed21874b5e334e7e34c72c472a14e8ea64010c3c","datavalue":{"value":{"entity-type":"item","numeric-id":172226,"id":"Q172226"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1427982$37B9F604-687A-46E8-9A66-8CA847432852","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e3c992a31e02a6ede2f69c758d96f8312e288159","datavalue":{"value":"11P70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1427982$A7F77B9D-88A8-4B50-911E-BED7FABFC15B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"59ff1173f55ceccb7042119df1cda673726c7815","datavalue":{"value":"11B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1427982$47DFC983-2D73-486E-A136-0BFB11BE0197","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"36499c62d2d9a2206ee03d3305588c4e06d1421e","datavalue":{"value":"2056167","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1427982$78E14F0F-0429-48A6-89E7-8814AC208D81","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cb58c4bf9e1359afdccb073e8ee48f8f82de38bc","datavalue":{"value":"subset sums","type":"string"},"datatype":"string"},"type":"statement","id":"Q1427982$649ABAA3-4013-4BF2-A927-89A7EE106FE7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c7e8a75011abf9e1b2949dafe6f3da14707ff5d8","datavalue":{"value":"arithmetic progression","type":"string"},"datatype":"string"},"type":"statement","id":"Q1427982$2C8D051D-87F0-4A02-8682-814E6DDD4D50","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d03cc36a9d56894c8b661c1992a46369f27bc6dd","datavalue":{"value":"inverse problems of additive number theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q1427982$FBCE5348-33BC-4836-9160-80C072C10EEC","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":"Q1427982$8E0D7D0A-F1BE-4160-B868-1E6CB26BC415","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"4f8150d86422f598f15f4958837210ac902a9af8","datavalue":{"value":"https://doi.org/10.1016/j.jnt.2003.08.009","type":"string"},"datatype":"url"},"type":"statement","id":"Q1427982$03BE9B8E-FD8E-4597-9094-F7254CD71999","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"edeb2f3465e8c32aa45b9ac16542e5a74a8e520a","datavalue":{"value":"W2085480084","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1427982$000F39B5-8BD6-4F75-BA65-6D32CCA2CBF5","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"9f0b523bc1699bb6723370c01ff3e70fe792174e","datavalue":{"value":{"entity-type":"item","numeric-id":4256495,"id":"Q4256495"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1427982$F3EBD40B-5EB9-43BC-8CAB-BCE8631D3B42","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5e65945bbae4ba0f8c193c21fe759af9d718b474","datavalue":{"value":{"entity-type":"item","numeric-id":4314567,"id":"Q4314567"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1427982$4346F055-6A6E-4215-B0AA-8E76CF7C1AF2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4e3df7474c32d80982efd482ab9378cd850f668f","datavalue":{"value":{"entity-type":"item","numeric-id":5537489,"id":"Q5537489"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1427982$6B29E4F7-9C00-4F98-BCC9-BDBD72054050","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7593f33a91663bad5cb64893ce72a6ac97f2dcca","datavalue":{"value":{"entity-type":"item","numeric-id":685677,"id":"Q685677"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1427982$4DBD5C6A-A543-4795-A7A2-429549EF5CD5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"04b0852b9edd2a70683886b814a2bc55cfac1908","datavalue":{"value":{"entity-type":"item","numeric-id":3985814,"id":"Q3985814"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1427982$F4AC86CB-5ECF-4DF9-B353-44B4CB0DAFDE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a4a81e375763fea2c6a80dbfc3f6b66ec2cc8ccc","datavalue":{"value":{"entity-type":"item","numeric-id":5562035,"id":"Q5562035"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1427982$CE84BE6D-39A1-49A4-B73C-293890C152DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0f781eb247e560de326060eccb101769ced87f62","datavalue":{"value":{"entity-type":"item","numeric-id":1335255,"id":"Q1335255"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1427982$99F2DA98-2DE0-433C-9D3C-45B316FF262E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"6f1fbd6fbcae7f7b78c509cf6bdf13a24d733661","datavalue":{"value":"10.1016/J.JNT.2003.08.009","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1427982$9B4943E7-0502-480F-B192-5E9733716696","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"74941ab50f883264859eb55237122c1cc1a43ea3","datavalue":{"value":{"entity-type":"item","numeric-id":5486695,"id":"Q5486695"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a17a8c61ea051d84c3248ef99a2d7f4d27e51962","datavalue":{"value":{"amount":"+0.928000271320343","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":"Q1427982$C6329FDA-F3B7-4823-B005-C88344521A43","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b8bd3e5301d6f6884c61047740198df5e3d27bbc","datavalue":{"value":{"entity-type":"item","numeric-id":5445530,"id":"Q5445530"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4b15f169e3bd122e1d4f4dec3664bd5dfe6d8f5d","datavalue":{"value":{"amount":"+0.9048998951911926","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":"Q1427982$0DEA3479-B612-4C41-8DB0-C7420197C150","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c2f49c10954bb9c0b56df692f52627da3347cb53","datavalue":{"value":{"entity-type":"item","numeric-id":4896088,"id":"Q4896088"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0b6061316c95b240b57b3e6b349af763bb3545f4","datavalue":{"value":{"amount":"+0.8217921257019043","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":"Q1427982$10D201DB-6623-46DF-AD7D-4D618E48BACE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d5a63c53d78366dbb53e928e5f483bb7346410b4","datavalue":{"value":{"entity-type":"item","numeric-id":1335255,"id":"Q1335255"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4f5a774f7ea9b3cbb3504a6b29b214446e268ae2","datavalue":{"value":{"amount":"+0.8210095167160034","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":"Q1427982$B1D6E433-A13B-438C-8B2F-5607DBFFF81A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f39c0d84d84bf5df401064373c9500299b8be393","datavalue":{"value":{"entity-type":"item","numeric-id":1090706,"id":"Q1090706"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1970491c05a729809b105c0a6e7285551041a082","datavalue":{"value":{"amount":"+0.820907711982727","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":"Q1427982$77198C7F-DF21-40E5-B133-A46638BD7D52","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"When subset-sums do not cover all the residues modulo \\(p\\).","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/When_subset-sums_do_not_cover_all_the_residues_modulo_%5C(p%5C)."}}}}}