Showing 1–50 of 143 results for author: Bonnet, É

Separability Properties of Monadically Dependent Graph Classes

Authors: Édouard Bonnet, Samuel Braunfeld, Ioannis Eleftheriadis, Colin Geniet, Nikolas Mählmann, Michał Pilipczuk, Wojciech Przybyszewski, Szymon Toruńczyk

Abstract: A graph class $\mathcal C$ is monadically dependent if one cannot interpret all graphs in colored graphs from $\mathcal C$ using a fixed first-order interpretation. We prove that monadically dependent classes can be exactly characterized by the following property, which we call flip-separability: for every $r\in \mathbb{N}$, $\varepsilon>0$, and every graph $G\in \mathcal{C}$ equipped with a weigh… ▽ More A graph class $\mathcal C$ is monadically dependent if one cannot interpret all graphs in colored graphs from $\mathcal C$ using a fixed first-order interpretation. We prove that monadically dependent classes can be exactly characterized by the following property, which we call flip-separability: for every $r\in \mathbb{N}$, $\varepsilon>0$, and every graph $G\in \mathcal{C}$ equipped with a weight function on vertices, one can apply a bounded (in terms of $\mathcal{C},r,\varepsilon$) number of flips (complementations of the adjacency relation on a subset of vertices) to $G$ so that in the resulting graph, every radius-$r$ ball contains at most an $\varepsilon$-fraction of the total weight. On the way to this result, we introduce a robust toolbox for working with various notions of local separations in monadically dependent classes. △ Less

Submitted 16 May, 2025; originally announced May 2025.

Comments: to appear at ICALP 2025

Study of beta spectrum shapes relevant to the prediction of reactor antineutrino spectra

Authors: G. A. Alcalá, A. Algora, M. Estienne, M. Fallot, V. Guadilla, A. Beloeuvre, W. Gelletly, R. Kean, A. Porta, S. Bouvier, J. -S. Stutzmann, E. Bonnet, T. Eronen, D. Etasse, J. Agramunt, J. L. Tain, H. Garcia Cabrera, L. Giot, A. Laureau, J. A. Victoria, Y. Molla, A. Jaries, L. Al Ayoubi, O. Beliuskina, W. Gins , et al. (13 additional authors not shown)

Abstract: The shapes of the beta spectra of 92Rb and 142Cs, two of the beta decays most relevant for the prediction of the antineutrino spectrum in reactors, have been measured. A new setup composed of two dE-E telescopes has been used. High purity radioactive beams of the isotopes of interest were provided by the IGISOL facility using the JYFLTRAP double Penning trap. The resulting beta spectra have been c… ▽ More The shapes of the beta spectra of 92Rb and 142Cs, two of the beta decays most relevant for the prediction of the antineutrino spectrum in reactors, have been measured. A new setup composed of two dE-E telescopes has been used. High purity radioactive beams of the isotopes of interest were provided by the IGISOL facility using the JYFLTRAP double Penning trap. The resulting beta spectra have been compared with model predictions using beta decay feedings from total absorption gamma spectroscopy measurements and shape corrections employed in the calculation of the antineutrino spectrum, validating both further. The procedure can be extended to other relevant nuclei in the future, providing solid ground for the prediction of the antineutrino spectrum in reactors. △ Less

Submitted 9 May, 2025; originally announced May 2025.

Comments: 11 pages, 6 figures

Induced Minors and Region Intersection Graphs

Authors: Édouard Bonnet, Robert Hickingbotham

Abstract: We show that for any positive integers $g$ and $t$, there is a $K_{6}^{(1)}$-induced-minor-free graph of girth at least $g$ that is not a region intersection graph over the class of $K_t$-minor-free graphs. This answers in a strong form the recently raised question of whether for every graph $H$ there is a graph $H'$ such that $H$-induced-minor-free graphs are region intersection graphs over $H'$-… ▽ More We show that for any positive integers $g$ and $t$, there is a $K_{6}^{(1)}$-induced-minor-free graph of girth at least $g$ that is not a region intersection graph over the class of $K_t$-minor-free graphs. This answers in a strong form the recently raised question of whether for every graph $H$ there is a graph $H'$ such that $H$-induced-minor-free graphs are region intersection graphs over $H'$-minor-free graphs. △ Less

