English
Related papers

Related papers: Positivity problem of three-term recurrence sequen…

200 papers

We derive the necessary and sufficient condition, for a given Polynomial Recurrence Sequence to converge to a given target rational K. By converge, we mean that the Nth term of the sequence, is equal to K, as N tends to positive infinity.…

Discrete Mathematics · Computer Science 2013-07-09 Deepak Ponvel Chermakani

One of equivalents of the Riemann hypothesis is Li's criterion that all Li coefficients are positive. We study recurrence relations of Li coefficients in this note.

Number Theory · Mathematics 2020-06-24 Huan Xiao

Recurrences of the form \begin{equation*} T(n,k) = (\alpha n+\beta k +\gamma) \ T(n-1,k) + (\alpha'n+\beta'k+\gamma')\ T(n-1,k-1)+\delta_{n,0}\delta_{k,0}. \end{equation*} show up as the recurrence for many well-studied combinatorial…

Combinatorics · Mathematics 2025-08-19 Umesh Shankar

We consider Delone sets with finite local complexity. We characterize validity of a subadditive ergodic theorem by uniform positivity of certain weights. The latter can be considered to be an averaged version of linear repetitivity. In this…

Combinatorics · Mathematics 2012-02-28 Adnene Besbes , Michael Boshernitzan , Daniel Lenz

We consider the decidability and complexity of the Ultimate Positivity Problem, which asks whether all but finitely many terms of a given rational linear recurrence sequence (LRS) are positive. Using lower bounds in Diophantine…

Computational Complexity · Computer Science 2017-04-07 Joel Ouaknine , James Worrell

Nonnegative probabilities that obey the sum rules may be assigned to a much wider family of sets of histories than decohering histories. The resulting {\it linearly positive histories} avoid the highly restrictive decoherence conditions and…

General Relativity and Quantum Cosmology · Physics 2014-11-17 Sheldon Goldstein , Don N. Page

The goal of this article is to provide an useful criterion of positivity and well-posedness for a wide range of infinite dimensional semilinear abstract Cauchy problems. This criterion is based on some weak assumptions on the non-linear…

Analysis of PDEs · Mathematics 2020-04-02 Michel Duprez , Antoine Perasso

We solve an eigenvalue equation that appears in several papers about a wide range of physical problems. The Frobenius method leads to a three-term recurrence relation for the coefficients of the power series that, under suitable truncation,…

Quantum Physics · Physics 2024-12-17 Paolo Amore , Francisco M. Fernández

We give a short proof of a recent result of Drury on the positivity of a $3\times 3$ matrix of the form $(\|R_i^*R_j\|_{\rm tr})_{1 \le i, j \le 3}$ for any rectangular complex (or real) matrices $R_1, R_2, R_3$ so that the multiplication…

Rings and Algebras · Mathematics 2014-08-25 Chi-Kwong Li , Fuzhen Zhang

We consider the following question: Which real sequences (a(n)) that satisfy a linear recurrence with constant coefficients are positive for sufficiently large n? We show that the answer is negative for both (a(n)) and (-a(n)), if the…

Number Theory · Mathematics 2007-05-23 Stefan Gerhold

Linear Recurrence Sequences (LRS) are a fundamental mathematical primitive for a plethora of applications such as the verification of probabilistic systems, model checking, computational biology, and economics. Positivity (are all terms of…

Logic in Computer Science · Computer Science 2023-07-14 Mihir Vahanwala

In this paper, we propose extensions for the classical Kummer test, which is a very far-reaching criterion that provides sufficient and necessary conditions for convergence and divergence of series of positive terms. Furthermore, we present…

Classical Analysis and ODEs · Mathematics 2023-06-22 Douglas Azevedo , Thiago P. Andrade

In this paper we show how to find a closed form solution for third order difference operators in terms of solutions of second order operators. This work is an extension of previous results on finding closed form solutions of recurrence…

Symbolic Computation · Computer Science 2013-01-22 Yongjae Cha

In this paper, we study the three-term nested recurrence relation $B(n)=B(n-B(n-1))+B(n-B(n-2))+B(n-B(n-3))$ subject to initial conditions where the first $N$ terms are the integers $1$ through $N$. This recurrence is the three-term analog…

Number Theory · Mathematics 2024-06-04 Nathan Fox

We exhibit a lower-triangular matrix of polynomials $T(a,c,d,e,f,g)$ in six indeterminates that appears empirically to be coefficientwise totally positive, and which includes as a special case the Eulerian triangle. We prove the…

Combinatorics · Mathematics 2021-12-09 Xi Chen , Bishal Deb , Alexander Dyachenko , Tomack Gilmore , Alan D. Sokal

We present a closed-form solution for n-th term of a general three-term recurrence relation with arbitrary given n-dependent coefficients. The derivation and corresponding proof are based on two approaches, which we develop and describe in…

Classical Analysis and ODEs · Mathematics 2013-11-20 Ivan Gonoskov

Introducing the notion of a rational system of measure preserving transformations and proving a recurrence result for such systems, we give sufficient conditions in order a subset of rational numbers to contain arbitrary long arithmetic…

Combinatorics · Mathematics 2012-12-19 Andreas Koutsogiannis

We consider some multivariate rational functions which have (or are conjectured to have) only positive coefficients in their series expansion. We consider an operator that preserves positivity of series coefficients, and apply the inverse…

Combinatorics · Mathematics 2007-08-27 Manuel Kauers , Doron Zeilberger

We study matrix three term relations for orthogonal polynomials in two variables constructed from orthogonal polynomials in one variable. Using the three term recurrence relation for the involved univariate orthogonal polynomials, the…

Classical Analysis and ODEs · Mathematics 2016-03-24 Misael Marriaga , Teresa E. Pérez , Miguel A. Piñar

The problem to decide whether a given multivariate (quasi-)rational function has only positive coefficients in its power series expansion has a long history. It dates back to Szego in 1933 who showed certain quasi-rational function to be…

Symbolic Computation · Computer Science 2017-03-17 Hui Huang