An Experiment Combining Specialization with Abstract Interpretation

It was previously shown that control-flow refinement can be achieved by a program specializer incorporating property-based abstraction, to improve termination and complexity analysis tools. We now show that this purpose-built specializer can be reconstructed in a more modular way, and that the previous results can be achieved using an off-the-shelf partial evaluation tool, applied to an abstract interpreter. The key feature of the abstract interpreter is the abstract domain, which is the product of the property-based abstract domain with the concrete domain. This language-independent framework provides a practical approach to implementing a variety of powerful specializers, and contributes to a stream of research on using interpreters and specialization to achieve program transformations.Comment: In Proceedings VPT/HCVS 2020, arXiv:2008.0248

Quantum critical behavior in strongly interacting Rydberg gases

We study the appearance of correlated many-body phenomena in an ensemble of atoms driven resonantly into a strongly interacting Rydberg state. The ground state of the Hamiltonian describing the driven system exhibits a second order quantum phase transition. We derive the critical theory for the quantum phase transition and show that it describes the properties of the driven Rydberg system in the saturated regime. We find that the suppression of Rydberg excitations known as blockade phenomena exhibits an algebraic scaling law with a universal exponent.Comment: 4 pages, 3 figures, published versio