Showing 1–50 of 61 results for author: Sokal, A D

Thron-type continued fractions (T-fractions) for some classes of increasing trees

Authors: Veronica Bitonti, Bishal Deb, Alan D. Sokal

Abstract: We introduce some classes of increasing labeled and multilabeled trees, and we show that these trees provide combinatorial interpretations for certain Thron-type continued fractions with coefficients that are quasi-affine of period 2. Our proofs are based on bijections from trees to labeled Motzkin or Schröder paths; these bijections extend the well-known bijection of Françon--Viennot (1979) inter… ▽ More We introduce some classes of increasing labeled and multilabeled trees, and we show that these trees provide combinatorial interpretations for certain Thron-type continued fractions with coefficients that are quasi-affine of period 2. Our proofs are based on bijections from trees to labeled Motzkin or Schröder paths; these bijections extend the well-known bijection of Françon--Viennot (1979) interpreted in terms of increasing binary trees. This work can also be viewed as a sequel to the recent work of Elvey Price and Sokal (2020), where they provide combinatorial interpretations for Thron-type continued fractions with coefficients that are affine. Towards the end of the paper, we conjecture an equidistribution of vincular patterns on permutations. △ Less

Submitted 13 December, 2024; originally announced December 2024.

Comments: LaTeX2e, 62 pages including 7 figures

MSC Class: 05A19 (Primary); 05A05; 05A15; 05A30; 05C05; 05C30; 30B70 (Secondary)

Continued-fraction characterization of Stieltjes moment sequences with support in $[ξ, \infty)$

Authors: Alan D. Sokal, James Walrad

Abstract: We give a continued-fraction characterization of Stieltjes moment sequences for which there exists a representing measure with support in $[ξ, \infty)$. The proof is elementary. We give a continued-fraction characterization of Stieltjes moment sequences for which there exists a representing measure with support in $[ξ, \infty)$. The proof is elementary. △ Less

Submitted 18 April, 2024; originally announced April 2024.

Comments: LaTeX2e, 10 pages. arXiv admin note: text overlap with arXiv:1903.12455

MSC Class: 44A60 (Primary); 05A15; 30B70; 30E05 (Secondary)

Lattice paths and branched continued fractions. III. Generalizations of the Laguerre, rook and Lah polynomials

Authors: Bishal Deb, Alexander Dyachenko, Mathias Pétréolle, Alan D. Sokal

Abstract: We introduce a triangular array $\widehat{\sf L}^{(α)}$ of 5-variable homogeneous polynomials that enumerate Laguerre digraphs (digraphs in which each vertex has out-degree 0 or 1 and in-degree 0 or 1) with separate weights for peaks, valleys, double ascents, double descents, and loops. These polynomials generalize the classical Laguerre polynomials as well as the rook and Lah polynomials. We show… ▽ More We introduce a triangular array $\widehat{\sf L}^{(α)}$ of 5-variable homogeneous polynomials that enumerate Laguerre digraphs (digraphs in which each vertex has out-degree 0 or 1 and in-degree 0 or 1) with separate weights for peaks, valleys, double ascents, double descents, and loops. These polynomials generalize the classical Laguerre polynomials as well as the rook and Lah polynomials. We show that this triangular array is totally positive and that the sequence of its row-generating polynomials is Hankel-totally positive, under suitable restrictions on the values given to the indeterminates. This implies, in particular, the coefficientwise Hankel-total positivity of the monic unsigned univariate Laguerre polyomials. Our proof uses the method of production matrices as applied to exponential Riordan arrays. Our main technical lemma concerns the total positivity of a large class of quadridiagonal production matrices; it generalizes the tridiagonal comparison theorem. In some cases these polynomials are given by a branched continued fraction. Our constructions are motivated in part by recurrences for the multiple orthogonal polynomials associated to weights based on modified Bessel functions of the first kind $I_α$. △ Less

Submitted 18 December, 2023; originally announced December 2023.

Comments: 86 pages, LaTeX2e

MSC Class: 05A15 (Primary); 05A05; 05A19; 05A20; 05C30; 05C38; 15B48; 30B70; 33C10; 33C45; 42C05 (Secondary)

Coefficientwise Hankel-total positivity of the Schett polynomials

Authors: Bishal Deb, Alan D. Sokal

Abstract: We prove the coefficientwise Hankel-total positivity of the even and odd subsequences of Schett polynomials $X_n(x,y,z)$. We prove the coefficientwise Hankel-total positivity of the even and odd subsequences of Schett polynomials $X_n(x,y,z)$. △ Less

Submitted 20 November, 2023; originally announced November 2023.

Comments: LaTeX2e, 12 pages, extended abstract submitted to FPSAC 2024

MSC Class: 05A19 (Primary); 05A15; 05A20; 11B68; 15B48; 30B70; 33E05 (Secondary)

A remark on continued fractions for permutations and D-permutations with a weight $-1$ per cycle

Authors: Bishal Deb, Alan D. Sokal

Abstract: We show that very simple continued fractions can be obtained for the ordinary generating functions enumerating permutations or D-permutations with a large number of independent statistics, when each cycle is given a weight $-1$. The proof is based on a simple lemma relating the number of cycles modulo 2 to the numbers of fixed points, cycle peaks (or cycle valleys), and crossings. We show that very simple continued fractions can be obtained for the ordinary generating functions enumerating permutations or D-permutations with a large number of independent statistics, when each cycle is given a weight $-1$. The proof is based on a simple lemma relating the number of cycles modulo 2 to the numbers of fixed points, cycle peaks (or cycle valleys), and crossings. △ Less

Submitted 18 April, 2024; v1 submitted 20 June, 2023; originally announced June 2023.

Comments: LaTeX2e, 25 pages, includes 4 figures. Version 2 (34 pages, 6 figures) contains a slightly expanded introduction and a pair of running examples; to appear in the Electronic Journal of Combinatorics. arXiv admin note: text overlap with arXiv:2304.06545, arXiv:2212.07232, arXiv:2003.08192

MSC Class: 05A19 (Primary); 05A05; 05A15; 05A30; 30B70 (Secondary)

Journal ref: Electronic Journal of Combinatorics 31(2), #P2.14 (2024)

Continued fractions for cycle-alternating permutations

Authors: Bishal Deb, Alan D. Sokal

Abstract: A permutation is said to be cycle-alternating if it has no cycle double rises, cycle double falls or fixed points; thus each index $i$ is either a cycle valley ($σ^{-1}(i)>i<σ(i)$) or a cycle peak ($σ^{-1}(i)<i>σ(i)$). We find Stieltjes-type continued fractions for some multivariate polynomials that enumerate cycle-alternating permutations with respect to a large (sometimes infinite) number of sim… ▽ More A permutation is said to be cycle-alternating if it has no cycle double rises, cycle double falls or fixed points; thus each index $i$ is either a cycle valley ($σ^{-1}(i)>i<σ(i)$) or a cycle peak ($σ^{-1}(i)<i>σ(i)$). We find Stieltjes-type continued fractions for some multivariate polynomials that enumerate cycle-alternating permutations with respect to a large (sometimes infinite) number of simultaneous statistics that measure cycle status, record status, crossings and nestings along with the parity of the indices. Our continued fractions are specializations of more general continued fractions of Sokal and Zeng. We then introduce alternating Laguerre digraphs, which are generalization of cycle-alternating permutations, and find exponential generating functions for some polynomials enumerating them. We interpret the Stieltjes--Rogers and Jacobi--Rogers matrices associated to some of our continued fractions in terms of alternating Laguerre digraphs. △ Less

Submitted 3 September, 2024; v1 submitted 13 April, 2023; originally announced April 2023.

Comments: LaTeX2e, 47 pages, includes 3 figures. Version 2 corrects some minor errors. To appear in the Ramanujan Journal

MSC Class: 05A19 (Primary); 05A05; 05A15; 05A30; 11B68; 30B70 (Secondary)

Journal ref: Ramanujan J. 65, 1013-1060 (2024)

Total positivity of some polynomial matrices that enumerate labeled trees and forests. II. Rooted labeled trees and partial functional digraphs

Authors: Xi Chen, Alan D. Sokal

Abstract: We study three combinatorial models for the lower-triangular matrix with entries $t_{n,k} = \binom{n}{k} n^{n-k}$: two involving rooted trees on the vertex set $[n+1]$, and one involving partial functional digraphs on the vertex set $[n]$. We show that this matrix is totally positive and that the sequence of its row-generating polynomials is coefficientwise Hankel-totally positive. We then general… ▽ More We study three combinatorial models for the lower-triangular matrix with entries $t_{n,k} = \binom{n}{k} n^{n-k}$: two involving rooted trees on the vertex set $[n+1]$, and one involving partial functional digraphs on the vertex set $[n]$. We show that this matrix is totally positive and that the sequence of its row-generating polynomials is coefficientwise Hankel-totally positive. We then generalize to polynomials $t_{n,k}(y,z)$ that count improper and proper edges, and further to polynomials $t_{n,k}(y,\mathbfφ)$ in infinitely many indeterminates that give a weight $y$ to each improper edge and a weight $m! \, φ_m$ for each vertex with $m$ proper children. We show that if the weight sequence $\mathbfφ$ is Toeplitz-totally positive, then the two foregoing total-positivity results continue to hold. Our proofs use production matrices and exponential Riordan arrays. △ Less

