arXiv++ Combinatorics

The Reconstruction Conjecture due to Kelly and Ulam states that every graph with at least 3 vertices is uniquely determined by its multiset of subgraphs $\{G-v: v\in V(G)\}$. Let $diam(G)$ and $κ(G)$ denote the diameter and the connectivity of a graph $G$, respectively, and let $\mathcal{G}_2:=\{G: \textrm{diam}(G)=2\}$ and $\mathcal{G}_3:=\{G:\textrm{diam}(G)=\textrm{diam}(\overline{G})=3\}$. It is known that the Reconstruction Conjecture is true if and only if it is true for every 2-connected graph in $\mathcal{G}_2\cup \mathcal{G}_3$. Balakumar and Monikandan showed that the Reconstruction Conjecture holds for every triangle-free graph $G$ in $\mathcal{G}_2\cup \mathcal{G}_3$ with $κ(G)=2$. Moreover, they asked whether the result still holds if $κ(G)\ge 3$. (If yes, the class of graphs critical for solving the Reconstruction Conjecture is restricted to 2-connected graphs in $\mathcal{G}_2\cup\mathcal{G}_3$ which contain triangles.) In this paper, we give a partial solution to their question by showing that the Reconstruction Conjecture holds for every triangle-free graph $G$ in $\mathcal{G}_3$ and every triangle-free graph $G$ in $\mathcal{G}_2$ with $κ(G)=3$. We also prove similar results about the Edge Reconstruction Conjecture.

Every countable graph can be built from finite graphs by a suitable infinite process, either adding new vertices randomly or imposing some rules on the new edges. On the other hand, a profinite topological graph is built as the inverse limit of finite graphs with graph epimorphisms. We propose to look at both constructions simultaneously. We consider countable graphs that can be built from finite ones by using both embeddings and projections, possibly adding a single vertex at each step. We show that the Rado graph can be built this way, while Henson's universal triangle-free graph cannot. We also study the corresponding profinite graphs. Finally, we present a concrete model of the projectively universal profinite graph, the projective Fraisse limit of finite graphs, showing in particular that it has a dense subset of isolated vertices.

Determining the maximum number of edges under degree and matching number constraints have been solved for general graphs by Chvátal and Hanson (1976), and by Balachandran and Khare (2009). It follows from the structure of those extremal graphs that deciding whether this maximum number decreases or not when restricted to claw-free graphs, to $C_4$-free graphs or to triangle-free graphs are separately interesting research questions. The first two cases being already settled, respectively by Dibek, Ekim and Heggernes (2017), and by Blair, Heggernes, Lima and D.Lokshtanov (2020). In this paper we focus on triangle-free graphs. We show that unlike most cases for claw-free graphs and $C_4$-free graphs, forbidding triangles from extremal graphs causes a strict decrease in the number of edges and adds to the hardness of the problem. We provide a formula giving the maximum number of edges in a triangle-free graph with degree at most $d$ and matching number at most $m$ for all cases where $d\geq m$, and for the cases where $d<m$ with either $d\leq 6$ or $Z(d)\leq m < 2d$ where $Z(d)$ is a function of $d$ which is roughly $5d/4$. We also provide an integer programming formulation for the remaining cases and as a result of further discussion on this formulation, we conjecture that our formula giving the size of triangle-free extremal graphs is also valid for these open cases.

A complete subgraph of any simple graph $G$ on $k$ vertices is called a $k$-\emph{clique} of $G$. In this paper, we first introduce the concept of the value of a $k$-clique ($k>1$) as an extension of the idea of the degree of a given vertex. Then, we obtain the generalized version of handshaking lemma which we call it clique handshaking lemma. The well-known classical result of Mantel states that the maximum number of edges in the class of triangle-free graphs with $n$ vertices is equal to $\frac{n^{2}}{4}$. Our main goal here is to find an extension of the above result for the class of $K_{ω+1}$-free graphs, using the ideas of the value of cliques and the clique handshaking lemma.

