As a guideline for experimental tests of the ideal glass transition (Random Pinning Glass Transition, RPGT) that shall be induced in a system by randomly pinning particles, we performed first-principle computations within the Hypernetted chain approximation and numerical simulations of a Hard Sphere model of glass-former. We obtain confirmation of the expected enhancement of glassy behaviour under the procedure of random pinning, which consists in freezing a fraction c of randomly chosen particles in the positions they have in an equilibrium configuration. We present the analytical phase diagram as a function of c and of the packing fraction φ, showing a line of RPGT ending in a critical point. We also obtain first microscopic results on cooperative lengthscales characterizing medium-range amorphous order in Hard Spere glasses and indirect quantitative information on a key thermodynamic quantity defined in proximity of ideal glass transitions, the amorphous surface tension. Finally, we present numerical results of pair correlation functions able to differentiate the liquid and the glass phases, as predicted by the analytic computations.
PACS numbers: Valid PACS appear hereA common feature of liquids deep below the melting point (supercooled) is the remarkably steep increase of relaxation time, until the system falls out of equilibrium at a conventional temperature T G . Since decades, it is present in the literature the claim of the possible presence of a phase transition 1,2 , the ideal glass transition (IGT), underlying the dynamical arrest and located at a lower temperature T K . Despite the first formulation of a consistent phenomenological thermodynamic picture 3 this intuition remained at length debated for the lack of other indicators of the imminent thermodynamic singularity. In this context, other theoretical perspectives based on dynamic or topological approaches, sometimes excluding the presence of any transition, have been proposed as alternative explanations of the sluggish dynamics 4,5 . In recent times, new important results have been obtained in the development of the thermodynamic scenario. We particularly refer on the one hand, to the first definition and measure of a new kind of cooperative length-scale 6,7 detecting the spatial extent of amorphous order 8 , called point-to-set l P S , and on the other hand, to the development of a field theory description of the IGT in terms of a suitable large deviation function 9-11 and the introduction of perturbative 12,13 and non-perturbative 14,15 fluctuations in this description. In view of a full fledged theory of glass-formers and quantitative predictions of their properties, these advancements have been corroborated by the formulation of a microscopic theory [16][17][18][19] inspired to classical firstprinciple computations techniques in liquids 20,21 . Due to particularly severe critical properties of the IGT, i.e. an exponential growth of relaxation time and a power law increase of the cooperative length, the revealing of its properties still rema...