21 research outputs found
An Almost Optimal Bound on the Number of Intersections of Two Simple Polygons
What is the maximum number of intersections of the boundaries of a simple m-gon and a simple n-gon? This is a basic question in combinatorial geometry, and the answer is easy if at least one of m and n is even: If both m and n are even, then every pair of sides may cross and so the answer is mn. If exactly one polygon, say the n-gon, has an odd number of sides, it can intersect each side of the m-gon polygon at most n−1 times; hence there are at most mn−m intersections. It is not hard to construct examples that meet these bounds. If both m and n are odd, the best known construction has mn−(m+n)+3 intersections, and it is conjectured that this is the maximum. However, the best known upper bound is only mn−(m+⌈n/6⌉), for m≥n. We prove a new upper bound of mn−(m+n)+C for some constant C, which is optimal apart from the value of C
Enclosing Depth and Other Depth Measures
We study families of depth measures defined by natural sets of axioms. We show that any such depth measure is a constant factor approximation of Tukey depth. We further investigate the dimensions of depth regions, showing that the Cascade conjecture, introduced by Kalai for Tverberg depth, holds for all depth measures which satisfy our most restrictive set of axioms, which includes Tukey depth. Along the way, we introduce and study a new depth measure called enclosing depth, which we believe to be of independent interest, and show its relation to a constant-fraction Radon theorem on certain two-colored point sets
Towards the Erd\H{o}s-Hajnal conjecture for -free graphs
The Erd\H{o}s-Hajnal conjecture is one of the most classical and well-known
problems in extremal and structural combinatorics dating back to 1977. It
asserts that in stark contrast to the case of a general -vertex graph if one
imposes even a little bit of structure on the graph, namely by forbidding a
fixed graph as an induced subgraph, instead of only being able to find a
polylogarithmic size clique or an independent set one can find one of
polynomial size. Despite being the focus of considerable attention over the
years the conjecture remains open. In this paper we improve the best known
lower bound of on this question, due to Erd\H{o}s
and Hajnal from 1989, in the smallest open case, namely when one forbids a
, the path on vertices. Namely, we show that any -free vertex
graph contains a clique or an independent set of size at least . Our methods also lead to the same improvement for an infinite
family of graphs
An Almost Optimal Bound on the Number of Intersections of Two Simple Polygons
What is the maximum number of intersections of the boundaries of a simple m-gon and a simple n-gon? This is a basic question in combinatorial geometry, and the answer is easy if at least one of m and n is even: If both m and n are even, then every pair of sides may cross and so the answer is mn. If exactly one polygon, say the n-gon, has an odd number of sides, it can intersect each side of the m-gon polygon at most n−1 times; hence there are at most mn−m intersections. It is not hard to construct examples that meet these bounds. If both m and n are odd, the best known construction has mn−(m+n)+3 intersections, and it is conjectured that this is the maximum. However, the best known upper bound is only mn−(m+⌈n/6⌉), for m≥n. We prove a new upper bound of mn−(m+n)+C for some constant C, which is optimal apart from the value of C
Twin-width VIII: delineation and win-wins
We introduce the notion of delineation. A graph class is said
delineated if for every hereditary closure of a subclass of
, it holds that has bounded twin-width if and only if
is monadically dependent. An effective strengthening of
delineation for a class implies that tractable FO model checking
on is perfectly understood: On hereditary closures of
subclasses of , FO model checking is fixed-parameter tractable
(FPT) exactly when has bounded twin-width. Ordered graphs
[BGOdMSTT, STOC '22] and permutation graphs [BKTW, JACM '22] are effectively
delineated, while subcubic graphs are not. On the one hand, we prove that
interval graphs, and even, rooted directed path graphs are delineated. On the
other hand, we show that segment graphs, directed path graphs, and visibility
graphs of simple polygons are not delineated. In an effort to draw the
delineation frontier between interval graphs (that are delineated) and
axis-parallel two-lengthed segment graphs (that are not), we investigate the
twin-width of restricted segment intersection classes. It was known that
(triangle-free) pure axis-parallel unit segment graphs have unbounded
twin-width [BGKTW, SODA '21]. We show that -free segment graphs, and
axis-parallel -free unit segment graphs have bounded twin-width, where
is the half-graph or ladder of height . In contrast, axis-parallel
-free two-lengthed segment graphs have unbounded twin-width. Our new
results, combined with the known FPT algorithm for FO model checking on graphs
given with -sequences, lead to win-win arguments. For instance, we derive
FPT algorithms for -Ladder on visibility graphs of 1.5D terrains, and
-Independent Set on visibility graphs of simple polygons.Comment: 51 pages, 19 figure
Randomized Communication and Implicit Graph Representations
We study constant-cost randomized communication problems and relate them to implicit graph representations in structural graph theory. Specifically, constant-cost communication problems correspond to hereditary graph families that admit constant-size adjacency sketches, or equivalently constant-size probabilistic universal graphs (PUGs), and these graph families are a subset of families that admit adjacency labeling schemes of size O(log n), which are the subject of the well-studied implicit graph question (IGQ). We initiate the study of the hereditary graph families that admit constant-size PUGs, with the two (equivalent) goals of (1) understanding randomized constant-cost communication problems, and (2) understanding a probabilistic version of the IGQ. For each family studied in this paper (including the monogenic bipartite families, product graphs, interval and permutation graphs, families of bounded twin-width, and others), it holds that the subfamilies are either stable (in a sense relating to model theory), in which case they admit constant-size PUGs, or they are not stable, in which case they do not. The correspondence between communication problems and hereditary graph families allows for a new method of constructing adjacency labeling schemes. By this method, we show that the induced subgraphs of any Cartesian products are positive examples to the IGQ. We prove that this probabilistic construction cannot be derandomized by using an Equality oracle, i.e. the Equality oracle cannot simulate the k-Hamming Distance communication protocol. We also obtain constant-size sketches for deciding for vertices , in any stable graph family with bounded twin-width. This generalizes to constant-size sketches for deciding first-order formulas over the same graphs
On the structure of graphs with forbidden induced substructures
One of the central goals in extremal combinatorics is to understand how the global structure of a combinatorial object, e.g. a graph, hypergraph or set system, is affected by local constraints.
In this thesis we are concerned with structural properties of graphs and hypergraphs which locally do not look like some type of forbidden induced pattern. Patterns can be single subgraphs, families of subgraphs, or in the multicolour version colourings or families of colourings of subgraphs.
Erdős and Szekeres\u27s quantitative version of Ramsey\u27s theorem asserts that in every -edge-colouring of the complete graph on vertices there is a monochromatic clique on at least vertices. The famous Erdős-Hajnal conjecture asserts that forbidding fixed colourings on subgraphs ensures much larger monochromatic cliques. The conjecture is open in general, though a few partial results are known. The first part of this thesis will be concerned with different variants of this conjecture: A bipartite variant, a multicolour variant, and an order-size variant for hypergraphs.
In the second part of this thesis we focus more on order-size pairs; an order-size pair is the family consisting of all graphs of order and size , i.e. on vertices with edges. We consider order-size pairs in different settings: The graph setting, the bipartite setting and the hypergraph setting. In all these settings we investigate the existence of absolutely avoidable pairs, i.e. fixed pairs that are avoided by all order-size pairs with sufficiently large order, and also forcing densities of order-size pairs , i.e. for approaching infinity, the limit superior of the fraction of all possible sizes , such that the order-size pair does not avoid the pair