The Bellman function,the two-weight Hilbert transform,and embeddings of the model spaces<Emphasis Type="Italic">K</Emphasis><Subscript>θ</Subscript>

This paper is devoted to embedding theorems for the spaceK _θ , where θ is an inner function in the unit disc D. It turns out that the question of embedding ofK _θ into L²(Μ) is virtually equivalent to the boundedness of the two-weight Hilbert transform. This makes the embedding question quite difficult (general boundedness criteria of Hunt-Muckenhoupt-Wheeden type for the twoweight Hilbert transform have yet to be found). Here we are not interested in sufficient conditions for the embedding ofKg into L²(Μ) (equivalent to a certain two-weight problem for the Hilbert transform). Rather, we are interested in the fact that a certain natural set of conditions is not sufficient for the embedding ofK _θ intoL ² (Μ) (equivalently, a certain set of conditions is not sufficient for the boundedness in a two-weight problem for the Hilbert transform). In particular, we answer (negatively) certain questions of W. Cohn about the embedding ofK _θ into L²(Μ). Our technique leads naturally to the conclusion that there can be a uniform embedding of all the reproducing kernels ofK _θ but the embedding of the wholeK _θ intoL ²(Μ) may fail. Moreover, it may happen that the embedding into a potentially larger spaceL ²(μ) fails too. Both authors are supported by the NSF grant DMS 9970395 and joint American-Israeli grant BSF 00030.     

Lifting elementary embeddings <Emphasis Type="Italic">j</Emphasis>: <Emphasis Type="Italic">V</Emphasis><Subscript>λ</Subscript> → <Emphasis Type="Italic">V</Emphasis><Subscript>λ</Subscript>

We describe a fairly general procedure for preserving I₃ embeddings j: V _λ → V _λ via λ-stage reverse Easton iterated forcings. We use this method to prove that, assuming the consistency of an I₃ embedding, V = HOD is consistent with the theory ZFC + WA where WA is an axiom schema in the language {∈, j} asserting a strong but not inconsistent form of “there is an elementary embedding V → V”. This improves upon an earlier result in which consistency was established assuming an I₁ embedding.      

Skorokhod embeddings, minimality and non-centred target distributions

In this paper we consider the Skorokhod embedding problem for target distributions with non-zero mean. In the zero-mean case, uniform integrability provides a natural restriction on the class of embeddings, but this is no longer suitable when the target distribution is not centred. Instead we restrict our class of stopping times to those which are minimal, and we find conditions on the stopping times which are equivalent to minimality. We then apply these results, firstly to the problem of embedding non-centred target distributions in Brownian motion, and secondly to embedding general target laws in a diffusion. We construct an embedding (which reduces to the Azema-Yor embedding in the zero-target mean case) which maximises the law of sup_s≤TB_s among the class of minimal embeddings of a general target distribution μ in Brownian motion. We then construct a minimal embedding of μ in a diffusion X which maximises the law of sup_s≤Th(X_s) for a general function h.     

Every finite lattice can be embedded in a finite partition lattice

Conclusions There are many questions, which arise in connection with the theorem presented. In general, we would like to know more about the class of embeddings of a given lattice in the lattices of all equivalences over finite sets. Some of these problems are studied in [4]. In this paper, an embedding is called normal, if it preserves 0 and 1. Using regraphs, our result can be easily improved as follows: THEOREM.For every lattice L, there exists a positive integer n ₀,such that for every n≥n ₀,there is a normal embedding π: L→Eq(A), where |A|=n. Embedding satisfying special properties are shown in Lemma 3.2 and Basic Lemma 6.2. We hope that our method of regraph powers will produce other interesting results. There is also a question about the effectiveness of finding an embedding of a given lattice. In particular, the proof presented here cannot be directly used to solve the following. Problem. Can the dual of Eq(4) be embedded into Eq(2¹⁰⁰⁰)? Presented by G. Gr?tzer.     

Constant Approximation Algorithms for Embedding Graph Metrics into Trees and Outerplanar Graphs

In this paper, we present a simple factor 6 algorithm for approximating the optimal multiplicative distortion of embedding a graph metric into a tree metric (thus improving and simplifying the factor 100 and 27 algorithms of Bǎdoiu et al. (Proceedings of the eighteenth annual ACM–SIAM symposium on discrete algorithms (SODA 2007), pp. 512–521, 2007) and Bǎdoiu et al. (Proceedings of the 11th international workshop on approximation algorithms for combinatorial optimization problems (APPROX 2008), Springer, Berlin, pp. 21–34, 2008)). We also present a constant factor algorithm for approximating the optimal distortion of embedding a graph metric into an outerplanar metric. For this, we introduce a general notion of a metric relaxed minor and show that if G contains an α-metric relaxed H-minor, then the distortion of any embedding of G into any metric induced by a H-minor free graph is ≥α. Then, for H=K _2,3, we present an algorithm which either finds an α-relaxed minor, or produces an O(α)-embedding into an outerplanar metric.     

