arXiv++ Combinatorics

We introduce a new bivariate polynomial which we call the defensive alliance polynomial and denote it by da(G; x, y). It is a generalization of the alliance polynomial [Carballosa et al., 2014] and the strong alliance polynomial [Carballosa et al., 2016]. We show the relation between da(G; x, y) and the alliance, the strong alliance and the induced connected subgraph [Tittmann et al., 2011] polynomials. Then, we investigate information encoded in da(G; x, y) about G. We discuss the defensive alliance polynomial for the path graphs, the cycle graphs, the star graphs, the double star graphs, the complete graphs, the complete bipartite graphs, the regular graphs, the wheel graphs, the open wheel graphs, the friendship graphs, the triangular book graphs and the quadrilateral book graphs. Also, we prove that the above classes of graphs are characterized by its defensive alliance polynomial. A relation between induced subgraphs with order three and both subgraphs with order three and size three and two respectively, is proved to characterize the complete bipartite graphs. Finally, we present the defensive alliance polynomial of the graph formed by attaching a vertex to a complete graph. We show two pairs of graphs which are not characterized by the alliance polynomial but characterized by the defensive alliance polynomial.

We prove some functional equations involving the (classical) matching polynomials of path and cycle graphs and the $d$-matching polynomial of a cycle graph. A matching in a (finite) graph $G$ is a subset of edges no two of which share a vertex, and the matching polynomial of $G$ is a generating function encoding the numbers of matchings in $G$ of each size. The $d$-matching polynomial is a weighted average of matching polynomials of degree-$d$ covers, and was introduced in a paper of Hall, Puder, and Sawin. Let $\mathcal{C}_n$ and $\mathcal{P}_n$ denote the respective matching polynomials of the cycle and path graphs on $n$ vertices, and let $\mathcal{C}_{n,d}$ denote the $d$-matching polynomial of the cycle $C_n$. We give a purely combinatorial proof that $\mathcal{C}_k (\mathcal{C}_n (x)) = \mathcal{C}_{kn} (x)$ en route to proving a conjecture made by Hall: that $\mathcal{C}_{n,d} (x) = \mathcal{P}_d (\mathcal{C}_n (x))$.

We introduce the cycle intersection graph of a graph, an adaptation of the cycle graph of a graph, and use the structure of these graphs to prove an upper bound for the decycling number of all even graphs. This bound is shown to be significantly better when an even graph admits a cycle decomposition in which any two cycles intersect in at most one vertex. Links between the cycle rank of the cycle intersection graph of an even graph and the decycling number of the even graph itself are found. The problem of choosing an ideal cycle decomposition is addressed and is presented as an optimization problem over the space of cycle decompositions of even graphs.

A class $\mathcal G$ of graphs is $χ$-bounded if there is a function $f$ such that for every graph $G\in \mathcal G$ and every induced subgraph $H$ of $G$, $χ(H)\le f(ω(H))$. In addition, we say that $\mathcal G$ is polynomially $χ$-bounded if $f$ can be taken as a polynomial function. We prove that for every integer $n\ge3$, there exists a polynomial $f$ such that $χ(G)\le f(ω(G))$ for all graphs with no vertex-minor isomorphic to the cycle graph $C_n$. To prove this, we show that if $\mathcal G$ is polynomially $χ$-bounded, then so is the closure of $\mathcal G$ under taking the $1$-join operation.

Let $G$ be a simple graph of order $n$ with degree sequence $(d)=(d_1,d_2,\ldots,d_n)$ and conjugate degree sequence $(d^*)=(d_1^*,d_2^*,\ldots,d_n^*)$. In \cite{AkbariGhorbaniKoolenObudi2010,DasMojallalGutman2017} it was proven that $\mathcal{E}(G)\leq \sum_{i=1}^{n} \sqrt{d_i}$ and $\sum_{i=1}^{n} \sqrt{d_i^*} \leq LEL(G) \leq IE(G) \leq \sum_{i=1}^{n} \sqrt{d_i}$, where $\mathcal{E}(G)$, $LEL(G)$ and $IE(G)$ are the energy, the Laplacian-energy-like invariant and the incidence energy of $G$, respectively, and in \cite{DasMojallalGutman2017} it was concluded that the class of all connected simple graphs of order $n$ can be dividend into four subclasses according to the position of $\mathcal{E}(G)$ in the order relations above. Then, they proposed a problem about characterizing all graphs in each subclass. In this paper, we attack this problem. First, we count the number of graphs of order $n$ in each of four subclasses for every $1\leq n \leq 8$ using a Sage code. Second, we present a conjecture on the ratio of the number of graphs in each subclass to the number of all graphs of order $n$ as $n$ approaches the infinity. Finally, as a first partial solution to the problem, we determine subclasses to which a path, a complete graph and a cycle graph of order $n\geq 1$ belong.

