Cosine and Computation

by   Prabhat Kumar Jha, et al.

We are interested in solving decision problem ∃? t ∈ℕ, cos t θ = c where cosθ and c are algebraic numbers. We call this the cos t θ problem. This is an exploration of Diophantine equations with analytic functions. Polynomial, exponential with real base and cosine function are closely related to this decision problem: ∃ ? t ∈ℕ, u^T M^t v = 0 where u, v ∈ℚ^n, M ∈ℚ^n× n. This problem is also known as "Skolem problem" and is useful in verification of linear systems. Its decidability remains unknown. Single variable Diophantine equations with exponential function with real algebraic base and cos t θ function with θ a rational multiple of π is decidable. This idea is central in proving the decidability of Skolem problem when the eigenvalues of M are roots of real numbers. The main difficulty with the cases when eigenvalues are not roots of reals is that even for small order cases decidability requires application of trancendental number theory which does not scale for higher order cases. We provide a first attempt to overcome that by providing a PTIME algorithm for cos t θ when θ is not a rational multiple of π. We do so without using techniques from transcendental number theory. One of the main difficulty in Diophantine equations is being unable to use tools from calculus to solve this equation as the domain of variable is ℕ. We also provide an attempt to overcome that by providing reduction of Skolem problem to solving a one variable equation (which involves polynomials, exponentials with real bases and cos t θ function with t ranging over reals and θ∈ [0, π]) over reals.


page 1

page 3

page 7


On realizing differential-algebraic equations by rational dynamical systems

Real-world phenomena can often be conveniently described by dynamical sy...

Computing solutions of linear Mahler equations

Mahler equations relate evaluations of the same function f at iterated b...

Reachability Analysis of Linear System

In this paper, we propose a decision procedure of reachability for linea...

On the Mortality Problem: from multiplicative matrix equations to linear recurrence sequences and beyond

We consider the following variant of the Mortality Problem: given k× k m...

Decision problems for linear recurrences involving arbitrary real numbers

We study the decidability of the Skolem Problem, the Positivity Problem,...

The Five Points Pose Problem : A New and Accurate Solution Adapted to any Geometric Configuration

The goal of this paper is to estimate directly the rotation and translat...

Please sign up or login with your details

Forgot password? Click here to reset