-
Completely Bounded Norms of $k$-positive Maps
Authors:
Guillaume Aubrun,
Kenneth R. Davidson,
Alexander Müller-Hermes,
Vern I. Paulsen,
Mizanur Rahaman
Abstract:
Given an operator system $\mathcal{S}$, we define the parameters $r_k(\mathcal{S})$ (resp. $d_k(\mathcal{S})$) defined as the maximal value of the completely bounded norm of a unital $k$-positive map from an arbitrary operator system into $\mathcal{S}$ (resp. from $\mathcal{S}$ into an arbitrary operator system).
In the case of the matrix algebras $M_n$, for $1 \leq k \leq n$, we compute the exa…
▽ More
Given an operator system $\mathcal{S}$, we define the parameters $r_k(\mathcal{S})$ (resp. $d_k(\mathcal{S})$) defined as the maximal value of the completely bounded norm of a unital $k$-positive map from an arbitrary operator system into $\mathcal{S}$ (resp. from $\mathcal{S}$ into an arbitrary operator system).
In the case of the matrix algebras $M_n$, for $1 \leq k \leq n$, we compute the exact value $r_k(M_n) = \frac{2n-k}{k}$ and show upper and lower bounds on the parameters $d_k(M_n)$.
Moreover, when $\mathcal{S}$ is a finite-dimensional operator system, adapting recent results of Passer and the 4th author, we show that the sequence $(r_k( \mathcal{S}))$ tends to $1$ if and only if $\mathcal{S}$ is exact and that the sequence $(d_k(\mathcal{S}))$ tends to $1$ if and only if $\mathcal{S}$ has the lifting property.
△ Less
Submitted 7 May, 2024; v1 submitted 22 January, 2024;
originally announced January 2024.
-
On boundary representations
Authors:
Kenneth R. Davidson,
Michael Hartz
Abstract:
Let $S$ be an operator system sitting in its C*-envelope $C^*_{\mathrm{min}}(S)$. Starting with a pure state on $S$, let $F$ be the face of state extensions to $C^*_{\mathrm{min}}(S)$. The dilation theorem of Davidson-Kennedy shows that the GNS representations corresponding to some of the extreme states of $F$ are boundary representations. We construct an explicit example in which $F$ is an interv…
▽ More
Let $S$ be an operator system sitting in its C*-envelope $C^*_{\mathrm{min}}(S)$. Starting with a pure state on $S$, let $F$ be the face of state extensions to $C^*_{\mathrm{min}}(S)$. The dilation theorem of Davidson-Kennedy shows that the GNS representations corresponding to some of the extreme states of $F$ are boundary representations. We construct an explicit example in which $F$ is an interval and only one of the two extreme points yields a boundary representation.
△ Less
Submitted 9 August, 2023;
originally announced August 2023.
-
Positive maps and entanglement in real Hilbert spaces
Authors:
Giulio Chiribella,
Kenneth R. Davidson,
Vern I. Paulsen,
Mizanur Rahaman
Abstract:
The theory of positive maps plays a central role in operator algebras and functional analysis, and has countless applications in quantum information science. The theory was originally developed for operators acting on complex Hilbert spaces, and little is known about its variant on real Hilbert spaces. In this article we study positive maps acting on a full matrix algebra over the reals, pointing…
▽ More
The theory of positive maps plays a central role in operator algebras and functional analysis, and has countless applications in quantum information science. The theory was originally developed for operators acting on complex Hilbert spaces, and little is known about its variant on real Hilbert spaces. In this article we study positive maps acting on a full matrix algebra over the reals, pointing out a number of fundamental differences with the complex case and discussing their implications in quantum information.
We provide a necessary and sufficient condition for a real map to admit a positive complexification, and connect the existence of positive maps with non-positive complexification with the existence of mixed states that are entangled in real Hilbert space quantum mechanics, but separable in the complex version, providing explicit examples both for the maps and for the states. Finally, we discuss entanglement breaking and PPT maps, and we show that a straightforward real version of the PPT-squared conjecture is false even in dimension 2. Nevertheless, we show that the original PPT-squared conjecture implies a different conjecture for real maps, in which the PPT property is replaced by a stronger property of invariance under partial transposition (IPT). When the IPT property is assumed, we prove an asymptotic version of the conjecture.
△ Less
Submitted 14 May, 2023; v1 submitted 6 July, 2022;
originally announced July 2022.
-
Counterexamples to the extendibility of positive unital norm-one maps
Authors:
Giulio Chiribella,
Kenneth R. Davidson,
Vern I. Paulsen,
Mizanur Rahaman
Abstract:
Arveson's extension theorem guarantees that every completely positive map defined on an operator system can be extended to a completely positive map defined on the whole C*-algebra containing it. An analogous statement where complete positivity is replaced by positivity is known to be false. A natural question is whether extendibility could still hold for positive maps satisfying stronger conditio…
▽ More
Arveson's extension theorem guarantees that every completely positive map defined on an operator system can be extended to a completely positive map defined on the whole C*-algebra containing it. An analogous statement where complete positivity is replaced by positivity is known to be false. A natural question is whether extendibility could still hold for positive maps satisfying stronger conditions, such as being unital and norm 1. Here we provide three counterexamples showing that positive norm-one unital maps defined on an operator subsystem of a matrix algebra cannot be extended to a positive map on the full matrix algebra. The first counterexample is an unextendible positive unital map with unit norm, the second counterexample is an unextendible positive unital isometry on a real operator space, and the third counterexample is an unextendible positive unital isometry on a complex operator space.
△ Less
Submitted 19 April, 2022;
originally announced April 2022.
-
Random Field Optimization
Authors:
Joshua L. Pulsipher,
Benjamin R. Davidson,
Victor M. Zavala
Abstract:
We present a new modeling paradigm for optimization that we call random field optimization. Random fields are a powerful modeling abstraction that aims to capture the behavior of random variables that live on infinite-dimensional spaces (e.g., space and time) such as stochastic processes (e.g., time series, Gaussian processes, and Markov processes), random matrices, and random spatial fields. This…
▽ More
We present a new modeling paradigm for optimization that we call random field optimization. Random fields are a powerful modeling abstraction that aims to capture the behavior of random variables that live on infinite-dimensional spaces (e.g., space and time) such as stochastic processes (e.g., time series, Gaussian processes, and Markov processes), random matrices, and random spatial fields. This paradigm involves sophisticated mathematical objects (e.g., stochastic differential equations and space-time kernel functions) and has been widely used in neuroscience, geoscience, physics, civil engineering, and computer graphics. Despite of this, however, random fields have seen limited use in optimization; specifically, existing optimization paradigms that involve uncertainty (e.g., stochastic programming and robust optimization) mostly focus on the use of finite random variables. This trend is rapidly changing with the advent of statistical optimization (e.g., Bayesian optimization) and multi-scale optimization (e.g., integration of molecular sciences and process engineering). Our work extends a recently-proposed abstraction for infinite-dimensional optimization problems by capturing more general uncertainty representations. Moreover, we discuss solution paradigms for this new class of problems based on finite transformations and sampling, and identify open questions and challenges.
△ Less
Submitted 24 January, 2022;
originally announced January 2022.
-
New Measures for Sha** Trajectories in Dynamic Optimization
Authors:
Joshua L. Pulsipher,
Benjamin R. Davidson,
Victor M. Zavala
Abstract:
We propose a new class of measures for sha** time-dependent trajectories in dynamic optimization (DO). The proposed measures are analogous to risk measures used in stochastic optimization (SO) and are inspired by a recently-proposed unifying abstraction for infinite-dimensional optimization. Risk measures are summarizing statistics (e.g., average, variance, quantiles, worst-case values) that are…
▽ More
We propose a new class of measures for sha** time-dependent trajectories in dynamic optimization (DO). The proposed measures are analogous to risk measures used in stochastic optimization (SO) and are inspired by a recently-proposed unifying abstraction for infinite-dimensional optimization. Risk measures are summarizing statistics (e.g., average, variance, quantiles, worst-case values) that are used to shape the probability density of random objectives and constraints. We show that this extensive collection of measures can be applied in DO for computing and manipulating interesting features of time-dependent trajectories (e.g., excursion costs and quantiles). We also discuss how to implement these measures in the Julia modeling package InfiniteOpt.jl.
△ Less
Submitted 13 October, 2021;
originally announced October 2021.
-
Combinatorial and computational investigations of Neighbor-Joining bias
Authors:
Ruth Davidson,
Abraham Martin del Campo
Abstract:
The Neighbor-Joining algorithm is a popular distance-based phylogenetic method that computes a tree metric from a dissimilarity map arising from biological data. Realizing dissimilarity maps as points in Euclidean space, the algorithm partitions the input space into polyhedral regions indexed by the combinatorial type of the trees returned. A full combinatorial description of these regions has not…
▽ More
The Neighbor-Joining algorithm is a popular distance-based phylogenetic method that computes a tree metric from a dissimilarity map arising from biological data. Realizing dissimilarity maps as points in Euclidean space, the algorithm partitions the input space into polyhedral regions indexed by the combinatorial type of the trees returned. A full combinatorial description of these regions has not been found yet; different sequences of Neighbor-Joining agglomeration events can produce the same combinatorial tree, therefore associating multiple geometric regions to the same algorithmic output. We resolve this confusion by defining agglomeration orders on trees, leading to a bijection between distinct regions of the output space and weighted Motzkin paths. As a result, we give a formula for the number of polyhedral regions depending only on the number of taxa. We conclude with a computational comparison between these polyhedral regions, to unveil biases introduced in any implementation of the algorithm.
△ Less
Submitted 16 September, 2020; v1 submitted 18 July, 2020;
originally announced July 2020.
-
Strongly peaking representations and compressions of operator systems
Authors:
Kenneth R. Davidson,
Benjamin Passer
Abstract:
We use Arveson's notion of strongly peaking representation to generalize uniqueness theorems for free spectrahedra and matrix convex sets which admit minimal presentations. A fully compressed separable operator system necessarily generates the C*-envelope and is such that the identity is the direct sum of strongly peaking representations. In particular, a fully compressed presentation of a separab…
▽ More
We use Arveson's notion of strongly peaking representation to generalize uniqueness theorems for free spectrahedra and matrix convex sets which admit minimal presentations. A fully compressed separable operator system necessarily generates the C*-envelope and is such that the identity is the direct sum of strongly peaking representations. In particular, a fully compressed presentation of a separable operator system is unique up to unitary equivalence. Under various additional assumptions, minimality conditions are sufficient to determine a separable operator system uniquely.
△ Less
Submitted 12 August, 2020; v1 submitted 23 May, 2020;
originally announced May 2020.
-
Interpolation and duality in algebras of multipliers on the ball
Authors:
Kenneth R. Davidson,
Michael Hartz
Abstract:
We study the multiplier algebras $A(\mathcal{H})$ obtained as the closure of the polynomials on certain reproducing kernel Hilbert spaces $\mathcal{H}$ on the ball $\mathbb{B}_d$ of $\mathbb{C}^d$. Our results apply, in particular, to the Drury-Arveson space, the Dirichlet space and the Hardy space on the ball. We first obtain a complete description of the dual and second dual spaces of…
▽ More
We study the multiplier algebras $A(\mathcal{H})$ obtained as the closure of the polynomials on certain reproducing kernel Hilbert spaces $\mathcal{H}$ on the ball $\mathbb{B}_d$ of $\mathbb{C}^d$. Our results apply, in particular, to the Drury-Arveson space, the Dirichlet space and the Hardy space on the ball. We first obtain a complete description of the dual and second dual spaces of $A(\mathcal H)$ in terms of the complementary bands of Henkin and totally singular measures for $\operatorname{Mult}(\mathcal{H})$. This is applied to obtain several definitive results in interpolation. In particular, we establish a sharp peak interpolation result for compact $\operatorname{Mult}(\mathcal{H})$-totally null sets as well as a Pick and peak interpolation theorem. Conversely, we show that a mere interpolation set is $\operatorname{Mult}(\mathcal{H})$-totally null.
△ Less
Submitted 22 April, 2022; v1 submitted 31 March, 2020;
originally announced March 2020.
-
Noncommutative Choquet theory
Authors:
Kenneth R. Davidson,
Matthew Kennedy
Abstract:
We introduce a new and extensive theory of noncommutative convexity along with a corresponding theory of noncommutative functions. We establish noncommutative analogues of the fundamental results from classical convexity theory, and apply these ideas to develop a noncommutative Choquet theory that generalizes much of classical Choquet theory.
The central objects of interest in noncommutative con…
▽ More
We introduce a new and extensive theory of noncommutative convexity along with a corresponding theory of noncommutative functions. We establish noncommutative analogues of the fundamental results from classical convexity theory, and apply these ideas to develop a noncommutative Choquet theory that generalizes much of classical Choquet theory.
The central objects of interest in noncommutative convexity are noncommutative convex sets. The category of compact noncommutative sets is dual to the category of operator systems, and there is a robust notion of extreme point for a noncommutative convex set that is dual to Arveson's notion of boundary representation for an operator system.
We identify the C*-algebra of continuous noncommutative functions on a compact noncommutative convex set as the maximal C*-algebra of the operator system of continuous noncommutative affine functions on the set. In the noncommutative setting, unital completely positive maps on this C*-algebra play the role of representing measures in the classical setting.
The continuous convex noncommutative functions determine an order on the set of unital completely positive maps that is analogous to the classical Choquet order on probability measures. We characterize this order in terms of the extensions and dilations of the maps, providing a powerful new perspective on the structure of completely positive maps on operator systems.
Finally, we establish a noncommutative generalization of the Choquet-Bishop-de Leeuw theorem asserting that every point in a compact noncommutative convex set has a representing map that is supported on the extreme boundary. In the separable case, we obtain a corresponding integral representation theorem.
△ Less
Submitted 22 October, 2022; v1 submitted 21 May, 2019;
originally announced May 2019.
-
Reparameterizing Distributions on Lie Groups
Authors:
Luca Falorsi,
Pim de Haan,
Tim R. Davidson,
Patrick Forré
Abstract:
Reparameterizable densities are an important way to learn probability distributions in a deep learning setting. For many distributions it is possible to create low-variance gradient estimators by utilizing a `reparameterization trick'. Due to the absence of a general reparameterization trick, much research has recently been devoted to extend the number of reparameterizable distributional families.…
▽ More
Reparameterizable densities are an important way to learn probability distributions in a deep learning setting. For many distributions it is possible to create low-variance gradient estimators by utilizing a `reparameterization trick'. Due to the absence of a general reparameterization trick, much research has recently been devoted to extend the number of reparameterizable distributional families. Unfortunately, this research has primarily focused on distributions defined in Euclidean space, ruling out the usage of one of the most influential class of spaces with non-trivial topologies: Lie groups. In this work we define a general framework to create reparameterizable densities on arbitrary Lie groups, and provide a detailed practitioners guide to further the ease of usage. We demonstrate how to create complex and multimodal distributions on the well known oriented group of 3D rotations, $\operatorname{SO}(3)$, using normalizing flows. Our experiments on applying such distributions in a Bayesian setting for pose estimation on objects with discrete and continuous symmetries, showcase their necessity in achieving realistic uncertainty estimates.
△ Less
Submitted 7 March, 2019;
originally announced March 2019.
-
Nevanlinna-Pick Families and Singular Rational Varieties
Authors:
Kenneth R. Davidson,
Eli Shamovich
Abstract:
The goal of this note is to apply ideas from commutative algebra (a.k.a. affine algebraic geometry) to the question of constrained Nevanlinna-Pick interpolation. More precisely, we consider subalgebras $A \subset \mathbb{C}[z_1,\ldots,z_d]$, such that the map from the affine space to the spectrum of $A$ is an isomorphism except for finitely many points. Letting $\mathfrak{A}$ be the weak-$*$ closu…
▽ More
The goal of this note is to apply ideas from commutative algebra (a.k.a. affine algebraic geometry) to the question of constrained Nevanlinna-Pick interpolation. More precisely, we consider subalgebras $A \subset \mathbb{C}[z_1,\ldots,z_d]$, such that the map from the affine space to the spectrum of $A$ is an isomorphism except for finitely many points. Letting $\mathfrak{A}$ be the weak-$*$ closure of $A$ in $\mathcal{M}_d$ -- the multiplier algebra of the Drury-Arveson space. We provide a parametrization for the Nevanlinna-Pick family of $M_k(\mathfrak{A})$ for $k \geq 1$. In particular, when $k=1$ the parameter space for the Nevanlinna-Pick family is the Picard group of $A$.
△ Less
Submitted 12 December, 2018; v1 submitted 7 November, 2018;
originally announced November 2018.
-
RGB image-based data analysis via discrete Morse theory and persistent homology
Authors:
Chuan Du,
Christopher Szul,
Adarsh Manawa,
Nima Rasekh,
Rosemary K. Guzman,
Ruth Davidson
Abstract:
Understanding and comparing images for the purposes of data analysis is currently a very computationally demanding task. A group at Australian National University (ANU) recently developed open-source code that can detect fundamental topological features of a grayscale image in a computationally feasible manner. This is made possible by the fact that computers store grayscale images as cubical cell…
▽ More
Understanding and comparing images for the purposes of data analysis is currently a very computationally demanding task. A group at Australian National University (ANU) recently developed open-source code that can detect fundamental topological features of a grayscale image in a computationally feasible manner. This is made possible by the fact that computers store grayscale images as cubical cellular complexes. These complexes can be studied using the techniques of discrete Morse theory. We expand the functionality of the ANU code by introducing methods and software for analyzing images encoded in red, green, and blue (RGB), because this image encoding is very popular for publicly available data. Our methods allow the extraction of key topological information from RGB images via informative persistence diagrams by introducing novel methods for transforming RGB-to-grayscale. This paradigm allows us to perform data analysis directly on RGB images representing water scarcity variability as well as crime variability. We introduce software enabling a a user to predict future image properties, towards the eventual aim of more rapid image-based data behavior prediction.
△ Less
Submitted 9 January, 2018;
originally announced January 2018.
-
Dimensions of Group-based Phylogenetic Mixtures
Authors:
Hector Baños,
Nathaniel Bushek,
Ruth Davidson,
Elizabeth Gross,
Pamela E. Harris,
Robert Krone,
Colby Long,
Allen Stewart,
Robert Walker
Abstract:
In this paper we study group-based Markov models of evolution and their mixtures. In the algebreo-geometric setting, group-based phylogenetic tree models correspond to toric varieties, while their mixtures correspond to secant and join varieties. Determining properties of these secant and join varieties can aid both in model selection and establishing parameter identifiability. Here we explore the…
▽ More
In this paper we study group-based Markov models of evolution and their mixtures. In the algebreo-geometric setting, group-based phylogenetic tree models correspond to toric varieties, while their mixtures correspond to secant and join varieties. Determining properties of these secant and join varieties can aid both in model selection and establishing parameter identifiability. Here we explore the first natural geometric property of these varieties: their dimension. The expected projective dimension of the join variety of a set of varieties is one more than the sum of their dimensions. A join variety that realizes the expected dimension is nondefective. Nondefectiveness is not only interesting from a geometric point-of-view, but has been used to establish combinatorial identifiability for several classes of phylogenetic mixture models. In this paper, we focus on group-based models where the equivalence classes of identified parameters are orbits of a subgroup of the automorphism group of the group defining the model. In particular, we show that, for these group-based models, the variety corresponding to the mixture of $r$ trees with $n$ leaves is nondefective when $n \geq 2r+5$. We also give improved bounds for claw trees and give computational evidence that 2-tree and 3-tree mixtures are nondefective for small~$n$.
△ Less
Submitted 23 November, 2017;
originally announced November 2017.
-
Structure of free semigroupoid algebras
Authors:
Kenneth R. Davidson,
Adam Dor-On,
Boyu Li
Abstract:
A free semigroupoid algebra is the closure of the algebra generated by a TCK family of a graph in the weak operator topology. We obtain a structure theory for these algebras analogous to that of free semigroup algebra. We clarify the role of absolute continuity and wandering vectors. These results are applied to obtain a Lebesgue-von Neumann-Wold decomposition of TCK families, along with reflexivi…
▽ More
A free semigroupoid algebra is the closure of the algebra generated by a TCK family of a graph in the weak operator topology. We obtain a structure theory for these algebras analogous to that of free semigroup algebra. We clarify the role of absolute continuity and wandering vectors. These results are applied to obtain a Lebesgue-von Neumann-Wold decomposition of TCK families, along with reflexivity, a Kaplansky density theorem and classification for free semigroupoid algebras. Several classes of examples are discussed and developed, including self-adjoint examples and a classification of atomic free semigroupoid algebras up to unitary equivalence.
△ Less
Submitted 13 June, 2019; v1 submitted 19 September, 2017;
originally announced September 2017.
-
A combinatorial method for connecting BHV spaces representing different numbers of taxa
Authors:
Yingying Ren,
Sihan Zha,
**gwen Bi,
José A. Sanchez,
Cara Monical,
Michelle Delcourt,
Rosemary K. Guzman,
Ruth Davidson
Abstract:
The phylogenetic tree space introduced by Billera, Holmes, and Vogtmann (BHV tree space) is a CAT(0) continuous space that represents trees with edge weights with an intrinsic geodesic distance measure. The geodesic distance measure unique to BHV tree space is well known to be computable in polynomial time, which makes it a potentially powerful tool for optimization problems in phylogenetics and p…
▽ More
The phylogenetic tree space introduced by Billera, Holmes, and Vogtmann (BHV tree space) is a CAT(0) continuous space that represents trees with edge weights with an intrinsic geodesic distance measure. The geodesic distance measure unique to BHV tree space is well known to be computable in polynomial time, which makes it a potentially powerful tool for optimization problems in phylogenetics and phylogenomics. Specifically, there is significant interest in comparing and combining phylogenetic trees. For example, BHV tree space has been shown to be potentially useful in tree summary and consensus methods, which require combining trees with different number of leaves. Yet an open problem is to transition between BHV tree spaces of different maximal dimension, where each maximal dimension corresponds to the complete set of edge-weighted trees with a fixed number of leaves. We show a combinatorial method to transition between copies of BHV tree spaces in which trees with different numbers of taxa can be studied, derived from its topological structure and geometric properties. This method removes obstacles for embedding problems such as supertree and consensus methods in the BHV treespace framework.
△ Less
Submitted 3 December, 2017; v1 submitted 8 August, 2017;
originally announced August 2017.
-
A proof of Boca's Theorem
Authors:
Kenneth R. Davidson,
Evgenios T. A. Kakariadis
Abstract:
We give a general method of extending unital completely positive maps to amalgamated free products of C*-algebras. As an application we give a dilation theoretic proof of Boca's Theorem.
We give a general method of extending unital completely positive maps to amalgamated free products of C*-algebras. As an application we give a dilation theoretic proof of Boca's Theorem.
△ Less
Submitted 11 July, 2017; v1 submitted 5 June, 2017;
originally announced June 2017.
-
Complete spectral sets and numerical range
Authors:
Kenneth R. Davidson,
Vern I. Paulsen,
Hugo J. Woerdeman
Abstract:
We define the complete numerical radius norm for homomorphisms from any operator algebra into ${\mathcal B}({\mathcal H})$, and show that this norm can be computed explicitly in terms of the completely bounded norm. This is used to show that if $K$ is a complete $C$-spectral set for an operator $T$, then it is a complete $M$-numerical radius set, where $M=\frac12(C+C^{-1})$. In particular, in view…
▽ More
We define the complete numerical radius norm for homomorphisms from any operator algebra into ${\mathcal B}({\mathcal H})$, and show that this norm can be computed explicitly in terms of the completely bounded norm. This is used to show that if $K$ is a complete $C$-spectral set for an operator $T$, then it is a complete $M$-numerical radius set, where $M=\frac12(C+C^{-1})$. In particular, in view of Crouzeix's theorem, there is a universal constant $M$ (less than 5.6) so that if $P$ is a matrix polynomial and $T \in {\mathcal B}({\mathcal H})$, then $w(P(T)) \le M \|P\|_{W(T)}$. When $W(T) = \overline{\mathbb D}$, we have $M = \frac54$.
△ Less
Submitted 16 December, 2016;
originally announced December 2016.
-
Phylogenetic trees
Authors:
Hector Baños,
Nathaniel Bushek,
Ruth Davidson,
Elizabeth Gross,
Pamela E. Harris,
Robert Krone,
Colby Long,
Allen Stewart,
Robert Walker
Abstract:
We introduce the package PhylogeneticTrees for Macaulay2 which allows users to compute phylogenetic invariants for group-based tree models. We provide some background information on phylogenetic algebraic geometry and show how the package PhylogeneticTrees can be used to calculate a generating set for a phylogenetic ideal as well as a lower bound for its dimension. Finally, we show how methods wit…
▽ More
We introduce the package PhylogeneticTrees for Macaulay2 which allows users to compute phylogenetic invariants for group-based tree models. We provide some background information on phylogenetic algebraic geometry and show how the package PhylogeneticTrees can be used to calculate a generating set for a phylogenetic ideal as well as a lower bound for its dimension. Finally, we show how methods within the package can be used to compute a generating set for the join of any two ideals.
△ Less
Submitted 17 November, 2016;
originally announced November 2016.
-
Choquet order and hyperrigidity for function systems
Authors:
Kenneth R. Davidson,
Matthew Kennedy
Abstract:
We establish a dilation-theoretic characterization of the Choquet order on the space of measures on a compact convex set using ideas from the theory of operator algebras. This yields an extension of Cartier's dilation theorem to the non-separable setting, as well as a non-separable version of Šaškin's theorem from approximation theory. We show that a slight variant of this order characterizes the…
▽ More
We establish a dilation-theoretic characterization of the Choquet order on the space of measures on a compact convex set using ideas from the theory of operator algebras. This yields an extension of Cartier's dilation theorem to the non-separable setting, as well as a non-separable version of Šaškin's theorem from approximation theory. We show that a slight variant of this order characterizes the representations of a commutative C*-algebra that have the unique extension property relative to a set of generators. This reduces the commutative case of Arveson's hyperrigidity conjecture to the question of whether measures that are maximal with respect to the classical Choquet order are also maximal with respect to this new order. An example shows that these orders are not the same in general.
△ Less
Submitted 29 April, 2021; v1 submitted 8 August, 2016;
originally announced August 2016.
-
Dilations, inclusions of matrix convex sets, and completely positive maps
Authors:
Kenneth R. Davidson,
Adam Dor-On,
Orr Shalit,
Baruch Solel
Abstract:
A matrix convex set is a set of the form $\mathcal{S} = \cup_{n\geq 1}\mathcal{S}_n$ (where each $\mathcal{S}_n$ is a set of $d$-tuples of $n \times n$ matrices) that is invariant under UCP maps from $M_n$ to $M_k$ and under formation of direct sums. We study the geometry of matrix convex sets and their relationship to completely positive maps and dilation theory. Key ingredients in our approach a…
▽ More
A matrix convex set is a set of the form $\mathcal{S} = \cup_{n\geq 1}\mathcal{S}_n$ (where each $\mathcal{S}_n$ is a set of $d$-tuples of $n \times n$ matrices) that is invariant under UCP maps from $M_n$ to $M_k$ and under formation of direct sums. We study the geometry of matrix convex sets and their relationship to completely positive maps and dilation theory. Key ingredients in our approach are polar duality in the sense of Effros and Winkler, matrix ranges in the sense of Arveson, and concrete constructions of scaled commuting normal dilation for tuples of self-adjoint operators, in the sense of Helton, Klep, McCullough and Schweighofer.
Given two matrix convex sets $\mathcal{S} = \cup_{n \geq 1} \mathcal{S}_n,$ and $\mathcal{T} = \cup_{n \geq 1} \mathcal{T}_n$, we find geometric conditions on $\mathcal{S}$ or on $\mathcal{T}$, such that $\mathcal{S}_1 \subseteq \mathcal{T}_1$ implies that $\mathcal{S} \subseteq C\mathcal{S}$ for some constant $C$.
For instance, under various symmetry conditions on $\mathcal{S}$, we can show that $C$ above can be chosen to equal $d$, the number of variables, and in some cases this is sharp. We also find an essentially unique self-dual matrix convex set $\mathcal{D}$, the self-dual matrix ball, for which corresponding inclusion and dilation results hold with constant $C=\sqrt{d}$.
Our results have immediate implications to spectrahedral inclusion problems studied recently by Helton, Klep, McCullough and Schweighofer. Our constants do not depend on the ranks of the pencils determining the free spectrahedra in question, but rather on the "number of variables" $d$. There are also implications to the problem of existence of (unital) completely positive maps with prescribed values on a set of operators.
△ Less
Submitted 4 February, 2018; v1 submitted 29 January, 2016;
originally announced January 2016.
-
A new shellability proof of an identity of Dixon
Authors:
Ruth Davidson,
Augustine O'Keefe,
Daniel Parry
Abstract:
We give a new proof of an old identity of Dixon (1865-1936) that uses tools from topological combinatorics. Dixon's identity is re-established by constructing an infinite family of non-pure simplicial complexes $Δ(n)$, indexed by the positive integers, such that the alternating sum of the numbers of faces of $Δ(n)$ of each dimension is the left-hand side of the identity. We show that $Δ(n)$ is she…
▽ More
We give a new proof of an old identity of Dixon (1865-1936) that uses tools from topological combinatorics. Dixon's identity is re-established by constructing an infinite family of non-pure simplicial complexes $Δ(n)$, indexed by the positive integers, such that the alternating sum of the numbers of faces of $Δ(n)$ of each dimension is the left-hand side of the identity. We show that $Δ(n)$ is shellable for all $n$. Then, using the fact that a shellable simplicial complex is homotopy equivalent to a wedge of spheres, we compute the Betti numbers of $Δ(n)$ by counting (via a generating function) the number of facets of $Δ(n)$ of each dimension that attach along their entire boundary in the shelling order. In other words, Dixon's identity is re-established by using the Euler-Poincaré relation.
△ Less
Submitted 10 May, 2016; v1 submitted 30 November, 2015;
originally announced December 2015.
-
Ideals in a multiplier algebra on the ball
Authors:
Raphaël Clouâtre,
Kenneth R. Davidson
Abstract:
We study the ideals of the closure of the polynomial multipliers on the Drury-Arveson space. Structural results are obtained by investigating the relation between an ideal and its weak-$*$ closure, much in the spirit of the corresponding classical facts for the disc algebra. Zero sets for multipliers are also considered and are deeply intertwined with the structure of ideals. Our approach is prima…
▽ More
We study the ideals of the closure of the polynomial multipliers on the Drury-Arveson space. Structural results are obtained by investigating the relation between an ideal and its weak-$*$ closure, much in the spirit of the corresponding classical facts for the disc algebra. Zero sets for multipliers are also considered and are deeply intertwined with the structure of ideals. Our approach is primarily based on duality arguments.
△ Less
Submitted 27 June, 2016; v1 submitted 9 November, 2015;
originally announced November 2015.
-
Absolute continuity for commuting row contractions
Authors:
Raphaël Clouâtre,
Kenneth R. Davidson
Abstract:
Absolutely continuous commuting row contractions admit a weak-$*$ continuous functional calculus. Building on recent work describing the first and second dual spaces of the closure of the polynomial multipliers on the Drury-Arveson space, we give a complete characterization of these commuting row contractions in measure theoretic terms. We also establish that completely non-unitary row contraction…
▽ More
Absolutely continuous commuting row contractions admit a weak-$*$ continuous functional calculus. Building on recent work describing the first and second dual spaces of the closure of the polynomial multipliers on the Drury-Arveson space, we give a complete characterization of these commuting row contractions in measure theoretic terms. We also establish that completely non-unitary row contractions are necessarily absolutely continuous, in direct parallel with the case of a single contraction. Finally, we consider refinements of this question for row contractions that are annihilated by a given ideal.
△ Less
Submitted 9 May, 2016; v1 submitted 9 November, 2015;
originally announced November 2015.
-
The unit ball of the predual of $H^\infty(\mathbb{B}_d)$ has no extreme points
Authors:
Raphaël Clouâtre,
Kenneth R. Davidson
Abstract:
We identify the exposed points of the unit ball of the dual space of the ball algebra. As a corollary, we show that the predual of $H^\infty(\mathbb{B}_d)$ has no extreme points in its unit ball.
We identify the exposed points of the unit ball of the dual space of the ball algebra. As a corollary, we show that the predual of $H^\infty(\mathbb{B}_d)$ has no extreme points in its unit ball.
△ Less
Submitted 3 January, 2016; v1 submitted 4 April, 2015;
originally announced April 2015.
-
Duality, convexity and peak interpolation in the Drury-Arveson space
Authors:
Raphaël Clouâtre,
Kenneth R. Davidson
Abstract:
We consider the closed algebra $\mathcal{A}_d$ generated by the polynomial multipliers on the Drury-Arveson space. We identify $\mathcal{A}_d^*$ as a direct sum of the preduals of the full multiplier algebra and of a commutative von Neumann algebra, and establish analogues of many classical results concerning the dual space of the ball algebra. These developments are deeply intertwined with the pr…
▽ More
We consider the closed algebra $\mathcal{A}_d$ generated by the polynomial multipliers on the Drury-Arveson space. We identify $\mathcal{A}_d^*$ as a direct sum of the preduals of the full multiplier algebra and of a commutative von Neumann algebra, and establish analogues of many classical results concerning the dual space of the ball algebra. These developments are deeply intertwined with the problem of peak interpolation for multipliers, and we generalize a theorem of Bishop-Carleson-Rudin to this setting by means of Choquet type integral representations. As a byproduct we shed some light on the nature of the extreme points of the unit ball of $\mathcal{A}^*_d$.
△ Less
Submitted 29 February, 2016; v1 submitted 2 April, 2015;
originally announced April 2015.
-
Semicrossed Products of Operator Algebras: A Survey
Authors:
Kenneth R. Davidson,
Adam H. Fuller,
Evgenios T. A. Kakariadis
Abstract:
Semicrossed product algebras have been used to study dynamical systems since their introduction by Arveson in 1967. In this survey article, we discuss the history and some recent work, focussing on the conjugacy problem, dilation theory and C*-envelopes, and some connections back to the dynamics
Semicrossed product algebras have been used to study dynamical systems since their introduction by Arveson in 1967. In this survey article, we discuss the history and some recent work, focussing on the conjugacy problem, dilation theory and C*-envelopes, and some connections back to the dynamics
△ Less
Submitted 5 April, 2014;
originally announced April 2014.
-
Semicrossed Products of Operator Algebras by Semigroups
Authors:
Kenneth R. Davidson,
Adam H. Fuller,
Evgenios T. A. Kakariadis
Abstract:
We examine the semicrossed products of a semigroup action by $*$-endomorphisms on a C*-algebra, or more generally of an action on an arbitrary operator algebra by completely contractive endomorphisms. The choice of allowable representations affects the corresponding universal algebra. We seek quite general conditions which will allow us to show that the C*-envelope of the semicrossed product is (a…
▽ More
We examine the semicrossed products of a semigroup action by $*$-endomorphisms on a C*-algebra, or more generally of an action on an arbitrary operator algebra by completely contractive endomorphisms. The choice of allowable representations affects the corresponding universal algebra. We seek quite general conditions which will allow us to show that the C*-envelope of the semicrossed product is (a full corner of) a crossed product of an auxiliary C*-algebra by a group action.
Our analysis concerns a case-by-case dilation theory on covariant pairs. In the process we determine the C*-envelope for various semicrossed products of (possibly nonselfadjoint) operator algebras by spanning cones and lattice-ordered abelian semigroups.
In particular, we show that the C*-envelope of the semicrossed product of C*-dynamical systems by doubly commuting representations of $\mathbb{Z}^n_+$ (by generally non-injective endomorphisms) is the full corner of a C*-crossed product. In consequence we connect the ideal structure of C*-covers to properties of the actions. In particular, when the system is classical, we show that the C*-envelope is simple if and only if the action is injective and minimal.
The dilation methods that we use may be applied to non-abelian semigroups. We identify the C*-envelope for actions of the free semigroup $\mathbb{F}_+^n$ by automorphisms in a concrete way, and for injective systems in a more abstract manner. We also deal with C*-dynamical systems over Ore semigroups when the appropriate covariance relation is considered.
△ Less
Submitted 11 January, 2016; v1 submitted 5 April, 2014;
originally announced April 2014.
-
Distance-based phylogenetic methods around a polytomy
Authors:
Ruth Davidson,
Seth Sullivant
Abstract:
Distance-based phylogenetic algorithms attempt to solve the NP-hard least squares phylogeny problem by map** an arbitrary dissimilarity map representing biological data to a tree metric. The set of all dissimilarity maps is a Euclidean space properly containing the space of all tree metrics as a polyhedral fan. Outputs of distance-based tree reconstruction algorithms such as UPGMA and Neighbor-J…
▽ More
Distance-based phylogenetic algorithms attempt to solve the NP-hard least squares phylogeny problem by map** an arbitrary dissimilarity map representing biological data to a tree metric. The set of all dissimilarity maps is a Euclidean space properly containing the space of all tree metrics as a polyhedral fan. Outputs of distance-based tree reconstruction algorithms such as UPGMA and Neighbor-Joining are points in the maximal cones in the fan. Tree metrics with polytomies lie at the intersections of maximal cones.
A phylogenetic algorithm divides the space of all dissimilarity maps into regions based upon which combinatorial tree is reconstructed by the algorithm. Comparison of phylogenetic methods can be done by comparing the geometry of these regions. We use polyhedral geometry to compare the local nature of the subdivisions induced by least squares phylogeny, UPGMA, and Neighbor-Joining. Our results suggest that in some circumstances, UPGMA and Neighbor-Joining poorly match least squares phylogeny when the true tree has a polytomy.
△ Less
Submitted 22 July, 2013;
originally announced July 2013.
-
Multipliers of embedded discs
Authors:
Kenneth R. Davidson,
Michael Hartz,
Orr Shalit
Abstract:
We consider a number of examples of multiplier algebras on Hilbert spaces associated to discs embedded into a complex ball in order to examine the isomorphism problem for multiplier algebras on complete Nevanlinna-Pick reproducing kernel Hilbert spaces. In particular, we exhibit uncountably many discs in the ball of $\ell^2$ which are multiplier biholomorphic but have non-isomorphic multiplier alg…
▽ More
We consider a number of examples of multiplier algebras on Hilbert spaces associated to discs embedded into a complex ball in order to examine the isomorphism problem for multiplier algebras on complete Nevanlinna-Pick reproducing kernel Hilbert spaces. In particular, we exhibit uncountably many discs in the ball of $\ell^2$ which are multiplier biholomorphic but have non-isomorphic multiplier algebras. We also show that there are closed discs in the ball of $\ell^2$ which are varieties, and examine their multiplier algebras. In finite balls, we provide a counterpoint to a result of Alpay, Putinar and Vinnikov by providing a proper rational biholomorphism of the disc onto a variety $V$ in $\mathbb B_2$ such that the multiplier algebra is not all of $H^\infty(V)$. We also show that the transversality property, which is one of their hypotheses, is a consequence of the smoothness that they require.
△ Less
Submitted 18 June, 2014; v1 submitted 11 July, 2013;
originally announced July 2013.
-
The Choquet boundary of an operator system
Authors:
Kenneth R. Davidson,
Matthew Kennedy
Abstract:
We show that every operator system (and hence every unital operator algebra) has sufficiently many boundary representations to generate the C*-envelope.
We show that every operator system (and hence every unital operator algebra) has sufficiently many boundary representations to generate the C*-envelope.
△ Less
Submitted 12 June, 2013; v1 submitted 13 March, 2013;
originally announced March 2013.
-
The mathematical legacy of William Arveson
Authors:
Kenneth R. Davidson
Abstract:
This is a retrospective of some of William Arveson's many contributions to operator theory and operator algebras.
This is a retrospective of some of William Arveson's many contributions to operator theory and operator algebras.
△ Less
Submitted 27 September, 2012;
originally announced September 2012.
-
Polyhedral Combinatorics of UPGMA Cones
Authors:
Ruth Davidson,
Seth Sullivant
Abstract:
Distance-based methods such as UPGMA (Unweighted Pair Group Method with Arithmetic Mean) continue to play a significant role in phylogenetic research. We use polyhedral combinatorics to analyze the natural subdivision of the positive orthant induced by classifying the input vectors according to tree topologies returned by the algorithm. The partition lattice informs the study of UPGMA trees. We gi…
▽ More
Distance-based methods such as UPGMA (Unweighted Pair Group Method with Arithmetic Mean) continue to play a significant role in phylogenetic research. We use polyhedral combinatorics to analyze the natural subdivision of the positive orthant induced by classifying the input vectors according to tree topologies returned by the algorithm. The partition lattice informs the study of UPGMA trees. We give a closed form for the extreme rays of UPGMA cones on n taxa, and compute the normalized volumes of the UPGMA cones for small n.
Keywords: phylogenetic trees, polyhedral combinatorics, partition lattice
△ Less
Submitted 7 June, 2012;
originally announced June 2012.
-
Conjugate Dynamical Systems on C*-algebras
Authors:
Kenneth R. Davidson,
Evgenios T. A. Kakariadis
Abstract:
Let $(A, α)$ and $(B, β)$ be C*-dynamical systems where $α$ and $β$ are arbitrary *-endomorphisms. When $α$ is injective or surjective, we show that the semicrossed products $A \times_α\mathbb{Z}$ and $B \times_β\mathbb{Z}$ are isometrically isomorphic if and only if $(A, α)$ and $(B, β)$ are outer conjugate. This conclusion also holds in various other cases as well.
Let $(A, α)$ and $(B, β)$ be C*-dynamical systems where $α$ and $β$ are arbitrary *-endomorphisms. When $α$ is injective or surjective, we show that the semicrossed products $A \times_α\mathbb{Z}$ and $B \times_β\mathbb{Z}$ are isometrically isomorphic if and only if $(A, α)$ and $(B, β)$ are outer conjugate. This conclusion also holds in various other cases as well.
△ Less
Submitted 14 May, 2012;
originally announced May 2012.
-
A 3x3 dilation counterexample
Authors:
Man Duen Choi,
Kenneth R. Davidson
Abstract:
We define four 3x3 commuting contractions which do not dilate to commuting isometries. However they do satisfy the scalar von Neumann inequality. These matrices are all nilpotent of order 2. We also show that any three $3\times3$ commuting contractions which are scalar plus nilpotent of order 2 do dilate to commuting isometries.
We define four 3x3 commuting contractions which do not dilate to commuting isometries. However they do satisfy the scalar von Neumann inequality. These matrices are all nilpotent of order 2. We also show that any three $3\times3$ commuting contractions which are scalar plus nilpotent of order 2 do dilate to commuting isometries.
△ Less
Submitted 29 February, 2012;
originally announced March 2012.
-
Operator algebras for analytic varieties
Authors:
Kenneth R. Davidson,
Christopher Ramsey,
Orr Shalit
Abstract:
We study the isomorphism problem for the multiplier algebras of irreducible complete Pick kernels. These are precisely the restrictions $\mathcal M_V$ of the multiplier algebra $\mathcal M$ of Drury-Arveson space to a holomorphic subvariety $V$ of the unit ball $\mathbb{B}_d$.
We find that $\mathcal M_V$ is completely isometrically isomorphic to $\mathcal M_W$ if and only if $W$ is the image of…
▽ More
We study the isomorphism problem for the multiplier algebras of irreducible complete Pick kernels. These are precisely the restrictions $\mathcal M_V$ of the multiplier algebra $\mathcal M$ of Drury-Arveson space to a holomorphic subvariety $V$ of the unit ball $\mathbb{B}_d$.
We find that $\mathcal M_V$ is completely isometrically isomorphic to $\mathcal M_W$ if and only if $W$ is the image of $V$ under a biholomorphic automorphism of the ball. In this case, the isomorphism is unitarily implemented. This is then strengthend to show that, when $d<\infty$, every isometric isomorphism is completely isometric.
The problem of characterizing when two such algebras are (algebraically) isomorphic is also studied. When $V$ and $W$ are each a finite union of irreducible varieties and a discrete variety in $\mathbb{B}_d$ with $d<\infty$, then an isomorphism between $\mathcal M_V$ and $\mathcal M_W$ determines a biholomorphism (with multiplier coordinates) between the varieties; and the isomorphism is composition with this function. These maps are automatically weak-$*$ continuous.
We present a number of examples showing that the converse fails in several ways. We discuss several special cases in which the converse does hold---particularly, smooth curves and Blaschke sequences.
We also discuss the norm closed algebras associated to a variety, and point out some of the differences.
△ Less
Submitted 23 July, 2014; v1 submitted 19 January, 2012;
originally announced January 2012.
-
Dilation theory, commutant lifting and semicrossed products
Authors:
Kenneth R. Davidson,
Elias G. Katsoulis
Abstract:
We take a new look at dilation theory for nonself-adjoint operator algebras. Among the extremal (co)extensions of a representation, there is a special property of being fully extremal. This allows a refinement of some of the classical notions which are important when one moves away from standard examples. We show that many algebras including graph algebras and tensor algebras of C*-correspondences…
▽ More
We take a new look at dilation theory for nonself-adjoint operator algebras. Among the extremal (co)extensions of a representation, there is a special property of being fully extremal. This allows a refinement of some of the classical notions which are important when one moves away from standard examples. We show that many algebras including graph algebras and tensor algebras of C*-correspondences have the semi-Dirichlet property which collapses these notions and explains why they have a better dilation theory. This leads to variations of the notions of commutant lifting and Ando's theorem. This is applied to the study of semicrossed products by automorphisms, and endomorphisms which lift to the C*-envelope. In particular, we obtain several general theorems which allow one to conclude that semicrossed products of an operator algebra naturally imbed completely isometrically into the semicrossed product of its C*-envelope, and the C*-envelopes of these two algebras are the same.
△ Less
Submitted 1 September, 2011;
originally announced September 2011.
-
A lexicographic shellability characterization of geometric lattices
Authors:
Ruth Davidson,
Patricia Hersh
Abstract:
Geometric lattices are characterized in this paper as those finite, atomic lattices such that every atom ordering induces a lexicographic shelling given by an edge labeling known as a minimal labeling. Equivalently, geometric lattices are shown to be exactly those finite lattices such that every ordering on the join-irreducibles induces a lexicographic shelling. This new characterization fits into…
▽ More
Geometric lattices are characterized in this paper as those finite, atomic lattices such that every atom ordering induces a lexicographic shelling given by an edge labeling known as a minimal labeling. Equivalently, geometric lattices are shown to be exactly those finite lattices such that every ordering on the join-irreducibles induces a lexicographic shelling. This new characterization fits into a similar paradigm as McNamara's characterization of supersolvable lattices as those lattices admitting a different type of lexicographic shelling, namely one in which each maximal chain is labeled with a permutation of {1,...,n}.
△ Less
Submitted 15 October, 2013; v1 submitted 9 August, 2011;
originally announced August 2011.
-
Semicrossed products of the disc algebra
Authors:
Kenneth R. Davidson,
Elias G. Katsoulis
Abstract:
If $α$ is the endomorphism of the disk algebra, $\AD$, induced by composition with a finite Blaschke product $b$, then the semicrossed product $\AD\times_α \bZ^+$ imbeds canonically, completely isometrically into $\rC(\bT)\times_α \bZ^+$. Hence in the case of a non-constant Blaschke product $b$, the C*-envelope has the form $ \rC(§_{b})\times_{s} \bZ$, where $(§_{b}, s)$ is the solenoid system for…
▽ More
If $α$ is the endomorphism of the disk algebra, $\AD$, induced by composition with a finite Blaschke product $b$, then the semicrossed product $\AD\times_α \bZ^+$ imbeds canonically, completely isometrically into $\rC(\bT)\times_α \bZ^+$. Hence in the case of a non-constant Blaschke product $b$, the C*-envelope has the form $ \rC(§_{b})\times_{s} \bZ$, where $(§_{b}, s)$ is the solenoid system for $(\bT, b)$. In the case where $b$ is a constant, then the C*-envelope of $\AD\times_α \bZ^+$ is strongly Morita equivalent to a crossed product of the form $ \rC(§_{e})\times_{s} \bZ$, where $e \colon \bT \times \bN \longrightarrow \bT \times \bN$ is a suitable map and $(§_{e}, s)$ is the solenoid system for $(\bT \times \bN, \, e)$ .
△ Less
Submitted 7 April, 2011;
originally announced April 2011.
-
The isomorphism problem for some universal operator algebras
Authors:
Kenneth R. Davidson,
Christopher Ramsey,
Orr Shalit
Abstract:
This paper addresses the isomorphism problem for the universal (nonself-adjoint) operator algebras generated by a row contraction subject to homogeneous polynomial relations. We find that two such algebras are isometrically isomorphic if and only if the defining polynomial relations are the same up to a unitary change of variables, and that this happens if and only if the associated subproduct sys…
▽ More
This paper addresses the isomorphism problem for the universal (nonself-adjoint) operator algebras generated by a row contraction subject to homogeneous polynomial relations. We find that two such algebras are isometrically isomorphic if and only if the defining polynomial relations are the same up to a unitary change of variables, and that this happens if and only if the associated subproduct systems are isomorphic. The proof makes use of the complex analytic structure of the character space, together with some recent results on subproduct systems. Restricting attention to commutative operator algebras defined by radical relations yields strong resemblances with classical algebraic geometry. These commutative operator algebras turn out to be algebras of analytic functions on algebraic varieties. We prove a projective Nullstellensatz connecting closed ideals and their zero sets. Under some technical assumptions, we find that two such algebras are isomorphic as algebras if and only if they are similar, and we obtain a clear geometrical picture of when this happens. This result is obtained with tools from algebraic geometry, reproducing kernel Hilbert spaces, and some new complex-geometric rigidity results of independent interest. The C*-envelopes of these algebras are also determined. The Banach-algebraic and the algebraic classification results are shown to hold for the weak-operator closures of these algebras as well.
△ Less
Submitted 24 May, 2011; v1 submitted 4 October, 2010;
originally announced October 2010.
-
Nevanlinna-Pick Interpolation and Factorization of Linear Functionals
Authors:
Kenneth R. Davidson,
Ryan Hamilton
Abstract:
If $\fA$ is a unital weak-$*$ closed algebra of multiplication operators on a reproducing kernel Hilbert space which has the property $\bA_1(1)$, then the cyclic invariant subspaces index a Nevanlinna-Pick family of kernels. This yields an NP interpolation theorem for a wide class of algebras. In particular, it applies to many function spaces over the unit disk including Bergman space. We also sho…
▽ More
If $\fA$ is a unital weak-$*$ closed algebra of multiplication operators on a reproducing kernel Hilbert space which has the property $\bA_1(1)$, then the cyclic invariant subspaces index a Nevanlinna-Pick family of kernels. This yields an NP interpolation theorem for a wide class of algebras. In particular, it applies to many function spaces over the unit disk including Bergman space. We also show that the multiplier algebra of a complete NP space has $\bA_1(1)$, and thus this result applies to all of its subalgebras. A matrix version of this result is also established. It applies, in particular, to all unital weak-$*$ closed subalgebras of $H^\infty$ acting on Hardy space or on Bergman space.
△ Less
Submitted 6 January, 2011; v1 submitted 5 August, 2010;
originally announced August 2010.
-
Isomorphisms of tensor algebras of topological graphs
Authors:
Kenneth R. Davidson,
Jean Roydor
Abstract:
We show that if two tensor algebras of topological graphs are algebraically isomorphic, then the graphs are locally conjugate. Conversely, if the base space is at most one dimensional and the edge space is compact, then locally conjugate topological graphs yield completely isometrically isomorphic tensor algebras.
We show that if two tensor algebras of topological graphs are algebraically isomorphic, then the graphs are locally conjugate. Conversely, if the base space is at most one dimensional and the edge space is compact, then locally conjugate topological graphs yield completely isometrically isomorphic tensor algebras.
△ Less
Submitted 5 April, 2010;
originally announced April 2010.
-
Commutant Lifting for Commuting Row Contractions
Authors:
Kenneth R. Davidson,
Trieu Le
Abstract:
If $T= \big[ T_1 ... T_n\big]$ is a row contraction with commuting entries, and the Arveson dilation is $\tilde T= \big[ \tilde T_1 ... \tilde T_n\big]$, then any operator $X$ commuting with each $T_i$ dilates to an operator $Z$ of the same norm which commutes with each $\tilde T_i$.
If $T= \big[ T_1 ... T_n\big]$ is a row contraction with commuting entries, and the Arveson dilation is $\tilde T= \big[ \tilde T_1 ... \tilde T_n\big]$, then any operator $X$ commuting with each $T_i$ dilates to an operator $Z$ of the same norm which commutes with each $\tilde T_i$.
△ Less
Submitted 15 September, 2009; v1 submitted 24 June, 2009;
originally announced June 2009.
-
Dilating covariant representations of the non-commutative disc algebras
Authors:
K. R. Davidson,
E. G. Katsoulis
Abstract:
Let $φ$ be an isometric automorphism of the non-commutative disc algebra $\fA_n$ for $n \geq 2$. We show that every contractive covariant representation of $(\fA_n, φ)$ dilates to a unitary covariant representation of $(Ø_n, φ)$. Hence the C*-envelope of the semicrossed product $\fA_n \times_φ \bZ^+$ is $Ø_n \times_φ \bZ$.
Let $φ$ be an isometric automorphism of the non-commutative disc algebra $\fA_n$ for $n \geq 2$. We show that every contractive covariant representation of $(\fA_n, φ)$ dilates to a unitary covariant representation of $(Ø_n, φ)$. Hence the C*-envelope of the semicrossed product $\fA_n \times_φ \bZ^+$ is $Ø_n \times_φ \bZ$.
△ Less
Submitted 18 April, 2009;
originally announced April 2009.
-
Biholomorphisms of the unit ball of C^n and semicrossed products
Authors:
K. R. Davidson,
E. G. Katsoulis
Abstract:
Assume that $φ_1$ and $φ_2$ are automorphisms of the non-commutative disc algebra $\fA_n$, $n \geq 2$. We show that the semicrossed products $\fA_n \times_{φ_1} \bZ^+$ and $\fA_n \times_{φ_2} \bZ^+$ are isomorphic as algebras if and only if $φ_1$ and $φ_2$ are conjugate via an automorphism of $\fA_n$. A similar result holds for semicrossed products of the d-shift algebra $\A_d$, $d \geq 2$.
Assume that $φ_1$ and $φ_2$ are automorphisms of the non-commutative disc algebra $\fA_n$, $n \geq 2$. We show that the semicrossed products $\fA_n \times_{φ_1} \bZ^+$ and $\fA_n \times_{φ_2} \bZ^+$ are isomorphic as algebras if and only if $φ_1$ and $φ_2$ are conjugate via an automorphism of $\fA_n$. A similar result holds for semicrossed products of the d-shift algebra $\A_d$, $d \geq 2$.
△ Less
Submitted 18 April, 2009;
originally announced April 2009.
-
Nonself-adjoint operator algebras for dynamical systems
Authors:
K. R. Davidson,
E. G. Katsoulis
Abstract:
This paper is a survey of our recent work on operator algebras associated to dynamical systems that lead to classification results for the systems in terms of algebraic invariants of the operator algebras.
This paper is a survey of our recent work on operator algebras associated to dynamical systems that lead to classification results for the systems in terms of algebraic invariants of the operator algebras.
△ Less
Submitted 18 April, 2009;
originally announced April 2009.
-
Operator Algebras with Unique Preduals
Authors:
Kenneth R. Davidson,
Alex Wright
Abstract:
We show that every free semigroup algebras has a (strongly) unique Banach space predual. We also provide a new simpler proof that a weak*-closed unital operator operator algebra containing a weak* dense subalgebra of compact operators has a unique Banach space predual.
We show that every free semigroup algebras has a (strongly) unique Banach space predual. We also provide a new simpler proof that a weak*-closed unital operator operator algebra containing a weak* dense subalgebra of compact operators has a unique Banach space predual.
△ Less
Submitted 16 December, 2008;
originally announced December 2008.
-
C*-envelopes of tensor algebras for multivariable dynamics
Authors:
K. R. Davidson,
J. Roydor
Abstract:
We give a new very concrete description of the C*-envelope of the tensor algebra associated to multivariable dynamical system. In the surjective case, this C*-envelope is described as a crossed product by an endomorphism, and as a groupoid C*-algebra. In the non-surjective case, it is a full corner of a such an algebra. We also show that when the space is compact, then the C*-envelope is simple…
▽ More
We give a new very concrete description of the C*-envelope of the tensor algebra associated to multivariable dynamical system. In the surjective case, this C*-envelope is described as a crossed product by an endomorphism, and as a groupoid C*-algebra. In the non-surjective case, it is a full corner of a such an algebra. We also show that when the space is compact, then the C*-envelope is simple if and only if the system is minimal.
△ Less
Submitted 29 November, 2008;
originally announced December 2008.
-
Representations of Higher Rank Graph Algebras
Authors:
Kenneth R. Davidson,
Dilian Yang
Abstract:
Let $\Fth$ be a $\Bk$-graph on a single vertex. We show that every irreducible atomic $*$-representation is the minimal $*$-dilation of a group construction representation. It follows that every atomic representation decomposes as a direct sum or integral of such representations. We characterize periodicity of $\Fth$ and identify a symmetry subgroup $H_θ$ of $\bZ^\Bk$. If this has rank $s$, then…
▽ More
Let $\Fth$ be a $\Bk$-graph on a single vertex. We show that every irreducible atomic $*$-representation is the minimal $*$-dilation of a group construction representation. It follows that every atomic representation decomposes as a direct sum or integral of such representations. We characterize periodicity of $\Fth$ and identify a symmetry subgroup $H_θ$ of $\bZ^\Bk$. If this has rank $s$, then $\ca(\Fth) \cong \rC(\bT^s) \otimes \fA$ for some simple C*-algebra $\fA$.
△ Less
Submitted 23 April, 2008;
originally announced April 2008.
-
Topological Stable Rank of Nest Algebras
Authors:
Kenneth R. Davidson,
You Qing Ji
Abstract:
We establish a general result about extending a right invertible row over a Banach algebra to an invertible matrix. This is applied to the computation of right topological stable rank of a split exact sequence. We also introduce a quantitative measure of stable rank. These results are applied to compute the right (left) topological stable rank for all nest algebras. This value is either 2 or inf…
▽ More
We establish a general result about extending a right invertible row over a Banach algebra to an invertible matrix. This is applied to the computation of right topological stable rank of a split exact sequence. We also introduce a quantitative measure of stable rank. These results are applied to compute the right (left) topological stable rank for all nest algebras. This value is either 2 or infinity, and rtsr(T(N)) = 2 occurs only when N is of ordinal type less than omega^2 and the dimensions of the atoms grows sufficiently quickly. We introduce general results on `partial matrix algebras' over a Banach algebra. This is used to obtain an inequality akin to Rieffel's formula for matrix algebras over a Banach algebra. This is used to give further insight into the nest case.
△ Less
Submitted 8 April, 2008;
originally announced April 2008.
