Decision problems for second-order holonomic sequences

Decision problems for second-order holonomic sequences

We study decision problems for sequences which obey a second-order holonomic recurrence of the form f(n + 2) = P(n)f(n + 1) + Q(n)f(n) with rational polynomial coefficients, where P is non-constant, Q is non-zero, and the degree of Q is smaller than or equal to that of P. We show that existence of i...

書誌詳細
主要な著者:	Neumann, E, Ouaknine, J, Worrell, J
フォーマット:	Conference item
言語:	English
出版事項:	Schloss Dagstuhl – Leibniz Center for Informatics 2021

類似資料

On positivity and minimality for second-order holonomic sequences
著者:: Kenison, G, 等
出版事項: (2021)

On rational recursion for holonomic sequences
著者:: Teguia Tabuguia, B, 等
出版事項: (2024)

Decision Problems for Linear Recurrence Sequences.
著者:: Ouaknine, J, 等
出版事項: (2012)

Topological and holonomic quantum computation based on second-order topological superconductors
著者:: Song-Bo Zhang, 等
出版事項: (2020-10-01)

On the decidability of monadic second-order logic with arithmetic predicates
著者:: Berthé, V, 等
出版事項: (2024)

First-order orbit queries
著者:: Almagor, S, 等
出版事項: (2020)

Development of a holonomic robotic framework for a holonomic mobile platform
著者:: See, Cheng Hui
出版事項: (2016)

Holonomic and Non-Holonomic Geometric Models Associated to the Gibbs–Helmholtz Equation
著者:: Cristina-Liliana Pripoae, 等
出版事項: (2023-09-01)

Holonomic Quantum Computation
著者:: Carollo, A, 等
出版事項: (2008)

The Semialgebraic Orbit Problem
著者:: Almagor, S, 等
出版事項: (2019)

The polytope-collision problem
著者:: Almagor, S, 等
出版事項: (2017)

The Bifurcations of Completely Integrable Holonomic Systems of First-Order Differential Equations
著者:: Jingbo Xu, 等
出版事項: (2024-01-01)

Conundrum for the free energy of a holonomous gluonic plasma at cubic order
著者:: Christiaan P. Korthals Altes, 等
出版事項: (2020-04-01)

On the complexity of the Escape Problem for linear dynamical systems over compact semialgebraic sets
著者:: D'Costa, J, 等
出版事項: (2021)

On the complexity of the orbit problem
著者:: Chonev, V, 等
出版事項: (2016)

On the complexity of the orbit problem
著者:: Chonev, V, 等
出版事項: (2016)

Variational Integrators in Holonomic Mechanics
著者:: Shumin Man, 等
出版事項: (2020-08-01)

On the stability of quantum holonomic gates
著者:: P Solinas, 等
出版事項: (2012-01-01)

Holonomicity analysis of electromechanical systems
著者:: Wcislik Miroslaw, 等
出版事項: (2017-12-01)

Autonomous holonomic mobile robot /
著者:: 398459 Muhd Rafi Muhd Sukarman
出版事項: (2002)

On ranking function synthesis and termination for polynomial programs
著者:: Neumann, E, 等
出版事項: (2020)

Construction and analysis of higher order variational integrators for dynamical systems with holonomic constraints
著者:: Wenger, T, 等
出版事項: (2017)

The orbit problem in higher dimensions
著者:: Chonev, V, 等
出版事項: (2013)

Non-linear PI regulators in control problems for holonomic mechanical systems
著者:: Aleksandr Andreev, 等
出版事項: (2018-01-01)

On the skolem problem for continuous linear dynamical systems
著者:: Chonev, V, 等
出版事項: (2016)

On the Skolem Problem for continuous linear dynamical systems
著者:: Ouaknine, J, 等
出版事項: (2016)

Deciding ω-regular properties on linear recurrence sequences
著者:: Almagor, S, 等
出版事項: (2021)

Nonnegativity problems for matrix semigroups
著者:: D'Costa, J, 等
出版事項: (2024)

On the relationship between reachability problems in timed and counter automata
著者:: Haase, C, 等
出版事項: (2012)

On the Relationship between Reachability Problems in Timed and Counter Automata
著者:: Haase, C, 等
出版事項: (2012)

Holonomic and perverse logarithmic D-modules
著者:: Koppensteiner, C, 等
出版事項: (2019)

ANFIS Controller for Non-holonomic Robots
著者:: Ting Wang, 等
出版事項: (2024-02-01)

Holonomic representation of biadjoint scalar amplitudes
著者:: Leonardo de la Cruz
出版事項: (2023-10-01)

Non-adiabatic holonomic quantum computation
著者:: Erik Sjöqvist, 等
出版事項: (2012-01-01)

The 2-dimensional constraint loop problem is decidable
著者:: Guilmant, Q, 等
出版事項: (2024)

On reachability problems for low-dimensional matrix semigroups
著者:: Colcombet, T, 等
出版事項: (2019)

On the polytope escape problem for continuous linear dynamical systems
著者:: Ouaknine, J, 等
出版事項: (2017)

On the Skolem problem and prime powers
著者:: Ouaknine, J, 等
出版事項: (2020)

The Church Synthesis Problem with Metric
著者:: Jenkins, M, 等
出版事項: (2011)

Effective divergence analysis for linear recurrence sequences
著者:: Almagor, S, 等
出版事項: (2018)