Graph properties, graph limits and entropy

We study the relation between the growth rate of a graph property and the entropy of the graph limits that arise from graphs with that property. In particular, for hereditary classes we obtain a new description of the colouring number, which by well-known results describes the rate of growth. We study also random graphs and their entropies. We show, for example, that if a hereditary property has a unique limiting graphon with maximal entropy, then a random graph with this property, selected uniformly at random from all such graphs with a given order, converges to this maximizing graphon as the order tends to infinity.Comment: 24 page

On String Graph Limits and the Structure of a Typical String Graph

We study limits of convergent sequences of string graphs, that is, graphs with an intersection representation consisting of curves in the plane. We use these results to study the limiting behavior of a sequence of random string graphs. We also prove similar results for several related graph classes.Comment: 18 page

Simple realizability of complete abstract topological graphs simplified

An abstract topological graph (briefly an AT-graph) is a pair $A=(G,\mathcal{X})$ where $G=(V,E)$ is a graph and $\mathcal{X}\subseteq {E \choose 2}$ is a set of pairs of its edges. The AT-graph $A$ is simply realizable if $G$ can be drawn in the plane so that each pair of edges from $\mathcal{X}$ crosses exactly once and no other pair crosses. We show that simply realizable complete AT-graphs are characterized by a finite set of forbidden AT-subgraphs, each with at most six vertices. This implies a straightforward polynomial algorithm for testing simple realizability of complete AT-graphs, which simplifies a previous algorithm by the author. We also show an analogous result for independent $\mathbb{Z}_2$-realizability, where only the parity of the number of crossings for each pair of independent edges is specified.Comment: 26 pages, 17 figures; major revision; original Section 5 removed and will be included in another pape

Diszkrét és kombinatórikus geometriai kutatások = Topics in discrete and combinatorial geometry

A most lezárult OTKA grant, 8 résztvevő diszkrét geometriai kutatását támogatta. Itt a témák ilusztrálására kiemelünk néhányat az elért 72 publikációból. 1. Jelentős eredmények születtek (8 cikk) gráfok síkba rajzolhatóságáról, például az úgynevezett metszési számról. 2. Többek között sikerült igazolni Katchalski és Lewis 20 éves sejtését, mely szerint diszjunkt egységkörökből álló rendszereknél ha bármely három körnek van közös metsző egyenese akkor van olyan egyenes, amely legfeljebb 2 kör kivételével valamennyit metsz. 3. Littlewood (1964) problémájaként ismert volt az a kérdés, hogy hány henger érintheti kölcsönösen egymást? Viszonylag alacsony felső korlátot találtunk és egy régóta ismert elhelyzés valótlanságát igazoltuk. 4. Többszörös fedések egyszerű fedésekre való szétbontását vizsgáltuk és értünk el lényeges előrelépést. 5. A Borsuk-féle darabolási problémanak azt a variánsát vizsgáltuk, amelyben a darabolást u. n. hengeres darabolásra korlátozták. 6. Bebizonyítottuk, hogy ''nem nagyon elnyúlt'' ellipszisek esetében a sík legritkább fedésének meghatározásánál el lehet tekinteni az u.n. nem-keresztezési feltételtől. 7. A sejtetthez nagyon közeli korlátot találtunk arra a problémára, hogy az n-dimenziós térben legfeljebb hány homotetikus konvex test helyezhető el úgy, hogy bármely kettő érintse egymást. | Discrete geometry in Hungary flourished since the sixties as a result of the work of László Fejes Tóth. The supported research of 8 participant also belongs to this area. Here we illustrate the achieved 72 publications by mentioning a few results. 1. Important theorems (8 papers) were proved concerning graph drawing. 2. Among others, a 20 year old problem of Katchalsky was proved, stating that in a packing of congruent circles, if any three has a common transversal, then there is a line, which avoids at most two of the circles. 3. Concerning a conjecture of Littlewood we found a small upper bound for the number of infinite cylinders which mutually touch each other. 4. We studied decomposability of multiple coverings into single coverings. 5. We studied that variant of the famous Borsuk problem where the partitions are restricted to cylindrical partitions. 6. We proved that in case of ellipses which are not ''too long'' at determining the thinnest covering one can omit the usually needed noncrossing condition. 7. A bound close to the conjectured bound was found concerning the number of n-dimensional homothetic convex solids which mutually touch each other

Drawings of Complete Multipartite Graphs up to Triangle Flips

For a drawing of a labeled graph, the rotation of a vertex or crossing is the cyclic order of its incident edges, represented by the labels of their other endpoints. The extended rotation system (ERS) of the drawing is the collection of the rotations of all vertices and crossings. A drawing is simple if each pair of edges has at most one common point. Gioan's Theorem states that for any two simple drawings of the complete graph Kn with the same crossing edge pairs, one drawing can be transformed into the other by a sequence of triangle flips (a.k.a. Reidemeister moves of Type 3). This operation refers to the act of moving one edge of a triangular cell formed by three pairwise crossing edges over the opposite crossing of the cell, via a local transformation. We investigate to what extent Gioan-type theorems can be obtained for wider classes of graphs. A necessary (but in general not sufficient) condition for two drawings of a graph to be transformable into each other by a sequence of triangle flips is that they have the same ERS. As our main result, we show that for the large class of complete multipartite graphs, this necessary condition is in fact also sufficient. We present two different proofs of this result, one of which is shorter, while the other one yields a polynomial time algorithm for which the number of needed triangle flips for graphs on n vertices is bounded by O(n16). The latter proof uses a Carathéodory-type theorem for simple drawings of complete multipartite graphs, which we believe to be of independent interest. Moreover, we show that our Gioan-type theorem for complete multipartite graphs is essentially tight in the following sense: For the complete bipartite graph Km, n minus two edges and Km, n plus one edge for any m, n ≥ 4, as well as Kn minus a 4-cycle for any n ≥ 5, there exist two simple drawings with the same ERS that cannot be transformed into each other using triangle flips. So having the same ERS does not remain sufficient when removing or adding very few edges

Induced subgraph density. VI. Bounded VC-dimension

We confirm a conjecture of Fox, Pach, and Suk, that for every $d>0$, there exists $c>0$ such that every $n$-vertex graph of VC-dimension at most $d$ has a clique or stable set of size at least $n^c$. This implies that, in the language of model theory, every graph definable in NIP structures has a clique or anti-clique of polynomial size, settling a conjecture of Chernikov, Starchenko, and Thomas. Our result also implies that every two-colourable tournament satisfies the tournament version of the Erd\H{o}s-Hajnal conjecture, which completes the verification of the conjecture for six-vertex tournaments. The result extends to uniform hypergraphs of bounded VC-dimension as well. The proof method uses the ultra-strong regularity lemma for graphs of bounded VC-dimension proved by Lov\'asz and Szegedy and the method of iterative sparsification introduced by the authors in an earlier paper.Comment: 11 pages, minor revision