Linear orders with distinguished function symbol

We consider certain linear orders with a function on them, and discuss for which types of functions the resulting structure is or is not computably categorical. Particularly, we consider computable copies of the rationals with a fixed-point free automorphism, and also ω with a non-decreasing function. D. Cenzer was partially supported by National Science Foundation grants DMS 0532644 and 0554841 and 652372. B. Csima was partially supported by Canadian NSERC Discovery Grant 312501. B. Khoussainov has partially been supported by Marsden Fund of Royal New Zealand Society.     

A C 0 Estimate for Nearly Umbilical Surfaces

Let Σ ⊂ R ³ be a smooth compact connected surface without boundary. Denote by A its second fundamental form and by Å the tensor A−(tr A/2)Id. In [4] we proved that, if ‖Å‖ _L ² (Σ) is small, then Σ is W ^2,2-close to a round sphere. In this note we show that, in addition, the metric of Σ is C ⁰–close to the standard metric of S ².The first author was supported by a grant of the Swiss National Science Foundation.     

On the distribution of imaginary parts of zeros of the Riemann zeta function,II

We continue our investigation of the distribution of the fractional parts of αγ, where α is a fixed non-zero real number and γ runs over the imaginary parts of the non-trivial zeros of the Riemann zeta function. We establish some connections to Montgomery’s pair correlation function and the distribution of primes in short intervals. We also discuss analogous results for a more general L-function. The first author is supported by National Science Foundation Grant DMS-0555367. The second author is partially supported by the National Science Foundation and the American Institute of Mathematics (AIM). The third author is supported by National Science Foundation Grant DMS-0456615.     

Difference sets and inverting the difference operator

For a setA of non-negative numbers, letD(A) (the difference set ofA) be the set of nonnegative differences of elements ofA, and letD ^k be thek-fold iteration ofD. We show that for everyk, almost every set of non-negative integers containing 0 arises asD ^k (A) for someA. We also give sufficient conditions for a setA to be the unique setX such that 0X andD ^k (X)=D ^k (A). We show that for eachm there is a setA such thatD(X)=D(A) has exactly 2 ^m solutionsX with 0X.This work was supported by grants DMS 92-02833 and DMS 91-23478 from the National Science Foundation. The first author acknowledges the support of the Hungarian National Science Foundation under grants, OTKA 4269, and OTKA 016389, and the National Security Agency (grant No. MDA904-95-H-1045).Lee A. Rubel died March 25, 1995. He is very much missed by his coauthors.     

Fixed point free involutions on Riemann surfaces

In this paper, involutions without fixed points on hyperbolic closed Riemann surface are discussed. For an orientable surface X of even genus with an arbitrary Riemannian metric d admitting an involution τ, it is known that min _p∈X d(p, τ(p)) is bounded by a constant which depends on the area of X. The corresponding claim is proved to be false in odd genus, and the optimal constant for hyperbolic Riemann surfaces is calculated in genus 2. The author was supported in part by the Swiss National Science Foundation grants 20-68181.02 and PBEL2-106180.     

Sharp uniform convexity and smoothness inequalities for trace norms

Summary We prove several sharp inequalities specifying the uniform convexity and uniform smoothness properties of the Schatten trace idealsC _p , which are the analogs of the Lebesgue spacesL _p in non-commutative integration. The inequalities are all precise analogs of results which had been known inL _p , but were only known inC _p for special values ofp. In the course of our treatment of uniform convexity and smoothness inequalities forC _p we obtain new and simple proofs of the known inequalities forL _p .Oblatum 7-VII-1993Work partially supported by US National Science Foundation grant DMS 88-07243Work partially supported by US National Science Foundation grant DMS 92-07703Work partially supported by US National Science Foundation grant PHY90-19433 A02     

Low distortion euclidean embeddings of trees

We consider the problem of embedding a certain finite metric space to the Euclidean space, trying to keep the bi-Lipschitz constant as small as possible. We introduce the notationc ₂(X, d) for the least distortion with which the metric space (X, d) may be embedded in a Euclidean space. It is known that if (X, d) is a metric space withn points, thenc ₂(X, d)≤0(logn) and the bound is tight. LetT be a tree withn vertices, andd be the metric induced by it. We show thatc ₂(T, d)≤0(log logn), that is we provide an embeddingf of its vertices to the Euclidean space, such thatd(x, y)≤‖f(x)−f(y) ‖≤c log lognd(x, y) for some constantc. Supported in part by grants from the Israeli Academy of Sciences and the US-Israel Binational Science Foundation. Supported in part by NSF under grants CCR-9215293 and by DIMACS, which is supported by NSF grant STC-91-19999 and by the New Jersey Commission on Science and Technology.     

