Related papers: Semialgebraic Invariant Synthesis for the Kannan-L…

This paper introduces techniques of symplectic topology to the study of homoclinic orbits in Hamiltonian systems. The main result is a strong generalization of homoclinic existence results due to Sere and to Coti-Zelati, Ekeland and Sere,…

A quantum navigation problem concerns the identification of a time-optimal Hamiltonian that realises a required quantum process or task, under the influence of a prevailing `background' Hamiltonian that cannot be manipulated. When the task…

A nonpolynomial one-dimensional quantum potential representing an oscillator, that can be considered as placed in the middle between the harmonic oscillator and the isotonic oscillator (harmonic oscillator with a centripetal barrier), is…

This paper investigates asymptotic fixed point results for nonlinear contractions, with emphasis on Kirk-type theorems and their generalizations. A central difficulty in the literature has been the requirement that the mapping possesses a…

We consider the semilinear elliptic boundary value problem \[ -\Delta u=\left\vert u\right\vert ^{p-2}u\text{ in }\Omega,\text{\quad }u=0\text{ on }\partial\Omega, \] in a bounded smooth domain $\Omega$ of $\mathbb{R}^{N}$ for supercritical…

In a \emph{separability problem}, we are given two sets $K$ and $L$ from a class $\mathcal{C}$, and we want to decide whether there exists a set $S$ from a class $\mathcal{S}$ such that $K\subseteq S$ and $S\cap L=\emptyset$. In this case,…

We study the Yamabe invariants of cylindrical manifolds and compact orbifolds with a finite number of singularities, by means of conformal geometry and the Atiyah-Patodi-Singer $L^2$-index theory. For an $n$-orbifold $M$ with singularities…

We set up a methodology for computer assisted proofs of the existence and the KAM stability of an arbitrary periodic orbit for Hamiltonian systems. We give two examples of application for systems with 2 and 3 degrees of freedom. The first…

Let $\0$ be a nilpotent orbit in a semisimple complex Lie algebra $\g$. Denote by $G$ the simply connected Lie group with Lie algebra $\g$. For a $G$-homogeneous covering $M \to \0$, let $X$ be the normalization of $\bar{\0}$ in the…

We consider the N-vortex problem on a ellipsoid of revolution. Applying standard techniques of classical perturbation theory we construct a sequence of conformal transformations from the ellipsoid into the complex plane. Using these…

Periodic orbit quantization requires an analytic continuation of non-convergent semiclassical trace formulae. We propose a method for semiclassical quantization based upon the Pade approximant to the periodic orbit sums. The Pade…

We consider polynomial differential equations and make a number of contributions to the questions of (i) complexity of deciding stability, (ii) existence of polynomial Lyapunov functions, and (iii) existence of sum of squares (sos) Lyapunov…

Constraint-solving-based program invariant synthesis takes a parametric invariant template and encodes the (inductive) invariant conditions into constraints. The problem of characterizing the set of all valid parameter assignments is…

Let $G:= (C^*)^k\times SL_2(C)$ act linearly on a vector space or its projectivisation. We obtain an effective criterion to detect whether a number of orbits in an orbit-closure is finite or not.

Decision problems in physics have been an active field of research for quite a few decades resulting in some interesting findings in recent years. However, such research investigations are based on a priori knowledge of theoretical computer…

We consider the classical problem of invariant generation for programs with polynomial assignments and focus on synthesizing invariants that are a conjunction of strict polynomial inequalities. We present a sound and semi-complete method…

We study the algorithmic complexity of the problem of deciding whether a Linear Time Invariant dynamical system with rational coefficients has bounded trajectories. Despite its ubiquitous and elementary nature in Systems and Control, it…

Let $(\Omega,g)$ be a smooth compact two-dimensional Riemannian manifold with boundary, $\Lambda_g: f\mapsto \partial_\nu u|_{\partial\Omega}$ its DN map, where $u$ obeys $\Delta_g u=0$ in $\Omega$ and $u|_{\partial \Omega}=f$. The Electric…

Building on the blueprint from Goemans and Williamson (1995) for the Max-Cut problem, we construct a polynomial-time approximation algorithm for orthogonally constrained quadratic optimization problems. First, we derive a semidefinite…

We answer affirmatively a question of Aviles posed in 1983, concerning the construction of singular solutions of semilinear equations without using phase-plane analysis. Fully exploiting the semilinearity and the stability of the linearized…