{"entities":{"Q7019149":{"pageid":21617811,"ns":120,"title":"Item:Q7019149","lastrevid":109162970,"modified":"2026-11-11T14:59:24Z","type":"item","id":"Q7019149","labels":{"en":{"language":"en","value":"Averages of multiplicative functions along equidistributed sequences"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7995932"}},"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":"Q7019149$63F6E4A3-DF20-4F55-9CFE-6E0AB2B5E00E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"8c24f3556357c016f5ba68880b9bc110eeaab355","datavalue":{"value":{"text":"Averages of multiplicative functions along equidistributed sequences","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q7019149$EF374CEE-96FA-4F28-9288-34E82A7D7E9B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b630db80cdc726b39ef89848057442731db10221","datavalue":{"value":"1570.11111","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7019149$1FC6F78B-F86A-471A-8CD6-465D3DBDEF08","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"774e1f2512e62cc0d85a59e0c7276d07dce8fbbe","datavalue":{"value":"10.1016/J.JNT.2025.01.005","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7019149$2D374DAD-4EBC-477A-AB80-A4900202099C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"203e31c948216eaf40f69a8cf6400a6bc8b94748","datavalue":{"value":{"entity-type":"item","numeric-id":6753414,"id":"Q6753414"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7019149$C0D4FF5B-F611-42A7-AE82-75AD2E7D5A80","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"02d2cc386f354e17d8d73d82b5fc9d82df47196c","datavalue":{"value":{"entity-type":"item","numeric-id":2037868,"id":"Q2037868"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7019149$1B8A4BBD-C6CA-4C2B-9529-2328CFEBCA81","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"9f315308f5b70edd72ef07920cb583096deceba9","datavalue":{"value":{"entity-type":"item","numeric-id":1983957,"id":"Q1983957"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7019149$0FF5765E-A2D0-4020-BFCC-ADFBA9715C6D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"cacfd788b17cd41886df6cebd5c927a91b1f4295","datavalue":{"value":{"entity-type":"item","numeric-id":736778,"id":"Q736778"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7019149$CDEAD4CD-B753-49F4-8F25-A2740846DEE7","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":"Q7019149$68A2AC83-567F-4915-8F71-E63B75B26D38","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"006236e4fe142ebeec21319b601dd6dc3ace2709","datavalue":{"value":{"time":"+2025-03-05T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q7019149$2EAE571F-81A2-4462-8805-2614E0DA1662","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"80663e7996a463118d4ff7c4eb458f5f1388a54a","datavalue":{"value":"A function \\(f : \\mathbb{N} \\rightarrow \\mathbb{C}\\) is multiplicative if \\(f(a b) = f(a) f(b)\\) for all \\(\\gcd(a, b) = 1\\). People have been interested in mean values of multiplicative functions. More recently, works were done on mean values of multiplicative functions over values of integer polynomials [\\textit{M. Nair} and \\textit{G. Tenenbaum}, Acta Math. 180, No. 1, 119--144 (1998; Zbl 0917.11048); \\textit{K. Henriot}, Math. Proc. Camb. Philos. Soc. 152, No. 3, 405--424 (2012; Zbl 1255.11048)], binary forms [\\textit{R. de la Bret\u00e8che} and \\textit{T. D. Browning}, Acta Arith. 125, No. 3, 291--304 (2006; Zbl 1159.11035)], and even principal ideals [\\textit{T. D. Browning} and \\textit{E. Sofos}, Int. J. Number Theory 15, No. 3, 547--567 (2019; Zbl 1443.11196)]. More generally, \\textit{D. Wolke} [J. Reine Angew. Math. 251, 54--67 (1971; Zbl 0234.10030)] worked on mean value of non-negative multiplicative functions over values of an increasing integer sequence \\(\\{ c_a \\}_{a = 1}^{\\infty}\\): \\[ \\sum_{a \\in \\mathbb{N} \\cap [1, T]} f(c_a). \\] In this article under review, the authors extend Wolke's work to even more versatile settings and obtain a general upper bound. To state the bound, let us introduce some notation. Let \\(\\mathcal{A}\\) be an infinite set and, for each \\(T \\ge 1\\), let \\(\\chi_T : \\mathcal{A} \\rightarrow [0, \\infty)\\) be any function (some sort of counting function) for which \\[ \\{a \\in \\mathcal{A} : \\chi_T(a) > 0 \\} \\text{ is finite for every } T \\ge 1 \\] and \\[ \\lim_{T \\rightarrow \\infty} \\sum_{a \\in \\mathcal{A}} \\chi_T(a) = \\infty. \\] The authors consider the following class of ``general sub-multiplicative'' functions \\(\\mathcal{M}(A, \\varepsilon, C)\\) satisfying \\[ f(a b) \\le f(a) \\min \\{ A^{\\Omega(n)}, C n^\\varepsilon \\} \\] where \\(\\Omega(n)\\) counts the total number of prime factors of \\(n\\) with multiplicity. Moreover, one requires the following equidistribution assumption: \\[ \\mathop{\\sum_{a \\in \\mathcal{A}}}_{c_a \\equiv 0 (\\bmod{d})} \\chi_T(a) = h_T(d) M(T) \\biggl[ 1 + O \\biggl( \\mathop{\\prod_{B < p \\le M(T)}}_{p \\nmid d} (1 - h_T(p))^2 \\biggr) \\biggr] + O(M(T)^{1-\\xi}) \\] for \\(T \\ge 1\\) and \\(d \\le M(T)^\\theta\\) with \\(\\max \\{\\theta, \\xi\\} < 1\\). Here \\(h_T(d) \\in \\mathcal{D}(\\kappa, \\lambda_1, \\lambda_2, B, K)\\), some set of multiplicative density functions over some positive real parameters \\(\\kappa, \\lambda_1, \\lambda_2, B, K\\). The set of density functions \\(\\mathcal{D}\\) satisfy the following sieve-like requirements: \\[ \\mathop{\\prod_{p \\text{ prime}}}_{w \\le p < z} (1 - h(p))^{-1} \\le \\Bigl( \\frac{\\log z}{\\log w} \\Bigr)^\\kappa \\Bigl(1 + \\frac{K}{\\log w} \\Bigr), \\] \\[ h(p^e) \\le \\frac{B}{p} \\; \\text{ for } p > B, \\; \\; \\text{ and } \\; \\; h(p^e) \\le p^{-e \\lambda_1 + \\lambda_2}. \\] The main result (omitting some technical details) is the following upper bound: \\[ \\sum_{a \\in \\mathcal{A}} \\chi_T(a) f(c_a) \\ll M \\prod_{B < p \\le M} (1 - h_T(p)) \\sum_{a \\le M} f(a) h_T(a). \\] Its method of proof builds on works of \\textit{D. Wolke} [J. Reine Angew. Math. 251, 54--67 (1971; Zbl 0234.10030)] and \\textit{P. Shiu} [J. Reine Angew. Math. 313, 161--170 (1980; Zbl 0412.10030)] by breaking into four cases, depending on the smoothness of certain factorization and potential divisibility by a large prime power. Careful estimations are done through establishing progressively more refined and related lemmas. Rankin's trick and the fundamental lemma of sieve theory are applied. A matching lower bound is also established when \\(f\\) is not too close to \\(0\\). As a concrete corollary, the authors prove that, for any irreducible polynomial \\(Q(x_1, x_2, \\ldots, x_n) \\in \\mathbb{Z}[x_1, x_2, \\ldots, x_n]\\) and \\(T \\ge 2\\), there exist constants \\(C_1, C_2 > 0\\) depending on \\(Q\\) and \\(n\\) such that \\[ C_1 T^n \\log T \\le \\mathop{\\sum_{\\textbf{x} \\in \\mathbb{Z}^n, |x_i| \\le T}}_{Q(\\textbf{x}) \\neq 0} \\tau( |Q(\\textbf{x})| ) \\le C_2 T^n \\log T \\] where \\(\\tau\\) is the divisor function.","type":"string"},"datatype":"string"},"type":"statement","id":"Q7019149$340D7216-0DBF-4CC8-B002-6C9BEACE021A","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"028d89c0ec2663de3a26f12fd4ecf75c0d0eb18e","datavalue":{"value":{"entity-type":"item","numeric-id":621770,"id":"Q621770"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7019149$B4179231-C0DD-4F86-9CCB-05EA82FEC7DF","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ce43af76667bf5ee226f5551a40d83564ed9a3fe","datavalue":{"value":"11N37","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7019149$B9D3F0D1-4C1D-463E-BBCB-F51EF30E97FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"350ad9e3cb57303f41763f7e3b29497fcb98dda4","datavalue":{"value":"11A25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7019149$9ADB94BF-CC39-4E33-8893-4E69136FC583","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"21e5a0f641245f2f7d0ebe2a3c60d2d47949966b","datavalue":{"value":"11N56","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7019149$F4EAC232-9388-4506-BFD6-5B83B5C4D1D8","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ab463a748226c8b5245bbd215e18dfd20ce7f578","datavalue":{"value":"7995932","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7019149$26005B22-A79E-4744-A82F-09700C178CCC","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8153fad857959e0d1979f8185292bf01e28ed1f5","datavalue":{"value":"sieve theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q7019149$148886AC-D15B-4FB2-A79C-8CD96EFFBC3D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"95025eb10d7fa99fb100ce466b17a4a757f14e24","datavalue":{"value":"multiplicative functions","type":"string"},"datatype":"string"},"type":"statement","id":"Q7019149$AF9774A2-A9B6-42A3-BCAD-7842A715EC43","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":"Q7019149$1FC8EFD7-572C-4812-AED1-519EFB9DC17E","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"3b96c3697dc79fe00ca4ab468b847106e5ba1db5","datavalue":{"value":{"entity-type":"item","numeric-id":3414114,"id":"Q3414114"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7019149$E21447D7-ECA7-4C30-9C66-06ADFDE14A02","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bb9f35b54755e148f6f52f650fdd871e790460b6","datavalue":{"value":{"entity-type":"item","numeric-id":4629108,"id":"Q4629108"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7019149$E4E7599A-E924-4243-8076-30FE72373205","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e55909f25e9652c7050775053677b96a31f1c925","datavalue":{"value":{"entity-type":"item","numeric-id":5067610,"id":"Q5067610"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7019149$9B2B14CD-AFAE-4D22-963B-310DFAEAB5D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f47748efea7b0166bb61dacfa2d683f528e45f93","datavalue":{"value":{"entity-type":"item","numeric-id":2883235,"id":"Q2883235"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7019149$91E293D7-EB3A-4AB2-868A-E6CE05796D42","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"30c4e94d4db8d92bc3bc1b0063e65ce7c2992f36","datavalue":{"value":{"entity-type":"item","numeric-id":4830109,"id":"Q4830109"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7019149$F5F29BE9-F966-4F6D-8E1F-FC2142BE598F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3a981f0e011dac2a312523e5988e5fad2146da5d","datavalue":{"value":{"entity-type":"item","numeric-id":2831998,"id":"Q2831998"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7019149$8585B4B3-BA35-41D0-B402-2B63F6676C05","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ab3d875f4325c97c1166a660f60a3407cfc36139","datavalue":{"value":{"entity-type":"item","numeric-id":4024734,"id":"Q4024734"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7019149$6A7620A3-EEA9-4ACE-9029-B5A409F4525F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a7934f08e29b7e4d75e571f98d4ebf62ad6837a2","datavalue":{"value":{"entity-type":"item","numeric-id":1389812,"id":"Q1389812"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7019149$23CA4766-E681-4DB2-9514-98833402425E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a9c660d0eef7600f1019abd60e0d423a4bd697a1","datavalue":{"value":{"entity-type":"item","numeric-id":3094456,"id":"Q3094456"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7019149$C1C5AD86-94F3-44C8-B1D4-1C42CA469EC4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4abc95878b89d8ab6eb8a38b100209172667df60","datavalue":{"value":{"entity-type":"item","numeric-id":4200287,"id":"Q4200287"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7019149$16E4E305-1697-45E7-882B-762326426562","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"107a85eb94c0ffa364ab1ef64e5fb5b7a5eaa130","datavalue":{"value":{"entity-type":"item","numeric-id":5642622,"id":"Q5642622"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7019149$8BBBDDCC-72E9-4CEB-BB55-9D5C6DE9AAB8","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Averages of multiplicative functions along equidistributed sequences","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Averages_of_multiplicative_functions_along_equidistributed_sequences"}}}}}