%I #357 Mar 21 2024 21:19:40
%S 1,-2,12,-6,-120,120,-24,1680,-2520,360,720,-120,-30240,60480,-20160,
%T -20160,5040,5040,-720,665280,-1663200,907200,604800,-60480,-362880,
%U -181440,20160,40320,40320,-5040,-17297280,51891840,-39916800,-19958400,6652800,19958400,6652800,-1814400,-1814400,-3628800,-1814400,362880,362880,362880,-40320
%N Irregular triangle of coefficients of a partition transform for direct Lagrange inversion of an o.g.f., complementary to A134685 for an e.g.f.; normalized by the factorials, these are signed, refined face polynomials of the associahedra.
%C Let f(t) = u(t) - u(0) = Sum_{n>=1} u_n * t^n.
%C If u_1 is not equal to 0, then the compositional inverse for f(t) is given by g(t) = Sum_{j>=1} P(n,t) where, with u_n denoted by (n'),
%C P(1,t) = (1')^(-1) * [ 1 ] * t
%C P(2,t) = (1')^(-3) * [ -2 (2') ] * t^2 / 2!
%C P(3,t) = (1')^(-5) * [ 12 (2')^2 - 6 (1')(3') ] * t^3 / 3!
%C P(4,t) = (1')^(-7) * [ -120 (2')^3 + 120 (1')(2')(3') - 24 (1')^2 (4') ] * t^4 / 4!
%C P(5,t) = (1')^(-9) * [ 1680 (2')^4 - 2520 (1') (2')^2 (3') + 360 (1')^2 (3')^2 + 720 (1')^2 (2') (4') - 120 (1')^3 (5') ] * t^5 / 5!
%C P(6,t) = (1')^(-11) * [ -30240 (2')^5 + 60480 (1') (2')^3 (3') - 20160 (1')^2 (2') (3')^2 - 20160 (1')^2 (2')^2 (4') + 5040 (1')^3 (3')(4') + 5040 (1')^3 (2')(5') - 720 (1')^4 (6') ] * t^6 / 6!
%C P(7,t) = (1')^(-13) * [ 665280 (2')^6 - 1663200 (1')(2')^4(3') + (1')^2 [907200 (2')^2(3')^2 + 604800 (2')^3(4')] - (1')^3 [60480 (3')^3 + 362880 (2')(3')(4') + 181440 (2')^2(5')] + (1')^4 [20160 (4')^2 + 40320 (3')(5') + 40320 (2')(6')] - 5040 (1')^5(7')] * t^7 / 7!
%C P(8,t) = (1')^(-15) * [ -17297280 (2')^7 + 51891840 (1')(2')^5(3') - (1')^2 [39916800 (2')^3(3')^2 + 19958400 (2')^4(4')] + (1')^3 [6652800 (2')(3')^3 + 19958400 (2')^2(3')(4') + 6652800 (2')^3(5')] - (1')^4 [1814400 (3')^2(4') + 1814400 (2')(4')^2 + 3628800 (2')(3')(5') + 1814400 (2')^2(6')] + (1')^5 [362880 (4')(5') + 362880 (3')(6') + 362880 (2')(7')] - 40320 (1')^6(8')] * t^8 / 8!
%C ...
%C See A134685 for more information.
%C A111785 is obtained from A133437 by dividing through the bracketed terms of the P(n,t) by n! and unsigned A111785 is a refinement of A033282 and A126216. - _Tom Copeland_, Sep 28 2008
%C For relation to the geometry of associahedra or Stasheff polytopes (and other combinatorial objects) see the Loday and McCammond links. E.g., P(5,t) = (1')^(-9) * [ 14 (2')^4 - 21 (1') (2')^2 (3') + 6 (1')^2 (2') (4')+ 3 (1')^2 (3')^2 - 1 (1')^3 (5') ] * t^5 is related to the 3-D associahedron with 14 vertices (0-D faces), 21 edges (1-D faces), 6 pentagons (2-D faces), 3 rectangles (2-D faces), 1 3-D polytope (3-D faces). Summing over faces of the same dimension gives A033282 or A126216. - _Tom Copeland_, Sep 29 2008
%C A relation between this Lagrange inversion for an o.g.f. and partition polynomials formed from the "refined Lah numbers" A130561 is presented in the link "Lagrange a la Lah" along with umbral binary tree representations.
%C With f(x,t) = x + t*Sum_{n>=2} u_n*x^n, the compositional inverse in x is related to the velocity profile of particles governed by the inviscid Burgers's, or Hopf, eqn. See A001764 and A086810. - _Tom Copeland_, Feb 15 2014
%C Newton was aware of this power series expansion for series reversion. See the Ferraro reference p. 75 eqn. 52. - _Tom Copeland_, Jan 22 2017
%C The coefficients of the partition polynomials divided by the associated factorial enumerate the faces of the convex, bounded polytopes called the associahedra, and the absolute value of the sum of the renormalized coefficients gives the Euler characteristic of unity for each polytope; i.e., the absolute value of the sum of each row of the array is either n! (unnormalized) or unity (normalized). In addition, the signs of the faces alternate with dimension, and the coefficients of faces with the same dimension for each polytope have the same sign. - _Tom Copeland_, Nov 13 2019
%C With u_1 = 1 and the other u_n replaced by suitably signed partition polynomials of A263633, the partition polynomials enumerating the refined noncrossing partitions of A134264 with a shift in indices are obtained (cf. In the Realm of Shadows). - _Tom Copeland_, Nov 16 2019
%C Relations between associahedra and oriented n-simplices are presented by Halvorson and by Street. - _Tom Copeland_, Dec 08 2019
%C Let f(x;t,n) = x - t * x^(n+1), giving u_1 = (1') = 1 and u_(n+1) = (n+1) = -t. Then inverting in x with t a parameter gives finv(x;t,n) = Sum_{j>=0} {binomial((n+1)*j,j) / (n*j + 1)} * t^j * x^(n*j + 1), which gives the Catalan numbers for n=1, and the Fuss-Catalan sequences for n>1 (see A001764, n=2). Comparing this with the same result in A134264 gives relations between the faces of associahedra and noncrossing partitions (and other combinatorial constructs related to these inversion formulas and those listed in A145271). - _Tom Copeland_, Jan 27 2020
%C From _Tom Copeland_, Mar 24 2020: (Start)
%C There is a mapping between the faces of K_n, the associahedron of dimension (n-1), and polygon dissections. The dissecting noncrossing diagonals (i.e., nonintersecting in the interior) form subpolygons. Assign the indeterminate x_k to a subpolygon where k = (number of vertices of the subpolygon) - 1. Multiply the x_k together to form the monomials for the inversion formula.
%C For the 3-dimensional associahedron K_4, the fundamental polygon is the hexagon, which can be dissected into pentagons, associated to x_4; tetragons, to x_3; and triangles, to x_2; for example, there are six distinguished partitions of the hexagon into one triangle and one pentagon, sharing two vertices, associated to the monomial 6 * x_2 * x_4 since the unshared vertex of the triangle can be moved consecutively from one vertex of the hexagon to the next. This term corresponds to 720 (1')^2 (2') (4') / 5! in P(5,t) above, denumerating the six pentagonal facets of K_4. (End)
%D G. Ferraro, The Rise and Development of the Theory of Series up to the Early 1820s, Springer Science and Business Media, 2007.
%D H. Halvorson (editor), Deep Beauty: Understanding the Quantum World Through Innovation, Cambridge Univ. Press, 2011.
%D H. Turnbull (editor), The Correspondence of Isaac Newton Vol. II 1676-1687, Cambridge Univ. Press, 1960, p. 147.
%H M. Aguiar and F. Ardila, <a href="http://math.sfsu.edu/federico/Talks/GPatMSRI.pdf">The algebraic and combinatorial structure of generalized permutahedra</a>, MSRI Summer School July 19, 2017.
%H M. Aguiar and F. Ardila, <a href="https://arxiv.org/abs/1709.07504">Hopf monoids and generalized permutahedra</a>, arXiv:1709.07504 [math.CO], p. 6, 2017.
%H N. Arkani-Hamed, Y. Bai, S. He, and G. Yan, <a href="https://arxiv.org/abs/1711.09102">Scattering forms and the positive geometry of kinematics, color, and the worldsheet</a>, arXiv:1711.09102 [hep-th], 2017.
%H D. Armstrong, <a href="https://www.math.miami.edu/~armstrong/Talks/catalan_at_mit.pdf">Catalan numbers: From EGS to BEG</a>, MIT Combinatorics Seminar, May 15, 2015.
%H P. Balduf, <a href="http://www2.mathematik.hu-berlin.de/~kreimer/wp-content/uploads/PaulMaster">The propagator and diffeomorphisms of an interacting field theory</a>, Master's thesis, submitted to the Institut für Physik, Mathematisch-Naturwissenschaftliche Fakultät, Humboldt-Universtität, Berlin, 2018, p. 32.
%H P. Balduf, <a href="https://arxiv.org/abs/1905.00686">Perturbation theory of transformed quantum fields</a>, arXiv:1905.00686 [math-ph], 2019, (see Example 2.3 on p. 4 and Lemma 2.7 on p. 5).
%H L. Berry, S. Forcey, M. Ronco, and P. Showers, <a href="https://arxiv.org/abs/1608.08546">Polytopes and Hopf algebras of painted trees: Fan graphs and Stellohedra</a>, arXiv:1608.08546 [math.CO], 2018.
%H Tai-Danae Bradley, <a href="https://youtu.be/N7wNWQ4aTLQ">Associahedra: The Shapes of Multiplication</a>, an episode on YouTube of PBS Infinite Series, Nov 2017.
%H Tai-Danae Bradley, <a href="https://www.math3ma.com/mathema/2017/10/30/what-is-an-operad-part-2">What is an Operad? Part 2</a>, a post on the blog Math3ma, Oct 2017.
%H F. Brown and J. Bergstrom, <a href="http://arxiv.org/abs/0910.0120">Inversion of series and the cohomology of the moduli spaces M_(o,n)</a>, arXiv:0910.0120 [math.AG], 2009.
%H V. Buchstaber, <a href="http://eprints.maths.manchester.ac.uk/998">Toric Topology of Stasheff polytopes</a>, Manchester Institute for Mathematical Sciences Eprint 2007.232, School of Mathematics, University of Manchester, 2007.
%H J. Carter, A. Crans, E. Elhamdadi, E. Karadayi, and M. Saito, <a href="https://arxiv.org/abs/0801.2567">Cohomology of Frobenius Algebras and the Yang-Baxter Equation</a>, arXiv:0801.2567 [math.QA], 2008.
%H B. Casselman, <a href="http://www.ams.org/publicoutreach/feature-column/fcarc-associahedra">Strange Associations</a>, AMS Feature Column, Nov 2007.
%H X. Chen, T. Yi, F. He, Z. He, and Z. Dong, <a href="https://www.mdpi.com/2072-4292/11/16/1874">An Improved Generalized Chirp Scaling Algorithm Based on Lagrange Inversion Theorem for High-Resolution Low Frequency Synthetic Aperture Radar Imaging</a>, Remote Sensing, Vol. 11, Issue 16, 2019.
%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://tcjpn.wordpress.com/2014/09/17/compositional-inverse-pairs-the-inviscid-burgers-hopf-equation-and-the-stasheff-associahedra/">Compositional inverse pairs, the Burgers-Hopf equation, and the Stasheff associahedra</a>, 2014.
%H Tom Copeland, <a href="http://mathoverflow.net/questions/181284/compositional-inversion-and-generating-functions-in-algebraic-geometry">Compositional inversion and generating functions in algebraic geometry</a>, MathOverflow question, 2014.
%H Tom Copeland, <a href="http://mathoverflow.net/questions/184803/guises-of-the-stasheff-polytopes-associahedra-for-the-coxeter-a-n-root-system">Guises of the Stasheff polytopes, associahedra for the Coxeter A_n root system?</a>, MathOverflow question, 2014.
%H Tom Copeland, <a href="https://mathoverflow.net/questions/182622/an-intriguing-tapestry-number-triangles-polytopes-grassmannians-and-scatteri">An Intriguing Tapestry: Number triangles, polytopes, Grassmannians, and scattering amplitudes</a>, MathOverflow question, 2014.
%H Tom Copeland, <a href="http://mathoverflow.net/questions/145555/why-is-there-a-connection-between-enumerative-geometry-and-nonlinear-waves/181534#181534">Why is there a connection between enumerative geometry and nonlinear waves?</a>, MathOverflow answer, 2014.
%H Tom Copeland, <a href="http://mathoverflow.net/questions/214927/important-formulas-in-combinatorics/215203#215203">Important formulas in combinatorics</a>, MathOverflow answer, 2015.
%H Tom Copeland, <a href="http://tcjpn.wordpress.com/2015/12/21/generators-inversion-and-matrix-binomial-and-integral-transforms/">Generators, Inversion, and Matrix, Binomial, and Integral Transforms</a>, 2015.
%H Tom Copeland, <a href="https://tcjpn.wordpress.com/2018/01/23/formal-group-laws-and-binomial-sheffer-sequences/">Formal group laws and binomial Sheffer sequences</a>, 2018.
%H Tom Copeland, <a href="https://tcjpn.wordpress.com/2019/09/13/associahedra-noncrossing-partitions-and-an-umbral-algebra-of-power-series/">In the Realm of Shadows: Umbral inverses and associahedra, noncrossing partitions, symmetric polynomials, and similarity transforms</a>, 2019.
%H L. Cruz, A. Kniss, and S. Weinzierl, <a href="https://arxiv.org/abs/1711.07942">Properties of scattering forms and their relation to associahedra</a>, arXiv:1711.07942 [hep-th], 2018.
%H S. Devadoss, B. Fehrman, T. Heath, and A. Vashist, <a href="http://arxiv.org/abs/1109.2830">Moduli spaces of punctured Poincaré discs</a>, arXiv:1109.2830 [math.AT], 2011.
%H S. Devadoss, T. Heath, and W. Vipismakul, <a href="http://www.ams.org/notices/201104/rtx110400530p.pdf">Deformation of bordered surfaces and convex polytopes</a>, Notices of the AMS, April 2011, Volume 58, Issue 04.
%H C. Dupont and B. Vallette, <a href="http://arxiv.org/abs/1590.08840">Browns' moduli spaces of curves and the gravity operad</a>, arXiv:1590.08840 [math.AG], p. 15, 2015.
%H H. Einziger, <a href="https://search.proquest.com/openview/9a6007300d492143210f01408f4f0e70/1?pq-origsite=gscholar&cbl=18750&diss=y">Incidence Hopf algebras: Antipodes, forest formulas, and noncrossing partitions</a>, The George Washington University, ProQuest Dissertations Publishing, 2010. 3417955. (Cf. p. 61.)
%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, (p. 44).
%H S. Forcey, <a href="http://www.math.uakron.edu/~sf34/hedra.htm#index">The Hedra Zoo</a>
%H A. Frabetti and D. Manchon, <a href="https://arxiv.org/abs/1402.5551">Five interpretations of Fa`a di Bruno’s formula</a>, arXiv:1402.5551 [math.CO], 2014, p. 11.
%H X. Gao, S. He, and Y. Zhan, <a href="https://arxiv.org/abs/1708.08701">Labelled tree graphs, Feynman diagrams and disk integrals</a>, arXiv:1708.08701 [hep-th], 2017.
%H E. Ghys, <a href="https://arxiv.org/abs/1612.06373">A Singular Mathematical Promenade</a>, arXiv:1612.06373 [math.GT], 2017.
%H J. Golden, M. Paulos, M. Spradlin, and A. Volovich, <a href="http://arxiv.org/abs/1401.6446">Cluster polylogarithms for scattering amplitudes</a>, arxiv: 1401.6446 (v2) [hep.th], 2014.
%H A. Hanson and J. Sha, <a href="https://arxiv.org/abs/math-ph/0510064">A Contour Integral Representation for the Dual Five-Point Function and a Symmetry of the Genus Four Surface in R6</a>, arXiv preprint arXiv:0510064 [math-ph], 2005.
%H S. He, <a href="https://icts.ustc.edu.cn/chinese/seminar/transparencies/Song He/2018.5.25.html">Scattering from Geometries</a>, presentation at the Interdisciplinary Center for Theoretical Study at the University of Science and Technology of China, 2017.
%H D. Herceg, L. Petkovic, and M. Petkovic, <a href="https://doi.org/10.1016/j.cam.2009.09.012">On Schröder’s families of root-finding methods</a>, Journal of Computational and Applied Mathematics, Vol. 233, Issue 8, 15 February 2010, Pages 1755-1762, (see p. 1760, below eqn. 19).
%H D. Jackson, A. Kempf, and A. Morales, <a href="http://arxiv.org/abs/1612.00462">A robust generalization of the Legendre transform for QFT</a>, arXiv:1612.0046 [hep-th], 2017.
%H A. Kirillov, <a href="https://arxiv.org/abs/1502.00426">On Some Quadratic Algebras I 1/2: Combinatorics of Dunkl and Gaudin Elements, Schubert, Grothendieck, Fuss-Catalan, Universal Tutte and Reduced Polynomials</a>, arXiv preprint arXiv:1502.00426 [math.RT], 2016, p. 150.
%H D. Kreimer and K. Yeats, <a href="http://arxiv.org/abs/1610.01837">Diffeomorphisms of quantum fields</a>, arXiv:1610.01837 [math-ph], 2016 (p. 7).
%H C. Lenart, <a href="https://doi.org/10.1016/0012-365X(72)90041-6">Lagrange inversion and Schur functions</a>, Journal of Algebraic Combinatorics, Vol. 11, Issue 1, pp. 69-78, 2000, (see p. 70, Eqn. 1.2).
%H M. Lin, <a href="https://www.math.hmc.edu/~mlin/thesis/mlin-2016-thesis.pdf">Graph Cohomology</a>, 2016.
%H M. Liu, <a href="http://arxiv.org/abs/math/0210257">Moduli of J-holomorphic curves with lagrangian boundary conditions and open Gromov-Witten invariants for an S^1 pair</a>, arXiv:math/0210257 [math.SG], 2002-2004. (See Fig. 2, p. 13.)
%H J-L. Loday, <a href="https://arxiv.org/abs/math/0212126">Realization of the Stasheff polytope</a>, arXiv:0212126v6 [math.AT], 2002.
%H J-L. Loday, <a href="http://www2.maths.ox.ac.uk/cmi/library/academy/LectureNotes05/Lodaypaper.pdf">The Multiple Facets of the Associahedron</a>
%H J-L. Loday and B. Vallette, <a href="http://irma.math.unistra.fr/~loday/PAPERS/LodayVallette.pdf">Algebraic Operads</a>, version 0.99, p. 442, 2012.
%H A. Mahmoud and K. Yeats, <a href="https://arxiv.org/abs/2007.12341">Diffeomorphisms of Scalar Quantum Fields via Generating Functions</a>, arXiv:2007.12341 [math-ph], 2021, (see Lemma 8.2 on p. 15).
%H MathOverflow, <a href="https://mathoverflow.net/questions/270070/analogue-of-conic-sections-for-the-permutohedra-associahedra-and-noncrossing-p">Analogue of conic sections for the permutohedra, associahedra, and noncrossing partitions</a>, an MO question posed by T. Copeland, 2017.
%H MathOverflow, <a href="https://mathoverflow.net/questions/272583/lodays-characterization-and-enumeration-of-faces-of-associahedra-stasheff-poly">Loday's characterization and enumeration of faces of associahedra (Stasheff polytopes)</a>, an MO question posed by T. Copeland and answered by R. Davis, 2017.
%H J. McCammond, <a href="http://www.math.ucsb.edu/~jon.mccammond/papers/nc-survey-official.pdf">Non-crossing Partitions in Surprising Locations</a>, American Mathematical Monthly 113 (2006) 598-610.
%H S. Mizera, <a href="https://arxiv.org/abs/1706.08527">Combinatorics and Topology of Kawai-Lewellen-Tye Relations</a>, arXiv:1706.08527 [hep-th], 2017.
%H V. Pilaud, <a href="https://www.mat.univie.ac.at/~slc/wpapers/s76vortrag/pilaud.pdf">The Associahedron and its Friends</a>, presentation for Séminaire Lotharingien de Combinatoire, April 4 - 6, 2016.
%H J. Pitman and R. Stanley, <a href="https://arxiv.org/abs/math/9908029">A polytope related to empirical distributions, plane trees, parking functions, and the associahedron</a>, arXiv:math/9908029 [math.CO], 1999.
%H Alison Schuetz and Gwyneth Whieldon, <a href="http://arxiv.org/abs/1401.7194">Polygonal Dissections and Reversions of Series</a>, arXiv:1401.7194 [math.CO], 2014.
%H J. Stasheff, <a href="https://www.ams.org/notices/200406/what-is.pdf">What is ... an Operad?</a>, Notices of the American Mathematical Society 51 (6), June-July 2004, 630-631.
%H R. Street, <a href="https://doi.org/10.1016/0022-4049(87)90137-X">The algebra of oriented simplexes</a>, Journal of Pure and Applied Algebra, 49, pp. 283-335, 1987.
%H J. Taylor, <a href="https://digital.lib.washington.edu/researchworks/handle/1773/36757">Formal group laws and hypergraph colorings</a>, doctoral thesis, Univ. of Wash., 2016, p. 101.
%H B. Vallette, <a href="https://arxiv.org/abs/1202.3245">Algebra + Homotopy = Operad</a>, arXiv:1202.3245 [math.AT], 2012 (p. 21).
%H J. Zhou, <a href="http://arxiv.org/abs/1405.5296">Quantum deformation theory of the Airy curve and the mirror symmetry of a point</a>, arXiv preprint arXiv:1405.5296 [math.AG], 2014.
%F The bracketed partitions of P(n,t) are of the form (u_1)^e(1) (u_2)^e(2) ... (u_n)^e(n) with coefficients given by (-1)^(n-1+e(1)) * [2*(n-1)-e(1)]! / [ (e(2))! * (e(3))! * ... * (e(n))! ].
%F From _Tom Copeland_, Sep 06 2011: (Start)
%F Let h(t) = 1/(df(t)/dt)
%F = 1/Ev[u./(1-u.t)^2]
%F = 1/((u_1) + 2*(u_2)*t + 3*(u_3)*t^2 + 4*(u_4)*t^3 + ...),
%F where Ev denotes umbral evaluation.
%F Then for the partition polynomials of A133437,
%F n!*P(n,t) = ((t*h(y)*d/dy)^n) y evaluated at y=0,
%F and the compositional inverse of f(t) is
%F g(t) = exp(t*h(y)*d/dy) y evaluated at y=0.
%F Also, dg(t)/dt = h(g(t)). (End)
%F From _Tom Copeland_, Oct 20 2011: (Start)
%F With exp[x* PS(.,t)] = exp[t*g(x)] = exp[x*h(y)d/dy] exp(t*y) eval. at y=0, the raising/creation and lowering/annihilation operators defined by R PS(n,t)=PS(n+1,t) and L PS(n,t) = n*PS(n-1,t) are
%F R = t*h(d/dt) = t* 1/[(u_1) + 2*(u_2)*d/dt + 3*(u_3)*(d/dt)^2 + ...] and
%F L = f(d/dt) = (u_1)*d/dt + (u_2)*(d/dt)^2 + (u_3)*(d/dt)^3 + ....
%F Then P(n,t) = (t^n/n!) dPS(n,z)/dz eval. at z=0. (Cf. A139605, A145271, and link therein to Mathemagical Forests for relation to planted trees on p. 13.) (End)
%F The bracketed partition polynomials of P(n,t) are also given by (d/dx)^(n-1) 1/[u_1 + u_2 * x + u_3 * x^2 + ... + u_n * x^(n-1)]^n evaluated at x=0. - _Tom Copeland_, Jul 07 2015
%F From _Tom Copeland_, Sep 20 2016: (Start)
%F Let PS(n,u1,u2,...,un) = P(n,t) / t^n, i.e., the square-bracketed part of the partition polynomials in the expansion for the inverse in the comment section, with u_k = uk.
%F Also let PS(n,u1=1,u2,...,un) = PB(n,b1,b2,...,bK,...) where each bK represents the partitions of PS, with u1 = 1, that have K components or blocks, e.g., PS(5,1,u2,...,u5) = PB(5,b1,b2,b3,b4) = b1 + b2 + b3 + b4 with b1 = -u5, b2 = 6 u2 u4 + 3 u3^2, b3 = -21 u2^2 u3, and b4 = 14 u2^4.
%F The relation between solutions of the inviscid Burgers' equation and compositional inverse pairs (cf. A086810) implies that, for n > 2, PB(n, 0 * b1, 1 * b2, ..., (K-1) * bK, ...) = [(n+1)/2] * Sum_{k = 2..n-1} PS(n-k+1,u_1=1,u_2,...,u_(n-k+1)) * PS(k,u_1=1,u_2,...,u_k).
%F For example, PB(5,0 * b1, 1 * b2, 2 * b3, 3 * b4) = 3 * 14 u2^4 - 2 * 21 u2^2 u3 + 1 * 6 u2 u4 + 1 * 3 u3^2 - 0 * u5 = 42 u2^4 - 42 u2^2 u3 + 6 u2 u4 + 3 u3^2 = 3 * [2 * PS(2,1,u2) * PS(4,1,u2,...,u4) + PS(3,1,u2,u3)^2] = 3 * [ 2 * (-u2) (-5 u2^3 + 5 u2 u3 - u4) + (2 u2^2 - u3)^2].
%F Also, PB(n,0*b1,1*b2,...,(K-1)*bK,...) = d/dt t^(n-2)*PS(n,u1=1/t,u2,...,un)|_{t=1} = d/dt (1/t)*PS(n,u1=1,t*u2,...,t*un)|_{t=1}.
%F (End)
%F From _Tom Copeland_, Sep 22 2016: (Start)
%F Equivalent matrix computation: Multiply the m-th diagonal (with m=1 the index of the main diagonal) of the lower triangular Pascal matrix A007318 by f_m = m!*u_m = (d/dx)^m f(x) evaluated at x=0 to obtain the matrix UP with UP(n,k) = binomial(n,k) f_{n+1-k}, or equivalently multiply the diagonals of A132159 by u_m. Then P(n,t) = (1, 0, 0, 0, ...) [UP^(-1) * S]^(n-1) FC * t^n/n!, where S is the shift matrix A129185, representing differentiation in the basis x^n//n!, and FC is the first column of UP^(-1), the inverse matrix of UP. These results follow from A145271 and A133314.
%F Also, P(n,t) = (1, 0, 0, 0, ...) [UP^(-1) * S]^n (0, 1, 0, ...)^T * t^n/n! in agreement with A139605. (End)
%F A recursion relation for computing each partition polynomial of this entry from the lower order polynomials and the coefficients of the refined Lah polynomials of A130561 is presented in the blog entry "Formal group laws and binomial Sheffer sequences." - _Tom Copeland_, Feb 06 2018
%F The derivative of the partition polynomials of A350499 with respect to a distinguished indeterminate give polynomials proportional to those of this entry. The connection of this derivative relation to the inviscid Burgers-Hopf evolution equation is given in a reference for that entry. - _Tom Copeland_, Feb 19 2022
%t rows[nn_] := {{1}}~Join~With[{s = InverseSeries[t (1 + Sum[u[k] t^k, {k, nn}] + O[t]^(nn+1))]}, Table[(n+1)! Coefficient[s, t^(n+1) Product[u[w], {w, p}]], {n, nn}, {p, Reverse[Sort[Sort /@ IntegerPartitions[n]]]}]];
%t rows[7] // Flatten (* _Andrey Zabolotskiy_, Mar 07 2024 *)
%Y Cf. A145271, (A086810, A181289) = (reduced array, associated g(x)).
%Y Cf. A001764, A007318, A033282, A086810, A111785, A126216, A129185.
%Y Cf. A130561, A132159, A133314, A134264, A134685, A139605, A263633.
%K sign,tabf
%O 1,2
%A _Tom Copeland_, Jan 27 2008
%E Missing coefficient in P(6,t) replaced by _Tom Copeland_, Nov 06 2008
%E P(7,t) and P(8,t) data added by _Tom Copeland_, Jan 14 2016
%E Title modified by _Tom Copeland_, Jan 13 2020
%E Terms ordered according to the reversed Abramowitz-Stegun ordering of partitions (with every k' replaced by (k-1)') by _Andrey Zabolotskiy_, Mar 07 2024