相关论文: A Unified Elementary Approach to the Dyson, Morris…

Mendes recently conjectured an identity simplifying the Poincar\'e series of the space of equivariant polynomial maps from $\mathbb{R}^{n}$ to a subrepresentation of $Sym^{2}(\mathbb{R}^{n})$. We show how to prove this identity using a…

In 1853 Sylvester stated and proved an elegant formula that expresses the polynomial subresultants in terms of the roots of the input polynomials. Sylvester's formula was also recently proved by Lascoux and Pragacz by using multi-Schur…

With the aid of Hensel Lemma, we refine the 2-adic Newton polygon algorithm proposed by Magron, Koprowski, and Vaccon at ISSAC 2023 to express computationally a given positive univariate polynomial with rational coefficients as a sum of…

In a recent paper, Griffin, Ono and Warnaar present a framework for Rogers-Ramanujan type identities using Hall-Littlewood polynomials to arrive at expressions of the form \[\sum_{\lambda : \lambda_1 \leq m}…

In this paper, we study Eulerian polynomials for permutations and signed permutations of the multiset $\{1,1,2,2,\ldots,n,n\}$. Properties of these polynomials, including recurrence relations and unimodality are discussed. In particular, we…

We provide upper bounds on the total number of irreducible factors, and in particular irreducibility criteria for some classes of bivariate polynomials $f(x,y)$ over an arbitrary field $\mathbb{K}$. Our results rely on information on the…

In this note, we obtain some identities for the generalized Fibonacci polynomial by using the Q(x) matrix. These identities including the Cassini identity and Honsberger formula can be applied to some polynomial sequences, such as Fibonacci…

We present several identities with a form of polynomials or rational functions that involve Pochhammer and q-Pochhammer symbols and q-binomials (i.e. Gauss polynomials). All these identities were obtained by some analytical methods based on…

Dumont has conjectured a marvellous identity, which generalizes, in particular, the classical results of Lagrange, Gauss, Jacobi and Kronecker on the sums of two, three and four squares. We give a combinatorial proof of Dumont's conjecture.

A polynomial identity testing algorithm must determine whether an input polynomial (given for instance by an arithmetic circuit) is identically equal to 0. In this paper, we show that a deterministic black-box identity testing algorithm for…

Let E be a compact set of C of positive logarithmic capacity. Let us suppose that for every polynomial $P\not=id$ we have $P^{-1}(E)\not=E$. Then for all no constant polynomials f and g such that $f^{-1}(E)=g^{-1}(E)$ we have f=g.

We prove a new general differential identity and an associated integral identity, which entails a pair of solutions of the Poisson equation with constant source term. This generalizes a formula that the first and third authors previously…

$q$-Analogues of the coefficients of $x^a$ in the expansion of $\prod_{j=1}^N (1+x+...+x^j)^{L_j}$ are proposed. Useful properties, such as recursion relations, symmetries and limiting theorems of the ``$q$-supernomial coefficients'' are…

In this paper, we consider a matroid generalization of the stable matching problem. In particular, we consider the setting where preferences may contain ties. For this generalization, we propose a polynomial-time algorithm for the problem…

We prove a conjecture of Morier-Genoud and Ovsienko that says that rank polynomials of the distributive lattices of lower ideals of fence posets are unimodal. We do this by introducing a related class of circular fence posets and proving a…

We combine the language of monoids with the language of preorders so as to refine some fundamental aspects of the classical theory of factorization and prove an abstract factorization theorem with a variety of applications. In particular,…

The transformations of the sum identities for generalized harmonic and oscillatory numbers, obtained earlier in our recent report [1], enable us to derive the new identities expressed in terms of the corresponding square roots of x. At…

We study two identities involving roots of unity and determinants of Hermitian matrices which have been recently proved by using the famous eigenvector-eigenvalue identity for normal matrices. In this paper, we extend these identities to a…

We prove a family of identities, expressing generating functions of powers of characteristic polynomials of permutations, as finite or infinite products. These generalize formulae first obtained in a study of the geometry/topology of…

Polynomial identity testing and arithmetic circuit lower bounds are two central questions in algebraic complexity theory. It is an intriguing fact that these questions are actually related. One of the authors of the present paper has…