Submitted 23 April, 2024; v1 submitted 8 February, 2023; originally announced February 2023.

Comments: LaTeX2e, 75 pages, includes 16 figures. Version 2 (37 pages, 2 figures) is the abridged version published in Advances in Applied Mathematics. Version 3 (the default) is identical to Version 1

MSC Class: 05A15 (Primary); 05A19; 05A20; 05C05; 05C30; 15B05; 15B36; 15B48; 30E05; 44A60 (Secondary)

Journal ref: Adv. Appl. Math. 157, 102703 (2024)

Classical continued fractions for some multivariate polynomials generalizing the Genocchi and median Genocchi numbers

Authors: Bishal Deb, Alan D. Sokal

Abstract: A D-permutation is a permutation of $[2n]$ satisfying $2k-1 \le σ(2k-1)$ and $2k \ge σ(2k)$ for all $k$; they provide a combinatorial model for the Genocchi and median Genocchi numbers. We find Stieltjes-type and Thron-type continued fractions for some multivariate polynomials that enumerate D-permutations with respect to a very large (sometimes infinite) number of simultaneous statistics that mea… ▽ More A D-permutation is a permutation of $[2n]$ satisfying $2k-1 \le σ(2k-1)$ and $2k \ge σ(2k)$ for all $k$; they provide a combinatorial model for the Genocchi and median Genocchi numbers. We find Stieltjes-type and Thron-type continued fractions for some multivariate polynomials that enumerate D-permutations with respect to a very large (sometimes infinite) number of simultaneous statistics that measure cycle status, record status, crossings and nestings. △ Less

Submitted 14 December, 2022; originally announced December 2022.

Comments: LaTeX2e, 92 pages including 11 figures

MSC Class: 05A19 (Primary); 05A05; 05A15; 05A30; 11B68; 30B70 (Secondary)

A simple algorithm for expanding a power series as a continued fraction

Authors: Alan D. Sokal

Abstract: I present and discuss an extremely simple algorithm for expanding a formal power series as a continued fraction. This algorithm, which goes back to Euler (1746) and Viscovatov (1805), deserves to be better known. I also discuss the connection of this algorithm with the work of Gauss (1812), Stieltjes (1889), Rogers (1907) and Ramanujan, and a combinatorial interpretation based on the work of Flajo… ▽ More I present and discuss an extremely simple algorithm for expanding a formal power series as a continued fraction. This algorithm, which goes back to Euler (1746) and Viscovatov (1805), deserves to be better known. I also discuss the connection of this algorithm with the work of Gauss (1812), Stieltjes (1889), Rogers (1907) and Ramanujan, and a combinatorial interpretation based on the work of Flajolet (1980). △ Less

Submitted 19 December, 2022; v1 submitted 30 June, 2022; originally announced June 2022.

Comments: LaTeX2e, 48 pages. Version 2 contains a few additional historical remarks, and adds a new Remark 4 at the end of Section 10. To be published in Expositiones Mathematicae

MSC Class: 30B70 (Primary); 05A10; 05A15; 05A19 (Secondary)

Journal ref: Expositiones Mathematicae 41, 245--287 (2023)

Ergodicity of the Wang--Swendsen--Kotecký algorithm on several classes of lattices on the torus

Authors: Jesús Salas, Alan D. Sokal

Abstract: We prove the ergodicity of the Wang--Swendsen--Kotecký (WSK) algorithm for the zero-temperature $q$-state Potts antiferromagnet on several classes of lattices on the torus. In particular, the WSK algorithm is ergodic for $q\ge 4$ on any quadrangulation of the torus of girth $\ge 4$. It is also ergodic for $q \ge 5$ (resp. $q \ge 3$) on any Eulerian triangulation of the torus such that one sublatti… ▽ More We prove the ergodicity of the Wang--Swendsen--Kotecký (WSK) algorithm for the zero-temperature $q$-state Potts antiferromagnet on several classes of lattices on the torus. In particular, the WSK algorithm is ergodic for $q\ge 4$ on any quadrangulation of the torus of girth $\ge 4$. It is also ergodic for $q \ge 5$ (resp. $q \ge 3$) on any Eulerian triangulation of the torus such that one sublattice consists of degree-4 vertices while the other two sublattices induce a quadrangulation of girth $\ge 4$ (resp.~a bipartite quadrangulation) of the torus. These classes include many lattices of interest in statistical mechanics. △ Less

Submitted 3 October, 2022; v1 submitted 27 June, 2022; originally announced June 2022.

Comments: 27 pages, pdflatex, and 22 pdf figures. Corrected an error in Remark 4 after Theorem 4.4. Final version

Journal ref: J. Phys. A: Math. Theor. 55 (2022) 415004

Multiple orthogonal polynomials, $d$-orthogonal polynomials, production matrices, and branched continued fractions

Authors: Alan D. Sokal

Abstract: I analyze an unexpected connection between multiple orthogonal polynomials, $d$-orthogonal polynomials, production matrices and branched continued fractions. This work can be viewed as a partial extension of Viennot's combinatorial theory of orthogonal polynomials to the case where the production matrix is lower-Hessenberg but is not necessarily tridiagonal. I analyze an unexpected connection between multiple orthogonal polynomials, $d$-orthogonal polynomials, production matrices and branched continued fractions. This work can be viewed as a partial extension of Viennot's combinatorial theory of orthogonal polynomials to the case where the production matrix is lower-Hessenberg but is not necessarily tridiagonal. △ Less

Submitted 11 September, 2022; v1 submitted 25 April, 2022; originally announced April 2022.

Comments: 41 pages, LaTeX2e. Version 2 corrects a few small typos, uses the term "coefficient matrix" instead of "representing matrix" for a sequence of monic polynomials, and adds two references. To be published in the Transactions of the AMS

MSC Class: 42C05 (Primary); 05A15; 05A19; 15A24; 15A99; 15B99; 30B70; 30E05; 33C45; 41A21 (Secondary)

Journal ref: Trans. Amer. Math. Soc., Series B 11, 762-797 (2024)

When does a hypergeometric function ${}_{p\!}F_q$ belong to the Laguerre--Pólya class $LP^+$?

Authors: Alan D. Sokal

Abstract: I show that a hypergeometric function ${}_{p}F_q(a_1,\ldots,a_p;b_1,\ldots,b_q;\,\cdot\,)$ with $p \le q$ belongs to the Laguerre--Pólya class $LP^+$ for arbitrarily large $b_{p+1},\ldots,b_q > 0$ if and only if, after a possible reordering, the differences $a_i - b_i$ are nonnegative integers. This result arises as an easy corollary of the case $p=q$ proven two decades ago by Ki and Kim. I also g… ▽ More I show that a hypergeometric function ${}_{p}F_q(a_1,\ldots,a_p;b_1,\ldots,b_q;\,\cdot\,)$ with $p \le q$ belongs to the Laguerre--Pólya class $LP^+$ for arbitrarily large $b_{p+1},\ldots,b_q > 0$ if and only if, after a possible reordering, the differences $a_i - b_i$ are nonnegative integers. This result arises as an easy corollary of the case $p=q$ proven two decades ago by Ki and Kim. I also give explicit examples for the case ${}_{1}F_2$. △ Less

Submitted 3 April, 2022; originally announced April 2022.

Comments: 10 pages, LaTeX2e

MSC Class: 33C20 (Primary); 30B70; 30C15; 30D20; 30E05; 44A60 (Secondary)

Journal ref: J. Math. Anal. Appl. 515, 126432 (2022)

An elementary proof of Takagi's theorem on the differential composition of polynomials

Authors: Alan D. Sokal

Abstract: I give a short and completely elementary proof of Takagi's 1921 theorem on the zeros of a composite polynomial $f(d/dz) \, g(z)$. I give a short and completely elementary proof of Takagi's 1921 theorem on the zeros of a composite polynomial $f(d/dz) \, g(z)$. △ Less

Submitted 8 December, 2021; originally announced December 2021.

Comments: LaTeX2e, 4 pages. Accepted for publication in the American Mathematical Monthly

MSC Class: 30C15 (Primary); 30C10 (Secondary)

Journal ref: Amer. Math. Monthly 129, 381--384 (2022)

Total positivity of some polynomial matrices that enumerate labeled trees and forests, I. Forests of rooted labeled trees

Authors: Alan D. Sokal

