On Computing Non-negative Loop-Free Edge-Bipartite Graphs

• Main Authors: Marczak, Grzegorz, Simson, Daniel, Zajac, Katarzyna
• Format: Conference Proceeding
• Language: English
• Subjects: Algorithms; Classification; Classification algorithms; Computation; Computer simulation; Coxeter spectrum; edge-bipartite graph; Geometry; Graphs; Manganese; Mathematical analysis; Matrices; mesh root system; Polynomials; Spectra; Symmetric matrices; unit quadratic form; Vectors; Z-congruence; Zinc
• DOI: 10.1109/SYNASC.2013.16

We continue the Coxeter spectral study of finite connected loop-free edge-bipartite graphs Δ, with n ≥ 2 vertices (a class of signed graphs), started in [SIAM J. Discrete Math., 27(2013), 827-854] by means of the complex Coxeter spectrum specc Δ ⊆ ℂ. Here, we discuss Coxeter spectral analysis problems of non-negative edge-bipartite graphs of corank s ≤ n-1, which means that the symmetric Gram matrix G Δ ∈ M n (ℤ) is positive semi-definite of rank n-s ≤ n. In particular, we study in details the loop-free edge-bipartite graphs of corank s = n - 1. We present algorithms that generate all such edge-bipartite graphs of a given size and, using symbolic and numerical computer calculations in Python, and we obtain their complete classification in relation with Diophantine geometry problems. We also construct algorithms that allow us to classify all connected loop-free non-negative edge-bipartite graphs Δ, with a fixed number n ≥ 2 of vertices, by means of their Coxeter spectra specc Δ .