On the numerical radius of operators in Lebesgue spaces

We show that the absolute numerical index of the space Lp(μ) is (where ). In other words, we prove that

     

On continuous choice of retractions onto nonconvex subsets

For a Banach space B and for a class A of its bounded closed retracts, endowed with the Hausdorff metric, we prove that retractions on elements A∈A can be chosen to depend continuously on A, whenever nonconvexity of each A∈A is less than . The key geometric argument is that the set of all uniform retractions onto an α-paraconvex set (in the spirit of E. Michael) is -paraconvex subset in the space of continuous mappings of B into itself. For a Hilbert space H the estimate can be improved to and the constant can be replaced by the root of the equation α+α²+α³=1.     

Remarks on Hardy spaces defined by non-smooth approximate identity

We study in this paper some relations between Hardy spaces which are defined by non-smooth approximate identity ?(x), and the end-point Triebel-Lizorkin spaces (1?q?∞). First, we prove that for compact ? which satisfies a slightly weaker condition than Fefferman and Stein's condition. Then we prove that non-trivial Hardy space defined by approximate identity ? must contain Besov space . Thirdly, we construct certain functions and a function such that Daubechies wavelet function but .     

Directed cyclic Hamiltonian cycle systems of the complete symmetric digraph

In this paper, we prove that directed cyclic Hamiltonian cycle systems of the complete symmetric digraph, , exist if and only if n is odd with n≠15 and n≠p^α for p an odd prime and α≥2 or with n≠2p^α for p an odd prime and α≥1. We also show that directed cyclic Hamiltonian cycle systems of the complete symmetric digraph minus a set of n/2 vertex-independent digons, (K_n−I)^∗, exist if and only if .     

Markov interlacing property for exponential polynomials

Let Un be an extended Tchebycheff system on the real line. Given a point , where x₁<?<xn, we denote by the polynomial from Un, which has zeros x₁,…,xn. (It is uniquely determined up to multiplication by a constant.) The system Un has the Markov interlacing property (M) if the assumption that and interlace implies that the zeros of and interlace strictly, unless . We formulate a general condition which ensures the validity of the property (M) for polynomials from Un. We also prove that the condition is satisfied for some known systems, including exponential polynomials and . As a corollary we obtain that property (M) holds true for Müntz polynomials , too.     

Efficient algorithms for robust generalized cross-validation spline smoothing

Generalized cross-validation (GCV) is a widely used parameter selection criterion for spline smoothing, but it can give poor results if the sample size n is not sufficiently large. An effective way to overcome this is to use the more stable criterion called robust GCV (RGCV). The main computational effort for the evaluation of the GCV score is the trace of the smoothing matrix, , while the RGCV score requires both and . Since 1985, there has been an efficient O(n) algorithm to compute . This paper develops two pairs of new O(n) algorithms to compute and , which allow the RGCV score to be calculated efficiently. The algorithms involve the differentiation of certain matrix functionals using banded Cholesky decomposition.     

Strong convergence of the empirical distribution of eigenvalues of sample covariance matrices with a perturbation matrix

Let , where is a random symmetric matrix, a random symmetric matrix, and with being independent real random variables. Suppose that , and are independent. It is proved that the empirical spectral distribution of the eigenvalues of random symmetric matrices converges almost surely to a non-random distribution.     

The space of scalarly integrable functions for a Fréchet-space-valued measure

The space of all scalarly integrable functions with respect to a Fréchet-space-valued vector measure ν is shown to be a complete Fréchet lattice with the σ-Fatou property which contains the (traditional) space L¹(ν), of all ν-integrable functions. Indeed, L¹(ν) is the σ-order continuous part of . Every Fréchet lattice with the σ-Fatou property and containing a weak unit in its σ-order continuous part is Fréchet lattice isomorphic to a space of the kind .     

On Γ-convergence of pairs of dual functionals

The paper considers a slightly modified notion of the Γ-convergence of convex functionals in uniformly convex Banach spaces and establishes that under standard coercitivity and growth conditions the Γ-convergence of a sequence of functionals {Fj} to implies that the corresponding sequence of dual functionals converges in an analogous sense to the dual to functional .     

Homology of artinian and Matlis reflexive modules, I

Let R be a commutative local noetherian ring, and let L and L^′ be R-modules. We investigate the properties of the functors and . For instance, we show the following:

(a)

if L and L^′ are artinian, then is artinian, and is noetherian over the completion ;

