{"entities":{"Q625834":{"pageid":627681,"ns":120,"title":"Item:Q625834","lastrevid":63293577,"modified":"2026-04-11T11:53:46Z","type":"item","id":"Q625834","labels":{"en":{"language":"en","value":"Twisted exponential sums of polynomials in one variable"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5857676"}},"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":"Q625834$9EBC2121-6A35-4D91-AE77-325C11EEFC4C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a8ea36da47264161368036bb967b5990dec3ff55","datavalue":{"value":{"text":"Twisted exponential sums of polynomials in one variable","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q625834$C9A0AA52-8BCD-4E23-8AFA-90CEA2E8A9D6","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"079fc8b87eb0f2665063f28d9e67ef47f13808b0","datavalue":{"value":"1275.11112","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q625834$D2483CB6-765F-4725-BB84-89EF42C0741B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"4cbf9b440e6918eda1e54d1a8f1f96f97c757db3","datavalue":{"value":{"entity-type":"item","numeric-id":273468,"id":"Q273468"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q625834$5AFA95A4-BDAD-4BEE-AB68-12E44E574464","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8e7d51b8c93c0e274fccf551f09267faf5e37852","datavalue":{"value":{"entity-type":"item","numeric-id":273469,"id":"Q273469"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q625834$3B1E82A8-BF54-43F2-9407-153E4DD39DDE","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"d3b847c961e3eda70796335b98f1157bcb2f59c2","datavalue":{"value":{"entity-type":"item","numeric-id":283041,"id":"Q283041"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q625834$4817A5D9-AD4C-4E5F-80E1-9D3D54663A32","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"e6cb9d2db2ae2ef211d0526989610dd70f1c8e42","datavalue":{"value":{"time":"+2011-02-25T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q625834$5E4B4262-28D8-4CDE-B1A6-CA6E471B42E1","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"815fa4f1877b72dbde72f5a42e224bfba47ee5ae","datavalue":{"value":"https://arxiv.org/abs/0912.1929","type":"string"},"datatype":"url"},"type":"statement","id":"Q625834$F81769C8-F851-4046-8DE7-87A59AF0A370","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"f956c5031544559ae034c16a258b0f6f5bbffb06","datavalue":{"value":"Let \\(p\\) be a prime and \\(q=p^b\\) be a power of \\(p\\). Let \\(u\\) be an element of \\({\\mathbb Z}^n/(q-1)\\) and suppose that \\(b\\) is the least positive integer such that \\(p^bu=u\\). Write \\(u=u_0+u_1p+\\cdots+u_{b-1}p^{b-1}\\) where the \\(u_i\\) are integers with \\(0\\leq u_i\\leq p-1\\). Let \\(\\mu_{q-1}\\) be the group of \\((q-1)\\)-th roots of units in \\({\\mathbb Z}_q\\), let \\(\\omega\\) denote the Teichm\u00fcller lifting from \\({\\mathbb F}_q\\) to \\(\\mu_{q-1}\\) and let \\(\\chi=\\omega^{-u}\\) be a character of \\(({\\mathbb F}_q^\\times)^n\\).  Let \\(\\Delta\\) denote the interval \\([0,d]\\) in \\({\\mathbb R}^n\\) and let \\(C(\\Delta)\\) be the cone generated by \\(\\Delta\\) and set \\(M(\\Delta)=C(\\Delta)\\cap{\\mathbb Z}^n\\) and \\(M_u(\\Delta)=(q-1)^{-1} (M(\\Delta)\\cap u)\\).  Let \\(f(x) = a_dx^d+ \\sum_{i=1}^ka_ix^i\\) with \\(a_da_k\\neq 0\\) and \\(k<d\\) and \\(x^u=x_1^{u_1}\\ldots x_n^{u_n}\\) for \\(u=(u_1,\\ldots,u_n)\\) in \\({\\mathbb Z}^n\\). Define the twisted \\(T\\)-adic exponential sum  \\[ S_{f,\\chi}(l,T)\\sum_{x\\;\\text{in} \\big({\\mathbb F}_{q^l}^\\times\\big)^n} \\chi\\left(\\text{Norm}_{{\\mathbb F}_{q^l}/{\\mathbb F}_q}(x)\\right) (1+T)^{\\text{Tr}_{{\\mathbb Q}_{q^l}/{\\mathbb Q}_p}(f(x))}. \\]  and the corresponding \\(L\\)-function \\(L_{f,\\chi}(s,T)=\\exp\\left(\\sum_{l=1}^\\infty S_{f,\\chi}(l,T)s^l/l\\right)\\). Further, for \\(m\\geq 1\\), let \\(\\zeta_{p^m}\\) be a primitive \\(p^m\\)-th root of unity and \\(\\pi_m=\\zeta_{p^m}-1\\) and define  \\[ C_{f,\\chi}(s,T)=\\exp\\left(\\sum_{l=1}^\\infty -(q^l-1)^{-n} S_{f,\\chi}(l,T){s^l\\over l}\\right). \\]  The aim is to find lower bounds for the Newton polygons of the \\(C\\)-function and the \\(Ll\\)-function of these twisted \\(T\\)-adic exponential sums.  Set \\(\\delta_\\varepsilon^{(i)}(n) = 1\\) if \\(pl\\equiv n-u_{b-i}(d)\\) for some \\(l<d\\{n/d\\}\\) and \\(=0\\) otherwise. Define \\(p_{d,[0,k],u}\\) to be the convex function on \\({\\mathbb R}_{\\geq0}\\) which is linear between consecutive integers and with initial value 0 and slopes between consecutive integers given by  \\[ \\begin{align*}{\\omega&_{d,[0,k],u}(a)={1\\over b} \\sum_{i=1}^b \\left(\\left[{pa+u_{b-i}\\over d}\\right]-\\left[{a\\over d}\\right]+\\left[{r_{a,i}\\over k}\\right]-\\left[{r_a\\over k}\\right]\\right)\\cr &+{1\\over b}\\sum_{i=1}^b\\sum_{j=0}^{r_a}\\left({\\bold 1}_{\\{{r_{j,i}\\over k}\\}>\\{{r_a\\over k}\\}}-{\\bold 1}_{\\{{r_j\\over k}\\}>\\{{r_a\\over k}\\}}\\right) -{1\\over b}\\sum_{i=1}^b\\sum_{j=0}^{r_a-1}\\left({\\bold 1}_{\\{{r_{j,i}\\over k}\\}>\\{{r_{a-1}\\over k}\\}}-{\\Bbb 1}_{\\{{r_j\\over k}\\}>\\{{r_{a-1}\\over k}\\}}\\right)\\cr}\\end{align*} \\]  where \\(r_a=d\\{a/d\\}\\) and \\(r_{a,i}=d\\{pa+u_{b-i}/d\\}\\).  The main result is that if \\(p>(2+2[(d-1)/k])d-\\varepsilon'(u)\\) where \\(\\varepsilon'(u)=\\min_{1\\leq i\\leq b} d\\{u_i/d\\}\\) then \\(\\text{ord}_p(q) p_{d,[0,k],u}\\) is a lower bound for the \\(T\\)-adic Newton polygon of \\(C_f(s,T)\\). A consequence is that \\(\\text{ord}_p(q) p_{d,[0,k],u}\\) is a lower bound for the \\(\\pi_m\\)-adic Newton polygon of \\(L_{f,\\chi}(s,\\pi_m)\\) on \\([0,p^{m-1}d]\\). The proof uses the \\(T\\)-adic Dwork trace formula  \\[ C_{f,\\chi}(s,T) = \\det\\left(1-\\Psi^bs|B_u/{\\mathbb Z}_q[[(\\pi^{1/d(q-1)}]]\\right). \\]","type":"string"},"datatype":"string"},"type":"statement","id":"Q625834$E9C7FBB1-B4EA-4008-8862-F0D8C1D3EADD","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"cf658ad7ef7d6672e491794e6a4eead83097329a","datavalue":{"value":{"entity-type":"item","numeric-id":591958,"id":"Q591958"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q625834$6C609010-AE25-4697-B263-0FC14384FF29","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ea78693e17c8554e13edc08c010b32c505af1dc3","datavalue":{"value":"11L07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q625834$7E0B3265-FB83-4B22-BB0E-9F96CF792014","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"cca64e508302ab539d0532c0150adbc19b564bb9","datavalue":{"value":"11T23","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q625834$BF6838DF-DAE2-4872-9723-6ADDC30C2E95","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fef556d874a3250155d036ec9dcfe6f4f651276b","datavalue":{"value":"14F30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q625834$5749EA21-A548-47C9-A523-1B081E4777AB","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"149323e110d941fb2c178369dc47f151c17bd692","datavalue":{"value":"5857676","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q625834$2F65BE39-7053-497D-B3E2-EC0896020ABA","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"75c48417838c73f6ae60c6cc1411bb16ed114357","datavalue":{"value":"exponential sum","type":"string"},"datatype":"string"},"type":"statement","id":"Q625834$371313E8-25A0-41BD-9E20-8FEF5446578C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"19a7ce28e1af7609b2eaf998ed46ff5537ee68cf","datavalue":{"value":"Newton polygon","type":"string"},"datatype":"string"},"type":"statement","id":"Q625834$6705E1CA-AC17-4C50-AE37-CDD0B22E0DF8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8620cc5cccec975e4a4554c849bbccd458252a6a","datavalue":{"value":"Dwork trace formula","type":"string"},"datatype":"string"},"type":"statement","id":"Q625834$772FB54E-542F-4A61-8302-82A0B6D9F959","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":"Q625834$12962BFE-1CDB-4A09-889A-4CB3A093EEAF","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"643cbbcbf94d548fb202ec1c9ce491f499effae0","datavalue":{"value":"W3105763215","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q625834$0521554A-E98F-417D-A3A9-8124F046965A","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"8fa335f4c57e12dacf2d5ba3bbe356772734cb45","datavalue":{"value":{"entity-type":"item","numeric-id":3141454,"id":"Q3141454"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q625834$927DDBD8-854F-4455-9D87-A7934587281B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"00471bdb13bd5a09bb13d98f0b3a4b0056ca01d4","datavalue":{"value":{"entity-type":"item","numeric-id":1000621,"id":"Q1000621"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q625834$9013BECF-63A4-4966-AD91-422238D7F53E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cdfde1c6d05dc0bbbfc755c614e56392edff55fe","datavalue":{"value":{"entity-type":"item","numeric-id":1283813,"id":"Q1283813"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q625834$96CBAC90-9B54-4280-AC2D-FB2FE30AF24A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"20183d676d4232163014c769607c6191feb8c965","datavalue":{"value":{"entity-type":"item","numeric-id":996195,"id":"Q996195"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q625834$5B761C36-3BBE-424A-A8F4-05494B47E9C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4f208452e6c580a86976de18e2c91a487ed40990","datavalue":{"value":{"entity-type":"item","numeric-id":273470,"id":"Q273470"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q625834$DC21D1EF-DA51-4575-B055-6C0B8680310B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"044c1690723075fe58349e78ade489db2555a68c","datavalue":{"value":{"entity-type":"item","numeric-id":544864,"id":"Q544864"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q625834$2E83169C-84A9-4417-8058-BBADD52B2733","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f8bfdc6c0edac1d35176cfb4edc27ce12357aaa9","datavalue":{"value":{"entity-type":"item","numeric-id":1047618,"id":"Q1047618"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q625834$3B688764-91C9-4703-B8F8-AD77DA7233A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9c89b1fa12a0f76ca2defe22e807fe545309f606","datavalue":{"value":{"entity-type":"item","numeric-id":2471770,"id":"Q2471770"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q625834$049DD60B-3BB5-429B-AB91-CA85F3F2CEC7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"04dce54cbc911f716ea2ca6a011c35bb3cfba95e","datavalue":{"value":{"entity-type":"item","numeric-id":775130,"id":"Q775130"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q625834$89A88CA2-5117-4CD1-8B32-99A3BE2CD11C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"dd2d2e38f48dac1e1fa988b39b6881b9d2b2c1a0","datavalue":{"value":"10.1007/S11425-010-3144-2","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q625834$DEB86EF9-1577-437C-A5B7-E34210EFD5E4","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e88a150c4b60d0a01db255a07bd7b10c973e5c9b","datavalue":{"value":{"entity-type":"item","numeric-id":401975,"id":"Q401975"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7e1016004f500b771f29dbda5372b86bc4f63490","datavalue":{"value":{"amount":"+0.924180269241333","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":"Q625834$FF3D16B5-0EC8-4113-B43C-CFE71E5AE30F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6f0761c54b7a00f575ab95dff0700c6d90396dcc","datavalue":{"value":{"entity-type":"item","numeric-id":544864,"id":"Q544864"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1ed0ac4375aa7e8abfdfe19ef141972c3a9faae4","datavalue":{"value":{"amount":"+0.9022517204284668","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":"Q625834$CF282CA6-149A-4C24-A4F6-B0D6B97C0A8E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cc58e369e0e7d0d3be8e1a6394cd81e14748b145","datavalue":{"value":{"entity-type":"item","numeric-id":1747210,"id":"Q1747210"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"84db83222354a42de620c352a6aad3b180781087","datavalue":{"value":{"amount":"+0.8951295614242554","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":"Q625834$B9503FA8-3254-43E4-8630-B1AB8BF4BDEA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8f5be000782ba1ac02b3868997555bd65b84e86c","datavalue":{"value":{"entity-type":"item","numeric-id":273470,"id":"Q273470"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ed66c79c8f054e3ac12bd531c6c08bc70fc91ca1","datavalue":{"value":{"amount":"+0.8872166872024536","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":"Q625834$4B9F0751-35C4-437A-9BB3-1BEAE29D39FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ed90fbe05b4ce74a0556a22f96c37aacd8d3c627","datavalue":{"value":{"entity-type":"item","numeric-id":1175073,"id":"Q1175073"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"378d87c4fd5e6721e02b791111fc765873b72ea7","datavalue":{"value":{"amount":"+0.8514817357063293","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":"Q625834$741B990F-2AFD-4461-A2B8-3CFF9C04D845","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Twisted exponential sums of polynomials in one variable","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Twisted_exponential_sums_of_polynomials_in_one_variable"}}}}}