For an arbitrary word $w$ on an alphabet, we can define the alternating symbol graph, $G(w)$, as the graph in which the edge $(a, b)$ is in $E$ iff the letters $a$ and $b$ alternate in the word $w$. A graph $G = (V, E)$ is said to be word-representable if $G = G(w)$ for some word $w$ on $V$. The general problem of checking whether a graph is word-representable has been shown to be NP-complete. However, checking whether a given graph is a 2-uniform word-representable (each letter occurring exactly twice in the word) has an $O(V^2)$-time algorithm, described by Spinrad. Related to this, we propose a novel $O(V \log(V) + E)$ time algorithm implementing Fenwick Trees to check whether $G(w) = G$, for a given 2-uniform word $w$ and a graph $G = (V, E)$. We also prove that the number of 2-uniform words representing the labelled $n$-vertex cycle graphs is precisely $4n$.

We investigate a descent on simple graphs, starting with the complete graph on $n$ vertices and ending up with the cycle graph by removing one edge after another. We obtain quantitative results showing that graphs with large diameter must have some eigenvalues of large algebraic degree.

The majority of graphs whose sandpile groups are known are either regular or simple. We give an explicit formula for a family of non-regular multi-graphs called thick cycles. A thick cycle graph is a cycle where multi-edges are permitted. Its sandpile group is the direct sum of cyclic groups of orders given by quotients of greatest common divisors of minors of its Laplacian matrix. We show these greatest common divisors can be expressed in terms of monomials in the graph's edge multiplicities.

There are left and right actions of the 0-Hecke monoid of the affine symmetric group $\tilde{S}_n$ on involutions whose cycles are labeled periodically by nonnegative integers. Using these actions we construct two bijections, which are length-preserving in an appropriate sense, from the set of involutions in $\tilde{S}_n$ to the set of $\mathbb{N}$-weighted matchings in the $n$-element cycle graph. As an application, we compute a formula for the bivariate generating function counting the involutions in $\tilde S_n$ by length and absolute length. The 0-Hecke monoid of $\tilde{S}_n$ also acts on involutions (without any cycle labelling) by Demazure conjugation. The atoms of an involution $z \in \tilde{S}_n$ are the minimal length permutations $w$ which transform the identity to $z$ under this action. We prove that the set of atoms for an involution in $\tilde{S}_n$ is naturally a bounded, graded poset, and give a formula for the set's minimum and maximum elements. Using these properties, we classify the covering relations in the Bruhat order restricted to involutions in $\tilde{S}_n$.

Synchronization in networks of interconnected oscillators is a fascinating phenomenon that appear naturally in many independent fields of science and engineering. A substantial amount of work has been devoted to understanding all possible synchronization configurations on a given network. In this setting, a key problem is to determine the total number of such configurations. Through an algebraic formulation, for tree and cycle graphs, we provide an upper bound on this number using the birationally invariant intersection index of a system of rational functions on a toric variety.

Given a graph $G$ with $n$ vertices and a bijective labeling of the vertices using the integers $1,2,\ldots, n$, we say $G$ has a peak at vertex $v$ if the degree of $v$ is greater than or equal to 2, and if the label on $v$ is larger than the label of all its neighbors. Fix an enumeration of the vertices of $G$ as $v_1,v_2,\ldots, v_{n}$ and a fix a set $S\subset V(G)$. We want to determine the number of distinct bijective labelings of the vertices of $G$, such that the vertices in $S$ are precisely the peaks of $G$. The set $S$ is called the \emph{peak set of the graph} $G$, and the set of all labelings with peak set $S$ is denoted by $\PSG$. This definition generalizes the study of peak sets of permutations, as that work is the special case of $G$ being the path graph on $n$ vertices. In this paper, we present an algorithm for constructing all of the bijective labelings in $\PSG$ for any $S\subseteq V(G)$. We also explore peak sets in certain families of graphs, including cycle graphs and joins of graphs.

