Mathematics - Operator Algebras Publications (50)


Mathematics - Operator Algebras Publications

Concrete two-set (module-like and algebra-like) algebraic structures are investigated from the viewpoint that the initial arities of all operations are arbitrary. The relations between operations appearing from the structure definitions lead to restrictions, which determine their arity shape and lead to the partial arity freedom principle. In this manner, polyadic vector spaces and algebras, dual vector spaces, direct sums, tensor products and inner pairing spaces are reconsidered. Read More

An operator *-algebra is a non-selfadjoint operator algebra with completely isometric involution. We show that any operator *-algebra admits a faithful representation on a Hilbert space in such a way that the involution coincides with the operator adjoint up to conjugation by a symmetry. We introduce operator *-correspondences as a general class of inner product modules over operator *-algebras and prove a similar representation theorem for them. Read More

We prove that for arbitrary free probability measure preserving actions of connected simple Lie groups of real rank one, the crossed product has a unique Cartan subalgebra up to unitary conjugacy. We prove more generally that this result holds for all products of locally compact groups that are nonamenable, weakly amenable and that belong to Ozawa's class S. We deduce a W* strong rigidity theorem for irreducible actions of such product groups and we prove strong solidity of the associated locally compact group von Neumann algebras. Read More

The Baumslag-Solitar group is an example of an HNN extension. Spielberg showed that it has a natural positive cone, and that it is then a quasi-lattice ordered group in the sense of Nica. We give conditions for an HNN extension of a quasi-lattice ordered group $(G,P)$ to be quasi-lattice ordered. Read More

We construct a linear system non-local game which can be played perfectly using a limit of finite-dimensional quantum strategies, but which cannot be played perfectly on any finite-dimensional Hilbert space, or even with any tensor-product strategy. In particular, this shows that the set of (tensor-product) quantum correlations is not closed. The constructed non-local game provides another counterexample to the "middle" Tsirelson problem, with a shorter proof than our previous paper (though at the loss of the universal embedding theorem). Read More

In this paper, we compute the expectation of traces of powers of the hermitian matrix Jacobi process for a large enough but fixed size. To proceed, we first derive the semi-group density of its eigenvalues process as a bilinear series of symmetric Jacobi polynomials. Next, we use the expansion of power sums in the Schur polynomial basis and the integral Cauchy-Binet formula in order to determine the partitions having non zero contributions after integration. Read More

D. Ruelle considered a general setting where he is able to describe a formulation of the concept of Gibbs state based on conjugating homeomorphism in the so called Smale spaces. On this setting he shows a relation of KMS states of $C^*$-algebras and equilibrium probabilities of Thermodynamic Formalism. Read More

We prove that the orthogonal free quantum group factors $\mathcal{L}(\mathbb{F}O_N)$ are strongly $1$-bounded in the sense of Jung. In particular, they are not isomorphic to free group factors. This result is obtained by establishing a spectral regularity result for the edge reversing operator on the quantum Cayley tree associated to $\mathbb{F}O_N$, and combining this result with a recent free entropy dimension rank theorem of Jung. Read More

Given a selfadjoint polynomial $P(X,Y)$ in two noncommuting selfadjoint indeterminates, we investigate the asymptotic eigenvalue behavior of the random matrix $P(A\_N,B\_N)$, where $A\_N$ and $B\_N$ are independent random matrices and the distribution of $B\_N$ is invariant under conjugation by unitary operators. We assume that the empirical eigenvalue distributions of $A\_N$ and $B\_N$ converge almost surely to deterministic probability measures $\mu $ and $\nu$, respectively. In addition, the eigenvalues of $A\_N$ and $B\_N$ are assumed to converge uniformly almost surely to the support of $\mu$ and $\nu,$ respectively, except for a fixed finite number of fixed eigenvalues (spikes) of $A\_N$. Read More

