Related papers: Orthosymplectic Cauchy identities
We describe several classes of holomorphic functions of positive real part on the unit ball; each is characterized by an operator-valued Herglotz formula. Motivated by results of J.E. McCarthy and M. Putinar, we define a family of weighted…
We study the problem of existence, uniqueness and regularity of probabilistic solutions of the Cauchy problem for nonlinear stochastic partial differential equations involving operators corresponding to regular (nonsymmetric) Dirichlet…
We get several identities of differential operators in determinantal form. These identities are non-commutative versions of the formula of Cauchy-Binet or Laplace expansions of determinants, and if we take principal symbols, they are…
We present in this work a complete session in a Mathematica notebook. The aim of this notebook is to check identities in symmetric compositions. This notebook is a complement of our work [1] and it has all the explicit computations. We…
A recent paper of Bump, McNamara and Nakasuji introduced a factorial version of Tokuyama's identity, expressing the partition function of a six vertex model as the product of a t-deformed Vandermonde and a Schur function. Here we provide an…
In this paper, using the theory of category, we generalize known properties of symmetric polynomials and functions and characterize the multi-indicial symmetric functions. Examples have been given on Schur functions.
This paper argues that automated proofs of identities for non-terminating hypergeometric series are feasible by a combination of Zeilberger's algorithm and asymptotic estimates. For two analogues of Saalsch\"utz' summation formula in the…
This paper introduces noncommutative analogs of monomial symmetric functions and fundamental noncommutative symmetric functions. The expansion of ribbon Schur functions in both of these basis is nonnegative. With these functions at hand,…
A systematic procedure for generating certain identities involving elementary symmetric functions is proposed. These identities, as particular cases, lead to new identities for binomial and q-binomial coefficients.
The Cauchy dual subnormality problem has attracted the attention of the researchers in recent years. In this article, we describe the problem and present a new counter example to the problem by constructing a family of analytic, cyclic…
Previously, we proved an identity for theta functions of degree eight, and several applications of it were also discussed. This identity is a natural extension of the addition formula for the Weierstrass sigma-function. In this paper we…
We find a $q$-analog of the following symmetrical identity involving binomial coefficients $\binom{n}{m}$ and Eulerian numbers $A_{n,m}$, due to Chung, Graham and Knuth [{\it J. Comb.}, {\bf 1} (2010), 29--38]: {equation*} \sum_{k\geq…
We show how to extract a monotonic learning algorithm from a classical proof of a geometric statement by interpreting the proof by means of interactive realizability, a realizability sematics for classical logic. The statement is about the…
Recently, Nath and Das investigated congruence properties for the second order mock theta function $B(q)$. In their paper, they asked for analytic proofs of three identities on the second order mock theta functions $A(q)$, $B(q)$ and…
We prove certain Nahm-type sum representations for the (odd modulus) Andrews-Gordon identities, the (even modulus) Andrews-Bressoud identities, and Rogers' false theta functions. These identities are motivated on one hand by a recent work…
We extend the results of spin ladder models associated with the Lie algebras $su(2^n)$ to the case of the orthogonal and symplectic algebras $o(2^n),\ sp(2^n)$ where n is the number of legs for the system. Two classes of models are found…
We provide a new algorithm to determine stuttering equivalence with time complexity $O(m \log n)$, where $n$ is the number of states and $m$ is the number of transitions of a Kripke structure. This algorithm can also be used to determine…
The study of the Dirac system and second-order elliptic equations with complex-valued coefficients on the plane leads to bicomplex Vekua equations. To the difference of complex pseudoanalytic (generalized analytic) functions the theory of…
We examine and present new combinatorics for the Schur polynomials from the viewpoint of quantum integrability. We introduce and analyze an integrable six-vertex model which can be viewed as a certain degeneration model from a t-deformed…
We develop algorithms for certifying an approximation to a nonsingular solution of a square system of equations built from univariate analytic functions. These algorithms are based on the existence of oracles for evaluating basic data about…