arXiv++ Combinatorics

We present a sufficient condition for a pair of finite integer sequences to be degree sequences of a bipartite graph, based only on the lengths of the sequences and their largest and smallest elements.

We give a sharp refinement of a result of Alon, Ben-Shimon and Krivelevich. This gives a sufficient condition for a finite sequence of positive integers to be the vertex degree list of both parts of a bipartite graph. The condition depends only on the length of the sequence and its largest and smallest elements.

For a finite sequence of positive integers to be the degree sequence of a finite graph, Zverovich and Zverovich gave a sufficient condition involving only the length of the sequence, its maximal element and its minimal element. In this paper we give a sharp refinement of Zverovich--Zverovich's result.

We give an improvement of a result of Zverovich and Zverovich which gives a condition on the first and last elements in a decreasing sequence of positive integers for the sequence to be graphic, that is, the degree sequence of a finite graph.

We show that if the two parts of a finite bipartite graph have the same degree sequence, then there is a bipartite graph, with the same degree sequences, which is symmetric, in that it has an involutive graph automorphism that interchanges its two parts. To prove this, we study the relationship between symmetric bipartite graphs and graphs with loops.

For finite sequence $\underbar{\em d}$ of positive integers, we consider graphs that have $\underbar{\em d}$ as their list of vertex degrees, and bipartite graphs for which each part has $\underbar{\em d}$ as its list of vertex degrees. In particular, we make a connection between a result for bipartite graphs by Alon, Ben-Shimon and Krivelevich and a result of Zverovich and Zverovich for graphs, and we give an improvement of a result of Zverovich and Zverovich. We show that the bipartite graphs with vertex degree sequences $(\underbar{\em d},\underbar{\em d}\,)$ are in one to one correspondence with graphs with loops with reduced degree sequence $\underbar{\em d}$, where the reduced degree of a vertex is defined to be the number of edges incident to the vertex, with loops counted only once. We also give two Erdős--Gallai type theorems for graphs with loops.