A Space of Cyclohedra

   Abstract. The real points of the Deligne—Knudsen—Mumford moduli space \overline \cal M ⁿ ₀ of marked points on the sphere have a natural tiling by associahedra. We extend this idea to construct an aspherical space tiled by cyclohedra . We explore the structure of this space, coming from blow-ups of hyperplane arrangements, as well as discuss possibilities of its role in knot theory and mathematical physics.     

The Geometry of Polygons in ℝ5 and Quaternions

We consider the moduli space _r of polygons with fixed side lengths in five-dimensional Euclidean space. We analyze the local structure of its singularities and exhibit a real-analytic equivalence between _r and a weighted quotient of n-fold products of the quaternionic projective line ¹ by the diagonal PSL(2, )-action. We explore the relation between _r and the fixed point set of an anti-symplectic involution on a GIT quotient Gr_ℂ(2, 4) ⁿ /SL(4, ℂ). We generalize the Gel'fand—MacPherson correspondence to more general complex Grassmannians and to the quaternionic context, and realize our space _r as a quotient of a subspace in the quaternionic Grassmannian Gr_ℍ(2, n) by the action of the group Sp(1) ⁿ . We also give analogues of the Gel'fand—Tsetlin coordinates on the space of quaternionic Hermitean marices and briefly describe generalized action—angle coordinates on _r .     

Some notes on densely continuous forms

We consider a special space of set-valued functions (multifunctions), the space of densely continuous forms D(X, Y) between Hausdorff spaces X and Y, defined in [HAMMER, S. T.—McCOY, R. A.: Spaces of densely continuous forms, Set-Valued Anal. 5 (1997), 247–266] and investigated also in [HOLá, L’.: Spaces of densely continuous forms, USCO and minimal USCO maps, Set-Valued Anal. 11 (2003), 133–151]. We show some of its properties, completing the results from the papers [HOLY, D.—VADOVIČ, P.: Densely continuous forms, pointwise topology and cardinal functions, Czechoslovak Math. J. 58(133) (2008), 79–92] and [HOLY, D.—VADOVIČ, P.: Hausdorff graph topology, proximal graph topology and the uniform topology for densely continuous forms and minimal USCO maps, Acta Math. Hungar. 116 (2007), 133–144], in particular concerning the structure of the space of real-valued locally bounded densely continuous forms D _p ^*(X) equipped with the topology of pointwise convergence in the product space of all nonempty-compact-valued multifunctions. The paper also contains a comparison of cardinal functions on D _p ^*(X) and on real-valued continuous functions C _p (X) and a generalization of a sufficient condition for the countable cellularity of D _p ^*(X). This work was supported by Science and Technology Assistance Agency under the contract No. APVT-51-006904 and by the Eco-Net (EGIDE) programme of the Laboratoire de Mathématiques de l’Université de Saint-Etienne (LaMUSE), France.     

Reproducing kernels of generalized Sobolev spaces via a Green function approach with distributional operators

In this paper we introduce a generalized Sobolev space by defining a semi-inner product formulated in terms of a vector distributional operator P consisting of finitely or countably many distributional operators P _n , which are defined on the dual space of the Schwartz space. The types of operators we consider include not only differential operators, but also more general distributional operators such as pseudo-differential operators. We deduce that a certain appropriate full-space Green function G with respect to L := P ^*T P now becomes a conditionally positive function. In order to support this claim we ensure that the distributional adjoint operator P ^* of P is well-defined in the distributional sense. Under sufficient conditions, the native space (reproducing-kernel Hilbert space) associated with the Green function G can be embedded into or even be equivalent to a generalized Sobolev space. As an application, we take linear combinations of translates of the Green function with possibly added polynomial terms and construct a multivariate minimum-norm interpolant s _f,X to data values sampled from an unknown generalized Sobolev function f at data sites located in some set X ì \mathbbR^d{X \subset \mathbb{R}^d}. We provide several examples, such as Matérn kernels or Gaussian kernels, that illustrate how many reproducing-kernel Hilbert spaces of well-known reproducing kernels are equivalent to a generalized Sobolev space. These examples further illustrate how we can rescale the Sobolev spaces by the vector distributional operator P. Introducing the notion of scale as part of the definition of a generalized Sobolev space may help us to choose the “best” kernel function for kernel-based approximation methods.     

Virtual Eigenvalues of the High Order Schrödinger Operator I

