Iterative construction ofSp×Spgroup-adapted irreducible matrix units for the walled Brauer algebra

In this work, we present an algorithmic treatment of the representation theory of the algebra of partially transposed permutation operators, denoted byAp,pd, which is a matrix representation of the abstract walled Brauer algebra. We provide an explicit and fully developed framework for constructing irreducible matrix units within the algebra. In contrast to the established earlier Gelfand-Tsetlin type constructions, the presented matrix units are adapted to the action of the subalgebraC[Sp]×C[Sp], whereSpis the symmetric group. What is more, the basis is constructed in such a way that it produces the decomposition of the algebra into a direct sum of ideals, in contrast to its nested structure considered before. The decomposition of this kind has not been considered before in full generality. Our method reveals a recursive scheme for generating irreducible matrix units in all ideals ofAp,pd, offering a systematic approach that applies to small system sizes and arbitrary local dimensions. We apply the developed formalism to the algebraA2,2dand illustrate the algorithm in practice. In addition, using the constructed basis, we proved a novel contraction theorem for the elements fromA3,3d, which is the starting point for further investigations.