Chebyshev polynomials on a system of curves

This paper is devoted to the problem of how close can one get with the n-th Chebyshev numbers of a compact set ?? to the theoretical lower bound cap(??) ⁿ . It is shown that for a system of m ?? 2 analytic curves, there is always a subsequence for which the Chebyshev numbers are at least (1 + ??)cap(??) ⁿ , while for another subsequence they are at most (1 + O(n ^?1/(m?1)))cap(??) ⁿ . It is also shown that the last estimate is optimal. We also discuss how well a system of curves can be approximated by lemniscates in Hausdorff metric. The proofs are based on potential theoretical arguments. Simultaneous Diophantine approximation of harmonic measures lies in the background. To achieve the correct rate, a perturbation of the multi-valued complex Green??s function is introduced which makes the n-th power of its exponential single-valued and which allows the construction of Faber-like polynomials on multiply connected domains.     

Critical Partitions and Nodal Deficiency of Billiard Eigenfunctions

The paper addresses the nodal count (i.e., the number of nodal domains) for eigenfunctions of Schr?dinger operators with Dirichlet boundary conditions in bounded domains. The classical Sturm theorem states that in dimension one, the nodal and eigenfunction counts coincide: the nth eigenfunction partitions the interval into n nodal domains. The Courant Nodal Theorem claims that in any dimension, the number of nodal domains ?? _n of the nth eigenfunction cannot exceed n. However, it follows from an asymptotically stronger upper bound by Pleijel that in dimensions higher than 1 the equality can hold for only finitely many eigenfunctions. Thus, in most cases a ??nodal deficiency?? d _n ?=?n??? _n arises. One can say that the nature of the nodal deficiency has not been understood. It was suggested in recent years that, rather than starting with eigenfunctions, one can look at partitions of the domain into ?? sub-domains, asking which partitions can correspond to eigenfunctions, and what would be the corresponding deficiency. To this end one defines an ??energy?? of a partition, for example, the maximum of the ground state energies of the sub-domains. One notices that if a partition does correspond to an eigenfunction, then the ground state energies of all the nodal domains are the same, i.e., it is an equipartition. It was shown in a recent paper by Helffer, Hoffmann-Ostenhof and Terracini that (under some natural conditions) partitions minimizing the energy functional correspond to the ??Courant sharp?? eigenfunctions, i.e. to those with zero nodal deficiency. In this paper it is shown that it is beneficial to restrict the domain of the functional to the equipartition, where it becomes smooth. Then, under some genericity conditions, the nodal partitions correspond exactly to the critical points of the functional. Moreover, the nodal deficiency turns out to be equal to the Morse index at the corresponding critical point. This explains, in particular, why the minimal partitions must be Courant sharp.     

A compactness theorem for scalar-flat metrics on manifolds with boundary

Let (M ⁿ , g) be a compact Riemannian manifold with boundary ?M. This paper is concerned with the set of scalar-flat metrics which are in the conformal class of g and have ?M as a constant mean curvature hypersurface. We prove that this set is compact for dimensions n ?? 7 under the generic condition that the trace-free 2nd fundamental form of ?M is nonzero everywhere.     

On the number of k-subsets of a set of n points in the plane

For a configuration S of n points in $\text{E}$², H. Edelsbrunner (personal communication) has asked for bounds on the maximum number of subsets of size k cut off by a line. By generalizing to a combinatorial problem, we show that for 2k < n the number of such sets of size at most k is at most 2nk ? 2k² ? k. By duality, the same bound applies to the number of cells at distance at most k from a base cell in the cell complex determined by an arrangement of n lines in $\text{P}$².     

Positive Results and Counterexamples in Comonotone Approximation

We estimate the degree of comonotone polynomial approximation of continuous functions f, on [?1,1], that change monotonicity s??1 times in the interval, when the degree of unconstrained polynomial approximation E _n (f)??n ^??? , n??1. We ask whether the degree of comonotone approximation is necessarily ??c(??,s)n ^??? , n??1, and if not, what can be said. It turns out that for each s??1, there is an exceptional set A _s of ????s for which the above estimate cannot be achieved.     

A note on extremal metrics of non-constant scalar curvature

By working in ? ⁿ with potentials of the forma logu + s(u), u the square of the distant to the origin, we obtain extremal Kähler metrics of nonconstant scalar curvature on the blow-up of ? ⁿ at \(\vec 0\) . We then show that these metrics can be completed at ∞ by adding a ?? ^n?1, and reobtain the extremal Kähler metrics of non-constant scalar curvature constructed by Calabi on the blow-up of ?? ⁿ at one point. A similar construction produces this type of metrics on other bundles over ?? ^{n ? 1}.     

