Abstract:SIAM Journal on Computing, Volume 53, Issue 5, Page 1578-1601, October 2024. We show that for any natural number [math], there is a constant [math] and a subgraph-closed class having, for any natural [math], at most [math] graphs on [math] vertices up to isomorphism, but no adjacency labeling scheme with labels of size at most [math]. In other words, for every [math], there is a small—even tiny—monotone class without universal graphs of size [math]. Prior to this result, it was not excluded that every small class has an almost linear universal graph, or equivalently a labeling scheme with labels of size [math]. The existence of such a labeling scheme, a scaled-down version of the recently disproved Implicit Graph Conjecture, was repeatedly raised [Gavoille and Labourel, Proceedings of the 15th Annual European Symposium on Algorithms, Lecture Notes in Comput. Sci. 4698, Springer, 2007, pp. 582–593; Dujmović et al., J. ACM, 68 (2021), pp. 1–33; Bonamy, Gavoille, and Pilipczuk, SIAM J. Discrete Math., 36 (2022), pp. 2082–2099; Bonnet et al., Comb. Theory, 2 (2022)]. Furthermore, our small monotone classes have unbounded twin-width and thus simultaneously disprove the already-refuted Small conjecture, but this time with a self-contained proof, not relying on elaborate group-theoretic constructions. As our main ingredient, we show that with high probability an Erdős–Rényi random graph [math] with [math] has, for every [math], at most [math] subgraphs on [math] vertices, up to isomorphism. As a barrier to our general method of producing even more complex tiny classes, we show that when [math], the latter no longer holds. More concretely, we provide an explicit lower bound on the number of unlabeled [math]-vertex induced subgraphs of [math] when [math]. We thereby obtain a threshold for the property of having exponentially many unlabeled induced subgraphs: if [math] with [math], then with high probability even the number of all unlabeled (not necessarily induced) subgraphs is [math], whereas if [math] for sufficiently large [math], then with high probability the number of unlabeled induced subgraphs is [math]. This result supplements the study of counting unlabeled induced subgraphs that was initiated by Erdős and Rényi with a question on the number of unlabeled induced subgraphs of Ramsey graphs, eventually answered by Shelah.

Counting and Exploring Sizes of Markov Equivalence Classes of Directed Acyclic Graphs.

On the number and size of Markov equivalence classes of random directed acyclic graphs

Counting Markov Equivalence Classes for DAG models on Trees

Reversible Mcmc on Markov Equivalence Classes of Sparse Directed Acyclic Graphs

Counting Markov Equivalence Classes by Number of Immoralities

A Fixed-Parameter Tractable Algorithm for Counting Markov Equivalence Classes with the same Skeleton

Learning directed acyclic graphs based on sparsest permutations

Towards Counting Markov Equivalence Classes with Logical Constraints

Efficient Enumeration of Markov Equivalent DAGs

Characterization and Greedy Learning of Interventional Markov Equivalence Classes of Directed Acyclic Graphs

Polynomial-Time Algorithms for Counting and Sampling Markov Equivalent DAGs with Applications

Small but Unwieldy: A Lower Bound on Adjacency Labels for Small Classes

On sampling graphical Markov models

Guided structure learning of DAGs for count data

Markov Equivalence Classes for Maximal Ancestral Graphs

Asymptotic analysis and efficient random sampling of directed ordered acyclic graphs

Adapting prime number labeling scheme for directed acyclic graphs

Learned sketch for subgraph counting: a holistic approach

Distinguish Markov Equivalence Classes From Large-Scale Linear Non-Gaussian Data

Large Independent Sets in Recursive Markov Random Graphs

A Shape Change Enhancing Hierarchical Layout for the Pairwise Comparison of Directed Acyclic Graphs