On the Order Dimension of Outerplanar Maps

Schnyder characterized planar graphs in terms of order dimension. Brightwell and Trotter proved that the dimension of the vertex-edge-face poset P _M of a planar map M is at most four. In this paper we investigate cases where dim(P _M ) ≤ 3 and also where dim(Q _M ) ≤ 3; here Q _M denotes the vertex-face poset of M. We show:

On the geometry of metric measure spaces. II

We introduce a curvature-dimension condition CD (K, N) for metric measure spaces. It is more restrictive than the curvature bound (introduced in [Sturm K-T (2006) On the geometry of metric measure spaces. I. Acta Math 196:65–131]) which is recovered as the borderline case CD(K, ∞). The additional real parameter N plays the role of a generalized upper bound for the dimension. For Riemannian manifolds, CD(K, N) is equivalent to and dim(M) ⩽ N. The curvature-dimension condition CD(K, N) is stable under convergence. For any triple of real numbers K, N, L the family of normalized metric measure spaces (M, d, m) with CD(K, N) and diameter ⩽ L is compact. Condition CD(K, N) implies sharp version of the Brunn–Minkowski inequality, of the Bishop–Gromov volume comparison theorem and of the Bonnet–Myers theorem. Moreover, it implies the doubling property and local, scale-invariant Poincaré inequalities on balls. In particular, it allows to construct canonical Dirichlet forms with Gaussian upper and lower bounds for the corresponding heat kernels.     

Asymptotic stability and instability criteria for nonautonomous systems

The classical criterion of asymptotic stability of the zero solution of equations x′ = f(t, x) is that there exists a function V (t, x), a(∥x∥) ≤ V (t, x) ≤ b(∥x∥) for some a, b ∈ K such that [(V)\dot] \dot{V} (t, x) ≤ −c(∥x∥) for some c ∈ K. In this paper, we prove that if V^{(m + 1)} \mathop {V}\limits^{(m + {1})} (t, x) is bounded on some set [tk − T, tk + T] × BH(tk → +∞ as k → ∞), then the condition that [(V)\dot] \dot{V} (t, x) ≤ −c(∥x∥) can be weakened and replaced by that [(V)\dot] \dot{V} (t, x) ≤ 0 and − (−[(V)\dot] \dot{V} (tk, x)| + − [(V)\ddot] \ddot{V} (tk, x)| + ⋯ + − V^(m) \mathop {V}\limits^{(m)} (tk, x)|) ≤ −c′(∥x∥) for some c′ ∈ K. Moreover, the author also presents a corresponding instability criterion. [1–10]     

Anharmonic Oscillators in the Complex Plane, $\boldsymbol{\mathcal{PT}}$-symmetry,and Real Eigenvalues

For integers m ≥ 3 and 1 ≤ ℓ ≤ m − 1, we study the eigenvalue problems − u ^″(z) + [( − 1)^ℓ(iz) ^m  − P(iz)]u(z) = λu(z) with the boundary conditions that u(z) decays to zero as z tends to infinity along the rays argz=-\fracp2±\frac(l+1)pm+2\arg z=-\frac{\pi}{2}\pm \frac{(\ell+1)\pi}{m+2} in the complex plane, where P is a polynomial of degree at most m − 1. We provide asymptotic expansions of the eigenvalues λ _n . Then we show that if the eigenvalue problem is PT\mathcal{PT}-symmetric, then the eigenvalues are all real and positive with at most finitely many exceptions. Moreover, we show that when gcd(m,l)=1\gcd(m,\ell)=1, the eigenvalue problem has infinitely many real eigenvalues if and only if one of its translations or itself is PT\mathcal{PT}-symmetric. Also, we will prove some other interesting direct and inverse spectral results.     

Generalized gluing for Einstein constraint equations

In this paper we construct a family of new (topologically distinct) solutions to the Einstein constraint equations by performing the generalized connected sum (or fiber sum) of two known compact m-dimensional constant mean curvature solutions (M ₁, g ₁, Π₁) and (M ₂, g ₂,Π₂) along a common isometrically embedded k-dimensional sub-manifold (K, g _K ). Away from the gluing locus the metric and the second fundamental form of the new solutions can be chosen as close as desired to the ones of the original solutions. The proof is essentially based on the conformal method and the geometric construction produces a polyneck between M ₁ and M ₂ whose metric is modeled fiber-wise (i. e. along the slices of the normal fiber bundle of K) around a Schwarzschild metric; for these reasons the codimension n : =  m − k of K in M ₁ and M ₂ is required to be  ≥  3. In this sense our result is a generalization of the Isenberg–Mazzeo–Pollack gluing, which works for connected sum at points and in dimension 3. The solutions we obtain for the Einstein constraint equations can be used to produce new short time vacuum solutions of the Einstein system on a Lorentzian (m + 1)-dimensional manifold, as guaranteed by a well known result of Choquet-Bruhat.     

