arXiv++ Combinatorics

The problem of characterizing graphs with a prescribed number of main eigenvalues is a long-standing problem in spectral graph theory. Although some constructions are known, only a few produce infinite families of simple connected graphs with exactly $s \ge 2$ main eigenvalues. Zero-divisor graphs form a well-structured class of algebraic graphs whose spectra can be described explicitly using equitable partitions, making them a convenient setting to study main eigenvalues. In this paper, we prove that the zero-divisor graphs of reduced rings provide an infinite family of simple connected graphs with exactly $s$ main eigenvalues, and that certain induced bipartite subgraphs also have exactly $s$ main eigenvalues for any positive integer $s$.

Let $A$ be a finite commutative ring with unity $1 \neq 0.$ An ideal of $A$ is said to be essential if it has a non-zero intersection with every non-zero ideal of $A.$ The essential graph of $A$ is a simple undirected graph whose vertex set consists of all non-zero zero-divisors of $A.$ Two different vertices $u$ and $v$ are connected by an edge precisely when the ideal formed by the annihilator of their product $uv$ is essential in $A.$ This paper examines the minimal embeddings of the line graph of the essential graph of $A$ into orientable surfaces as well as non-orientable surfaces. Our results include a complete classification of finite commutative rings for which the line graphs of their essential graphs is planar, outerplanar or have genus or crosscap number at most two. We also characterize all such non-local rings for which the line graph of their zero-divisor graph is outerplanar.

The conditional $h$-vertex($h$-edge) connectivity of a connected graph $H$ of minimum degree $ k > h$ is the size of a smallest vertex(edge) set $F$ of $H$ such that $H - F$ is a disconnected graph of minimum degree at least $h.$ Let $G$ be the Cartesian product of $r\geq 1$ cycles, each of length at least four and let $h$ be an integer such that $0\leq h\leq 2r-2$. In this paper, we determine the conditional $h$-vertex-connectivity and the conditional $h$-edge-connectivity of the graph $G.$ We prove that both these connectivities are equal to $(2r-h)a_h^r$, where $a_h^r$ is the number of vertices of a smallest $h$-regular subgraph of $G.$

Zaslavsky introduced the concept of lifted-graphic matroid. For binary matroids, a binary elementary lift can be defined in terms of the splitting operation. In this paper, we give a method to get a forbidden-minor characterization for the class of graphic matroids whose all lifted-graphic matroids are also graphic using the splitting operation.

Given an $n$-connected binary matroid, we obtain a necessary and sufficient condition for its single-element coextensions to be $n$-connected.

Slater introduced the point-addition operation on graphs to classify 4-connected graphs. The $Γ$-extension operation on binary matroids is a generalization of the point-addition operation. In this paper, we obtain necessary and sufficient conditions to preserve $k$-connectedness of a binary matroid under the $Γ$-extension operation. We also obtain a necessary and sufficient condition to get a connected matroid from a disconnected binary matroid using the $Γ$-extension operation.

In this paper, we consider the problem of decomposing the augmented cube $AQ_n$ into two spanning, regular, connected and pancyclic subgraphs. We prove that for $ n \geq 4$ and $ 2n - 1 = n_1 + n_2 $ with $ n_1, n_2 \geq 2,$ the augmented cube $ AQ_n$ can be decomposed into two spanning subgraphs $ H_1$ and $ H_2$ such that each $ H_i$ is $n_i$-regular and $n_i$-connected. Moreover, $H_i$ is $4$-pancyclic if $ n_i \geq 3.$

It is known that the $n$-dimensional hypercube $Q_n,$ for $n$ even, has a decomposition into $k$-cycles for $k=n, 2n,$ $2^l$ with $2 \leq l \leq n.$ In this paper, we prove that $Q_n$ has a decomposition into $2^mn$-cycles for $n \geq 2^m.$ As an immediate consequence of this result, we get path decompositions of $Q_n$ as well. This gives a partial solution to a conjecture posed by Ramras and also, it solves some special cases of a conjecture due to Erde.