English
Related papers

Related papers: Rational reductions for holonomic sequences

200 papers

We consider the set of $n\times n$ matrices with rational entries having numerator and denominator of size at most $H$ and obtain upper and lower bounds on the number of such matrices of a given rank and then apply them to count such…

Number Theory · Mathematics 2026-03-04 Muhammad Afifurrahman , Vivian Kuperberg , Alina Ostafe , Igor E. Shparlinski

Following T. H. Chan, we consider the problem of approximation of a given rational fraction a/q by sums of several rational fractions a_1/q_1, ..., a_n/q_n with smaller denominators. We show that in the special cases of n=3 and n=4 and…

Number Theory · Mathematics 2007-07-24 Igor E. Shparlinski

A finite number of rational functions are compatible if they satisfy the compatibility conditions of a first-order linear functional system involving differential, shift and q-shift operators. We present a theorem that describes the…

Symbolic Computation · Computer Science 2013-01-24 Shaoshi Chen , Ruyong Feng , Guofeng Fu , Ziming Li

We consider the problem of globally minimizing the sum of many rational functions over a given compact semialgebraic set. The number of terms can be large (10 to 100), the degree of each term should be small (up to 10), and the number of…

Optimization and Control · Mathematics 2011-02-25 Florian Bugarin , Didier Henrion , Jean-Bernard Lasserre

We consider the problem of approaching real numbers with rational numbers with prime denominator and with a single numerator allowed for each denominator. We then present a simple application, related to possible correlations between trace…

Number Theory · Mathematics 2023-09-26 Emmanuel Kowalski

Let k be an algebraically closed field of characteristic zero. An element F from k(x_1,...,x_n) is called a closed rational function if the subfield k(F) is algebraically closed in the field k(x_1,...,x_n). We prove that a rational function…

Rings and Algebras · Mathematics 2007-05-23 A. P. Petravchuk , O. G. Iena

Let $\Delta_x f(x,y)=f(x+1,y)-f(x,y)$ and $\Delta_y f(x,y)=f(x,y+1)-f(x,y)$ be the difference operators with respect to $x$ and $y$. A rational function $f(x,y)$ is called summable if there exist rational functions $g(x,y)$ and $h(x,y)$…

Symbolic Computation · Computer Science 2014-08-12 Qing-Hu Hou , Rong-Hua Wang

A summation is a shift-invariant ${\rm R}$-module homomorphism from a submodule of ${\rm R}[[\sigma]]$ to ${\rm R}$ or another ring. [11] formalized a method for extending a summation to a larger domain by telescoping. In this paper, we…

Commutative Algebra · Mathematics 2021-05-12 Robert Dawson , Grant Molnar

In this article we define a new reducibility based on the enumeration orders of r.e. sets.

Formal Languages and Automata Theory · Computer Science 2010-03-03 Ali Akbar Safilian , Farzad Didehvar

We investigate random compact sets with random functions defined thereon, such as polynomials, rational functions, the pluricomplex Green function and the Siciak extremal function. One surprising consequence of our study is that randomness…

Complex Variables · Mathematics 2020-11-06 Paul M. Gauthier , Thomas Ransford , Simon St-Amant , Jérémie Turcotte

We give simple upper bounds for rational sectional category and use them to compute invariants of the type of Farber's topological complexity of rational spaces. In particular we show that the sectional category of formal morphisms reaches…

Algebraic Topology · Mathematics 2015-03-10 J. G. Carrasquel-Vera

We introduce a reducibility on classes of structures, essentially a uniform enumeration reducibility. This reducibility is inspired by the Friedman-Stanley paper on using Borel reductions to compare classes of countable structures. This…

Logic · Mathematics 2008-03-25 Wesley Calvert , Desmond Cummins , Sara Miller , Julia F. Knight

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…

Combinatorics · Mathematics 2022-08-02 Rong-Hua Wang , Michael X. X. Zhong

Let $G$ be a complex connected reductive algebraic group and let $G_{\mathbb{R}}$ be a real form of $G$. We construct a sequence of functors $L_i\mathcal{R}$ from admissible (resp. finite-length) representations of $G$ to admissible (resp.…

Representation Theory · Mathematics 2022-04-25 Lucas Mason-Brown

Recent years have witnessed the introduction and development of extremely fast rational function algorithms. Many ideas in this realm arose from polynomial-based linear-algebraic algorithms. However, polynomial approximation is occasionally…

Numerical Analysis · Mathematics 2025-10-03 James Chok , Geoffrey M. Vasil

A real-valued sequence $f = \{ f(n) \}_{n \in \mathbb{N}}$ is said to be second-order holonomic if it satisfies a linear recurrence $f (n + 2) = P (n) f (n + 1) + Q (n) f (n)$ for all sufficiently large $n$, where $P, Q \in \mathbb{R}(x)$…

Discrete Mathematics · Computer Science 2025-12-09 Fugen Hagihara , Akitoshi Kawamura

For a real number $x$, call $\frac1n \lfloor nx \rfloor$ the $n$-th lower rational approximation of $x$. We study the functions defined by taking the cumulative average of the first $n$ lower rational approximations of $x$, which we call…

Number Theory · Mathematics 2024-02-05 David Harry Richman

In this note, basing on a certain functional equation of the dilogarithm function, we establish nontrivial lower bounds for the $p$-adic valuation (where $p$ is a given prime number) of some type of rational numbers involving harmonic…

Number Theory · Mathematics 2022-12-08 Bakir Farhi

For positive integers d, r, and M, we consider the class of rational functions on real d-dimensional space whose denominators are products of at most r functions of the form 1+Q(x) where each Q is a quadratic form with eigenvalues bounded…

Functional Analysis · Mathematics 2007-09-18 R. M. Dudley , Sergiy Sidenko , Zuoqin Wang , Fangyun Yang

Regular synchronization languages can be used to define rational relations of finite words, and to characterize subclasses of rational relations, like automatic or recognizable relations. We provide a systematic study of the decidability of…

Formal Languages and Automata Theory · Computer Science 2024-02-14 Christof Löding , Sarah Winter