We extend the $\lambda$-theory of operator spaces (based on the tensor norms obtained from homogeneous polynomials) given by Defant and Wiesner, which generalizes the notion of the projective, Haagerup and Schur tensor norm for operator spaces, to matrix ordered spaces and Banach *-algebras. Given matrix (ordered) regular operator space and (unital) operator systems, we introduce cones related to $\lambda$ for the algebraic operator space tensor product to be matrix (ordered) regular and (unital) operator system, respectively. The ideal structure in $\lambda$-tensor product of $C^*$-algebras is also discussed. Read More

We give explicit Fredholm conditions for classes of pseudodifferential operators on suitable singular and non-compact spaces. In particular, we include a "user's guide" to Fredholm conditions on particular classes of manifolds including asymptotically hyperbolic manifolds, asymptotically Euclidean (or conic) manifolds, and manifolds with poly-cylindrical ends. The reader interested in applications should be able read right away the results related to those examples, beginning with Section 5. Read More

We study mapping cones and their dual cones of positive maps of the n by n matrices into itself. For a natural class of cones there is a close relationship between maps in the cone, super-positive maps, and separable states. In particular the composition of a map from the cone with a map in the dual cone is super-positive, and so the natural state it defines is separable. Read More

Let S be a finitely generated subsemigroup of Z^2. We derive a general formula for the K-theory of the left regular C*-algebra for S. Read More

The modular Gromov-Hausdorff propinquity is a distance on classes of modules endowed with quantum metric information, in the form of a metric form of a connection and a left Hilbert module structure. This paper proves that the family of Heisenberg modules over quantum two tori, when endowed with their canonical connections, form a continuous family for the modular propinquity. Read More

In the first part of the paper, we introduce notions of asymptotic continuous orbit equivalence and asymptotic conjugacy in Smale spaces and characterize them in terms of their asymptotic Ruelle algebras with their dual actions. In the second part, we introduce a groupoid $C^*$-algebra which is an extended version of the asymptotic Ruelle algebra from a Smale space and study the extended Ruelle algebras from the view points of Cuntz--Krieger algebras. As a result, the asymptotic Ruelle algebra is realized as a fixed point algebra of the extended Ruelle algebra under certain circle action. Read More

We discuss the Bisognano-Wichmann property for local Poincar\'e covariant nets of standard subspaces. We give a sufficient algebraic condition on the covariant representation ensuring the Bisognano-Wichmann and Duality properties without further assumptions on the net called modularity condition. It holds for direct integrals of scalar massive and massless representations. Read More

We investigate the relationship between endomorphisms of the Cuntz algebra ${\mathcal O}_2$ and endomorphisms of the Thompson groups $F$, $T$ and $V$ represented inside the unitary group of ${\mathcal O}_2$. For an endomorphism $\lambda_u$ of ${\mathcal O}_2$, we show that $\lambda_u(V)\subseteq V$ if and only if $u\in V$. If $\lambda_u$ is an automorphism of ${\mathcal O}_2$ then $u\in V$ is equivalent to $\lambda_u(F)\subseteq V$. Read More

We provided an analogue Banach-Alaoglu theorem for Hilbert $H^*$-module. We construct a $\Lambda$-weak$^*$ topology on a Hilbert $H^*$-module over a proper $H^*$-algebra $\Lambda$, such that the unit ball is compact with respect to $\Lambda$-weak$^*$ topology. Read More

Partial actions of groups on C*-algebras and the closely related actions and coactions of Hopf algebras received much attention over the last decades. They arise naturally as restrictions of their global counterparts to non-invariant subalgebras, and the ambient eveloping global (co)actions have proven useful for the study of associated crossed products. In this article, we introduce the partial coactions of C*-bialgebras, focussing on C*-quantum, and prove existence of an enveloping global coaction under mild technical assumptions. Read More

We describe the Shilov boundary for a $q$-analog of the algebra of holomorphic functions on the unit ball in the space of symmetric $2 \times 2$ matrices. Read More

