arXiv++ Combinatorics

The $k$-Strong Conflict-Free ($k$-SCF, in short) colouring problem seeks to find a colouring of the vertices of a hypergraph $H$ using minimum number of colours so that in every hyperedge $e$ of $H$, there are at least $\min\{|e|,k\}$ vertices whose colour is different from that of all other vertices in $e$. In the case of interval hypergraphs, we present an exact $P$-time algorithm for the $k$-SCF problem thus solving an open problem posed by Cheilaris et al. (2014). We achieve our results by showing that for any hypergraph a $k$-SCF colouring is a proper colouring of a related simple graph which we refer to as a co-occurrence graph. We then show that a co-occurrence graph is obtained by identifying an induced subgraph of a second simple graph that we introduce, which we refer to as the conflict graph. For interval hypergraphs, we show that each co-occurrence graph and the conflict graph are perfect graphs. This property plays a crucial role in our polynomial time algorithm. Secondly, we show that for an interval hypergraph, the $1$-SCF colouring number is the minimum partition of its intervals into sets such that each set has an exact hitting set (a hitting set in which each interval is hit exactly once).

Let $R$ be a commutative ring with identity and $\Bbb A (R)$ be the set of ideals of $R$ with non-zero annihilator. The annihilator-ideal graph of $R$, denoted by $A_{I} (R) $, is a simple graph with the vertex set $\Bbb A(R)^{\ast} := \Bbb A (R) \setminus\lbrace (0) \rbrace $, and two distinct vertices $I$ and $J$ are adjacent if and only if $\mathrm{Ann} _{R} (IJ) \neq \mathrm{Ann} _{R} (I) \cup \mathrm{Ann} _{R} (J)$. In this paper, we study the affinity between the annihilator-ideal graph and the annihilating-ideal graph $\Bbb A \Bbb G (R)$ (a well-known graph with the same vertices and two distinct vertices $I,J$ are adjacent if and only if $IJ=0$) associated with $R$. All rings whose $A_{I}(R) \neq \Bbb A \Bbb G (R)$ and $\mathrm{gr} (A_{I}(R)) =4$ are characterized. Among other results, we obtain necessary and sufficient conditions under which $A_{I} (R)$ is a star graph.

Richard P. Stanley defined the chromatic symmetric function of a simple graph and has conjectured that every tree is determined by its chromatic symmetric function. Recently, Takahiro Hasebe and the author proved that the order quasisymmetric functions, which are analogs of the chromatic symmetric functions, distinguish rooted trees. In this paper, using a similar method, we prove that the chromatic symmetric functions distinguish trivially perfect graphs. Moreover, we also prove that claw-free cographs, that is, $ \{K_{1,3},P_{4}\} $-free graphs belong to a known class of $ e $-positive graphs.

A Cayley graph of a group $H$ is a finite simple graph $Γ$ such that ${\rm Aut}(Γ)$ contains a subgroup isomorphic to $H$ acting regularly on $V(Γ)$, while a Haar graph of $H$ is a finite simple bipartite graph $Σ$ such that ${\rm Aut}(Σ)$ contains a subgroup isomorphic to $H$ acting semiregularly on $V(Σ)$ and the $H$-orbits are equal to the bipartite sets of $Σ$. A Cayley graph is a Haar graph exactly when it is bipartite, but no simple condition is known for a Haar graph to be a Cayley graph. In this paper, we show that the groups $D_6, \, D_8, \, D_{10}$ and $Q_8$ are the only finite inner abelian groups all of whose Haar graphs are Cayley graphs (a group is called inner abelian if it is non-abelian, but all of its proper subgroups are abelian). As an application, it is also shown that every non-solvable group has a Haar graph which is not a Cayley graph.

In this paper, we give a relationship between the covering number of a simple graph $G$, $β(G)$, and a new parameter associated to $G$ which is called 2-degree-packing number of $G$, $ν_2(G)$. We prove that$$\lceil ν_{2}(G)/2\rceil\leqβ(G)\leqν_2(G)-1,$$ for any connected simple graph $G$, with $|E(G)|>ν_2(G)$, and we give a characterization of simple connected graphs which attains the inequalities.

