A115131 -id:A115131 - cp's OEIS frontend

A036039 Irregular triangle of multinomial coefficients of integer partitions read by rows (in Abramowitz and Stegun ordering) giving the coefficients of the cycle index polynomials for the symmetric groups S_n.

1, 1, 1, 2, 3, 1, 6, 8, 3, 6, 1, 24, 30, 20, 20, 15, 10, 1, 120, 144, 90, 40, 90, 120, 15, 40, 45, 15, 1, 720, 840, 504, 420, 504, 630, 280, 210, 210, 420, 105, 70, 105, 21, 1, 5040, 5760, 3360, 2688, 1260, 3360, 4032, 3360, 1260, 1120, 1344, 2520, 1120, 1680, 105, 420, 1120, 420, 112, 210, 28, 1

Offset: 1

N. J. A. Sloane

The sequence of row lengths is A000041(n), n >= 1 (partition numbers).
Number of permutations whose cycle structure is the given partition. Row sums are factorials (A000142). - Franklin T. Adams-Watters, Jan 12 2006
A relation between partition polynomials formed from these "refined" Stirling numbers of the first kind and umbral operator trees and Lagrange inversion is presented in the link "Lagrange a la Lah".
These cycle index polynomials for the symmetric group S_n are also related to a raising operator / infinitesimal generator for fractional integro-derivatives, involving the digamma function and the Riemann zeta function values at positive integers, and to the characteristic polynomial for the adjacency matrix of complete n-graphs A055137 (cf. MathOverflow link). - Tom Copeland, Nov 03 2012
In the Lang link, replace all x(n) by t to obtain A132393. Furthermore replace x(1) by t and all other x(n) by 1 to obtain A008290. See A274760. - Tom Copeland, Nov 06 2012, Oct 29 2015 - corrected by Johannes W. Meijer, Jul 28 2016
The umbral compositional inverses of these polynomials are formed by negating the indeterminates x(n) for n>1, i.e., P(n,P(.,x(1),-x(2),-x(3),...),x(2),x(3),...) = x(1)^n (cf. A130561 for an example of umbral compositional inversion). The polynomials are an Appell sequence in x(1), i.e., dP(n,x(1))/dx(1) = n P(n-1, x(1)) and (P(.,x)+y)^n=P(n,x+y) umbrally, with P(0,x(1))=1. - Tom Copeland, Nov 14 2014
Regarded as the coefficients of the partition polynomials listed by Lang, a signed version of these polynomials IF(n,b1,b2,...,bn) (n! times polynomial on page 184 of Airault and Bouali) provides an inversion of the Faber polynomials F(n,b1,b2,...,bn) (page 52 of Bouali, A263916, and A115131). For example, F(3, IF(1,b1), IF(2,b1,b2)/2!, IF(3,b1,b2,b3)/3!) = b3 and IF(3, F(1,b1), F(2,b1,b2), F(3,b1,b2,b3))/3! = b3 with F(1,b1) = -b1. (Compare with A263634.) - Tom Copeland, Oct 28 2015; Sep 09 2016
The e.g.f. for the row partition polynomials is Sum_{n>=0} P_n(b_1,...,b_n) x^n/n! = exp[Sum_{n>=1} b_n x^n/n], or, exp[P.(b_1,...,b_n)x] = exp[-], expressed umbrally with <"power series"> denoting umbral evaluation (b.)^n = b_n within the power series. This e.g.f. is central to the paper by Maxim and Schuermannn on characteristic classes (cf. Friedrich and McKay also). - Tom Copeland, Nov 11 2015
The elementary Schur polynomials are given by S(n,x(1),x(2),...,x(n)) = P(n,x(1), 2*x(2),...,n*x(n)) / n!. See p. 12 of Carrell. - Tom Copeland, Feb 06 2016
These partition polynomials are also related to the Casimir invariants associated to quantum density states on p. 3 of Boya and Dixit and pp. 5 and 6 of Byrd and Khaneja. - Tom Copeland, Jul 24 2017
With the indeterminates (x_1,x_2,x_3,...) = (t,-c_2*t,-c_3*t,...) with c_n >0, umbrally P(n,a.) = P(n,t)|{t^n = a_n} = 0 and P(j,a.)P(k,a.) = P(j,t)P(k,t)|{t^n =a_n} = d_{j,k} >= 0 is the coefficient of x^j/j!*y^k/k! in the Taylor series expansion of the formal group law FGL(x,y) = f[f^{-1}(x)+f^{-1}(y)], where a_n are the inversion partition polynomials for calculating f(x) from the coefficients of the series expansion of f^{-1}(x) given in A133932. - Tom Copeland, Feb 09 2018
For relation to the Witt symmetric functions, as well as the basic power, elementary, and complete symmetric functions, see the Borger link p. 295. For relations to diverse zeta functions, determinants, and paths on graphs, see the MathOverflow question Cycling Through the Zeta Garden. - Tom Copeland, Mar 25 2018
Chmutov et al. identify the partition polynomials of this entry with the one-part Schur polynomials and assert that any linear combination with constant coefficients of these polynomials is a tau function for the KP hierarchy. - Tom Copeland, Apr 05 2018
With the indeterminates in the partition polynomials assigned as generalized harmonic numbers, i.e., as partial sums of the Dirichlet series for the Riemann zeta function, zeta(n), for integer n > 1, sums of simple normalizations of these polynomials give either unity or simple sums of consecutive zeta(n) (cf. Hoffman). Other identities involving these polynomials can be found in the Choi reference in Hoffman's paper. - Tom Copeland, Oct 05 2019
On p. 39 of Ma Luo's thesis is the e.g.f. of rational functions r_n obtained through the (umbral) formula 1/(1-r.T) = exp[log(1+P.T)], a differently signed e.g.f. of this entry, where (P.)^n = P_n are Eisenstein elliptic functions. P. 38 gives the example of 4! * r_4 as the signed 4th row partition polynomial of this entry. This series is equated through a simple proportionality factor to the Zagier Jacobi form on p. 25. Recurrence relations for the P_n are given on p. 24 involving the normalized k-weight Eisenstein series G_k introduced on p. 23 and related to the Bernoulli numbers. - Tom Copeland, Oct 16 2019
The Chern characteristic classes or forms of complex vector bundles and the characteristic polynomials of curvature forms for a smooth manifold can be expressed in terms of this entry's partition polynomials with the associated traces, or power sum polynomials, as the indeterminates. The Chern character is the e.g.f. of these traces and so its coefficients are given by the Faber polynomials with this entry's partition polynomials as the indeterminates. See the Mathoverflow question "A canonical reference for Chern characteristic classes". - Tom Copeland, Nov 04 2019
For an application to the physics of charged fermions in an external field, see Figueroa et al. - Tom Copeland, Dec 05 2019
Konopelchenko, in Proposition 5.2, p. 19, defines an operator P_k that is a differently signed operator version of the partition polynomials of this entry divided by a factorial. These operators give rise to bilinear Hirota equations for the KP hierarchy. These partition polynomials are also presented in Hopf algebras of symmetric functions by Cartier. - Tom Copeland, Dec 18 2019
For relationship of these partition polynomials to calculations of Pontryagin classes and the Riemann xi function, see A231846. - Tom Copeland, May 27 2020
Luest and Skliros summarize on p. 298 many of the properties of the cycle index polynomials given here; and Bianchi and Firrotta, a few on p. 6. - Tom Copeland, Oct 15 2020
From Tom Copeland, Oct 15 2020: (Start)
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
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!
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) logarithmic generating function (l.g.f): f(x) = 1 - log(1 - c.x) = 1 + Sum_{n > 0}  c_n * x^n /n.
Expansions of log(f(x)) are given in
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
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.
Expansions of exp(f(x)-1) are given in
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
IV) A130561 for an o.g.f.: exp[ b.x/(1-b.x) ] = e^{LAH.(b.,...)x}, the Lah partition polynomials
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.
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)

			The partition array T(n, k) begins (see the W. Lang link for rows 1..10):
  n\k   1    2    3    4    5    6    7    8    9   10   11  12   13  14 15 ...
  1:    1
  2:    1    1
  3:    2    3    1
  4:    6    8    3    6    1
  5:   24   30   20   20   15   10    1
  6:  120  144   90   40   90  120   15   40   45   15    1
  7:  720  840  504  420  504  630  280  210  210  420  105  70  105  21  1
