Searcharxiv⌕ Search

arXiv subjects

Douglas Farenick

Publications and source records attributed to Douglas Farenick.

29 records · Page 2Linked to original sources
arXiv2012

Operator systems from discrete groups

We formulate a general framework for the study of operator systems arising from discrete groups. We study in detail the operator system of the free group on $n$ generators, as well as the operator systems of the free products of finitely many copies of the two-element group $\mathbb Z_2$. We examine various tensor products of group operator systems, including the minimal, the maximal, and the commuting tensor products. We introduce a new tensor product in the category of operator systems and formulate necessary and sufficient conditions for its equality to the commuting tensor product in the case of group operator systems. We express various sets of quantum correlations studied in the theoretical physics literature in terms of different tensor products of operator systems of discrete groups. We thus recover earlier results of Tsirelson and formulate a new approach for the study of quantum correlation boxes.

math.OA↗
arXiv2012

The Noncommutative Choquet Boundary of Periodic Weighted Shifts

The noncommutative Choquet boundary and the C*-envelope of operator systems of the form Span{1,T,T*}, where T is a Hilbert space operator with normal-like features, are studied. Such operators include normal operators, k-normal operators, subnormal operators, and Toeplitz operators. Our main result is the determination of the noncommutative Choquet boundary for an operator system generated by an irreducible periodic weighted unilateral shift operator.

math.OA↗
arXiv2012

C*-algebras with the weak expectation property and a multivariable analogue of Ando's theorem on the numerical radius

A classic theorem of T. Ando characterises operators that have numerical radius at most one as operators that admit a certain positive 2x2 operator matrix completion. In this paper we consider variants of Ando's theorem, in which the operators (and matrix completions) are constrained to a given C*-algebra. By considering nxn matrix completions, an extension of Ando's theorem to a multivariable setting is made. We show that the C*-algebras in which these extended formulations of Ando's theorem hold true are precisely the C*-algebras with the weak expectation property (WEP). We also show that a C*-subalgebra A of B(H) has WEP if and only if whenever a certain 3x3 (operator) matrix completion problem can be solved in matrices over B(H), it can also be solved in matrices over A. This last result gives a characterisation of WEP that is spatial and yet is independent of the particular representation of the C*-algebra. This leads to a new characterisation of injective von Neumann algebras. We also give a new equivalent formulation of the Connes Embedding Problem as a problem concerning 3x3 matrix completions.

math.OA↗
arXiv2012

Conditional expectation and Bayes' rule for quantum random variables and positive operator valued measures

A quantum probability measure is a function on a sigma-algebra of subsets of a (locally compact and Hausdorff) sample space that satisfies the formal requirements for a measure, but whose values are positive operators acting on a complex Hilbert space, and a quantum random variable is a measurable operator valued function. Although quantum probability measures and random variables are used extensively in quantum mechanics, some of the fundamental probabilistic features of these structures remain to be determined. In this paper we take a step toward a better mathematical understanding of quantum random variables and quantum probability measures by introducing a quantum analogue for the expected value of a quantum random variable relative to a quantum probability measure. In so doing we are led to theorems for a change of quantum measure and a change of quantum variables. We also introduce a quantum conditional expectation which results in quantum versions of some standard identities for Radon-Nikodym derivatives. This allows us to formulate and prove a quantum analogue of Bayes' rule.

math.PR↗
arXiv2011

Classical and nonclassical randomness in quantum measurements

The space of positive operator-valued measures on the Borel sets of a compact (or even locally compact) Hausdorff space with values in the algebra of linear operators acting on a d-dimensional Hilbert space is studied from the perspectives of classical and non-classical convexity through a transform $Γ$ that associates any positive operator-valued measure with a certain completely positive linear map of the homogeneous C*-algebra $C(X)\otimes B(H)$ into $B(H)$. This association is achieved by using an operator-valued integral in which non-classical random variables (that is, operator-valued functions) are integrated with respect to positive operator-valued measures and which has the feature that the integral of a random quantum effect is itself a quantum effect. A left inverse $Ω$ for $Γ$ yields an integral representation, along the lines of the classical Riesz Representation Theorem for certain linear functionals on $C(X)$, of certain (but not all) unital completely positive linear maps $ϕ:C(X)\otimes B(H) \rightarrow B(H)$. The extremal and C*-extremal points of the space of POVMS are determined.

quant-ph↗
arXiv2011

Operator system quotients of matrix algebras and their tensor products

An operator system modulo the kernel of a completely positive linear map of the operator system gives rise to an operator system quotient. In this paper, operator system quotients and quotient maps of certain matrix algebras are considered. Some applications to operator algebra theory are given, including a new proof of Kirchberg's theorem on the tensor product of B(H) with the group C*-algebra of a countable free group. We also show that an affirmative solution to the Connes Embedding Problem is implied by various matrix-theoretic problems, and we give a new characterisation of unital C*-algebras that have the weak expectation property.

math.OA↗
arXiv2010

Criterion of unitary similarity for upper triangular matrices in general position

Each square complex matrix is unitarily similar to an upper triangular matrix with diagonal entries in any prescribed order. Let A and B be upper triangular n-by-n matrices that (i) are not similar to direct sums of matrices of smaller sizes, or (ii) are in general position and have the same main diagonal. We prove that A and B are unitarily similar if and only if ||h(A_k)||=||h(B_k)|| for all complex polynomials h(x) and k=1, 2, . . , n, where A_k and B_k are the principal k-by-k submatrices of A and B, and ||M|| is the Frobenius norm of M.

math.RT↗
arXiv2010

Injective Envelopes and Local Multiplier Algebras of Some Spatial Continuous Trace C*-Algebras

A precise description of the injective envelope of a spatial continuous trace C*-algebra A over a Stonean space Delta is given. The description is based on the notion of a weakly continuous Hilbert bundle, which we show to be a Kaplansky--Hilbert module over the abelian AW*-algebra C(Delta). We then use the description of the injective envelope of A to study the first- and second-order local multiplier algebras of A. In particular, we show that the second-order local multiplier algebra of A is precisely the injective envelope of A.

math.OA↗