A Weyl arrangement is the hyperplane arrangement defined by a root system. Arnold and Saito proved that every Weyl arrangement is free. The Weyl subarrangements of type $A_{\ell}$ are represented by simple graphs. Stanley gave a characterization of freeness for this type of arrangements in terms of thier graph. In addition, The Weyl subarrangements of type $B_{\ell}$ can be represented by signed graphs. A characterization of freeness for them is not known. However, characterizations of freeness for a few restricted classes are known. For instance, Edelman and Reiner characterized the freeness of the arrangements between type $ A_{\ell-1} $ and type $ B_{\ell} $. In this paper, we give a characterization of the freeness and supersolvability of the Weyl subarrangements of type $B_{\ell}$ under certain assumption.

A dominating set of a graph $G$ is a set $D\subseteq V(G)$ such that \-every vertex of $G$ is either in $D$ or is adjacent to a vertex in $D$. The domination number of $G$, $γ(G)$, is the minimum order of a dominating set. A subset $R$ of edges of a graph $G$ is a 2-degree-packing, if any three edges from $R$ do not have the same incident vertex. The 2-degree-packing number of $G$, $ν_2(G)$, is the maximum order of a 2-degree-packing of $G$. In this paper, we prove that any simple graph $G$ satisfies $γ(G)\leqν_2(G)-1$. Furthermore, we give a characterization of simple connected graphs $G$ satisfying $γ(G)=ν_2(G)-1$.

We introduce three new cut tree structures of graphs $G$ in which the vertex set of the tree is a partition of $V(G)$ and contractions of tree vertices satisfy sparsification requirements that preserve various types of cuts. Recently, Kawarabayashi and Thorup \cite{Kawarabayashi2015a} presented the first deterministic near-linear edge-connectivity recognition algorithm. A crucial step in this algorithm uses the existence of vertex subsets of a simple graph $G$ whose contractions leave a graph with $\tilde{O}(n/δ)$ vertices and $\tilde{O}(n)$ edges ($n := |V(G)|$) such that all non-trivial min-cuts of $G$ are preserved. We improve this result by eliminating the poly-logarithmic factors, that is, we show a contraction-based sparsification that leaves $O(n/δ)$ vertices and $O(n)$ edges and preserves all non-trivial min-cuts. We complement this result by giving a sparsification that leaves $O(n/δ)$ vertices and $O(n)$ edges such that all (possibly not minimum) cuts of size less than $δ$ are preserved, by using contractions in a second tree structure. As consequence, we have that every simple graph has $O(n/δ)$ $δ$-edge-connected components, and, if it is connected, it has $O((n/δ)^2)$ non-trivial min-cuts. All these results are proven to be asymptotically optimal. By using a third tree structure, we give a new lower bound on the number of \emph{pendant pairs}. The previous best bound was given 1974 by Mader, who showed that every simple graph contains $Ω(δ^2)$ pendant pairs. We improve this result by showing that every simple graph $G$ with $δ\geq 5$ or $λ\geq 4$ or $κ\geq 3$ contains $Ω(δn)$ pendant pairs. We prove that this bound is asymptotically tight from several perspectives, and that $Ω(δn)$ pendant pairs can be computed efficiently.

The recent increase of interest in the graph invariant called tree-depth and in its applications in algorithms and logic on graphs led to a natural question: is there an analogously useful "depth" notion also for dense graphs (say; one which is stable under graph complementation)? To this end, in a 2012 conference paper, a new notion of shrub-depth has been introduced, such that it is related to the established notion of clique-width in a similar way as tree-depth is related to tree-width. Since then shrub-depth has been successfully used in several research papers. Here we provide an in-depth review of the definition and basic properties of shrub-depth, and we focus on its logical aspects which turned out to be most useful. In particular, we use shrub-depth to give a characterization of the lower $ω$ levels of the MSO1 transduction hierarchy of simple graphs.

Let $Γ$ be a finite, undirected, connected, simple graph. We say that a matching $\mathcal{M}$ is a \textit{permutable $m$-matching} if $\mathcal{M}$ contains $m$ edges and the subgroup of $\text{Aut}(Γ)$ that fixes the matching $\mathcal{M}$ setwise allows the edges of $\mathcal{M}$ to be permuted in any fashion. A matching $\mathcal{M}$ is \textit{2-transitive} if the setwise stabilizer of $\mathcal{M}$ in $\text{Aut}(Γ)$ can map any ordered pair of distinct edges of $\mathcal{M}$ to any other ordered pair of distinct edges of $\mathcal{M}$. We provide constructions of graphs with a permutable matching; we show that, if $Γ$ is an arc-transitive graph that contains a permutable $m$-matching for $m \ge 4$, then the degree of $Γ$ is at least $m$; and, when $m$ is sufficiently large, we characterize the locally primitive, arc-transitive graphs of degree $m$ that contain a permutable $m$-matching. Finally, we classify the graphs that have a $2$-transitive perfect matching and also classify graphs that have a permutable perfect matching.

