Spaces of Densely Continuous Forms, USCO and Minimal USCO Maps

Our paper studies the topology of uniform convergence on compact sets on the space of densely continuous forms (introduced by Hammer and McCoy (1997)), usco and minimal usco maps. We generalize and complete results from Hammer and McCoy (1997) concerning the space D(X,Y) of densely continuous forms from X to Y. Let X be a Hausdorff topological space, (Y,d) be a metric space and D _k (X,Y) the topology of uniform convergence on compact sets on D(X,Y). We prove the following main results: D _k (X,Y) is metrizable iff D _k (X,Y) is first countable iff X is hemicompact. This result gives also a positive answer to question 4.1 of McCoy (1998). If moreover X is a locally compact hemicompact space and (Y,d) is a locally compact complete metric space, then D _k (X,Y) is completely metrizable, thus improving a result from McCoy (1998). We study also the question, suggested by Hammer and McCoy (1998), when two compatible metrics on Y generate the same topologies of uniform convergence on compact sets on D(X,Y). The completeness of the topology of uniform convergence on compact sets on the space of set-valued maps with closed graphs, usco and minimal usco maps is also discussed.     

Universal Overconvergence of Polynomial Expansions of Harmonic Functions

For each compact subset K of ^N let (K) denote the space of functions that are harmonic on some neighbourhood of K. The space (K) is equipped with the topology of uniform convergence on K. Let Ω be an open subset of ^N such that 0Ω and ^N\Ω is connected. It is shown that there exists a series ∑H_n, where H_n is a homogeneous harmonic polynomial of degree n on ^N, such that (i) ∑H_n converges on some ball of centre 0 to a function that is continuous on Ω and harmonic on Ω, (ii) the partial sums of ∑H_n are dense in (K) for every compact subset K of ^N\Ω with connected complement. Some refinements are given and our results are compared with an analogous theorem concerning overconvergence of power series.     

Orthogonal Polynomials on the Ball and the Simplex for Weight Functions with Reflection Symmetries

Generalized classical orthogonal polynomials on the unit ball B ^d and the standard simplex T ^d are orthogonal with respect to weight functions that are reflection-invariant on B ^d and, after a composition, on T ^d , respectively. They are also eigenfunctions of a second-order differential—difference operator that is closely related to Dunkl's h -Laplacian for the reflection groups. Under a proper limit, the generalized classical orthogonal polynomials on B ^d converge to the generalized Hermite polynomials on R ^d , and those on T ^d converge to the generalized Laguerre polynomials on R ^d ₊ . The latter two are related to the Calogero—Sutherland models associated to the Weyl groups of type A and type B . February 14, 2000. Date revised: July 26, 2000. Date accepted: August 4, 2000.     

Simultaneous approximation on two subsets of an open Riemann surface

Given functions f₁ and f₂ meromorphic, respectively, on subsets E₁ and E₂ of a Riemann surface R, we seek a function meromorphic on all of R, which simultaneously approximates f₁ on E₁ and f₂ on E₂.     

COMPARATIVE PROBABILITY ON THE C* ALGEBRA OF COMPACT OPERATORS

Abstract

Let A be a von Neumann algebra on a Hilbert space H and let P(A) denote the projections of A. A comparative probability (CP) on A (or more correctly on P(A)) is a preorder ? on P(A) satisfying:

0 ? P ? P ε P(A) with Q ≠ 0 for some Q ε P(A).

If P, Q ε P(A) then either P ? Q or Q ? P.

If P, Q and R are all in P(A) and P⊥R, Q⊥R, then P ? Q ? P + R ? Q + R.

Let τ be any of the usual locally convex topologies on A. We say ? is τ continuous if the interval topology induced on P(A) by ? is weaker than the τ topology on P(A). If μ an additive (completely additive) measure on P(A) then μ induces a uniformly (weakly) continuous CP ?μ on P(A) given by P ?_μ Q if μ(P) ? μ(Q). We show that if A is the C* algebra C(H) of compact operators on an infinite dimensional Hilbert space H, the converse is true under an extra boundedness condition on the CP which is automatically satisfied whenever the identity is present in A = P(C(H)).     

Pseudodifferential Operators on Prehomogeneous Vector Spaces

ABSTRACT

