Polynomial forms for quantum elliptic Calogero–Moser Hamiltonians

We hypothesize the form of a transformation reducing the elliptic A _N Calogero–Moser operator to a differential operator with polynomial coefficients. We verify this hypothesis for N ≤ 3 and, moreover, give the corresponding polynomial operators explicitly.     

Commuting Krichever–Novikov differential operators with polynomial coefficients

Under study are some commuting rank 2 differential operators with polynomial coefficients. We prove that, for every spectral curve of the form w² = z³+c₂z2+c₁z+c₀ with arbitrary coefficients c_i, there exist commuting nonselfadjoint operators of orders 4 and 6 with polynomial coefficients of arbitrary degree.     

Pairwise commuting derivations of polynomial rings

We prove that n pairwise commuting derivations of the polynomial ring (or the power series ring) in n variables over a field k of characteristic 0 form a commutative basis of derivations if and only if they are k-linearly independent and have no common Darboux polynomials. This result generalizes a recent result due to Petravchuk and is an analogue of a well-known fact that a set of pairwise commuting linear operators on a finite dimensional vector space over an algebraically closed field has a common eigenvector.     

The wave equation and separation of variables on the complex sphere S4

It is shown that every orthogonal separable coordinate system for the Helmholtz equation on S₄ leads to an R-separable system for the complex wave equation. All orthogonal separable systems on S₄ are classified and each is characterized by a commuting triplet of operators from the enveloping algebra of o(5). A consequence of the classification is that the most general cyclidic coordinates for the wave equation arise from ellipsoidal coordinates on S₄.     

Simultaneous singular value decomposition

We consider the following problem: Given a set of m×n real (or complex) matrices A₁,…,A_N, find an m×m orthogonal (or unitary) matrix P and an n×n orthogonal (or unitary) matrix Q such that P^*A₁Q,…,P^*A_NQ are in a common block-diagonal form with possibly rectangular diagonal blocks. We call this the simultaneous singular value decomposition (simultaneous SVD). The name is motivated by the fact that the special case with N=1, where a single matrix is given, reduces to the ordinary SVD. With the aid of the theory of *-algebra and bimodule it is shown that a finest simultaneous SVD is uniquely determined. An algorithm is proposed for finding the finest simultaneous SVD on the basis of recent algorithms of Murota-Kanno-Kojima-Kojima and Maehara-Murota for simultaneous block-diagonalization of square matrices under orthogonal (or unitary) similarity.     

On Positive Hilbert–Schmidt Operators

We study classes of self-adjoint Hilbert–Schmidt operators, focusing on sufficient conditions for the operators to be positive. The integral kernels for which the conditions hold true encompass kernel functions that arise in the setting of elliptic Calogero–Moser type integrable N-particle systems, a context where the positivity property has crucial consequences.     

Self-adjoint commuting ordinary differential operators

In this paper we study self-adjoint commuting ordinary differential operators of rank two. We find sufficient conditions when an operator of fourth order commuting with an operator of order 4g+2 is self-adjoint. We introduce an equation on potentials V(x),W(x) of the self-adjoint operator \(L=(\partial_{x}^{2}+V)^{2}+W\) and some additional data. With the help of this equation we find the first example of commuting differential operators of rank two corresponding to a spectral curve of higher genus. These operators have polynomial coefficients and define commutative subalgebras of the first Weyl algebra.     

Kernel identities for van Diejen’s q-difference operators and transformation formulas for multiple basic hypergeometric series

The kernel function of Cauchy type for type BC is defined as a solution of linear q-difference equations. In this paper, we show that this kernel function intertwines the commuting family of van Diejen’s q-difference operators. This result gives rise to a transformation formula for certain multiple basic hypergeometric series of type BC. We also construct a new infinite family of commuting q-difference operators for which the Koornwinder polynomials are joint eigenfunctions.     

An extended class of orthogonal polynomials defined by a Sturm-Liouville problem

We present two infinite sequences of polynomial eigenfunctions of a Sturm-Liouville problem. As opposed to the classical orthogonal polynomial systems, these sequences start with a polynomial of degree one. We denote these polynomials as X₁-Jacobi and X₁-Laguerre and we prove that they are orthogonal with respect to a positive definite inner product defined over the compact interval [−1,1] or the half-line [0,∞), respectively, and they are a basis of the corresponding L² Hilbert spaces. Moreover, we prove a converse statement similar to Bochner's theorem for the classical orthogonal polynomial systems: if a self-adjoint second-order operator has a complete set of polynomial eigenfunctions , then it must be either the X₁-Jacobi or the X₁-Laguerre Sturm-Liouville problem. A Rodrigues-type formula can be derived for both of the X₁ polynomial sequences.     

Macdonald operators at infinity

We construct a family of pairwise commuting operators such that the Macdonald symmetric functions of infinitely many variables x ₁,x ₂,… and of two parameters q,t are their eigenfunctions. These operators are defined as limits at N→∞ of renormalized Macdonald operators acting on symmetric polynomials in the variables x ₁,…,x _N . They are differential operators in terms of the power sum variables \(p_{n}=x_{1}^{n}+x_{2}^{n}+\cdots\) and we compute their symbols by using the Macdonald reproducing kernel. We express these symbols in terms of the Hall–Littlewood symmetric functions of the variables x ₁,x ₂,…. Our result also yields elementary step operators for the Macdonald symmetric functions.     

Brown measures of sets of commuting operators in a type II1 factor