The theta body of a graph, introduced by Grötschel, Lovász, and Schrijver in 1986, is a tractable relaxation of the independent-set polytope derived from the Lovász theta number. In this paper, we recursively extend the theta body, and hence the theta number, to hypergraphs. We obtain fundamental properties of this extension and relate it to the high-dimensional Hoffman bound of Filmus, Golubev, and Lifshitz. We discuss two applications: triangle-free graphs and Mantel's theorem, and bounds on the density of triangle-avoiding sets in the Hamming cube.

The ordinary generating function of the number of complete subgraphs of $G$ is called a clique polynomial of $G$ and is denoted by $C(G,x)$. A real root of $C(G,x)$ is called a clique root of the graph $G$. Hajiabolhasan and Mehrabadi showed that the clique polynomial has always a real root in the interval $[-1,0)$. Moreover, they showed that the class of triangle-free graphs has only clique roots. Here, we generalize their result by showing that the class of $K_4$-free chordal graphs has also only clique roots. Moreover, we show that this class has always a clique root $-1$. We finally conclude the paper with several important questions and conjectures.

In this paper we disprove a conjecture of Lidický and Murphy about the number of copies of a given graph in a $K_r$-free graph and give an alternative general conjecture. We also prove an asymptotically tight bound on the number of copies of any bipartite graph of radius at most $2$ in a triangle-free graph.

Let $G$ be a triangle-free graph on $n$ vertices with adjacency matrix eigenvalues $μ_1(G)\geq μ_2(G)\geq \dots \geq μ_n(G)$. In this paper we study the quantity $$μ_1(G)+μ_n(G).$$ We prove that for any triangle-free graph $G$ we have $$μ_1(G)+μ_n(G)\leq (3-2\sqrt{2})n.$$ This was proved for regular graphs by Brandt, we show that the condition on regularity is not necessary. We also prove that among triangle-free strongly regular graphs the Higman-Sims graph achieves the maximum of $$\frac{μ_1(G)+μ_n(G)}{n}.$$

We connect two classical results in extremal graph theory concerning the number of maximal independent sets. The maximum number mis$(n)$ of maximal independent sets in an $n$-vertex graph was determined by Moon and Moser. The maximum number mis$_\bigtriangleup(n)$ of maximal independent sets in an $n$-vertex triangle-free graph was determined by Hujter and Tuza. We determine the maximum number mis$_t(n)$ of maximal independent sets in an $n$-vertex graph containing no induced triangle matching of size $t+1$. We also reprove a stability result of Kahn and Park on the maximum number mis$_{\bigtriangleup,t}(n)$ of maximal independent sets in an $n$-vertex triangle-free graphs containing no induced matching of size $t+1$.

The independence number $α(G)$ and the dissociation number ${\rm diss}(G)$ of a graph $G$ are the largest orders of induced subgraphs of $G$ of maximum degree at most $0$ and at most $1$, respectively. We consider possible improvements of the obvious inequality $2α(G)\geq {\rm diss}(G)$. For connected cubic graphs $G$ distinct from $K_4$, we show $5α(G)\geq 3{\rm diss}(G)$, and describe the rich and interesting structure of the extremal graphs in detail. For bipartite graphs, and, more generally, triangle-free graphs, we also obtain improvements. For subcubic graphs though, the inequality cannot be improved in general, and we characterize all extremal subcubic graphs.

We prove that up to two exceptions, every connected subcubic triangle-free graph has fractional chromatic number at most 11/4. This is tight unless further exceptional graphs are excluded, and improves the known bound on the fractional chromatic number of subcubic triangle-free planar graphs.