Abstract: We consider the lower-triangular matrix of generating polynomials that enumerate $k$-component forests of rooted trees on the vertex set $[n]$ according to the number of improper edges (generalizations of the Ramanujan polynomials). We show that this matrix is coefficientwise totally positive and that the sequence of its row-generating polynomials is coefficientwise Hankel-totally positive. More g… ▽ More We consider the lower-triangular matrix of generating polynomials that enumerate $k$-component forests of rooted trees on the vertex set $[n]$ according to the number of improper edges (generalizations of the Ramanujan polynomials). We show that this matrix is coefficientwise totally positive and that the sequence of its row-generating polynomials is coefficientwise Hankel-totally positive. More generally, we define the generic rooted-forest polynomials by introducing also a weight $m! \, φ_m$ for each vertex with $m$ proper children. We show that if the weight sequence $φ$ is Toeplitz-totally positive, then the two foregoing total-positivity results continue to hold. Our proofs use production matrices and exponential Riordan arrays. △ Less

Submitted 8 March, 2022; v1 submitted 12 May, 2021; originally announced May 2021.

Comments: LaTex2e, 65 pages. arXiv admin note: text overlap with arXiv:1907.02645. Version 2 makes some minor changes. To be published in Monatshefte für Mathematik

MSC Class: 05A15 (Primary); 05A19; 05A20; 05C05; 05C30; 15B05; 15B36; 15B48; 30E05; 44A60 (Secondary)

Journal ref: Monatsh. Math. 200, 389--452 (2023)

Multiple Laguerre polynomials: Combinatorial model and Stieltjes moment representation

Authors: Alan D. Sokal

Abstract: I give a combinatorial interpretation of the multiple Laguerre polynomials of the first kind of type II, generalizing the digraph model found by Foata and Strehl for the ordinary Laguerre polynomials. I also give an explicit integral representation for these polynomials, which shows that they form a multidimensional Stieltjes moment sequence whenever $x \le 0$. I give a combinatorial interpretation of the multiple Laguerre polynomials of the first kind of type II, generalizing the digraph model found by Foata and Strehl for the ordinary Laguerre polynomials. I also give an explicit integral representation for these polynomials, which shows that they form a multidimensional Stieltjes moment sequence whenever $x \le 0$. △ Less

Submitted 8 March, 2022; v1 submitted 17 April, 2021; originally announced April 2021.

Comments: LaTeX2e, 11 pages. Version 2 fixes Remark 2 on page 5. To be published in Proceedings of the AMS

MSC Class: 33C45 (Primary); 05A15; 05A19; 30E05; 42C05 (Secondary)

Journal ref: Proc. Amer. Math. Soc. 150, 1997--2005 (2022)

Coefficientwise total positivity of some matrices defined by linear recurrences

Authors: Xi Chen, Bishal Deb, Alexander Dyachenko, Tomack Gilmore, Alan D. Sokal

Abstract: We exhibit a lower-triangular matrix of polynomials $T(a,c,d,e,f,g)$ in six indeterminates that appears empirically to be coefficientwise totally positive, and which includes as a special case the Eulerian triangle. We prove the coefficientwise total positivity of $T(a,c,0,e,0,0)$, which includes the reversed Stirling subset triangle. We exhibit a lower-triangular matrix of polynomials $T(a,c,d,e,f,g)$ in six indeterminates that appears empirically to be coefficientwise totally positive, and which includes as a special case the Eulerian triangle. We prove the coefficientwise total positivity of $T(a,c,0,e,0,0)$, which includes the reversed Stirling subset triangle. △ Less

Submitted 7 December, 2020; originally announced December 2020.

Comments: LaTeX2e, 12 pages with 2 figures: extended abstract submitted to FPSAC 2021

MSC Class: 05A19 (Primary); 05A18; 05A20; 15B48 (Secondary)

Journal ref: Séminaire Lotharingien de Combinatoire, 85B.30 (2021), 12 pp, https://www.mat.univie.ac.at/~slc/wpapers/FPSAC2021/30.html

The Graham--Knuth--Patashnik recurrence: Symmetries and continued fractions

Authors: Jesús Salas, Alan D. Sokal

Abstract: We study the triangular array defined by the Graham--Knuth--Patashnik recurrence $T(n,k) = (αn + βk + γ)\, T(n-1,k)+(α' n + β' k + γ') \, T(n-1,k-1)$ with initial condition $T(0,k) = δ_{k0}$ and parameters $\mathbfμ = (α,β,γ, α',β',γ')$. We show that the family of arrays $T(\mathbfμ)$ is invariant under a 48-element discrete group isomorphic to $S_3 \times D_4$. Our main result is to determine all… ▽ More We study the triangular array defined by the Graham--Knuth--Patashnik recurrence $T(n,k) = (αn + βk + γ)\, T(n-1,k)+(α' n + β' k + γ') \, T(n-1,k-1)$ with initial condition $T(0,k) = δ_{k0}$ and parameters $\mathbfμ = (α,β,γ, α',β',γ')$. We show that the family of arrays $T(\mathbfμ)$ is invariant under a 48-element discrete group isomorphic to $S_3 \times D_4$. Our main result is to determine all parameter sets $\mathbfμ \in \mathbb{C}^6$ for which the ordinary generating function $f(x,t) = \sum_{n,k=0}^\infty T(n,k) \, x^k t^n$ is given by a Stieltjes-type continued fraction in $t$ with coefficients that are polynomials in $x$. We also exhibit some special cases in which $f(x,t)$ is given by a Thron-type or Jacobi-type continued fraction in $t$ with coefficients that are polynomials in $x$. △ Less

Submitted 10 May, 2021; v1 submitted 7 August, 2020; originally announced August 2020.

Comments: The document contains the main paper (pdflatex, 72 pages), a Supplementary Material file (pdflatex, 31 pages, 1 pdf figure) with the detailed proof of Theorem 3.1 of the main paper, and the e-jc.sty file. Version published in journal

Journal ref: Electron. J. Combin. 28 (2021) #P2.18

Some multivariate master polynomials for permutations, set partitions, and perfect matchings, and their continued fractions

Authors: Alan D. Sokal, Jiang Zeng

Abstract: We find Stieltjes-type and Jacobi-type continued fractions for some "master polynomials" that enumerate permutations, set partitions or perfect matchings with a large (sometimes infinite) number of simultaneous statistics. Our results contain many previously obtained identities as special cases, providing a common refinement of all of them. We find Stieltjes-type and Jacobi-type continued fractions for some "master polynomials" that enumerate permutations, set partitions or perfect matchings with a large (sometimes infinite) number of simultaneous statistics. Our results contain many previously obtained identities as special cases, providing a common refinement of all of them. △ Less

Submitted 8 March, 2022; v1 submitted 18 March, 2020; originally announced March 2020.

Comments: LaTeX2e, 122 pages, includes 9 tikz figures. Version 2 includes a new footnote 27 on page 81. To be published in Advances in Applied Mathematics

MSC Class: 05A19 (Primary); 05A05; 05A10; 05A15; 05A18; 05A30; 30B70; 33C45; 33D45 (Secondary)

Journal ref: Adv. Appl. Math. 138, 102341 (2022)

Phylogenetic trees, augmented perfect matchings, and a Thron-type continued fraction (T-fraction) for the Ward polynomials

Authors: Andrew Elvey Price, Alan D. Sokal

Abstract: We find a Thron-type continued fraction (T-fraction) for the ordinary generating function of the Ward polynomials, as well as for some generalizations employing a large (indeed infinite) family of independent indeterminates. Our proof is based on a bijection between super-augmented perfect matchings and labeled Schröder paths, which generalizes Flajolet's bijection between perfect matchings and la… ▽ More We find a Thron-type continued fraction (T-fraction) for the ordinary generating function of the Ward polynomials, as well as for some generalizations employing a large (indeed infinite) family of independent indeterminates. Our proof is based on a bijection between super-augmented perfect matchings and labeled Schröder paths, which generalizes Flajolet's bijection between perfect matchings and labeled Dyck paths. △ Less

Submitted 10 March, 2020; v1 submitted 6 January, 2020; originally announced January 2020.

Comments: LaTeX2e, 36 pages (includes 4 figures). Version 2 corrects a small error in the definition of crossing number (p. 6) and includes a proof of the previously conjectured (1.25)/(1.26)

MSC Class: 05A19 (Primary); 05A10; 05A15; 05A18; 30B70; 92B10 (Secondary)

Journal ref: Electronic Journal of Combinatorics 27(4), article P4.6 (2020)

A remark on the enumeration of rooted labeled trees

Authors: Alan D. Sokal

Abstract: Two decades ago, Chauve, Dulucq and Guibert showed that the number of rooted trees on the vertex set $[n+1]$ in which exactly $k$ children of the root are lower-numbered than the root is $\binom{n}{k} \, n^{n-k}$. Here I give a simpler proof of this result. Two decades ago, Chauve, Dulucq and Guibert showed that the number of rooted trees on the vertex set $[n+1]$ in which exactly $k$ children of the root are lower-numbered than the root is $\binom{n}{k} \, n^{n-k}$. Here I give a simpler proof of this result. △ Less