Let G be a connected, linear algebraic group defined over ?, acting regularly on a finite dimensional vector space V over ? with ?-structure V _?. Assume that V possesses a Zariski-dense orbit, so that (G, ?, V) becomes a prehomogeneous vector space over ?. We consider the left regular representation π of the group of ?-rational points G _? on the Banach space C₀(V _?) of continuous functions on V _? vanishing at infinity, and study the convolution operators π(f), where f is a rapidly decreasing function on the identity component of G _?. Denote the complement of the dense orbit by S, and put S _? = S ∩ V _?. It turns out that, on V _? ? S _?, π(f) is a smooth operator. If S _? = {0}, the restriction of the Schwartz kernel of π(f) to the diagonal defines a homogeneous distribution on V _? ? {0}. Its nonunique extension to V _? can then be regarded as a trace of π(f). If G is reductive, and S and S _? are irreducible hypersurfaces, π(f) corresponds, on each connected component of V _? ? S _?, to a totally characteristic pseudodifferential operator. In this case, the restriction of the Schwartz kernel of π(f) to the diagonal defines a distribution on V _? ? S _? given by some power |p(m)| ^s of a relative invariant p(m) of (G, ?, V) and, as a consequence of the Fundamental Theorem of Prehomogeneous Vector Spaces, its extension to V _?, and the complex s-plane, satisfies functional equations similar to those for local zeta functions. A trace of π(f) can then be defined by subtracting the singular contributions of the poles of the meromorphic extension.     

Rationality for Subgroups of S 6

For a transitive subgroup G ≤ S ₆ which contain C ₃ × C ₃ as subgroup, we prove that K(x ₁,…, x ₆) ^G is rational over K, where K is any field, and G acts naturally on K(x ₁,…, x ₆) by permutations on the variables. We also give an application on construction of generic polynomials.     

Best Simultaneous Approximation in L(I,E)

Let G be a reflexive subspace of the Banach space E and let L^p(I,E) denote the space of all p-Bochner integrable functions on the interval I=[0,1] with values in E, 1p∞. Given any norm N( , ) on R², N nondecreasing in each coordinate on the set R²₊, we prove that L^p(I,G) is N-simultaneously proximinal in L^p(I,E). Other results are also obtained.     

Criteria for farthest points on convex surfaces

We provide a sharp, sufficient condition to decide if a point y on a convex surface S is a farthest point (i.e., is at maximal intrinsic distance from some point) on S, involving a lower bound π on the total curvature ω_y at y, ω_y ≥ π. Further consequences are obtained when ω_y > π, and sufficient conditions are derived to guarantee that a convex cap contains at least one farthest point. A connection between simple closed quasigeodesics O of S, points y ∈ S\O with ω_y > π, and the set ?? of all farthest points on S, is also investigated (© 2009 WILEY‐VCH Verlag GmbH & Co. KGaA, Weinheim)     

Towards Bounding Complexity of a Minimal Model

We give some effectivity results in birational geometry. We provide an upper bound on the rational constant in Rationality Theorem in terms of certain intersection numbers, under an additional condition on the variety that it admits a divisorial contraction. One consequence is an explicit bound on the number of certain extremal rays. Our main result tries to construct from a given set of ample divisors H _j on X with their intersection numbers b _i , a certain set of ample divisors L _j on X' or X ⁺ where X' or X ⁺ arises from a contraction or a flip,such that the corresponding intersection numbers of L _j are uniformly bounded in terms of b _i and the index of X. This gives a bound on the projective degree of a minimal model in special case.     

Doubly Transitive Automorphism Groups of Combinatorial Surfaces

   Abstract. The combinatorial surfaces with doubly transitive automorphism groups are classified. This is established by classifying the automorphism groups of combinatorial surfaces which act doubly transitively on the vertices of the surface. The doubly transitive automorphism groups of combinatorial surfaces are the symmetric group S ₄ , the alternating group A ₅ and the Frobenius group C ₇ · C ₆ . In each case the combinatorial surface is uniquely determined. The symmetric group S ₄ acts doubly transitively on the tetrahedron surface, the alternating group A ₅ on the triangulation of the projective plane with six vertices and the Frobenius group C ₇ · C ₆ on the Moebius torus with seven vertices.     

Mixed covering arrays on graphs

Covering arrays have applications in software, network and circuit testing. In this article, we consider a generalization of covering arrays that allows mixed alphabet sizes as well as a graph structure that specifies the pairwise interactions that need to be tested. Let k and n be positive integers, and let G be a graph with k vertices v₁,v₂,…, v_k with respective vertex weights g₁ ≤ g₂ ≤ … ≤ g_k. A mixed covering array on G, denoted by , is an n × k array such that column i corresponds to v_i, cells in column i are filled with elements from ?_gi and every pair of columns i,j corresponding to an edge v_i,v_j in G has every possible pair from ?_gi × ?_gj appearing in some row. The number of rows in such array is called its size. Given a weighted graph G, a mixed covering array on G with minimum size is called optimal. In this article, we give upper and lower bounds on the size of mixed covering arrays on graphs based on graph homomorphisms. We provide constructions for covering arrays on graphs based on basic graph operations. In particular, we construct optimal mixed covering arrays on trees, cycles and bipartite graphs; the constructed optimal objects have the additional property of being nearly point balanced. © 2007 Wiley Periodicals, Inc. J Combin Designs 15: 393–404, 2007     

Exposed points and extremal problems in H1 on a bidisc

