Measures with Bounded Variation with Respect to a Normed Ideal of Operators and Applications

We introduce in a natural way the notion of measure with bounded variation with respect to a normed ideal of operators and prove that for each maximal normed ideal of operators (, ), is true the following result: If U ∈ L(C(T,X), Y) with G the representing measure of U and G : Σ → ((X, Y),) has bounded variation, then U ∈ (C(T,X), Y). As an application of this result we prove that an injective tensor product of an integral operator with an operator belonging to a maximal normed ideal of operators (,) belongs also to (, ).     

Some Geometric Aspects of Operators Acting from L 1

We study some properties of the space (L₁,X) of all continuous linear operators acting from L₁ to a Banach space X. It is proved that every operator T ∈ (L₁, X) ``almost' attains its norm at the entire positive cone of functions supported at some suitable measurable subset , μ(A) > 0. Using this fact and a new elementary technique we prove that every operator T∈ (L₁) = (L₁, L₁) is uniquely represented in the form T= R+S, R, S∈ (L₁) , where R is representable and S possess a special property (*). Moreover, this representation generates a decomposition of the space (L₁) into complemented subspaces by means of contractive projections (the fact that the subspace of all representable operators is complemented in (L₁) was proved before by Z. Liu).     

Existence of Positive Solutions for Operator Equations and Applications to Semipositone Problems

In this paper we study the existence of positive solutions of the following operator equation in a Banach space E: where G(x, λ) = λKFx+e₀, K: E↦ E is a linear completely continuous operator, F: P↦ E is a nonlinear continuous , bounded operator, e₀∈ E, λ is a parameter and P is a cone of Banach space E. Since F is not assumed to be positive and e₀ may be a negative element, the operator equation is a so-called semipositone problem. We prove that under certain super-linear conditions on the operator F the operator equation has at least one positive solution for λ > 0 sufficiently small, and that under certain sub-linear conditions on the operator F the operator equation has at least one positive solution for λ > 0 sufficiently large. In addition, we briefly outline an application of our results which simplify previous theorems in the literature.     

Maximality of Positive Operator-valued Measures

A positive operator-valued measure is a (weak-star) countably additive set function from a σ-field Σ to the space of nonnegative bounded operators on a separable complex Hilbert space . Such functions can be written as M = V*E(·)V in which E is a spectral measure acting on a complex Hilbert space and V is a bounded operator from to such that the only closed linear subspace of , containing the range of V and reducing E (Σ), is itself. Attention is paid to an existing notion of maximality for positive operator-valued measures. The purpose of this paper is to show that M is maximal if and only if E, in the above representation of M, generates a maximal commutative von Neumann algebra.     

The Radon–Nikodym Property for Tensor Products of Banach Lattices

Let 1 ≤ p < ∞. We show that , the Fremlin projective tensor product of ℓ_p with a Banach lattice X, has the Radon–Nikodym property if and only if X has the Radon–Nikodym property; and that , the Wittstock injective tensor product of ℓ_p with a Banach lattice X, has the Radon–Nikodym property if and only if X has the Radon–Nikodym property and each positive operator from ℓ_p' to X is compact, where 1/p +1/p'= 1 and let ℓ_p' = c₀ if p = 1. The author gratefully acknowledges support from the Office of Naval Research Grant # N00014-03-1-0621     

C k -estimates for the -equation on convex domains of finite type

For a bounded convex domain with C^∞ smooth boundary of finite type m and q=1, . . . ,n−1, we construct a -solving integral operator T*_q such that for all k ∈ ℕ and the usual C^k and -norms the operator is continuous.     

-Decompositions of and D v ∪P where P is a 2-Regular Subgraph of D v

In this paper, we extend the study of C₄-decompositions of the complete graph with 2-regular leaves and paddings to directed versions. Mainly, we prove that if P is a vertex-disjoint union of directed cycles in a complete digraph D_v, then and D_v∪P can be decomposed into directed 4-cycles, respectively, if and only if v(v−1)−|E(P)|≡0(mod 4) and v(v−1)+|E(P)|≡0(mod 4) where |E(P)| denotes the number of directed edges of P, and v≥8.     

Traps for reflected Brownian motion

Consider an open set , d ≥ 2, and a closed ball . Let denote the expectation of the hitting time of B for reflected Brownian motion in D starting from x ∈ D. We say that D is a trap domain if . A domain D is not a trap domain if and only if the reflecting Brownian motion in D is uniformly ergodic. We fully characterize the simply connected planar trap domains using a geometric condition and give a number of (less complete) results for d > 2. Research partially supported by NSF grant DMS-0303310. Research partially supported by NSF grant DMS-0303310. Research partially supported by NSF grant DMS-0201435.     

