arXiv subjects

Sarah Bockting-Conrad

Publications and source records attributed to Sarah Bockting-Conrad.

9 recordsLinked to original sources

arXiv2020

Sós Permutations

Let $f(x) = αx + β\mod 1$ for fixed real parameters $α$ and $β$. For any positive integer $n$, define the Sós permutation $π$ to be the lexicographically first permutation such that $0 \leq f(π(0)) \leq f(π(1)) \leq \cdots \leq f(π(n)) < 1$. In this article we give a bijection between Sós permutations and regions in a partition of the parameter space $(α,β)\in [0,1)^2$. This allows us to enumerate these permutations and to obtain the following "three areas" theorem: in any vertical strip $(a/b,c/d)\times [0,1)$, with $(a/b,c/d)$ a Farey interval, there are at most three distinct areas of regions, and one of these areas is the sum of the other two.

math.CO↗

arXiv2020

Finite-Dimensional Irreducible Modules of the Racah Algebra at Characteristic Zero

Assume that ${\mathbb F}$ is an algebraically closed field with characteristic zero. The Racah algebra $\Re$ is the unital associative ${\mathbb F}$-algebra defined by generators and relations in the following way. The generators are $A$, $B$, $C$, $D$ and the relations assert that $[A,B]=[B,C]=[C,A]=2D$ and that each of $[A,D]+AC-BA$, $[B,D]+BA-CB$, $[C,D]+CB-AC$ is central in $\Re$. In this paper we discuss the finite-dimensional irreducible $\Re$-modules in detail and classify them up to isomorphism. To do this, we apply an infinite-dimensional $\Re$-module and its universal property. We additionally give the necessary and sufficient conditions for $A$, $B$, $C$ to be diagonalizable on finite-dimensional irreducible $\Re$-modules.

math.RA↗

arXiv2020

The Casimir elements of the Racah algebra

Let $\mathbb{F}$ denote a field with ${\rm char\,}\mathbb{F}\not=2$. The Racah algebra $\mathfrak{R}$ is the unital associative $\mathbb{F}$-algebra defined by generators and relations in the following way. The generators are $A$, $B$, $C$, $D$. The relations assert that $$ [A,B]=[B,C]=[C,A]=2D $$ and each of the elements \begin{gather*} α=[A,D]+AC-BA, \qquad β=[B,D]+BA-CB, \qquad γ=[C,D]+CB-AC \end{gather*} is central in $\mathfrak{R}$. Additionally the element $δ=A+B+C$ is central in $\mathfrak{R}$. The algebra $\mathfrak{R}$ was introduced by Genest-Vinet-Zhedanov. We consider a mild change in their setting to call each element in \begin{equation*} D^2+A^2+B^2 +\frac{(δ+2)\{A,B\}-\{A^2,B\}-\{A,B^2\}}{2} +A (β-δ) +B (δ-α)+\mathfrak{C} \end{equation*} a Casimir element of $\mathfrak{R}$, where $\mathfrak{C}$ is the commutative subalgebra of $\mathfrak{R}$ generated by $α$, $β$, $γ$, $δ$. The main results of this paper are as follows. Each of the following distinct elements is a Casimir element of $\mathfrak{R}$: \begin{align*} Ω_A = D^2 + \frac{B A C +C A B}{2} + A^2 +B γ-C β-A δ, Ω_B = D^2 + \frac{C B A +A B C}{2} + B^2 +C α-A γ-Bδ, Ω_C = D^2 + \frac{A C B +B C A}{2} + C^2 +A β-Bα-Cδ. \end{align*} The set $\{Ω_A,Ω_B,Ω_C\}$ is invariant under a faithful $D_6$-action on $\mathfrak{R}$. Moreover we show that any Casimir element $Ω$ is algebraically independent over $\mathfrak{C}$; if ${\rm char\,}\mathbb{F}=0$ then the center of $\mathfrak{R}$ is $\mathfrak{C}[Ω]$.

math.RA↗

arXiv2019

Some $q$-exponential formulas involving the double lowering operator $ψ$ for a tridiagonal pair