Schwarzian derivative in Kähler manifolds (II)

Two injectivity theorems are proved which are for objective manifoldN = ??ⁿ andN =B ⁿ (unit ball), both equipped with canonical metric. Thus, the injectivity theorems are established in three cases of objective manifolds, i.e. with different holomorphic sectional curvatures - 1, 0 and 1 respectively.     

Optimal packings of up to six equal circles on a triangular flat torus

For each n between 1 and 6, we prove that a certain arrangement of n equal circles is the unique optimally dense packing on a standard triangular flat torus (the quotient of the plane by the lattice generated by two unit vectors with a 60^? angle). The packings of 1, 2, 3, 4 and 6 circles are based on either a toroidal triangular close packing or a toroidal triangular close packing with one circle removed. The packing of 5 circles is irregular. This proves two cases of a conjecture stronger than L. Fejes Toth??s conjecture about the strong solidity of the triangular close packing on the plane.     

Polar multiplicities and Euler obstruction for ruled surfaces

Given two integers m ?? n ?? 0 we exhibit (ruled) surfaces with multiplicity m and Euler obstruction n.     

The exterior algebra ΛkRn and area minimization

The structure of the exterior algebra Λ^kRⁿ is studied in low dimensions, and consequences are drawn for k-dimensional area-minimizing surfaces in Rⁿ. For a general form ø∈Λ²R⁴, Section 3 gives explicit formulas for the comass 6ø6 and the face of the Grassmannian exposed by ø. Section 4 classifies the faces of the Grassmannian of the 3-planes in R⁶ and hence the associated geometries of area-minimizing surfaces (there are four types). Section 5 establishes an equality involving the comass norm in low dimension and draws implications on when the Cartesian product of area-minimizing surfaces is area-minimizing. New examples of area-minimizing integral currents with singularities follow.     

On Levels in Arrangements of Lines, Segments, Planes, and Triangles%

We consider the problem of bounding the complexity of the k th level in an arrangement of n curves or surfaces, a problem dual to, and an extension of, the well-known k-set problem. Among other results, we prove a new bound, O(nk ^5/3 ) , on the complexity of the k th level in an arrangement of n planes in R ³ , or on the number of k -sets in a set of n points in three dimensions, and we show that the complexity of the k th level in an arrangement of n line segments in the plane is , and that the complexity of the k th level in an arrangement of n triangles in 3-space is O(n ² k ^5/6 α(n/k)) . <lsiheader> <onlinepub>26 June, 1998 <editor>Editors-in-Chief: &lsilt;a href=../edboard.html#chiefs&lsigt;Jacob E. Goodman, Richard Pollack&lsilt;/a&lsigt; <pdfname>19n3p315.pdf <pdfexist>yes <htmlexist>no <htmlfexist>no <texexist>yes <sectionname> </lsiheader> Received February 7, 1997, and in revised form May 15, 1997, and August 30, 1997.     

Two-sided estimates for essential height in Shirshov’s Height Theorem

The paper is focused on two-sided estimates for the essential height in Shirshov??s Height Theorem. The concepts of the selective height and strong n-divisibility directly related to the height and n-divisibility are introduced. We prove lower and upper bounds for the selective height over nonstrongly n-divisible words of length 2. For any n and sufficiently large l these bounds differ at most twice. The case of words of length 3 is also studied. The case of words of length 2 can be generalized to the proof of an upper exponential estimate in Shirshov??s Height Theorem. The proof uses the idea of V.N. Latyshev related to the application of Dilworth??s theorem to the study of non n-divisible words.     

An exterior boundary value problem in Minkowski space

In three‐dimensional Lorentz–Minkowski space ??³, we consider a spacelike plane Π and a round disc Ω over Π. In this article we seek the shapes of unbounded surfaces whose boundary is ? Ω and its mean curvature is a linear function of the distance to Π. These surfaces, called stationary surfaces, are solutions of a variational problem and governed by the Young–Laplace equation. In this sense, they generalize the surfaces with constant mean curvature in ??³. We shall describe all axially symmetric unbounded stationary surfaces with special attention in the case that the surface is asymptotic to Π at the infinity. (© 2008 WILEY‐VCH Verlag GmbH & Co. KGaA, Weinheim)     

On the Roter Type of Chen Ideal Submanifolds