Density results for the <Emphasis Type="Italic">W</Emphasis><Superscript>1/2</Superscript> energy of maps into a manifold

We show that maps from Bⁿ to a smooth compact boundaryless manifold which are smooth out of a singular set of dimension n−2 are dense for the strong topology in W^1/2(Bⁿ,). We also prove that for n≥2 smooth maps from Bⁿ to are dense in W^1/2(Bⁿ,) if and only if π₁()=0, i.e. the first homotopy group of is trivial.     

Extremal Problems for Imbalanced Edges

Albertson [2] has introduced the imbalance of an edge e=uv in a graph G as |d_G(u)−d_G(v)|. If for a graph G of order n and size m the minimum imbalance of an edge of G equals d, then our main result states that with equality if and only if G is isomorphic to We also prove best-possible upper bounds on the number of edges uv of a graph G such that |d_G(u)−d_G(v)|≥d for some given d.     

Matrix Representations for Positive Noncommutative Polynomials

In real semialgebraic geometry it is common to represent a polynomial q which is positive on a region R as a weighted sum of squares. Serious obstructions arise when q is not strictly positive on the region R. Here we are concerned with noncommutative polynomials and obtaining a representation for them which is valid even when strict positivity fails. Specifically, we treat a ``symmetric' polynomial q(x, h) in noncommuting variables, {x<sub>1</sub>, . . . , } and {h<sub>1</sub>, . . . , } for which q(X,H) is positive semidefinite whenever are tuples of selfadjoint matrices with ||X<sub>j</sub>|| ≤ 1 but H<sub>j</sub> unconstrained. The representation we obtain is a Gram representation in the variables h where P<sub>q</sub> is a symmetric matrix whose entries are noncommutative polynomials only in x and V is a ``vector' whose entries are polynomials in both x and h. We show that one can choose P_q such that the matrix P_q(X) is positive semidefinite for all ||X_j|| ≤ 1. The representation covers sum of square results ([Am. Math. (to appear); Linear Algebra Appl. 326 (2001), 193–203; Non commutative Sums of Squares, preprint]) when g_x = 0. Also it allows for arbitrary degree in h, rather than degree two, in the main result of [Matrix Inequalities: A Symbolic Procedure to Determine Convexity Automatically to appear IOET July 2003] when restricted to x-domains of the type ||X_j|| ≤ 1. Partially supported by NSF, DARPA and Ford Motor Co. Partially supported by NSF grant DMS-0140112 Partially supported by NSF grant DMS-0100367     

Norm Inequalities for Sums of Positive Operators. II

It is shown that if A and B are positive operators on a separable complex Hilbert space, then for every unitarily invariant norm. When specialized to the usual operator norm ||·|| and the Schatten p-norms ||·||_p, this inequality asserts that and These inequalities improve upon some earlier related inequalities. Other norm inequalities for sums of positive operators are also obtained.     

Commutativity of Almost <Emphasis Type="Italic">F</Emphasis>-algebras

Let A be an Archimedean vector lattice, let be its Dedekind completion and let B be a Dedekind complete vector lattice. If Ψ ₀:A × A→ B is a positive orthosymmetric bimorphism, then there exists a positive bimorphism extension Ψ of Ψ ₀ to × in B which is orthosymmetric. This leads to a new and short proof of the commutativity of the almost f-algebras multiplications.     

Gibbsianness of fermion random point fields

We consider fermion (or determinantal) random point fields on Euclidean space ℝ^d. Given a bounded, translation invariant, and positive definite integral operator J on L²(ℝ^d), we introduce a determinantal interaction for a system of particles moving on ℝ^d as follows: the n points located at x₁,· · ·,x_n ∈ ℝ^d have the potential energy given by where j(x−y) is the integral kernel function of the operator J. We show that the Gibbsian specification for this interaction is well-defined. When J is of finite range in addition, and for d≥2 if the intensity is small enough, we show that the fermion random point field corresponding to the operator J(I+J)⁻¹ is a Gibbs measure admitted to the specification.     

Existence of singular solutions of a degenerate equation in R 2

