Junli Jiang

© The Author 2016.Topological quantum materials represent a new class of matter with both exotic physical phenomena and novel application potentials. Many Heusler compounds, which exhibit rich emergent properties such as unusual magnetism, superconductivity and heavy fermion behaviour, have been predicted to host non-trivial topological electronic structures. The coexistence of topological order and other unusual properties makes Heusler materials ideal platform to search for new topological quantum phases. By carrying out angle-resolved photoemission spectroscopy and ab initio calculations on rare-earth half-Heusler compounds LnPtBi, we directly observe the unusual topological surface states on these materials, establishing them as first members with non-trivial topological electronic structure in this class of materials. Moreover, as LnPtBi compounds are non-centrosymmetric superconductors, our discovery further highlights them as promising candidates of topological superconductors.

With agents relying more and more on information from central servers rather than their own sensors, knowledge becomes property not of a specific agent but of the data that the agents can access. The article proposes a dynamic logic of data-informed knowledge that describes an interplay between three modalities and one relation capturing the properties of this form of knowledge. The main technical results are the undefinability of two dynamic operators through each other, a sound and complete axiomatisation, and a model checking algorithm.