... reformatted by _Wolfdieter Lang_, May 25 2019

Abramowitz and Stegun, Handbook, p. 831, column labeled "M_2".

David W. Wilson, Table of n, a(n) for n = 1..11731 (rows 1 through 26).
Milton Abramowitz and Irene A. Stegun, editors, Multinomials: M_1, M_2 and M_3, Handbook of Mathematical Functions, December 1972, pp. 831-2.
H. Airault and A. Bouali, Differential calculus on the Faber polynomials, Bulletin des Sciences Mathématiques, Volume 130, Issue 3, April-May 2006, Pages 179-222.
M. Bianchi and M. Firrotta, DDF operators, open string coherent states and their scattering amplitudes, arXiv:1902.07016 [hep-th], 2019.
J. Borger, Witt vectors, semirings, and total positivity, arXiv:1310.3013 [math.CO], 2015.
A. Bouali, Faber polynomials Cayley-Hamilton equation and Newton symmetric functions, Bulletin des Sciences Mathématiques, Volume 130, Issue 1, Jan-Feb 2006, Pages 49-70.
L. Boya and K. Dixit, Geometry of density states, arXiv:808.1930 [quant-phy], 2017.
M. Byrd and N. Khaneja, Characterization of the positivity of the density matrix in terms of the coherence vector representation , arXiv:quant-phy/0302024, 2003.
S. Carrell, Combinatorics of the KP Hierarchy, Thesis, University of Waterloo, Ontario, Canada, 2009.
P. Cartier, A primer of Hopf algebras, preprint, Institut des Hautes Etudes Scientifiques, France, 2006, pp. 56 and 57.
S. Chmutov, M. Kazarian, and S. Lando, Polynomial graph invariants and the KP hierarchy , arXiv:1803.09800 [math.CO], p. 16-17, 2018.
Tom Copeland, Lagrange a la Lah, 2011; Riemann zeta function at positive integers and an Appell sequence of polynomials, 2012; The creation / raising operators for Appell sequences, 2015; Generators, Inversion, and Matrix, Binomial, and Integral Transforms, 2015; Addendum to Elliptic Lie Triad, 2015; Formal group laws and binomial Sheffer polynomials, 2018; Appells and Roses: Newton, Leibniz, Euler, Riemann and Symmetric Polynomials, 2020.
Mark Dominus, Cycle classes of permutations [From _Wouter Meeussen_, Jun 26 2009]
G. Duchamp, Important formulas in combinatorics: The exponential formula, a Mathoverflow answer, 2015.
H. Figueroa and J. Gracia-Bondia, Combinatorial Hopf algebras in quantum field theory I, arXiv:0408145 [hep-th], 2005, (pp. 40-41).
R. Friedrich and J. McKay, Formal groups, Witt vectors and free probability, arXiv:1204.6522 [math.OA], 2012.
M. Hoffman, Harmonic-number summation identities, symmetric functions, and multiple zeta values, arXiv:1602.03198 [math.NT], p. 2-3, 2016.
B. Konopelchenko, Quantum deformations of associative algebras and integrable systems, arXiv:0802.3022 [nlin.SI], 2008.
Wolfdieter Lang, First ten rows and polynomials.
D. Luest and D. Skliros, Handle Operators in String Theory, arXiv:1912.01055 [hep-th], 2019.
Ma Luo, Algebraic De Rham Theory for Completions of Fundamental Groups of Moduli Spaces of Elliptic Curves, Ph.D. dissertation, Math Dept., Duke Univ., 2018.
Ma Luo, Algebraic De Rham Theory for Completions of Fundamental Groups of Moduli Spaces of Elliptic Curves, arXiv:1804.06977 [math.NT], 2019.
MathOverflow, Cycling through the Zeta Garden: Zeta functions for graphs, cycle index polynomials, and determinants, a question posed by Tom Copeland, 2012.
MathOverflow, Canonical reference for Chern characteristic classes, a question posed by Tom Copeland, 2019.
L. Maxim and J. Schuermann, Equivariant characteristic classes of external and symmetric products of varieties, arXiv:1508.04356 [math.AG], 2015.
R. Szabo, N=2 gauge theories, instanton moduli spaces and geometric representation theory, arXiv:1507.00685 [hep-th], 2015.
Andrei Vieru, Analytic renormalization of multiple zeta functions. Geometry and combinatorics of generalized Euler reflection formula for MZV, arXiv preprint arXiv:1601.04703 [math.NT], 2016.

Cf. A036036, A036037, A036038, A036040.
Cf. other versions based on different partition orderings: A102189 (rows reversed), A181897, A319192.
Cf. A094587, A115131, A130561, A263634, A263916.
Cf. A133932.
Cf. A231846.
Cf. A127671.

