arXiv++ Combinatorics

In this paper, we discuss the adjacency matrices of finite undirected simple graphs over a finite prime field $\mathbb{F}_p$. We apply symmetric (row and column) elementary transformations to the adjacency matrix over $\mathbb{F}_p$ in order to get a direct sum decomposition by other adjacency matrices. In this paper, we give a complete description of the direct sum decomposition of the adjacency matrix of any graph over $\mathbb{F}_p$ for any odd prime $p$. Our key tool is quadratic residues of $\mathbb{F}_p$.

For a finite simple graph $G$, the bunkbed graph $G^\pm$ is defined to be the product graph $G\square K_2$. We will label the two copies of a vertex $v\in V(G)$ as $v_-$ and $v_+$. The bunkbed conjecture, posed by Kasteleyn, states that for independent bond percolation on $G^\pm$, percolation from $u_-$ to $v_-$ is at least as likely as percolation from $u_-$ to $v_+$, for any $u,v\in V(G)$. Despite the plausibility of this conjecture, so far the problem in full generality remains open. Recently, Hutchcroft, Nizić-Nikolac, and Kent gave a proof of the conjecture in the $p\uparrow 1$ limit. Here we present a new proof of the bunkbed conjecture in this limit, working in the more general setting of allowing different probabilities on different edges of $G^\pm$.

Given a (finite) simplicial complex, we define its $i$-th Laplacian polytope as the convex hull of the columns of its $i$-th Laplacian matrix. This extends Laplacian simplices of finite simple graphs, as introduced by Braun and Meyer. After studying basic properties of these polytopes, we focus on the $d$-th Laplacian polytope of the boundary of a $(d+1)$-simplex $\partial(σ_{d+1})$. If $d$ is odd, then as for graphs, the $d$-th Laplacian polytope turns out to be a $(d+1)$-simplex in this case. If $d$ is even, we show that the $d$-th Laplacian polytope of $\partial(σ_{d+1})$ is combinatorially equivalent to a $d$-dimensional cyclic polytope on $d+2$ vertices. Moreover, we provide an explicit regular unimodular triangulation for the $d$-th Laplacian polytope of $\partial(σ_{d+1})$. This enables us to to compute the normalized volume and to show that the $h^\ast$-polynomial is real-rooted and unimodal, if $d$ is odd and even, respectively.

Given a multigraph $G$ and function $f : V(G) \rightarrow \mathbb{Z}_{\ge 2}$ on its vertices, a degree-$f$ subgraph of $G$ is a spanning subgraph in which every vertex $v$ has degree at most $f(v)$. The degree-$f$ arboricity $a_f(G)$ of $G$ is the minimum number of colors required to edge-color $G$ into degree-$f$ forests. At least for constant $f$, Truszczyński conjectured that $a_f(G) \le \max \{Δ_f(G) + 1, a(G)\}$ for every multigraph $G$, where $Δ_f(G) = \max_{v \in V(G)} \lceil d(v)/f(v) \rceil$ and $a(G)$ is the usual arboricity of $G$. This is a strong generalization of the Linear Arboricity Conjecture due to Akiyama, Exoo, and Harary. In this paper, we disprove Truszczyński's conjecture in a strong sense for general multigraphs. On the other hand, extending known results for linear arboricity, we prove that the conjecture holds for simple graphs with sufficiently large girth, and that it holds for all simple graphs asymptotically. More strongly, we prove these partial results in the setting of directed graphs, where the color classes are required to be analogously defined degree-$f$ branchings.

Edge ideals of finite simple graphs $G$ on $n$ vertices are the ideals $I(G)$ of the polynomial ring $S$ in $n$ variables generated by the quadratic monomials associated with the edges of $G$. In this paper, we consider the possible pairs of dimensions and depths of $S/I(G)$ for connected graphs with a fixed number of vertices. We discuss such pairs in the case where dimension is relatively large. As a corollary, we completely determine the pairs for connected graphs with small number of vertices. We also study the possible pairs for connected chordal graphs.

