相关论文: Rational function certification of multisum/integr…
Over an algebraically closed field of positive characteristic, there exist rational functions with only one critical point. We give an elementary characterization of these functions in terms of their continued fraction expansions. Then we…
We give a combinatorial interpretation for the hypergeometric functions associated with tuples of rational numbers.
We deduce new q-series identities by applying inverse relations to certain identities for basic hypergeometric series. The identities obtained themselves do not belong to the hierarchy of basic hypergeometric series. We extend two of our…
We focus on rational solutions or nearly-feasible rational solutions that serve as certificates of feasibility for polynomial optimization problems. We show that, under some separability conditions, certain cubic polynomially constrained…
We study the arithmetic property which allows to sharpen number-theoretic estimates. Previous results on this property are, as a rule, quantitive. The application of our general qualitive theorems to generalized hypergeometric functions…
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.
This paper is concerned with certifying that a given point is near an exact root of an overdetermined or singular polynomial system with rational coefficients. The difficulty lies in the fact that consistency of overdetermined systems is…
Motivated by some algorithmic problems, we give lower bounds on the size of the multiplicative groups containing rational function images of low-dimensional affine subspaces of a finite field~$\mathbb{F}_{q^n}$ considered as a linear space…
If the denominator of a rational function of several variables is sum of even powers and the numerator is a monomial, then we give a numerical criterion, using the exponents involved in the expression of the rational function, to decide if…
In this note, we prove a general identity between a $q$-multisum $B_N(q)$ and a sum of $N^2$ products of quotients of theta functions. The $q$-multisum $B_N(q)$ recently arose in the computation of a probability involving modules over…
Finite hypergeometric functions are functions of a finite field ${\bf F}_q$ to ${\bf C}$. They arise as Fourier expansions of certain twisted exponential sums and were introduced independently by John Greene and Nick Katz in the 1980's.…
A strong quantitative form of Manin's conjecture is established for a certain variety in biprojective space. The singular integral in an application of the circle method involves the third power of the integral sine function, and is…
A rational function is the ratio of two complex polynomials in one variable without common roots. Its degree is the maximum of the degrees of the numerator and the denominator. Rational functions belong to the same class if one turns into…
In this article we present a method to implement orthogonal polynomials and many other special functions in Computer Algebra systems enabling the user to work with those functions appropriately, and in particular to verify different types…
Counting functions are constructed for sums of integers raised to a fixed positive rational power. That is, given values formed by $u_1^{j/k} + u_2^{j/k} + ... + u_l^{j/k}$, $u_i \in \mathbb{Z}^+$, the number of values less than or equal to…
From the algebraic solution of $x^{n}-x+t=0$ for $n=2,3,4$ and the corresponding solution in terms of hypergeometric functions, we obtain a set of reduction formulas for hypergeometric functions. By differentiation and integration of these…
The main goal of this paper is to derive a number of identities for the generalized hypergeometric function evaluated at unity and for certain terminating multivariate hypergeometric functions from the symmetries and other properties of…
Rational functions of total degree $l$ in n variables have a representation in the Bernstein form defined over $n$ dimensional simplex. The range of a rational function is bounded by the smallest and the largest rational Bernstein…
Three candidate approaches for univariate sumcheck over roots of unity are presented. The first takes the form of a multilinear evaluation protocol, which can be combined with the standard multivariate sumcheck protocol. The other two are…
We give an alternative proof of a formula that generalizes Hermite's identity. Instead involving modular arithmetic, our short proof relies on the Fourier-type expansion for the floor function and on a trigonometric formula.