On the Stanley depth of squarefree Veronese ideals

Let K be a field and S=K[x ₁,…,x _n ]. In 1982, Stanley defined what is now called the Stanley depth of an S-module M, denoted sdepth (M), and conjectured that depth (M)≤sdepth (M) for all finitely generated S-modules M. This conjecture remains open for most cases. However, Herzog, Vladoiu and Zheng recently proposed a method of attack in the case when M=I/J with J⊂I being monomial S-ideals. Specifically, their method associates M with a partially ordered set. In this paper we take advantage of this association by using combinatorial tools to analyze squarefree Veronese ideals in S. In particular, if I _n,d is the squarefree Veronese ideal generated by all squarefree monomials of degree d, we show that if 1≤d≤n<5d+4, then sdepth (I _n,d )=⌊(n−d)/(d+1)⌋+d, and if d≥1 and n≥5d+4, then d+3≤sdepth (I _n,d )≤⌊(n−d)/(d+1)⌋+d.     

On Borell-Brascamp-Lieb Inequalities on Metric Measure Spaces

In this paper we introduce the notion of a Borell-Brascamp-Lieb inequality for metric measure spaces (M,d,m) denoted by BBL(K,N) for two numbers K,N ∈ ℝ with N ≥ 1. In the first part we prove that BBL(K,N) holds true on metric measure spaces satisfying a curvature-dimension condition CD(K,N) developed and studied by Lott and Villani in (Ann Math 169:903–991, 2007) as well as by Sturm in (Acta Math 196(1):133–177, 2006). The aim of the second part is to show that BBL(K,N) is stable under convergence of metric measure spaces with respect to the L ₂-transportation distance.     

The upper bound of the $${{\rm L}_{\mu}^2}$$ spectrum

Let M be an n-dimensional complete non-compact Riemannian manifold, dμ = e ^h (x)dV(x) be the weighted measure and \triangle_m{\triangle_{\mu}} be the weighted Laplacian. In this article, we prove that when the m-dimensional Bakry–émery curvature is bounded from below by Ric _m ≥ −(m − 1)K, K ≥ 0, then the bottom of the L_m²{{\rm L}_{\mu}^2} spectrum λ₁(M) is bounded by

Tubes and eigenvalues for negatively curved manifolds

We investigate the structure of the spectrum near zero for the Laplace operator on a complete negatively curved Riemannian manifoldM. If the manifold is compact and its sectional curvaturesK satisfy 1 ≤K < 0, we show that the smallest positive eigenvalue of the Laplacian is bounded below by a constant depending only on the volume ofM. Our result for a complete manifold of finite volume with sectional curvatures pinched between −a² and −1 asserts that the number of eigenvalues of the Laplacian between 0 and (n− 1)²/4 is bounded by a constant multiple of the volume of the manifold with the constant depending ona and the dimension only. Research supported in part by the Swiss National Science Foundation, the US National Science Foundation, and the PSC-CUNY Research Award Program.     

Integrable Submanifolds in Almost Complex Manifolds

Let (M,J) be a germ of an almost complex manifold of real dimension 2m and let n (n<m) be an integer. We study a necessary and sufficient condition for M to admit an integrable submanifold N of complex dimension n. If n=m−1, we find defining functions of N explicitly from the coefficients of the torsion tensor. For J obtained by small perturbation of the standard complex structure of ℂ ^m this condition is given as an overdetermined system of second order PDEs on the perturbation. The proof is based on the rank conditions of the Nijenhuis tensor and application of the Newlander-Nirenberg theorem. We give examples of almost complex structures on ℂ³: the ones with a single complex submanifold of dimension 2 and the ones with 1-parameter or 2-parameter families of complex submanifolds of dimension 2.     

Comparison theorems for the volume of a complex submanifold of a Kaehler manifold

LetM be a Kaehler manifold of real dimension 2n with holomorphic sectional curvatureK _H≥4λ and antiholomorphic Ricci curvatureρ _A≥(2n−2)λ, andP is a complex hypersurface. We give a bound for the quotient (volume ofP)/(volume ofM) and prove that this bound is attained if and only ifP=C P ⁿ⁻¹(λ) andM=C P ⁿ(λ). Moreover, we give some results on the volume of of tubes aboutP inM. Work partially supported by a DGICYT Grant No. PS87-0115-CO3-01.     

Spectral estimates for Schrödinger operators with sparse potentials on graphs

