# zbMATH — the first resource for mathematics

Renormalization: A number theoretical model. (English) Zbl 1165.81035
Coproducts of the Dirichlet convolution ring of arithmetic functions are studied. They are biassociative, biunital and antipodal convolutions, but not satisfy the homomorphism axiom and named Hopf gebra. Then a method to reestablish a Hopf algebra structure from a Hopf gebra is presented. The author says this method can be regarded as a number theoretical model of renormalization.
The Dirichlet convolution ring of arithmetic functions is reviewed in §1 as follows: Let $$f: \mathbb{N}\to\mathbb{C}$$ be an arithmetic function. Then its generating function is introduced by $$f(s)=\sum_{n\geq 1}{f(n)\over n^s}$$, $$s\in\mathbb{C}$$, $$f(s)g(s)$$ is the convolution $(f* g)(s)= \sum_{n\geq 1}\,\sum_{d|n} {f(d)g(n/d)\over n^s}.$ An arithmetic function $$f$$ is called complete multiplicative if $$f(n\cdot m)= f(n)\cdot f(m)$$ for all $$n$$, $$m$$. $$f$$ is called multiplicative if $$(n, m)= 1$$, then $$f(n\cdot m)= f(n)\cdot f(m)$$. As examples of multiplicative, but not completely multiplicative functions, the Möbius function, Euler totient function and von Mangoldt function are explained. Number theoretical model of renormalization in this paper uses difference of multiplicative and complete multiplicative functions.
In §2, using the Kronecker duality $$(|): \mathbb{N}\times\mathbb{N}\to \mathbb{Z}_2$$, $$(n|m))= \delta_{n,m}$$, the coproducts of additions and multiplication \begin{aligned} \Delta^+(n) &= \sum_{n_1+ n_2=m} n_1\oplus n_2= n_{(1)}\oplus n_{(2)},\\ \Delta^.(n) &= \sum_{d|n} d\times{n\over d}= n_{}\times n_{},\end{aligned} are introduced (cf. B. Fauser and P. D. Javis [J. Knot Theory Ramifications 16, No. 4, 379-438 (2007; Zbl 1124.16032)], hereafter referred to as ). $$\Delta^.$$ is a multiplicative function but not a complete multiplicative function (Prop. 2.9). As a consequence, the coproduct map does not satisfy the homomorphism axiom. Algebras with coproducts $$\Delta^+$$ and $$\Delta^.$$ become Hopf gebras. These are shown as Prop.2.5 and 2.6, in this section.
In §3, Hopf gebra is defined and discusses how to deform a Hopf gebra to a Hopf algebra. One of such a plan is the modified crossing [Z. Oziewicz, Czech. J. Phys. 47, No. 12, 1267–1274 (1997; Zbl 0948.16029) and B. Fauser and Z. Oziewicz, Clifford Hopf gebra for two-dimensional space. Misc. Alg. 2, 31–42 (2001)]. But the author says this plan is tedious for the practical use and the plan unrenormalization is proposed. In this plan, the coproduct $$\Delta^.$$ is renormalized to $$\underline\Delta^.$$; $$\underline\Delta^.(p)= \underline\Delta(p)$$, if $$p$$ is a prime number and $\underline\Delta^.(n\cdot m)= \underline\Delta^.(n)\cdot \underline\Delta^.(m),$ for any $$n.m$$. It is stated the pairing $(n|m)= \prod_i \delta_{r_i,s_i} r_i!,\quad n= \prod_i p^{r_i}_i,\quad m= \prod_j p^{s_j}_j,$ dualizes the multiplication $$\cdot$$ into $$\underline\Delta^.$$ (Corol. 3.14. cf. ). To illustrate renormaliztion of coproduct by this procedure can be seen as a number theoretical model of traditional renormalization, the Bell series $$f_p(x)=\sum_{n\geq 0} f(p^n)x^n$$, $$p$$ is a prime number, is used (§4). If $$f$$ is a complete multiplicative function, then $f_p(x)= {1\over 1-f(p)x}.$ Let $$g$$ be a complete multiplicative function and $$g(1)= 1$$, $$f$$ a multiplicative function such that $$f(p^{n+1})= f(p) f(p^n)- g(p) f(p^{n-1})$$. Then we have $f_p(x)= {1\over 1-f(p)x+ g(p)x^2}$ (cf. T. M. Apostol, Introduction to analytic number theory. New York etc.: Springer (1976; Zbl 0335.10001)]). Consequently, we obtain $f(m\cdot n)= f(m)f(n)- \sum_{d|\text{gcd}(n, m)} g(d) f\Biggl({m\cdot n\over d^2}\Biggr).$ The author says the second term of this right-hand side can be regarded as the counter term.
This paper has two Appendices which deal with characterization of complete multiplicativity, groups and subgroups of Dirichlet convolution and relation of renormalization group analysis in quantum field theory and number theory (cf. J. Lambek [Am. Math. Mon. 73, 969–973 (1966; Zbl 0152.03105)]; P.-Q. Dehaye [Bull. Belg. Math. Soc.-Simon Stevin 9, No. 1, 15–21 (2002; Zbl 1168.11301); A. Peterman [The so-called renormalization group method applied to the specific prime numbers logarithmic decrease, Eur. Phys. J. C17, 367–369 (2000)]).
##### MSC:
 81T15 Perturbative methods of renormalization applied to problems in quantum field theory 11M41 Other Dirichlet series and zeta functions 16W30 Hopf algebras (associative rings and algebras) (MSC2000)
JaVis
Full Text:
##### References:
  Apostol, T.M.: Introduction to Analytic Number Theory. New York: Springer-Verlag, 1979 [fouth printing 1995] · Zbl 0439.73069  Bourbaki N. (1989). Elements of Mathematics: Algebra I Chapters 1–3. Springer-Verlag, Berlin · Zbl 0673.00001  Brouder C., Schmitt W. (2007). Renormalization as a functor on bialgebra. J. Pure Appl. Alg. 209: 477–495 · Zbl 1274.81170  Brüdern J. (1995). Einführung in die analytische Zahlentheorie. Springer-Verlag, Berlin  Carlitz L. (1971). Problem E 2268. Amer. Math. Monthly 78: 1140  Dehaye P.-O. (2002). On the structure of the group of multiplicative arithmetical functions. Bull. Belg. Math. Soc. Simon Stevin 9(1): 15–21 · Zbl 1168.11301  Ebrahimi-Fard K., Kreimer D. (2005). The Hopf algebra approach to Feynman diagram calculations. J. Phys. A: Math. Gen. 38: R385–R407 · Zbl 1092.81051  Epstein H., Glaser V. (1973). The role of locality in perturbation theory. Ann. Inst. Henri Poincaré 19: 211–295 · Zbl 1216.81075  Fauser B. (2001). On the Hopf-algebraic origin of Wick normal-ordering. J. Phys. A: Math. Gen. 34: 105–115 · Zbl 1033.81060  Fauser, B.: A Treatise on Quantum Clifford Algebras. Konstanz, 2002, Habilitationsschrift, available at http://arxiv.org/list/math.QA/0202059 , 2002  Fauser B., Jarvis P.D. (2004). A Hopf laboratory for symmetric functiuons. J. Phys. A: Math. Gen. 37(5): 1633–1663 · Zbl 1044.05067  Fauser B., Jarvis P.D. (2007). The Dirichlet Hopf algebra of arithmetics. J. Knot Theor., its Ramif. 16(4): 379–438 · Zbl 1124.16032  Fauser, B., Jarvis, P.D.: The Hopf algebra of plethysms. Work in progress, 2007 · Zbl 1124.16032  Fauser B., Jarvis P.D., King R.C., Wybourne B.G. (2006). New branching rules induced by plethysm. J. Phys A: Math. Gen. 39: 2611–2655 · Zbl 1092.05073  Fauser B., Oziewicz Z. (2001). Clifford Hopf gebra for two dimensional space. Misc. Alg. 2(1): 31–42  Lambek J. (1966). Arithmetical functions and distributivity. Amer. Math. Monthly 73: 969–973 · Zbl 0152.03105  Lawvere F.W., Rosebrugh R. (2003). Sets for Mathematics. Cambridge Univ. Press, Cambridge · Zbl 1031.18001  Leroux P. (1975). Les Catégories Möbius. Cahiers Top. Géom. Différ. Catég. 16: 280–282  Leroux P. (1990). Reduced matrices and q-log-concavity properties of q-Stirling numbers. J. Combin. Theory Ser. A 54: 64–84 · Zbl 0704.05003  Oziewicz Z. (1997). Clifford Hopf gebra and biuniversal Hopf gebra. Czech. J. Phys. 47(12): 1267–1274 · Zbl 0948.16029  Petermann A. (2000). The so-called Renormalization Group method applied to the specific prime numbers logarithmic decrease Eur. Phys. J. C 17: 367–369 · Zbl 1049.81564  Schwab E.D. (2004). Characterizations of Lambek-Carlitz type. Arch. Math. (Brno) 40: 295–300 · Zbl 1122.11003  Selberg A. (1949). An elementary proof of the prime number theorem. Ann. Math. 50: 305–313 · Zbl 0036.30604
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. It attempts to reflect the references listed in the original paper as accurately as possible without claiming the completeness or perfect precision of the matching.