{"entities":{"Q7028449":{"pageid":21673587,"ns":120,"title":"Item:Q7028449","lastrevid":101373413,"modified":"2026-06-06T01:02:11Z","type":"item","id":"Q7028449","labels":{"en":{"language":"en","value":"Square-root cancellation for sums of factorization functions over squarefree progressions in \\(\\mathbb{F}_q[t]\\)"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7983481"}},"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":"Q7028449$D027696F-8177-4238-96F6-AEEEA6CF7EEF","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"235cabed3f8f0921bc6dd77c9960502238b2e5fd","datavalue":{"value":{"text":"Square-root cancellation for sums of factorization functions over squarefree progressions in \\(\\mathbb{F}_q[t]\\)","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q7028449$A382E655-195B-4B6C-AAD8-296A98BAD6A7","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"eb1c44109f9d24d59335644665e6c4419b4c1663","datavalue":{"value":"1569.1117","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7028449$27DF6C7D-AB30-4DD3-B37A-A854F4060FEE","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"acc8fde6f913c2577bd510de6d32e6c7ee06c4fd","datavalue":{"value":"10.4310/ACTA.2024.V233.N2.A3","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7028449$BA10EE0C-08F1-426E-94D6-0255298CE89E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"6a8033693fe0d880d0c4317383068a8a3912b947","datavalue":{"value":{"entity-type":"item","numeric-id":282847,"id":"Q282847"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7028449$3E0B2968-B9B1-4BF9-BA3E-D95AD234AD1E","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"09f456a274e455e5e5b05b055e42e0cbb108679d","datavalue":{"value":{"entity-type":"item","numeric-id":163102,"id":"Q163102"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7028449$28FD50A3-0EC7-4C49-8D59-A6D68B90B679","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"79295fba39b045668a28642778d9e57debe5f9af","datavalue":{"value":{"time":"+2025-02-12T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q7028449$5B38EBA9-E214-48B0-BB20-E079246739B2","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"5b3326b93f5e06d30d05d0c94d2cfb70708d7a04","datavalue":{"value":"This paper considers arithmetic functions over the polynomial ring \\(\\mathbb{F}_q[t]\\), where \\(q\\) is a fixed prime power. Let \\(\\mathcal{M}_n\\) be the set of monic polynomials in \\(\\mathbb{F}_q[t]\\) of degree \\(n\\). Then for any \\(\\theta\\in(0,1)\\) and any\\N\\[\\Nq>e^2\\frac{(1+\\theta)^2}{(1-\\theta)^2}\\N\\]\\Nthere is a corresponding \\(\\delta=\\delta(\\theta,q)>0\\) such that\\N\\[\\N\\sum_{\\substack{f\\in\\mathcal{M}_n \\\\\\Nf\\equiv a(\\mathrm{mod}\\; g)}} \\mu(f)=O_{q,\\theta}\\left((q^{n-\\mathrm{deg}(g)})^{1-\\delta}\\right),\\N\\]\\Nfor all square-free \\(g\\) of degree at most \\(\\theta n\\), uniformly over polynomials \\(a\\) coprime to \\(g\\). Thus we get a level of distribution \\(\\theta>1/2\\) for any fixed \\(q>29\\), and we can take any \\(\\theta<1\\), provided \\(q\\) is a sufficiently large fixed prime-power. One can take\\N\\[\\N\\delta=\\frac{1}{2}-\\frac{1+\\log\\{(1+\\theta)/(1-\\theta)\\}}{\\log q},\\N\\]\\Nwhich tends to \\(\\tfrac12\\) as \\(q\\to\\infty\\), for fixed \\(\\theta\\). A previous result of this type, due to \\textit{W. Sawin} and \\textit{M. Shusterman} [Ann. Math. (2) 196, No. 2, 457--506 (2022; Zbl 1499.14038)], did not require \\(g\\) to be square-free, but needed \\(q=p^r\\) with \\(r\\ge 3\\) to be useful.\\N\\NThere are similar results where the M\u00f6bius function is replaced by the function field von Mangoldt function, or by the generalized divisor function \\(d_k(f)\\). These contain a main term and an error term \\(O_{q,\\theta}\\left((q^{n-\\mathrm{deg}(g)})^{1-\\delta}\\right)\\) as above. However the condition on \\(q\\) is slightly different for these.\\N\\NThe proof sharpens the methods of Sawin and Shusterman [loc. cit.] in several different ways, and similarly builds on the author's earlier work [Duke Math. J. 170, No. 5, 997--1026 (2021; Zbl 1506.11151)]. One key input is the strong bound for Betti numbers given by the author [Invent. Math. 224, No. 1, 1--32 (2021; Zbl 1472.14019)].","type":"string"},"datatype":"string"},"type":"statement","id":"Q7028449$C19B088E-BB09-44FD-BF13-DC876C2CF39B","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"8f9d2210fd31daf1b0c32117558fba88c34088c9","datavalue":{"value":{"entity-type":"item","numeric-id":177007,"id":"Q177007"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7028449$014A0036-E87A-4704-BC77-F334515F8F16","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"8478adcfdb0e29037633578ba7f4fe0ec460df6a","datavalue":{"value":"11T55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7028449$B4AC5E6D-7B66-4F25-ADFF-87782967D5C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ce43af76667bf5ee226f5551a40d83564ed9a3fe","datavalue":{"value":"11N37","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7028449$3EC262B6-025E-4EB1-887F-14A151C01B75","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"68c41041f241a1d16ef1fcc007ef2e6f2418a396","datavalue":{"value":"11R58","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7028449$2687069E-4A22-411E-AE2F-28E8ACB60E74","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"250ac585ff0d2733eb60af1f9d4aef34f19fcb8e","datavalue":{"value":"7983481","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7028449$AA303859-D09E-49B8-B62A-477505EB46D9","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"867543e79796cc656480a6bb6f54f46779f775f9","datavalue":{"value":"arithmetic function","type":"string"},"datatype":"string"},"type":"statement","id":"Q7028449$08260367-2DEC-40A9-A26E-8F84D95C567E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0e79ad6430269b54388f4ec89a588557d48e71cc","datavalue":{"value":"function field","type":"string"},"datatype":"string"},"type":"statement","id":"Q7028449$70053234-3AF3-456A-8015-CB646758293F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c7e8a75011abf9e1b2949dafe6f3da14707ff5d8","datavalue":{"value":"arithmetic progression","type":"string"},"datatype":"string"},"type":"statement","id":"Q7028449$02EE4716-EF53-4D67-8910-BF3218F2E0F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"23338cba801a4d2d8f0da57f4ded240410d2463e","datavalue":{"value":"level of distribution","type":"string"},"datatype":"string"},"type":"statement","id":"Q7028449$2C063D06-C6C9-42B8-A9A7-075DB36F8259","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ab7802e6d19d9815b82d15bc803755fb69f81b84","datavalue":{"value":"square-root cancellation","type":"string"},"datatype":"string"},"type":"statement","id":"Q7028449$D45A8ADA-0B0C-4E90-999D-E021237CFB7D","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":"Q7028449$1F6A91F3-16BC-43E0-B490-E6DAB4F7BB44","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:7028449","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:7028449"}}}}}