---
title: Varied Ward Numbers and Recurrences
url: https://www.emergentmind.com/topics/varied-ward-numbers
type: topic
---

# Varied Ward Numbers and Recurrences

Searching arXiv for recent and foundational papers on varied Ward numbers and related Ward-number combinatorics.
arXiv search query: "varied Ward numbers"
Varied Ward numbers are integer sequences obtained from classical Ward numbers by multiplying by a factorial factor and dividing by a falling-factorial factor. In the paper "Recurrence Relations for Some Integer Sequences Related to Ward Numbers" [2508.04754], two families are introduced—varied Ward numbers of the first kind and of the second kind—together with a related family of varied Ward-Lah numbers. The paper gives triangular recurrence relations, horizontal recurrence relations, exponential generating functions, and recurrence relations of higher order obtained by using Sister Celine's general algorithm; it also notes that most of the sequences are entered in the On-Line Encyclopedia of Integer Sequences [2508.04754].

## 1. Definitions and nomenclature

For \(n,k\in\mathbb{N}_0\) with \(n\ge k\), the varied Ward numbers are defined by rescaling the corresponding Ward numbers by the factor \((2n)!/(n+k)^{\underline n}\), where
\[
(n+k)^{\underline n}=(n+k)(n+k-1)\dotsm(k+1).
\]
The paper distinguishes first-kind and second-kind variants, and introduces an analogous varied Ward-Lah family [2508.04754].

| Family | Definition | Relation |
|---|---|---|
| Varied Ward numbers of the first kind | \(T_1^*(n,k)=\left\uparrow \begin{matrix} n \\ k \end{matrix}\right\downarrow^{*}=\dfrac{(2n)!}{(n+k)^{\underline n}}\left\uparrow \begin{matrix} n \\ k \end{matrix}\right\downarrow\) | Rescaling of the unsigned Ward number of the first kind |
| Varied Ward numbers of the second kind | \(T_2^*(n,k)=\left\updownarrow \begin{matrix} n \\ k \end{matrix}\right\updownarrow^{*}=\dfrac{(2n)!}{(n+k)^{\underline n}}\left\updownarrow \begin{matrix} n \\ k \end{matrix}\right\updownarrow\) | Rescaling of the Ward number of the second kind |
| Varied Ward-Lah numbers | \(\genfrac\lvert\rvert{0pt}{}{n}{k}^{*}=(2n)!\binom{n-1}{k-1}\) | Related analog of the Ward-Lah numbers |

The nomenclature is explained directly in the paper: since \((n+k)^{\underline n}\) counts the number of \(k\)-element variations of \(n\) objects, these sequences are referred to as "varied Ward numbers" [2508.04754]. The construction is therefore not an unrelated deformation of Ward numbers, but a specific multiplicative normalization tied to variation-counting.

## 2. First-kind and second-kind triangular recurrences

The principal structural results are triangular recurrences for the two varied Ward families. For the first kind, the theorem is
\[
\left\uparrow \begin{matrix} n \\ k \end{matrix}\right\downarrow^{*}
=
\frac{2n(2n-1)}{n+k}
\left[
(n+k-1)\left\uparrow \begin{matrix} n-1 \\ k \end{matrix}\right\downarrow^{*}
+
k\left\uparrow \begin{matrix} n-1 \\ k-1 \end{matrix}\right\downarrow^{*}
\right].
\]
For the second kind, the corresponding theorem is
\[
\left\updownarrow \begin{matrix} n \\ k \end{matrix}\right\updownarrow^{*}
=
\frac{2nk(2n-1)}{n+k}
\left[
\left\updownarrow \begin{matrix} n-1 \\ k \end{matrix}\right\updownarrow^{*}
+
\left\updownarrow \begin{matrix} n-1 \\ k-1 \end{matrix}\right\updownarrow^{*}
\right].
\]
Both recurrences are obtained by substituting the explicit rescaling definitions into the recurrences for the underlying Ward numbers and then simplifying coefficients [2508.04754].

