Showing 1–26 of 26 results for author: Furuya, M

Forbidden subgraphs generating a finite set of graphs with minimum degree three and large girth

Authors: Yoshimi Egawa, Michitaka Furuya

Abstract: For a family $\mathcal{H}$ of graphs, a graph $G$ is said to be {\it $\mathcal{H}$-free} if $G$ contains no member of $\mathcal{H}$ as an induced subgraph. We let $\tilde{\mathcal{G}}_{3}(\mathcal{H})$ denote the family of connected $\mathcal{H}$-free graphs having minimum degree at least $3$. In this paper, we characterize the non-caterpillar trees $T$ having diameter at least $7$ such that… ▽ More For a family $\mathcal{H}$ of graphs, a graph $G$ is said to be {\it $\mathcal{H}$-free} if $G$ contains no member of $\mathcal{H}$ as an induced subgraph. We let $\tilde{\mathcal{G}}_{3}(\mathcal{H})$ denote the family of connected $\mathcal{H}$-free graphs having minimum degree at least $3$. In this paper, we characterize the non-caterpillar trees $T$ having diameter at least $7$ such that $\tilde{\mathcal{G}}_{3}(\{C_{3},C_{4},T\})$ is a finite family, where $C_{n}$ is a cycle of order $n$. △ Less

Submitted 16 April, 2024; originally announced April 2024.

Comments: 31 pages, 19 figures

New Invariants for Partitioning a Graph into 2-connected Subgraphs

Authors: Michitaka Furuya, Masaki Kashima, Katsuhiro Ota

Abstract: A vertex partition in which every part induces a 2-connected subgraph is called a 2-proper partition. This concept was introduced by Ferrara et al. in 2013, and Borozan et al. gave the best possible minimum degree condition for the existence of a 2-proper partition in 2016. Later, in 2022, Chen et al. extended the result by showing a minimum degree sum condition for the existence of 2-proper parti… ▽ More A vertex partition in which every part induces a 2-connected subgraph is called a 2-proper partition. This concept was introduced by Ferrara et al. in 2013, and Borozan et al. gave the best possible minimum degree condition for the existence of a 2-proper partition in 2016. Later, in 2022, Chen et al. extended the result by showing a minimum degree sum condition for the existence of 2-proper partition. In this paper, we introduce two new invariants of graph, denoted by $σ^*(G)$ and $α^*(G)$. These two invariants are defined from degree sum on all independent sets with some property. We prove that if a graph $G$ satisfies $σ^*(G)\geq |V(G)|$, then with some exceptions, $G$ has a 2-proper partition with at most $α^*(G)$ parts. This result is best possible, and implies both of the results by Borozan et al. and by Chen et al.. Moreover, as a corollary of our result, we give a minimum degree product condition for the existence of a 2-proper partition. △ Less

Submitted 13 March, 2024; originally announced March 2024.

Comments: 14 pages, 4 figures

MSC Class: 05C07

A necessary and sufficient condition for the existence of a properly coloured $f$-factor in an edge-coloured graph

Authors: Roman Čada, Michitaka Furuya, Kenji Kimura, Kenta Ozeki, Christopher Purcell, Takamasa Yashima

Abstract: The main result of this paper is an edge-coloured version of Tutte's $f$-factor theorem. We give a necessary and sufficient condition for an edge-coloured graph $G^c$ to have a properly coloured $f$-factor. We state and prove our result in terms of an auxiliary graph $G_f^c$ which has a 1-factor if and only if $G^c$ has a properly coloured $f$-factor; this is analogous to the "short proof" of the… ▽ More The main result of this paper is an edge-coloured version of Tutte's $f$-factor theorem. We give a necessary and sufficient condition for an edge-coloured graph $G^c$ to have a properly coloured $f$-factor. We state and prove our result in terms of an auxiliary graph $G_f^c$ which has a 1-factor if and only if $G^c$ has a properly coloured $f$-factor; this is analogous to the "short proof" of the $f$-factor theorem given by Tutte in 1954. An alternative statement, analogous to the original $f$-factor theorem, is also given. We show that our theorem generalises the $f$-factor theorem; that is, the former implies the latter. We consider other properties of edge-coloured graphs, and show that similar results are unlikely for $f$-factors with rainbow components and distance-$d$-coloured $f$-factors, even when $d=2$ and the number of colours used is asymptotically minimal. △ Less

Submitted 15 November, 2023; originally announced November 2023.