Submitted 24 February, 2020; v1 submitted 31 October, 2019; originally announced October 2019.

Comments: LaTex2e, 9 pages. Version 2 contains a Note Added with a quick and elegant proof due to Jiang Zeng. To be published in Discrete Mathematics

MSC Class: 05A15 (Primary); 05A10; 05A19; 05C05 (Secondary)

Journal ref: Discrete Mathematics 343, 111865 (July 2020)

Lattice paths and branched continued fractions. II. Multivariate Lah polynomials and Lah symmetric functions

Authors: Mathias Pétréolle, Alan D. Sokal

Abstract: We introduce the generic Lah polynomials $L_{n,k}(φ)$, which enumerate unordered forests of increasing ordered trees with a weight $φ_i$ for each vertex with $i$ children. We show that, if the weight sequence $φ$ is Toeplitz-totally positive, then the triangular array of generic Lah polynomials is totally positive and the sequence of row-generating polynomials $L_n(φ,y)$ is coefficientwise Hankel-… ▽ More We introduce the generic Lah polynomials $L_{n,k}(φ)$, which enumerate unordered forests of increasing ordered trees with a weight $φ_i$ for each vertex with $i$ children. We show that, if the weight sequence $φ$ is Toeplitz-totally positive, then the triangular array of generic Lah polynomials is totally positive and the sequence of row-generating polynomials $L_n(φ,y)$ is coefficientwise Hankel-totally positive. Upon specialization we obtain results for the Lah symmetric functions and multivariate Lah polynomials of positive and negative type. The multivariate Lah polynomials of positive type are also given by a branched continued fraction. Our proofs use mainly the method of production matrices; the production matrix is obtained by a bijection from ordered forests of increasing ordered trees to labeled partial Lukasiewicz paths. We also give a second proof of the continued fraction using the Euler--Gauss recurrence method. △ Less

Submitted 22 August, 2020; v1 submitted 4 July, 2019; originally announced July 2019.

Comments: 51 pages, 1 figure. arXiv admin note: substantial text overlap with arXiv:1807.03271. Version 2 adds a new Section 8, using exponential Riordan arrays to give a quick alternate proof of Proposition 1.4(a); plus a few other minor changes. To be published in the European Journal of Combinatorics

MSC Class: 05A15 (Primary); 05A05; 05A18; 05A19; 05A20; 05C30; 05E05; 11B37; 11B73; 15B48; 30B70 (Secondary)

Journal ref: European Journal of Combinatorics 92, 103235 (February 2021)

Wall's continued-fraction characterization of Hausdorff moment sequences: A conceptual proof

Authors: Alan D. Sokal

Abstract: I give an elementary proof of Wall's continued-fraction characterization of Hausdorff moment sequences. I give an elementary proof of Wall's continued-fraction characterization of Hausdorff moment sequences. △ Less

Submitted 24 September, 2019; v1 submitted 29 March, 2019; originally announced March 2019.

Comments: LaTex2e, 7 pages. Version 2 makes very slight revisions suggested by a referee. To appear in the Proceedings of the AMS

MSC Class: 44A60 (Primary); 05A15; 30B70; 30E05 (Secondary)

Journal ref: Proc. Amer. Math. Soc. 148, 2111-2116 (2020)

Lattice paths and branched continued fractions: An infinite sequence of generalizations of the Stieltjes--Rogers and Thron--Rogers polynomials, with coefficientwise Hankel-total positivity

Authors: Mathias Pétréolle, Alan D. Sokal, Bao-Xuan Zhu

Abstract: We define an infinite sequence of generalizations, parametrized by an integer $m \ge 1$, of the Stieltjes--Rogers and Thron--Rogers polynomials; they arise as the power-series expansions of some branched continued fractions, and as the generating polynomials for $m$-Dyck and $m$-Schröder paths with height-dependent weights. We prove that all of these sequences of polynomials are coefficientwise Ha… ▽ More We define an infinite sequence of generalizations, parametrized by an integer $m \ge 1$, of the Stieltjes--Rogers and Thron--Rogers polynomials; they arise as the power-series expansions of some branched continued fractions, and as the generating polynomials for $m$-Dyck and $m$-Schröder paths with height-dependent weights. We prove that all of these sequences of polynomials are coefficientwise Hankel-totally positive, jointly in all the (infinitely many) indeterminates. We then apply this theory to prove the coefficientwise Hankel-total positivity for combinatorially interesting sequences of polynomials. Enumeration of unlabeled ordered trees and forests gives rise to multivariate Fuss--Narayana polynomials and Fuss--Narayana symmetric functions. Enumeration of increasing (labeled) ordered trees and forests gives rise to multivariate Eulerian polynomials and Eulerian symmetric functions, which include the univariate $m$th-order Eulerian polynomials as specializations. We also find branched continued fractions for ratios of contiguous hypergeometric series ${}_r \! F_s$ for arbitrary $r$ and $s$, which generalize Gauss' continued fraction for ratios of contiguous ${}_2 \! F_1$; and for $s=0$ we prove the coefficientwise Hankel-total positivity. Finally, we extend the branched continued fractions to ratios of contiguous basic hypergeometric series ${}_r \! φ_s$. △ Less

Submitted 27 May, 2020; v1 submitted 9 July, 2018; originally announced July 2018.

Comments: 151 pages, including 20 figures; version 2 contains some minor improvements to the exposition, and a new Proposition 14.10. To appear in the Memoirs of the American Mathematical Society

MSC Class: 05A15 (Primary); 05A19; 05A20; 05C30; 05E05; 15B05; 15B48; 30B70; 30E05; 33C05; 33C20; 33D05; 44A60 (Secondary)

How to generalize (and not to generalize) the Chu--Vandermonde identity

Authors: Alan D. Sokal

Abstract: We consider two different interpretations of the Chu--Vandermonde identity: as an identity for polynomials, and as an identity for infinite matrices. Each interpretation leads to a class of possible generalizations, and in both cases we obtain a complete characterization of the solutions. We consider two different interpretations of the Chu--Vandermonde identity: as an identity for polynomials, and as an identity for infinite matrices. Each interpretation leads to a class of possible generalizations, and in both cases we obtain a complete characterization of the solutions. △ Less

Submitted 24 April, 2018; originally announced April 2018.

Comments: LaTeX2e, 12 pages. To appear in the American Mathematical Monthly

MSC Class: 05A19 (Primary); 05A10; 05A15; 05A40; 13B25; 15A24; 15B36; 33C47 (Secondary)

Journal ref: Amer. Math. Monthly 127, 54-62 (2020)

The Euler and Springer numbers as moment sequences

Authors: Alan D. Sokal

Abstract: I study the sequences of Euler and Springer numbers from the point of view of the classical moment problem. I study the sequences of Euler and Springer numbers from the point of view of the classical moment problem. △ Less

Submitted 13 September, 2018; v1 submitted 12 April, 2018; originally announced April 2018.

Comments: LaTeX2e, 30 pages. Version 2 contains some small clarifications suggested by a referee. Version 3 contains new footnotes 9 and 10. To appear in Expositiones Mathematicae

MSC Class: 05A15 (Primary); 05A05; 05A20; 06F25; 30B70; 30E05; 44A60; 60E99 (Secondary)

Journal ref: Expositiones Mathematicae 38, 1-26 (2020)

Total positivity of sums, Hadamard products and Hadamard powers: Results and counterexamples

Authors: Shaun Fallat, Charles R. Johnson, Alan D. Sokal

Abstract: We show that, for Hankel matrices, total nonnegativity (resp. total positivity) of order r is preserved by sum, Hadamard product, and Hadamard power with real exponent t \ge r-2. We give examples to show that our results are sharp relative to matrix size and structure (general, symmetric or Hankel). Some of these examples also resolve the Hadamard critical-exponent problem for totally positive and… ▽ More We show that, for Hankel matrices, total nonnegativity (resp. total positivity) of order r is preserved by sum, Hadamard product, and Hadamard power with real exponent t \ge r-2. We give examples to show that our results are sharp relative to matrix size and structure (general, symmetric or Hankel). Some of these examples also resolve the Hadamard critical-exponent problem for totally positive and totally nonnegative matrices. △ Less

Submitted 29 January, 2021; v1 submitted 7 December, 2016; originally announced December 2016.

Comments: LaTex2e, 18 pages; Version 2 incorporates Corrigendum giving a corrected proof of Theorem 3.2

MSC Class: 15B48 (Primary); 15A15; 15B05; 44A60 (Secondary)

Journal ref: Linear Algebra and Its Applications 520, 242-259 (2017); corrigendum 613, 393-396 (2021)

The complex dynamics of wishful thinking: The critical positivity ratio

Authors: Nicholas J. L. Brown, Alan D. Sokal, Harris L. Friedman