Let $\mathbb{K}$ denote an algebraically closed field and let $V$ denote a vector space over $\mathbb{K}$ with finite positive dimension. Let $A,A^*$ denote a tridiagonal pair on $V$. We assume that $A,A^*$ belongs to a family of tridiagonal pairs said to have $q$-Racah type. Let $\{U_i\}_{i=0}^d$ and $\{U_i^\Downarrow\}_{i=0}^{d}$ denote the first and second split decompositions of $V$. In an earlier paper we introduced a double lowering operator $ψ:V\to V$ with the notable feature that both $ψU_i\subseteq U_{i-1}$ and $ψU_i^\Downarrow\subseteq U_{i-1}^\Downarrow$ for $0\leq i\leq d$, where $U_{-1}=0$ and $U_{-1}^\Downarrow=0$. In the same paper, we showed that there exists a unique linear transformation $Δ:V\to V$ such that $Δ(U_i)\subseteq U_i^{\Downarrow}$ and $(Δ-I)U_i\subseteq U_0+U_1+\cdots +U_{i-1}$ for $0\leq i \leq d$. In the present paper, we show that $Δ$ can be expressed as a product of two linear transformations; one is a $q$-exponential in $ψ$ and the other is a $q^{-1}$-exponential in $ψ$. We view $Δ$ as a transition matrix from the first split decomposition of $V$ to the second. Consequently, we view the $q^{-1}$-exponential in $ψ$ as a transition matrix from the first split decomposition to a decomposition of $V$ which we interpret as a kind of halfway point. This halfway point turns out to be the eigenspace decomposition of a certain linear transformation $\mathcal{M}$. We discuss the eigenspace decomposition of $\mathcal{M}$ and give the actions of various operators on this decomposition.

math.RA↗

arXiv2019

The universal enveloping algebra of $\mathfrak{sl}_2$ and the Racah algebra

Let $\mathbb{F}$ denote a field with ${\rm char\,}\mathbb{F}\not=2$. The Racah algebra $\Re$ is the unital associative $\mathbb{F}$-algebra defined by generators and relations in the following way. The generators are $A$, $B$, $C$, $D$. The relations assert that \begin{equation*} [A,B]=[B,C]=[C,A]=2D \end{equation*} and each of the elements \begin{gather*} α=[A,D]+AC-BA, \qquad β=[B,D]+BA-CB, \qquad γ=[C,D]+CB-AC \end{gather*} is central in $\Re$. Additionally the element $δ=A+B+C$ is central in $\Re$. In this paper we explore the relationship between the Racah algebra $\Re$ and the universal enveloping algebra $U(\mathfrak{sl}_2)$. Let $a,b,c$ denote mutually commuting indeterminates. We show that there exists a unique $\mathbb{F}$-algebra homomorphism $\natural:\Re\to\mathbb{F}[a,b,c]\otimes_\mathbb{F} U(\mathfrak{sl}_2)$ that sends \begin{eqnarray*} A &\mapsto& a(a+1)\otimes 1+(b-c-a)\otimes x+(a+b-c+1)\otimes y-1\otimes xy, \\ B &\mapsto& b(b+1)\otimes 1+(c-a-b)\otimes y+(b+c-a+1)\otimes z-1\otimes yz, \\ C &\mapsto& c(c+1)\otimes 1+(a-b-c)\otimes z+(c+a-b+1)\otimes x-1\otimes zx, \\ D &\mapsto& 1\otimes (zyx+zx)+ (c+b(c+a-b))\otimes x +(a+c(a+b-c))\otimes y \\ && \qquad+(b+a(b+c-a))\otimes z +\,(b-c)\otimes xy+(c-a)\otimes yz+(a-b)\otimes zx, \end{eqnarray*} where $x,y,z$ are the equitable generators for $U(\mathfrak{sl}_2)$. We additionally give the images of $α,β,γ,δ,$ and certain Casimir elements of $\Re$ under $\natural$. We also show that the map $\natural$ is an injection and thus provides an embedding of $\Re$ into $\mathbb{F}[a,b,c]\otimes U(\mathfrak{sl}_2)$. We use the injection to show that $\Re$ contains no zero divisors.

math.RA↗

arXiv2018

Algebraic Voting Theory & Representations of $S_m \wr S_n$

We consider the problem of selecting an $n$-member committee made up of one of $m$ candidates from each of $n$ distinct departments. Using an algebraic approach, we analyze positional voting procedures, including the Borda count, as $\mathbb{Q}S_m \wr S_n$-module homomorphisms. In particular, we decompose the spaces of voter preferences and election results into simple $\mathbb{Q}S_m \wr S_n$-submodules and apply Schur's Lemma to determine the structure of the information lost in the voting process. We conclude with a voting paradox result, showing that for sufficiently different weighting vectors, applying the associated positional voting procedures to the same set of votes can yield arbitrarily different election outcomes.

math.CO↗

arXiv2013

The algebra $U_q({\mathfrak{sl}_2})$ in disguise

We discuss a connection between the algebra $U_q({\mathfrak{sl}_2})$ and the tridiagonal pairs of $q$-Racah type. To describe the connection, let $x,y^{\pm 1},z$ denote the equitable generators for $U_q({\mathfrak{sl}_2})$. Let $U^\vee_q$ denote the subalgebra of $U_q({\mathfrak{sl}_2})$ generated by $x,y^{-1},z$. Using a tridiagonal pair of $q$-Racah type we construct two finite-dimensional $U^\vee_q$-modules. The constructions yield two nonstandard presentations of $U^\vee_q$ by generators and relations. These presentations are investigated in detail.

