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

# Binomial Ward Numbers

Binomial Ward numbers are two triangular arrays introduced in Section 5 of "Recurrence Relations for Some Integer Sequences Related to Ward Numbers" [2508.04754]. In that paper they are defined as binomially rescaled versions of ordinary Ward numbers of the first and second kind, with the rescaling factor \(\binom{2n}{n+k}\). The resulting arrays are denoted \(\left\uparrow\!\begin{matrix} n \\ k \end{matrix}\!\right\downarrow^{\circ}\) and \(\left\updownarrow\!\begin{matrix} n \\ k \end{matrix}\!\right\updownarrow^{\circ}\), are indexed by \(n,k\in\mathbb N_0\), typically with \(n\ge k\), and are studied through defining transforms and triangular recurrences rather than through explicit closed forms or generating-function theory [2508.04754].

## 1. Definition, notation, and boundary conditions

The paper first recalls Luschny’s arrays
\[
T_1^\circ(n,k)=(-1)^k\frac{(2n)!}{k!(n-k)!}\,P_n^k\!\left(1,\frac{x}{x+1}\right), \qquad x\in\mathbb N,
\]
and
\[
T_2^\circ(n,k)=(-1)^k\frac{(2n)!}{k!(n-k)!}\,P_n^k\!\left(\frac{1}{x+1}\right), \qquad x\in\mathbb N_0.
\]
In Section 5 these are renamed as
\[
T_1^\circ(n,k)= \left\uparrow\!\begin{matrix} n \\ k \end{matrix}\!\right\downarrow^{\circ}, \qquad
T_2^\circ(n,k)= \left\updownarrow\!\begin{matrix} n \\ k \end{matrix}\!\right\updownarrow^{\circ}.
\]
Accordingly, the paper distinguishes **binomial Ward numbers of the first kind** and **binomial Ward numbers of the second kind** [2508.04754].

Their boundary conditions are
\[
\left\uparrow\!\begin{matrix} n \\ 0 \end{matrix}\!\right\downarrow^\circ
=
\left\uparrow\!\begin{matrix} 0 \\ k \end{matrix}\!\right\downarrow^\circ
=
\left\updownarrow\!\begin{matrix} n \\ 0 \end{matrix}\!\right\updownarrow^\circ
=
\left\updownarrow\!\begin{matrix} 0 \\ k \end{matrix}\!\right\updownarrow^\circ
=0,
\]
together with
\[
\left\uparrow\!\begin{matrix} 0 \\ 0 \end{matrix}\!\right\downarrow^\circ
=
\left\updownarrow\!\begin{matrix} 0 \\ 0 \end{matrix}\!\right\updownarrow^\circ
=1.
\]
The arrays are considered for \(n,k\in\mathbb N_0\), with effective support typically constrained by \(n\ge k\) [2508.04754].

## 2. Relation to ordinary Ward numbers and the meaning of “binomial”

The defining feature of binomial Ward numbers is that they are obtained from ordinary Ward numbers by multiplication with the binomial factor \(\binom{2n}{n+k}\). For the first kind,
\[
\left\uparrow\!\begin{matrix} n \\ k \end{matrix}\!\right\downarrow^\circ
=
\binom{2n}{n+k}
\left\uparrow\!\begin{matrix} n \\ k \end{matrix}\!\right\downarrow,
\tag{5.1}
\]
and for the second kind,
\[
\left\updownarrow\!\begin{matrix} n \\ k \end{matrix}\!\right\updownarrow^\circ
=
\binom{2n}{n+k}
\left\updownarrow\!\begin{matrix} n \\ k \end{matrix}\!\right\updownarrow.
\tag{5.2}
\]
The paper then remarks: “Since \(\binom{2n}{n+k}\) is the binomial coefficient, we call these numbers binomial Ward numbers” [2508.04754].

The underlying ordinary Ward numbers of the first kind satisfy, for \(n\ge k\ge 1\),
\[
\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),
\]
while ordinary Ward numbers of the second kind satisfy
\[
\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.
\]
They share the same zero-boundary conditions away from \((0,0)\) [2508.04754].

Within the broader terminology of the paper, “binomial” means multiplication by \(\binom{2n}{n+k}\), just as “varied” means multiplication by \((2n)!/(n+k)^{\underline n}\). The same pattern reappears later for binomial Ward-Lah numbers:
\[
\genfrac\lvert\rvert{0pt}{}{n}{k}^{\circ}
=
\binom{2n}{n+k}
\genfrac\lvert\rvert{0pt}{}{n}{k}.
\]
This suggests a systematic binomialization mechanism internal to that 2025 framework [2508.04754].

## 3. Triangular recurrences

