arXiv++ Combinatorics

We discover a first-order phase transition in the canonical ensemble of random unlabeled networks with a prescribed average number of links. The transition is caused by the nonconcavity of microcanonical entropy. Above the critical point coinciding with the graph symmetry phase transition, the canonical and microcanonical ensembles are equivalent and have a well-behaved thermodynamic limit. Below the critical point, the ensemble equivalence is broken, and the canonical ensemble is a mixture of phases: empty networks and networks with average degrees diverging logarithmically with the network size. As a consequence, networks with bounded average degrees do not survive in the thermodynamic limit, decaying into the empty phase. The celebrated percolation transition in labeled networks is thus absent in unlabeled networks. In view of these differences between labeled and unlabeled ensembles, the question of which one should be used as a null model of different real-world networks cannot be ignored.

In a recent article J. Phys. Compl. 4 (2023) 035005, Kawamoto evoked statistical physics methods for the problem of counting graphs with a prescribed degree sequence. This treatment involved truncating a particular Taylor expansion at the first two terms, which resulted in the Bender-Canfield estimate for the graph counts. This is surprisingly successful since the Bender-Canfield formula is asymptotically accurate for large graphs, while the series truncation does not a priori suggest a similar level of accuracy. We upgrade the above treatment in three directions. First, we derive an exact formula for counting d-regular graphs in terms of a d-dimensional Gaussian integral. Second, we show how to convert this formula into an integral representation for the generating function of d-regular graph counts. Third, we perform explicit saddle point analysis for large graph sizes and identify the saddle point configurations responsible for graph count estimates. In these saddle point configurations, only two of the integration variables condense to significant values, while the remaining ones approach zero for large graphs. This provides an underlying picture that justifies Kawamoto's earlier findings.