nmax:=7: with(combinat): for n from 1 to nmax do P(n):=sort(partition(n)): for r from 1 to numbpart(n) do B(r):=P(n)[r] od: for m from 1 to numbpart(n) do s:=0: j:=0: while sA036039(n, m) := n!/ (mul((t)^q(t)*q(t)!, t=1..n)); od: od: seq(seq(A036039(n, m), m=1..numbpart(n)), n=1..nmax); # Johannes W. Meijer, Jul 14 2016
# 2nd program:
A036039 := proc(n,k)
    local a,prts,e,ai ;
    a := n! ;
    # ASPrts is implemented in A119441
    prts := ASPrts(n)[k] ;
    ai := 1;
    for e from 1 to nops(prts) do
        if e>1 then
            if op(e,prts) = op(e-1,prts) then
                ai := ai+1 ;
            else
                ai := 1;
            end if;
        end if;
        a := a/(op(e,prts)*ai) ;
    end do:
    a ;
end proc:
seq(seq(A036039(n,k),k=1..combinat[numbpart](n)),n=1..15) ; # R. J. Mathar, Dec 18 2016

aspartitions[n_]:=Reverse/@Sort[Sort/@IntegerPartitions[n]];(* Abramowitz & Stegun ordering *);
ascycleclasses[n_Integer]:=n!/(Times@@ #)&/@((#!
Range[n]^#)&/@Function[par,Count[par,# ]&/@Range[n]]/@aspartitions[n])
(* The function "ascycleclasses" is then identical with A&S multinomial M2. *)
Table[ascycleclasses[n], {n, 1, 8}] // Flatten
(* Wouter Meeussen, Jun 26 2009, Jun 27 2009 *)

def PartAS(n):
    P = []
    for k in (1..n):
        Q = [p.to_list() for p in Partitions(n, length=k)]
        for q in Q: q.reverse()
        P = P + sorted(Q)
    return P
def A036039_row(n):
    fn, C = factorial(n), []
    for q in PartAS(n):
        q.reverse()
        p = Partition(q)
        fp = 1; pf = 1
        for a, c in p.to_exp_dict().items():
            fp *= factorial(c)
            pf *= factorial(a)**c
        co = fn//(fp*pf)
        C.append(co*prod([factorial(i-1) for i in p]))
    return C
for n in (1..10):
    print(A036039_row(n)) # Peter Luschny, Dec 18 2016

T(n,k) = n!/Product_{j=1..n} j^a(n,k,j)*a(n,k,j)!, with the k-th partition of  n >= 1 in Abromowitz-Stegun order written as Product_{j=1..n} j^a(n,k,j) with nonnegative integers a(n,k,j) satisfying Sum_{j=1..n} j*a(n,k,j) = n, and the number of parts is Sum_{j=1..n} a(n,k,j) =: m(n,k). - Wolfdieter Lang, May 25 2019
Raising and lowering operators are given for the partition polynomials formed from this sequence in the link in "Lagrange a la Lah Part I" on p. 23. - Tom Copeland, Sep 18 2011
From Szabo p. 34, with b_n = q^n / (1-q^n)^2, the partition polynomials give an expansion of the MacMahon function M(q) = Product_{n>=1} 1/(1-q^n)^n = Sum_{n>=0} PL(n) q^n, the generating function for PL(n) = n! P_n(b_1,...,b_n), the number of plane partitions with sum n. - Tom Copeland, Nov 11 2015
From Tom Copeland, Nov 18 2015: (Start)
The partition polynomials of A036040 are obtained by substituting x[n]/(n-1)! for x[n] in the partition polynomials of this entry.
CIP_n(t-F(1,b1),-F(2,b1,b2),...,-F(n,b1,...,bn)) = P_n(b1,...,bn;t), where CIP_n are the partition polynomials of this entry; F(n,...), those of A263916; and P_n, those defined in my formula in A094587, e.g., P_2(b1,b2;t) = 2 b2 + 2 b1 t + t^2.
CIP_n(-F(1,b1),-F(2,b1,b2),...,-F(n,b1,...,bn)) = n! bn. (End)
From the relation to the elementary Schur polynomials given in A130561 and above, the partition polynomials of this array satisfy (d/d(x_m)) P(n,x_1,...,x_n) = (1/m) * (n!/(n-m)!) * P(n-m,x_1,...,x_(n-m)) with P(k,...) = 0 for k<0. - Tom Copeland, Sep 07 2016
Regarded as Appell polynomials in the indeterminate x(1)=u, the partition polynomials of this entry P_n(u) obey d/du P_n(u) = n * P_{n-1}(u), so the abscissas for the zeros of P_n(u) are the same as those of the extrema of P{n+1}(u). In addition, the coefficient of u^{n-1} in P_{n}(u) is zero since these polynomials are related to the characteristic polynomials of matrices with null main diagonals, and, therefore, the trace is zero, further implying the abscissa for any zero is the negative of the sum of the abscissas of the remaining zeros. This assumes all zeros are distinct and real. - Tom Copeland, Nov 10 2019

More terms from David W. Wilson

Title expanded by Tom Copeland, Oct 15 2020

A263916 Coefficients of the Faber partition polynomials.

Original entry on oeis.org

-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, -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, -16, -8, 24, -8, -8, 12, 24, -32, 8, 2, -16, 20, -8, 1

Offset: 1

Tom Copeland, Oct 29 2015

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.
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.
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
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
From Tom Copeland, Oct 15 2020: (Start)
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
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!
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) logarithmic generating function (l.g.f): f(x) = 1 - log(1 - c.x) = 1 + Sum_{n > 0}  c_n * x^n /n.
Expansions of log(f(x)) are given in
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
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.
Expansions of exp(f(x)-1) are given in
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
IV) A130561 for an o.g.f.: exp[ b.x/(1-b.x) ] = e^{LAH.(b.,...)x}, the Lah partition polynomials
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.
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)

			F(1,b1) = - b1
F(2,b1,b2) = -2 b2 + b1^2
F(3,b1,b2,b3) = -3 b3 + 3 b1 b2 - b1^3
F(4,b1,...) = -4 b4 + 4 b1 b3 + 2 b2^2  - 4 b1^2 b2 + b1^4
F(5,...) = -5 b5 + 5 b1 b4 + 5 b2 b3 - 5 b1^2 b3 - 5 b1 b2^2 + 5 b1^3 b2 - b1^5
------------------------------
IF(1,b1) = -b1
IF(2,b1,,b2) = -b2 + b1^2
IF(3,b1,b2,b3) = -2 b3 + 3 b1 b2 - b1^3
IF(4,b1,...) = -6 b4 + 8 b1 b3 + 3 b2^2  - 6 b1^2 b2 + b1^4
IF(5,...) = -24 b5 + 30 b1 b4 + 20 b2 b3 - 20 b1^2 b3 - 15 b1 b2^2 + 10 b1^3 b2 - b1^5
------------------------------
For 1/(1+x)^2 = 1- 2x + 3x^2 - 4x^3 + 5x^4 - ..., F(n,-2,3,-4,...) = (-1)^(n+1) 2.
------------------------------
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.
------------------------------
For b1 = p, b2 = q, and all other indeterminates 0, see A113279 and A034807.
For b1 = -y, b2 = 1 and all other indeterminates 0, see A127672.

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. Bleeker and B. Booss, Index Theory with Applications to Mathematics and Physics, International Press, 2013, (see section 16.7 Characteristic Classes and Curvature).
M. Hazewinkel, Formal Groups and Applications, Academic Press, New York San Francisco London, 1978, p. 120.
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. Knutson, λ-Rings and the Representation Theory of the Symmetric Group, Lect. Notes in Math. 308, Springer-Verlag, 1973, p. 35.
D. Yau, Lambda-Rings, World Scientific Publishing Co., Singapore, 2010, p. 45.

