Abstract:Given a set $\mathcal{F}$ of graphs, we call a copy of a graph in $\mathcal{F}$ an $\mathcal{F}$-graph. The $\mathcal{F}$-isolation number of a graph $G$, denoted by $\iota(G,\mathcal{F})$, is the size of a smallest subset $D$ of the vertex set $V(G)$ such that the closed neighbourhood of $D$ intersects the vertex sets of the $\mathcal{F}$-graphs contained by $G$ (equivalently, $G - N[D]$ contains no $\mathcal{F}$-graph). Thus, $\iota(G,\{K_1\})$ is the domination number of $G$. The second author showed that if $\mathcal{F}$ is the set of cycles and $G$ is a connected $n$-vertex graph that is not a triangle, then $\iota(G,\mathcal{F}) \leq \left \lfloor \frac{n}{4} \right \rfloor$. This bound is attainable for every $n$ and solved a problem of Caro and Hansberg. A question that arises immediately is how much smaller an upper bound can be if $\mathcal{F} = \{C_k\}$ for some $k \geq 3$, where $C_k$ is a cycle of length $k$. The problem is to determine the smallest real number $c_k$ (if it exists) such that for some finite set $\mathcal{E}_k$ of graphs, $\iota(G, \{C_k\}) \leq c_k |V(G)|$ for every connected graph $G$ that is not an $\mathcal{E}_k$-graph. The above-mentioned result yields $c_3 = \frac{1}{4}$ and $\mathcal{E}_3 = \{C_3\}$. The second author also showed that if $k \geq 5$ and $c_k$ exists, then $c_k \geq \frac{2}{2k + 1}$. We prove that $c_4 = \frac{1}{5}$ and determine $\mathcal{E}_4$, which consists of three $4$-vertex graphs and six $9$-vertex graphs. The $9$-vertex graphs in $\mathcal{E}_4$ were fully determined by means of a computer program. A method that has the potential of yielding similar results is introduced.

Properties of stepwise irregular graphs

On Alternatively Connected Edge-Transitive Graphs of Square-free Order

Pentavalent semisymmetric graphs of square-free order

Generalized stepwise transmission irregular graphs

On edge irregularity strength of cycle-star graphs

On regular graphs with Šoltés vertices

The Degree Sequence of the Graph with Cyclomatic Number Less Than Four

Finite cubic graphs admitting an cyclic group of automorphisms with at most three orbits on vertices

Geometric constructions of small regular graphs with girth 7

Decomposability of regular graphs to $4$ locally irregular subgraphs

Regular homogeneously traceable nonhamiltonian graphs

GI-graphs and their groups

Semisymmetric Graphs of Order with Valency

On decomposing multigraphs into locally irregular submultigraphs

Planar Graphs with Homomorphisms to the 9-cycle

Cycle Isolation of Graphs with Small Girth

On a new problem about the local irregularity of graphs

Integer Generalized Splines on Cycles

Isolation of squares in graphs

Using bi-coset graphs to construct small regular and biregular graphs

On biprimitive semisymmetric graphs