Cubature over the sphere in Sobolev spaces of arbitrary order

This paper studies numerical integration (or cubature) over the unit sphere for functions in arbitrary Sobolev spaces H^s(S²), s>1. We discuss sequences of cubature rules, where (i) the rule Q_m(n) uses m(n) points and is assumed to integrate exactly all (spherical) polynomials of degree ≤n and (ii) the sequence (Q_m(n)) satisfies a certain local regularity property. This local regularity property is automatically satisfied if each Q_m(n) has positive weights. It is shown that for functions in the unit ball of the Sobolev space H^s(S²), s>1, the worst-case cubature error has the order of convergence O(n^-s), a result previously known only for the particular case . The crucial step in the extension to general s>1 is a novel representation of , where P_ℓ is the Legendre polynomial of degree ℓ, in which the dominant term is a polynomial of degree n, which is therefore integrated exactly by the rule Q_m(n). The order of convergence O(n^-s) is optimal for sequences (Q_m(n)) of cubature rules with properties (i) and (ii) if Q_m(n) uses m(n)=O(n²) points.     

Degenerate principal series representations and their holomorphic extensions

Let X=H/L be an irreducible real bounded symmetric domain realized as a real form in an Hermitian symmetric domain D=G/K. The intersection S of the Shilov boundary of D with X defines a distinguished subset of the topological boundary of X and is invariant under H. It can be realized as S=H/P for certain parabolic subgroup P of H. We study the spherical representations of H induced from P. We find formulas for the spherical functions in terms of the Macdonald hypergeometric function. This generalizes the earlier result of Faraut-Koranyi for Hermitian symmetric spaces D. We consider a class of H-invariant integral intertwining operators from the representations on L²(S) to the holomorphic representations of G restricted to H. We construct a new class of complementary series for the groups H=SO(n,m), SU(n,m) (with n−m>2) and Sp(n,m) (with n−m>1). We realize them as discrete components in the branching rule of the analytic continuation of the holomorphic discrete series of G=SU(n,m), SU(n,m)×SU(n,m) and SU(2n,2m) respectively.     

Two classes of hyperplanes of dual polar spaces without subquadrangular quads

Let Π be one of the following polar spaces: (i) a nondegenerate polar space of rank n−1?2 which is embedded as a hyperplane in Q(2n,K); (ii) a nondegenerate polar space of rank n?2 which contains Q(2n,K) as a hyperplane. Let Δ and DQ(2n,K) denote the dual polar spaces associated with Π and Q(2n,K), respectively. We show that every locally singular hyperplane of DQ(2n,K) gives rise to a hyperplane of Δ without subquadrangular quads. Suppose Π is associated with a nonsingular quadric Q⁻(2n+?,K) of PG(2n+?,K), ?∈{−1,1}, described by a quadratic form of Witt-index , which becomes a quadratic form of Witt-index when regarded over a quadratic Galois extension of K. Then we show that the constructed hyperplanes of Δ arise from embedding.     

The evaluation subgroup of a fibre inclusion

Let be a fibration of simply connected CW complexes of finite type with classifying map . We study the evaluation subgroup Gn(E,X;j) of the fibre inclusion as an invariant of the fibre-homotopy type of ξ. For spherical fibrations, we show the evaluation subgroup may be expressed as an extension of the Gottlieb group of the fibre sphere provided the classifying map h induces the trivial map on homotopy groups. We extend this result after rationalization: We show that the decomposition G_∗(E,X;j)⊗Q=(G_∗(X)⊗Q)⊕(π_∗(B)⊗Q) is equivalent to the condition Q(h_?)=0.     

On Manin's conjecture for a certain singular cubic surface

This paper contains a proof of the Manin conjecture for the singular cubic surface S⊂P³ that is defined by the equation . In fact if U⊂S is the Zariski open subset obtained by deleting the unique line from S, and H is the usual exponential height on P³(Q), then the height zeta function _∑x∈U(Q)H(x)^−s is analytically continued to the half-plane .     

