arXiv++ Combinatorics

Consider an assignment of bits to the vertices of a connected graph $Γ(V, E)$ with the property that the value of each vertex is a function of the values of its neighbors. A collection of such assignments is called a storage code of length $|V|$ on $Γ$. In this paper we construct an infinite family of binary linear storage codes on triangle-free graphs with rates arbitrarily close to one.

A storage code on a graph $G$ is a set of assignments of symbols to the vertices such that every vertex can recover its value by looking at its neighbors. We consider the question of constructing large-size storage codes on triangle-free graphs constructed as coset graphs of binary linear codes. Previously it was shown that there are infinite families of binary storage codes on coset graphs with rate converging to 3/4. Here we show that codes on such graphs can attain rate asymptotically approaching 1. Equivalently, this question can be phrased as a version of hat-guessing games on graphs (e.g., P.J. Cameron e.a., \emph{Electronic J. Comb.} 2016). In this language, we construct triangle-free graphs with success probability of the players approaching one as the number of vertices tends to infinity. Furthermore, finding linear index codes of rate approaching zero is also an equivalent problem. Another family of storage codes on triangle-free graphs of rate approaching 1 was constructed earlier by A. Golovnev and I. Haviv (36th Computational Complexity Conf., 2021) relying on a different family of graphs.

We introduce the Red-Blue Separation problem on graphs, where we are given a graph $G=(V,E)$ whose vertices are colored either red or blue, and we want to select a (small) subset $S \subseteq V$, called red-blue separating set, such that for every red-blue pair of vertices, there is a vertex $s \in S$ whose closed neighborhood contains exactly one of the two vertices of the pair. We study the computational complexity of Red-Blue Separation, in which one asks whether a given red-blue colored graph has a red-blue separating set of size at most a given integer. We prove that the problem is NP-complete even for restricted graph classes. We also show that it is always approximable in polynomial time within a factor of $2\ln n$, where $n$ is the input graph's order. In contrast, for triangle-free graphs and for graphs of bounded maximum degree, we show that Red-Blue Separation is solvable in polynomial time when the size of the smaller color class is bounded by a constant. However, on general graphs, we show that the problem is $W[2]$-hard even when parameterized by the solution size plus the size of the smaller color class. We also consider the problem Max Red-Blue Separation where the coloring is not part of the input. Here, given an input graph $G$, we want to determine the smallest integer $k$ such that, for every possible red-blue coloring of $G$, there is a red-blue separating set of size at most $k$. We derive tight bounds on the cardinality of an optimal solution of Max Red-Blue Separation, showing that it can range from logarithmic in the graph order, up to the order minus one. We also give bounds with respect to related parameters. For trees however we prove an upper bound of two-thirds the order. We then show that Max Red-Blue Separation is NP-hard, even for graphs of bounded maximum degree, but can be approximated in polynomial time within a factor of $O(\ln^2 n)$.

For a subset $ S $ of $ \mathbb R^d$, $ S$-graphs are the intersection graphs of specific transformations of $ S $. The class of Burling graphs is a class of triangle-free graphs with arbitrarily large chromatic number that has attracted much attention in the last years. In 2012, Pawlik, Kozik, Krawczyk, Lasoń, Micek, Trotter, and Walczak showed that for every compact and path-connected set $ S \subseteq \mathbb R^2$ that is different from an axis-parallel rectangle, the class of $ S $-graphs contains all Burling graphs. There is, however, a gap between the two classes. In recent years, there have been improvements in understanding the subclasses of $ S $-graphs that are closer or equal to Burling graphs. In this article, we close this gap for every set $ S $ with the mentioned properties: we introduce the class of constrained $ S $-graphs, a subclass of $ S$-graphs, and prove that it is equal to the class of Burling graphs. We also introduce the class of constrained graphs, a subclass of intersection graphs of subsets of $ \mathbb R^2$, and prove that it is equal to the class of Burling graphs.

A subset $I$ of the vertex set $V(G)$ of a graph $G$ is called a $k$-clique independent set of $G$ if no $k$ vertices in $I$ form a $k$-clique of $G$. An independent set is a $2$-clique independent set. Let $π_k(G)$ denote the number of $k$-cliques of $G$. For a function $w: V(G) \rightarrow \{0, 1, 2, \dots\}$, let $G(w)$ be the graph obtained from $G$ by replacing each vertex $v$ by a $w(v)$-clique $K^v$ and making each vertex of $K^u$ adjacent to each vertex of $K^v$ for each edge $\{u,v\}$ of $G$. For an integer $m \geq 1$, consider any $w$ with $\sum_{v \in V(G)} w(v) = m$. For $U \subseteq V(G)$, we say that $w$ is uniform on $U$ if $w(v) = 0$ for each $v \in V(G) \setminus U$ and, for each $u \in U$, $w(u) = \left\lfloor m/|U| \right\rfloor$ or $w(u) = \left\lceil m/|U| \right\rceil$. Katona asked if $π_k(G(w))$ is smallest when $w$ is uniform on a largest $k$-clique independent set of $G$. He placed particular emphasis on the Sperner graph $B_n$, given by $V(B_n) = \{X \colon X \subseteq \{1, \dots, n\}\}$ and $E(B_n) = \{\{X,Y\} \colon X \subsetneq Y \in V(B_n)\}$. He provided an affirmative answer for $k = 2$ (and any $G$). We determine graphs for which the answer is negative for every $k \geq 3$. These include $B_n$ for $n \geq 2$. Generalizing Sperner's Theorem and a recent result of Qian, Engel and Xu, we show that $π_k(B_n(w))$ is smallest when $w$ is uniform on a largest independent set of $B_n$. We also show that the same holds for complete multipartite graphs and chordal graphs. We show that this is not true of every graph, using a deep result of Bohman on triangle-free graphs.

A graph $X$ is said to be unstable if the direct product $X\times K_2$ (also called the canonical double cover of $X$) has automorphisms that do not come from automorphisms of its factors $X$ and $K_2$. It is non-trivially unstable if it is unstable, connected, non-bipartite, and distinct vertices have distinct sets of neighbours. In this paper, we prove two sufficient conditions for stability of graphs in which every edge lies on a triangle, revising an incorrect claim of Surowski and filling in some gaps in the proof of another one. We also consider triangle-free graphs, and prove that there are no non-trivially unstable triangle-free graphs of diameter 2. An interesting construction of non-trivially unstable graphs is given and several open problems are posed.

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.