Using the spectral subspaces obtained in [U. Haagerup, H. Schultz, Invariant subspaces of operators in a general II₁-factor, preprint, 2005], Brown's results (cf. [L.G. Brown, Lidskii's theorem in the type II case, in: H. Araki, E. Effros (Eds.), Geometric Methods in Operator Algebras, Kyoto, 1983, in: Pitman Res. Notes Math. Ser., vol. 123, Longman Sci. Tech., 1986, pp. 1-35]) on the Brown measure of an operator in a type II₁ factor (M,τ) are generalized to finite sets of commuting operators in M. It is shown that whenever T₁,…,Tn∈M are mutually commuting operators, there exists one and only one compactly supported Borel probability measure μT₁,…,Tn on B(Cn) such that for all α₁,…,αn∈C,

     

The theory of orthogonal R-separation for Helmholtz equations

We develop the theory of orthogonal R-separation for the Helmholtz equation on a pseudo-Riemannian manifold and show that it, and not ordinary variable separation, is the natural analogy of additive separation for the Hamiltonian-Jacobi equation. We provide a coordinate-free characterization of R-separation in terms of commuting symmetry operators.     

A Counter-Example to Martino’s Conjecture About Generic Calogero–Moser Families

The Calogero–Moser families are partitions of the irreducible characters of a complex reflection group derived from the block structure of the corresponding restricted rational Cherednik algebra. It was conjectured by Martino in 2009 that the generic Calogero–Moser families coincide with the generic Rouquier families, which are derived from the corresponding Hecke algebra. This conjecture is already proven for the whole infinite series G(m,p,n) and for the exceptional group G ₄. A combination of theoretical facts with explicit computations enables us to determine the generic Calogero–Moser families for the nine exceptional groups G ₄, G ₅, G ₆, G ₈, G ₁₀, G ₂₃?=?H ₃, G ₂₄, G ₂₅, and G ₂₆. We show that the conjecture holds for all these groups—except surprisingly for the group G ₂₅, thus being the first and only-known counter-example so far.     

Dunkl Operators for Complex Reflection Groups

Dunkl operators for complex reflection groups are defined inthis paper. These commuting operators give rise to a parameterizedfamily of deformations of the polynomial De Rham complex. Thisleads to the study of the polynomial ring as a module over the‘rational Cherednik algebra’, and a natural contravariantform on this module. In the case of the imprimitive complexreflection groups G(m, p, N), the set of singular parametersin the parameterized family of these structures is describedexplicitly, using the theory of non-symmetric Jack polynomials.2000 Mathematical Subject Classification: 20F55 (primary), 52C35,05E05, 33C08 (secondary).     

Polynomials with respect to a general basis. I. Theory

As n × n Hessenberg matrix A is defined whose characteristic polynomial is relative to an arbitrary basis. This generalizes the companion, colleague, and comrade matrices when the bases are, respectively, power, Chebyshev, and orthogonal, so the term “confederate” matrix is suggested. Some properties of A are derived, including an algorithm for computing powers of A. A scheme is given for inverting the transformation matrix between the arbitrary and power bases. A Vandermonde-type matrix associated with A and a block confederate matrix are defined.     

Characteristic function for polynomially contractive commuting tuples

In this note, we develop the theory of characteristic function as an invariant for n-tuples of operators. The operator tuple has a certain contractivity condition put on it. This condition and the class of domains in Cn that we consider are intimately related. A typical example of such a domain is the open Euclidean unit ball. Given a polynomial P in C[z₁,z₂,…,zn] whose constant term is zero, all the coefficients are nonnegative and the coefficients of the linear terms are nonzero, one can naturally associate a Reinhardt domain with it, which we call the P-ball (Definition 1.1). Using the reproducing kernel Hilbert space HP(C) associated with this Reinhardt domain in Cn, S. Pott constructed the dilation for a polynomially contractive commuting tuple (Definition 1.2) [S. Pott, Standard models under polynomial positivity conditions, J. Operator Theory 41 (1999) 365-389. MR 2000j:47019]. Given any polynomially contractive commuting tuple T we define its characteristic function θT which is a multiplier. We construct a functional model using the characteristic function. Exploiting the model, we show that the characteristic function is a complete unitary invariant when the tuple is pure. The characteristic function gives newer and simpler proofs of a couple of known results: one of them is the invariance of the curvature invariant and the other is a Beurling theorem for the canonical operator tuple on HP(C). It is natural to study the boundary behaviour of θT in the case when the domain is the Euclidean unit ball. We do that and here essential differences with the single operator situation are brought out.     

The spectral approximation of multiplication operators via asymptotic (structured) linear algebra

A multiplication operator on a Hilbert space may be approximated with finite sections by choosing an orthonormal basis of the Hilbert space. Multiplication operators with nonzero symbols, defined on L² spaces of functions, are never compact and then such approximations cannot converge in the norm topology. Instead, we consider how well the spectra of the finite sections approximate the spectrum of the multiplication operator whose expression is simply given by the essential range of the symbol (i.e. the multiplier). We discuss the case of real orthogonal polynomial bases and the relations with the classical Fourier basis whose choice leads to the well studied Toeplitz case. Indeed, the asymptotic approximation of the spectrum by the spectra of the associated Toeplitz sections is possible only under precise geometric assumptions on the range of the symbol. Conversely, the use of circulant approximations leads to constructive algorithms, with O(N log(N)) complexity (N = number of sections), working in general and generalizable to the separable multivariate and matrix-valued cases as well.