{"entities":{"Q2637185":{"pageid":2647928,"ns":120,"title":"Item:Q2637185","lastrevid":79145372,"modified":"2026-05-06T13:14:57Z","type":"item","id":"Q2637185","labels":{"en":{"language":"en","value":"On additive complement of a finite set"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6256336"}},"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":"Q2637185$90292CB4-204B-468E-871E-18AA03586408","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"4bac5398d588facddf683d9c3815cfe1cd68566b","datavalue":{"value":{"text":"On additive complement of a finite set","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2637185$2EB59972-C28C-4AF0-B67B-FB89ED6929B6","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e22d70f2b0bf12cf0c1568395405193597225418","datavalue":{"value":"1360.11024","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2637185$0720ECBE-9340-4085-8343-8D476AF23662","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"4ab27fc27777b34ffa079ed05e70097d9a6eab43","datavalue":{"value":{"entity-type":"item","numeric-id":481402,"id":"Q481402"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2637185$975F2FFD-2560-4A42-BA49-7DAB85F462A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"258c6d8bd763c78cca8628fda62a71328d1adf2e","datavalue":{"value":{"entity-type":"item","numeric-id":481401,"id":"Q481401"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2637185$B05E10C5-DF29-4DCB-A7C2-D8BDF063749B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ba740a3abdf5027033e7af0fedad9daa7dbc925e","datavalue":{"value":{"entity-type":"item","numeric-id":213636,"id":"Q213636"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2637185$8990268C-2E20-4F17-9AB7-09BC9D22C198","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":"Q2637185$37429E59-EA21-4A33-AD6A-33A9B548733F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6392852e6db303afaa4ad0194b522cf21969ecc9","datavalue":{"value":{"time":"+2014-02-07T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2637185$B640F276-4C0C-48AA-AFBC-D1EC674CFF76","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"a9f6f0c040ddde5bb7324ba706ff55bce99bb887","datavalue":{"value":"https://arxiv.org/abs/1304.6838","type":"string"},"datatype":"url"},"type":"statement","id":"Q2637185$2335E087-0D76-4B74-B0BD-53233D076974","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"4968981109a0963405b3a34a4472b1aa693854f4","datavalue":{"value":"From the text: Let \\(\\mathbb N\\) denote the set of positive integers and let \\(\\mathcal A\\subseteq\\mathbb N\\) and \\(\\mathcal B\\subseteq\\mathbb N\\) be finite or infinite sets. Let \\(R_{\\mathcal A+\\mathcal B}(n)\\) denote the number of solutions of the equation \\(a+b=n\\), \\(a\\in\\mathcal A\\), \\(b\\in\\mathcal B\\).   We put  \\[ A(n) =\\sum_{_{\\substack{ a\\leq n\\\\ a\\in\\mathcal A}}} 1\\quad\\text{and}\\quad B(n) =\\sum_{_{\\substack{ b\\leq n\\\\ b\\in\\mathcal B}}} 1, \\]  respectively. We say a set \\(\\mathcal B\\subseteq\\mathbb N\\) is an additive complement of the set \\(\\mathcal A\\subseteq\\mathbb N\\)  if every sufficiently large \\(n\\in\\mathbb N\\) can be represented in the form \\(a+b=n\\), \\(a\\in\\mathcal A\\), \\(b\\in\\mathcal B\\), i.e., \\(R_{\\mathcal A+\\mathcal B}(n)\\geq 1\\) for \\(n\\geq n_0\\). Additive complement is an important concept in additive number theory, in the past few decades it was studied by many authors. In [Acta Math. Hung. 64, No. 3, 237--245 (1994; Zbl 0816.11013)] \\textit{A. S\u00e1rk\u00f6zy} and \\textit{E. Szemer\u00e9di} proved a conjecture of \\textit{L. Danzer} [J. Reine Angew. Math. 214/215, 392--394 (1964; Zbl 0126.27902)], namely they proved that for infinite additive complements \\(\\mathcal A\\) and \\(\\mathcal B\\) if \\(\\limsup_{x\\to+\\infty}\\frac{A(x)B(x)}{x}\\leq 1\\), then \\(\\liminf_{x\\to +\\infty}(A(x)B(x)-x) = +\\infty\\).   In [Proc. Am. Math. Soc. 138, No. 6, 1923--1927 (2010); 139, No. 3, 881--883 (2011; Zbl 1202.11010)] \\textit{Y.-G. Chen} and \\textit{J.-H. Fang} improved this result. In [Discrete Math. 313, No. 5, 595--598 (2013; Zbl 1311.11014)] they studied the case when \\(\\mathcal A\\) is a finite set. In this case the situation is different from the infinite case.  In this paper the authors prove a conjecture of Chen and Fang (Conjecture 1.5. in [Discrete Math. (loc. cit.)]), when the number of elements of the set \\(\\mathcal A\\) is prime:  Theorem 1. Let \\(p\\) be a positive prime and \\(\\mathcal A\\) is a set of nonnegative integers with \\(|\\mathcal A| = p\\). If \\(\\mathcal A\\) is not of the form  \\[ \\mathcal A = \\{a + ip^s + k_ip^s+1 : i = 0, \\ldots, p-1\\}, \\tag{1} \\]  where \\(a > 0\\), \\(s\\geq 0\\) and \\(k_i\\) are integers, then, for any additive complement \\(\\mathcal B\\) of \\(\\mathcal A\\), we have  \\[ \\lim_{x\\to+\\infty}(A(x)B(x)-x) = +\\infty. \\tag{2} \\]  In the case when the number of elements of \\(\\mathcal A\\) is a composite number, we disprove the Conjecture 1.5. in [loc. cit.]: Theorem 2. For any composite number \\(n > 0\\), there exists a set \\(\\mathcal A\\) and a set \\(\\mathcal B\\) such that \\(|\\mathcal A| = n\\), \\(\\mathcal B\\) is an additive complement of \\(\\mathcal A\\) and \\(\\mathcal A\\) is not of the form \\(\\mathcal A = \\{a + in^s + k_in^s+1 : i = 0, \\ldots, n-1\\}\\), where \\(s\\geq 0\\), \\(a > 0\\), and \\(k_i\\) are integers, and  \\[ A(x)B(x)-x = O(1). \\]  The authors also give a short survey about the algebraic concepts which play a crucial role in the proof of Theorem 1.","type":"string"},"datatype":"string"},"type":"statement","id":"Q2637185$1DAF4A6F-E92D-46B4-9415-8BB498428345","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"f966b0d08eaa36f862948c36979cac20cef1e7f7","datavalue":{"value":"11B13","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2637185$803BD8EB-78D3-4637-8B17-D50C5C13C577","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"38e392e572de25a4baa01142db33b875c7462dc9","datavalue":{"value":"11B34","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2637185$EE7496B1-42D3-40D4-AEF8-B2C1E5620915","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"141c1f16e48ffc687ccb0c6a211b6d4e8c44560e","datavalue":{"value":"6256336","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2637185$D3C91224-588F-471E-9CDB-D597E1DEA2CC","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e57b0bc1c0074d81ab9bcd4c2c54a583f0cbb00d","datavalue":{"value":"additive number theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q2637185$AF3A991E-BA27-48F4-9F01-B49A08A4F630","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d267951d5c93adb756432afeb41260d8e062e61f","datavalue":{"value":"additive complement","type":"string"},"datatype":"string"},"type":"statement","id":"Q2637185$3FC447D2-3C35-4165-9FF3-B9ADD1CBFF65","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a3bdfaf50a859f5dcfd6c0d4cd8eb8dd602821d3","datavalue":{"value":"finite sets","type":"string"},"datatype":"string"},"type":"statement","id":"Q2637185$4A214FF1-C3F0-4D12-85B6-7CDF599147A1","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":"Q2637185$406D9868-CDCA-48F9-97CB-E382FBD556C8","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"990a6ca99512332dd71faaf8e13d6b0c99b19c4e","datavalue":{"value":"W1990506330","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2637185$8DE409AE-791D-4A62-BA52-E0324EBC91CC","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"152d639bc305e8f59710c674751bebadcecf80b3","datavalue":{"value":{"entity-type":"item","numeric-id":3566650,"id":"Q3566650"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2637185$6CDF380F-19E3-44AD-ACAE-A9B19C29118C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6661ec31a892fab28da4508b4a198570696aceb9","datavalue":{"value":{"entity-type":"item","numeric-id":1939574,"id":"Q1939574"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2637185$700A46BD-3ED5-42E5-8130-2BC4AC6F561B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9cfc6bcb48b9012c24426972a1b78224bb77868b","datavalue":{"value":{"entity-type":"item","numeric-id":5333450,"id":"Q5333450"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2637185$62C0079C-E641-433A-B7F7-65051D8EFC9F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5656a0c3fecb080fe5c0f0dab07307403207700b","datavalue":{"value":{"entity-type":"item","numeric-id":3269238,"id":"Q3269238"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2637185$2EACE49A-6AEE-497F-BC4B-51422168BCCA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e7eeac95d96dd43484200d2a64edd630d27b45ab","datavalue":{"value":{"entity-type":"item","numeric-id":4179089,"id":"Q4179089"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2637185$CAEB4819-EFD6-4745-B806-9CBE4A50819F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"19d32299d402f092db0016acee75cb2a1990b86e","datavalue":{"value":{"entity-type":"item","numeric-id":5955202,"id":"Q5955202"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2637185$1FBEC4F2-FC07-4032-B715-B5F7F3483730","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"86262bbc65793e7a12a9f61919873ce7bf849396","datavalue":{"value":{"entity-type":"item","numeric-id":5906577,"id":"Q5906577"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2637185$31584272-47CE-4BB7-860B-B2A7BC36A4C2","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"246cb284c40360c38b3cff282482af114d0c17d3","datavalue":{"value":"10.1016/J.JNT.2013.09.011","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2637185$34F68BC5-B62D-4143-87D5-3FD5C57EDBEC","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"281edbadfa3e3586abc3af804d493d7eeb81e2e5","datavalue":{"value":{"entity-type":"item","numeric-id":1939574,"id":"Q1939574"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"734e7e55a634e95bc96317c6324688860cc16d95","datavalue":{"value":{"amount":"+0.9058573246002196","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":"Q2637185$0B39F214-6B6A-41C7-821F-A267A84FA880","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f7e6d51edc7919696486075c65b694a5b9603f1b","datavalue":{"value":{"entity-type":"item","numeric-id":5030089,"id":"Q5030089"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ad8c20e0436e86d9a015e14933b9fd7c609728e2","datavalue":{"value":{"amount":"+0.8563405275344849","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":"Q2637185$5A414D91-6E5F-4DD9-92E7-A3EF1D95014F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bbc2a130e3ca6bc7ca8cf51c4e58fb13d7fb887a","datavalue":{"value":{"entity-type":"item","numeric-id":2983569,"id":"Q2983569"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f6fe7ec7fb51309d1e77a3fbec7c580eab64ea91","datavalue":{"value":{"amount":"+0.854762852191925","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":"Q2637185$3E44BC69-8F5C-4898-BC87-13F54A265F5C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"54a71c85bbfbd874eee734b23fd1a5849547a2bc","datavalue":{"value":{"entity-type":"item","numeric-id":2987021,"id":"Q2987021"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a3704db8d1757576456a366de3bb72a7d079fb43","datavalue":{"value":{"amount":"+0.8457016944885254","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":"Q2637185$79074B29-84A0-49C8-9113-361B587784BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3b439fcca2c059dc595bcada5639922bce09e58a","datavalue":{"value":{"entity-type":"item","numeric-id":5147016,"id":"Q5147016"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"79b99423ba64ecb50a8316799c8e7c9762b8a07d","datavalue":{"value":{"amount":"+0.8402965068817139","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":"Q2637185$7DC3471C-3918-47DF-82F9-4D37255C309A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"On additive complement of a finite set","badges":[]}}}}}