On the number of views of polyhedral terrains

We show that the number of topologically different orthographic views of a polyhedral terrain withn edges isO(n ^5+ɛ ), and that the number of topologically different perspective views of such a terrain isO(n ^8+ɛ ), for any ɛ>0. Both bounds are almost tight in the worst case. The proofs are simple consequences of the recent almost-tight bounds of [11] on the complexity of lower envelopes in higher dimensions. Pankaj Agarwal has been supported by National Science Foundation Grant CCR-91-06514. Micha Sharir has been supported by National Science Foundation Grant CCR-91-22103, and by grants from the U.S.—Israeli Binational Science Foundation, the G.I.F.—the German Israeli Foundation for Scientific Research and Development- and the Fund for Basic Research administered by the Israeli Academy of Sciences.     

Zero-density estimates for automorphic <Emphasis Type="Italic">L</Emphasis>-functions

In this paper we prove zero-density estimates of the large sieve type for the automorphic L-function L（s, f × χ）, where f is a holomorphic cusp form and χ（mod q） is a primitive character.     

A tighter bound for FFd algorithm

1. IntroductionIn bin packing, a list L of items, i.e. numbers in the range (0, 1], are to be packed illtobins, each of which has a capacity 1, and the goal is to minimize the number of bins used.The minimal number of bins into which L can be packed is denoted by OPT (L) for the listL. The first~fit-decreasing (FFD) algorithm first sorts the list into a non-increasing orderand then processes the pieces in that order by placing each item into the first bin icao whiChit fits. For tlist L, l…     

Boundedness in Lebesgue spaces for commutators of multilinear singular integrals and RBMO functions with non-doubling measures

The boundedness in Lebesgue spaces for commutators generated by multilinear singular integrals and RBMO(μ) functions of Tolsa with non-doubling measures is obtained, provided that‖μ‖=∞and multilinear singular integrals are bounded from L1(μ)×L1(μ)to L1/2,∞(μ).     

Mock Fourier series and transforms associated with certain Cantor measures

