自伴标准算子代数上强保持k-斜交换性映射的刻画

令H是维数大于2的复Hilbert空间,A是H上自伴标准算子代数.对于给定的正整数k≥1,H上算子A与B的k-斜交换子递推地定义为_*[A,B]_k=_*[A,_*[A,B]_k-1],其中_*[A,B]₀=B,_*[A,B]₁=AB-BA^*.设k≥4,φ是A上的值域包含所有一秩投影的映射.本文证明了φ满足_*[φ（A）,φ（B）]_k=_*[A,B]_k对任意A,B∈A都成立的充分必要条件是φ（A）=A对任意A∈A都成立,或φ（A）=-A对任意A∈A都成立.当k是偶数时后一情形不出现.     

Nonlinear Preserver Problems on B（H）

Let H be a complex Hilbert space of dimension greater than 2, and B(H) denote the Banach algebra of all bounded linear operators on H. For A, B ∈ B(H), define the binary relation A ≤* B by A*A = A*B and AA* = AB*. Then (B(H), “≤*”) is a partially ordered set and the relation “≤*” is called the star order on B(H). Denote by Bs(H) the set of all self-adjoint operators in B(H). In this paper, we first characterize nonlinear continuous bijective maps on B _s (H) which preserve the star order in both directions. We characterize also additive maps (or linear maps) on B(H) (or nest algebras) which are multiplicative at some invertible operator.     

Strong skew commutativity preserving maps on rings with involution

Let R be a unital *-ring with the unit I.Assume that R contains a symmetric idempotent P which satisfies ARP = 0 implies A = 0 and AR(I-P) = 0 implies A = 0.In this paper,it is shown that a surjective map Φ:R→R is strong skew commutativity preserving(that is,satisfiesΦ(A)Φ(B)-Φ(B)Φ(A)~w= AB-BA~w for all A,B∈R) if and only if there exist a map f:R→Z_s(R)and an element Z∈Z_s(R) with Z~2=I such that Φ(A)=ZA +f(A) for all A∈R,where Z_s(R) is the symmetric center of R.As applications,the strong skew commutativity preserving maps on unital prime *-rings and von Neumann algebras with no central summands of type I_1 are characterized.     

三阶复正交矩阵与二阶矩阵代数上的相似变换

设M_2是二阶复矩阵的全体,Φ是M_2上的线性映射.本文建立了三阶复正交矩阵与M_2上的相似变换之间的一一对应关系,并利用这一对应关系证明了Φ保Lie积行列式(谱、边缘谱)的充要条件是存在c∈{±1,±i},二阶可逆矩阵T和二阶矩阵S,使得Φ(A)=cTAT~(-1)+tr(SA)I对所有A∈M_2都成立.     

Spectral Properties of <Emphasis Type="Italic">k</Emphasis>-Quasi-<Emphasis Type="Italic">M</Emphasis>-hyponormal Operators

In this paper, we study the k-quasi-M-hyponormal operator and mainly prove that if T is a k-quasi-M-hyponormal operator, then \(\sigma _{ja}(T)\backslash \{0\}=\sigma _{a}(T)\backslash \{0\}\), and the spectrum is continuous on the class of all k-quasi-M-hyponormal operators; let \(d_{AB}\in B(B(H))\) denote either the generalized derivation \(\delta _{AB}= L_{A}-R_{B}\) or the elementary operator \(\Delta _{AB} =L_{A}R_{B}- I\), we show that if A and \(B^{*}\) are k-quasi-M-hyponormal operators, then \(d_{AB}\) is polaroid and generalized Weyl’s theorem holds for \(f(d_{AB})\), where f is an analytic function on \(\sigma (d_{AB})\) and f is not constant on each connected component of the open set U containing \(\sigma (d_{AB})\). In additon, we discuss the hyperinvariant subspace problem for k-quasi-M-hyponormal operators.     

