Abstract We characterize the noncommutative Aleksandrov–Clark measures and the minimal realization formulas of contractive and, in particular, isometric noncommutative rational multipliers of the Fock space. Here, the full Fock space over $$\mathbb {C} ^d$$ is defined as the Hilbert space of square-summable power series in several noncommuting (NC) formal variables, and we interpret this space as the noncommutative and multivariable analogue of the Hardy space of square-summable Taylor series in the complex unit disk. We further obtain analogues of several classical results in Aleksandrov–Clark measure theory for noncommutative and contractive rational multipliers. Noncommutative measures are defined as positive linear functionals on a certain self-adjoint subspace of the Cuntz–Toeplitz algebra, the unital $C^*$ -algebra generated by the left creation operators on the full Fock space. Our results demonstrate that there is a fundamental relationship between NC Hardy space theory, representation theory of the Cuntz–Toeplitz and Cuntz algebras, and the emerging field of noncommutative rational functions.
more »
« less
Lebesgue Decomposition of Non-Commutative Measures
Abstract We extend the Lebesgue decomposition of positive measures with respect to Lebesgue measure on the complex unit circle to the non-commutative (NC) multi-variable setting of (positive) NC measures. These are positive linear functionals on a certain self-adjoint subspace of the Cuntz–Toeplitz $$C^{\ast }-$$algebra, the $$C^{\ast }-$$algebra of the left creation operators on the full Fock space. This theory is fundamentally connected to the representation theory of the Cuntz and Cuntz–Toeplitz $$C^{\ast }-$$algebras; any *−representation of the Cuntz–Toeplitz $$C^{\ast }-$$algebra is obtained (up to unitary equivalence), by applying a Gelfand–Naimark–Segal construction to a positive NC measure. Our approach combines the theory of Lebesgue decomposition of sesquilinear forms in Hilbert space, Lebesgue decomposition of row isometries, free semigroup algebra theory, NC reproducing kernel Hilbert space theory, and NC Hardy space theory.
more »
« less
- Award ID(s):
- 1900364
- PAR ID:
- 10249327
- Date Published:
- Journal Name:
- International Mathematics Research Notices
- ISSN:
- 1073-7928
- Format(s):
- Medium: X
- Sponsoring Org:
- National Science Foundation
More Like this
-
-
We extend results on complex analytic measures on the complex unit circle to a non-commutative multivariate setting. Identifying continuous linear functionals on a certain self-adjoint subspace of the Cuntz–Toeplitz C ∗ - algebra, the free disk operator system, with non-commutative (NC) analogues of complex measures, we refine a previously developed Lebesgue decompo- sition for positive NC measures to establish an NC version of the Frigyes and Marcel Riesz Theorem for “analytic” measures, i.e. complex measures with vanishing positive moments. The proof relies on novel results on the order properties of positive NC measures that we develop and extend from classical measure theory.more » « less
-
Motivated by the theory of Cuntz-Krieger algebras we define and study C ∗ C^\ast -algebras associated to directed quantum graphs. For classical graphs the C ∗ C^\ast -algebras obtained this way can be viewed as free analogues of Cuntz-Krieger algebras, and need not be nuclear. We study two particular classes of quantum graphs in detail, namely the trivial and the complete quantum graphs. For the trivial quantum graph on a single matrix block, we show that the associated quantum Cuntz-Krieger algebra is neither unital, nuclear nor simple, and does not depend on the size of the matrix block up to K K KK -equivalence. In the case of the complete quantum graphs we use quantum symmetries to show that, in certain cases, the corresponding quantum Cuntz-Krieger algebras are isomorphic to Cuntz algebras. These isomorphisms, which seem far from obvious from the definitions, imply in particular that these C ∗ C^\ast -algebras are all pairwise non-isomorphic for complete quantum graphs of different dimensions, even on the level of K K KK -theory. We explain how the notion of unitary error basis from quantum information theory can help to elucidate the situation. We also discuss quantum symmetries of quantum Cuntz-Krieger algebras in general.more » « less
-
We study quotients of the Toeplitz C*-algebra of a random walk, similar to those studied by the author and Markiewicz for finite stochastic matrices. We introduce a new Cuntz-type quotient C*-algebra for random walks that have convergent ratios of transition probabilities. These C*-algebras give rise to new notions of ratio limit space and boundary for such random walks, which are computed by appealing to a companion paper by Woess. Our combined results are leveraged to identify a unique symmetry-equivariant quotient C*-algebra for any symmetric random walk on a hyperbolic group, shedding light on a question of Viselter on C*-algebras of subproduct systems.more » « less
-
Discrete and continuous frames can be considered as positive operator-valued measures (POVMs) that have integral representations using rank-one operators. However, not every POVM has an integral representation. One goal of this paper is to examine the POVMs that have finite-rank integral representations. More precisely, we present a necessary and sufficient condition under which a positive operator-valued measure $$F: \Omega \to B(H)$$ has an integral representation of the form $$F(E) =\sum_{k=1}^{m} \int_{E}\, G_{k}(\omega)\otimes G_{k}(\omega) d\mu(\omega)$$ for some weakly measurable maps $$G_{k} \ (1\leq k\leq m) $$ from a measurable space $$\Omega$$ to a Hilbert space $$\mathcal{H}$$ and some positive measure $$\mu$$ on $$\Omega$$. Similar characterizations are also obtained for projection-valued measures. As special consequences of our characterization we settle negatively a problem of Ehler and Okoudjou about probability frame representations of probability POVMs, and prove that an integral representable probability POVM can be dilated to a integral representable projection-valued measure if and only if the corresponding measure is purely atomic.more » « less
An official website of the United States government

