An Inequality Characterizes the Trace

1979 ◽  
Vol 31 (6) ◽  
pp. 1322-1328 ◽  
Author(s):  
L. Terrell Gardner
Keyword(s):  
Triangle Inequality ◽  
Operator Algebras ◽  
Schwarz Inequality ◽  
Unit Element ◽  
Integration Theory ◽  
List Type ◽  
Bounded Operators ◽  
Linear Maps ◽  
Image Position ◽  
Equivalent Conditions

1. Introduction. While analogues of the Schwarz inequality have been much studied in the context of positive linear maps of operator algebras ([1], [2], [6], [7], [10]) the simpler triangle inequality |ϕ(x)| ≦ (|x|) has been neglected, outside of (possibly non-commutative) integration theory—perhaps partly because except for the important and familiar example of traces, scalar maps satisfying the triangle inequality are rarely encountered. In fact we here prove that they are never encountered: every such map is a trace.For C*-algebras (norm-closed self-ad joint algebras of bounded operators on a Hilbert space) this means, for instance, that if the linear functional ϕ on the C*-algebra satisfies(†)then ϕ satisfies also the equivalent conditions (i) ϕ(xy) = ϕ(yx) for all x, y in ;(ii) ϕ(x*x) = ϕ(xx*) for all x in ;(iii) ϕ(x) = ϕ(uxu*) for all x in and all unitary u in Ae, the C*-lgebra formed from by adjunction of a unit element.

SHARP WEIGHTED BOUNDS FOR GEOMETRIC MAXIMAL OPERATORS

2016 ◽  
Vol 59 (3) ◽  
pp. 533-547 ◽  
Author(s):  
ADAM OSȨKOWSKI
Keyword(s):  
Maximal Operator ◽  
General Setting ◽  
Maximal Operators ◽  
List Type ◽  
Type Number ◽  
Type Estimate ◽  
Formula Group ◽  
Probability Spaces ◽  
Image Position

AbstractLet $\mathcal{M}$ and G denote, respectively, the maximal operator and the geometric maximal operator associated with the dyadic lattice on $\mathbb{R}^d$. (i)We prove that for any 0 < p < ∞, any weight w on $\mathbb{R}^d$ and any measurable f on $\mathbb{R}^d$, we have Fefferman–Stein-type estimate $$\begin{equation*} ||G(f)||_{L^p(w)}\leq e^{1/p}||f||_{L^p(\mathcal{M}w)}. \end{equation*} $$ For each p, the constant e1/p is the best possible.(ii)We show that for any weight w on $\mathbb{R}^d$ and any measurable f on $\mathbb{R}^d$, $$\begin{equation*} \int_{\mathbb{R}^d} G(f)^{1/\mathcal{M}w}w\mbox{d}x\leq e\int_{\mathbb{R}^d} |f|^{1/w}w\mbox{d}x \end{equation*} $$ and prove that the constant e is optimal. Actually, we establish the above estimates in a more general setting of maximal operators on probability spaces equipped with a tree-like structure.

Questions on data and the input to GEN

2016 ◽  
Vol 19 (5) ◽  
pp. 889-890 ◽  
Author(s):  
LUIS LÓPEZ
Keyword(s):  
Code Switching ◽  
List Type ◽  
Type Number ◽  
Image Position

The keynote article (Goldrick, Putnam & Schwartz, 2016) discusses doubling phenomena occasionally found in code-switching corpora. Their analysis focuses on an English–Tamil sentence in which an SVO sequence in English is followed by a verb in Tamil, resulting in an apparent VOV structure: (1)

scholarly journals Coordinates for analytic operator algebras

1989 ◽  
Vol 31 (1) ◽  
pp. 31-47
Author(s):  
Baruch Solel
Keyword(s):  
Abelian Group ◽  
Von Neumann Algebra ◽  
Operator Algebras ◽  
Dual Group ◽  
Positive Semigroup ◽  
Analytic Operator ◽  
Von Neumann ◽  
Finite Von Neumann Algebra ◽  
Analytic Algebra ◽  
Image Position