The Existence of LHMTS(<Emphasis Type="Italic">m</Emphasis><Superscript><Emphasis Type="Italic">v</Emphasis></Superscript>) and LHDTS(<Emphasis Type="Italic">m</Emphasis><Superscript><Emphasis Type="Italic">v</Emphasis></Superscript>)

In this article, we establish the existence of an LHMTS(m^v) for v ≡ 2 (mod 6) and m≡ 3 (mod 6). Thus there exists an LHMTS(m^v) if and only if v(v-1)m² ≡ 0 (mod 3) except possibly for v=6, m≡ 1, 5 (mod 6) and m≠1. In the similar way, the existence of LHDTS(m^v) is completely determined, i.e., there exists an LHDTS(m^v) if and only if v(v-1)m² ≡ 0 (mod 3).     

Self-maps of <Emphasis Type="Italic">S</Emphasis><Superscript>2</Superscript> homotopic to a smooth map with a single <Emphasis Type="Italic">n</Emphasis>-periodic point

We show for which (d,n) ∈ Z×N there exists a smooth self-map f:S² → S² so that deg(f)=d and Fix(fⁿ) is a point.     

Normality of Products of <Emphasis Type="Italic">p</Emphasis>-Hyponormal Operators and Their Aluthge Transforms

Let B(H) denote the algebra of operators on a complex separable Hilbert space H, and let A $\in$ B(H) have the polar decomposition A = U|A|. The Aluthge transform is defined to be the operator . We say that A $\in$ B(H) is p-hyponormal, . Let . Given p-hyponormal , such that AB is compact, this note considers the relationship between denotes an enumeration in decreasing order repeated according to multiplicity of the eigenvalues of the compact operator T (respectively, singular values of the compact operator T). It is proved that is bounded above by and below by for all j = 1, 2, . . . and that if also is normal, then there exists a unitary U¹ such that for all j = 1, 2, . . ..     

Solvable <Emphasis Type="Italic">D</Emphasis><Subscript>2</Subscript>-groups

Let G be a finite group, Irr¹(G) be the set of nonlinear irreducible characters of G and cd¹(G) the set of degrees of the characters in Irr¹(G). A group G is said to be a D₂-group if|cd¹(G)|=|Irr¹(G)|-2. In this paper, we give a complete classification of solvable D₂-groups.     

Numerical Ranges of <Emphasis Type="Italic">C</Emphasis><Subscript>0</Subscript>(<Emphasis Type="Italic">N</Emphasis>) Contractions

A conjecture of Halmos proved by Choi and Li states that the closure of the numerical range of a contraction on a Hilbert space is the intersection of the closure of the numerical ranges of all its unitary dilations. We show that for C ₀(N) contractions one can restrict the intersection to a smaller family of dilations. This generalizes a finite dimensional result of Gau and Wu.     

Eigenvalues of the Manifold Sp（n）/U（n）

In this paper, we give the eigenvalues of the manifold Sp(n)/U(n). We prove that an eigenvalue λ _s (f ₂, f ₂, …, f _n ) of the Lie group Sp(n), corresponding to the representation with label (f ₁, f ₂, ..., f _n ), is an eigenvalue of the manifold Sp(n)/U(n), if and only if f ₁, f ₂, …, f _n are all even.     

<Emphasis Type="Italic">AF</Emphasis>-subalgebras of a <Emphasis Type="Italic">C*</Emphasis>-algebra generated by a mapping

In this paper we consider a C*-subalgebra of the algebra of all bounded operators B(l²(X)) on the Hilbert space l²(X)) with one generating element T _φ induced by a mapping φ of a set X into itself. We prove that such a C* -algebra has an AF-subalgebra and establish commutativity conditions for the latter. We prove that a C* -algebra generated by a mapping produces a dynamic system such that the corresponding group of automorphisms is invariant on elements of the AF- subalgebra.     

Optimal (<Emphasis Type="Italic">k</Emphasis>, <Emphasis Type="Italic">n</Emphasis>) visual cryptographic schemes for general <Emphasis Type="Italic">k</Emphasis>

