A blend of methods of recursion theory and topology: A Π<Subscript>1</Subscript><Superscript>0</Superscript> tree of shadow points

This paper is a sequel to our [7]. In that paper we constructed a ₁⁰ tree of avoidable points. Here we construct a ₁⁰ tree of shadow points. This tree is a tree of sharp filters, where a sharp filter is a nested sequence of basic open sets converging to a point. In the construction we assign to each basic open set on the tree an address in 2^<. One interesting fact is that while our ₁⁰ tree of sharp filters (a subtree of ^<) is isomorphic to the tree of addresses (a subtree of 2^<), the tree of addresses is recursively enumerable but not recursive. To achieve this end we use a finite injury priority argument.Mathematics Subject Classification (2000): 03D45, 03D80, 03C57, 54A20     

Duals of Hardy Spaces of B-valued Martingales for 0<r≤1

The dual of B-valued martingale Hardy space Hs(p)r(B) with small index 0 r ≤ 1,which is associated with the conditional p-variation of B-valued martingale,is characterized.In order to obtain the results,a new type of Campanato spaces for B-valued martingales is introduced and the classical technique of atomic decompositions is improved.Some results obtained here are connected closely with the p-uniform smoothness and q-uniform convexity of the underlying Banach space.     

Embeddings into the Medvedev and Muchnik lattices of Π<Superscript>0</Superscript><Subscript>1</Subscript> classes

Let _w and _M be the countable distributive lattices of Muchnik and Medvedev degrees of non-empty ₁⁰ subsets of 2, under Muchnik and Medvedev reducibility, respectively. We show that all countable distributive lattices are lattice-embeddable below any non-zero element of _w. We show that many countable distributive lattices are lattice-embeddable below any non-zero element of _M.Simpsons research was partially supported by NSF Grant DMS-0070718. We thank the anonymous referee for a careful reading of this paper and helpful comments.     

Exact Calculation of Sums of the Lorentz Spaces Λ<Superscript>α</Superscript> and Applications

The norm on the sum of Lorentz spaces endowed with norms equal to the products of the classical norm by some numbers is exactly calculated. The obtained result makes it possible to prove an extrapolation theorem for collections of Lorentz, Lebesgue, and Marcinkiewicz spaces with a sharp constant.     

The Tukey Order and Subsets of <Emphasis Type="Italic">ω</Emphasis><Subscript>1</Subscript>

One partially ordered set, Q, is a Tukey quotient of another, P, if there is a map ? : P → Q carrying cofinal sets of P to cofinal sets of Q. Two partial orders which are mutual Tukey quotients are said to be Tukey equivalent. Let X be a space and denote by \(\mathcal {K}(X)\) the set of compact subsets of X, ordered by inclusion. The principal object of this paper is to analyze the Tukey equivalence classes of \(\mathcal {K}(S)\) corresponding to various subspaces S of ω ₁, their Tukey invariants, and hence the Tukey relations between them. It is shown that ω ^ω is a strict Tukey quotient of \({\Sigma }(\omega ^{\omega _{1}})\) and thus we distinguish between two Tukey classes out of Isbell’s ten partially ordered sets from (Isbell, J. R.: J. London Math Society 4(2), 394–416, 1972). The relationships between Tukey equivalence classes of \(\mathcal {K}(S)\), where S is a subspace of ω ₁, and \(\mathcal {K}(M)\), where M is a separable metrizable space, are revealed. Applications are given to function spaces.     

Density of the Medvedev lattice of Π<Superscript>0</Superscript><Subscript>1</Subscript> classes

The partial ordering of Medvedev reducibility restricted to the family of ⁰₁ classes is shown to be dense. For two disjoint computably enumerable sets, the class of separating sets is an important example of a ⁰₁ class, which we call a ``c.e. separating class'. We show that there are no non-trivial meets for c.e. separating classes, but that the density theorem holds in the sublattice generated by the c.e. separating classes. Mathematics Subject Classification (2000): 03D30, 03D25     

Cuts,Trees and ℓ<Subscript>1</Subscript>-Embeddings of Graphs*

