Bounds on Variation of Spectral Subspaces under J-Self-adjoint Perturbations

Let A be a self-adjoint operator on a Hilbert space . Assume that the spectrum of A consists of two disjoint components σ₀ and σ₁. Let V be a bounded operator on , off-diagonal and J-self-adjoint with respect to the orthogonal decomposition where and are the spectral subspaces of A associated with the spectral sets σ₀ and σ₁, respectively. We find (optimal) conditions on V guaranteeing that the perturbed operator L = A + V is similar to a self-adjoint operator. Moreover, we prove a number of (sharp) norm bounds on the variation of the spectral subspaces of A under the perturbation V. Some of the results obtained are reformulated in terms of the Krein space theory. As an example, the quantum harmonic oscillator under a -symmetric perturbation is discussed. This work was supported by the Deutsche Forschungsgemeinschaft (DFG), the Heisenberg-Landau Program, and the Russian Foundation for Basic Research.     

Elliptic operators with unbounded diffusion coefficients in L 2 spaces with respect to invariant measures

We study the self-adjoint and dissipative realization A of a second order elliptic differential operator with unbounded regular coefficients in , where μ(dx) = ρ (x)dx is the associated invariant measure. We prove a maximal regularity result under suitable assumptions, that generalize the well known conditions in the case of constant diffusion part. Dedicated to Giuseppe Da Prato on the occasion of his 70th birthday     

Self-adjoint Analytic Operator Functions: Local Spectral Function and Inner Linearization

In this note we continue the study of spectral properties of a self-adjoint analytic operator function A(z) that was started in [5]. It is shown that if A(z) satisfies the Virozub–Matsaev condition on some interval Δ₀ and is boundedly invertible in the endpoints of Δ₀, then the ‘embedding’ of the original Hilbert space into the Hilbert space , where the linearization of A(z) acts, is in fact an isomorphism between a subspace of and . As a consequence, properties of the local spectral function of A(z) on Δ₀ and a so-called inner linearization of the operator function A(z) in the subspace are established.      

Hyperbolic Function Theory in the Clifford Algebra {\mathcal {C}}\ell_{n+1, 0}

The aim of this paper is to give the basic principles of hyperbolic function theory on the Clifford algebra . The structure of the theory is quite similar to the case of Clifford algebras with negative generators, but the proofs are not obvious. The (real) Clifford algebra is generated by unit vectors with positive squares e²_i = + 1. The hyperbolic Dirac operator is of the form where Q₀f is represented by the composition . If is a solution of H_kf = 0, then f is called k-hypergenic in Ω, where is an open set. We introduce some basic results of hyperbolic function theory and give some representation theorems on . Received: October, 2007. Accepted: February, 2008.     

Non- (Quantum) Differentiable C 1-Functions in the Spaces with Trivial Boyd Indices

If E is a separable symmetric sequence space with trivial Boyd indices and is the corresponding ideal of compact operators, then there exists a C¹-function f_E, a self-adjoint element and a densely defined closed symmetric derivation δ on such that , but      

Sampling Theory Associated with a Symmetric Operator with Compact Resolvent and De Branges Spaces

Let be a symmetric operator with compact resolvent defined in a Hilbert space For any fixed we consider an entire function K_a which involves the resolvent of Associated with K_a we obtain, by duality in a Hilbert space of entire functions which becomes a De Branges space of entire functions. This property provides a characterization of regardless of the anti-linear mapping which has as its range space. There exists also a sampling formula allowing to recover any function in from its samples at the sequence of eigenvalues of This work has been supported by the grant BFM2003–01034 from the D.G.I. of the Spanish Ministerio de Ciencia y Tecnología.     

Addendum to “Complete rotation hypersurfaces with <Emphasis Type="Italic">H</Emphasis><Subscript><Emphasis Type="Italic">k</Emphasis></Subscript> constant in space forms”*

Here we study complete rotation hypersurfaces with constant k-th mean curvature H_k in even and 2 < k < n. We prove the existence of a constant such that there are no such hypersurfaces for . We have only one compact hypersurface of this kind with . For each there is a corresponding family of complete immersed rotation hypersurfaces, each family containing two isoparametric hypersurfaces. For H_k ≥ 0, there is also such a family, now containing only one isoparametric hypersurface. Finally, we prove the existence of compact hypersurfaces with arbitrarily large H_k , neither isometric to a sphere nor to a product of spheres. *Bull. Braz. Math. Soc. 30 (2), 1999, 139–161. **Partially supported by FUNCAP, Brazil. ***Partially supported by CNPq, Brazil and DGAPA-UNAM, México.     

