---
title: Ward Numbers Overview
url: https://www.emergentmind.com/topics/ward-numbers
type: topic
---

# Ward Numbers Overview

Searching arXiv for recent and foundational papers on Ward numbers in combinatorics and integrable systems.
Ward numbers are integer arrays with two distinct established meanings. In enumerative combinatorics, they denote a classical triangular array \(W(n,k)\) introduced by M. Ward in 1934 in connection with expansions in factorial bases, later linked to second-order Eulerian numbers, set partitions with block sizes \(\ge 2\), total partition trees, and increasing Schröder trees; this usage also admits higher-order generalizations \(W^{(\nu)}(n,k;s,t)\) with Riordan-inverse relations to generalized Eulerian numbers [1307.5624] [2507.15654] [2508.04754]. In integrable-systems theory, the same expression denotes an integer topological charge for solutions of the \((2+1)\)-dimensional Ward chiral model, identified with a second Chern number on compactified minitwistor space and with a degree in \(\pi_3(U(N))\) [1504.06038]. The two usages are unrelated in definition but parallel in that each packages a structurally natural integer invariant.

## 1. Classical combinatorial definitions

In current combinatorial usage, the classical Ward numbers are most commonly the array \(W(n,k)\) defined by the triangular recurrence
\[
W(n,k)=k\,W(n-1,k)+(n+k-1)\,W(n-1,k-1)\qquad(n\ge 1,\ k\ge 0),
\]
with \(W(0,k)=\delta_{0,k}\). Immediate consequences recorded in the recent Schröder-tree treatment are
\[
W(n,0)=0\quad(n\ge 1),\qquad W(n,1)=1,\qquad W(n,n)=(2n-1)!!,
\]
and
\[
W(n,2)=2^{n+1}-n-3
\]
[2507.15654].

A recent recurrence-based study distinguishes two triangular arrays called Ward numbers of the first and second kind. In that notation, the second kind is defined by
\[
\left\updownarrow\begin{matrix} n \\ k \end{matrix}\right\updownarrow
=
k\left\updownarrow\begin{matrix} n-1 \\ k \end{matrix}\right\updownarrow
+
(n+k-1)\left\updownarrow\begin{matrix} n-1 \\ k-1 \end{matrix}\right\updownarrow,
\]
with vanishing boundary values except at \((0,0)\), and this is the same recurrence as the classical \(W(n,k)\). The first kind is defined by
\[
\left\uparrow\begin{matrix} n \\ k \end{matrix}\right\downarrow
=
(n+k-1)\left(
\left\uparrow\begin{matrix} n-1 \\ k \end{matrix}\right\downarrow
+
\left\uparrow\begin{matrix} n-1 \\ k-1 \end{matrix}\right\downarrow
\right),
\]
again with the same boundary convention [2508.04754].

These arrays are triangular in the standard sense \(n\ge k\), and the second-kind recurrence is the one that underlies the classical combinatorial and Eulerian interpretations.

## 2. Relation to Eulerian numbers and higher-order generalizations

A central structural property of the classical Ward numbers is their inverse-binomial relation to the second-order Eulerian numbers \(B_{n,k}\). The relation is
\[
W_{n,k}=\sum_{j=0}^k \binom{n-j}{n-k} B_{n,j},
\qquad
B_{n,k}=\sum_{j=0}^k (-1)^{k-j}\binom{n-j}{k-j}W_{n,j}.
\]
Thus the Ward numbers are obtained by a binomial transform of the second-order Eulerian numbers and conversely; the two arrays form a Riordan inverse pair [1307.5624].

The higher-order framework replaces \(W(n,k)\) by the \(\nu\)-order generalized \((s,t)\)-Ward numbers
\[
W^{(\nu)}(n,k;s,t),
\]
defined for \(\nu,s\ge 1\) and \(t\ge 0\) by
\[
W^{(\nu)}(n,k;s,t)
=
(k+s)\,W^{(\nu)}(n-1,k;s,t)
+
(\nu n+k+s+t-1-\nu)\,W^{(\nu)}(n-1,k-1;s,t)
+
\delta_{n0}\delta_{k0},
\]
with \(W^{(\nu)}(n,k;s,t)=0\) for \(n<0\) or \(k<0\) [1307.5624].

These generalized Ward numbers are paired with the \((\nu+1)\)-order \((s,t)\)-Eulerian numbers by
\[
W^{(\nu)}(n,k;s,t)
=
\sum_{j=0}^k
\Big\langle {n\atop j}\Big\rangle^{(\nu+1)}_{(s,t)}
\binom{n-j}{n-k},
\]
and inversely
\[
\Big\langle {n\atop k}\Big\rangle^{(\nu+1)}_{(s,t)}
=
\sum_{j=0}^k
(-1)^{k-j}
W^{(\nu)}(n,j;s,t)\binom{n-j}{n-k}.
\]
The classical Ward numbers are recovered as the specialization
\[
W^{(1)}(n,k;0,1)=W(n,k),
\]
which the same paper identifies with the associated Stirling subset numbers
\[
W_{n,k}=\Big\{\!\!\big\{n+k\atop k\big\}\!\!\Big\}
\]
in Fekete’s notation [1307.5624].

