The sum of unitary similarity orbits containing only special operators

Let B(H) be the algebra of bounded linear operator acting on a Hilbert space H (over the complex or real field). Characterization is given to A₁,…,A_k∈B(H) such that for any unitary operators is always in a special class S of operators such as normal operators, self-adjoint operators, unitary operators. As corollaries, characterizations are given to A∈B(H) such that complex, real or nonnegative linear combinations of operators in its unitary orbit U(A)={U^∗AU:Uunitary} always lie in S.     

Smoothness of the images of members of a linear system under an endomorphism of the affine plane

Let φ=(f,g) be an endomorphism of the affine plane C² defined by two polynomials f,g∈C[x,y] and let Λ={C_b∣b∈C} be the pencil of lines C_b defined by x=b. We shall consider the smoothness criterion of the image curve φ(C_b). The hypersurface V whose coordinate ring is C[x,f,g] and the normalization of V will play interesting roles in analyzing the properties of the set φ(Λ)={φ(C_b)∣b∈C}.     

Derivations and right ideals of algebras

Let R be a K-algebra acting densely on V_D, where K is a commutative ring with unity and V is a right vector space over a division K-algebra D. Let ρ be a nonzero right ideal of R and let f(X₁,…,X_t) be a nonzero polynomial over K with constant term 0 such that μR≠0 for some coefficient μ of f(X₁,…,X_t). Suppose that d:R→R is a nonzero derivation. It is proved that if rankd(f(x₁,…,x_t))?m for all x₁,…,x_t∈ρ and for some positive integer m, then either ρ is generated by an idempotent of finite rank or d=ad(b) for some b∈End(V_D) of finite rank. In addition, if f(X₁,…,X_t) is multilinear, then b can be chosen such that rank(b)?2(6t+13)m+2.     

A generalized Cayley-Hamilton theorem for polynomials with matrix coefficients

A family F of square matrices of the same order is called a quasi-commuting family if (AB-BA)C=C(AB-BA) for all A,B,C∈F where A,B,C need not be distinct. Let f_k(x₁,x₂,…,x_p),(k=1,2,…,r), be polynomials in the indeterminates x₁,x₂,…,x_p with coefficients in the complex field C, and let M₁,M₂,…,M_r be n×n matrices over C which are not necessarily distinct. Let and let δ_F(x₁,x₂,…,x_p)=detF(x₁,x₂,…,x_p). In this paper, we prove that, for n×n matrices A₁,A₂,…,A_p over C, if {A₁,A₂,…,A_p,M₁,M₂,…,M_r} is a quasi-commuting family, then F(A₁,A₂,…,A_p)=O implies that δ_F(A₁,A₂,…,A_p)=O.     

An Erd?s-Ko-Rado theorem for partial permutations

Let [n] denote the set of positive integers {1,2,…,n}. An r-partial permutation of [n] is a pair (A,f) where A⊆[n], |A|=r and f:A→[n] is an injective map. A set A of r-partial permutations is intersecting if for any (A,f), (B,g)∈A, there exists x∈A∩B such that f(x)=g(x). We prove that for any intersecting family A of r-partial permutations, we have .It seems rather hard to characterize the case of equality. For 8?r?n-3, we show that equality holds if and only if there exist x₀ and ε₀ such that A consists of all (A,f) for which x₀∈A and f(x₀)=ε₀.     

Endomorphisms of the shift dynamical system, discrete derivatives, and applications

All continuous endomorphisms f_∞ of the shift dynamical system S on the 2-adic integers Z₂ are induced by some , where n is a positive integer, B_n is the set of n-blocks over {0, 1}, and f_∞(x)=y₀y₁y₂… where for all i∈N, y_i=f(x_ix_i+1…x_i+n−1). Define D:Z₂→Z₂ to be the endomorphism of S induced by the map {(00,0),(01,1),(10,1),(11,0)} and V:Z₂→Z₂ by V(x)=−1−x. We prove that D, V°D, S, and V°S are conjugate to S and are the only continuous endomorphisms of S whose parity vector function is solenoidal. We investigate the properties of D as a dynamical system, and use D to construct a conjugacy from the 3x+1 function T:Z₂→Z₂ to a parity-neutral dynamical system. We also construct a conjugacy R from D to T. We apply these results to establish that, in order to prove the 3x+1 conjecture, it suffices to show that for any m∈Z⁺, there exists some n∈N such that R⁻¹(m) has binary representation of the form or .     

