Covariance algebra of a partial dynamical system

Partial dynamical systems (X,alpha) arise naturally when dealing with commutative C*-dynamical system (A,delta). We associate with every pair (X,alpha), or (A,delta), a covariance C*-algebra C*(X,alpha)=C*(A,delta) which agrees with a partial crossed product - in case alpha is injective, and a crossed product by a monomorphism - in case alpha is onto. The relevance between (X,alpha) and C*(X,alpha) is deeply investigated. In particular, the notions of topological freedom and invariance of a set are generalized, and as a consequence a version of Isomorphism Theorem and a description of ideals of C*(X,alpha) are obtained.Comment: Introduction is extented and a few more examples are adde

On semilinear representations of the infinite symmetric group

In this note the smooth (i.e. with open stabilizers) linear and {\sl semilinear} representations of certain permutation groups (such as infinite symmetric group or automorphism group of an infinite-dimensional vector space over a finite field) are studied. Many results here are well-known to the experts, at least in the case of {\sl linear representations} of symmetric group. The presented results suggest, in particular, that an analogue of Hilbert's Theorem 90 should hold: in the case of faithful action of the group on the base field the irreducible smooth semilinear representations are one-dimensional (and trivial in appropriate sense).Comment: 19 pages, significant changes; an analogue of Hilbert's Theorem 90 for infinite symmetric groups moved to arXiv:1508.0226

Barycentric decomposition of quantum measurements in finite dimensions

We analyze the convex structure of the set of positive operator valued measures (POVMs) representing quantum measurements on a given finite dimensional quantum system, with outcomes in a given locally compact Hausdorff space. The extreme points of the convex set are operator valued measures concentrated on a finite set of k \le d^2 points of the outcome space, d< \infty being the dimension of the Hilbert space. We prove that for second countable outcome spaces any POVM admits a Choquet representation as the barycenter of the set of extreme points with respect to a suitable probability measure. In the general case, Krein-Milman theorem is invoked to represent POVMs as barycenters of a certain set of POVMs concentrated on k \le d^2 points of the outcome space.Comment: !5 pages, no figure