Graphs with maximal signless Laplacian spectral radius

By the signless Laplacian of a (simple) graph G we mean the matrix Q(G)=D(G)+A(G), where A(G),D(G) denote respectively the adjacency matrix and the diagonal matrix of vertex degrees of G. It is known that connected graphs G that maximize the signless Laplacian spectral radius ρ(Q(G)) over all connected graphs with given numbers of vertices and edges are (degree) maximal. For a maximal graph G with n vertices and r distinct vertex degrees δ_r>δ_r-1>?>δ₁, it is proved that ρ(Q(G))<ρ(Q(H)) for some maximal graph H with n+1 (respectively, n) vertices and the same number of edges as G if either G has precisely two dominating vertices or there exists an integer such that δ_i+δ_r+1-i?n+1 (respectively, δ_i+δ_r+1-i?δ_l+δ_r-l+1). Graphs that maximize ρ(Q(G)) over the class of graphs with m edges and m-k vertices, for k=0,1,2,3, are completely determined.     

On the cohomology of joins of operator algebras

By analogy with the join in topology, the join A*B for operator algebras A and B acting on Hilbert spaces H and K, respectively, was defined by Gilfeather and Smith (Amer. J. Math. 116 (1994) 541-561). Assuming that K is finite dimensional, they calculated the Hochschild cohomology groups for A*B with coefficients in L(K⊕H). We assume that A is a maximal abelian von Neumann algebra acting on H, A is a subalgebra of , and B is an ultraweakly closed subalgebra of M_n(A) containing A⊗1_n. We show that B may be decomposed into a finite sum of free modules. In this context, we redefine the join of A and B, generalize the calculations of Gilfeather and Smith, and calculate , for all m?0.     

A functional equation arising from multiplication of quantum integers

For the quantum integer [n]_q=1+q+q²+?+qⁿ⁻¹ there is a natural polynomial multiplication such that [m]_q⊗_q[n]_q=[mn]_q. This multiplication leads to the functional equation f_m(q)f_n(q^m)=f_mn(q), defined on a given sequence of polynomials. This paper contains various results concerning the construction and classification of polynomial sequences that satisfy the functional equation, as well open problems that arise from the functional equation.     

Graphic sequences with a realization containing a complete multipartite subgraph

A nonincreasing sequence of nonnegative integers π=(d₁,d₂,…,d_n) is graphic if there is a (simple) graph G of order n having degree sequence π. In this case, G is said to realizeπ. For a given graph H, a graphic sequence π is potentiallyH-graphic if there is some realization of π containing H as a (weak) subgraph. Let σ(π) denote the sum of the terms of π. For a graph H and n∈Z⁺, σ(H,n) is defined as the smallest even integer m so that every n-term graphic sequence π with σ(π)≥m is potentially H-graphic. Let denote the complete t partite graph such that each partite set has exactly s vertices. We show that and obtain the exact value of σ(K_j+K_s,s,n) for n sufficiently large. Consequently, we obtain the exact value of for n sufficiently large.     

The geometry of the critical set of nonlinear periodic Sturm-Liouville operators

We study the critical set C of the nonlinear differential operator F(u)=−u^″+f(u) defined on a Sobolev space of periodic functions Hp(S¹), p?1. Let be the plane z=0 and, for n>0, let n be the cone x²+y²=tan²z, |z−2πn|<π/2; also set . For a generic smooth nonlinearity f:R→R with surjective derivative, we show that there is a diffeomorphism between the pairs (Hp(S¹),C) and (R³,Σ)×H where H is a real separable infinite-dimensional Hilbert space.     

The Riemannian product structures of spacelike hypersurfaces with constant k-th mean curvature in the de Sitter spaces

In this paper, we investigate complete spacelike hypersurfaces in the de Sitter space with constant k-th mean curvature and two distinct principal curvatures one of which is simple. We obtain some characterizations of the Riemannian product H¹(c₁)×Sn−1(c₂) or Hn−1(c₁)×S¹(c₂) in the de Sitter space .     