math.RT↗

arXiv2013

Tridiagonal pairs of $q$-Racah type, the double lowering operator $ψ$, and the quantum algebra $U_q(\mathfrak{sl}_2)$

Let \K denote an algebraically closed field and let V denote a vector space over \K with finite positive dimension. We consider an ordered pair of linear transformations A:V\to V,A*:V \to V that satisfy the following conditions:(i)Each of A,A* is diagonalizable;(ii)there exists an ordering {V_i}_{i=0}^d of the eigenspaces of A such that A*V_i\subseteq V_{i-1}+V_i+V_{i+1} for 0\leq i\leq d, where V_{-1}=0 and V_{d+1}=0;(iii)there exists an ordering {V*_i}_{i=0}^δof the eigenspaces of A* such that A V*_i\subseteq V*_{i-1}+V*_i+V*_{i+1} for 0\leq i\leqδ, where V*_{-1}=0 and V*_{δ+1}=0;(iv)there does not exist a subspace W of V such that AW\subseteq W,A*W\subseteq W,W\neq 0,W\neq V. We call such a pair a tridiagonal pair on V. It is known that d=δ; to avoid trivialities assume d\geq 1. We assume that A,A* belongs to a family of tridiagonal pairs said to have q-Racah type. This is the most general type of tridiagonal pair. Let {U_i}_{i=0}^d and {U_i^\Downarrow}_{i=0}^d denote the first and second split decompositions of V. In an earlier paper we introduced the double lowering operator ψ:V\to V. One feature of ψis that both ψU_i\subseteq U_{i-1} and ψU_i^\Downarrow\subseteq U_{i-1}^\Downarrow for 0\leq i\leq d. Define linear transformations K:V\to V and B:V\to V such that (K-q^{d-2i}I)U_i=0 and (B-q^{d-2i}I)U_i^\Downarrow=0 for 0\leq i\leq d. Our results are summarized as follows. Using ψ,K,B we obtain two actions of Uq(sl2) on V. For each of these Uq(sl2)-module structures, the Chevalley generator e acts as a scalar multiple of ψ. For each of the Uq(sl2)-module structures, we compute the action of the Casimir element on V. We show that these two actions agree. Using this fact, we express ψas a rational function of K^{\pm 1},B^{\pm 1} in several ways. Eliminating ψfrom these equations we find that K,B are related by a quadratic equation.

math.RA↗

arXiv2011

Two commuting operators associated with a tridiagonal pair

Let \K denote a field and let V denote a vector space over \K with finite positive dimension. We consider an ordered pair of linear transformations A:V\to V and A*:V \to V that satisfy the following four conditions: (i) Each of A,A* is diagonalizable; (ii) there exists an ordering {V_i}_{i=0}^d of the eigenspaces of A such that A*V_i\subseteq V_{i-1}+V_i+V_{i+1} for 0\leq i\leq d, where V_{-1}=0 and V_{d+1}=0; (iii) there exists an ordering {V*_i}_{i=0}^δ of the eigenspaces of A* such that AV*_i\subseteq V*_{i-1}+V*_i+V*_{i+1} for 0\leq i\leqδ, where V*_{-1}=0 and V*_{δ+1}=0; (iv) there does not exist a subspace W of V such that AW\subseteq W, A*W\subseteq W, W\neq0, W\neq V. We call such a pair a TD pair on V. It is known that d=δ; to avoid trivialities assume d\geq 1. We show that there exists a unique linear transformation Δ:V\to V such that (Δ-I)V*_i\subseteq V*_0+V*_1+...+V*_{i-1} and Δ(V_i+V_{i+1}+...+V_d)=V_0 +V_{1}+...+V_{d-i} for 0\leq i \leq d. We show that there exists a unique linear transformation Ψ:V\to V such that ΨV_i\subseteq V_{i-1}+V_i+V_{i+1} and (Ψ-Λ)V*_i\subseteq V*_0+V*_1+...+V*_{i-2} for 0\leq i\leq d, where Λ=(Δ-I)(θ_0-θ_d)^{-1} and θ_0 (resp θ_d) denotes the eigenvalue of A associated with V_0 (resp V_d). We characterize Δ,Ψin several ways. There are two well-known decompositions of V called the first and second split decomposition. We discuss how Δ,Ψact on these decompositions. We also show how Δ,Ψrelate to each other. Along this line we have two main results. Our first main result is that Δ,Ψcommute. In the literature on TD pairs there is a scalar βused to describe the eigenvalues. Our second main result is that each of Δ^{\pm 1} is a polynomial of degree d in Ψ, under a minor assumption on β.

math.RA↗