相关论文: Operator Spaces, Linear Logic and the Heisenberg-S…

We show that the category OS of operator spaces, with complete contractions as morphisms, is locally countably presentable. This result, together with its symmetric monoidal closed structure with respect to the projective tensor product of…

We investigate the category of ``matricial order operator spaces,'' which generalize operator systems, being equipped with both matricial norms and matricial order. For these objects, we develop duality theory. Taking a cue from the theory…

We show that in quantum logic of closed subspaces of Hilbert space one cannot substitute quantum operations for classical (standard Hilbert space) ones and treat them as primitive operations. We consider two possible ways of such a…

We describe a categorical model of MALL (Multiplicative Additive Linear Logic) inspired by the Heisenberg-Schr\"odinger duality of finite-dimensional quantum theory. Proofs of formulas with positive logical polarity correspond to CPTP…

We investigate various spaces of $SL(r+1)$-opers and their deformations. For each type of such opers, we study the quantum/classical duality, which relates quantum integrable spin chains with classical solvable many body systems. In this…

Duality theorems play a fundamental role in convex optimization. Recently, it was shown how duality theorems for countable probability distributions and finite-dimensional quantum states can be leveraged for building relatively complete…

The spaces of higher-order differential operators (in Dimension 1|2), which are modules over the stringy Lie superalgebra K(2), are isomorphic to the corresponding spaces of symbols as orthosymplectic modules in non resonant cases. Such an…

This article is to give an infinite dimensional analogue of a result of Choi and Effros. We say that an (not necessarily unital) operator system $T$ is \emph{dualizable} if one can find an equivalent dual matrix norm on the dual space $T^*$…

Canonical coordinates for the Schr\"odinger equation are introduced, making more transparent its Hamiltonian structure. It is shown that the Schr\"odinger equation, considered as a classical field theory, shares with Liouville completely…

Bilinear pseudodifferential operators with symbols in the bilinear analog of all the H\"ormander classes are considered and the possibility of a symbolic calculus for the transposes of the operators in such classes is investigated. Precise…

We study the Kramers-Wannier duality for the transverse-field Ising lattice on a ring. A careful consideration of the ring boundary conditions shows that the duality has to be implemented with a proper treatment of different charge sectors…

A general `quantum history theory' can be characterised by the space of histories and by the space of decoherence functionals. In this note we consider the situation where the space of histories is given by the lattice of projection…

We develop a proof-theoretic semantics (P-tS) for second-order logic (S-oL), providing an inferentialist alternative to both full and Henkin model-theoretic interpretations. Our approach is grounded in base-extension semantics (B-eS), a…

In recent work of Lindenhovius and Zamdzhiev, it was established that the category of complete operator spaces, with completely contractive linear maps as morphisms, is locally countably presentable. In this work, we extend their conclusion…

Using recent results in topos theory, two systems of higher-order logic are shown to be complete with respect to sheaf models over topological spaces---so-called ``topological semantics''. The first is classical higher-order logic, with…

In this letter we show that the field of Operator Space Theory provides a general and powerful mathematical framework for arbitrary Bell inequalities, in particular regarding the scaling of their violation within quantum mechanics. We…

We formalize the correspondence between quantum states and quantum operations isometrically, and harness its consequences. This correspondence was already implicit in the various proofs of the operator sum representation of Completely…

The entanglement in operator space is a well established measure for the complexity of the quantum many-body dynamics. In particular, that of local operators has recently been proposed as dynamical chaos indicator, i.e. as a quantity able…

We investigate the classical aspects of Quantum theory and under which description Quantum theory does appear Classical. Although such descriptions or variables are known as "ontological" or "hidden", they are not hidden at all, but are…

Operators in quantum mechanics - either observables, density or evolution operators, unitary or not - can be represented by c-numbers in operator bases. The position and momentum bases are in one to one correspondence with lagrangian planes…