It is well-known that eigenvalues of graphs can be used to describe structural properties and parameters of graphs. A theorem of Nosal states that if $G$ is a triangle-free graph with $m$ edges, then $λ(G)\le \sqrt{m}$, equality holds if and only if $G$ is a complete bipartite graph. Recently, Lin, Ning and Wu [Combin. Probab. Comput. 30 (2021)] proved a generalization for non-bipartite triangle-free graphs. Moreover, Zhai and Shu [Discrete Math. 345 (2022)] presented a further improvement. In this paper, we present an alternative method for proving the improvement by Zhai and Shu. Furthermore, the method can allow us to give a refinement on the result of Zhai and Shu for non-bipartite graphs without short odd cycles.

A well-known result in extremal spectral graph theory, due to Nosal and Nikiforov, states that if $G$ is a triangle-free graph on $n$ vertices, then $λ(G) \le λ(K_{\lfloor \frac{n}{2}\rfloor, \lceil \frac{n}{2} \rceil })$, equality holds if and only if $G=K_{\lfloor \frac{n}{2}\rfloor, \lceil \frac{n}{2} \rceil }$. Nikiforov [Linear Algebra Appl. 427 (2007)] extended this result to $K_{r+1}$-free graphs for every integer $r\ge 2$. This is known as the spectral Turán theorem. Recently, Lin, Ning and Wu [Combin. Probab. Comput. 30 (2021)] proved a refinement on this result for non-bipartite triangle-free graphs. In this paper, we provide alternative proofs for the result of Nikiforov and the result of Lin, Ning and Wu. Our proof can allow us to extend the later result to non-$r$-partite $K_{r+1}$-free graphs. Our result refines the theorem of Nikiforov and it also can be viewed as a spectral version of a theorem of Brouwer.

Let G be a vertex-colored graph. A vertex cut S of G is called a monochromatic vertex cut if the vertices of S are colored with the same color. A graph G is monochromatically vertex-disconnected if any two nonadjacent vertices of G has a monochromatic vertex cut separating them. The monochromatic vertex-disconnection number of G, denoted by mvd(G), is the maximum number of colors that are used to make G monochromatically vertex-disconnected. In this paper, the connection between the graph parameters are studied: mvd(G), connectivity and block decomposition. We determine the value of mvd(G) for some well known graphs, and then characterize G when n-5\leq mvd(G)\leq n and all blocks of G are minimally 2-connected triangle-free graphs. We obtain the maximum size of a graph G with mvd(G)=k for any k. Furthermore, we study the Erdős-Gallai-type results for mvd(G), and completely solve them. Finally, we propose an algorithm to compute mvd(G) and give an mvd-coloring of G.

We will state 10 problems, and solve some of them, for partitions in triangle-free graphs related to Erdős' Sparse Half Conjecture. Among others we prove the following variant of it: For every sufficiently large even integer $n$ the following holds. Every triangle-free graph on $n$ vertices has a partition $V(G)=A\cup B$ with $|A|=|B|=n/2$ such that $e(G[A])+e(G[B])\leq n^2/16$. This result is sharp since the complete bipartite graph with class sizes $3n/4$ and $n/4$ achieves equality, when $n$ is a multiple of 4. Additionally, we discuss similar problems for $K_4$-free graphs.

We show that Bernshteyn's proof of the breakthrough result of Molloy that triangle-free graphs are choosable from lists of size $(1+o(1))Δ/\logΔ$ can be adapted to yield a stronger result. In particular one may prove that such list sizes are sufficient to colour any graph of maximum degree $Δ$ provided that vertices sharing a common colour in their lists do not induce a triangle in $G$, which encompasses all cases covered by Molloy's theorem. This was thus far known to be true for lists of size $(1000+o(1))Δ/\logΔ$, as implies a more general result due to Amini and Reed. We also prove that lists of length $2(r-2)Δ\log_2\log_2Δ/\log_2Δ$ are sufficient if one replaces the triangle by any $K_r$ with $r\geq 4$, pushing also slightly the multiplicative factor of $200r$ from Bernshteyn's result down to $2(r-2)$. All bounds presented are also valid within the more general setting of correspondence colourings.

