Jensen's Operator Inequality

We establish what we consider to be the definitive versions of Jensen's operator inequality and Jensen's trace inequality for functions defined on an interval. This is accomplished by the introduction of genuine non-commutative convex combinations of operators, as opposed to the contractions used in earlier versions of the theory. As a consequence, we no longer need to impose conditions on the interval of definition. We show how this relates to the pinching inequality of Davis, and how Jensen's trace inequlity generalizes to C*-algebras..Comment: 12 p

Convex Multivariable Trace Functions

For any densely defined, lower semi-continuous trace \tau on a C*-algebra A with mutually commuting C*-subalgebras A_1, A_2, ... A_n, and a convex function f of n variables, we give a short proof of the fact that the function (x_1, x_2, ..., x_n) --> \tau (f(x_1, x_2, ..., x_n)) is convex on the space \bigoplus_{i=1}^n (A_i)_{self-adjoint}. If furthermore the function f is log-convex or root-convex, so is the corresponding trace function. We also introduce a generalization of log-convexity and root-convexity called \ell-convexity, show how it applies to traces, and give a few examples. In particular we show that the trace of an operator mean is always dominated by the corresponding mean of the trace values.Comment: 13 pages, AMS TeX, Some remarks and results adde

A Ginsparg-Wilson approach to lattice CP\mathcal{CP} symmetry

There is a long standing challenge in lattice QCD concerning the relationship between $\mathcal{CP}$-symmetry and lattice chiral symmetry: na\"ively the chiral symmetry transformations are not invariant under $\mathcal{CP}$. With results similar to a recent work by Igarashi and Pawlowski, I show that this is because charge conjugation symmetry has been incorrectly realised on the lattice. The naive approach, to directly use the continuum charge conjugation relations on the lattice, fails because the renormalisation group blockings required to construct a doubler free lattice theory from the continuum are not invariant under charge conjugation. Correctly taking into account the transformation of these blockings leads to a modified lattice $\mathcal{CP}$ symmetry for the fermion fields, which, for gauge field configurations with trivial topology, has a smooth limit to continuum $\mathcal{CP}$ as the lattice spacing tends to zero. After constructing $\mathcal{CP}$ transformations for one particular group of lattice chiral symmetries, I construct a lattice chiral gauge theory which is $\mathcal{CP}$ invariant and whose measure is invariant under gauge transformations and $\mathcal{CP}$.Comment: 7 pages, Lattice 2010 (Theoretical Developments

Morphisms of Extensions of C*-Algebras: Pushing Forward the Busby Invariant

AbstractWe study completions of diagrams of extensions of C*-algebras in which all three C*-algebras in one of the rows and either the ideal or the quotient in the other are given, along with the three morphisms between them. We find universal solutions to all four of these problems under restrictions of varying severity, on the given vertical maps and describe the solutions in terms of push-outs and pull-backs of certain diagrams. Our characterization of the universal solution to one of the diagrams yields a concrete description of various amalgamated free products. This leads to new results about the K-theory of amalgamated free products, verifying the Cuntz conjecture in certain cases. We also obtain new results about extensions of matricial fieldC*-algebras, verifying partially a conjecture of Blackadar and Kirchberg. Finally, we show that almost commuting unitary matrices can be uniformly approximated by commuting unitaries when an index obstruction vanishes