-
Triangle Percolation on the Grid
Authors:
Igor Araujo,
Bryce Frederickson,
Robert A. Krueger,
Bernard Lidický,
Tyrrell B. McAllister,
Florian Pfender,
Sam Spiro,
Eric Nathan Stucky
Abstract:
We consider a geometric percolation process partially motivated by recent work of Hejda and Kala. Specifically, we start with an initial set $X \subseteq \mathbb{Z}^2$, and then iteratively check whether there exists a triangle $T \subseteq \mathbb{R}^2$ with its vertices in $\mathbb{Z}^2$ such that $T$ contains exactly four points of $\mathbb{Z}^2$ and exactly three points of $X$. In this case, w…
▽ More
We consider a geometric percolation process partially motivated by recent work of Hejda and Kala. Specifically, we start with an initial set $X \subseteq \mathbb{Z}^2$, and then iteratively check whether there exists a triangle $T \subseteq \mathbb{R}^2$ with its vertices in $\mathbb{Z}^2$ such that $T$ contains exactly four points of $\mathbb{Z}^2$ and exactly three points of $X$. In this case, we add the missing lattice point of $T$ to $X$, and we repeat until no such triangle exists. We study the limit sets $S$, the sets stable under this process, including determining their possible densities and some of their structure.
△ Less
Submitted 10 January, 2024; v1 submitted 27 March, 2023;
originally announced March 2023.
-
Inducibility of 4-vertex tournaments
Authors:
Dalton Burke,
Bernard Lidický,
Florian Pfender,
Michael Phillips
Abstract:
We determine the inducibility of all tournaments with at most $4$ vertices together with the extremal constructions. The $4$-vertex tournament containing an oriented $C_3$ and one source vertex has a particularly interesting extremal construction. It is an unbalanced blow-up of an edge, where the sink vertex is replaced by a quasi-random tournament and the source vertex is iteratively replaced by…
▽ More
We determine the inducibility of all tournaments with at most $4$ vertices together with the extremal constructions. The $4$-vertex tournament containing an oriented $C_3$ and one source vertex has a particularly interesting extremal construction. It is an unbalanced blow-up of an edge, where the sink vertex is replaced by a quasi-random tournament and the source vertex is iteratively replaced by a copy of the construction itself.
△ Less
Submitted 20 December, 2022; v1 submitted 11 March, 2021;
originally announced March 2021.
-
$C_5$ is almost a fractalizer
Authors:
Bernard Lidický,
Connor Mattes,
Florian Pfender
Abstract:
We determine the maximum number of induced copies of a 5-cycle in a graph on $n$ vertices for every $n$. Every extremal construction is a balanced iterated blow-up of the 5-cycle with the possible exception of the smallest level where for $n=8$, the Möbius ladder achieves the same number of induced 5-cycles as the blow-up of a 5-cycle on 8 vertices.
This result completes work of Balogh, Hu, Lidi…
▽ More
We determine the maximum number of induced copies of a 5-cycle in a graph on $n$ vertices for every $n$. Every extremal construction is a balanced iterated blow-up of the 5-cycle with the possible exception of the smallest level where for $n=8$, the Möbius ladder achieves the same number of induced 5-cycles as the blow-up of a 5-cycle on 8 vertices.
This result completes work of Balogh, Hu, Lidický, and Pfender [Eur. J. Comb. 52 (2016)] who proved an asymptotic version of the result. Similarly to their result, we also use the flag algebra method but we extend its use to small graphs.
△ Less
Submitted 20 December, 2022; v1 submitted 12 February, 2021;
originally announced February 2021.
-
Edge-maximal graphs on orientable and some non-orientable surfaces
Authors:
James Davies,
Florian Pfender
Abstract:
We study edge-maximal, non-complete graphs on surfaces that do not triangulate the surface. We prove that there is no such graph on the projective plane $\mathbb{N}_1$, $K_7-e$ is the unique such graph on the Klein bottle $\mathbb{N}_2$ and $K_8-E(C_5)$ is the unique such graph on the torus $\mathbb{S}_1$. In contrast to this for each $g\ge 2$ we construct an infinite family of such graphs on the…
▽ More
We study edge-maximal, non-complete graphs on surfaces that do not triangulate the surface. We prove that there is no such graph on the projective plane $\mathbb{N}_1$, $K_7-e$ is the unique such graph on the Klein bottle $\mathbb{N}_2$ and $K_8-E(C_5)$ is the unique such graph on the torus $\mathbb{S}_1$. In contrast to this for each $g\ge 2$ we construct an infinite family of such graphs on the orientable surface $\mathbb{S}_g$ of genus $g$, that are $\lfloor \frac{g}{2} \rfloor$ edges short of a triangulation.
△ Less
Submitted 6 November, 2019;
originally announced November 2019.
-
Making $K_{r+1}$-Free Graphs $r$-partite
Authors:
József Balogh,
Felix Christian Clemen,
Mikhail Lavrov,
Bernard Lidický,
Florian Pfender
Abstract:
The Erdős-Simonovits stability theorem states that for all ε>0 there exists α>0 such that if G is a K_{r+1}-free graph on n vertices with e(G) > ex(n,K_{r+1}) - αn^2, then one can remove εn^2 edges from G to obtain an r-partite graph. Füredi gave a short proof that one can choose α=ε. We give a bound for the relationship of αand \varepsilon which is asymptotically sharp as ε\to 0.
The Erdős-Simonovits stability theorem states that for all ε>0 there exists α>0 such that if G is a K_{r+1}-free graph on n vertices with e(G) > ex(n,K_{r+1}) - αn^2, then one can remove εn^2 edges from G to obtain an r-partite graph. Füredi gave a short proof that one can choose α=ε. We give a bound for the relationship of αand \varepsilon which is asymptotically sharp as ε\to 0.
△ Less
Submitted 30 September, 2019;
originally announced October 2019.
-
Sharp bounds for decomposing graphs into edges and triangles
Authors:
Adam Blumenthal,
Bernard Lidický,
Yanitsa Pehova,
Florian Pfender,
Oleg Pikhurko,
Jan Volec
Abstract:
For a real constant $α$, let $π_3^α(G)$ be the minimum of twice the number of $K_2$'s plus $α$ times the number of $K_3$'s over all edge decompositions of $G$ into copies of $K_2$ and $K_3$, where $K_r$ denotes the complete graph on $r$ vertices. Let $π_3^α(n)$ be the maximum of $π_3^α(G)$ over all graphs $G$ with $n$ vertices.
The extremal function $π_3^3(n)$ was first studied by Győri and Tuza…
▽ More
For a real constant $α$, let $π_3^α(G)$ be the minimum of twice the number of $K_2$'s plus $α$ times the number of $K_3$'s over all edge decompositions of $G$ into copies of $K_2$ and $K_3$, where $K_r$ denotes the complete graph on $r$ vertices. Let $π_3^α(n)$ be the maximum of $π_3^α(G)$ over all graphs $G$ with $n$ vertices.
The extremal function $π_3^3(n)$ was first studied by Győri and Tuza [Decompositions of graphs into complete subgraphs of given order, Studia Sci. Math. Hungar. 22 (1987), 315--320]. In a recent progress on this problem, Král', Lidický, Martins and Pehova [Decomposing graphs into edges and triangles, Combin. Prob. Comput. 28 (2019) 465--472] proved via flag algebras that $π_3^3(n)\le (1/2+o(1))n^2$. We extend their result by determining the exact value of $π_3^α(n)$ and the set of extremal graphs for all $α$ and sufficiently large $n$. In particular, we show for $α=3$ that $K_n$ and the complete bipartite graph $K_{\lfloor n/2\rfloor,\lceil n/2\rceil}$ are the only possible extremal examples for large $n$.
△ Less
Submitted 11 June, 2020; v1 submitted 25 September, 2019;
originally announced September 2019.
-
Counterexamples to a conjecture of Harris on Hall ratio
Authors:
Adam Blumenthal,
Bernard Lidicky,
Ryan R. Martin,
Sergey Norin,
Florian Pfender,
Jan Volec
Abstract:
The Hall ratio of a graph $G$ is the maximum value of $v(H) / α(H)$ taken over all non-null subgraphs $H$ of $G$. For any graph, the Hall ratio is a lower-bound on its fractional chromatic number. In this note, we present various constructions of graphs whose fractional chromatic number grows much faster than their Hall ratio. This refutes a conjecture of Harris.
The Hall ratio of a graph $G$ is the maximum value of $v(H) / α(H)$ taken over all non-null subgraphs $H$ of $G$. For any graph, the Hall ratio is a lower-bound on its fractional chromatic number. In this note, we present various constructions of graphs whose fractional chromatic number grows much faster than their Hall ratio. This refutes a conjecture of Harris.
△ Less
Submitted 24 April, 2020; v1 submitted 27 November, 2018;
originally announced November 2018.
-
Inducibility of directed paths
Authors:
Ilkyoo Choi,
Bernard Lidický,
Florian Pfender
Abstract:
A long standing open problem in extremal graph theory is to describe all graphs that maximize the number of induced copies of a path on four vertices. The character of the problem changes in the setting of oriented graphs, and becomes more tractable. Here we resolve this problem in the setting of oriented graphs without transitive triangles.
A long standing open problem in extremal graph theory is to describe all graphs that maximize the number of induced copies of a path on four vertices. The character of the problem changes in the setting of oriented graphs, and becomes more tractable. Here we resolve this problem in the setting of oriented graphs without transitive triangles.
△ Less
Submitted 11 June, 2020; v1 submitted 8 November, 2018;
originally announced November 2018.
-
Erdős-Szekeres On-Line
Authors:
Kirk Boyer,
Lauren M. Nelsen,
Luke L. Nelsen,
Florian Pfender,
Elizabeth Reiland,
Ryan Solava
Abstract:
In 1935, Erdős and Szekeres proved that $(m-1)(k-1)+1$ is the minimum number of points in the plane which definitely contain an increasing subset of $m$ points or a decreasing subset of $k$ points (as ordered by their $x$-coordinates). We consider their result from an on-line game perspective: Let points be determined one by one by player A first determining the $x$-coordinate and then player B de…
▽ More
In 1935, Erdős and Szekeres proved that $(m-1)(k-1)+1$ is the minimum number of points in the plane which definitely contain an increasing subset of $m$ points or a decreasing subset of $k$ points (as ordered by their $x$-coordinates). We consider their result from an on-line game perspective: Let points be determined one by one by player A first determining the $x$-coordinate and then player B determining the $y$-coordinate. What is the minimum number of points such that player A can force an increasing subset of $m$ points or a decreasing subset of $k$ points? We introduce this as the Erdős-Szekeres on-line number and denote it by $\text{ESO}(m,k)$. We observe that $\text{ESO}(m,k) < (m-1)(k-1)+1$ for $m,k \ge 3$, provide a general lower bound for $\text{ESO}(m,k)$, and determine $\text{ESO}(m,3)$ up to an additive constant.
△ Less
Submitted 17 April, 2018; v1 submitted 16 April, 2018;
originally announced April 2018.
-
Pentagons in triangle-free graphs
Authors:
Bernard Lidický,
Florian Pfender
Abstract:
For all $n\ge 9$, we show that the only triangle-free graphs on $n$ vertices maximizing the number $5$-cycles are balanced blow-ups of a 5-cycle. This completely resolves a conjecture by Erdős, and extends results by Grzesik and Hatami, Hladký, Král', Norin and Razborov, where they independently showed this same result for large $n$ and for all $n$ divisible by $5$.
For all $n\ge 9$, we show that the only triangle-free graphs on $n$ vertices maximizing the number $5$-cycles are balanced blow-ups of a 5-cycle. This completely resolves a conjecture by Erdős, and extends results by Grzesik and Hatami, Hladký, Král', Norin and Razborov, where they independently showed this same result for large $n$ and for all $n$ divisible by $5$.
△ Less
Submitted 23 December, 2017;
originally announced December 2017.
-
Notes on complexity of packing coloring
Authors:
Minki Kim,
Bernard Lidický,
Tomáš Masařík,
Florian Pfender
Abstract:
A packing $k$-coloring for some integer $k$ of a graph $G=(V,E)$ is a map**
$\varphi:V\to\{1,\ldots,k\}$ such that any two vertices $u, v$ of color $\varphi(u)=\varphi(v)$ are in distance at least $\varphi(u)+1$. This concept is motivated by frequency assignment problems. The \emph{packing chromatic number} of $G$ is the smallest $k$ such that there exists a packing $k$-coloring of $G$.
Fial…
▽ More
A packing $k$-coloring for some integer $k$ of a graph $G=(V,E)$ is a map**
$\varphi:V\to\{1,\ldots,k\}$ such that any two vertices $u, v$ of color $\varphi(u)=\varphi(v)$ are in distance at least $\varphi(u)+1$. This concept is motivated by frequency assignment problems. The \emph{packing chromatic number} of $G$ is the smallest $k$ such that there exists a packing $k$-coloring of $G$.
Fiala and Golovach showed that determining the packing chromatic number for chordal graphs is \NP-complete for diameter exactly 5. While the problem is easy to solve for diameter 2, we show \NP-completeness for any diameter at least 3. Our reduction also shows that the packing chromatic number is hard to approximate within $n^{{1/2}-\varepsilon}$ for any $\varepsilon > 0$.
In addition, we design an \FPT algorithm for interval graphs of bounded diameter. This leads us to exploring the problem of finding a partial coloring that maximizes the number of colored vertices.
△ Less
Submitted 22 December, 2017;
originally announced December 2017.
-
On Edge-Colored Saturation Problems
Authors:
Michael Ferrara,
Daniel Johnston,
Sarah Loeb,
Florian Pfender,
Alex Schulte,
Heather C. Smith,
Eric Sullivan,
Michael Tait,
Casey Tompkins
Abstract:
Let $\mathcal{C}$ be a family of edge-colored graphs. A $t$-edge colored graph $G$ is $(\mathcal{C}, t)$-saturated if $G$ does not contain any graph in $\mathcal{C}$ but the addition of any edge in any color in $[t]$ creates a copy of some graph in $\mathcal{C}$. Similarly to classical saturation functions, define $\mathrm{sat}_t(n, \mathcal{C})$ to be the minimum number of edges in a…
▽ More
Let $\mathcal{C}$ be a family of edge-colored graphs. A $t$-edge colored graph $G$ is $(\mathcal{C}, t)$-saturated if $G$ does not contain any graph in $\mathcal{C}$ but the addition of any edge in any color in $[t]$ creates a copy of some graph in $\mathcal{C}$. Similarly to classical saturation functions, define $\mathrm{sat}_t(n, \mathcal{C})$ to be the minimum number of edges in a $(\mathcal{C},t)$ saturated graph. Let $\mathcal{C}_r(H)$ be the family consisting of every edge-colored copy of $H$ which uses exactly $r$ colors.
In this paper we consider a variety of colored saturation problems. We determine the order of magnitude for $\mathrm{sat}_t(n, \mathcal{C}_r(K_k))$ for all $r$, showing a sharp change in behavior when $r\geq \binom{k-1}{2}+2$. A particular case of this theorem proves a conjecture of Barrus, Ferrara, Vandenbussche, and Wenger. We determine $\mathrm{sat}_t(n, \mathcal{C}_2(K_3))$ exactly and determine the extremal graphs. Additionally, we document some interesting irregularities in the colored saturation function.
△ Less
Submitted 30 November, 2017;
originally announced December 2017.
-
Semidefinite Programming and Ramsey Numbers
Authors:
Bernard Lidický,
Florian Pfender
Abstract:
Finding exact Ramsey numbers is a problem typically restricted to relatively small graphs. The flag algebra method was developed to find asymptotic results for very large graphs, so it seems that the method is not suitable for finding small Ramsey numbers. But this intuition is wrong, and we will develop a technique to do just that in this paper.
We find new upper bounds for many small graph and…
▽ More
Finding exact Ramsey numbers is a problem typically restricted to relatively small graphs. The flag algebra method was developed to find asymptotic results for very large graphs, so it seems that the method is not suitable for finding small Ramsey numbers. But this intuition is wrong, and we will develop a technique to do just that in this paper.
We find new upper bounds for many small graph and hypergraph Ramsey numbers. As a result, we prove the exact values $R(K_4^-,K_4^-,K_4^-)=28$, $R(K_8,C_5)= 29$, $R(K_9,C_6)= 41$, $R(Q_3,Q_3)=13$, $R(K_{3,5},K_{1,6})=17$, $R(C_3, C_5, C_5)= 17$, and $R(K_4^-,K_5^-;3)= 12$.
We hope that this technique will be adapted to address other questions for smaller graphs with the flag algebra method.
△ Less
Submitted 11 September, 2020; v1 submitted 11 April, 2017;
originally announced April 2017.
-
Ore and Chvátal-type Degree Conditions for Bootstrap Percolation from Small Sets
Authors:
Michael Dairyko,
Michael Ferrara,
Bernard Lidický,
Ryan R. Martin,
Florian Pfender,
Andrew J. Uzzell
Abstract:
Bootstrap percolation is a deterministic cellular automaton in which vertices of a graph~$G$ begin in one of two states, "dormant" or "active". Given a fixed integer $r$, a dormant vertex becomes active if at any stage it has at least $r$ active neighbors, and it remains active for the duration of the process. Given an initial set of active vertices $A$, we say that $G$ $r$-percolates (from $A$) i…
▽ More
Bootstrap percolation is a deterministic cellular automaton in which vertices of a graph~$G$ begin in one of two states, "dormant" or "active". Given a fixed integer $r$, a dormant vertex becomes active if at any stage it has at least $r$ active neighbors, and it remains active for the duration of the process. Given an initial set of active vertices $A$, we say that $G$ $r$-percolates (from $A$) if every vertex in $G$ becomes active after some number of steps. Let $m(G,r)$ denote the minimum size of a set $A$ such that $G$ $r$-percolates from $A$.
Bootstrap percolation has been studied in a number of settings, and has applications to both statistical physics and discrete epidemiology. Here, we are concerned with degree-based density conditions that ensure $m(G,2)=2$. In particular, we give an Ore-type degree sum result that states that if a graph $G$ satisfies $σ_2(G)\ge n-2$, then either $m(G,2)=2$ or $G$ is in one of a small number of classes of exceptional graphs. We also give a Chvátal-type degree condition: If $G$ is a graph with degree sequence $d_1\le d_2\le\dots\le d_n$ such that $d_i \geq i+1$ or $d_{n-i} \geq n-i-1$ for all $1 \leq i < \frac{n}{2}$, then $m(G,2)=2$ or $G$ falls into one of several specific exceptional classes of graphs. Both of these results are inspired by, and extend, an Ore-type result in [D. Freund, M. Poloczek, and D. Reichman, Contagious sets in dense graphs, to appear in European J. Combin.]
△ Less
Submitted 18 October, 2019; v1 submitted 14 October, 2016;
originally announced October 2016.
-
Color-line and Proper Color-line Graphs
Authors:
Van Bang Le,
Florian Pfender
Abstract:
Motivated by investigations of rainbow matchings in edge colored graphs, we introduce the notion of color-line graphs that generalizes the classical concept of line graphs in a natural way. Let $H$ be a (properly) edge-colored graph. The (proper) color-line graph $C\!L(H)$ of $H$ has edges of $H$ as vertices, and two edges of $H$ are adjacent in $C\!L(H)$ if they are incident in $H$ or have the sa…
▽ More
Motivated by investigations of rainbow matchings in edge colored graphs, we introduce the notion of color-line graphs that generalizes the classical concept of line graphs in a natural way. Let $H$ be a (properly) edge-colored graph. The (proper) color-line graph $C\!L(H)$ of $H$ has edges of $H$ as vertices, and two edges of $H$ are adjacent in $C\!L(H)$ if they are incident in $H$ or have the same color. We give Krausz-type characterizations for (proper) color-line graphs, and point out that, for any fixed $k\ge 2$, recognizing if a graph is the color-line graph of some graph $H$ in which the edges are colored with at most $k$ colors is NP-complete. In contrast, we show that, for any fixed $k$, recognizing color-line graphs of properly edge colored graphs $H$ with at most $k$ colors is polynomially. Moreover, we give a good characterization for proper $2$-color line graphs that yields a linear time recognition algorithm in this case.
△ Less
Submitted 7 June, 2019; v1 submitted 3 November, 2015;
originally announced November 2015.
-
Increasing paths in edge-ordered graphs: the hypercube and random graphs
Authors:
Jessica De Silva,
Theodore Molla,
Florian Pfender,
Troy Retter,
Michael Tait
Abstract:
An edge-ordering of a graph $G=(V,E)$ is a bijection $φ:E\to\{1,2,...,|E|\}$. Given an edge-ordering, a sequence of edges $P=e_1,e_2,...,e_k$ is an increasing path if it is a path in $G$ which satisfies $φ(e_i)<φ(e_j)$ for all $i<j$. For a graph $G$, let $f(G)$ be the largest integer $\ell$ such that every edge-ordering of $G$ contains an increasing path of length $\ell$. The parameter $f(G)$ was…
▽ More
An edge-ordering of a graph $G=(V,E)$ is a bijection $φ:E\to\{1,2,...,|E|\}$. Given an edge-ordering, a sequence of edges $P=e_1,e_2,...,e_k$ is an increasing path if it is a path in $G$ which satisfies $φ(e_i)<φ(e_j)$ for all $i<j$. For a graph $G$, let $f(G)$ be the largest integer $\ell$ such that every edge-ordering of $G$ contains an increasing path of length $\ell$. The parameter $f(G)$ was first studied for $G=K_n$ and has subsequently been studied for other families of graphs. This paper gives bounds on $f$ for the hypercube and the random graph $G(n,p)$.
△ Less
Submitted 10 February, 2015;
originally announced February 2015.
-
Maximum density of an induced 5-cycle is achieved by an iterated blow-up of a 5-cycle
Authors:
József Balogh,
** Hu,
Bernard Lidický,
Florian Pfender
Abstract:
Let $C(n)$ denote the maximum number of induced copies of 5-cycles in graphs on $n$ vertices. For $n$ large enough, we show that $C(n)=a\cdot b\cdot c \cdot d \cdot e + C(a)+C(b)+C(c)+C(d)+C(e)$, where $a+b+c+d+e = n$ and $a,b,c,d,e$ are as equal as possible.
Moreover, if $n$ is a power of 5, we show that the unique graph on $n$ vertices maximizing the number of induced 5-cycles is an iterated b…
▽ More
Let $C(n)$ denote the maximum number of induced copies of 5-cycles in graphs on $n$ vertices. For $n$ large enough, we show that $C(n)=a\cdot b\cdot c \cdot d \cdot e + C(a)+C(b)+C(c)+C(d)+C(e)$, where $a+b+c+d+e = n$ and $a,b,c,d,e$ are as equal as possible.
Moreover, if $n$ is a power of 5, we show that the unique graph on $n$ vertices maximizing the number of induced 5-cycles is an iterated blow-up of a 5-cycle.
△ Less
Submitted 17 November, 2014;
originally announced November 2014.
-
Crossing numbers of complete tripartite and balanced complete multipartite graphs
Authors:
Ellen Gethner,
Leslie Hogben,
Bernard Lidický,
Florian Pfender,
Amanda Ruiz,
Michael Young
Abstract:
The crossing number cr(G) of a graph G is the minimum number of crossings in a nondegenerate planar drawing of G. The rectilinear crossing number cr'(G) of G is the minimum number of crossings in a rectilinear nondegenerate planar drawing (with edges as straight line segments) of G. Zarankiewicz proved in 1952 that cr'(K_{n_1,n_2})\le Z(n_1,n_2):= n_1/2*(n_1-1)/2*n_2/2*(n_2-1)/2. We define an anal…
▽ More
The crossing number cr(G) of a graph G is the minimum number of crossings in a nondegenerate planar drawing of G. The rectilinear crossing number cr'(G) of G is the minimum number of crossings in a rectilinear nondegenerate planar drawing (with edges as straight line segments) of G. Zarankiewicz proved in 1952 that cr'(K_{n_1,n_2})\le Z(n_1,n_2):= n_1/2*(n_1-1)/2*n_2/2*(n_2-1)/2. We define an analogous bound A(n_1,n_2,n_3) for the complete tripartite graph K_{n_1,n_2,n_3}, and prove that cr'(K_{n_1,n_2,n_3})\le A({n_1,n_2,n_3}). We also show that for n large enough, 0.973 A(n,n,n) \le cr'(K_{n,n,n}) and 0.666 A(n,n,n)\le cr(K_{n,n,n}), with the tighter rectilinear lower bound established through the use of flag algebras. A complete multipartite graph is balanced if the partite sets all have the same cardinality. We study asymptotic behavior of the crossing number of the balanced complete r-partite graph. Richter and Thomassen proved in 1997 that the limit as n\to\infty of cr(K_{n,n}) over the maximum number of crossings in a drawing of K_{n,n} exists and is at most 1/4. We define z(r)=3(r^2-r)/8(r^2+r-3) and show that for a fixed r and the balanced complete r-partite graph, z(r) is an upper bound to the limit superior of the crossing number divided by the maximum number of crossings in a drawing.
△ Less
Submitted 2 October, 2014;
originally announced October 2014.
-
Rainbow triangles in three-colored graphs
Authors:
Jozsef Balogh,
** Hu,
Bernard Lidicky,
Florian Pfender,
Jan Volec,
Michael Young
Abstract:
Erdos and Sos proposed a problem of determining the maximum number F(n) of rainbow triangles in 3-edge-colored complete graphs on n vertices. They conjectured that F(n) = F(a)+ F(b)+F(c)+F(d)+abc+abd+acd+bcd, where a+b+c+d = n and a, b, c, d are as equal as possible. We prove that the conjectured recurrence holds for sufficiently large n. We also prove the conjecture for n = 4k for all k. These re…
▽ More
Erdos and Sos proposed a problem of determining the maximum number F(n) of rainbow triangles in 3-edge-colored complete graphs on n vertices. They conjectured that F(n) = F(a)+ F(b)+F(c)+F(d)+abc+abd+acd+bcd, where a+b+c+d = n and a, b, c, d are as equal as possible. We prove that the conjectured recurrence holds for sufficiently large n. We also prove the conjecture for n = 4k for all k. These results imply that lim F(n) n^3/6 = 0.4, and determine the unique limit object. In the proof we use flag algebras combined with stability arguments.
△ Less
Submitted 22 August, 2014;
originally announced August 2014.
-
Graph Saturation in Multipartite Graphs
Authors:
Michael Ferrara,
Michael S. Jacobson,
Florian Pfender,
Paul S. Wenger
Abstract:
Let $G$ be a fixed graph and let ${\mathcal F}$ be a family of graphs. A subgraph $J$ of $G$ is ${\mathcal F}$-saturated if no member of ${\mathcal F}$ is a subgraph of $J$, but for any edge $e$ in $E(G)-E(J)$, some element of ${\mathcal F}$ is a subgraph of $J+e$. We let $\text{ex}({\mathcal F},G)$ and $\text{sat}({\mathcal F},G)$ denote the maximum and minimum size of an ${\mathcal F}$-saturated…
▽ More
Let $G$ be a fixed graph and let ${\mathcal F}$ be a family of graphs. A subgraph $J$ of $G$ is ${\mathcal F}$-saturated if no member of ${\mathcal F}$ is a subgraph of $J$, but for any edge $e$ in $E(G)-E(J)$, some element of ${\mathcal F}$ is a subgraph of $J+e$. We let $\text{ex}({\mathcal F},G)$ and $\text{sat}({\mathcal F},G)$ denote the maximum and minimum size of an ${\mathcal F}$-saturated subgraph of $G$, respectively. If no element of ${\mathcal F}$ is a subgraph of $G$, then $\text{sat}({\mathcal F},G) = \text{ex}({\mathcal F}, G) = |E(G)|$.
In this paper, for $k\ge 3$ and $n\ge 100$ we determine $\text{sat}(K_3,K_k^n)$, where $K_k^n$ is the complete balanced $k$-partite graph with partite sets of size $n$. We also give several families of constructions of $K_t$-saturated subgraphs of $K_k^n$ for $t\ge 4$. Our results and constructions provide an informative contrast to recent results on the edge-density version of $\text{ex}(K_t,K_k^n)$ from [A. Bondy, J. Shen, S. Thomassé, and C. Thomassen, Density conditions for triangles in multipartite graphs, Combinatorica 26 (2006), 121--131] and [F. Pfender, Complete subgraphs in multipartite graphs, Combinatorica 32 (2012), no. 4, 483--495].
△ Less
Submitted 13 August, 2014;
originally announced August 2014.
-
Complexity Results for Rainbow Matchings
Authors:
Van Bang Le,
Florian Pfender
Abstract:
A rainbow matching in an edge-colored graph is a matching whose edges have distinct colors. We address the complexity issue of the following problem, \mrbm: Given an edge-colored graph $G$, how large is the largest rainbow matching in $G$? We present several sharp contrasts in the complexity of this problem.
We show, among others, that
* can be approximated by a polynomial algorithm with appro…
▽ More
A rainbow matching in an edge-colored graph is a matching whose edges have distinct colors. We address the complexity issue of the following problem, \mrbm: Given an edge-colored graph $G$, how large is the largest rainbow matching in $G$? We present several sharp contrasts in the complexity of this problem.
We show, among others, that
* can be approximated by a polynomial algorithm with approximation ratio $2/3-\eps$.
* is APX-complete, even when restricted to properly edge-colored linear forests without a $5$-vertex path, and is solvable in %time $O(m^{3/2})$ on edge-colored $m$-edge polynomial time for edge-colored forests without a $4$-vertex path.
* is APX-complete, even when restricted to properly edge-colored trees without an $8$-vertex path, and is solvable in %time $O(n^{7/2})$ on edge-colored $n$-vertex polynomial time for edge-colored trees without a $7$-vertex path.
* is APX-complete, even when restricted to properly edge-colored paths.
These results provide a dichotomy theorem for the complexity of the problem on forests and trees in terms of forbidding paths. The latter is somewhat surprising, since, to the best of our knowledge, no (unweighted) graph problem prior to our result is known to be NP-hard for simple paths.
We also address the parameterized complexity of the problem.
△ Less
Submitted 27 December, 2013;
originally announced December 2013.
-
Total weight choosability in Hypergraphs
Authors:
Florian Pfender
Abstract:
A total weighting of the vertices and edges of a hypergraph is called vertex-coloring if the total weights of the vertices yield a proper coloring of the graph, i.e., every edge contains at least two vertices with different weighted degrees. In this note we show that such a weighting is possible if every vertex has two, and every edge has three weights to choose from, extending a recent result on…
▽ More
A total weighting of the vertices and edges of a hypergraph is called vertex-coloring if the total weights of the vertices yield a proper coloring of the graph, i.e., every edge contains at least two vertices with different weighted degrees. In this note we show that such a weighting is possible if every vertex has two, and every edge has three weights to choose from, extending a recent result on graphs to hypergraphs.
△ Less
Submitted 21 December, 2013;
originally announced December 2013.
-
The 1-2-3 Conjecture for Hypergraphs
Authors:
Maciej Kalkowski,
Michał Karoński,
Florian Pfender
Abstract:
A weighting of the edges of a hypergraph is called vertex-coloring if the weighted degrees of the vertices yield a proper coloring of the graph, i.e., every edge contains at least two vertices with different weighted degrees. In this paper we show that such a weighting is possible from the weight set {1,2,...,r+1} for all hypergraphs with maximum edge size r>3 and not containing edges solely consi…
▽ More
A weighting of the edges of a hypergraph is called vertex-coloring if the weighted degrees of the vertices yield a proper coloring of the graph, i.e., every edge contains at least two vertices with different weighted degrees. In this paper we show that such a weighting is possible from the weight set {1,2,...,r+1} for all hypergraphs with maximum edge size r>3 and not containing edges solely consisting of identical vertices. The number r+1 is best possible for this statement.
Further, the weight set {1,2,3,4,5} is sufficient for all hypergraphs with maximum edge size 3, up to some trivial exceptions.
△ Less
Submitted 19 May, 2016; v1 submitted 2 August, 2013;
originally announced August 2013.
-
Quartic graphs with every edge in a triangle
Authors:
Florian Pfender,
Gordon F. Royle
Abstract:
We characterise the quartic (i.e. 4-regular) multigraphs with the property that every edge lies in a triangle. The main result is that such graphs are either squares of cycles, line multigraphs of cubic multigraphs, or are obtained from these by a number of simple subgraph-replacement operations. A corollary of this is that a simple quartic graph with every edge in a triangle is either the square…
▽ More
We characterise the quartic (i.e. 4-regular) multigraphs with the property that every edge lies in a triangle. The main result is that such graphs are either squares of cycles, line multigraphs of cubic multigraphs, or are obtained from these by a number of simple subgraph-replacement operations. A corollary of this is that a simple quartic graph with every edge in a triangle is either the square of a cycle, the line graph of a cubic graph or a graph obtained from the line multigraph of a cubic multigraph by replacing triangles with copies of K_{1,1,3}.
△ Less
Submitted 31 July, 2013;
originally announced August 2013.
-
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.
-
Combined degree and connectivity conditions for H-linked graphs
Authors:
Florian Pfender
Abstract:
For a given multigraph H, a graph G is H-linked, if |G| \geq |H| and for every injective map τ: V (H) \rightarrow V (G), we can find internally disjoint paths in G, such that every edge from uv in H corresponds to a τ (u) - τ (v) path. To guarantee that a G is H-linked, you need a minimum degree larger than |G|/2. This situation changes, if you know that G has a certain connectivity k. Depending o…
▽ More
For a given multigraph H, a graph G is H-linked, if |G| \geq |H| and for every injective map τ: V (H) \rightarrow V (G), we can find internally disjoint paths in G, such that every edge from uv in H corresponds to a τ (u) - τ (v) path. To guarantee that a G is H-linked, you need a minimum degree larger than |G|/2. This situation changes, if you know that G has a certain connectivity k. Depending on k, even a minimum degree independent of |G| may suffice. Let δ(k, H, N) be the minimum number, such that every k-connected graph G with |G| = N and δ(G) \geq δ(k, H, N) is H-linked. We study bounds for this quantity. In particular, we find bounds for all multigraphs H with at most three edges, which are optimal up to small additive or multiplicative constants.
△ Less
Submitted 7 June, 2012;
originally announced June 2012.
-
Large rainbow matchings in large graphs
Authors:
Alexandr Kostochka,
Florian Pfender,
Matthew Yancey
Abstract:
A \textit{rainbow subgraph} of an edge-colored graph is a subgraph whose edges have distinct colors. The \textit{color degree} of a vertex $v$ is the number of different colors on edges incident to $v$. We show that if $n$ is large enough (namely, $n\geq 4.25k^2$), then each $n$-vertex graph $G$ with minimum color degree at least $k$ contains a rainbow matching of size at least $k$.
A \textit{rainbow subgraph} of an edge-colored graph is a subgraph whose edges have distinct colors. The \textit{color degree} of a vertex $v$ is the number of different colors on edges incident to $v$. We show that if $n$ is large enough (namely, $n\geq 4.25k^2$), then each $n$-vertex graph $G$ with minimum color degree at least $k$ contains a rainbow matching of size at least $k$.
△ Less
Submitted 14 April, 2012;
originally announced April 2012.
-
Rainbow Matchings of size δ(G) in Properly Edge-colored Graphs
Authors:
Jennifer Diemunsch,
Michael Ferrara,
Casey Moffatt,
Florian Pfender,
Paul S. Wenger
Abstract:
A {\it rainbow matching} in an edge-colored graph is a matching in which all the edges have distinct colors. Wang asked if there is a function f(δ) such that a properly edge-colored graph G with minimum degree δand order at least f(δ) must have a rainbow matching of size δ. We answer this question in the affirmative; f(δ) = 6.5δsuffices. Furthermore, the proof provides a O(δ(G)|V(G)|^2)-time algor…
▽ More
A {\it rainbow matching} in an edge-colored graph is a matching in which all the edges have distinct colors. Wang asked if there is a function f(δ) such that a properly edge-colored graph G with minimum degree δand order at least f(δ) must have a rainbow matching of size δ. We answer this question in the affirmative; f(δ) = 6.5δsuffices. Furthermore, the proof provides a O(δ(G)|V(G)|^2)-time algorithm that generates such a matching.
△ Less
Submitted 11 August, 2011;
originally announced August 2011.
-
Total Vertex Irregularity Strength of Forests
Authors:
Marcin Anholcer,
Michał Karoński,
Florian Pfender
Abstract:
We investigate a graph parameter called the total vertex irregularity strength ($tvs(G)$), i.e. the minimal $s$ such that there is a labeling $w: E(G)\cup V(G)\rightarrow \{1,2,..,s\}$ of the edges and vertices of $G$ giving distinct weighted degrees $wt_G(v):=w(v)+\sum_{v\in e \in E(G)}w(e)$ for every pair of vertices of $G$. We prove that $tvs(F)=\lceil (n_1+1)/2 \rceil$ for every forest $F$ wit…
▽ More
We investigate a graph parameter called the total vertex irregularity strength ($tvs(G)$), i.e. the minimal $s$ such that there is a labeling $w: E(G)\cup V(G)\rightarrow \{1,2,..,s\}$ of the edges and vertices of $G$ giving distinct weighted degrees $wt_G(v):=w(v)+\sum_{v\in e \in E(G)}w(e)$ for every pair of vertices of $G$. We prove that $tvs(F)=\lceil (n_1+1)/2 \rceil$ for every forest $F$ with no vertices of degree 2 and no isolated vertices, where $n_1$ is the number of pendant vertices in $F$. Stronger results for trees were recently proved by Nurdin et al.
△ Less
Submitted 10 March, 2011;
originally announced March 2011.
-
Total Edge Irregularity Strength of Large Graphs
Authors:
Florian Pfender
Abstract:
Let $m:=|E(G)|$ sufficiently large and $s:=(m-1)/3$. We show that unless the maximum degree $Δ> 2s$, there is a weighting $w:E\cup V\to \{0,1,...,s\}$ so that $w(uv)+w(u)+w(v)\ne w(u'v')+w(u')+w(v')$ whenever $uv\ne u'v'$ (such a weighting is called {\em total edge irregular}). This validates a conjecture by Ivanco and Jendrol' for large graphs, extending a result by Brandt, Miskuf and Rautenbach.
Let $m:=|E(G)|$ sufficiently large and $s:=(m-1)/3$. We show that unless the maximum degree $Δ> 2s$, there is a weighting $w:E\cup V\to \{0,1,...,s\}$ so that $w(uv)+w(u)+w(v)\ne w(u'v')+w(u')+w(v')$ whenever $uv\ne u'v'$ (such a weighting is called {\em total edge irregular}). This validates a conjecture by Ivanco and Jendrol' for large graphs, extending a result by Brandt, Miskuf and Rautenbach.
△ Less
Submitted 23 June, 2010;
originally announced June 2010.
-
Complete subgraphs in multipartite graphs
Authors:
Florian Pfender
Abstract:
Turan's Theorem states that every graph of a certain edge density contains a complete graph $K^k$ and describes the unique extremal graphs. We give a similar Theorem for l-partite graphs. For large l, we find the minimal edge density $d^k_l$, such that every $\ell$-partite graph whose parts have pairwise edge density greater than $d^k_l$ contains a $K^k$. It turns out that $d^k_l=(k-2)/(k-1)$ fo…
▽ More
Turan's Theorem states that every graph of a certain edge density contains a complete graph $K^k$ and describes the unique extremal graphs. We give a similar Theorem for l-partite graphs. For large l, we find the minimal edge density $d^k_l$, such that every $\ell$-partite graph whose parts have pairwise edge density greater than $d^k_l$ contains a $K^k$. It turns out that $d^k_l=(k-2)/(k-1)$ for large enough l. We also describe the structure of the extremal graphs.
For the case of triangles we show that $d^3_{13}=1/2$, disproving a conjecture by Bondy, Shen, Thomasse and Thomassen.
△ Less
Submitted 8 October, 2009;
originally announced October 2009.
-
Rooted induced trees in triangle-free graphs
Authors:
Florian Pfender
Abstract:
For a graph $G$, let $t(G)$ denote the maximum number of vertices in an induced subgraph of $G$ that is a tree. Further, for a vertex $v\in V(G)$, let $t^v(G)$ denote the maximum number of vertices in an induced subgraph of $G$ that is a tree, with the extra condition that the tree must contain $v$. The minimum of $t(G)$ ($t^v(G)$, respectively) over all connected triangle-free graphs $G$ (and v…
▽ More
For a graph $G$, let $t(G)$ denote the maximum number of vertices in an induced subgraph of $G$ that is a tree. Further, for a vertex $v\in V(G)$, let $t^v(G)$ denote the maximum number of vertices in an induced subgraph of $G$ that is a tree, with the extra condition that the tree must contain $v$. The minimum of $t(G)$ ($t^v(G)$, respectively) over all connected triangle-free graphs $G$ (and vertices $v\in V(G)$) on $n$ vertices is denoted by $t_3(n)$ ($t_3^v(n)$). Clearly, $t^v(G)\le t(G)$ for all $v\in V(G)$. In this note, we solve the extremal problem of maximizing $|G|$ for given $t^v(G)$, given that $G$ is connected and triangle-free. We show that $|G|\le 1+\frac{(t_v(G)-1)t_v(G)}{2}$ and determine the unique extremal graphs. Thus, we get as corollary that $t_3(n)\ge t_3^v(n)=\lceil {1/2}(1+\sqrt{8n-7})\rceil$, improving a recent result by Fox, Loh and Sudakov.
△ Less
Submitted 15 December, 2008; v1 submitted 9 April, 2008;
originally announced April 2008.
-
On Visibility Graphs of Point Sets in the Plane
Authors:
F. Pfender
Abstract:
The visibility graph Vis(X) of a discrete point set X in the plane has vertex set X and an edge xy for every two points x,y\in X whenever there is no other point in X on the line segment between x and y. We show that for every graph G, there is a point set X, such that the subgraph of Vis(X\cup Z^2) induced by X is isomorphic to G. As a consequence, we show that there are visibility graphs of ar…
▽ More
The visibility graph Vis(X) of a discrete point set X in the plane has vertex set X and an edge xy for every two points x,y\in X whenever there is no other point in X on the line segment between x and y. We show that for every graph G, there is a point set X, such that the subgraph of Vis(X\cup Z^2) induced by X is isomorphic to G. As a consequence, we show that there are visibility graphs of arbitrary high chromatic number with clique number six settling a question by Kára, Pór and Wood.
△ Less
Submitted 21 October, 2005;
originally announced October 2005.
-
Improved Delsarte bounds for spherical codes in small dimensions
Authors:
Florian Pfender
Abstract:
We present an extension of the Delsarte linear programming method. For several dimensions it yields improved upper bounds for kissing numbers and for spherical codes. Musin's recent work on kissing numbers in dimensions three and four can be viewed in our framework.
We present an extension of the Delsarte linear programming method. For several dimensions it yields improved upper bounds for kissing numbers and for spherical codes. Musin's recent work on kissing numbers in dimensions three and four can be viewed in our framework.
△ Less
Submitted 10 March, 2008; v1 submitted 27 January, 2005;
originally announced January 2005.