For the first kind, the derivation uses the recurrence
\[
\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).
\]
For the second kind, it uses
\[
\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.
\]
The important point is that the varied sequences retain a triangular structure, but the rescaling converts the ordinary Ward recurrences into formulas with explicit rational prefactors involving \(n\), \(k\), and \(2n-1\). This suggests that the variation factor interacts nontrivially with the native combinatorial triangle while still preserving one-step recursive computability.

## 3. Varied Ward-Lah numbers

A closely related family in the same paper is the varied Ward-Lah numbers. They are defined by
\[
\genfrac\lvert\rvert{0pt}{}{n}{k}^{*}
=
(-1)^k(2n)!P_n^k(1,1,\dots),
\]
and explicitly by
\[
\genfrac\lvert\rvert{0pt}{}{n}{k}^{*}
=
(2n)!\binom{n-1}{k-1},
\]
using the identity
\[
P_n^k(1,1,\dots)=(-1)^k\binom{n-1}{k-1}.
\]
The paper also recalls the corresponding Ward-Lah numbers
\[
\genfrac\lvert\rvert{0pt}{}{n}{k}
=
\frac{(n+k)!}{k!}\binom{n-1}{k-1},
\]
and states the scaling relation
\[
\genfrac\lvert\rvert{0pt}{}{n}{k}^{*}
=
\frac{(2n)!}{(n+k)^{\underline n}}
\genfrac\lvert\rvert{0pt}{}{n}{k}.
\]
Thus the varied Ward-Lah numbers are parallel to the varied Ward numbers: the same factorial/falling-factorial renormalization converts the original Ward-Lah family into a new triangle [2508.04754].

Their triangular recurrence is especially simple:
\[
\genfrac\lvert\rvert{0pt}{}{n}{k}^{*}
=
2n(2n-1)
\left[
\genfrac\lvert\rvert{0pt}{}{n-1}{k}^{*}
+
\genfrac\lvert\rvert{0pt}{}{n-1}{k-1}^{*}
\right].
\]
The derivation is direct from the explicit formula, since
\[
(2n)!\binom{n-1}{k-1}
=
2n(2n-1)(2(n-1))!
\left[
\binom{n-2}{k-1}
+
\binom{n-2}{k-2}
\right].
\]
The paper further gives a horizontal recurrence valid for positive integers \(n,k,m\) with \(n\ge k\ge 1\) and \(n-m\ge 1\):
\[
\genfrac\lvert\rvert{0pt}{}{n}{k}^{*}
=
(2n)!
\sum_{j=0}^{m}
\frac{1}{(2(n-m))!}
\binom{m}{j}
\genfrac\lvert\rvert{0pt}{}{n-m}{k-j}^{*}.
\]
For \(m=1\), this reduces to the same triangular recurrence, providing an internal consistency check [2508.04754].

## 4. Generating functions, identities, and algorithmic derivation

The paper supplies an exponential generating function for the varied Ward-Lah numbers:
\[
\sum_{n=k}^{\infty}
\genfrac\lvert\rvert{0pt}{}{n}{k}^{*}
\frac{x^n}{(2n)!}
=
\left(\frac{x}{1-x}\right)^k.
\]
Its derivation starts from the explicit formula and rewrites the resulting series as
\[
\sum_{n=k}^{\infty}\binom{n-1}{k-1}x^n,
\]
which is then identified with the standard generating function for compositions after an index shift [2508.04754].

An additional identity links varied Ward-Lah numbers to Lah numbers. If
\[
L(n,k)=\frac{n!}{k!}\binom{n-1}{k-1},
\]
then the paper gives
\[
(n-k+1)^{\overline{n-k}}L(n,k)
=
\binom{n}{k}
\sum_{i=0}^{k}
\binom{k}{i}
\genfrac\lvert\rvert{0pt}{}{n-k}{i}^{*},
\]
where \((n-k+1)^{\overline{n-k}}\) is the rising factorial. This identity expresses a scaled Lah number as a sum expansion in varied Ward-Lah numbers [2508.04754].