Abstract: We examine critically the claims made by Fredrickson and Losada (2005) concerning the construct known as the "positivity ratio". We find no theoretical or empirical justification for the use of differential equations drawn from fluid dynamics, a subfield of physics, to describe changes in human emotions over time; furthermore, we demonstrate that the purported application of these equations contai… ▽ More We examine critically the claims made by Fredrickson and Losada (2005) concerning the construct known as the "positivity ratio". We find no theoretical or empirical justification for the use of differential equations drawn from fluid dynamics, a subfield of physics, to describe changes in human emotions over time; furthermore, we demonstrate that the purported application of these equations contains numerous fundamental conceptual and mathematical errors. The lack of relevance of these equations and their incorrect application lead us to conclude that Fredrickson and Losada's claim to have demonstrated the existence of a critical minimum positivity ratio of 2.9013 is entirely unfounded. More generally, we urge future researchers to exercise caution in the use of advanced mathematical tools such as nonlinear dynamics and in particular to verify that the elementary conditions for their valid application have been met. △ Less

Submitted 26 July, 2013; originally announced July 2013.

Comments: LaTeX2e, 35 pages. American Psychologist (in press); published Online First on July 15, 2013

MSC Class: 91E99 (Primary); 37D45 (Secondary)

Journal ref: American Psychologist 68, 801-813 (2013)

Linear bound in terms of maxmaxflow for the chromatic roots of series-parallel graphs

Authors: Gordon F. Royle, Alan D. Sokal

Abstract: We prove that the (real or complex) chromatic roots of a series-parallel graph with maxmaxflow Lambda lie in the disc |q-1| < (Lambda-1)/log 2. More generally, the same bound holds for the (real or complex) roots of the multivariate Tutte polynomial when the edge weights lie in the "real antiferromagnetic regime" -1 \le v_e \le 0. This result is within a factor 1/log 2 \approx 1.442695 of being sh… ▽ More We prove that the (real or complex) chromatic roots of a series-parallel graph with maxmaxflow Lambda lie in the disc |q-1| < (Lambda-1)/log 2. More generally, the same bound holds for the (real or complex) roots of the multivariate Tutte polynomial when the edge weights lie in the "real antiferromagnetic regime" -1 \le v_e \le 0. This result is within a factor 1/log 2 \approx 1.442695 of being sharp △ Less

Submitted 5 July, 2013; originally announced July 2013.

MSC Class: 05C31 (Primary); 05A20; 05C15; 05C99; 05E99; 30C15; 37F10; 37F45; 82B20 (Secondary)

Journal ref: SIAM Journal of Discrete Mathematics 29, 2117-2159 (2015) -- note that Appendices A and B are not included in the published version, for lack of space

Complete monotonicity for inverse powers of some combinatorially defined polynomials

Authors: Alexander D. Scott, Alan D. Sokal

Abstract: We prove the complete monotonicity on $(0,\infty)^n$ for suitable inverse powers of the spanning-tree polynomials of graphs and, more generally, of the basis generating polynomials of certain classes of matroids. This generalizes a result of Szego and answers, among other things, a long-standing question of Lewy and Askey concerning the positivity of Taylor coefficients for certain rational functi… ▽ More We prove the complete monotonicity on $(0,\infty)^n$ for suitable inverse powers of the spanning-tree polynomials of graphs and, more generally, of the basis generating polynomials of certain classes of matroids. This generalizes a result of Szego and answers, among other things, a long-standing question of Lewy and Askey concerning the positivity of Taylor coefficients for certain rational functions. Our proofs are based on two_ab initio_ methods for proving that $P^{-β}$ is completely monotone on a convex cone $C$: the determinantal method and the quadratic-form method. These methods are closely connected with harmonic analysis on Euclidean Jordan algebras (or equivalently on symmetric cones). We furthermore have a variety of constructions that, given such polynomials, can create other ones with the same property: among these are algebraic analogues of the matroid operations of deletion, contraction, direct sum, parallel connection, series connection and 2-sum. The complete monotonicity of $P^{-β}$ for some $β> 0$ can be viewed as a strong quantitative version of the half-plane property (Hurwitz stability) for $P$, and is also related to the Rayleigh property for matroids. △ Less

Submitted 6 January, 2014; v1 submitted 11 January, 2013; originally announced January 2013.

Comments: LaTeX2e, 70 pages (v2) or 82 pages (v3). Version 2 (accepted for publication in Acta Mathematica) is significantly reorganized at the suggestion of a referee; also, Appendix A is deleted to save space. Version 3 is the expanded version for the arXiv: it contains Appendices A and B that are not included, due to space constraints, tn the version (v2) that will be published in Acta Mathematica

MSC Class: 05C31 (Primary); 05A15; 05A20; 05B35; 05C05; 05C50; 05E99; 15A15; 15B33; 15B57; 17C99; 26A48; 26B25; 26C05; 32A99; 43A85; 44A10; 60C05; 82B20 (Secondary)

Journal ref: Acta Mathematica 213, 323-392 (2014)

Entropy-driven phase transition in low-temperature antiferromagnetic Potts models

Authors: Roman Kotecký, Alan D. Sokal, Jan M. Swart

Abstract: We prove the existence of long-range order at sufficiently low temperatures, including zero temperature, for the three-state Potts antiferromagnet on a class of quasi-transitive plane quadrangulations, including the diced lattice. More precisely, we show the existence of (at least) three infinite-volume Gibbs measures, which exhibit spontaneous magnetization in the sense that vertices in one subla… ▽ More We prove the existence of long-range order at sufficiently low temperatures, including zero temperature, for the three-state Potts antiferromagnet on a class of quasi-transitive plane quadrangulations, including the diced lattice. More precisely, we show the existence of (at least) three infinite-volume Gibbs measures, which exhibit spontaneous magnetization in the sense that vertices in one sublattice have a higher probability to be in one state than in either of the other two states. For the special case of the diced lattice, we give a good rigorous lower bound on this probability, based on computer-assisted calculations that are not available for the other lattices. △ Less

Submitted 18 October, 2013; v1 submitted 20 May, 2012; originally announced May 2012.

Comments: LaTeX2e, 67 pages. Version 3 is the final version, accepted for publication in Communications in Mathematical Physics

MSC Class: Primary 82B20; Secondary 05C15; 05C63; 60K35

Journal ref: Commun. Math. Phys. 330, 1339-1394 (2014)

The leading root of the partial theta function

Authors: Alan D. Sokal

Abstract: I study the leading root x_0(y) of the partial theta function Θ_0(x,y) = \sum_{n=0}^\infty x^n y^{n(n-1)/2}, considered as a formal power series. I prove that all the coefficients of -x_0(y) are strictly positive. Indeed, I prove the stronger results that all the coefficients of -1/x_0(y) after the constant term 1 are strictly negative, and all the coefficients of 1/x_0(y)^2 after the constant ter… ▽ More I study the leading root x_0(y) of the partial theta function Θ_0(x,y) = \sum_{n=0}^\infty x^n y^{n(n-1)/2}, considered as a formal power series. I prove that all the coefficients of -x_0(y) are strictly positive. Indeed, I prove the stronger results that all the coefficients of -1/x_0(y) after the constant term 1 are strictly negative, and all the coefficients of 1/x_0(y)^2 after the constant term 1 are strictly negative except for the vanishing coefficient of y^3. △ Less

Submitted 6 February, 2012; v1 submitted 6 June, 2011; originally announced June 2011.

Comments: LaTeX2e, 22 pages including one Postscript figure. Version 2 includes a few new brief remarks; published in Advances in Mathematics

MSC Class: 05A15 (Primary); 05A19; 05A20; 05A30; 05C30; 11B65; 11P84; 30D20; 33D15; 33D65 (Secondary)

Journal ref: Adv. Math. 229, 2603-2621 (2012)

Algebraic/combinatorial proofs of Cayley-type identities for derivatives of determinants and pfaffians

Authors: Sergio Caracciolo, Alan D. Sokal, Andrea Sportiello

Abstract: The classic Cayley identity states that \det(\partial) (\det X)^s = s(s+1)...(s+n-1) (\det X)^{s-1} where X=(x_{ij}) is an n-by-n matrix of indeterminates and \partial=(\partial/\partial x_{ij}) is the corresponding matrix of partial derivatives. In this paper we present straightforward combinatorial proofs of a variety of Cayley-type identities, both old and new. The most powerful of these proofs… ▽ More The classic Cayley identity states that \det(\partial) (\det X)^s = s(s+1)...(s+n-1) (\det X)^{s-1} where X=(x_{ij}) is an n-by-n matrix of indeterminates and \partial=(\partial/\partial x_{ij}) is the corresponding matrix of partial derivatives. In this paper we present straightforward combinatorial proofs of a variety of Cayley-type identities, both old and new. The most powerful of these proofs employ Grassmann algebra (= exterior algebra) and Grassmann-Berezin integration. Among the new identities proven here are a pair of "diagonal-parametrized" Cayley identities, a pair of "Laplacian-parametrized" Cayley identities, and the "product-parametrized" and "border-parametrized" rectangular Cayley identities. △ Less

