|
%I #282 Feb 17 2022 11:37:19
%S -1,-2,1,-3,3,-1,-4,4,2,-4,1,-5,5,5,-5,-5,5,-1,-6,6,6,-6,3,-12,6,-2,9,
%T -6,1,-7,7,7,-7,7,-14,7,-7,-7,21,-7,7,-14,7,-1,-8,8,8,-8,8,-16,8,4,
%U -16,-8,24,-8,-8,12,24,-32,8,2,-16,20,-8,1
%N Coefficients of the Faber partition polynomials.
%C The coefficients of the Faber polynomials F(n,b(1),b(2),...,b(n)) (Bouali, p. 52) in the order of the partitions of Abramowitz and Stegun. Compare with A115131 and A210258.
%C These polynomials occur in discussions of the Virasoro algebra, univalent function spaces and the Schwarzian derivative, symmetric functions, and free probability theory. They are intimately related to symmetric functions, free probability, and Appell sequences through the raising operator R = x - d log(H(D))/dD for the Appell sequence inverse pair associated to the e.g.f.s H(t)e^(xt) (cf. A094587) and (1/H(t))e^(xt) with H(0)=1.
%C Instances of the Faber polynomials occur in discussions of modular invariants and modular functions in the papers by Asai, Kaneko, and Ninomiya, by Ono and Rolen, and by Zagier. - _Tom Copeland_, Aug 13 2019
%C The Faber polynomials, denoted by s_n(a(t)) where a(t) is a formal power series defined by a product formula, are implicitly defined by equation 13.4 on p. 62 of Hazewinkel so as to extract the power sums of the reciprocals of the zeros of a(t). This is the Newton identity expressing the power sum symmetric polynomials in terms of the elementary symmetric polynomials/functions. - _Tom Copeland_, Jun 06 2020
%C From _Tom Copeland_, Oct 15 2020: (Start)
%C With a_n = n! * b_n = (n-1)! * c_n for n > 0, represent a function with f(0) = a_0 = b_0 = 1 as an
%C A) exponential generating function (e.g.f), or formal Taylor series: f(x) = e^{a.x} = 1 + Sum_{n > 0} a_n * x^n/n!
%C B) ordinary generating function (o.g.f.), or formal power series: f(x) = 1/(1-b.x) = 1 + Sum_{n > 0} b_n * x^n
%C C) logarithmic generating function (l.g.f): f(x) = 1 - log(1 - c.x) = 1 + Sum_{n > 0} c_n * x^n /n.
%C Expansions of log(f(x)) are given in
%C I) A127671 and A263634 for the e.g.f: log[ e^{a.*x} ] = e^{L.(a_1,a_2,...)x} = Sum_{n > 0} L_n(a_1,...,a_n) * x^n/n!, the logarithmic polynomials, cumulant expansion polynomials
%C II) A263916 for the o.g.f.: log[ 1/(1-b.x) ] = log[ 1 - F.(b_1,b_2,...)x ] = -Sum_{n > 0} F_n(b_1,...,b_n) * x^n/n, the Faber polynomials.
%C Expansions of exp(f(x)-1) are given in
%C III) A036040 for an e.g.f: exp[ e^{a.x} - 1 ] = e^{BELL.(a_1,...)x}, the Bell/Touchard/exponential partition polynomials, a.k.a. the Stirling partition polynomials of the second kind
%C IV) A130561 for an o.g.f.: exp[ b.x/(1-b.x) ] = e^{LAH.(b.,...)x}, the Lah partition polynomials
%C V) A036039 for an l.g.f.: exp[ -log(1-c.x) ] = e^{CIP.(c_1,...)x}, the cycle index polynomials of the symmetric groups S_n, a.k.a. the Stirling partition polynomials of the first kind.
%C Since exp and log are a compositional inverse pair, one can extract the indeterminates of the log set of partition polynomials from the exp set and vice versa. For a discussion of the relations among these polynomials and the combinatorics of connected and disconnected graphs/maps, see Novak and LaCroix on classical moments and cumulants and the two books on statistical mechanics referenced in A036040. (End)
%D H. Airault, "Symmetric sums associated to the factorization of Grunsky coefficients," in Groups and Symmetries: From Neolithic Scots to John McKay, CRM Proceedings and Lecture Notes: Vol. 47, edited by J. Harnad and P. Winternitz, American Mathematical Society, 2009.
%D D. Bleeker and B. Booss, Index Theory with Applications to Mathematics and Physics, International Press, 2013, (see section 16.7 Characteristic Classes and Curvature).
%D M. Hazewinkel, Formal Groups and Applications, Academic Press, New York San Francisco London, 1978, p. 120.
%D F. Hirzebruch, Topological methods in algebraic geometry. Second, corrected printing of the third edition. Die Grundlehren der Mathematischen Wissenschaften, Band 131 Springer-Verlag, Berlin Heidelberg New York, 1978, p. 11 and 92.
%D D. Knutson, λ-Rings and the Representation Theory of the Symmetric Group, Lect. Notes in Math. 308, Springer-Verlag, 1973, p. 35.
%D D. Yau, Lambda-Rings, World Scientific Publishing Co., Singapore, 2010, p. 45.
%H Vincenzo Librandi, <a href="/A263916/b263916.txt">Table of n, a(n) for n = 1..5762</a>
%H M. Abramowitz and I. A. Stegun, eds., <a href="http://www.convertit.com/Go/ConvertIt/Reference/AMS55.ASP">Handbook of Mathematical Functions</a>, National Bureau of Standards, Applied Math. Series 55, Tenth Printing, 1972 [alternative scanned copy].
%H H. Airault, <a href="http://www.m-hikari.com/imf-password2008/9-12-2008/airaultIMF9-12-2008.pdf">Remarks on Faber polynomials</a>, International Mathematical Forum, 3, no. 9, 2008, pages 449-456.
%H H. Airault and A. Bouali, <a href="http://dx.doi.org/10.1016/j.bulsci.2005.10.002">Differential calculus on the Faber polynomials</a>, Bulletin des Sciences Mathématiques, Volume 130, Issue 3, April-May 2006, pages 179-222.
%H H. Airault and Y. Neretin, <a href="http://arxiv.org/abs/0704.2149">On the action of the Virasoro algebra on the space of univalent functions</a>, arXiv:0704.2149 [math.RT], 2007.
%H F. Ardila, <a href="http://arxiv.org/abs/1409.2562">Algebraic and geometric methods in enumerative combinatorics</a>, arXiv:1409.2562 [math.CO], 2015.
%H T. Asai, M. Kaneko, and H. Ninomiya, <a href="https://www.semanticscholar.org/paper/Zeros-of-certain-modular-functions-and-an-Asai-Kaneko/a08cb52c7aabfd90c3eb0f3fbb501bcddf858ad2">Zeros of certain modular functions and an application</a>, 1997.
%H A. Bouali, <a href="http://dx.doi.org/10.1016/j.bulsci.2005.08.002">Faber polynomials Cayley-Hamilton equation and Newton symmetric functions</a>, Bulletin des Sciences Mathématiques, Volume 130, Issue 1, Jan-Feb 2006, pages 49-70.
%H J. M. Campbell, <a href="http://www.anubih.ba/Journals/vol.17,no-2,y21/03-John_M_Campbell.pdf">Combinatorial interpretations of primitivity in the algebra of symmetric functions</a>, Sarajevo J. Math., 17(30) (2021), 151--165.
%H P. Cartier, <a href="http://www.kurims.kyoto-u.ac.jp/EMIS/journals/SLC/wpapers/s44cartier1.html">Mathemagics: A tribute to L. Euler and R. Feynman</a>, Séminaire Lotharingien de Combinatoire 44 (2000), Article B44d, 2000, p. 53.
%H P. Cartier, <a href="http://preprints.ihes.fr/2006/M/M-06-40.pdf">A primer of Hopf algebras</a>, preprint, Institut des Hautes Etudes Scientifiques, France, 2006, pp. 56 and 57.
%H V. Chan, <a href="https://escholarship.org/uc/item/8cc4g5nb">Topological K-theory of complex projective spaces</a>, senior's thesis UC Davis (p. 11 on Chern characters of complex vector bundles), 2013.
%H Gi-Sang Cheon, Hana Kim, and Louis W. Shapiro, <a href="https://doi.org/10.1016/j.laa.2010.04.044">An algebraic structure for Faber polynomials</a>, Lin. Alg. Applic. 433 (2010) 1170-1179.
%H Tom Copeland, <a href="http://tcjpn.wordpress.com/2011/04/11/lagrange-a-la-lah/">Lagrange a la Lah</a>, 2011.
%H Tom Copeland, <a href="http://mathoverflow.net/questions/111770/cycling-through-the-zeta-garden-zeta-functions-for-graphs-cycle-index-polynomi">Cycling through the Zeta Garden: Zeta functions for graphs, cycle index polynomials, and determinants</a>, MathOverflow question, 2012.
%H Tom Copeland, <a href="http://tcjpn.wordpress.com/2015/10/12/the-elliptic-lie-triad-kdv-and-ricattt-equations-infinigens-and-elliptic-genera/">Addendum to Elliptic Lie Triad</a>, 2015.
%H Tom Copeland, <a href="http://mathoverflow.net/questions/223816/connection-between-the-chebyshev-polynomials-and-the-faber-polynomials">Connection between the Chebyshev polynomials and the Faber polynomials</a>, MathOverflow question, 2015.
%H Tom Copeland, <a href="https://tcjpn.wordpress.com/2020/06/07/the-faber-appells/">The Faber Appells</a>, 2020.
%H Tom Copeland, <a href="https://tcjpn.wordpress.com/2020/10/08/appells-and-roses-newton-leibniz-euler-riemann-and-symmetric-polynomials/">Appells and Roses: Newton, Leibniz, Euler, Riemann and Symmetric Polynomials</a>, 2020.
%H A. Dress and C. Siebeneicher, <a href="http://dx.doi.org/10.1016/0001-8708(89)90027-3">The Burnside ring of the infinite cyclic group and its relations to the necklace algebra, lambda-rings, and the universal ring of Witt vectors</a>, Adv. in Math., Vol. 78, Issue 1, Nov. 1989, pages 1-41.
%H D. Dugger, <a href="http://math.uoregon.edu/~ddugger/kgeom.pdf">A Geometric Introduction to K-Theory</a>, p. 288 (called Newton polynomials).
%H M. Eiermann and R. Varga, <a href="http://etna.mcs.kent.edu/vol.1.1993/pp49-71.dir/pp49-71.pdf">Zeros and local extreme points of Faber polynomials associated with hypocycloidal domains</a>, Elect. Trans. on Numer. Analysis, Vol. 1, p. 49-71, 1993.
%H H. Figueroa and J. Gracia-Bondia, <a href="https://arxiv.org/abs/hep-th/0408145">Combinatorial Hopf algebras in quantum field theory I</a>, arXiv:0408145 [hep-th], 2005, (normalized versions on pp. 42 and 78, denoted as Schur polynomials).
%H R. Friedrich and J. McKay, <a href="http://arxiv.org/abs/1204.6522">Formal groups, Witt vectors and free probability</a>, arXiv:1204.6522 [math.OA], 2012.
%H A. Hatcher, <a href="https://pi.math.cornell.edu/~hatcher/VBKT/VBpage.html">Vector Bundles and K-Theory</a>, Version 2.2, 2017, p. 63.
%H M. Hazewinkel, <a href="https://ir.cwi.nl/pub/2517/2517D.pdf">Three lectures on formal group laws</a>, Canadian Mathematical Society Conference Proceedings, Vol. 5, p. 51-67, 1986.
%H Y. He, <a href="https://arxiv.org/abs/1812.02893">The Calabi-Yau Landscape: from Geometry, to Physics, to Machine-Learning</a>, arXiv:1812.02893 [hep-th], 2018, p. 146.
%H O. Iena, <a href="http://math.uni.lu/~iena/Singular/chern_lib/ChernLib.pdf">On symbolic computations with Chern classes: Remarks on the library CHERN.LIB for SINGULAR</a>, p. 6.
%H B. Konopelchenko, <a href="https://arxiv.org/abs/0802.3022">Quantum deformations of associative algebras and integrable systems</a>, arXiv:0802.3022 [nlin.SI], 2008.
%H R. Lu, <a href="https://digital.library.adelaide.edu.au/dspace/bitstream/2440/50479/8/02whole.pdf">Regularized equivariant Euler classes and gamma functions</a>, Ph.D. thesis, Dept. of Pure Mathematics, University of Adelaide, 2008, p. 86.
%H K. Maslanka, <a href="https://arxiv.org/abs/math/0402168">Effective method of computing Li’S coefficients and their propertie</a>, arXiv:0402168v5 [math.NT], 2004, p. 6.
%H MathOverflow, <a href="https://mathoverflow.net/questions/345437/canonical-reference-for-chern-characteristic-classes">Canonical reference for Chern characteristic classes</a>, a question posed by Tom Copeland, 2019.
%H J. McKay and A. Sebbar, <a href="http://mysite.science.uottawa.ca/asebbar/publi/replicable.pdf">On replicable functions: an introduction</a>, Frontiers in Number Theory, Physics, and Geometry II, pp. 373-386.
%H L. Nicolaescu, <a href="https://www3.nd.edu/~lnicolae/Lectures.pdf">Lectures on the Geometry of Manifolds</a>, p.337, 2018.
%H J. Novak and M. LaCroix, <a href="https://arxiv.org/abs/1205.2097">Three lectures on free probability</a>, arXiv:1205.2097 [math.CO], 2012.
%H K. Ono and L. Rolen, <a href="https://arxiv.org/abs/1807.00444">On Witten's extremal partition functions </a>, arXiv:1807.00444 [math.NT], 2019.
%H T. Takebe, Lee-Peng Teo, and A. Zabrodin, <a href="https://arxiv.org/abs/math/0605161">Löwner equations and dispersionless hierarchies</a>, arXiv:math/0605161 [math.CV], p. 24, 2006.
%H Lee-Peng Teo, <a href="http://arxiv.org/abs/hep-th/0305005">Analytic functions and integrable hierarchies-characterization of tau functions</a>, Letters in Mathematical Physics, Vol. 64, Issue 1, Apr 2003, pp. 75-92 (also arXiv:hep-th/0305005, 2003).
%H Wikipedia, <a href="https://en.wikipedia.org/wiki/Newton%27s_identities">Newton identities</a>.
%H D. Zagier, <a href="https://www.semanticscholar.org/paper/TRACES-OF-SINGULAR-MODULI-Don-Zagier-Zagier/ad32ffe3debb0169cea3d102151a74b1edb76fed">Traces of singular moduli</a>, 2011.
%F -log(1 + b(1) x + b(2) x^2 + ...) = Sum_{n>=1} F(n,b(1),...,b(n)) * x^n/n.
%F -d(1 + b(1) x + b(2) x^2 + ...)/dx / (1 + b(1) x + b(2) x^2 + ...) = Sum_{n>=1} F(n,b(1),...,b(n)) x^(n-1).
%F F(n,b(1),...,b(n)) = -n*b(n) - Sum_{k=1..n-1} b(n-k)*F(k,b(1),...,b(k)).
%F Umbrally, with B(x) = 1 + b(1) x + b(2) x^2 + ..., B(x) = exp[log(1-F.x)] and 1/B(x) = exp[-log(1-F.x)], establishing a connection to the e.g.f. of A036039 and the symmetric polynomials.
%F The Stirling partition polynomials of the first kind St1(n,b1,b2,...,bn;-1) = IF(n,b1,b2,...,bn) (cf. the Copeland link Lagrange a la Lah, signed A036039, and p. 184 of Airault and Bouali), i.e., the cyclic partition polynomials for the symmetric groups, and the Faber polynomials form an inverse pair for isolating the indeterminates in their definition, for example, F(3,IF(1,b1),IF(2,b1,b2)/2!,IF(3,b1,b2,b3)/3!)= b3, with bk = b(k), and IF(3,F(1,b1),F(2,b1,b2),F(3,b1,b2,b3))/3!= b3.
%F The polynomials specialize to F(n,t,t,...) = (1-t)^n - 1.
%F See Newton Identities on Wikipedia on relation between the power sum symmetric polynomials and the complete homogeneous and elementary symmetric polynomials for an expression in multinomials for the coefficients of the Faber polynomials.
%F (n-1)! F(n,x[1],x[2]/2!,...,x[n]/n!) = - p_n(x[1],...,x[n]), where p_n are the cumulants of A127671 expressed in terms of the moments x[n]. - _Tom Copeland_, Nov 17 2015
%F -(n-1)! F(n,B(1,x[1]),B(2,x[1],x[2])/2!,...,B(n,x[1],...,x[n])/n!) = x[n] provides an extraction of the indeterminates of the complete Bell partition polynomials B(n,x[1],...,x[n]) of A036040. Conversely, IF(n,-x[1],-x[2],-x[3]/2!,...,-x[n]/(n-1)!) = B(n,x[1],...,x[n]). - _Tom Copeland_, Nov 29 2015
%F For a square matrix M, determinant(I - x M) = exp[-Sum_{k>0} (trace(M^k) x^k / k)] = Sum_{n>0} [ P_n(-trace(M),-trace(M^2),...,-trace(M^n)) x^n/n! ] = 1 + Sum_{n>0} (d[n] x^n), where P_n(x[1],...,x[n]) are the cycle index partition polynomials of A036039 and d[n] = P_n(-trace(M),-trace(M^2),...,-trace(M^n)) / n!. Umbrally, det(I - x M)= exp[log(1 - b. x)] = exp[P.(-b_1,..,-b_n)x] = 1 / (1-d.x), where b_k = tr(M^k). Then F(n,d[1],...,d[n]) = tr[M^n]. - _Tom Copeland_, Dec 04 2015
%F Given f(x) = -log(g(x)) = -log(1 + b(1) x + b(2) x^2 + ...) = Sum_{n>=1} F(n,b(1),...,b(n)) * x^n/n, action on u_n = F(n,b(1),...,b(n)) with A133932 gives the compositional inverse finv(x) of f(x), with F(1,b(1)) not equal to zero, and f(g(finv(x))) = f(e^(-x)). Note also that exp(f(x)) = 1 / g(x) = exp[Sum_{n>=1} F(n,b(1),...,b(n)) * x^n/n] implies relations among A036040, A133314, A036039, and the Faber polynomials. - _Tom Copeland_, Dec 16 2015
%F The Dress and Siebeneicher paper gives combinatorial interpretations and various relations that the Faber polynomials must satisfy for integral values of its arguments. E.g., Eqn. (1.2) p. 2 implies [2 * F(1,-1) + F(2,-1,b2) + F(4,-1,b2,b3,b4)] mod(4) = 0. This equation implies that [F(n,b1,b2,...,bn)-(-b1)^n] mod(n) = 0 for n prime. - _Tom Copeland_, Feb 01 2016
%F With the elementary Schur polynomials S(n,a_1,a_2,...,a_n) = Lah(n,a_1,a_2,...,a_n) / n!, where Lah(n,...) are the refined Lah polynomials of A130561, F(n,S(1,a_1),S(2,a_1,a_2),...,S(n,a_1,...,a_n)) = -n * a_n since sum_{n > 0} a_n x^n = log[sum{n >= 0} S(n,a_1,...,a_n) x^n]. Conversely, S(n,-F(1,a_1),-F(2,a_1,a_2)/2,...,-F(n,a_1,...,a_n)/n) = a_n. - _Tom Copeland_, Sep 07 2016
%F See Corollary 3.1.3 on p. 38 of Ardila and Copeland's two MathOverflow links to relate the Faber polynomials, with arguments being the signed elementary symmetric polynomials, to the logarithm of determinants, traces of powers of an adjacency matrix, and number of walks on graphs. - _Tom Copeland_, Jan 02 2017
%F The umbral inverse polynomials IF appear on p. 19 of Konopelchenko as partial differential operators. - _Tom Copeland_, Nov 19 2018
%e F(1,b1) = - b1
%e F(2,b1,b2) = -2 b2 + b1^2
%e F(3,b1,b2,b3) = -3 b3 + 3 b1 b2 - b1^3
%e F(4,b1,...) = -4 b4 + 4 b1 b3 + 2 b2^2 - 4 b1^2 b2 + b1^4
%e F(5,...) = -5 b5 + 5 b1 b4 + 5 b2 b3 - 5 b1^2 b3 - 5 b1 b2^2 + 5 b1^3 b2 - b1^5
%e ------------------------------
%e IF(1,b1) = -b1
%e IF(2,b1,,b2) = -b2 + b1^2
%e IF(3,b1,b2,b3) = -2 b3 + 3 b1 b2 - b1^3
%e IF(4,b1,...) = -6 b4 + 8 b1 b3 + 3 b2^2 - 6 b1^2 b2 + b1^4
%e IF(5,...) = -24 b5 + 30 b1 b4 + 20 b2 b3 - 20 b1^2 b3 - 15 b1 b2^2 + 10 b1^3 b2 - b1^5
%e ------------------------------
%e For 1/(1+x)^2 = 1- 2x + 3x^2 - 4x^3 + 5x^4 - ..., F(n,-2,3,-4,...) = (-1)^(n+1) 2.
%e ------------------------------
%e F(n,x,2x,...,nx), F(n,-x,2x,-3x,...,(-1)^n n*x), and F(n,(2-x),1,0,0,...) are related to the Chebyshev polynomials through A127677 and A111125. See also A110162, A156308, A208513, A217476, and A220668.
%e ------------------------------
%e For b1 = p, b2 = q, and all other indeterminates 0, see A113279 and A034807.
%e For b1 = -y, b2 = 1 and all other indeterminates 0, see A127672.
%t F[0] = 1; F[1] = -b[1]; F[2] = b[1]^2 - 2 b[2]; F[n_] := F[n] = -b[1] F[n - 1] - Sum[b[n - k] F[k], {k, 1, n - 2}] - n b[n] // Expand;
%t row[n_] := (List @@ F[n]) /. b[_] -> 1 // Reverse;
%t Table[row[n], {n, 1, 8}] // Flatten // Rest (* _Jean-François Alcover_, Jun 12 2017 *)
%Y Cf. Row sums of absolute values: A000225.
%Y Cf. A034807, A036039, A036040, A094587, A110162, A111125, A113279, A115131.
%Y Cf. A127671, A127672, A127677, A130561, A133314, A156308, A208513, A210258.
%Y Cf. A217476, A220668.
%Y Cf. A263634.
%K sign,tabf,easy
%O 1,2
%A _Tom Copeland_, Oct 29 2015
%E More terms from _Jean-François Alcover_, Jun 12 2017
|
