The theory of graph limits represents large graphs by analytic objects called graphons. Graph limits determined by finitely many graph densities, which are represented by finitely forcible graphons, arise in various scenarios, particularly within extremal combinatorics. Lovász and Szegedy conjectured that all such graphons possess a simple structure, e.g., the space of their typical vertices is always finite dimensional; this was disproved by several ad hoc constructions of complex finitely forcible graphons. We prove that any graphon is a subgraphon of a finitely forcible graphon. This dismisses any hope for a result showing that finitely forcible graphons possess a simple structure, and is surprising when contrasted with the fact that finitely forcible graphons form a meager set in the space of all graphons. In addition, since any finitely forcible graphon represents the unique minimizer of some linear combination of densities of subgraphs, our result also shows that such minimization problems, which conceptually are among the simplest kind within extremal graph theory, may in fact have unique optimal solutions with arbitrarily complex structure.
Sidorenko's Conjecture asserts that every bipartite graph H has the Sidorenko property, i.e., a quasirandom graph minimizes the density of H among all graphs with the same edge density. We study a stronger property, which requires that a quasirandom multipartite graph minimizes the density of H among all graphs with the same edge densities between its parts; this property is called the step Sidorenko property. We show that many bipartite graphs fail to have the step Sidorenko property and use our results to show the existence of a bipartite edge-transitive graph that is not weakly norming; this answers a question of Hatami [Israel J. Math. 175 (2010), 125-150].
Given a positive integer s, the s‐colour size‐Ramsey number of a graph H is the smallest integer m such that there exists a graph G with m edges with the property that, in any colouring of E(G) with s colours, there is a monochromatic copy of H. We prove that, for any positive integers k and s, the s‐colour size‐Ramsey number of the kth power of any n‐vertex bounded degree tree is linear in n. As a corollary, we obtain that the s‐colour size‐Ramsey number of n‐vertex graphs with bounded treewidth and bounded degree is linear in n, which answers a question raised by Kamčev, Liebenau, Wood and Yepremyan.
We prove the following 30-year old conjecture of Győri and Tuza: the edges of every n-vertex graph G can be decomposed into complete graphs C 1 , . . . , C ℓ of orders two and three such that |C 1 | + · · · + |C ℓ | ≤ (1/2 + o(1))n 2 . This result implies the asymptotic version of the old result of Erdős, Goodman and Pósa that asserts the existence of such a decomposition with ℓ ≤ n 2 /4.
scite is a Brooklyn-based organization that helps researchers better discover and understand research articles through Smart Citations–citations that display the context of the citation and describe whether the article provides supporting or contrasting evidence. scite is used by students and researchers from around the world and is funded in part by the National Science Foundation and the National Institute on Drug Abuse of the National Institutes of Health.