Related papers: Cauchy-type identities through collocation matrice…
We give a simple algebraic derivation of a useful determinantal identity for multilevel systems such as random matrix chains and finite determinantal point processes, with applications to the calculation of point correlators, gap…
We consider two different interpretations of the Chu--Vandermonde identity: as an identity for polynomials, and as an identity for infinite matrices. Each interpretation leads to a class of possible generalizations, and in both cases we…
Identities of complex irreducible representations of finite groups can be explicitly constructed from character value sets. Among other things, these identities determine representations up to Gassmann equivalency. Some examples of…
In this paper we give an explicit representation of the solutions of a characteristic Cauchy problem for a class of PDEs with singular coefficients. We give the explicit solutions in terms of the Gauss hypergeometric functions, which enable…
Using a probabilistic approach, we derive several interesting identities involving beta functions. Our results generalize certain well-known combinatorial identities involving binomial coefficients and gamma functions.
Using an elementary approach involving the Euler Beta function and the binomial theorem, we derive two polynomial identities; one of which is a generalization of a known polynomial identity. Two well-known combinatorial identities, namely…
Classical binomial identities are established by giving probabilistic interpretations to the summands. The examples include Vandermonde identity and some generalizations.
Results providing conditions on a family of integro-differential operators to determine a formal automorphism are established. Equivalently, the problem can be read in terms of existence and uniqueness of formal solutions of Cauchy problems…
A type theory is presented that combines (intuitionistic) linear types with type dependency, thus properly generalising both intuitionistic dependent type theory and full linear logic. A syntax and complete categorical semantics are…
We state and prove a general summation identity. The identity is then applied to derive various summation formulas involving the generalized harmonic numbers and related quantities. Interesting results, mostly new, are obtained for both…
We prove the Cauchy type identities for the universal double Schubert polynomials, introduced recently by W. Fulton. As a corollary, the determinantal formulae for some specializations of the universal double Schubert polynomials…
Starting from the characteristic polynomial for ordinary matrices we give a combinatorial deduction of the Mandelstam identities and viceversa, thus showing that the two sets of relations are equivalent. We are able to extend this…
We present a new identity involving compositions (i.e. ordered partitions of natural numbers). The Formula has its origin in complex dynamical systems and appears when counting, in the polynomial family $\{f_c:z \mapsto z^d + c \}$,…
Utilizing spectral residues of parameterized, recursively defined sequences, we develop a general method for generating identities of composition sums. Specific results are obtained by focusing on coefficient sequences of solutions of first…
In this paper we prove a new degenerated version of Fay's trisecant identity. The new identity is applied to construct new algebro-geometric solutions of the multi-component nonlinear Schr\"odinger equation. This approach also provides an…
A multiple generalization of elliptic hypergeometric series is investigated and a duality transformation for multiple hypergeometric series is proposed. Our duality transformation obtained from an identity arising from the Cauchy…
We prove a recursive identity involving formal iterated logarithms and formal iterated exponentials. These iterated logarithms and exponentials appear in a natural extension of the logarithmic formal calculus used in the study of…
In this paper the necessary and sufficient conditions for a mapping to be the dependence of the complete solution of some differentiable first-order ordinary differential equation on the initial Cauchy condition are deduced. The result is…
In the classic "Concrete Math", by Graham, Patashnik and Knuth, it is stated that "The numbers in Pascal's triangle satisfy, practically speaking, infinitely many identities, so it is not too surprising that we can find some surprising…
We introduce a new approach to the classification of operator identities, based on basic concepts from the theory of algebraic operads together with computational commutative algebra applied to determinantal ideals of matrices over…