Iterative construction of $\mathfrak{S}_p \times \mathfrak{S}_p$ group-adapted irreducible matrix units for the walled Brauer algebra
- URL: http://arxiv.org/abs/2509.17698v1
- Date: Mon, 22 Sep 2025 12:34:50 GMT
- Title: Iterative construction of $\mathfrak{S}_p \times \mathfrak{S}_p$ group-adapted irreducible matrix units for the walled Brauer algebra
- Authors: Michał Horodecki, Michał Studziński, Marek Mozrzymas,
- Abstract summary: We present an algorithmic treatment of the representation theory of the algebra of partially transposed permutation operators.<n>We provide an explicit and fully developed framework for constructing irreducible matrix units within the algebra.
- Score: 0.5735035463793009
- License: http://creativecommons.org/licenses/by/4.0/
- Abstract: In this work, we present an algorithmic treatment of the representation theory of the algebra of partially transposed permutation operators, denoted by $\mathcal{A}^d_{p,p}$, 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 subalgebra $\mathbb{C}[\mathfrak{S}_p] \times \mathbb{C}[\mathfrak{S}_p]$, where $\mathfrak{S}_p$ is 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 of $\mathcal{A}^d_{p,p}$, offering a systematic approach that applies to small system sizes and arbitrary local dimensions. We apply the developed formalism to the algebra $\mathcal{A}^d_{2,2}$ and illustrate the algorithm in practice. In addition, using the constructed basis, we proved a novel contraction theorem for the elements from $\mathcal{A}^d_{3,3}$, which is the starting point for further investigations.
Related papers
- Group Representational Position Encoding [66.33026480082025]
We present GRAPE, a unified framework for positional encoding based on group actions.<n>Two families of mechanisms: (i) multiplicative rotations (Multiplicative GRAPE) in $mathrmSO(d)$ and (ii) additive logit biases (Additive GRAPE) arising from unipotent actions in the general linear group $mathrmGL$.
arXiv Detail & Related papers (2025-12-08T18:39:13Z) - On the connection between Bochner's theorem on positive definite maps and Choi theorem on complete positivity [0.007186737422124123]
We establish a connection between Bochner's theorem on positive definite maps and Choi theorem on complete positivity.<n>It is demonstrated that Bochner's theorem reduces to Choi theorem on completely positive maps when the inverse semigroup of matrix units is considered.
arXiv Detail & Related papers (2025-09-02T17:29:25Z) - Unitary orthonormal bases of finite dimensional inclusions [0.0]
We study unitary orthonormal bases in the sense of Pimsner and Popa for inclusions $(mathcalBsubseteq mathcalA, E),$ where $mathcalA, mathcalB$ are finite dimensional von Neumann algebras.<n>We prove the existence of unitary orthonormal bases for a large class of depth 2 subfactors with abelian relative commutant.
arXiv Detail & Related papers (2025-02-17T14:14:55Z) - Irreducible matrix representations for the walled Brauer algebra [0.9374652839580183]
This paper investigates the representation theory of the algebra of partially transposed permutation operators, $mathcalAd_p,p$.<n>It provides a matrix representation for the abstract walled Brauer algebra.<n>This algebra has recently gained significant attention due to its relevance in quantum information theory.
arXiv Detail & Related papers (2025-01-22T18:22:20Z) - Hyperpolyadic structures [0.0]
We introduce a new class of division algebras, the hyperpolyadic algebras, which correspond to the binary division algebras $mathbbR$, $mathbbC$, $mathbbH$, $mathbbO$ without considering new elements.
For each invertible element we define a new norm which is polyadically multiplicative, and the corresponding map is a $n$-ary homomorphism.
We show that the ternary division algebra of imaginary "half-octonions" is unitless and totally as
arXiv Detail & Related papers (2023-12-03T12:27:53Z) - An Algorithm for Computing with Brauer's Group Equivariant Neural
Network Layers [0.0]
We present an algorithm for multiplying a vector by any weight matrix for each of these groups, using category theoretic constructions to implement the procedure.
We show that our approach extends to the symmetric group, $S_n$, recovering the algorithm of arXiv:2303.06208 in the process.
arXiv Detail & Related papers (2023-04-27T13:06:07Z) - Geometric Clifford Algebra Networks [53.456211342585824]
We propose Geometric Clifford Algebra Networks (GCANs) for modeling dynamical systems.
GCANs are based on symmetry group transformations using geometric (Clifford) algebras.
arXiv Detail & Related papers (2023-02-13T18:48:33Z) - Discovering Sparse Representations of Lie Groups with Machine Learning [55.41644538483948]
We show that our method reproduces the canonical representations of the generators of the Lorentz group.
This approach is completely general and can be used to find the infinitesimal generators for any Lie group.
arXiv Detail & Related papers (2023-02-10T17:12:05Z) - Deep Learning Symmetries and Their Lie Groups, Algebras, and Subalgebras
from First Principles [55.41644538483948]
We design a deep-learning algorithm for the discovery and identification of the continuous group of symmetries present in a labeled dataset.
We use fully connected neural networks to model the transformations symmetry and the corresponding generators.
Our study also opens the door for using a machine learning approach in the mathematical study of Lie groups and their properties.
arXiv Detail & Related papers (2023-01-13T16:25:25Z) - Non-PSD Matrix Sketching with Applications to Regression and
Optimization [56.730993511802865]
We present dimensionality reduction methods for non-PSD and square-roots" matrices.
We show how these techniques can be used for multiple downstream tasks.
arXiv Detail & Related papers (2021-06-16T04:07:48Z) - A Practical Method for Constructing Equivariant Multilayer Perceptrons
for Arbitrary Matrix Groups [115.58550697886987]
We provide a completely general algorithm for solving for the equivariant layers of matrix groups.
In addition to recovering solutions from other works as special cases, we construct multilayer perceptrons equivariant to multiple groups that have never been tackled before.
Our approach outperforms non-equivariant baselines, with applications to particle physics and dynamical systems.
arXiv Detail & Related papers (2021-04-19T17:21:54Z) - Algebraic and geometric structures inside the Birkhoff polytope [0.0]
Birkhoff polytope $mathcalB_d$ consists of all bistochastic matrices of order $d$.
We prove that $mathcalL_d$ and $mathcalF_d$ are star-shaped with respect to the flat matrix.
arXiv Detail & Related papers (2021-01-27T09:51:24Z)
This list is automatically generated from the titles and abstracts of the papers in this site.
This site does not guarantee the quality of this site (including all information) and is not responsible for any consequences.