In this paper, we extend the notion of a merge tree to that of a generalized merge tree, a merge tree that includes 1-dimensional cycle birth information. Given a discrete Morse function on a $1$-dimensional regular CW complex, we construct the induced generalized merge tree. We give several notions of equivalence of discrete Morse functions based on the induced generalized merge tree and how these notions relate to one another. As a consequence, we obtain a complete solution to the inverse problem between discrete Morse functions on $1$-dimensional regular CW complexes and generalized merge trees. After characterizing which generalized merge trees can be induced by a discrete Morse function on a simple graph, we give an algorithm based on the induced generalized merge tree of a discrete Morse function $f\colon X \to \mathbb{R}$ that cancels the critical simplices of $f$ and replaces it with an optimal discrete Morse function.

Let $G$ be a simple graph of order $n$. A majority dominator coloring of a graph $G$ is proper coloring in which each vertex of the graph dominates at least half of one color class. The majority dominator chromatic number $χ_{md}(G)$ is the minimum number of color classes in a majority dominator coloring of $G$. In this paper we study properties of the majority dominator coloring of a graph. We obtain tight upper and lower bounds in terms of chromatic number, dominator chromatic number, maximum degree, domination and independence number. We also study majority dominator coloring number of selected families of graphs.

Let $R$ be a ring with unity. The cozero-divisor graph of a ring $R$ is an undirected simple graph whose vertices are the set of all non-zero and non-unit elements of $R$ and two distinct vertices $x$ and $y$ are adjacent if and only if $x \notin Ry$ and $y \notin Rx$. The reduced cozero-divisor graph of a ring $R$, is an undirected simple graph whose vertex set is the set of all nontrivial principal ideals of $R$ and two distinct vertices $(a)$ and $(b)$ are adjacent if and only if $(a) \not\subset (b)$ and $(b) \not\subset (a)$. In this paper, we characterize all classes of finite non-local commutative rings for which the cozero-divisor graph and reduced cozero-divisor graph is of genus two.

A circulant graph is a simple graph whose adjacency matrix can be represented in the form of a circulant matrix, while a nut graph is considered to be a graph whose null space is spanned by a single full vector. In a previous study by Damnjanović [arXiv:2212.03026, 2022], the complete set of all the pairs $(n, d)$ for which there exists a $d$-regular circulant nut graph of order $n$ has been determined. Motivated by the said results, we put our focus on the quartic circulant graphs and derive an explicit formula for computing their nullities. Furthermore, we implement the aforementioned formula in order to obtain a method for inspecting the singularity of a particular quartic circulant graph and find the concise criteria to be used for testing whether such a graph is a nut graph. Subsequently, we compute the minimum and maximum nullity that a quartic circulant graph of a fixed order $n$ can attain, for each viable order $n \ge 5$. Finally, we determine all the graphs attaining these nullities and then provide a full characterization of all of their corresponding extremal null spaces.

A Čech complex of a finite simple graph $G$ is a nerve complex of balls in the graph, with one ball centered at each vertex. More precisely, let the Čech complex $\mathcal{N}(G,r)$ be the nerve of all closed balls of radius $\frac{r}{2}$ centered at vertices of $G$, where these balls are drawn in the geometric realization of the graph $G$ (equipped with the shortest path metric). The simplicial complex $\mathcal{N}(G,r)$ is equal to the graph $G$ when $r=1$, and homotopy equivalent to the graph $G$ when $r$ is smaller than half the length of the shortest loop in $G$. For higher values of $r$, the topology of $\mathcal{N}(G,r)$ is not well-understood. We consider the $n$-dimensional hypercube graphs $\mathbb{I}_n$ with $2^n$ vertices. Our main results are as follows. First, when $r=2$, we show that the Čech complex $\mathcal{N}(\mathbb{I}_n,2)$ is homotopy equivalent to a wedge of 2-spheres for all $n\ge 1$, and we count the number of 2-spheres appearing in this wedge sum. Second, when $r=3$, we show that $\mathcal{N}(\mathbb{I}_n,3)$ is homotopy equivalent to a simplicial complex of dimension at most 4, and that for $n\ge 4$ the reduced homology of $\mathcal{N}(\mathbb{I}_n, 3)$ is nonzero in dimensions 3 and 4, and zero in all other dimensions. Finally, we show that for all $n\ge 1$ and $r\ge 0$, the inclusion $\mathcal{N}(\mathbb{I}_n, r)\hookrightarrow \mathcal{N}(\mathbb{I}_n, r+2)$ is null-homotopic, providing a bound on the length of bars in the persistent homology of Čech complexes of hypercube graphs.