The algorithmic dimension is emphasized through Sister Celine's general algorithm. The paper explicitly states that for varied Ward-Lah numbers the algorithm reproduces the two-step triangular recurrence above, and more generally that Sister Celine's algorithm is used to derive higher-order recurrences for related sequences. A plausible implication is that the varied Ward framework is particularly compatible with symbolic recurrence discovery and automated proof techniques, not only with ad hoc manipulations.

## 5. Placement within the Ward-number family

Varied Ward numbers sit inside a broader combinatorial literature on Ward numbers. Generalized Ward numbers were defined earlier as the unique solution of
\[
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_{k0}\delta_{n0},
\]
with \(W^{(\nu)}(n,k;s,t)=0\) for \(n<0\) or \(k<0\). That work also states that Ward numbers originally arise as an inverse to the second-order Eulerian numbers [1307.5624].

For the ordinary, non-varied case, another recent paper defines the Ward numbers \(W(n,k)\) by
\[
W(n,k)=k\,W(n-1,k)+(n+k-1)\,W(n-1,k-1),
\qquad
W(0,k)=\delta_{0,k},
\]
and records several combinatorial interpretations: \(W(n,k)\) counts partitions of a set of \(n+k\) elements into \(k\) non-singleton blocks, phylogenetic trees or total partition trees, and increasing Schröder trees with \(n+1\) vertices and \(k\) blocks [2507.15654].

Against that background, the defining formulas of varied Ward numbers show that they are constructed from already-established Ward triangles by a universal multiplicative factor \((2n)!/(n+k)^{\underline n}\). The paper itself states that varied Ward numbers and varied Ward-Lah numbers have analogous relations to the classical Ward numbers, and that Sister Celine's algorithm ties these numbers to classical combinatorial triangle recurrences, confirming that these numbers are natural extensions or generalizations of existing combinatorial numbers [2508.04754]. This suggests that varied Ward numbers are best understood not as isolated sequences, but as a renormalized branch of the Ward-number/Eulerian-number ecosystem.

## 6. Mathematical significance and scope

Within the source paper, the mathematical content attached to varied Ward numbers is precise and finite: explicit formulas for the first-kind and second-kind families, triangular recurrences for both, a parallel theory for varied Ward-Lah numbers, a horizontal recurrence and an exponential generating function for the latter, and an identity connecting them to Lah numbers [2508.04754]. The emphasis is not on asymptotics or a single bijective model, but on recurrence theory, generating-function algebra, and structural relations among combinatorial triangles.

The paper's summary states that varied Ward numbers arise from multiplication of classical Ward numbers of both kinds by factors involving factorials and the number of variations of \(n\) objects taken \(k\) at a time, leading to rich and precise triangular recursions, horizontal recursions, and exponential generating functions. It also states that their relations to Ward, Ward-Lah, and, via certain sum identities, Lah numbers are elucidated, sometimes through nontrivial sum identities, and that higher-order recurrences are justified by Sister Celine's algorithm [2508.04754].

A common source of ambiguity in the literature is the term "Ward number" itself, which appears in several unrelated mathematical and physical contexts. In the present combinatorial setting, varied Ward numbers refer specifically to the rescaled Ward-number triangles defined above, not to Ward identities in quantum field theory or to topological invariants attached to Ward unitons. Within combinatorics, however, the terminology is coherent: classical Ward numbers, generalized Ward numbers, Ward-Lah numbers, varied Ward numbers, and varied Ward-Lah numbers form a connected family of recursively defined arrays tied to Eulerian-type inversions, partition structures, forests, and tree-like models [1307.5624; 2507.15654; 2508.04754].

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