arXiv++ Combinatorics

Given a graph $G=(V, E)$, its generalized Laplacian matrix is given by \[ L(G,X_G)_{u,v}= \begin{cases} x_u&\text{if }u=v,\\ -m_{uv}&\text{if }u\neq v, \end{cases} \] where $X_G=\{x_u\, | \, u\in V(G)\}$ is a set of indeterminates and $m_{uv}$ is the number of edges between $u$ and $v$. The $j$-critical ideal of $G$ is the determinantal ideal generated by the minors of size $j$ of $L(G, X)$. A $2$-matching of $G$ is a subset $\mathcal{M}$ of its edges such that every vertex of $G$ has at most two incident edges in $\mathcal{M}$. We give a combinatorial description of a set of generators of the $j$-critical ideal of a tree $T$ as a function of a set of special $2$-matchings, which we called minimal, of the graph $T^\ell$ obtained from $T$ by adding a loop at each of its vertices. Also, we prove that the algebraic co-rank of $T$ is equal to the $2$-matching number of $T$, the maximum number of edges of a $2$-matching of $T$. As a consequence, one can compute each invariant factor of the critical group of any graph $G$ such that $G\setminus v$ is a tree for some of its vertices $v$, as the greatest common divisor of the evaluation of some polynomials associated to the minimal $2$-matchings of $T^\ell$. For instance, in the regular case, we recover some of the results obtained by Levine and Toumpakari about the critical group of a wired regular tree. Additionally, we can prove that the path $P_n$ is the unique simple graph with $n$ vertices and $n-1$ trivial critical ideals. We conjecture that the set of generators that we give is a reduced Gröbner basis and we can prove this for the $|V(T)|-1$-critical ideal. Finally, we apply the result in order to calculate the critical ideals of trees with depth two and some arithmetical trees associated to the reduction of elliptic curves of Kodaira type $I_n^*$.

The generalized power of a simple graph $G$, denoted by $G^{k,s}$, is obtained from $G$ by blowing up each vertex into an $s$-set and each edge into a $k$-set, where $1 \le s \le \frac{k}{2}$. When $s < \frac{k}{2}$, $G^{k,s}$ is always odd-bipartite. It is known that $G^{k,{k \over 2}}$ is non-odd-bipartite if and only if $G$ is non-bipartite, and $G^{k,{k \over 2}}$ has the same adjacency (respectively, signless Laplacian) spectral radius as $G$. In this paper, we prove that, regardless of multiplicities, the $H$-spectrum of $\A(G^{k,\frac{k}{2}})$ (respectively, $\Q(G^{k,\frac{k}{2}})$) consists of all eigenvalues of the adjacency matrices (respectively, the signless Laplacian matrices) of the connected induced subgraphs (respectively, modified induced subgraphs) of $G$. As a corollary, $G^{k,{k \over 2}}$ has the same least adjacency (respectively, least signless Laplacian) $H$-eigenvalue as $G$. We also discuss the limit points of the least adjacency $H$-eigenvalues of hypergraphs, and construct a sequence of non-odd-bipartite hypergraphs whose least adjacency $H$-eigenvalues converge to $-\sqrt{2+\sqrt{5}}$.

Ding (1992) proved that for each integer ${m} \geqslant 0$, and every infinite sequence of finite simple graphs $G_1, G_2, \ldots$, if none of these graphs contains a path of length ${m}$ as a subgraph, then there are indices $i < j$ such that $G_i$ is isomorphic to an induced subgraph of $G_j$. We generalise this result to infinite graphs, possibly with parallel edges and loops.