Vincenzo Librandi, Table of n, a(n) for n = 1..5762
M. Abramowitz and I. A. Stegun, eds., Handbook of Mathematical Functions, National Bureau of Standards, Applied Math. Series 55, Tenth Printing, 1972 [alternative scanned copy].
H. Airault, Remarks on Faber polynomials, International Mathematical Forum, 3, no. 9, 2008, pages 449-456.
H. Airault and A. Bouali, Differential calculus on the Faber polynomials, Bulletin des Sciences Mathématiques, Volume 130, Issue 3, April-May 2006, pages 179-222.
H. Airault and Y. Neretin, On the action of the Virasoro algebra on the space of univalent functions, arXiv:0704.2149 [math.RT], 2007.
F. Ardila, Algebraic and geometric methods in enumerative combinatorics, arXiv:1409.2562 [math.CO], 2015.
T. Asai, M. Kaneko, and H. Ninomiya, Zeros of certain modular functions and an application, 1997.
A. Bouali, Faber polynomials Cayley-Hamilton equation and Newton symmetric functions, Bulletin des Sciences Mathématiques, Volume 130, Issue 1, Jan-Feb 2006, pages 49-70.
J. M. Campbell, Combinatorial interpretations of primitivity in the algebra of symmetric functions, Sarajevo J. Math., 17(30) (2021), 151--165.
P. Cartier, Mathemagics: A tribute to L. Euler and R. Feynman, Séminaire Lotharingien de Combinatoire 44 (2000), Article B44d, 2000, p. 53.
P. Cartier, A primer of Hopf algebras, preprint, Institut des Hautes Etudes Scientifiques, France, 2006, pp. 56 and 57.
V. Chan, Topological K-theory of complex projective spaces, senior's thesis UC Davis (p. 11 on Chern characters of complex vector bundles), 2013.
Gi-Sang Cheon, Hana Kim, and Louis W. Shapiro, An algebraic structure for Faber polynomials, Lin. Alg. Applic. 433 (2010) 1170-1179.
Tom Copeland, Lagrange a la Lah, 2011.
Tom Copeland, Cycling through the Zeta Garden: Zeta functions for graphs, cycle index polynomials, and determinants, MathOverflow question, 2012.
Tom Copeland, Addendum to Elliptic Lie Triad, 2015.
Tom Copeland, Connection between the Chebyshev polynomials and the Faber polynomials, MathOverflow question, 2015.
Tom Copeland, The Faber Appells, 2020.
Tom Copeland, Appells and Roses: Newton, Leibniz, Euler, Riemann and Symmetric Polynomials, 2020.
A. Dress and C. Siebeneicher, The Burnside ring of the infinite cyclic group and its relations to the necklace algebra, lambda-rings, and the universal ring of Witt vectors, Adv. in Math., Vol. 78, Issue 1, Nov. 1989, pages 1-41.
D. Dugger, A Geometric Introduction to K-Theory, p. 288 (called Newton polynomials).
M. Eiermann and R. Varga, Zeros and local extreme points of Faber polynomials associated with hypocycloidal domains, Elect. Trans. on Numer. Analysis, Vol. 1, p. 49-71, 1993.
H. Figueroa and J. Gracia-Bondia, Combinatorial Hopf algebras in quantum field theory I, arXiv:0408145 [hep-th], 2005, (normalized versions on pp. 42 and 78, denoted as Schur polynomials).
R. Friedrich and J. McKay, Formal groups, Witt vectors and free probability, arXiv:1204.6522 [math.OA], 2012.
A. Hatcher, Vector Bundles and K-Theory, Version 2.2, 2017, p. 63.
M. Hazewinkel, Three lectures on formal group laws, Canadian Mathematical Society Conference Proceedings, Vol. 5, p. 51-67, 1986.
Y. He, The Calabi-Yau Landscape: from Geometry, to Physics, to Machine-Learning, arXiv:1812.02893 [hep-th], 2018, p. 146.
O. Iena, On symbolic computations with Chern classes: Remarks on the library CHERN.LIB for SINGULAR, p. 6.
B. Konopelchenko, Quantum deformations of associative algebras and integrable systems, arXiv:0802.3022 [nlin.SI], 2008.
R. Lu, Regularized equivariant Euler classes and gamma functions, Ph.D. thesis, Dept. of Pure Mathematics, University of Adelaide, 2008, p. 86.
K. Maslanka, Effective method of computing Li’S coefficients and their propertie, arXiv:0402168v5 [math.NT], 2004, p. 6.
MathOverflow, Canonical reference for Chern characteristic classes, a question posed by Tom Copeland, 2019.
J. McKay and A. Sebbar, On replicable functions: an introduction, Frontiers in Number Theory, Physics, and Geometry II, pp. 373-386.
L. Nicolaescu, Lectures on the Geometry of Manifolds, p.337, 2018.
J. Novak and M. LaCroix, Three lectures on free probability, arXiv:1205.2097 [math.CO], 2012.
K. Ono and L. Rolen, On Witten's extremal partition functions , arXiv:1807.00444 [math.NT], 2019.
T. Takebe, Lee-Peng Teo, and A. Zabrodin, Löwner equations and dispersionless hierarchies, arXiv:math/0605161 [math.CV], p. 24, 2006.
Lee-Peng Teo, Analytic functions and integrable hierarchies-characterization of tau functions, Letters in Mathematical Physics, Vol. 64, Issue 1, Apr 2003, pp. 75-92 (also arXiv:hep-th/0305005, 2003).
Wikipedia, Newton identities.
D. Zagier, Traces of singular moduli, 2011.