Remarks on ample vector bundles of curve genus two

Let be an ample vector bundle of rank n – 1 on a smooth complex projective variety X of dimension n≥ 3 such that X is a -bundle over and that for any fiber F of the bundle projection . The pairs with = 2 are classified, where is the curve genus of . This allows us to improve some previous results. Received: 13 June 2006     

On Negative Inertia of Pick Matrices Associated with Generalized Schur Functions

It is known [6] that for every function f in the generalized Schur class and every nonempty open subset Ω of the unit disk , there exist points z₁,...,z_n ∈Ω such that the n × nPick matrix has κ negative eigenvalues. In this paper we discuss existence of an integer n₀ such that any Pick matrix based on z₁,...,z_n ∈Ω with n ≥ n₀ has κ negative eigenvalues. Definitely, the answer depends on Ω. We prove that if , then such a number n₀ does not exist unless f is a ratio of two finite Blaschke products; in the latter case the minimal value of n₀ can be found. We show also that if the closure of Ω is contained in then such a number n₀ exists for every function f in .     

An implication basis for linear forms

The main results of this paper are a generalization of the results of S. Fajtlowicz and J. Mycielski on convex linear forms. We show that if V_n is the variety generated by all possible algebras , where R denotes the real numbers and , for some , then any basis for the set of all identities satisfied by V_n is infinite. But on the other hand, the identities satisfied by V_n are a consequence of gL and μ_n, where μ_n is the n-ary medial law and the inference rule gL is an implication patterned after the classical rigidity lemma of algebraic geometry. We also prove that the identities satisfied by are a consequence of gL and μ_n iff {p₁, ... , p_n} is algebraically independent. We then prove analagous results for algebras of arbitrary type τ and in the final section of this paper, we show that analagous results hold for Abelian group hyperidentities. This paper is dedicated to Walter Taylor. Received July 16, 2005; accepted in final form January 12, 2006. The research of both authors was supported by an operating grant ODP0008215 from NSERC.     

Jackson＇s Theorem on Bounded Symmetric Domains

Polynomial approximation is studied on bounded symmetric domain Ω in C^n for holomorphic function spaces X such as Bloch-type spaces, Bergman-type spaces, Hardy spaces, Ω algebra and Lipschitz space. We extend the classical Jackson＇s theorem to several complex variables：Eκ（f,X）≤ω（1/k,f,X）, where Eκ（f,X） is the deviation of the best approximation of f ∈X by polynomials of degree at most k with respect to the X-metric and ω（1/k,f,X） is the corresponding modulus of continuity.     

Parameter Estimates in Random Intercept Mixed Effects Model for Repeated Measures

In this article the following random intercept mixed effects model will be considered： yij = vi =v^τijβ＋ εij,i=1,…,m;j=1,2,…,ni, where {vi} are i.i.d, random effects with mean α 2. 2 and finite variance σ^2 v, {εij} are i.i.d, random errors with finite variance ε^2 ε. Here we will estimate α,σ^2 v,σ^2 ε,β and study their large sample properties, such as strong consistency, strong convergence rates and asymptotic normality.     

Uniform Mixed Hypergraphs: The Possible Numbers of Colors

For a mixed hypergraph , where and are set systems over the vertex set X, a coloring is a partition of X into ‘color classes’ such that every meets some class in more than one vertex, and every has a nonempty intersection with at least two classes. The feasible set of , denoted , is the set of integers k such that admits a coloring with precisely k nonempty color classes. It was proved by Jiang et al. [Graphs and Combinatorics 18 (2002), 309–318] that a set S of natural numbers is the feasible set of some mixed hypergraph if and only if either or S is an ‘interval’ for some integer k ≥ 1. In this note we consider r-uniform mixed hypergraphs, i.e. those with |C| = |D| = r for all and all , r ≥ 3. We prove that S is the feasible set of some r-uniform mixed hypergraph with at least one edge if and only if either for some natural number k ≥ r − 1, or S is of the form where S′′ is any (possibly empty) subset of and S′ is either the empty set or {r − 1} or an ‘interval’ {k, k + 1, ..., r − 1} for some k, 2 ≤ k ≤ r − 2. We also prove that all these feasible sets can be obtained under the restriction , i.e. within the class of ‘bi-hypergraphs’. Research supported in part by the Hungarian Scientific Research Fund, OTKA grant T-049613.     