Limitations to Fréchet’s metric embedding method

Fréchet’s classical isometric embedding argument has evolved to become a major tool in the study of metric spaces. An important example of a Fréchet embedding is Bourgain's embedding [4]. The authors have recently shown [2] that for every ε>0, anyn-point metric space contains a subset of size at leastn ^1−ε which embeds into ℓ₂ with distortion . The embedding used in [2] is non-Fréchet, and the purpose of this note is to show that this is not coincidental. Specifically, for every ε>0, we construct arbitrarily largen-point metric spaces, such that the distortion of any Fréchet embedding into ℓ_p on subsets of size at leastn ^1/2+ε is Ω((logn)^1/p ). Supported in part by a grant from the Israeli National Science Foundation. Supported in part by a grant from the Israeli National Science Foundation. Supported in part by the Landau Center.     

Differentiation in the branges spaces and embedding theorems

The boundedness conditions for the differentiation operator in Hilbert spaces of entire functions (Branges spaces) and conditions under which the embedding K_и⊂L₂(μ) holds in spaces K_и associated with the Branges spacesH(E) are studied. Measure μ such that the above embedding is isometric are of special interest. It turns out that the condition E'/E∈H^∞(C⁺) is sufficient for the boundedness of the differentiation operator inH(E). Under certain restrictions on E, this condition is also necessary. However, this fact fails in the general case, which is demonstrated by the counterexamples constructed in this paper. The convex structure of the set of measures μ such that the embedding K_E ^* _/E⊂L²(μ) is isometric (the set of such measures was described by de Brages) is considered. Some classes of measures that are extreme points in the set of Branges measures are distinguished. Examples of measures that are not extreme points are also given. Bibliography: 7 titles. Translated fromProblemy Matematicheskogo Analiza, No. 19, 1999, pp. 27–68.     

On the coincidence of the canonical embeddings of a metric space into a Banach space

Recall the two classical canonical isometric embeddings of a finite metric space X into a Banach space. That is, the Hausdorff–Kuratowsky embedding x → ρ(x, ⋅) into the space of continuous functions on X with the max-norm, and the Kantorovich–Rubinshtein embedding x → δ _x (where δ _x , is the δ-measure concentrated at x) with the transportation norm. We prove that these embeddings are not equivalent if |X| > 4. Bibliography: 2 titles. Translated from Zapiski Nauchnykh Seminarov POMI, Vol. 360, 2008, pp. 153–161.     

Second fundamental forms of holomorphic isometries of the Poincaré disk into bounded symmetric domains and their boundary behavior along the unit circle

Motivated by problems arising from Arithmetic Geometry, in an earlier article one of the authors studied germs of holomorphic isometries between bounded domains with respect to the Bergman metric. In the case of a germ of holomorphic isometry f: (Δ, λ ds _Δ²;0) → (Ω, ds _Ω²;0) of the Poincaré disk Δ into a bounded symmetric domain Ω ⋐ ℂ ^N in its Harish-Chandra realization and equipped with the Bergman metric, f extends to a proper holomorphic isometric embedding F: (Δ, λ ds _Δ²;) → (Ω, ds _Ω²) and Graph(f) extends to an affine-algebraic variety V ⊂ ℂ × ℂ ^N . Examples of F which are not totally geodesic have been constructed. They arise primarily from the p-th root map ρ _p : H → H ^p and a non-standard holomorphic embedding G from the upper half-plane to the Siegel upper half-plane H ₃ of genus 3. In the current article on the one hand we examine second fundamental forms σ of these known examples, by computing explicitly φ = |σ|². On the other hand we study on the theoretical side asymptotic properties of σ for arbitrary holomorphic isometries of the Poincaré disk into polydisks. For such mappings expressing via the inverse Cayley transform in terms of the Euclidean coordinate τ = s + it on the upper half-plane H, we have φ(τ) = t ² u(τ), where u| _t=0 ≢ 0. We show that u must satisfy the first order differential equation δu/δt| _t=0 ≡ 0 on the real axis outside a finite number of points at which u is singular. As a by-product of our method of proof we show that any non-standard holomorphic isometric embedding of the Poincaré disk into the polydisk must develop singularities along the boundary circle. The equation δu/δt| _t=0 ≡ 0 along the real axis for holomorphic isometries into polydisks distinguishes the latter maps from holomorphic isometries into Siegel upper half-planes arising from G. Towards the end of the article we formulate characterization problems for holomorphic isometries suggested both by the theoretical and the computational results of the article.     

Linkless and Flat Embeddings in 3-Space

