1: \begin{abstract}

2: For a graph $X$, let $f_0(X)$ denote its number of vertices, $\delta(X)$ its 

3: minimum degree and $\upZ_1(X;\Z/2)$ its cycle space in the standard 

4: graph-theoretical sense (i.e. $1$-dimensional cycle group in the sense of 

5: simplicial homology theory with $\Z/2$-coefficients). Call a 

6: graph \emph{Hamilton-generated} if and only if the set of all Hamilton circuits 

7: is a $\Z/2$-generating system for $\upZ_1(X;\Z/2)$. The 

8: main purpose of this paper is to prove the following: for every $\gamma>0$ there 

9: exists $n_0\in \Z$ such that for every graph $X$ with $f_0(X)\geq n_0$ vertices, \\

10: (1) if $\delta(X)\geq (\tfrac12 + \gamma) f_0(X)$ and $f_0(X)$ is odd, 

11: then $X$ is Hamilton-generated, \\

12: (2) if $\delta(X)\geq (\tfrac12 + \gamma) f_0(X)$ and $f_0(X)$ is even, 

13: then the set of all Hamilton circuits of $X$ generates a codimension-one 

14: subspace of $\upZ_1(X;\Z/2)$, and the set of all circuits of $X$ having 

15: length either $f_0(X)-1$ or $f_0(X)$ generates all of $\upZ_1(X;\Z/2)$, \\

16: (3) if $\delta(X)\geq (\tfrac14 + \gamma) f_0(X)$ and $X$ is square bipartite, 

17: then $X$ is Hamilton-generated. 

18: 

19: All these degree-conditions are essentially best-possible. 

20: The implications in (1) and (2) give an asymptotic affirmative answer to 

21: a special case of an open conjecture which according 

22: to [\textit{European~J.~Combin.}~4~(1983),~no.~3,~p.~246] originates with A.~Bondy.  

23: 

24: \medskip

25: \noindent

26: {\it Keywords:} Cayley graph, cycle group, cycle space, 

27: finite-dimensional vector spaces, Hamilton circuit, Hamilton-connected, 

28: Hamilton-laceable, prism graph, M{\"o}bius ladder, monotone graph property, 

29: spanning subgraphs

30: \end{abstract}

31: