Flows and bisections in cubic graphs

A $k$-weak bisection of a cubic graph $G$ is a partition of the vertex-set of $G$ into two parts $V_1$ and $V_2$ of equal size, such that each connected component of the subgraph of $G$ induced by $V_i$ ($i=1,2$) is a tree of at most $k-2$ vertices. This notion can be viewed as a relaxed version of nowhere-zero flows, as it directly follows from old results of Jaeger that every cubic graph $G$ with a circular nowhere-zero $r$-flow has a $\lfloor r \rfloor$-weak bisection. In this paper we study problems related to the existence of $k$-weak bisections. We believe that every cubic graph which has a perfect matching, other than the Petersen graph, admits a 4-weak bisection and we present a family of cubic graphs with no perfect matching which do not admit such a bisection. The main result of this article is that every cubic graph admits a 5-weak bisection. When restricted to bridgeless graphs, that result would be a consequence of the assertion of the 5-flow Conjecture and as such it can be considered a (very small) step toward proving that assertion. However, the harder part of our proof focuses on graphs which do contain bridges.Comment: 14 pages, 6 figures - revised versio

Colourings of cubic graphs inducing isomorphic monochromatic subgraphs

A $k$-bisection of a bridgeless cubic graph $G$ is a $2$-colouring of its vertex set such that the colour classes have the same cardinality and all connected components in the two subgraphs induced by the colour classes (monochromatic components in what follows) have order at most $k$. Ban and Linial conjectured that every bridgeless cubic graph admits a $2$-bisection except for the Petersen graph. A similar problem for the edge set of cubic graphs has been studied: Wormald conjectured that every cubic graph $G$ with $|E(G)| \equiv 0 \pmod 2$ has a $2$-edge colouring such that the two monochromatic subgraphs are isomorphic linear forests (i.e. a forest whose components are paths). Finally, Ando conjectured that every cubic graph admits a bisection such that the two induced monochromatic subgraphs are isomorphic. In this paper, we give a detailed insight into the conjectures of Ban-Linial and Wormald and provide evidence of a strong relation of both of them with Ando's conjecture. Furthermore, we also give computational and theoretical evidence in their support. As a result, we pose some open problems stronger than the above mentioned conjectures. Moreover, we prove Ban-Linial's conjecture for cubic cycle permutation graphs. As a by-product of studying $2$-edge colourings of cubic graphs having linear forests as monochromatic components, we also give a negative answer to a problem posed by Jackson and Wormald about certain decompositions of cubic graphs into linear forests.Comment: 33 pages; submitted for publicatio

Global surfaces of section for Reeb flows in dimension three and beyond

We survey some recent developments in the quest for global surfaces of section for Reeb flows in dimension three using methods from Symplectic Topology. We focus on applications to geometry, including existence of closed geodesics and sharp systolic inequalities. Applications to topology and celestial mechanics are also presented.Comment: 33 pages, 3 figures. This is an extended version of a paper written for Proceedings of the ICM, Rio 2018; in v3 we made minor additional corrections, updated references, added a reference to work of Lu on the Conley Conjectur

Chaotic vibrations and strong scars

This article aims at popularizing some aspects of "quantum chaos", in particular the study of eigenmodes of classically chaotic systems, in the semiclassical (or high frequency) limit

Some snarks are worse than others

Many conjectures and open problems in graph theory can either be reduced to cubic graphs or are directly stated for cubic graphs. Furthermore, it is known that for a lot of problems, a counterexample must be a snark, i.e. a bridgeless cubic graph which is not 3--edge-colourable. In this paper we deal with the fact that the family of potential counterexamples to many interesting conjectures can be narrowed even further to the family ${\cal S}_{\geq 5}$ of bridgeless cubic graphs whose edge set cannot be covered with four perfect matchings. The Cycle Double Cover Conjecture, the Shortest Cycle Cover Conjecture and the Fan-Raspaud Conjecture are examples of statements for which ${\cal S}_{\geq 5}$ is crucial. In this paper, we study parameters which have the potential to further refine ${\cal S}_{\geq 5}$ and thus enlarge the set of cubic graphs for which the mentioned conjectures can be verified. We show that ${\cal S}_{\geq 5}$ can be naturally decomposed into subsets with increasing complexity, thereby producing a natural scale for proving these conjectures. More precisely, we consider the following parameters and questions: given a bridgeless cubic graph, (i) how many perfect matchings need to be added, (ii) how many copies of the same perfect matching need to be added, and (iii) how many 2--factors need to be added so that the resulting regular graph is Class I? We present new results for these parameters and we also establish some strong relations between these problems and some long-standing conjectures.Comment: 27 pages, 16 figure

Vertical stability of circular orbits in relativistic razor-thin disks

During the last few decades, there has been a growing interest in exact solutions of Einstein equations describing razor-thin disks. Despite the progress in the area, the analytical study of geodesic motion crossing the disk plane in these systems is not yet so developed. In the present work, we propose a definite vertical stability criterion for circular equatorial timelike geodesics in static, axially symmetric thin disks, possibly surrounded by other structures preserving axial symmetry. It turns out that the strong energy condition for the disk stress-energy content is sufficient for vertical stability of these orbits. Moreover, adiabatic invariance of the vertical action variable gives us an approximate third integral of motion for oblique orbits which deviate slightly from the equatorial plane. Such new approximate third integral certainly points to a better understanding of the analytical properties of these orbits. The results presented here, derived for static spacetimes, may be a starting point to study the motion around rotating, stationary razor-thin disks. Our results also allow us to conjecture that the strong energy condition should be sufficient to assure transversal stability of periodic orbits for any singular timelike hypersurface, provided it is invariant under the geodesic flow.Comment: 13 pages, 4 figures; Accepted for publication in Physical Review