We consider the Schr?dinger operator H_γ = ( − Δ)^l + γ V(x)· acting in the space $$L_2 (\mathbb{R}^d ),$$ where 2l ≥ d, V (x) ≥ 0, V (x) is continuous and is not identically zero, and $$\lim _{|{\mathbf{x}}| \to \infty } V({\mathbf{x}}) = 0.$$ We obtain an asymptotic expansion as $$\gamma \uparrow 0$$of the bottom negative eigenvalue of H_γ, which is born at the moment γ = 0 from the lower bound λ = 0 of the spectrum σ(H₀) of the unperturbed operator H₀ = ( − Δ)^l (a virtual eigenvalue). To this end we develop a supplement to the Birman-Schwinger theory on the process of the birth of eigenvalues in the gap of the spectrum of the unperturbed operator H₀. Furthermore, we extract a finite-rank portion Φ(λ) from the Birman- Schwinger operator $$X_V (\lambda ) = V^{\frac{1} {2}} R_\lambda (H_0 )V^{\frac{1}{2}} ,$$ which yields the leading terms for the desired asymptotic expansion.     

Finite-dimensional crystals B 2,s for quantum affine algebras of type D (1) n

The Kirillov–Reshetikhin modules W^r,s are finite-dimensional representations of quantum affine algebras U’_q labeled by a Dynkin node r of the affine Kac–Moody algebra and a positive integer s. In this paper we study the combinatorial structure of the crystal basis B^2,s corresponding to W^2,s for the algebra of type D⁽¹⁾_n. 2000 Mathematics Subject Classification Primary—17B37; Secondary—81R10 Supported in part by the NSF grants DMS-0135345 and DMS-0200774.     

Approximation of infinite matrices by matricial Haar polynomials

The main goal of this paper is to extend the approximation theorem of contiuous functions by Haar polynomials (see Theorem A) to infinite matrices (see Theorem C). The extension to the matricial framework will be based on the one hand on the remark that periodic functions which belong toL ^∞ (T) may be one-to-one identified with Toeplitz matrices fromB(l ₂) (see Theorem 0) and on the other hand on some notions given in the paper. We mention for instance:ms—a unital commutative subalgebra ofl ^∞,C(l ₂) the matricial analogue of the space of all continuous periodic functionsC(T), the matricial Haar polynomials, etc. In Section 1 we present some results concerning the spacems—a concept important for this generalization, the proof of the main theorem being given in the second section. Partially supported by EUROMMAT ICA1-CT-2000-70022. Partially supported by V-Stabi-RUM/1022123. Partially supported by EUROMMAT ICA1-CT-2000-70022 and V-Stabi-RUM/1022123.     

Duality for Harmonic Differential Forms Via Clifford Analysis

The space HF _k (Ω) of harmonic multi-vector fields in a domain as introduced in [1] is closely connected to the space of harmonic forms. The main aim of this paper is to characterize the dual space of HF _k (E) being a compact set. It is proved that HF _k (E)^* is isomorphic to a certain quotient space of so-called harmonic pairs outside E vanishing at infinity. Research of the third author was supported by the FWO Research Network WO. 003. 01N, research of the fourth author was supported by the FWO “Krediet aan Navorsers: 1.5.106.02”     

About entire functions with specialL 2-properties on one-dimensional subspaces of ℂ n

In this paper we consider special elements of the Fock space #x2131; _n . That is the space of entire functionsf:ℂ: ⁿ →ℂ, such that the followingL ²- condition is satisfied: . Here we show that there exists an entire functiong:ℂ ⁿ →ℂ such that for every one-dimensional subspace Π⊂ℂ ⁿ and for all 0<∈<2 we have , but in the limit case ∈=0 we have . This result is analogue to a result from [1]. There holomorphic functions on the unit-ball are investigated. Furthermore the proof — as the one in [1] — uses a theorem from [2]. Therefore we give another application of the results from [2] — namely for spaces of entire functions.     

On point to point reflection of harmonic functions across real-analytic hypersurfaces in ℝ n

