• ### Stability of group relations under small Hilbert-Schmidt perturbations(1706.08405)

March 25, 2019 math.OA, math.FA, math.GR
If matrices almost satisfying a group relation are close to matrices exactly satisfying the relation, then we say that a group is matricially stable. Here "almost" and "close" are in terms of the Hilbert-Schmidt norm. Using tracial 2-norm on $II_1$-factors we similarly define $II_1$-factor stability for groups. Our main result is that all 1-relator groups with non-trivial center are $II_{1}$-factor stable. Many of them are also matricially stable and RFD. For amenable groups we give a complete characterization of matricial stability in terms of the following approximation property for characters: each character must be a pointwise limit of traces of finite-dimensional representations. This allows us to prove matricial stability for the discrete Heisenberg group $\mathbb H_3$ and for all virtually abelian groups. For non-amenable groups the same approximation property is a necessary condition for being matricially stable. We study this approximation property and show that RF groups with character rigidity have it.
• ### Variations of projectivity for C*-algebras(1709.01379)

April 4, 2018 math.OA
We consider various lifting problems for C*-algebras. As an application of our results we show that any commuting family of order zero maps from matrices to a von Neumann central sequence algebra can be lifted to a commuting family of order zero maps to the C*-central sequence algebra.
• ### Continuity of spectral radius and type I $C^*$-algebras(1707.08848)

April 4, 2018 math.OA
It is shown that the spectral radius is continuous on a $C^*$-algebra if and only if the $C^*$-algebra is type I. This answers a question of V. Shulman and Yu.~Turovskii [10]. It is shown also that the closure of nilpotents in a $C^*$-algebra contains an element with non-zero spectrum if and only if the $C^*$-algebra is not type I.
• ### Geometry of quantum dynamics in infinite dimension(1711.06486)

Nov. 17, 2017 quant-ph, math.DG, math-ph, math.MP
We develop a geometric approach to quantum mechanics based on the concept of the Tulczyjew triple. Our approach is genuinely infinite-dimensional and including a Lagrangian formalism in which self-adjoint (Schroedinger) operators are obtained as Lagrangian submanifolds associated with the Lagrangian. As a byproduct we obtain also results concerning coadjoint orbits of the unitary group in infinite dimension, embedding of the Hilbert projective space of pure states in the unitary group, and an approach to self-adjoint extensions of symmetric relations.
• ### Elements of $C^*$-algebras Attaining Their Norm in a Finite-Dimensional Representation(1707.01949)

July 6, 2017 math.OA, math.FA
We characterize the class of RFD $C^*$-algebras as those containing a dense subset of elements that attain their norm under a finite-dimensional representation. We show further that this subset is the whole space precisely when every irreducible representation of the $C^*$-algebra is finite-dimensional, which is equivalent to the $C^*$-algebra having no simple infinite-dimensional AF subquotient. We apply techniques from this proof to show the existence of elements in more general classes of $C^*$-algebras whose norms in finite-dimensional representations fit certain prescribed properties.
• ### Tracial stability for C*-algebras(1607.04470)

June 22, 2017 math.OA, math.GR
We consider tracial stability, which requires that tuples of elements of a C*-algebra with a trace that nearly satisfy the relation are close to tuples that actually satisfy the relation. Here both "near" and "close" are in terms of the associated 2-norm from the trace, e.g., the Hilbert-Schmidt norm for matrices. Precise definitions are stated in terms of liftings from tracial ultraproducts of C*-algebras. We completely characterize matricial tracial stability for nuclear C*-algebras in terms of certain approximation properties for traces. For non-nuclear $C^{\ast}$-algebras we find new obstructions for stability by relating it to Voiculescu's free entropy dimension. We show that the class of C*-algebras that are stable with respect to tracial norms on real-rank-zero C*-algebras is closed under tensoring with commutative C*-algebras. We show that $C(X)$ is tracially stable with respect to tracial norms on all $C^{\ast}$-algebras if and only if $X$ is approximately path-connected.
• ### On superactivation of one-shot zero-error quantum capacity and the related property of quantum measurements(1312.3586)

June 8, 2016 quant-ph, math-ph, math.MP, math.OA
We begin with a detailed description of a low dimensional quantum channel ($d_A=4, d_E=3$) demonstrating the symmetric form of superactivation of one-shot zero-error quantum capacity. This means appearance of a noiseless (perfectly reversible) subchannel in the tensor square of a channel having no noiseless subchannels. Then we describe a quantum channel $\Phi$ such that $\,\bar{Q}_0(\Phi)=0$ and $\,\bar{Q}_0(\Phi\otimes\Phi)\geq\log n\,$ for any $\,n\leq+\infty$. We also show that the superactivation of one-shot zero-error quantum capacity of a channel can be reformulated in terms of quantum measurements theory as appearance of an indistinguishable subspace for tensor product of two observables having no indistinguishable subspaces.
• ### On subspaces of invariant vectors(1509.05263)