A recent paper on increasing Schröder trees uses the same classical recurrence as its point of departure, while the generalized theory shows that Ward numbers are naturally embedded in a larger Eulerian–Riordan framework rather than constituting an isolated sequence family.

## 3. Combinatorial interpretations

The classical array \(W(n,k)\) has several exact combinatorial realizations. Carlitz’s interpretation gives
\[
W(n,k)=S_2(n+k,k),
\]
where \(S_2(n,k)\) counts set partitions of \([n]\) into \(k\) blocks, each of size at least \(2\). Equivalently, \(W(n,k)\) counts partitions of \([n+k]\) into \(k\) blocks of size \(\ge 2\) [2507.15654].

The row sums
\[
W(n):=\sum_k W(n,k)
\]
count total partitions of \([n+1]\). More finely, the number of total partition trees on \([n+1]\) with \(k\) internal vertices equals \(W(n,k)\). In this model, a total partition is represented by a semi-labeled rooted tree whose leaves are labeled by the underlying set and whose internal vertices have degree at least \(2\) [2507.15654].

A newer interpretation identifies \(W(n,k)\) with increasing Schröder trees. If \(T(n,k)\) denotes the number of increasing Schröder trees with \(n+1\) vertices and \(k\) blocks, then
\[
T(n,k)=k\,T(n-1,k)+(n+k-1)\,T(n-1,k-1),
\]
with the same initial conditions as \(W(n,k)\), hence
\[
T(n,k)=W(n,k).
\]
The proof isolates the leaf carrying the maximum label \(n+1\) and distinguishes whether the block containing it is a singleton or not; this yields exactly the two terms of Ward’s recurrence [2507.15654].

The same paper constructs a direct type-preserving bijection between total partition trees and increasing Schröder trees. “Type” records block sizes for Schröder trees and, equivalently, degree-minus-one data for total partition trees. This bijection complements earlier type-preserving bijections involving set partitions and Chen’s decomposition through meadows [2507.15654].

The higher-order theory supplies a separate family of interpretations. For general \(\nu,s,t\), \(W^{(\nu)}(n,k;s,t)\) counts \((\nu+2,\mathbf{t}+\mathbf{1})\)-ary increasing \((s,[n])\)-forests with at most \(k\) ascents and exactly \(n-k\) distinguished nodes chosen from the forest-level set of “leftmost-like” nodes. For a component tree \(T_i\), the distinguishable set is \(\mathcal{E}(T_i)\) when \(t_i>0\), and \(\{\text{root}\}\cup\mathcal{E}(T_i)\) when \(t_i=0\); in either case the total number of distinguishable nodes is \(n-j\) when the forest has \(j\) ascents [1307.5624].

## 4. Transform-based variants and Ward-related arrays

Recent work organizes Ward numbers and their relatives through Peter Luschny’s \(k\)-Partition transform \(P_n^k\). In that framework, the Ward numbers of the first and second kind are characterized by
\[
\left\uparrow\begin{matrix} n \\ k \end{matrix}\right\downarrow
=
(-1)^k (n+k)^{\underline n}\,P_n^k\!\left(1,\frac{x}{x+1}\right),
\qquad
\left\updownarrow\begin{matrix} n \\ k \end{matrix}\right\updownarrow
=
(-1)^k (n+k)^{\underline n}\,P_n^k\!\left(\frac{1}{x+1}\right),
\]
with \(x\in\mathbb N\) or \(x\in\mathbb N_0\) as specified in the source [2508.04754].

Several derived arrays are defined by simple scalings:

| Family | Defining relation | Feature |
|---|---|---|
| Varied Ward numbers | multiply by \(\dfrac{(2n)!}{(n+k)^{\underline n}}\) | new triangular recurrences |
| Binomial Ward numbers | multiply by \(\binom{2n}{n+k}\) | rational-coefficient triangular recurrences |
| Ward–Lah numbers | \(\displaystyle \genfrac\lvert\rvert{0pt}{}{n}{k}=(-1)^k(n+k)^{\underline n}P_n^k(1,1,\dots)\) | explicit formula \(\dfrac{(n+k)!}{k!}\binom{n-1}{k-1}\) |
| Varied Ward–Lah numbers | \(\displaystyle \genfrac\lvert\rvert{0pt}{}{n}{k}^{*}=(2n)!\binom{n-1}{k-1}\) | simple EGF |
| Binomial Ward–Lah numbers | \(\displaystyle \genfrac\lvert\rvert{0pt}{}{n}{k}^{\circ}=\binom{2n}{n+k}\genfrac\lvert\rvert{0pt}{}{n}{k}\) | higher-order recurrence via Sister Celine’s algorithm |

