10 citations
5 papers
Algebras of Measurements: the logical structure of Quantum Mechanics
Daniel Lehmann, Kurt Engesser, Dov M. Gabbay
In Quantum Physics, a measurement is represented by a projection on some closed subspace of a Hilbert space. We study algebras of operators that abstract from the algebra of projec…
Lefschetz-Verdier trace formula and a generalization of a theorem of Fujiwara
Yakov Varshavsky
The goal of this paper is to generalize a theorem of Fujiwara (formerly Deligne's conjecture) to the situation appearing in a joint work [KV] with David Kazhdan on the global Langl…
Countable Primitive Groups
Tsachik Gelander, Yair Glasner
We give a complete characterization of countable primitive groups in several settings including linear groups, subgroups of mapping class groups, groups acting minimally on trees a…
Does the coframe geometry can serve as a unification scheme?
Yakov Itin
The coframe field model is known as a viable model for gravity. The principle problem is an interpretation of six additionaldegrees of freedom. We construct a general family of con…
General Security Definition and Composability for Quantum & Classical Protocols
Michael Ben-Or, Dominic Mayers
We generalize the universally composable definition of Canetti to the Quantum World. The basic idea is the same as in the classical world. The main contribution is that we unfold t…