Let $F$, $G$ and $H$ be simple graphs. We say $F \rightarrow (G, H)$ if for every $2$-coloring of the edges of $F$ there exists a monochromatic $G$ or $H$ in $F$. The Ramsey number $r(G, H)$ is defined as $r(G, H) = min\{|V (F)|: F \rightarrow (G, H)\}$, while the restricted size Ramsey number $r^{*}(G, H)$ is defined as $r^{*}(G, H) = min\{|E (F)|: F \rightarrow (G, H) , |V (F) | = r(G, H)\}$. In this paper we determine previously unknown restricted size Ramsey numbers $r^{*}(P_3, C_n)$ for $7 \leq n \leq 12$. We also give new upper bound $r^{*}(P_3, C_n) \leq 2n-2$ for even $n \geq 8$.

Let $G$ be a simple graph with $n\geq4$ vertices and $d(x)+d(y)\geq n+k$ for each edge $xy\in E(G)$. In this work we prove that $G$ either contains a spanning closed trail containing any given edge set $X$ if $|X|\leq k$, or $G$ is a well characterized graph. As a corollary, we show that line graphs of such graphs are $k$-hamiltonian.

The Zykov ring of signed finite simple graphs with topological join as addition and compatible multiplication is an integral domain but not a unique factorization domain. We know that because by taking graph complements, it becomes isomorphic to the strong Sabidussi ring with disjoint union as addition. We prove that the Euler characteristic is a ring homomorphism from the strong ring to the integers by demonstrating that the strong ring is homotopic to a Stanley-Reisner Cartesian ring. More generally, the Kuenneth formula holds on the strong ring so that the Poincare polynomial is compatible with the ring structure. The Zykov ring has the clique number as a ring homomorphism. Furthermore, the Cartesian ring has the property that the functor which attaches to a graph the spectrum of its connection Laplacian is multiplicative. The reason is that the connection Laplacians do tensor under multiplication, similarly to what the adjacency matrix does for the weak ring. The strong ring product of two graphs contains both the weak and direct product graphs as subgraphs. The Zykov, Sabidussi or Stanley-Reisner rings are so manifestations of a network arithmetic which has remarkable cohomological properties, dimension and spectral compatibility but where arithmetic questions like the complexity of detecting primes or factoring are not yet studied well. We illustrate the Zykov arithmetic with examples, especially from the subring generated by point graphs which contains spheres, stars or complete bipartite graphs. While things are formulated in the language of graph theory, all constructions generalize to the larger category of finite abstract simplicial complexes.

We make the first step towards a "nerve theorem" for graphs. Let $G$ be a simple graph and let $\mathcal{F}$ be a family of induced subgraphs of $G$ such that the intersection of any members of $\mathcal{F}$ is either empty or connected. We show that if the nerve complex of $\mathcal{F}$ has non-vanishing homology in dimension three, then $G$ contains the complete graph on five vertices as a minor. As a consequence we confirm a conjecture of Goaoc concerning an extension of the planar $(p,q)$ theorem due to Alon and Kleitman: Let $\mathcal{F}$ be a finite family of open connected sets in the plane such that the intersection of any members of $\mathcal{F}$ is either empty or connected. If among any $p \geq 3$ members of $\mathcal{F}$ there are some three that intersect, then there is a set of $C$ points which intersects every member of $\mathcal{F}$, where $C$ is a constant depending only on $p$.

For a simple graph, we introduce a notion of the star sequence and prove that the star sequence and the frequently sequences of a graph are inverses of each other from a combinatorial point of view. As a consequence, we express the general first Zagreb index in terms of the star sequence. Also, we calculate the ordinary generating function and find a linear recurrence relation for the sequence of the general first Zagreb indexes.

