-
Delineating Half-Integrality of the Erdős-Pósa Property for Minors: the Case of Surfaces
Authors:
Christophe Paul,
Evangelos Protopapas,
Dimitrios M. Thilikos,
Sebastian Wiederrecht
Abstract:
In 1986 Robertson and Seymour proved a generalization of the seminal result of Erdős and Pósa on the duality of packing and covering cycles: A graph has the Erdős-Pósa property for minors if and only if it is planar. In particular, for every non-planar graph $H$ they gave examples showing that the Erdős-Pósa property does not hold for $H.$ Recently, Liu confirmed a conjecture of Thomas and showed…
▽ More
In 1986 Robertson and Seymour proved a generalization of the seminal result of Erdős and Pósa on the duality of packing and covering cycles: A graph has the Erdős-Pósa property for minors if and only if it is planar. In particular, for every non-planar graph $H$ they gave examples showing that the Erdős-Pósa property does not hold for $H.$ Recently, Liu confirmed a conjecture of Thomas and showed that every graph has the half-integral Erdős-Pósa property for minors. Liu's proof is non-constructive and to this date, with the exception of a small number of examples, no constructive proof is known.
In this paper, we initiate the delineation of the half-integrality of the Erdős-Pósa property for minors. We conjecture that for every graph $H,$ there exists a unique (up to a suitable equivalence relation) graph parameter ${\textsf{EP}}_H$ such that $H$ has the Erdős-Pósa property in a minor-closed graph class $\mathcal{G}$ if and only if $\sup\{\textsf{EP}_H(G) \mid G\in\mathcal{G}\}$ is finite. We prove this conjecture for the class $\mathcal{H}$ of Kuratowski-connected shallow-vortex minors by showing that, for every non-planar $H\in\mathcal{H},$ the parameter ${\sf EP}_H(G)$ is precisely the maximum order of a Robertson-Seymour counterexample to the Erdős-Pósa property of $H$ which can be found as a minor in $G.$ Our results are constructive and imply, for the first time, parameterized algorithms that find either a packing, or a cover, or one of the Robertson-Seymour counterexamples, certifying the existence of a half-integral packing for the graphs in $\mathcal{H}.$
△ Less
Submitted 24 June, 2024;
originally announced June 2024.
-
Universal Obstructions of Graph Parameters
Authors:
Christophe Paul,
Evangelos Protopapas,
Dimitrios M. Thilikos
Abstract:
We introduce a graph-parametric framework for obtaining obstruction characterizations of graph parameters with respect to partial ordering relations. For this, we define the notions of class obstruction, parametric obstruction, and universal obstruction as combinatorial objects that determine the asymptotic behavior of graph parameters. Our framework permits a unified framework for classifying gra…
▽ More
We introduce a graph-parametric framework for obtaining obstruction characterizations of graph parameters with respect to partial ordering relations. For this, we define the notions of class obstruction, parametric obstruction, and universal obstruction as combinatorial objects that determine the asymptotic behavior of graph parameters. Our framework permits a unified framework for classifying graph parameters. Under this framework, we survey existing graph- theoretic results on most known graph parameters. Also we provide some unifying results on their classification.
△ Less
Submitted 27 April, 2023;
originally announced April 2023.
-
Graph Parameters, Universal Obstructions, and WQO
Authors:
Christophe Paul,
Evangelos Protopapas,
Dimitrios M. Thilikos
Abstract:
We introduce the notion of a universal obstruction of a graph parameter with respect to some quasi-ordering relation on graphs. Universal obstructions may serve as a canonical obstruction characterization of the approximate behaviour of graph parameters. We provide an order-theoretic characterization of the finiteness of universal obstructions and, when this is the case, we present some algorithmi…
▽ More
We introduce the notion of a universal obstruction of a graph parameter with respect to some quasi-ordering relation on graphs. Universal obstructions may serve as a canonical obstruction characterization of the approximate behaviour of graph parameters. We provide an order-theoretic characterization of the finiteness of universal obstructions and, when this is the case, we present some algorithmic implications on the existence of fixed-parameter algorithms.
△ Less
Submitted 3 May, 2024; v1 submitted 7 April, 2023;
originally announced April 2023.
-
On Strict Brambles
Authors:
Emmanouil Lardas,
Evangelos Protopapas,
Dimitrios M. Thilikos,
Dimitris Zoros
Abstract:
A strict bramble of a graph $G$ is a collection of pairwise-intersecting connected subgraphs of $G.$ The order of a strict bramble ${\cal B}$ is the minimum size of a set of vertices intersecting all sets of ${\cal B}.$ The strict bramble number of $G,$ denoted by ${\sf sbn}(G),$ is the maximum order of a strict bramble in $G.$ The strict bramble number of $G$ can be seen as a way to extend the no…
▽ More
A strict bramble of a graph $G$ is a collection of pairwise-intersecting connected subgraphs of $G.$ The order of a strict bramble ${\cal B}$ is the minimum size of a set of vertices intersecting all sets of ${\cal B}.$ The strict bramble number of $G,$ denoted by ${\sf sbn}(G),$ is the maximum order of a strict bramble in $G.$ The strict bramble number of $G$ can be seen as a way to extend the notion of acyclicity, departing from the fact that (non-empty) acyclic graphs are exactly the graphs where every strict bramble has order one. We initiate the study of this graph parameter by providing three alternative definitions, each revealing different structural characteristics. The first is a min-max theorem asserting that ${\sf sbn}(G)$ is equal to the minimum $k$ for which $G$ is a minor of the lexicographic product of a tree and a clique on $k$ vertices (also known as the lexicographic tree product number). The second characterization is in terms of a new variant of a tree decomposition called lenient tree decomposition. We prove that ${\sf sbn}(G)$ is equal to the minimum $k$ for which there exists a lenient tree decomposition of $G$ of width at most $k.$ The third characterization is in terms of extremal graphs. For this, we define, for each $k,$ the concept of a $k$-domino-tree and we prove that every edge-maximal graph of strict bramble number at most $k$ is a $k$-domino-tree. We also identify three graphs that constitute the minor-obstruction set of the class of graphs with strict bramble number at most two. We complete our results by proving that, given some $G$ and $k,$ deciding whether ${\sf sbn}(G) \leq k$ is an ${\sf NP}$-complete problem.
△ Less
Submitted 15 January, 2022;
originally announced January 2022.
-
Irrotational Stokes flow in three system of coordinates
Authors:
Eleftherios Protopapas
Abstract:
Irrotational flow is described with the second order elliptic partial differential equation $E^2ψ=0,$ where $ψ$ is the function to be derived and $E^2$ is the Stokes operator. In the present paper we derive the solution of $E^2ψ=0$ in three axisymmetric system of coordinates: the parabolic, the tangent sphere and the cardioid. We prove that Stokes equation separates variables in the parabolic coor…
▽ More
Irrotational flow is described with the second order elliptic partial differential equation $E^2ψ=0,$ where $ψ$ is the function to be derived and $E^2$ is the Stokes operator. In the present paper we derive the solution of $E^2ψ=0$ in three axisymmetric system of coordinates: the parabolic, the tangent sphere and the cardioid. We prove that Stokes equation separates variables in the parabolic coordinate system, but it R-separates variables in the other two. At the end of this manuscript we summarize all the known results for the 0-eigenspace of $E^2$ in axisymmetric system of coordinates.
△ Less
Submitted 16 July, 2021;
originally announced July 2021.