Symmetric Chains of Tensor Products

• Symmetric chains of tensor products are explicit decompositions of posets that satisfy symmetric rank conditions and offer both combinatorial and linear analogues.
• The linearized BTK construction produces symmetric Jordan bases that enable the block-diagonalization of operators like the Terwilliger algebra in Boolean algebras.
• These structured decompositions facilitate constructive proofs and have applications in coding theory, algebraic combinatorics, and spectral analysis.

A symmetric chain of tensor products refers to a highly structured decomposition of posets formed by the product of chains, with consequential linear and representation-theoretic analogues. These decompositions manifest in both combinatorial and algebraic forms, having deep connections to symmetric Jordan chains, the construction of explicit orthogonal bases in Boolean algebras, and structures such as the Terwilliger algebra of the binary Hamming scheme (Srinivasan, 2010).

1. Combinatorial and Linear Definitions

A finite graded poset $P$ is characterized by a rank function $r:P\to \{0, 1, \dots, r(P)\}$, where covering relations increase rank by one. A symmetric chain in $P$ is a saturated chain $p_1 < \cdots < p_h$ such that $r(p_1) + r(p_h) = r(P)$ (for $h \geq 2$), or $2r(p_1) = r(P)$ if $h=1$. A symmetric chain decomposition (SCD) partitions $P$ into disjoint symmetric chains.

The linear analogue involves the complex vector space $V(P) = \bigoplus_{i=0}^{r(P)} \mathbb{C} P_i$ graded by rank, with the up-operator

$$U: V(P) \longrightarrow V(P), \quad U(p) = \sum_{q\,\text{covers}\,p} q$$

acting as a nilpotent linear map. A graded Jordan chain with respect to $U$ consists of vectors $(v_1, \dots, v_h)$ such that $U(v_i) = v_{i+1}$ for $i = 1, \dots, h-1$ and $U(v_h) = 0$, with the symmetry property $r(v_1) + r(v_h) = r(P)$. A symmetric Jordan basis (SJB) is a basis composed of disjoint symmetric Jordan chains.

For product posets, let $k_1, \dots, k_n$ be nonnegative integers and define

$$M(n; k_1, \dots, k_n) = \{x = (x_1, \dots, x_n)\in\mathbb{Z}^n : 0 \leq x_i \leq k_i\}$$

ordered componentwise. This is isomorphic to a product of chains, with rank $r(x)=\sum_i x_i$ and $r(P)=\sum_i k_i$. Of particular interest are the uniform case $M(n,k)$ ($k_i=k$) and the Boolean algebra $B(n) = M(n,1,\dots,1)$.

2. Linearized de Bruijn–Tengbergen–Kruyswijk (BTK) Construction

The linearized BTK algorithm constructs an explicit SJB for $V(M(n; k_1, \dots, k_n))$, inductively reducing to lower-dimensional cases. The base case for $M(2,p,q)$ admits two families of homogeneous basis vectors:

• The "main" chain,

$$v^{(p,q)}(k) = \sum_{i+j=k}(i,j), \quad k=0,\dots,p+q$$

• The complementary vectors,

$$v^{(p,q)}(i,j) = (p-i)(i,j) - (q-j+1)(i+1,j-1), \quad 0\leq i\leq p-1,\, 1\leq j\leq q$$

This set forms a basis of $V(M(2, p, q))$, breaking into one long symmetric chain and shorter chains inherited from $M(2, p-1, q-1)$.

For higher $n$, the process decomposes $V(M(n; k_1, \dots, k_n))$ into direct sums indexed by the $n$-th coordinate, constructing chains via shift maps and inductive application of the two-dimensional construction. All coefficients remain integral and the decomposition fully explicit.

3. Structure and Orthogonality in the Boolean Algebra Case

Specializing to $B(n)$, the symmetric Jordan basis arising from the BTK construction—denoted $\mathcal{O}(n)$—is orthogonal under the standard inner product. Explicit singular value ratios govern the norm growth along a chain: $$\frac{\|x_{u+1}\|}{\|x_u\|} = \sqrt{(u+1-k)(n-k-u)}, \quad k \leq u < n-k$$ or equivalently,

$\frac{|x_{u+1}|^2}{|x_u|^2} = (u+1-k)(n-k-u)$

