Related papers: Zeilberger's Holonomic Ansatz for Pfaffians
We introduce a symbolic representation of $r$-fold harmonic sums at negative indices. This representation allows us to recover and extend some recent results by Duchamp et al., such as recurrence relations and generating functions for these…
The determinant of an anti-symmetric matrix $g$ is the square of its Pfaffian, which like the determinant is a polynomial in the entries of $g$. Studies of certain super conformal field theories (of class S) suggested a conjectural…
We study a variant of the Riemann-Hilbert problem on the complements of hyperplane arrangements. This problem asks whether a given local system on the complement can be realized as the solution sheaf of a logarithmic Pfaffian system with…
We introduce a subexponential algorithm for geometric solving of multivariate polynomial equation systems whose bit complexity depends mainly on intrinsic geometric invariants of the solution set. From this algorithm, we derive a new…
We use the Wilf-Zeilberger method to prove identities between Mahler measures of polynomials. In particular, we offer a new proof of a formula due to Lal\'{i}n, and we show how to translate the identity into a formula involving elliptic…
We derive a numerical algorithm for evaluating the Riemannian logarithm on the Stiefel manifold with respect to the canonical metric. In contrast to the existing optimization-based approach, we work from a purely matrix-algebraic…
The Hurwitz space is the moduli space of pairs $(X,f)$ where $X$ is a compact Riemann surface and $f$ is a meromorphic function on $X$. We study the Laplace operator $\Delta^{|df|^2}$ of the flat singular Riemannian manifold $(X,|df|^2)$.…
We obtain several determinant evaluations, related to affine root systems, which provide elliptic extensions of Weyl denominator formulas. Some of these are new, also in the polynomial special case, while others yield new proofs of the…
In this paper, we present an algorithm for computing a fundamental matrix of formal solutions of completely integrable Pfaffian systems with normal crossings in several variables. This algorithm is a generalization of a method developed for…
We derive the recurrence relations for relativistic Coulomb integrals directly from the integral representations with the help of computer algebra methods. In order to manage the computational complexity of this problem, we employ holonomic…
Noncommutative pfaffians associated with an orthogonal algebra are some special elements of the universal enveloping algebra. In the paper it is suggested to use some pfaffians as raising operators. The images of these pfaffians in the…
We evaluate the determinant of a matrix whose entries are elliptic hypergeometric terms and whose form is reminiscent of Sylvester matrices. A hypergeometric determinant evaluation of a matrix of this type has appeared in the context of…
We show how the continuous Almkvist-Zeilberger algorithm can be used to efficiently discover and prove differential equations satisfied by generating functions of sequences defined as integrals of powers of C-finite polynomial sequences…
In a recent paper with Sahi and Stokman, we introduced quasi-polynomial generalizations of Macdonald polynomials for arbitrary root systems via a new class of representations of the double affine Hecke algebra. These objects depend on a…
A new approach to the analytic theory of difference equations with rational and elliptic coefficients is proposed. It is based on the construction of canonical meromorphic solutions which are analytical along "thick paths". The concept of…
In this paper, we consider the problem of representing a multivariate polynomial as the determinant of a definite (monic) symmetric/Hermitian linear matrix polynomial (LMP). Such a polynomial is known as determinantal polynomial.…
Contractions of Lie algebras are combined with the classical matrix method of Gel'fand to obtain matrix formulae for the Casimir operators of inhomogeneous Lie algebras. The method is presented for the inhomogeneous pseudo-unitary Lie…
Let $\K$ be a field of characteristic zero and $\Kbar$ be an algebraic closure of $\K$. Consider a sequence of polynomials$G=(g\_1,\dots,g\_s)$ in $\K[X\_1,\dots,X\_n]$, a polynomial matrix $\F=[f\_{i,j}] \in \K[X\_1,\dots,X\_n]^{p \times…
Let X be a compact Riemannian manifold of dimension two or three and let P be a point of X. We derive comparison formulas relating the zeta-regularized determinant of an arbitrary self-adjoint extension of (symmetric) Laplace operator with…
In this paper, we present an algorithm which computes a fundamental matrix of formal solutions of completely integrable Pfaffian systems with normal crossings in two variables, based on (Barkatou, 1997). A first step was set in…