We show that there are simple 4-dimensional polytopes with n vertices such that all separators of the graph have size at least $Ω(n/\log n)$. This establishes a strong form of a claim by Thurston, for which the construction and proof had been lost. We construct the polytopes by cutting off the vertices and then the edges of a particular type of neighborly cubical polytopes. The graphs of simple polytopes thus obtained are 4-regular; they contain 3-regular "cube-connected cycle graphs" as minors of spanning subgraphs.

The edit distance function of a hereditary property $\mathscr{H}$ is the asymptotically largest edit distance between a graph of density $p\in[0,1]$ and $\mathscr{H}$. Denote by $P_n$ and $C_n$ the path graph of order $n$ and the cycle graph of order $n$, respectively. Let $C_{2n}^*$ be the cycle graph $C_{2n}$ with a diagonal, and $\widetilde{C_n}$ be the graph with vertex set $\{v_0, v_1, \ldots, v_{n-1}\}$ and $E(\widetilde{C_n})=E(C_n)\cup \{v_0v_2\}$. Marchant and Thomason determined the edit distance function of $C_6^{*}$. Peck studied the edit distance function of $C_n$, while Berikkyzy et al. studied the edit distance of powers of cycles. In this paper, by using the methods of Peck and Martin, we determine the edit distance function of $C_8^{*}$, $\widetilde{C_n}$ and $P_n$, respectively.

Let $G$ be a graph with $n$ vertices, $S=\mathbb{K}[x_1,\dots,x_n]$ be the polynomial ring in $n$ variables over a field $\mathbb{K}$ and $I(G)$ denote the edge ideal of $G$. For every collection $\mathcal{H}$ of connected graphs with $K_2\in \mathcal{H}$, we introduce the notions of $\ind-match_{\mathcal{H}}(G)$ and $\min-match_{\mathcal{H}}(G)$. It will be proved that the inequalities $\ind-match_{\{K_2, C_5\}}(G)\leq{\rm reg}(S/I(G))\leq\min-match_{\{K_2, C_5\}}(G)$ are true. Moreover, we show that if $G$ is a Cohen--Macaulay graph with girth at least five, then ${\rm reg}(S/I(G))=\ind-match_{\{K_2, C_5\}}(G)$. Furthermore, we prove that if $G$ is a paw--free and doubly Cohen--Macaulay graph, then ${\rm reg}(S/I(G))=\ind-match_{\{K_2, C_5\}}(G)$ if and only if every connected component of $G$ is either a complete graph or a $5$-cycle graph. Among other results, we show that for every doubly Cohen--Macaulay simplicial complex, the equality ${\rm reg}(\mathbb{K}[Δ])={\rm dim}(\mathbb{K}[Δ])$ holds.

We use a Dyck path model for unit-interval graphs to study the chromatic quasisymmetric functions introduced by Shareshian and Wachs, as well as vertical strip --- in particular, unicellular LLT polynomials. We show that there are parallel phenomena regarding $e$-positivity of these two families of polynomials. In particular, we give several examples where the LLT polynomials behave like a "mirror image" of the chromatic quasisymmetric counterpart. The Dyck path model is also extended to circular arc digraphs to obtain larger families of polynomials. This circular extensions of LLT polynomials has not been studied before. A lot of the combinatorics regarding unit interval graphs carries over to this more general setting, and we prove several statements regarding the $e$-coefficients of chromatic quasisymmetric functions and LLT polynomials. In particular, we believe that certain $e$-positivity conjectures hold in all these families above. Furthermore, we study vertical-strip LLT polynomials, for which there is no natural chromatic quasisymmetric counterpart. These polynomials are essentially modified Hall--Littlewood polynomials, and are therefore of special interest. In this more general framework, we are able to give a natural combinatorial interpretation for the $e$-coefficients for the line graph and the cycle graph, in both the chromatic and the LLT setting.

Let $G$ be a finite, simple, connected graph. An arithmetical structure on $G$ is a pair of positive integer vectors $\mathbf{d},\mathbf{r}$ such that $(\mathrm{diag}(\mathbf{d})-A)\mathbf{r}=0$, where $A$ is the adjacency matrix of $G$. We investigate the combinatorics of arithmetical structures on path and cycle graphs, as well as the associated critical groups (the cokernels of the matrices $(\mathrm{diag}(\mathbf{d})-A)$). For paths, we prove that arithmetical structures are enumerated by the Catalan numbers, and we obtain refined enumeration results related to ballot sequences. For cycles, we prove that arithmetical structures are enumerated by the binomial coefficients $\binom{2n-1}{n-1}$, and we obtain refined enumeration results related to multisets. In addition, we determine the critical groups for all arithmetical structures on paths and cycles.