For Ward–Lah numbers, the explicit formula
\[
\genfrac\lvert\rvert{0pt}{}{n}{k}
=
\frac{(n+k)!}{k!}\binom{n-1}{k-1}
\]
implies special values
\[
\genfrac\lvert\rvert{0pt}{}{n}{1}=(n+1)!,
\qquad
\genfrac\lvert\rvert{0pt}{}{n}{n}=\frac{(2n)!}{n!}.
\]
Their fixed-\(k\) exponential generating function is
\[
\sum_{n=k}^{\infty}\genfrac\lvert\rvert{0pt}{}{n-k}{k}\frac{x^n}{n!}
=
\frac{1}{k!}\left(\frac{x^2}{1-x}\right)^k.
\]
The varied Ward–Lah numbers satisfy
\[
\sum_{n=k}^{\infty}\genfrac\lvert\rvert{0pt}{}{n}{k}^{*}\frac{x^n}{(2n)!}
=
\left(\frac{x}{1-x}\right)^k
\]
[2508.04754].

The unifying description given there is that all these sequences live in a “P-transform + simple scaling” universe. Within that universe, Ward numbers mediate between Stirling-like, Lah-like, and binomially rescaled arrays rather than appearing only as a single isolated triangle [2508.04754].

## 5. Ward numbers in the integrable chiral model

In twistor-theoretic work on the \((2+1)\)-dimensional integrable chiral model, “Ward numbers” refers not to a combinatorial array but to an integer topological invariant. The basic field is a map
\[
J:\mathbb{R}^3\to U(N),
\]
satisfying Ward’s chiral-model equation, and integrability is encoded by a Lax pair with spectral parameter \(\lambda\in\mathbb{CP}^1\). From a solution \(J\), one obtains an extended solution
\[
Y(x,y,t,\lambda)\in GL(N,\mathbb C)
\]
satisfying the unitary reality condition
\[
Y(x,y,t,\lambda)^*Y(x,y,t,\bar\lambda)=I,
\qquad
J(x,y,t)=Y(x,y,t,0)^{-1}
\]
[1504.06038].

For solutions obeying the stated finite-energy fall-off and trivial-scattering condition, the twistor correspondence associates a holomorphic rank-\(N\) vector bundle
\[
E\to T\mathbb{P}^1,
\]
where \(T\mathbb{P}^1\) is the fiberwise compactification of minitwistor space. The paper identifies this compactified minitwistor space with the blow-up of the cone
\[
C=\{[Z_0,Z_1,Z_2,Z_3]:(Z_1)^2+(Z_2)^2-(Z_3)^2=0\}\subset\mathbb{CP}^{3*}
\]
at its vertex [1504.06038].

The second Chern number
\[
C_2(E)=\frac{1}{8\pi^2}\int_{T\mathbb{P}^1}\operatorname{Tr}(F\wedge F)
\]
is then compared with the restricted extended solution
\[
v(x,y,\theta)=Y\Bigl(x,y,0,-\cot\frac{\theta}{2}\Bigr),
\]
which extends to a map \(v:S^3\to U(N)\). Its homotopy class is
\[
[v]=\frac{1}{24\pi^2}\int_{S^3}\operatorname{Tr}(v^{-1}dv)^3\in\pi_3(U(N))\cong\mathbb Z.
\]

The main theorem proves
\[
C_2(E)=[v].
\]
Thus, in this context, the Ward number can be identified with either the second Chern number of the twistor bundle or the third homotopy class of the restricted extended solution. For time-dependent unitons, the same paper further deduces that the total energy is proportional to this integer, using prior results that the total energy is directly proportional to \([v]\) [1504.06038].

## 6. Scope, significance, and current directions

Within combinatorics, Ward numbers occupy a structurally dense position. They are simultaneously tied to second-order Eulerian numbers by Riordan inversion, to associated Stirling subset numbers by specialization, to set partitions without singletons, to total partition trees, to increasing Schröder trees, and, in generalized form, to \((\nu+2)\)-ary increasing forests with ascent constraints [1307.5624] [2507.15654]. Recent transform-based work expands this ecosystem to Ward numbers of the first and second kind, varied Ward numbers, binomial Ward numbers, and several Lah-type analogues, together with triangular, horizontal, and higher-order recurrences [2508.04754].

Within integrable systems, the term serves a different role: it names an integer topological charge that unifies bundle-theoretic, homotopy-theoretic, and energetic data for Ward unitons. The equality
\[
C_2(E)=[v]
\]
shows that the same integer is simultaneously a Chern number on compactified minitwistor space and a \(\pi_3\)-degree of the restricted extended solution [1504.06038].

The main conceptual caution is therefore terminological rather than mathematical: “Ward numbers” designates a combinatorial triangle in one literature and a topological charge in another. In each domain, however, the term marks an invariant with unusually rich interconnections. In combinatorics, current work continues to enlarge the network of type-preserving bijections and weighted refinements; one explicitly stated open problem is to find a direct type-preserving bijection between enriched increasing Schröder trees and Schröder trees without relying on Chen’s decomposition algorithms [2507.15654].

Source: https://www.emergentmind.com/topics/ward-numbers