Showing 1–50 of 78 results for author: Kráľ, D

Forcing quasirandomness with 4-point permutations

Authors: Daniel Kráľ, Jae-baek Lee, Jonathan A. Noel

Abstract: A combinatorial object is said to be quasirandom if it exhibits certain properties that are typically seen in a truly random object of the same kind. It is known that a permutation is quasirandom if and only if the pattern density of each of the twenty-four 4-point permutations is close to 1/24, which is its expected value in a random permutation. In other words, the set of all twenty-four 4-point… ▽ More A combinatorial object is said to be quasirandom if it exhibits certain properties that are typically seen in a truly random object of the same kind. It is known that a permutation is quasirandom if and only if the pattern density of each of the twenty-four 4-point permutations is close to 1/24, which is its expected value in a random permutation. In other words, the set of all twenty-four 4-point permutations is quasirandom-forcing. Moreover, it is known that there exist sets of eight 4-point permutations that are also quasirandom-forcing. Breaking the barrier of linear dependency of perturbation gradients, we show that every quasirandom-forcing set of 4-point permutations must have cardinality at least five. △ Less

Submitted 9 July, 2024; originally announced July 2024.

Hypergraphs with uniform Turán density equal to 8/27

Authors: Frederik Garbe, Daniel Iľkovič, Daniel Kráľ, Filip Kučerák, Ander Lamaison

Abstract: In the 1980s, Erdős and Sós initiated the study of Turán problems with a uniformity condition on the distribution of edges: the uniform Turán density of a hypergraph $H$ is the infimum over all $d$ for which any sufficiently large hypergraph with the property that all its linear-size subhypergraphs have density at least $d$ contains $H$. In particular, they asked to determine the uniform Turán den… ▽ More In the 1980s, Erdős and Sós initiated the study of Turán problems with a uniformity condition on the distribution of edges: the uniform Turán density of a hypergraph $H$ is the infimum over all $d$ for which any sufficiently large hypergraph with the property that all its linear-size subhypergraphs have density at least $d$ contains $H$. In particular, they asked to determine the uniform Turán densities of $K_4^{(3)-}$ and $K_4^{(3)}$. After more than 30 years, the former was solved in [Israel J. Math. 211 (2016), 349-366] and [J. Eur. Math. Soc. 20 (2018), 1139-1159], while the latter still remains open. Till today, there are known constructions of 3-uniform hypergraphs with uniform Turán density equal to 0, 1/27, 4/27 and 1/4 only. We extend this list by a fifth value: we prove an easy to verify condition for the uniform Turán density to be equal to 8/27 and identify hypergraphs satisfying this condition. △ Less

Submitted 8 July, 2024; originally announced July 2024.

Ramsey multiplicity of apices of trees

Authors: Daniel Kral, Matjaz Krnc, Ander Lamaison

Abstract: A graph $H$ is common if its Ramsey multiplicity, i.e., the minimum number of monochromatic copies of $H$ contained in any $2$-edge-coloring of $K_n$, is asymptotically the same as the number of monochromatic copies in the random $2$-edge-coloring of $K_n$. Erdős conjectured that every complete graph is common, which was disproved by Thomason in the 1980s. Till today, a classification of common gr… ▽ More A graph $H$ is common if its Ramsey multiplicity, i.e., the minimum number of monochromatic copies of $H$ contained in any $2$-edge-coloring of $K_n$, is asymptotically the same as the number of monochromatic copies in the random $2$-edge-coloring of $K_n$. Erdős conjectured that every complete graph is common, which was disproved by Thomason in the 1980s. Till today, a classification of common graphs remains a widely open challenging problem. Grzesik, Lee, Lidický and Volec [Combin. Prob. Comput. 31 (2022), 907--923] conjectured that every $k$-apex of any connected Sidorenko graph is common. We prove for $k\le 5$ that the $k$-apex of any tree is common. △ Less

Submitted 23 March, 2024; originally announced March 2024.

Branch-depth is minor closure of contraction-deletion-depth

Authors: Marcin Briański, Daniel Kráľ, Kristýna Pekárková

Abstract: The notion of branch-depth for matroids was introduced by DeVos, Kwon and Oum as the matroid analogue of the tree-depth of graphs. The contraction-deletion-depth, another tree-depth like parameter of matroids, is the number of recursive steps needed to decompose a matroid by contractions and deletions to single elements. Any matroid with contraction-deletion-depth at most d has branch-depth at mos… ▽ More The notion of branch-depth for matroids was introduced by DeVos, Kwon and Oum as the matroid analogue of the tree-depth of graphs. The contraction-deletion-depth, another tree-depth like parameter of matroids, is the number of recursive steps needed to decompose a matroid by contractions and deletions to single elements. Any matroid with contraction-deletion-depth at most d has branch-depth at most d. However, the two notions are not functionally equivalent as contraction-deletion-depth of matroids with branch-depth two can be arbitrarily large. We show that the two notions are functionally equivalent for representable matroids when minor closures are considered. Namely, an F-representable matroid has small branch-depth if and only if it is a minor of an F-representable matroid with small contraction-deletion-depth. This implies that any class of F-representable matroids has bounded branch-depth if and only if it is a subclass of the minor closure of a class of F-representable matroids with bounded contraction-deletion-depth. △ Less

Submitted 25 February, 2024; originally announced February 2024.

Closure property of contraction-depth of matroids

Authors: Marcin Brianski, Daniel Kral, Ander Lamaison

Abstract: The contraction$^*$-depth is the matroid depth parameter analogous to tree-depth of graphs. We establish the matroid analogue of the classical graph theory result asserting that the tree-depth of a graph $G$ is the minimum height of a rooted forest whose closure contains $G$ by proving the following for every matroid $M$ (except the trivial case when $M$ consists of loops and bridges only): the co… ▽ More The contraction$^*$-depth is the matroid depth parameter analogous to tree-depth of graphs. We establish the matroid analogue of the classical graph theory result asserting that the tree-depth of a graph $G$ is the minimum height of a rooted forest whose closure contains $G$ by proving the following for every matroid $M$ (except the trivial case when $M$ consists of loops and bridges only): the contraction$^*$-depth of $M$ plus one is equal to the minimum contraction-depth of a matroid containing $M$ as a restriction. △ Less

Submitted 3 November, 2023; originally announced November 2023.

The dimension of the region of feasible tournament profiles

Authors: Daniel Kral, Ander Lamaison, Magdalena Prorok, Xichao Shu

Abstract: Erd\H os, Lovász and Spencer showed in the late 1970s that the dimension of the region of $k$-vertex graph profiles, i.e., the region of feasible densities of $k$-vertex graphs in large graphs, is equal to the number of non-trivial connected graphs with at most $k$ vertices. We determine the dimension of the region of $k$-vertex tournament profiles. Our result, which explores an interesting connec… ▽ More Erd\H os, Lovász and Spencer showed in the late 1970s that the dimension of the region of $k$-vertex graph profiles, i.e., the region of feasible densities of $k$-vertex graphs in large graphs, is equal to the number of non-trivial connected graphs with at most $k$ vertices. We determine the dimension of the region of $k$-vertex tournament profiles. Our result, which explores an interesting connection to Lyndon words, yields that the dimension is much larger than just the number of strongly connected tournaments, which would be the answer expected as the analogy to the setting of graphs. △ Less

Submitted 8 June, 2024; v1 submitted 30 October, 2023; originally announced October 2023.

The dimension of the feasible region of pattern densities

Authors: Frederik Garbe, Daniel Kral, Alexandru Malekshahian, Raul Penaguiao