The Grundy domination number of a simple graph $G = (V,E)$ is the length of the longest sequence of unique vertices $S = (v_1, \ldots, v_k)$, $v_i \in V$, that satisfies the property $N[v_i] \setminus \cup_{j=1}^{i-1}N[v_j] \neq \emptyset$ for each $i \in [k]$. Here, $N(v) = \{u : uv \in E\}$ and $N[v] = N(v) \cup \{v\}$. In this note, we prove a recent conjecture about the Grundy domination number of the strong product of two graphs. We then discuss how this result relates to the zero forcing number of the strong product of graphs.

A circulant nut graph is a non-trivial simple graph such that its adjacency matrix is a circulant matrix whose null space is spanned by a single vector without zero elements. Regarding these graphs, the order-degree existence problem can be thought of as the mathematical problem of determining all the possible pairs $(n, d)$ for which there exists a $d$-regular circulant nut graph of order $n$. This problem was initiated by Bašić et al. and the first major results were obtained by Damnjanović and Stevanović, who proved that for each odd $t \ge 3$ such that $t\not\equiv_{10}1$ and $t\not\equiv_{18}15$, there exists a $4t$-regular circulant nut graph of order $n$ for each even $n \ge 4t + 4$. Afterwards, Damnjanović improved these results by showing that there necessarily exists a $4t$-regular circulant nut graph of order $n$ whenever $t$ is odd, $n$ is even, and $n \ge 4t + 4$ holds, or whenever $t$ is even, $n$ is such that $n \equiv_4 2$, and $n \ge 4t + 6$ holds. In this paper, we extend the aforementioned results by completely resolving the circulant nut graph order-degree existence problem. In other words, we fully determine all the possible pairs $(n, d)$ for which there exists a $d$-regular circulant nut graph of order $n$.

Let $G=(V,E)$ be a simple graph. A set $D\subseteq V$ is a strong dominating set of $G$, if for every vertex $x\in V\setminus D$ there is a vertex $y\in D$ with $xy\in E(G)$ and $deg(x)\leq deg(y)$. The strong domination number $γ_{st}(G)$ is defined as the minimum cardinality of a strong dominating set. In this paper, we study the effects on $γ_{st}(G)$ when $G$ is modified by operations on vertex and edge of $G$.

We give a new formula for computing the isospectral reduction of a matrix (and graph) down to a submatrix (or subgraph). Using this, we generalize the notion of isospectral reductions. In addition, we give a procedure for constructing a matrix whose isospectral reduction down to a submatrix is given. We also prove that the isospectral reduction completely determines the restriction of the quantum walk transition matrix to a subset. Using these, we construct new families of simple graphs exhibiting perfect quantum state transfer.

We introduce a new operad-like structure that we call a reconnectad; the ``input'' of an element of a reconnectad is a finite simple graph, rather than a finite set, and ``compositions'' of elements are performed according to the notion of the reconnected complement of a subgraph. The prototypical example of a reconnectad is given by the collection of toric varieties of graph associahedra of Carr and Devadoss, with the structure operations given by inclusions of orbits closures. We develop the general theory of reconnectads, and use it to study the ``wonderful reconnectad'' assembled from homology groups of complex toric varieties of graph associahedra.

