Fully graphic degree sequences and P-stable degree sequences

The notion of P-stability of an infinite set of degree sequences plays influential role in approximating the permanents, rapidly sampling the realizations of graphic degree sequences, or even studying and improving network privacy. While there exist several known sufficient conditions for P-stability, we don't know any useful necessary condition for it. We also do not have good insight of possible structure of P-stable degree sequence families.

At first we will show that every known infinite P-stable degree sequence set, described by inequalities of the parameters $n,c_1,c_2,\Sigma$ (the sequence length, the maximum and minimum degrees and the sum of the degrees) is “fully graphic” meaning that every degree sequence from the region with an even degree sum, is graphic. Furthermore, if Σ does not occur in the determining inequality, then the notions of P-stability and full graphicality will be proved equivalent. In turn, this equality provides a strengthening of the well-known theorem of Jerrum, McKay and Sinclair about P-stability, describing the maximal P-stable sequence set by $n,c_1,c_2$. Furthermore we conjecture that similar equivalences occur in cases if Σ also part of the defining inequality.