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.

Neighborhood-Prime Labelings of Trees and Other Classes of Graphs

New Perspectives on Neighborhood-Prime Labelings of Graphs

Prime Vertex Labelings Of Families Of Unicyclic Graphs

Tree-layout based graph classes: proper chordal graphs

Neighborhood Balanced Colorings of Graphs

Optimal L(3,2,1)-labeling of trees

Antimagic Labeling of Graphs Using Prime Numbers

Classifying prime graphs of finite groups -- a methodical approach

Closed Neighborhood Balanced Coloring of Graphs

A refinement of Cayley's formula for trees

Random Walk Labelings of Perfect Trees and Other Graphs

Words for the Graphs with Permutation-Representation Number at most Three

Graphs with prescribed local neighborhoods of their universal coverings

Graceful and Prime Labelings -- Algorithms, Embeddings and Conjectures

Network Representation and Modular Decomposition of Combinatorial Structures: A Galled-Tree Perspective

On selecting a fraction of leaves with disjoint neighborhoods in a plane tree

Neighborhood Balanced 3-Coloring

Zonal labelings and Tait colorings from a new perspective

PCA Beyond The Concept of Manifolds: Principal Trees, Metro Maps, and Elastic Cubic Complexes

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

Prime Parking Functions on Rooted Trees