Let Γ be a non-singular real-analytic hypersurface in some domainU ⊂ ℝ ⁿ and let Har₀(U, Γ) denote the linear space of harmonic functions inU that vanish on Γ. We seek a condition onx ⁰,x ¹ ∈U/Γ such that the reflection law (RL)u(x ⁰)+Ku(x ¹)=0, ∀u∈Har₀(U, Γ) holds for some constantK. This is equivalent to the class Har₀ (U, Γ) not separating the pointsx ⁰,x ¹. We find that in odd-dimensional spaces (RL)never holds unless Γ is a sphere or a hyperplane, in which case there is a well known reflection generalizing the celebrated Schwarz reflection principle in two variables. In even-dimensional spaces the situation is different. We find a necessary and sufficient condition (denoted the SSR—strong Study reflection—condition), which we described both analytically and geometrically, for (RL) to hold. This extends and complements previous work by e.g. P.R. Garabedian, H. Lewy, D. Khavinson and H. S. Shapiro.     

The geometry of whips

In this article, we study geometric aspects of the space of arcs parameterized by unit speed in the L ² metric. Physically, this corresponds to the motion of a whip, and it also arises in studying shape recognition. The geodesic equation is the nonlinear, nonlocal wave equation η _tt = ∂ _s (σ η _s ), with \lvert h_s\rvert o 1{\lvert \eta_{s}\rvert\equiv 1} and σ given by s_ss- \lvert h_ss\rvert² s = -\lvert h_st\rvert²{\sigma_{ss}- \lvert \eta_{ss}\rvert^2 \sigma = -\lvert \eta_{st}\rvert^2}, with boundary conditions σ(t, 1) = σ(t, −1) = 0 and η(t, 0) = 0. We prove that the space of arcs is a submanifold of the space of all curves, that the orthogonal projection exists but is not smooth, and as a consequence we get a Riemannian exponential map that is continuous and even differentiable but not C ¹. This is related to the fact that the curvature is positive but unbounded above, so that there are conjugate points at arbitrarily short times along any geodesic.     

Precise asymptotics in self-normalized sums of iterated logarithm for multidimensionally indexed random variables

In the case of Zd (d ≥ 2)-the positive d-dimensional lattice points with partial ordering ≤, {Xk,k ∈ Zd } i.i.d. random variables with mean 0, Sn = ∑k≤nXk and Vn2 = ∑j≤nX2j, the precise asymptotics for ∑n1/|n|(log|n|)dP(|Sn/vn|≥ ε√loglog|n|) and ∑n(logn|)δ/|n|(log|n|)d-1 P(|Sn/Vn| ≥ ε√log n), as ε ↘ 0, is established.     

Skew loops in flat tori

We produce skew loops—loops having no pair of parallel tangent lines—homotopic to any loop in a flat torus or other quotient of R ⁿ . The interesting case here is n = 3. More subtly for any n, we characterize the homotopy classes that will contain a skew loop having a specified loop as tangent indicatrix. A fellowship from the Lady Davis foundation helped support this work.     

Construction of positive definite cubature formulae and approximation of functions via Voronoi tessellations

Let Ω ⊂ ℝ ^d be a compact convex set of positive measure. In a recent paper, we established a definiteness theory for cubature formulae of order two on Ω. Here we study extremal properties of those positive definite formulae that can be generated by a centroidal Voronoi tessellation of Ω. In this connection we come across a class of operators of the form L_n[f](x): = ?_i=1ⁿ f_i(x)(f(y_i) + á?f(y_i), x-y_i?)L_n[f](\boldsymbol{x}):= \sum_{i=1}^n \phi_i(\boldsymbol{x})(f(\boldsymbol{y}_i) + \langle\nabla f(\boldsymbol{y}_i), \boldsymbol{x}-\boldsymbol{y}_i\rangle), where y₁,..., y_n\boldsymbol{y}_1,\dots, \boldsymbol{y}_n are distinct points in Ω and {ϕ ₁, ..., ϕ _n } is a partition of unity on Ω. We present best possible pointwise error estimates and describe operators L _n with a smallest constant in an L ^p error estimate for 1 ≤ p < ∞ . For a generalization, we introduce a new type of Voronoi tessellation in terms of a twice continuously differentiable and strictly convex function f. It allows us to describe a best operator L _n for approximating f by L _n [f] with respect to the L ^p norm.     

A topological position of the set of continuous maps in the set of upper semicontinuous maps