For a simple graph $G$, assume that $J(G)$ is the vertex cover ideal of $G$ and $J(G)^{(s)}$ is the $s$-th symbolic power of $J(G)$. We prove that $(J(C)^{(s)})=(J(C)^s)$ for all $s\geq 1$ and for all odd cycle $C$. For a simplicial complex $Δ$, we show that $Δ$ is vertex decomposable if $I_Δ^{\vee}$ is weakly polymatroidal. Let $W=G^π$ be a fully clique-whiskering graph, we prove that $J(W)^s$ is weakly polymatroidal for all $s\geq 1$.

For any two non-negative integers h and k, h > k, an L(h, k)-colouring of a graph G is a colouring of vertices such that adjacent vertices admit colours that at least differ by h and vertices that are two distances apart admit colours that at least differ by k. The smallest positive integer δ such that G permits an L(h, k)-colouring with maximum colour δ is known as the L(h, k)-chromatic number (L(h, k)-colouring number) denoted by λ_{h,k}(G). In this paper, we discuss some interesting invariants in hypergraphs. In fact, we study the relation between the spectral gap and L(2, 1)-chromatic number of hypergraphs. We derive some inequalities which relates L(2, 1)-chromatic number of a k-regular simple graph to its spectral gap and expansion constant. The upper bound of L(h, k)-chromatic number in terms of various hypergraph invariants such as strong chromatic number, strong independent number and maximum degree is obtained. We determine the sharp upper bound for L(2, 1)-chromatic number of hypertrees in terms of its maximum degree. Finally, we conclude this paper with a discussion on L(2, 1)-colouring in cartesian product of some classes of hypergraphs.

We study algebraic and homological properties of the ideal of submaximal minors of a sparse generic symmetric matrix. This ideal is generated by all $(n-1)$-minors of a symmetric $n \times n$ matrix whose entries in the upper triangle are distinct variables or zeros and the zeros are only allowed at off-diagonal places. The surviving off-diagonal entries are encoded as a simple graph $G$ with $n$ vertices. We prove that the minimal free resolution of this ideal is obtained from the case without any zeros via a simple pruning procedure, extending methods of Boocher. This allows us to compute all graded Betti numbers in terms of $n$ and a single invariant of $G$. Moreover, it turns out that these ideals are always radical and have Cohen--Macaulay quotients if and only if $G$ is either connected or has no edges at all. The key input are some new Gröbner basis results with respect to non-diagonal term orders associated to $G$.

Mkrtchyan and Steffen [J. Graph Theory, 70 (4), 473--482, 2012] showed that every class II simple graph can be decomposed into a maximum $Δ$-edge-colorable subgraph and a matching. They further conjectured that every graph $G$ with chromatic index $Δ(G)+k$ ($k\geq 1$) can be decomposed into a maximum $Δ(G)$-edge-colorable subgraph (not necessarily class I) and a $k$-edge-colorable subgraph. In this paper, we first generalize their result to multigraphs and show that every multigraph $G$ with multiplicity $μ$ can be decomposed into a maximum $Δ(G)$-edge-colorable subgraph and a subgraph with maximum degree at most $μ$. Then we prove that every graph $G$ with chromatic index $Δ(G)+k$ can be decomposed into two class I subgraphs $H_1$ and $H_2$ such that $Δ(H_1) = Δ(G)$ and $Δ(H_2) = k$, which is a variation of their conjecture.

Let $G=(V, E)$ be a simple graph with vertex set $V$ and edge set $E$. The Sombor index of the graph $G$ is a degree-based topological index, defined as $$SO(G)=\sum_{uv \in E}\sqrt{d(u)^2+d(v)^2},$$ in which $d(x)$ is the degree of the vertex $x \in V$ for $x=u, v$. In this paper, we characterize the extremal trees with a given degree sequence that maximizes the Sombor index.