Related papers: Orbit Problem Revisited
We cautiously reanalyze some easily confused notions on particle horizon problem in this paper and then we give a new answer to the particle horizon problem. This answer is independent of physics plunging into Planck time.
We present numerical results and computer assisted proofs of the existence of periodic orbits for the Kuramoto-Sivashinky equation. These two results are based on writing down the existence of periodic orbits as zeros of functionals. This…
About twenty years ago, Rabinowitz showed firstly that there exist heteroclinic orbits of autonomous Hamiltonian system joining two equilibria. A special case of autonomous Hamiltonian system is the classical pendulum equation. The phase…
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…
We study the computational complexity of a robust version of the problem of testing two univariate C-finite functions for eventual inequality at large times. Specifically, working in the bit-model of real computation, we consider the…
Let $X$ be a closed invariant subset of the half--open annulus $\mathbb{A}$ such that $\mathbb{A} \setminus X$ is homeomorphic to $\mathbb{A}$. We prove that either the rotation number of all forward semi--orbits of accessible points of $X$…
In this paper, we consider the equilibrium problems and also their regularized problems under the setting of Hadamard spaces. The solution to the regularized problem is represented in terms of resolvent operators. As an essential machinery…
This dissertation describes the space of heteroclinic orbits for a class of semilinear parabolic equations, focusing primarily on the case where the nonlinearity is a second degree polynomial with variable coefficients. Along the way, a new…
We study systems of polynomial equations in several classes of finitely generated rings and algebras. For each ring $R$ (or algebra) in one of these classes we obtain an interpretation by systems of equations of a ring of integers $O$ of a…
We prove that if a solvable group A acts coprimely on a solvable group G, then A has a "large" orbit in its corresponding action on the set of ordinary complex irreducible characters of G. This extends (at the cost of a weaker bound) a 2005…
We prove the existence of some types of periodic orbits for a particle moving in Euclidean three-space under the influence of the gravitational force induced by a fixed homogeneous circle. These types include periodic orbits very far and…
We numerically investigate the dynamics of orbits in 3D circumbinary phase-space as a function of binary eccentricity and mass fraction. We find that inclined circumbinary orbits in the elliptically-restricted three-body problem display a…
We present a new approach to the problem of binary black holes in the pre-coalescence stage, i.e. when the notion of orbit has still some meaning. Contrary to previous numerical treatments which are based on the initial value formulation of…
We consider the quadratic optimization problem $\max_{x \in C}\ x^T Q x + q^T x$, where $C\subseteq\mathbb{R}^n$ is a box and $r := \mathrm{rank}(Q)$ is assumed to be $\mathcal{O}(1)$ (i.e., fixed). We show that this case can be solved in…
Recently it was shown that it is undecidable whether a term rewrite system can be proved terminating by a polynomial interpretation in the natural numbers. In this paper we show that this is also the case when restricting the…
We solve the Kato square root problem for parabolic operators of arbitrary order $2m$ whose coefficients are allowed to depend on both space and time in a merely measurable way and possess boundedness and ellipticity controlled by a…
Chip-firing and rotor-routing are two well-studied examples of abelian networks. We study the complexity of their respective reachability problems. We show that the rotor-routing reachability problem is decidable in polynomial time, and we…
This is the translation from Latin of E547 'Determinatio facilis orbitae cometae, cuius transitum per eclipticam bis observare licuit', in which Euler addresses the determination of a comet's parabolic orbit, with the Sun at the focus, from…
We develop an analytical Hamiltonian formalism adapted to the study of the motion of two planets in co-orbital resonance. The Hamiltonian, averaged over one of the planetary mean longitude, is expanded in power series of eccentricities and…
For a Latt\`es map $\phi:\mathbb P^1 \to \mathbb P^1$ defined over a number field $K$, we prove a conjecture on the integrality of points in the backward orbit of $P\in \mathbb P^1(\overline K)$ under $\phi$.