Let M be a σ-finite von Neumann algebra and α = {αt}t∈A be a representation of a compact abelian group A as *-automorphisms of M. Let Γ be the dual group of A and suppose that Γ is totally ordered with a positive semigroup Σ⊆Γ. The analytic algebra associated with α and Σ iswhere spα(a) is Arveson's spectrum. These algebras were studied (also for A not necessarily compact) by several authors starting with Loebl and Muhly [10].

scholarly journals Characterization of linear maps onMnwhose multiplicity maps have maximal norm, with an application in quantum information

Quantum ◽  
2018 ◽  
Vol 2 ◽  
pp. 51
Author(s):  
Daniel Puzzuoli
Keyword(s):  
Quantum Information ◽  
Quantum Channel ◽  
Operator Algebras ◽  
Optimal Performance ◽  
Single Shot ◽  
Trace Norm ◽  
Linear Maps ◽  
The Family ◽  
Matrix Transposition

Given a linear mapΦ:Mn→Mm, its multiplicity maps are defined as the family of linear mapsΦ⊗idk:Mn⊗Mk→Mm⊗Mk, whereidkdenotes the identity onMk. Let‖⋅‖1denote the trace-norm on matrices, as well as the induced trace-norm on linear maps of matrices, i.e.‖Φ‖1=max{‖Φ(X)‖1:X∈Mn,‖X‖1=1}. A fact of fundamental importance in both operator algebras and quantum information is that‖Φ⊗idk‖1can grow withk. In general, the rate of growth is bounded by‖Φ⊗idk‖1≤k‖Φ‖1, and matrix transposition is the canonical example of a map achieving this bound. We prove that, up to an equivalence, the transpose is the unique map achieving this bound. The equivalence is given in terms of complete trace-norm isometries, and the proof relies on a particular characterization of complete trace-norm isometries regarding preservation of certain multiplication relations.We use this result to characterize the set of single-shot quantum channel discrimination games satisfying a norm relation that, operationally, implies that the game can be won with certainty using entanglement, but is hard to win without entanglement. Specifically, we show that the well-known example of such a game, involving the Werner-Holevo channels, is essentially the unique game satisfying this norm relation. This constitutes a step towards a characterization of single-shot quantum channel discrimination games with maximal gap between optimal performance of entangled and unentangled strategies.

scholarly journals The spectrally bounded linear maps on operator algebras

2002 ◽  
Vol 150 (3) ◽  
pp. 261-271 ◽  
Author(s):  
Jianlian Cui ◽  
Jinchuan Hou
Keyword(s):  
Operator Algebras ◽  
Bounded Linear ◽  
Linear Maps ◽  
Spectrally Bounded

Existence Theorems for Some Weak Abstract Variable Domain Hyperbolic Problems

1971 ◽  
Vol 23 (4) ◽  
pp. 611-626 ◽  
Author(s):  
Robert Carroll ◽  
Emile State
Keyword(s):  
Hilbert Spaces ◽  
Differential Operators ◽  
Separable Hilbert Space ◽  
Hyperbolic Equations ◽  
Existence Theorems ◽  
Hyperbolic Problems ◽  
Linear Maps ◽  
Variable Domains ◽  
Elliptic Differential Operators ◽  
Image Position

In this paper we prove some existence theorems for some weak problems with variable domains arising from hyperbolic equations of the type1.1where A = {A(t)} is, for example, a family of elliptic differential operators in space variables x = (x1, …, xn). Thus let H be a separable Hilbert space and let V(t) ⊂ H be a family of Hilbert spaces dense in H with continuous injections i(t): V(t) → H (0 ≦ t ≦ T < ∞). Let V’ (t) be the antidual of V(t) (i.e. the space of continuous conjugate linear maps V(t) → C) and using standard identifications one writes V(t) ⊂ H ⊂ V‘(t).

Derivations Tangential to Compact Group Actions: Spectral Conditions in the Weak Closure