Submitted 29 April, 2025; originally announced April 2025.

Nuclear clustering process in heavy-ion collisions : experimental constraints on the low-temperature region of the QCD phase diagram

Authors: E. Bonnet, B. Borderie, R. Bougault, A. Chbihi, Q. Fable, J. D. Frankland, D. Gruyer, M. La Commara, A. Le Fèvre, N. Le Neindre, I. Lombardo, J. Łukasik, M. Pârlog, G. Verde, J. P. Wieleczko

Abstract: In this article, we study the production of Hydrogen and Helium isotopes in heavy-ion collisions in the incident energy range between 80 and 150 MeV/nucleon. We compare their inclusive multiplicities emitted in the transverse plane of the reaction with the predictions given by the thermal model. As a first step, we validate the choice of this approach to describe the experimental measurements. We… ▽ More In this article, we study the production of Hydrogen and Helium isotopes in heavy-ion collisions in the incident energy range between 80 and 150 MeV/nucleon. We compare their inclusive multiplicities emitted in the transverse plane of the reaction with the predictions given by the thermal model. As a first step, we validate the choice of this approach to describe the experimental measurements. We also show that the transient states have to be explicitly taken into account for a good statistical description of the experimental multiplicities. From the thermodynamical parameter values obtained we complete the existing database built with the use of thermal-statistical models to reproduce particle production in the (ultra-)relativistic-energy measurements. We then proposed a new constraint on the so-called freeze-out region in the temperature (T) versus baryonic chemical potential (muB) phase diagram of the quantum chromodynamics. These new results indicate that there is a common framework to describe the hadron production and nuclear clustering processes in heavy-ion collisions. △ Less

Submitted 4 June, 2025; v1 submitted 31 March, 2025; originally announced March 2025.

Comments: 10 pages, 3 figure panels, accepted for publication in PRC

Every Graph is Essential to Large Treewidth

Authors: Bogdan Alecu, Édouard Bonnet, Pedro Bureo Villafana, Nicolas Trotignon

Abstract: We show that for every graph $H$, there is a hereditary weakly sparse graph class $\mathcal C_H$ of unbounded treewidth such that the $H$-free (i.e., excluding $H$ as an induced subgraph) graphs of $\mathcal C_H$ have bounded treewidth. This refutes several conjectures and critically thwarts the quest for the unavoidable induced subgraphs in classes of unbounded treewidth, a wished-for counterpart… ▽ More We show that for every graph $H$, there is a hereditary weakly sparse graph class $\mathcal C_H$ of unbounded treewidth such that the $H$-free (i.e., excluding $H$ as an induced subgraph) graphs of $\mathcal C_H$ have bounded treewidth. This refutes several conjectures and critically thwarts the quest for the unavoidable induced subgraphs in classes of unbounded treewidth, a wished-for counterpart of the Grid Minor theorem. We actually show a stronger result: For every positive integer $t$, there is a hereditary graph class $\mathcal C_t$ of unbounded treewidth such that for any graph $H$ of treewidth at most $t$, the $H$-free graphs of $\mathcal C_t$ have bounded treewidth. Our construction is a variant of so-called layered wheels. We also introduce a framework of abstract layered wheels, based on their most salient properties. In particular, we streamline and extend key lemmas previously shown on individual layered wheels. We believe that this should greatly help develop this topic, which appears to be a very strong yet underexploited source of counterexamples. △ Less

Submitted 1 April, 2025; v1 submitted 20 February, 2025; originally announced February 2025.

Comments: 23 pages, 6 figures Added acknowledgement

MSC Class: 05C75 ACM Class: G.2.2

Induced Disjoint Paths Without an Induced Minor

Authors: Pierre Aboulker, Édouard Bonnet, Timothé Picavet, Nicolas Trotignon