Assume G is a finite abstract simplicial complex with f-vector (v0,v1, ...), and generating function f(x) = sum(k=1 v(k-1) x^k = v0 x + v1 x^2+ v2 x^3 + ..., the Euler characteristic of G can be written as chi(G)=f(0)-f(-1). We study here the functional f1'(0)-f1'(-1), where f1' is the derivative of the generating function f1 of G1. The Barycentric refinement G1 of G is the Whitney complex of the finite simple graph for which the faces of G are the vertices and where two faces are connected if one is a subset of the other. Let L is the connection Laplacian of G, which is L=1+A, where A is the adjacency matrix of the connection graph G', which has the same vertex set than G1 but where two faces are connected they intersect. We have f1'(0)=tr(L) and for the Green function g L^(-1) also f1'(-1)=tr(g) so that eta1(G) = f1'(0)-f1'(-1) is equal to eta(G)=tr(L-L^(-1). The established formula tr(g)=f1'(-1) for the generating function of G1 complements the determinant expression det(L)=det(g)=zeta(-1) for the Bowen-Lanford zeta function zeta(z)=1/det(1-z A) of the connection graph G' of G. We also establish a Gauss-Bonnet formula eta1(G) = sum(x in V(G1) chi(S(x)), where S(x) is the unit sphere of x the graph generated by all vertices in G1 directly connected to x. Finally, we point out that the functional eta0(G) = sum(x in V(G) chi(S(x)) on graphs takes arbitrary small and arbitrary large values on every homotopy type of graphs.

Let $G$ be a simple graph. A total dominator coloring of $G$, is a proper coloring of the vertices of $G$ in which each vertex of the graph is adjacent to every vertex of some color class. The total dominator chromatic (TDC) number $χ_d^t(G)$ of $G$, is the minimum number of colors among all total dominator coloring of $G$. The neighbourhood corona of two graphs $G_1$ and $G_2$ is denoted by $G_1 \star G_2$ and is the graph obtained by taking one copy of $G_1$ and $|V(G_1)|$ copies of $G_2$, and joining the neighbours of the $i$th vertex of $G_1$ to every vertex in the $i$th copy of $G_2$. In this paper, we study the total dominator chromatic number of the neighbourhood of two graphs and investigate the total dominator chromatic number of $r$-gluing of two graphs. Stability (bondage number) of total dominator chromatic number of $G$ is the minimum number of vertices (edges) of $G$ whose removal changes the TDC-number of $G$. We study the stability and bondage number of certatin graphs.

Given a simple graph $G$, a poset of its even subgraphs was firstly considered by S. Choi and H. Park to study the topology of a real toric manifold associated with $G$. S. Choi and the authors extended this to a graph allowing multiple edges, motivated by the work on the pseudograph associahedron of Carr, Devadoss and Forcey. In this paper, we completely characterize the graphs (allowing multiple edges) whose posets of even subgraphs are always shellable. By the result, we also compute the Betti numbers of a real toric manifold corresponding to a path with two multiple edges.

For an undirected simple graph $G$, we write $G \rightarrow (H_1, H_2)^v$ if and only if for every red-blue coloring of its vertices there exists a red $H_1$ or a blue $H_2$. The generalized vertex Folkman number $F_v(H_1, H_2; H)$ is defined as the smallest integer $n$ for which there exists an $H$-free graph $G$ of order $n$ such that $G \rightarrow (H_1, H_2)^v$. The generalized edge Folkman numbers $F_e(H_1, H_2; H)$ are defined similarly, when colorings of the edges are considered. We show that $F_e(K_{k+1},K_{k+1};K_{k+2}-e)$ and $F_v(K_k,K_k;K_{k+1}-e)$ are well defined for $k \geq 3$. We prove the nonexistence of $F_e(K_3,K_3;H)$ for some $H$, in particular for $H=B_3$, where $B_k$ is the book graph of $k$ triangular pages, and for $H=K_1+P_4$. We pose three problems on generalized Folkman numbers, including the existence question of edge Folkman numbers $F_e(K_3, K_3; B_4)$, $F_e(K_3, K_3; K_1+C_4)$ and $F_e(K_3, K_3; \overline{P_2 \cup P_3} )$. Our results lead to some general inequalities involving two-color and multicolor Folkman numbers.

It is shown that every 2-planar graph is quasiplanar, that is, if a simple graph admits a drawing in the plane such that every edge is crossed at most twice, then it also admits a drawing in which no three edges pairwise cross. We further show that quasiplanarity is witnessed by a simple topological drawing, that is, any two edges cross at most once and adjacent edges do not cross.