We define topological invariants of homology 3-sphere, src">ds and src">src="/sd/grey_pxl.gif" data-inlimgeid="1-s2.0-S0166864115006008-si132.gif">, which are the maximal and minimal second Betti number divided by 8 among definite spin boundings of the homology sphere. We also define similar invariants src">g8 and src">src="/sd/grey_pxl.gif" data-inlimgeid="1-s2.0-S0166864115006008-si135.gif"> by the maximal (or minimal) product sum of the quadratic form src">E8 of bounding 4-manifolds. The aim of these invariants is to measure the size of bounding definite spin 4-manifold. We give several ways to construct definite spin boundings. In particular, we construct uncommon src">E8-boundings for src">Σ(2,3,12n+5) by using handle decomposition. As a by-product of this construction, we show that some negative 2nd homology classes src">k[f]−[s] in src">E(1) are represented by a sphere, where f and s are a fiber and sectional class of src">E(1).