In (k, n) visual cryptographic schemes (VCS), a secret image is encrypted into n pages of cipher text, each printed on a transparency sheet, which are distributed among n participants. The image can be visually decoded if any k(≥2) of these sheets are stacked on top of one another, while this is not possible by stacking any k − 1 or fewer sheets. We employ a Kronecker algebra to obtain necessary and sufficient conditions for the existence of a (k, n) VCS with a prior specification of relative contrasts that quantify the clarity of the recovered image. The connection of these conditions with an L ₁-norm formulation as well as a convenient linear programming formulation is explored. These are employed to settle certain conjectures on contrast optimal VCS for the cases k = 4 and 5. Furthermore, for k = 3, we show how block designs can be used to construct VCS which achieve optimality with respect to the average and minimum relative contrasts but require much smaller pixel expansions than the existing ones.     

Extending Lipschitz maps into <Emphasis Type="Italic">C</Emphasis>(<Emphasis Type="Italic">K</Emphasis>)-spaces

We show that if K is a compact metric space then C(K) is a 2-absolute Lipschitz retract. We then study the best Lipschitz extension constants for maps into C(K) from a given metric space M, extending recent results of Lancien and Randrianantoanina. They showed that a finite-dimensional normed space which is polyhedral has the isometric extension property for C(K)-spaces; here we show that the same result holds for spaces with Gateaux smooth norm or of dimension two; a three-dimensional counterexample is also given. We also show that X is polyhedral if and only if every subset E of X has the universal isometric extension property for C(K)-spaces. We also answer a question of Naor on the extension of Hölder continuous maps.     

Smooth noncompact operators from <Emphasis Type="Italic">C</Emphasis>(<Emphasis Type="Italic">K</Emphasis>), <Emphasis Type="Italic">K</Emphasis> scattered

Let X be a Banach space, K be a scattered compact and T: B _C(K) → X be a Fréchet smooth operator whose derivative is uniformly continuous. We introduce the smooth biconjugate T**: B _C(K)** → X** and prove that if T is noncompact, then the derivative of T** at some point is a noncompact linear operator. Using this we conclude, among other things, that either is compact or that ℓ₁ is a complemented subspace of X*. We also give some relevant examples of smooth functions and operators, in particular, a C ^1,u -smooth noncompact operator from B _{c O} which does not fix any (affine) basic sequence. P. Hájek was supported by grants A100190502, Institutional Research Plan AV0Z10190503.     

<Emphasis Type="Italic">q</Emphasis>-Frequent hypercyclicity in spaces of operators

We provide conditions for a linear map of the form \(C_{R,T}(S)=RST\) to be q-frequently hypercyclic on algebras of operators on separable Banach spaces. In particular, if R is a bounded operator satisfying the q-frequent hypercyclicity criterion, then the map \(C_{R}(S)=RSR^*\) is shown to be q-frequently hypercyclic on the space \(\mathcal {K}(H)\) of all compact operators and the real topological vector space \(\mathcal {S}(H)\) of all self-adjoint operators on a separable Hilbert space H. Further we provide a condition for \(C_{R,T}\) to be q-frequently hypercyclic on the Schatten von Neumann classes \(S_p(H)\). We also characterize frequent hypercyclicity of \(C_{M^*_\varphi ,M_\psi }\) on the trace-class of the Hardy space, where the symbol \(M_\varphi \) denotes the multiplication operator associated to \(\varphi \).     

A Singular Parabolic Boundary Value Problem in Weighted <Emphasis Type="Italic">L</Emphasis><Superscript><Emphasis Type="Italic">p</Emphasis></Superscript>-spaces