Abstract: A classical result of Erdős, Lovász and Spencer from the late 1970s asserts that the dimension of the feasible region of densities of graphs with at most k vertices in large graphs is equal to the number of non-trivial connected graphs with at most k vertices. Indecomposable permutations play the role of connected graphs in the realm of permutations, and Glebov et al. showed that pattern densities… ▽ More A classical result of Erdős, Lovász and Spencer from the late 1970s asserts that the dimension of the feasible region of densities of graphs with at most k vertices in large graphs is equal to the number of non-trivial connected graphs with at most k vertices. Indecomposable permutations play the role of connected graphs in the realm of permutations, and Glebov et al. showed that pattern densities of indecomposable permutations are independent, i.e., the dimension of the feasible region of densities of permutation patterns of size at most k is at least the number of non-trivial indecomposable permutations of size at most k. However, this lower bound is not tight already for k=3. We prove that the dimension of the feasible region of densities of permutation patterns of size at most k is equal to the number of non-trivial Lyndon permutations of size at most k. The proof exploits an interplay between algebra and combinatorics inherent to the study of Lyndon words. △ Less

Submitted 23 January, 2024; v1 submitted 18 September, 2023; originally announced September 2023.

Twin-width of graphs on surfaces

Authors: Daniel Kráľ, Kristýna Pekárková, Kenny Štorgel

Abstract: Twin-width is a width parameter introduced by Bonnet, Kim, Thomassé and Watrigant [FOCS'20, JACM'22], which has many structural and algorithmic applications. We prove that the twin-width of every graph embeddable in a surface of Euler genus $g$ is $18\sqrt{47g}+O(1)$, which is asymptotically best possible as it asymptotically differs from the lower bound by a constant multiplicative factor. Our pr… ▽ More Twin-width is a width parameter introduced by Bonnet, Kim, Thomassé and Watrigant [FOCS'20, JACM'22], which has many structural and algorithmic applications. We prove that the twin-width of every graph embeddable in a surface of Euler genus $g$ is $18\sqrt{47g}+O(1)$, which is asymptotically best possible as it asymptotically differs from the lower bound by a constant multiplicative factor. Our proof also yields a quadratic time algorithm to find a corresponding contraction sequence. To prove the upper bound on twin-width of graphs embeddable in surfaces, we provide a stronger version of the Product Structure Theorem for graphs of Euler genus $g$ that asserts that every such graph is a subgraph of the strong product of a path and a graph with a tree-decomposition with all bags of size at most eight with a single exceptional bag of size $\max\{8,32g-27\}$. △ Less

Submitted 9 February, 2024; v1 submitted 11 July, 2023; originally announced July 2023.

Forcing Generalized Quasirandom Graphs Efficiently

Authors: Andrzej Grzesik, Daniel Kral, Oleg Pikhurko

Abstract: We study generalized quasirandom graphs whose vertex set consists of $q$ parts (of not necessarily the same sizes) with edges within each part and between each pair of parts distributed quasirandomly; such graphs correspond to the stochastic block model studied in statistics and network science. Lovász and Sós showed that the structure of such graphs is forced by homomorphism densities of graphs w… ▽ More We study generalized quasirandom graphs whose vertex set consists of $q$ parts (of not necessarily the same sizes) with edges within each part and between each pair of parts distributed quasirandomly; such graphs correspond to the stochastic block model studied in statistics and network science. Lovász and Sós showed that the structure of such graphs is forced by homomorphism densities of graphs with at most $(10q)^q+q$ vertices; subsequently, Lovász refined the argument to show that graphs with $4(2q+3)^8$ vertices suffice. Our results imply that the structure of generalized quasirandom graphs with $q\ge 2$ parts is forced by homomorphism densities of graphs with at most $4q^2-q$ vertices, and, if vertices in distinct parts have distinct degrees, then $2q+1$ vertices suffice. The latter improves the bound of $8q-4$ due to Spencer. △ Less

Submitted 20 August, 2023; v1 submitted 7 March, 2023; originally announced March 2023.

Planar graph with twin-width seven

Authors: Daniel Kral, Ander Lamaison

Abstract: We construct a planar graph with twin-width equal to seven. We construct a planar graph with twin-width equal to seven. △ Less

Submitted 17 May, 2023; v1 submitted 23 September, 2022; originally announced September 2022.

Common graphs with arbitrary chromatic number

Authors: Daniel Kral, Jan Volec, Fan Wei

Abstract: Ramsey's Theorem guarantees for every graph H that any 2-edge-coloring of a sufficiently large complete graph contains a monochromatic copy of H. In 1962, Erdos conjectured that the random 2-edge-coloring minimizes the number of monochromatic copies of K_k, and the conjecture was extended by Burr and Rosta to all graphs. In the late 1980s, the conjectures were disproved by Thomason and Sidorenko,… ▽ More Ramsey's Theorem guarantees for every graph H that any 2-edge-coloring of a sufficiently large complete graph contains a monochromatic copy of H. In 1962, Erdos conjectured that the random 2-edge-coloring minimizes the number of monochromatic copies of K_k, and the conjecture was extended by Burr and Rosta to all graphs. In the late 1980s, the conjectures were disproved by Thomason and Sidorenko, respectively. A classification of graphs whose number of monochromatic copies is minimized by the random 2-edge-coloring, which are referred to as common graphs, remains a challenging open problem. If Sidorenko's Conjecture, one of the most significant open problems in extremal graph theory, is true, then every 2-chromatic graph is common, and in fact, no 2-chromatic common graph unsettled for Sidorenko's Conjecture is known. While examples of 3-chromatic common graphs were known for a long time, the existence of a 4-chromatic common graph was open until 2012, and no common graph with a larger chromatic number is known. We construct connected k-chromatic common graphs for every k. This answers a question posed by Hatami, Hladky, Kral, Norine and Razborov [Combin. Probab. Comput. 21 (2012), 734-742], and a problem listed by Conlon, Fox and Sudakov [London Math. Soc. Lecture Note Ser. 424 (2015), 49-118, Problem 2.28]. This also answers in a stronger form the question raised by Jagger, Stovicek and Thomason [Combinatorica 16, (1996), 123-131] whether there exists a common graph with chromatic number at least four. △ Less

Submitted 19 January, 2024; v1 submitted 12 June, 2022; originally announced June 2022.

Characterization of matrices with bounded Graver bases and depth parameters and applications to integer programming

Authors: Marcin Brianski, Martin Koutecky, Daniel Kral, Kristyna Pekarkova, Felix Schroder

Abstract: An intensive line of research on fixed parameter tractability of integer programming is focused on exploiting the relation between the sparsity of a constraint matrix $A$ and the norm of the elements of its Graver basis. In particular, integer programming is fixed parameter tractable when parameterized by the primal tree-depth and the entry complexity of $A$, and when parameterized by the dual tre… ▽ More An intensive line of research on fixed parameter tractability of integer programming is focused on exploiting the relation between the sparsity of a constraint matrix $A$ and the norm of the elements of its Graver basis. In particular, integer programming is fixed parameter tractable when parameterized by the primal tree-depth and the entry complexity of $A$, and when parameterized by the dual tree-depth and the entry complexity of $A$; both these parameterization imply that $A$ is sparse, in particular, the number of its non-zero entries is linear in the number of columns or rows, respectively. We study preconditioners transforming a given matrix to a row-equivalent sparse matrix if it exists and provide structural results characterizing the existence of a sparse row-equivalent matrix in terms of the structural properties of the associated column matroid. In particular, our results imply that the $\ell_1$-norm of the Graver basis is bounded by a function of the maximum $\ell_1$-norm of a circuit of $A$. We use our results to design a parameterized algorithm that constructs a matrix row-equivalent to an input matrix $A$ that has small primal/dual tree-depth and entry complexity if such a row-equivalent matrix exists. Our results yield parameterized algorithms for integer programming when parameterized by the $\ell_1$-norm of the Graver basis of the constraint matrix, when parameterized by the $\ell_1$-norm of the circuits of the constraint matrix, when parameterized by the smallest primal tree-depth and entry complexity of a matrix row-equivalent to the constraint matrix, and when parameterized by the smallest dual tree-depth and entry complexity of a matrix row-equivalent to the constraint matrix. △ Less