Let (X, ρ) be a metric space and ↓USCC(X) and ↓CC(X) be the families of the regions below all upper semi-continuous compact-supported maps and below all continuous compact-supported maps from X to I = [0, 1], respectively. With the Hausdorff-metric, they are topological spaces. In this paper, we prove that, if X is an infinite compact metric space with a dense set of isolated points, then (↓USCC(X), ↓CC(X)) ≈ (Q, c0 ∪ (Q \ Σ)), i.e., there is a homeomorphism h :↓USCC(X) → Q such that h(↓CC(X)) = c0 ∪ (Q \ Σ...     

On the growth of the Bergman kernel near an infinite-type point

We study diagonal estimates for the Bergman kernels of certain model domains in \mathbbC²{\mathbb{C}^{2}} near boundary points that are of infinite type. To do so, we need a mild structural condition on the defining functions of interest that facilitates optimal upper and lower bounds. This is a mild condition; unlike earlier studies of this sort, we are able to make estimates for non-convex pseudoconvex domains as well. This condition quantifies, in some sense, how flat a domain is at an infinite-type boundary point. In this scheme of quantification, the model domains considered below range—roughly speaking—from being “mildly infinite-type” to very flat at the infinite-type points.     

A convexity theorem for multiplicative functions

We generalize a well known convexity property of the multiplicative potential function. We prove that, given any convex function g : \mathbbR^m ? [0, ￥]{g : \mathbb{R}^m \rightarrow [{0}, {\infty}]}, the function ${({\rm \bf x},{\rm \bf y})\mapsto g({\rm \bf x})^{1+\alpha}{\bf y}^{-{\bf \beta}}, {\bf y}>{\bf 0}}${({\rm \bf x},{\rm \bf y})\mapsto g({\rm \bf x})^{1+\alpha}{\bf y}^{-{\bf \beta}}, {\bf y}>{\bf 0}}, is convex if β ≥ 0 and α ≥ β ₁ + ··· + β _n . We also provide further generalization to functions of the form (x,y₁, . . . , y_n)? g(x)^1+af₁(y₁)^-b₁ ···f_n(y_n)^-b_n{({\rm \bf x},{\rm \bf y}_1, . . . , {y_n})\mapsto g({\rm \bf x})^{1+\alpha}f_1({\rm \bf y}_1)^{-\beta_1} \cdot \cdot \cdot f_n({\rm \bf y}_n)^{-\beta_n} } with the f _k concave, positively homogeneous and nonnegative on their domains.     

On dualL 1-spaces and injective bidual Banach spaces

In a previous paper (Israel J. Math.28 (1977), 313–324), it was shown that for a certain class of cardinals τ,l ¹(τ) embeds in a Banach spaceX if and only ifL ¹([0, 1]^τ) embeds inX ^*. An extension (to a rather wider class of cardinals) of the basic lemma of that paper is here applied so as to yield an affirmative answer to a question posed by Rosenthal concerning dual ℒ₁-spaces. It is shown that ifZ ^* is a dual Banach space, isomorphic to a complemented subspace of anL ¹-space, and κ is the density character ofZ ^*, thenl ¹(κ) embeds inZ ^*. A corollary of this result is that every injective bidual Banach space is isomorphic tol ^∞(κ) for some κ. The second part of this article is devoted to an example, constructed using the continuum hypothesis, of a compact spaceS which carries a homogeneous measure of type ω₁, but which is such thatl ¹(ω₁) does not embed in ℰ(S). This shows that the main theorem of the already mentioned paper is not valid in the case τ = ω₁. The dual space ℰ(S)^* is isometric to , and is a member of a new isomorphism class of dualL ¹-spaces.     

Threshold for the volume spanned by random points with independent coordinates

Let μ be an even compactly supported Borel probability measure on the real line. For every N > n consider N independent random vectors X ₁, ..., X _N in ℝ ⁿ , with independent coordinates having distribution μ. We establish a sharp threshold for the volume of the random polytope K _N ≔ conv{X ₁, ..., X _N }, provided that the Legendre transform λ of the cumulant generating function of μ satisfies the condition

Embedding into l ∞2 Is Easy, Embedding into l ∞3 Is?NP-Complete

We give a new algorithm for enumerating all possible embeddings of a metric space (i.e., the distances between every pair within a set of n points) into ℝ² Cartesian space preserving their l _∞ (or l ₁) metric distances. Its expected time is (i.e., within a poly-log of the size of the input) beating the previous algorithm. In contrast, we prove that detecting l _∞³ embeddings is NP-complete. The problem is also NP-complete within l ₁² or l _∞² with the added constraint that the locations of two of the points are given or alternatively that the two dimensions are curved into a three-dimensional sphere. We also refute a compaction theorem by giving a metric space that cannot be embedded in l _∞³; however, it can be embedded if any single point is removed. This research is partially supported by NSERC grants. I would like to thank Steven Watson for his extensive help on this paper.