Let $\ell \geqslant 0$ be an integer, and $G$ be a graph without loops. An $\ell$-link of $G$ is a walk of length $\ell$ in which consecutive edges are different. We identify an $\ell$-link with its reverse sequence. The $\ell$-link graph $\mathbb{L}_\ell(G)$ of $G$ is defined to have vertices the $\ell$-links of $G$, such that two vertices of $\mathbb{L}_\ell(G)$ are adjacent if their corresponding $\ell$-links are the initial and final subsequences of an $(\ell + 1)$-link of $G$. A graph $G$ is called an $\ell$-root of a graph $H$ if $\mathbb{L}_\ell(G) \cong H$. For example, $\mathbb{L}_0(G) \cong G$. And the $1$-link graph of a simple graph is the line graph of that graph. Moreover, let $H$ be a finite connected simple graph. Whitney's isomorphism theorem (1932) states if $H$ has two connected nonnull simple $1$-roots, then $H \cong K_3$, and the two $1$-roots are isomorphic to $K_3$ and $K_{1, 3}$ respectively. This paper investigates the $\ell$-roots of finite graphs. We show that every $\ell$-root is a certain combination of a finite minimal $\ell$-root and trees of bounded diameter. This transfers the study of $\ell$-roots into that of finite minimal $\ell$-roots. As a qualitative generalisation of Whitney's isomorphism theorem, we bound from above the number, size, order and maximum degree of minimal $\ell$-roots of a finite graph. This work forms the basis for solving the recognition and determination problems for $\ell$-link graphs in our future papers. As a byproduct, we characterise the $\ell$-roots of some special graphs including cycles. Similar results are obtained for path graphs introduced by Broersma and Hoede (1989). $G$ is an $\ell$-path root of a graph $H$ if $H$ is isomorphic to the $\ell$-path graph of $G$. We bound from above the number, size and order of minimal $\ell$-path roots of a finite graph.

The paper proves the equivalence of the notions of nondeterministic and deterministic parameter testing for uniform dense hypergraphs of arbitrary order. It generalizes the result previously known only for the case of simple graphs. By a similar method we establish also the equivalence between nondeterministic and deterministic hypergraph property testing, answering the open problem in the area. We introduce a new notion of a cut norm for hypergraphs of higher order, and employ regularity techniques combined with the ultralimit method.

Several properties of the isotropic matroid of a looped simple graph are presented. Results include a characterization of the multimatroids that are associated with isotropic matroids and several ways in which the isotropic matroid of G incorporates information about graphs locally equivalent to G. Specific results of the latter type include a characterization of graphs that are locally equivalent to bipartite graphs, a direct proof that two forests are isomorphic if and only if their isotropic matroids are isomorphic, and a way to express local equivalence indirectly, using only edge pivots.

Let G be a simple graph of order n. The domination polynomial is the generating polynomial for the number of dominating sets of G of each cardinality. A root of this polynomial is called a domination root of G. Obviously 0 is a domination root of every graph G. In the study of the domination roots of graphs, this naturally raises the question: which graphs have no nonzero real domination roots? In this paper we present some families of graphs whose have this property.

A simple topological graph is a topological graph in which any two edges have at most one common point, which is either their common endpoint or a proper crossing. More generally, in a k-simple topological graph, every pair of edges has at most k common points of this kind. We construct saturated simple and 2-simple graphs with few edges. These are k-simple graphs in which no further edge can be added. We improve the previous upper bounds of Kynčl, Pach, Radoičić, and Tóth and show that there are saturated simple graphs on n vertices with only 7n edges and saturated 2-simple graphs on n vertices with 14.5n edges. As a consequence, 14.5n edges is also a new upper bound for k-simple graphs (considering all values of k). We also construct saturated simple and 2-simple graphs that have some vertices with low degree.

Let $μ> 2$ and $ε> 0$. We show that, if $G$ is a sufficiently large simple graph of average degree at least $μ$, and $H$ is a random spanning subgraph of $G$ formed by including each edge independently with probability $p \ge \tfrac{1}{μ-1} + ε$, then $H$ contains a cycle with probability at least $1 - ε$.

We study the eigenspace of the Laplacian matrix of a simple graph corresponding to the largest eigenvalue, subsequently arriving at the theory of modular decomposition of T. Gallai.

Let $G$ be a simple graph on the vertex set $\{v_1,\dots,v_n\}$ with edge set $E$. Let $K$ be a field. The graphical arrangement $\mathcal{A}_G$ in $K^n$ is the arrangement $x_i-x_j=0, v_iv_j \in E$. An arrangement $\mathcal{A}$ is supersolvable if the intersection lattice $L(c(\mathcal{A}))$ of the cone $c(\mathcal{A})$ contains a maximal chain of modular elements. The second author has shown that a graphical arrangement $\mathcal{A}_G$ is supersolvable if and only if $G$ is a chordal graph. He later considered a generalization of graphical arrangements which are called $ψ$-graphical arrangements. He conjectured a characterization of the supersolvability and freeness (in the sense of Terao) of a $ψ$-graphical arrangement. We provide a proof of the first conjecture and state some conditions on free $ψ$-graphical arrangements.