Sept. 17, 2015 math.FA, math.RT, math.GR
Let $X_{\pi}$ be the subspace of fixed vectors for a uniformly bounded representation $\pi$ of a group $G$ on a Banach space $X$. We study the problem of the existence and uniqueness of a subspace $Y$ that complements $X_{\pi}$ in $X$. Similar questions for $G$-invariant complement to $X_{\pi}$ are considered. We prove that every non-amenable discrete group $G$ has a representation with non-complemented $X_{\pi}$ and find some conditions that provide an $G$-invariant complement. A special attention is given to representations on $C(K)$ that arise from an action of $G$ on a metric compact $K$.
• ### On superactivation of zero-error capacities and reversibility of a quantum channel(1309.2610)

Dec. 29, 2014 quant-ph, math-ph, math.MP, math.OA
We propose examples of low dimensional quantum channels demonstrating different forms of superactivation of one-shot zero-error capacities, in particular, the extreme superactivation (this complements the recent result of T.S.Cubitt and G.Smith). We also describe classes of quantum channels whose zero-error classical and quantum capacities cannot be superactivated. We consider implications of the superactivation of one-shot zero-error capacities to analysis of reversibility of a tensor-product channel with respect to families of pure states. Our approach based on the notions of complementary channel and of transitive subspace of operators makes it possible to study the superactivation effects for infinite-dimensional channels as well.
• ### Approximations of subhomogeneous algebras(1203.4956)

May 30, 2012 math.OA
Let $n$ be a natural number. Recall that a C*-algebra is said to be $n$-subhomogeneous if all its irreducible representations have dimension at most $n$. In this short note, we give various approximation properties characterising $n$-subhomogeneous C*-algebras.
• ### Lifting algebraic contractions in C*-algebras(1111.6124)

Nov. 25, 2011 math.OA, math.FA
Let p be a polynomial in one variable. It is shown that the universal C*-algebra of the relation p(x)=0, \|x\| \le C is semiprojective, residually finite-dimensional and has trivial extension group.
• ### Noncommutative Semialgebraic Sets in Nilpotent Variables(1101.2269)

Jan. 12, 2011 math.OA
We solve the lifting problem in C^*-algebras for many sets of relations that include the relations x_j^{N_j} = 0 on each variable. The remaining relations must be of the form \| p(x_1,...,x_n) \| \leq C for C a positive constant and p a noncommutative *-polynomial that is in some sense homogeneous. For example, we prove liftability for the set of relations x^3=0, y^4=0, z^5=0, xx^*+yy^*+zz^* \leq 1. Thus we find more noncommutative semialgebraic sets that have the topology of noncommutative absolute retracts.
• ### A Generalized Spectral Radius Formula and Olsen's Question(1007.4655)

Sept. 19, 2010 math.OA, math.FA
Let $A$ be a $C^*$-algebra and $I$ be a closed ideal in $A$. For $x\in A$, its image under the canonical surjection $A\to A/I$ is denoted by $\dot x$, and the spectral radius of $x$ is denoted by $r(x)$. We prove that $$\max\{r(x), \|\dot x\|\} = \inf \|(1+i)^{-1}x(1+i)\|$$ (where infimum is taken over all $i\in I$ such that $1+i$ is invertible), which generalizes spectral radius formula of Murphy and West \cite{MurphyWest} (Rota for $\mathcal{B(H)}$ \cite{Rota}). Moreover if $r(x)< \|\dot x\|$ then the infimum is attained. A similar result is proved for commuting family of elements of a $C^*$-algebra. Using this we give a partial answer to an open question of C. Olsen: if $p$ is a polynomial then for "almost every" operator $T\in B(H)$ there is a compact perturbation $T+K$ of $T$ such that $$\|p(T+K)\| = \|p(T)\|_e.$$ We show also that if operators $A,B$ commute, $A$ is similar to a contraction and $B$ is similar to a strict contraction then they are simultaneously similar to contractions.
• ### Semiprojectivity of universal C*-algebras generated by algebraic elements(0810.2497)

April 19, 2010 math.OA, math.FA
Let $p$ be a polynomial in one variable whose roots either all have multiplicity more than 1 or all have multiplicity exactly 1. It is shown that the universal $C^*$-algebra of a relation $p(x)=0$, $\|x\| \le 1$ is semiprojective. In the case of all roots multiple it is shown that the universal $C^*$-algebra is also residually finite-dimensional. Applications to polynomially compact operators are given.
• ### Noncommutative Semialgebraic sets and Associated Lifting Problems(0907.2618)

Jan. 26, 2010 math.OA
We solve a class of lifting problems involving approximate polynomial relations (soft polynomial relations). Various associated C*-algebras are therefore projective. The technical lemma we need is a new manifestation of Akemann and Pedersen's discovery of the norm adjusting power of quasi-central approximate units. A projective C*-algebra is the analog of an absolute retract. Thus we can say that various noncommutative semialgebraic sets turn out to be absolute retracts. In particular we show a noncommutative absolute retract results from the intersection of the approximate locus of a homogeneous polynomial with the noncommutative unit ball. By unit ball we are referring the C*-algebra of the universal row contraction. We show projectivity of alternative noncommutative unit balls. Sufficiently many C*-algebras are now known to be projective that we are able to show that the cone over any separable C*-algebra is the inductive limit of C*-algebras that are projective.
• ### On algebras generated by inner derivations(0801.4862)

July 17, 2008 math.OA, math.FA