6,894 research outputs found
Classification of planar rational cuspidal curves. II. Log del Pezzo models
Let be a complex curve homeomorphic to the
projective line. The Negativity Conjecture asserts that the Kodaira-Iitaka
dimension of , where is a
minimal log resolution, is negative. We prove structure theorems for curves
satisfying this conjecture and we finish their classification up to a
projective equivalence by describing the ones whose complement admits no
-fibration. As a consequence, we show that they satisfy the
Strong Rigidity Conjecture of Flenner-Zaidenberg. The proofs are based on the
almost minimal model program. The obtained list contains one new series of
bicuspidal curves.Comment: 50 page
Edge-Orders
Canonical orderings and their relatives such as st-numberings have been used
as a key tool in algorithmic graph theory for the last decades. Recently, a
unifying concept behind all these orders has been shown: they can be described
by a graph decomposition into parts that have a prescribed vertex-connectivity.
Despite extensive interest in canonical orderings, no analogue of this
unifying concept is known for edge-connectivity. In this paper, we establish
such a concept named edge-orders and show how to compute (1,1)-edge-orders of
2-edge-connected graphs as well as (2,1)-edge-orders of 3-edge-connected graphs
in linear time, respectively. While the former can be seen as the edge-variants
of st-numberings, the latter are the edge-variants of Mondshein sequences and
non-separating ear decompositions. The methods that we use for obtaining such
edge-orders differ considerably in almost all details from the ones used for
their vertex-counterparts, as different graph-theoretic constructions are used
in the inductive proof and standard reductions from edge- to
vertex-connectivity are bound to fail.
As a first application, we consider the famous Edge-Independent Spanning Tree
Conjecture, which asserts that every k-edge-connected graph contains k rooted
spanning trees that are pairwise edge-independent. We illustrate the impact of
the above edge-orders by deducing algorithms that construct 2- and 3-edge
independent spanning trees of 2- and 3-edge-connected graphs, the latter of
which improves the best known running time from O(n^2) to linear time
Superpatterns and Universal Point Sets
An old open problem in graph drawing asks for the size of a universal point
set, a set of points that can be used as vertices for straight-line drawings of
all n-vertex planar graphs. We connect this problem to the theory of
permutation patterns, where another open problem concerns the size of
superpatterns, permutations that contain all patterns of a given size. We
generalize superpatterns to classes of permutations determined by forbidden
patterns, and we construct superpatterns of size n^2/4 + Theta(n) for the
213-avoiding permutations, half the size of known superpatterns for
unconstrained permutations. We use our superpatterns to construct universal
point sets of size n^2/4 - Theta(n), smaller than the previous bound by a 9/16
factor. We prove that every proper subclass of the 213-avoiding permutations
has superpatterns of size O(n log^O(1) n), which we use to prove that the
planar graphs of bounded pathwidth have near-linear universal point sets.Comment: GD 2013 special issue of JGA
Boundaries of Amplituhedra and NMHV Symbol Alphabets at Two Loops
In this sequel to arXiv:1711.11507 we classify the boundaries of amplituhedra
relevant for determining the branch points of general two-loop amplitudes in
planar super-Yang-Mills theory. We explain the connection to
on-shell diagrams, which serves as a useful cross-check. We determine the
branch points of all two-loop NMHV amplitudes by solving the Landau equations
for the relevant configurations and are led thereby to a conjecture for the
symbol alphabets of all such amplitudes.Comment: 42 pages, 6 figures, 8 tables; v2: minor corrections and improvement
- …