Submitted 31 December, 2012; v1 submitted 31 May, 2011; originally announced May 2011.

Comments: LaTeX2e, 144 pages. Version 2 has a slightly changed title and abstract, and includes new remarks in Sections 1, 2.6 and (especially) 9 concerning prehomogeneous vector spaces and citing the prior work of Sugiyama (2011). To be published in Advances in Applied Mathematics

MSC Class: 05A19 (Primary) 05E15; 05E99; 11S90; 13A50; 13N10; 14F10; 15A15; 15A23; 15A24; 15A33; 15A72; 15A75; 16S32; 20G05; 20G20; 32C38; 43A85; 81T18; 82B20 (Secondary)

Journal ref: Advances in Applied Mathematics 50, 474--594 (2013)

A really simple elementary proof of the uniform boundedness theorem

Authors: Alan D. Sokal

Abstract: I give a proof of the uniform boundedness theorem that is elementary (i.e. does not use any version of the Baire category theorem) and also extremely simple. I give a proof of the uniform boundedness theorem that is elementary (i.e. does not use any version of the Baire category theorem) and also extremely simple. △ Less

Submitted 29 December, 2010; v1 submitted 10 May, 2010; originally announced May 2010.

Comments: LaTex2e, 5 pages. Version 2 improves the exposition by isolating the key lemma. To appear in the American Mathematical Monthly

MSC Class: 46B99 (Primary); 46B20; 46B28 (Secondary)

Journal ref: Amer. Math. Monthly 118, 450-452 (2011)

Transfer matrices and partition-function zeros for antiferromagnetic Potts models. VI. Square lattice with special boundary conditions

Authors: Jesús Salas, Alan D. Sokal

Abstract: We study, using transfer-matrix methods, the partition-function zeros of the square-lattice q-state Potts antiferromagnet at zero temperature (= square-lattice chromatic polynomial) for the special boundary conditions that are obtained from an m x n grid with free boundary conditions by adjoining one new vertex adjacent to all the sites in the leftmost column and a second new vertex adjacent to al… ▽ More We study, using transfer-matrix methods, the partition-function zeros of the square-lattice q-state Potts antiferromagnet at zero temperature (= square-lattice chromatic polynomial) for the special boundary conditions that are obtained from an m x n grid with free boundary conditions by adjoining one new vertex adjacent to all the sites in the leftmost column and a second new vertex adjacent to all the sites in the rightmost column. We provide numerical evidence that the partition-function zeros are becoming dense everywhere in the complex q-plane outside the limiting curve B_\infty(sq) for this model with ordinary (e.g. free or cylindrical) boundary conditions. Despite this, the infinite-volume free energy is perfectly analytic in this region. △ Less

Submitted 20 September, 2011; v1 submitted 19 February, 2010; originally announced February 2010.

Comments: 114 pages (LaTeX2e). Includes tex file, three sty files, and 23 Postscript figures. Also included are Mathematica files data_Eq.m, data_Neq.m,and data_Diff.m. Many changes from version 1, including several proofs of previously conjectured results. Final version to be published in J. Stat. Phys

Journal ref: J. Statist. Phys. 144 (2011) 1028-1122

When is a Riesz distribution a complex measure?

Authors: Alan D. Sokal

Abstract: Let R_αbe the Riesz distribution on a simple Euclidean Jordan algebra, parametrized by the complex number α. I give an elementary proof of the necessary and sufficient condition for R_αto be a locally finite complex measure (= complex Radon measure). Let R_αbe the Riesz distribution on a simple Euclidean Jordan algebra, parametrized by the complex number α. I give an elementary proof of the necessary and sufficient condition for R_αto be a locally finite complex measure (= complex Radon measure). △ Less

Submitted 6 February, 2012; v1 submitted 16 June, 2009; originally announced June 2009.

Comments: LaTeX2e, 15 pages. Version 2 contains some small changes suggested by a referee

MSC Class: 43A85 (Primary) 17A15; 17C99; 28C10; 44A10; 46F10; 47G10; 60E05; 62H05 (Secondary)

Journal ref: Bull. Soc. Math. France 139, 519-534 (2011)

Some geometric critical exponents for percolation and the random-cluster model

Authors: Youjin Deng, Wei Zhang, Timothy M. Garoni, Alan D. Sokal, Andrea Sportiello

Abstract: We introduce several infinite families of new critical exponents for the random-cluster model and present scaling arguments relating them to the k-arm exponents. We then present Monte Carlo simulations confirming these predictions. These new exponents provide a convenient way to determine k-arm exponents from Monte Carlo simulations. An understanding of these exponents also leads to a radically… ▽ More We introduce several infinite families of new critical exponents for the random-cluster model and present scaling arguments relating them to the k-arm exponents. We then present Monte Carlo simulations confirming these predictions. These new exponents provide a convenient way to determine k-arm exponents from Monte Carlo simulations. An understanding of these exponents also leads to a radically improved implementation of the Sweeny Monte Carlo algorithm. In addition, our Monte Carlo data allow us to conjecture an exact expression for the shortest-path fractal dimension d_min in two dimensions: d_min = (g+2)(g+18)/(32g) where g is the Coulomb-gas coupling, related to the cluster fugacity q via q = 2 + 2 cos(gπ/2) with 2 \le g \le 4. △ Less

Submitted 15 January, 2010; v1 submitted 22 April, 2009; originally announced April 2009.

Comments: LaTeX2e/Revtex4. Version 2 is completely rewritten to make the exposition more reader-friendly; it consists of a 4-page main paper (including 3 figures) and a 2-page EPAPS appendix (given as a single Postscript file). To appear in Phys Rev E

Journal ref: Phys.Rev.E81:020102,2010

A ridiculously simple and explicit implicit function theorem

Authors: Alan D. Sokal

Abstract: I show that the general implicit-function problem (or parametrized fixed-point problem) in one complex variable has an explicit series solution given by a trivial generalization of the Lagrange inversion formula. I give versions of this formula for both analytic functions and formal power series. I show that the general implicit-function problem (or parametrized fixed-point problem) in one complex variable has an explicit series solution given by a trivial generalization of the Lagrange inversion formula. I give versions of this formula for both analytic functions and formal power series. △ Less

Submitted 31 January, 2009; originally announced February 2009.

MSC Class: 30B10 (Primary); 05A15; 13F25; 26B10; 30A20; 32A05; 47J07 (Secondary)

Journal ref: Seminaire Lotharingien de Combinatoire 61A, article 61Ad (2009)

Real-variables characterization of generalized Stieltjes functions

Authors: Alan D. Sokal

Abstract: We obtain a characterization of generalized Stieltjes functions of any order λ> 0 in terms of inequalities for their derivatives on (0,\infty). When λ=1, this provides a new and simple proof of a characterization of Stieltjes functions first obtained by Widder in 1938. We obtain a characterization of generalized Stieltjes functions of any order λ> 0 in terms of inequalities for their derivatives on (0,\infty). When λ=1, this provides a new and simple proof of a characterization of Stieltjes functions first obtained by Widder in 1938. △ Less

Submitted 6 May, 2009; v1 submitted 31 January, 2009; originally announced February 2009.

Comments: LaTeX2e, 9 pages. Version 2 contains some improvements in the exposition suggested by a referee. To be published in Expositiones Mathematicae

MSC Class: 26A48 (Primary); 26D10; 30E05; 30E20; 44A10; 44A15; 44A60 (Secondary)

Journal ref: Expo. Math. 28, 179-185 (2010)

A randomized polynomial-time algorithm for the Spanning Hypertree Problem on 3-uniform hypergraphs

Authors: Sergio Caracciolo, Gregor Masbaum, Alan D. Sokal, Andrea Sportiello

Abstract: Consider the problem of determining whether there exists a spanning hypertree in a given k-uniform hypergraph. This problem is trivially in P for k=2, and is NP-complete for k>= 4, whereas for k=3, there exists a polynomial-time algorithm based on Lovasz' theory of polymatroid matching. Here we give a completely different, randomized polynomial-time algorithm in the case k=3. The main ingredient… ▽ More Consider the problem of determining whether there exists a spanning hypertree in a given k-uniform hypergraph. This problem is trivially in P for k=2, and is NP-complete for k>= 4, whereas for k=3, there exists a polynomial-time algorithm based on Lovasz' theory of polymatroid matching. Here we give a completely different, randomized polynomial-time algorithm in the case k=3. The main ingredients are a Pfaffian formula by Vaintrob and one of the authors (G.M.) for a polynomial that enumerates spanning hypertrees with some signs, and a lemma on the number of roots of polynomials over a finite field. △ Less

Submitted 18 December, 2008; originally announced December 2008.

Comments: 6 pages, 1 figure

Complex zero-free regions at large |q| for multivariate Tutte polynomials (alias Potts-model partition functions) with general complex edge weights

Authors: Bill Jackson, Aldo Procacci, Alan D. Sokal

