research
∙
06/21/2023
A formalization of the CHSH inequality and Tsirelson's upper-bound in Isabelle/HOL
We present a formalization of several fundamental notions and results fr...
share
research
∙
09/14/2022
Fault-Tolerant Preparation of Quantum Polar Codes Encoding One Logical Qubit
This paper explores a new approach to fault-tolerant quantum computing, ...
research
∙
05/12/2022
Stabilizer Inactivation for Message-Passing Decoding of Quantum LDPC Codes
We propose a post-processing method for message-passing (MP) decoding of...
research
∙
03/22/2021
A Superposition-Based Calculus for Quantum Diagrammatic Reasoning and Beyond
We introduce a class of rooted graphs which allows one to encode various...
research
∙
03/15/2021
Quantum projective measurements and the CHSH inequality in Isabelle/HOL
We present a formalization in Isabelle/HOL of quantum projective measure...
research
∙
03/02/2021
Coherent control and distinguishability of quantum channels via PBS-diagrams
We introduce a graphical language for coherent control of general quantu...
research
∙
12/23/2019