-
An Enhanced Semidefinite Relaxation Model Combined with Clique Graph Merging Strategy for Efficient AC Optimal Power Flow Solution
Authors:
Zhaojun Ruan,
Libao Shi
Abstract:
Semidefinite programming (SDP) is widely acknowledged as one of the most effective methods for deriving the tightest lower bounds of the optimal power flow (OPF) problems. In this paper, an enhanced semidefinite relaxation model that integrates tighter λ-based quadratic convex relaxation, valid inequalities, and optimality-based bound tightening algorithms derived in accordance with the branch the…
▽ More
Semidefinite programming (SDP) is widely acknowledged as one of the most effective methods for deriving the tightest lower bounds of the optimal power flow (OPF) problems. In this paper, an enhanced semidefinite relaxation model that integrates tighter λ-based quadratic convex relaxation, valid inequalities, and optimality-based bound tightening algorithms derived in accordance with the branch thermal limit boundary surface into the SDP framework is presented to further tighten the lower bounds of the feasible region of OPF problems, effectively combining the advantages of these recent advancements. Additionally, the utilization of chordal decomposition in the complex matrix formulation of SDP can significantly accelerate the solution time. Notably, for the same SDP problem, different chordal decompositions can result in varying solution time. To address this problem, this paper proposes a clique graph merging strategy within the complex matrix SDP framework, which assesses clique sizes and the computational burden on interior-point solvers, as well as reducing the need for hyperparameter tuning and further enhancing the solution efficiency. Finally, the proposed hybrid relaxation model is evaluated using MATPOWER and PGLib-OPF test cases, demonstrating its effectiveness in reducing the optimality gap and validating its computational performance on test cases with up to 13659-node.
△ Less
Submitted 29 September, 2024;
originally announced September 2024.
-
Hyperbolic problems with totally characteristic boundary
Authors:
Zhuoping Ruan,
Ingo Witt
Abstract:
We study first-order symmetrizable hyperbolic $N\times N$ systems in a spacetime cylinder whose lateral boundary is totally characteristic. In local coordinates near the boundary at $x=0$, these systems take the form \[
\partial_t u + \mathcal A(t,x,y,xD_x,D_y) u = f(t,x,y), \quad (t,x,y)\in(0,T)\times\mathbb R_+\times\mathbb R^d, \] where $\mathcal A(t,x,y,xD_x,D_y)$ is a first-order differenti…
▽ More
We study first-order symmetrizable hyperbolic $N\times N$ systems in a spacetime cylinder whose lateral boundary is totally characteristic. In local coordinates near the boundary at $x=0$, these systems take the form \[
\partial_t u + \mathcal A(t,x,y,xD_x,D_y) u = f(t,x,y), \quad (t,x,y)\in(0,T)\times\mathbb R_+\times\mathbb R^d, \] where $\mathcal A(t,x,y,xD_x,D_y)$ is a first-order differential operator with coefficients smooth up to $x=0$ and the derivative with respect to $x$ appears in the combination $xD_x$. No boundary conditions are required in such a situation and corresponding initial-boundary value problems are effectively Cauchy problems.
We introduce a certain scale of Sobolev spaces with asymptotics and show that the Cauchy problem for the operator $\partial_t + \mathcal A(t,x,y,xD_x,D_y)$ is well-posed in that scale. More specifically, solutions $u$ exhibit formal asymptotic expansions of the form \[
u(t,x,y) \sim \sum_{(p,k)} \frac{(-1)^k}{k!} x^{-p} \log^k \!x \, u_{pk}(t,y) \quad \text{as $x\to+0$} \] where $(p,k)\in\mathbb C\times\mathbb N_0$ and $\Re p\to-\infty$ as $|p|\to\infty$, provided that the right-hand side $f$ and the initial data $u|_{t=0}$ admit asymptotic expansions as $x \to +0$ of a similar form, with the singular exponents $p$ and their multiplicities unchanged. In fact, the coefficient $u_{pk}$ are, in general, not regular enough to write the terms appearing in the asymptotic expansions as tensor products. This circumstance requires an additional analysis of the function spaces. In addition, we demonstrate that the coefficients $u_{pk}$ solve certain explicitly known first-order symmetrizable hyperbolic systems in the lateral boundary.
Especially, it follows that the Cauchy problem for the operator $\partial_t+\mathcal A(t,x,y,xD_x,D_y)$ is well-posed in the scale of standard Sobolev spaces $H^s((0,T)\times\mathbb R_+^{1+d})$.
△ Less
Submitted 17 December, 2023;
originally announced December 2023.
-
A scheme for solving hyperbolic problems with symbolic structure
Authors:
Zhuoping Ruan,
Ingo Witt
Abstract:
Hyperbolic problems can at times be solved employing symbolic arguments. This is especially true for the construction of forward (and backward) fundamental solutions. We formulate a corresponding abstract scheme and illustrate its practicality by a number of instructive examples.
Hyperbolic problems can at times be solved employing symbolic arguments. This is especially true for the construction of forward (and backward) fundamental solutions. We formulate a corresponding abstract scheme and illustrate its practicality by a number of instructive examples.
△ Less
Submitted 14 December, 2023;
originally announced December 2023.
-
Minimal regularity solutions of semilinear generalized Tricomi equations
Authors:
Zhuoping Ruan,
Ingo Witt,
Huicheng Yin
Abstract:
We prove the local existence and uniqueness of minimal regularity solutions $u$ of the semilinear generalized Tricomi equation $\partial_t^2 u-t^m Δu =F(u)$ with initial data $(u(0,\cdot), \partial_t u(0,\cdot)) \in \dot{H^γ}(\mathbb R^n) \times \dot{H}^{γ-\frac2{m+2}}(\mathbb R^n)$ under the assumption that $|F(u)|\lesssim |u|^κ$ and $|F'(u)| \lesssim |u|^{κ-1}$ for some $κ>1$. Our results improv…
▽ More
We prove the local existence and uniqueness of minimal regularity solutions $u$ of the semilinear generalized Tricomi equation $\partial_t^2 u-t^m Δu =F(u)$ with initial data $(u(0,\cdot), \partial_t u(0,\cdot)) \in \dot{H^γ}(\mathbb R^n) \times \dot{H}^{γ-\frac2{m+2}}(\mathbb R^n)$ under the assumption that $|F(u)|\lesssim |u|^κ$ and $|F'(u)| \lesssim |u|^{κ-1}$ for some $κ>1$. Our results improve previous results of M. Beals [2] and of ourselves [15-17]. We establish Strichartz-type estimates for the linear generalized Tricomi operator $\partial_t^2 -t^m Δ$ from which the semilinear results are derived.
△ Less
Submitted 5 August, 2016;
originally announced August 2016.
-
Cb-frames for operator spaces
Authors:
Rui Liu,
Zhong-Jin Ruan
Abstract:
In this paper, we introduce the concept of cb-frames for operator spaces. We show that there is a concrete cb-frame for the reduced free group C*-algebra $C_r^*(F_2)$, which is derived from the infinite convex decomposition of the biorthogonal system $(λ_s, δ_s)_{s \in F_2}$. We show that, in general, a separable operator space X has a cb-frame if and only if it has the completely bounded approxim…
▽ More
In this paper, we introduce the concept of cb-frames for operator spaces. We show that there is a concrete cb-frame for the reduced free group C*-algebra $C_r^*(F_2)$, which is derived from the infinite convex decomposition of the biorthogonal system $(λ_s, δ_s)_{s \in F_2}$. We show that, in general, a separable operator space X has a cb-frame if and only if it has the completely bounded approximation property if and only if it is completely isomorphic to a completely complemented subspace of an operator space with a cb-basis. Therefore, a discrete group $Γ$ is weakly amenable if and only if the reduced group C*-algebra $C^*_r(Γ)$ has a cb-frame. Finally, we show that, in contrast to Banach space case, there exists a separable operator space, which can not be completely isomorphic to a subspace of an operator space with a cb-basis.
△ Less
Submitted 22 January, 2016;
originally announced January 2016.
-
On exotic group C*-algebras
Authors:
Zhong-Jin Ruan,
Matthew Wiersma
Abstract:
Let $Γ$ be a discrete group. A $C^*$-algebra $A$ is an exotic $C^*$-algebra (associated to $Γ$) if there exist proper surjective $C^*$-quotients $C^*(Γ)\to A\to C^*_r(Γ)$. In this paper, we show that a large class of exotic $C^*$-algebras have poor local properties. More precisely, we demonstrate the failure of local reflexitity, exactness, and local lifting property. Additionally, $A$ does not ad…
▽ More
Let $Γ$ be a discrete group. A $C^*$-algebra $A$ is an exotic $C^*$-algebra (associated to $Γ$) if there exist proper surjective $C^*$-quotients $C^*(Γ)\to A\to C^*_r(Γ)$. In this paper, we show that a large class of exotic $C^*$-algebras have poor local properties. More precisely, we demonstrate the failure of local reflexitity, exactness, and local lifting property. Additionally, $A$ does not admit an amenable trace and, hence, is not quasidiagonal and does not have the WEP when $A$ is from the class of exotic $C^*$-algebras defined by Brown and Guentner. In order to achieve the main results of this paper, we prove a result which implies the factorization property for the class of discrete groups which are algebraic subgroups of locally compact amenable groups.
△ Less
Submitted 9 March, 2016; v1 submitted 4 May, 2015;
originally announced May 2015.
-
On the existence of low regularity solutions to semilinear generalized Tricomi equations in mixed type domains
Authors:
Zhuoping Ruan,
Ingo Witt,
Huicheng Yin
Abstract:
In [19-20], we have established the existence and singularity structures of low regularity solutions to the semilinear generalized Tricomi equations in the degenerate hyperbolic regions and to the higher order degenerate hyperbolic equations, respectively. In the present paper, we shall be concerned with the low regularity solution problem for the semilinear mixed type equation…
▽ More
In [19-20], we have established the existence and singularity structures of low regularity solutions to the semilinear generalized Tricomi equations in the degenerate hyperbolic regions and to the higher order degenerate hyperbolic equations, respectively. In the present paper, we shall be concerned with the low regularity solution problem for the semilinear mixed type equation $\p_t^2u-t^{2l-1}Δu= f(t,x,u)$ with an initial data $u(0,x)=\varphi(x)\in H^{s}(\Bbb R^n)$ ($0\le s<\f{n}{2}$), where $(t,x)\in\Bbb R \times\Bbb R^n$, $n\ge 2$, $l\in\Bbb N$, $f(t,x,u)$ is $C^1$ smooth in its arguments and has compact support with respect to the variable $x$. Under the assumption of the subcritical growth of $f(t,x,u)$ on $u$, we will show the existence and regularity of the considered solution in the mixed type domain $[-T_0, T_0] \times \R^n $ for some fixed constant $T_0>0$.
△ Less
Submitted 2 September, 2014;
originally announced September 2014.
-
Realization of quantum group Poisson boundaries as crossed products
Authors:
Mehrdad Kalantar,
Matthias Neufang,
Zhong-Jin Ruan
Abstract:
For a locally compact quantum group $\mathbb{G}$, consider the convolution action of a quantum probability measure $μ$ on $L_\infty(\mathbb{G})$. As shown by Junge--Neufang--Ruan, this action has a natural extension to a Markov map on $\mathcal{B}(L_2(\mathbb{G}))$. We prove that the Poisson boundary of the latter can be realized concretely as the von Neumann crossed product of the Poisson boundar…
▽ More
For a locally compact quantum group $\mathbb{G}$, consider the convolution action of a quantum probability measure $μ$ on $L_\infty(\mathbb{G})$. As shown by Junge--Neufang--Ruan, this action has a natural extension to a Markov map on $\mathcal{B}(L_2(\mathbb{G}))$. We prove that the Poisson boundary of the latter can be realized concretely as the von Neumann crossed product of the Poisson boundary associated with $μ$ under the action of $\mathbb{G}$ induced by the coproduct. This yields an affirmative answer, for general locally compact quantum groups, to a problem raised by Izumi (2004) in the commutative situation, in which he settled the discrete case, and unifies earlier results of Jaworski, Neufang and Runde.
△ Less
Submitted 4 July, 2014;
originally announced July 2014.
-
$L_p$-Representations of Discrete Quantum Groups
Authors:
Michael Brannan,
Zhong-Jin Ruan
Abstract:
Given a locally compact quantum group $\mathbb G$, we define and study representations and C$^\ast$-completions of the convolution algebra $L_1(\mathbb G)$ associated with various linear subspaces of the multiplier algebra $C_b(\mathbb G)$. For discrete quantum groups $\mathbb G$, we investigate the left regular representation, amenability and the Haagerup property in this framework. When…
▽ More
Given a locally compact quantum group $\mathbb G$, we define and study representations and C$^\ast$-completions of the convolution algebra $L_1(\mathbb G)$ associated with various linear subspaces of the multiplier algebra $C_b(\mathbb G)$. For discrete quantum groups $\mathbb G$, we investigate the left regular representation, amenability and the Haagerup property in this framework. When $\mathbb G$ is unimodular and discrete, we study in detail the C$^\ast$-completions of $L_1(\mathbb G)$ associated with the non-commutative $L_p$-spaces $L_p(\mathbb G)$. As an application of this theory, we characterize (for each $p \in [1,\infty)$) the positive definite functions on unimodular orthogonal and unitary free quantum groups $\mathbb G$ that extend to states on the $L_p$-C$^\ast$-algebra of $\mathbb G$. Using this result, we construct uncountably many new examples of exotic quantum group norms for compact quantum groups.
△ Less
Submitted 27 October, 2014; v1 submitted 16 April, 2014;
originally announced April 2014.
-
The existence and singularity structure of low regularity solutions of higher-order degenerate hyperbolic equations
Authors:
Zhuoping Ruan,
Ingo Witt,
Huicheng Yin
Abstract:
This paper is a continuation of our previous work [21], where we have established that, for the second-order degenerate hyperbolic equation (\p_t^2-t^mΔ_x)u=f(t,x,u), locally bounded, piecewise smooth solutions u(t,x) exist when the initial data (u,\p_t u)(0,x) belongs to suitable conormal classes. In the present paper, we will study low regularity solutions of higher-order degenerate hyperbolic e…
▽ More
This paper is a continuation of our previous work [21], where we have established that, for the second-order degenerate hyperbolic equation (\p_t^2-t^mΔ_x)u=f(t,x,u), locally bounded, piecewise smooth solutions u(t,x) exist when the initial data (u,\p_t u)(0,x) belongs to suitable conormal classes. In the present paper, we will study low regularity solutions of higher-order degenerate hyperbolic equations in the category of discontinuous and even unbounded functions. More specifically, we are concerned with the local existence and singularity structure of low regularity solutions of the higher-order degenerate hyperbolic equations \p_t(\p_t^2-t^mΔ_x)u=f(t,x,u) and (\p_t^2-t^{m_1}Δ_x)(\p_t^2-t^{m_2}Δ_x)v=f(t,x,v) in \R_+\times\R^n with discontinuous initial data \p_t^iu(0,x)=φ_i(x) (0\le i\le 2) and \p_t^jv(0,x)=ψ_j(x) (0\le j\le 3), respectively; here m, m_1, m_2\in\N, m_1\neq m_2, x\in\R^n, n\ge 2, and f is C^\infty smooth in its arguments. When the φ_i and ψ_j are piecewise smooth with respect to the hyperplane \{x_1=0\} at t=0, we show that local solutions u(t,x), v(t,x)\in L^{\infty}((0,T)\times\R^n) exist which are C^\infty away from \G_0\cup \G_m^\pm and \G_{m_1}^\pm\cup\G_{m_2}^\pm in [0,T]\times\R^n, respectively; here \G_0=\{(t,x): t\ge 0, x_1=0\} and the Γ_k^\pm = \{(t,x): t\ge 0, x_1=\pm \f{2t^{(k+2)/2}}{k+2}\} are two characteristic surfaces forming a cusp. When the φ_i and ψ_j belong to C_0^\infty(\R^n\setminus\{0\}) and are homogeneous of degree zero close to x=0, then there exist local solutions u(t,x), v(t,x)\in L_{loc}^\infty((0,T]\times\R^n) which are C^\infty away from \G_m\cup l_0 and \G_{m_1}\cup\G_{m_2} in [0,T]\times\R^n, respectively; here Γ_k=\{(t,x): t\ge 0, |x|^2=\f{4t^{k+2}}{(k+2)^2}\} (k=m, m_1, m_2) is a cuspidal conic surface and l_0=\{(t,x): t\ge 0, |x|=0\} is a ray.
△ Less
Submitted 13 July, 2013;
originally announced July 2013.
-
On the existence and cusp singularity of solutions to semilinear generalized Tricomi equations with discontinuous initial data
Authors:
Zhuoping Ruan,
Ingo Witt,
Huicheng Yin
Abstract:
In this paper, we are concerned with the local existence and singularity structure of low regularity solutions to the semilinear generalized Tricomi equation $\p_t^2u-t^mΔu=f(t,x,u)$ with typical discontinuous initial data $(u(0,x), \p_tu(0,x))=(0, \vp(x))$; here $m\in\Bbb N$, $x=(x_1, ..., x_n)$, $n\ge 2$, and $f(t,x,u)$ is $C^{\infty}$ smooth in its arguments. When the initial data $\vp(x)$ is a…
▽ More
In this paper, we are concerned with the local existence and singularity structure of low regularity solutions to the semilinear generalized Tricomi equation $\p_t^2u-t^mΔu=f(t,x,u)$ with typical discontinuous initial data $(u(0,x), \p_tu(0,x))=(0, \vp(x))$; here $m\in\Bbb N$, $x=(x_1, ..., x_n)$, $n\ge 2$, and $f(t,x,u)$ is $C^{\infty}$ smooth in its arguments. When the initial data $\vp(x)$ is a homogeneous function of degree zero or a piecewise smooth function singular along the hyperplane ${t=x_1=0}$, it is shown that the local solution $u(t,x)\in L^{\infty}([0,T]\times\Bbb R^n)$ exists and is $C^{\infty}$ away from the forward cuspidal cone $Γ_0=\bigl{(t,x)\colon t>0, |x|^2=\ds\f{4t^{m+2}}{(m+2)^2}\bigr}$ and the characteristic cuspidal wedge $\G_1^{\pm}=\bigl{(t,x)\colon t>0, x_1=\pm \ds\f{2t^{\f{m}{2}+1}}{m+2}\bigr}$, respectively. On the other hand, for $n=2$ and piecewise smooth initial data $\vp(x)$ singular along the two straight lines ${t=x_1=0}$ and ${t=x_2=0}$, we establish the local existence of a solution $u(t,x)\in L^{\infty}([0,T]\times\Bbb R^2)\cap C([0, T], H^{\f{m+6}{2(m+2)}-}(\Bbb R^2))$ and show further that $u(t,x)\not\in C^2((0,T]\times\Bbb R^2\setminus(\G_0\cup\G_1^{\pm}\cup\G_2^{\pm}))$ in general due to the degenerate character of the equation under study; here $\G_2^{\pm}=\bigl{(t,x)\colon t>0, x_2=\pm\ds\f{2t^{\f{m}{2}+1}}{m+2}\bigr}$. This is an essential difference to the well-known result for solutions $v(t,x)\in C^{\infty}(\Bbb R^+\times\Bbb R^2\setminus (Σ_0\cupΣ_1^{\pm}\cup Σ_2^{\pm}))$ to the 2-D semilinear wave equation $\p_t^2v-Δv=f(t,x,v)$ with $(v(0,x), \p_tv(0,x))=(0, \vp(x))$, where $Σ_0={t=|x|}$, $Σ_1^{\pm}={t=\pm x_1}$, and $Σ_2^{\pm}={t=\pm x_2}$.
△ Less
Submitted 1 November, 2012;
originally announced November 2012.
-
Poisson boundaries over locally compact quantum groups
Authors:
Mehrdad Kalantar,
Matthias Neufang,
Zhong-Jin Ruan
Abstract:
We present versions of several classical results on harmonic functions and Poisson boundaries in the setting of locally compact quantum groups. In particular, the Choquet--Deny theorem holds for compact quantum groups; also, the result of Kaimanovich--Vershik and Rosenblatt, which characterizes group amenability in terms of harmonic functions, admits a non-commutative analogue in the separable cas…
▽ More
We present versions of several classical results on harmonic functions and Poisson boundaries in the setting of locally compact quantum groups. In particular, the Choquet--Deny theorem holds for compact quantum groups; also, the result of Kaimanovich--Vershik and Rosenblatt, which characterizes group amenability in terms of harmonic functions, admits a non-commutative analogue in the separable case. We also explore the relation between classical and quantum Poisson boundaries by investigating the spectrum of the quantum group. We apply this machinery to find a concrete realization of the Poisson boundaries of the compact quantum group $SU_{q}(2)$ arising from measures on its spectrum.
△ Less
Submitted 4 April, 2014; v1 submitted 24 November, 2011;
originally announced November 2011.
-
Multipliers on a new class of Banach algebras, locally compact quantum groups, and topological centres
Authors:
Zhiguo Hu,
Matthias Neufang,
Zhong-Jin Ruan
Abstract:
We study multiplier algebras for a large class of Banach algebras which contains the group algebra $L_1(G)$, the Beurling algebras $L_1(G, ω)$, and the Fourier algebra $A(G)$ of a locally compact group $G$. This study yields numerous new results and unifies some existing theorems on $L_1(G)$ and $A(G)$ through an abstract Banach algebraic approach. Applications are obtained on representations of…
▽ More
We study multiplier algebras for a large class of Banach algebras which contains the group algebra $L_1(G)$, the Beurling algebras $L_1(G, ω)$, and the Fourier algebra $A(G)$ of a locally compact group $G$. This study yields numerous new results and unifies some existing theorems on $L_1(G)$ and $A(G)$ through an abstract Banach algebraic approach. Applications are obtained on representations of multipliers over locally compact quantum groups and on topological centre problems. In particular, five open problems in abstract harmonic analysis are solved.
△ Less
Submitted 23 November, 2006;
originally announced November 2006.
-
A classification for 2-isometries of noncommutative Lp-spaces
Authors:
Marius Junge,
Zhong-Jin Ruan,
David Sherman
Abstract:
In this paper we extend previous results of Banach, Lamperti and Yeadon on isometries of Lp-spaces to the non-tracial case first introduced by Haagerup. Specifically, we use operator space techniques and an extrapolation argument to prove that every 2-isometry T : Lp(M) to Lp(N) between arbitrary noncommutative Lp-spaces can always be written in the form T(phi^{1/p}) = w (phi circ pi^{-1} circ E…
▽ More
In this paper we extend previous results of Banach, Lamperti and Yeadon on isometries of Lp-spaces to the non-tracial case first introduced by Haagerup. Specifically, we use operator space techniques and an extrapolation argument to prove that every 2-isometry T : Lp(M) to Lp(N) between arbitrary noncommutative Lp-spaces can always be written in the form T(phi^{1/p}) = w (phi circ pi^{-1} circ E)^{1/p}, for phi in M_*^+. Here pi is a normal *-isomorphism from M onto the von Neumann subalgebra pi(M) of N, w is a partial isometry in N, and E is a normal conditional expectation from N onto pi(M). As a consequence of this, any 2-isometry is automatically a complete isometry and has completely contractively complemented range.
△ Less
Submitted 11 February, 2004;
originally announced February 2004.
-
On ${\OL}_{\infty}$ structure of nuclear $C^*$-algebras
Authors:
M. Junge,
N. Ozawa,
Z. J. Ruan
Abstract:
We study the local operator space structure of nuclear $C^*$-algebras. It is shown that a $C^*$-algebra is nuclear if and only if it is an $\OL_{\infty, \la}$ space for some (and actually for every) $\la > 6$. The $\OL_\infty$ constant $λ$ provides an interesting invariant \[ \OL_\infty (\A) = \inf\{\la: ~ \A ~{\rm is ~ an} ~ {\OL}_{\infty, \la} ~ {\rm space}\} \] for nuclear $C^*$-algebras. Ind…
▽ More
We study the local operator space structure of nuclear $C^*$-algebras. It is shown that a $C^*$-algebra is nuclear if and only if it is an $\OL_{\infty, \la}$ space for some (and actually for every) $\la > 6$. The $\OL_\infty$ constant $λ$ provides an interesting invariant \[ \OL_\infty (\A) = \inf\{\la: ~ \A ~{\rm is ~ an} ~ {\OL}_{\infty, \la} ~ {\rm space}\} \] for nuclear $C^*$-algebras. Indeed, if $\A$ is a nuclear $C^*$-algebra, then we have $1\le \OL_\infty (\A) \le 6$, and if $\A$ is a unital nuclear $C^*$-algebra with $\OL_{\infty} (\A) \le (\frac {1+{\sqrt 5}}2)^{\frac 12}$, we show that $\A$ must be stably finite.
We also investigate the connection between the rigid $\OL_{\infty, 1^+}$ structure and the rigid complete order $\OL_{\infty, 1^+}$ structure on $C^*$-algebras, where the latter structure has been studied by Blackadar and Kirchberg in their characterization of strong NF $C^*$-algebras. Another main result of this paper is to show that these two local structrues are actually equivalent on unital nuclear $C^*$-algebras. We obtain this by showing that if a unital (nuclear) $C^*$-algebra is a rigid ${\OL}_{\infty, 1^+}$ space, then it is inner quasi-diagonal, and thus is a strong NF algebra. It is also shown that if a unital (nuclear) $C^*$-algebra is an ${\OL}_{\infty, 1^+}$ space, then it is quasi-diagonal, and thus is an NF algebra.
△ Less
Submitted 6 June, 2002;
originally announced June 2002.
-
Approximation Properties for Non-commutative L_p-Spaces Associated with Discrete Groups
Authors:
M. Junge,
Z. -J. Ruan
Abstract:
Let $1 < p < \infty$. It is shown that if $G$ is a discrete group with the approximation property introduced by Haagerup and Kraus, then the non-commutative $L_p(VN(G))$ space has the operator space approximation property. If, in addition, the group von Neumann algebra $VN(G)$ has the QWEP, i.e. is a quotient of a $C^*$-algebra with Lance's weak expectation property, then $L_p(VN(G))$ actually h…
▽ More
Let $1 < p < \infty$. It is shown that if $G$ is a discrete group with the approximation property introduced by Haagerup and Kraus, then the non-commutative $L_p(VN(G))$ space has the operator space approximation property. If, in addition, the group von Neumann algebra $VN(G)$ has the QWEP, i.e. is a quotient of a $C^*$-algebra with Lance's weak expectation property, then $L_p(VN(G))$ actually has the completely contractive approximation property and the approximation maps can be chosen to be finite-rank completely contractive multipliers on $L_p(VN(G))$. Finally, we show that if $G$ is a countable discrete group having the approximation property and $VN(G)$ has the QWEP, then $L_p(VN(G))$ has a very nice local structure, i.e. it is a $\mathcal C\OL_p$ space and has a completely bounded Schauder basis.
△ Less
Submitted 6 June, 2002;
originally announced June 2002.
-
Integral mappings and the principle of local reflexivity for noncommutative L^1-spaces
Authors:
Edward G. Effros,
Marius Junge,
Zhong-Jin Ruan
Abstract:
The operator space analogue of the {\em strong form} of the principle of local reflexivity is shown to hold for any von Neumann algebra predual, and thus for any $C^{*}$-algebraic dual. This is in striking contrast to the situation for $C^{*}$-algebras, since, for example, $K(H)$ does not have that property. The proof uses the Kaplansky density theorem together with a careful analysis of two not…
▽ More
The operator space analogue of the {\em strong form} of the principle of local reflexivity is shown to hold for any von Neumann algebra predual, and thus for any $C^{*}$-algebraic dual. This is in striking contrast to the situation for $C^{*}$-algebras, since, for example, $K(H)$ does not have that property. The proof uses the Kaplansky density theorem together with a careful analysis of two notions of integrality for mappings of operator spaces.
△ Less
Submitted 3 August, 2000;
originally announced August 2000.
