{"entities":{"Q2006060":{"pageid":2016802,"ns":120,"title":"Item:Q2006060","lastrevid":57683355,"modified":"2026-03-31T21:52:17Z","type":"item","id":"Q2006060","labels":{"en":{"language":"en","value":"Connecting the \\(q\\)-multiplicative convolution and the finite difference convolution"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7258191"}},"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":"Q2006060$5228FAE0-B551-412A-A950-6D29F0F0904A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d08e7aa88a53a305cae496369cd9932372249867","datavalue":{"value":{"text":"Connecting the \\(q\\)-multiplicative convolution and the finite difference convolution","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2006060$9BD2CD95-8DE9-49BB-9771-4B80D9A7558E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"5cd1a6056cc3c5090ae614e46beab140b232c15f","datavalue":{"value":"1452.26013","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2006060$F9FFF873-203E-4889-BFEC-D490BCA73F90","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"73f74c2de45ded2cee90f000b440ecaf28dda0dd","datavalue":{"value":{"entity-type":"item","numeric-id":2006059,"id":"Q2006059"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2006060$FA11B270-F99A-4EF4-9D24-3170BE20BCB4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"120845b3c1ca834ff0c69d64d680e345455ea11a","datavalue":{"value":{"entity-type":"item","numeric-id":1739161,"id":"Q1739161"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2006060$375A280A-F432-4FCF-BDE7-2714B9D5ED37","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"87fedd43d9515b94c7651de65777aba7be17422f","datavalue":{"value":{"entity-type":"item","numeric-id":165833,"id":"Q165833"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2006060$93EE8024-97D5-4187-8228-5DC722E17C03","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f49a3283b461e58be2f2de71ea44bd29bf2f0207","datavalue":{"value":{"time":"+2020-10-08T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2006060$D374C0D4-C0F2-4334-AA94-5470B5745340","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"e57102d866000072837ad16614636adc7bed89d5","datavalue":{"value":"https://arxiv.org/abs/1712.02499","type":"string"},"datatype":"url"},"type":"statement","id":"Q2006060$B8BDDD92-719D-4E77-BAE3-5E39986F4A8F","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"b332c741d6c117c07d74f81ff8f6b64a8e1b7fba","datavalue":{"value":"The Walsh additive and Grace-Szeg\u00f6 multiplicative polynomial convolution on \\(f,g\\in \\mathbb{C}_{n}[x]\\), denoted by \\(\\boxplus^{n}\\) and \\(\\boxtimes^{n}\\) respectively, are defined by \\[ f\\boxplus^{n} g = \\frac{1}{n!} \\sum^{n}_{k=0}\\partial^{k}_{x}f\\cdot (\\partial_{x}^{n-k}g)(0) \\quad \\text{and} \\quad f\\boxtimes^{n} g =  \\sum^{n}_{k=0}\\binom{n}{k}^{-1} (-1)^{k} f_{k}g_{k}x^{k}, \\] where \\(f_{k}\\) and \\(g_{k}\\) denote the coefficient of \\(x^{k}\\) of \\(f\\) and \\(g\\), respectively.  It is known that the additive convolution can only increase root mesh, which is defined as the minimum absolute difference between any pair of roots of a given polynomial. As well, for polynomials with only non-negative roots, the multiplicative convolution can only increase logarithmic root mesh.  Properties of logarithmic mesh preservation are also known for the \\(q\\)-multiplicative convolution. This convolution is defined as follows, where \\(p_{k}\\) and \\(r_{k}\\) are the coefficients of \\(x^{k}\\) of \\(p\\) and \\(r\\), \\[ p\\boxtimes_{q}^{n} r=\\sum^{n}_{k=0}\\binom{n}{k}^{-1}_{q}q^{-\\binom{k}{2}}(-1)^{k}p_{k}r_{k}x^{k}, \\] with \\((x)_{q}\\) meaning \\(\\frac{1-q^{x}}{1-q}\\).  Writing \\(\\operatorname{lmesh}(p)\\) for the minimum ratio between any pair of non-zero roots of \\(p\\), the result is that, for \\(p\\), \\(r\\) polynomials with real roots, one has \\(\\operatorname{lmesh}(p\\boxtimes_{q}^{n}r)\\ge q\\) whenever \\(\\operatorname{lmesh}(p)\\ge q\\) and \\(\\operatorname{lmesh}(r)\\ge q\\) for some \\(q\\in (1,\\infty)\\).  In this paper, the authors show that the \\(b\\)-additive convolution preserves the space of polynomials with root mesh at least \\(b\\). This gives a characterization of finite difference operators which preserve root mesh at least \\(b\\). The \\(b\\)-additive convolution of \\(p\\) and \\(r\\) is \\[ p\\boxplus_{b}^{n} r=\\frac{1}{n!}\\sum^{n}_{k=0}\\Delta_{b}^{k} p\\cdot (\\Delta_{b}^{n-k}r)(0), \\] where \\(\\Delta_{b}\\) is a finite \\(b\\)-difference operator defined by \\[ \\Delta_{b}: p\\mapsto \\frac{p(x)-p(x-b)}{b}. \\]  A real-rooted polynomial \\(p\\) is \\(b\\)-mesh if the minimum non-negative difference of any pair of roots of \\(p\\) is at least \\(b\\). In this situation, one writes \\(\\operatorname{mesh}(p)\\ge b\\).  The following result answers an open question: \\begin{itemize} \\item Let \\(p\\) and \\(r\\) be polynomials of degree at most \\(n\\) such that \\(\\operatorname{mesh}(p) \\ge b\\) and \\(\\operatorname{mesh}(r) \\ge b\\), for some \\(b\\in (0,\\infty)\\). Then, \\(\\operatorname{mesh}(p\\boxplus_{b}^{n} r) \\ge b\\). \\end{itemize}  The proof is based in a way to pass root properties of the \\(q\\)-multiplicative convolution to the \\(b\\)-additive convolution. To formulate it one needs some notation.  For \\(b\\ge 0\\) and \\(q\\ge 0\\) consider the following bases of \\(\\mathbb{C}[x]\\): \\begin{align*} v_{q,b}^{k}&= \\frac{(1-x)(1-q^{b}x)\\dotsm (1-q^{(k-1)b}x)}{(1-q)^{k}},\\\\ \\nu_{b}^{k}&=x(x+b)(x+2b)\\dotsm (x+(k-1)b), \\end{align*} and define the following generalized ``exponential map'': \\[ E_{q,b}: \\nu_{b}^{k}\\mapsto v_{q,b}^{k}. \\]  The main result, which gives an analytic link between the \\(b\\)-additive and \\(q\\)-multiplicative convolutions is the following: \\begin{itemize} \\item Fix \\(b\\ge 0\\) and let \\(p\\), \\(r\\) be polynomials of degree \\(n\\). We have the following, where convergence is uniform on compact sets: \\[ \\lim_{q\\to 1}(1-q)^{n} \\Bigl[E_{q,b}(p)\\boxtimes_{q^{b}}^{n} E_{q,b}(r)\\Bigr] (q^{x})=p\\boxplus_{b}^{n}r. \\] \\end{itemize}  The corresponding result in the classical case, which gives an analytic connection between the additive and multiplicative convolutions is \\begin{itemize} \\item Let \\(p,r\\in\\mathbb{C}[x]\\) be of degree at most \\(n\\). We have the following: \\[ \\lim_{q\\to 1}(1-q)^{n} [E_{q,0}(p)\\boxtimes^{n} E_{q,0}(r)] (q^{x})=p\\boxplus^{n}r. \\] \\end{itemize}  Finally, the authors prove that the \\(b\\)-additive convolution preserves a root-interlacing property for \\(b\\)-mesh polynomials.  Let \\(f,g\\in \\mathbb{R}[x]\\) two real-rooted polynomials with positive leading coefficients and roots \\(\\alpha_{1}\\ge\\dotsb\\ge\\alpha_{n}\\) and \\(\\beta_{1}\\ge\\dotsb\\ge \\beta_{m}\\), respectively. If \\(n-m\\in \\{0,1\\}\\), then one says that the roots of \\(g\\) interlaces the roots of \\(f\\) whenever \\[ \\alpha_{1}\\ge \\beta_{1}\\ge\\alpha_{2}\\ge \\beta_{2}\\ge\\alpha_{3}\\ge\\dotsb \\] Then one has \\begin{itemize} \\item Let \\(f,g\\in \\mathbb{R}_{n}[x]\\) be \\(b\\)-mesh polynomials of degree \\(n\\). Let \\(T_{g}: \\mathbb{R}_{n}[x]\\to \\mathbb{R}_{n}[x]\\) be the real linear operator defined by \\(T_{g}: r\\mapsto r\\boxplus_{b}^{n}g\\). Then, \\(T_{g}\\) preserves the set of polynomials whose roots interlace the roots of \\(f\\). \\end{itemize}","type":"string"},"datatype":"string"},"type":"statement","id":"Q2006060$C2C2961C-4053-4198-9B10-48DB35BB310B","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"10fd372a91f9b8ae71b7dfa2439184afbb7df826","datavalue":{"value":{"entity-type":"item","numeric-id":393416,"id":"Q393416"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2006060$6C787F74-EB01-4624-9D64-8CB85EF0B5FF","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"28cc557c6c35aaa162b4d5c0a30d55d28da55f24","datavalue":{"value":"26C10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2006060$AD60FF62-F987-499E-ACE0-18EBF2C95501","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8871fa000545a707dc0c8eb8145c5cf9a99c7e40","datavalue":{"value":"30C15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2006060$F757D136-8949-4E63-9182-A5BF4A4A2924","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e4b3c5d37a12997fad238ba465826793e4b83a9b","datavalue":{"value":"7258191","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2006060$B393B27E-DC95-4D88-AA7F-444CC8854014","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4266c089f59104913128a3557043086c3cc2da9b","datavalue":{"value":"roots of polynomials","type":"string"},"datatype":"string"},"type":"statement","id":"Q2006060$D0C40855-4680-4460-AF5D-B048D22CE17D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"41ec3c99d7ad506df6f05a660a56b97fcf8a82b0","datavalue":{"value":"finite difference","type":"string"},"datatype":"string"},"type":"statement","id":"Q2006060$B65905DF-34F2-4C84-9A17-B7B88156EE22","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0653009222aa1d3500f39a994af7af79d23d9973","datavalue":{"value":"root mesh","type":"string"},"datatype":"string"},"type":"statement","id":"Q2006060$5C2B5F43-7950-4454-894C-3A4A5C6A1CBC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"eff866e8ad4693050933e1af398f74f212079e79","datavalue":{"value":"polynomial convolution","type":"string"},"datatype":"string"},"type":"statement","id":"Q2006060$8B9D9B6E-9B6D-44B6-8E53-F430C4A81FEE","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":"Q2006060$6ADB150D-B70A-4D57-9146-E84CFC761D44","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"0c9eb3cf34c2a21788840f0986e8eaa01f4c1824","datavalue":{"value":"W3047726422","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2006060$FBD61A68-88B3-4EEA-963E-810CB011659A","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"b9ac66bd717769ecede899380f8044ab99e6d5bc","datavalue":{"value":{"entity-type":"item","numeric-id":2821743,"id":"Q2821743"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2006060$5B5B7806-E413-41F3-86AB-7947A67BA87E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b00383aaaa0db10443ec935d6b94935a07680c66","datavalue":{"value":{"entity-type":"item","numeric-id":5789482,"id":"Q5789482"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2006060$99D97914-DDF4-4522-9105-4ECC775027F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b09bc3399704873474d7e28644d3923399858f3e","datavalue":{"value":{"entity-type":"item","numeric-id":900855,"id":"Q900855"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2006060$EB1106AB-F8A4-4B56-95B5-A91B36F83F6A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cad3cc0bf74ad1314e99bd76c9f97e8b5e22af36","datavalue":{"value":{"entity-type":"item","numeric-id":4087491,"id":"Q4087491"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2006060$AA182DDF-30DD-4508-B416-33FE871ABC8C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f03fda9aced1aae2ec340cc740b7469ceff12892","datavalue":{"value":{"entity-type":"item","numeric-id":3067005,"id":"Q3067005"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2006060$59D243C9-8679-47D4-8BA1-352D714ABAAA","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"348f4c110fd5277e261fc6335b60d299069a1208","datavalue":{"value":"10.1016/J.AIM.2020.107334","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2006060$9CCE51EE-5652-4072-B719-D47D0C143A19","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fecb5fd712c529f46053ef627042fcdfa9ad7dab","datavalue":{"value":{"entity-type":"item","numeric-id":900855,"id":"Q900855"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3b6b073c7ddfd2838008867614949c3a56fd77df","datavalue":{"value":{"amount":"+0.762972354888916","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":"Q2006060$E32F66CD-E3DD-41C7-9D5E-2469EAD5CFB2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c4cb9784f3f40d48ce33162aa3e910c9db77e66c","datavalue":{"value":{"entity-type":"item","numeric-id":627265,"id":"Q627265"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5b5b6838f2a41f865bef07e291942a1b5470c986","datavalue":{"value":{"amount":"+0.723760724067688","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":"Q2006060$F037B0B3-ECF6-4FE4-A1D4-C9EEF18C3C06","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"864afaa6180f464dee620aedcbb0f4b4e59acd0d","datavalue":{"value":{"entity-type":"item","numeric-id":2128099,"id":"Q2128099"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d06035bc9dcd0fab9a633f31e8659b4b0b4e69b4","datavalue":{"value":{"amount":"+0.7235080599784851","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":"Q2006060$F6B733E0-9D1D-4C4D-BC3D-AA001A6F90AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9d9d736e20c65788e1c94b990d8c4498e23f5694","datavalue":{"value":{"entity-type":"item","numeric-id":5450366,"id":"Q5450366"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ac0e3db8f53046675232d8dba5080e44f79691cf","datavalue":{"value":{"amount":"+0.6966130137443542","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":"Q2006060$128D0256-7BF1-4926-8A52-1DF273F20327","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1b90e03fe735dd373aa29a4e28963a26f1aba677","datavalue":{"value":{"entity-type":"item","numeric-id":3490511,"id":"Q3490511"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1aaada86e8e3e10316e00ff7bdb45c8755dae205","datavalue":{"value":{"amount":"+0.6960195302963257","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":"Q2006060$8714264D-8815-425B-8C69-C87241A6EB5A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2006060","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2006060"}}}}}