Rigid continua and transfinite inductive dimension

We introduce a general method of resolving first countable, compact spaces that allows accurate estimate of inductive dimensions. We apply this method to construct, inter alia, for each ordinal number α>1 of cardinality ?c, a rigid, first countable, non-metrizable continuum Sα with . Sα is the increment in some compactification of [0,1) and admits a fully closed, ring-like map onto a metric continuum. Moreover, every subcontinuum of Sα is separable. Additionally, Sα can be constructed so as to be: (1) a hereditarily indecomposable Anderson-Choquet continuum with covering dimension a given natural number n, provided α>n, (2) a hereditarily decomposable and chainable weak Cook continuum, (3) a hereditarily decomposable and chainable Cook continuum, provided α is countable, (4) a hereditarily indecomposable Cook continuum with covering dimension one, or (5) a Cook continuum with covering dimension two, provided α>2.We also produce a chainable and hereditarily decomposable space Sω(c⁺) with , , trind₀Sω(c⁺) and trInd₀Sω(c⁺) all equal to ω(c⁺), the first ordinal of cardinality c⁺.     

Solution of Hyers-Ulam stability problem for generalized Pappus' equation

The purpose of this paper is to solve the stability problem of Ulam for an approximate mapping of the following generalized Pappus' equation:

n²Q(x+my)+mnQ(x−ny)=(m+n)[nQ(x)+mQ(ny)]     

Pinching theorems of hypersurfaces in a unit sphere

Let Mn be a complete hypersurface in Sn+1(1) with constant mean curvature. Assume that Mn has n−1 principal curvatures with the same sign everywhere. We prove that if RicM≤C₋(H), either S?S₊(H) or RicM?0 or the fundamental group of Mn is infinite, then S is constant, S=S₊(H) and Mn is isometric to a Clifford torus with . These rigidity theorems are still valid for compact hypersurface without constancy condition on the mean curvature.     

On hyper-singular integral operators with variable kernels

Let n?2, Sn−1 be the unit sphere in Rn. For 0?α<1, m∈N₀, 1<p?2, and Ω∈L^∞(Rn)×Hr(Sn−1) with (where Hr is the Hardy space if r?1 and Hr=Lr if 1<r<∞), we study the singular integral operator, for r?1, defined by

     

Schur-class multipliers on the Arveson space: De Branges-Rovnyak reproducing kernel spaces and commutative transfer-function realizations

An interesting and recently much studied generalization of the classical Schur class is the class of contractive operator-valued multipliers S(λ) for the reproducing kernel Hilbert space H(kd) on the unit ball Bd⊂Cd, where kd is the positive kernel kd(λ,ζ)=1/(1−〈λ,ζ〉) on Bd. The reproducing kernel space H(KS) associated with the positive kernel KS(λ,ζ)=(I−S(λ)S^∗(ζ))⋅kd(λ,ζ) is a natural multivariable generalization of the classical de Branges-Rovnyak canonical model space. A special feature appearing in the multivariable case is that the space H(KS) in general may not be invariant under the adjoints of the multiplication operators on H(kd). We show that invariance of H(KS) under for each j=1,…,d is equivalent to the existence of a realization for S(λ) of the form S(λ)=D+C⁻¹(I−λ₁A₁−?−λdAd)(λ₁B₁+?+λdBd) such that connecting operator has adjoint U^∗ which is isometric on a certain natural subspace (U is “weakly coisometric”) and has the additional property that the state operators A₁,…,Ad pairwise commute; in this case one can take the state space to be the functional-model space H(KS) and the state operators A₁,…,Ad to be given by (a de Branges-Rovnyak functional-model realization). We show that this special situation always occurs for the case of inner functions S (where the associated multiplication operator MS is a partial isometry), and that inner multipliers are characterized by the existence of such a realization such that the state operators A₁,…,Ad satisfy an additional stability property.