In 1978, Hartmanis conjectured that there exist no sparse complete set
s for P under logspace many-one reductions. In this paper, in support
of the conjecture, it is shown that if P has sparse hard sets under lo
gspace many-one reductions, then P subset of or equal to DSPACE[log(2)
n].