Abstract
We obtain stochastic duality functions for specific Markov processes using representation theory of Lie algebras. The duality functions come from the kernel of a unitary intertwiner between \(*\)-representations, which provides (generalized) orthogonality relations for the duality functions. In particular, we consider representations of the Heisenberg algebra and \(\mathfrak {su}(1,1)\). Both cases lead to orthogonal (self-)duality functions in terms of hypergeometric functions for specific interacting particle processes and interacting diffusion processes.
Similar content being viewed by others
1 Introduction
A very useful tool in the study of stochastic Markov processes is duality, where information about a specific process can be obtained from another, dual, process. The concept of duality was introduced in the context of interacting particle systems in [17], and was later on developed in [15]. For more applications of duality see e.g. [4, 6, 13, 18].
Two processes are in duality if there exists a duality function, i.e. a function of both processes such that the expectations with respect to the original process is related to the expectations with respect to the dual process (see Sect. 2 for a precise statement). Recently in [5, 16] orthogonal polynomials of hypergeometric type were obtained as duality functions for several families of stochastic processes, where the orthogonality is with respect to the corresponding stationary measures. These orthogonal polynomials contain the well-known simpler duality functions (in the terminology of [16], the classical and cheap duality functions) as limit cases. In [5], Franceschini and Giardinà use explicit relations between orthogonal polynomials of different degrees, such as raising and lowering formulas, to prove the stochastic duality. In [16], Redig and Sau find the orthogonal polynomials using generating functions. With a similar method they also obtain Bessel functions, which are not polynomials, as self-duality function for a continuous process.
The goal of this paper is to demonstrate an alternative method to obtain the orthogonal polynomials (and other ‘orthogonal’ functions) from [5, 16] as duality functions. The method we use is based on representation theory of Lie algebras. This is inspired by [3, 7], where representation theory of \(\mathfrak {sl}(2,{\mathbb {C}})\) and the Heisenberg algebra is used to find (non-orthogonal) duality functions, see also Sturm et al. [19] for a Lie algebraic approach to duality. Roughly speaking, the main idea is to consider a specific element Y in the Lie algebra (or better, enveloping algebra). Realized in two different, but equivalent, representations \(\rho \) and \(\sigma \), \(\rho (Y)\) and \(\sigma (Y)\) are the generators of two stochastic processes. In case of \(\mathfrak {sl}(2,{\mathbb {C}})\), Y is closely related to the Casimir operator. The duality functions come from an intertwiner between the two representations. In this paper we consider a similar construction with unitary intertwiners between \(*\)-representations, so that the duality functions will satisfy (generalized) orthogonality relations.
In Sect. 2 the general method to find duality functions from unitary intertwiners is described. In Sect. 3 the Heisenberg algebra is used to show duality and self-duality for the independent random walker process and a Markovian diffusion process. The self-duality of the diffusion process seems to be new. The (self-)duality functions are Charlier polynomials, Hermite polynomials and exponential functions. In Sect. 4 we consider discrete series representation of \(\mathfrak {su}(1,1)\), and obtain Meixner polynomials, Laguerre polynomials and Bessel functions as (self)-duality functions for the symmetric inclusion process and the Brownian energy process. We would like to point out that the self-duality functions are essentially the (generalized) matrix elements for a change of base between bases on which elliptic or parabolic Lie group / algebra elements act diagonally, see e.g. [2, 14], so in these cases stochastic self-duality is a consequence of a change of bases in the representation space.
1.1 Notations and Conventions
By \({\mathbb {N}}\) we denote the set of nonnegative integers. We often write f(x) for a function \(x\mapsto f(x)\); the distinction between the function and its values should be clear from the context. For functions \(x\mapsto f(x;p)\) depending on one or more parameters p, we often omit the parameters in the notation. For a set E, we denote by F(E) the vector space of complex-valued functions on E. \({\mathcal {P}}\) is the vector space consisting of polynomials in one variable.
We use standard notations for shifted factorials and hypergeometric functions as in e.g. [1]: for \(a \in {\mathbb {C}}\) and \(n \in {\mathbb {N}}\) the shifted factorial \((a)_n\) is defined by
and the hypergeometric series \({}_rF_s\) is defined by
See e.g. [1, Section 2.1] for convergence properties of this series. Note that if \(a_i \in -{\mathbb {N}}\) for some i, then the series is a finite sum.
2 Stochastic Duality Functions from Lie Algebra Representations
In this section we describe the method to obtain stochastic duality functions from \(*\)-representations of a Lie algebra. This method will be applied in explicit examples in Sects. 3 and 4 .
2.1 Stochastic Duality
Let \(X_1=\{\eta _1(t) \mid t>0\}\) and \(X_2= \{ \eta _2(t) \mid t>0\}\) be stochastic Markov processes with state spaces \(\Omega _1\) and \(\Omega _2\), respectively. These processes are in duality if there exists a duality function \(D:\Omega _1\times \Omega _2 \rightarrow {\mathbb {C}}\) such that for all \(t>0\), \(\eta _1\) and \(\eta _2\), the relation
holds, where \({\mathbb {E}}_\eta \) represents the expectation. If \(X_1=X_2\), the process is called self-dual. Let \(L_1\) and \(L_2\) be the infinitesimal generators of the two processes. Under appropriate conditions, see e.g. [10, Proposition 1.2], duality of the processes is equivalent to duality of the generators, i.e.
If \(L_1=L_2\), then the operator is self-dual.
In this paper, we consider processes with state space \(\Omega = E_1 \times \cdots \times E_N\), where each \(E_j\) is a subset of \({\mathbb {R}}\). Furthermore, the generators will be of the form
where \(L_{i,j}\) is an operator on \(F(E_i \times E_{j})\). This allows us to only consider operators acting on functions in two variables.
2.2 Lie Algebra Representations
Let \({\mathfrak {g}}\) be a finite dimensional complex Lie algebra, with basis elements \(X_1,\ldots ,X_n\) satisfying the commutation relations
for certain coefficients \(c_{ijk} \in {\mathbb {C}}\). The universal enveloping algebra \(U({\mathfrak {g}})\) is the associative algebra with unit element generated by \(X_1,\ldots , X_n\) subject to the relations
We assume \({\mathfrak {g}}\) has a \(*\)-structure, i.e. there exists an involution \(X \mapsto X^*\) such that
The \(*\)-structure of \({\mathfrak {g}}\) extends uniquely to a \(*\)-structure of \(U({\mathfrak {g}})\), i.e.
Let \(\rho \) be a representation of \({\mathfrak {g}}\) on the vector space F(E). We call \(\rho \) a \(*\)-representation of \({\mathfrak {g}}\) on \({\mathcal {H}}=L^2(E,\mu )\) with dense domain \({\mathcal {D}} \subseteq {\mathcal {H}}\), if \(\rho (X)\) is defined on \({\mathcal {D}}\) and \(\langle \rho (X)f,g\rangle = \langle f, \rho (X^*) g \rangle \) for all \(X \in {\mathfrak {g}}\) and all \(f,g \in {\mathcal {D}}\). A \(*\)-representation of \({\mathfrak {g}}\) extends uniquely to a \(*\)-representation of \(U({\mathfrak {g}})\) on \({\mathcal {H}}\) (with the same domain \({\mathcal {D}}\)).
If \(\rho _1\) and \(\rho _2\) are \(*\)-representations of \({\mathfrak {g}}\) on \({\mathcal {H}}_1\) and \({\mathcal {H}}_2\) respectively, then \(\rho \) defined by
is a \(*\)-representation of \({\mathfrak {g}}\) on \({\mathcal {H}}_1 \otimes {\mathcal {H}}_2\) (the Hilbert space completion of the algebraic tensor product of \({\mathcal {H}}_1\) and \({\mathcal {H}}_2\)). Furthermore, \(\rho \) can be considered as a representation of \(U({\mathfrak {g}})^{\otimes 2}\) by defining (slightly abusing notation)
We will often use the notation \(\rho =\rho _1\otimes \rho _2\).
Two \(*\)-representations \(\rho _1\) and \(\rho _2\) are unitarily equivalent if there exists a unitary operator \(\Lambda :{\mathcal {H}}_1 \rightarrow {\mathcal {H}}_2\) such that \(\Lambda ({\mathcal {D}}_1) = {\mathcal {D}}_2\) and \(\Lambda [\rho _1(X) f] = \rho _2(X) \Lambda (f)\) for all \(X \in {\mathfrak {g}}\) and \(f \in {\mathcal {D}}_1\).
Lemma 2.1
For \(j=1,2\), let \(\rho _j\) be representations of \({\mathfrak {g}}\) on \(F(E_j)\) and \(*\)-representations of \({\mathfrak {g}}\) on \(L^2(E_j,\mu _j)\) with domain \({\mathcal {D}}_j\). Suppose \(K:E_1 \times E_2 \rightarrow {\mathbb {C}}\) is a function with the following properties:
-
1.
\([\rho _1(X^*)K(\cdot ,y)](x) = [\rho _2(X) K(x,\cdot )](y)\) for all \(X \in {\mathfrak {g}}\) and \((x,y) \in E_1 \times E_2\).
-
2.
The operator \(\Lambda :{\mathcal {D}}_1 \rightarrow L^2(E_2,\mu _2)\) defined by
$$\begin{aligned} \Lambda f = \left( y \mapsto \int _{E_1} f(x) K(x,y)\, d\mu _1(x) \right) , \end{aligned}$$extends to a unitary operator \(\Lambda : L^2(E_1,\mu _1) \rightarrow L^2(E_2,\mu _2)\).
Then \(\rho _1\) and \(\rho _2\) are unitarily equivalent \(*\)-representations of \({\mathfrak {g}}\) with intertwiner \(\Lambda \).
Proof
This follows directly from
and
using property 1. \(\square \)
2.3 Duality from \(*\)-Representations
We are now ready to obtain duality functions for certain operators from the kernels of intertwining operators between \(*\)-representations.
Theorem 2.2
For \(j\in \{1,\ldots ,N\}\) let \(\rho _j\) and \(\sigma _j\) be unitarily equivalent \(*\)-representations of \({\mathfrak {g}}\) on \(L^2(E_j,\mu _j)\) and \(L^2(F_j,\nu _j)\), respectively, such that the corresponding unitary intertwiner \(\Lambda _j:L^2(E_j,\mu _j) \rightarrow L^2(F_j,\nu _j)\) is an integral operator as in Lemma 2.1, i.e.
for some kernel \(K_j:E_j\times F_j \rightarrow {\mathbb {C}}\) satisfying
Furthermore, let
and let \(\mu \) and \(\nu \) be the product measures on \(\Omega _1\) and \(\Omega _2\) given by
then \(\rho =\rho _1 \otimes \cdots \otimes \rho _N\) and \(\sigma =\sigma _1 \otimes \cdots \otimes \sigma _N\) are \(*\)-representations of \(U({\mathfrak {g}})^{\otimes N}\) on \(L^2(\Omega _1,\mu )\) and \(L^2(\Omega _2,\nu )\), respectively. For \(Y \in U({\mathfrak {g}})^{\otimes N}\), let \(L_1\) and \(L_2\) be the operators given by
Then \(L_1\) and \(L_2\) are in duality, with duality function given by
Proof
Write \(Y = \sum Y_{(1)} \otimes \cdots \otimes Y_{(N)}\), with \(Y_{(j)} \in U({\mathfrak {g}})\). It is enough to verify that
for \(j=1,2\). Since we have \(Y_{(j)}= Y_{j,1}Y_{j,2} \cdots Y_{j,k_j}\) for certain \(Y_{j,i} \in {\mathfrak {g}}\), the result follows from (2.2). \(\square \)
Remark 2.3
If the set \(\Omega _1\) in Theorem 2.2 is countable, then the set of duality functions \(\{D(x,\,\cdot \,\,)\mid x \in \Omega _1\}\) is an orthogonal basis of \(L^2(\Omega _2,\nu )\). Indeed, write
and define \(d_x(y)= \delta _{x,y}/w(x)\) for \(x,y \in \Omega _1\), then \(\{ d_x \mid x \in \Omega _1\}\) is an orthogonal basis for \(L^2(\Omega _1,\mu )\) with squared norm \(w(x)^{-1}\). Then by unitarity of \(\Lambda = \Lambda _1 \otimes \ldots \otimes \Lambda _N\) and \((\Lambda d_x)(y) = D(x,y)\) it follows that \(\{D(x,\cdot ) \mid x \in \Omega _1\}\) is an orthogonal basis for \(L^2(\Omega _2,\nu )\).
In the following sections we apply Theorem 2.2 using explicit representations in terms of difference operators or differential operators. \(L_1\) and \(L_2\) will be generators of specific processes, and \(\mu \) and \(\nu \) are corresponding stationary measures. In particular, \(L_1\) and \(L_2\) are self-adjoint operator on \(L^2(\Omega _1,\mu )\) and \(L^2(\Omega _2,\nu )\) respectively. The main problem is finding explicitly the appropriate intertwiner. The algebra element Y, which is self-adjoint in \(U({\mathfrak {g}})^{\otimes N}\), will always have a specific form corresponding to (2.1);
with \({\hat{Y}}\) a self-adjoint element in \(U({\mathfrak {g}})^{\otimes 2}\) and \(p_{i,j}\ge 0\). Here we use leg-numbering notation: for \(X=\sum X_{(1)} \otimes X_{(2)} \in U({\mathfrak {g}})^{\otimes 2}\) we denote by \(X_{i,j} \in U({\mathfrak {g}})^{\otimes N}\) the element
with \(X_{(1)}\) in the ith factor and \(X_{(2)}\) in the jth factor. In fact, we obtain duality between the operators \(\rho ({\hat{Y}}_{i,j})\) and \(\sigma ({\hat{Y}}_{i,j})\) corresponding to each of the terms of the sum in (2.3).
3 The Heisenberg Algebra
To illustrate how the method from the previous section is applied, we use the Heisenberg Lie algebra to obtain duality functions for two stochastic processes. Let us first describe the processes.
The independent random walker process IRW is a Markov jump process where particles move independently between N sites, and each site can contain an arbitrary number of particles. Particles jump from site i to site j with rate proportional to the number of particles \(n_i\) at site i. Let \(p_{i,j}\ge 0\). The generator of this process is the difference operator acting on appropriate function in \(F({\mathbb {N}}^N)\) given by
Here \(n^{i,j} = n+e_i-e_j\), where \(e_i\) the standard basis vector with 1 as ith component and all other component are 0.
The second process is a Feller diffusion process on \({\mathbb {R}}^N\) with a constant diffusion matrix, and a drift vector which is a function of the difference of pairs of coordinates. It can be considered as N Brownian motions which are attracted to each other with a rate proportional to their distances. The generator is a differential operator on appropriate functions in \(F({\mathbb {R}}^N)\) given by
where \(x \in {\mathbb {R}}^N\) and \(c>0\).
Note that both generators have the form (2.1).
The Heisenberg algebra \({\mathfrak {h}}\) is the Lie algebra with generators \(a,a^\dagger ,Z\) satisfying
The \(*\)-structure is given by \(a^*=a^\dagger \), \((a^\dagger )^*=a\) and \(Z^*=Z\). \({\mathfrak {h}}\) has a representation \(\rho _{c}\) with parameter \(c>0\) on \(F({\mathbb {N}})\) given by
where \(f(-1)=0\) by convention. Then \(\rho _{c}\) is a \(*\)-representation on the weighted \(L^2\)-space \({\mathcal {H}}_c = \ell ^2({\mathbb {N}},w_c)\) consisting of functions in \(F({\mathbb {N}})\) that have finite norm with respect to the inner product
\(\rho _c\) is an unbounded representation, with dense domain the set \(F_0({\mathbb {N}})\) consisting of finitely supported functions.
Define \(Y \in U({\mathfrak {h}})^{\otimes 2}\) by
This element gives us the relation with the system of independent random walkers.
Lemma 3.1
For \(c>0\), let \(\rho \) be the tensor product representation \(\rho = \rho _{c} \otimes \cdots \otimes \rho _{c}\) of \({\mathfrak {h}}\) on \({\mathcal {H}}_c^{\otimes N}\), then
Proof
It suffices to consider \((\rho _{c} \otimes \rho _{c}) (Y)\) acting on functions in two variables \(n_1\) and \(n_2\). From (3.4) and (3.5) we find
This corresponds to the term \((i,j)=(1,2)\) in (3.1). \(\square \)
Remark 3.2
We can also consider the tensor product representation \(\rho _{c_1} \otimes \cdots \otimes \rho _{c_N}\) with (possibly) \(c_i \ne c_j\). This leads to a generator of a Markov process depending on N different parameters. However, to prove self-duality it seems crucial to assume \(c_i=c\) for all i, see Lemma 3.5 later on.
3.1 Charlier Polynomials and Self-Duality of IRW
The Charlier polynomials [11, Section 9.14] are defined by
They form an orthogonal basis for \(\ell ^2({\mathbb {N}}, w_c)\), with orthogonality relations
and they have the following raising and lowering property,
They are self-dual, i.e. \(C_n(x;c)= C_x(n;c)\).
Let us consider the actions of a and \(a^\dagger \) on the Charlier polynomials
The reason for this normalization is to obtain a unitary intertwiner with C(n, x; c) as a kernel later on. For notational convenience we will often omit the dependence on c in the notation; \(C(n,x)=C(n,x;c)\). Using the raising and lowering properties (3.6) we obtain
Note that the actions on the x-variable are similar to the actions of \(Z-a\) and \(Z-a^\dagger \) in the n-variable. This motivates the definition of the following isomorphism.
Lemma 3.3
The assignments
extend uniquely to a Lie algebra isomorphism \(\theta :{\mathfrak {h}} \rightarrow {\mathfrak {h}}\).
Proof
The proof consists of checking the commutation relations (3.3), which is a straightforward computation. \(\square \)
Note that by Lemma 3.3 and (3.7)
Furthermore, \(\theta \) preserves the \(*\)-structure, i.e. \(\theta (X^*) = \theta (X)^*\). Clearly, \(\rho _c\circ \theta \) is again a \(*\)-representation of \({\mathfrak {h}}\) on \({\mathcal {H}}_c\). We will use the Charlier polynomials to construct a unitary intertwiner between \(\rho _c\) and \(\rho _c \circ \theta \).
Proposition 3.4
Define the operator \(\Lambda :F_0({\mathbb {N}})\rightarrow F({\mathbb {N}})\) by
then \(\Lambda \) extends to a unitary operator \(\Lambda :{\mathcal {H}}_c \rightarrow {\mathcal {H}}_c\), and intertwines \(\rho _c\) with \(\rho _c\circ \theta \). Furthermore, the kernel C(n, x) satisfies
Proof
The cheap duality functions \(\delta _m(n) = \frac{ \delta _{m,n} }{w_c(n)}\) form an orthogonal basis for \({\mathcal {H}}_c\) with squared norm \(\Vert \delta _m\Vert ^2 = \frac{1}{w_c(m)}\). Applying \(\Lambda \) to \(\delta _m\) gives
From the orthogonality relations for the Charlier polynomials we find that the squared norm of C(m, x) is \(\Vert C(m,\cdot )\Vert ^2 = \frac{1}{w_c(m)}\). So \(\Lambda \) maps an orthogonal basis to another orthogonal basis with the same norm, hence \(\Lambda \) is unitary.
To apply Lemma 2.1 we need to verify that (3.8) is satisfied. It is enough to do this for \(X = a, a^\dagger , Z\). Using (3.7) and \(a^*=a^\dagger \) we see that
The action of Z is clear. Now the result follows from the definition of \(\theta \), see Lemma 3.3.
\(\square \)
We are almost ready to prove self-duality for IRW, but first we need to know the image of Y, see (3.5), under the isomorphism \(\theta \otimes \theta \).
Lemma 3.5
The following identity in \(U({\mathfrak {h}})^{\otimes 2}\) holds:
with
In the representation \(\rho _c \otimes \rho _c\), the element R is the zero operator on \({\mathcal {H}}_c \otimes {\mathcal {H}}_c\).
Proof
After a somewhat tedious computation using the definition of \(\theta \) in Lemma 3.3, we find the explicit expression for \(\theta \otimes \theta (Y)\). Using \(\rho _c(Z) = c\, \mathrm {Id}\) it follows that \(\rho _c \otimes \rho _c (R) = 0\). \(\square \)
We can now apply Theorem 2.2 with \(\rho =\rho _{c} \otimes \cdots \otimes \rho _{c}\) and \(\sigma =\rho \circ (\theta \otimes \cdots \otimes \theta )\). Using Lemma 3.5 we find \(\sigma (Y_{i,j})=\rho (Y_{i,j})\), and then it follows that \(\sum p_{i,j} \sigma (Y_{i,j}) = L^{\mathrm {IRW}}\), see Lemma 3.1. So we obtain the well-known self-duality of the independent random walker process. Here the duality function is a product of Charlier polynomials.
Theorem 3.6
The operator \(L^{\mathrm {IRW}}\) given by (3.1) is self-dual, with duality function
Remark 3.7
The intertwining operator \(\Lambda : {\mathcal {H}}_c \rightarrow {\mathcal {H}}_c\) maps the orthogonal basis of cheap duality functions to an orthogonal basis of Charlier polynomials (see the proof of Proposition 3.4), so \(\Lambda \) can be considered as a change of basis for \({\mathcal {H}}_c\). In this sense the self-duality functions in Theorem 3.6 are the matrix elements of a change of base in \({\mathcal {H}}_c^{\otimes N}\).
3.2 Hermite Polynomials and Duality Between IRW and the Diffusion Process
The Hermite polynomials [11, Section 9.15] are defined by
They form an orthogonal basis for \(L^2({\mathbb {R}}, e^{-x^2} dx)\), with orthogonality relations
and they have the following lowering and raising properties
With the lowering and raising operators for the Hermite polynomials we can realize a and \(a^\dagger \) as differential operators. We define
Using the representation \(\rho \) (3.4) and the differential operators (3.9) we find the following result.
Lemma 3.8
The Hermite polynomials \(H(n,x)=H(n,x;c)\) satisfy
Next we define an unbounded \(*\)-representation \(\sigma _c\) of \({\mathfrak {h}}\) on the Hilbert space \(\mathrm H_c= L^2({\mathbb {R}}, w(x;c)dx)\), where
The Hermite polynomials H(n, x) form an orthogonal basis for \(\mathrm H_c\), with squared norm \(\Vert H(n,\cdot )\Vert ^2 = \frac{1}{w_c(n)}\). We define the representation \(\sigma _c\) by
As a dense domain we take the set of polynomials \({\mathcal {P}}\).
Proposition 3.9
Define \(\Lambda :F_0({\mathbb {N}})\rightarrow F({\mathbb {R}})\) by
then \(\Lambda \) extends to a unitary operator \(\Lambda :{\mathcal {H}}_c \rightarrow \mathrm H_c\) intertwining \(\rho _c\) with \(\sigma _c\). Furthermore, the kernel H(n, x) satisfies
Proof
Unitarity of \(\Lambda \) is proved in the same way as in Proposition 3.4. The intertwining property for the kernel follows from Lemma 3.8. Lemma 2.1 then shows that \(\Lambda \) intertwines \(\rho _c\) and \(\sigma _c\). \(\square \)
Similar as in Lemma 3.1 we find that the generator \(L^{\mathrm {DIF}}\) defined by (3.2) is the realization of Y defined by (3.5) on the Hilbert space \(\mathrm H_{c}^{\otimes N}\).
Lemma 3.10
For \(c >0\) define \(\sigma = \sigma _{c}\otimes \cdots \otimes \sigma _{c}\), then
Finally, applying Theorem 2.2 we obtain duality between \(L^{\mathrm {IRW}}\) and \(L^{\mathrm {DIF}}\), with duality function given by Hermite polynomials.
Theorem 3.11
\(L^{\mathrm {IRW}}\) and \(L^{\mathrm {DIF}}\) are in duality, with duality function given by
Remark 3.12
This duality between \(L^{\mathrm {IRW}}\) and \(L^{\mathrm {DIF}}\) was also obtained in [7, Remark 3.1], but Hermite polynomials are not mentioned there. Hermite polynomials of even degree have appeared as duality functions in [5, §4.1.1]; this can be considered as a special case of duality involving Laguerre polynomials, see [5, §4.2.1] or Theorem 4.15.
3.3 The Exponential Function and Self-Duality of the Diffusion Process
To show self-duality of the differential operator \(L^{\mathrm {DIF}}\), the following isomorphism is useful.
Lemma 3.13
The assignments
extend uniquely to a Lie algebra isomorphism \(\theta :{\mathfrak {h}} \rightarrow {\mathfrak {h}}\).
Proof
We just need to check commutation relations, which is a direct calculation. \(\square \)
Observe that in the representation \(\sigma _c\), \(\theta (a)\) and \(\theta (a^\dagger )\) are the operators
The kernel of the (yet to be defined) intertwining operator is the exponential function
Lemma 3.14
The function \(\phi (x,y)=\phi (x,y;c)\) satisfies
Proof
From
we obtain
Using symmetry in x and y, we find
\(\square \)
Now we can show that the integral operator with \(\phi \) as a kernel is the desired intertwining operator.
Proposition 3.15
Define \(\Lambda :{\mathcal {P}}\rightarrow F({\mathbb {R}})\) by
then \(\Lambda \) extends to a unitary operator \(\Lambda : \mathrm H_c \rightarrow \mathrm H_c\) intertwining \(\sigma _c\) with \(\sigma _c\). Furthermore, the kernel \(\phi (x,y)\) satisfies
Proof
Unitarity of \(\Lambda \) follows from unitarity of the Fourier transform. From Lemma 3.14 we find
which proves the result, since \(\theta \) is an isomorphism. \(\square \)
By applying Theorem 2.2 and using Lemma 3.10 we obtain self-duality of \(L^{\mathrm {DIF}}\) (3.2).
Theorem 3.16
\(L^{\mathrm {DIF}}\) is self-dual, with duality function given by
4 The Lie Algebra \(\varvec{\mathfrak {su}}(1,1)\)
In this section we use the Lie algebra \(\mathfrak {su}(1,1)\) to find duality functions for two stochastic processes. The first one is the symmetric inclusion process SIP(k), \(k \in {\mathbb {R}}_{>0}^N\), which is a Markov jump process on N sites, where each site can contain an arbitrary number of particles. Jumps between two sites, say i and j, occur at a rate proportional to the number of particles \(n_i\) and \(n_j\). Let \(p_{i,j}\ge 0\). The generator of this process is given by
with \(n=(n_1,\ldots ,n_N) \in {\mathbb {N}}^N\).
The second process is the Brownian energy process BEP(k), \(k \in {\mathbb {R}}_{>0}^N\), which is a Markov diffusion process that describes the evolution of a system of N particles that exchange energies. The energy of particle i is \(x_i>0\). The generator is given by
with \(x=(x_1,\ldots ,x_N) \in {\mathbb {R}}_{>0}^N\).
The Lie algebra \(\mathfrak {sl}(2,{\mathbb {C}})\) is generated by H, E, F with commutation relations
The Lie algebra \(\mathfrak {su}(1,1)\) is \(\mathfrak {sl}(2,{\mathbb {C}})\) equipped with the \(*\)-structure
The Casimir element \(\Omega \) is a central self-adjoint element of the universal enveloping algebra \(U\big (\mathfrak {su}(1,1)\big )\) given by
Note that \(\Omega ^*=\Omega \).
We consider the following representation of \(\mathfrak {su}(1,1)\). Let \(k>0\) and \(0<c<1\). The representation space is the weighted \(L^2\)-space \({\mathcal {H}}_{k,c}=\ell ^2({\mathbb {N}},w_{k,c})\) consisting of functions on \({\mathbb {N}}\) which have finite norm with respect to the inner product
The actions of the generators are given by
where \(f(-1)=0\) by convention. This defines an unbounded \(*\)-representation on \({\mathcal {H}}_{k,c}\), with dense domain \(F_0({\mathbb {N}})\). Note that \([\pi _{k,c}(\Omega ) f](n) = 2k(k-1) f(n)\).
Remark 4.1
For \(0<c_1,c_2<1\) define a unitary operator \(I:{\mathcal {H}}_{k,c_1}\rightarrow {\mathcal {H}}_{k,c_2}\) by
Then \(I\circ \pi _{k,c_1} = \pi _{k,c_2} \circ I\), so for fixed \(k>0\) all representations \(\pi _{k,c}\), \(0<c<1\), are unitarily equivalent (we can even take \(c \ge 1\) if we omit the factor \((1-c)^{2k}\) from the weight function \(w_{k,c}\)). From here on we assume that c is a fixed parameter, and just write \(\pi _k\) and \({\mathcal {H}}_k\) instead of \(\pi _{k,c}\) and \({\mathcal {H}}_{k,c}\).
The generator \(L^{\mathrm {SIP}}\) is related to the Casimir \(\Omega \). Recall that the coproduct \(\Delta \) is given by \(\Delta (X) = 1\otimes X + X \otimes 1\), and \(\Delta \) extends as an algebra morphism to \(U(\mathfrak {su}(1,1))\). This gives
We set
The relation to the symmetric inclusion process is as follows.
Lemma 4.2
For \(k=(k_1,\ldots ,k_N) \in {\mathbb {R}}_{>0}^N\) define \(\pi _k = \pi _{k_1}\otimes \cdots \otimes \pi _{k_N}\), then
Proof
Consider \(L_{1,2}= \pi _{k_1}\otimes \pi _{k_2}(Y)+2k_1k_2\). It suffices to show that \(L_{1,2}\) gives the term \((i,j) = (1,2)\) in (4.1). From (4.5) and (4.4) we find that \(L_{1,2}\) acts on \(f \in {\mathcal {H}}_{k_1} \otimes {\mathcal {H}}_{k_2}\) by
which is the required expression. \(\square \)
In order to obtain duality functions we consider eigenfunctions of the following self-adjoint element as in [12]:
Depending on the value of a this is either an elliptic element (\(|a|>1\)), parabolic element (\(|a|=1\)), or hyperbolic element (\(|a|<1\)), corresponding to the associated one-parameter subgroups in \(\mathrm {SU}(1,1)\).
4.1 Meixner Polynomials and Self-Duality for SIP
The Meixner polynomials [11, Section 9.10] are defined by
These are self-dual: \(M_n(x;\beta ,c) = M_x(n;\beta ,c)\) for \(x \in {\mathbb {N}}\). For \(\beta >0\) and \(0<c<1\), the Meixner polynomials are orthogonal with respect to a positive measure on \({\mathbb {N}}\),
and the polynomials form a basis for the corresponding Hilbert space. The three-term recurrence relation for the Meixner polynomials is
Using the self-duality this also gives a difference equation in the x-variable for the Meixner polynomials.
We set \(a(c) = \frac{1+c}{2\sqrt{c}}\), so that \(a(c)>1\). The action of
on \(f \in {\mathcal {H}}_{k}\) is given by
Eigenfunctions can be given in terms of the Meixner polynomials
Lemma 4.3
The Meixner polynomials \(M(n,x)=M(n,x;k,c)\) are eigenfunctions of \(\pi _k(X_{a(c)})\), i.e.
Proof
This follows from the three-term recurrence relation for the Meixner polynomials.
\(\square \)
Using the difference equation for the Meixner polynomials, we can realize H as a difference operator acting on M(n, x) in the x-variable.
Lemma 4.4
The following identity holds:
Proof
We use the difference equation for M(n, x), which is, by self-duality, equivalent to the three-term recurrence relation:
Since \([\pi _k(H)M(\cdot ,x)](n) = 2(k+n) M(n,x)\) the result follows. \(\square \)
With the actions of \(X_{a(c)}\) and H on Meixner polynomials, it is possible to express E and F acting on M(n, x) as three-term difference operators in the variable x. This leads to a representation by difference operators in x, in which the basis elements H, E and F all act by three-term difference operators. Having actions of H, E and F, we can express, after a large computation, \(\Delta (\Omega )\) in terms of difference operators in two variables \(x_1\) and \(x_2\). We prefer, however, to work with a simpler representation in which H acts as a multiplication operator, and E and F as one-term difference operators. Note that the action of \(X_{a(c)}\) in the x-variable corresponds up to a constant to the action of H in the n-variable, i.e. it is a multiplication operator. We can make a new \(\mathfrak {sl}(2,{\mathbb {C}})\)-triple with \(X_{a(c)}\) playing the role of H. The following result from [8, §3.2], where it is proved using conjugation with a group element, gives the corresponding isomorphism.
Lemma 4.5
Define elements \(H_c, E_c, F_c \in \mathfrak {su}(1,1)\) by
then the assignments
extend to a Lie algebra isomorphism \(\theta _c: \mathfrak {su}(1,1) \rightarrow \mathfrak {su}(1,1)\) with inverse \((\theta _c)^{-1} = \theta _{c }\). Furthermore, \(\theta _c(\Omega ) = \Omega \).
Proof
To show that \(\theta _c\) defines a Lie algebra homomorphism we need to check the commutation relations, which is a straightforward computation. The matrix of \(\theta _c\) with respect to the basis \(\{H,E,F\}\) is
To show that \((\theta _c)^{-1} = \theta _c\), or equivalently \((\theta _c)^2 = \mathrm {Id}\), it suffices to check that the square of this matrix is the identity matrix. Again, this is a straightforward calculation. \(\square \)
Note that \(\theta _c\) preserves the \(*\)-structure, i.e. \(\theta _c(X^*) = \theta _c(X)^*\).
Observe that \(H_c = \frac{2\sqrt{c}}{c-1}X_{a(c)}\), so we defined \(H_c\) in such a way that
By Lemma 4.5,
This gives
which shows that we can express \(E_c\) and \(F_c\) completely in terms of \(H_c\) and H. This allows us to write down explicit actions of \(E_c\) and \(F_c\) acting on M(n, x) in the x-variable. This then shows that M(n, x) has the desired intertwining properties.
Lemma 4.6
The functions M(n, x) satisfy
Proof
We already know the action of \(H_c\). Using (4.8) and Lemma 4.4 for the action of H we find
which gives the actions of \(E_c\) and \(F_c\). \(\square \)
Now we are ready to define the intertwiner.
Proposition 4.7
The operator \(\Lambda :F_0({\mathbb {N}}) \rightarrow F({\mathbb {N}})\) defined by
extends to a unitary operator \(\Lambda :{\mathcal {H}}_k \rightarrow {\mathcal {H}}_k\), and intertwines \(\pi _k\) with \(\pi _k\circ \theta _{c}\). Furthermore, the kernel M(n, x) satisfies
Proof
Unitarity follows from the orthogonality relations and completeness of the Meixner polynomials. The properties of the kernel follow from Lemma 4.6. \(\square \)
For \(j=1,\ldots ,N\) assume \(k_j>0\) . From Proposition 4.7 we find unitary equivalence for tensor product representations,
Using \(\theta _{c}\otimes \theta _c \circ \Delta = \Delta \circ \theta _c\) and \(\theta _c(\Omega ) = \Omega \), we see that, as in Lemma 4.2, the right-hand-side applied to \(\sum p_{i,j}[Y_{i,j}-2k_ik_j]\) is the generator \(L^{\mathrm {SIP}}\). Applying Theorem 2.2 then leads to self-duality of \(L^{\mathrm {SIP}}\) (4.1), i.e. self-duality of the symmetric inclusion process SIP(k).
Theorem 4.8
The operator \(L^{\mathrm {SIP}}\) defined by (4.1) is self-dual, with duality function
Remark 4.9
The Lie algebra \(\mathfrak {su}(2)\) is \(\mathfrak {sl}(2,{\mathbb {C}})\) equipped with the \(*\)-structure defined by \(H^*=H, E^*=F\). It is well known that \(\mathfrak {su}(2)\) has only finite dimensional irreducible \(*\)-representations. These can formally be obtained from the \(\mathfrak {su}(1,1)\) discrete series representation (4.4) by setting \(k=-j/2\) for some \(j \in {\mathbb {N}}\), where \(j+1\) is the dimension of the corresponding representation space. If we make the corresponding substitution \(k_i=-j_i/2\) in the generator (4.1) of the symmetric inclusion process, we obtain the generator of the symmetric exclusion process SEP on N sites where site i can have at most \(j_i\) particles. Making a similar substitution in Theorem 4.8 we find self-duality of SEP, with duality function given by a product of Krawtchouk polynomials.
4.2 Laguerre Polynomials and Duality Between SIP and BEP
The Laguerre polynomials [11, Section 9.12] are defined by
They form an orthogonal basis for \(L^2([0,\infty ), x^\alpha e^{-x}dx)\), with orthogonality relations given by
The three-term recurrence relation is
and the differential equation is
We consider the action of the parabolic Lie algebra element \(X_1 = -H+E-F\),
Using the three-term recurrence relation for the Laguerre polynomials
we find the following result.
Lemma 4.10
The Laguerre polynomials \(L(n,x) = L(n,x;k)\) are eigenfunctions of \(\pi _k(X_1)\),
Just as we did in the elliptic case, we can define an algebra isomorphism that will be useful. In this case, the element \(X_1\) corresponds to the generator E.
Lemma 4.11
The assignments
extend to a Lie algebra isomorphism \(\theta :\mathfrak {sl}(2,{\mathbb {C}}) \rightarrow \mathfrak {sl}(2,{\mathbb {C}})\). Furthermore, \(\theta (\Omega )=\Omega \).
Note that \(\theta (E)=\frac{i}{2}X_1\). Furthermore, \(\theta \) does not preserve the \(\mathfrak {su}(1,1)\)-\(*\)-structure, i.e. \(\theta (X^*) \ne \theta (X)^*\) in general. However, we can define another \(*\)-structure on \(\mathfrak {sl}(2,{\mathbb {C}})\) by \(\star = \theta ^{-1} \circ * \circ \theta \), then
which is the \(*\)-structure of \(i\mathfrak {sl}(2,{\mathbb {R}})\). Next we determine the actions of the generators on the Laguerre polynomials.
Lemma 4.12
The Laguerre polynomials L(n, x) satisfy
Proof
The action of \(\theta (E)\) is Lemma 4.10. From the differential equation for Laguerre polynomials we find
By linearity \(\pi _k(H)\) extends to a differential operator acting on polynomials. Then the action of \(\theta (H)\) is obtained from the identity \(\theta (H)=E+F= -\frac{1}{2}[X_1,H]\). Finally, the action of \(\theta (F)\) follows from \(\theta (F) = \theta (E) + iH\). \(\square \)
Next we define an unbounded representation \(\sigma _k\) of \(\mathfrak {sl}(2,{\mathbb {C}})\) on \(\mathrm H_k \!\!=\! L^2([0,\infty ), w(x;k)dx)\), where
As a dense domain we take the set of polynomials \({\mathcal {P}}\). The representation \(\sigma _k\) is defined on the generators H, E, F by
Note that this is not a \(*\)-representation of \(\mathfrak {su}(1,1)\), but \(\sigma _k \circ \theta ^{-1}\) is. Equivalently, \(\sigma _k\) is a \(*\)-representation on \(\mathrm H_k\) with respect to the \(*\)-structure defined by (4.9). In the following lemma we give the intertwiner between \(\pi _k\) and \(\sigma _k\circ \theta ^{-1}\). The proof uses Lemma 4.12 and orthogonality and completeness of the Laguerre polynomials.
Proposition 4.13
The operator \(\Lambda :F_0({\mathbb {N}}) \rightarrow F([0,\infty ))\) defined by
extends to a unitary operator \(\Lambda :{\mathcal {H}}_k \rightarrow \mathrm H_k\) intertwining \(\pi _k\) with \(\sigma _k\circ \theta ^{-1}\). Furthermore, the kernel L(n, x) satisfies
For \(j=1,\ldots ,N\) let \(k_j>0\), and define
which is a \(*\)-representation of \(\mathfrak {su}(1,1)\) on \(\bigotimes _{j=1}^n H_{k_j}\). The counterpart of Lemma 4.2 for the representation \(\sigma _k\) is as follows.
Lemma 4.14
The generator \(L^{\mathrm {BEP}}\) given by (4.2) satisfies
where Y is given by (4.5).
Proof
Using \(\theta \otimes \theta \circ \Delta = \Delta \circ \theta \) and \(\theta (\Omega )=\Omega \), we see that \((\theta \otimes \theta )(Y)=Y\). It is enough to calculate \(\sigma _{k_1} \otimes \sigma _{k_2}(Y)\). Using (4.5) and (4.10) we find
which corresponds to the term with \((i,j) = (1,2)\) in (4.2). \(\square \)
Finally, application of Theorem 2.2 gives duality between the symmetric inclusion process SIP(k) and the Brownian energy process BEP(k).
Theorem 4.15
The operators \(L^{\mathrm {SIP}}\) defined by (4.1) and \(L^{\mathrm {BEP}}\) defined by (4.2) are in duality, with duality function
4.3 Bessel Functions and Self-Duality of BEP
The Bessel function of the first kind [1, Chapter 4] is defined by
The function \(J_\nu (xy)\) is an eigenfunction of a second-order differential operator;
The Hankel transform is a unitary operator \({\mathcal {F}}_\nu : L^2([0,\infty ),x dx) \rightarrow L^2([0,\infty ),ydy)\) defined by
for suitable functions f, and the inverse is given by \({\mathcal {F}}_\nu ^{-1} = {\mathcal {F}}_\nu \).
Let \(k>0\). We consider the second-order differential operator \(\sigma _k(F)\), see (4.10). Using the differential equation for the Bessel functions, we can find eigenfunctions of \(\sigma _k(F)\) in terms of the Bessel functions
We can also determine the actions of H and E on the eigenfunctions.
Lemma 4.16
The Bessel functions \(J(x,y)=J(x,y;k)\) satisfy
Proof
The action of F follows from the differential equation for the Bessel functions. We have
then using the self-duality of the Bessel functions, i.e. symmetry in x and y, we obtain the action of E. Finally, having the actions of E and F, we find the action of H from \(H=[E,F]\). \(\square \)
Using the Hankel transform we can now define a unitary intertwiner with a kernel that has the desired properties.
Proposition 4.17
The operator \(\Lambda :{\mathcal {P}} \rightarrow F([0,\infty ))\) defined by
extends to a unitary operator \(\Lambda :\mathrm H_k \rightarrow \mathrm H_k\) intertwining \(\sigma _k\) with itself. Furthermore, the kernel satisfies
Proof
Since the set of polynomials \({\mathcal {P}}\) is dense in \(\mathrm H_k\), it is enough to define \(\Lambda \) on \({\mathcal {P}}\). Unitarity of \(\Lambda \) is essentially unitarity of the Hankel transform \({\mathcal {F}}_{2k-1}\). The intertwining property follows directly from Lemma 4.16. \(\square \)
Note that \(\Lambda \) intertwines between \(*\)-representation with respect to the \(*\)-structure given by (4.9). Equivalently, \(\Lambda \) intertwines \(\sigma \circ \theta ^{-1}\) with itself, which is a \(*\)-representation with respect to the \(\mathfrak {su}(1,1)\)-\(*\)-structure.
Let \(k \in {\mathbb {R}}_{>0}^N\), and consider the tensor product representation \(\sigma _k\) defined by (4.11). Then from Proposition 4.17, Lemma 4.14 and Theorem 2.2 we obtain self-duality of the Brownian energy process BEP(k).
Theorem 4.18
The operator \(L^{\mathrm {BEP}}\) given by (4.2) is self-dual, with duality function given by
4.4 More Duality Relations
The Meixner polynomials from Sect. 4.1 can be considered as overlap coefficients between eigenvectors of the elliptic Lie algebra element H and another elliptic element \(X_{a(c)}\). There is a similar interpretation as overlap coefficients for the Laguerre polynomials (elliptic H - parabolic \(X_1\)) and Bessel functions (parabolic \(X_1\) - parabolic \(X_{-1}\)). So far we did not consider overlap coefficients involving a hyperbolic Lie algebra element, because there does not seem to be an interpretation in this setting for the element Y from (4.5) as generator for a Markov process. However, the construction we used still works and leads to duality as operators between \(L^{\mathrm {SIP}}\) or \(L^{\mathrm {BEP}}\) and a difference operator \(L^{\mathrm {hyp}}\) defined below, which may be of interest. We will give the main ingredients for duality between \(L^{\mathrm {SIP}}\) and \(L^{\mathrm {hyp}}\) in case \(N=2\) using overlap coefficients between elliptic and hyperbolic bases, which can be given in terms of Meixner–Pollaczek polynomials, see also [9, 12].
The Meixner–Pollaczek polynomials [11, Section 9.7] are defined by
The orthogonality relations are
and the Meixner–Pollaczek polynomials form an orthogonal basis for the corresponding weighted \(L^2\)-space. The three-term recurrence relations is
and the difference equation is
We also need the representation \(\rho _k\) on \(\mathrm {H}_k^\phi =L^2({\mathbb {R}}, w_k^\phi (x)dx)\), with weight function
given by
Now define an operator \(L^{\mathrm {hyp}}\) on an appropriate dense subspace of \(\mathrm {H}_{k_1}^{\phi } \otimes \mathrm {H}_{k_2}^\phi \) by
where Y is given by (4.5), then we see that \(L^{\mathrm {hyp}}\) is the difference operator given by
In order to obtain a duality relation, we use the Lie algebra isomorphism \(\theta _\phi : \mathfrak {sl}(2,{\mathbb {C}}) \rightarrow \mathfrak {sl}(2,{\mathbb {C}})\) defined by
Note that \(\theta _\phi (H) = \frac{i}{\sin \phi }X_{\cos \phi }\), see (4.6), which is a hyperbolic Lie algebra element. The isomorphism does not preserve the \(\mathfrak {su}(1,1)\)-\(*\)-structure, but we have \(\theta _\phi (X^*) = \theta _\phi (X)^\star \), see (4.9). Now consider the functions
Using \(H= \frac{-i}{\sin \phi } ( \cos \phi (\theta _\phi (H)) - \theta _\phi (E) - \theta _\phi (F))\), the three-term recurrence relation and the difference equation, one finds
so that
Then we can construct a unitary intertwiner between \(\pi _k\circ \theta _\phi \) and \(\rho _k\) with P(x, n) as a kernel, but we do not actually need the intertwiner, since the kernel is enough to state the duality result. Using \(\theta _\phi (\Omega )=\Omega \) we obtain duality between the operators \(L^{\mathrm {SIP}}\) and \(L^{\mathrm {hyp}}\), with duality function given by the product
In a similar way we can find duality between \(L^{\mathrm {BEP}}\) and \(L^{\mathrm {hyp}}\) in terms of Laguerre functions, and also self-duality for \(L^{\mathrm {hyp}}\) in terms of Meixner–Pollaczek functions.
References
Andrews, G.E., Askey, R., Roy, R.: Special Functions, Encycl. Math. Appl., vol. 71. Cambridge Univ. Press, Cambridge (1999)
Basu, D., Wolf, K.B.: The unitary irreducible representations of \(\rm SL(2,{\mathbb{R}})\) in all subgroup reductions. J. Math. Phys. 23(2), 189–205 (1982)
Carinci, G., Giardinà, C., Giberti, C., Redig, F.: Dualities in population genetics: a fresh look with new dualities. Stoch. Process. Appl. 125(3), 941–969 (2015)
Corwin, I.: Two ways to solve ASEP. In: Topics in Percolative and Disordered Systems. Springer Proc. Math. Stat., vol. 69, pp. , 1–13. Springer, New York (2014)
Franceschini, C., Giardinà, C.: Stochastic duality and orthogonal polynomials. arXiv:1701.09115 [math.PR]
Giardinà, C., Kurchan, J., Redig, F.: Duality and exact correlations for a model of heat conduction. J. Math. Phys. 48(3), 033301 (2007)
Giardinà, C., Kurchan, J., Redig, F., Vafayi, K.: Duality and hidden symmetries in interacting particle systems. J. Stat. Phys. 135(1), 25–55 (2009)
Groenevelt, W., Koelink, E.: Meixner functions and polynomials related to Lie algebra representations. J. Phys. A 35(1), 65–85 (2002)
Groenevelt, W., Koelink, E., Rosengren, H.: Continuous Hahn functions as Clebsch-Gordan coefficients. In: Theory and Applications of Special Functions. Dev. Math., vol. 13, pp. 221–284. Springer, New York (2005)
Jansen, S., Kurt, N.: On the notion(s) of duality for Markov processes. Probab. Surv. 11, 59–120 (2014)
Koekoek, R., Lesky, P.A., Swarttouw, R.: Hypergeometric Orthogonal Polynomials and Their q-Analogues. Springer Monographs in Mathematics. Springer, Berlin (2010)
Koelink, H.T., Van der Jeugt, J.: Convolutions for orthogonal polynomials from Lie and quantum algebra representations. SIAM J. Math. Anal. 29, 794–822 (1998)
Kipnis, C., Marchioro, C., Presutti, E.: Heat flow in an exactly solvable model. J. Stat. Phys. 27(1), 65–74 (1982)
Koornwinder, T.H.: Group theoretic interpretations of Askey’s scheme of hypergeometric orthogonal polynomials. In: Orthogonal Polynomials and Their Applications (Segovia, 1986). Lecture Notes in Math., vol. 1329, pp. 46–72. Springer, Berlin (1988)
Liggett, T.M.: Interacting Particle Systems. Classics in Mathematics. Springer, Berlin (2005) (Reprint of the 1985 original)
Redig, F., Sau, F.: Duality functions and stationary product measures. arXiv:1702.07237 [math.PR]
Spitzer, F.: Interaction of Markov processes. Adv. Math. 5, 246–290 (1970)
Spohn, H.: Long range correlations for stochastic lattice gases in a nonequilibrium steady state. J. Phys. A 16(18), 4275–4291 (1983)
Sturm, A., Swart, J.M., Völlering, F.: The algebraic approach to duality: an introduction. arXiv:1802.07150 [math.PR]
Acknowledgements
I thank Gioia Carinci, Chiara Franceschini, Cristian Giardinà and Frank Redig for very helpful discussions and giving valuable comments and suggestions.
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
Open Access This article is distributed under the terms of the Creative Commons Attribution 4.0 International License (http://creativecommons.org/licenses/by/4.0/), which permits unrestricted use, distribution, and reproduction in any medium, provided you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license, and indicate if changes were made.
About this article
Cite this article
Groenevelt, W. Orthogonal Stochastic Duality Functions from Lie Algebra Representations. J Stat Phys 174, 97–119 (2019). https://doi.org/10.1007/s10955-018-2178-7
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s10955-018-2178-7