Let a₁,a₂, . . . ,a_m ∈ ℝ², 2≤f ∈ C([0,∞)), g_i ∈ C([0,∞)) be such that 0≤g_i(t)≤2 on [0,∞) ∀i=1, . . . ,m. For any p>1, we prove the existence and uniqueness of solutions of the equation u_t=Δ(logu), u>0, in satisfying and logu(x,t)/log|x|→−f(t) as |x|→∞, logu(x,t)/log|x−a_i|→−g_i(t) as |x−a_i|→0, uniformly on every compact subset of (0,T) for any i=1, . . . ,m under a mild assumption on u₀ where We also obtain similar existence and uniqueness of solutions of the above equation in bounded smooth convex domains of ℝ² with prescribed singularities at a finite number of points in the domain.     

The Optimal Order for the p-th Moment of Sums of Independent Random Variables with Respect to Symmetric Norms and Related Combinatorial Estimates

For n independent random variables f₁, . . . ,f_n and a symmetric norm || ||_X on ℝⁿ, we show that for 1≤ p < ∞ Here is the disjoint sum of the f_i's and h* is the non-increasing rearrangement. Similar results (where L_p is replaced by a more general rearrangement invariant function space) were obtained first by Litvak, Gordon, Schütt and Werner for Orlicz spaces X and independently by S. Montgomery-Smith [22] for general X but without an explicit analysis of the order of growth for the constant in the upper estimate. The order is optimal and obtained from combinatorial estimates for doubly stochastic matrices. The result extends to Lorentz-norms l_{f, q} on ℝⁿ under mild assumptions on f. We give applications to the theory of noncommutative L_p spaces.     

The Singularity Property of Banach Function Spaces and Unconditional Convergence in L 1[0, 1]

Let X be a Banach function space, L^∞ [0, 1] ⊂ X ⊂ L¹[0, 1]. It is proved that if dual space of X has singularity property in closed set E ⊂ [0, 1] then: 1) there exists no orthonormal basis in C[0, 1], which forms an unconditional basis in X in metric of L¹[0, 1] space, 2) for the Hardy-Littlewood maximal operator M we have      

Odd Degree Polynomials on Real Banach Spaces

A classical result of Birch claims that for given k, n integers, n-odd there exists some N = N(k, n) such that for an arbitrary n-homogeneous polynomial P on , there exists a linear subspace of dimension at least k, where the restriction of P is identically zero (we say that Y is a null space for P). Given n > 1 odd, and arbitrary real separable Banach space X (or more generally a space with w*-separable dual X*), we construct an n-homogeneous polynomial P with the property that for every point 0 ≠ x ∈ X there exists some k ∈ such that every null space containing x has dimension at most k. In particular, P has no infinite dimensional null space. For a given n odd and a cardinal τ , we obtain a cardinal N = N(τ, n) = expⁿ⁺¹τ such that every n-homogeneous polynomial on a real Banach space X of density N has a null space of density τ . Some of the work on this paper was done while the first author was a visitor to the Departamento de Análisis Matemático of the Universidad Complutense de Madrid, to which great thanks are given. The research of the second author was supported by grants: Institutional Research Plan AV0Z10190503, A100190502, GA ČR 201/04/0090.     

A Five Color Zero-Sum Generalization

Let g_zs(m, 2k) (g_zs(m, 2k+1)) be the minimal integer such that for any coloring Δ of the integers from 1, . . . , g_zs(m, 2k) by (the integers from 1 to g_zs(m, 2k+1) by ) there exist integers such that 1. there exists j_x such that Δ(x_i) ∈ for each i and ∑_i=1^m Δ(x_i) = 0 mod m (or Δ(x_i)=∞ for each i); 2. there exists j_y such that Δ(y_i) ∈ for each i and ∑_i=1^m Δ(y_i) = 0 mod m (or Δ(y_i)=∞ for each i); and 1. 2(x_m−x₁)≤y_m−x₁. In this note we show g_zs(m, 2)=5m−4 for m≥2, g_zs(m, 3)=7m+−6 for m≥4, g_zs(m, 4)=10m−9 for m≥3, and g_zs(m, 5)=13m−2 for m≥2. Supported by NSF grant DMS 0097317     

Inequalities for the Hadamard Weighted Geometric Mean of Positive Kernel Operators on Banach Function Spaces

Let K₁, . . . , K_n be positive kernel operators on a Banach function space. We prove that the Hadamard weighted geometric mean of K₁, . . . , K_n, the operator K, satisfies the following inequalities where || · ||and r(·) denote the operator norm and the spectral radius, respectively. In the case of completely atomic measure space we show some additional results. In particular, we prove an infinite-dimensional extension of the known characterization of those functions satisfying for all non-negative matrices A₁, . . . , A_n of the same order.