1985 ◽  
Vol 37 (1) ◽  
pp. 160-192 ◽  
Author(s):  
Ola Bratteli ◽  
Frederick M. Goodman
Keyword(s):  
Finite Elements ◽  
Common Core ◽  
Dimensional Space ◽  
List Type ◽  
Finite Dimensional Space ◽  
Type Number ◽  
Compact Lie Group ◽  
Parameter Group ◽  
Finite Dimensional ◽  
Image Position

Let G be a compact Lie group and a an action of G on a C*-algebra as *-automorphisms. Let denote the set of G-finite elements for this action, i.e., the set of those such that the orbit {αg(x):g ∊ G} spans a finite dimensional space. is a common core for all the *-derivations generating one-parameter subgroups of the action α. Now let δ be a *-derivation with domain such that Let us pose the following two problems:Is δ closable, and is the closure of δ the generator of a strongly continuous one-parameter group of *-automorphisms?If is simple or prime, under what conditions does δ have a decompositionwhere is the generator of a one-parameter subgroup of α(G) and is a bounded, or approximately bounded derivation?

scholarly journals Fourier multipliers on spaces of distributions

1986 ◽  
Vol 29 (3) ◽  
pp. 309-327 ◽  
Author(s):  
W. Lamb
Keyword(s):  
Banach Spaces ◽  
Growth Conditions ◽  
Fourier Multipliers ◽  
Bounded Operators ◽  
Vertical Strip ◽  
One Dimensional ◽  
The One ◽  
Image Position ◽  
Complex Valued

In [8], Rooney defines a class of complex-valued functions ζ each of which is analytic in a vertical strip α(ζ)< Res < β(ζ) in the complex s-plane and satisfies certain growth conditions as |Im s| →∞ along fixed lines Re s = c lying within this strip. These conditions mean that the functionsfulfil the requirements of the one-dimensional Mihlin-Hörmander theorem (see [6, p. 417]) and so can be regarded as Fourier multipliers for the Banach spaces . Consequently, each function gives rise to a family of bounded operators W[ζ,σ] σ ∈(α(ζ),β(ζ)), on , 1<p<∞.

On the Definition of C*-Algebras II

1985 ◽  
Vol 37 (4) ◽  
pp. 664-681 ◽  
Author(s):  
Zoltán Magyar ◽  
Zoltán Sebestyén
Keyword(s):  
Hilbert Space ◽  
Banach Algebra ◽  
Representation Theorem ◽  
Banach Algebras ◽  
Bounded Operators ◽  
Fundamental Representation ◽  
C Algebras ◽  
Definition Of ◽  
Image Position

The theory of noncommutative involutive Banach algebras (briefly Banach *-algebras) owes its origin to Gelfand and Naimark, who proved in 1943 the fundamental representation theorem that a Banach *-algebra with C*-condition(C*)is *-isomorphic and isometric to a norm-closed self-adjoint subalgebra of all bounded operators on a suitable Hilbert space.At the same time they conjectured that the C*-condition can be replaced by the B*-condition.(B*)In other words any B*-algebra is actually a C*-algebra. This was shown by Glimm and Kadison [5] in 1960.

scholarly journals Homomorphism theories for universal algebras

1968 ◽  
Vol 16 (1) ◽  
pp. 19-35 ◽  
Author(s):  
Hans-Jürgen Hoehnke
Keyword(s):  
Normal Subgroup ◽  
Unit Element ◽  
Group Rings ◽  
Universal Algebras ◽  
Ring Of Integers ◽  
Image Position

It is well-known that a homomorphism ø(A→B) between groups A and B induces a homomorphism ø*(ZA→ZB) between the corresponding group rings ZA and ZB over the ring of integers Z. The identical congruence O on B and the unit element eB of B can be characterised by the equations x–y = 0 and x–eB = 0 (x,y ∈ B) respectively. Similarly the congruence Γø corresponding to ø and the corresponding normal subgroup of A areand {x∈A1 = A,(x–eA)ø = 0} respectively.

Sign in / Sign up

Export Citation Format

Share Document