Given a non-trivial family of pairs of faces of unital C*-algebras where each pair has a faithful state, it is proved that if the bi-free product state is faithful on the reduced bi-free product of this family of pairs of faces then each pair of faces arises as a minimal tensor product. A partial converse is also obtained. Read More

Analogues of Brown measure and Haagerup-Schultz projections for tuples of commuting operators in a von Neumann algebra equipped with a faithful tracial state are constructed. These are called joint spectral distribution measures and decomposing projections, respectively, and they satisfy properties similar to their single operator precursors (i.e. Read More

Given a locally convex vector space with a topology induced by Hilbert seminorms and a continuous bilinear form on it we construct a topology on its symmetric algebra such that the usual star product of exponential type becomes continuous. Many properties of the resulting locally convex algebra are explained. We compare this approach to various other discussions of convergent star products in finite and infinite dimensions. Read More

We complete the proof of the Trace Theorem in the quantized calculus for quasi-Fuchsian group which was stated and sketched, but not fully proved, on pp. 322-325 in the book "Noncommutative Geometry" of the first author. Read More

We define branching systems for finitely aligned higher-rank graphs. From these we construct concrete representations of higher-rank graph C*-algebras on Hilbert spaces. We prove a generalized Cuntz-Krieger uniqueness theorem for periodic single-vertex 2-graphs. Read More

A locally compact groupoid is said to be exact if its associated reduced crossed product functor is exact. In this paper, we establish some permanence properties of exactness, including generalizations of some known results for exact groups. Our primary goal is to show that exactness descends to certain types of closed subgroupoids, which in turns gives conditions under which the isotropy groups of an exact groupoid are guaranteed to be exact. Read More

In this paper, we show a construction of inductive limit for operator system based on Archimedeanization. This inductive limit may be not a closed operator system. We prove that many nuclearity properties could be preserved by a special case of this inductive limit. Read More

We define a notion of (one-sided) edge shift spaces associated to ultragraphs. In the finite case our notion coincides with the edge shift space of a graph. In general, we show that our space is metrizable and has a countable basis of clopen sets. Read More

It is proved that the $q$-Araki-Woods von Neumann algebras $\Gamma_q(\CH_\R,U_t)^{\prime\prime}$ for $q\in (-1,1)$ are factors if $dim(\CH_\R)\geq 3$. Read More

Kazhdan constants of discrete groups are hard to compute and the actual constants are known only for several classes of groups. By solving a semidefinite programming problem by a computer, we obtain a lower bound of the Kazhdan constant of a discrete group. Positive lower bounds imply that the group has property (T). Read More

We define a notion of Euler totient for any irreducible subfactor planar algebra, using the M\"obius function of the biprojection lattice. We prove that if it is nonzero then there is a minimal 2-box projection generating the identity biprojection. We deduce a bridge between combinatorics and representations in finite groups theory. Read More

We extend the domain of the Karcher mean $\Lambda$ of positive operators on a Hilbert space to $L^1$-Borel probability measures on the cone of positive operators equipped with the Thompson part metric. We establish existence and uniqueness of $\Lambda$ as the solution of the Karcher equation by developing a nonlinear ODE theory for the relative operator entropy in the spirit of Crandall-Liggett, such that the solutions of the Karcher equation are the stationary solutions of the ODE, and all solution curves enjoy the exponential contraction estimate. This is possible despite the facts that the Thompson metric is non-Euclidean, non-differentiable, non-commutative as a metric space as well as non-separable, and the positive cone is non-locally compact as a manifold. Read More

Our aim is to prove the integration formula on the noncommutative (Moyal) plane in terms of singular traces {\it a la} Connes. Read More

In this paper, we propose a new approach to Cwikel estimates both for the Euclidean space and for the noncommutative Euclidean space. Read More

Subfactor theory provides a tool to analyze and construct extensions of Quantum Field Theories, once the latter are formulated as local nets of von Neumann algebras. We generalize some of the results of [LR95] to the case of extensions with infinite Jones index. This case naturally arises in physics, the canonical examples are given by global gauge theories with respect to a compact (non-finite) group of internal symmetries. Read More

We give a new formulation and proof of a theorem of Halmos and Wallen on the structure of power partial isometries on Hilbert space. We then use this theorem to give a structure theorem for a finite set of partial isometries which star-commute: each operator commutes with the others and with their adjoints. Read More

Let $f: \mathbb{R}^d \to\mathbb{R}$ be a Lipschitz function. If $B$ is a bounded self-adjoint operator and if $\{A_k\}_{k=1}^d$ are commuting bounded self-adjoint operators such that $[A_k,B]\in L_1(H),$ then $$\|[f(A_1,\cdots,A_d),B]\|_{1,\infty}\leq c(d)\|\nabla(f)\|_{\infty}\max_{1\leq k\leq d}\|[A_k,B]\|_1,$$ where $c(d)$ is a constant independent of $f$, $\mathcal{M}$ and $A,B$ and $\|\cdot\|_{1,\infty}$ denotes the weak $L_1$-norm. If $\{X_k\}_{k=1}^d$ (respectively, $\{Y_k\}_{k=1}^d$) are commuting bounded self-adjoint operators such that $X_k-Y_k\in L_1(H),$ then $$\|f(X_1,\cdots,X_d)-f(Y_1,\cdots,Y_d)\|_{1,\infty}\leq c(d)\|\nabla(f)\|_{\infty}\max_{1\leq k\leq d}\|X_k-Y_k\|_1. Read More

In this paper, the notion of bi-Boolean independence for non-unital pairs of algebras is introduced thereby extending the notion of Boolean independence to pairs of algebras. The notion of B-$(\ell, r)$-cumulants is defined via a bi-Boolean moment-cumulant formula over the lattice of bi-interval partitions, and it is demonstrated that bi-Boolean independence is equivalent to the vanishing of mixed B-$(\ell, r)$-cumulants. Furthermore, some of the simplest bi-Boolean convolutions are considered, and a bi-Boolean partial $\eta$-transform is constructed for the study of limit theorems and infinite divisibility with respect to the additive bi-Boolean convolution. Read More

We develop a completely bounded counterpart to the non-commutative Choquet boundary of an operator space. We show how the class of completely bounded linear maps is too large to accommodate our purposes. To overcome this obstacle, we isolate the subset of completely bounded linear maps on an operator space admitting a dilation of the same norm which is multiplicative on the generated $C^*$-algebra. Read More

Three separation properties for a closed subgroup $H$ of a locally compact group $G$ are studied: (1) the existence of a bounded approximate indicator for $H$, (2) the existence of a completely bounded invariant projection of $VN\left(G\right)$ onto $VN_{H}\left(G\right)$, and (3) the approximability of the characteristic function $\chi_{H}$ by functions in $M_{cb}A\left(G\right)$ with respect to the weak$^{*}$ topology of $M_{cb}A\left(G_{d}\right)$. We show that the $H$-separation property of Kaniuth and Lau is characterized by the existence of certain bounded approximate indicators for $H$ and that a discretized analogue of the $H$-separation property is equivalent to (3). Moreover, we give a related characterization of amenability of $H$ in terms of any group $G$ containing $H$ as a closed subgroup. Read More

In the study of locally convex quasi *-algebras an important role is played by representable linear functionals; i.e., functionals which allow a GNS-construction. Read More

We construct a non-commutative Aleksandrov-Clark measure for any element in the operator-valued free Schur class, the closed unit ball of the free Toeplitz algebra of vector-valued full Fock space over $\mathbb{C} ^d$. Here, the free (analytic) Toeplitz algebra is the unital weak operator topology (WOT)-closed algebra generated by the component operators of the free shift, the row isometry of left creation operators. This defines a bijection between the free operator-valued Schur class and completely positive maps (non-commutative AC measures) on the operator system of the free disk algebra, the norm-closed algebra generated by the free shift. Read More

In this paper, we consider pure infiniteness of generalized Cuntz-Krieger algebras associated to labeled spaces $(E,\mathcal{L},\mathcal{E})$. It is shown that a $C^*$-algebra $C^*(E,\mathcal{L},\mathcal{E})$ is purely infinite in the sense that every nonzero hereditary subalgebra contains an infinite projection (we call this property (IH)) if $(E, \mathcal{L},\mathcal{E})$ is disagreeable and every vertex connects to a loop. We also prove that under the condition analogous to (K) for usual graphs, $C^*(E,\mathcal{L},\mathcal{E})=C^*(p_A, s_a)$ is purely infinite in the sense of Kirchberg and R{\o}rdam if and only if every generating projection $p_A$, $A\in \mathcal{E}$, is properly infinite, and also if and only if every quotient of $C^*(E,\mathcal{L},\mathcal{E})$ has the property (IH). Read More

It is proved that for every surjective linear isometry $V$ on a perfect Banach symmetric ideal $\mathcal C_E\neq \mathcal C_2$ of compact operators, acting in a complex separable infnite-dimensional Hilbert space $\mathcal H$ there exist unitary operators $u$ and $v$ on $\mathcal H$ such that $V(x)=uxv$ or $V(x) = ux^tv$ for all $x\in \mathcal C_E$, where $x^t$ is the transpose of an operator $x$ with respect to a fixed orthonormal basis in $\mathcal H$. In addition, it is shown that any surjective 2-local isometry on a perfect Banach symmetric ideal $\mathcal C_E \neq \mathcal C_2$ is a linear isometry on $\mathcal C_E$. Read More

By adapting an ultraproduct technique of Junge and Zeng, we prove that radial completely bounded multipliers on $q$-Gaussian algebras transfer to $q$-Araki-Woods algebras. As a consequence, we establish the $w^{\ast}$-complete metric approximation property for all $q$-Araki-Woods algebras. We apply the latter result to show that the canonical ultraweakly dense C$^\ast$-subalgebras of $q$-Araki-Woods algebras are always QWEP. Read More

Continuing the study of preduals of spaces $L(H,Y)$ of bounded, linear maps, we consider the situation that $H$ is a Hilbert space. We establish a natural correspondence between isometric preduals of $L(H,Y)$ and isometric preduals of $Y$. The main ingredient is a Tomiyama-type result which shows that every contractive projection that complements $L(H,Y)$ in its bidual is automatically a right $L(H)$-module map. Read More

We associate to each synchronous game an algebra whose representations determine if the game has a perfect deterministic strategy, perfect quantum strategy or one of several other perfect strategies. when applied to the graph coloring game, this leads to characterizations in terms of properties of an algebra of various quantum chromatic numbers that have been studied in the literature. This allows us to develop a correspondence between various chromatic numbers of a graph and ideals in this algebra which can then be approached via various Grobner basis methods. Read More

In this Review we will study rigorously the notion of mixed states and their density matrices. We mostly give complete proofs. We will also discuss the quantum-mechanical consequences of possible variations of Planck's constant h. Read More

We show that a representation of a Banach algebra $A$ on a Banach space $X$ can be extended to a canonical representation of $A^{**}$ on $X$ if and only if certain orbit maps $A\to X$ are weakly compact. We apply this to study when the essential space of a representation is complemented. This provides a tool to disregard the difference between degenerate and nondegenerate representations on Banach spaces. Read More

Recht and R\'{e} introduced the noncommutative arithmetic geometric mean inequality (NC-AGM) for matrices with a constant depending on the degree $d$ and the dimension $m$. In this paper we prove AGM inequalities with a dimension-free constant for general operators. We also prove an order version of the AGM inequality under additional hypothesis. Read More