Cf. Row sums of absolute values: A000225.
Cf. A034807, A036039, A036040, A094587, A110162, A111125, A113279, A115131.
Cf. A127671, A127672, A127677, A130561, A133314, A156308, A208513, A210258.
Cf. A217476, A220668.
Cf. A263634.

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;
row[n_] := (List @@ F[n]) /. b[_] -> 1 // Reverse;
Table[row[n], {n, 1, 8}] // Flatten // Rest (* Jean-François Alcover, Jun 12 2017 *)

-log(1 + b(1) x + b(2) x^2 + ...) = Sum_{n>=1} F(n,b(1),...,b(n)) * x^n/n.
-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(n,b(1),...,b(n)) = -n*b(n) - Sum_{k=1..n-1} b(n-k)*F(k,b(1),...,b(k)).
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.
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.
The polynomials specialize to F(n,t,t,...) = (1-t)^n - 1.
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.
(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
-(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
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
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
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
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
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
The umbral inverse polynomials IF appear on p. 19 of Konopelchenko as partial differential operators. - Tom Copeland, Nov 19 2018

More terms from Jean-François Alcover, Jun 12 2017

A319225 Number of acyclic spanning subgraphs of a cycle graph, where the sizes of the connected components are given by the prime indices of n.

Original entry on oeis.org

1, 1, 2, 1, 3, 3, 4, 1, 2, 4, 5, 4, 6, 5, 5, 1, 7, 5, 8, 5, 6, 6, 9, 5, 3, 7, 2, 6, 10, 12, 11, 1, 7, 8, 7, 9, 12, 9, 8, 6, 13, 14, 14, 7, 7, 10, 15, 6, 4, 7, 9, 8, 16, 7, 8, 7, 10, 11, 17, 21, 18, 12, 8, 1, 9, 16, 19, 9, 11, 16, 20, 14, 21, 13, 8, 10, 9, 18

Offset: 1

Gus Wiseman, Sep 13 2018

nonn

a(1) = 1 by convention.

A prime index of n is a number m such that prime(m) divides n.

			Of the cycle ({1,2,3}, {(1,2),(2,3),(3,1)}) the spanning subgraphs where the sizes of connected components are (2,1) are: ({1,2,3}, {(1,2)}), ({1,2,3}, {(2,3)}), ({1,2,3}, {(3,1)}). Since the prime indices of 6 are (2,1), we conclude a(6) = 3.

Wikipedia, Expressing power sums in terms of elementary symmetric polynomials
Gus Wiseman, Enumeration of paths and cycles and e-coefficients of incomparability graphs, arXiv:0709.0430 [math.CO], 2007.

Different orderings with signs are A115131, A210258, A263916.

Cf. A005651, A008480, A048994, A056239, A124794, A124795, A135278, A215366, A318762, A319191, A319193, A319226.

csm[s_]:=With[{c=Select[Tuples[Range[Length[s]],2],And[OrderedQ[#],UnsameQ@@#,Length[Intersection@@s[[#]]]>0]&]},If[c=={},s,csm[Union[Append[Delete[s,List/@c[[1]]],Union@@s[[c[[1]]]]]]]]];
Table[Length[With[{m=If[n==1,{},Flatten[Cases[FactorInteger[n],{p_,k_}:>Table[PrimePi[p],{k}]]]]},Select[Subsets[Partition[Range[Total[m]],2,1,1],{Total[m]-PrimeOmega[n]}],Sort[Length/@csm[Union[#,List/@Range[Total[m]]]]]==m&]]],{n,30}]

a(n) = A056239(n) * (Omega(n) - 1)! / Product c_i! where c_i is the multiplicity of prime(i) in the prime factorization of n.

A319226 Irregular triangle where T(n,k) is the number of acyclic spanning subgraphs of a cycle graph, where the sizes of the connected components are given by the integer partition with Heinz number A215366(n,k).

Original entry on oeis.org

1, 2, 1, 3, 3, 1, 4, 2, 4, 4, 1, 5, 5, 5, 5, 5, 5, 1, 6, 6, 6, 3, 2, 6, 12, 9, 6, 6, 1, 7, 7, 7, 7, 14, 7, 7, 7, 7, 7, 21, 14, 7, 7, 1, 8, 8, 8, 4, 8, 8, 8, 16, 16, 8, 2, 24, 8, 24, 12, 16, 8, 32, 20, 8, 8, 1, 9, 9, 9, 9, 9, 9, 18, 9, 9, 9, 18, 18, 3, 27, 27

Offset: 1

Gus Wiseman, Sep 13 2018

A refinement of A135278, up the sign these are the coefficients appearing in the expansion of power-sum symmetric functions in terms of elementary or homogeneous symmetric functions.

			Triangle begins:
  1
  2  1
  3  3  1
  4  2  4  4  1
  5  5  5  5  5  5  1
  6  6  6  3  2  6 12  9  6  6  1
The fourth row corresponds to the symmetric function identities:
  p(4) = -4 e(4) + 2 e(22) + 4 e(31) - 4 e(211) + e(1111)
  p(4) =  4 h(4) - 2 h(22) - 4 h(31) + 4 h(211) - h(1111).

Wikipedia, Expressing power sums in terms of elementary symmetric polynomials
Gus Wiseman, Enumeration of paths and cycles and e-coefficients of incomparability graphs, arXiv:0709.0430 [math.CO], 2007.

Signed versions with different row-orderings are A115131, A210258, A263916.

Cf. A005651, A008480, A048994, A056239, A124794, A124795, A135278, A215366, A318762, A319191, A319193, A319225.

primeMS[n_]:=If[n==1,{},Flatten[Cases[FactorInteger[n],{p_,k_}:>Table[PrimePi[p],{k}]]]];
csm[s_]:=With[{c=Select[Tuples[Range[Length[s]],2],And[OrderedQ[#],UnsameQ@@#,Length[Intersection@@s[[#]]]>0]&]},If[c=={},s,csm[Union[Append[Delete[s,List/@c[[1]]],Union@@s[[c[[1]]]]]]]]];
Table[Length[Select[Subsets[Partition[Range[n],2,1,1],{n-PrimeOmega[m]}],Sort[Length/@csm[Union[#,List/@Range[n]]]]==primeMS[m]&]],{n,6},{m,Sort[Times@@Prime/@#&/@IntegerPartitions[n]]}]

A210258 The coefficients of the Girard-Waring formula; irregular array T(n,k), read by rows, for n >= 1 and 1 <= k <= A000041(n).

Original entry on oeis.org

1, 1, -2, 1, -3, 3, 1, -4, 4, 2, -4, 1, -5, 5, 5, -5, -5, 5, 1, -6, 6, 9, -6, -12, 6, -2, 6, 3, -6, 1, -7, 7, 14, -7, -21, 7, -7, 14, 7, -7, 7, -7, -7, 7, 1, -8, 8, 20, -8, -32, 8, -16, 24, 12, -8, 24, -16, -16, 8, 2, -8, -8, 8, 8, 8, -8, 1, -9, 9, 27, -9, -45

Offset: 1

Mircea Merca, Mar 19 2012

Assume we have N <= n variables x_1, x_2, ..., x_N, and let S_n^{(N)} = x_1^n + x_2^n + ... + x_N^n be the n-th power sum of these variables. Following Gould (1999, p. 135), define the elementary symmetric polynomials e_1^{(N)}, e^2^{(N)}, ..., e_N^{(N)}, where e_j^{(N)} is the sum of all products of x_1, x_2, ..., x_N taken j at a time.
Since N <= n, without loss of generality, we may assume we have the extra variables x_{N+1}, ..., x_n, define e_1^{(n)}, e_2^{(n)}, ..., e_N^{(n)}, e_{N+1}^{(n)}, ..., e_n^{(n)}, and then set x_{N+1} = x_{N+2} = ... = x_n = 0. In such a case, we get e_j^{(N)} = e_j^{(n)} for j = 1..N, and e_j^{(n)} = 0 for j = (N+1)..n. Thus, we may drop the superscripts N and n on power sum and on the elementary symmetric polynomials and write S_n, and e_1, e_2, ..., e_n with the understanding that e_{N+1} = ... = e_n = 0. (See also the comments for A115131.)
The numbers T(n,k) are the coefficients of the power sum expansion in terms of the elementary symmetric polynomials, which is the Girard-Waring formula. That is, S_n = Sum(c(t_1,...,t_n) * e_1^t_1 * e_2^t_2 *...* e_n^t_n), summed over integer partitions of n, t_1 + 2*t_2 + ... + n*t_n = n with t_i >= 0 for i = 1..n. Here c(t_1,t_2,...,t_n) = n * (-1)^(t_2 + t_4 + ... + t_{2*floor(n/2)}) * (t_1 + ... + t_n - 1)!/(t_1!*...*t_n!).
Given a partition (t_1,...,t_n) of n (as defined above), we may use only those j's in {1,...,n} for which t_j > 0 and write the partition in the usual notation by repeating each such j t_j times (and place these j's in a non-descending order). E.g., the partition 1*3 + 2*1 + 3*0 + 4*0 + 5*0 of 5 can be written as [1,1,1,2]. Similarly, the partition 1*5 + 2*0 + 3*0 + 4*0 + 5*0 of 5 can be written as [1,1,1,1,1].
Instead of using the Abramowitz-Stegun order of partitions (as it is done in A115131), we use the usual notation for partitions (in terms of the positive integers that add up to n) and order them in lexicographic order. Unfortunately, this order of partitions does not correspond to any of the orders in the web link below.
If we let a(m) be the m-th term of the array, read as sequence, then
a(1) = T(1,1) = c([1]) = c(1),
a(2) = T(2,1) = c([1,1]) = c(2,0) with sign(T(2,1)) = (-1)^0 = 1,
a(3) = T(2,2) = c([2]) = c(0,1) with sign(T(2,2)) = (-1)^1 = -1,
a(4) = T(3,1) = c([1,1,1]) = c(3,0,0) with sign(T(3,1)) = (-1)^0 = 1,
a(5) = T(3,2) = c([1,2]) = c(1,1,0) with sign(T(4,1)) = (-1)^1 = -1,
a(6) = T(3,3) = c([3]) = c(0,0,1) with sign(T(3,3)) = (-1)^0 = 1,
a(7) = T(4,1) = c([1,1,1,1]) = c(4,0,0,0) with sign(T(4,1)) = (-1)^(0+0) = 1,
a(8) = T(4,2) = c([1,1,2]) = c(2,1,0,0) with sign(T(4,2)) = (-1)^(1+0) = -1,
a(9) = T(4,3) = c([1,3]) = c(1,0,1,0) with sign(T(4,3)) = (-1)^(0+0) = 1,
a(10) = T(4,4) = c([2,2]) = c(0,2,0,0) with sign(T(4,4)) = (-1)^(2+0) = 1,
a(11) = T(4,5) = c([4]) = c(0,0,0,1) with sign(T(4,5)) = (-1)^(0+1) = -1,
a(12) = T(5,1) = c([1,1,1,1,1]) = c(5,0,0,0,0),
a(13) = T(5,2) = c([1,1,1,2]) = c(3,1,0,0,0),
a(14) = T(5,3) = c([1,1,3]) = c(2,0,1,0,0),
a(15) = T(5,4) = c([1,2,2]) = c(1,2,0,0,0),
a(16) = T(5,5) = c([1,4]) = c(1,0,0,1,0),
a(17) = T(5,6) = c([2,3]) = c(0,1,1,0,0),
a(18) = T(5,7) = c([5]) = c(0,0,0,0,1), ...
(ascending ordered compositions in lexicographic order).

			Array T(n,k) (with rows n >= 1 and columns k >= 1) begins as follows:
  S_1: 1;
  S_2: 1, -2;
  S_3: 1, -3, 3;
  S_4: 1, -4, 4,  2, -4;
  S_5: 1, -5, 5,  5, -5,  -5, 5;
  S_6: 1, -6, 6,  9, -6, -12, 6, -2,  6, 3, -6;
  S_7: 1, -7, 7, 14, -7, -21, 7, -7, 14, 7, -7, 7, -7, -7, 7;
  ...
With N = n = 6, we have S_6 = 1*(e_1)^6 - 6*(e_1)^4*(e_2) + 6*(e_1)^3*(e_3) + 9*(e_1)^2*(e_2)^2 - 6*(e_1)^2*(e_4) - 12*(e_1)*(e_2)*(e_3) + 6*(e_1)*(e_5) - 2*(e_2)^3 + 6*(e_2)*(e_4) + 3*(e_3)^2 - 6*(e_6) = Sum_{i = 1..6} x_i^6.
If N = 4 < n = 6, we set e_5 = e_6 = 0 in the above expression, and we get that S_6 = 1*(e_1)^6 - 6*(e_1)^4*(e_2) + 6*(e_1)^3*(e_3) + 9*(e_1)^2*(e_2)^2 - 6*(e_1)^2*(e_4) - 12*(e_1)*(e_2)*(e_3) - 2*(e_2)^3 + 6*(e_2)*(e_4) + 3*(e_3)^2 = Sum_{i = 1..4} x_i^6.

Kahtan H. Alzubaidy, Symmetric polynomials by Maple, 2015 (requires Maple 13).
Henri W. Gould, The Girard-Waring power sum formulas for symmetric functions and Fibonacci sequences, Fibonacci Quart. 37(2) (1999), 135-140. [He uses a signed version of the elementary symmetric polynomials: a_j = (-1)^j*e_j. This is why here we have (-1)^(t_2 + t_4 + ... + t_{2*floor(n/2)}) in the formula for c(t_1,...,t_n) rather than (-1)^(t_1 + ... + t_n).]
OEIS, Orderings of partitions.
Wikipedia, Newton's identities.
Gregory Gerard Wojnar, Daniel Sz. Wojnar, and Leon Q. Brin, Universal Peculiar Linear Mean Relationships in All Polynomials, arXiv:1706.08381 [math.GM], 2017. See p. 4.

Cf. A115131 (Abramowitz-Stegun order of partitions).

Various sections edited by Petros Hadjicostas, Dec 14 2019

A132460 Irregular triangle read by rows of the initial floor(n/2) + 1 coefficients of 1/C(x)^n, where C(x) is the g.f. of the Catalan sequence (A000108).

Original entry on oeis.org

1, 1, 1, -2, 1, -3, 1, -4, 2, 1, -5, 5, 1, -6, 9, -2, 1, -7, 14, -7, 1, -8, 20, -16, 2, 1, -9, 27, -30, 9, 1, -10, 35, -50, 25, -2, 1, -11, 44, -77, 55, -11, 1, -12, 54, -112, 105, -36, 2, 1, -13, 65, -156, 182, -91, 13, 1, -14, 77, -210, 294, -196, 49, -2

Offset: 0

Paul D. Hanna, Aug 21 2007

The length of row n is A008619(n).
Essentially equals a signed version of A034807, the triangle of Lucas polynomials. The initial n coefficients of 1/C(x)^n consist of row n followed by floor((n-1)/2) zeros for n > 0.
For the following formula for 1/C(x)^n see the W. Lang reference, proposition 1 on p. 411:
1/C(x)^n = (sqrt(x))^n*(S(n,1/sqrt(x)) - sqrt(x)*S(n-1,1/sqrt(x))*C(x)), n >= 0, with the Chebyshev polynomials S(n,x) with coefficients given in A049310. See also the coefficient array A115139 for P(n,x) = (sqrt(x)^(n-1))*S(n-1, 1/sqrt(x)). - Wolfdieter Lang, Sep 14 2013
This triangular array is composed of interleaved rows of reversed, A127677 (cf. A156308, A217476, A263916) and reversed, signed A111125. - Tom Copeland, Nov 07 2015
It seems that the n-th row lists the coefficients of the HOMFLYPT (HOMFLY) polynomial reduced to one variable for link family n, see Jablan's slide 38. - Andrey Zabolotskiy, Jan 16 2018
For n >= 1 row n gives the coefficients of the Girard-Waring formula for the sum of x1^n + x2^n in terms of the elementary symmetric functions e_1(x1,x2) = x1 + x2 and e_2(x1,x2) = x1*x2. This is an array using the partitions of n, in the reverse Abramowitz-Stegun order, with all partitions with parts larger than 2 eliminated. E.g., n = 4: x1^4 + x2^4 = 1*e1^4 - 4*e1^3*e2 + 2*e1*e2^2. See also A115131, row n = 4, with the mentioned partitions omitted. - Wolfdieter Lang, May 03 2019
Row n lists the coefficients of the n-th Faber polynomial for the replicable function given in A154272 with offset -1. - Ben Toomey, May 12 2020

			The irregular triangle T(n,k) begins:
n\k 0    1    2    3    4    5    6   7 ...
-------------------------------------------------
0:  1
1:  1
2:  1   -2
3:  1   -3
4:  1   -4    2
5:  1   -5    5
6:  1   -6    9   -2
7:  1   -7   14   -7
8:  1   -8   20  -16    2
9:  1   -9   27  -30    9
10: 1  -10   35  -50   25   -2
11: 1  -11   44  -77   55  -11
12: 1  -12   54 -112  105  -36    2
13: 1  -13   65 -156  182  -91   13
14: 1  -14   77 -210  294 -196   49  -2
... (reformatted - _Wolfdieter Lang_, May 03 2019)

Michael De Vlieger, Table of n, a(n) for n = 0..10200 (rows 0 <= n <= 200, flattened)
Tom Copeland, Addendum to Elliptic Lie Triad
G. Dattoli, E. Di Palma and E. Sabia, Cardan Polynomials, Chebyshev Exponents, Ultra-Radicals and Generalized Imaginary Units, Advances in Applied Clifford Algebras, 2014.
Pentti Haukkanen, Jorma Merikoski and Seppo Mustonen, Some polynomials associated with regular polygons, Acta Univ. Sapientiae, Mathematica, 6, 2 (2014) 178-193.
S. Jablan, Knots, computers, conjectures
Wolfdieter Lang, On polynomials related to powers of the generating function of Catalan's numbers, Fib. Quart. 38 (2000) 408-419. Eq. (23) with n -> -n and eq. (20).
Jorma K. Merikoski, Regular polygons, Morgan-Voyce polynomials, and Chebyshev polynomials, Notes on Num. Theor. and Disc. Math. (2021) Vol. 27, No. 2, 79-87.

Cf. A000108, A008619, A034807 (Lucas polynomials), A111125, A115131 (Waring numbers), A127677, A132461 (row squared sums), A156308, A217476, A263916.

T[0, 0] = 1; T[n_, k_] := (-1)^k (Binomial[n-k, k] + Binomial[n-k-1, k-1]);
Table[T[n, k], {n, 0, 14}, {k, 0, n/2}] // Flatten (* Jean-François Alcover, Jun 04 2018 *)

{T(n,k)=if(k>n\2,0,(-1)^k*(binomial(n-k, k)+binomial(n-k-1, k-1)))}

T(n,k) = (-1)^k*( C(n-k,k) + C(n-k-1,k-1) ) for n >= 0, 0 <= k <= floor(n/2).

T(0,0) = 1; T(n,k) = (-1)^k*n*binomial(n-k,k)/(n-k), k = 0..floor(n/2). - Wolfdieter Lang, May 03 2019

A111786 Array used to obtain the complete symmetric function in n variables in terms of the elementary symmetric functions; irregular triangle T(n,k), read by rows, with n >= 1 and 1 <= k <= A000041(n).

Original entry on oeis.org

1, -1, 1, 1, -2, 1, -1, 2, 1, -3, 1, 1, -2, -2, 3, 3, -4, 1, -1, 2, 2, 1, -3, -6, -1, 4, 6, -5, 1, 1, -2, -2, -2, 3, 6, 3, 3, -4, -12, -4, 5, 10, -6, 1, -1, 2, 2, 2, 1, -3, -6, -6, -3, -3, 4, 12, 6, 12, 1, -5, -20, -10, 6, 15, -7, 1, 1, -2, -2, -2, -2, 3, 6, 6, 3, 3, 6, 1, -4, -12, -12, -12, -12, -4, 5, 20, 10, 30, 5, -6, -30, -20, 7, 21, -8, 1, -1

Offset: 1

Wolfdieter Lang, Aug 23 2005

The unsigned numbers give A048996. They are not listed on pp. 831-832 of Abramowitz and Stegun (reference given in A103921). One could call these numbers M_0 (like M_1, M_2, M_3 given in A036038, A036039, A036040, resp.).
The sequence of row lengths is A000041(n) (partition numbers).
The sign is (-1)^(n + m(n,k)) with m(n,k) the number of parts of the k-th partition of n taken in the mentioned order. For m(n,k), see A036043.
The row sum is 1 for n = 1, and 0 otherwise. The unsigned row sum is 2^(n-1) = A000079(n-1) for n >= 1.
The complete symmetric polynomial is also h(n; a[1],...,a[n]) = Det(A_n) with the matrix elements of the n X n matrix A_n given by A_n(k, k+1) = 1 for 1 <= k < n, A(k, m) = a[k-m+1] for n >=  k >= m >= 1, and 0 otherwise. [For an explanation of this statement, see the example for n = 4 below. See also p. 3 in MacMahon (1960).]

			Triangle T(n,k) (with rows n >= 1 and columns k >= 1) begins as follows:
   1;
  -1,  1;
   1, -2,  1;
  -1,  2,  1, -3,  1;
   1, -2, -2,  3,  3, -4,  1;
  -1,  2,  2,  1, -3, -6, -1, 4, 6, -5, 1,
   ...
h(4; a[1],...,a[4])= -1*a[4] + 2*a[1]*a[3] + 1*a[2]^2 - 3*a[1]^2*a[2] + a[1]^4.
Consider variables x_1, x_2, x_3, x_4, and let a[1] = Sum_i x_i, a[2] = Sum_{i,j} x_i*x_j, a[3] = Sum_{i,j,k} x_i*x_j*x_k, and a[4] = x1*x2*x3*x4, where in all the sums no term is repeated twice.
Then h(4; a[1],...,a[4]) = Sum_i x_i^4 + Sum_{i,j} x_i^3*x_j + Sum_{i,j} x_i^2*x_j^2 + Sum_{i,j,k} x_i^2*x_j*x_k + Sum_{i,j,k,m} x_i*x_j*x_k*x_m, where again in all the sums no term is repeated twice. Thus, indeed, h is the complete symmetric polynomial in four variables x_1, x_2, x_3, x_4.

V. Krishnamurthy, Combinatorics, Ellis Horwood, Chichester, 1986, p. 55, eqs. (48) and (50).

M. Abramowitz and I. A. Stegun, eds., Handbook of Mathematical Functions, National Bureau of Standards, Applied Math. Series 55, Tenth Printing, 1972 [alternative scanned copy].
Wolfdieter Lang, First 10 rows.
P. A. MacMahon, Combinatory analysis (2 vols.), Chelsea, NY, 1960; see p. 4.
OEIS, Orderings of partitions.

Cf. A000041, A000079, A036038, A036039, A036040, A036043, A048996, A103921, A105805, A115131, A210258.

The complete symmetric row polynomials h(n; a[1], ..., a[n]):= sum k over partitions of n of T(n, k)* A[k], with A[k] := a[1]^e(k, 1) * a[2]^e(k, 2) * ... * a[n]^e(k, n) is the k-th partition of n, in Abramowitz-Stegun order (see A105805 for this reference), is [1^e(k, 1), 2^e(k, 2), ..., n^e(k, n)], for k = 1..p(n), where p(n) = A000041(n) (partition numbers).
G.f.: A(x) = 1/(1 + Sum_{j = 1..infinity} (-1)^j * a[j]).
T(n, k) is the coefficient of x^n and a[1]^e(k, 1) * a[2]^e(k, 2) * ... * a[n]^e(k, n) in A(x) if the k-th partition of n, counted using the Abramowitz-Stegun order, is [1^e(k, 1), 2^e(k, 2), ..., n^e(k, n)] with e(k, j) >= 0 (and if e(k, j) = 0 then j^0 is not recorded).
T(n, k) = (-1)^(n + m(n, k)) * m(n, k)!/(Product_{j = 1..n} e(k, j)!), where m(n, k) := Sum_{j = 1..n} e(k, j), with [1^e(k, 1), 2^e(k, 2), ..., n^e(k, n)] being the k-th partition of n in the mentioned order. Here m(n, k) is the number of parts of the k-th partition of n. For m(n,k), see A036043.

Various sections edited by Petros Hadjicostas, Dec 15 2019

cp's OEIS Frontend

A036039 Irregular triangle of multinomial coefficients of integer partitions read by rows (in Abramowitz and Stegun ordering) giving the coefficients of the cycle index polynomials for the symmetric groups S_n.

Views

Author

Keywords

Comments

Examples

References

Links

Crossrefs

Programs

Maple

Mathematica

Sage

Formula

Extensions

A263916 Coefficients of the Faber partition polynomials.

Views

Author

Keywords

Comments

Examples

References

Links

Crossrefs

Programs

Mathematica

Formula

Extensions

A319225 Number of acyclic spanning subgraphs of a cycle graph, where the sizes of the connected components are given by the prime indices of n.

Views

Author

Keywords

Comments

Examples

Links

Crossrefs

Programs

Mathematica

Formula

A319226 Irregular triangle where T(n,k) is the number of acyclic spanning subgraphs of a cycle graph, where the sizes of the connected components are given by the integer partition with Heinz number A215366(n,k).

Views

Author

Keywords

Comments

Examples

Links

Crossrefs

Programs

Mathematica

A210258 The coefficients of the Girard-Waring formula; irregular array T(n,k), read by rows, for n >= 1 and 1 <= k <= A000041(n).

Views

Author

Keywords

Comments

Examples

Links

Crossrefs

Extensions

A132460 Irregular triangle read by rows of the initial floor(n/2) + 1 coefficients of 1/C(x)^n, where C(x) is the g.f. of the Catalan sequence (A000108).

Views

Author

Keywords

Comments

Examples

Links

Crossrefs

Programs

Mathematica

PARI

Formula

A111786 Array used to obtain the complete symmetric function in n variables in terms of the elementary symmetric functions; irregular triangle T(n,k), read by rows, with n >= 1 and 1 <= k <= A000041(n).

Views

Author

Keywords

Comments

Examples

References

Links

Crossrefs