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...

Cur síos iomlán

Sonraí bibleagrafaíochta
Príomhchruthaitheoirí:	Neumann, E, Ouaknine, J, Worrell, J
Formáid:	Conference item
Teanga:	English
Foilsithe / Cruthaithe:	Schloss Dagstuhl – Leibniz Center for Informatics 2021

Míreanna comhchosúla

On positivity and minimality for second-order holonomic sequences
de réir: Kenison, G, et al.
Foilsithe / Cruthaithe: (2021)

On rational recursion for holonomic sequences
de réir: Teguia Tabuguia, B, et al.
Foilsithe / Cruthaithe: (2024)

Decision Problems for Linear Recurrence Sequences.
de réir: Ouaknine, J, et al.
Foilsithe / Cruthaithe: (2012)

Topological and holonomic quantum computation based on second-order topological superconductors
de réir: Song-Bo Zhang, et al.
Foilsithe / Cruthaithe: (2020-10-01)

On the decidability of monadic second-order logic with arithmetic predicates
de réir: Berthé, V, et al.
Foilsithe / Cruthaithe: (2024)

First-order orbit queries
de réir: Almagor, S, et al.
Foilsithe / Cruthaithe: (2020)

Development of a holonomic robotic framework for a holonomic mobile platform
de réir: See, Cheng Hui
Foilsithe / Cruthaithe: (2016)

Holonomic and Non-Holonomic Geometric Models Associated to the Gibbs–Helmholtz Equation
de réir: Cristina-Liliana Pripoae, et al.
Foilsithe / Cruthaithe: (2023-09-01)

Holonomic Quantum Computation
de réir: Carollo, A, et al.
Foilsithe / Cruthaithe: (2008)

The Semialgebraic Orbit Problem
de réir: Almagor, S, et al.
Foilsithe / Cruthaithe: (2019)

The polytope-collision problem
de réir: Almagor, S, et al.
Foilsithe / Cruthaithe: (2017)

The Bifurcations of Completely Integrable Holonomic Systems of First-Order Differential Equations
de réir: Jingbo Xu, et al.
Foilsithe / Cruthaithe: (2024-01-01)

Conundrum for the free energy of a holonomous gluonic plasma at cubic order
de réir: Christiaan P. Korthals Altes, et al.
Foilsithe / Cruthaithe: (2020-04-01)

On the complexity of the Escape Problem for linear dynamical systems over compact semialgebraic sets
de réir: D'Costa, J, et al.
Foilsithe / Cruthaithe: (2021)

On the complexity of the orbit problem
de réir: Chonev, V, et al.
Foilsithe / Cruthaithe: (2016)

On the complexity of the orbit problem
de réir: Chonev, V, et al.
Foilsithe / Cruthaithe: (2016)

Variational Integrators in Holonomic Mechanics
de réir: Shumin Man, et al.
Foilsithe / Cruthaithe: (2020-08-01)

On the stability of quantum holonomic gates
de réir: P Solinas, et al.
Foilsithe / Cruthaithe: (2012-01-01)

Holonomicity analysis of electromechanical systems
de réir: Wcislik Miroslaw, et al.
Foilsithe / Cruthaithe: (2017-12-01)

Autonomous holonomic mobile robot /
de réir: 398459 Muhd Rafi Muhd Sukarman
Foilsithe / Cruthaithe: (2002)

On ranking function synthesis and termination for polynomial programs
de réir: Neumann, E, et al.
Foilsithe / Cruthaithe: (2020)

Construction and analysis of higher order variational integrators for dynamical systems with holonomic constraints
de réir: Wenger, T, et al.
Foilsithe / Cruthaithe: (2017)

The orbit problem in higher dimensions
de réir: Chonev, V, et al.
Foilsithe / Cruthaithe: (2013)

Non-linear PI regulators in control problems for holonomic mechanical systems
de réir: Aleksandr Andreev, et al.
Foilsithe / Cruthaithe: (2018-01-01)

On the skolem problem for continuous linear dynamical systems
de réir: Chonev, V, et al.
Foilsithe / Cruthaithe: (2016)

On the Skolem Problem for continuous linear dynamical systems
de réir: Ouaknine, J, et al.
Foilsithe / Cruthaithe: (2016)

Deciding ω-regular properties on linear recurrence sequences
de réir: Almagor, S, et al.
Foilsithe / Cruthaithe: (2021)

Nonnegativity problems for matrix semigroups
de réir: D'Costa, J, et al.
Foilsithe / Cruthaithe: (2024)

On the relationship between reachability problems in timed and counter automata
de réir: Haase, C, et al.
Foilsithe / Cruthaithe: (2012)

On the Relationship between Reachability Problems in Timed and Counter Automata
de réir: Haase, C, et al.
Foilsithe / Cruthaithe: (2012)

Holonomic and perverse logarithmic D-modules
de réir: Koppensteiner, C, et al.
Foilsithe / Cruthaithe: (2019)

ANFIS Controller for Non-holonomic Robots
de réir: Ting Wang, et al.
Foilsithe / Cruthaithe: (2024-02-01)

Holonomic representation of biadjoint scalar amplitudes
de réir: Leonardo de la Cruz
Foilsithe / Cruthaithe: (2023-10-01)

Non-adiabatic holonomic quantum computation
de réir: Erik Sjöqvist, et al.
Foilsithe / Cruthaithe: (2012-01-01)

The 2-dimensional constraint loop problem is decidable
de réir: Guilmant, Q, et al.
Foilsithe / Cruthaithe: (2024)

On reachability problems for low-dimensional matrix semigroups
de réir: Colcombet, T, et al.
Foilsithe / Cruthaithe: (2019)

On the polytope escape problem for continuous linear dynamical systems
de réir: Ouaknine, J, et al.
Foilsithe / Cruthaithe: (2017)

On the Skolem problem and prime powers
de réir: Ouaknine, J, et al.
Foilsithe / Cruthaithe: (2020)

The Church Synthesis Problem with Metric
de réir: Jenkins, M, et al.
Foilsithe / Cruthaithe: (2011)

Effective divergence analysis for linear recurrence sequences
de réir: Almagor, S, et al.
Foilsithe / Cruthaithe: (2018)