{"entities":{"Q7008632":{"pageid":21554739,"ns":120,"title":"Item:Q7008632","lastrevid":76539603,"modified":"2026-04-24T10:23:33Z","type":"item","id":"Q7008632","labels":{"en":{"language":"en","value":"A note on the squarefree density of polynomials"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 8015216"}},"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":"Q7008632$AD237A73-079D-4577-B7FD-308293DA4937","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"33415b40e03595c030370c78ac3519ae6827cfc6","datavalue":{"value":{"text":"A note on the squarefree density of polynomials","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q7008632$9DD87EE3-6757-4CE7-8973-7DFADF477BFA","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"11f448d12a87d6d3363b2d956a4c1e68e6466891","datavalue":{"value":"1573.11093","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7008632$E2C5577B-75AB-4520-9D28-02D0BE871A32","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"2ca026443d53fba3821f7eeaf21b0964e933939b","datavalue":{"value":"10.1112/MTK.12275","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7008632$7F837A5D-2008-4302-9485-F7EDC9C868FD","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"2f70132c1e4729b6c20d65b9f861dd1d7db41070","datavalue":{"value":{"entity-type":"item","numeric-id":1038643,"id":"Q1038643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7008632$CAF38B9C-482E-4B0F-90AE-5A5F989E5129","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f697505a4eecfc9f09f0e86818d93965b3138cbc","datavalue":{"value":{"entity-type":"item","numeric-id":224032,"id":"Q224032"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7008632$0436E66F-E9AD-4DD6-B9A4-A6A87018811C","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"339026d43fac997dddeec93b4b99c7491af92082","datavalue":{"value":{"entity-type":"item","numeric-id":2810726,"id":"Q2810726"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7008632$EC80CD56-C7B9-492E-B6CC-AFB831917497","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2e51f77638a7013a05a651815977c34cb20184d5","datavalue":{"value":{"time":"+2025-03-21T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q7008632$07F64C4C-0381-47EB-B720-1E34F4484C25","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"56281e19644db9436cabd1debbe790fbf51289bc","datavalue":{"value":"This paper concerns the density of square-free values of a given polynomial in \\(s\\ge 1\\) variables. Let \\(P\\in \\mathbb{Z}[x_1,\\dots,x_s]\\) be nonzero, with total degree \\(\\deg{P}\\ge 2\\). For each prime \\(p\\), let \\(\\delta_P(p^2)\\) be the proportion of vectors \\(x\\in [1,p^2]^s\\cap \\mathbb{Z}^s\\) for which \\(P(x)\\equiv 0\\bmod{p^2}\\). It is conjectured that (\\(\\star\\)) \\N\\[\\N\\frac{\\#\\{x\\in [-B,B]^s\\cap \\mathbb{Z}^s: \\mu(|P(x)|)\\ne 0\\}} {\\#\\{x\\in [-B,B]^s\\cap \\mathbb{Z}^s\\}} \\to \\mathfrak{S}_P\\N\\]\\Nas \\(B\\to \\infty\\), where \\N\\[\\N\\mathfrak{S}_P := \\prod_p (1 - \\delta_P(p^2)).\\N\\]\\NIn [\\textit{J. M. Kowalski} and \\textit{R. C. Vaughan}, Acta Arith. 214, 215--233 (2024; Zbl 1560.11141)], it was observed that the infinite product \\(\\mathfrak{S}_P\\), being a limit of a non-increasing sequence of non-negative real numbers, either diverges to \\(0\\) or converges to a positive real number; and moreover, an upper-bound sieve was used to show that if \\(\\mathfrak{S}_P=0\\), then (\\(\\ast\\)) holds (Theorem~1.3).\\N\\NThe main result of the present paper (Theorem~1.1) characterizes exactly when \\(\\mathfrak{S}_P = 0\\) occurs: either (a) we have \\(\\delta_P(p^2) = 1\\) for some prime \\(p\\), or (b) the polynomial \\(P\\) is divisible by the square of a non-constant polynomial \\(L_2\\in \\mathbb{Z}[x_1,\\dots,x_s]\\). Interesting corollaries are also given. Corollary~1.2 quantifies the rate of convergence in the asymptotic (\\(\\star\\)), in both cases (a) and (b). Corollary~1.3 uses an upper-bound sieve to show that the true upper square-free density \\(\\mathfrak{D}_P\\) is always at most \\(\\mathfrak{S}_P\\), which implies that \\(\\mathfrak{D}_P=0\\) if either (a) or (b) holds.\\N\\NThe interested reader is advised to consult this well-written paper for further details, and for references on the rich history of square-free values. The main ingredients in the proof of Theorem~1.1 are multivariate Hensel lifting, the Lang-Weil estimate over the finite fields \\(\\mathbb{F}_p\\), the theory of discriminants (or resultants), and the fact that \\N\\[\\N\\prod_p (1-p^{-1}) = 0 < \\prod_p (1-p^{-2}).\\N\\]\\NHowever, as remarked in [\\textit{Y. G. Zarhin}, ``Comment on `On the squarefree density of polynomials''', Preprint, \\url{arXiv:2410.09357}], the implication ``\\(\\mathfrak{S}_P=0\\) implies (a) or (b)'' in Theorem~1.1 is already implicit in Section~6 of [\\textit{B. Poonen}, Duke Math. J. 118, No. 2, 353--373 (2003; Zbl 1047.11021)].","type":"string"},"datatype":"string"},"type":"statement","id":"Q7008632$1CF83496-7E1B-47F7-865A-B5DBAA2065DE","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"5e1edc9d28dcee61b786a1de749b54fbaedd7f95","datavalue":{"value":{"entity-type":"item","numeric-id":897558,"id":"Q897558"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7008632$4AFA6C93-5C89-4502-9697-4152B66C4298","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"1fd98ee712f85e43ff9029fa787b8edfa82ce1eb","datavalue":{"value":"11E76","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7008632$7F969B5A-C1D7-4BD7-878D-CB8BDDA046FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7c2eb42a01c6d1209538ab1ef910c81f1a87b7ac","datavalue":{"value":"11N25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7008632$2A8B9BFA-52E3-4CD7-BCBC-FD7FF43B00E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"64959e6324708c329b0f75d5784f1cd11b530d1e","datavalue":{"value":"11N32","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7008632$76E1097C-86DF-4D4A-9D89-E58FD392C957","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"838eb9bc661a873401cd15283389be951b5f635d","datavalue":{"value":"8015216","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7008632$AE602BEB-CCDE-4F79-9734-4463EA2FD1C8","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"c39a117a349789e54237c0a3254f5a10c0a6517e","datavalue":{"value":{"entity-type":"item","numeric-id":6830565,"id":"Q6830565"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7008632$58F0C3F4-8D46-4F12-B0D1-ACB928A4B4B1","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d9d25444a154e506d2caf86a4e52f5686b70e491","datavalue":{"value":"densities","type":"string"},"datatype":"string"},"type":"statement","id":"Q7008632$3F481500-393F-4DEA-A5D4-A515114D288D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3ecd0f81a6b6c3dbb69353a424758147f17cf998","datavalue":{"value":"square-free values","type":"string"},"datatype":"string"},"type":"statement","id":"Q7008632$98E3B6E7-76EA-469F-952B-B500041AEE07","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6de6cb8342e839961f34703eef51a0f7e6e142ab","datavalue":{"value":"multivariate polynomials","type":"string"},"datatype":"string"},"type":"statement","id":"Q7008632$662997F7-D3DB-4E96-9355-47778946B287","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":"Q7008632$8E68C47F-91A6-4755-A738-BDE74AEB5624","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A note on the squarefree density of polynomials","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_note_on_the_squarefree_density_of_polynomials"}}}}}