The main theorems proved specifically for binomial Ward numbers are triangular recurrences. For binomial Ward numbers of the first kind, and for \(n-k\ge 1\),
\[
\left\uparrow\!\begin{matrix} n \\ k \end{matrix}\!\right\downarrow^\circ
=
\frac{2n(2n-1)}{n+k}
\left(
\frac{n+k-1}{n-k}
\left\uparrow\!\begin{matrix} n-1 \\ k \end{matrix}\!\right\downarrow^\circ
+
\left\uparrow\!\begin{matrix} n-1 \\ k-1 \end{matrix}\!\right\downarrow^\circ
\right).
\]
For binomial Ward numbers of the second kind, again for \(n-k\ge 1\),
\[
\left\updownarrow\!\begin{matrix} n \\ k \end{matrix}\!\right\updownarrow^\circ
=
\frac{2n(2n-1)}{n+k}
\left(
\frac{k}{n-k}
\left\updownarrow\!\begin{matrix} n-1 \\ k \end{matrix}\!\right\updownarrow^\circ
+
\left\updownarrow\!\begin{matrix} n-1 \\ k-1 \end{matrix}\!\right\updownarrow^\circ
\right).
\]
These are the paper’s principal structural results for the Section 5 arrays [2508.04754].

The derivation is entirely by rescaling the ordinary Ward recurrences. In the first-kind case, one starts from
\[
\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),
\]
multiplies by
\[
\frac{(2n)!}{(n+k)!(n-k)!}
=
\binom{2n}{n+k},
\]
and then identifies shifted terms through
\[
\left\uparrow\!\begin{matrix} n-1 \\ k \end{matrix}\!\right\downarrow^\circ
=
\frac{(2n-2)!}{(n+k-1)!(n-k-1)!}
\left\uparrow\!\begin{matrix} n-1 \\ k \end{matrix}\!\right\downarrow
\]
and
\[
\left\uparrow\!\begin{matrix} n-1 \\ k-1 \end{matrix}\!\right\downarrow^\circ
=
\frac{(2n-2)!}{(n+k-2)!(n-k)!}
\left\uparrow\!\begin{matrix} n-1 \\ k-1 \end{matrix}\!\right\downarrow.
\]
The second-kind proof follows the same pattern, starting instead from
\[
\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 recurrences therefore encode the binomial prefactor directly into the triangular evolution law [2508.04754].

## 4. Equivalent exact formulations and stated limitations

Although Section 5 emphasizes the scaling formulas, the arrays also inherit an implicit partition-transform description from the Luschny notation:
\[
\left\uparrow\!\begin{matrix} n \\ k \end{matrix}\!\right\downarrow^\circ
=
(-1)^k\frac{(2n)!}{k!(n-k)!}\,P_n^k\!\left(1,\frac{x}{x+1}\right),
\]
\[
\left\updownarrow\!\begin{matrix} n \\ k \end{matrix}\!\right\updownarrow^\circ
=
(-1)^k\frac{(2n)!}{k!(n-k)!}\,P_n^k\!\left(\frac{1}{x+1}\right).
\]
These formulas are exact, but the paper foregrounds their equivalent rescaling by ordinary Ward numbers rather than developing the partition-transform side in detail [2508.04754].

Equally important is the paper’s explicit negative information. For the Section 5 binomial Ward numbers, it gives **no** horizontal recurrence, **no** higher-order recurrence, **no** explicit closed form, **no** exponential generating function, **no** ordinary generating function, **no** summation formula, **no** Stirling/Lah-number identity, **no** matrix or Riordan-array description, **no** combinatorial interpretation, and **no** inverse relation. It also does not print a table or list of initial numerical values, even though the introduction points to OEIS entries A268439 and A268440 for Luschny’s arrays \(T_1^\circ\) and \(T_2^\circ\) [2508.04754].

A further point of clarification concerns Sister Celine’s algorithm. The paper states in its abstract that higher-order recurrences are obtained by using Sister Celine’s general algorithm, but for Section 5 binomial Ward numbers the answer is explicitly negative: no such higher-order recurrence is derived there. A likely typo or mismatch occurs later, when Section 6 says that Sister Celine’s algorithm yields “another recurrence relation for binomial Ward numbers of order 5,” but the theorem that follows is actually written for the notation \(\genfrac\lvert\rvert{0pt}{}{n}{k}^{\circ}\), which in that section denotes **binomial Ward-Lah numbers**, not the Section 5 binomial Ward numbers [2508.04754].

## 5. Position within the broader Ward and binomial landscape

The Section 5 arrays are one branch of a broader Ward-number literature in which binomial coefficients enter in several distinct ways. In "On Ward Numbers and Increasing Schröder Trees" [2507.15654], ordinary Ward numbers \(W(n,k)\) are defined by
\[
W(n,k)=kW(n-1,k)+(n+k-1)W(n-1,k-1),
\qquad
W(0,k)=\delta_{0,k},
\]
and are identified with restricted set partitions by
\[
W(n,k)=S_2(n+k,k).
\]
That paper also proves the explicit binomial-sum formula
\[
W(n,k)=\sum_{m=0}^{k}(-1)^{m+k}\binom{n+k}{n+m}S(n+m,m),
\]
and, for enriched Ward numbers,
\[
\overline{W}(n,k)=k!\binom{n+k}{k}S(n,k).
\]
These formulas concern ordinary or enriched Ward numbers rather than the Section 5 binomial Ward numbers, but they show that explicit binomial prefactors and binomial inverse-transform patterns already occur elsewhere in Ward theory [2507.15654].

A plausible implication is that the Section 5 construction in [2508.04754] belongs to a wider practice of modifying Ward-type triangles by triangular binomial factors. The paper itself makes this broader pattern explicit only for varied Ward numbers, binomial Ward numbers, and binomial Ward-Lah numbers, but adjacent results on Ward numbers proper reinforce the same theme [2508.04754].

The structural analogy becomes sharper when compared with other Pascal-type or binomially resolved triangles. "Recursive Harmonic Numbers and Binomial Coefficients" [1711.10716] studies recursive harmonic numbers \(H_n^{(m)}\), organized in a Pascal-like triangular table and satisfying the binomial-sum identity
\[
H_n^{(m)}=\sum_{k=1}^{n}(-1)^{k+1}\binom{n}{k}\frac{1}{k^m}.
\]
That paper does not mention Ward numbers, yet it supplies a clear model of how a recursively defined triangle can admit a binomial-coefficient representation. This suggests a methodological comparison point for binomial Ward numbers, especially because the Section 5 arrays of [2508.04754] are also defined as lower-triangular recurrences with an imposed binomial structure [1711.10716].

A further adjacent toolkit appears in "Convolutions for Stirling numbers, Lah numbers, and binomial coefficients" [2103.15644], which develops identities such as
\[
\sum_{k=0}^{n}\binom{n}{k}S(k,p)=S(n+1,p+1),
\qquad
\sum_{k=0}^{n}\binom{n}{k}s(k,p)=(-1)^{n+p}s(n+1,p+1),
\]
together with mixed Stirling–Lah convolutions. No direct specialization to binomial Ward numbers is given there. Still, this suggests an analytic environment in which further formulas for the Section 5 arrays might eventually be sought, especially if one aims to express them through lower-triangular transforms [2103.15644].

## 6. Terminological ambiguity and common misidentifications

The phrase **binomial Ward numbers** is not uniform across the wider literature, and several nearby objects are distinct from the Section 5 arrays of [2508.04754]. The most important distinction is with the Ward–Horadam binomial framework developed in "A note on Lucas L binomials and Ward Horadam binomials recurrences" [1012.3774] and "Note on Ward-Horadam H(x) - binomials' recurrences and related interpretations, II" [1101.1516]. Those papers do not define the Section 5 arrays at all. Instead, they study generalized binomial coefficients attached to second-order Ward–Horadam sequences,
\[
\binom{n}{k}_{H(x)}=\frac{H_n(x)!}{H_k(x)!\,H_{n-k}(x)!},
\]
with recurrences induced by addition laws of the underlying sequence. Their subject is therefore generalized \(H(x)\)-binomial coefficients, not binomially rescaled ordinary Ward triangles [1012.3774; 1101.1516].

A second source of ambiguity is the Apéry-like sequence
\[
W_n=\sum_{k=0}^{\lfloor n/3\rfloor}\binom{2k}{k}\binom{3k}{k}\binom{n}{3k}(-3)^{\,n-3k}
\]
studied in "Congruences involving binomial coefficients and Apéry-like numbers" [1803.10051]. That paper does not call these values binomial Ward numbers; it treats \(\{W_n\}\) as an Apéry-like sequence of the second kind and develops congruences for sums such as
\[
\sum_{k=0}^{p-1}\binom{2k}{k}\frac{W_k}{m^k}\pmod p.
\]
Despite the symbol \(W_n\), these are unrelated to the Section 5 binomial Ward arrays of [2508.04754] [1803.10051].

The most persistent misconception, therefore, is terminological conflation. In current arXiv usage, at least three distinct constructions lie near the phrase: the Section 5 binomial Ward numbers defined by
\[
\binom{2n}{n+k}\times(\text{ordinary Ward number}),
\]
the Ward–Horadam generalized binomial coefficients \(\binom{n}{k}_{H(x)}\), and the Apéry-like sequence \(W_n\). Only the first of these is the exact object named **binomial Ward numbers** in [2508.04754].

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