SearcharxivSearch

arXiv subjects

Charles F. Dunkl

Publications and source records attributed to Charles F. Dunkl.

At least 19 recordsLinked to original sources

Some Spherical Function Values for Hook Tableaux Isotypes and Young Subgroups

A Young subgroup of the symmetric group $\mathcal{S}_{N}$, the permutation group of $\{ 1,2,\dots,N\} $, is generated by a subset of the adjacenttranspositions $\{ ( i,i+1) \mid 1\leq i < N\}$. Such a group is realized as the stabilizer $G_{n}$ of a monomial $x^λ$ $\big({=}\,x_{1}^{λ_{1}}x_{2}^{λ_{2}}\cdots x_{N}^{λ_{N}}\big)$ with ${λ=\bigl( d_{1}^{n_{1}},d_{2}^{n_{2}}, \dots,d_{p}^{n_{p}}\bigr)} $ (meaning $d_{j}$ is repeated $n_{j}$ times, $1\leq j\leq p$, and $d_{1}>d_{2}>\dots>d_{p}\geq0$), thus is isomorphic to the direct product $\mathcal{S}_{n_{1}}\times\mathcal{S}_{n_{2}} \times\cdots\times\mathcal{S}_{n_{p}}$. The interval $\{ 1,2,\dots,N\} $ is a union of disjoint sets $I_{j}= \{ i\mid λ_{i}=d_{j} \} $. The orbit of $x^λ$ under the action of $\mathcal{S}_{N}$ (by permutation of coordinates) spans a module $V_λ$, the representation induced from the identity representation of $G_{n}$. The space $V_λ$ decomposes into a direct sum of irreducible $\mathcal{S}_{N}$-modules. The spherical function is defined for each of these, it is the character of the module averaged over the group $G_{n}$. This paper concerns the value of certain spherical functions evaluated at a cycle which has no more than one entry in each interval $I_{j}$. These values appear in the study of eigenvalues of the Heckman-Polychronakos operators in the paper by V. Gorin and the author [arXiv:2412:01938]. In particular, the present paper determines the spherical function value for $\mathcal{S}_{N}$-modules of hook tableau type, corresponding to Young tableaux of shape $\bigl[ N-b,1^{b}\bigr]$.

math.RT

Some spherical function values for two-row tableaux and Young subgroups with three factors

A Young subgroup of the symmetric group $\mathcal{S}_{N}$ with three factors, is realized as the stabilizer $G_{n}$ of a monomial $x^λ$ ( $=x_{1}^{λ_{1}}x_{2}^{λ_{2}}\cdots x_{N}^{λ_{N}}$) with $λ=\left( d_{1}^{n_{1}},d_{2}^{n_{2}},d_{3}^{n_{3}}\right) $ (meaning $d_{j}$ is repeated $n_{j}$ times, $1\leq j\leq3$), thus is isomorphic to the direct product $\mathcal{S}_{n_{1}}\times\mathcal{S}_{n_{2}}\times \mathcal{S}_{n_{3}}$. The orbit of $x^λ$ under the action of $\mathcal{S}_{N}$ (by permutation of coordinates) spans a module $V_λ% $, the representation induced from the identity representation of $G_{n}$. The space $V_λ$ decomposes into a direct sum of irreducible $\mathcal{S}% _{N}$-modules. The spherical function is defined for each of these, it is the character of the module averaged over the group $G_{n}$. This paper concerns the value of certain spherical functions evaluated at a cycle which has no more than one entry in each of the three intervals $I_{j}=\left\{ i:λ_{i}=d_{j}\right\} ,1\leq j\leq3$. These values appear in the study of eigenvalues of the Heckman-Polychronakos operators in the paper by V. Gorin and the author (arXiv:2412:01938v1). The present paper determines the spherical function values for $\mathcal{S}_{N}$-modules $V$ of two-row tableau type, corresponding to Young tableaux of shape $\left[ N-k,k\right] $. The method is based on analyzing the effect of a cycle on $G_{n}$-invariant elements of $V$. These are constructed in terms of Hahn polynomials in two variables.

math.RT

The $B_2$ Harmonic Oscillator with Reflections and Superintegrability

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.

math-ph

The quantum harmonic oscillator with icosahedral symmetry and some explicit wavefunctions

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.

math-ph

The Classification of All Singular Nonsymmetric Macdonald Polynomials

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.

math.RT

Nonsymmetric Macdonald Superpolynomials

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.

math.RT

Evaluation of Nonsymmetric Macdonald Superpolynomials at Special Points

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.

math.CO

A Superpolynomial Version of Nonsymmetric Jack Polynomials

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.

math.RT

Singular nonsymmetric Jack polynomials for some rectangular tableaux

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.

math.RT

Singular Nonsymmetric Macdonald Polynomials and Quasistaircases

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}$.

math.RT

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

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.

math-ph

Some Singular Vector-valued Jack and Macdonald Polynomials

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 $τ$.

math.RT

The Smallest Singular Values and Vector-Valued Jack Polynomials

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.

math.RT

The smallest singular values of the icosahedral group

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}$.

math.RT

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

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.

math.RT

Factorizations of symmetric Macdonald polynomials

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.

math-ph

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

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.

math.CA

A Family of Crouzeix-Raviart Finite Elements in 3D

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.

math.NA