An essential bounded function ? gives a continuous linear functional on the Hardy space H¹ on the bitorus. In this paper, we consider extremal problems on H¹ when ? is a rational function, ? is a product of one variable functions or ? = |f|/f for some outer function f in H¹ such that f(z, w) has a good property with respect to w for a.e. z. (© 2003 WILEY‐VCH Verlag GmbH & Co. KGaA, Weinheim)     

The Lie Bracket of Adapted Vector Fields on Wiener Spaces

Let W(M) be the based (at o∈ M) path space of a compact Riemannian manifold M equipped with Wiener measure ν . This paper is devoted to considering vector fields on W(M) of the form X _s ^h ( σ )=P _s ( σ )h _s ( σ ) where P _s ( σ ) denotes stochastic parallel translation up to time s along a Wiener path σ ∈ W(M) and {h _s } _{s∈ [0,1]} is an adapted T _o M -valued process on W(M). It is shown that there is a large class of processes h (called adapted vector fields) for which we may view X ^h as first-order differential operators acting on functions on W(M) . Moreover, if h and k are two such processes, then the commutator of X ^h with X ^k is again a vector field on W(M) of the same form. Accepted 5 May 1997     

Topologies on central extensions of von Neumann algebras

Given a von Neumann algebra M, we consider the central extension E(M) of M. We introduce the topology t _c(M) on E(M) generated by a center-valued norm and prove that it coincides with the topology of local convergence in measure on E(M) if and only if M does not have direct summands of type II. We also show that t _c(M) restricted to the set E(M) _h of self-adjoint elements of E(M) coincides with the order topology on E(M) _h if and only if M is a σ-finite type I_fin von Neumann algebra.     

AN EIGENSPACE CHARACTERIZATION OF LORENTZ-IMPROVING MEASURES ON COMPACT GROUPS

Abstract

A measure μ on a compact group is called Lorentz-improving if for some 1 > p > ∞ and 1 → q ₁ > q ₂ ∞ μ *L (p, q ₂) ? L(p, q ₁). Let T _μ denote the operator on L ² defined by T _μ(f) = μ * f. Lorentz-improving measures are characterized in terms of the eigenspaces of T _μ, if T _μ is a normal operator, and in terms of the eigenspaces of |T _μ| otherwise. This result generalizes our recent characterization of Lorentz-improving measures on compact abelian groups and is modelled after Hare's characterization of L ^p -improving measures on compact groups.     

The structure of -tensorial cochains of differential operators

Let M be a manifold. Let F = C^∞(M, R). Then the associative algebra of differential operators on is a two-sided -module. We prove that there is a natural isomorphism between the -tensorial Hochschild p-cochains of and the jets, taken on the diagonal, of smooth functions on the Cartesian product of p + 1 copies of M. There is an induced isomorphism of the corresponding associative differential graded algebras. The normalised -tensorial p-cochains correspond isomorphically to jets of those above functions which vanish on all the contiguous subdiagonals x_{j + 1} = X_j, j = 0,…, p − 1 of M^{(p + 1)}. This isomorphism may offer a useful alternative view of infinite-order jets of functions of several variables, taken on the diagonal as cochains of .     

Empilrical likelihood for non-parametric regression models with missing responses: Multiple design case

Empirical likelihood(EL) ratio statistic on θ = g(x) is constructed based on the inverse probability weighted imputation approach in a nonparametric regression model Y = g(x) + ε(x ∈ [0,1]p) with fixed designs and missing responses,which asymptotically has χ12 distribution.This result is used to obtain a EL based confidence interval on θ.     

The Chern character of a transversally elliptic symbol and the equivariant index

Let G be a compact Lie group acting on a compact manifold M. In this article, we associate to a G-transversally elliptic symbol on M a G-invariant generalized function on G, constructed in terms of equivariant closed differential forms on the cotangent bundle T ^* M. Oblatum 24-VII-1995     

On the Boundary Behaviour of Poisson Integrals of Finite Measures in (n + 1)-dimensional Half Space

It is well known that the harmonic functions u on the Euclidean upper (n + 1)-dimensional half-space E⁺ _n+1 = {(x, y) = (x ₁,…,x_n,y) ? E _n+1: y > 0} satisfying sup _y>0 ||u(·,y)||₁ < ∞ are precisely the Poisson-integrals u(x,y) = ∫ _En P(x - t,y)dμ(t) with respect to a measure μ of finite variation on E_n , and that (Fatou's theorem in E⁺ _n+1) in almost every point x ? E_n the non-tangential boundary limit of u exists and coincides with du/dλ. While this is a special case of a general assertion in potential theory, it is shown that the proof of Fatou's theorem for harmonic functions on a ball may readily be transferred to the given setup and that the influence of a singular component of μ on the boundary behaviour of u may also be established without recourse to the existence of the derivative dμ/dλ. Finally the C ₀-property of u is characterized by suitable conditions on μ.