Showing 1–50 of 50 results for author: Dunkl, C F

The quantum harmonic oscillator with icosahedral symmetry and some explicit wavefunctions

Authors: Charles F. Dunkl

Abstract: The Dunkl Laplacian is used to define the Hamiltonian of a modified quantum harmonic oscillator, associated with any finite reflection group. The potential is a sum of the inverse squares of the linear functions whose zero sets are the mirrors of the group's reflections. The symmetric group version of this is known as the Calogero-Moser model of N identical particles on a line. This paper focuses… ▽ More The Dunkl Laplacian is used to define the Hamiltonian of a modified quantum harmonic oscillator, associated with any finite reflection group. The potential is a sum of the inverse squares of the linear functions whose zero sets are the mirrors of the group's reflections. The symmetric group version of this is known as the Calogero-Moser model of N identical particles on a line. This paper focuses on the group of symmetries of the regular icosahedron, associated to the root system of type H3. Special wavefunctions are defined by a generating function arising from the vertices of the icosahedron and have the key property of allowing easy calculation of the effect of the Dunkl Laplacian. The ground state is the product of a Gaussian function with powers of linear functions coming from the root system. Two types of wavefunctions are considered, inhomogeneous polynomials with specified top-degree part, and homogeneous harmonic polynomials. The squared norms for both types are explicitly calculated. Symmetrization is applied to produce the invariant polynomials of both types, as well as their squared norms. The action of the angular momentum square on the harmonic homogeneous polynomials is determined. There is also a sixth-order operator commuting with the Hamiltonian and the group action. △ Less

Submitted 21 February, 2023; originally announced February 2023.

Comments: 30 pages

MSC Class: 81Q05; 81R12; 33E15; 20F55

Journal ref: J Phys A. Math. Theor. 56 (2023) 375301, 23 pp

The $B_2$ Harmonic Oscillator with Reflections and Superintegrability

Authors: Charles F. Dunkl

Abstract: The two-dimensional quantum harmonic oscillator is modified with reflection terms associated with the action of the Coxeter group $B_2$, which is the symmetry group of the square. The angular momentum operator is also modified with reflections. The wavefunctions are known to be built up from Jacobi and Laguerre polynomials. This paper introduces a fourth-order differential-difference operator comm… ▽ More The two-dimensional quantum harmonic oscillator is modified with reflection terms associated with the action of the Coxeter group $B_2$, which is the symmetry group of the square. The angular momentum operator is also modified with reflections. The wavefunctions are known to be built up from Jacobi and Laguerre polynomials. This paper introduces a fourth-order differential-difference operator commuting with the Hamiltonian but not with the angular momentum operator; a specific instance of superintegrability. The action of the operator on the usual orthogonal basis of wavefunctions is explicitly described. The wavefunctions are classified according to the representations of the group: four of degree one and one of degree two. The identity representation encompasses the wavefunctions invariant under the group. The paper begins with a short discussion of the modified Hamiltonians associated to finite reflection groups, and related raising and lowering operators. In particular, the Hamiltonian for the symmetric groups describes the Calogero-Sutherland model of identical particles on the line with harmonic confinement. △ Less

Submitted 25 April, 2023; v1 submitted 25 October, 2022; originally announced October 2022.

MSC Class: 81R12; 37J35; 33C45; 81Q05

Journal ref: SIGMA 19 (2023), 025, 18 pages

The Classification of All Singular Nonsymmetric Macdonald Polynomials

Authors: Charles F. Dunkl

Abstract: The affine Hecke algebra of type $A$ has two parameters $\left( q,t\right) $ and acts on polynomials in $N$ variables. There are two important pairwise commuting sets of elements in the algebra: the Cherednik operators and the Jucys-Murphy elements whose simultaneous eigenfunctions are the nonsymmetric Macdonald polynomials, and basis vectors of irreducible modules of the Hecke algebra, respective… ▽ More The affine Hecke algebra of type $A$ has two parameters $\left( q,t\right) $ and acts on polynomials in $N$ variables. There are two important pairwise commuting sets of elements in the algebra: the Cherednik operators and the Jucys-Murphy elements whose simultaneous eigenfunctions are the nonsymmetric Macdonald polynomials, and basis vectors of irreducible modules of the Hecke algebra, respectively. For certain parameter values it is possible for special polynomials to be simultaneous eigenfunctions with equal corresponding eigenvalues of both sets of operators. These are called singular polynomials. The possible parameter values are of the form $q^{m}=t^{-n}$ with $2\leq n\leq N.$ For a fixed parameter the singular polynomials span an irreducible module of the Hecke algebra. Colmenarejo and the author (SIGMA 16 (2020), 010) showed that there exist singular polynomials for each of these parameter values, they coincide with specializations of nonsymmetric Macdonald polynomials, and the isotype (a partition of $N$) of the Hecke algebra module is $\left( dn-1,n-1,\ldots,n-1,r\right) $ for some $d\geq1$. In the present paper it is shown that there are no other singular polynomials. △ Less

Submitted 26 November, 2021; originally announced November 2021.

Comments: 20 pages

MSC Class: 33D52; 20C08. 05E10

Evaluation of Nonsymmetric Macdonald Superpolynomials at Special Points

Authors: Charles F. Dunkl

Abstract: In a preceding paper the theory of nonsymmetric Macdonald polynomials taking values in modules of the Hecke algebra of type $A$ (Dunkl and Luque SLC 2012) was applied to such modules consisting of polynomials in anti-commuting variables, to define nonsymmetric Macdonald superpolynomials. These polynomials depend on two parameters $\left( q,t\right) $ and are defined by means of a Yang-Baxter graph… ▽ More In a preceding paper the theory of nonsymmetric Macdonald polynomials taking values in modules of the Hecke algebra of type $A$ (Dunkl and Luque SLC 2012) was applied to such modules consisting of polynomials in anti-commuting variables, to define nonsymmetric Macdonald superpolynomials. These polynomials depend on two parameters $\left( q,t\right) $ and are defined by means of a Yang-Baxter graph. The present paper determines the values of a subclass of the polynomials at the special points $\left( 1,t,t^{2},\ldots\right) $ or$\left( 1,t^{-1},t^{-2},\ldots\right) $. The arguments use induction on the degree and computations with products of generators of the Hecke algebra. The resulting formulas involve $\left( q,t\right)$-hook products. Evaluations are also found for Macdonald superpolynomials having restricted symmetry and antisymmetry properties. △ Less

Submitted 1 April, 2021; originally announced April 2021.

MSC Class: 33D52; 20C08; 05E05

Journal ref: Symmetry 2021, 13 (5), 779

Nonsymmetric Macdonald Superpolynomials

Authors: Charles F. Dunkl

Abstract: There are representations of the type-A Hecke algebra on spaces of polynomials in anti-commuting variables. Luque and the author [Sém. Lothar. Combin. 66 (2012), Art. B66b, 68 pages, arXiv:1106.0875] constructed nonsymmetric Macdonald polynomials taking values in arbitrary modules of the Hecke algebra. In this paper the two ideas are combined to define and study nonsymmetric Macdonald polynomials… ▽ More There are representations of the type-A Hecke algebra on spaces of polynomials in anti-commuting variables. Luque and the author [Sém. Lothar. Combin. 66 (2012), Art. B66b, 68 pages, arXiv:1106.0875] constructed nonsymmetric Macdonald polynomials taking values in arbitrary modules of the Hecke algebra. In this paper the two ideas are combined to define and study nonsymmetric Macdonald polynomials taking values in the aforementioned anti-commuting polynomials, in other words, superpolynomials. The modules, their orthogonal bases and their properties are first derived. In terms of the standard Young tableau approach to representations these modules correspond to hook tableaux. The details of the Dunkl-Luque theory and the particular application are presented. There is an inner product on the polynomials for which the Macdonald polynomials are mutually orthogonal. The squared norms for this product are determined. By using techniques of Baker and Forrester [Ann. Comb. 3 (1999), 159-170, arXiv:q-alg/9707001] symmetric Macdonald polynomials are built up from the nonsymmetric theory. Here "symmetric" means in the Hecke algebra sense, not in the classical group sense. There is a concise formula for the squared norm of the minimal symmetric polynomial, and some formulas for anti-symmetric polynomials. For both symmetric and anti-symmetric polynomials there is a factorization when the polynomials are evaluated at special points. △ Less

Submitted 23 May, 2021; v1 submitted 11 November, 2020; originally announced November 2020.

MSC Class: 33D56; 20C08; 05E05

Journal ref: SIGMA 17 (2021), 054, 29 pages

A Superpolynomial Version of Nonsymmetric Jack Polynomials

Authors: Charles F. Dunkl