Let $L$ be a set of positive integers. We call a (directed) graph $G$ an $L$\emph{-cycle graph} if all cycle lengths in $G$ belong to $L$. Let $c(L,n)$ be the maximum number of cycles possible in an $n$-vertex $L$-cycle graph (we use $\vec{c}(L,n)$ for the number of cycles in directed graphs). In the undirected case we show that for any fixed set $L$, we have $c(L,n)=Θ_L(n^{\lfloor k/\ell \rfloor})$ where $k$ is the largest element of $L$ and $2\ell$ is the smallest even element of $L$ (if $L$ contains only odd elements, then $c(L,n)=Θ_L(n)$ holds.) We also give a characterization of $L$-cycle graphs when $L$ is a single element. In the directed case we prove that for any fixed set $L$ we have $\vec{c}(L,n)=(1+o(1))(\frac{n-1}{k-1})^{k-1}$, where $k$ is the largest element of $L$. We determine the exact value of $\vec{c}(\{k\},n)$ for every $k$ and characterize all graphs attaining this maximum.

We study the adjacency matrices of random $d$-regular graphs with large but fixed degree $d$. In the bulk of the spectrum $[-2\sqrt{d-1}+\varepsilon, 2\sqrt{d-1}-\varepsilon]$ down to the optimal spectral scale, we prove that the Green's functions can be approximated by those of certain infinite tree-like (few cycles) graphs that depend only on the local structure of the original graphs. This result implies that the Kesten--McKay law holds for the spectral density down to the smallest scale and the complete delocalization of bulk eigenvectors. Our method is based on estimating the Green's function of the adjacency matrices and a resampling of the boundary edges of large balls in the graphs.

The aim of this work is to investigate the F-index and F-coindex of the line graphs of the cycle graphs, star graphs, tadpole graphs, wheel graphs and ladder graphs using the subdivision concepts. F-index of the line graph of subdivision graph of square grid graph, 2D-lattice, nanotube and nanotorus of $TUC_{4}C_{8}[p, q]$ are also investigated here.

A graph $U$ is an induced universal graph for a family $F$ of graphs if every graph in $F$ is a vertex-induced subgraph of $U$. For the family of all undirected graphs on $n$ vertices Alstrup, Kaplan, Thorup, and Zwick [STOC 2015] give an induced universal graph with $O\!\left(2^{n/2}\right)$ vertices, matching a lower bound by Moon [Proc. Glasgow Math. Assoc. 1965]. Let $k= \lceil D/2 \rceil$. Improving asymptotically on previous results by Butler [Graphs and Combinatorics 2009] and Esperet, Arnaud and Ochem [IPL 2008], we give an induced universal graph with $O\!\left(\frac{k2^k}{k!}n^k \right)$ vertices for the family of graphs with $n$ vertices of maximum degree $D$. For constant $D$, Butler gives a lower bound of $Ω\!\left(n^{D/2}\right)$. For an odd constant $D\geq 3$, Esperet et al. and Alon and Capalbo [SODA 2008] give a graph with $O\!\left(n^{k-\frac{1}{D}}\right)$ vertices. Using their techniques for any (including constant) even values of $D$ gives asymptotically worse bounds than we present. For large $D$, i.e. when $D = Ω\left(\log^3 n\right)$, the previous best upper bound was ${n\choose\lceil D/2\rceil} n^{O(1)}$ due to Adjiashvili and Rotbart [ICALP 2014]. We give upper and lower bounds showing that the size is ${\lfloor n/2\rfloor\choose\lfloor D/2 \rfloor}2^{\pm\tilde{O}\left(\sqrt{D}\right)}$. Hence the optimal size is $2^{\tilde{O}(D)}$ and our construction is within a factor of $2^{\tilde{O}\left(\sqrt{D}\right)}$ from this. The previous results were larger by at least a factor of $2^{Ω(D)}$. As a part of the above, proving a conjecture by Esperet et al., we construct an induced universal graph with $2n-1$ vertices for the family of graphs with max degree $2$. In addition, we give results for acyclic graphs with max degree $2$ and cycle graphs. Our results imply the first labeling schemes that for any $D$ are at most $o(n)$ bits from optimal.