On A Hypergraph Turán Problem Of Frankl

Let be the 2k-uniform hypergraph obtained by letting P₁, . . .,P_r be pairwise disjoint sets of size k and taking as edges all sets P_i∪P_j with i ≠ j. This can be thought of as the ‘k-expansion’ of the complete graph K_r: each vertex has been replaced with a set of size k. An example of a hypergraph with vertex set V that does not contain can be obtained by partitioning V = V1 ∪V₂ and taking as edges all sets of size 2k that intersect each of V₁ and V₂ in an odd number of elements. Let denote a hypergraph on n vertices obtained by this construction that has as many edges as possible. For n sufficiently large we prove a conjecture of Frankl, which states that any hypergraph on n vertices that contains no has at most as many edges as . Sidorenko has given an upper bound of for the Tur′an density of for any r, and a construction establishing a matching lower bound when r is of the form 2^p+1. In this paper we also show that when r=2^p+1, any -free hypergraph of density looks approximately like Sidorenko’s construction. On the other hand, when r is not of this form, we show that corresponding constructions do not exist and improve the upper bound on the Turán density of to , where c(r) is a constant depending only on r. The backbone of our arguments is a strategy of first proving approximate structure theorems, and then showing that any imperfections in the structure must lead to a suboptimal configuration. The tools for its realisation draw on extremal graph theory, linear algebra, the Kruskal–Katona theorem and properties of Krawtchouck polynomials. * Research supported in part by NSF grants DMS-0355497, DMS-0106589, and by an Alfred P. Sloan fellowship.     

A Symmetric Function Resolution of the Number of Permutations With Respect to Block-Stable Elements

We consider a question raised by Suhov and Voice from quantum information theory and quantum computing. An element of a partition of {1, ..., n} is said to be block-stable for if it is not moved to another block under the action of π. The problem concerns the determination of the generating series for elements of with respect to the number of block-stable elements of a canonical partition of a finite n-set, with block sizes k₁, ..., k_r, in terms of the moment (power) sums p_q(k₁, ..., k_r). We also consider the limit subject to the condition that exists for q = 1, 2,.... Received January 31, 2006     

Asymptotic Behaviour of Iterates of Volterra Operators on L p (0, 1)

Given k ∈ L¹ (0,1) satisfying certain smoothness and growth conditions at 0, we consider the Volterra convolution operator V_k defined on L^p (0,1) by

Multiplicity of Positive Solutions for a Class of Inhomogeneous Neumann Problems Involving the p(x)-Laplacian

We study the existence and multiplicity of positive solutions for the inhomogeneous Neumann boundary value problems involving the p(x)-Laplacian of the form

Minors in Expanding Graphs

We propose a unifying framework for studying extremal problems related to graph minors. This framework relates the existence of a large minor in a given graph to its expansion properties. We then apply the developed framework to several extremal problems and prove in particular that: (a) Every -free graph G with average degree r ( are constants) contains a minor with average degree , for some constant ; (b) Every C_2k-free graph G with average degree r (k ≥ 2 is a constant) contains a minor with average degree , for some constant c = c(k) > 0. We also derive explicit lower bounds on the minor density in random, pseudo-random and expanding graphs. Received: March 2008, Accepted: May 2008     

Beckman-Quarles type theorems for mappings from $$ \mathbb{R}^n $$ to $$ \mathbb{C}^n $$

Summary. Let We say that preserves the distance d 0 if for each implies Let A _n denote the set of all positive numbers d such that any map that preserves unit distance preserves also distance d. Let D _n denote the set of all positive numbers d with the property: if and then there exists a finite set S _xy with such that any map that preserves unit distance preserves also the distance between x and y. Obviously, We prove: (1) (2) for n 2 D _n is a dense subset of (2) implies that each mapping f from to (n 2) preserving unit distance preserves all distances, if f is continuous with respect to the product topologies on and