Abstract: Superpolynomials consist of commuting and anti-commuting variables. By considering the anti-commuting variables as a module of the symmetric group the theory of vector-valued nonsymmetric Jack polynomials can be specialized to superpolynomials. The theory significantly differs from the supersymmetric Jack polynomials introduced and studied in several papers by Desrosiers, Mathieu and Lapointe (Nuc… ▽ More Superpolynomials consist of commuting and anti-commuting variables. By considering the anti-commuting variables as a module of the symmetric group the theory of vector-valued nonsymmetric Jack polynomials can be specialized to superpolynomials. The theory significantly differs from the supersymmetric Jack polynomials introduced and studied in several papers by Desrosiers, Mathieu and Lapointe (Nucl. Phys. B606, 2001). The vector-valued Jack polynomials arise in standard modules of the rational Cherednik algebra and were originated by Griffeth (T.A.M.S. 362, 2010) for the family G(n,p,N) of complex reflection groups. In the present situation there is an orthogonal basis of anti-commuting polynomials which corresponds to hook tableaux arising in Young's representations of the symmetric group. The basis is then used to construct nonsymmetric Jack polynomials by specializing the machinery set up in a paper by Luque and the author (SIGMA 7,2011). There is an inner product for which these polynomials form an orthogonal basis, and the squared norms are explicitly found. Supersymmetric polynomials are obtained as linear combinations of the nonsymmetric Jack polynomials contained in a submodule; this is based on an idea of Baker and Forrester (Ann. Comb. 3, 1999). The Poincaré series for supersymmetric polynomials graded by degree is obtained and is interpreted in terms of certain minimal polynomials. There is a brief discussion of antisymmetric polynomials and an application to wavefunctions of the Calogero-Moser quantum model on the circle. △ Less

Submitted 31 August, 2020; originally announced August 2020.

Comments: 28 pages

MSC Class: 33C52; 20C30

Journal ref: Ramanujan Journal 2021

Singular nonsymmetric Jack polynomials for some rectangular tableaux

Authors: Charles F. Dunkl

Abstract: In the intersection of the theories of nonsymmetric Jack polynomials in $N$ variables and representations of the symmetric groups $\mathcal{S}_{N}$ one finds the singular polynomials. For certain values of the parameter $κ$ there are Jack polynomials which span an irreducible $\mathcal{S}_{N}$-module and are annihilated by the Dunkl operators. The $\mathcal{S}_{N}$-module is labeled by a partition… ▽ More In the intersection of the theories of nonsymmetric Jack polynomials in $N$ variables and representations of the symmetric groups $\mathcal{S}_{N}$ one finds the singular polynomials. For certain values of the parameter $κ$ there are Jack polynomials which span an irreducible $\mathcal{S}_{N}$-module and are annihilated by the Dunkl operators. The $\mathcal{S}_{N}$-module is labeled by a partition of $N$, called the isotype of the polynomials. In this paper the Jack polynomials are of the vector-valued type, that is, elements of the tensor product of the scalar polynomials with the span of reverse standard Young tableaux of the shape of a fixed partition of $N$. In particular this partition is of shape $\left( m,m,\ldots,m\right) $ with $2k$ components and the constructed singular polynomials are of isotype $\left( mk,mk\right) $ for the parameter $κ=$ $1/\left( m+2\right) $. The paper contains the necessary background on nonsymmetric Jack polynomials and representation theory and explains the role of Jucys-Murphy elements in the construction. The main ingredient is the proof of uniqueness of certain spectral vectors, namely, the list of eigenvalues of the Jack polynomials for the Cherednik-Dunkl operators, when specialized to $κ=1/\left( m+2\right) $. The paper finishes with a discussion of associated maps of modules of the rational Cherednik algebra and an example illustrating the difficulty of finding singular polynomials for arbitrary partitions. △ Less

Submitted 3 March, 2020; originally announced March 2020.

Comments: 31 pages

MSC Class: 20C30; 33C52; 05E10; 20E55

Journal ref: Symmetry 2020 12(4), 630

Singular Nonsymmetric Macdonald Polynomials and Quasistaircases

Authors: Laura Colmenarejo, Charles F. Dunkl

Abstract: Singular nonsymmetric Macdonald polynomials are constructed by use of the representation theory of the Hecke algebras of the symmetric groups. These polynomials are labeled by quasistaircase partitions and are associated to special parameter values $(q,t)$. For $N$ variables, there are singular polynomials for any pair of positive integers $m$ and $n$, with $2\leq n\leq N$, and parameters values… ▽ More Singular nonsymmetric Macdonald polynomials are constructed by use of the representation theory of the Hecke algebras of the symmetric groups. These polynomials are labeled by quasistaircase partitions and are associated to special parameter values $(q,t)$. For $N$ variables, there are singular polynomials for any pair of positive integers $m$ and $n$, with $2\leq n\leq N$, and parameters values $(q,t)$ satisfying $q^{a}t^{b}=1$ exactly when $a=rm$ and $b=rn$, for some integer $r$. The coefficients of nonsymmetric Macdonald polynomials with respect to the basis of monomials $\big\{ x^α\big\}$ are rational functions of $q$ and $t$. In this paper, we present the construction of subspaces of singular nonsymmetric Macdonald polynomials specialized to particular values of $(q,t)$. The key part of this construction is to show the coefficients have no poles at the special values of $(q,t)$. Moreover, this subspace of singular Macdonald polynomials for the special values of the parameters is an irreducible module for the Hecke algebra of type $A_{N-1}$. △ Less

Submitted 27 February, 2020; v1 submitted 30 August, 2019; originally announced September 2019.

MSC Class: 33D52; 20C08; 33D80; 05E10

Journal ref: SIGMA 16 (2020), 010, 27 pages

Connections between vector-valued and highest weight Jack and Macdonald polynomials

Authors: Laura Colmenarejo, Charles F. Dunkl, Jean-Gabriel Luque

Abstract: We analyze conditions under which a projection from the vector-valued Jack or Macdonald polynomials to scalar polynomials has useful properties, especially commuting with the actions of the symmetric group or Hecke algebra, respectively, and with the Cherednik operators for which these polynomials are eigenfunctions. In the framework of the representation theory of the symmetric group and the Heck… ▽ More We analyze conditions under which a projection from the vector-valued Jack or Macdonald polynomials to scalar polynomials has useful properties, especially commuting with the actions of the symmetric group or Hecke algebra, respectively, and with the Cherednik operators for which these polynomials are eigenfunctions. In the framework of the representation theory of the symmetric group and the Hecke algebra, we study the relation between singular nonsymmetric Jack and Macdonald polynomials and highest weight symmetric Jack and Macdonald polynomials. Moreover, we study the quasistaircase partition as a continuation of our study on the conjectures of Bernevig and Haldane on clustering properties of symmetric Jack polynomials. △ Less

Submitted 10 July, 2019; originally announced July 2019.

MSC Class: 05E10; 20C30; 20C08; 33C52; 33D52; 81V70

Some Singular Vector-valued Jack and Macdonald Polynomials

Authors: Charles F. Dunkl

Abstract: For each partition $τ$ of $N$ there are irreducible modules of the symmetric groups $\mathcal{S}_{N}$ or the corresponding Hecke algebra $\mathcal{H}_{N}\left( t\right) $ whose bases consist of reverse standard Young tableaux of shape $τ$. There are associated spaces of nonsymmetric Jack and Macdonald polynomials taking values in these modules, respectively.The Jack polynomials are a special case… ▽ More For each partition $τ$ of $N$ there are irreducible modules of the symmetric groups $\mathcal{S}_{N}$ or the corresponding Hecke algebra $\mathcal{H}_{N}\left( t\right) $ whose bases consist of reverse standard Young tableaux of shape $τ$. There are associated spaces of nonsymmetric Jack and Macdonald polynomials taking values in these modules, respectively.The Jack polynomials are a special case of those constructed by Griffeth for the infinite family $G\left( n,p,N\right) $ of complex reflection groups. The Macdonald polynomials were constructed by Luque and the author. For both the group $\mathcal{S}_{N}$ and the Hecke algebra $\mathcal{H}_{N}\left( t\right) $ there is a commutative set of Dunkl operators. The Jack and the Macdonald polynomials are parametrized by $κ$ and $\left( q,t\right) $ respectively. For certain values of the parameters (called singular values) there are polynomials annihilated by each Dunkl operator; these are called singular polynomials. This paper analyzes the singular polynomials whose leading term is $x_{1}^{m}\otimes S$, where $S$ is an arbitrary reverse standard Young tableau of shape $τ$. The singular values depend on properties of the edge of the Ferrers diagram of $τ$. △ Less

Submitted 6 February, 2019; originally announced February 2019.

Comments: 19 pages

MSC Class: 33C52; 05E10; 20C08; 33D52

The smallest singular values of the icosahedral group

Authors: Charles F. Dunkl

Abstract: For any finite reflection group $W$ on $\mathbb{R}^{N}$ and any irreducible $W$-module $V$ there is a space of polynomials on $\mathbb{R}^{N}$ with values in $V$. There are Dunkl operators parametrized by a multiplicity function, that is, parameters associated with each conjugacy class of reflections. For certain parameter values, called singular, there are nonconstant polynomials annihilated by e… ▽ More For any finite reflection group $W$ on $\mathbb{R}^{N}$ and any irreducible $W$-module $V$ there is a space of polynomials on $\mathbb{R}^{N}$ with values in $V$. There are Dunkl operators parametrized by a multiplicity function, that is, parameters associated with each conjugacy class of reflections. For certain parameter values, called singular, there are nonconstant polynomials annihilated by each Dunkl operator. There is a Gaussian bilinear form on the polynomials which is positive for an open set of parameter values containing the origin. When $W$ has just one class of reflections and $\dim V>1$ this set is an interval bounded by the positive and negative singular values of respective smallest absolute value. This interval is always symmetric around $0$ for the symmetric groups. This property does not hold in general, and the icosahedral group $H_{3}$ provides a counterexample. The interval for positivity of the Gaussian form is determined for each of the ten irreducible representations of $H_{3}$. △ Less

Submitted 6 September, 2018; originally announced September 2018.

Comments: 9 pages

MSC Class: 33C52; 20F55; 33C80

A positive-definite inner product for vector-valued Macdonald polynomials

Authors: Charles F. Dunkl

Abstract: In a previous paper J.-G. Luque and the author (Sem. Loth. Combin. 2011) developed the theory of nonsymmetric Macdonald polynomials taking values in an irreducible module of the Hecke algebra of the symmetric group $\mathcal{S}_{N}$. The polynomials are parametrized by $\left( q,t\right) $ and are simultaneous eigenfunctions of a commuting set of Cherednik operators, which were studied by Baker an… ▽ More In a previous paper J.-G. Luque and the author (Sem. Loth. Combin. 2011) developed the theory of nonsymmetric Macdonald polynomials taking values in an irreducible module of the Hecke algebra of the symmetric group $\mathcal{S}_{N}$. The polynomials are parametrized by $\left( q,t\right) $ and are simultaneous eigenfunctions of a commuting set of Cherednik operators, which were studied by Baker and Forrester (IMRN 1997). In the Dunkl-Luque paper there is a construction of a pairing between $\left( q^{-1},t^{-1}\right) $ polynomials and $\left( q,t\right) $ polynomials, and for which the Macdonald polynomials form a biorthogonal set. The present work is a sequel with the purpose of constructing a symmetric bilinear form for which the Macdonald polynomials form an orthogonal basis and to determine the region of $\left( q,t\right) $-values for which the form is positive-definite. Irreducible representations of the Hecke algebra are characterized by partitions of $N$. The positivity region depends only on the maximum hook-length of the Ferrers diagram of the partition. △ Less

Submitted 15 August, 2018; originally announced August 2018.

Comments: 26 pages, 2 figures

MSC Class: 05E10; 20C08; 33D52; 33D80

Journal ref: Sém. Lothar. Combin B80a (2019), 26 pp

The Smallest Singular Values and Vector-Valued Jack Polynomials

Authors: Charles F. Dunkl

Abstract: There is a space of vector-valued nonsymmetric Jack polynomials associated with any irreducible representation of a symmetric group. Singular polynomials for the smallest singular values are constructed in terms of the Jack polynomials. The smallest singular values bound the region of positivity of the bilinear symmetric form for which the Jack polynomials are mutually orthogonal. As background th… ▽ More There is a space of vector-valued nonsymmetric Jack polynomials associated with any irreducible representation of a symmetric group. Singular polynomials for the smallest singular values are constructed in terms of the Jack polynomials. The smallest singular values bound the region of positivity of the bilinear symmetric form for which the Jack polynomials are mutually orthogonal. As background there are some results about general finite reflection groups and singular values in the context of standard modules of the rational Cherednik algebra. △ Less

Submitted 25 October, 2018; v1 submitted 24 April, 2018; originally announced April 2018.

MSC Class: 33C52; 20F55; 05E35; 05E10

Journal ref: SIGMA 14 (2018), 115, 20 pages

Factorizations of symmetric Macdonald polynomials

Authors: Laura Colmenarejo, Charles F. Dunkl, Jean-Gabriel Luque

Abstract: We prove many factorization formulas for highest weight Macdonald polynomials indexed by particular partitions called quasistaircases. As a consequence we prove a conjecture of Bernevig and Haldane stated in the context of the fractional quantum Hall theory. We prove many factorization formulas for highest weight Macdonald polynomials indexed by particular partitions called quasistaircases. As a consequence we prove a conjecture of Bernevig and Haldane stated in the context of the fractional quantum Hall theory. △ Less

Submitted 18 July, 2017; v1 submitted 4 July, 2017; originally announced July 2017.

Comments: Dédicacé à Jean-Yves Thibon pour son soixantième anniversaire. 34 pages, 4 figures

A Family of Crouzeix-Raviart Finite Elements in 3D

Authors: Patrick Ciarlet Jr., Charles F. Dunkl, Stefan A. Sauter

Abstract: In this paper we will develop a family of non-conforming "Crouzeix-Raviart" type finite elements in three dimensions. They consist of local polynomials of maximal degree $p\in\mathbb{N}$ on simplicial finite element meshes while certain jump conditions are imposed across adjacent simplices. We will prove optimal a priori estimates for these finite elements. The characterization of this space via… ▽ More In this paper we will develop a family of non-conforming "Crouzeix-Raviart" type finite elements in three dimensions. They consist of local polynomials of maximal degree $p\in\mathbb{N}$ on simplicial finite element meshes while certain jump conditions are imposed across adjacent simplices. We will prove optimal a priori estimates for these finite elements. The characterization of this space via jump conditions is implicit and the derivation of a local basis requires some deeper theoretical tools from orthogonal polynomials on triangles and their representation. We will derive these tools for this purpose. These results allow us to give explicit representations of the local basis functions. Finally we will analyze the linear independence of these sets of functions and discuss the question whether they span the whole non-conforming space. △ Less

Submitted 9 March, 2017; originally announced March 2017.

Comments: 29 figures

MSC Class: Primary 33C45; 33C50; 65N12; 65N30; Secondary 33C80

Vector-valued Jack Polynomials and Wavefunctions on the Torus

Authors: Charles F. Dunkl

Abstract: The Hamiltonian of the quantum Calogero-Sutherland model of $N$ identical particles on the circle with $1/r^{2}$ interactions has eigenfunctions consisting of Jack polynomials times the base state. By use of the generalized Jack polynomials taking values in modules of the symmetric group and the matrix solution of a system of linear differential equations one constructs novel eigenfunctions of the… ▽ More The Hamiltonian of the quantum Calogero-Sutherland model of $N$ identical particles on the circle with $1/r^{2}$ interactions has eigenfunctions consisting of Jack polynomials times the base state. By use of the generalized Jack polynomials taking values in modules of the symmetric group and the matrix solution of a system of linear differential equations one constructs novel eigenfunctions of the Hamiltonian. Like the usual wavefunctions each eigenfunction determines a symmetric probability density on the $N$-torus. The construction applies to any irreducible representation of the symmetric group. The methods depend on the theory of generalized Jack polynomials due to Griffeth, and the Yang-Baxter graph approach of Luque and the author. △ Less

Submitted 7 February, 2017; originally announced February 2017.

Comments: 26 pages

MSC Class: 81Q80; 33C80; 20C30

Journal ref: J. Phys. A: Math. Theor. 50 (2017) 245201 (21 pp)

A Linear System of Differential Equations Related to Vector-Valued Jack Polynomials on the Torus

Authors: Charles F. Dunkl

Abstract: For each irreducible module of the symmetric group $\mathcal{S}_{N}$ there is a set of parametrized nonsymmetric Jack polynomials in $N$ variables taking values in the module. These polynomials are simultaneous eigenfunctions of a commutative set of operators, self-adjoint with respect to two Hermitian forms, one called the contravariant form and the other is with respect to a matrix-valued measur… ▽ More For each irreducible module of the symmetric group $\mathcal{S}_{N}$ there is a set of parametrized nonsymmetric Jack polynomials in $N$ variables taking values in the module. These polynomials are simultaneous eigenfunctions of a commutative set of operators, self-adjoint with respect to two Hermitian forms, one called the contravariant form and the other is with respect to a matrix-valued measure on the $N$-torus. The latter is valid for the parameter lying in an interval about zero which depends on the module. The author in a previous paper [SIGMA 12 (2016), 033, 27 pages, arXiv:1511.06721] proved the existence of the measure and that its absolutely continuous part satisfies a system of linear differential equations. In this paper the system is analyzed in detail. The $N$-torus is divided into $(N-1)!$ connected components by the hyperplanes $x_{i}=x_{j}$, $i<j$, which are the singularities of the system. The main result is that the orthogonality measure has no singular part with respect to Haar measure, and thus is given by a matrix function times Haar measure. This function is analytic on each of the connected components. △ Less

Submitted 9 June, 2017; v1 submitted 5 December, 2016; originally announced December 2016.

MSC Class: 33C52; 20C30; 35F35; 46G10; 42B10

Journal ref: SIGMA 13 (2017), 040, 41 pages

Planar harmonic and monogenic polynomials of type A

Authors: Charles F. Dunkl

Abstract: Harmonic polynomials of type A are polynomials annihilated by the Dunkl Laplacian associated to the symmetric group acting as a reflection group on $\mathbb{R}^{N}$. The Dunkl operators are denoted by $T_{j}$ for $1\leq j\leq N$, and the Laplacian $Δ_κ=\sum_{j=1}^{N}T_{j}^{2}$. This paper finds the homogeneous harmonic polynomials annihilated by all $T_{j}$ for $j>2$. The structure constants with… ▽ More Harmonic polynomials of type A are polynomials annihilated by the Dunkl Laplacian associated to the symmetric group acting as a reflection group on $\mathbb{R}^{N}$. The Dunkl operators are denoted by $T_{j}$ for $1\leq j\leq N$, and the Laplacian $Δ_κ=\sum_{j=1}^{N}T_{j}^{2}$. This paper finds the homogeneous harmonic polynomials annihilated by all $T_{j}$ for $j>2$. The structure constants with respect to the Gaussian and sphere inner products are computed. These harmonic polynomials are used to produce monogenic polynomials, those annihilated by a Dirac-type operator. △ Less

Submitted 7 September, 2016; originally announced September 2016.

Comments: 20 pages

MSC Class: 33C67; 33C55; 33C80; 15A66

Journal ref: Symmetry 8 (2016), 108

Orthogonality Measure on the Torus for Vector-Valued Jack Polynomials

Authors: Charles F. Dunkl

Abstract: For each irreducible module of the symmetric group on $N$ objects there is a set of parametrized nonsymmetric Jack polynomials in $N$ variables taking values in the module. These polynomials are simultaneous eigenfunctions of a commutative set of operators, self-adjoint with respect to certain Hermitian forms. These polynomials were studied by the author and J.-G. Luque using a Yang-Baxter graph t… ▽ More For each irreducible module of the symmetric group on $N$ objects there is a set of parametrized nonsymmetric Jack polynomials in $N$ variables taking values in the module. These polynomials are simultaneous eigenfunctions of a commutative set of operators, self-adjoint with respect to certain Hermitian forms. These polynomials were studied by the author and J.-G. Luque using a Yang-Baxter graph technique. This paper constructs a matrix-valued measure on the $N$-torus for which the polynomials are mutually orthogonal. The construction uses Fourier analysis techniques. Recursion relations for the Fourier-Stieltjes coefficients of the measure are established, and used to identify parameter values for which the construction fails. It is shown that the absolutely continuous part of the measure satisfies a first-order system of differential equations. △ Less

Submitted 27 March, 2016; v1 submitted 20 November, 2015; originally announced November 2015.

MSC Class: 33C52; 42B10; 20C30

Journal ref: SIGMA 12 (2016), 033, 27 pages

Separability Probability Formulas and Their Proofs for Generalized Two-Qubit X-Matrices Endowed with Hilbert-Schmidt and Induced Measures

Authors: Charles F. Dunkl, Paul B. Slater

Abstract: Two-qubit X-matrices have been the subject of considerable recent attention, as they lend themselves more readily to analytical investigations than two-qubit density matrices of arbitrary nature. Here, we maximally exploit this relative ease of analysis to formally derive an exhaustive collection of results pertaining to the separability probabilities of generalized two-qubit X-matrices endowed wi… ▽ More Two-qubit X-matrices have been the subject of considerable recent attention, as they lend themselves more readily to analytical investigations than two-qubit density matrices of arbitrary nature. Here, we maximally exploit this relative ease of analysis to formally derive an exhaustive collection of results pertaining to the separability probabilities of generalized two-qubit X-matrices endowed with Hilbert-Schmidt and, more broadly, induced measures. Further, the analytical results obtained exhibit interesting parallels to corresponding earlier (but, contrastingly, not yet fully rigorous) results for general 2-qubit states--deduced on the basis of determinantal moment formulas. Geometric interpretations can be given to arbitrary positive values of the random-matrix Dyson-index-like parameter $α$ employed. △ Less

Submitted 13 January, 2015; v1 submitted 9 January, 2015; originally announced January 2015.

Comments: 20 pages, two formulas reformatted for presentational purposes

MSC Class: 81P45

Journal ref: Random Matrices: Theory Appl. 04, 1550018 (2015)

The Sums of a Double Hypergeometric Series and of the First m+1 Terms of 3F2(a,b,c;(a+b+1)/2,2c;1) when c = -m is a Negative Integer

Authors: Charles F. Dunkl, George Gasper

Abstract: A summation formula is derived for the sum of the first m+1 terms of the 3F2(a,b,c;(a+b+1)/2,2c;1) series when c = -m is a negative integer. This summation formula is used to derive a formula for the sum of a terminating double hypergeometric series that arose in another project by one of us (C.D.) A summation formula is derived for the sum of the first m+1 terms of the 3F2(a,b,c;(a+b+1)/2,2c;1) series when c = -m is a negative integer. This summation formula is used to derive a formula for the sum of a terminating double hypergeometric series that arose in another project by one of us (C.D.) △ Less

Submitted 16 December, 2014; v1 submitted 12 December, 2014; originally announced December 2014.

Comments: 7 pages, added general remarks, another derivation of one of the formulas, and references to related results in basic hypergeometric series

MSC Class: 33C20; 33C70

Formulas for Rational-Valued Separability Probabilities of Random Induced Generalized Two-Qubit States

Authors: Paul B. Slater, Charles F. Dunkl

Abstract: Previously, a formula, incorporating a $5F4$ hypergeometric function, for the Hilbert-Schmidt-averaged determinantal moments $\left\langle \left\vert ρ^{PT}\right\vert ^{n}\left\vert ρ\right\vert ^{k}\right\rangle /\left\langle \left\vert ρ\right\vert ^{k}\right\rangle$ of $4 \times 4$ density-matrices ($ρ$), and their partial transposes ($ρ^{PT}|$) was applied with $k=0$ to the generalized two-qu… ▽ More Previously, a formula, incorporating a $5F4$ hypergeometric function, for the Hilbert-Schmidt-averaged determinantal moments $\left\langle \left\vert ρ^{PT}\right\vert ^{n}\left\vert ρ\right\vert ^{k}\right\rangle /\left\langle \left\vert ρ\right\vert ^{k}\right\rangle$ of $4 \times 4$ density-matrices ($ρ$), and their partial transposes ($ρ^{PT}|$) was applied with $k=0$ to the generalized two-qubit separability-probability question. The formula can, further, be viewed we note here, as an averaging over "induced measures in the space of mixed quantum states". The associated induced-measure separability probabilities ($k =1, 2,\ldots$) are found--{\it via} a high-precision density approximation procedure--to assume interesting, relatively simple rational values in the two-re[al]bit ($α= \frac{1}{2}$), (standard) two-qubit ($α= 1$) and two-quater[nionic]bit ($α=2$) cases. We deduce rather simple companion (rebit, qubit, quaterbit,\ldots) formulas that successfully reproduce the rational values assumed for {\it general} $k$. These formulas are observed to share certain features, possibly allowing them to be incorporated into a single master formula. △ Less

Submitted 13 May, 2015; v1 submitted 10 November, 2014; originally announced November 2014.

Comments: 18 pages, 2 figures, revised version to appear in Advances in Mathematical Physics

MSC Class: 81P45; 62E17

Journal ref: Advances in Mathematical Physics, vol. 2015, Article ID 621353, 9 pages, 2015

Real numerical shadow and generalized B-splines

Authors: Charles F. Dunkl, Piotr Gawron, Łukasz Pawela, Zbigniew Puchała, Karol Życzkowski

Abstract: Restricted numerical shadow $P^X_A(z)$ of an operator $A$ of order $N$ is a probability distribution supported on the numerical range $W_X(A)$ restricted to a certain subset $X$ of the set of all pure states - normalized, one-dimensional vectors in ${\mathbb C}^N$. Its value at point $z \in {\mathbb C}$ equals to the probability that the inner product $< u |A| u >$ is equal to $z$, where $u$ stand… ▽ More Restricted numerical shadow $P^X_A(z)$ of an operator $A$ of order $N$ is a probability distribution supported on the numerical range $W_X(A)$ restricted to a certain subset $X$ of the set of all pure states - normalized, one-dimensional vectors in ${\mathbb C}^N$. Its value at point $z \in {\mathbb C}$ equals to the probability that the inner product $< u |A| u >$ is equal to $z$, where $u$ stands for a random complex vector from the set $X$ distributed according to the natural measure on this set, induced by the unitarily invariant Fubini-Study measure. For a Hermitian operator $A$ of order $N$ we derive an explicit formula for its shadow restricted to real states, $P^{\mathbb R}_A(x)$, show relation of this density to the Dirichlet distribution and demonstrate that it forms a generalization of the $B$-spline. Furthermore, for operators acting on a space with tensor product structure, ${\cal H}_A \otimes {\cal H}_B$, we analyze the shadow restricted to the set of maximally entangled states and derive distributions for operators of order N=4. △ Less

Submitted 17 September, 2014; originally announced September 2014.

Comments: 39 pages, 7 figures

Journal ref: Linear Algebra and its Applications, Volume 479, 15 August 2015, Pages 12-51, ISSN 0024-3795

Generalized Two-Qubit Whole and Half Hilbert-Schmidt Separability Probabilities

Authors: Paul B. Slater, Charles F. Dunkl

Abstract: Compelling evidence-though yet no formal proof-has been adduced that the probability that a generic (standard) two-qubit state ($ρ$) is separable/disentangled is $\frac{8}{33}$ (arXiv:1301.6617, arXiv:1109.2560, arXiv:0704.3723). Proceeding in related analytical frameworks, using a further determinantal $4F3$-hypergeometric moment formula (Appendix A), we reach, {\it via} density-approximation pro… ▽ More Compelling evidence-though yet no formal proof-has been adduced that the probability that a generic (standard) two-qubit state ($ρ$) is separable/disentangled is $\frac{8}{33}$ (arXiv:1301.6617, arXiv:1109.2560, arXiv:0704.3723). Proceeding in related analytical frameworks, using a further determinantal $4F3$-hypergeometric moment formula (Appendix A), we reach, {\it via} density-approximation procedures, the conclusion that one-half ($\frac{4}{33}$) of this probability arises when the determinantal inequality $|ρ^{PT}|>|ρ|$, where $PT$ denotes the partial transpose, is satisfied, and, the other half, when $|ρ|>|ρ^{PT}|$. These probabilities are taken with respect to the flat, Hilbert-Schmidt measure on the fifteen-dimensional convex set of $4 \times 4$ density matrices. We find fully parallel bisection/equipartition results for the previously adduced, as well, two-"re[al]bit" and two-"quater[nionic]bit"separability probabilities of $\frac{29}{64}$ and $\frac{26}{323}$, respectively. The new determinantal $4F3$-hypergeometric moment formula is, then, adjusted (Appendices B and C) to the boundary case of minimally degenerate states ($|ρ|=0$), and its consistency manifested-also using density-approximation-with a theorem of Szarek, Bengtsson and {Ż}yczkowski (arXiv:quant-ph/0509008). This theorem states that the Hilbert-Schmidt separability probabilities of generic minimally degenerate two-qubit states are (again) one-half those of the corresponding generic nondegenerate states. △ Less

Submitted 12 January, 2015; v1 submitted 7 April, 2014; originally announced April 2014.

Comments: 25 pages, minor changes, to appear in the Journal of Geometry and Physics. (Paper expands substantially upon arXiv::1403.1825.)

MSC Class: 81P45; 33C90; 62G07

Journal ref: Journal of Geometry and Physics 90 (2015), pp. 42-54

Vector Polynomials and a Matrix Weight Associated to Dihedral Groups

Authors: Charles F. Dunkl

Abstract: The space of polynomials in two real variables with values in a 2-dimensional irreducible module of a dihedral group is studied as a standard module for Dunkl operators. The one-parameter case is considered (omitting the two-parameter case for even dihedral groups). The matrix weight function for the Gaussian form is found explicitly by solving a boundary value problem, and then computing the norm… ▽ More The space of polynomials in two real variables with values in a 2-dimensional irreducible module of a dihedral group is studied as a standard module for Dunkl operators. The one-parameter case is considered (omitting the two-parameter case for even dihedral groups). The matrix weight function for the Gaussian form is found explicitly by solving a boundary value problem, and then computing the normalizing constant. An orthogonal basis for the homogeneous harmonic polynomials is constructed. The coefficients of these polynomials are found to be balanced terminating $_4F_3$-series. △ Less

Submitted 15 April, 2014; v1 submitted 27 June, 2013; originally announced June 2013.

MSC Class: Primary 33C52; Secondary 20F55; 33C45

Journal ref: SIGMA 10 (2014), 044, 23 pages

Products of Beta distributed random variables

Authors: Charles F. Dunkl

Abstract: This is an expository note on useful expressions for the density function of a product of independent random variables where each variable has a Beta distribution. This is an expository note on useful expressions for the density function of a product of independent random variables where each variable has a Beta distribution. △ Less

Submitted 24 April, 2013; originally announced April 2013.

Comments: 16 pages, 4 figures

MSC Class: Primary 33C20; 33C60; Secondary 62E15

Vector-Valued Polynomials and a Matrix Weight Function with $B_2$-Action. II

Authors: Charles F. Dunkl

Abstract: This is a sequel to [SIGMA 9 (2013), 007, 23 pages, arXiv:1210.1177], in which there is a construction of a $2\times2$ positive-definite matrix function $K (x)$ on $\mathbb{R}^{2}$. The entries of $K(x)$ are expressed in terms of hypergeometric functions. This matrix is used in the formula for a Gaussian inner product related to the standard module of the rational Cherednik algebra for the group… ▽ More This is a sequel to [SIGMA 9 (2013), 007, 23 pages, arXiv:1210.1177], in which there is a construction of a $2\times2$ positive-definite matrix function $K (x)$ on $\mathbb{R}^{2}$. The entries of $K(x)$ are expressed in terms of hypergeometric functions. This matrix is used in the formula for a Gaussian inner product related to the standard module of the rational Cherednik algebra for the group $W(B_2)$ (symmetry group of the square) associated to the (2-dimensional) reflection representation. The algebra has two parameters: $k_{0}$, $k_{1}$. In the previous paper $K$ is determined up to a scalar, namely, the normalization constant. The conjecture stated there is proven in this note. An asymptotic formula for a sum of $_{3}F_{2}$-type is derived and used for the proof. △ Less

Submitted 12 June, 2013; v1 submitted 14 February, 2013; originally announced February 2013.

MSC Class: 33C52; 33C20

Journal ref: SIGMA 9 (2013), 043, 11 pages

Dunkl Operators and Related Special Functions

Authors: Charles F. Dunkl

Abstract: Functions like the exponential, Chebyshev polynomials, and monomial symmetric polynomials are preeminent among all special functions. They have simple definitions and can be expressed using easily specified integers like n!. Families of functions like Gegenbauer, Jacobi and Jack symmetric polynomials and Bessel functions are labeled by parameters. These could be unspecified transcendental numbers… ▽ More Functions like the exponential, Chebyshev polynomials, and monomial symmetric polynomials are preeminent among all special functions. They have simple definitions and can be expressed using easily specified integers like n!. Families of functions like Gegenbauer, Jacobi and Jack symmetric polynomials and Bessel functions are labeled by parameters. These could be unspecified transcendental numbers or drawn from large sets of real numbers, for example the complement of {-1/2, -3/2, -5/2,...}. One aim of this chapter is to provide a harmonic analysis setting in which parameters play a natural role. The basic objects are finite reflection (Coxeter) groups and algebras of operators on polynomials which generalize the algebra of partial differential operators. These algebras have as many parameters as the number of conjugacy classes of reflections in the associated groups. △ Less

Submitted 10 October, 2012; originally announced October 2012.

Comments: This is a preliminary version of a chapter for the volume titled "Multivariable Special Functions," edited by T. Koornwinder, in the Askey-Bateman project

MSC Class: 33C52; 20F55

Vector-Valued Polynomials and a Matrix Weight Function with $B_2$-Action

Authors: Charles F. Dunkl

Abstract: The structure of orthogonal polynomials on $\mathbb{R}^{2}$ with the weight function $| x_{1}^{2}-x_{2}^{2}|^{2k_{0}}| x_{1}x_{2}|^{2k_{1}}e^{-(x_{1}^{2}+x_{2}^{2})/2}$ is based on the Dunkl operators of type $B_{2}$. This refers to the full symmetry group of the square, generated by reflections in the lines $x_{1}=0$ and $x_{1}-x_{2}=0$. The weight function is integrable if… ▽ More The structure of orthogonal polynomials on $\mathbb{R}^{2}$ with the weight function $| x_{1}^{2}-x_{2}^{2}|^{2k_{0}}| x_{1}x_{2}|^{2k_{1}}e^{-(x_{1}^{2}+x_{2}^{2})/2}$ is based on the Dunkl operators of type $B_{2}$. This refers to the full symmetry group of the square, generated by reflections in the lines $x_{1}=0$ and $x_{1}-x_{2}=0$. The weight function is integrable if $k_{0},k_{1},k_{0}+k_{1}>-\frac{1}{2}$. Dunkl operators can be defined for polynomials taking values in a module of the associated reflection group, that is, a vector space on which the group has an irreducible representation. The unique 2-dimensional representation of the group $B_{2}$ is used here. The specific operators for this group and an analysis of the inner products on the harmonic vector-valued polynomials are presented in this paper. An orthogonal basis for the harmonic polynomials is constructed, and is used to define an exponential-type kernel. In contrast to the ordinary scalar case the inner product structure is positive only when $(k_{0},k_{1})$ satisfy $-\frac{1}{2}<k_{0}\pm k_{1}<\frac{1}{2}$. For vector polynomials $(f_{i})_{i=1}^{2}$, $(g_{i})_{i=1}^{2}$ the inner product has the form $\iint_{\mathbb{R}^{2}}f(x) K(x) g(x)^{T}e^{-(x_{1}^{2}+x_{2}^{2})/2}dx_{1}dx_{2}$ where the matrix function $K(x)$ has to satisfy various transformation and boundary conditions. The matrix $K$ is expressed in terms of hypergeometric functions. △ Less

Submitted 30 January, 2013; v1 submitted 3 October, 2012; originally announced October 2012.

Comments: This is the expanded version of an invited lecture presented at the Conference on Harmonic Analysis, Convolution Algebras, and Special Functions, TU München, 10 Sept. 2012; v2: the construction of an exponential-type function has been added; v3: published version

MSC Class: 33C52; 42C05; 33C05

Journal ref: SIGMA 9 (2013), 007, 23 pages

Clustering properties of rectangular Macdonald polynomials

Authors: Charles F. Dunkl, Jean-Gabriel Luque

Abstract: The clustering properties of Jack polynomials are relevant in the theoretical study of the fractional Hall states. In this context, some factorization properties have been conjectured for the $(q,t)$-deformed problem involving Macdonald polynomials. The present paper is devoted to the proof of this formula. To this aim we use four families of Jack/Macdonald polynomials: symmetric homogeneous, nons… ▽ More The clustering properties of Jack polynomials are relevant in the theoretical study of the fractional Hall states. In this context, some factorization properties have been conjectured for the $(q,t)$-deformed problem involving Macdonald polynomials. The present paper is devoted to the proof of this formula. To this aim we use four families of Jack/Macdonald polynomials: symmetric homogeneous, nonsymmetric homogeneous, shifted symmetric and shifted nonsymmetric. △ Less

Submitted 24 February, 2013; v1 submitted 23 April, 2012; originally announced April 2012.

Comments: 43 pages, 2 figures

Restricted numerical shadow and geometry of quantum entanglement

Authors: Zbigniew Puchała, Jarosław Adam Miszczak, Piotr Gawron, Charles F. Dunkl, John A. Holbrook, Karol Życzkowski

Abstract: The restricted numerical range $W_R(A)$ of an operator $A$ acting on a $D$-dimensional Hilbert space is defined as a set of all possible expectation values of this operator among pure states which belong to a certain subset $R$ of the of set of pure quantum states of dimension $D$. One considers for instance the set of real states, or in the case of composite spaces, the set of product states and… ▽ More The restricted numerical range $W_R(A)$ of an operator $A$ acting on a $D$-dimensional Hilbert space is defined as a set of all possible expectation values of this operator among pure states which belong to a certain subset $R$ of the of set of pure quantum states of dimension $D$. One considers for instance the set of real states, or in the case of composite spaces, the set of product states and the set of maximally entangled states. Combining the operator theory with a probabilistic approach we introduce the restricted numerical shadow of $A$ -- a normalized probability distribution on the complex plane supported in $W_R(A)$. Its value at point $z \in {\mathbbm C}$ is equal to the probability that the expectation value $< ψ|A|ψ>$ is equal to $z$, where $|ψ>$ represents a random quantum state in subset $R$ distributed according to the natural measure on this set, induced by the unitarily invariant Fubini--Study measure. Studying restricted shadows of operators of a fixed size $D=N_A N_B$ we analyse the geometry of sets of separable and maximally entangled states of the $N_A \times N_B$ composite quantum system. Investigating trajectories formed by evolving quantum states projected into the plane of the shadow we study the dynamics of quantum entanglement. A similar analysis extended for operators on $D=2^3$ dimensional Hilbert space allows us to investigate the structure of the orbits of $GHZ$ and $W$ quantum states of a three--qubit system. △ Less

Submitted 4 October, 2012; v1 submitted 12 January, 2012; originally announced January 2012.

Comments: 33 pages, 8 figures, IOP style

Journal ref: J. Phys. A-Math. Theor., Vol. 45 (2012), pp. 415309

Vector valued Macdonald polynomials

Authors: C. F. Dunkl, J. -G. Luque

Abstract: This paper defines and investigates nonsymmetric Macdonald polynomials with values in an irreducible module of the Hecke algebra of type $A_{N-1}$. These polynomials appear as simultaneous eigenfunctions of Cherednik operators. Several objects and properties are analyzed, such as the canonical bilinear form which pairs polynomials with those arising from reciprocals of the original parameters, and… ▽ More This paper defines and investigates nonsymmetric Macdonald polynomials with values in an irreducible module of the Hecke algebra of type $A_{N-1}$. These polynomials appear as simultaneous eigenfunctions of Cherednik operators. Several objects and properties are analyzed, such as the canonical bilinear form which pairs polynomials with those arising from reciprocals of the original parameters, and the symmetrization of the Macdonald polynomials. The main tool of the study is the Yang-Baxter graph. We show that these Macdonald polynomials can be easily computed following this graph. We give also an interpretation of the symmetrization and the bilinear forms applied to the Macdonald polynomials in terms of the Yang-Baxter graph. △ Less

Submitted 5 June, 2011; originally announced June 2011.

Comments: 85 pages, 5 figures

Numerical shadow and geometry of quantum states

Authors: Charles F. Dunkl, Piotr Gawron, John A. Holbrook, Jarosław A. Miszczak, Zbigniew Puchała, Karol Życzkowski

Abstract: The totality of normalised density matrices of order N forms a convex set Q_N in R^(N^2-1). Working with the flat geometry induced by the Hilbert-Schmidt distance we consider images of orthogonal projections of Q_N onto a two-plane and show that they are similar to the numerical ranges of matrices of order N. For a matrix A of a order N one defines its numerical shadow as a probability distributio… ▽ More The totality of normalised density matrices of order N forms a convex set Q_N in R^(N^2-1). Working with the flat geometry induced by the Hilbert-Schmidt distance we consider images of orthogonal projections of Q_N onto a two-plane and show that they are similar to the numerical ranges of matrices of order N. For a matrix A of a order N one defines its numerical shadow as a probability distribution supported on its numerical range W(A), induced by the unitarily invariant Fubini-Study measure on the complex projective manifold CP^(N-1). We define generalized, mixed-states shadows of A and demonstrate their usefulness to analyse the structure of the set of quantum states and unitary dynamics therein. △ Less

Submitted 14 April, 2011; originally announced April 2011.

Comments: 19 pages, 5 figures

Journal ref: J. Phys. A: Math. Theor. 44, 335301 (2011)

Some Rarita-Schwinger Type Operators

Authors: Charles F. Dunkl, Junxia Li, John Ryan, Peter Van Lancker

Abstract: In this paper we study a generalization of the classical Rarita-Schwinger type operators and construct their fundamental solutions. We give some basic integral formulas related to these operators. We also establish that the projection operators appearing in the Rarita-Schwinger operators and the Rarita-Schwinger equations are conformally invariant. We further obtain the intertwining operators for… ▽ More In this paper we study a generalization of the classical Rarita-Schwinger type operators and construct their fundamental solutions. We give some basic integral formulas related to these operators. We also establish that the projection operators appearing in the Rarita-Schwinger operators and the Rarita-Schwinger equations are conformally invariant. We further obtain the intertwining operators for other operators related to the Rarita-Schwinger operators under actions of the conformal group. △ Less

Submitted 31 October, 2012; v1 submitted 6 February, 2011; originally announced February 2011.

Comments: 23pages

Numerical shadows: measures and densities on the numerical range

Authors: Charles F. Dunkl, Piotr Gawron, John A. Holbrook, Zbigniew Puchała, Karol Życzkowski

Abstract: For any operator $M$ acting on an $N$-dimensional Hilbert space $H_N$ we introduce its numerical shadow, which is a probability measure on the complex plane supported by the numerical range of $M$. The shadow of $M$ at point $z$ is defined as the probability that the inner product $(Mu,u)$ is equal to $z$, where $u$ stands for a random complex vector from $H_N$, satisfying $||u||=1$. In the case o… ▽ More For any operator $M$ acting on an $N$-dimensional Hilbert space $H_N$ we introduce its numerical shadow, which is a probability measure on the complex plane supported by the numerical range of $M$. The shadow of $M$ at point $z$ is defined as the probability that the inner product $(Mu,u)$ is equal to $z$, where $u$ stands for a random complex vector from $H_N$, satisfying $||u||=1$. In the case of N=2 the numerical shadow of a non-normal operator can be interpreted as a shadow of a hollow sphere projected on a plane. A similar interpretation is provided also for higher dimensions. For a hermitian $M$ its numerical shadow forms a probability distribution on the real axis which is shown to be a one dimensional $B$-spline. In the case of a normal $M$ the numerical shadow corresponds to a shadow of a transparent solid simplex in $R^{N-1}$ onto the complex plane. Numerical shadow is found explicitly for Jordan matrices $J_N$, direct sums of matrices and in all cases where the shadow is rotation invariant. Results concerning the moments of shadow measures play an important role. A general technique to study numerical shadow via the Cartesian decomposition is described, and a link of the numerical shadow of an operator to its higher-rank numerical range is emphasized. △ Less

Submitted 20 October, 2010; originally announced October 2010.

Comments: 37 pages, 8 figures

Journal ref: Linear Algebra Appl., Vol. 434, pp. 327-342, (2011)

Vector-Valued Jack Polynomials from Scratch

Authors: Charles F. Dunkl, Jean-Gabriel Luque

Abstract: Vector-valued Jack polynomials associated to the symmetric group ${\mathfrak S}_N$ are polynomials with multiplicities in an irreducible module of ${\mathfrak S}_N$ and which are simultaneous eigenfunctions of the Cherednik-Dunkl operators with some additional properties concerning the leading monomial. These polynomials were introduced by Griffeth in the general setting of the complex reflections… ▽ More Vector-valued Jack polynomials associated to the symmetric group ${\mathfrak S}_N$ are polynomials with multiplicities in an irreducible module of ${\mathfrak S}_N$ and which are simultaneous eigenfunctions of the Cherednik-Dunkl operators with some additional properties concerning the leading monomial. These polynomials were introduced by Griffeth in the general setting of the complex reflections groups $G(r,p,N)$ and studied by one of the authors (C. Dunkl) in the specialization $r=p=1$ (i.e. for the symmetric group). By adapting a construction due to Lascoux, we describe an algorithm allowing us to compute explicitly the Jack polynomials following a Yang-Baxter graph. We recover some properties already studied by C. Dunkl and restate them in terms of graphs together with additional new results. In particular, we investigate normalization, symmetrization and antisymmetrization, polynomials with minimal degree, restriction etc. We give also a shifted version of the construction and we discuss vanishing properties of the associated polynomials. △ Less

Submitted 16 March, 2011; v1 submitted 13 September, 2010; originally announced September 2010.

MSC Class: 05E05; 16T25; 05C25; 33C80

Journal ref: SIGMA 7 (2011), 026, 48 pages

Symmetric and Antisymmetric Vector-valued Jack Polynomials

Authors: Charles F. Dunkl

Abstract: Polynomials with values in an irreducible module of the symmetric group can be given the structure of a module for the rational Cherednik algebra, called a standard module. This algebra has one free parameter and is generated by differential-difference ("Dunkl") operators, multiplication by coordinate functions and the group algebra. By specializing Griffeth's (arXiv:0707.0251) results for the G… ▽ More Polynomials with values in an irreducible module of the symmetric group can be given the structure of a module for the rational Cherednik algebra, called a standard module. This algebra has one free parameter and is generated by differential-difference ("Dunkl") operators, multiplication by coordinate functions and the group algebra. By specializing Griffeth's (arXiv:0707.0251) results for the G(r,p,n) setting, one obtains norm formulae for symmetric and antisymmetric polynomials in the standard module. Such polynomials of minimum degree have norms which involve hook-lengths and generalize the norm of the alternating polynomial. △ Less

Submitted 28 January, 2010; v1 submitted 25 January, 2010; originally announced January 2010.

Comments: 22 pages, added remark about the Gordon-Stafford Theorem, corrected some typos

MSC Class: 05E05; 20C30

Journal ref: Sem. Lothar. Combin. B64a (2010), 31 pp

Some Orthogonal Polynomials in Four Variables

Authors: Charles F. Dunkl

Abstract: The symmetric group on 4 letters has the reflection group $D_{3}$ as an isomorphic image. This fact follows from the coincidence of the root systems $A_{3}$ and $D_{3}$. The isomorphism is used to construct an orthogonal basis of polynomials of 4 variables with 2 parameters. There is an associated quantum Calogero-Sutherland model of 4 identical particles on the line. The symmetric group on 4 letters has the reflection group $D_{3}$ as an isomorphic image. This fact follows from the coincidence of the root systems $A_{3}$ and $D_{3}$. The isomorphism is used to construct an orthogonal basis of polynomials of 4 variables with 2 parameters. There is an associated quantum Calogero-Sutherland model of 4 identical particles on the line. △ Less

Submitted 29 November, 2008; originally announced December 2008.

Comments: This is a contribution to the Special Issue on Dunkl Operators and Related Topics, published in SIGMA (Symmetry, Integrability and Geometry: Methods and Applications) at http://www.emis.de/journals/SIGMA/

Journal ref: SIGMA 4 (2008), 082, 9 pages

Polynomials Associated with Dihedral Groups

Authors: Charles F. Dunkl

Abstract: There is a commutative algebra of differential-difference operators, with two parameters, associated to any dihedral group with an even number of reflections. The intertwining operator relates this algebra to the algebra of partial derivatives. This paper presents an explicit form of the action of the intertwining operator on polynomials by use of harmonic and Jacobi polynomials. The last sectio… ▽ More There is a commutative algebra of differential-difference operators, with two parameters, associated to any dihedral group with an even number of reflections. The intertwining operator relates this algebra to the algebra of partial derivatives. This paper presents an explicit form of the action of the intertwining operator on polynomials by use of harmonic and Jacobi polynomials. The last section of the paper deals with parameter values for which the formulae have singularities. △ Less

Submitted 22 March, 2007; v1 submitted 5 February, 2007; originally announced February 2007.

Comments: Published in SIGMA (Symmetry, Integrability and Geometry: Methods and Applications) at http://www.emis.de/journals/SIGMA/

MSC Class: Primary 33C45; 33C80; Secondary 20F55

Journal ref: SIGMA 3 (2007), 052, 19 pages

An Intertwining Operator for the Group B2

Authors: Charles F. Dunkl

Abstract: There is a commutative algebra of differential-difference operators, acting on polynomials on R_2, associated with the reflection group B2. This paper presents an integral transform which intertwines this algebra, allowing one free parameter, with the algebra of partial derivatives. The method of proof depends on properties of a certain class of balanced terminating hypergeometric series of 4F3-… ▽ More There is a commutative algebra of differential-difference operators, acting on polynomials on R_2, associated with the reflection group B2. This paper presents an integral transform which intertwines this algebra, allowing one free parameter, with the algebra of partial derivatives. The method of proof depends on properties of a certain class of balanced terminating hypergeometric series of 4F3-type. These properties are in the form of recurrence and contiguity relations and are proved herein. △ Less

Submitted 31 July, 2006; originally announced July 2006.

Comments: 27 pages

MSC Class: 33C80; 33C20 (Primary); 33C70; 43A80 (Secondary)

Journal ref: Glasgow Math. J. 49 (2007), 291-319.

Singular Polynomials and Modules for the Symmetric Groups

Authors: Charles F. Dunkl

Abstract: For certain negative rational numbers k0, called singular values, and associated with the symmetric group S_N on N objects, there exist homogeneous polynomials annihilated by each Dunkl operator when the parameter k = k0. It was shown by de Jeu, Opdam and the author (TAMS 346(1994),237-256) that the singular values are exactly the values m/n with 2<=n<=N, m = 1,2... and m/n is not an integer. Fo… ▽ More For certain negative rational numbers k0, called singular values, and associated with the symmetric group S_N on N objects, there exist homogeneous polynomials annihilated by each Dunkl operator when the parameter k = k0. It was shown by de Jeu, Opdam and the author (TAMS 346(1994),237-256) that the singular values are exactly the values m/n with 2<=n<=N, m = 1,2... and m/n is not an integer. For each pair (m,n) satisfying these conditions there is a unique irreducible S_N-module of singular polynomials for the singular value -m/n. The existence of these polynomials was established by the author (IMRN 2004,#67,3607-3635). The uniqueness is proven in the present paper. By using Murphy's (J. Alg. 69(1981), 287-297) results on the eigenvalues of the Murphy elements, the problem of existence of singular polynomials is first restricted to the isotype of a partition of N (corresponding to an irreducible representation of S_N) such that (n/gcd(m,n)) divides t+1 for each part t of the partition except the last one. Then by arguments involving nonsymmetric Jack polynomials it is shown that the assumption that the second part of the partition is greater than or equal to n/gcd(m,n) leads to a contradiction.This shows that the singular polynomials are exactly those already determined. △ Less

Submitted 27 January, 2005; originally announced January 2005.

Comments: 24 pages

MSC Class: Primary 20C30; 05E10; Secondary 16S32

Journal ref: Int. Math. Res. Not. 2005, no. 39, 2409-2436

Hook-lengths and Pairs of Compositions

Authors: Charles F. Dunkl

Abstract: The monomial basis for polynomials in N variables is labeled by compositions. To each composition there is associated a hook-length product, which is a product of linear functions of a parameter. The zeroes of this product are related to "critical pairs" of compositions; a concept defined in this paper. This property can be described in an elementary geometric way; for example: consider the two… ▽ More The monomial basis for polynomials in N variables is labeled by compositions. To each composition there is associated a hook-length product, which is a product of linear functions of a parameter. The zeroes of this product are related to "critical pairs" of compositions; a concept defined in this paper. This property can be described in an elementary geometric way; for example: consider the two compositions (2,7,8,2,0,0) and (5,1,2,5,3,3), then the respective ranks, permutations of the index set {1,2,...,6} sorting the compositions, are (3,2,1,4,5,6) and (1,6,5,2,3,4), and the two vectors of differences (between the compositions and the ranks, respectively) are (-3,6,6,-3,-3,-3) and (2,-4,-4,2,2,2), which are parallel, with ratio -3/2. For a given composition and zero of its hook-length product there is an algorithm for constructing another composition with the parallelism property and which is comparable to it in a certain partial order on compositions, derived from the dominance order. This paper presents the motivation from the theory of nonsymmetric Jack polynomials and the description of the algorithm, as well as the proof of its validity. △ Less

Submitted 20 May, 2005; v1 submitted 21 October, 2004; originally announced October 2004.

Comments: 12 pages, revision of first two sections, and a more detailed presentation of main theorem and algorithm

MSC Class: Primary 05E10; Secondary 05E35; 33C52

Journal ref: J. Comp. Appl. Math. 199 (2007), 39-47

Singular polynomials for the symmetric groups

Authors: Charles F. Dunkl

Abstract: For certain negative rational numbers k, called singular values, and associated with the symmetric group S_N on N objects, there exist homogeneous polynomials annihilated by each Dunkl operator when the parameter equals k. It was shown by the author, de Jeu and Opdam (Trans. Amer. Math. Soc. 346 (1994), 237-256) that the singular values are exactly the values -m/n with 2 <= n <= N, m = 1,2,... a… ▽ More For certain negative rational numbers k, called singular values, and associated with the symmetric group S_N on N objects, there exist homogeneous polynomials annihilated by each Dunkl operator when the parameter equals k. It was shown by the author, de Jeu and Opdam (Trans. Amer. Math. Soc. 346 (1994), 237-256) that the singular values are exactly the values -m/n with 2 <= n <= N, m = 1,2,... and m/n is not an integer. This paper constructs for each pair (m,n) satisfying these conditions an irreducible S_N-module of singular polynomials for the singular value -m/n. The module is of isotype (n-1,(n1-1)^p,r) where n1 = n/gcd(m,n), r = N-n+1-p(n1-1) and 1 <= r <= n1-1 (thus defining p). The singular polynomials are special cases of nonsymmetric Jack polynomials. The paper presents some formulae for the action of Dunkl operators on these polynomials valid in general, and a method for showing the dependence of poles (in the parameter) on the number of variables (N). Murphy elements are used to analyze the representation of S_N on irreducible spaces of singular polynomials. △ Less

Submitted 16 March, 2004; originally announced March 2004.

Comments: 22 pages

MSC Class: Primary 20C30; 05E10; Secondary 16S32

Journal ref: Int. Math. Res. Not. 2004, no. 67, 3607-3635

Singular Polynomials for the Symmetric Group and Krawtchouk Polynomials

Authors: Charles F. Dunkl

Abstract: A singular polynomial is one which is annihilated by all Dunkl operators for a certain parameter value. These polynomials were first studied by Dunkl, de Jeu and Opdam, (Trans. Amer. Math. Soc. 346 (1994), 237-256). This paper constructs a family of such polynomials associated to the irreducible representation (N-2,1,1) of the symmetric group S_N for odd N and parameter values -1/2, -3/2, -5/2,.… ▽ More A singular polynomial is one which is annihilated by all Dunkl operators for a certain parameter value. These polynomials were first studied by Dunkl, de Jeu and Opdam, (Trans. Amer. Math. Soc. 346 (1994), 237-256). This paper constructs a family of such polynomials associated to the irreducible representation (N-2,1,1) of the symmetric group S_N for odd N and parameter values -1/2, -3/2, -5/2,... . The method depends on the use of Krawtchouk polynomials to carry out a change of variables in a generating function involved in the construction of nonsymmetric Jack polynomials labeled by (m,n,0,....), m>=n. △ Less

Submitted 16 October, 2003; originally announced October 2003.

Comments: submitted to Proceedings of 10th Kravchuk International Conference (2004), 12 pages

MSC Class: 33C80; 20C30

Symmetric Functions and B_N-invariant Spherical Harmonics

Authors: Charles F. Dunkl

Abstract: The wave functions of a quantum isotropic harmonic oscillator in N-space modified by barriers at the coordinate hyperplanes can be expressed in terms of certain generalized spherical harmonics. These are associated with a product-type weight function on the sphere. Their analysis is carried out by means of differential-difference operators. The symmetries of this system involve the Weyl group of… ▽ More The wave functions of a quantum isotropic harmonic oscillator in N-space modified by barriers at the coordinate hyperplanes can be expressed in terms of certain generalized spherical harmonics. These are associated with a product-type weight function on the sphere. Their analysis is carried out by means of differential-difference operators. The symmetries of this system involve the Weyl group of type B, generated by permutations and changes of sign of the coordinates. A new basis for symmetric functions as well as an explicit transition matrix to the monomial basis is constructed. This basis leads to a basis for invariant spherical harmonics. The determinant of the Gram matrix for the basis in the natural inner product over the sphere is evaluated, and there is a formula for the evaluation of the basis elements at (1,1,...,1). When the underlying parameter is specialized to zero, the basis consists of ordinary spherical harmonics with cube group symmetry, as used for wave functions of electrons in crystals. The harmonic oscillator can also be considered as a degenerate interaction-free spin Calogero model. △ Less

Submitted 15 July, 2002; originally announced July 2002.

Comments: 22 pages

MSC Class: 33C55; 05E05; 81Q05; 82D25

Journal ref: J.Phys. A: Math. Gen. 35 (2002), 10391-10408

Dunkl operators for complex reflection groups

Authors: C. F. Dunkl, E. M. Opdam

Abstract: Dunkl operators for complex reflection groups are defined in this paper. These commuting operators give rise to a parametrized family of deformations of the polynomial De Rham complex. This leads to the study of the polynomial ring as a module over the "rational Cherednik algebra", and a natural contravariant form on this module. In the case of the imprimitive complex reflection groups G(m,p,N),… ▽ More Dunkl operators for complex reflection groups are defined in this paper. These commuting operators give rise to a parametrized family of deformations of the polynomial De Rham complex. This leads to the study of the polynomial ring as a module over the "rational Cherednik algebra", and a natural contravariant form on this module. In the case of the imprimitive complex reflection groups G(m,p,N), the set of singular parameters in the parameter family of these structures is described explicitly, using the theory of nonsymmetric Jack polynomials. △ Less

Submitted 28 August, 2001; originally announced August 2001.

Comments: 36 pages; Programme on Symmetric Functions and Macdonald Polynomials at the Isaac Newton Institute

Report number: NI01031-SFM MSC Class: 20F55 (Primary); 52C35; 05E05; 33C08 (Secondary)

Journal ref: Proc. London Math. Soc.(3) 86 (2003), 70-108

A Laguerre Polynomial Orthogonality and the Hydrogen Atom

Authors: Charles F. Dunkl

Abstract: The radial part of the wave function of an electron in a Coulomb potential is the product of a Laguerre polynomial and an exponential with the variable scaled by a factor depending on the degree. This note presents an elementary proof of the orthogonality of wave functions with differing energy levels. It is also shown that this is the only other natural orthogonality for Laguerre polynomials. B… ▽ More The radial part of the wave function of an electron in a Coulomb potential is the product of a Laguerre polynomial and an exponential with the variable scaled by a factor depending on the degree. This note presents an elementary proof of the orthogonality of wave functions with differing energy levels. It is also shown that this is the only other natural orthogonality for Laguerre polynomials. By expanding in terms of the usual Laguerre polynomial basis an analogous strange orthogonality is obtained for Meixner polynomials. △ Less

Submitted 24 May, 2002; v1 submitted 13 November, 2000; originally announced November 2000.

Comments: 13 pages, LaTeX, new section on Meixner polynomials

MSC Class: 81Q05; 33C25

Journal ref: Analysis & Appl. 1 (2003), 177-188

Computation of the Generalized F Distribution

Authors: Charles F. Dunkl, Donald E. Ramirez

Abstract: Exact expressions are given for the distribution function of the ratio of a weighted sum of independent chi-squared variables to a single chi-square variable, scaled appropriately. This distribution is the generalization of the classical F distribution to mixtures of chi-squared variables. The distribution is given in terms of the Lauricella functions. The truncation error bounds are given in te… ▽ More Exact expressions are given for the distribution function of the ratio of a weighted sum of independent chi-squared variables to a single chi-square variable, scaled appropriately. This distribution is the generalization of the classical F distribution to mixtures of chi-squared variables. The distribution is given in terms of the Lauricella functions. The truncation error bounds are given in terms of hypergeometric functions. Applications to detecting joint outliers and Hotelling's misspecified T^2 distribution are given. △ Less

Submitted 14 June, 1999; originally announced June 1999.

Comments: Latex, 15 pages

MSC Class: 62E15; 62J20 (Primary); 33C65 (Secondary)

Journal ref: Dunkl, C. F. and Ramirez, D. E. (2001), Computation of the Generalized F Distribution. Australian & New Zealand Journal of Statistics, 43: 21-31

Planar Harmonic Polynomials of Type B

Authors: Charles F. Dunkl

Abstract: The hyperoctahedral group is the Weyl group of type B and is associated with a two-parameter family of differential-difference operators T_i, i=1,..,N (the dimension of the underlying Euclidean space). These operators are analogous to partial derivative operators. This paper finds all the polynomials in N variables which are annihilated by the sum of the squares (T_1)^2+(T_2)^2 and by all T_i fo… ▽ More The hyperoctahedral group is the Weyl group of type B and is associated with a two-parameter family of differential-difference operators T_i, i=1,..,N (the dimension of the underlying Euclidean space). These operators are analogous to partial derivative operators. This paper finds all the polynomials in N variables which are annihilated by the sum of the squares (T_1)^2+(T_2)^2 and by all T_i for i>2 (harmonic). They are given explicitly in terms of a novel basis of polynomials, defined by generating functions. The harmonic polynomials can be used to find wave functions for the quantum many-body spin Calogero model. △ Less

Submitted 7 June, 1999; originally announced June 1999.

Comments: 17 pages, LaTeX

MSC Class: 33C50; 33C80 (Primary) 81V70; 82B21 (Secondary)

Orthogonal Polynomials of Types A and B and Related Calogero Models

Authors: Charles F. Dunkl

Abstract: Calogero-Sutherland models associated to the Weyl groups of type A and B with exchange terms included in the Hamiltonians systems have non-symmetric eigenfunctions, which are products of the ground state with members of a family of orthogonal polynomials. These polynomials can be defined and studied by using the differential-difference operators introduced by the author in TAMS 1989 (311), 167-1… ▽ More Calogero-Sutherland models associated to the Weyl groups of type A and B with exchange terms included in the Hamiltonians systems have non-symmetric eigenfunctions, which are products of the ground state with members of a family of orthogonal polynomials. These polynomials can be defined and studied by using the differential-difference operators introduced by the author in TAMS 1989 (311), 167-183. There is a study of polynomials which are invariant or alternating for parabolic subgroups of the symmetric group. The detailed analysis depends on using two bases of polynomials, one of which transforms monomially under group actions and the other one is orthogonal. There are formulas for norms and point-evaluations which are simplifications of those of Sahi. For any parabolic subgroup of the symmetric group there is a skew operator on polynomials which leads to evaluation at (1,1,...,1) of the quotient of the unique skew polynomial in a given irreducible subspace by the minimum alternating polynomial, analogously to a Weyl character formula. The last section concerns orthogonal polynomials for the type B Weyl group with an emphasis on the Hermite-type polynomials. A complete basis of eigenfunctions of Yamamoto's B_N spin Calogero model is obtained by multiplying these polynomials by the ground state. △ Less

Submitted 16 October, 1998; v1 submitted 9 October, 1997; originally announced October 1997.

MSC Class: 33C80 (Primary); 81V70 (Secondary)

Journal ref: Commun. Math. Phys. 197 (1998), 451-487