Saturation numbers for Ramsey-minimal graphs

Given graphs H1,…,Ht, a graph G is (H1,…,Ht)-Ramsey-minimal if every t-coloring of the edges of G contains a monochromatic Hi in color i for some i∈{1,…,t}, but any proper subgraph of G does not possess this property. We define Rmin(H1,…,Ht) to be the family of (H1,…,Ht)-Ramsey-minimal graphs. A graph G is Rmin(H1,…,Ht)-saturated if no element of Rmin(H1,…,Ht) is a subgraph of G, but for any edge e in G¯, some element of Rmin(H1,…,Ht) is a subgraph of G+e. We define sat(n,Rmin(H1,…,Ht)) to be the minimum number of edges over all Rmin(H1,…,Ht)-saturated graphs on n vertices. In 1987, Hanson and Toft conjectured that sat(n,Rmin(Kk1,…,Kkt))=(r−2)(n−r+2)+r−22 for n≥r, where r=r(Kk1,…,Kkt) is the classical Ramsey number for complete graphs. The first non-trivial case of Hanson and Toft's conjecture for sufficiently large n was settled in 2011, and is so far the only settled case. Motivated by Hanson and Toft's conjecture, we study the minimum number of edges over all Rmin(K3,Tk)-saturated graphs on n vertices, where Tk is the family of all trees on k vertices. We show that for n≥18, sat(n,Rmin(K3,T4))=⌊5n∕2⌋. For k≥5 and n≥2k+(⌈k∕2⌉+1)⌈k∕2⌉−2, we obtain an asymptotic bound for sat(n,Rmin(K3,Tk)) by showing that 32+12k2n−c≤sat(n,Rmin(K3,Tk))≤32+12k2n+C, where c=12k2+32k−2 and C=2k2−6k+32−k2k−12k2−1.