Submitted 18 June, 2023; v1 submitted 10 February, 2022; originally announced February 2022.

Uniform Turán density of cycles

Authors: Matija Bucić, Jacob W. Cooper, Daniel Kráľ, Samuel Mohr, David Munhá Correia

Abstract: In the early 1980s, Erdős and Sós initiated the study of the classical Turán problem with a uniformity condition: the uniform Turán density of a hypergraph $H$ is the infimum over all $d$ for which any sufficiently large hypergraph with the property that all its linear-size subhyperghraphs have density at least $d$ contains $H$. In particular, they raise the questions of determining the uniform Tu… ▽ More In the early 1980s, Erdős and Sós initiated the study of the classical Turán problem with a uniformity condition: the uniform Turán density of a hypergraph $H$ is the infimum over all $d$ for which any sufficiently large hypergraph with the property that all its linear-size subhyperghraphs have density at least $d$ contains $H$. In particular, they raise the questions of determining the uniform Turán densities of $K_4^{(3)-}$ and $K_4^{(3)}$. The former question was solved only recently in [Israel J. Math. 211 (2016), 349-366] and [J. Eur. Math. Soc. 20 (2018), 1139-1159], while the latter still remains open for almost 40 years. In addition to $K_4^{(3)-}$, the only $3$-uniform hypergraphs whose uniform Turán density is known are those with zero uniform Turán density classified by Reiher, Rödl and Schacht [J. London Math. Soc. 97 (2018), 77-97] and a specific family with uniform Turán density equal to $1/27$. We develop new tools for embedding hypergraphs in host hypergraphs with positive uniform density and apply them to completely determine the uniform Turán density of a fundamental family of $3$-uniform hypergraphs, namely tight cycles $C_\ell^{(3)}$. The uniform Turán density of $C_\ell^{(3)}$, $\ell\ge 5$, is equal to $4/27$ if $\ell$ is not divisible by three, and is equal to zero otherwise. The case $\ell=5$ resolves a problem suggested by Reiher. △ Less

Submitted 20 January, 2022; v1 submitted 2 December, 2021; originally announced December 2021.

Density maximizers of layered permutations

Authors: Adam Kabela, Daniel Kral, Jonathan A. Noel, Theo Pierron

