English
Related papers

Related papers: On Positivity and Minimality for Second-Order Holo…

200 papers

Zeckendorf's theorem states that every positive integer can be written uniquely as the sum of non-consecutive shifted Fibonacci numbers $\{F_n\}$, where we take $F_1=1$ and $F_2=2$. This has been generalized for any Positive Linear…

Number Theory · Mathematics 2021-08-05 Thomas C. Martinez , Steven J. Miller , Clayton Mizgerd , Chenyang Sun

We study the decidability of the Skolem Problem, the Positivity Problem, and the Ultimate Positivity Problem for linear recurrences with real number initial values and real number coefficients in the bit-model of real computation. We show…

Logic in Computer Science · Computer Science 2023-06-22 Eike Neumann

Given a principal $G$-bundle $P \to M$ and two $C^1$ curves in $M$ with coinciding endpoints, we say that the two curves are holonomically equivalent if the parallel transport along them is identical for any smooth connection on $P$. The…

Differential Geometry · Mathematics 2016-07-05 Tamer Tlas

We show that a sequence is q-holonomic if and only if it satisfies the elimination property for any subset of variables. The same result also holds for holonomic sequences. As an application, we prove several conjectured closure properties…

Geometric Topology · Mathematics 2025-12-12 Giulio Belletti

We consider real sequences $(f_n)$ that satisfy a linear recurrence with constant coefficients. We show that the density of the positivity set of such a sequence always exists. In the special case where the sequence has no positive…

Combinatorics · Mathematics 2007-05-23 Jason P. Bell , Stefan Gerhold

Let $s$ be a finite sequence over a field of length $n$. It is well-known that if $s$ satisfies a linear recurrence of order $d$ with non-zero constant term, then the reverse of $s$ also satisfies a recurrence of order $d$ (with…

Information Theory · Computer Science 2010-07-26 Graham H. Norton

We prove the existence of small amplitude periodic solutions, with strongly irrational frequency $ \om $ close to one, for completely resonant nonlinear wave equations. We provide multiplicity results for both monotone and nonmonotone…

Analysis of PDEs · Mathematics 2009-11-07 Massimiliano Berti , Philippe Bolle

We consider linear recurrences with polynomial coefficients of Poincar\'e type and with a unique simple dominant eigenvalue. We give an algorithm that proves or disproves positivity of solutions provided the initial conditions satisfy a…

Symbolic Computation · Computer Science 2024-01-18 Alaa Ibrahim , Bruno Salvy

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

Let $ K $ be a number field, $ S $ a finite set of places of $ K $, and $ \mathcal{O}_S $ be the ring of $ S $-integers. Moreover, let $$ G_n^{(0)} Z^d + \cdots + G_n^{(d-1)} Z + G_n^{(d)} $$ be a polynomial in $ Z $ having simple linear…

Number Theory · Mathematics 2023-04-12 Clemens Fuchs , Sebastian Heintze

A polynomial is called self-reciprocal (or palindromic) if the sequence of its coefficients is palindromic. In this paper we enumerate self-reciprocal irreducible monic polynomials over a finite field with prescribed leading coefficients.…

Combinatorics · Mathematics 2021-10-14 Zhicheng Gao

The degree sequence of the algebraic numbers in an algebraic linear recurrence sequence is shown to be virtually periodic. This is proved using the Skolem-Mahler-Lech theorem. It has applications to the degree sequence and the minimal…

Number Theory · Mathematics 2020-10-01 Daqing Wan , Hang Yin

For a sequence of polynomials $\{p_k(t)\}$ in one real or complex variable, where $p_k$ has degree $k$, for $k\ge 0$, we find explicit expressions and recurrence relations for infinite matrices whose entries are the coefficients $d(n,m,k)$,…

Rings and Algebras · Mathematics 2023-04-27 Luis Verde-Star

Let $G$ be a finite cyclic group. Every sequence $S$ over $G$ can be written in the form $S=(n_1g)\cdot\ldots\cdot(n_lg)$ where $g\in G$ and $n_1, \ldots, n_l\in[1, \ord(g)]$, and the index $\ind(S)$ of $S$ is defined to be the minimum of…

Number Theory · Mathematics 2014-02-04 Caixia Shen , Li-meng Xia , Yuanlin Li

Let $\{U(m)\}_{m\in \N}$ and $\{V(n)\}_{n\in \N}$ be linear recurrence sequences. It is a well-known Diophantine problem to determine the finiteness of the set of natural numbers $n$ such that the ratio $U(n)/V(n)$ is an integer. We study…

Number Theory · Mathematics 2026-05-08 Parvathi S Nair , S. S. Rout

Let $p > 155$ be a prime and let $G$ be a cyclic group of order $p$. Let $S$ be a minimal zero-sum sequence with elements over $G$, i.e., the sum of elements in $S$ is zero, but no proper nontrivial subsequence of $S$ has sum zero. We call…

Combinatorics · Mathematics 2014-09-09 Jiangtao Peng , Fang Sun

In this manuscript, new algebraic and analytic aspects of the orthogonal polynomials satisfying $R_{II}$ type recurrence relation given by \begin{align*} \mathcal{P}_{n+1}(x) = (x-c_n)\mathcal{P}_n(x)-\lambda_n…

Classical Analysis and ODEs · Mathematics 2023-01-31 Vinay Shukla , A. Swaminathan

It is well-known that for any non-constant polynomial $P$ with integer coefficients the sequence $(P(n))_{ n\in \mathbb N}$ has the property that there are infinitely many prime numbers dividing at least one term of this sequence.…

Number Theory · Mathematics 2016-02-08 Tigran Hakobyan

The Skolem Problem asks to determine whether a given integer linear recurrence sequence has a zero term. This problem arises across a wide range of topics in computer science, including loop termination, formal languages, automata theory,…

Discrete Mathematics · Computer Science 2024-02-21 Florian Luca , James Maynard , Armand Noubissie , Joël Ouaknine , James Worrell

We consider two kinds of problems: the computation of polynomial and rational solutions of linear recurrences with coefficients that are polynomials with integer coefficients; indefinite and definite summation of sequences that are…

Symbolic Computation · Computer Science 2008-04-03 Alin Bostan , Frédéric Chyzak , Bruno Salvy , Thomas Cluzeau