Abstract: We find zero-free regions in the complex plane at large |q| for the multivariate Tutte polynomial (also known in statistical mechanics as the Potts-model partition function) Z_G(q,w) of a graph G with general complex edge weights w = {w_e}. This generalizes a result of Sokal (cond-mat/9904146) that applies only within the complex antiferromagnetic regime |1+w_e| \le 1. Our proof uses the polymer-g… ▽ More We find zero-free regions in the complex plane at large |q| for the multivariate Tutte polynomial (also known in statistical mechanics as the Potts-model partition function) Z_G(q,w) of a graph G with general complex edge weights w = {w_e}. This generalizes a result of Sokal (cond-mat/9904146) that applies only within the complex antiferromagnetic regime |1+w_e| \le 1. Our proof uses the polymer-gas representation of the multivariate Tutte polynomial together with the Penrose identity. △ Less

Submitted 2 December, 2014; v1 submitted 26 October, 2008; originally announced October 2008.

Comments: LaTeX2e, 34 pages. Version 2 improves Theorem 1.3, using an improved Proposition 4.4 and a new Proposition 5.2. Version 3 (published in JCTB) makes many improvements: Theorems 1.2 and 1.3 are strengthened; the bounds of Section 5 are generalized to allow vertex weights; the discussion in Section 6 and examples in Section 7 are re-thought

MSC Class: 05C15 (Primary); 05A20; 05B35; 05C99; 05E99; 30C15; 82B20 (Secondary)

Journal ref: J. Combin. Theory B 103, 21-45 (2013)

Noncommutative determinants, Cauchy-Binet formulae, and Capelli-type identities. I. Generalizations of the Capelli and Turnbull identities

Authors: Sergio Caracciolo, Andrea Sportiello, Alan D. Sokal

Abstract: We prove, by simple manipulation of commutators, two noncommutative generalizations of the Cauchy-Binet formula for the determinant of a product. As special cases we obtain elementary proofs of the Capelli identity from classical invariant theory and of Turnbull's Capelli-type identities for symmetric and antisymmetric matrices. We prove, by simple manipulation of commutators, two noncommutative generalizations of the Cauchy-Binet formula for the determinant of a product. As special cases we obtain elementary proofs of the Capelli identity from classical invariant theory and of Turnbull's Capelli-type identities for symmetric and antisymmetric matrices. △ Less

Submitted 11 August, 2009; v1 submitted 20 September, 2008; originally announced September 2008.

Comments: LaTeX2e, 43 pages. Version 2 corrects an error in the statements of Propositions 1.4 and 1.5 (see new Remarks in Section 4) and includes a Note Added at the end of Section 1 comparing our work with that of Chervov et al (arXiv:0901.0235)

MSC Class: 15A15 (Primary); 05A19; 05A30; 05E15; 13A50; 15A24; 15A33; 15A72; 17B35; 20G05 (Secondary)

Journal ref: Electron. J. Combin. 16(1), #R103 (2009)

Zero-free regions for multivariate Tutte polynomials (alias Potts-model partition functions) of graphs and matroids

Authors: Bill Jackson, Alan D. Sokal

Abstract: The chromatic polynomial P_G(q) of a loopless graph G is known to be nonzero (with explicitly known sign) on the intervals (-\infty,0), (0,1) and (1,32/27]. Analogous theorems hold for the flow polynomial of bridgeless graphs and for the characteristic polynomial of loopless matroids. Here we exhibit all these results as special cases of more general theorems on real zero-free regions of the mul… ▽ More The chromatic polynomial P_G(q) of a loopless graph G is known to be nonzero (with explicitly known sign) on the intervals (-\infty,0), (0,1) and (1,32/27]. Analogous theorems hold for the flow polynomial of bridgeless graphs and for the characteristic polynomial of loopless matroids. Here we exhibit all these results as special cases of more general theorems on real zero-free regions of the multivariate Tutte polynomial Z_G(q,v). The proofs are quite simple, and employ deletion-contraction together with parallel and series reduction. In particular, they shed light on the origin of the curious number 32/27. △ Less

Submitted 19 June, 2008; originally announced June 2008.

Comments: LaTeX2e, 49 pages, includes 5 Postscript figures

MSC Class: 05C15 (Primary); 05A20; 05B35; 05C99; 05E99; 82B20 (Secondary)

Journal ref: J. Combin. Theory B 99, 869--903 (2009)

Some variants of the exponential formula, with application to the multivariate Tutte polynomial (alias Potts model)

Authors: Alexander D. Scott, Alan D. Sokal

Abstract: We prove some variants of the exponential formula and apply them to the multivariate Tutte polynomials (also known as Potts-model partition functions) of graphs. We also prove some further identities for the multivariate Tutte polynomial, which generalize an identity for counting connected graphs found by Riordan, Nijenhuis, Wilf and Kreweras and in more general form by Leroux and Gessel, and an… ▽ More We prove some variants of the exponential formula and apply them to the multivariate Tutte polynomials (also known as Potts-model partition functions) of graphs. We also prove some further identities for the multivariate Tutte polynomial, which generalize an identity for counting connected graphs found by Riordan, Nijenhuis, Wilf and Kreweras and in more general form by Leroux and Gessel, and an identity for the inversion enumerator of trees found by Mallows, Riordan and Kreweras. Finally, we prove a generalization of Mobius inversion on the partition lattice. △ Less

Submitted 17 February, 2009; v1 submitted 10 March, 2008; originally announced March 2008.

Comments: LaTeX2e, 39 pages. Dedicated to the memory of Pierre Leroux. Version 2 includes a new Appendix presenting a generalization of Mobius inversion on the partition lattice

MSC Class: 05A19 (Primary); 05A15; 05A18; 05C15; 05C30; 05C99; 06A07; 82B20 (Secondary)

Journal ref: Seminaire Lotharingien de Combinatoire 61A, article 61Ae (2009)

Transfer Matrices and Partition-Function Zeros for Antiferromagnetic Potts Models. V. Further Results for the Square-Lattice Chromatic Polynomial

Authors: Jesus Salas, Alan D. Sokal

Abstract: We derive some new structural results for the transfer matrix of square-lattice Potts models with free and cylindrical boundary conditions. In particular, we obtain explicit closed-form expressions for the dominant (at large |q|) diagonal entry in the transfer matrix, for arbitrary widths m, as the solution of a special one-dimensional polymer model. We also obtain the large-q expansion of the b… ▽ More We derive some new structural results for the transfer matrix of square-lattice Potts models with free and cylindrical boundary conditions. In particular, we obtain explicit closed-form expressions for the dominant (at large |q|) diagonal entry in the transfer matrix, for arbitrary widths m, as the solution of a special one-dimensional polymer model. We also obtain the large-q expansion of the bulk and surface (resp. corner) free energies for the zero-temperature antiferromagnet (= chromatic polynomial) through order q^{-47} (resp. q^{-46}). Finally, we compute chromatic roots for strips of widths 9 <= m <= 12 with free boundary conditions and locate roughly the limiting curves. △ Less

Submitted 22 May, 2009; v1 submitted 12 November, 2007; originally announced November 2007.

Comments: 111 pages (LaTeX2e). Includes tex file, three sty files, and 19 Postscript figures. Also included are Mathematica files data_CYL.m and data_FREE.m. Many changes from version 1: new material on series expansions and their analysis, and several proofs of previously conjectured results. Final version to be published in J. Stat. Phys

Journal ref: J. Statist. Phys. 135 (2009) 279-373

Grassmann Integral Representation for Spanning Hyperforests

Authors: Sergio Caracciolo, Alan D. Sokal, Andrea Sportiello

Abstract: Given a hypergraph G, we introduce a Grassmann algebra over the vertex set, and show that a class of Grassmann integrals permits an expansion in terms of spanning hyperforests. Special cases provide the generating functions for rooted and unrooted spanning (hyper)forests and spanning (hyper)trees. All these results are generalizations of Kirchhoff's matrix-tree theorem. Furthermore, we show that… ▽ More Given a hypergraph G, we introduce a Grassmann algebra over the vertex set, and show that a class of Grassmann integrals permits an expansion in terms of spanning hyperforests. Special cases provide the generating functions for rooted and unrooted spanning (hyper)forests and spanning (hyper)trees. All these results are generalizations of Kirchhoff's matrix-tree theorem. Furthermore, we show that the class of integrals describing unrooted spanning (hyper)forests is induced by a theory with an underlying OSP(1|2) supersymmetry. △ Less

Submitted 16 October, 2007; v1 submitted 11 June, 2007; originally announced June 2007.

Comments: 50 pages, it uses some latex macros. Accepted for publication on J. Phys. A

Journal ref: J.Phys.A40:13799-13835,2007

How to clean a dirty floor: Probabilistic potential theory and the Dobrushin uniqueness theorem

Authors: Thierry de la Rue, Roberto Fernandez, Alan D. Sokal

