-
Treewidth Inapproximability and Tight ETH Lower Bound
Authors:
Édouard Bonnet
Abstract:
We present a simple, self-contained, linear reduction from 3-SAT to Treewidth. Specifically, it shows that 1.00005-approximating Treewidth is NP-hard, and solving Treewidth exactly requires $2^{Ω(n)}$ time, unless the Exponential-Time Hypothesis fails. We further derive, under the latter assumption, that there is some constant $δ> 1$ such that $δ$-approximating Treewidth requires time…
▽ More
We present a simple, self-contained, linear reduction from 3-SAT to Treewidth. Specifically, it shows that 1.00005-approximating Treewidth is NP-hard, and solving Treewidth exactly requires $2^{Ω(n)}$ time, unless the Exponential-Time Hypothesis fails. We further derive, under the latter assumption, that there is some constant $δ> 1$ such that $δ$-approximating Treewidth requires time $2^{n^{1-o(1)}}$.
△ Less
Submitted 17 June, 2024;
originally announced June 2024.
-
Sparse Induced Subgraphs of Large Treewidth
Authors:
Édouard Bonnet
Abstract:
Motivated by an induced counterpart of treewidth sparsifiers (i.e., sparse subgraphs kee** the treewidth large) provided by the celebrated Grid Minor theorem of Robertson and Seymour [JCTB '86] or by a classic result of Chekuri and Chuzhoy [SODA '15], we show that for any natural numbers $t$ and $w$, and real $\varepsilon > 0$, there is an integer $W := W(t,w,\varepsilon)$ such that every graph…
▽ More
Motivated by an induced counterpart of treewidth sparsifiers (i.e., sparse subgraphs kee** the treewidth large) provided by the celebrated Grid Minor theorem of Robertson and Seymour [JCTB '86] or by a classic result of Chekuri and Chuzhoy [SODA '15], we show that for any natural numbers $t$ and $w$, and real $\varepsilon > 0$, there is an integer $W := W(t,w,\varepsilon)$ such that every graph with treewidth at least $W$ and no $K_{t,t}$ subgraph admits a 2-connected $n$-vertex induced subgraph with treewidth at least $w$ and at most $(1+\varepsilon)n$ edges. The induced subgraph is either a subdivided wall, or its line graph, or a spanning supergraph of a subdivided biclique. This in particular extends a result of Weissauer [JCTB '19] that graphs of large treewidth have a large biclique subgraph or a long induced cycle.
△ Less
Submitted 22 May, 2024;
originally announced May 2024.
-
Symmetric-Difference (Degeneracy) and Signed Tree Models
Authors:
Édouard Bonnet,
Julien Duron,
John Sylvester,
Viktor Zamaraev
Abstract:
We introduce a dense counterpart of graph degeneracy, which extends the recently-proposed invariant symmetric difference. We say that a graph has sd-degeneracy (for symmetric-difference degeneracy) at most $d$ if it admits an elimination order of its vertices where a vertex $u$ can be removed whenever it has a $d$-twin, i.e., another vertex $v$ such that at most $d$ vertices outside $\{u,v\}$ are…
▽ More
We introduce a dense counterpart of graph degeneracy, which extends the recently-proposed invariant symmetric difference. We say that a graph has sd-degeneracy (for symmetric-difference degeneracy) at most $d$ if it admits an elimination order of its vertices where a vertex $u$ can be removed whenever it has a $d$-twin, i.e., another vertex $v$ such that at most $d$ vertices outside $\{u,v\}$ are neighbors of exactly one of $u, v$. The family of graph classes of bounded sd-degeneracy is a superset of that of graph classes of bounded degeneracy or of bounded flip-width, and more generally, of bounded symmetric difference. Unlike most graph parameters, sd-degeneracy is not hereditary: it may be strictly smaller on a graph than on some of its induced subgraphs. In particular, every $n$-vertex graph is an induced subgraph of some $O(n^2)$-vertex graph of sd-degeneracy 1. In spite of this and the breadth of classes of bounded sd-degeneracy, we devise $\tilde{O}(\sqrt n)$-bit adjacency labeling schemes for them, which are optimal up to the hidden polylogarithmic factor. This is attained on some even more general classes, consisting of graphs $G$ whose vertices bijectively map to the leaves of a tree $T$, where transversal edges and anti-edges added to $T$ define the edge set of $G$. We call such graph representations signed tree models as they extend the so-called tree models (or twin-decompositions) developed in the context of twin-width, by adding transversal anti-edges. While computing the degeneracy of an input graph can be done in linear time, we show that deciding whether its symmetric difference is at most 8 is co-NP-complete, and whether its sd-degeneracy is at most 1 is NP-complete.
△ Less
Submitted 14 May, 2024;
originally announced May 2024.
-
Graphs without a 3-connected subgraph are 4-colorable
Authors:
Édouard Bonnet,
Carl Feghali,
Tung Nguyen,
Alex Scott,
Paul Seymour,
Stéphan Thomassé,
Nicolas Trotignon
Abstract:
In 1972, Mader showed that every graph without a 3-connected subgraph is 4-degenerate and thus 5-colorable}. We show that the number 5 of colors can be replaced by 4, which is best possible.
In 1972, Mader showed that every graph without a 3-connected subgraph is 4-degenerate and thus 5-colorable}. We show that the number 5 of colors can be replaced by 4, which is best possible.
△ Less
Submitted 24 June, 2024; v1 submitted 9 February, 2024;
originally announced February 2024.
-
Treewidth is Polynomial in Maximum Degree on Graphs Excluding a Planar Induced Minor
Authors:
Édouard Bonnet,
Jędrzej Hodor,
Tuukka Korhonen,
Tomáš Masařík
Abstract:
A graph $G$ contains a graph $H$ as an induced minor if $H$ can be obtained from $G$ by vertex deletions and edge contractions. We show that for every $k$-vertex planar graph $H$, every graph $G$ excluding $H$ as an induced minor has treewidth at most $Δ(G)^{2^{O(k)}}$ where $Δ(G)$ denotes the maximum degree of $G$. Previously, Korhonen [JCTB '23] has shown the upper bound of…
▽ More
A graph $G$ contains a graph $H$ as an induced minor if $H$ can be obtained from $G$ by vertex deletions and edge contractions. We show that for every $k$-vertex planar graph $H$, every graph $G$ excluding $H$ as an induced minor has treewidth at most $Δ(G)^{2^{O(k)}}$ where $Δ(G)$ denotes the maximum degree of $G$. Previously, Korhonen [JCTB '23] has shown the upper bound of $k^{O(1)} 2^{Δ(G)^5}$ whose dependence in $Δ(G)$ is exponential. More precisely, we show that every graph $G$ excluding as induced minors a $k$-vertex planar graph and a $q$-vertex graph has treewidth at most $k^{O(1)} \cdot Δ(G)^{f(q)}$ with $f(q) = 2^{O(q)}$. A direct consequence of our result is that for every hereditary graph class $\mathcal C$, if graphs of $\mathcal C$ have treewidth bounded by a function of their maximum degree, then they in fact have treewidth polynomial in their maximum degree.
△ Less
Submitted 13 December, 2023;
originally announced December 2023.
-
Isospin diffusion from $^{40,48}$Ca$+^{40,48}$Ca experimental data at Fermi energies: Direct comparisons with transport model calculations
Authors:
Q. Fable,
L. Baldesi,
S. Barlini,
Eric Bonnet,
Bernard Borderie,
Remi Bougault,
A. Camaiani,
G. Casini,
A. Chbihi,
Caterina Ciampi,
J. A. Dueñas,
J. D. Frankland,
T. Genard,
Diego D. Gruyer,
Maxime Henri,
Byungsik Hong,
S. Kim,
A. J. Kordyasz,
T. Kozik,
Arnaud Le Fèvre,
Nicolas Le Neindre,
Ivano Lombardo,
Olivier Lopez,
T. Marchi,
Paola Marini
, et al. (8 additional authors not shown)
Abstract:
This article presents an investigation of isospin equilibration in cross-bombarding $^{40,48}$Ca$+^{40,48}$Ca reactions at 35 MeV/nucleon, by comparing experimental data with filtered transport model calculations. Isospin diffusion is studied using the evolution of the isospin transport ratio with centrality. The asymmetry parameter $δ=(N-Z)/A$ of the quasiprojectile (QP) residue is used as isospi…
▽ More
This article presents an investigation of isospin equilibration in cross-bombarding $^{40,48}$Ca$+^{40,48}$Ca reactions at 35 MeV/nucleon, by comparing experimental data with filtered transport model calculations. Isospin diffusion is studied using the evolution of the isospin transport ratio with centrality. The asymmetry parameter $δ=(N-Z)/A$ of the quasiprojectile (QP) residue is used as isospin-sensitive observable, while a recent method for impact parameter reconstruction is used for centrality sorting. A benchmark of global observables is proposed to assess the relevance of the antisymmetrized molecular dynamics (AMD) model, coupled to GEMINI++, in the study of dissipative collisions. Our results demonstrate the importance of considering cluster formation to reproduce observables used for isospin transport and centrality studies. Within the AMD model, we prove the applicability of the impact parameter reconstruction method, enabling a direct comparison to the experimental data for the investigation of isospin diffusion. For both, we evidence a tendency to isospin equilibration with an impact parameter decreasing from 9 to 3 fm, while the full equilibration is not reached. A weak sensitivity to the stiffness of the equation of state employed in the model is also observed, with a better reproduction of the experimental trend for the neutron-rich reactions.
△ Less
Submitted 6 June, 2024; v1 submitted 4 December, 2023;
originally announced December 2023.
-
Tight bounds on adjacency labels for monotone graph classes
Authors:
Édouard Bonnet,
Julien Duron,
John Sylvester,
Viktor Zamaraev,
Maksim Zhukovskii
Abstract:
A class of graphs admits an adjacency labeling scheme of size $b(n)$, if the vertices in each of its $n$-vertex graphs can be assigned binary strings (called labels) of length $b(n)$ so that the adjacency of two vertices can be determined solely from their labels.
We give tight bounds on the size of adjacency labels for every family of monotone (i.e., subgraph-closed) classes with a well-behaved…
▽ More
A class of graphs admits an adjacency labeling scheme of size $b(n)$, if the vertices in each of its $n$-vertex graphs can be assigned binary strings (called labels) of length $b(n)$ so that the adjacency of two vertices can be determined solely from their labels.
We give tight bounds on the size of adjacency labels for every family of monotone (i.e., subgraph-closed) classes with a well-behaved growth function between $2^{O(n \log n)}$ and $2^{O(n^{2-δ})}$ for any $δ> 0$. Specifically, we show that for any function $f: \mathbb N \to \mathbb R$ satisfying $\log n \leqslant f(n) \leqslant n^{1-δ}$ for any fixed $δ> 0$, and some~sub-multiplicativity condition, there are monotone graph classes with growth $2^{O(nf(n))}$ that do not admit adjacency labels of size at most $f(n) \log n$. On the other hand, any such class does admit adjacency labels of size $O(f(n)\log n)$. Surprisingly this tight bound is a $Θ(\log n)$ factor away from the information-theoretic bound of $Ω(f(n))$. The special case when $f = \log$ implies that the recently-refuted Implicit Graph Conjecture [Hatami and Hatami, FOCS 2022] also fails within monotone classes.
We further show that the Implicit Graph Conjecture holds for all monotone \emph{small} classes. In other words, any monotone class with growth rate at most $n!\,c^n$ for some constant $c>0$, admits adjacency labels of information-theoretic order optimal size. In fact, we show a more general result that is of independent interest: any monotone small class of graphs has bounded degeneracy.We conjecture that the Implicit Graph Conjecture holds for all hereditary small classes.
△ Less
Submitted 20 February, 2024; v1 submitted 31 October, 2023;
originally announced October 2023.
-
Factoring Pattern-Free Permutations into Separable ones
Authors:
Édouard Bonnet,
Romain Bourneuf,
Colin Geniet,
Stéphan Thomassé
Abstract:
We show that for any permutation $π$ there exists an integer $k_π$ such that every permutation avoiding $π$ as a pattern is a product of at most $k_π$ separable permutations. In other words, every strict class $\mathcal C$ of permutations is contained in a bounded power of the class of separable permutations. This factorisation can be computed in linear time, for any fixed $π$. The central tool fo…
▽ More
We show that for any permutation $π$ there exists an integer $k_π$ such that every permutation avoiding $π$ as a pattern is a product of at most $k_π$ separable permutations. In other words, every strict class $\mathcal C$ of permutations is contained in a bounded power of the class of separable permutations. This factorisation can be computed in linear time, for any fixed $π$. The central tool for our result is a notion of width of permutations, introduced by Guillemot and Marx [SODA '14] to efficiently detect patterns, and later generalised to graphs and matrices under the name of twin-width. Specifically, our factorisation is inspired by the decomposition used in the recent result that graphs with bounded twin-width are polynomially $χ$-bounded. As an application, we show that there is a fixed class $\mathcal C$ of graphs of bounded twin-width such that every class of bounded twin-width is a first-order transduction of $\mathcal C$.
△ Less
Submitted 5 August, 2023;
originally announced August 2023.
-
Small But Unwieldy: A Lower Bound on Adjacency Labels for Small Classes
Authors:
Édouard Bonnet,
Julien Duron,
John Sylvester,
Viktor Zamaraev,
Maksim Zhukovskii
Abstract:
We show that for any natural number $s$, there is a constant $γ$ and a subgraph-closed class having, for any natural $n$, at most $γ^n$ graphs on $n$ vertices up to isomorphism, but no adjacency labeling scheme with labels of size at most $s \log n$. In other words, for every $s$, there is a small (even tiny) monotone class without universal graphs of size $n^s$. Prior to this result, it was not e…
▽ More
We show that for any natural number $s$, there is a constant $γ$ and a subgraph-closed class having, for any natural $n$, at most $γ^n$ graphs on $n$ vertices up to isomorphism, but no adjacency labeling scheme with labels of size at most $s \log n$. In other words, for every $s$, there is a small (even tiny) monotone class without universal graphs of size $n^s$. 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 $(1+o(1))\log n$. The existence of such a labeling scheme, a scaled-down version of the recently disproved Implicit Graph Conjecture, was repeatedly raised [Gavoille and Labourel, ESA '07; Dujmović et al., JACM '21; Bonamy et al., SIDMA '22; Bonnet et al., Comb. Theory '22]. Furthermore, our small monotone classes have unbounded twin-width, thus simultaneously disprove the already-refuted Small conjecture; but this time with a self-contained proof, not relying on elaborate group-theoretic constructions.
△ Less
Submitted 20 February, 2024; v1 submitted 20 July, 2023;
originally announced July 2023.
-
Stretch-width
Authors:
Édouard Bonnet,
Julien Duron
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.…
▽ More
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).
△ Less
Submitted 19 May, 2023;
originally announced May 2023.
-
A tamed family of triangle-free graphs with unbounded chromatic number
Authors:
Édouard Bonnet,
Romain Bourneuf,
Julien Duron,
Colin Geniet,
Stéphan Thomassé,
Nicolas Trotignon
Abstract:
We construct a hereditary class of triangle-free graphs with unbounded chromatic number, in which every non-trivial graph either contains a pair of non-adjacent twins or has an edgeless vertex cutset of size at most two. This answers in the negative a question of Chudnovsky, Penev, Scott, and Trotignon. The class is the hereditary closure of a family of (triangle-free) twincut graphs…
▽ More
We construct a hereditary class of triangle-free graphs with unbounded chromatic number, in which every non-trivial graph either contains a pair of non-adjacent twins or has an edgeless vertex cutset of size at most two. This answers in the negative a question of Chudnovsky, Penev, Scott, and Trotignon. The class is the hereditary closure of a family of (triangle-free) twincut graphs $G_1, G_2, \ldots$ such that $G_k$ has chromatic number $k$. We also show that every twincut graph is edge-critical.
△ Less
Submitted 9 April, 2023;
originally announced April 2023.
-
Cutting Barnette graphs perfectly is hard
Authors:
Édouard Bonnet,
Dibyayan Chakraborty,
Julien Duron
Abstract:
A perfect matching cut is a perfect matching that is also a cutset, or equivalently a perfect matching containing an even number of edges on every cycle. The corresponding algorithmic problem, Perfect Matching Cut, is known to be NP-complete in subcubic bipartite graphs [Le & Telle, TCS '22] but its complexity was open in planar graphs and in cubic graphs. We settle both questions at once by showi…
▽ More
A perfect matching cut is a perfect matching that is also a cutset, or equivalently a perfect matching containing an even number of edges on every cycle. The corresponding algorithmic problem, Perfect Matching Cut, is known to be NP-complete in subcubic bipartite graphs [Le & Telle, TCS '22] but its complexity was open in planar graphs and in cubic graphs. We settle both questions at once by showing that Perfect Matching Cut is NP-complete in 3-connected cubic bipartite planar graphs or Barnette graphs. Prior to our work, among problems whose input is solely an undirected graph, only Distance-2 4-Coloring was known NP-complete in Barnette graphs. Notably, Hamiltonian Cycle would only join this private club if Barnette's conjecture were refuted.
△ Less
Submitted 22 February, 2023;
originally announced February 2023.
-
Maximum Independent Set when excluding an induced minor: $K_1 + tK_2$ and $tC_3 \uplus C_4$
Authors:
Édouard Bonnet,
Julien Duron,
Colin Geniet,
Stéphan Thomassé,
Alexandra Wesolek
Abstract:
Dallard, Milanič, and Štorgel [arXiv '22] ask if for every class excluding a fixed planar graph $H$ as an induced minor, Maximum Independent Set can be solved in polynomial time, and show that this is indeed the case when $H$ is any planar complete bipartite graph, or the 5-vertex clique minus one edge, or minus two disjoint edges. A positive answer would constitute a far-reaching generalization o…
▽ More
Dallard, Milanič, and Štorgel [arXiv '22] ask if for every class excluding a fixed planar graph $H$ as an induced minor, Maximum Independent Set can be solved in polynomial time, and show that this is indeed the case when $H$ is any planar complete bipartite graph, or the 5-vertex clique minus one edge, or minus two disjoint edges. A positive answer would constitute a far-reaching generalization of the state-of-the-art, when we currently do not know if a polynomial-time algorithm exists when $H$ is the 7-vertex path. Relaxing tractability to the existence of a quasipolynomial-time algorithm, we know substantially more. Indeed, quasipolynomial-time algorithms were recently obtained for the $t$-vertex cycle, $C_t$ [Gartland et al., STOC '21] and the disjoint union of $t$ triangles, $tC_3$ [Bonamy et al., SODA '23].
We give, for every integer $t$, a polynomial-time algorithm running in $n^{O(t^5)}$ when $H$ is the friendship graph $K_1 + tK_2$ ($t$ disjoint edges plus a vertex fully adjacent to them), and a quasipolynomial-time algorithm running in $n^{O(t^2 \log n)+t^{O(1)}}$ when $H$ is $tC_3 \uplus C_4$ (the disjoint union of $t$ triangles and a 4-vertex cycle). The former extends a classical result on graphs excluding $tK_2$ as an induced subgraph [Alekseev, DAM '07], while the latter extends Bonamy et al.'s result.
△ Less
Submitted 16 February, 2023;
originally announced February 2023.
-
Treewidth is NP-Complete on Cubic Graphs (and related results)
Authors:
Hans L. Bodlaender,
Édouard Bonnet,
Lars Jaffke,
Dušan Knop,
Paloma T. Lima,
Martin Milanič,
Sebastian Ordyniak,
Sukanya Pandey,
Ondřej Suchý
Abstract:
In this paper, we give a very simple proof that Treewidth is NP-complete; this proof also shows NP-completeness on the class of co-bipartite graphs. We then improve the result by Bodlaender and Thilikos from 1997 that Treewidth is NP-complete on graphs with maximum degree at most 9, by showing that Treewidth is NP-complete on cubic graphs.
In this paper, we give a very simple proof that Treewidth is NP-complete; this proof also shows NP-completeness on the class of co-bipartite graphs. We then improve the result by Bodlaender and Thilikos from 1997 that Treewidth is NP-complete on graphs with maximum degree at most 9, by showing that Treewidth is NP-complete on cubic graphs.
△ Less
Submitted 2 March, 2023; v1 submitted 24 January, 2023;
originally announced January 2023.
-
Neighbourhood complexity of graphs of bounded twin-width
Authors:
Édouard Bonnet,
Florent Foucaud,
Tuomo Lehtilä,
Aline Parreau
Abstract:
We give essentially tight bounds for, $ν(d,k)$, the maximum number of distinct neighbourhoods on a set $X$ of $k$ vertices in a graph with twin-width at most~$d$. Using the celebrated Marcus-Tardos theorem, two independent works [Bonnet et al., Algorithmica '22; Przybyszewski '22] have shown the upper bound $ν(d,k) \leqslant \exp(\exp(O(d)))k$, with a double-exponential dependence in the twin-widt…
▽ More
We give essentially tight bounds for, $ν(d,k)$, the maximum number of distinct neighbourhoods on a set $X$ of $k$ vertices in a graph with twin-width at most~$d$. Using the celebrated Marcus-Tardos theorem, two independent works [Bonnet et al., Algorithmica '22; Przybyszewski '22] have shown the upper bound $ν(d,k) \leqslant \exp(\exp(O(d)))k$, with a double-exponential dependence in the twin-width. The work of [Gajarsky et al., ICALP '22], using the framework of local types, implies the existence of a single-exponential bound (without explicitly stating such a bound).
We give such an explicit bound, and prove that it is essentially tight. Indeed, we give a short self-contained proof that for every $d$ and $k$ $$ν(d,k) \leqslant (d+2)2^{d+1}k = 2^{d+\log d+Θ(1)}k,$$ and build a bipartite graph implying $ν(d,k) \geqslant 2^{d+\log d+Θ(1)}k$, in the regime when $k$ is large enough compared to~$d$.
△ Less
Submitted 5 August, 2023; v1 submitted 10 January, 2023;
originally announced January 2023.
-
Experimental study of the isospin transport with 40,48 Ca+ 40,48 Ca reactions at 35 MeV/nucleon
Authors:
Q. Fable,
A. Chbihi,
J. D. Frankland,
P. Napolitani,
G. Verde,
E. Bonnet,
B. Borderie,
R. Bougault,
E. Galichet,
T. Génard,
Diego D. Gruyer,
M. Henri,
Marco La Commara,
A. Le Fèvre,
J. Lemarié,
Nicolas Le Neindre,
Olivier Lopez,
M. Pârlog,
A. Rebillard-Soulié,
E. Vient,
M. Vigilante
Abstract:
We investigate the isospin transport with 40,48 Ca+ 40,48 Ca reactions at 35 MeV/nucleon, measured with the coupling of the VAMOS high acceptance spectrometer and the INDRA charged particle multidetector. Using the quasi-projectile remnant measured with VAMOS and carefully selected light-charged-particles measured in coincidence with INDRA, a reconstruction method is applied to estimate the excite…
▽ More
We investigate the isospin transport with 40,48 Ca+ 40,48 Ca reactions at 35 MeV/nucleon, measured with the coupling of the VAMOS high acceptance spectrometer and the INDRA charged particle multidetector. Using the quasi-projectile remnant measured with VAMOS and carefully selected light-charged-particles measured in coincidence with INDRA, a reconstruction method is applied to estimate the excited quasi-projectile (QP) on an event-by-event basis. The isospin diffusion is investigated using the isospin transport ratio with the asymmetry $δ$ = (N -- Z)/A of the projectile as an isospin-sensitive observable and the total transverse energy of Z $\le$ 2 nuclei for experimental centrality sorting. The experimental isospin transport ratios present, for both the reconstructed QP and its remnant, a clear evolution towards isospin equilibration with increasing dissipation of the collision while the full equilibration is not reached. A smoother evolution with less discrepancies between the two mixed systems in the case of the reconstructed QP is also observed. The isospin migration is investigated using the neutron-to-proton ratio of the light-charged-clusters and the velocity of the QP remnant as a sorting parameter. More particularly, we focused on an angular region centered around the mid-rapidity of the reaction so as to characterize the low-density neck emissions. A systematic neutron-enrichment is observed and interpreted as a consequence of isospin migration, more particularly for the symmetric systems which present no isospin gradient between the projectile and the target. We also noticed that the ^{2}H and ^{4}He particles exhibit very close multiplicities independently of the sorting variable for the symmetric systems.
△ Less
Submitted 28 October, 2022;
originally announced October 2022.
-
Twin-width V: linear minors, modular counting, and matrix multiplication
Authors:
Édouard Bonnet,
Ugo Giocanti,
Patrice Ossona de Mendez,
Stéphan Thomassé
Abstract:
We continue develo** the theory around the twin-width of totally ordered binary structures, initiated in the previous paper of the series. We first introduce the notion of parity and linear minors of a matrix, which consists of iteratively replacing consecutive rows or consecutive columns with a linear combination of them. We show that a matrix class has bounded twin-width if and only if its lin…
▽ More
We continue develo** the theory around the twin-width of totally ordered binary structures, initiated in the previous paper of the series. We first introduce the notion of parity and linear minors of a matrix, which consists of iteratively replacing consecutive rows or consecutive columns with a linear combination of them. We show that a matrix class has bounded twin-width if and only if its linear-minor closure does not contain all matrices. We observe that the fixed-parameter tractable algorithm for first-order model checking on structures given with an $O(1)$-sequence (certificate of bounded twin-width) and the fact that first-order transductions of bounded twin-width classes have bounded twin-width, both established in Twin-width I, extend to first-order logic with modular counting quantifiers. We make explicit a win-win argument obtained as a by-product of Twin-width IV, and somewhat similar to bidimensionality, that we call rank-bidimensionality. Armed with the above-mentioned extension to modular counting, we show that the twin-width of the product of two conformal matrices $A, B$ over a finite field is bounded by a function of the twin-width of $A$, of $B$, and of the size of the field. Furthermore, if $A$ and $B$ are $n \times n$ matrices of twin-width $d$ over $\mathbb F_q$, we show that $AB$ can be computed in time $O_{d,q}(n^2 \log n)$. We finally present an ad hoc algorithm to efficiently multiply two matrices of bounded twin-width, with a single-exponential dependence in the twin-width bound: If the inputs are given in a compact tree-like form, called twin-decomposition (of width $d$), then two $n \times n$ matrices $A, B$ over $\mathbb F_2$, a twin-decomposition of $AB$ with width $2^{d+o(d)}$ can be computed in time $4^{d+o(d)}n$ (resp. $4^{d+o(d)}n^{1+\varepsilon}$), and entries queried in doubly-logarithmic (resp. constant) time.
△ Less
Submitted 24 September, 2022;
originally announced September 2022.
-
Approximating Highly Inapproximable Problems on Graphs of Bounded Twin-Width
Authors:
Pierre Bergé,
Édouard Bonnet,
Hugues Déprés,
Rémi Watrigant
Abstract:
For any $\varepsilon > 0$, we give a polynomial-time $n^\varepsilon$-approximation algorithm for Max Independent Set in graphs of bounded twin-width given with an $O(1)$-sequence. This result is derived from the following time-approximation trade-off: We establish an $O(1)^{2^q-1}$-approximation algorithm running in time $\exp(O_q(n^{2^{-q}}))$, for every integer $q \geqslant 0$. Guided by the sam…
▽ More
For any $\varepsilon > 0$, we give a polynomial-time $n^\varepsilon$-approximation algorithm for Max Independent Set in graphs of bounded twin-width given with an $O(1)$-sequence. This result is derived from the following time-approximation trade-off: We establish an $O(1)^{2^q-1}$-approximation algorithm running in time $\exp(O_q(n^{2^{-q}}))$, for every integer $q \geqslant 0$. Guided by the same framework, we obtain similar approximation algorithms for Min Coloring and Max Induced Matching. In general graphs, all these problems are known to be highly inapproximable: for any $\varepsilon > 0$, a polynomial-time $n^{1-\varepsilon}$-approximation for any of them would imply that P$=$NP [Hastad, FOCS '96; Zuckerman, ToC '07; Chalermsook et al., SODA '13]. We generalize the algorithms for Max Independent Set and Max Induced Matching to the independent (induced) packing of any fixed connected graph $H$. In contrast, we show that such approximation guarantees on graphs of bounded twin-width given with an $O(1)$-sequence are very unlikely for Min Independent Dominating Set, and somewhat unlikely for Longest Path and Longest Induced Path. Regarding the existence of better approximation algorithms, there is a (very) light evidence that the obtained approximation factor of $n^\varepsilon$ for Max Independent Set may be best possible. This is the first in-depth study of the approximability of problems in graphs of bounded twin-width. Prior to this paper, essentially the only such result was a~polynomial-time $O(1)$-approximation algorithm for Min Dominating Set [Bonnet et al., ICALP '21].
△ Less
Submitted 25 September, 2022; v1 submitted 15 July, 2022;
originally announced July 2022.
-
Sparse graphs with bounded induced cycle packing number have logarithmic treewidth
Authors:
Marthe Bonamy,
Édouard Bonnet,
Hugues Déprés,
Louis Esperet,
Colin Geniet,
Claire Hilaire,
Stéphan Thomassé,
Alexandra Wesolek
Abstract:
A graph is $\mathcal{O}_k$-free if it does not contain $k$ pairwise vertex-disjoint and non-adjacent cycles. We prove that "sparse" (here, not containing large complete bipartite graphs as subgraphs) $\mathcal{O}_k$-free graphs have treewidth (even, feedback vertex set number) at most logarithmic in the number of vertices. This is optimal, as there is an infinite family of $\mathcal{O}_2$-free gra…
▽ More
A graph is $\mathcal{O}_k$-free if it does not contain $k$ pairwise vertex-disjoint and non-adjacent cycles. We prove that "sparse" (here, not containing large complete bipartite graphs as subgraphs) $\mathcal{O}_k$-free graphs have treewidth (even, feedback vertex set number) at most logarithmic in the number of vertices. This is optimal, as there is an infinite family of $\mathcal{O}_2$-free graphs without $K_{2,3}$ as a subgraph and whose treewidth is (at least) logarithmic.
Using our result, we show that Maximum Independent Set and 3-Coloring in $\mathcal{O}_k$-free graphs can be solved in quasi-polynomial time. Other consequences include that most of the central NP-complete problems (such as Maximum Independent Set, Minimum Vertex Cover, Minimum Dominating Set, Minimum Coloring) can be solved in polynomial time in sparse $\mathcal{O}_k$-free graphs, and that deciding the $\mathcal{O}_k$-freeness of sparse graphs is polynomial time solvable.
△ Less
Submitted 16 February, 2024; v1 submitted 1 June, 2022;
originally announced June 2022.
-
Twin-width VII: groups
Authors:
Édouard Bonnet,
Colin Geniet,
Romain Tessera,
Stéphan Thomassé
Abstract:
Twin-width is a recently introduced graph parameter with applications in algorithmics, combinatorics, and finite model theory. For graphs of bounded degree, finiteness of twin-width is preserved by quasi-isometry. Thus, through Cayley graphs, it defines a group invariant. We prove that groups which are abelian, hyperbolic, ordered, solvable, or with polynomial growth, have finite twin-width. Twin-…
▽ More
Twin-width is a recently introduced graph parameter with applications in algorithmics, combinatorics, and finite model theory. For graphs of bounded degree, finiteness of twin-width is preserved by quasi-isometry. Thus, through Cayley graphs, it defines a group invariant. We prove that groups which are abelian, hyperbolic, ordered, solvable, or with polynomial growth, have finite twin-width. Twin-width can be characterised by excluding patterns in the self-action by product of the group elements. Based on this characterisation, we propose a strengthening called uniform twin-width, which is stable under constructions such as group extensions, direct products, and direct limits.
The existence of finitely generated groups with infinite twin-width is not immediate. We construct one using a result of Osajda on embeddings of graphs into groups. This implies the existence of a class of finite graphs with unbounded twin-width but containing $2^{O(n)} \cdot n!$ graphs on vertex set $\{1,\dots,n\}$, settling a question asked in a previous work.
△ Less
Submitted 15 July, 2022; v1 submitted 26 April, 2022;
originally announced April 2022.
-
Twin-width can be exponential in treewidth
Authors:
Édouard Bonnet,
Hugues Déprés
Abstract:
For any small positive real $\varepsilon$ and integer $t > \frac{1}{\varepsilon}$, we build a graph with a vertex deletion set of size $t$ to a tree, and twin-width greater than $2^{(1-\varepsilon) t}$. In particular, this shows that the twin-width is sometimes exponential in the treewidth, in the so-called oriented twin-width and grid number, and that adding an apex may multiply the twin-width by…
▽ More
For any small positive real $\varepsilon$ and integer $t > \frac{1}{\varepsilon}$, we build a graph with a vertex deletion set of size $t$ to a tree, and twin-width greater than $2^{(1-\varepsilon) t}$. In particular, this shows that the twin-width is sometimes exponential in the treewidth, in the so-called oriented twin-width and grid number, and that adding an apex may multiply the twin-width by at least $2-\varepsilon$. Except for the one in oriented twin-width, these lower bounds are essentially tight.
△ Less
Submitted 15 April, 2022;
originally announced April 2022.
-
Twin-width VIII: delineation and win-wins
Authors:
Édouard Bonnet,
Dibyayan Chakraborty,
Eun Jung Kim,
Noleen Köhler,
Raul Lopes,
Stéphan Thomassé
Abstract:
We introduce the notion of delineation. A graph class $\mathcal C$ is said delineated if for every hereditary closure $\mathcal D$ of a subclass of $\mathcal C$, it holds that $\mathcal D$ has bounded twin-width if and only if $\mathcal D$ is monadically dependent. An effective strengthening of delineation for a class $\mathcal C$ implies that tractable FO model checking on $\mathcal C$ is perfect…
▽ More
We introduce the notion of delineation. A graph class $\mathcal C$ is said delineated if for every hereditary closure $\mathcal D$ of a subclass of $\mathcal C$, it holds that $\mathcal D$ has bounded twin-width if and only if $\mathcal D$ is monadically dependent. An effective strengthening of delineation for a class $\mathcal C$ implies that tractable FO model checking on $\mathcal C$ is perfectly understood: On hereditary closures $\mathcal D$ of subclasses of $\mathcal C$, FO model checking is fixed-parameter tractable (FPT) exactly when $\mathcal D$ has bounded twin-width. Ordered graphs [BGOdMSTT, STOC '22] and permutation graphs [BKTW, JACM '22] are effectively delineated, while subcubic graphs are not. On the one hand, we prove that interval graphs, and even, rooted directed path graphs are delineated. On the other hand, we show that segment graphs, directed path graphs, and visibility graphs of simple polygons are not delineated. In an effort to draw the delineation frontier between interval graphs (that are delineated) and axis-parallel two-lengthed segment graphs (that are not), we investigate the twin-width of restricted segment intersection classes. It was known that (triangle-free) pure axis-parallel unit segment graphs have unbounded twin-width [BGKTW, SODA '21]. We show that $K_{t,t}$-free segment graphs, and axis-parallel $H_t$-free unit segment graphs have bounded twin-width, where $H_t$ is the half-graph or ladder of height $t$. In contrast, axis-parallel $H_4$-free two-lengthed segment graphs have unbounded twin-width. Our new results, combined with the known FPT algorithm for FO model checking on graphs given with $O(1)$-sequences, lead to win-win arguments. For instance, we derive FPT algorithms for $k$-Ladder on visibility graphs of 1.5D terrains, and $k$-Independent Set on visibility graphs of simple polygons.
△ Less
Submitted 1 April, 2022;
originally announced April 2022.
-
Experimental study of the $^{40,48}$Ca+ $^{40,48}$Ca reactions at 35 MeV/nucleon
Authors:
Q. Fable,
A. Chbihi,
M. Boisjoli,
J. D. Frankland,
A. Le Fèvre,
N. Le Neindre,
P. Marini,
G. Verde,
G. Ademard,
L. Bardelli,
C. Bhattacharya,
S. Bhattacharya,
E. Bonnet,
B. Borderie,
R. Bougault,
G. Casini,
M. Commara,
R. Dayras,
J. E. Ducret,
F. Farget,
E. Galichet,
T. Génard,
F. Gramegna,
D. Gruyer,
M. Henri
, et al. (19 additional authors not shown)
Abstract:
In this article we investigate $^{40,48}$Ca+$^{40,48}$Ca peripheral and semi-peripheral reactions at 35 MeV/nucleon. Data were obtained using the unique coupling of the VAMOS high acceptance spectrometer and the INDRA charged particle multidetector.The spectrometer allowed high resolution measurement of charge, mass and velocity of the cold projectile-like fragment (PLF), while the INDRA detector…
▽ More
In this article we investigate $^{40,48}$Ca+$^{40,48}$Ca peripheral and semi-peripheral reactions at 35 MeV/nucleon. Data were obtained using the unique coupling of the VAMOS high acceptance spectrometer and the INDRA charged particle multidetector.The spectrometer allowed high resolution measurement of charge, mass and velocity of the cold projectile-like fragment (PLF), while the INDRA detector recorded coincident charged particles with nearly $4π$ acceptance.The measured isotopic composition of the PLF identified in VAMOS and the average light charged particle (LCP) multiplicities are promising observables to study the isospin diffusion.The detection of the PLF in coincidence with LCP allows the reconstruction of the mass, charge and excitation energy of the associated initial quasi-projectile nuclei (QP), as well as the extraction of apparent temperatures.We investigate the suitability of the isoscaling method with the PLF and the experimental reconstructed QP.The extracted $α$ and $Δ$ isoscaling parameters present a dependence on the considered system combination that could justify their use as a surrogate for isospin asymmetry in isospin transport studies.The reconstruction of the QP allows to observe an evolution of the $α/Δ$ with the size of the QP, the latter being consistent with a strong surface contribution to the symmetry energy term in finite nuclei. This leads to the conclusion that the reconstruction of the primary source is mandatory for the study of the symmetry energy term based on the isoscaling method for such reactions.
△ Less
Submitted 30 August, 2022; v1 submitted 28 February, 2022;
originally announced February 2022.
-
Model Checking on Interpretations of Classes of Bounded Local Cliquewidth
Authors:
Édouard Bonnet,
Jan Dreier,
Jakub Gajarský,
Stephan Kreutzer,
Nikolas Mählmann,
Pierre Simon,
Szymon Toruńczyk
Abstract:
We present a fixed-parameter tractable algorithm for first-order model checking on interpretations of graph classes with bounded local cliquewidth. Notably, this includes interpretations of planar graphs, and more generally, of classes of bounded genus. To obtain this result we develop a new tool which works in a very general setting of dependent classes and which we believe can be an important in…
▽ More
We present a fixed-parameter tractable algorithm for first-order model checking on interpretations of graph classes with bounded local cliquewidth. Notably, this includes interpretations of planar graphs, and more generally, of classes of bounded genus. To obtain this result we develop a new tool which works in a very general setting of dependent classes and which we believe can be an important ingredient in achieving similar results in the future.
△ Less
Submitted 25 February, 2022;
originally announced February 2022.
-
Reduced bandwidth: a qualitative strengthening of twin-width in minor-closed classes (and beyond)
Authors:
Édouard Bonnet,
O-joung Kwon,
David R. Wood
Abstract:
In a reduction sequence of a graph, vertices are successively identified until the graph has one vertex. At each step, when identifying $u$ and $v$, each edge incident to exactly one of $u$ and $v$ is coloured red. Bonnet, Kim, Thomassé and Watrigant [J. ACM 2022] defined the twin-width of a graph $G$ to be the minimum integer $k$ such that there is a reduction sequence of $G$ in which every red g…
▽ More
In a reduction sequence of a graph, vertices are successively identified until the graph has one vertex. At each step, when identifying $u$ and $v$, each edge incident to exactly one of $u$ and $v$ is coloured red. Bonnet, Kim, Thomassé and Watrigant [J. ACM 2022] defined the twin-width of a graph $G$ to be the minimum integer $k$ such that there is a reduction sequence of $G$ in which every red graph has maximum degree at most $k$. For any graph parameter $f$, we define the reduced $f$ of a graph $G$ to be the minimum integer $k$ such that there is a reduction sequence of $G$ in which every red graph has $f$ at most $k$. Our focus is on graph classes with bounded reduced bandwidth, which implies and is stronger than bounded twin-width (reduced maximum degree). We show that every proper minor-closed class has bounded reduced bandwidth, which is qualitatively stronger than an analogous result of Bonnet et al.\ for bounded twin-width. In many instances, we also make quantitative improvements. For example, all previous upper bounds on the twin-width of planar graphs were at least $2^{1000}$. We show that planar graphs have reduced bandwidth at most $466$ and twin-width at most $583$. Our bounds for graphs of Euler genus $γ$ are $O(γ)$. Lastly, we show that fixed powers of graphs in a proper minor-closed class have bounded reduced bandwidth (irrespective of the degree of the vertices). In particular, we show that map graphs of Euler genus $γ$ have reduced bandwidth $O(γ^4)$. Lastly, we separate twin-width and reduced bandwidth by showing that any infinite class of expanders excluding a fixed complete bipartite subgraph has unbounded reduced bandwidth, while there are bounded-degree expanders with twin-width at most 6.
△ Less
Submitted 23 February, 2022;
originally announced February 2022.
-
Deciding twin-width at most 4 is NP-complete
Authors:
Pierre Bergé,
Édouard Bonnet,
Hugues Déprés
Abstract:
We show that determining if an $n$-vertex graph has twin-width at most 4 is NP-complete, and requires time $2^{Ω(n/\log n)}$ unless the Exponential-Time Hypothesis fails. Along the way, we give an elementary proof that $n$-vertex graphs subdivided at least $2 \log n$ times have twin-width at most 4. We also show how to encode trigraphs $H$ (2-edge colored graphs involved in the definition of twin-…
▽ More
We show that determining if an $n$-vertex graph has twin-width at most 4 is NP-complete, and requires time $2^{Ω(n/\log n)}$ unless the Exponential-Time Hypothesis fails. Along the way, we give an elementary proof that $n$-vertex graphs subdivided at least $2 \log n$ times have twin-width at most 4. We also show how to encode trigraphs $H$ (2-edge colored graphs involved in the definition of twin-width) into graphs $G$, in the sense that every $d$-sequence (sequence of vertex contractions witnessing that the twin-width is at most $d$) of $G$ inevitably creates $H$ as an induced subtrigraph, whereas there exists a partial $d$-sequence that actually goes from $G$ to $H$. We believe that these facts and their proofs can be of independent interest.
△ Less
Submitted 16 December, 2021;
originally announced December 2021.
-
Twin-width VI: the lens of contraction sequences
Authors:
Édouard Bonnet,
Eun Jung Kim,
Amadeus Reinald,
Stéphan Thomassé
Abstract:
A contraction sequence of a graph consists of iteratively merging two of its vertices until only one vertex remains. The recently introduced twin-width graph invariant is based on contraction sequences. More precisely, if one puts red edges between two vertices representing non-homogeneous subsets, the twin-width is the minimum integer $d$ such that a contraction sequence keeps red degree at most…
▽ More
A contraction sequence of a graph consists of iteratively merging two of its vertices until only one vertex remains. The recently introduced twin-width graph invariant is based on contraction sequences. More precisely, if one puts red edges between two vertices representing non-homogeneous subsets, the twin-width is the minimum integer $d$ such that a contraction sequence keeps red degree at most $d$. By changing the condition imposed on the trigraphs (i.e., graphs with some edges being red) and possibly slightly tweaking the notion of contractions, we show how to characterize the well-established bounded rank-width, tree-width, linear rank-width, path-width, and proper minor-closed classes by means of contraction sequences. As an application we give a transparent alternative proof of the celebrated Courcelle's theorem (actually of its generalization by Courcelle, Makowsky, and Rotics), that MSO$_2$ (resp. MSO$_1$) model checking on graphs with bounded tree-width (resp. bounded rank-width) is fixed-parameter tractable in the size of the input sentence.
We then explore new avenues along the general theme of contraction sequences both in order to refine the landscape between bounded tree-width and bounded twin-width (via spanning twin-width) and to capture more general classes than bounded twin-width. To this end, we define an oriented version of twin-width, where appearing red edges are oriented away from the newly contracted vertex, and the mere red out-degree should remain bounded. Surprisingly, classes of bounded oriented twin-width coincide with those of bounded twin-width. Finally we examine, from an algorithmic standpoint, the concept of partial contraction sequences, where, instead of terminating on a single-vertex graph, the sequence ends when reaching a particular target class.
△ Less
Submitted 31 May, 2022; v1 submitted 30 October, 2021;
originally announced November 2021.
-
EPTAS and Subexponential Algorithm for Maximum Clique on Disk and Unit Ball Graphs
Authors:
Marthe Bonamy,
Édouard Bonnet,
Nicolas Bousquet,
Pierre Charbit,
Panos Giannopoulos,
Eun Jung Kim,
Paweł Rzążewski,
Florian Sikora,
Stéphan Thomassé
Abstract:
A (unit) disk graph is the intersection graph of closed (unit) disks in the plane. Almost three decades ago, an elegant polynomial-time algorithm was found for \textsc{Maximum Clique} on unit disk graphs [Clark, Colbourn, Johnson; Discrete Mathematics '90]. Since then, it has been an intriguing open question whether or not tractability can be extended to general disk graphs. We show that the disjo…
▽ More
A (unit) disk graph is the intersection graph of closed (unit) disks in the plane. Almost three decades ago, an elegant polynomial-time algorithm was found for \textsc{Maximum Clique} on unit disk graphs [Clark, Colbourn, Johnson; Discrete Mathematics '90]. Since then, it has been an intriguing open question whether or not tractability can be extended to general disk graphs. We show that the disjoint union of two odd cycles is never the complement of a disk graph nor of a unit (3-dimensional) ball graph. From that fact and existing results, we derive a simple QPTAS and a subexponential algorithm running in time $2^{\tilde{O}(n^{2/3})}$ for \textsc{Maximum Clique} on disk and unit ball graphs. We then obtain a randomized EPTAS for computing the independence number on graphs having no disjoint union of two odd cycles as an induced subgraph, bounded VC-dimension, and linear independence number. This, in combination with our structural results, yields a randomized EPTAS for \textsc{Max Clique} on disk and unit ball graphs. \textsc{Max Clique} on unit ball graphs is equivalent to finding, given a collection of points in $\mathbb R^3$, a maximum subset of points with diameter at most some fixed value. In stark contrast, \textsc{Maximum Clique} on ball graphs and unit $4$-dimensional ball graphs, as well as intersection graphs of filled ellipses (even close to unit disks) or filled triangles is unlikely to have such algorithms. Indeed, we show that, for all those problems, there is a constant ratio of approximation which cannot be attained even in time $2^{n^{1-\varepsilon}}$, unless the Exponential Time Hypothesis fails.
△ Less
Submitted 28 October, 2021;
originally announced October 2021.
-
Using convolutional neural networks for the classification of breast cancer images
Authors:
Eric Bonnet
Abstract:
An important part of breast cancer staging is the assessment of the sentinel axillary node for early signs of tumor spreading. However, this assessment by pathologists is not always easy and retrospective surveys often requalify the status of a high proportion of sentinel nodes. Convolutional Neural Networks (CNNs) are a class of deep learning algorithms that have shown excellent performances in t…
▽ More
An important part of breast cancer staging is the assessment of the sentinel axillary node for early signs of tumor spreading. However, this assessment by pathologists is not always easy and retrospective surveys often requalify the status of a high proportion of sentinel nodes. Convolutional Neural Networks (CNNs) are a class of deep learning algorithms that have shown excellent performances in the most challenging visual classification tasks, with numerous applications in medical imaging. In this study I compare twelve different CNNs and different hardware acceleration devices for the detection of breast cancer from microscopic images of breast cancer tissue. Convolutional models are trained and tested on two public datasets. The first one is composed of more than 300,000 images of sentinel lymph node tissue from breast cancer patients, while the second one has more than 220,000 images from inductive breast carcinoma tissue, one of the most common forms of breast cancer. Four different hardware acceleration cards were used, with an off-the-shelf deep learning framework. The impact of transfer learning and hyperparameters fine-tuning are tested. Hardware acceleration device performance can improve training time by a factor of five to twelve, depending on the model used. On the other hand, increasing convolutional depth will augment the training time by a factor of four to six times, depending on the acceleration device used. Increasing the depth and the complexity of the model generally improves performance, but the relationship is not linear and also depends on the architecture of the model. The performance of transfer learning is always worse compared to a complete retraining of the model. Fine-tuning the hyperparameters of the model improves the results, with the best model showing a performance comparable to state-of-the-art models.
△ Less
Submitted 29 April, 2024; v1 submitted 31 August, 2021;
originally announced August 2021.
-
Twin-width and polynomial kernels
Authors:
Édouard Bonnet,
Eun Jung Kim,
Amadeus Reinald,
Stéphan Thomassé,
Rémi Watrigant
Abstract:
We study the existence of polynomial kernels, for parameterized problems without a polynomial kernel on general graphs, when restricted to graphs of bounded twin-width. Our main result is that a polynomial kernel for $k$-Dominating Set on graphs of twin-width at most 4 would contradict a standard complexity-theoretic assumption. The reduction is quite involved, especially to get the twin-width upp…
▽ More
We study the existence of polynomial kernels, for parameterized problems without a polynomial kernel on general graphs, when restricted to graphs of bounded twin-width. Our main result is that a polynomial kernel for $k$-Dominating Set on graphs of twin-width at most 4 would contradict a standard complexity-theoretic assumption. The reduction is quite involved, especially to get the twin-width upper bound down to 4, and can be tweaked to work for Connected $k$-Dominating Set and Total $k$-Dominating Set (albeit with a worse upper bound on the twin-width). The $k$-Independent Set problem admits the same lower bound by a much simpler argument, previously observed [ICALP '21], which extends to $k$-Independent Dominating Set, $k$-Path, $k$-Induced Path, $k$-Induced Matching, etc. On the positive side, we obtain a simple quadratic vertex kernel for Connected $k$-Vertex Cover and Capacitated $k$-Vertex Cover on graphs of bounded twin-width. Interestingly the kernel applies to graphs of Vapnik-Chervonenkis density 1, and does not require a witness sequence. We also present a more intricate $O(k^{1.5})$ vertex kernel for Connected $k$-Vertex Cover. Finally we show that deciding if a graph has twin-width at most 1 can be done in polynomial time, and observe that most optimization/decision graph problems can be solved in polynomial time on graphs of twin-width at most 1.
△ Less
Submitted 14 September, 2021; v1 submitted 6 July, 2021;
originally announced July 2021.
-
Twin-width and permutations
Authors:
Édouard Bonnet,
Jaroslav Nešetřil,
Patrice Ossona de Mendez,
Sebastian Siebertz,
Stéphan Thomassé
Abstract:
Inspired by a width invariant on permutations defined by Guillemot and Marx, Bonnet, Kim, Thomassé, and Watrigant introduced the twin-width of graphs, which is a parameter describing its structural complexity. This invariant has been further extended to binary structures, in several (basically equivalent) ways. We prove that a class of binary relational structures (that is: edge-colored partially…
▽ More
Inspired by a width invariant on permutations defined by Guillemot and Marx, Bonnet, Kim, Thomassé, and Watrigant introduced the twin-width of graphs, which is a parameter describing its structural complexity. This invariant has been further extended to binary structures, in several (basically equivalent) ways. We prove that a class of binary relational structures (that is: edge-colored partially directed graphs) has bounded twin-width if and only if it is a first-order transduction of a~proper permutation class. As a by-product, we show that every class with bounded twin-width contains at most $2^{O(n)}$ pairwise non-isomorphic $n$-vertex graphs.
△ Less
Submitted 1 April, 2024; v1 submitted 13 February, 2021;
originally announced February 2021.
-
Twin-width IV: ordered graphs and matrices
Authors:
Édouard Bonnet,
Ugo Giocanti,
Patrice Ossona de Mendez,
Pierre Simon,
Stéphan Thomassé,
Szymon Toruńczyk
Abstract:
We establish a list of characterizations of bounded twin-width for hereditary, totally ordered binary structures. This has several consequences. First, it allows us to show that a (hereditary) class of matrices over a finite alphabet either contains at least $n!$ matrices of size $n \times n$, or at most $c^n$ for some constant $c$. This generalizes the celebrated Stanley-Wilf conjecture/Marcus-Ta…
▽ More
We establish a list of characterizations of bounded twin-width for hereditary, totally ordered binary structures. This has several consequences. First, it allows us to show that a (hereditary) class of matrices over a finite alphabet either contains at least $n!$ matrices of size $n \times n$, or at most $c^n$ for some constant $c$. This generalizes the celebrated Stanley-Wilf conjecture/Marcus-Tardos theorem from permutation classes to any matrix class over a finite alphabet, answers our small conjecture [SODA '21] in the case of ordered graphs, and with more work, settles a question first asked by Balogh, Bollobás, and Morris [Eur. J. Comb. '06] on the growth of hereditary classes of ordered graphs. Second, it gives a fixed-parameter approximation algorithm for twin-width on ordered graphs. Third, it yields a full classification of fixed-parameter tractable first-order model checking on hereditary classes of ordered binary structures. Fourth, it provides a model-theoretic characterization of classes with bounded twin-width.
△ Less
Submitted 5 July, 2021; v1 submitted 5 February, 2021;
originally announced February 2021.
-
Isospin diffusion measurement from the direct detection of a Quasi-Projectile remnant
Authors:
A. Camaiani,
G. Casini,
S. Piantelli,
A. Ono,
E. Bonnet,
R. Alba,
S. Barlini,
B. Borderie,
R. Bougault,
C. Ciampi,
A. Chbihi,
M. Cicerchia,
M. Cinausero,
J. A. Dueñas,
D. DellAquila,
Q. Fable,
D. Fabris,
C. Frosin,
J. D. Frankland,
F. Gramegna,
D. Gruyer,
K. I. Hahn,
M. Henri,
B. Hong,
S. Kim
, et al. (18 additional authors not shown)
Abstract:
The neutron-proton equilibration process in 48 Ca+ 40 Ca at 35 MeV/nucleon bombarding energy has been experimentally estimated by means of the isospin transport ratio. Experimental data have been collected with a subset of the FAZIA telescope array, which permitted to determine Z and N of detected fragments. For the first time, the QP evaporative channel has been compared with the QP break-up one…
▽ More
The neutron-proton equilibration process in 48 Ca+ 40 Ca at 35 MeV/nucleon bombarding energy has been experimentally estimated by means of the isospin transport ratio. Experimental data have been collected with a subset of the FAZIA telescope array, which permitted to determine Z and N of detected fragments. For the first time, the QP evaporative channel has been compared with the QP break-up one in a homogeneous and consistent way, pointing out to a comparable n-p equilibration which suggests close interaction time between projectile and target independently of the exit channel. Moreover, in the QP evaporative channel n-p equilibration has been compared with the prediction of the Antisymmetrized Molecular Dynamics (AMD) model coupled to the GEMINI statistical model as an afterburner, showing a larger probability of proton and neutron transfers in the simulation with respect to the experimental data.
△ Less
Submitted 15 January, 2021;
originally announced January 2021.
-
4 vs 7 sparse undirected unweighted Diameter is SETH-hard at time $n^{4/3}$
Authors:
Édouard Bonnet
Abstract:
We show, assuming the Strong Exponential Time Hypothesis, that for every $\varepsilon > 0$, approximating undirected unweighted Diameter on $n$-vertex $n^{1+o(1)}$-edge graphs within ratio $7/4 - \varepsilon$ requires $n^{4/3 - o(1)}$ time. This is the first result that conditionally rules out a near-linear time $5/3$-approximation for undirected Diameter.
We show, assuming the Strong Exponential Time Hypothesis, that for every $\varepsilon > 0$, approximating undirected unweighted Diameter on $n$-vertex $n^{1+o(1)}$-edge graphs within ratio $7/4 - \varepsilon$ requires $n^{4/3 - o(1)}$ time. This is the first result that conditionally rules out a near-linear time $5/3$-approximation for undirected Diameter.
△ Less
Submitted 14 December, 2023; v1 submitted 6 January, 2021;
originally announced January 2021.
-
Model independent reconstruction of impact parameter distributions for intermediate energy heavy ion collisions
Authors:
INDRA Collaboration,
J. D. Frankland,
D. Gruyer,
E. Bonnet,
B. Borderie,
R. Bougault,
A. Chbihi,
J. E. Ducret,
D. Durand,
Q. Fable,
M. Henri,
J. Lemarié,
N. Le Neindre,
I. Lombardo,
O. Lopez,
L. Manduci,
M. Pârlog,
J. Quicray,
G. Verde,
E. Vient,
M. Vigilante
Abstract:
We present a model-independent method to reconstruct the impact parameter distributions of experimental data for intermediate energy heavy ion collisions, adapted from a recently proposed approach for ultra-relativistic heavy ion collisions. The method takes into account the fluctuations which are inherent to the relationship between any experimental observable and the impact parameter in this ene…
▽ More
We present a model-independent method to reconstruct the impact parameter distributions of experimental data for intermediate energy heavy ion collisions, adapted from a recently proposed approach for ultra-relativistic heavy ion collisions. The method takes into account the fluctuations which are inherent to the relationship between any experimental observable and the impact parameter in this energy range. We apply the method to the very large dataset on heavy ion collisions in the energy range 20-100 MeV/nucleon obtained with the INDRA multidetector since 1993, for two observables which are the most commonly used for the estimation of impact parameters in this energy range. The mean impact parameters deduced with this new method for "central" collisions selected using typical observable cuts are shown to be significantly larger than those found when fluctuations are neglected, and as expected the difference increases as bombarding energy decreases. In addition, we will show that this new approach may provide previously inaccessible experimental constraints for transport models, such as an estimation of the extrapolated mean value of experimental observables for b = 0 collisions. The ability to give more realistic, model-independent, estimations of the impact parameters associated to different experimental datasets should improve the pertinence of comparisons with transport model calculations which are essential to better constrain the equation of state of nuclear matter.
△ Less
Submitted 2 September, 2021; v1 submitted 9 November, 2020;
originally announced November 2020.
-
The Complexity of Mixed-Connectivity
Authors:
Édouard Bonnet,
Sergio Cabello
Abstract:
We investigate the parameterized complexity in $a$ and $b$ of determining whether a graph~$G$ has a subset of $a$ vertices and $b$ edges whose removal disconnects $G$, or disconnects two prescribed vertices $s, t \in V(G)$.
We investigate the parameterized complexity in $a$ and $b$ of determining whether a graph~$G$ has a subset of $a$ vertices and $b$ edges whose removal disconnects $G$, or disconnects two prescribed vertices $s, t \in V(G)$.
△ Less
Submitted 9 October, 2020;
originally announced October 2020.
-
Negative heat capacity for hot nuclei using formulation from the microcanonical ensemble INDRA Collaboration
Authors:
B. Borderie,
S. Piantelli,
E. Bonnet,
R. Bougault,
A. Chbihi,
J. E. Ducret,
J. D. Frankland,
E. Galichet,
D. Gruyer,
M. Henri,
M. La Commara,
N. Le Neindre,
I. Lombardo,
O. Lopez,
L. Manduci,
M. Parlog,
R. Roy,
G. Verde. M. Vigilante
Abstract:
By using freeze-out properties of multifragmenting hot nuclei produced in quasifusion central $^{129}$Xe+$^{nat}$Sn collisions at different beam energies (32, 39, 45 and 50 AMeV) which were estimated by means of a simulation based on experimental data collected by the $4π$ INDRA multidetector, heat capacity in the thermal excitation energy range 4 - 12.5 AMeV was calculated from total kinetic ener…
▽ More
By using freeze-out properties of multifragmenting hot nuclei produced in quasifusion central $^{129}$Xe+$^{nat}$Sn collisions at different beam energies (32, 39, 45 and 50 AMeV) which were estimated by means of a simulation based on experimental data collected by the $4π$ INDRA multidetector, heat capacity in the thermal excitation energy range 4 - 12.5 AMeV was calculated from total kinetic energies and multiplicities at freeze-out. The microcanonical formulation was employed. Negative heat capacity which signs a first order phase transition for finite systems is observed and confirms previous results using a different method.
△ Less
Submitted 5 October, 2020;
originally announced October 2020.
-
Dynamical fission of the quasiprojectile and isospin equilibration for the system 80Kr+ 48 Ca at 35 MeV/nucleon
Authors:
S. Piantelli,
G. Casini,
A. Ono,
G. Poggi,
G. Pastore,
S. Barlini,
A. Boiano,
E. Bonnet,
B. Borderie,
R. Bougault,
M. Bruno,
A. Buccola,
A. Camaiani,
A. Chbihi,
M. Cicerchia,
M. Cinausero,
M. DAgostino,
M. Degerlier,
J. Duenas,
Q. Fable,
D. Fabris,
J. D. Frankland,
C. Frosin,
F. Gramegna,
D. Gruyer
, et al. (22 additional authors not shown)
Abstract:
Experimental results concerning the dynamical fission of quasiprojectiles in semiperipheral collisions for the system 80 Kr+ 48 Ca at 35 MeV/nucleon are presented. Data have been collected with four blocks of the FAZIA setup in the first physics experiment of the FAZIA Collaboration. The degree of isospin equilibration between the two fission fragments and its dependence on their charge asymmetry…
▽ More
Experimental results concerning the dynamical fission of quasiprojectiles in semiperipheral collisions for the system 80 Kr+ 48 Ca at 35 MeV/nucleon are presented. Data have been collected with four blocks of the FAZIA setup in the first physics experiment of the FAZIA Collaboration. The degree of isospin equilibration between the two fission fragments and its dependence on their charge asymmetry is investigated. The data are compared with the results of the AMD model coupled to GEMINI as an afterburner, in order to get hints about the timescale of the process.
△ Less
Submitted 1 October, 2020;
originally announced October 2020.
-
Inapproximability of Diameter in super-linear time: Beyond the 5/3 ratio
Authors:
Édouard Bonnet
Abstract:
We show, assuming the Strong Exponential Time Hypothesis, that for every $\varepsilon > 0$, approximating directed Diameter on $m$-arc graphs within ratio $7/4 - \varepsilon$ requires $m^{4/3 - o(1)}$ time. Our construction uses nonnegative edge weights but even holds for sparse digraphs, i.e., for which the number of vertices $n$ and the number of arcs $m$ satisfy $m = n \log^{O(1)} n$. This is t…
▽ More
We show, assuming the Strong Exponential Time Hypothesis, that for every $\varepsilon > 0$, approximating directed Diameter on $m$-arc graphs within ratio $7/4 - \varepsilon$ requires $m^{4/3 - o(1)}$ time. Our construction uses nonnegative edge weights but even holds for sparse digraphs, i.e., for which the number of vertices $n$ and the number of arcs $m$ satisfy $m = n \log^{O(1)} n$. This is the first result that conditionally rules out a near-linear time $5/3$-approximation for Diameter.
△ Less
Submitted 7 February, 2021; v1 submitted 25 August, 2020;
originally announced August 2020.
-
Close relatives of Feedback Vertex Set without single-exponential algorithms parameterized by treewidth
Authors:
Benjamin Bergougnoux,
Édouard Bonnet,
Nick Brettell,
O-joung Kwon
Abstract:
The Cut & Count technique and the rank-based approach have lead to single-exponential FPT algorithms parameterized by treewidth, that is, running in time $2^{O(tw)}n^{O(1)}$, for Feedback Vertex Set and connected versions of the classical graph problems (such as Vertex Cover and Dominating Set). We show that Subset Feedback Vertex Set, Subset Odd Cycle Transversal, Restricted Edge-Subset Feedback…
▽ More
The Cut & Count technique and the rank-based approach have lead to single-exponential FPT algorithms parameterized by treewidth, that is, running in time $2^{O(tw)}n^{O(1)}$, for Feedback Vertex Set and connected versions of the classical graph problems (such as Vertex Cover and Dominating Set). We show that Subset Feedback Vertex Set, Subset Odd Cycle Transversal, Restricted Edge-Subset Feedback Edge Set, Node Multiway Cut, and Multiway Cut are unlikely to have such running times. More precisely, we match algorithms running in time $2^{O(tw \log tw)}n^{O(1)}$ with tight lower bounds under the Exponential-Time Hypothesis (ETH), ruling out $2^{o(tw \log tw)}n^{O(1)}$, where $n$ is the number of vertices and $tw$ is the treewidth of the input graph. Our algorithms extend to the weighted case, while our lower bounds also hold for the larger parameter pathwidth and do not require weights. We also show that, in contrast to Odd Cycle Transversal, there is no $2^{o(tw \log tw)}n^{O(1)}$-time algorithm for Even Cycle Transversal under the ETH.
△ Less
Submitted 28 July, 2020;
originally announced July 2020.
-
Twin-width III: Max Independent Set, Min Dominating Set, and Coloring
Authors:
Édouard Bonnet,
Colin Geniet,
Eun Jung Kim,
Stéphan Thomassé,
Rémi Watrigant
Abstract:
We recently introduced the graph invariant twin-width, and showed that first-order model checking can be solved in time $f(d,k)n$ for $n$-vertex graphs given with a witness that the twin-width is at most $d$, called $d$-contraction sequence or $d$-sequence, and formulas of size $k$ [Bonnet et al., FOCS '20]. The inevitable price to pay for such a general result is that $f$ is a tower of exponentia…
▽ More
We recently introduced the graph invariant twin-width, and showed that first-order model checking can be solved in time $f(d,k)n$ for $n$-vertex graphs given with a witness that the twin-width is at most $d$, called $d$-contraction sequence or $d$-sequence, and formulas of size $k$ [Bonnet et al., FOCS '20]. The inevitable price to pay for such a general result is that $f$ is a tower of exponentials of height roughly $k$. In this paper, we show that algorithms based on twin-width need not be impractical. We present $2^{O(k)}n$-time algorithms for $k$-Independent Set, $r$-Scattered Set, $k$-Clique, and $k$-Dominating Set when an $O(1)$-sequence is provided. We further show how to solve weighted $k$-Independent Set, Subgraph Isomorphism, and Induced Subgraph Isomorphism, in time $2^{O(k \log k)}n$. These algorithms are based on a dynamic programming scheme following the sequence of contractions forward. We then show a second algorithmic use of the contraction sequence, by starting at its end and rewinding it. As an example, we establish that bounded twin-width classes are $χ$-bounded. This significantly extends the $χ$-boundedness of bounded rank-width classes, and does so with a very concise proof. The third algorithmic use of twin-width builds on the second one. Playing the contraction sequence backward, we show that bounded twin-width graphs can be edge-partitioned into a linear number of bicliques, such that both sides of the bicliques are on consecutive vertices, in a fixed vertex ordering. Given that biclique edge-partition, we show how to solve the unweighted Single-Source Shortest Paths and hence All-Pairs Shortest Paths in sublinear time $O(n \log n)$ and time $O(n^2 \log n)$, respectively. Finally we show that Min Dominating Set and related problems have constant integrality gaps on bounded twin-width classes, thereby getting constant approximations on these classes.
△ Less
Submitted 12 February, 2021; v1 submitted 28 July, 2020;
originally announced July 2020.
-
Twin-width II: small classes
Authors:
Édouard Bonnet,
Colin Geniet,
Eun Jung Kim,
Stéphan Thomassé,
Rémi Watrigant
Abstract:
The twin-width of a graph $G$ is the minimum integer $d$ such that $G$ has a $d$-contraction sequence, that is, a sequence of $|V(G)|-1$ iterated vertex identifications for which the overall maximum number of red edges incident to a single vertex is at most $d$, where a red edge appears between two sets of identified vertices if they are not homogeneous in $G$. We show that if a graph admits a…
▽ More
The twin-width of a graph $G$ is the minimum integer $d$ such that $G$ has a $d$-contraction sequence, that is, a sequence of $|V(G)|-1$ iterated vertex identifications for which the overall maximum number of red edges incident to a single vertex is at most $d$, where a red edge appears between two sets of identified vertices if they are not homogeneous in $G$. We show that if a graph admits a $d$-contraction sequence, then it also has a linear-arity tree of $f(d)$-contractions, for some function $f$. First this permits to show that every bounded twin-width class is small, i.e., has at most $n!c^n$ graphs labeled by $[n]$, for some constant $c$. This unifies and extends the same result for bounded treewidth graphs [Beineke and Pippert, JCT '69], proper subclasses of permutations graphs [Marcus and Tardos, JCTA '04], and proper minor-free classes [Norine et al., JCTB '06]. The second consequence is an $O(\log n)$-adjacency labeling scheme for bounded twin-width graphs, confirming several cases of the implicit graph conjecture. We then explore the "small conjecture" that, conversely, every small hereditary class has bounded twin-width. Inspired by sorting networks of logarithmic depth, we show that $\log_{Θ(\log \log d)}n$-subdivisions of $K_n$ (a small class when $d$ is constant) have twin-width at most $d$. We obtain a rather sharp converse with a surprisingly direct proof: the $\log_{d+1}n$-subdivision of $K_n$ has twin-width at least $d$. Secondly graphs with bounded stack or queue number (also small classes) have bounded twin-width. Thirdly we show that cubic expanders obtained by iterated random 2-lifts from $K_4$~[Bilu and Linial, Combinatorica '06] have bounded twin-width, too. We suggest a promising connection between the small conjecture and group theory. Finally we define a robust notion of sparse twin-width and discuss how it compares with other sparse classes.
△ Less
Submitted 17 June, 2020;
originally announced June 2020.
-
Improved method for the experimental determination of in-medium effects from heavy-ion collisions
Authors:
Helena Pais,
Rémi Bougault,
Francesca Gulminelli,
Constança Providência,
Eric Bonnet,
Bernard Borderie,
Abdelouahad Chbihi,
John D. Frankland,
Emmanuelle Galichet,
Diégo Gruyer,
Maxime Henri,
Nicolas Le Neindre,
Olivier Lopez,
Loredana Manduci,
Marian Pârlog,
Giuseppe Verde
Abstract:
The equation of state with light clusters for nuclear and stellar matter is determined using chemical equilibrium constants evaluated from the analysis of the recently published (Xe$+$Sn) heavy ion data, corresponding to three reactions with different isotopic contents of the emission source. The measured multiplicities are used to extract the thermodynamic properties, and an in-medium correction…
▽ More
The equation of state with light clusters for nuclear and stellar matter is determined using chemical equilibrium constants evaluated from the analysis of the recently published (Xe$+$Sn) heavy ion data, corresponding to three reactions with different isotopic contents of the emission source. The measured multiplicities are used to extract the thermodynamic properties, and an in-medium correction to the ideal gas internal partition function of the clusters is included in the analysis. This in-medium correction and its respective uncertainty are calculated via a Bayesian analysis, with the unique hypothesis that the different nuclear species in a given sample must correspond to a unique common value for the density of the expanding source. Different parameter sets for the correction are tested, and the effect of the radius of the clusters on the thermodynamics and on the chemical equilibrium constants is also addressed. It is shown that the equilibrium constants obtained are almost independent of the isospin content of the analysed systems. Finally, a comparison with a relativistic mean field model proves that data are consistent with a universal in-medium correction of the scalar $σ$-meson coupling for nucleons bound in clusters. The obtained value, $g_s/g_s^0 = 0.92 \pm 0.02$, is larger than that obtained in a previous study not including in-medium effects in the data analysis. This result implies a smaller effect on the binding energy of the clusters and, as a consequence, larger melting densities, and an increased cluster contribution in supernova matter.
△ Less
Submitted 8 September, 2020; v1 submitted 12 June, 2020;
originally announced June 2020.
-
Revisiting an extended-mean-field approach in heavy-ion collisions around the Fermi energy
Authors:
G. Besse,
V. de la Mota,
E. Bonnet,
P. Eudes,
P. Napolitani,
Z. Basrak
Abstract:
Static and dynamical aspects of nuclear systems are described through an extended time-dependent mean-field approach. The foundations of the formalism are presented, with highlights on the estimation of average values and their corresponding dispersions. In contrast to semiclassical transport models, the particular interest of this description lies on its intrinsic quantal character. The reliabili…
▽ More
Static and dynamical aspects of nuclear systems are described through an extended time-dependent mean-field approach. The foundations of the formalism are presented, with highlights on the estimation of average values and their corresponding dispersions. In contrast to semiclassical transport models, the particular interest of this description lies on its intrinsic quantal character. The reliability of this approach is discussed by means of stop**-sensitive observables analysis in heavy-ion collisions in the range of 20 to 120 MeV per nucleon.
△ Less
Submitted 30 May, 2020;
originally announced June 2020.
-
Twin-width I: tractable FO model checking
Authors:
Édouard Bonnet,
Eun Jung Kim,
Stéphan Thomassé,
Rémi Watrigant
Abstract:
Inspired by a width invariant defined on permutations by Guillemot and Marx [SODA '14], we introduce the notion of twin-width on graphs and on matrices. Proper minor-closed classes, bounded rank-width graphs, map graphs, $K_t$-free unit $d$-dimensional ball graphs, posets with antichains of bounded size, and proper subclasses of dimension-2 posets all have bounded twin-width. On all these classes…
▽ More
Inspired by a width invariant defined on permutations by Guillemot and Marx [SODA '14], we introduce the notion of twin-width on graphs and on matrices. Proper minor-closed classes, bounded rank-width graphs, map graphs, $K_t$-free unit $d$-dimensional ball graphs, posets with antichains of bounded size, and proper subclasses of dimension-2 posets all have bounded twin-width. On all these classes (except map graphs without geometric embedding) we show how to compute in polynomial time a sequence of $d$-contractions, witness that the twin-width is at most $d$. We show that FO model checking, that is deciding if a given first-order formula $φ$ evaluates to true for a given binary structure $G$ on a domain $D$, is FPT in $|φ|$ on classes of bounded twin-width, provided the witness is given. More precisely, being given a $d$-contraction sequence for $G$, our algorithm runs in time $f(d,|φ|) \cdot |D|$ where $f$ is a computable but non-elementary function. We also prove that bounded twin-width is preserved by FO interpretations and transductions (allowing operations such as squaring or complementing a graph). This unifies and significantly extends the knowledge on fixed-parameter tractability of FO model checking on non-monotone classes, such as the FPT algorithm on bounded-width posets by Gajarský et al. [FOCS '15].
△ Less
Submitted 25 October, 2021; v1 submitted 30 April, 2020;
originally announced April 2020.
-
An algorithmic weakening of the Erdős-Hajnal conjecture
Authors:
Édouard Bonnet,
Stéphan Thomassé,
Xuan Thang Tran,
Rémi Watrigant
Abstract:
We study the approximability of the Maximum Independent Set (MIS) problem in $H$-free graphs (that is, graphs which do not admit $H$ as an induced subgraph). As one motivation we investigate the following conjecture: for every fixed graph $H$, there exists a constant $δ> 0$ such that MIS can be $n^{1 - δ}$-approximated in $H$-free graphs, where $n$ denotes the number of vertices of the input graph…
▽ More
We study the approximability of the Maximum Independent Set (MIS) problem in $H$-free graphs (that is, graphs which do not admit $H$ as an induced subgraph). As one motivation we investigate the following conjecture: for every fixed graph $H$, there exists a constant $δ> 0$ such that MIS can be $n^{1 - δ}$-approximated in $H$-free graphs, where $n$ denotes the number of vertices of the input graph. We first prove that a constructive version of the celebrated Erdős-Hajnal conjecture implies ours. We then prove that the set of graphs $H$ satisfying our conjecture is closed under the so-called graph substitution. This, together with the known polynomial-time algorithms for MIS in $H$-free graphs (e.g. $P_6$-free and fork-free graphs), implies that our conjecture holds for many graphs $H$ for which the Erdős-Hajnal conjecture is still open. We then focus on improving the constant $δ$ for some graph classes: we prove that the classical Local Search algorithm provides an $OPT^{1-\frac{1}{t}}$-approximation in $K_{t,t}$-free graphs (hence a $\sqrt{OPT}$-approximation in $C_4$-free graphs), and, while there is a simple $\sqrt{n}$-approximation in triangle-free graphs, it cannot be improved to $n^{\frac{1}{4}-\varepsilon}$ for any $\varepsilon > 0$ unless $NP \subseteq BPP$. More generally, we show that there is a constant $c$ such that MIS in graphs of girth $γ$ cannot be $n^{\frac{c}γ}$-approximated. Up to a constant factor in the exponent, this matches the ratio of a known approximation algorithm by Monien and Speckenmeyer, and by Murphy. To the best of our knowledge, this is the first strong (i.e., $Ω(n^δ)$ for some $δ> 0$) inapproximability result for Maximum Independent Set in a proper hereditary class.
△ Less
Submitted 25 April, 2020;
originally announced April 2020.
-
Maximum Clique in Disk-Like Intersection Graphs
Authors:
Édouard Bonnet,
Nicolas Grelier,
Tillmann Miltzow
Abstract:
We study the complexity of Maximum Clique in intersection graphs of convex objects in the plane. On the algorithmic side, we extend the polynomial-time algorithm for unit disks [Clark '90, Raghavan and Spinrad '03] to translates of any fixed convex set. We also generalize the efficient polynomial-time approximation scheme (EPTAS) and subexponential algorithm for disks [Bonnet et al. '18, Bonamy et…
▽ More
We study the complexity of Maximum Clique in intersection graphs of convex objects in the plane. On the algorithmic side, we extend the polynomial-time algorithm for unit disks [Clark '90, Raghavan and Spinrad '03] to translates of any fixed convex set. We also generalize the efficient polynomial-time approximation scheme (EPTAS) and subexponential algorithm for disks [Bonnet et al. '18, Bonamy et al. '18] to homothets of a fixed centrally symmetric convex set. The main open question on that topic is the complexity of Maximum Clique in disk graphs. It is not known whether this problem is NP-hard. We observe that, so far, all the hardness proofs for Maximum Clique in intersection graph classes $\mathcal I$ follow the same road. They show that, for every graph $G$ of a large-enough class $\mathcal C$, the complement of an even subdivision of $G$ belongs to the intersection class $\mathcal I$. Then they conclude invoking the hardness of Maximum Independent Set on the class $\mathcal C$, and the fact that the even subdivision preserves that hardness. However there is a strong evidence that this approach cannot work for disk graphs [Bonnet et al. '18]. We suggest a new approach, based on a problem that we dub Max Interval Permutation Avoidance, which we prove unlikely to have a subexponential-time approximation scheme. We transfer that hardness to Maximum Clique in intersection graphs of objects which can be either half-planes (or unit disks) or axis-parallel rectangles. That problem is not amenable to the previous approach. We hope that a scaled down (merely NP-hard) variant of Max Interval Permutation Avoidance could help making progress on the disk case, for instance by showing the NP-hardness for (convex) pseudo-disks.
△ Less
Submitted 5 March, 2020;
originally announced March 2020.
-
Grundy Coloring & friends, Half-Graphs, Bicliques
Authors:
Pierre Aboulker,
Édouard Bonnet,
Eun Jung Kim,
Florian Sikora
Abstract:
The first-fit coloring is a heuristic that assigns to each vertex, arriving in a specified order $σ$, the smallest available color. The problem Grundy Coloring asks how many colors are needed for the most adversarial vertex ordering $σ$, i.e., the maximum number of colors that the first-fit coloring requires over all possible vertex orderings. Since its inception by Grundy in 1939, Grundy Coloring…
▽ More
The first-fit coloring is a heuristic that assigns to each vertex, arriving in a specified order $σ$, the smallest available color. The problem Grundy Coloring asks how many colors are needed for the most adversarial vertex ordering $σ$, i.e., the maximum number of colors that the first-fit coloring requires over all possible vertex orderings. Since its inception by Grundy in 1939, Grundy Coloring has been examined for its structural and algorithmic aspects. A brute-force $f(k)n^{2^{k-1}}$-time algorithm for Grundy Coloring on general graphs is not difficult to obtain, where $k$ is the number of colors required by the most adversarial vertex ordering. It was asked several times whether the dependency on $k$ in the exponent of $n$ can be avoided or reduced, and its answer seemed elusive until now. We prove that Grundy Coloring is W[1]-hard and the brute-force algorithm is essentially optimal under the Exponential Time Hypothesis, thus settling this question by the negative.
The key ingredient in our W[1]-hardness proof is to use so-called half-graphs as a building block to transmit a color from one vertex to another. Leveraging the half-graphs, we also prove that b-Chromatic Core is W[1]-hard, whose parameterized complexity was posed as an open question by Panolan et al. [JCSS '17]. A natural follow-up question is, how the parameterized complexity changes in the absence of (large) half-graphs. We establish fixed-parameter tractability on $K_{t,t}$-free graphs for b-Chromatic Core and Partial Grundy Coloring, making a step toward answering this question. The key combinatorial lemma underlying the tractability result might be of independent interest.
△ Less
Submitted 11 January, 2020;
originally announced January 2020.
-
Low-density in-medium effects on light clusters from heavy-ion data
Authors:
Helena Pais,
Rémi Bougault,
Francesca Gulminelli,
Constança Providência,
Eric Bonnet,
Bernard Borderie,
Abdelouahad Chbihi,
John D. Frankland,
Emmanuelle Galichet,
Diégo Gruyer,
Maxime Henri,
Nicolas Le Neindre,
Olivier Lopez,
Loredana Manduci,
Marian Parlôg,
Giuseppe Verde
Abstract:
The modification of the ground state properties of light atomic nuclei in the nuclear and stellar medium is addressed, using chemical equilibrium constants evaluated from a new analysis of the intermediate energy heavy-ion (Xe$+$Sn) collision data measured by the INDRA collaboration. Three different reactions are considered, mainly differing by the isotopic content of the emission source. The ther…
▽ More
The modification of the ground state properties of light atomic nuclei in the nuclear and stellar medium is addressed, using chemical equilibrium constants evaluated from a new analysis of the intermediate energy heavy-ion (Xe$+$Sn) collision data measured by the INDRA collaboration. Three different reactions are considered, mainly differing by the isotopic content of the emission source. The thermodynamic conditions of the data samples are extracted from the measured multiplicities allowing for a parametrization of the in-medium modification, determined with the single hypothesis that the different nuclear species in a given sample correspond to a unique common value for the density of the expanding source. We show that this correction, which was not considered in previous analyses of chemical constants from heavy ion collisions, is necessary, since the observables of the analyzed systems show strong deviations from the expected results for an ideal gas of free clusters. This data set is further compared to a relativistic mean-field model, and seen to be reasonably compatible with a universal correction of the attractive $σ$-meson coupling.
△ Less
Submitted 12 June, 2020; v1 submitted 25 November, 2019;
originally announced November 2019.
-
Equilibrium constants of Hydrogen and Helium isotopes at low nuclear densities
Authors:
R. Bougault,
E. Bonnet,
B. Borderie,
A. Chbihi,
J. D. Frankland,
E. Galichet,
D. Gruyer,
M. Henri,
M. La Commara,
N. Le Neindre,
I. Lombardo,
O. Lopez,
L. Manduci,
M. Parlog,
R. Roy,
G. Verde,
M. Vigilante
Abstract:
Equilibrium constants for Hydrogen and Helium isotopes as a function of density and temperature are measured in the framework of the study made by Qin et al. [Qin L et al 2012 Phys. Rev. Lett. 108 172701]. We review and comment on all stages of the analysis and conclude that our measurements are not inconsistent with Qin et al. results. Improvements are being made to the initial analysis and we ra…
▽ More
Equilibrium constants for Hydrogen and Helium isotopes as a function of density and temperature are measured in the framework of the study made by Qin et al. [Qin L et al 2012 Phys. Rev. Lett. 108 172701]. We review and comment on all stages of the analysis and conclude that our measurements are not inconsistent with Qin et al. results. Improvements are being made to the initial analysis and we raise the issue of the binding energies which has to be clarified.
△ Less
Submitted 19 November, 2019;
originally announced November 2019.