BZPEERPapers, people, evidence and research pathsDiscover
Research tools
Network
Opportunities
Account
Source author record
Richard Montgomery appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.
Catalog footprint
Research graph
Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.
BZPEER is loading the nearby papers, people, topics and institutions for this page.
Published work
The subject is brake orbits for the 3-body problem: orbits where all velocities are zero at some instant. We extract a paradox and a mystery out of a recent database of 30 non-collision periodic brake orbits for the equal mass 3-body problem built up by Li and Liao. We solve the paradox and the mystery and pose an open question.
In 2001, Komlós, Sárközy and Szemerédi proved that, for each $α>0$, there is some $c>0$ and $n_0$ such that, if $n\geq n_0$, then every $n$-vertex graph with minimum degree at least $(1/2+α)n$ contains a copy of every $n$-vertex tree with maximum degree at most $cn/\log n$. We prove the corresponding result for directed graphs. That is, for each $α>0$, there is some $c>0$ and $n_0$ such that, if $n\geq n_0$, then every $n$-vertex directed graph with minimum semi-degree at least $(1/2+α)n$ contains a copy of every $n$-vertex oriented tree whose underlying maximum degree is at most $cn/\log n$. As with Komlós, Sárközy and Szemerédi's theorem, this is tight up to the value of $c$. Our result improves a recent result of Mycroft and Naia, which requires the oriented trees to have underlying maximum degree at most $Δ$, for any constant $Δ\in \mathbb{N}$ and sufficiently large $n$. In contrast to these results, our methods do not use Szemerédi's regularity lemma.
We prove that there exists $C>0$ such that any $(n+Ck)$-vertex tournament contains a copy of every $n$-vertex oriented tree with $k$ leaves, improving the previously best known bound of $n+O(k^2)$ vertices to give a result tight up to the value of $C$. Furthermore, we show that, for each $k$, there exists $n_0$, such that, whenever $n\geqslant n_0$, any $(n+k-2)$-vertex tournament contains a copy of every $n$-vertex oriented tree with at most $k$ leaves, confirming a conjecture of Dross and Havet.
A typical decomposition question asks whether the edges of some graph $G$ can be partitioned into disjoint copies of another graph $H$. One of the oldest and best known conjectures in this area, posed by Ringel in 1963, concerns the decomposition of complete graphs into edge-disjoint copies of a tree. It says that any tree with $n$ edges packs $2n+1$ times into the complete graph $K_{2n+1}$. In this paper, we prove this conjecture for large $n$.
Motivated by a longstanding conjecture of Thomassen, we study how large the average degree of a graph needs to be to imply that it contains a $C_4$-free subgraph with average degree at least $t$. Kühn and Osthus showed that an average degree bound which is double exponential in t is sufficient. We give a short proof of this bound, before reducing it to a single exponential. That is, we show that any graph $G$ with average degree at least $2^{ct^2\log t}$ (for some constant $c>0$) contains a $C_4$-free subgraph with average degree at least $t$. Finally, we give a construction which improves the lower bound for this problem, showing that this initial average degree must be at least $t^{3-o(1)}$.
We study solutions of the Newtonian $n$-body problem which tend to infinity hyperbolically, that is, all mutual distances tend to infinity with nonzero speed as $t \rightarrow +\infty$ or as $t \rightarrow -\infty$. In suitable coordinates, such solutions form the stable or unstable manifolds of normally hyperbolic equilibrium points in a boundary manifold "at infinity". We show that the flow near these manifolds can be analytically linearized and use this to give a new proof of Chazy's classical asymptotic formulas. We also address the scattering problem, namely, for solutions which are hyperbolic in both forward and backward time, how are the limiting equilibrium points related? After proving some basic theorems about this scattering relation, we use perturbations of our manifold at infinity to study scattering "near infinity", that is, when the bodies stay far apart and interact only weakly.
A subgraph of an edge-coloured graph is called rainbow if all its edges have distinct colours. Our main result implies that, given any optimal colouring of a sufficiently large complete graph $K_{2n}$, there exists a decomposition of $K_{2n}$ into isomorphic rainbow spanning trees. This settles conjectures of Brualdi--Hollingsworth (from 1996) and Constantine (from 2002) for large graphs.
The iterative absorption method has recently led to major progress in the area of (hyper-)graph decompositions. Amongst other results, a new proof of the Existence conjecture for combinatorial designs, and some generalizations, was obtained. Here, we illustrate the method by investigating triangle decompositions: we give a simple proof that a triangle-divisible graph of large minimum degree has a triangle decomposition and prove a similar result for quasi-random host graphs.
We prove a topological extension of Dirac's theorem suggested by Gowers in 2005: for any connected, closed surface $\mathscr{S}$, we show that any two-dimensional simplicial complex on $n$ vertices in which each pair of vertices belongs to at least $n/3 + o(n)$ facets contains a homeomorph of $\mathscr{S}$ spanning all the vertices. This result is asymptotically sharp, and implies in particular that any 3-uniform hypergraph on $n$ vertices with minimum codegree exceeding $n/3+o(n)$ contains a spanning triangulation of the $2$-sphere.
We construct the hyperbolic plane with its geodesic flow as the scale plus symmetry reduction of a three-body problem in the Euclidean plane. The potential is $-I/Δ^2$ where $I$ is the triangle's moment of inertia and $Δ$ its area. The reduction method uses the Jacobi-Maupertuis metric, following the author's earlier paper "Putting Hyperbolic Pants on a Three-body Problem".
We give a minimum degree condition sufficent to ensure the existence of a fractional $K_r$-decomposition in a balanced $r$-partite graph (subject to some further simple necessary conditions). This generalises the non-partite problem studied recently by Barber, Lo, Kühn, Osthus and the author, and the $3$-partite fractional $K_3$-decomposition problem studied recently by Dukes. Combining our result with recent work by Barber, Kühn, Lo, Osthus and Taylor, this gives a minimum degree condition sufficient to ensure the existence of a (non-fractional) $K_r$-decomposition in a balanced $r$-partite graph (subject to the same simple necessary conditions).
This expository note describes McGehee blow-up \cite{McGehee} in its role as one of the main tools in my recent proof with Rick Moeckel \cite{RM2} that every free homotopy class for the planar three-body problem can be realized by a periodic solution. The main novelty is my use of energy-balance to motivate the transformation of McGehee. Another novelty is an explicit description of the blown-up reduced phase space for the planar N-body problem, $N \ge 3$ as a complex vector bundle over the half-line times complex projective $N-2$-space. The half line coordinate is the size of the labelled planar N-gon whose vertices are the instantaneous positions of the N bodies and the projective space coordinatizes the shape of this N-gon body.
The $N$-body problem with a $1/r^2$ potential has, in addition to translation and rotational symmetry, an effective scale symmetry which allows its zero energy flow to be reduced to a geodesic flow on complex projective $N-2$-space, minus a hyperplane arrangement. When $N=3$ we get a geodesic flow on the two-sphere minus three points. If, in addition we assume that the three masses are equal, then it was proved in [1] that the corresponding metric is hyperbolic: its Gaussian curvature is negative except at two points. Does the negative curvature property persist for $N=4$, that is, in the equal mass $1/r^2$ 4-body problem? Here we prove `no' by computing that the corresponding Riemannian metric in this $N=4$ case has positive sectional curvature at some two-planes. This `no' answer dashes hopes of naively extending hyperbolicity from $N=3$ to $N>3$.
In Carnot-Caratheodory or sub-Riemannian geometry, one of the major open problems is whether the conclusions of Sard's theorem holds for the endpoint map, a canonical map from an infinite-dimensional path space to the underlying finite-dimensional manifold. The set of critical values for the endpoint map is also known as abnormal set, being the set of endpoints of abnormal extremals leaving the base point. We prove that a strong version of Sard's property holds for all step-2 Carnot groups and several other classes of Lie groups endowed with left-invariant distributions. Namely, we prove that the abnormal set lies in a proper analytic subvariety. In doing so we examine several characterizations of the abnormal set in the case of Lie groups.
A symmetric $m\times m$ matrix $M$ with entries taken from $\{0,1,\ast\}$ gives rise to a graph partition problem, asking whether a graph can be partitioned into $m$ vertex sets matched to the rows (and corresponding columns) of $M$ such that, if $M_{ij}=1$, then any two vertices between the corresponding vertex sets are joined by an edge, and if $M_{ij}=0$ then any two vertices between the corresponding vertex sets are not joined by an edge. The entry $\ast$ places no restriction on the edges between the corresponding sets. This problem generalises graph colouring and graph homomorphism problems. A graph with no $M$-partition but such that every proper subgraph does have an $M$-partition is called a minimal obstruction. Feder, Hell and Xie have defined friendly matrices and shown that non-friendly matrices have infinitely many minimal obstructions. They showed through examples that friendly matrices can have finitely or infinitely many minimal obstructions and gave an example of a friendly matrix with an NP-hard partition problem. Here we show that almost all friendly matrices have infinitely many minimal obstructions and an NP-hard partition problem.
We prove that if a tree $T$ has $n$ vertices and maximum degree at most $Δ$, then a copy of $T$ can almost surely be found in the random graph $\mathcal{G}(n,Δ\log^5 n/n)$.
Mader proved that for every integer $t$ there is a smallest real number $c(t)$ such that any graph with average degree at least $c(t)$ must contain a $K_t$-minor. Fiorini, Joret, Theis and Wood conjectured that any graph with $n$ vertices and average degree at least $c(t)+ε$ must contain a $K_t$-minor consisting of at most $C(ε,t)\log n$ vertices. Shapira and Sudakov subsequently proved that such a graph contains a $K_t$-minor consisting of at most $C(ε,t)\log n \log\log n$ vertices. Here we build on their method using graph expansion to remove the $\log\log n$ factor and prove the conjecture. Mader also proved that for every integer $t$ there is a smallest real number $s(t)$ such that any graph with average degree larger than $s(t)$ must contain a $K_t$-topological minor. We prove that, for sufficiently large $t$, graphs with average degree at least $(1+ε)s(t)$ contain a $K_t$-topological minor consisting of at most $C(ε,t)\log n$ vertices. Finally, we show that, for sufficiently large $t$, graphs with average degree at least $(1+ε)c(t)$ contain either a $K_t$-minor consisting of at most $C(ε,t)$ vertices or a $K_t$-topological minor consisting of at most $C(ε,t)\log n$ vertices.
The configuration space of the planar three-body problem when collisions are excluded has a rich topology which supports a large set of free homotopy classes. Most classes survive modding out by rotations. Those that survive are called the reduced free homotopy classes and have a simple description when projected onto the shape sphere. They are coded by syzygy sequences. We prove that every reduced free homotopy class, and thus every reduced syzygy sequence, is realized by a reduced periodic solution to the Newtonian planar three-body problem. The realizing solutions have nonzero angular momentum, repeatedly come very close to triple collision, and have lots of "stutters"--repeated syzygies of the same type. The heart of the proof is contained in the work by one of us on symbolic dynamics arising out of the central configurations after the triple collision is blown up using McGehee's method.
When $k|n$, the tree $\mathrm{Comb}_{n,k}$ consists of a path containing $n/k$ vertices, each of whose vertices has a disjoint path length $k-1$ beginning at it. We show that, for any $k=k(n)$ and $ε>0$, the binomial random graph $\mathcal{G}(n,(1+ε)\log n/ n)$ almost surely contains $\mathrm{Comb}_{n,k}$ as a subgraph. This improves a recent result of Kahn, Lubetzky and Wormald. We prove a similar statement for a more general class of trees containing both these combs and all bounded degree spanning trees which have at least $εn/ \log^9n$ disjoint bare paths length $\lceil\log^9 n\rceil$. We also give an efficient method for finding large expander subgraphs in a binomial random graph. This allows us to improve a result on almost spanning trees by Balogh, Csaba, Pei and Samotij.
[This is an expository article. I have submitted it to the American Mathematical Monthly.] The three-body problem defines a dynamics on the space of triangles in the plane. The shape sphere is the moduli space of oriented similarity classes of planar triangles and lies inside shape space, a Euclidean 3-space parametrizing oriented congruence classes of triangles. We derive and investigate the geometry and dynamics induced on these spaces by the three-body problem. We present two theorems concerning the three-body problem whose discovery was made through the shape space perspective
The Jacobi-Maupertuis metric allows one to reformulate Newton's equations as geodesic equations for a Riemannian metric which degenerates at the Hill boundary. We prove that a JM geodesic which comes sufficiently close to a regular point of the boundary contains pairs of conjugate points close to the boundary. We prove the conjugate locus of any point near enough to the boundary is a hypersurface tangent to the boundary. Our method of proof is to reduce analysis of geodesics near the boundary to that of solutions to Newton's equations in the simplest model case: a constant force. This model case is equivalent to the beginning physics problem of throwing balls upward from a fixed point at fixed speeds and describing the resulting arcs, see Fig. 2.
We show that the n-dimensional MICZ-Kepler system arises from symplectic reduction of a simple mechanical system on the cone over the rotation group SO(n). As a corollary we derive an elementary formula for its general solution. The punch-line of our computation is that the additional MICZ-Kepler $|ϕ|^2/r^2$ type potential term is the rotational part of the cone's kinetic energy.
We carry out a sequence of coordinate changes for the planar three-body problem which successively eliminate the translation and rotation symmetries, regularize all three double collision singularities and blow-up the triple collision. Parametrizing the configurations by the three relative position vectors maintains the symmetry among the masses and simplifies the regularization of binary collisions. Using size and shape coordinates facilitates the reduction by rotations and the blow-up of triple collision while emphasizing the role of the shape sphere. By using homogeneous coordinates to describe Hamiltonian systems whose configurations spaces are spheres or projective spaces, we are able to take a modern, global approach to these familiar problems. We also show how to obtain the reduced and regularized differential equations in several convenient local coordinates systems.
In the planar three-body problem, we study solutions with zero initial velocity (brake orbits). Following such a solution until the three masses become collinear (syzygy), we obtain a continuous, flow-induced Poincaré map. We study the image of the map in the set of collinear configurations and define a continuous extension to the Lagrange triple collision orbit. In addition we provide a variational characterization of some of the resulting brake-to-syzygy orbits and find simple examples of periodic brake orbits.
A nonholonomic system consists of a configuration space Q, a Lagrangian L, and an nonintegrable constraint distribution H, with dynamics governed by Lagrange-d'Alembert's principle. We present two studies both using adapted moving frames. In the first study we apply Cartan's method of equivalence to investigate the geometry underlying a nonholonomic system. As an example we compute the differential invariants for a nonholonomic system on a four-dimensional configuration manifold endowed with a rank two (Engel) distribution. In the second part we study G-Chaplygin systems. These are systems where the constraint distribution is given by a connection on a principal fiber bundle with total space Q and base space S=Q/G, and with a G-equivariant Lagrangian. These systems compress to an almost Hamiltonian system on $T^{*}S$. Under an $s \in S$ dependent time reparameterization a number of compressed systems become Hamiltonian. A necessary condition for Hamiltonization is the existence of an invariant measure on the original system. Assuming an invariant measure we describe the obstruction to Hamiltonization. Chaplygin's "rubber" sphere, a ball with unequal inertia coefficients rolling without slipping or spinning (about the vertical axis) on a plane is Hamiltonizable when compressed to $T^{*}SO(3)$. Finally we discuss reduction of internal symmetries. Chaplygin's "marble" (where spinning is allowed) is not Hamiltonizable when compressed to $T^{*}SO(3)$; we conjecture that it is also not Hamiltonizable when reduced to $T^{*}S^{2}$.
Using a variational method, we exhibit a surprisingly simple periodic orbit for the newtonian problem of three equal masses in the plane. The orbit has zero angular momentum and a very rich symmetry pattern. Its most surprising feature is that the three bodies chase each other around a fixed eight-shaped curve. Setting aside collinear motions, the only other known motion along a fixed curve in the inertial plane is the ``Lagrange relative equilibrium" in which the three bodies form a rigid equilateral triangle which rotates at constant angular velocity within its circumscribing circle. Our orbit visits in turns every ``Euler configuration" in which one of the bodies sits at the midpoint of the segment defined by the other two (Figure 1). Numerical computations by Carles Simó, to be published elsewhere, indicate that the orbit is ``stable" (i.e. completely elliptic with torsion). Moreover, they show that the moment of inertia I(t) with respect to the center of mass and the potential U(t) as functions of time are almost constant.
Suppose that the initial triangle formed by the three moving masses of the three-body problem is similar to the triangle formed at some later time. We derive a simple integral formula for the overall rotation relating the two triangles. The formula is based on the fact that the space of similarity classes of triangles forms a two-sphere which we call the shape sphere. The formula consists of a ``dynamic'' and ``geometric'' term. The geometric term is the integral of a universal two-form on a``reduced configuration space''. This space is a two-sphere bundle over the shape sphere. The fibering spheres are instantaneous versions of the angular momentum sphere appearing in rigid body motion. Our derivation of the formula is similar in spirit to our earlier reconstruction formula for the rigid body motion.