Abstract: We exhibit a new obstacle to the nascent algorithmic theory for classes excluding an induced minor. We indeed show that on the class of string graphs -- which avoids the 1-subdivision of, say, $K_5$ as an induced minor -- Induced 2-Disjoint Paths is NP-complete. So, while $k$-Disjoint Paths, for a fixed $k$, is polynomial-time solvable in general graphs, the absence of a graph as an induced minor… ▽ More We exhibit a new obstacle to the nascent algorithmic theory for classes excluding an induced minor. We indeed show that on the class of string graphs -- which avoids the 1-subdivision of, say, $K_5$ as an induced minor -- Induced 2-Disjoint Paths is NP-complete. So, while $k$-Disjoint Paths, for a fixed $k$, is polynomial-time solvable in general graphs, the absence of a graph as an induced minor does not make its induced variant tractable, even for $k=2$. This answers a question of Korhonen and Lokshtanov [SODA '24], and complements a polynomial-time algorithm for Induced $k$-Disjoint Paths in classes of bounded genus by Kobayashi and Kawarabayashi [SODA '09]. In addition to being string graphs, our produced hard instances are subgraphs of a constant power of bounded-degree planar graphs, hence have bounded twin-width and bounded maximum degree. We also leverage our new result to show that there is a fixed subcubic graph $H$ such that deciding if an input graph contains $H$ as an induced subdivision is NP-complete. Until now, all the graphs $H$ for which such a statement was known had a vertex of degree at least 4. This answers a question by Chudnovsky, Seymour, and the fourth author [JCTB '13], and by Le [JGT '19]. Finally we resolve another question of Korhonen and Lokshtanov by exhibiting a subcubic graph $H$ without two adjacent degree-3 vertices and such that deciding if an input $n$-vertex graph contains $H$ as an induced minor is NP-complete, and unless the Exponential-Time Hypothesis fails, requires time $2^{Ω(\sqrt n)}$. This complements an algorithm running in subexponential time $2^{O(n^{2/3} \log n)}$ by these authors [SODA '24] under the same technical condition. △ Less

Submitted 7 February, 2025; originally announced February 2025.

Comments: 14 pages, 5 figures

MSC Class: 68Q25 ACM Class: F.2.2

Answering Related Questions

Authors: Édouard Bonnet

Abstract: We introduce the meta-problem Sidestep$(Π, \mathsf{dist}, d)$ for a problem $Π$, a metric $\mathsf{dist}$ over its inputs, and a map $d: \mathbb N \to \mathbb R_+ \cup \{\infty\}$. A solution to Sidestep$(Π, \mathsf{dist}, d)$ on an input $I$ of $Π$ is a pair $(J, Π(J))$ such that $\mathsf{dist}(I,J) \leqslant d(|I|)$ and $Π(J)$ is a correct answer to $Π$ on input $J$. This formalizes the notion o… ▽ More We introduce the meta-problem Sidestep$(Π, \mathsf{dist}, d)$ for a problem $Π$, a metric $\mathsf{dist}$ over its inputs, and a map $d: \mathbb N \to \mathbb R_+ \cup \{\infty\}$. A solution to Sidestep$(Π, \mathsf{dist}, d)$ on an input $I$ of $Π$ is a pair $(J, Π(J))$ such that $\mathsf{dist}(I,J) \leqslant d(|I|)$ and $Π(J)$ is a correct answer to $Π$ on input $J$. This formalizes the notion of answering a related question (or sidestepping the question), for which we give some practical and theoretical motivations, and compare it to the neighboring concepts of smoothed analysis, planted problems, and edition problems. Informally, we call hardness radius the ``largest'' $d$ such that Sidestep$(Π, \mathsf{dist}, d)$ is NP-hard. This framework calls for establishing the hardness radius of problems $Π$ of interest for the relevant distances $\mathsf{dist}$. We exemplify it with graph problems and two distances $\mathsf{dist}_Δ$ and $\mathsf{dist}_e$ (the edge edit distance) such that $\mathsf{dist}_Δ(G,H)$ (resp. $\mathsf{dist}_e(G,H)$) is the maximum degree (resp. number of edges) of the symmetric difference of $G$ and $H$ if these graphs are on the same vertex set, and $+\infty$ otherwise. We show that the decision problems Independent Set, Clique, Vertex Cover, Coloring, Clique Cover have hardness radius $n^{\frac{1}{2}-o(1)}$ for $\mathsf{dist}_Δ$, and $n^{\frac{4}{3}-o(1)}$ for $\mathsf{dist}_e$, that Hamiltonian Cycle has hardness radius 0 for $\mathsf{dist}_Δ$, and somewhere between $n^{\frac{1}{2}-o(1)}$ and $n/3$ for $\mathsf{dist}_e$, and that Dominating Set has hardness radius $n^{1-o(1)}$ for $\mathsf{dist}_e$. We leave several open questions. △ Less

Submitted 17 January, 2025; originally announced January 2025.

Comments: 19 pages, 2 figures

MSC Class: 68Q25 ACM Class: F.2.2

Mim-Width is paraNP-complete

Authors: Benjamin Bergougnoux, Édouard Bonnet, Julien Duron

Abstract: We show that it is NP-hard to distinguish graphs of linear mim-width at most 1211 from graphs of sim-width at least 1216. This implies that Mim-Width, Sim-Width, One-Sided Mim-Width, and their linear counterparts are all paraNP-complete, i.e., NP-complete to compute even when upper bounded by a constant. We show that it is NP-hard to distinguish graphs of linear mim-width at most 1211 from graphs of sim-width at least 1216. This implies that Mim-Width, Sim-Width, One-Sided Mim-Width, and their linear counterparts are all paraNP-complete, i.e., NP-complete to compute even when upper bounded by a constant. △ Less

Submitted 9 January, 2025; originally announced January 2025.

Comments: 27 pages, 9 figures

MSC Class: 68Q27 ACM Class: F.2.2

Model-independent measurement of isospin diffusion in Ni-Ni systems at intermediate energy

Authors: C. Ciampi, J. D. Frankland, D. Gruyer, N. Le Neindre, S. Mallik, R. Bougault, A. Chbihi, L. Baldesi, S. Barlini, E. Bonnet, B. Borderie, A. Camaiani, G. Casini, I. Dekhissi, D. Dell'Aquila, J. A. Dueñas, Q. Fable, F. Gramegna, C. Gouyet, M. Henri, B. Hong, S. Kim, A. Kordyasz, T. Kozik, M. J. Kweon , et al. (16 additional authors not shown)

Abstract: In this work we provide a model-independent experimental evaluation of the degree of isospin equilibration taking place in $^{58,64}$Ni+$^{58,64}$Ni collisions at 32 MeV/nucleon across varying reaction centralities. This result has been obtained by combining the complementary information provided by two different datasets, sharing common characteristics. The first dataset has been acquired with th… ▽ More In this work we provide a model-independent experimental evaluation of the degree of isospin equilibration taking place in $^{58,64}$Ni+$^{58,64}$Ni collisions at 32 MeV/nucleon across varying reaction centralities. This result has been obtained by combining the complementary information provided by two different datasets, sharing common characteristics. The first dataset has been acquired with the INDRA setup and has been used to implement a model-independent reconstruction of the impact parameter. The second dataset has been acquired in the first experimental campaign of the coupled INDRA-FAZIA apparatus at GANIL. The neutron-to-proton content of the quasiprojectile remnant measured by FAZIA has been employed as isospin observable. The effect of isospin diffusion has been evidenced by means of the isospin transport ratio, reported as a function of the impact parameter of the collision. The evolution towards isospin equilibration from semiperipheral to more central collisions is clearly extracted. This experimental result, expanding our previous works (Phys. Rev. C 106, 024603 (2022) and Phys. Rev. C 108, 054611 (2023)), can be compared with the predictions of any transport model, and can thus be used to set constraints on the behavior of the symmetry energy term of the nuclear Equation of State at sub- to saturation densities. △ Less

Submitted 18 December, 2024; originally announced December 2024.

An $11/6$-Approximation Algorithm for Vertex Cover on String Graphs

Authors: Édouard Bonnet, Paweł Rzążewski

Abstract: We present a 1.8334-approximation algorithm for Vertex Cover on string graphs given with a representation, which takes polynomial time in the size of the representation; the exact approximation factor is $11/6$. Recently, the barrier of 2 was broken by Lokshtanov et al. [SoGC '24] with a 1.9999-approximation algorithm. Thus we increase by three orders of magnitude the distance of the approximation… ▽ More We present a 1.8334-approximation algorithm for Vertex Cover on string graphs given with a representation, which takes polynomial time in the size of the representation; the exact approximation factor is $11/6$. Recently, the barrier of 2 was broken by Lokshtanov et al. [SoGC '24] with a 1.9999-approximation algorithm. Thus we increase by three orders of magnitude the distance of the approximation ratio to the trivial bound of 2. Our algorithm is very simple. The intricacies reside in its analysis, where we mainly establish that string graphs without odd cycles of length at most 11 are 8-colorable. Previously, Chudnovsky, Scott, and Seymour [JCTB '21] showed that string graphs without odd cycles of length at most 7 are 80-colorable, and string graphs without odd cycles of length at most 5 have bounded chromatic number. △ Less

Submitted 27 September, 2024; originally announced September 2024.

Comments: 16 pages, 4 figures

MSC Class: 68W25; 05C15; 05C62 ACM Class: F.2.2

Temporal Valued Constraint Satisfaction Problems

Authors: Manuel Bodirsky, Édouard Bonnet, Žaneta Semanišinová

Abstract: We study the complexity of the valued constraint satisfaction problem (VCSP) for every valued structure with the domain ${\mathbb Q}$ that is preserved by all order-preserving bijections. Such VCSPs will be called temporal, in analogy to the (classical) constraint satisfaction problem: a relational structure is preserved by all order-preserving bijections if and only if all its relations have a fi… ▽ More We study the complexity of the valued constraint satisfaction problem (VCSP) for every valued structure with the domain ${\mathbb Q}$ that is preserved by all order-preserving bijections. Such VCSPs will be called temporal, in analogy to the (classical) constraint satisfaction problem: a relational structure is preserved by all order-preserving bijections if and only if all its relations have a first-order definition in $({\mathbb Q};<)$, and the CSPs for such structures are called temporal CSPs. Many optimization problems that have been studied intensively in the literature can be phrased as a temporal VCSP. We prove that a temporal VCSP is in P, or NP-complete. Our analysis uses the concept of fractional polymorphisms; this is the first dichotomy result for VCSPs over infinite domains which is complete in the sense that it treats all valued structures with a given automorphism group. △ Less

Submitted 11 September, 2024; originally announced September 2024.

MSC Class: 68Q25; 08A70 ACM Class: F.4.1; F.2.2

Adjacency Labeling Schemes for Small Classes

Authors: Édouard Bonnet, Julien Duron, John Sylvester, Viktor Zamaraev

Abstract: A graph class admits an implicit representation if, for every positive integer $n$, its $n$-vertex graphs have a $O(\log n)$-bit (adjacency) labeling scheme, i.e., their vertices can be labeled by binary strings of length $O(\log n)$ such that the presence of an edge between any pair of vertices can be deduced solely from their labels. The famous Implicit Graph Conjecture posited that every heredi… ▽ More A graph class admits an implicit representation if, for every positive integer $n$, its $n$-vertex graphs have a $O(\log n)$-bit (adjacency) labeling scheme, i.e., their vertices can be labeled by binary strings of length $O(\log n)$ such that the presence of an edge between any pair of vertices can be deduced solely from their labels. The famous Implicit Graph Conjecture posited that every hereditary (i.e., closed under taking induced subgraphs) factorial (i.e., containing $2^{O(n \log n)}$ $n$-vertex graphs) class admits an implicit representation. The conjecture was recently refuted [Hatami and Hatami, FOCS '22], and does not even hold among monotone (i.e., closed under taking subgraphs) factorial classes [Bonnet et al., ICALP '24]. However, monotone small (i.e., containing at most $n! c^n$ many $n$-vertex graphs for some constant $c$) classes do admit implicit representations. This motivates the Small Implicit Graph Conjecture: Every hereditary small class admits an $O(\log n)$-bit labeling scheme. We provide evidence supporting the Small Implicit Graph Conjecture. First, we show that every small weakly sparse (i.e., excluding some fixed bipartite complete graph as a subgraph) class has an implicit representation. This is a consequence of the following fact of independent interest proved in the paper: Every weakly sparse small class has bounded expansion (hence, in particular, bounded degeneracy). Second, we show that every hereditary small class admits an $O(\log^3 n)$-bit labeling scheme, which provides a substantial improvement of the best-known polynomial upper bound of $n^{1-\varepsilon}$ on the size of adjacency labeling schemes for such classes. This is a consequence of another fact of independent interest proved in the paper: Every small class has neighborhood complexity $O(n \log n)$. △ Less

Submitted 7 September, 2024; originally announced September 2024.

MSC Class: 68R01; 68R05; 68R10 ACM Class: G.2.1; G.2.2

On the twin-width of smooth manifolds

Authors: Édouard Bonnet, Kristóf Huszár

Abstract: Building on Whitney's classical method of triangulating smooth manifolds, we show that every compact $d$-dimensional smooth manifold admits a triangulation with dual graph of twin-width at most $d^{O(d)}$. In particular, it follows that every compact 3-manifold has a triangulation with dual graph of bounded twin-width. This is in sharp contrast to the case of treewidth, where for any natural numbe… ▽ More Building on Whitney's classical method of triangulating smooth manifolds, we show that every compact $d$-dimensional smooth manifold admits a triangulation with dual graph of twin-width at most $d^{O(d)}$. In particular, it follows that every compact 3-manifold has a triangulation with dual graph of bounded twin-width. This is in sharp contrast to the case of treewidth, where for any natural number $n$ there exists a closed 3-manifold such that every triangulation thereof has dual graph with treewidth at least $n$. To establish this result, we bound the twin-width of the incidence graph of the $d$-skeleton of the second barycentric subdivision of the $2d$-dimensional hypercubic honeycomb. We also show that every compact, piecewise-linear (hence smooth) $d$-dimensional manifold has triangulations where the dual graph has an arbitrarily large twin-width. △ Less

Submitted 14 July, 2024; originally announced July 2024.

Comments: 18 pages, 8 figures

MSC Class: 57Q15 (Primary) 57R05; 05C75; 57M15 (Secondary) ACM Class: F.2.2; G.2.2

Journal ref: 41st International Symposium on Computational Geometry (SoCG 2025)

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 are some constants $δ> 1$ and $c>0$ 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 are some constants $δ> 1$ and $c>0$ such that $δ$-approximating Treewidth requires time $2^{Ω(n/\log^c n)}$. △ Less

Submitted 23 June, 2025; v1 submitted 17 June, 2024; originally announced June 2024.

Comments: 11 pages, 1 figure

MSC Class: 68Q17 ACM Class: F.2.2

Sparse Induced Subgraphs of Large Treewidth

Authors: Édouard Bonnet

Abstract: Motivated by an induced counterpart of treewidth sparsifiers (i.e., sparse subgraphs keeping 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 keeping 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.

Comments: 16 pages, 3 figures

MSC Class: 05C99; 05C69 ACM Class: F.2.2

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.

Comments: 21 pages, 7 figures

MSC Class: 05C78; 05C05 ACM Class: F.2.2

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.

Comments: 13 pages

MSC Class: 05C15; 05C40 ACM Class: G.2.2

Treewidth is Polynomial in Maximum Degree on Weakly Sparse 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$ after vertex deletions and edge contractions. We show that for every $k$-vertex planar graph $H$, every graph $G$ excluding $H$ as an induced minor and $K_{t,t}$ as a subgraph has treewidth at most $Δ(G)^{f(k,t)}$ where $Δ(G)$ denotes the maximum degree of $G$. Without requiring the absence of a $K_{t,t}$ subgraph… ▽ More A graph $G$ contains a graph $H$ as an induced minor if $H$ can be obtained from $G$ after vertex deletions and edge contractions. We show that for every $k$-vertex planar graph $H$, every graph $G$ excluding $H$ as an induced minor and $K_{t,t}$ as a subgraph has treewidth at most $Δ(G)^{f(k,t)}$ where $Δ(G)$ denotes the maximum degree of $G$. Without requiring the absence of a $K_{t,t}$ subgraph, Korhonen [JCTB '23] has shown the upper bound of $k^{O(1)} 2^{Δ(G)^5}$ whose dependence in $Δ(G)$ is exponential. Our result partially answers a question of Chudnovsky [Dagstuhl seminar '23] asking whether the treewidth of graphs with $Δ(G)=O(\log{|V(G)|})$ excluding both a $k$-vertex planar graph as an induced minor and the biclique $K_{t,t}$ as a subgraph is in $O_{k,t}(\log |V(G)|)$. We confirm that the treewidth is in this case polylogarithmic in $|V(G)|$. △ Less

Submitted 22 July, 2024; v1 submitted 13 December, 2023; originally announced December 2023.

Comments: 10 pages, 1 figure

MSC Class: 05C83 ACM Class: G.2.2

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.

Journal ref: Physical Review C, 109 (064605)

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.

Comments: New result added (monotone small classes have bounded degeneracy - thus an implicit representation). 22 pages, 1 figure

MSC Class: 68R01; 68R05; 05C80 ACM Class: G.2.1

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.

Comments: 34 pages, 8 figures

MSC Class: 05A05 ACM Class: G.2.1

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.

Comments: 25 pages, 1 figure, shortened abstract, corrected graphics

MSC Class: 68R01; 68R05; 05C80 ACM Class: G.2.1

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.

Comments: 28 pages, 12 figures

MSC Class: 05C85 ACM Class: F.2.2

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.

MSC Class: 05C15

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.

Comments: 19 pages, 7 figures

MSC Class: 68Q25 ACM Class: F.2.2

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.

Comments: 15 pages, 2 figures

MSC Class: 05C85 ACM Class: F.2.2

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.

MSC Class: 05C69 ACM Class: G.2.2

Journal ref: European Journal of Combinatorics 115:103772, 2024

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 developing 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 developing 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.

Comments: 45 pages, 9 figures

MSC Class: 68W01 ACM Class: F.2.2

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.

Comments: 32 pages, 3 figures, 1 table

MSC Class: 68W25 ACM Class: F.2.2

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.

Comments: 30 pages, 6 figures. v5: revised version

Journal ref: Journal of Combinatorial Theory, Series B 167 (2024), 215-249

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.

Comments: 33 pages, 7 figures

MSC Class: 05C25 (Primary) 20F65; 05C30 (Secondary) ACM Class: G.2.2

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.

Comments: 11 pages, 2 figures

MSC Class: 05C75; 05C05 ACM Class: G.2.2

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.

Comments: 51 pages, 19 figures

MSC Class: 05C85; 05C75 ACM Class: F.2.2

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.

Journal ref: Physical Review C, American Physical Society, 2022, 106 (2), pp.024605

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.

Comments: 28 pages, 5 figures

MSC Class: 05C85 ACM Class: F.2.2

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.

Comments: 35 pages, 4 figures

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.

Comments: 30 pages, 17 figures

MSC Class: 68Q17 ACM Class: F.2.2

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.

Comments: 27 pages, 3 figures

MSC Class: 68R10; 05C85 ACM Class: F.2.2

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.

Comments: arXiv admin note: substantial text overlap with arXiv:1712.05010, arXiv:1803.01822

Journal ref: J. ACM 68(2): 9:1-9:38 (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.

Comments: 13 pages, 4 figures, 4 tables; corrected typos; added an additional breast carcinoma image dataset; added a total of twelve CNN models tested. Additional testing for transfer learning and complexity of the models

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.

Comments: 32 pages, 11 figures

MSC Class: 05C85 ACM Class: F.2.2

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 4 July, 2024; v1 submitted 13 February, 2021; originally announced February 2021.

Journal ref: Logical Methods in Computer Science, Volume 20, Issue 3 (July 8, 2024) lmcs:11112

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.

Comments: 53 pages, 18 figures

MSC Class: 05A05; 05A16; 05C30 ACM Class: F.2.2

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.

Journal ref: Phys. Rev. C 103, 014605 (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.

Comments: 15 pages, 3 figures

MSC Class: 05C85 ACM Class: F.2.2

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.

Comments: 14 pages, 7 figures. Revised version accepted for publication in Physical Review C

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.

Comments: 11 pages, 6 figures

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.

Comments: 6 pages,5 figures. arXiv admin note: text overlap with arXiv:1903.02881

Journal ref: Eur. Phys. J. A 56 (2020) 101