Locally strongly convex hypersurfaces with constant affine mean curvature

Let be a locally strongly convex hypersurface, given by a strictly convex function xn+1=f(x₁,…,xn) defined in a convex domain Ω⊂An. We consider the Riemannian metric G# on M, defined by . In this paper we prove that if M is a locally strongly convex surface with constant affine mean curvature and if M is complete with respect to the metric G#, then M must be an elliptic paraboloid.     

KKM-Fan’s lemma for solving nonlinear vector evolution equations with nonmonotonic perturbations

In this paper we are interested in the existence of solutions of the following initial value problem: on (0,T) with u(0)=u₀ where A:V→V^′ is a monotone operator, G:V→V^′ is a nonlinear nonmonotone operator and f:(0,T)→V^′ is a measurable function, by means of a recent generalization of the famous KKM-Fan’s lemma.     

Bernstein operators for extended Chebyshev systems

Let U_n ⊂ Cⁿ[a, b] be an extended Chebyshev space of dimension n + 1. Suppose that f₀ ∈ U_n is strictly positive and f₁ ∈ U_n has the property that f₁/f₀ is strictly increasing. We search for conditions ensuring the existence of points t₀, …, t_n ∈ [a, b] and positive coefficients α₀, …, α_n such that for all f ∈ C[a, b], the operator B_n:C[a, b] → U_n defined by satisfies B_nf₀ = f₀ and B_nf₁ = f₁. Here it is assumed that p_n,k, k = 0, …, n, is a Bernstein basis, defined by the property that each p_n,k has a zero of order k at a and a zero of order n − k at b.     

On the span of Hadamard products of vectors

Let A₁, … , A_k be positive semidefinite matrices and B₁, … , B_k arbitrary complex matrices of order n. We show that

span{(A₁x)°(A₂x)°?°(A_kx)|x∈Cⁿ}=range(A₁°A₂°?°A_k)     

Singular values, norms, and commutators

Let and X_i, i=1,…,n, be bounded linear operators on a separable Hilbert space such that X_i is compact for i=1,…,n. It is shown that the singular values of are dominated by those of , where ‖·‖ is the usual operator norm. Among other applications of this inequality, we prove that if A and B are self-adjoint operators such that a₁?A?a₂ and b₁?B?b₂ for some real numbers and b₂, and if X is compact, then the singular values of the generalized commutator AX-XB are dominated by those of max(b₂-a₁,a₂-b₁)(X⊕X). This inequality proves a recent conjecture concerning the singular values of commutators. Several inequalities for norms of commutators are also given.     

Convex integer maximization via Graver bases

We present a new algebraic algorithmic scheme to solve convex integer maximization problems of the following form, where c is a convex function on R^d and w₁x,…,w_dx are linear forms on Rⁿ,

max{c(w₁x,…,w_dx):Ax=b,x∈Nⁿ}.     

Uniqueness properties in finite-continuous additive measurement

Let ? be a binary relation on A×X, and suppose that there are real valued functions f on A and g on X such that, for all ax, by ∈ A×X, ax ? by if and only if f (a)+g(x) ? f(b)+g(y). This paper establishes uniqueness properties for f and g when A is a finite set, X is a real interval with g increasing on X, and for any a, b and x there is a y for which f(a)+g(x)=f(b)+g(y). The resultant uniqueness properties occupy an intermediate position among uniqueness properties for other structural cases of two-factor additive measurement.It is shown that f is unique up to a positive affine transformation (αf+β₁ with α > 0), but that g is unique up to a similar positive affine transformation (αg+β₂) if and only if the ratio [f(a)?f(b)]/[f(a)?f(c)] is irrational for some a, b, c ∈ A. When the f ratios are rational for all cases where they are defined, there will be a half-open interval (x₀, x₁) in X such that the restriction of g on (x₀, x₁) can be any increasing function for which sup {g(x)?g(x₀): x₀ ? x < x₁} does not exceed a specified bound, and, when g is thus defines on (x₀, x₁), it will be uniquely determined on the rest of X. In general, g must be continuous only in the ‘irrational’ case.     

