Abstract:We introduce a new parameter, called stretch-width, that we show sits strictly between clique-width and twin-width. Unlike the reduced parameters [BKW '22], planar graphs and polynomial subdivisions do not have bounded stretch-width. This leaves open the possibility of efficient algorithms for a broad fragment of problems within Monadic Second-Order (MSO) logic on graphs of bounded stretch-width. In this direction, we prove that graphs of bounded maximum degree and bounded stretch-width have at most logarithmic treewidth. As a consequence, in classes of bounded stretch-width, Maximum Independent Set can be solved in subexponential time $2^{O(n^{4/5} \log n)}$ on $n$-vertex graphs, and, if further the maximum degree is bounded, Existential Counting Modal Logic [Pilipczuk '11] can be model-checked in polynomial time. We also give a polynomial-time $O(\text{OPT}^2)$-approximation for the stretch-width of symmetric $0,1$-matrices or ordered graphs. Somewhat unexpectedly, we prove that exponential subdivisions of bounded-degree graphs have bounded stretch-width. This allows to complement the logarithmic upper bound of treewidth with a matching lower bound. We leave as open the existence of an efficient approximation algorithm for the stretch-width of unordered graphs, if the exponential subdivisions of all graphs have bounded stretch-width, and if graphs of bounded stretch-width have logarithmic clique-width (or rank-width).

Stretch maps on the affine-additive group

Stretch-Minimizing Volumetric Parameterization

Modulus of surface families and the radial stretch in the Heisenberg group

Conformal mappings of stretched polyominoes onto half-plane

A Note on the Unique Extremality of Spiral-Stretch Maps

Stretch-width

On Some Basic Results Related to Affine Functions on Riemannian Manifolds

Projective Transformations of Convex Bodies and Volume Product

Minimal surfaces and alternating multiple zetas

A Convex Method to Minimal Problems for Fundamental Matrix Estimation with Radial Distortion

Stretch laminations and hyperbolic Dehn surgery

Minimal stretch factors of orientation-reversing fully-punctured pseudo-Anosov maps

Convergence Analysis of Volumetric Stretch Energy Minimization and Its Associated Optimal Mass Transport.

On a problem of Pavlović involving harmonic quasiconformal mappings

Definitions of quasiconformality on metric surfaces

On Maximal Functions Associated to Families of Curves in the Plane

On quasiconformal dimension distortion for subsets of the real line

Stereographic compactification and affine bi-Lipschitz homeomorphisms

Quasiconformal curves and quasiconformal maps in metric spaces

Scaling of the elastic energy of small balls for maps between manifolds with different curvature tensors

Stretch-based Tetrahedral Mesh Manipulation