Related papers: Semialgebraic Invariant Synthesis for the Kannan-L…
We show that the problem to decide whether two (convex) polytopes, given by their vertex-facet incidences, are combinatorially isomorphic is graph isomorphism complete, even for simple or simplicial polytopes. On the other hand, we give a…
We are interested in solving decision problem $\exists? t \in \mathbb{N}, \cos t \theta = c$ where $\cos \theta$ and $c$ are algebraic numbers. We call this the $\cos t \theta$ problem. This is an exploration of Diophantine equations with…
In this paper we study the existence and regularity of stable manifolds associated to fixed points of parabolic type in the differentiable and analytic cases, using the parametrization method. The parametrization method relies on a suitable…
A method to determine the admissibility of symbolic sequences and to find the unstable periodic orbits corresponding to allowed symbolic sequences for the diamagnetic Kepler problem is proposed by using the ordering of stable and unstable…
In this paper we discuss the existence and regularity of solutions of strongly indefinite systems involving fractional elliptic operators on a smooth bounded domain $\Omega$ in $\R^n$.
We classify deformation quantizations of the symplectic supervarieties that are smooth and admissible. This generalizes the corresponding result of Bezrukavnikov and Kaledin to the super case. We relate the equivalence classes of…
The main thrust of our current work is to exploit very specific characteristics of a given problem in order to acquire improved compactness for supercritical problems and to prove existence of new types of solutions. To this end, we shall…
In Hamiltonian systems subjected to periodic perturbations the stable and unstable manifolds of the unstable periodic orbits provide the dynamical "skeleton" that drives the mixing process and bounds the chaotic regions of the phase space.…
Sets of $d\times d$ matrices sharing a common invariant cone enjoy special properties, which are widely used in applications. However, finding this cone or even proving its existence/non-existence is hard. This problem is known to be…
Inspired by the classical Poincar\'e criterion about the instability of orientation preserving minimizing closed geodesics on surfaces, we investigate the relation intertwining the instability and the variational properties of periodic…
We investigate the evolution of families of periodic orbits in a bisymmetrical potential made up of a two-dimensional harmonic oscillator with only one quartic perturbing term, in a number of resonant cases. Our main objective is to compute…
This paper is a continuation of our study of the dynamics of contact Hamiltonian systems in \cite{JY}, but without monotonicity assumption. Due to the complexity of general cases, we focus on the behavior of action minimizing orbits. We…
For several objects of interest in geometric complexity theory, namely for the determinant, the permanent, the product of variables, the power sum, the unit tensor, and the matrix multiplication tensor, we introduce and study a fundamental…
This paper explores the problem of analytically approximating the orbital state for a subset of orbits in a rotating potential with oblateness and ellipticity perturbations. This is done by isolating approximate differential equations for…
It is natural to investigate if the quantization of an integrable or superintegrable classical Hamiltonian systems is still integrable or superintegrable. We study here this problem in the case of natural Hamiltonians with constants of…
A trajectory isomorphism between the two Newtonian fixed center problem in the sphere and two associated planar two fixed center problems is constructed by performing two simultaneous gnomonic projections in $S^2$. This isomorphism converts…
A tight binding representation of the kicked Harper model is used to obtain an integrable semiclassical Hamiltonian consisting of degenerate "quantized" orbits. New orbits appear when renormalized Harper parameters cross integer multiples…
Harmonic inversion has already been proven to be a powerful tool for the analysis of quantum spectra and the periodic orbit orbit quantization of chaotic systems. The harmonic inversion technique circumvents the convergence problems of the…
We solve the Riemann-Hilbert problem on the sphere topology for three singularities of finite strength and a fourth one infinitesimal, by determining perturbatively the Poincare' accessory parameters. In this way we compute the…
A complete deterministic finite (semi)automaton (DFA) with a set of states $Q$ is \emph{completely reachable} if every nonempty subset of $Q$ is the image of the action of some word applied to $Q$. The concept of completely reachable…