Comments: 18 pages, 5 figures

MSC Class: 05C70; 68Q17 ACM Class: G.2.2; F.2.2

New strategy on the existence of a spanning tree without small degree stems

Authors: Michitaka Furuya, Shoichi Tsuchiya

Abstract: For an integer $k\geq 2$, a spanning tree of a graph without no vertices of degree from $2$ to $k$ is call a {\it $[2,k]$-ST} of the graph. The concept of $[2,k]$-STs is a natural extension of a homeomorphically irreducible spanning tree (or HIST), which has been a well-studied graph-structure. In this paper, we give a new strategy for finding $[2,k]$-STs. By using the strategy, we refine or exten… ▽ More For an integer $k\geq 2$, a spanning tree of a graph without no vertices of degree from $2$ to $k$ is call a {\it $[2,k]$-ST} of the graph. The concept of $[2,k]$-STs is a natural extension of a homeomorphically irreducible spanning tree (or HIST), which has been a well-studied graph-structure. In this paper, we give a new strategy for finding $[2,k]$-STs. By using the strategy, we refine or extend a known degree-sum condition for the existence of a HIST. Furthermore, we also investigate on a degree-product condition for the existence of a $[2,k]$-ST. △ Less

Submitted 6 March, 2024; v1 submitted 7 March, 2023; originally announced March 2023.

Comments: 26 pages, 2 figures

MSC Class: 05C05; 05C07

Refinements of degree conditions for the existence of a spanning tree without small degree stems

Authors: Michitaka Furuya, Akira Saito, Shoichi Tsuchiya

Abstract: A spanning tree of a graph without no vertices of degree $2$ is called a {\it homeomorphically irreducible spanning tree} (or a {\it HIST}) of the graph. Albertson, Berman, Hutchinson and Thomassen~[J. Graph Theory {\bf 14} (1990), 247--258] gave a minimum degree condition for the existence of a HIST, and recently, Ito and Tsuchiya~[J. Graph Theory {\bf 99} (2022), 162--170] found a sharp degree-s… ▽ More A spanning tree of a graph without no vertices of degree $2$ is called a {\it homeomorphically irreducible spanning tree} (or a {\it HIST}) of the graph. Albertson, Berman, Hutchinson and Thomassen~[J. Graph Theory {\bf 14} (1990), 247--258] gave a minimum degree condition for the existence of a HIST, and recently, Ito and Tsuchiya~[J. Graph Theory {\bf 99} (2022), 162--170] found a sharp degree-sum condition for the existence of a HIST. In this paper, we refine these results, and extend the first one to a spanning tree in which no vertex other than the endvertices has small degree. △ Less

Submitted 10 February, 2024; v1 submitted 4 March, 2023; originally announced March 2023.

Comments: 17 pages, 5 figures

MSC Class: 05C05; 05C07

Ramsey-type problems on induced covers and induced partitions toward the Gyárfás-Sumner conjecture

Authors: Shuya Chiba, Michitaka Furuya

Abstract: Gyárfás and Sumner independently conjectured that for every tree $T$, there exists a function $f_{T}:\mathbb{N}\rightarrow \mathbb{N}$ such that every $T$-free graph $G$ satisfies $χ(G)\leq f_{T}(ω(G))$, where $χ(G)$ and $ω(G)$ are the {\it chromatic number} and the {\it clique number} of $G$, respectively. This conjecture gives a solution of a Ramsey-type problem on the chromatic number. For a… ▽ More Gyárfás and Sumner independently conjectured that for every tree $T$, there exists a function $f_{T}:\mathbb{N}\rightarrow \mathbb{N}$ such that every $T$-free graph $G$ satisfies $χ(G)\leq f_{T}(ω(G))$, where $χ(G)$ and $ω(G)$ are the {\it chromatic number} and the {\it clique number} of $G$, respectively. This conjecture gives a solution of a Ramsey-type problem on the chromatic number. For a graph $G$, the {\it induced SP-cover number ${\rm inspc}(G)$} (resp. the {\it induced SP-partition number ${\rm inspp}(G)$}) of $G$ is the minimum cardinality of a family $\mathcal{P}$ of induced subgraphs of $G$ such that each element of $\mathcal{P}$ is a star or a path and $\bigcup _{P\in \mathcal{P}}V(P)=V(G)$ (resp. $\dot\bigcup _{P\in \mathcal{P}}V(P)=V(G)$). Such two invariants are directly related concepts to the chromatic number. From the viewpoint of this fact, we focus on Ramsey-type problems for two invariants ${\rm inspc}$ and ${\rm inspp}$, which are analogies of the Gyárfás-Sumner conjecture, and settle them. As a corollary of our results, we also settle other Ramsey-type problems for widely studied invariants. △ Less

