The supersolid state of matter, exhibiting non-dissipative flow in solids, has been elusive for thirty five years. The recent discovery of a non-classical moment of inertia in solid 4 He by Kim and Chan provided the first experimental evidence, although the interpretation in terms of supersolidity of the ideal crystal phase remains subject to debate. Using quantum Monte Carlo methods we investigate the long-standing question of vacancy-induced superflow and find that vacancies in a 4 He crystal phase separate instead of forming a supersolid. On the other hand, non-equilibrium vacancies relaxing on defects of poly-crystalline samples could provide an explanation for the experimental observations.PACS numbers: 75.10. Jm, 05.30.Jp, 67.40.Kh, 74.25.Dw The observation of a non-classical moment of inertia in solid 4 He by Kim and Chan (KC) has provided the first experimental evidence of a possible supersolid phase of matter [1,2], which is characterized by crystalline order and frictionless flow. Early theories of supersolidity were based on the assumption that the low-temperature 4 He crystal may be incommensurate (the number of atoms is not an integer multiple of that of lattice sites). As a consequence of their quantum behavior, point defects such as vacancies and interstitials can Bose condense at low temperature, giving rise to superflow.In particular, the Andreev-Lifshitz-Chester (ALC) scenario [3,4] assumes that the gain in kinetic energy by delocalizing the vacancy can overcome the potential energy cost of creating it in a perfect crystal, such that a dilute gas of highly mobile vacancies can be stabilized. The energetics of this scenario is illustrated in the lower curve in Fig. 1. Similar supersolid ground states with a low density of strongly correlated vacancies were recently put forward by Dai, Ma and Zhang (DMZ) [5] and also by Anderson, Brinkman and Huse (ABH) [6]. Their scenarios are possible even when single-vacancy excitations in the perfect crystal are gapped, as indicated in Fig. 1. It was also recently suggested that the onset of supersolidity leads to anomalies in the elastic moduli [7].Although the initial experimental observation by KC has been confirmed by other groups [8,9,10], the interpretation in terms of superflow in the crystal phase is becoming increasingly questionable. Repeated cycles of annealing make the supersolid signal weaker to vanishing [8]. Measurements of pressure-driven flow have yielded a null result in hexagonal-close-packed (hcp) 4 He [11,12]. Experimental evidence [13,14] The physics of vacancies in solid Helium is an important open problem, even aside from its relevance to the experiment of KC, and has been studied for a long time. The majority of microscopic calculations have been variational [19,20,21], and focused on the properties of a single vacancy. Various estimates of the vacancy activation energy [19,20], including the one obtained by Ceperley and Bernu using Path Integral Monte Carlo simulations [16], are in quantitative agreement with experiment. However,...