A class of simple graphs such as ${\cal G}$ is said to be {\it odd-girth-closed} if for any positive integer $g$ there exists a graph $G \in {\cal G}$ such that the odd-girth of $G$ is greater than or equal to $g$. An odd-girth-closed class of graphs ${\cal G}$ is said to be {\it odd-pentagonal} if there exists a positive integer $g^*$ depending on ${\cal G}$ such that any graph $G \in {\cal G}$ whose odd-girth is greater than $g^*$ admits a homomorphism to the five cycle (i.e. is $C_{_{5}}$-colorable). In this article, we show that finding the odd girth of generalized Petersen graphs can be transformed to an integer programming problem, and using this we explicitly compute the odd girth of such graphs, showing that the class is odd-girth-closed. Also, motivated by showing that the class of generalized Petersen graphs is odd-pentagonal, we study the circular chromatic number of such graphs.

Let G be a simple graph of order n. The domination polynomial of a graph is the generating function of its dominating sets. We study the domination polynomials of generalized friendship graphs. We also consider book graphs formed by joining n copies of the cycle graph of order 4 with a common edge and study the domination polynomials of some generalized book graphs. In particular we examine the domination roots of these families and find the limiting curve for the roots.

A generator of a metric space is a set $S$ of points in the space with the property that every point of the space is uniquely determined by its distances from the elements of $S$. Given a simple graph $G=(V,E)$, we define the distance function $d_{G,2}:V\times V\rightarrow \mathbb{N}\cup \{0\}$, as $d_{G,2}(x,y)=\min\{d_G(x,y),2\},$ where $d_G(x,y)$ is the length of a shortest path between $x$ and $y$ and $\mathbb{N}$ is the set of positive integers. Then $(V,d_{G,2 })$ is a metric space. We say that a set $S\subseteq V$ is a $k$-adjacency generator for $G$ if for every two vertices $x,y\in V$, there exist at least $k$ vertices $w_1,w_2,...,w_k\in S$ such that $$d_{G,2}(x,w_i)\ne d_{G,2}(y,w_i),\; \mbox{for every}\; i\in \{1,...,k\}.$$ A minimum cardinality $k$-adjacency generator is called a $k$-adjacency basis of $G$ and its cardinality, the $k$-adjacency dimension of $G$. In this article we study the problem of finding the $k$-adjacency dimension of a graph. We give some necessary and sufficient conditions for the existence of a $k$-adjacency basis of an arbitrary graph $G$ and we obtain general results on the $k$-adjacency dimension, including general bounds and closed formulae for some families of graphs. In particular, we obtain closed formulae for the $k$-adjacency dimension of join graphs $G+H$ in terms of the $k$-adjacency dimension of $G$ and $H$. These results concern the $k$-metric dimension, as join graphs have diameter two. As we can expect, the obtained results will become important tools for the study of the $k$-metric dimension of lexicographic product graphs and corona product graphs.

d-spheres in graph theory are inductively defined as graphs for which all unit spheres S(x) are (d-1)-spheres and that the removal of one vertex renders the graph contractible. Eulerian d-spheres are geometric d-spheres which are d+1 colorable. We prove here that G is an Eulerian sphere if and only if the degrees of all the (d-2)-dimensional sub-simplices in G are even. This generalizes a Kempe-Heawood result for d=2 and is work related to the conjecture that all d-spheres have chromatic number d+1 or d+2 which is based on the geometric conjecture that every d-sphere can be embedded in an Eulerian (d+1)-sphere. For d=2, such an embedding into an Eulerian 3-sphere would lead to a geometric proof of the 4 color theorem, allowing to see "why 4 colors suffice". To achieve the goal of coloring a d-sphere G with d+2 colors, we hope to embed it into a (d+1)-sphere and refine or thin out the later using special homotopy deformations without touching the embedded sphere. Once rendered Eulerian and so (d+2)-colorable, it colors the embedded graph G. In order to define the degree of a simplex, we introduce a notion of dual graph H' of a subgraph H in a general finite simple graph G. This leads to a natural sphere bundle over the simplex graph. We look at geometric graphs which admit a unique geodesic flow: their unit spheres must be Eulerian. We define Platonic spheres graph theoretically as d-spheres for which all unit spheres S(x) are graph isomorphic Platonic (d-1)-spheres. Gauss-Bonnet allows a classification within graph theory: all spheres are Platonic for d=1, the octahedron and icosahedron are the Platonic 2-spheres, the sixteen and six-hundred cells are the Platonic 3-spheres. The cross polytop is the unique Platonic d-sphere for d>3. It is Eulerian.