We consider piecewise linear embeddings of graphs in 3-space ℝ³. Such an embedding is linkless if every pair of disjoint cycles forms a trivial link (in the sense of knot theory). Robertson, Seymour and Thomas (J. Comb. Theory, Ser. B 64:185–227, 1995) showed that a graph has a linkless embedding in ℝ³ if and only if it does not contain as a minor any of seven graphs in Petersen’s family (graphs obtained from K ₆ by a series of YΔ and ΔY operations). They also showed that a graph is linklessly embeddable in ℝ³ if and only if it admits a flat embedding into ℝ³, i.e. an embedding such that for every cycle C of G there exists a closed 2-disk D⊆ℝ³ with D∩G=∂D=C. Clearly, every flat embedding is linkless, but the converse is not true. We consider the following algorithmic problem associated with embeddings in ℝ³:     

Solvability of the cohomological equation for regular vector fields on the plane

We consider planar vector fields without zeroes ξ and study the image of the associated Lie derivative operators L _ξ acting on the space of smooth functions. We show that the cokernel of L _ξ is infinite-dimensional as soon as ξ is not topologically conjugate to a constant vector field and that, if the topology of the integral trajectories of ξ is “simple enough” (e.g. if ξ is polynomial) then ξ is transversal to a Hamiltonian foliation. We use this fact to find a large explicit subalgebra of the image of L _ξ and to build an embedding of \mathbbR²{\mathbb{R}^{2}} into \mathbbR⁴{\mathbb{R}^{4}} which rectifies ξ. Finally, we use this embedding to characterize the functions in the image of L _ξ .     

Embedding of hyperbolic groups into products of binary trees

We show that every Gromov hyperbolic group Γ admits a quasi-isometric embedding into the product of n+1 binary trees, where n=dim∂_∞Γ is the topological dimension of the boundary at infinity of Γ.     

Monomial Realization of Crystal Bases <Emphasis Type="Italic">B</Emphasis>(∞) for the Quantum Finite Algebras

In this paper, we give a new realization of the crystal basis B(∞) using modified Nakajima monomials for the quantum finite algebras. Moreover, as an application, we obtain the image of the Kashiwara embedding Ψ _ι from this realization of B(∞). Presented by Alain Verschoren.     

Relations between mixed moduli of smoothness,and embedding theorems for Nikol’skii classes

We prove (L _p , L _q ) inequalities for mixed moduli of smoothness of positive orders. As corollaries, we obtain embedding theorems for the Nikol’skii classes.     

Embeddings of the classesH ω

In this paper we study functions belonging to the classesV _ε and ΛBV, which are encountered in the theory of Fourier trigonometric series. Necessary and sufficient conditions for the embedding of the classesH _ω in the classesV _ϕ and ABV are obtained. Translated fromMatematicheskie Zametki, Vol. 64, No. 5, pp. 713–719, November, 1998. This research was supported by the program “Leading Scientific Schools” under grant No. 96/97-15-96073.     

QUADRATIC DESCENT FOR QUATERNION ALGEBRAS

Given a Galois embedding problem H → G = Gal(L/F) with kernel of order two and F Hilbertian, we consider how obstructions O_K to subgroup embedding problems H ₀ → G ₀ = Gal(L/K) for [K : F] = 2 descend to the obstruction O_F to the original embedding problem, up to Br₂(K/F). In particular, to such an obstruction O_K we associate a tower of Z/2Z-embedding problems and prove that the contribution of O_K to O_F is given by the obstruction to the last embedding problem in the tower. We show that such an association in fact holds generally for central, Brauer Z/pZ-problems. When O_K is the class of a quaternion algebra, we give an explicit representation of O_F up to Br₂(K/F). As a consequence, we represent in terms of quaternion algebras over F the obstructions to Z/2Z × Z/2Z-embedding problems not previously determined over F.     

Embedding of Hpω in the class eL

We obtain the necessary conditions for the embedding H _p ^ω ⊂ e ^L (1≤p∞) with convex modulus of continuity ω in terms of this modulus. In the case p=1 these conditions are also sufficient.     

Continuity andkth order differentiability in Orlicz-Sobolev spaces:W kLA

The paper gives a necessary and sufficient condition for the embedding of the Orlicz-Sobolev spaceW ^kL_A (Ω) inC(Ω). The same condition is also found to be necessary and sufficient so that a continuous function inW ^kL_A (Ω) be differentiable of orderk almost everywhere in Ω.     

Direct Constructions of Hyperplanes of Dual Polar Spaces Arising from Embeddings

Let e be one of the following full projective embeddings of a finite dual polar space Δ of rank n ≥ 2: (i) The Grassmann-embedding of the symplectic dual polar space Δ ≅ DW(2n – 1, q); (ii) the Grassmann-embedding of the Hermitian dual polar space Δ ≅ DH(2n – 1, q ²); (iii) the spin-embedding of the orthogonal dual polar space Δ ≅ DQ(2n, q); (iv) the spin-embedding of the orthogonal dual polar space Δ ≅DQ ⁻(2n + 1, q). Let H_e{\mathcal{H}_{e}} denote the set of all hyperplanes of Δ arising from the embedding e. We give a method for constructing the hyperplanes of H_e{\mathcal{H}_{e}} without implementing the embedding e and discuss (possible) applications of the given construction.