Tight toughness bounds for path-factor critical avoidable graphs

Wenqi Wang,Guowei Dai,Wenqi WangGuowei DaiSchool of Mathematical Science & Institute of Mathematics,Nanjing Normal University,Nanjing,Jiangsu,P.R. China

DOI: https://doi.org/10.1080/09728600.2024.2314512

2024-02-26

AKCE International Journal of Graphs and Combinatorics

Abstract:Given a graph G and an integer k≥2 , a spanning subgraph H of G is called a P≥k -factor of G if every component of H is a path with at least k vertices. A graph G is P≥k -factor avoidable if for every edge e∈E(G) , G has a P≥k -factor excluding e . A graph G is said to be (P≥k,n) -factor critical avoidable if the graph G−V′ is P≥k -factor avoidable for any V′⊆V(G) with |V′|=n . Here we study the sharp bounds of toughness and isolated toughness conditions for the existence of (P≥3,n) -factor critical avoidable graphs. In view of graph theory approaches, this paper mainly contributes to verify that (i) An (n+2) -connected graph is (P≥3,n) -factor critical avoidable if its toughness τ(G)>n+24 ; (ii) An (n+2) -connected graph is (P≥3,n) -factor critical avoidable if its isolated toughness I(G)>n+64 .

mathematics, applied

What problem does this paper attempt to address?

The problem this paper attempts to address is determining the toughness and isolated toughness conditions of a graph to ensure the graph has a path factor with specific properties. Specifically, the authors investigate under what toughness and isolated toughness conditions a \( (n+2) \)-connected graph \( G \) can be a \( (P_{\geq 3}, n) \)-factor critical avoidable graph for a given integer \( n \geq 0 \).

### Main Contributions:
1. **Toughness Condition**: If the toughness \( \tau(G) \) of a graph \( G \) is greater than \( \frac{n+2}{4} \), then \( G \) is a \( (P_{\geq 3}, n) \)-factor critical avoidable graph.
2. **Isolated Toughness Condition**: If the isolated toughness \( I(G) \) of a graph \( G \) is greater than \( \frac{n+6}{4} \), then \( G \) is a \( (P_{\geq 3}, n) \)-factor critical avoidable graph.

### Background Knowledge:
- **Path Factor**: A \( P_{\geq k} \)-factor of a graph \( G \) is a spanning subgraph of \( G \) in which every connected component is a path containing at least \( k \) vertices.
- **\( (P_{\geq k}, n) \)-Factor Critical Avoidable Graph**: For any set of \( n \) vertices \( V' \subseteq V(G) \), the graph \( G - V' \) has a \( P_{\geq k} \)-factor that does not contain any specified edge \( e \).
- **Toughness**: The toughness \( \tau(G) \) of a graph \( G \) is defined as the minimum ratio \( \frac{|X|}{\omega(G - X)} \), where \( X \subseteq V(G) \) and \( \omega(G - X) \geq 2 \).
- **Isolated Toughness**: The isolated toughness \( I(G) \) of a graph \( G \) is defined as the minimum ratio \( \frac{|X|}{i(G - X)} \), where \( X \subseteq V(G) \) and \( i(G - X) \geq 2 \).

### Main Results of the Paper:
- **Theorem 1.2**: If the toughness \( \tau(G) \) of a \( (n+2) \)-connected graph \( G \) is greater than \( \frac{n+2}{4} \), then \( G \) is a \( (P_{\geq 3}, n) \)-factor critical avoidable graph.
- **Theorem 1.3**: If the isolated toughness \( I(G) \) of a \( (n+2) \)-connected graph \( G \) is greater than \( \frac{n+6}{4} \), then \( G \) is a \( (P_{\geq 3}, n) \)-factor critical avoidable graph.

### Proof Methods:
- The authors use proof by contradiction and relevant theorems in graph theory (such as Kaneko's theorem) to demonstrate that these conditions are tight (i.e., optimal).
- They verify the tightness of these conditions by constructing specific graph examples.

### Significance:
- These results provide more precise conditions for the path factor properties of graphs, contributing to a deeper understanding of graph structure and properties.
- They have significant implications for graph theory research and practical applications (such as network design and optimization).