A triangle in a hypergraph $\mathcal{H}$ is a set of three distinct edges $e, f, g\in\mathcal{H}$ and three distinct vertices $u, v, w\in V(\mathcal{H})$ such that $\{u, v\}\subseteq e$, $\{v, w\}\subseteq f$, $\{w, u\}\subseteq g$ and $\{u, v, w\}\cap e\cap f\cap g=\emptyset$. Johansson proved in 1996 that $χ(G)=\mathcal{O}(Δ/\logΔ)$ for any triangle-free graph $G$ with maximum degree $Δ$. Cooper and Mubayi later generalized the Johansson's theorem to all rank $3$ hypergraphs. In this paper we provide a common generalization of both these results for all hypergraphs, showing that if $\mathcal{H}$ is a rank $k$, triangle-free hypergraph, then the list chromatic number \[ χ_{\ell}(\mathcal{H})\leq \mathcal{O}\left(\max_{2\leq \ell \leq k} \left\{\left( \frac{Δ_{\ell}}{\log Δ_{\ell}} \right)^{\frac{1}{\ell-1}} \right\}\right), \] where $Δ_{\ell}$ is the maximum $\ell$-degree of $\mathcal{H}$. The result is sharp apart from the constant. Moreover, our result implies, generalizes and improves several earlier results on the chromatic number and also independence number of hypergraphs, while its proof is based on a different approach than prior works in hypergraphs (and therefore provides alternative proofs to them). In particular, as an application, we establish a bound on chromatic number of sparse hypergraphs in which each vertex is contained in few triangles, and thus extend results of Alon, Krivelevich and Sudakov, and Cooper and Mubayi from hypergraphs of rank 2 and 3, respectively, to all hypergraphs.

Given a graph $G=(V(G), E(G))$ and a set $P\subseteq V(G)$, the following concepts have been recently introduced: $(i)$ two elements of $P$ are \emph{mutually visible} if there is a shortest path between them without further elements of $P$; $(ii)$ $P$ is a \emph{mutual-visibility set} if its elements are pairwise mutually visible; $(iii)$ the \emph{mutual-visibility number} of $G$ is the size of any largest mutual-visibility set. % In this work we continue to investigate about these concepts. We first focus on mutual-visibility in Cartesian products. For this purpose, too, we introduce and investigate independent mutual-visibility sets. In the very special case of the Cartesian product of two complete graphs the problem is shown to be equivalent to the well-known Zarenkiewicz's problem. We also characterize the triangle-free graphs with the mutual-visibility number equal to $3$.

The Burling sequence is a sequence of triangle-free graphs of unbounded chromatic number. The class of Burling graphs consists of all the induced subgraphs of the graphs of this sequence. In the first and second parts of this work, we introduced derived graphs, a class of graphs, equal to the class of Burling graphs, and proved several geometric and structural results about them. In this third part, we use those results to find some Burling and non-Burling graphs, and we see some applications of this in the theory of $χ$-boundedness. In particular, we show that several graphs, like $K_5$, some series-parallel graphs that we call necklaces, and some other graphs are not weakly pervasive.

We elucidate the relationship between the threshold and the expectation-threshold of a down-set. Qualitatively, our main result demonstrates that there exist down-sets with polynomial gaps between their thresholds and expectation-thresholds; in particular, the logarithmic gap predictions of Kahn--Kalai and Talagrand (recently proved by Park--Pham and Frankston--Kahn--Narayanan--Park) about up-sets do not apply to down-sets. Quantitatively, we show that any collection $\mathcal{G}$ of graphs on $[n]$ that covers the family of all triangle-free graphs on $[n]$ satisfies the inequality $\sum_{G \in \mathcal{G}} \exp(-δe(G^c) / \sqrt{n}) < 1/2$ for some universal $δ> 0$, and this is essentially best-possible.