2,962 research outputs found
Origami constraints on the initial-conditions arrangement of dark-matter caustics and streams
In a cold-dark-matter universe, cosmological structure formation proceeds in
rough analogy to origami folding. Dark matter occupies a three-dimensional
'sheet' of free- fall observers, non-intersecting in six-dimensional
velocity-position phase space. At early times, the sheet was flat like an
origami sheet, i.e. velocities were essentially zero, but as time passes, the
sheet folds up to form cosmic structure. The present paper further illustrates
this analogy, and clarifies a Lagrangian definition of caustics and streams:
caustics are two-dimensional surfaces in this initial sheet along which it
folds, tessellating Lagrangian space into a set of three-dimensional regions,
i.e. streams. The main scientific result of the paper is that streams may be
colored by only two colors, with no two neighbouring streams (i.e. streams on
either side of a caustic surface) colored the same. The two colors correspond
to positive and negative parities of local Lagrangian volumes. This is a severe
restriction on the connectivity and therefore arrangement of streams in
Lagrangian space, since arbitrarily many colors can be necessary to color a
general arrangement of three-dimensional regions. This stream two-colorability
has consequences from graph theory, which we explain. Then, using N-body
simulations, we test how these caustics correspond in Lagrangian space to the
boundaries of haloes, filaments and walls. We also test how well outer caustics
correspond to a Zel'dovich-approximation prediction.Comment: Clarifications and slight changes to match version accepted to MNRAS.
9 pages, 5 figure
Even-cycle decompositions of graphs with no odd--minor
An even-cycle decomposition of a graph G is a partition of E(G) into cycles
of even length. Evidently, every Eulerian bipartite graph has an even-cycle
decomposition. Seymour (1981) proved that every 2-connected loopless Eulerian
planar graph with an even number of edges also admits an even-cycle
decomposition. Later, Zhang (1994) generalized this to graphs with no
-minor.
Our main theorem gives sufficient conditions for the existence of even-cycle
decompositions of graphs in the absence of odd minors. Namely, we prove that
every 2-connected loopless Eulerian odd--minor-free graph with an even
number of edges has an even-cycle decomposition.
This is best possible in the sense that `odd--minor-free' cannot be
replaced with `odd--minor-free.' The main technical ingredient is a
structural characterization of the class of odd--minor-free graphs, which
is due to Lov\'asz, Seymour, Schrijver, and Truemper.Comment: 17 pages, 6 figures; minor revisio
The hardness of routing two pairs on one face
We prove the NP-completeness of the integer multiflow problem in planar
graphs, with the following restrictions: there are only two demand edges, both
lying on the infinite face of the routing graph. This was one of the open
challenges concerning disjoint paths, explicitly asked by M\"uller. It also
strengthens Schw\"arzler's recent proof of one of the open problems of
Schrijver's book, about the complexity of the edge-disjoint paths problem with
terminals on the outer boundary of a planar graph. We also give a directed
acyclic reduction. This proves that the arc-disjoint paths problem is
NP-complete in directed acyclic graphs, even with only two demand arcs
- …