Related papers: Rational function certification of multisum/integr…
The geometric and algebraic theory of valuations on cones is applied to understand identities involving summing certain rational functions over the set of linear extensions of a poset.
The paper proves sum-of-square-of-rational-function based representations (shortly, sosrf-based representations) of polynomial matrices that are positive semidefinite on some special sets: $\mathbb{R}^n;$ $\mathbb{R}$ and its intervals…
We prove a conjecture that arose in the context of a subspace enumeration problem over finite fields. We prove, more generally, a bibasic, double-sum identity, which extends a $q$-analogue of the (terminating) binomial theorem.
The standard literature on special functions contains a lot of hypergeometric identities involving products and quotients of gamma functions, but still the occurrence of such identities is a sporadic phenomenon. This is because the…
We give defining equations for function fields over finite fields with many rational places. They are obtained from composita of quadratic extensions of the rational function field.
Complete solutions of functional identities $\sum_{k\in K}F_k(\bar{x}_m^k)x_k = \sum_{l\in L}x_lG_l(\bar{x}_m^l)$ on the matrix algebra $M_n(\mathbb{F})$ are given. The nonstandard parts of these solutions turn out to follow from the…
The purpose of the paper is to introduce two new algorithms. The first one computes a linear recursion for proper hypergeometric multisums, by treating one summation variable at a time, and provides rational certificates along the way. A…
We provide an exposition of q-identities with multiple sums related to divisor functions given by Dilcher, Prodinger, Fu and Lascoux, Zeng, Guo and Zhang. Meanwhile, for each of these identities, a more powerful statement will be derived…
In 2014, Chen and Singer solved the summability problem of bivariate rational functions. Later an algorithmic proof was presented by Hou and the author. In this paper, the algorithm will be simplified and adapted to the $q$-case.
The partition functions $P(n,m,p)$, the number of integer partitions of $n$ into exactly $m$ parts with each part at most $p$, and $Q(n,m,p)$, the number of integer partitons of $n$ into exactly $m$ distinct parts with each part at most…
We use the fermionic construction of two-matrix model partition functions to evaluate integrals over rational symmetric functions. This approach is complementary to the one used in the paper ``Integrals of Rational Symmetric Functions,…
Starting from a small number of well-motivated axioms, we derive a unique definition of sums with a noninteger number of addends. These "fractional sums" have properties that generalize well-known classical sum identities in a natural way.…
After obtaining some useful identities, we prove an additional functional relation for $q$ exponentials with reversed order of multiplication, as well as the well known direct one in a completely rigorous manner.
We establish interval arithmetic as a practical tool for certification in numerical algebraic geometry. Our software HomotopyContinuation.jl now has a built-in function certify, which proves the correctness of an isolated nonsingular…
The combination of uninterpreted function symbols and universal quantification occurs in many applications of automated reasoning, for example, due to their ability to reason about arrays. Yet the satisfiability of such formulas is, in…
Recently, Rosengren utilized an integral method to prove a number of conjectural identities found by Kanade and Russell. Using this integral method, we give new proofs to some double sum identities of Rogers-Ramanujan type. These identities…
In our recent work we proposed a generalization of the beta integral method for derivation of the hypergeometric identities which can by analogy be termed "the G function integral method". In this paper we apply this technique to the cubic…
The classical hypergeometric summation theorems are exploited to derive several striking identities on harmonic numbers including those discovered recently by Paule and Schneider (2003).
By telescoping method, Sun gave some hypergeometric series whose sums are related to $\pi$ recently. We investigate these series from the point of view of Gosper's algorithm. Given a hypergeometric term $t_k$, we consider the Gosper…
In this paper, we present a $q$-analogue of the polynomial reduction which was originally developed for hypergeometric terms. Using the $q$-Gosper representation, we describe the structure of rational functions that are summable when…