Submitted 16 April, 2024; v1 submitted 28 May, 2022; originally announced May 2022.

Comments: 28 pages, 3 figures

Ramsey-type results for path covers and path partitions. II. Digraphs

Authors: Shuya Chiba, Michitaka Furuya

Abstract: Recently, the authors gave Ramsey-type results for the path cover/partition number of graphs. In this paper, we continue the research about them focusing on digraphs, and find a relationship between the path cover/partition number and forbidden structures in digraphs. Let $D$ be a weakly connected digraph. A family $\mathcal{P}$ of subdigraphs of $D$ is called a {\it path cover} (resp. a {\it pa… ▽ More Recently, the authors gave Ramsey-type results for the path cover/partition number of graphs. In this paper, we continue the research about them focusing on digraphs, and find a relationship between the path cover/partition number and forbidden structures in digraphs. Let $D$ be a weakly connected digraph. A family $\mathcal{P}$ of subdigraphs of $D$ is called a {\it path cover} (resp. a {\it path partition}) of $D$ if $\bigcup _{P\in \mathcal{P}}V(P)=V(D)$ (resp. $\dot\bigcup _{P\in \mathcal{P}}V(P)=V(D)$) and every element of $\mathcal{P}$ is a directed path. The minimum cardinality of a path cover (resp. a path partition) of $D$ is denoted by ${\rm pc}(D)$ (resp. ${\rm pp}(D)$). In this paper, we find forbidden structure conditions assuring us that ${\rm pc}(D)$ (or ${\rm pp}(D)$) is bounded by a constant. △ Less

Submitted 28 November, 2021; originally announced November 2021.

Comments: 21 pages, 5 figures

Ramsey-type results for path covers and path partitions

Authors: Shuya Chiba, Michitaka Furuya

Abstract: A family $\mathcal{P}$ of subgraphs of $G$ is called a {\it path cover} (resp. a {\it path partition}) of $G$ if $\bigcup _{P\in \mathcal{P}}V(P)=V(G)$ (resp. $\dot\bigcup _{P\in \mathcal{P}}V(P)=V(G)$) and every element of $\mathcal{P}$ is a path. The minimum cardinality of a path cover (resp. a path partition) of $G$ is denoted by ${\rm pc}(G)$ (resp. ${\rm pp}(G)$). In this paper, we characteri… ▽ More A family $\mathcal{P}$ of subgraphs of $G$ is called a {\it path cover} (resp. a {\it path partition}) of $G$ if $\bigcup _{P\in \mathcal{P}}V(P)=V(G)$ (resp. $\dot\bigcup _{P\in \mathcal{P}}V(P)=V(G)$) and every element of $\mathcal{P}$ is a path. The minimum cardinality of a path cover (resp. a path partition) of $G$ is denoted by ${\rm pc}(G)$ (resp. ${\rm pp}(G)$). In this paper, we characterize the forbidden subgraph conditions assuring us that ${\rm pc}(G)$ (or ${\rm pp}(G)$) is bounded by a constant. Our main results introduce a new Ramsey-type problem. △ Less

Submitted 29 October, 2021; originally announced November 2021.

Comments: 18 pages, 3 figures

A continuous generalization of domination-like invariants

Authors: Michitaka Furuya

Abstract: In this paper, we define a new domination-like invariant of graphs. Let $\mathbb{R}^{+}$ be the set of non-negative numbers. Let $c\in \mathbb{R}^{+}-\{0\}$ be a number, and let $G$ be a graph. A function $f:V(G)\rightarrow \mathbb{R}^{+}$ is a $c$-self-dominating function of $G$ if for every $u\in V(G)$, $f(u)\geq c$ or $\max\{f(v):v\in N_{G}(u)\}\geq 1$. The $c$-self-domination number… ▽ More In this paper, we define a new domination-like invariant of graphs. Let $\mathbb{R}^{+}$ be the set of non-negative numbers. Let $c\in \mathbb{R}^{+}-\{0\}$ be a number, and let $G$ be a graph. A function $f:V(G)\rightarrow \mathbb{R}^{+}$ is a $c$-self-dominating function of $G$ if for every $u\in V(G)$, $f(u)\geq c$ or $\max\{f(v):v\in N_{G}(u)\}\geq 1$. The $c$-self-domination number $γ^{c}(G)$ of $G$ is defined as $γ^{c}(G):=\min\{\sum_{u\in V(G)}f(u):f$ is a $c$-self-dominating function of $G\}$. Then $γ^{1}(G)$, $γ^{\infty }(G)$ and $γ^{\frac{1}{2}}(G)$ are equal to the domination number, the total domination number and the half of the Roman domination number of $G$, respectively. Our main aim is to continuously fill in the gaps among such three invariants. In this paper, we give a sharp upper bound of the $c$-self-domination number for all $c\geq \frac{1}{2}$. △ Less

Submitted 12 January, 2021; originally announced January 2021.

Comments: 18 pages, 1 figure

The uniqueness of covers for widely generalized line graphs

Authors: Michitaka Furuya, Sho Kubota, Tetsuji Taniguchi, Kiyoto Yoshino

Abstract: As a natural generalization of line graphs, Hoffman line graphs were defined by Woo and Neumaier. Especially, Hoffman line graphs are closely related to the smallest eigenvalue of graphs, and the uniqueness of strict covers of a Hoffman line graph plays a key role in such a study. In this paper, we prove a theorem for the uniqueness of strict covers under a condition which can be checked in finite… ▽ More As a natural generalization of line graphs, Hoffman line graphs were defined by Woo and Neumaier. Especially, Hoffman line graphs are closely related to the smallest eigenvalue of graphs, and the uniqueness of strict covers of a Hoffman line graph plays a key role in such a study. In this paper, we prove a theorem for the uniqueness of strict covers under a condition which can be checked in finite time. Our result gives a generalization and a short proof for the main part of [Ars Math.~Contemp. \textbf{1} (2008) 81--98]. △ Less

Submitted 19 February, 2020; originally announced February 2020.

MSC Class: 05C76; 05C50

An algebraic reduction of Hedetniemi's conjecture

Authors: Ryoya Fukasaku, Michitaka Furuya, Akihiro Higashitani

Abstract: For a graph $G$, let $χ(G)$ denote the chromatic number. In graph theory, the following famous conjecture posed by Hedetniemi has been studied: For two graphs $G$ and $H$, $χ(G\times H)=\min\{χ(G),χ(H)\}$, where $G \times H$ is the tensor product of $G$ and $H$. In this paper, we give a reduction of Hedetniemi's conjecture to an inclusion relation problem on ideals of polynomial rings, and we demo… ▽ More For a graph $G$, let $χ(G)$ denote the chromatic number. In graph theory, the following famous conjecture posed by Hedetniemi has been studied: For two graphs $G$ and $H$, $χ(G\times H)=\min\{χ(G),χ(H)\}$, where $G \times H$ is the tensor product of $G$ and $H$. In this paper, we give a reduction of Hedetniemi's conjecture to an inclusion relation problem on ideals of polynomial rings, and we demonstrate computational experiments for partial solutions of Hedetniemi's conjecture along such a strategy using Gröbner basis. △ Less

Submitted 21 November, 2019; originally announced November 2019.

Comments: 19 pages, 4 figures

MSC Class: 05C15; 05C76; 13P10

Small domination-type invariants in random graphs

Authors: Michitaka Furuya, Tamae Kawasaki

Abstract: For $c\in \mathbb{R}^{+}\cup \{\infty \}$ and a graph $G$, a function $f:V(G)\rightarrow \{0,1,c\}$ is called a $c$-self dominating function of $G$ if for every vertex $u\in V(G)$, $f(u)\geq c$ or $\max\{f(v):v\in N_{G}(u)\}\geq 1$ where $N_{G}(u)$ is the neighborhood of $u$ in $G$. The minimum weight $w(f)=\sum _{u\in V(G)}f(u)$ of a $c$-self dominating function $f$ of $G$ is called the $c$-self… ▽ More For $c\in \mathbb{R}^{+}\cup \{\infty \}$ and a graph $G$, a function $f:V(G)\rightarrow \{0,1,c\}$ is called a $c$-self dominating function of $G$ if for every vertex $u\in V(G)$, $f(u)\geq c$ or $\max\{f(v):v\in N_{G}(u)\}\geq 1$ where $N_{G}(u)$ is the neighborhood of $u$ in $G$. The minimum weight $w(f)=\sum _{u\in V(G)}f(u)$ of a $c$-self dominating function $f$ of $G$ is called the $c$-self domination number of $G$. The $c$-self domination concept is a common generalization of three domination-type invariants; (original) domination, total domination and Roman domination. In this paper, we study a behavior of the $c$-self domination number in random graphs for small $c$. △ Less

Submitted 27 June, 2019; originally announced June 2019.

Comments: 9 pages, 0 figure

A Ramsey-type theorem for the matching number regarding connected graphs

Authors: Ilkyoo Choi, Michitaka Furuya, Ringi Kim, Boram Park

Abstract: A major line of research is discovering Ramsey-type theorems, which are results of the following form: given a graph parameter $ρ$, every graph $G$ with sufficiently large $ρ(G)$ contains a `well-structured' induced subgraph $H$ with large $ρ(H)$. The classical Ramsey's theorem deals with the case when the graph parameter under consideration is the number of vertices; there is also a Ramsey-type t… ▽ More A major line of research is discovering Ramsey-type theorems, which are results of the following form: given a graph parameter $ρ$, every graph $G$ with sufficiently large $ρ(G)$ contains a `well-structured' induced subgraph $H$ with large $ρ(H)$. The classical Ramsey's theorem deals with the case when the graph parameter under consideration is the number of vertices; there is also a Ramsey-type theorem regarding connected graphs. Given a graph $G$, the matching number and the induced matching number of $G$ is the maximum size of a matching and an induced matching, respectively, of $G$. In this paper, we formulate Ramsey-type theorems for the matching number and the induced matching number regarding connected graphs. Along the way, we obtain a Ramsey-type theorem for the independence number regarding connected graphs as well. △ Less

Submitted 14 August, 2018; originally announced August 2018.

Comments: 10 Pages

A degree sum condition on the order, the connectivity and the independence number for Hamiltonicity

Authors: S. Chiba, M. Furuya, K. Ozeki, M. Tsugaki, T. Yamashita

Abstract: In [Graphs Combin.~24 (2008) 469--483.], the third author and the fifth author conjectured that if $G$ is a $k$-connected graph such that $σ_{k+1}(G) \ge |V(G)|+κ(G)+(k-2)(α(G)-1)$, then $G$ contains a Hamiltonian cycle, where $σ_{k+1}(G)$, $κ(G)$ and $α(G)$ are the minimum degree sum of $k+1$ independent vertices, the connectivity and the independence number of $G$, respectively. In this paper, w… ▽ More In [Graphs Combin.~24 (2008) 469--483.], the third author and the fifth author conjectured that if $G$ is a $k$-connected graph such that $σ_{k+1}(G) \ge |V(G)|+κ(G)+(k-2)(α(G)-1)$, then $G$ contains a Hamiltonian cycle, where $σ_{k+1}(G)$, $κ(G)$ and $α(G)$ are the minimum degree sum of $k+1$ independent vertices, the connectivity and the independence number of $G$, respectively. In this paper, we settle this conjecture. This is an improvement of the result obtained by Li: If $G$ is a $k$-connected graph such that $σ_{k+1}(G) \ge |V(G)|+(k-1)(α(G)-1)$, then $G$ is Hamiltonian. The degree sum condition is best possible. △ Less

Submitted 4 April, 2018; originally announced April 2018.

Comments: 26 page, 6 figures

MSC Class: 05C45

Forbidden subgraphs for constant domination number

Authors: Michitaka Furuya

Abstract: In this paper, we characterize the sets $\mathcal{H}$ of connected graphs such that there exists a constant $c=c(\mathcal{H})$ satisfying $γ(G)\leq c$ for every connected $\mathcal{H}$-free graph $G$, where $γ(G)$ is the domination number of $G$. In this paper, we characterize the sets $\mathcal{H}$ of connected graphs such that there exists a constant $c=c(\mathcal{H})$ satisfying $γ(G)\leq c$ for every connected $\mathcal{H}$-free graph $G$, where $γ(G)$ is the domination number of $G$. △ Less

Submitted 27 May, 2018; v1 submitted 11 March, 2018; originally announced March 2018.

Comments: 6 pages, 1 figure

Journal ref: Discrete Mathematics & Theoretical Computer Science, Vol. 20 no. 1, Graph Theory (June 4, 2018) dmtcs:4364

Sufficient conditions for the existence of a path-factor which are related to odd components

Authors: Yoshimi Egawa, Michitaka Furuya, Kenta Ozeki

Abstract: In this paper, we are concerned with sufficient conditions for the existence of a $\{P_{2},P_{2k+1}\}$-factor. We prove that for $k\geq 3$, there exists $\varepsilon_{k}>0$ such that if a graph $G$ satisfies $\sum_{0\leq j\leq k-1}c_{2j+1}(G-X)\leq \varepsilon_{k}|X|$ for all $X\subseteq V(G)$, then $G$ has a $\{P_{2},P_{2k+1}\}$-factor, where $c_{i}(G-X)$ is the number of components $C$ of $G-X$… ▽ More In this paper, we are concerned with sufficient conditions for the existence of a $\{P_{2},P_{2k+1}\}$-factor. We prove that for $k\geq 3$, there exists $\varepsilon_{k}>0$ such that if a graph $G$ satisfies $\sum_{0\leq j\leq k-1}c_{2j+1}(G-X)\leq \varepsilon_{k}|X|$ for all $X\subseteq V(G)$, then $G$ has a $\{P_{2},P_{2k+1}\}$-factor, where $c_{i}(G-X)$ is the number of components $C$ of $G-X$ with $|V(C)|=i$. On the other hand, we construct infinitely many graphs $G$ having no $\{P_{2},P_{2k+1}\}$-factor such that $\sum_{0\leq j\leq k-1}c_{2j+1}(G-X)\leq \frac{32k+141}{72k-78}|X|$ for all $X\subseteq V(G)$. △ Less

Submitted 23 May, 2017; originally announced May 2017.

Comments: 18 pages, 1 figure

A characterization of domination weak bicritical graphs with large diameter

Authors: Michitaka Furuya

Abstract: The domination number of a graph $G$, denoted by $γ(G)$, is the minimum cardinality of a dominating set of $G$. A vertex of a graph is called critical if its deletion decreases the domination number, and a graph is called critical if its all vertices are critical. A graph $G$ is called weak bicritical if for every non-critical vertex $x\in V(G)$, $G-x$ is a critical graph with $γ(G-x)=γ(G)$. In th… ▽ More The domination number of a graph $G$, denoted by $γ(G)$, is the minimum cardinality of a dominating set of $G$. A vertex of a graph is called critical if its deletion decreases the domination number, and a graph is called critical if its all vertices are critical. A graph $G$ is called weak bicritical if for every non-critical vertex $x\in V(G)$, $G-x$ is a critical graph with $γ(G-x)=γ(G)$. In this paper, we characterize the connected weak bicritical graphs $G$ whose diameter is exactly $2γ(G)-2$. This is a generalization of some known results concerning the diameter of graphs with a domination-criticality. △ Less

Submitted 6 August, 2016; originally announced August 2016.

Comments: 13 pages, 0 figures

MSC Class: 05C69

Path-factors involving paths of order seven and nine

Authors: Yoshimi Egawa, Michitaka Furuya

Abstract: In this paper, we show the following two theorems (here $c_{i}(G-X)$ is the number of components $C$ of $G-X$ with $|V(C)|=i$): (i)~If a graph $G$ satisfies $c_{1}(G-X)+\frac{1}{3}c_{3}(G-X)+\frac{1}{3}c_{5}(G-X)\leq \frac{2}{3}|X|$ for all $X\subseteq V(G)$, then $G$ has a $\{P_{2},P_{7}\}$-factor. (ii)~If a graph $G$ satisfies… ▽ More In this paper, we show the following two theorems (here $c_{i}(G-X)$ is the number of components $C$ of $G-X$ with $|V(C)|=i$): (i)~If a graph $G$ satisfies $c_{1}(G-X)+\frac{1}{3}c_{3}(G-X)+\frac{1}{3}c_{5}(G-X)\leq \frac{2}{3}|X|$ for all $X\subseteq V(G)$, then $G$ has a $\{P_{2},P_{7}\}$-factor. (ii)~If a graph $G$ satisfies $c_{1}(G-X)+c_{3}(G-X)+\frac{2}{3}c_{5}(G-X)+\frac{1}{3}c_{7}(G-X)\leq \frac{2}{3}|X|$ for all $X\subseteq V(G)$, then $G$ has a $\{P_{2},P_{9}\}$-factor. △ Less

Submitted 25 July, 2015; originally announced July 2015.

Comments: 29 pages, 4 figures

MSC Class: 05C70

Difference of forbidden pairs containing a claw

Authors: Guantao Chen, Michitaka Furuya, Songling Shan, Shoichi Tsuchiya, Ping Yang

Abstract: When we study forbidden subgraph conditions guaranteeing graphs to have some properties, a claw (or $K_{1,3}$) frequently appears as one of forbidden subgraphs. Recently, Furuya and Tsuchiya compared two classes generated by different forbidden pairs containing a claw, and characterized one of such classes. In this paper, we give such characterization for three new classes. Furthermore, we give ap… ▽ More When we study forbidden subgraph conditions guaranteeing graphs to have some properties, a claw (or $K_{1,3}$) frequently appears as one of forbidden subgraphs. Recently, Furuya and Tsuchiya compared two classes generated by different forbidden pairs containing a claw, and characterized one of such classes. In this paper, we give such characterization for three new classes. Furthermore, we give applications of our characterizations to some forbidden subgraph problems. △ Less

Submitted 2 May, 2015; originally announced May 2015.

Comments: 21 pages, 6 figures

The existence of a path-factor without small odd paths

Authors: Yoshimi Egawa, Michitaka Furuya

Abstract: In this paper, we show that if a graph $G$ satisfies $c_{1}(G-X)+\frac{2}{3}c_{3}(G-X)\leq \frac{4}{3}|X|+\frac{1}{3}$ for all $X\subseteq V(G)$, then $G$ has a $\{P_{2},P_{5}\}$-factor, where $c_{i}(G-X)$ is the number of components $C$ of $G-X$ with $|V(C)|=i$. In this paper, we show that if a graph $G$ satisfies $c_{1}(G-X)+\frac{2}{3}c_{3}(G-X)\leq \frac{4}{3}|X|+\frac{1}{3}$ for all $X\subseteq V(G)$, then $G$ has a $\{P_{2},P_{5}\}$-factor, where $c_{i}(G-X)$ is the number of components $C$ of $G-X$ with $|V(C)|=i$. △ Less

Submitted 30 March, 2015; originally announced March 2015.

Comments: 23 pages, 5 figures

MSC Class: 05C70

A New Approach Towards a Conjecture on Intersecting Three Longest Paths

Authors: Shinya Fujita, Michitaka Furuya, Reza Naserasr, Kenta Ozeki

Abstract: In 1966, T. Gallai asked whether every connected graph has a vertex that appears in all longest paths. Since then this question has attracted much attention and many work has been done in this topic. One important open question in this area is to ask whether any three longest paths contains a common vertex in a connected graph. It was conjectured that the answer to this question is positive. In th… ▽ More In 1966, T. Gallai asked whether every connected graph has a vertex that appears in all longest paths. Since then this question has attracted much attention and many work has been done in this topic. One important open question in this area is to ask whether any three longest paths contains a common vertex in a connected graph. It was conjectured that the answer to this question is positive. In this paper, we propose a new approach in view of distances among longest paths in a connected graph, and give a substantial progress towards the conjecture along the idea. △ Less

Submitted 26 July, 2015; v1 submitted 3 March, 2015; originally announced March 2015.

Comments: 11pages, 5figures

MSC Class: 05C38

Dominating cycles and forbidden pairs containing a path of order 5

Authors: Shuya Chiba, Michitaka Furuya, Shoichi Tsuchiya

Abstract: A cycle is a graph is dominating if every edge of the graph is incident with a vertex of the cycle. In this paper, we investigate the characterization of the class of the forbidden pairs guaranteeing the existence of a dominating cycle and show the following two results: (i) Every $2$-connected $\{P_{5}, K_{4}^{-}\}$-free graph contains a longest cycle which is a dominating cycle. (ii) Every $2$-c… ▽ More A cycle is a graph is dominating if every edge of the graph is incident with a vertex of the cycle. In this paper, we investigate the characterization of the class of the forbidden pairs guaranteeing the existence of a dominating cycle and show the following two results: (i) Every $2$-connected $\{P_{5}, K_{4}^{-}\}$-free graph contains a longest cycle which is a dominating cycle. (ii) Every $2$-connected $\{P_{5}, W^{*}\}$-free graph contains a longest cycle which is a dominating cycle. Here $P_{5}$ is the path of order $5$, $K_{4}^{-}$ is the graph obtained from the complete graph of order $4$ by removing one edge, and $W^{*}$ is a graph obtained from two triangles and an edge by identifying one vertex in each. △ Less

Submitted 10 February, 2015; originally announced February 2015.

Comments: 17pages, 7 figures

Forbidden pairs and the existence of a dominating cycle

Authors: Shuya Chiba, Michitaka Furuya, Shoichi Tsuchiya

Abstract: A cycle in a graph is called dominating if every edge of the graph is incident with a vertex of the cycle. In this paper, we investigate forbidden pairs guaranteeing the existence of a dominating cycle in 2-connected graphs. A cycle in a graph is called dominating if every edge of the graph is incident with a vertex of the cycle. In this paper, we investigate forbidden pairs guaranteeing the existence of a dominating cycle in 2-connected graphs. △ Less

Submitted 7 February, 2015; originally announced February 2015.

Comments: 19 pages, 11 figures

Partitioning a graph into highly connected subgraphs

Authors: Valentin Borozan, Michael Ferrara, Shinya Fujita, Michitaka Furuya, Yannis Manoussakis, N. Narayanan, Derrick Stolee

Abstract: Given $k\ge 1$, a $k$-proper partition of a graph $G$ is a partition ${\mathcal P}$ of $V(G)$ such that each part $P$ of ${\mathcal P}$ induces a $k$-connected subgraph of $G$. We prove that if $G$ is a graph of order $n$ such that $δ(G)\ge \sqrt{n}$, then $G$ has a $2$-proper partition with at most $n/δ(G)$ parts. The bounds on the number of parts and the minimum degree are both best possible. We… ▽ More Given $k\ge 1$, a $k$-proper partition of a graph $G$ is a partition ${\mathcal P}$ of $V(G)$ such that each part $P$ of ${\mathcal P}$ induces a $k$-connected subgraph of $G$. We prove that if $G$ is a graph of order $n$ such that $δ(G)\ge \sqrt{n}$, then $G$ has a $2$-proper partition with at most $n/δ(G)$ parts. The bounds on the number of parts and the minimum degree are both best possible. We then prove that If $G$ is a graph of order $n$ with minimum degree $δ(G)\ge\sqrt{c(k-1)n}$, where $c=\frac{2123}{180}$, then $G$ has a $k$-proper partition into at most $\frac{cn}{δ(G)}$ parts. This improves a result of Ferrara, Magnant and Wenger [Conditions for Families of Disjoint $k$-connected Subgraphs in a Graph, Discrete Math. 313 (2013), 760--764] and both the degree condition and the number of parts are best possible up to the constant $c$. △ Less

Submitted 26 July, 2015; v1 submitted 12 January, 2014; originally announced January 2014.

Lower bound of Newton number

Authors: Masako Furuya

Abstract: We show a lower estimate of the Milnor number of an isolated hypersurface singularity, via its Newton number. We also obtain analogous estimate of the Milnor number of an isolated singularity of a similar complete intersection variety. We show a lower estimate of the Milnor number of an isolated hypersurface singularity, via its Newton number. We also obtain analogous estimate of the Milnor number of an isolated singularity of a similar complete intersection variety. △ Less

Submitted 28 June, 2004; v1 submitted 25 January, 1999; originally announced January 1999.

Comments: 10 pages

MSC Class: 14B05; 32S05

Journal ref: Tokyo J. Math. 27 (2004), 177-186

On $δ_m$ constant locus of versal deformations of nondegenerate hypersurface simple K3 singularities

Authors: Masako Furuya

Abstract: Hypersurface simple K3 singularities defined by nondegenerate quasi-homogeneous polynomials are classified into ninety five classes in term of the weight of the polynomial by T. Yonemura. We consider versal deformations of them. It has been conjectured that the stratum $μ$ =const of the versal deformation of any nondegenerate hypersurface simple K3 singularity is equivalent to the $δ_m$ constant… ▽ More Hypersurface simple K3 singularities defined by nondegenerate quasi-homogeneous polynomials are classified into ninety five classes in term of the weight of the polynomial by T. Yonemura. We consider versal deformations of them. It has been conjectured that the stratum $μ$ =const of the versal deformation of any nondegenerate hypersurface simple K3 singularity is equivalent to the $δ_m$ constant locus. It holds true for the case deformations are also nondegenerate by K. Watanabe. On the other hand, it follows from Reid that the $δ_m$ constant locus includes the $μ$ constant locus generally. We show the conjecture holds true in general for No.10-14, 46-51 and 83 in the table of Yonemura. △ Less

Submitted 27 February, 1997; originally announced February 1997.

Comments: AMS-LaTeX v1.2, 35 pages with 5 figures

MSC Class: 14B07 (Primary)