-
On the number of edges in saturated partial embeddings of maximal planar graphs
Authors:
János Barát,
Zoltán L. Blázsik,
Balázs Keszegh,
Zeyu Zheng
Abstract:
We investigate the extremal properties of saturated partial plane embeddings of maximal planar graphs. For a planar graph $G$, the plane-saturation number $\mathrm{sat}_{\mathcal{P}}(G)$ denotes the minimum number of edges in a plane subgraph of $G$ such that the addition of any edge either violates planarity or results in a graph that is not a subgraph of $G$. We focus on maximal planar graphs an…
▽ More
We investigate the extremal properties of saturated partial plane embeddings of maximal planar graphs. For a planar graph $G$, the plane-saturation number $\mathrm{sat}_{\mathcal{P}}(G)$ denotes the minimum number of edges in a plane subgraph of $G$ such that the addition of any edge either violates planarity or results in a graph that is not a subgraph of $G$. We focus on maximal planar graphs and establish an upper bound on $\mathrm{sat}_{\mathcal{P}}(G)$ by showing there exists a universal constant $ε> 0$ such that $\mathrm{sat}_{\mathcal{P}}(G) < (3-ε)v(G)$ for any maximal planar graph $G$ with $v(G) \geq 16$. This answers a question posed by Clifton and Simon. Additionally, we derive lower bound results and demonstrate that for maximal planar graphs with sufficiently large number of vertices, the minimum ratio $\mathrm{sat}_{\mathcal{P}}(G)/e(G)$ lies within the interval $(1/16, 1/9 + o(1)]$.
△ Less
Submitted 7 February, 2025;
originally announced February 2025.
-
Characterization of graphs with orientable total domination number equal to $|V|-1$
Authors:
Zoltán L. Blázsik,
Leila Vivien Nagy
Abstract:
In a directed graph $D$, a vertex subset $S\subseteq V$ is a total dominating set if every vertex of $D$ has an in-neighbor from $S$. A total dominating set exists if and only if every vertex has at least one in-neighbor. We call the orientation of such directed graphs valid. The total domination number of $D$, denoted by $γ_t(D)$, is the size of the smallest total dominating set of $D$. For an un…
▽ More
In a directed graph $D$, a vertex subset $S\subseteq V$ is a total dominating set if every vertex of $D$ has an in-neighbor from $S$. A total dominating set exists if and only if every vertex has at least one in-neighbor. We call the orientation of such directed graphs valid. The total domination number of $D$, denoted by $γ_t(D)$, is the size of the smallest total dominating set of $D$. For an undirected graph $G$, we investigate the upper (or lower) orientable total domination number of $G$, denoted by $\mathrm{DOM}_t(G)$ (or $\mathrm{dom}_t(G)$), that is the maximum (or minimum) of the total domination numbers over all valid orientations of $G$. We characterize those graphs for which $\mathrm{DOM}_t(G)=|V(G)|-1$, and consequently we show that there exists a family of graphs for which $\mathrm{DOM}_t(G)$ and $\mathrm{dom}_t(G)$ can be as far as possible, namely $\mathrm{DOM}_t(G)=|V(G)|-1$ and $\mathrm{dom}_t(G)=3$.
△ Less
Submitted 7 November, 2024;
originally announced November 2024.
-
The connection between the chromatic numbers of a hypergraph and its $1$-intersection graph
Authors:
Zoltán L. Blázsik,
Nathan W. Lemons
Abstract:
A well known problem from an excellent book of Lovász states that any hypergraph with the property that no pair of hyperedges intersect in exactly one vertex can be properly 2-colored. Motivated by this as well as recent works of Keszegh and of Gyárfás et al we study the $1$-intersection graph of a hypergraph. The $1$-intersection graph encodes those pairs of hyperedges in a hypergraph that inters…
▽ More
A well known problem from an excellent book of Lovász states that any hypergraph with the property that no pair of hyperedges intersect in exactly one vertex can be properly 2-colored. Motivated by this as well as recent works of Keszegh and of Gyárfás et al we study the $1$-intersection graph of a hypergraph. The $1$-intersection graph encodes those pairs of hyperedges in a hypergraph that intersect in exactly one vertex. We prove for $k\in\{2,4\}$ that all hypergraphs whose $1$-intersection graph is $k$-partite can be properly $k$-colored.
△ Less
Submitted 17 June, 2024;
originally announced June 2024.
-
Improved upper bound on the Frank number of $3$-edge-connected graphs
Authors:
János Barát,
Zoltán L. Blázsik
Abstract:
In an orientation $O$ of the graph $G$, an arc $e$ is deletable if and only if $O-e$ is strongly connected. For a $3$-edge-connected graph $G$, the Frank number is the minimum $k$ for which $G$ admits $k$ strongly connected orientations such that for every edge $e$ of $G$ the corresponding arc is deletable in at least one of the $k$ orientations. Hörsch and Szigeti conjectured the Frank number is…
▽ More
In an orientation $O$ of the graph $G$, an arc $e$ is deletable if and only if $O-e$ is strongly connected. For a $3$-edge-connected graph $G$, the Frank number is the minimum $k$ for which $G$ admits $k$ strongly connected orientations such that for every edge $e$ of $G$ the corresponding arc is deletable in at least one of the $k$ orientations. Hörsch and Szigeti conjectured the Frank number is at most $3$ for every $3$-edge-connected graph $G$. We prove an upper bound of $5$, which improves the previous bound of $7$.
△ Less
Submitted 30 May, 2023;
originally announced May 2023.
-
General sharp upper bounds on the total coalition number
Authors:
János Barát,
Zoltán L. Blázsik
Abstract:
Let $G(V,E)$ be a finite, simple, isolate-free graph. Two disjoint sets $A,B\subset V$ form a total coalition in $G$, if none of them is a total dominating set, but their union $A\cup B$ is a total dominating set. A vertex partition $Ψ=\{C_1,C_2,\dots,C_k\}$ is a total coalition partition, if none of the partition classes is a total dominating set, meanwhile for every $i\in\{1,2,\dots,k\}$ there e…
▽ More
Let $G(V,E)$ be a finite, simple, isolate-free graph. Two disjoint sets $A,B\subset V$ form a total coalition in $G$, if none of them is a total dominating set, but their union $A\cup B$ is a total dominating set. A vertex partition $Ψ=\{C_1,C_2,\dots,C_k\}$ is a total coalition partition, if none of the partition classes is a total dominating set, meanwhile for every $i\in\{1,2,\dots,k\}$ there exists a distinct $j\in\{1,2,\dots,k\}$ such that $C_i$ and $C_j$ form a total coalition. The maximum cardinality of a total coalition partition of $G$ is the total coalition number of $G$ and denoted by $TC(G)$. We give a general sharp upper bound on the total coalition number as a function of the maximum degree. We further investigate this optimal case and study the total coalition graph. We show that every graph can be realised as a total coalition graph.
△ Less
Submitted 7 February, 2023; v1 submitted 24 January, 2023;
originally announced January 2023.
-
Quest for graphs of Frank number $3$
Authors:
János Barát,
Zoltán L. Blázsik
Abstract:
In an orientation $O$ of the graph $G$, the edge $e$ is deletable if and only if $O-e$ is strongly connected. For a $3$-edge-connected graph $G$, Hörsch and Szigeti defined the Frank number as the minimum $k$ for which $G$ admits $k$ orientations such that every edge $e$ of $G$ is deletable in at least one of the $k$ orientations. They conjectured the Frank number is at most $3$ for every $3$-edge…
▽ More
In an orientation $O$ of the graph $G$, the edge $e$ is deletable if and only if $O-e$ is strongly connected. For a $3$-edge-connected graph $G$, Hörsch and Szigeti defined the Frank number as the minimum $k$ for which $G$ admits $k$ orientations such that every edge $e$ of $G$ is deletable in at least one of the $k$ orientations. They conjectured the Frank number is at most $3$ for every $3$-edge-connected graph $G$. They proved the Petersen graph has Frank number $3$, but this was the only example with this property. We show an infinite class of graphs having Frank number $3$. Hörsch and Szigeti showed every $3$-edge-colorable $3$-edge-connected graph has Frank number at most $3$. It is tempting to consider non-$3$-edge-colorable graphs as candidates for having Frank number greater than $2$. Snarks are sometimes a good source of finding critical examples or counterexamples. One might suspect various snarks should have Frank number $3$. However, we prove several candidate infinite classes of snarks have Frank number $2$. As well as the generalized Petersen Graphs $GP(2s+1,s)$. We formulate numerous conjectures inspired by our experience.
△ Less
Submitted 19 September, 2022;
originally announced September 2022.
-
Crumby colorings -- red-blue vertex partition of subcubic graphs regarding a conjecture of Thomassen
Authors:
János Barát,
Zoltán L. Blázsik,
Gábor Damásdi
Abstract:
Thomassen formulated the following conjecture: Every $3$-connected cubic graph has a red-blue vertex coloring such that the blue subgraph has maximum degree at most $1$ (that is, it consists of a matching and some isolated vertices) and the red subgraph has minimum degree at least $1$ and contains no $3$-edge path. Since all monochromatic components are small in this coloring and there is a certai…
▽ More
Thomassen formulated the following conjecture: Every $3$-connected cubic graph has a red-blue vertex coloring such that the blue subgraph has maximum degree at most $1$ (that is, it consists of a matching and some isolated vertices) and the red subgraph has minimum degree at least $1$ and contains no $3$-edge path. Since all monochromatic components are small in this coloring and there is a certain irregularity, we call such a coloring \emph{crumby}. Recently, Bellitto, Klimošová, Merker, Witkowski and Yuditsky \cite{counter} constructed an infinite family refuting the above conjecture. Their prototype counterexample is $2$-connected, planar, but contains a $K_4$-minor and also a $5$-cycle. This leaves the above conjecture open for some important graph classes: outerplanar graphs, $K_4$-minor-free graphs, bipartite graphs. In this regard, we prove that $2$-connected outerplanar graphs, subdivisions of $K_4$ and $1$-subdivisions of cubic graphs admit crumby colorings. A subdivision of $G$ is {\it genuine} if every edge is subdivided at least once. We show that every genuine subdivision of any subcubic graph admits a crumby coloring. We slightly generalise some of these results and formulate a few conjectures.
△ Less
Submitted 8 December, 2022; v1 submitted 18 August, 2021;
originally announced August 2021.
-
Upper bounds for the necklace folding problems
Authors:
Endre Csóka,
Zoltán L. Blázsik,
Zoltán Király,
Dániel Lenger
Abstract:
A necklace can be considered as a cyclic list of $n$ red and $n$ blue beads in an arbitrary order, and the goal is to fold it into two and find a large cross-free matching of pairs of beads of different colors. We give a counterexample for a conjecture about the necklace folding problem, also known as the separated matching problem. The conjecture (given independently by three sets of authors) sta…
▽ More
A necklace can be considered as a cyclic list of $n$ red and $n$ blue beads in an arbitrary order, and the goal is to fold it into two and find a large cross-free matching of pairs of beads of different colors. We give a counterexample for a conjecture about the necklace folding problem, also known as the separated matching problem. The conjecture (given independently by three sets of authors) states that $μ=\frac{2}{3}$, where $μ$ is the ratio of the `covered' beads to the total number of beads.
We refute this conjecture by giving a construction which proves that $μ\le 2 \nolinebreak - \nolinebreak \sqrt 2 < 0.5858$. Our construction also applies to the homogeneous model: when we are matching beads of the same color. Moreover, we also consider the problem where the two color classes not necessarily have the same size.
△ Less
Submitted 26 May, 2020;
originally announced May 2020.
-
On the balanced upper chromatic number of finite projective planes
Authors:
Zoltán L. Blázsik,
Aart Blokhuis,
Štefko Miklavič,
Zoltán Lóránt Nagy,
Tamás Szőnyi
Abstract:
In this paper, we study vertex colorings of hypergraphs in which all color class sizes differ by at most one (balanced colorings) and each hyperedge contains at least two vertices of the same color (rainbow-free colorings). For any hypergraph $H$, the maximum number $k$ for which there is a balanced rainbow-free $k$-coloring of $H$ is called the balanced upper chromatic number of the hypergraph. W…
▽ More
In this paper, we study vertex colorings of hypergraphs in which all color class sizes differ by at most one (balanced colorings) and each hyperedge contains at least two vertices of the same color (rainbow-free colorings). For any hypergraph $H$, the maximum number $k$ for which there is a balanced rainbow-free $k$-coloring of $H$ is called the balanced upper chromatic number of the hypergraph. We confirm the conjecture of Araujo-Pardo, Kiss and Montejano by determining the balanced upper chromatic number of the desarguesian projective plane $\mathrm{PG}(2,q)$ for all $q$. In addition, we determine asymptotically the balanced upper chromatic number of several families of non-desarguesian projective planes and also provide a general lower bound for arbitrary projective planes using probabilistic methods which determines the parameter up to a multiplicative constant.
△ Less
Submitted 25 May, 2020;
originally announced May 2020.
-
On the upper chromatic number and multiplte blocking sets of PG($n,q$)
Authors:
Zoltán L. Blázsik,
Tamás Héger,
Tamás Szőnyi
Abstract:
We investigate the upper chromatic number of the hypergraph formed by the points and the $k$-dimensional subspaces of $\mathrm{PG}(n,q)$; that is, the most number of colors that can be used to color the points so that every $k$-subspace contains at least two points of the same color. Clearly, if one colors the points of a double blocking set with the same color, the rest of the points may get mutu…
▽ More
We investigate the upper chromatic number of the hypergraph formed by the points and the $k$-dimensional subspaces of $\mathrm{PG}(n,q)$; that is, the most number of colors that can be used to color the points so that every $k$-subspace contains at least two points of the same color. Clearly, if one colors the points of a double blocking set with the same color, the rest of the points may get mutually distinct colors. This gives a trivial lower bound, and we prove that it is sharp in many cases. Due to this relation with double blocking sets, we also prove that for $t\leq \frac38p+1$, a small $t$-fold (weighted) $(n-k)$-blocking set of $\mathrm{PG}(n,p)$, $p$ prime, must contain the weighted sum of $t$ not necessarily distinct $(n-k)$-spaces.
△ Less
Submitted 6 September, 2019;
originally announced September 2019.
-
Spreading linear triple systems and expander triple systems
Authors:
Zoltán L. Blázsik,
Zoltán Lóránt Nagy
Abstract:
The existence of Steiner triple systems STS(n) of order n containing no nontrivial subsystem is well known for every admissible n. We generalize this result in two ways. First we define the expander property of 3-uniform hypergraphs and show the existence of Steiner triple systems which are almost perfect expanders. Next we define the strong and weak spreading property of linear hypergraphs, and d…
▽ More
The existence of Steiner triple systems STS(n) of order n containing no nontrivial subsystem is well known for every admissible n. We generalize this result in two ways. First we define the expander property of 3-uniform hypergraphs and show the existence of Steiner triple systems which are almost perfect expanders. Next we define the strong and weak spreading property of linear hypergraphs, and determine the minimum size of a linear triple system with these properties, up to a small constant factor. This property is strongly connected to the connectivity of the structure and of the so-called influence maximization. We also discuss how the results are related to Erdős' conjecture on locally sparse STSs, influence maximization, subsquare-free Latin squares and possible applications in finite geometry.
△ Less
Submitted 9 March, 2020; v1 submitted 7 June, 2019;
originally announced June 2019.
-
Cospectral regular graphs with and without a perfect matching
Authors:
Zoltan L. Blazsik,
Jay Cummings,
Willem H. Haemers
Abstract:
For each $b \geq 5$ we construct a pair of cospectral $b$-regular graphs, where one has a perfect matching and the other one not. This solves a research problem posed by the third author at the 22nd British Combinatorial Conference.
For each $b \geq 5$ we construct a pair of cospectral $b$-regular graphs, where one has a perfect matching and the other one not. This solves a research problem posed by the third author at the 22nd British Combinatorial Conference.
△ Less
Submitted 5 September, 2014; v1 submitted 2 September, 2014;
originally announced September 2014.
