Showing 1–25 of 25 results for author: Kral', D

Convergence of spectra of digraph limits

Authors: Jan Grebík, Daniel Král', Xizhi Liu, Oleg Pikhurko, Julia Slipantschuk

Abstract: The relation between densities of cycles and the spectrum of a graphon, which implies that the spectra of convergent graphons converge, fundamentally relies on the self-adjointness of the linear operator associated with a graphon. In this short paper, we consider the setting of digraphons, which are limits of directed graphs, and prove that the spectra of convergent digraphons converge. Using this… ▽ More The relation between densities of cycles and the spectrum of a graphon, which implies that the spectra of convergent graphons converge, fundamentally relies on the self-adjointness of the linear operator associated with a graphon. In this short paper, we consider the setting of digraphons, which are limits of directed graphs, and prove that the spectra of convergent digraphons converge. Using this result, we establish the relation between densities of directed cycles and the spectrum of a digraphon. △ Less

Submitted 4 June, 2025; originally announced June 2025.

Uniform Turán density -- palette classification

Authors: Daniel Král', Filip Kučerák, Ander Lamaison, Gábor Tardos

Abstract: In the 1980s, Erdős and Sós initiated the study of Turán hypergraph problems with a uniformity condition on the distribution of edges, i.e., determining density thresholds for the existence of a hypergraph H in a host hypergraph with edges uniformly distributed. In particular, Erdős and Sós asked to determine the uniform Turán densities of the hypergraphs $K_4^{(3)-}$ and $K_4^{(3)}$. After more t… ▽ More In the 1980s, Erdős and Sós initiated the study of Turán hypergraph problems with a uniformity condition on the distribution of edges, i.e., determining density thresholds for the existence of a hypergraph H in a host hypergraph with edges uniformly distributed. In particular, Erdős and Sós asked to determine the uniform Turán densities of the hypergraphs $K_4^{(3)-}$ and $K_4^{(3)}$. After more than 30 years, the former was solved by Glebov, Král' and Volec [Israel J. Math. 211 (2016), 349-366] and Reiher, Rödl and Schacht [J. Eur. Math. Soc. 20 (2018), 1139-1159], while the latter still remains open. In these two cases and several additional cases, the tight lower bounds are provided by a so-called palette construction. Lamaison [arXiv:2408.09643] has recently showed that the uniform Turán density of a 3-uniform hypergraph H is equal to the supremum of the densities of palettes that H is not colorable with. We give a necessary and sufficient condition, which is easy to verify, on the existence of a 3-uniform hypergraph colorable by a set of palettes and not colorable by another given set of palettes. We also demonstrate how our result can be used to prove the existence of 3-uniform hypergraphs with specific values of the uniform Turán density. △ Less

Submitted 26 May, 2025; v1 submitted 22 May, 2025; originally announced May 2025.

Quasirandom forcing orientations of cycles

Authors: Andrzej Grzesik, Daniel Il'kovič, Bartłomiej Kielak, Daniel Král'

Abstract: An oriented graph $H$ is quasirandom-forcing if the limit (homomorphism) density of $H$ in a sequence of tournaments is $2^{-\|H\|}$ if and only if the sequence is quasirandom. We study generalizations of the following result: the cyclic orientation of a cycle of length $\ell$ is quasirandom-forcing if and only if $\ell\equiv 2$ mod $4$. We show that no orientation of an odd cycle is quasirandom… ▽ More An oriented graph $H$ is quasirandom-forcing if the limit (homomorphism) density of $H$ in a sequence of tournaments is $2^{-\|H\|}$ if and only if the sequence is quasirandom. We study generalizations of the following result: the cyclic orientation of a cycle of length $\ell$ is quasirandom-forcing if and only if $\ell\equiv 2$ mod $4$. We show that no orientation of an odd cycle is quasirandom-forcing. In the case of even cycles, we find sufficient conditions on an orientation to be quasirandom-forcing, which we complement by identifying necessary conditions. Using our general results and spectral techniques used to obtain them, we classify which orientations of cycles of length up to $10$ are quasirandom-forcing. △ Less

