15 citations · 42 across the 10 of their papers we have counts for
11 papers
Algebraic paradoxes in adaptive quantum computation
Samson Abramsky, Rui Soares Barbosa, Carmen Constantin +1
Measurement-based quantum computation (MBQC) is a universal model of quantum computation whose full power requires adaptivity. Contextuality is known to power quantum advantage in…
Commutation Groups and State-Independent Contextuality
Samson Abramsky, Serban-Ion Cercelescu, Carmen-Maria Constantin
We introduce an algebraic structure for studying state-independent contextuality arguments, a key form of quantum non-classicality exemplified by the well-known Peres-Mermin magic…
Localisable Monads
Carmen Constantin, Nuiok Dicaire, Chris Heunen
Monads govern computational side-effects in programming semantics. They can be combined in a ''bottom-up'' way to handle several instances of such effects. Indexed monads and grade…
Weak cartesian properties of simplicial sets
Carmen Constantin, Tobias Fritz, Paolo Perrone +1
Many special classes of simplicial sets, such as the nerves of categories or groupoids, the 2-Segal sets of Dyckerhoff and Kapranov, and the (discrete) decomposition spaces of Gálv…
Partial Evaluations and the Compositional Structure of the Bar Construction
Carmen Constantin, Paolo Perrone, Tobias Fritz +1
The algebraic expression can be evaluated to , but it can also be partially evaluated to . In categorical algebra, such partial evaluations can be defined in…
A Topos Theoretic Notion of Entropy
Carmen-Maria Constantin, Andreas Doering
In the topos approach to quantum theory, the spectral presheaf plays the role of the state space of a quantum system. We show how a notion of entropy can be defined within the topo…
Sheaf-Theoretic Methods in Quantum Mechanics and Quantum Information Theory
Carmen Maria Constantin
In this thesis we use the language of sheaf theory in order to develop a deeper understanding of some of the fundamental differences - such as entanglement, contextuality and non-l…
Hardy is (almost) everywhere: nonlocality without inequalities for almost all entangled multipartite states
Samson Abramsky, Carmen M. Constantin, Shenggang Ying
We show that all -qubit entangled states, with the exception of tensor products of single-qubit and bipartite maximally-entangled states, admit Hardy-type proofs of non-locality…
A classification of multipartite states by degree of non-locality
Samson Abramsky, Carmen Constantin
We propose a novel form of classification of multipartite states, in terms of the maximum degree of non-locality they can exhibit under any choice of local observables. This uses t…
Reconstructing an atomic orthomodular lattice from the poset of its Boolean sublattices
Carmen Constantin, Andreas Doering
We show that an atomic orthomodular lattice L can be reconstructed up to isomorphism from the poset B(L) of Boolean subalgebras of L. A motivation comes from quantum theory and the…
Contextual Entropy and Reconstruction of Quantum States
Carmen Maria Constantin, Andreas Doering
We introduce a new notion of entropy for quantum states, called contextual entropy, and show how it unifies Shannon and von Neumann entropy. The main result is that from the knowle…