Mapping properties for oscillatory integrals in d-dimensions

For aj,bj?1, j=1,2,…,d, we prove that the operator maps into itself for , where , and k(x,y)=φ(x,y)eig(x,y), φ(x,y) satisfies (1.2) (e.g. φ(x,y)=|x−y|^iτ,τ real) and the phase g(x,y)=xa⋅yb. We study operators with more general phases and for these operators we require that aj,bj>1, j=1,2,…,d, or al=bl?1 for some l∈{1,2,…,d}.     

Schatten p-norm inequalities related to an extended operator parallelogram law

Let C_p be the Schatten p-class for p>0. Generalizations of the parallelogram law for the Schatten 2-norms have been given in the following form: if A={A₁,A₂,…,A_n} and B={B₁,B₂,…,B_n} are two sets of operators in, then C₂

     

S-Noetherian properties on amalgamated algebras along an ideal

Let A and B   be commutative rings with identity, f:A→B$f:A\to B$ a ring homomorphism and J an ideal of B  . Then the subring A?^fJ:={(a,f(a)+j)|a∈A and j∈J}$A{?}^{f}J:=\{(a,f(a)+j)|a\in A\text{and}j\in J\}$ of A×B$A\times B$ is called the amalgamation of A with B along with J with respect to f. In this paper, we investigate a general concept of the Noetherian property, called the S  -Noetherian property which was introduced by Anderson and Dumitrescu, on the ring A?^fJ$A{?}^{f}J$ for a multiplicative subset S   of A?^fJ$A{?}^{f}J$. As particular cases of the amalgamation, we also devote to study the transfers of the S  -Noetherian property to the constructions D+(_X1,…,_Xn)E[_X1,…,_Xn]$D+(X_1,\dots ,X_n)E[X_1,\dots ,X_n]$ and D+(_X1,…,_Xn)E?_X1,…,_Xn?$D+(X_1,\dots ,X_n)E?X_1,\dots ,X_n?$ and Nagata?s idealization.     

OMC for scalar multiples of unitaries

We establish the following case of the Determinantal Conjecture of Marcus [M. Marcus, Derivations, Plücker relations and the numerical range, Indiana Univ. Math. J. 22 (1973) 1137-1149] and de Oliveira [G.N. de Oliveira, Research problem: Normal matrices, Linear and Multilinear Algebra 12 (1982) 153-154]. Let A and B be unitary n × n matrices with prescribed eigenvalues a₁, … , a_n and b₁, … , b_n, respectively. Then for any scalars t and s

     

The inversion formulae for automorphisms of polynomial algebras and rings of differential operators in prime characteristic

Let K be an arbitrary field of characteristic p>0. We find an explicit formula for the inverse of any algebra automorphism of any of the following algebras: the polynomial algebra P_n?K[x₁,…,x_n], the ring of differential operators D(P_n) on P_n, D(P_n)⊗P_m, the n’th Weyl algebra A_n or A_n⊗P_m, the power series algebra K[[x₁,…,x_n]], the subalgebra T_k1,…,kn of D(P_n) generated by P_n and the higher derivations , 0≤j<p^k_i, i=1,…,n (where k₁,…,k_n∈N), T_k1,…,kn⊗P_m or an arbitrary central simple (countably generated) algebra over an arbitrary field.     

Spectral theory of some degenerate elliptic operators with local singularities

This paper is based on our previous results (Haroske and Skrzypczak (2008) [23], Haroske and Skrzypczak (in press) [25]) on compact embeddings of Muckenhoupt weighted function spaces of Besov and Triebel-Lizorkin type with example weights of polynomial growth near infinity and near some local singularity. Our approach also extends (Haroske and Triebel (1994) [21]) in various ways. We obtain eigenvalue estimates of degenerate pseudodifferential operators of type b₂○p(x,D)○b₁ where bi∈Lri(Rn,wi), wi∈A_∞, i=1,2, and , ?>0. Finally we deal with the ‘negative spectrum’ of some operator Hγ=A−γV for γ→∞, where the potential V may have singularities (in terms of Muckenhoupt weights), and A is a positive elliptic pseudodifferential operator of order ?>0, self-adjoint in L₂(Rn). This part essentially relies on the Birman-Schwinger principle. We conclude this paper with a number of examples, also comparing our results with preceding ones.