Abstract: A permutation is layered if it contains neither 231 nor 312 as a pattern. It is known that, if $σ$ is a layered permutation, then the density of $σ$ in a permutation of order $n$ is maximized by a layered permutation. Albert, Atkinson, Handley, Holton and Stromquist [Electron. J. Combin. 9 (2002), R#5] claimed that the density of a layered permutation with layers of sizes $(a,1,b)$ where… ▽ More A permutation is layered if it contains neither 231 nor 312 as a pattern. It is known that, if $σ$ is a layered permutation, then the density of $σ$ in a permutation of order $n$ is maximized by a layered permutation. Albert, Atkinson, Handley, Holton and Stromquist [Electron. J. Combin. 9 (2002), R#5] claimed that the density of a layered permutation with layers of sizes $(a,1,b)$ where $a,b\geq2$ is asymptotically maximized by layered permutations with a bounded number of layers, and conjectured that the same holds if a layered permutation has no consecutive layers of size one and its first and last layers are of size at least two. We show that, if $σ$ is a layered permutation whose first layer is sufficiently large and second layer is of size one, then the number of layers tends to infinity in every sequence of layered permutations asymptotically maximizing the density of $σ$. This disproves the conjecture and the claim of Albert et al. We complement this result by giving sufficient conditions on a layered permutation to have asymptotic or exact maximizers with a bounded number of layers. △ Less

Submitted 23 August, 2022; v1 submitted 4 October, 2021; originally announced October 2021.

Hypergraphs with minimum positive uniform Turán density

Authors: Frederik Garbe, Daniel Kral, Ander Lamaison

Abstract: Reiher, Rödl and Schacht [J. London Math. Soc. 97 (2018), 77--97] showed that the uniform Turán density of every $3$-uniform hypergraph is either $0$ or at least $1/27$, and asked whether there exist $3$-uniform hypergraphs with uniform Turán density equal or arbitrarily close to $1/27$. We construct $3$-uniform hypergraphs with uniform Turán density equal to $1/27$. Reiher, Rödl and Schacht [J. London Math. Soc. 97 (2018), 77--97] showed that the uniform Turán density of every $3$-uniform hypergraph is either $0$ or at least $1/27$, and asked whether there exist $3$-uniform hypergraphs with uniform Turán density equal or arbitrarily close to $1/27$. We construct $3$-uniform hypergraphs with uniform Turán density equal to $1/27$. △ Less

Submitted 14 January, 2022; v1 submitted 20 May, 2021; originally announced May 2021.

Comments: 22 pages, 9 figures; updated version with several small corrections and an added section with conclusive remarks

MSC Class: 05C65

Strong modeling limits of graphs with bounded tree-width

Authors: Andrzej Grzesik, Daniel Kráľ, Samuel Mohr

Abstract: The notion of first order convergence of graphs unifies the notions of convergence for sparse and dense graphs. Nešetřil and Ossona de Mendez [J. Symbolic Logic 84 (2019), 452-472] proved that every first order convergent sequence of graphs from a nowhere-dense class of graphs has a modeling limit and conjectured the existence of such modeling limits with an additional property, the strong finitar… ▽ More The notion of first order convergence of graphs unifies the notions of convergence for sparse and dense graphs. Nešetřil and Ossona de Mendez [J. Symbolic Logic 84 (2019), 452-472] proved that every first order convergent sequence of graphs from a nowhere-dense class of graphs has a modeling limit and conjectured the existence of such modeling limits with an additional property, the strong finitary mass transport principle. The existence of modeling limits satisfying the strong finitary mass transport principle was proved for first order convergent sequences of trees by Nešetřil and Ossona de Mendez [Electron. J. Combin. 23 (2016), P2.52] and for first order sequences of graphs with bounded path-width by Gajarský et al. [Random Structures Algorithms 50 (2017), 612-635]. We establish the existence of modeling limits satisfying the strong finitary mass transport principle for first order convergent sequences of graphs with bounded tree-width. △ Less

Submitted 23 February, 2024; v1 submitted 18 March, 2021; originally announced March 2021.

Inducibility and universality for trees

Authors: Timothy F. N. Chan, Daniel Kral, Bojan Mohar, David R. Wood

Abstract: We answer three questions posed by Bubeck and Linial on the limit densities of subtrees in trees. We prove there exist positive $\varepsilon_1$ and $\varepsilon_2$ such that every tree that is neither a path nor a star has inducibility at most $1-\varepsilon_1$, where the inducibility of a tree $T$ is defined as the maximum limit density of $T$, and that there are infinitely many trees with induci… ▽ More We answer three questions posed by Bubeck and Linial on the limit densities of subtrees in trees. We prove there exist positive $\varepsilon_1$ and $\varepsilon_2$ such that every tree that is neither a path nor a star has inducibility at most $1-\varepsilon_1$, where the inducibility of a tree $T$ is defined as the maximum limit density of $T$, and that there are infinitely many trees with inducibility at least $\varepsilon_2$. Finally, we construct a universal sequence of trees; that is, a sequence in which the limit density of any tree is positive. △ Less

Submitted 29 June, 2022; v1 submitted 3 February, 2021; originally announced February 2021.

Comments: 31 pages, 8 figures

MSC Class: 05C05; 05C35

Quasirandom Latin squares

Authors: Jacob W. Cooper, Daniel Kral, Ander Lamaison, Samuel Mohr

Abstract: We prove a conjecture by Garbe et al. [arXiv:2010.07854] by showing that a Latin square is quasirandom if and only if the density of every 2x3 pattern is 1/720+o(1). This result is the best possible in the sense that 2x3 cannot be replaced with 2x2 or 1xN for any N. We prove a conjecture by Garbe et al. [arXiv:2010.07854] by showing that a Latin square is quasirandom if and only if the density of every 2x3 pattern is 1/720+o(1). This result is the best possible in the sense that 2x3 cannot be replaced with 2x2 or 1xN for any N. △ Less

Submitted 25 August, 2021; v1 submitted 15 November, 2020; originally announced November 2020.

Towards characterizing locally common graphs

Authors: Robert Hancock, Daniel Kral, Matjaz Krnc, Jan Volec

Abstract: A graph H is common if the number of monochromatic copies of H in a 2-edge-coloring of the complete graph is asymptotically minimized by the random coloring. The classification of common graphs is one of the most intriguing problems in extremal graph theory. We study the notion of weakly locally common graphs considered by Csóka, Hubai and Lovász [arXiv:1912.02926], where the graph is required to… ▽ More A graph H is common if the number of monochromatic copies of H in a 2-edge-coloring of the complete graph is asymptotically minimized by the random coloring. The classification of common graphs is one of the most intriguing problems in extremal graph theory. We study the notion of weakly locally common graphs considered by Csóka, Hubai and Lovász [arXiv:1912.02926], where the graph is required to be the minimizer with respect to perturbations of the random 2-edge-coloring. We give a complete analysis of the 12 initial terms in the Taylor series determining the number of monochromatic copies of H in such perturbations and classify graphs H based on this analysis into three categories: graphs of Class I are weakly locally common, graphs of Class II are not weakly locally common, and graphs of Class III cannot be determined to be weakly locally common or not based on the initial 12 terms. As a corollary, we obtain new necessary conditions on a graph to be common and new sufficient conditions on a graph to be not common. △ Less

Submitted 26 April, 2022; v1 submitted 4 November, 2020; originally announced November 2020.

Cycles of a given length in tournaments

Authors: Andrzej Grzesik, Daniel Kral, Laszlo Miklos Lovasz, Jan Volec

Abstract: We study the asymptotic behavior of the maximum number of directed cycles of a given length in a tournament: let $c(\ell)$ be the limit of the ratio of the maximum number of cycles of length $\ell$ in an $n$-vertex tournament and the expected number of cycles of length $\ell$ in the random $n$-vertex tournament, when $n$ tends to infinity. It is well-known that $c(3)=1$ and $c(4)=4/3$. We show tha… ▽ More We study the asymptotic behavior of the maximum number of directed cycles of a given length in a tournament: let $c(\ell)$ be the limit of the ratio of the maximum number of cycles of length $\ell$ in an $n$-vertex tournament and the expected number of cycles of length $\ell$ in the random $n$-vertex tournament, when $n$ tends to infinity. It is well-known that $c(3)=1$ and $c(4)=4/3$. We show that $c(\ell)=1$ if and only if $\ell$ is not divisible by four, which settles a conjecture of Bartley and Day. If $\ell$ is divisible by four, we show that $1+2\cdot\left(2/π\right)^{\ell}\le c(\ell)\le 1+\left(2/π+o(1)\right)^{\ell}$ and determine the value $c(\ell)$ exactly for $\ell = 8$. We also give a full description of the asymptotic structure of tournaments with the maximum number of cycles of length $\ell$ when $\ell$ is not divisible by four or $\ell\in\{4,8\}$. △ Less

Submitted 22 July, 2022; v1 submitted 14 August, 2020; originally announced August 2020.

Comments: One of the programs used to verify the validity of Lemma 17 is available as an ancillary file; its output has also been made available as an ancillary file

Non-bipartite k-common graphs

Authors: Daniel Kral, Jonathan A. Noel, Sergey Norin, Jan Volec, Fan Wei

Abstract: A graph H is k-common if the number of monochromatic copies of H in a k-edge-coloring of K_n is asymptotically minimized by a random coloring. For every k, we construct a connected non-bipartite k-common graph. This resolves a problem raised by Jagger, Stovicek and Thomason [Combinatorica 16 (1996), 123-141]. We also show that a graph H is k-common for every k if and only if H is Sidorenko and tha… ▽ More A graph H is k-common if the number of monochromatic copies of H in a k-edge-coloring of K_n is asymptotically minimized by a random coloring. For every k, we construct a connected non-bipartite k-common graph. This resolves a problem raised by Jagger, Stovicek and Thomason [Combinatorica 16 (1996), 123-141]. We also show that a graph H is k-common for every k if and only if H is Sidorenko and that H is locally k-common for every k if and only if H is locally Sidorenko. △ Less

Submitted 24 October, 2020; v1 submitted 16 June, 2020; originally announced June 2020.

Coloring graphs by translates in the circle

Authors: Pablo Candela, Carlos Catala, Robert Hancock, Adam Kabela, Daniel Kral, Ander Lamaison, Lluis Vena

Abstract: The fractional and circular chromatic numbers are the two most studied non-integral refinements of the chromatic number of a graph. Starting from the definition of a coloring base of a graph, which originated in work related to ergodic theory, we formalize the notion of a gyrocoloring of a graph: the vertices are colored by translates of a single Borel set in the circle group, and neighbouring ver… ▽ More The fractional and circular chromatic numbers are the two most studied non-integral refinements of the chromatic number of a graph. Starting from the definition of a coloring base of a graph, which originated in work related to ergodic theory, we formalize the notion of a gyrocoloring of a graph: the vertices are colored by translates of a single Borel set in the circle group, and neighbouring vertices receive disjoint translates. The corresponding gyrochromatic number of a graph always lies between the fractional chromatic number and the circular chromatic number. We investigate basic properties of gyrocolorings. In particular, we construct examples of graphs whose gyrochromatic number is strictly between the fractional chromatic number and the circular chromatic number. We also establish several equivalent definitions of the gyrochromatic number, including a version involving all finite abelian groups. △ Less

Submitted 11 January, 2021; v1 submitted 2 April, 2020; originally announced April 2020.

Scaling of quadratic and linear magnetooptic Kerr effect spectra with L2$_1$ ordering of Co$_2$MnSi Heusler compound

Authors: Robin Silber, Daniel Král, Ondřej Stejskal, Takahide Kubota, Yasuo Ando, Jaromír Pištora, Martin Veis, Jaroslav Hamrle, Timo Kuschel

Abstract: The Heusler compound Co$_2$MnSi provides a crystallographic transition from B2 to L2$_1$ structure with increasing annealing temperature $T_a$, being a model system for investigating the influence of crystallographic ordering on structural, magnetic, optic, and magnetooptic (MO) properties. Here, we present quadratic magnetooptic Kerr effect (QMOKE) spectra depending on $M^2$ in addition to the li… ▽ More The Heusler compound Co$_2$MnSi provides a crystallographic transition from B2 to L2$_1$ structure with increasing annealing temperature $T_a$, being a model system for investigating the influence of crystallographic ordering on structural, magnetic, optic, and magnetooptic (MO) properties. Here, we present quadratic magnetooptic Kerr effect (QMOKE) spectra depending on $M^2$ in addition to the linear magnetooptic Kerr effect (LinMOKE) spectra being proportional to $M$, both in the extended visible spectral range of light from 0.8\,eV to 5.5\,eV. We investigated a set of Co$_2$MnSi thin films deposited on MgO(001) substrates and annealed from 300$^\circ$C to 500$^\circ$C. The amplitude of LinMOKE and QMOKE spectra scales linearly with $T_a$, and this effect is well pronounced at the resonant peaks below 2.0\,eV of the QMOKE spectra. Furthermore, the spectra of the MO parameters, which fully describe the MO response of Co$_2$MnSi up to the second order in $M$, are obtained dependend on $T_a$. Finally, the spectra are compared to ab-initio calculations of a purely L2$_1$ ordered Co$_2$MnSi Heusler compound. △ Less

Submitted 24 March, 2020; v1 submitted 21 March, 2020; originally announced March 2020.

Comments: 4 pages, 3 figures, supplemental pdf, supplemental data files

Journal ref: Appl. Phys. Lett. 116, 262401 (2020)

No additional tournaments are quasirandom-forcing

Authors: Robert Hancock, Adam Kabela, Daniel Kral, Taisa Martins, Roberto Parente, Fiona Skerman, Jan Volec

Abstract: A tournament H is quasirandom-forcing if the following holds for every sequence (G_n) of tournaments of growing orders: if the density of H in G_n converges to the expected density of H in a random tournament, then (G_n) is quasirandom. Every transitive tournament with at least 4 vertices is quasirandom-forcing, and Coregliano et al. [Electron. J. Combin. 26 (2019), P1.44] showed that there is als… ▽ More A tournament H is quasirandom-forcing if the following holds for every sequence (G_n) of tournaments of growing orders: if the density of H in G_n converges to the expected density of H in a random tournament, then (G_n) is quasirandom. Every transitive tournament with at least 4 vertices is quasirandom-forcing, and Coregliano et al. [Electron. J. Combin. 26 (2019), P1.44] showed that there is also a non-transitive 5-vertex tournament with the property. We show that no additional tournament has this property. This extends the result of Bucic et al. [Combinatorica 41 (2021), 175-208] that the non-transitive tournaments with seven or more vertices do not have this property. △ Less

Submitted 20 September, 2022; v1 submitted 9 December, 2019; originally announced December 2019.

Characterization of quasirandom permutations by a pattern sum

Authors: Timothy F. N. Chan, Daniel Kral, Jonathan A. Noel, Yanitsa Pehova, Maryam Sharifzadeh, Jan Volec

Abstract: It is known that a sequence Pi_i of permutations is quasirandom if and only if the pattern density of every 4-point permutation in Pi_i converges to 1/24. We show that there is a set S of 4-point permutations such that the sum of the pattern densities of the permutations from S in the permutations Pi_i converges to |S|/24 if and only if the sequence is quasirandom. Moreover, we are able to complet… ▽ More It is known that a sequence Pi_i of permutations is quasirandom if and only if the pattern density of every 4-point permutation in Pi_i converges to 1/24. We show that there is a set S of 4-point permutations such that the sum of the pattern densities of the permutations from S in the permutations Pi_i converges to |S|/24 if and only if the sequence is quasirandom. Moreover, we are able to completely characterize the sets S with this property. In particular, there are exactly ten such sets, the smallest of which has cardinality eight. △ Less

Submitted 15 July, 2022; v1 submitted 24 September, 2019; originally announced September 2019.

Comments: Appendices 1-5 are contained in the ancillary pdf file available on arXiv for download

Packing and covering directed triangles asymptotically

Authors: Jacob W. Cooper, Andrzej Grzesik, Adam Kabela, Daniel Kral

Abstract: A well-known conjecture of Tuza asserts that if a graph has at most $t$ pairwise edge-disjoint triangles, then it can be made triangle-free by removing at most $2t$ edges. If true, the factor 2 would be best possible. In the directed setting, also asked by Tuza, the analogous statement has recently been proven, however, the factor 2 is not optimal. In this paper, we show that if an $n$-vertex dire… ▽ More A well-known conjecture of Tuza asserts that if a graph has at most $t$ pairwise edge-disjoint triangles, then it can be made triangle-free by removing at most $2t$ edges. If true, the factor 2 would be best possible. In the directed setting, also asked by Tuza, the analogous statement has recently been proven, however, the factor 2 is not optimal. In this paper, we show that if an $n$-vertex directed graph has at most $t$ pairwise arc-disjoint directed triangles, then there exists a set of at most $1.8t+o(n^2)$ arcs that meets all directed triangles. We complement our result by presenting two constructions of large directed graphs with $t\inΩ(n^2)$ whose smallest such set has $1.5t-o(n^2)$ arcs. △ Less

Submitted 15 September, 2021; v1 submitted 16 September, 2019; originally announced September 2019.

Matrices of optimal tree-depth and a row-invariant parameterized algorithm for integer programming

Authors: Timothy F. N. Chan, Jacob W. Cooper, Martin Koutecky, Daniel Kral, Kristyna Pekarkova

Abstract: A long line of research on fixed parameter tractability of integer programming culminated with showing that integer programs with n variables and a constraint matrix with dual tree-depth d and largest entry D are solvable in time g(d,D)poly(n) for some function g. However, the dual tree-depth of a constraint matrix is not preserved by row operations, i.e., a given integer program can be equivalent… ▽ More A long line of research on fixed parameter tractability of integer programming culminated with showing that integer programs with n variables and a constraint matrix with dual tree-depth d and largest entry D are solvable in time g(d,D)poly(n) for some function g. However, the dual tree-depth of a constraint matrix is not preserved by row operations, i.e., a given integer program can be equivalent to another with a smaller dual tree-depth, and thus does not reflect its geometric structure. We prove that the minimum dual tree-depth of a row-equivalent matrix is equal to the branch-depth of the matroid defined by the columns of the matrix. We design a fixed parameter algorithm for computing branch-depth of matroids represented over a finite field and a fixed parameter algorithm for computing a row-equivalent matrix with minimum dual tree-depth. Finally, we use these results to obtain an algorithm for integer programming running in time g(d*,D)poly(n) where d* is the branch-depth of the constraint matrix; the branch-depth cannot be replaced by the more permissive notion of branch-width. △ Less

Submitted 31 January, 2022; v1 submitted 15 July, 2019; originally announced July 2019.

Comments: Full version. 48 pages, 7 figures

More non-bipartite forcing pairs

Authors: Tamas Hubai, Dan Kral, Olaf Parczyk, Yury Person

Abstract: We study pairs of graphs (H_1,H_2) such that every graph with the densities of H_1 and H_2 close to the densities of H_1 and H_2 in a random graph is quasirandom; such pairs (H_1,H_2) are called forcing. Non-bipartite forcing pairs were first discovered by Conlon, Han, Person and Schacht [Weak quasi-randomness for uniform hypergraphs, Random Structures Algorithms 40 (2012), 1-38]: they showed that… ▽ More We study pairs of graphs (H_1,H_2) such that every graph with the densities of H_1 and H_2 close to the densities of H_1 and H_2 in a random graph is quasirandom; such pairs (H_1,H_2) are called forcing. Non-bipartite forcing pairs were first discovered by Conlon, Han, Person and Schacht [Weak quasi-randomness for uniform hypergraphs, Random Structures Algorithms 40 (2012), 1-38]: they showed that (K_t,F) is forcing where F is the graph that arises from K_t by iteratively doubling its vertices and edges in a prescribed way t times. Reiher and Schacht [Forcing quasirandomness with triangles, Forum of Mathematics, Sigma 7, 2019] strengthened this result for t=3 by proving that two doublings suffice and asked for the minimum number of doublings needed for t>3. We show that (t+2)/2 doublings always suffice. △ Less

Submitted 10 June, 2019; originally announced June 2019.

Cycles of length three and four in tournaments

Authors: Timothy F. N. Chan, Andrzej Grzesik, Daniel Kral, Jonathan A. Noel

Abstract: Linial and Morgenstern conjectured that, among all $n$-vertex tournaments with $d\binom{n}{3}$ cycles of length three, the number of cycles of length four is asymptotically minimized by a random blow-up of a transitive tournament with all but one part of equal size and one smaller part. We prove the conjecture for $d\ge 1/36$ by analyzing the possible spectrum of adjacency matrices of tournaments.… ▽ More Linial and Morgenstern conjectured that, among all $n$-vertex tournaments with $d\binom{n}{3}$ cycles of length three, the number of cycles of length four is asymptotically minimized by a random blow-up of a transitive tournament with all but one part of equal size and one smaller part. We prove the conjecture for $d\ge 1/36$ by analyzing the possible spectrum of adjacency matrices of tournaments. We also demonstrate that the family of extremal examples is broader than expected and give its full description for $d\ge 1/16$. △ Less

Submitted 13 September, 2019; v1 submitted 1 February, 2019; originally announced February 2019.

Finitely forcible graphons with an almost arbitrary structure

Authors: Daniel Kral, László Miklós Lovász, Jonathan A. Noel, Jakub Sosnovec

Abstract: Graphons are analytic objects representing convergent sequences of large graphs. A graphon is said to be finitely forcible if it is determined by finitely many subgraph densities, i.e., if the asymptotic structure of graphs represented by such a graphon depends only on finitely many density constraints. Such graphons appear in various scenarios, particularly in extremal combinatorics. Lovasz and… ▽ More Graphons are analytic objects representing convergent sequences of large graphs. A graphon is said to be finitely forcible if it is determined by finitely many subgraph densities, i.e., if the asymptotic structure of graphs represented by such a graphon depends only on finitely many density constraints. Such graphons appear in various scenarios, particularly in extremal combinatorics. Lovasz and Szegedy conjectured that all finitely forcible graphons possess a simple structure. This was disproved in a strong sense by Cooper, Kral and Martins, who showed that any graphon is a subgraphon of a finitely forcible graphon. We strenghten this result by showing for every $\varepsilon>0$ that any graphon spans a $1-\varepsilon$ proportion of a finitely forcible graphon. △ Less

Submitted 28 July, 2020; v1 submitted 16 September, 2018; originally announced September 2018.

Journal ref: Version published by Discrete Analysis 2020:9

A bound on the inducibility of cycles

Authors: Daniel Kral, Sergey Norin, Jan Volec

Abstract: In 1975, Pippenger and Golumbic conjectured that every n-vertex graph has at most $n^k/(k^k - k)$ induced cycles of length k for k at least 5. We prove that every n-vertex graph has at most $2 n^k/k^k$ induced cycles of length k. In 1975, Pippenger and Golumbic conjectured that every n-vertex graph has at most $n^k/(k^k - k)$ induced cycles of length k for k at least 5. We prove that every n-vertex graph has at most $2 n^k/k^k$ induced cycles of length k. △ Less

Submitted 4 August, 2018; v1 submitted 4 January, 2018; originally announced January 2018.

Journal ref: J. Combin. Theory Ser. A 161 (2019), 359-363

Recovering sparse graphs

Authors: Jakub Gajarsky, Daniel Kral

Abstract: We construct a fixed parameter algorithm parameterized by d and k that takes as an input a graph G' obtained from a d-degenerate graph G by complementing on at most k arbitrary subsets of the vertex set of G and outputs a graph H such that G and H agree on all but f(d,k) vertices. Our work is motivated by the first order model checking in graph classes that are first order interpretable in class… ▽ More We construct a fixed parameter algorithm parameterized by d and k that takes as an input a graph G' obtained from a d-degenerate graph G by complementing on at most k arbitrary subsets of the vertex set of G and outputs a graph H such that G and H agree on all but f(d,k) vertices. Our work is motivated by the first order model checking in graph classes that are first order interpretable in classes of sparse graphs. We derive as a corollary that if G_0 is a graph class with bounded expansion, then the first order model checking is fixed parameter tractable in the class of all graphs that can obtained from a graph G from G_0 by complementing on at most k arbitrary subsets of the vertex set of G; this implies an earlier result that the first order model checking is fixed parameter tractable in graph classes interpretable in classes of graphs with bounded maximum degree. △ Less

Submitted 27 June, 2018; v1 submitted 28 September, 2017; originally announced September 2017.

Finitely forcible graph limits are universal

Authors: Jacob W. Cooper, Daniel Kral, Taisa L. Martins

Abstract: 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. Lovasz and Szegedy conjectured that all such graphons possess a simple structure, e.g., the space of their typical vertices is al… ▽ More 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. Lovasz 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. △ Less

Submitted 9 October, 2018; v1 submitted 13 January, 2017; originally announced January 2017.

Densities of 3-vertex graphs

Authors: Roman Glebov, Andrzej Grzesik, ** Hu, Tamas Hubai, Daniel Kral, Jan Volec

Abstract: Let d_i(G) be the density of the 3-vertex i-edge graph in a graph G, i.e., the probability that three random vertices induce a subgraph with i edges. Let S be the set of all quadruples (d_0,d_1,d_2,d_3) that are arbitrary close to 3-vertex graph densities in arbitrary large graphs. Huang, Linial, Naves, Peled and Sudakov have recently determined the projection of the set S to the (d_0,d_3) plane.… ▽ More Let d_i(G) be the density of the 3-vertex i-edge graph in a graph G, i.e., the probability that three random vertices induce a subgraph with i edges. Let S be the set of all quadruples (d_0,d_1,d_2,d_3) that are arbitrary close to 3-vertex graph densities in arbitrary large graphs. Huang, Linial, Naves, Peled and Sudakov have recently determined the projection of the set S to the (d_0,d_3) plane. We determine the projection of the set S to all the remaining planes. △ Less

Submitted 11 April, 2017; v1 submitted 7 October, 2016; originally announced October 2016.

Comments: We have recently noticed a miscalculation in the proof of Lemma 7 and are preparing a revision of the manuscript

Graphic TSP in cubic graphs

Authors: Zdenek Dvorak, Daniel Kral, Bojan Mohar

Abstract: We present a polynomial-time 9/7-approximation algorithm for the graphic TSP for cubic graphs, which improves the previously best approximation factor of 1.3 for 2-connected cubic graphs and drops the requirement of 2-connectivity at the same time. To design our algorithm, we prove that every simple 2-connected cubic n-vertex graph contains a spanning closed walk of length at most 9n/7-1, and that… ▽ More We present a polynomial-time 9/7-approximation algorithm for the graphic TSP for cubic graphs, which improves the previously best approximation factor of 1.3 for 2-connected cubic graphs and drops the requirement of 2-connectivity at the same time. To design our algorithm, we prove that every simple 2-connected cubic n-vertex graph contains a spanning closed walk of length at most 9n/7-1, and that such a walk can be found in polynomial time. △ Less

Submitted 5 September, 2016; v1 submitted 26 August, 2016; originally announced August 2016.

Steinberg's Conjecture is false

Authors: Vincent Cohen-Addad, Michael Hebdige, Daniel Kral, Zhentao Li, Esteban Salgado

Abstract: Steinberg conjectured in 1976 that every planar graph with no cycles of length four or five is 3-colorable. We disprove this conjecture. Steinberg conjectured in 1976 that every planar graph with no cycles of length four or five is 3-colorable. We disprove this conjecture. △ Less

Submitted 19 April, 2016; v1 submitted 18 April, 2016; originally announced April 2016.

Comments: Several typos fixed

Cyclic Coloring of Plane Graphs with Maximum Face Size 16 and 17

Authors: Zdenek Dvorak, Michael Hebdige, Filip Hlasek, Daniel Kral, Jonathan Noel

Abstract: Plummer and Toft conjectured in 1987 that the vertices of every 3-connected plane graph with maximum face size D can be colored using at most D+2 colors in such a way that no face is incident with two vertices of the same color. The conjecture has been proven for D=3, D=4 and D>=18. We prove the conjecture for D=16 and D=17. Plummer and Toft conjectured in 1987 that the vertices of every 3-connected plane graph with maximum face size D can be colored using at most D+2 colors in such a way that no face is incident with two vertices of the same color. The conjecture has been proven for D=3, D=4 and D>=18. We prove the conjecture for D=16 and D=17. △ Less

Submitted 8 December, 2020; v1 submitted 22 March, 2016; originally announced March 2016.

Comments: Accepted to the European Journal of Combinatorics

Optimal-size clique transversals in chordal graphs

Authors: Jacob W. Cooper, Andrzej Grzesik, Daniel Kral

Abstract: The following question was raised by Tuza in 1990 and Erdos et al. in 1992: if every edge of an n-vertex chordal graph G is contained in a clique of size at least four, does G have a clique transversal, i.e., a set of vertices meeting all non-trivial maximal cliques, of size at most n/4? We prove that every such graph G has a clique transversal of size at most 2(n-1)/7 if n>=5, which is the best p… ▽ More The following question was raised by Tuza in 1990 and Erdos et al. in 1992: if every edge of an n-vertex chordal graph G is contained in a clique of size at least four, does G have a clique transversal, i.e., a set of vertices meeting all non-trivial maximal cliques, of size at most n/4? We prove that every such graph G has a clique transversal of size at most 2(n-1)/7 if n>=5, which is the best possible bound. △ Less

Submitted 3 April, 2018; v1 submitted 20 January, 2016; originally announced January 2016.

Three-coloring triangle-free graphs on surfaces VII. A linear-time algorithm

Authors: Zdenek Dvorak, Daniel Kral, Robin Thomas

Abstract: We give a linear-time algorithm to decide 3-colorability of a triangle-free graph embedded in a fixed surface, and a quadratic-time algorithm to output a 3-coloring in the affirmative case. The algorithms also allow to prescribe the coloring of a bounded number of vertices. We give a linear-time algorithm to decide 3-colorability of a triangle-free graph embedded in a fixed surface, and a quadratic-time algorithm to output a 3-coloring in the affirmative case. The algorithms also allow to prescribe the coloring of a bounded number of vertices. △ Less

Submitted 5 November, 2020; v1 submitted 6 January, 2016; originally announced January 2016.

Comments: 22 pages, no figures; updated for reviewer remarks, reworked the final section. arXiv admin note: text overlap with arXiv:1509.01013

MSC Class: 05C15 (Primary) 05C85 (Secondary)

Three-coloring triangle-free graphs on surfaces VI. 3-colorability of quadrangulations

Authors: Zdenek Dvorak, Daniel Kral, Robin Thomas

Abstract: We give a linear-time algorithm to decide 3-colorability (and find a 3-coloring, if it exists) of quadrangulations of a fixed surface. The algorithm also allows to prescribe the coloring for a bounded number of vertices. We give a linear-time algorithm to decide 3-colorability (and find a 3-coloring, if it exists) of quadrangulations of a fixed surface. The algorithm also allows to prescribe the coloring for a bounded number of vertices. △ Less

Submitted 19 August, 2020; v1 submitted 3 September, 2015; originally announced September 2015.

Comments: 32 pages, no figures; updated for reviewer comments

MSC Class: 05C85 (Primary); 05C15 (Secondary) ACM Class: F.2.2; G.2.2

Weak regularity and finitely forcible graph limits

Authors: Jacob W. Cooper, Tomas Kaiser, Daniel Kral, Jonathan A. Noel

Abstract: Graphons are analytic objects representing limits of convergent sequences of graphs. Lovász and Szegedy conjectured that every finitely forcible graphon, i.e. any graphon determined by finitely many graph densities, has a simple structure. In particular, one of their conjectures would imply that every finitely forcible graphon has a weak $\varepsilon$-regular partition with the number of parts bou… ▽ More Graphons are analytic objects representing limits of convergent sequences of graphs. Lovász and Szegedy conjectured that every finitely forcible graphon, i.e. any graphon determined by finitely many graph densities, has a simple structure. In particular, one of their conjectures would imply that every finitely forcible graphon has a weak $\varepsilon$-regular partition with the number of parts bounded by a polynomial in $\varepsilon^{-1}$. We construct a finitely forcible graphon $W$ such that the number of parts in any weak $\varepsilon$-regular partition of $W$ is at least exponential in $\varepsilon^{-2}/2^{5\log^*\varepsilon^{-2}}$. This bound almost matches the known upper bound for graphs and, in a certain sense, is the best possible for graphons. △ Less

Submitted 26 August, 2016; v1 submitted 30 June, 2015; originally announced July 2015.

Permutations with fixed pattern densities

Authors: Richard Kenyon, Daniel Kral, Charles Radin, Peter Winkler

Abstract: We study scaling limits of random permutations ("permutons") constrained by having fixed densities of a finite number of patterns. We show that the limit shapes are determined by maximizing entropy over permutons with those constraints. In particular, we compute (exactly or numerically) the limit shapes with fixed \hbox{12} density, with fixed \hbox{12} and \hbox{123} densities, with fixed \hbox{1… ▽ More We study scaling limits of random permutations ("permutons") constrained by having fixed densities of a finite number of patterns. We show that the limit shapes are determined by maximizing entropy over permutons with those constraints. In particular, we compute (exactly or numerically) the limit shapes with fixed \hbox{12} density, with fixed \hbox{12} and \hbox{123} densities, with fixed \hbox{12} density and the sum of \hbox{123} and \hbox{213} densities, and with fixed \hbox{123} and \hbox{321} densities. In the last case we explore a particular phase transition. To obtain our results, we also provide a description of permutons using a dynamic construction. △ Less

Submitted 31 August, 2015; v1 submitted 7 June, 2015; originally announced June 2015.

MSC Class: 05A05

First order limits of sparse graphs: Plane trees and path-width

Authors: Jakub Gajarsky, Petr Hlineny, Tomas Kaiser, Daniel Kral, Martin Kupec, Jan Obdrzalek, Sebastian Ordyniak, Vojtech Tuma

Abstract: Nesetril and Ossona de Mendez introduced the notion of first order convergence as an attempt to unify the notions of convergence for sparse and dense graphs. It is known that there exist first order convergent sequences of graphs with no limit modeling (an analytic representation of the limit). On the positive side, every first order convergent sequence of trees or graphs with no long path (graphs… ▽ More Nesetril and Ossona de Mendez introduced the notion of first order convergence as an attempt to unify the notions of convergence for sparse and dense graphs. It is known that there exist first order convergent sequences of graphs with no limit modeling (an analytic representation of the limit). On the positive side, every first order convergent sequence of trees or graphs with no long path (graphs with bounded tree-depth) has a limit modeling. We strengthen these results by showing that every first order convergent sequence of plane trees (trees with embeddings in the plane) and every first order convergent sequence of graphs with bounded path-width has a limit modeling. △ Less

Submitted 31 March, 2016; v1 submitted 30 April, 2015; originally announced April 2015.

Third case of the Cyclic Coloring Conjecture

Authors: Michael Hebdige, Daniel Kral

Abstract: The Cyclic Coloring Conjecture asserts that the vertices of every plane graph with maximum face size D can be colored using at most 3D/2 colors in such a way that no face is incident with two vertices of the same color. The Cyclic Coloring Conjecture has been proven only for two values of D: the case D=3 is equivalent to the Four Color Theorem and the case D=4 is equivalent to Borodin's Six Color… ▽ More The Cyclic Coloring Conjecture asserts that the vertices of every plane graph with maximum face size D can be colored using at most 3D/2 colors in such a way that no face is incident with two vertices of the same color. The Cyclic Coloring Conjecture has been proven only for two values of D: the case D=3 is equivalent to the Four Color Theorem and the case D=4 is equivalent to Borodin's Six Color Theorem, which says that every graph that can be drawn in the plane with each edge crossed by at most one other edge is 6-colorable. We prove the case D=6 of the conjecture. △ Less

Submitted 5 February, 2016; v1 submitted 26 January, 2015; originally announced January 2015.

First order convergence of matroids

Authors: Frantisek Kardos, Daniel Kral, Anita Liebenau, Lukas Mach

Abstract: The model theory based notion of the first order convergence unifies the notions of the left-convergence for dense structures and the Benjamini-Schramm convergence for sparse structures. It is known that every first order convergent sequence of graphs with bounded tree-depth can be represented by an analytic limit object called a limit modeling. We establish the matroid counterpart of this result:… ▽ More The model theory based notion of the first order convergence unifies the notions of the left-convergence for dense structures and the Benjamini-Schramm convergence for sparse structures. It is known that every first order convergent sequence of graphs with bounded tree-depth can be represented by an analytic limit object called a limit modeling. We establish the matroid counterpart of this result: every first order convergent sequence of matroids with bounded branch-depth representable over a fixed finite field has a limit modeling, i.e., there exists an infinite matroid with the elements forming a probability space that has asymptotically the same first order properties. We show that neither of the bounded branch-depth assumption nor the representability assumption can be removed. △ Less

Submitted 13 August, 2016; v1 submitted 26 January, 2015; originally announced January 2015.

Comments: Accepted to the European Journal of Combinatorics

Densities in large permutations and parameter testing

Authors: Roman Glebov, Carlos Hoppen, Tereza Klimosova, Yoshiharu Kohayakawa, Daniel Kral, Hong Liu

Abstract: A classical theorem of Erdos, Lovasz and Spencer asserts that the densities of connected subgraphs in large graphs are independent. We prove an analogue of this theorem for permutations and we then apply the methods used in the proof to give an example of a finitely approximable permutation parameter that is not finitely forcible. The latter answers a question posed by two of the authors and Morei… ▽ More A classical theorem of Erdos, Lovasz and Spencer asserts that the densities of connected subgraphs in large graphs are independent. We prove an analogue of this theorem for permutations and we then apply the methods used in the proof to give an example of a finitely approximable permutation parameter that is not finitely forcible. The latter answers a question posed by two of the authors and Moreira and Sampaio. △ Less

Submitted 16 September, 2016; v1 submitted 17 December, 2014; originally announced December 2014.

Comments: 16 pages

MSC Class: 68R05 (Primary); 05A05 (Secondary) ACM Class: G.2.1

Three-coloring triangle-free graphs on surfaces IV. Bounding face sizes of 4-critical graphs

Authors: Zdenek Dvorak, Daniel Kral, Robin Thomas

Abstract: Let G be a 4-critical graph with t triangles, embedded in a surface of genus g. Let c be the number of 4-cycles in G that do not bound a 2-cell face. We prove that the sum of lengths of (>=5)-faces of G is at most linear in g+t+c-1. Let G be a 4-critical graph with t triangles, embedded in a surface of genus g. Let c be the number of 4-cycles in G that do not bound a 2-cell face. We prove that the sum of lengths of (>=5)-faces of G is at most linear in g+t+c-1. △ Less

Submitted 4 August, 2020; v1 submitted 25 April, 2014; originally announced April 2014.

Comments: 28 pages, 1 figure v2: Several changes necessitated by further papers in the series included. Fixed an error: excluding only separating non-contractible 4-cycles is not enough. v3: Added a result on number of vertices needed to remove to make a graph 3-colorable v4: Updated for reviewer comments

MSC Class: 05C15 (Primary); 05C10 (Secondary) ACM Class: G.2.2

Infinite dimensional finitely forcible graphon

Authors: Roman Glebov, Tereza Klimosova, Daniel Kral

Abstract: Graphons are analytic objects associated with convergent sequences of dense graphs. Finitely forcible graphons, i.e., those determined by finitely many subgraph densities, are of particular interest because of their relation to various problems in extremal combinatorics and theoretical computer science. Lovasz and Szegedy conjectured that the topological space of typical vertices of a finitely for… ▽ More Graphons are analytic objects associated with convergent sequences of dense graphs. Finitely forcible graphons, i.e., those determined by finitely many subgraph densities, are of particular interest because of their relation to various problems in extremal combinatorics and theoretical computer science. Lovasz and Szegedy conjectured that the topological space of typical vertices of a finitely forcible graphon always has finite dimension, which would have implications on the minimum number of parts in its weak eps-regular partition. We disprove the conjecture by constructing a finitely forcible graphon with the space of typical vertices that has infinite dimension. △ Less

Submitted 23 September, 2018; v1 submitted 10 April, 2014; originally announced April 2014.

First order convergence and roots

Authors: Demetres Christofides, Daniel Kral

Abstract: Nesetril and Ossona de Mendez introduced the notion of first order convergence, which unifies the notions of convergence for sparse and dense graphs. They asked whether if G_i is a sequence of graphs with M being their first order limit and v is a vertex of M, then there exists a sequence v_i of vertices such that the graphs G_i rooted at v_i converge to M rooted at v. We show that this holds for… ▽ More Nesetril and Ossona de Mendez introduced the notion of first order convergence, which unifies the notions of convergence for sparse and dense graphs. They asked whether if G_i is a sequence of graphs with M being their first order limit and v is a vertex of M, then there exists a sequence v_i of vertices such that the graphs G_i rooted at v_i converge to M rooted at v. We show that this holds for almost all vertices v of M and we give an example showing that the statement need not hold for all vertices. △ Less

Submitted 12 March, 2014; originally announced March 2014.

Journal ref: Combinator. Probab. Comp. 25 (2016) 213-221

Three-coloring triangle-free graphs on surfaces III. Graphs of girth five

Authors: Zdeněk Dvořák, Daniel Kráľ, Robin Thomas

Abstract: We show that the size of a 4-critical graph of girth at least five is bounded by a linear function of its genus. This strengthens the previous bound on the size of such graphs given by Thomassen. It also serves as the basic case for the description of the structure of 4-critical triangle-free graphs embedded in a fixed surface, presented in a future paper of this series. We show that the size of a 4-critical graph of girth at least five is bounded by a linear function of its genus. This strengthens the previous bound on the size of such graphs given by Thomassen. It also serves as the basic case for the description of the structure of 4-critical triangle-free graphs embedded in a fixed surface, presented in a future paper of this series. △ Less

Submitted 16 April, 2019; v1 submitted 19 February, 2014; originally announced February 2014.

Comments: 53 pages, 7 figures; updated according to referee remarks

MSC Class: 05C15 (Primary) 05C10 (Secondary) ACM Class: G.2.2