We extend the construction, originally due to Jorgensen and Pedersen, of spectral pairs {μ, Λ}, consisting of Cantor measures μ on ℝⁿ and discrete sets Λ such that the exponentials with frequency in Λ form an orthonormal basis forL ²(μ). We give conditions under which these mock Fourier series expansions ofL ¹(μ) functions converge in a weak sense, and for a dense set of continuous functions the convergence is uniform. We show how to construct spectral pairs (²(μ) of infinite Cantor measures with unbounded support such that defined for a dense subset ofL ²(μ), extends to an isometry fromL ²(μ) ontoL ²(μ'), a kind of mock Fourier transform. Our constructions do not require self-similarity, but only a compatible product structure for the pairs. We also give an analogue of the Shannon Sampling Theorem to reconstruct a function whose Fourier transform is supported in the Cantor set associated with μ from its values on Λ. In memory of Irving Segal Research supported in part by the National Science Foundation, grant DMS 9970337.     

Vertical decomposition of arrangements of hyperplanes in four dimensions

We show that, for any collection ℋ ofn hyperplanes in ℜ⁴, the combinatorial complexity of thevertical decomposition of the arrangementA(ℋ) of ℋ isO(n ⁴ logn). The proof relies on properties of superimposed convex subdivisions of 3-space, and we also derive some other results concerning them. Work on this paper by Leonidas Guibas and Micha Sharir has been supported by a grant from the U.S.-Israeli Binational Science Foundation. Work by Leonidas Guibas was also supported by National Science Foundation Grant CCR-9215219. Work by Micha Sharir was also supported by National Science Foundation Grant CCR-91-22103, and by grants from the G.I.F.—the German Isreali Foundation for Scientific Research and Development, and the Fund for Basic Research administered by the Israeli Academy of Sciences. Work by Jiří Matouŝek was done while he was visiting Tel Aviv University, and its was partially supported by a Humboldt Research Fellowship. Work on this paper by Dan Halperin was carried out while he was at Tel Aviv University.     

Independent systems of representatives in weighted graphs

The following conjecture may have never been explicitly stated, but seems to have been floating around: if the vertex set of a graph with maximal degree Δ is partitioned into sets V _i of size 2Δ, then there exists a coloring of the graph by 2Δ colors, where each color class meets each V _i at precisely one vertex. We shall name it the strong 2Δ-colorability conjecture. We prove a fractional version of this conjecture. For this purpose, we prove a weighted generalization of a theorem of Haxell, on independent systems of representatives (ISR’s). En route, we give a survey of some recent developments in the theory of ISR’s. The research of the first author was supported by grant no 780/04 from the Israel Science Foundation, and grants from the M. & M. L. Bank Mathematics Research Fund and the fund for the promotion of research at the Technion. The research of the third author was supported by the Sacta-Rashi Foundation.     

Some results for a finite family of uniformly L-Lipschitzian mappings in Banach spaces

The purpose of this paper is to prove a strong convergence theorem for a finite family of uniformly L-Lipschitzian mappings in Banach spaces. The results presented in the paper improve and extend some recent results in Chang [1], Cho et al. [2] Ofoedu [5], Schu [7] and Zeng [8, 9]. The present studies were supported by “the Natural Science Foundation of China (No. 10771141),” the Natural Science Foundation of Zhejiang Province (Y605191), the Natural Science Foundation of Heilongjiang Province (A0211), the Scientific Research Foundation from Zhejiang Province Education Committee (20051897).     

Hammersley's interacting particle process and longest increasing subsequences

Summary In a famous paper [8] Hammersley investigated the lengthL _n of the longest increasing subsequence of a randomn-permutation. Implicit in that paper is a certain one-dimensional continuous-space interacting particle process. By studying a hydrodynamical limit for Hammersley's process we show by fairly “soft” arguments that limn ^′1/2 EL _n =2. This is a known result, but previous proofs [14, 11] relied on hard analysis of combinatorial asymptotics. Research supported by NSF Grant MCS 92-24857 and the Miller Institute for Basic Research in Science Research supported by NSF Grant DMS92-04864     

The Poisson Kernel for Hardy Algebras

This note contributes to a circle of ideas that we have been developing recently in which we view certain abstract operator algebras H^∞(E), which we call Hardy algebras, and which are noncommutative generalizations of classical H^∞, as spaces of functions defined on their spaces of representations. We define a generalization of the Poisson kernel, which “reproduces” the values, on , of the “functions” coming from H^∞(E). We present results that are natural generalizations of the Poisson integral formula. They also are easily seen to be generalizations of formulas that Popescu developed. We relate our Poisson kernel to the idea of a characteristic operator function and show how the Poisson kernel identifies the “model space” for the canonical model that can be attached to a point in the disc . We also connect our Poisson kernel to various “point evaluations” and to the idea of curvature. The first named author was supported in part by grants from the National Science Foundation and from the U.S.-Israel Binational Science Foundation. The second named author was supported in part by the U.S.-Israel Binational Science Foundation and by the B. and G. Greenberg Research Fund (Ottawa).     

Bifurcation method for solving multiple positive solutions to Henon equation

Three algorithms based on the bifurcation method are applied to solving the D4 symmetric positive solutions to the boundary value problem of Henon equation. Taking r in Henon equation as a bi- furcation parameter, the D4-Σd(D4-Σ1, D4-Σ2) symmetry-breaking bifurcation points on the branch of the D4 symmetric positive solutions are found via the extended systems. Finally, Σd(Σ1, Σ2) sym- metric positive solutions are computed by the branch switching method based on the Liapunov-Schmidt reduction.     

Some first passage time problems for the shortest queue model

We consider the symmetric shortest queue (SQ) problem. Here we have a Poisson arrival stream of rate λ feeding two parallel queues, each having an exponential server that works at rate μ. An arrival joins the shorter of the two queues; if both are of equal length the arrival joins either with probability 1/2. We consider the first passage time until one of the queues reaches the value m ₀, and also the time until both reach this level. We give explicit expressions for the first two first passage moments, conditioned on the initial queue lengths, and also the full first passage distribution. We also give some asymptotic results for m ₀→∞ and various values of ρ=λ/μ. H. Yao work was partially supported by PSC-CUNY Research Award 68751-0037. C. Knessl work was supported in part by NSF grants DMS 02-02815 and DMS 05-03745.     

Almost isometric embedding between metric spaces

We investigate the relations ofalmost isometric embedding and ofalmost isometry between metric spaces. These relations have several appealing features. For example, all isomorphism types of countable dense subsets of ∝ form exactly one almostisometry class, and similarly with countable dense subsets of Uryson's universal separable metric spaceU. We investigate geometric, set-theoretic and model-theoretic aspects of almost isometry and of almost isometric embedding. The main results show that almost isometric embeddability behaves in the category ofseparable metric spaces differently than in the category of general metric spaces. While in the category of general metric spaces the behavior of universality resembles that in the category of linear orderings —namely, no universal structure can exist on a regular λ > ℵ₁ below the continuum—in the category of separable metric spaces universality behaves more like that in the category of graphs, that is, a small number of metric separable metric spaces on an uncountable regular λ<2^ℵ ₀ may consistently almost isometrically embed all separable metric spaces on λ. Research of the first author was supported by an Israeli Science foundation grant no. 177/01. Research of the second author was supported by the United States-Israel Binational Science Foundation. Publication 827.