arXiv Science⌕ Search
Home/Archive/arXiv

arXiv · 2610.07924

A forbidden-induced-subgraph characterization of beautiful graphs

Henning Wunderlich
View original source ↗Read source document ↗Export metadata ↓

Abstract

A graph is beautiful if each of its induced subgraphs is the intersection graph of all maximal nonempty 1-rectangles of a binary matrix, with adjacency defined by a common cell. Beautiful graphs were introduced as a hereditary class of Berge graphs, but a complete forbidden-induced-subgraph characterization was not obtained. We prove that a finite graph is beautiful if and only if it has no induced $C_4$, gem, net, watch, or odd hole. More precisely, these graphs are exactly the $C_4$-free comparability graphs admitting a partial order in which every interval is a chain. The proof constructs such an order from inclusion-maximal closed neighbourhoods: their representatives induce a bipartite graph whose domination regions admit compatible orientations. One order matrix then represents the graph and, through its principal submatrices, every induced subgraph. The representation step is formulated using classical double-bound graphs and the established correspondence between maximal bicliques and interval-intersection-closed posets. Consequences include polynomial-time recognition, the exact minimal obstruction families, and a corrected characterization in the $K_4$-free case.

Explore related subjects

math.CO

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

Henning Wunderlich. 2026-10-06. A forbidden-induced-subgraph characterization of beautiful graphs. https://arxiv.org/abs/2610.07924

Cite the original work for its findings. Save a collection to share your selection of sources.

KEEP EXPLORING

Related papers

arXiv2026

Twin-star hypothesis and cycle-free $d$-partitions of $K_{2d}$

In this paper we study an equivalence relation defined on the set of cycle-free $d$-partitions of the complete graph $K_{2d}$. We discuss a conjecture which states that this equivalence relation has only one equivalence class, and show that the conjecture is equivalent with the so called twin-star hypothesis. We check the conjecture in the case $d=4$ and disuses how this relates to the determinant-like map $det^{S^2}$.

math.CO↗
arXiv2026

Oriented trees in digraphs without short non-directed cycles

The girth of a graph $G$ is the length of a shortest cycle of $G$. Jiang (JCT-B, 2001) showed that every graph $G$ with girth at least $2\ell+1$ and minimum degree at least $k/\ell$ contains every tree with $k$ edges whose maximum degree does not exceed the minimum degree of $G$. In this paper, we extend Jiang's result to digraphs by proving that every digraph $D$ with no non-directed cycle of length between $3$ and $2\ell$ and minimum semidegree at least $k/\ell$ contains every oriented tree with $k$ edges whose maximum degree does not exceed the minimum semidegree of $D$. This answers a question raised by Stein and Trujillo-Negrete in the affirmative.

math.CO↗
arXiv2026

The 3-state Potts model on planar triangulations: explicit algebraic solution

We consider the $3$-state Potts generating function $T(ν,w)$ of planar triangulations; that is, the bivariate series that counts planar triangulations with vertices coloured in $3$ colours, weighted by their size (number of vertices, recorded by the variable $w$) and by the number of monochromatic edges (variable $ν$). This series was proved to be algebraic 15 years ago by Bernardi and the first author: this follows from its link with the solution of a discrete differential equation (DDE), and from general algebraicity results on such equations. However, despite recent progresses on the effective solution of DDEs, the exact value of $T(ν,w)$ has remained unknown so far -- except in the case $ν=0$, corresponding to proper colourings and solved by Tutte in the sixties. We determine here this exact value, proving that $T(ν,w)$ satisfies a polynomial equation of degree $11$ in $T$ and genus $1$ in $w$ and $T$. We prove that the critical value of $ν$ is $ν_c=1+3/\sqrt{47}$, with a critical exponent $6/5$ in the series $T(ν_c, \cdot)$, while the other values of $ν$ yield the usual map exponent $3/2$. By duality of the planar Potts model, our results also characterize the 3-state Potts generating function of planar cubic maps, in which all vertices have degree $3$. In particular, the annihilating polynomial, still of degree $11$, that we obtain for properly 3-coloured cubic maps proves a conjecture by Bruno Salvy from 2009.

math.CO↗