-
Network fault costs based on minimum leaf spanning trees
Authors:
Jan Goedgebeur,
Jarne Renders,
Gábor Wiener,
Carol T. Zamfirescu
Abstract:
We study the fault-tolerance of networks from both the structural and computational point of view using the minimum leaf number of the corresponding graph $G$, i.e. the minimum number of leaves of the spanning trees of $G$, and its vertex-deleted subgraphs. We investigate networks that are leaf-guaranteed, i.e. which satisfy a certain stability condition with respect to minimum leaf numbers and ve…
▽ More
We study the fault-tolerance of networks from both the structural and computational point of view using the minimum leaf number of the corresponding graph $G$, i.e. the minimum number of leaves of the spanning trees of $G$, and its vertex-deleted subgraphs. We investigate networks that are leaf-guaranteed, i.e. which satisfy a certain stability condition with respect to minimum leaf numbers and vertex-deletion. Next to this, our main notion is the so-called fault cost, which is based on the number of vertices that have different degrees in minimum leaf spanning trees of the network and its vertex-deleted subgraphs. We characterise networks with vanishing fault cost via leaf-guaranteed graphs and describe, for any given network $N$, leaf-guaranteed networks containing $N$. We determine for all non-negative integers $k \le 8$ except $1$ the smallest network with fault cost $k$. We also give a detailed treatment of the fault cost $1$ case, prove that there are infinitely many $3$-regular networks with fault cost $3$, and show that for any non-negative integer $k$ there exists a network with fault cost exactly $k$.
△ Less
Submitted 14 February, 2025;
originally announced February 2025.
-
Infinite families of planar graphs of a given injective chromatic number
Authors:
Matias Daneels,
Jan Goedgebeur,
Jarne Renders
Abstract:
An injective colouring of a graph is a colouring in which every two vertices sharing a common neighbour receive a different colour. Chen, Hahn, Raspaud and Wang conjectured that every planar graph of maximum degree $Δ\ge 3$ admits an injective colouring with at most $\lfloor 3Δ/2\rfloor$ colours. This was later disproved by Lužar and Škrekovski for certain small and even values of $Δ$ and they pro…
▽ More
An injective colouring of a graph is a colouring in which every two vertices sharing a common neighbour receive a different colour. Chen, Hahn, Raspaud and Wang conjectured that every planar graph of maximum degree $Δ\ge 3$ admits an injective colouring with at most $\lfloor 3Δ/2\rfloor$ colours. This was later disproved by Lužar and Škrekovski for certain small and even values of $Δ$ and they proposed a new refined conjecture. Using an algorithm for determining the injective chromatic number of a graph, i.e. the smallest number of colours for which the graph admits an injective colouring, we give computational evidence for Lužar and Škrekovski's conjecture and extend their results by presenting an infinite family of $3$-connected planar graphs for each $Δ$ (except for $4$) attaining their bound, whereas they only gave a finite amount of examples for each $Δ$. Hence, together with another infinite family of maximum degree $4$, we provide infinitely many counterexamples to the conjecture by Chen et al. for each $Δ$ if $4\le Δ\le 7$ and every even $Δ\ge 8$. We provide similar evidence for analogous conjectures by La and Štorgel and Lužar, Škrekovski and Tancer when the girth is restricted as well. Also in these cases we provide infinite families of $3$-connected planar graphs attaining the bounds of these conjectures for certain maximum degrees $Δ\geq 3$.
△ Less
Submitted 13 December, 2024;
originally announced December 2024.
-
Generation of Cycle Permutation Graphs and Permutation Snarks
Authors:
Jan Goedgebeur,
Jarne Renders,
Steven Van Overberghe
Abstract:
We present an algorithm for the efficient generation of all pairwise non-isomorphic cycle permutation graphs, i.e. cubic graphs with a $2$-factor consisting of two chordless cycles, non-hamiltonian cycle permutation graphs and permutation snarks, i.e. cycle permutation graphs that do not admit a $3$-edge-colouring. This allows us to generate all cycle permutation graphs up to order $34$ and all pe…
▽ More
We present an algorithm for the efficient generation of all pairwise non-isomorphic cycle permutation graphs, i.e. cubic graphs with a $2$-factor consisting of two chordless cycles, non-hamiltonian cycle permutation graphs and permutation snarks, i.e. cycle permutation graphs that do not admit a $3$-edge-colouring. This allows us to generate all cycle permutation graphs up to order $34$ and all permutation snarks up to order $46$, improving upon previous computational results by Brinkmann et al. Moreover, we give several improved lower bounds for interesting permutation snarks, such as for a smallest permutation snark of order $6 \bmod 8$ or a smallest permutation snark of girth at least $6$ and give more evidence in support of a conjecture of Goddyn. These computational results also allow us to complete a characterisation of the orders for which non-hamiltonian cycle permutation graphs exist, answering an open question by Klee from 1972, and yield many more counterexamples to conjectures by Jackson and Zhang.
△ Less
Submitted 2 July, 2025; v1 submitted 19 November, 2024;
originally announced November 2024.
-
On the existence of factors intersecting sets of cycles in regular graphs
Authors:
Jan Goedgebeur,
Davide Mattiolo,
Giuseppe Mazzuoccolo,
Jarne Renders,
Luca Toffanetti,
Isaak H. Wolf
Abstract:
A recent result by Kardoš, Máčajová and Zerafa [J. Comb. Theory, Ser. B. 160 (2023) 1--14] related to the famous Berge-Fulkerson conjecture implies that given an arbitrary set of odd pairwise edge-disjoint cycles, say $\mathcal O$, in a bridgeless cubic graph, there exists a $1$-factor intersecting all cycles in $\mathcal O$ in at least one edge. This remarkable result opens up natural generalizat…
▽ More
A recent result by Kardoš, Máčajová and Zerafa [J. Comb. Theory, Ser. B. 160 (2023) 1--14] related to the famous Berge-Fulkerson conjecture implies that given an arbitrary set of odd pairwise edge-disjoint cycles, say $\mathcal O$, in a bridgeless cubic graph, there exists a $1$-factor intersecting all cycles in $\mathcal O$ in at least one edge. This remarkable result opens up natural generalizations in the case of an $r$-regular graph $G$ and a $t$-factor $F$, with $r$ and $t$ being positive integers. In this paper, we start the study of this problem by proving necessary and sufficient conditions on $G$, $t$ and $r$ to assure the existence of a suitable $F$ for any possible choice of the set $\mathcal O$. First of all, we show that $G$ needs to be $2$-connected. Under this additional assumption, we highlight how the ratio $\frac{t}{r}$ seems to play a crucial role in assuring the existence of a $t$-factor $F$ with the required properties by proving that $\frac{t}{r} \geq \frac{1}{3}$ is a further necessary condition. We suspect that this condition is also sufficient, and we confirm it in the case $\frac{t}{r}=\frac{1}{3}$, generalizing the case $t=1$ and $r=3$ proved by Kardoš, Máčajová, Zerafa, and in the case $\frac{t}{r}=\frac{1}{2}$ with $t$ even. Finally, we provide further results in the case of cycles of arbitrary length.
△ Less
Submitted 14 November, 2024;
originally announced November 2024.
-
Cubic graphs with edges in exactly one perfect matching
Authors:
Jan Goedgebeur,
Davide Mattiolo,
Giuseppe Mazzuoccolo,
Jarne Renders,
Isaak H. Wolf
Abstract:
Petersen's seminal work in 1891 asserts that the edge-set of a cubic graph can be covered by distinct perfect matchings if and only if it is bridgeless. Actually, it is known that for a very large fraction of bridgeless cubic graphs, every edge belongs to at least two distinct perfect matchings. In this paper, we study the class of non-double covered cubic graphs, i.e.\ graphs having an edge, call…
▽ More
Petersen's seminal work in 1891 asserts that the edge-set of a cubic graph can be covered by distinct perfect matchings if and only if it is bridgeless. Actually, it is known that for a very large fraction of bridgeless cubic graphs, every edge belongs to at least two distinct perfect matchings. In this paper, we study the class of non-double covered cubic graphs, i.e.\ graphs having an edge, called lonely edge, which belongs to exactly one perfect matching. First of all, we provide a reduction of the problem to the subclass $\cal U$ of $3$-connected cubic graphs. Then, we furnish an inductive characterization of $\cal U$ and we study properties related to the count of lonely edges. In particular, denoting by $\mathcal{U}_k$ the subclass of graphs of $\cal U$ with exactly $k$ lonely edges, we prove that $\mathcal{U}_k$ is empty for $k>6$, and we present a complete characterization for $3 \leq k \leq 6$. The paper concludes with some insights on ${\cal U}_1$ and ${\cal U}_2$.
△ Less
Submitted 15 October, 2024; v1 submitted 13 February, 2024;
originally announced February 2024.
-
MIRT: a simultaneous reconstruction and affine motion compensation technique for four dimensional computed tomography (4DCT)
Authors:
Anh-Tuan Nguyen,
Jens Renders,
Domenico Iuso,
Yves Maris,
Jeroen Soete,
Martine Wevers,
Jan Sijbers,
Jan De Beenhouwer
Abstract:
In four-dimensional computed tomography (4DCT), 3D images of moving or deforming samples are reconstructed from a set of 2D projection images. Recent techniques for iterative motion-compensated reconstruction either necessitate a reference acquisition or alternate image reconstruction and motion estimation steps. In these methods, the motion estimation step involves the estimation of either comple…
▽ More
In four-dimensional computed tomography (4DCT), 3D images of moving or deforming samples are reconstructed from a set of 2D projection images. Recent techniques for iterative motion-compensated reconstruction either necessitate a reference acquisition or alternate image reconstruction and motion estimation steps. In these methods, the motion estimation step involves the estimation of either complete deformation vector fields (DVFs) or a limited set of parameters corresponding to the affine motion, including rigid motion or scaling. The majority of these approaches rely on nested iterations, incurring significant computational expenses. Notably, despite the direct benefits of an analytical formulation and a substantial reduction in computational complexity, there has been no exploration into parameterizing DVFs for general affine motion in CT imaging. In this work, we propose the Motion-compensated Iterative Reconstruction Technique (MIRT)- an efficient iterative reconstruction scheme that combines image reconstruction and affine motion estimation in a single update step, based on the analytical gradients of the motion towards both the reconstruction and the affine motion parameters. When most of the state-of-the-art 4DCT methods have not attempted to be tested on real data, results from simulation and real experiments show that our method outperforms the state-of-the-art CT reconstruction with affine motion correction methods in computational feasibility and projection distance. In particular, this allows accurate reconstruction for a proper microscale diamond in the appearance of motion from the practically acquired projection radiographs, which leads to a novel application of 4DCT.
△ Less
Submitted 6 February, 2024;
originally announced February 2024.
-
HIST-Critical Graphs and Malkevitch's Conjecture
Authors:
Jan Goedgebeur,
Kenta Noguchi,
Jarne Renders,
Carol T. Zamfirescu
Abstract:
In a given graph, a HIST is a spanning tree without $2$-valent vertices. Motivated by developing a better understanding of HIST-free graphs, i.e. graphs containing no HIST, in this article's first part we study HIST-critical graphs, i.e. HIST-free graphs in which every vertex-deleted subgraph does contain a HIST (e.g. a triangle). We give an almost complete characterisation of the orders for which…
▽ More
In a given graph, a HIST is a spanning tree without $2$-valent vertices. Motivated by developing a better understanding of HIST-free graphs, i.e. graphs containing no HIST, in this article's first part we study HIST-critical graphs, i.e. HIST-free graphs in which every vertex-deleted subgraph does contain a HIST (e.g. a triangle). We give an almost complete characterisation of the orders for which these graphs exist and present an infinite family of planar examples which are $3$-connected and in which nearly all vertices are $4$-valent. This leads naturally to the second part in which we investigate planar $4$-regular graphs with and without HISTs, motivated by a conjecture of Malkevitch, which we computationally verify up to order $22$. First we enumerate HISTs in antiprisms, whereafter we present planar $4$-regular graphs with and without HISTs, obtained via line graphs. Finally, we confirm Malkevitch's conjecture for the family of line graphs of cyclically $4$-edge connected cubic graphs.
△ Less
Submitted 4 June, 2025; v1 submitted 9 January, 2024;
originally announced January 2024.
-
Generation and New Infinite Families of $K_2$-hypohamiltonian Graphs
Authors:
Jan Goedgebeur,
Jarne Renders,
Carol T. Zamfirescu
Abstract:
We present an algorithm which can generate all pairwise non-isomorphic $K_2$-hypohamiltonian graphs, i.e. non-hamiltonian graphs in which the removal of any pair of adjacent vertices yields a hamiltonian graph, of a given order. We introduce new bounding criteria specifically designed for $K_2$-hypohamiltonian graphs, allowing us to improve upon earlier computational results. Specifically, we char…
▽ More
We present an algorithm which can generate all pairwise non-isomorphic $K_2$-hypohamiltonian graphs, i.e. non-hamiltonian graphs in which the removal of any pair of adjacent vertices yields a hamiltonian graph, of a given order. We introduce new bounding criteria specifically designed for $K_2$-hypohamiltonian graphs, allowing us to improve upon earlier computational results. Specifically, we characterise the orders for which $K_2$-hypohamiltonian graphs exist and improve existing lower bounds on the orders of the smallest planar and the smallest bipartite $K_2$-hypohamiltonian graphs. Furthermore, we describe a new operation for creating $K_2$-hypohamiltonian graphs that preserves planarity under certain conditions and use it to prove the existence of a planar $K_2$-hypohamiltonian graph of order $n$ for every integer $n\geq 134$. Additionally, motivated by a theorem of Thomassen on hypohamiltonian graphs, we show the existence $K_2$-hypohamiltonian graphs with large maximum degree and size.
△ Less
Submitted 28 February, 2024; v1 submitted 17 November, 2023;
originally announced November 2023.
-
$K_2$-Hamiltonian Graphs: II
Authors:
Jan Goedgebeur,
Jarne Renders,
Gábor Wiener,
Carol T. Zamfirescu
Abstract:
In this paper we use theoretical and computational tools to continue our investigation of $K_2$-hamiltonian graphs, that is, graphs in which the removal of any pair of adjacent vertices yields a hamiltonian graph, and their interplay with $K_1$-hamiltonian graphs, that is, graphs in which every vertex-deleted subgraph is hamiltonian. Perhaps surprisingly, there exist graphs that are both $K_1$- an…
▽ More
In this paper we use theoretical and computational tools to continue our investigation of $K_2$-hamiltonian graphs, that is, graphs in which the removal of any pair of adjacent vertices yields a hamiltonian graph, and their interplay with $K_1$-hamiltonian graphs, that is, graphs in which every vertex-deleted subgraph is hamiltonian. Perhaps surprisingly, there exist graphs that are both $K_1$- and $K_2$-hamiltonian, yet non-hamiltonian, for example, the Petersen graph. Grünbaum conjectured that every planar $K_1$-hamiltonian graph must itself be hamiltonian; Thomassen disproved this conjecture. Here we show that even planar graphs that are both $K_1$- and $K_2$-hamiltonian need not be hamiltonian, and that the number of such graphs grows at least exponentially. Motivated by results of Aldred, McKay, and Wormald, we determine for every integer $n$ that is not 14 or 17 whether there exists a $K_2$-hypohamiltonian, that is, non-hamiltonian and $K_2$-hamiltonian, graph of order $n$, and characterise all orders for which such cubic graphs and such snarks exist. We also describe the smallest cubic planar graph which is $K_2$-hypohamiltonian, as well as the smallest planar $K_2$-hypohamiltonian graph of girth $5$. We conclude with open problems and by correcting two inaccuracies from the first article.
△ Less
Submitted 18 July, 2024; v1 submitted 9 November, 2023;
originally announced November 2023.
-
The Frank number and nowhere-zero flows on graphs
Authors:
Jan Goedgebeur,
Edita Máčajová,
Jarne Renders
Abstract:
An edge $e$ of a graph $G$ is called deletable for some orientation $o$ if the restriction of $o$ to $G-e$ is a strong orientation. Inspired by a problem of Frank, in 2021 Hörsch and Szigeti proposed a new parameter for $3$-edge-connected graphs, called the Frank number, which refines $k$-edge-connectivity. The Frank number is defined as the minimum number of orientations of $G$ for which every ed…
▽ More
An edge $e$ of a graph $G$ is called deletable for some orientation $o$ if the restriction of $o$ to $G-e$ is a strong orientation. Inspired by a problem of Frank, in 2021 Hörsch and Szigeti proposed a new parameter for $3$-edge-connected graphs, called the Frank number, which refines $k$-edge-connectivity. The Frank number is defined as the minimum number of orientations of $G$ for which every edge of $G$ is deletable in at least one of them. They showed that every $3$-edge-connected graph has Frank number at most $7$ and that in case these graphs are also $3$-edge-colourable the parameter is at most $3$. Here we strengthen both results by showing that every $3$-edge-connected graph has Frank number at most $4$ and that every graph which is $3$-edge-connected and $3$-edge-colourable has Frank number $2$. The latter also confirms a conjecture by Barát and Blázsik. Furthermore, we prove two sufficient conditions for cubic graphs to have Frank number $2$ and use them in an algorithm to computationally show that the Petersen graph is the only cyclically $4$-edge-connected cubic graph up to $36$ vertices having Frank number greater than $2$.
△ Less
Submitted 20 December, 2024; v1 submitted 3 May, 2023;
originally announced May 2023.
-
Region-based motion-compensated iterative reconstruction technique for dynamic computed tomography
Authors:
Anh-Tuan Nguyen,
Jens Renders,
Jan Sijbers,
Jan De Beenhouwer
Abstract:
Current state-of-the-art motion-based dynamic computed tomography reconstruction techniques estimate the deformation by considering motion models in the entire object volume although occasionally the proper change is local. In this article, we address this issue by introducing the region-based Motion-compensated Iterative Reconstruction Technique (rMIRT). It aims to accurately reconstruct the obje…
▽ More
Current state-of-the-art motion-based dynamic computed tomography reconstruction techniques estimate the deformation by considering motion models in the entire object volume although occasionally the proper change is local. In this article, we address this issue by introducing the region-based Motion-compensated Iterative Reconstruction Technique (rMIRT). It aims to accurately reconstruct the object being locally deformed during the scan, while identifying the deformed regions consistently with the motion models. Moreover, the motion parameters that correspond to the deformation in those areas are also estimated. In order to achieve these goals, we consider a mathematical optimization problem whose objective function depends on the reconstruction, the deformed regions and the motion parameters. The derivatives towards all of them are formulated analytically, which allows for efficient reconstruction using gradient-based optimizers. To the best of our knowledge, this is the first iterative reconstruction method in dynamic CT that exploits the analytical derivative towards the deformed regions.
△ Less
Submitted 26 January, 2023;
originally announced January 2023.
-
Graphs with Many Hamiltonian Paths
Authors:
Erik Carlson,
Willem Fletcher,
MurphyKate Montee,
Chi Nguyen,
Jarne Renders,
Xingyi Zhang
Abstract:
A graph is \emph{hamiltonian-connected} if every pair of vertices can be connected by a hamiltonian path, and it is \emph{hamiltonian} if it contains a hamiltonian cycle. We construct families of non-hamiltonian graphs for which the ratio of pairs of vertices connected by hamiltonian paths to all pairs of vertices approaches 1. We then consider minimal graphs that are hamiltonian-connected. It is…
▽ More
A graph is \emph{hamiltonian-connected} if every pair of vertices can be connected by a hamiltonian path, and it is \emph{hamiltonian} if it contains a hamiltonian cycle. We construct families of non-hamiltonian graphs for which the ratio of pairs of vertices connected by hamiltonian paths to all pairs of vertices approaches 1. We then consider minimal graphs that are hamiltonian-connected. It is known that any order-$n$ graph that is hamiltonian-connected must have $\geq 3n/2$ edges. We construct an infinite family of graphs realizing this minimum.
△ Less
Submitted 2 April, 2024; v1 submitted 24 June, 2021;
originally announced June 2021.