Chains with the same starting rank are parallel in the sense that their stepwise ratios coincide. This orthogonality arises both from direct computation and a representation-theoretic interpretation using $\mathfrak{sl}_2(\mathbb{C})$.

4. Representation-Theoretic Interpretation and the Symmetric Gelfand–Tsetlin Basis

The action of the up-operator $U$, the down-operator $D$, and the grading operator $H$ on $V(B(n))$ realizes an $\mathfrak{sl}_2(\mathbb{C})$-representation: $[H, U] = 2U, \quad [H, D] = -2D, \quad [U, D] = H$ Each irreducible $\mathfrak{sl}_2$ summand yields a unique basis with unequivocal transition rules: $$U v_i = v_{i+1}, \quad D v_i = i(\ell-i+1)v_{i-1}, \quad H v_i = (2i-\ell)v_i$$ These coincide with the symmetric Jordan chains defined combinatorially.

The symmetric group $S_n$ acts naturally by coordinate permutation, with multiplicity-free branching for $S_n \downarrow S_{n-1}$. Every irreducible $S_n$-component thus supports a canonical Gelfand–Tsetlin basis, characterized as eigenvectors of the Jucys–Murphy elements

$X_i = (1\,i)+(2\,i)+\cdots+(i-1\,i)$

The orthogonal SJB $\mathcal{O}(n)$ produced by the linear-BTK algorithm is, up to scaling, the unique symmetric Gelfand–Tsetlin basis (SGZB) for $V(B(n))$, characterized by being an SJB for $U$ and simultaneous eigenvectors for the $X_i$.

5. Explicit Block-Diagonalization of the Terwilliger Algebra

The Terwilliger algebra $\mathcal{T}_n$ of the binary Hamming scheme is defined as

$$\mathcal{T}_n = \operatorname{End}_{S_n}(V(B(n))) \cong \{\,M \in \mathrm{Mat}_{2^n}(\mathbb{C}) : M_{X,Y} = M_{\sigma(X), \sigma(Y)}\,\,\forall \sigma \in S_n \}$$

A convenient basis consists of the matrices $\{M_{i,j}^t\}$ indexed by $0 \leq i, j \leq n$, $0 \leq t \leq \min\{i,j\}$, with

$$(M_{i,j}^t)_{X,Y} = \begin{cases} 1 & |X| = i,\,|Y| = j,\,|X\cap Y| = t \ 0 & \text{otherwise} \end{cases}$$

The dimension of $\mathcal{T}_n$ is $\binom{n+3}{3}$.

The orthogonal change of basis $N(n)$ given by $\mathcal{O}(n)$ blocks diagonalizes all $M_{i,j}^t$. Each $M_{i,j}^t$ maps to blocks indexed by $k=0,\dots,m$ (where $m = \lfloor n/2 \rfloor$), with block sizes $p_k = n-2k+1$ and multiplicities $q_k = \binom{n}{k} - \binom{n}{k-1}$. Explicitly, the $(i,j)$–block of the $k$th family is

$\Phi_k(M_{i,j}^t) = B_{i,j,k}^t E_{i,j}^{(k)}$

where $E_{i,j}^{(k)}$ is the $p_k \times p_k$ matrix unit and

$$B_{i,j,k}^t = \sum_{u=0}^n (-1)^{t-u} \binom{n-u}{t-u} \binom{n-k-u}{i-u} \binom{n-k-u}{j-u}$$

These results coincide with Schrijver’s explicit block-diagonal form of $\mathcal{T}_n$ (Srinivasan, 2010).

6. Context and Significance

Symmetric chains of tensor products provide a rich synthesis of combinatorial, algebraic, and representation-theoretic structures. The linearized BTK construction yields explicit decompositions facilitating constructive block-diagonalization of the Terwilliger algebra—critical within coding theory and algebraic combinatorics. The identification of the orthogonal SJB with the symmetric Gelfand–Tsetlin basis establishes profound links between the combinatorics of poset products and the representation theory of symmetric and general linear groups. These results provide new constructive proofs for diagonalizability and explicit formulas for transition coefficients, with implications for spectral analysis in algebraic statistics, coding, and the theory of association schemes (Srinivasan, 2010).