Submitted 13 July, 2023; v1 submitted 19 December, 2022; originally announced December 2022.

Hadwiger meets Cayley

Authors: Jacob W. Cooper, Adam Kabela, Daniel Král', Théo Pierron

Abstract: We show that every connected $k$-chromatic graph contains at least $k^{k-2}$ spanning trees. We show that every connected $k$-chromatic graph contains at least $k^{k-2}$ spanning trees. △ Less

Submitted 12 May, 2020; originally announced May 2020.

Elusive extremal graphs

Authors: Andrzej Grzesik, Daniel Král', László Miklós Lovász

Abstract: We study the uniqueness of optimal solutions to extremal graph theory problems. Lovasz conjectured that every finite feasible set of subgraph density constraints can be extended further by a finite set of density constraints so that the resulting set is satisfied by an asymptotically unique graph. This statement is often referred to as saying that `every extremal graph theory problem has a finitel… ▽ More We study the uniqueness of optimal solutions to extremal graph theory problems. Lovasz conjectured that every finite feasible set of subgraph density constraints can be extended further by a finite set of density constraints so that the resulting set is satisfied by an asymptotically unique graph. This statement is often referred to as saying that `every extremal graph theory problem has a finitely forcible optimum'. We present a counterexample to the conjecture. Our techniques also extend to a more general setting involving other types of constraints. △ Less

Submitted 9 August, 2020; v1 submitted 3 July, 2018; originally announced July 2018.

The step Sidorenko property and non-norming edge-transitive graphs

Authors: Daniel Král', Taísa Martins, Péter Pál Pach, Marcin Wrochna

Abstract: 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 Sidore… ▽ More 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]. △ Less

Submitted 6 December, 2019; v1 submitted 14 February, 2018; originally announced February 2018.

Comments: Minor correction on page 7

Decomposing graphs into edges and triangles

Authors: Daniel Král', Bernard Lidický, Taísa L. Martins, Yanitsa Pehova

