We continue the Coxeter spectral study of the category UBigr m of loop-free edgebipartite (signed) graphs ∆, with m ≥ 2 vertices, we started in [SIAM J. Discr. Math. 27(2013), 827-854] for corank r = 0 and r = 1. Here we study the class of all non-negative edge-bipartite graphs ∆ ∈ UBigr n+r of corank r ≥ 0, up to a pair of the Gram Z-congruences ∼ Z and ≈ Z , by means of the non-symmetric Gram matrix Ǧ∆ ∈ M n+r (Z) of ∆, the symmetric Gram matrixand its spectrum specc ∆ ⊂ C, called the Coxeter spectrum of ∆. One of the aims in the study of the category UBigr n+r is to classify the equivalence classes of the non-negative edge-bipartite graphs in UBigr n+r with respect to each of the Gram congruences ∼ Z and ≈ Z . In particular, the Coxeter spectral analysis question, when the strong congruence ∆ ≈ Z ∆ holds (hence also ∆ ∼ Z ∆ holds), for a pair of connected non-negative graphs ∆, ∆ ∈ UBigr n+r such that specc ∆ = specc ∆ , is studied in the paper.
One of our main aims is an algorithmic description of a matrix B defining the Gramrespectively. We show that, given a connected non-negative edge-bipartite graph ∆ in UBigr n+r of corank r ≥ 0 there exists a simply laced Dynkin diagram D, with n vertices, and a connected canonical r-vertex extension D := D (r) of D of corank r (constructed in Section 2) such that ∆ ∼ Z D. We also show that every matrix B defining the strong Gram Zcongruence ∆ ≈ Z ∆ in UBigr n+r has the form B = C ∆ • B • C −1 ∆ , where C ∆ , C ∆ ∈ M n+r (Z) are fixed Z-invertible matrices defining the weak Gram congruences ∆ ∼ Z D and ∆ ∼ Z D with an r-vertex extended graph D, respectively, and B ∈ M n+r (Z) is Z-invertible matrix lying in the isotropy group Gl(n+r, Z) D of D. Moreover, each of the columns κ ∈ Z n+r of B is a root of ∆,