Constructing fifteen infinite classes of nonregular bipartite integral graphs

A graph is called integral if all its eigenvalues (of the adjacency matrix) are integers. In this paper, the graphs S₁(t) = K_1,t, S₂(n, t), S₃;(m, n, p, q), S₄(m, n, p, q), S₅(m, n), S₆(m, n, t), S₈(m, n), S ₉(m, n, p, q), S₁₀(n), S₁₃{m, n), S ₁₇(m, n, p, q), S₁₈(n, p, q, t), S₁₉(m, n, p, t), S₂₀(n, p, q) and S₂₁ (m, t) are defined. We construct the fifteen classes of larger graphs from the known 15 smaller integral graphs S₁ - S₆, S₈ - S₁₀, S₁₃, S₁₇ - S₂₁ (see also Figures 4 and 5, Balińska and Simić, Discrete Math. 236(2001) 13-24). These classes consist of nonregular and bipartite graphs. Their spectra and characteristic polynomials are obtained from matrix theory. We obtain their integral property by using number theory and computer search. All these classes are infinite. They are different from those in the literature. It is proved that the problem of finding such integral graphs is equivalent to solving Diophantine equations. We believe that it is useful for constructing other integral graphs. The discovery of these integral graphs is a new contribution to the search of integral graphs. Finally, we propose several open problems for further study.