{"entities":{"Q788020":{"pageid":789868,"ns":120,"title":"Item:Q788020","lastrevid":64382625,"modified":"2026-04-11T19:29:40Z","type":"item","id":"Q788020","labels":{"en":{"language":"en","value":"On zeros of \\(p\\)-adic forms"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3841965"}},"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":"Q788020$5C8458D3-FAE4-4EF2-9571-A07264DBB8FE","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"51df8a946042347e825265d502272515946b0eee","datavalue":{"value":{"text":"On zeros of \\(p\\)-adic forms","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q788020$C7A9F921-A66D-47C9-AAAB-D760C11391A3","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"df781404c3af84824a77ab38e3a90df150a06dd7","datavalue":{"value":"0531.10026","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q788020$43685325-1E73-4E94-AD77-B5755E2BA07C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"be2a1365580923572e23acc6c4ce66b72b5d38af","datavalue":{"value":{"entity-type":"item","numeric-id":768392,"id":"Q768392"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q788020$9192D9BE-7F87-44C0-A695-A12FE2EA9695","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f7096d093ebd3023fb6fb836f7c58b10b5f8136b","datavalue":{"value":{"entity-type":"item","numeric-id":266159,"id":"Q266159"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q788020$37059F33-6EC7-4136-BC33-3CC6C4DB1BED","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"6c4c7a1f46d9894fac4cec7ad103eaed62d5731b","datavalue":{"value":{"entity-type":"item","numeric-id":227392,"id":"Q227392"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q788020$C607539E-21B9-4CF3-8367-F3F9744A4714","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0136733d5dd7d9f4d36f24c87a0b8375ae1cb2fd","datavalue":{"value":{"time":"+1983-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q788020$EE0E7229-A37E-4BFE-A276-CA8E327FD269","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"5644a259b0ad62463bed31aac10d5a99f97b784a","datavalue":{"value":"Let \\(F\\) be a form of degree \\(d\\), in \\(n\\) variables and with coefficients in a \\(p\\)-adic field \\({\\mathbb{Q}}_ p\\). Suppose that \\(F\\) has a non-trivial zero in \\({\\mathbb{Q}}_ p\\) when \\(n>\\phi_ p(d)\\). Artin conjectured that \\(\\phi_ p(d)=d^ 2\\) but Terjanian constructed a form of degree 4 in 18 variables which did not represent \\(0\\) non-trivially in \\({\\mathbb{Q}}_ 2\\) [\\textit{G. Terjanian}, C. R. Acad. Sci., Paris, S\u00e9r. A 262, 612 (1966; Zbl 0133.297)]. Browkin extended Terjanian's construction to obtain counter-examples for each prime \\(p\\), but always with \\(\\phi_ p(d)<d^ 3\\). [\\textit{J. Browkin}, Bull. Acad. Pol. Sci., S\u00e9r. Sci. Math. Astron. Phys. 14, 489--492 (1966; Zbl 0139.282)]. These results have been greatly improved by \\textit{G. I. Arkhipov} and \\textit{A. A. Karatsuba} [Sov. Math., Dokl. 25, 1--3 (1982); translation from Dokl. Akad. Nauk SSSR 262, 11--13 (1982; Zbl 0496.10009)], who showed that for each prime \\(p\\) there are infinitely many \\(d\\) such that \\(\\phi_ p(d)>\\exp(d/(\\log d)^ 2(\\log \\log d)^ 3).\\) In this paper the authors obtain a slightly better result by using a more efficient \\(p\\)-adic interpolation argument. They prove that given any prime \\(p\\) and any \\(\\epsilon>0\\), there exists for infinitely many \\(d\\) a form \\(F\\) of degree \\(d\\) with  \\[  (*)\\quad n>\\exp(d/(\\log d)(\\log \\log d)^{1+\\epsilon})  \\]  such that if \\(F(a_ 1,\\dots,a_ n)\\equiv 0 (mod p^ d)\\), \\(a_ 1,\\dots,a_ n\\in {\\mathbb{Z}}\\), then \\(a_ 1\\equiv\\dots \\equiv a_ n\\equiv 0~(mod p)\\). Results comparable to these have been established by \\textit{W. D. Brownawell} [J. Number Theory 18, 342--349 (1984; Zbl 0531.10027)].    It is not known how close to best possible the lower bound (*) is. Brauer showed that \\(\\phi_ p(d)\\) was finite and his arguments were extended by \\textit{D. B. Leep} and \\textit{W. M. Schmidt} [Invent. Math. 71, 539--549 (1983; Zbl 0504.10010)] to give an upper bound \\(C\\quad \\exp((d!)^ 2(1+\\epsilon)^ d),\\) where \\(C>0\\) is a constant, for \\(\\phi_ p(d)\\). But by refining the arguments, \\textit{W. M. Schmidt} has now improved this estimate to \\(\\phi_ p(d)<\\exp(2^ d d!)\\) [J. Number Theory 19, 63--80 (1984; Zbl 0541.10024)]. This is still a long way from (*).    It is known that there exists a function \\(p_ 0(d)\\) such that \\(p>p_ 0(d)\\) implies \\(\\phi_ p(d)=d^ 2\\), and the authors point out that in all the known examples where \\(\\phi_ p(d)>d^ 2\\) and \\(p>2\\), \\(d\\) is divisible by \\(p-1\\). They suggest that these are the only exceptions to \\(\\phi_ p(d)=d^ 2\\); and that \\(\\phi_ p(d)=d^ 2\\) for all \\(p\\) only when \\(d\\) is a prime (by contrast with additive forms of degree \\(d\\) where \\(d^ 2+1\\) variables always suffices for non-trivial \\(p\\)-adic zeros).","type":"string"},"datatype":"string"},"type":"statement","id":"Q788020$10C479F7-2237-424C-82D8-988C23E12D39","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"28e2fd9c15de7671eb8e4a91a7cd83b0299c6e10","datavalue":{"value":"11E95","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q788020$A424C08D-E13F-439F-988F-0FFD58C103BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1fd98ee712f85e43ff9029fa787b8edfa82ce1eb","datavalue":{"value":"11E76","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q788020$A86EF11F-0F9A-4C86-9838-3C90B34B9512","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fd3338305c7226cafe57f7e996e08832c136703c","datavalue":{"value":"11D72","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q788020$07671202-FF27-4EC6-835B-B4F34296A4DB","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b8b0dff4af0042deb2f4f1b3b8f72a070d58e142","datavalue":{"value":"3841965","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q788020$05FAC780-B927-478C-84FB-53C2B175AC31","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"736673275e21759383c236083b0691fdbc24df9e","datavalue":{"value":"higher degree forms","type":"string"},"datatype":"string"},"type":"statement","id":"Q788020$A2E97E06-64BC-40D3-ACB1-D0EE6B6D5E64","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"556dc4dcb30cb577f1a8e461fdb294e46be135f3","datavalue":{"value":"\\(p\\)-adic zero","type":"string"},"datatype":"string"},"type":"statement","id":"Q788020$C11C57C2-EF71-4BBF-A6B9-1FC243774C85","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ce9d1647b20c82d33b2f1629c4eaaf4984386a1b","datavalue":{"value":"exponential lower bound","type":"string"},"datatype":"string"},"type":"statement","id":"Q788020$12AED1F2-E7AD-4D77-801C-6E94388A110F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2dcb7ed5d8ead74d68e6d0c6d9fc9762f5d5b5ca","datavalue":{"value":"Artin conjecture","type":"string"},"datatype":"string"},"type":"statement","id":"Q788020$546A74E6-4E20-491C-9C88-97B1C87BAA15","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f548eef43886dec8143535087ed5525326e46e57","datavalue":{"value":"\\(p\\)-adic interpolation","type":"string"},"datatype":"string"},"type":"statement","id":"Q788020$4403DEA0-892F-48F9-9000-01C65B9660DB","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"5ed6c78fb3e4174e1c601323dc317bfd01836dc8","datavalue":{"value":{"entity-type":"item","numeric-id":558118,"id":"Q558118"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q788020$5FD2B638-0592-4526-A13A-D9FD8EE0398D","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":"Q788020$9D536F06-5F7D-4188-9526-0E4840A0EDBC","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"d52ae90ab88a3b14cd569bd03f6848e4538eee2e","datavalue":{"value":"https://doi.org/10.1307/mmj/1029002790","type":"string"},"datatype":"url"},"type":"statement","id":"Q788020$015FA4BC-7A8C-4218-B0B8-251A7FE8F982","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"2542d78cd95a33cc556d6ea3bfde4fc1423d0549","datavalue":{"value":"W2049093416","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q788020$F7DA31DC-AEFE-45BB-BFA0-4825A33ED03F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"9a5b3489ce14cb1137304fda5dede6e65b356545","datavalue":{"value":"10.1307/MMJ/1029002790","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q788020$1EC2CD9C-DDD5-4DE8-A450-FE46A0EB497B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"adc971f10f427feb15380513fff05d63fc298fcb","datavalue":{"value":{"entity-type":"item","numeric-id":5190318,"id":"Q5190318"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8b2b30f209b6182a229890dd549a6e98b06771f1","datavalue":{"value":{"amount":"+0.989347","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q788020$7680A4AB-1427-4D89-91DC-C6484E66D2F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6edd81339aa3d089cc171fa075c5bad03a946faa","datavalue":{"value":{"entity-type":"item","numeric-id":838450,"id":"Q838450"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8b2b30f209b6182a229890dd549a6e98b06771f1","datavalue":{"value":{"amount":"+0.989347","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q788020$DA3F26CD-8D5D-4B0A-ADE2-56C3D153875B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ba2bf8103184c2395e0c4d620e01c0a03ee2caa5","datavalue":{"value":{"entity-type":"item","numeric-id":3767399,"id":"Q3767399"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cc050937cce855dd9b8ac3a124485853084167e1","datavalue":{"value":{"amount":"+0.9571241","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q788020$FE8CE9C7-3AC4-4B9C-929F-957351E5BE44","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e6e3dec0462e6a6eacf27c55cc53b358396523e0","datavalue":{"value":{"entity-type":"item","numeric-id":1385258,"id":"Q1385258"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4519fe0d81ebde69e72169688bca0c4e0ce26e50","datavalue":{"value":{"amount":"+0.9532362","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q788020$52EB4C44-B1DF-45EF-A300-671EB02003AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"62fe6d57ffbec81c796cb727781b1520cb43f1cc","datavalue":{"value":{"entity-type":"item","numeric-id":3552176,"id":"Q3552176"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1881f07c5dd34691e670ff810417bee537e7cb00","datavalue":{"value":{"amount":"+0.9520147","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q788020$0C7B7DF7-1A79-4104-B354-C30A030EAD6D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"97c620879e255dfc77ec131f359e239859a86436","datavalue":{"value":{"entity-type":"item","numeric-id":3679302,"id":"Q3679302"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"89e3ef27f9ee881c91b3efd75e7b0e655310990e","datavalue":{"value":{"amount":"+0.9502484","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q788020$789AD8C7-5E14-411C-B01E-D56259BC28C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8bff4d0f069feea981b7dba7af5e4028f26c32d1","datavalue":{"value":{"entity-type":"item","numeric-id":5167419,"id":"Q5167419"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"165419e62b8b7c07b9fc207d4b011307dd38b075","datavalue":{"value":{"amount":"+0.94748104","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q788020$84D698BE-FA5F-438B-9E3A-7208F48A81E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0f8855132dda59945b9fb7c51812bd376f54fb5e","datavalue":{"value":{"entity-type":"item","numeric-id":2981787,"id":"Q2981787"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2ccf0cd702022a85a5847f1d1d49407002e9e535","datavalue":{"value":{"amount":"+0.9471408","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q788020$12A34AAA-3345-4F1F-A46D-2DEDFB1B65AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"31d156b084fcc4100477d9543be38ed5f8b89069","datavalue":{"value":{"entity-type":"item","numeric-id":3096599,"id":"Q3096599"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0f6122d1fe83353abfcff289f223926025518716","datavalue":{"value":{"amount":"+0.94548976","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q788020$21D0F433-1232-4376-818F-9A6EA1429384","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"On zeros of \\(p\\)-adic forms","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/On_zeros_of_%5C(p%5C)-adic_forms"}}}}}