Motivated by many recent algorithmic applications, this paper aims to promote a systematic study of the relationship between the topology of a graph and the metric distortion incurred when the graph is embedded into ₁ space. The main results are:1. Explicit constant-distortion embeddings of all series-parallel graphs, and all graphs with bounded Euler number. These are the first natural families known to have constant distortion (strictly greater than 1). Using the above embeddings, algorithms are obtained which approximate the sparsest cut in such graphs to within a constant factor.2. A constant-distortion embedding of outerplanar graphs into the restricted class of ₁-metrics known as dominating tree metrics. A lower bound of (log n) on the distortion for embeddings of series-parallel graphs into (distributions over) dominating tree metrics is also presented. This shows, surprisingly, that such metrics approximate distances very poorly even for families of graphs with low treewidth, and excludes the possibility of using them to explore the finer structure of ₁-embeddability.* A preliminary version of this work appeared in Proceedings of the 40th Annual IEEE Symposium on Foundations of Computer Science, 1999, pp. 399–408. This work was done while the author was at the University of California, Berkeley. Supported in part by NSF grants CCR-9505448 and CCR-9820951.     

Equivalence of Self-similar and Pseudo-self-similar Tiling Spaces in ℝ<Superscript>2</Superscript>

Given a tiling T, one may form a related tiling, called the derived Voronoi tiling of T, based on a patch of tiles in T. Similarly, for a tiling space X, one can identify a patch which appears regularly in all tilings in X, and form a derived Voronoi space of tilings, based on that patch.     

Moving Object in ℝ<Superscript>2</Superscript> and a Group of Observers

We formulate an extremal problem of constructing a trajectory of a moving object that is farthest from a group of observers with fixed visibility cones. Under some constraints on the arrangement of the observers, we give a characterization and a method of construction of an optimal trajectory.     

Spin structures and spectra of ℤ<Subscript>2</Subscript><Superscript><Emphasis Type="Italic">k</Emphasis></Superscript>-manifolds

We give necessary and sufficient conditions for the existence of pin^± and spin structures on Riemannian manifolds with holonomy group ₂^k. For any n4 (resp. n6) we give examples of pairs of compact manifolds (resp. compact orientable manifolds) M₁, M₂, non homeomorphic to each other, that are Laplace isospectral on functions and on p-forms for any p and such that M₁ admits a pin^± (resp. spin) structure whereas M₂ does not.Mathematics Subject Classification (2000):58J53, 57R15, 20H15Partially supported by Conicet and grants from SecytUNC, Foncyt and AgCba.     

Fibers of the <Emphasis Type="Italic">L</Emphasis><Superscript>∞</Superscript> algebra and disintegration of measures

It is shown that Gelfand transforms of elements \({f\in L^{\infty} (\mu)}\) are almost constant at almost every fiber \({\Pi^{-1}(\{x\})}\) of the spectrum of L ^∞(μ) in the following sense: for each \({f\in L^{\infty} (\mu)}\) there is an open dense subset U = U(f) of this spectrum having full measure and such that the Gelfand transform of f is constant on the intersection \({\Pi^{-1}(\{x\})\cap U}\). As an application a new approach to disintegration of measures is presented, allowing one to drop the usually taken separability assumption.     

Moduli spaces ℳ<Subscript>2,1</Subscript> and ℳ<Subscript>3,1</Subscript>

The cell structure of the spaces ℳ_2,1 and ℳ_3,1 is considered. These are the spaces of complex curves of genus 2 and 3 with one marked point. For the space ℳ_2,1, nine cells of the highest dimension 8 are described and their adjacency is studied. For the space ℳ_3,1, a list of all 1726 cells of the highest dimension 14 (with orientation) is obtained. The list of adjacent couples of cells is also obtained. These lists can be found on the web.     

Analysis and geometry of Floer theory of Landau-Ginzburg model on ℂ<Superscript><Emphasis Type="Italic">n</Emphasis></Superscript>

This article studies the Floer theory of Landau-Ginzburg (LG) model on C ⁿ . We perturb the Kähler form within a fixed Kähler class to guarantee the transversal intersection of Lefschetz thimbles. The C ⁰ estimate for solutions of the LG Floer equation can be derived then by our analysis tools. The Fredholm property is guaranteed by all these results.     

Patchworking Singularities <Emphasis Type="Italic">A</Emphasis><Subscript>μ</Subscript> and <Emphasis Type="Italic">D</Emphasis><Subscript>μ</Subscript> and Meanders of Their Smoothings

