Matrices and α-stable bipartite graphs

Vadim E. Levit, Eugen Mandrescu

Research output: Contribution to journalArticlepeer-review

Abstract

A square (0, 1)-matrix X of order n ≥ 1 is called fully indecomposable if there exists no integer k with 1 ≤ k ≤ n - 1, such that X has a k by n - k zero submatrix. The reduced adjacency matrix of a bipartite graph G = (A, B, E) (having A∪B = {a 1,..., a m} ∪ {b 1,..., b n} as a vertex set, and E as an edge set), is X = [x ij], 1 ≤ i ≤ m, 1 ≤ j ≤ n, where X ij = 1 if a ib j ∈ E and x ij = 0 otherwise. A stable set of a graph G is a subset of pairwise nonadjacent vertices. The stability number of G, denoted by α(G), is the cardinality of a maximum stable set in G. A graph is called α-stable if its stability number remains the same upon both the deletion and the addition of any edge. We show that a connected bipartite graph has exactly two maximum stable sets that partition its vertex set if and only if its reduced adjacency matrix is fully indecomposable. We also describe a decomposition structure of α-stable bipartite graphs in terms of their reduced adjacency matrices. On the base of these findings, we obtain both new proofs for a number of well-known theorems on the structure of matrices due to Brualdi (1966), Marcus and Mine (1963), Dulmage and Mendelsohn (1958), and some generalizations of these statements. Two kinds of matrix product are also considered (namely, Boolean product and Kronecker product), and their corresponding graph operations. As a consequence, we obtain a new proof of one Lewin's theorem claiming that the product of two fully indecomposable matrices is a fully indecomposable matrix.

Original languageEnglish
Pages (from-to)1692-1706
Number of pages15
JournalJournal of Universal Computer Science
Volume13
Issue number11
StatePublished - 2007
Externally publishedYes

Keywords

  • Adjacency matrix
  • Bistable bipartite graph
  • Boolean product
  • Cover irreducible matrix
  • Elementary graph
  • Fully indecomposable matrix
  • Kronecker product
  • Perfect matching
  • Stable set
  • Total support

Fingerprint

Dive into the research topics of 'Matrices and α-stable bipartite graphs'. Together they form a unique fingerprint.

Cite this