Rigidity of Compact Fuchsian Manifolds with Convex Boundary

A compact Fuchsian manifold with boundary is a hyperbolic 3-manifold homeomorphic to $S_g \times [0; 1]$ such that the boundary component $S_g \times \{ 0\}$ is geodesic. We prove that a compact Fuchsian manifold with convex boundary is uniquely determined by the induced path metric on $S_g \times \{1\}$. We do not put further restrictions on the boundary except convexity.

Structure and Colour in Triangle-Free Graphs

Motivated by a recent conjecture of the first author, we prove that every properly coloured triangle-free graph of chromatic number $\chi$ contains a rainbow independent set of size $\lceil\frac12\chi\rceil$. This is sharp up to a factor $2$. This result and its short proof have implications for the related notion of chromatic discrepancy. Drawing inspiration from both structural and extremal graph theory, we conjecture that every triangle-free graph of chromatic number $\chi$ contains an induced cycle of length $\Omega(\chi\log\chi)$ as $\chi\to\infty$. Even if one only demands an induced path of length $\Omega(\chi\log\chi)$, the conclusion would be sharp up to a constant multiple. We prove it for regular girth $5$ graphs and for girth $21$ graphs. As a common strengthening of the induced paths form of this conjecture and of Johansson's theorem (1996), we posit the existence of some $c >0$ such that for every forest $H$ on $D$ vertices, every triangle-free and induced $H$-free graph has chromatic number at most $c D/\log D$. We prove this assertion with 'triangle-free' replaced by 'regular girth 5'.

Independent Sets in ($$P_4+P_4$$,Triangle)-Free Graphs

The Maximum Weight Independent Set Problem (WIS) is a well-known NP-hard problem. A popular way to study WIS is to detect graph classes for which WIS can be solved in polynomial time, with particular reference to hereditary graph classes, i.e., defined by a hereditary graph property or equivalently by forbidding one or more induced subgraphs. Given two graphs G and H, $$G+H$$ G + H denotes the disjoint union of G and H. This manuscript shows that (i) WIS can be solved for ($$P_4+P_4$$ P 4 + P 4 , Triangle)-free graphs in polynomial time, where a $$P_4$$ P 4 is an induced path of four vertices and a Triangle is a cycle of three vertices, and that in particular it turns out that (ii) for every ($$P_4+P_4$$ P 4 + P 4 , Triangle)-free graph G there is a family $${{\mathcal {S}}}$$ S of subsets of V(G) inducing (complete) bipartite subgraphs of G, which contains polynomially many members and can be computed in polynomial time, such that every maximal independent set of G is contained in some member of $${\mathcal {S}}$$ S . These results seem to be harmonic with respect to other polynomial results for WIS on [subclasses of] certain $$S_{i,j,k}$$ S i , j , k -free graphs and to other structure results on [subclasses of] Triangle-free graphs.

Exact and approximate algorithms for the longest induced path problem

The longest induced path problem consists in finding a maximum subset of vertices of a graph such that it induces a simple path. We propose a new exact enumerative algorithm that solves problems with up to 138 vertices and 493 edges and a heuristic for larger problems. Detailed computational experiments compare the results obtained by the new algorithms with other approaches in the literature and investigate the characteristics of the optimal solutions.