Chen ideal submanifolds M ⁿ in Euclidean ambient spaces E ^n+m (of arbitrary dimensions n ?? 2 and codimensions m??? 1) at each of their points do realise an optimal equality between their squared mean curvature, which is their main extrinsic scalar valued curvature invariant, and their ???C(= ??(2)?C) curvature of Chen, which is one of their main intrinsic scalar valued curvature invariants. From a geometric point of view, the pseudo-symmetric Riemannian manifolds can be seen as the most natural symmetric spaces after the real space forms, i.e. the spaces of constant Riemannian sectional curvature. From an algebraic point of view, the Roter manifolds can be seen as the Riemannian manifolds whose Riemann?CChristoffel curvature tensor R has the most simple expression after the real space forms, the latter ones being characterisable as the Riemannian spaces (M ⁿ , g) for which the (0, 4) tensor R is proportional to the Nomizu?CKulkarni square of their (0, 2) metric tensor g. In the present article, for the class of the Chen ideal submanifolds M ⁿ of Euclidean spaces E ^n+m , we study the relationship between these geometric and algebraic generalisations of the real space forms.     

A property of Pisot numbers and Fourier transforms of self-similar measures

For any Pisot number β it is known that the set F (β)={t:lim n→∞‖tβ n‖= 0} is countable,where a is the distance between a real number a and the set of integers.In this paper it is proved that every member in this set is of the form cβ n,where ‖n‖ is a nonnegative integer and c is determined by a linear system of equations.Furthermore,for some self-similar measures μ associated with β,the limit at infinity of the Fourier transforms lim n→∞μ(tβ n)≠0 if and only if t is in a certain subset of F (β).This generalizes a similar result of Huang and Strichartz.     

Fractional non-Archimedean calculus in one variable

Let ?? be a natural number. A function f: ? _p ?? K into a non-Archimedeanly valued complete field K ? ? _p is ??-times continuously differentiable if and only if its Mahler coefficients (a _n ) _n??? obey |a _n |n ^?? ?? 0 as n ?? ??. For a real number r ?? 0, this suggests the ad hoc definition by [1] of a C ^r -function f: ? _p ?? K by asking its Mahler coefficients (a _n ) _n??? to satisfy |a _n |n ^r ?? 0 as n?? ??. We will present for functions f: X ?? K on subsets X ? K without isolated points a general pointwise notion of r-fold differentiability through iterated difference quotients, subsequently shown on the domain X = ? _p to coincide with the one given above. For functions on open domains, we prove this notion to admit a handier characterization by its Taylor polynomial up to degree ?r?.     

On edges crossing few other edges in simple topological complete graphs

We study the existence of edges having few crossings with the other edges in drawings of the complete graph (more precisely, in simple topological complete graphs). A topological graphT=(V,E) is a graph drawn in the plane with vertices represented by distinct points and edges represented by Jordan curves connecting the corresponding pairs of points (vertices), passing through no other vertices, and having the property that any intersection point of two edges is either a common end-point or a point where the two edges properly cross. A topological graph is simple if any two edges meet in at most one common point.Let h=h(n) be the smallest integer such that every simple topological complete graph on n vertices contains an edge crossing at most h other edges. We show that Ω(n^3/2)≤h(n)≤O(n²/log^1/4n). We also show that the analogous function on other surfaces (torus, Klein bottle) grows as cn².     

On R-robustly entropy-expansive diffeomorphisms

For a homoclinic class H(p _f ) of f ?? Diff¹(M), f?OH(p _f ) is called R-robustly entropy-expansive if for g in a locally residual subset around f, the set ?? _? (x) = {y ?? M: dist(g ⁿ (x), g ⁿ (y)) ?? g3 (?n ?? ?)} has zero topological entropy for each x ?? H(p _g ). We prove that there exists an open and dense set around f such that for every g in it, H(p _g ) admits a dominated splitting of the form E ?? F ₁ ?? ... ?? F _k ?? G where all of F _i are one-dimensional and non-hyperbolic, which extends a result of Pacifico and Vieitez for robustly entropy-expansive diffeomorphisms. Some relevant consequences are also shown.     

Hochschild cohomology of ? n -Galois coverings of an algebra

We consider the ? _n -Galois covering ?? _n of the algebra A introduced by F. Xu [Adv. Math., 2008, 219: 1872?C1893]. We calculate the dimensions of all Hochschild cohomology groups of ?? _n and give the ring structure of the Hochschild cohomology ring modulo nilpotence. As a conclusion, we provide a class of counterexamples to Snashall-Solberg??s conjecture.