36 research outputs found
Packing and embedding large subgraphs
This thesis contains several embedding results for graphs in both random and non random settings.
Most notably, we resolve a long standing conjecture that the threshold probability for Hamiltonicity in the random binomial subgraph of the hypercube equals . %posed e.g.~by Bollob\'as,
In Chapter 2 we obtain the following perturbation result regarding the hypercube \cQ^n:
if H\subseteq\cQ^n satisfies with fixed and we consider a random binomial subgraph \cQ^n_p of \cQ^n with fixed, then with high probability H\cup\cQ^n_p contains edge-disjoint Hamilton cycles, for any fixed .
This result is part of a larger volume of work where we also prove the corresponding hitting time result for Hamiltonicity.
In Chapter 3 we move to a non random setting. %to a deterministic one.
%Instead of embedding a single Hamilton cycle our result concerns packing more general families of graphs into a fixed host graph.
Rather than pack a small number of Hamilton cycles into a fixed host graph, our aim is to achieve optimally sized packings of more general families of graphs.
More specifically, we provide a degree condition on a regular -vertex graph which ensures the existence of a near optimal packing of any family of bounded degree -vertex -chromatic separable graphs into .
%In general, this degree condition is best possible.
%In particular, this yields an approximate version of the tree packing conjecture
%in the setting of regular host graphs of high degree.
%Similarly, our result implies approximate versions of the Oberwolfach problem,
%the Alspach problem and the existence of resolvable designs in the setting of
%regular host graphs of high degree.
In particular, this yields approximate versions of the the tree packing conjecture, the Oberwolfach problem,
the Alspach problem and the existence of resolvable designs in the setting of regular host graphs of high degree
LIPIcs, Volume 258, SoCG 2023, Complete Volume
LIPIcs, Volume 258, SoCG 2023, Complete Volum
Graph Structures for Knowledge Representation and Reasoning
This open access book constitutes the thoroughly refereed post-conference proceedings of the 6th International Workshop on Graph Structures for Knowledge Representation and Reasoning, GKR 2020, held virtually in September 2020, associated with ECAI 2020, the 24th European Conference on Artificial Intelligence. The 7 revised full papers presented together with 2 invited contributions were reviewed and selected from 9 submissions. The contributions address various issues for knowledge representation and reasoning and the common graph-theoretic background, which allows to bridge the gap between the different communities
Analytic methods in combinatorics
In the thesis, we apply the methods from the recently emerged theory of limits of discrete structures to problems in extremal combinatorics. The main tool we use is the framework of flag algebras developed by Razborov.
We determine the minimum threshold d that guarantees a 3-uniform hypergraph to contain four vertices which span at least three edges, if every linear-size subhypergraph of the hypergraph has density more than d. We prove that the threshold value d is equal to 1=4. The extremal configuration corresponds to the set of cyclically oriented triangles in a random orientation of a complete graph. This answers a question raised by Erdos.
We also use the flag algebra framework to answer two questions from the extremal theory of permutations. We show that the minimum density of monotone subsequences of length five in any permutation is asymptotically equal to 1=256, and that the minimum density of monotone subsequences of length six is asymptotically equal to 1=3125. Furthermore, we characterize the set of (suffciently large) extremal configurations for these two problems. Both the values and the characterizations of extremal configurations were conjectured by Myers.
Flag algebras are also closely related to the theory of dense graph limits, where the main objects of study are convergent sequences of graphs. Such a sequence can be assigned an analytic object called a graphon. In this thesis, we focus on finitely forcible graphons. Those are graphons determined by finitely many subgraph densities. We construct a finitely forcible graphon such that the topological space of its typical vertices is not compact. In our construction, the space even fails to be locally compact. This disproves a conjecture of Lovasz and Szegedy
Recommended from our members
Tilings and other combinatorial results
In this dissertation we treat three tiling problems and three problems in combinatorial geometry, extremal graph theory and sparse Ramsey theory.
We first consider tilings of . In this setting a tile is just a finite subset of . We say that tiles if the latter set admits a partition into isometric copies of . Chalcraft observed that there exist that do not tile but tile for some . He conjectured that such exists for any given tile. We prove this conjecture in Chapter 2.
In Chapter 3 we prove a conjecture of Lonc, stating that for any poset of size a power of , if has a greatest and a least element, then there is a positive integer such that can be partitioned into copies of .
The third tiling problem is about vertex-partitions of the hypercube graph . Offner asked: if is a subgraph of such is a power of , must , for some , admit a partition into isomorphic copies of ? In Chapter 4 we answer this question in the affirmative.
We follow up with a question in combinatorial geometry. A line in a planar set is a maximal collinear subset of . P\'or and Wood considered colourings of finite without large lines with a bounded number of colours. In particular, they examined whether monochromatic lines always appear in such colourings provided that is large. They conjectured that for all there exists an such that if and does not contain a line of cardinality larger than , then every colouring of with colours produces a monochromatic line. In Chapter 5 we construct arbitrarily large counterexamples for the case .
We follow up with a problem in extremal graph theory. For any graph, we say that a given edge is triangular if it forms a triangle with two other edges. How few triangular edges can there be in a graph with vertices and edges? For sufficiently large we prove a conjecture of F\"uredi and Maleki that gives an exact formula for this minimum. This proof is given in Chapter 6.
Finally, Chapter 7 is concerned with degrees of vertices in directed hypergraphs. One way to prescribe an orientation to an -uniform graph is to assign for each of its edges one of the possible orderings of its elements. Then, for any -set of vertices and any -set of indices , we define the -degree of to be the number of edges containing vertices in precisely the positions labelled by . Caro and Hansberg were interested in determining whether a given -uniform hypergraph admits an orientation where every set of vertices has some -degree equal to . They conjectured that a certain Hall-type condition is sufficient. We show that this is true for large, but false in general.EPSR