Up to now, the project has been successful, not only in exploring the research questions in the original proposal, but in identifying and exploring new, non-anticipated, yet also promising ones. Among the results obtained so far, we highlight here the (i) proposal for preparation of tensor network states in a quantum computer, along with techniques to yield provable success guarantees in terms its preparation runtime via the adiabatic algorithm, where we have laid the groundwork for the certification of their properties in a prover-verifier setting, (ii) we have provided the theoretical foundation for an experiment characterizing the depth of Bell correlations in a state-of-the-art superconducting 73-qubit chip, being the first of its kind, (iii) we have developed adiabtic spectroscopic techniques for more efficient adiabtic preparation of quantum states, (iv) we have obtained a series of results in the characterization of Bell nonlocality in multipartite systems, showcasing unforeseen connections to e.g. quantum chaos and dimension witnessing (v) we have developed several heuristical methods to make the most out of current quantum devices' possibilities, along with some rigorous proofs about their potential and limitations in some relevant instances.
All these achievements represent important steps towards the development of an appropriate theoretical framework to fully utilize the capabilities of current quantum devices.