(b)

if L is artinian and L^′ is Matlis reflexive, then , , and are Matlis reflexive.

Also, we study the vanishing behavior of these functors, and we include computations demonstrating the sharpness of our results.     

The oscillation of differential transforms - entire Jacobi expansions

Let L=(1−x²)D²−((β−α)−(α+β+2)x)D with , and . Let f∈C^∞[−1,1], , with normalized Jacobi polynomials and the Cn decrease sufficiently fast. Set Lk=L(Lk−1), k?2. Let ρ>1. If the number of sign changes of (Lkf)(x) in (−1,1) is O(k1/(ρ+1)), then f extends to be an entire function of logarithmic order . For Legendre expansions, the result holds with replaced with .     

Proper analytic free maps

This paper concerns analytic free maps. These maps are free analogs of classical analytic functions in several complex variables, and are defined in terms of non-commuting variables amongst which there are no relations - they are free variables. Analytic free maps include vector-valued polynomials in free (non-commuting) variables and form a canonical class of mappings from one non-commutative domain D in say g variables to another non-commutative domain in variables. As a natural extension of the usual notion, an analytic free map is proper if it maps the boundary of D into the boundary of . Assuming that both domains contain 0, we show that if is a proper analytic free map, and f(0)=0, then f is one-to-one. Moreover, if also , then f is invertible and f−1 is also an analytic free map. These conclusions on the map f are the strongest possible without additional assumptions on the domains D and .     

Kripke semantics for provability logic GLP

A well-known polymodal provability logic due to Japaridze is complete w.r.t. the arithmetical semantics where modalities correspond to reflection principles of restricted logical complexity in arithmetic. This system plays an important role in some recent applications of provability algebras in proof theory. However, an obstacle in the study of is that it is incomplete w.r.t. any class of Kripke frames. In this paper we provide a complete Kripke semantics for . First, we isolate a certain subsystem of that is sound and complete w.r.t. a nice class of finite frames. Second, appropriate models for are defined as the limits of chains of finite expansions of models for . The techniques involves unions of n-elementary chains and inverse limits of Kripke models. All the results are obtained by purely modal-logical methods formalizable in elementary arithmetic.     

Lifting fixed points of completely positive mappings

Let 1?n?∞, and let be a row contraction on some Hilbert space H. Let F(T) be the space of all X∈B(H) such that . We show that, if non-zero, this space is completely isometric to the commutant of the Cuntz part of the minimal isometric dilation of .     

Injections into function spaces over ordinals

We investigate when and how function spaces over subspaces of ordinals admit continuous injections into each other. To formulate our results let τ be an uncountable regular cardinal. We prove, in particular, that: (1) If A and B are disjoint stationary subsets of τ then Cp(A) does not admit a continuous injection into Cp(B); (2) For A⊂ω₁, admits a continuous injection into iff A is countable or ω₁ embeds into A (which, in its turn, is equivalent to the statement “ embeds into ”).     

Congruences involving Bernoulli polynomials

Let {B_n(x)} be the Bernoulli polynomials. In the paper we establish some congruences for , where p is an odd prime and x is a rational p-integer. Such congruences are concerned with the properties of p-regular functions, the congruences for and the sum , where h(d) is the class number of the quadratic field of discriminant d and p-regular functions are those functions f such that are rational p-integers and for n=1,2,3,… . We also establish many congruences for Euler numbers.     

Riesz transforms associated to Schrödinger operators on weighted Hardy spaces

Let w be some Ap weight and enjoy reverse Hölder inequality, and let L=−Δ+V be a Schrödinger operator on Rn, where is a non-negative function on Rn. In this article we introduce weighted Hardy spaces associated to L in terms of the area function characterization, and prove their atomic characters. We show that the Riesz transform ∇L−1/2 associated to L is bounded on for 1<p<2, and bounded from to the classical weighted Hardy space .     

Haj?asz-Sobolev imbedding and extension

The author establishes some geometric criteria for a Haj?asz-Sobolev -extension (resp. -imbedding) domain of Rn with n?2, s∈(0,1] and p∈[n/s,∞] (resp. p∈(n/s,∞]). In particular, the author proves that a bounded finitely connected planar domain Ω is a weak α-cigar domain with α∈(0,1) if and only if for some/all s∈[α,1) and p=(2−α)/(s−α), where denotes the restriction of the Triebel-Lizorkin space on Ω.