4,748 research outputs found
Aspects of the planetary Birkhoff normal form
The discovery in [G. Pinzari. PhD thesis. Univ. Roma Tre. 2009], [L.
Chierchia and G. Pinzari, Invent. Math. 2011] of the Birkhoff normal form for
the planetary many--body problem opened new insights and hopes for the
comprehension of the dynamics of this problem. Remarkably, it allowed to give a
{\sl direct} proof of the celebrated Arnold's Theorem [V. I. Arnold. Uspehi
Math. Nauk. 1963] on the stability of planetary motions. In this paper, using a
"ad hoc" set of symplectic variables, we develop an asymptotic formula for this
normal form that may turn to be useful in applications. As an example, we
provide two very simple applications to the three-body problem: we prove a
conjecture by [V. I. Arnold. cit] on the "Kolmogorov set"of this problem and,
using Nehoro{\v{s}}ev Theory [Nehoro{\v{s}}ev. Uspehi Math. Nauk. 1977], we
prove, in the planar case, stability of all planetary actions over
exponentially-long times, provided mean--motion resonances are excluded. We
also briefly discuss perspectives and problems for full generalization of the
results in the paper.Comment: 44 pages. Keywords: Averaging Theory, Birkhoff normal form,
Nehoro{\v{s}}ev Theory, Planetary many--body problem, Arnold's Theorem on the
stability of planetary motions, Properly--degenerate kam Theory, steepness.
Revised version, including Reviewer's comments. Typos correcte
Synthesizing Switching Controllers for Hybrid Systems by Continuous Invariant Generation
We extend a template-based approach for synthesizing switching controllers
for semi-algebraic hybrid systems, in which all expressions are polynomials.
This is achieved by combining a QE (quantifier elimination)-based method for
generating continuous invariants with a qualitative approach for predefining
templates. Our synthesis method is relatively complete with regard to a given
family of predefined templates. Using qualitative analysis, we discuss
heuristics to reduce the numbers of parameters appearing in the templates. To
avoid too much human interaction in choosing templates as well as the high
computational complexity caused by QE, we further investigate applications of
the SOS (sum-of-squares) relaxation approach and the template polyhedra
approach in continuous invariant generation, which are both well supported by
efficient numerical solvers
Hydrogen atom in crossed electric and magnetic fields: Phase space topology and torus quantization via periodic orbits
A hierarchical ordering is demonstrated for the periodic orbits in a strongly
coupled multidimensional Hamiltonian system, namely the hydrogen atom in
crossed electric and magnetic fields. It mirrors the hierarchy of broken
resonant tori and thereby allows one to characterize the periodic orbits by a
set of winding numbers. With this knowledge, we construct the action variables
as functions of the frequency ratios and carry out a semiclassical torus
quantization. The semiclassical energy levels thus obtained agree well with
exact quantum calculations
M\"obius Invariants of Shapes and Images
Identifying when different images are of the same object despite changes
caused by imaging technologies, or processes such as growth, has many
applications in fields such as computer vision and biological image analysis.
One approach to this problem is to identify the group of possible
transformations of the object and to find invariants to the action of that
group, meaning that the object has the same values of the invariants despite
the action of the group. In this paper we study the invariants of planar shapes
and images under the M\"obius group , which arises
in the conformal camera model of vision and may also correspond to neurological
aspects of vision, such as grouping of lines and circles. We survey properties
of invariants that are important in applications, and the known M\"obius
invariants, and then develop an algorithm by which shapes can be recognised
that is M\"obius- and reparametrization-invariant, numerically stable, and
robust to noise. We demonstrate the efficacy of this new invariant approach on
sets of curves, and then develop a M\"obius-invariant signature of grey-scale
images
Gopakumar-Vafa invariants via vanishing cycles
In this paper, we propose an ansatz for defining Gopakumar-Vafa invariants of
Calabi-Yau threefolds, using perverse sheaves of vanishing cycles. Our proposal
is a modification of a recent approach of Kiem-Li, which is itself based on
earlier ideas of Hosono-Saito-Takahashi. We conjecture that these invariants
are equivalent to other curve-counting theories such as Gromov-Witten theory
and Pandharipande-Thomas theory. Our main theorem is that, for local surfaces,
our invariants agree with PT invariants for irreducible one-cycles. We also
give a counter-example to the Kiem-Li conjectures, where our invariants match
the predicted answer. Finally, we give examples where our invariant matches the
expected answer in cases where the cycle is non-reduced, non-planar, or
non-primitive.Comment: 63 pages, many improvements of the exposition following referee
comments, final version to appear in Inventione
SecDec: A general program for sector decomposition
We present a program for the numerical evaluation of multi-dimensional
polynomial parameter integrals. Singularities regulated by dimensional
regularisation are extracted using iterated sector decomposition. The program
evaluates the coefficients of a Laurent series in the regularisation parameter.
It can be applied to multi-loop integrals in Euclidean space as well as other
parametric integrals, e.g. phase space integrals.Comment: 42 pages, 12 figures. Replaced by published version. Cuba library
included in the progra
- …