Abstract: 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,\ldots,C_\ell$ of orders two and three such that $|C_1|+\cdots+|C_\ell|\le (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 $\ell\le n^2/4$. 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,\ldots,C_\ell$ of orders two and three such that $|C_1|+\cdots+|C_\ell|\le (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 $\ell\le n^2/4$. △ Less

Submitted 6 June, 2018; v1 submitted 23 October, 2017; originally announced October 2017.

Comments: We present a shorter proof of our main result; the original proof, which can be of independent interest, is contained in versions 1 and 2 of the manuscript. Small fixes suggested by the referee

MSC Class: 05C70

Journal ref: Combinator. Probab. Comp. 28 (2019) 465-472

Walk entropy and walk-regularity

Authors: Kyle Kloster, Daniel Král', Blair D. Sullivan

Abstract: A graph is said to be walk-regular if, for each $\ell \geq 1$, every vertex is contained in the same number of closed walks of length $\ell$. We construct a $24$-vertex graph $H_4$ that is not walk-regular yet has maximized walk entropy, $S^V(H_4,β) = \log 24$, for some $β>0$. This graph is a counterexample to a conjecture of Benzi [Linear Algebra Appl.~443 (2014), 395--399, Conjecture 3.1]. We al… ▽ More A graph is said to be walk-regular if, for each $\ell \geq 1$, every vertex is contained in the same number of closed walks of length $\ell$. We construct a $24$-vertex graph $H_4$ that is not walk-regular yet has maximized walk entropy, $S^V(H_4,β) = \log 24$, for some $β>0$. This graph is a counterexample to a conjecture of Benzi [Linear Algebra Appl.~443 (2014), 395--399, Conjecture 3.1]. We also show that there exist infinitely many temperatures $β_0>0$ so that $S^V(G,β_0)=\log n_G$ if and only if a graph $G$ is walk-regular. △ Less

Submitted 7 February, 2018; v1 submitted 31 August, 2017; originally announced August 2017.

Comments: 7 pages, 1 figure

MSC Class: 05C50

Monochromatic triangles in three-coloured graphs

Authors: James Cummings, Daniel Král', Florian Pfender, Konrad Sperfeld, Andrew Treglown, Michael Young

Abstract: In 1959, Goodman determined the minimum number of monochromatic triangles in a complete graph whose edge set is two-coloured. Goodman also raised the question of proving analogous results for complete graphs whose edge sets are coloured with more than two colours. In this paper, we determine the minimum number of monochromatic triangles and the colourings which achieve this minimum in a sufficient… ▽ More In 1959, Goodman determined the minimum number of monochromatic triangles in a complete graph whose edge set is two-coloured. Goodman also raised the question of proving analogous results for complete graphs whose edge sets are coloured with more than two colours. In this paper, we determine the minimum number of monochromatic triangles and the colourings which achieve this minimum in a sufficiently large three-coloured complete graph. △ Less

Submitted 9 June, 2012; originally announced June 2012.

Comments: Some data needed to verify the proof can be found at http://www.math.cmu.edu/users/jcumming/ckpsty/

Quasirandom permutations are characterized by 4-point densities

Authors: Daniel Král', Oleg Pikhurko

Abstract: For permutations P and T of lengths |P|\le|T|, let t(P,T) be the probability that the restriction of T to a random |P|-point set is (order) isomorphic to P. We show that every sequence \{T_j\} of permutations such that |T_j|\to\infty and t(P,T_j)\to 1/4! for every 4-point permutation P is quasirandom (that is, t(P,T_j)\to 1/|P|! for every P). This answers a question posed by Graham. For permutations P and T of lengths |P|\le|T|, let t(P,T) be the probability that the restriction of T to a random |P|-point set is (order) isomorphic to P. We show that every sequence \{T_j\} of permutations such that |T_j|\to\infty and t(P,T_j)\to 1/4! for every 4-point permutation P is quasirandom (that is, t(P,T_j)\to 1/|P|! for every P). This answers a question posed by Graham. △ Less

Submitted 20 January, 2013; v1 submitted 14 May, 2012; originally announced May 2012.

Comments: 10 pages, 1 figure

MSC Class: 05DXX

A new bound for the 2/3 conjecture

Authors: Daniel Král', Chun-Hung Liu, Jean-Sébastien Sereni, Peter Whalen, Zelealem Yilma

Abstract: We show that any n-vertex complete graph with edges colored with three colors contains a set of at most four vertices such that the number of the neighbors of these vertices in one of the colors is at least 2n/3. The previous best value, proved by Erdos, Faudree, Gould, Gyárfás, Rousseau and Schelp in 1989, is 22. It is conjectured that three vertices suffice. We show that any n-vertex complete graph with edges colored with three colors contains a set of at most four vertices such that the number of the neighbors of these vertices in one of the colors is at least 2n/3. The previous best value, proved by Erdos, Faudree, Gould, Gyárfás, Rousseau and Schelp in 1989, is 22. It is conjectured that three vertices suffice. △ Less

Submitted 3 January, 2013; v1 submitted 11 April, 2012; originally announced April 2012.

The fractional chromatic number of triangle-free subcubic graphs

Authors: David Ferguson, Tomáš Kaiser, Daniel Král'

Abstract: Heckman and Thomas conjectured that the fractional chromatic number of any triangle-free subcubic graph is at most 14/5. Improving on estimates of Hatami and Zhu and of Lu and Peng, we prove that the fractional chromatic number of any triangle-free subcubic graph is at most 32/11 (which is roughly 2.909). Heckman and Thomas conjectured that the fractional chromatic number of any triangle-free subcubic graph is at most 14/5. Improving on estimates of Hatami and Zhu and of Lu and Peng, we prove that the fractional chromatic number of any triangle-free subcubic graph is at most 32/11 (which is roughly 2.909). △ Less

Submitted 1 May, 2013; v1 submitted 6 March, 2012; originally announced March 2012.

MSC Class: 05C15; 05C72

On the Removal Lemma for Linear Systems over Abelian Groups

Authors: Daniel Král', Oriol Serra, Lluís Vena

Abstract: In this paper we present an extension of the removal lemma to integer linear systems over abelian groups. We prove that, if the $k$--determinantal of an integer $(k\times m)$ matrix $A$ is coprime with the order $n$ of a group $G$ and the number of solutions of the system $Ax=b$ with $x_1\in X_1,..., x_m\in X_m$ is $o(n^{m-k})$, then we can eliminate $o(n)$ elements in each set to remove all these… ▽ More In this paper we present an extension of the removal lemma to integer linear systems over abelian groups. We prove that, if the $k$--determinantal of an integer $(k\times m)$ matrix $A$ is coprime with the order $n$ of a group $G$ and the number of solutions of the system $Ax=b$ with $x_1\in X_1,..., x_m\in X_m$ is $o(n^{m-k})$, then we can eliminate $o(n)$ elements in each set to remove all these solutions. This is a follow-up of our former paper 'A Removal Lemma for Systems of Linear Equations over Finite Fields' arXiv:0809.1846v1, which dealt with the case of finite fields. △ Less

Submitted 29 June, 2012; v1 submitted 21 June, 2011; originally announced June 2011.

Comments: 18 pages. A slightly more general version where the quantifiers for the main result are independent of the entries of the input matrix (only depend on its dimensions). Explanations concerning the condition on the k-determinantal in the main result are included

A superlinear bound on the number of perfect matchings in cubic bridgeless graphs

Authors: L. Esperet, F. Kardos, D. Kral'

Abstract: Lovasz and Plummer conjectured in the 1970's that cubic bridgeless graphs have exponentially many perfect matchings. This conjecture has been verified for bipartite graphs by Voorhoeve in 1979, and for planar graphs by Chudnovsky and Seymour in 2008, but in general only linear bounds are known. In this paper, we provide the first superlinear bound in the general case. Lovasz and Plummer conjectured in the 1970's that cubic bridgeless graphs have exponentially many perfect matchings. This conjecture has been verified for bipartite graphs by Voorhoeve in 1979, and for planar graphs by Chudnovsky and Seymour in 2008, but in general only linear bounds are known. In this paper, we provide the first superlinear bound in the general case. △ Less

Submitted 28 May, 2010; v1 submitted 25 February, 2010; originally announced February 2010.

Comments: 54 pages v2: a short (missing) proof of Lemma 10 was added

Journal ref: European J. Combin. 33(5) (2012), 767-798

Algebraic proof of Brooks' theorem

Authors: Jan Hladký, Daniel Král', Uwe Schauz

Abstract: We give a proof of Brooks' theorem and its list coloring extension using the algebraic method of Alon and Tarsi; this also shows that the Brooks' theorem remains valid in a more general game coloring setting. We give a proof of Brooks' theorem and its list coloring extension using the algebraic method of Alon and Tarsi; this also shows that the Brooks' theorem remains valid in a more general game coloring setting. △ Less

Submitted 21 July, 2009; v1 submitted 21 May, 2009; originally announced May 2009.

Comments: Brooks' Theorem extended to a game coloring setting, author list changed; 5 pages

Journal ref: Discrete Math. 310, no. 23, 3426-3428 (2010)

Graphs with bounded tree-width and large odd-girth are almost bipartite

Authors: Alexandr V. Kostochka, Daniel Kral', Jean-Sebastien Sereni, Michael Stiebitz

Abstract: We prove that for every $k$ and every $\varepsilon>0$, there exists $g$ such that every graph with tree-width at most $k$ and odd-girth at least $g$ has circular chromatic number at most $2+\varepsilon$. We prove that for every $k$ and every $\varepsilon>0$, there exists $g$ such that every graph with tree-width at most $k$ and odd-girth at least $g$ has circular chromatic number at most $2+\varepsilon$. △ Less

Submitted 15 April, 2009; originally announced April 2009.

MSC Class: 05C15; 05C83

Circular edge-colorings of cubic graphs with girth six

Authors: D. Král', E. Mácajová, J. Mazák, J. -S. Sereni

Abstract: We show that the circular chromatic index of a (sub)cubic graph with girth at least six is at most 7/2. We show that the circular chromatic index of a (sub)cubic graph with girth at least six is at most 7/2. △ Less

Submitted 27 May, 2010; v1 submitted 7 January, 2009; originally announced January 2009.

Comments: 13 pages, 6 figures

Report number: KAM-DIMATIA Series 2008-903 and ITI Series 2009-429 MSC Class: 05C15

Journal ref: Journal of Combinatorial Theory, Series B 100(4):352--358, 2010

Cyclic colorings of plane graphs with independent faces

Authors: Jernej Azarija, Daniel Král', Rok Erman, Matjaz Krnc, Ladislav Stacho

Abstract: Let G be a plane graph with maximum face size D. If all faces of G with size four or more are vertex disjoint, then G has a cyclic coloring with D+1 colors, i.e., a coloring such that all vertices incident with the same face receive distinct colors. Let G be a plane graph with maximum face size D. If all faces of G with size four or more are vertex disjoint, then G has a cyclic coloring with D+1 colors, i.e., a coloring such that all vertices incident with the same face receive distinct colors. △ Less

Submitted 17 November, 2008; originally announced November 2008.

MSC Class: 05C15 (Primary); 05C10 (Secondary)

Coloring plane graphs with independent crossings

Authors: Daniel Král', Ladislav Stacho

Abstract: We show that every plane graph with maximum face size four whose all faces of size four are vertex-disjoint is cyclically 5-colorable. This answers a question of Albertson whether graphs drawn in the plane with all crossings independent are 5-colorable. We show that every plane graph with maximum face size four whose all faces of size four are vertex-disjoint is cyclically 5-colorable. This answers a question of Albertson whether graphs drawn in the plane with all crossings independent are 5-colorable. △ Less

Submitted 17 November, 2008; originally announced November 2008.

MSC Class: 05C15 (Primary); 05C10 (Secondary)

Markov bases of binary graph models of K_4-minor free graphs

Authors: Daniel Král', Serguei Norine, Ondrej Pangrác

Abstract: Markov width of a graph is a graph invariant defined as the maximum degree of a Markov basis element for the corresponding graph model for binary contingency tables. We show that a graph has Markov width at most four if and only if it contains no $K_4$ as a minor, answering a question of Develin and Sullivant. We also present a lower bound of order $Ω(n^{2-\varepsilon})$ on the Markov width of… ▽ More Markov width of a graph is a graph invariant defined as the maximum degree of a Markov basis element for the corresponding graph model for binary contingency tables. We show that a graph has Markov width at most four if and only if it contains no $K_4$ as a minor, answering a question of Develin and Sullivant. We also present a lower bound of order $Ω(n^{2-\varepsilon})$ on the Markov width of $K_n$. △ Less

Submitted 10 October, 2008; originally announced October 2008.

MSC Class: 05C99 (Primary); 62H17; 05E99 (Secondary)

A Removal Lemma for Systems of Linear Equations over Finite Fields

Authors: Dan Král', Oriol Serra, Lluís Vena

Abstract: We prove a removal lemma for systems of linear equations over finite fields: let $X_1,...,X_m$ be subsets of the finite field $\F_q$ and let $A$ be a $(k\times m)$ matrix with coefficients in $\F_q$ and rank $k$; if the linear system $Ax=b$ has $o(q^{m-k})$ solutions with $x_i\in X_i$, then we can destroy all these solutions by deleting $o(q)$ elements from each $X_i$. This extends a result of G… ▽ More We prove a removal lemma for systems of linear equations over finite fields: let $X_1,...,X_m$ be subsets of the finite field $\F_q$ and let $A$ be a $(k\times m)$ matrix with coefficients in $\F_q$ and rank $k$; if the linear system $Ax=b$ has $o(q^{m-k})$ solutions with $x_i\in X_i$, then we can destroy all these solutions by deleting $o(q)$ elements from each $X_i$. This extends a result of Green [Geometric and Functional Analysis 15(2) (2005), 340--376] for a single linear equation in abelian groups to systems of linear equations. In particular, we also obtain an analogous result for systems of equations over integers, a result conjectured by Green. Our proof uses the colored version of the hypergraph Removal Lemma. △ Less

Submitted 10 September, 2008; originally announced September 2008.

A combinatorial proof of the Removal Lemma for Groups

Authors: Daniel Král', Oriol Serra, Lluís Vena

Abstract: Green [Geometric and Functional Analysis 15 (2005), 340--376] established a version of the Szemerédi Regularity Lemma for abelian groups and derived the Removal Lemma for abelian groups as its corollary. We provide another proof of his Removal Lemma that allows us to extend its statement to all finite groups. We also discuss possible extensions of the Removal Lemma to systems of equations. Green [Geometric and Functional Analysis 15 (2005), 340--376] established a version of the Szemerédi Regularity Lemma for abelian groups and derived the Removal Lemma for abelian groups as its corollary. We provide another proof of his Removal Lemma that allows us to extend its statement to all finite groups. We also discuss possible extensions of the Removal Lemma to systems of equations. △ Less

Submitted 30 April, 2008; originally announced April 2008.

Long cycles in fullerene graphs

Authors: D. Král', O. Pangrác, J. -S. Sereni, R. Skrekovski

Abstract: It is conjectured that every fullerene graph is hamiltonian. Jendrol' and Owens proved [J. Math. Chem. 18 (1995), pp. 83--90] that every fullerene graph on n vertices has a cycle of length at least 4n/5. In this paper, we improve this bound to 5n/6-2/3. It is conjectured that every fullerene graph is hamiltonian. Jendrol' and Owens proved [J. Math. Chem. 18 (1995), pp. 83--90] that every fullerene graph on n vertices has a cycle of length at least 4n/5. In this paper, we improve this bound to 5n/6-2/3. △ Less

Submitted 24 January, 2011; v1 submitted 24 January, 2008; originally announced January 2008.

Comments: 12 pages, 10 figures

Report number: ITI Series 2008-372 MSC Class: 05C38; 92E10

Journal ref: Journal of Mathematical Chemistry, 45(4):1021--1031, 2009

Fullerene graphs have exponentially many perfect matchings

Authors: Frantisek Kardos, Daniel Král', Jozef Miskuf, Jean-Sébastien Sereni

Abstract: A fullerene graph is a planar cubic 3-connected graph with only pentagonal and hexagonal faces. We show that fullerene graphs have exponentially many perfect matchings. A fullerene graph is a planar cubic 3-connected graph with only pentagonal and hexagonal faces. We show that fullerene graphs have exponentially many perfect matchings. △ Less

Submitted 27 May, 2010; v1 submitted 9 January, 2008; originally announced January 2008.

Comments: 7 pages, 3 figures

Report number: KAM-DIMATIA Series 2007-839 and ITI-Series 2008-368 MSC Class: 05C70; 92E10

Journal ref: Journal of Mathematical Chemistry 46(2):443--447, 2009

Rank of divisors on tropical curves

Authors: Jan Hladký, Daniel Král', Serguei Norine

Abstract: We investigate, using purely combinatorial methods, structural and algorithmic properties of linear equivalence classes of divisors on tropical curves. In particular, an elementary proof of the Riemann-Roch theorem for tropical curves, similar to the recent proof of the Riemann-Roch theorem for graphs by Baker and Norine, is presented. In addition, a conjecture of Baker asserting that the rank of… ▽ More We investigate, using purely combinatorial methods, structural and algorithmic properties of linear equivalence classes of divisors on tropical curves. In particular, an elementary proof of the Riemann-Roch theorem for tropical curves, similar to the recent proof of the Riemann-Roch theorem for graphs by Baker and Norine, is presented. In addition, a conjecture of Baker asserting that the rank of a divisor D on a (non-metric) graph is equal to the rank of D on the corresponding metric graph is confirmed, and an algorithm for computing the rank of a divisor on a tropical curve is constructed. △ Less

Submitted 21 February, 2016; v1 submitted 27 September, 2007; originally announced September 2007.

Journal ref: J. Combin. Theory Ser. A 120, no. 7, 1521-1538 (2013)