Abstract: Motivated by the Dobrushin uniqueness theorem in statistical mechanics, we consider the following situation: Let αbe a nonnegative matrix over a finite or countably infinite index set X, and define the "cleaning operators" β_h = I_{1-h} + I_h αfor h: X \to [0,1] (here I_f denotes the diagonal matrix with entries f). We ask: For which "cleaning sequences" h_1, h_2, ... do we have c β_{h_1} ... β_… ▽ More Motivated by the Dobrushin uniqueness theorem in statistical mechanics, we consider the following situation: Let αbe a nonnegative matrix over a finite or countably infinite index set X, and define the "cleaning operators" β_h = I_{1-h} + I_h αfor h: X \to [0,1] (here I_f denotes the diagonal matrix with entries f). We ask: For which "cleaning sequences" h_1, h_2, ... do we have c β_{h_1} ... β_{h_n} \to 0 for a suitable class of "dirt vectors" c? We show, under a modest condition on α, that this occurs whenever \sum_i h_i = \infty everywhere on X. More generally, we analyze the cleaning of subsets Λ\subseteq X and the final distribution of dirt on the complement of Λ. We show that when supp(h_i) \subseteq Λwith \sum_i h_i = \infty everywhere on Λ, the operators β_{h_1} ... β_{h_n} converge as n \to \infty to the "balayage operator" Π_Λ= \sum_{k=0}^\infty (I_Λα)^k I_{Λ^c). These results are obtained in two ways: by a fairly simple matrix formalism, and by a more powerful tree formalism that corresponds to working with formal power series in which the matrix elements of αare treated as noncommuting indeterminates. △ Less

Submitted 24 April, 2007; originally announced April 2007.

Comments: LaTex2e, 80 pages including 4 figures

MSC Class: 60J99 (Primary); 15A48; 31C20; 31C99; 60J10; 60J45; 82B20 (Secondary)

Journal ref: Markov Processes and Related Fields 14, 1--78 (2008)

Maxmaxflow and counting subgraphs

Authors: Bill Jackson, Alan D. Sokal

Abstract: We introduce a new graph invariant Λ(G) that we call maxmaxflow, and put it in the context of some other well-known graph invariants, notably maximum degree and its relatives. We prove the equivalence of two "dual" definitions of maxmaxflow: one in terms of flows, the other in terms of cocycle bases. We then show how to bound the total number (or more generally, total weight) of various classes of… ▽ More We introduce a new graph invariant Λ(G) that we call maxmaxflow, and put it in the context of some other well-known graph invariants, notably maximum degree and its relatives. We prove the equivalence of two "dual" definitions of maxmaxflow: one in terms of flows, the other in terms of cocycle bases. We then show how to bound the total number (or more generally, total weight) of various classes of subgraphs of G in terms of either maximum degree or maxmaxflow. Our results are motivated by a conjecture that the modulus of the roots of the chromatic polynomial of G can be bounded above by a function of Λ(G). △ Less

Submitted 2 December, 2014; v1 submitted 20 March, 2007; originally announced March 2007.

Comments: Latex2e, 47 pages (includes 2 figures). Version 2 makes some small changes: the introduction is expanded to Sections 1 and 2; and an error in Corollaries 8.5 and 8.12 (formerly called 7.5 and 7.12) is corrected

MSC Class: 05C99 (Primary); 05C15; 05C30; 05C35; 05C40; 82B20; 90B10 (Secondary)

Journal ref: Electron. J. Combin. 17, #R99 (2010)

The multivariate Tutte polynomial (alias Potts model) for graphs and matroids

Authors: Alan D. Sokal

Abstract: The multivariate Tutte polynomial (known to physicists as the Potts-model partition function) can be defined on an arbitrary finite graph G, or more generally on an arbitrary matroid M, and encodes much important combinatorial information about the graph (indeed, in the matroid case it encodes the full structure of the matroid). It contains as a special case the familiar two-variable Tutte polyn… ▽ More The multivariate Tutte polynomial (known to physicists as the Potts-model partition function) can be defined on an arbitrary finite graph G, or more generally on an arbitrary matroid M, and encodes much important combinatorial information about the graph (indeed, in the matroid case it encodes the full structure of the matroid). It contains as a special case the familiar two-variable Tutte polynomial -- and therefore also its one-variable specializations such as the chromatic polynomial, the flow polynomial and the reliability polynomial -- but is considerably more flexible. I begin by giving an introduction to all these problems, stressing the advantages of working with the multivariate version. I then discuss some questions concerning the complex zeros of the multivariate Tutte polynomial, along with their physical interpretations in statistical mechanics (in connection with the Yang--Lee approach to phase transitions) and electrical circuit theory. Along the way I mention numerous open problems. This survey is intended to be understandable to mathematicians with no prior knowledge of physics. △ Less

Submitted 25 March, 2005; originally announced March 2005.

Comments: LaTex2e, 54 pages. Invited survey paper, to be presented at the 2005 British Combinatorial Conference

MSC Class: 05C99 (Primary); 05B35; 82B20; 94C15 (Secondary)

Journal ref: Published in "Surveys in Combinatorics, 2005", edited by Bridget S. Webb (Cambridge University Press, 2005), pp. 173-226

Fermionic field theory for trees and forests

Authors: Sergio Caracciolo, Jesper Lykke Jacobsen, Hubert Saleur, Alan D. Sokal, Andrea Sportiello

Abstract: We prove a generalization of Kirchhoff's matrix-tree theorem in which a large class of combinatorial objects are represented by non-Gaussian Grassmann integrals. As a special case, we show that unrooted spanning forests, which arise as a q \to 0 limit of the Potts model, can be represented by a Grassmann theory involving a Gaussian term and a particular bilocal four-fermion term. We show that th… ▽ More We prove a generalization of Kirchhoff's matrix-tree theorem in which a large class of combinatorial objects are represented by non-Gaussian Grassmann integrals. As a special case, we show that unrooted spanning forests, which arise as a q \to 0 limit of the Potts model, can be represented by a Grassmann theory involving a Gaussian term and a particular bilocal four-fermion term. We show that this latter model can be mapped, to all orders in perturbation theory, onto the N-vector model at N=-1 or, equivalently, onto the sigma-model taking values in the unit supersphere in R^{1|2}. It follows that, in two dimensions, this fermionic model is perturbatively asymptotically free. △ Less

Submitted 4 September, 2004; v1 submitted 10 March, 2004; originally announced March 2004.

Comments: Revtex4, 4 pages. Version 2 (published in PRL) makes slight improvements in the exposition

Journal ref: Phys.Rev.Lett. 93 (2004) 080601

Spanning forests and the q-state Potts model in the limit q \to 0

Authors: Jesper Lykke Jacobsen, Jesus Salas, Alan D. Sokal

Abstract: We study the q-state Potts model with nearest-neighbor coupling v=e^{βJ}-1 in the limit q,v \to 0 with the ratio w = v/q held fixed. Combinatorially, this limit gives rise to the generating polynomial of spanning forests; physically, it provides information about the Potts-model phase diagram in the neighborhood of (q,v) = (0,0). We have studied this model on the square and triangular lattices,… ▽ More We study the q-state Potts model with nearest-neighbor coupling v=e^{βJ}-1 in the limit q,v \to 0 with the ratio w = v/q held fixed. Combinatorially, this limit gives rise to the generating polynomial of spanning forests; physically, it provides information about the Potts-model phase diagram in the neighborhood of (q,v) = (0,0). We have studied this model on the square and triangular lattices, using a transfer-matrix approach at both real and complex values of w. For both lattices, we have computed the symbolic transfer matrices for cylindrical strips of widths 2 \le L \le 10, as well as the limiting curves of partition-function zeros in the complex w-plane. For real w, we find two distinct phases separated by a transition point w=w_0, where w_0 = -1/4 (resp. w_0 = -0.1753 \pm 0.0002) for the square (resp. triangular) lattice. For w > w_0 we find a non-critical disordered phase, while for w < w_0 our results are compatible with a massless Berker-Kadanoff phase with conformal charge c = -2 and leading thermal scaling dimension x_{T,1} = 2 (marginal operator). At w = w_0 we find a "first-order critical point": the first derivative of the free energy is discontinuous at w_0, while the correlation length diverges as w \downarrow w_0 (and is infinite at w = w_0). The critical behavior at w = w_0 seems to be the same for both lattices and it differs from that of the Berker-Kadanoff phase: our results suggest that the conformal charge is c = -1, the leading thermal scaling dimension is x_{T,1} = 0, and the critical exponents are ν= 1/d = 1/2 and α= 1. △ Less

Submitted 31 August, 2005; v1 submitted 4 January, 2004; originally announced January 2004.

Comments: 131 pages (LaTeX2e). Includes tex file, three sty files, and 65 Postscript figures. Also included are Mathematica files forests_sq_2-9P.m and forests_tri_2-9P.m. Final journal version

Journal ref: J.Statist.Phys. 119 (2005) 1153-1281