1,105 research outputs found
Bohrification of operator algebras and quantum logic
Following Birkhoff and von Neumann, quantum logic has traditionally been
based on the lattice of closed linear subspaces of some Hilbert space, or, more
generally, on the lattice of projections in a von Neumann algebra A.
Unfortunately, the logical interpretation of these lattices is impaired by
their nondistributivity and by various other problems. We show that a possible
resolution of these difficulties, suggested by the ideas of Bohr, emerges if
instead of single projections one considers elementary propositions to be
families of projections indexed by a partially ordered set C(A) of appropriate
commutative subalgebras of A. In fact, to achieve both maximal generality and
ease of use within topos theory, we assume that A is a so-called Rickart
C*-algebra and that C(A) consists of all unital commutative Rickart
C*-subalgebras of A. Such families of projections form a Heyting algebra in a
natural way, so that the associated propositional logic is intuitionistic:
distributivity is recovered at the expense of the law of the excluded middle.
Subsequently, generalizing an earlier computation for n-by-n matrices, we
prove that the Heyting algebra thus associated to A arises as a basis for the
internal Gelfand spectrum (in the sense of Banaschewski-Mulvey) of the
"Bohrification" of A, which is a commutative Rickart C*-algebra in the topos of
functors from C(A) to the category of sets. We explain the relationship of this
construction to partial Boolean algebras and Bruns-Lakser completions. Finally,
we establish a connection between probability measure on the lattice of
projections on a Hilbert space H and probability valuations on the internal
Gelfand spectrum of A for A = B(H).Comment: 31 page
Large cardinals and continuity of coordinate functionals of filter bases in Banach spaces
Assuming the existence of certain large cardinal numbers, we prove that for
every projective filter over the set of natural numbers,
-bases in Banach spaces have continuous coordinate functionals. In
particular, this applies to the filter of statistical convergence, thereby we
solve a problem by V. Kadets (at least under the presence of certain large
cardinals). In this setting, we recover also a result of Kochanek who proved
continuity of coordinate functionals for countably generated filters (Studia
Math., 2012).Comment: 10 p
Unbounded violation of tripartite Bell inequalities
We prove that there are tripartite quantum states (constructed from random
unitaries) that can lead to arbitrarily large violations of Bell inequalities
for dichotomic observables. As a consequence these states can withstand an
arbitrary amount of white noise before they admit a description within a local
hidden variable model. This is in sharp contrast with the bipartite case, where
all violations are bounded by Grothendieck's constant. We will discuss the
possibility of determining the Hilbert space dimension from the obtained
violation and comment on implications for communication complexity theory.
Moreover, we show that the violation obtained from generalized GHZ states is
always bounded so that, in contrast to many other contexts, GHZ states do in
this case not lead to extremal quantum correlations. The results are based on
tools from the theories of operator spaces and tensor norms which we exploit to
prove the existence of bounded but not completely bounded trilinear forms from
commutative C*-algebras.Comment: Substantial changes in the presentation to make the paper more
accessible for a non-specialized reade
An algorithmic approach to the existence of ideal objects in commutative algebra
The existence of ideal objects, such as maximal ideals in nonzero rings,
plays a crucial role in commutative algebra. These are typically justified
using Zorn's lemma, and thus pose a challenge from a computational point of
view. Giving a constructive meaning to ideal objects is a problem which dates
back to Hilbert's program, and today is still a central theme in the area of
dynamical algebra, which focuses on the elimination of ideal objects via
syntactic methods. In this paper, we take an alternative approach based on
Kreisel's no counterexample interpretation and sequential algorithms. We first
give a computational interpretation to an abstract maximality principle in the
countable setting via an intuitive, state based algorithm. We then carry out a
concrete case study, in which we give an algorithmic account of the result that
in any commutative ring, the intersection of all prime ideals is contained in
its nilradical
- âŠ