Let an algebraic curve f have a singular point of type A_μ or D_μ. Let be the curve obtained by smoothing the singular point of f. In this paper, local maximal meanders appearing under an M-smoothing in a neighborhood of the singular point are studied. A local maximal meander means that the number of real points of the intersection of with a coordinate axis in the neighborhood is maximal and the points belong to one of the components of . An M-smoothing means that the number of components of which appear in the neighborhood under the smoothing is also maximal. Bibliography: 9 titles. __________ Published in Zapiski Nauchnykh Seminarov POMI, Vol. 299, 2003, pp. 193–217.     

Stabilization of Linear Switched Delay Systems: ℋ<Subscript>2</Subscript> and ℋ<Subscript>∞</Subscript> Methods

This paper presents new results pertaining to the delay-dependent stability and control synthesis of a class of linear switched continuous-time systems with time-varying delays. A new state transformation is introduced to exhibit the delay-dependent dynamics in the slow-time scale. For stability, we construct an appropriate selective Lyapunov functional to derive delay-dependent LMI-based sufficient conditions under arbitrary switching and without relying to overbounding. For the control synthesis, we design switched feedback schemes based on quadratic ℋ₂, ℋ_∞ and simultaneous ℋ₂/ℋ_∞ performance criteria. Under the developed transformation, it is established that both the instantaneous and delayed feedback control yield identical results. Numerical examples are presented to illustrate the analytical development.     

Rigidity of Quasicrystallic and <Emphasis Type="Italic">Z</Emphasis><Superscript><Emphasis Type="Italic">γ</Emphasis></Superscript>-Circle Patterns

The uniqueness of the orthogonal Z ^γ -circle patterns as studied by Bobenko and Agafonov is shown, given the combinatorics and some boundary conditions. Furthermore we study (infinite) rhombic embeddings in the plane which are quasicrystallic, that is, they have only finitely many different edge directions. Bicoloring the vertices of the rhombi and adding circles with centers at vertices of one of the colors and radius equal to the edge length leads to isoradial quasicrystallic circle patterns. We prove for a large class of such circle patterns which cover the whole plane that they are uniquely determined up to affine transformations by the combinatorics and the intersection angles. Combining these two results, we obtain the rigidity of large classes of quasicrystallic Z ^γ -circle patterns.     

Homology and cohomology of <Emphasis Type="Italic">E</Emphasis><Subscript>∞</Subscript> ring spectra

Every homology or cohomology theory on a category of E ring spectra is Topological André–Quillen homology or cohomology with appropriate coefficients. Analogous results hold more generally for categories of algebras over operads.Mathematics Subject Classification (2000): 55P43, 55P48, 55U35The second author was supported in part by NSF grant DMS-0203980.     

The Δ<Superscript>0</Superscript><Subscript><Emphasis Type="Italic">α</Emphasis></Subscript>-Computable Enumerations of the Classes of Projective Planes

Studying computable representations of projective planes, for the classes K of pappian, desarguesian, and all projective planes, we prove that K ^c /? admits no hyperarithmetical Friedberg enumeration and admits a Friedberg Δ⁰_α+3-computable enumeration up to a Δ⁰ _α -computable isomorphism.     

Elementary transformations and the rationality of the Moduli Spaces of Vector Bundles on ℙ<Superscript>2</Superscript>

In this work, using elementary transformations and prioritary sheaves, we establish birational maps between certain moduli spaces of stable vector bundles over ² with the same rank and different Chern classes. As an application we give a simple proof of the rationality of the moduli spaces M(r; c ₁, c ₂) of rank r stable vector bundles over ² with given Chern classes for a huge families of the triples (r; c ₁, c ₂).Partially supported by BFM2001-3584 Mathematics Subject Classification (2000):Primary 14D20, 14D05; Secondary 14F05     

Affine embeddings of Cantor sets and dimension of <Emphasis Type="Italic">αβ</Emphasis>-sets

Let E,F ? R^d be two self-similar sets, and suppose that F can be affinely embedded into E. Under the assumption that E is dust-like and has a small Hausdorff dimension, we prove the logarithmic commensurability between the contraction ratios of E and F. This gives a partial affirmative answer to Conjecture 1.2 in [9]. The proof is based on our study of the boxcounting dimension of a class of multi-rotation invariant sets on the unit circle, including the αβ-sets initially studied by Engelking and Katznelson.