A construction of “sparse potentials,” suggested by the authors for the lattice \mathbbZ^d {\mathbb{Z}^d} , d > 2, is extended to a large class of combinatorial and metric graphs whose global dimension is a number D > 2. For the Schr?dinger operator − Δ − αV on such graphs, with a sparse potential V, we study the behavior (as α → ∞) of the number N_(−Δ − αV) of negative eigenvalues of − Δ − αV. We show that by means of sparse potentials one can realize any prescribed asymptotic behavior of N_(−Δ − αV) under very mild regularity assumptions. A similar construction works also for the lattice \mathbbZ² {\mathbb{Z}^2} , where D = 2. Bibliography: 13 titles.     

Preimages of CR submanifolds with generic holomorphic maps

We investigate the notion of CR transversality of a generic holomorphic map f: ℂ ⁿ → ℂ ^m to a smooth CR submanifold M of ℂ ^m . We construct a stratification of the set of non-CR transversal points in the preimage M′ = f ⁻¹ (M) by smooth submanifolds, consisting of points where the CR dimension of M′ is constant. We show the existence of a Whitney stratification for sets which are locally diffeomorphic to the product of an open set and an analytic set. Work on this paper was supported by ARRS, Republic of Slovenia.     

On K 1,k -factorization of bipartite multigraphs

A K1,k-factorization of λKm,n is a set of edge-disjoint K1,k-factors of λKm,n, which partition the set of edges of λKm,n. In this paper, it is proved that a sufficient condition for the existence of K1,k-factorization of λKm,n, whenever k is any positive integer, is that （1） m ≤ kn, （2） n ≤ km, （3） km-n = kn-m ≡ 0 （mod （k^2- 1）） and （4） λ（km-n）（kn-m） ≡ 0 （mod k（k- 1）（k^2 - 1）（m ＋ n））.     

On the Volume of the Intersection of Two Independent Wiener Sausages

The expected volume of intersection of two independent Wiener sausages in ℝ ^m , m ≥ 3, up to time t, and associated to non-polar, compact sets K ₁ and K ₂ respectively, is obtained in the limit of large t.     

Approximations for a Three Dimensional Scan Statistic

Let X _ijk ,1 ≤ i ≤ N ₁,1 ≤ j ≤ N ₂, 1 ≤ k ≤ N ₃ be a sequence of independent and identically distributed 0 − 1 Bernoulli trials. X _ijk  = 1 if an event has occurred at the i,j,k ^th location in a three dimensional rectangular region and X _ijk  = 0, otherwise. For 2 ≤ m _j  ≤ N _j  − 1,1 ≤ j ≤ 3, a three dimensional discrete scan statistic is defined as the maximum number of events in any m ₁×m ₂×m ₃ rectangular sub-region in the entire N ₁×N ₂×N ₃ rectangular region. In this article, a product-type approximation and three Poisson approximations are derived for the distribution of this three dimensional scan statistic. Numerical results are presented to evaluate the accuracy of these approximations and their use in testing for randomness.     

Semiclassical <Emphasis Type="Italic">L</Emphasis><Superscript><Emphasis Type="Italic">p</Emphasis></Superscript> Estimates of Quasimodes on Curved Hypersurfaces

Let M be a compact manifold of dimension n, P=P(h) a semiclassical pseudodifferential operator on M, and u=u(h) an L ² normalized family of functions such that P(h)u(h) is O(h) in L ²(M) as h↓0. Let H⊂M be a compact submanifold of M. In a previous article, the second-named author proved estimates on the L ^p norms, p≥2, of u restricted to H, under the assumption that the u are semiclassically localized and under some natural structural assumptions about the principal symbol of P. These estimates are of the form Ch ^−δ(n,k,p) where k=dim H (except for a logarithmic divergence in the case k=n−2, p=2). When H is a hypersurface, i.e., k=n−1, we have δ(n,n−1, 2)=1/4, which is sharp when M is the round n-sphere and H is an equator.     

On the Representation Dimension of Schur Algebras

Lower bounds for the representation dimension of Schur algebras for GL _n in characteristic p ≥ 2n − 1 are established. In particular it is shown that for fixed n the representation dimensions of the Schur algebras get arbitrarily large.     

The nearness problems for symmetric centrosymmetric with a special submatrix constraint

We say that X=[x_ij]_i,j=1ⁿX=[x_{ij}]_{i,j=1}^n is symmetric centrosymmetric if x _ij  = x _ji and x _{n − j + 1,n − i + 1}, 1 ≤ i,j ≤ n. In this paper we present an efficient algorithm for minimizing ||AXA ^T  − B|| where ||·|| is the Frobenius norm, A ∈ ℝ ^m×n , B ∈ ℝ ^m×m and X ∈ ℝ ^n×n is symmetric centrosymmetric with a specified central submatrix [x _ij ] _{p ≤ i,j ≤ n − p} . Our algorithm produces a suitable X such that AXA ^T  = B in finitely many steps, if such an X exists. We show that the algorithm is stable any case, and we give results of numerical experiments that support this claim.