-
Construction of the traceless projection of tensors via the Brauer algebra
Authors:
D. V. Bulgakova,
Y. O. Goncharov,
T. Helpin
Abstract:
We describe how traceless projection of tensors of a given rank can be constructed in a closed form. On the way to this goal we invoke the representation theory of the Brauer algebra and the related Schur-Weyl dualities. The resulting traceless projector is constructed from purely combinatorial data involving Young diagrams. By construction, the projector manifestly commutes with the symmetric gro…
▽ More
We describe how traceless projection of tensors of a given rank can be constructed in a closed form. On the way to this goal we invoke the representation theory of the Brauer algebra and the related Schur-Weyl dualities. The resulting traceless projector is constructed from purely combinatorial data involving Young diagrams. By construction, the projector manifestly commutes with the symmetric group and is well-adapted to restrictions to $GL$-irreducible tensor representations. We develop auxiliary computational techniques which serve to take advantage of the obtained results for applications. The proposed method of constructing traceless projectors leads to a particular central idempotent in the semisimple regime of the Brauer algebra.
△ Less
Submitted 29 December, 2022;
originally announced December 2022.
-
Prefix palindromic length of the Sierpinski word
Authors:
Dora V. Bulgakova,
Anna E. Frid,
Jérémy Scanvic
Abstract:
The prefix palindromic length $p_{\mathbf{u}}(n)$ of an infinite word $\mathbf{u}$ is the minimal number of concatenated palindromes needed to express the prefix of length $n$ of $\mathbf{u}$. This function is surprisingly difficult to study; in particular, the conjecture that $p_{\mathbf{u}}(n)$ can be bounded only if $\mathbf{u}$ is ultimately periodic is open since 2013. A more recent conjectur…
▽ More
The prefix palindromic length $p_{\mathbf{u}}(n)$ of an infinite word $\mathbf{u}$ is the minimal number of concatenated palindromes needed to express the prefix of length $n$ of $\mathbf{u}$. This function is surprisingly difficult to study; in particular, the conjecture that $p_{\mathbf{u}}(n)$ can be bounded only if $\mathbf{u}$ is ultimately periodic is open since 2013. A more recent conjecture concerns the prefix palindromic length of the period doubling word: it seems that it is not $2$-regular, and if it is true, this would give a rare if not unique example of a non-regular function of a $2$-automatic word.
For some other $k$-automatic words, however, the prefix palindromic length is known to be $k$-regular. Here we add to the list of those words the Sierpinski word $\mathbf{s}$ and give a complete description of $p_{\mathbf{s}}(n)$.
△ Less
Submitted 14 March, 2022; v1 submitted 24 January, 2022;
originally announced January 2022.
-
On balanced and abelian properties of circular words over a ternary alphabet
Authors:
D. V. Bulgakova,
N. Buzhinsky,
Y. O. Goncharov
Abstract:
We revisit the question of classification of balanced circular words and focus on the case of a ternary alphabet. We propose a $3$-dimensional generalisation of the discrete approximation representation of Christoffel words. By considering the minimal bound $3$ for abelian complexity of balanced circular words over a ternary alphabet, we provide a classification of all circular words over a ternar…
▽ More
We revisit the question of classification of balanced circular words and focus on the case of a ternary alphabet. We propose a $3$-dimensional generalisation of the discrete approximation representation of Christoffel words. By considering the minimal bound $3$ for abelian complexity of balanced circular words over a ternary alphabet, we provide a classification of all circular words over a ternary alphabet with abelian complexity subject to this bound. This result also allows us to construct an uncountable set of bi-infinite aperiodic words with abelian complexity equal to $3$.
△ Less
Submitted 30 April, 2021; v1 submitted 31 December, 2020;
originally announced December 2020.
-
Fusion procedure for the walled Brauer algebra
Authors:
D. V. Bulgakova,
O. Ogievetsky
Abstract:
We establish two versions of the fusion procedure for the walled Brauer algebras. In each of them, a complete system of primitive pairwise orthogonal idempotents for the walled Hecke algebra is constructed by consecutive evaluations of a rational function in several variables on contents of standard walled tableaux.
We establish two versions of the fusion procedure for the walled Brauer algebras. In each of them, a complete system of primitive pairwise orthogonal idempotents for the walled Hecke algebra is constructed by consecutive evaluations of a rational function in several variables on contents of standard walled tableaux.
△ Less
Submitted 24 November, 2019;
originally announced November 2019.
-
On the structure of modules over walled Brauer algebra via normal form and random walks
Authors:
D. V. Bulgakova,
Y. O. Goncharov
Abstract:
We analyze cyclic cell modules over walled Brauer algebra in terms of a certain normal form. The latter allows us to decompose the algebra into the generating set and annihilator ideal of a certain cyclic vector. In addition, we show that the numbers of reduced basis monomials of given length coincide with those for the symmetric group. For the semisimple case we utilize the theory of differential…
▽ More
We analyze cyclic cell modules over walled Brauer algebra in terms of a certain normal form. The latter allows us to decompose the algebra into the generating set and annihilator ideal of a certain cyclic vector. In addition, we show that the numbers of reduced basis monomials of given length coincide with those for the symmetric group. For the semisimple case we utilize the theory of differential posets to calculate the dimensions of modules in terms of the paths in Bratelli diagram. It turns out that the number of primitive idempotents is the same as for the symmetric group.
△ Less
Submitted 2 July, 2019;
originally announced July 2019.
-
Bimodule structure of the mixed tensor product over $U_{q} s\ell(2|1)$ and quantum walled Brauer algebra
Authors:
D. V. Bulgakova,
A. M. Kiselev,
I. Yu. Tipunin
Abstract:
We study a mixed tensor product $\mathbf{3}^{\otimes m} \otimes \mathbf{\overline{3}}^{\otimes n}$ of the three-dimensional fundamental representations of the Hopf algebra $U_{q} s\ell(2|1)$, whenever $q$ is not a root of unity. Formulas for the decomposition of tensor products of any simple and projective $U_{q} s\ell(2|1)$-module with the generating modules $\mathbf{3}$ and…
▽ More
We study a mixed tensor product $\mathbf{3}^{\otimes m} \otimes \mathbf{\overline{3}}^{\otimes n}$ of the three-dimensional fundamental representations of the Hopf algebra $U_{q} s\ell(2|1)$, whenever $q$ is not a root of unity. Formulas for the decomposition of tensor products of any simple and projective $U_{q} s\ell(2|1)$-module with the generating modules $\mathbf{3}$ and $\mathbf{\overline{3}}$ are obtained. The centralizer of $U_{q} s\ell(2|1)$ on the chain is calculated. It is shown to be the quotient $\mathscr{X}_{m,n}$ of the quantum walled Brauer algebra. The structure of projective modules over $\mathscr{X}_{m,n}$ is written down explicitly. It is known that the walled Brauer algebras form an infinite tower. We have calculated the corresponding restriction functors on simple and projective modules over $\mathscr{X}_{m,n}$. This result forms a crucial step in decomposition of the mixed tensor product as a bimodule over $\mathscr{X}_{m,n}\boxtimes U_{q} s\ell(2|1)$. We give an explicit bimodule structure for all $m,n$.
△ Less
Submitted 24 June, 2017; v1 submitted 28 April, 2017;
originally announced April 2017.
