Information is physical
Information theory can be considered as a branch of mathematics. But any actual processing, storing, or transmission of information must be carried out using concrete physical devices. Therefore, the way we handle information in concrete applications is constrained by the laws of physics. A simple example of this is the fact that, due to special relativity, we cannot transmit information faster than light. Of course, the ways in which the laws of physics constrain information transmission, storing, and processing, are mucho more involved, and its study constitutes a whole chapter in the history of physics. Nowadays, it is a major area of research in the foundations of quantum physics and gives place to the quest for informational axioms to singularize quantum theory among more general no-signal theories.
Our research
Interpretational puzzles in quantum mechanics frequently inspire deep foundational debates. Our group embraces these conceptual questions while actively building bridges between foundational physics and practical applications.
We translate fundamental phenomena—such as nonlocality and quantum state reconstruction—into software tools for testing modern quantum computers. On the theoretical side, we utilize quantum logic and generalized probabilistic theories to map the boundaries between classical and quantum information. In particular, we aim to determine the precise role of quantum logic in computing, and whether quantum advantage is a direct consequence of a non-classical probability calculus.
Having recently studied how contextuality separates universal from non-universal quantum gate sets, we are now extending this research to bench-test current quantum prototypes.
Our goals
We seek to find applications of fundamental quantum properties to develop advanced testing methods that improve and assess the performance of quantum computers and emerging quantum technologies. Grounding this practical work, our core goal is to understand the logical and algebraic structures underlying quantum computing and general quantum information theory. Specifically, we investigate the role that the logical structure of quantum mechanics plays in quantum computing, and whether it explains the origin of quantum advantage. We also analyze the properties of different sets of quantum logical gates using resource theories, aiming to connect these fundamental properties back to the roots of quantum advantage.