We introduce polytopal cell complexes associated with partial acyclic orientations of a simple graph, which generalize acyclic orientations. Using the theory of cellular resolutions, two of these polytopal cell complexes are observed to minimally resolve certain special combinatorial polynomial ideals related to acyclic orientations. These ideals are explicitly found to be Alexander dual, which relative to comparable results in the literature, generalizes in a cleaner and more illuminating way the well-known duality between permutohedron and tree ideals. The combinatorics underlying these results naturally leads to a canonical way to represent rooted spanning forests of a labelled simple graph as non-crossing trees, and these representations are observed to carry a plethora of information about generalized tree ideals and acyclic orientations of a graph, and about non-crossing partitions of a totally ordered set. A small sample of the enumerative and structural consequences of collecting and organizing this information are studied in detail. Applications of this combinatorial miscellanea are then introduced and explored, namely: Stochastic processes on state space equal to the set of all acyclic orientations of a simple graph, including irreducible Markov chains, which exhibit stationary distributions ranging from linear extensions-based to uniform; a surprising formula for the expected number of acyclic orientations of a random graph; and a purely algebraic presentation of the main problem in bootstrap percolation, likely making it tractable to explore the set of all percolating sets of a graph with a computer.

Let $G$ be a simple graph of order $n$. The energy $E(G)$ of the graph $G$ is the sum of the absolute values of the eigenvalues of $G$. The Randić matrix of $G$, denoted by $R(G)$, is defined as the $n\times n$ matrix whose $(i,j)$-entry is $(d_id_j)^{\frac{-1}{2}}$ if $v_i$ and $v_j$ are adjacent and $0$ for another cases. The Randić energy $RE$ of $G$ is the sum of absolute values of the eigenvalues of $R(G)$. In this paper we compute the energy and Randić energy for certain graphs. Also we propose a conjecture on Randić energy.

Let $G=(V(G),E(G))$ be a simple graph. A non-empty set $S\subseteq V (G)$ is a weakly connected dominating set in $G$, if the subgraph obtained from $G$ by removing all edges each joining any two vertices in $V (G)\setminus S$ is connected. In this paper, we consider some graphs and study the number of their weakly connected dominating sets.

Let $G$ be a simple graph with no even cycle, called an odd-cycle graph. Cavers et al. [Cavers et al. Skew-adjacency matrices of graphs, Linear Algebra Appl. 436(2012), 4512--1829] showed that the spectral radius of $G^σ$ is the same for every orientation $σ$ of $G$, and equals the maximum matching root of $G$. They proposed a conjecture that the graphs which attain the maximum skew spectral radius among the odd-cycle graphs $G$ of order $n$ are isomorphic to the odd-cycle graph with one vertex degree $n-1$ and size $m=\lfloor 3(n-1)/2\rfloor$. This paper, by using the Kelmans transformation, gives a proof of the conjecture. Moreover, sharp upper bounds of the maximum matching roots of the odd-cycle graphs with given order $n$ and size $m$ are given and extremal graphs are characterized.

The regularity of an edge ideal of a finite simple graph $G$ is at least the induced matching number of $G$ and is at most the minimum matching number of $G$. If $G$ possesses a dominating inuduced matching, i.e., an induced matching which forms a maximal matching, then the induced matching number of $G$ is equal to the minimum matching number of $G$. In the present paper, from viewpoints of both combinatorics and commutative algebra, finite simple graphs with dominating induced matchings will be mainly studied.