We consider the operator ${\cal A}$ formally defined by ${\cal A}u(x)=\alpha(x)\Delta u(x)$ for any $x$ in a sufficiently smooth bounded open set $\Om\subset\R^N$ ($N\ge 1$), where $\alpha\in C(\ov\Omega)$ is a continuous nonnegative function vanishing only on $\partial\Omega$, and such that $1/\alpha$ is integrable in $\Omega$. We prove that the realization $A_p$ of ${\cal A}$, equipped with suitable nonlinear boundary conditions is an m-dissipative operator in suitably weighted $L^p(\Omega)$-spaces in the case where either $(p,N)\in (1,+\infty)\times\{1\}$ or $(p,N)=\{2\}\times\N$. Moreover, we prove that $A_p$ is a densely defined closed operator. We consider nonlinear boundary conditions of the following type: in the one dimensional case we take $\Omega=(0,1)$ and we assume that $u(j)=(-1)^j\beta_j(u(j))$ ($j=0,1$), $\beta_0$ and $\beta_1$ being nondecreasing continuous functions in $\R$ such that $\beta_0(0)=\beta_1(0)=0$; in the $N$-dimensional setting we assume that $(D_{\nu}u)_{|\partial\Omega}=-\beta(u_{|\partial\Omega})$, $\beta$ being a nondecreasing Lipschitz continuous function in $\R$ such that $\beta(0)=0$. Here $\nu$ denotes the unit outward normal to $\partial\Om$.     

Uncountable equilateral sets in Banach spaces of the form <Emphasis Type="Italic">C</Emphasis>(<Emphasis Type="Italic">K</Emphasis>)

The paper is concerned with the problem whether a nonseparable Banach space must contain an uncountable set of vectors such that the distances between every two distinct vectors of the set are the same. Such sets are called equilateral. We show that Martin’s axiom and the negation of the continuum hypothesis imply that every nonseparable Banach space of the form C(K) has an uncountable equilateral set. We also show that one cannot obtain such a result without an additional set-theoretic assumption since we construct an example of nonseparable Banach space of the form C(K) which has no uncountable equilateral set (or equivalently no uncountable (1+ε)-separated set in the unit sphere for any ε > 0) making another consistent combinatorial assumption. The compact K is a version of the split interval obtained from a sequence of functions which behave in an anti-Ramsey manner. It remains open if there is an absolute example of a nonseparable Banach space of the form different than C(K) which has no uncountable equilateral set. It follows from the results of S. Mercourakis and G. Vassiliadis that our example has an equivalent renorming in which it has an uncountable equilateral set. It remains open if there are consistent examples of nonseparable Banach spaces which have no uncountable equilateral sets in any equivalent renorming but it follows from the results of S. Todorcevic that it is consistent that every nonseparable Banach space has an equivalent renorming in which it has an uncountable equilateral set.     

Biased partitions and judicious <Emphasis Type="Italic">k</Emphasis>-partitions of graphs

Let G = (V,E) be a graph with m edges. For reals p ∈ [0, 1] and q = 1- p, let m_p(G) be the minimum of qe(V₁) +pe(V₂) over partitions V = V₁ ∪ V₂, where e(V_i) denotes the number of edges spanned by V_i. We show that if mp(G) = pqm-δ, then there exists a bipartition V₁, V₂ of G such that e(V₁) ≤ p²m - δ + p√m/2 + o(√m) and e(V₂) ≤ q²m - δ + q √m/2 + o(√m) for δ = o(m^2/3). This is sharp for complete graphs up to the error term o(√m). For an integer k ≥ 2, let fk(G) denote the maximum number of edges in a k-partite subgraph of G. We prove that if fk(G) = (1 - 1/k)m + α, then G admits a k-partition such that each vertex class spans at most m/k² - Ω(m/k^7.5) edges for α = Ω(m/k⁶). Both of the above improve the results of Bollobás and Scott.     

On <Emphasis Type="Italic">k</Emphasis>- critical 2<Emphasis Type="Italic">k</Emphasis>- connected graphs

A graph G is called an (n,k)-graph if κ(G-S)=n-|S| for any S ? V(G) with |S| ≤ k, where ?(G) denotes the connectivity of G. Mader conjectured that for k ≥ 3 the graph K_2k+2?(1-factor) is the unique (2k, k)-graph. Kriesell has settled two special cases for k = 3,4. We prove the conjecture for the general case k ≥ 5.