Lagrangian barriers and symplectic embeddings

We prove that every symplectic Kähler manifold (M;W) (M;\Omega) with integral [W] [\Omega] decomposes into a disjoint union (M,W) = (E,w₀) \coprod D (M,\Omega) = (E,\omega_0) \coprod \Delta , where (E,w₀) (E,\omega_0) is a disc bundle endowed with a standard symplectic form w₀ \omega_0 and D \Delta is an isotropic CW-complex. We perform explicit computations of this decomposition on several examples.¶As an application we establish the following symplectic intersection phenomenon: There exist symplectically irremovable intersections between contractible domains and Lagrangian submanifolds. For example, we prove that every symplectic embedding j:B²ⁿ(l) ? \Bbb CPⁿ \varphi:B^{2n}(\lambda) \to {\Bbb C}P^n of a ball of radius l² 3 1/2 \lambda^2 \ge 1/2 must intersect the standard Lagrangian real projective space \Bbb RPⁿ ì \Bbb CPⁿ {\Bbb R}P^n \subset {\Bbb C}P^n .     

A note on degenerate corank-one singularities of integrable Hamiltonian systems

We prove that, in a neighborhood of a corank-1 singularity of an analytic integrable Hamiltonian system with n degrees of freedom, there is a locally-free analytic symplectic \Bbb T^n-1 {\Bbb T}^{n-1} -action which preserves the moment map, under some mild conditions. This result allows one to classify generic degenerate corank-one singularities of integrable Hamiltonian systems. It can also be applied to the study of (non)integrability of perturbations of integrable systems.     

Covering and packing in \Bbb Zn{\Bbb Z}^n and \Bbb Rn{\Bbb R}^n, (I)

Given a finite subset A{\cal A} of an additive group \Bbb G{\Bbb G} such as \Bbb Zⁿ{\Bbb Z}^n or \Bbb Rⁿ{\Bbb R}^n , we are interested in efficient covering of \Bbb G{\Bbb G} by translates of A{\cal A} , and efficient packing of translates of A{\cal A} in \Bbb G{\Bbb G} . A set S ì \Bbb G{\cal S} \subset {\Bbb G} provides a covering if the translates A + s{\cal A} + s with s ? Ss \in {\cal S} cover \Bbb G{\Bbb G} (i.e., their union is \Bbb G{\Bbb G} ), and the covering will be efficient if S{\cal S} has small density in \Bbb G{\Bbb G} . On the other hand, a set S ì \Bbb G{\cal S} \subset {\Bbb G} will provide a packing if the translated sets A + s{\cal A} + s with s ? Ss \in {\cal S} are mutually disjoint, and the packing is efficient if S{\cal S} has large density. In the present part (I) we will derive some facts on these concepts when \Bbb G = \Bbb Zⁿ{\Bbb G} = {\Bbb Z}^n , and give estimates for the minimal covering densities and maximal packing densities of finite sets A ì \Bbb Zⁿ{\cal A} \subset {\Bbb Z}^n . In part (II) we will again deal with \Bbb G = \Bbb Zⁿ{\Bbb G} = {\Bbb Z}^n , and study the behaviour of such densities under linear transformations. In part (III) we will turn to \Bbb G = \Bbb Rⁿ{\Bbb G} = {\Bbb R}^n .     

Smooth Universal Taylor Series

Let W í \Bbb C\Omega \subseteq {\Bbb C} be a simply connected domain in \Bbb C{\Bbb C} , such that {￥} è[ \Bbb C \[`(W)]]\{\infty\} \cup [ {\Bbb C} \setminus \bar{\Omega}] is connected. If g is holomorphic in Ω and every derivative of g extends continuously on [`(W)]\bar{\Omega} , then we write g ∈ A^∞ (Ω). For g ∈ A^∞ (Ω) and z ? [`(W)]\zeta \in \bar{\Omega} we denote S_N (g,z)(z) = ?^N_l=0\fracg^(l) (z)l ! (z-z)^lS_N (g,\zeta )(z)= \sum^{N}_{l=0}\frac{g^{(l)} (\zeta )}{l !} (z-\zeta )^l . We prove the existence of a function f ∈ A^∞(Ω), such that the following hold:

Algebraic independence of Mahler functions

Suppose that f₁, ?, f_mf_1, \ldots , f_m satisfy functional equations of type¶¶ f_i(z^d) = P_i(z, f_i(z))     or     f_i(z) = P_i(z, f_i(z^d))f_i({z^d}) = P_i(z, f_i(z)) \quad {or} \quad f_i(z) = P_i(z, f_i({z^d})) ¶for i = 1, ?, mi = 1, \ldots , m, an integer d > 1 and polynomials P_i ? \Bbb C (z)[ y]P_i \in \Bbb C (z)[ {y}] with pairwise distinct partial degrees deg_y( P₁), ?, deg_y( P_m)\deg _y( {P_1}), \ldots , \deg _y( {P_m}). Generalizing a result of Keiji Nishioka and using an idea of Kumiko Nishioka we show, that f₁, ?, f_mf_1, \ldots , f_m can only be algebraically dependent over \Bbb C (z)\Bbb C (z), if there is an index k ? { 1, ?, m}\kappa \in \{ {1, \ldots , m}\} such that f_kf_{\kappa } is rational.     

Regularity in a Singular Biharmonic Dirichlet Problem

We consider the singular biharmonic equation with Dirichlet boundary conditions u = f₀ and ∂_nu = f₁ on . In our setup the boundary values f_j (j = 0,1) are elements in two homogeneous Banach spaces B_j (j = 0,1) on . We give a sufficient condition on the spaces B_j (j = 0,1) to ensure that the solution u of this Dirichlet problem has the appropriate boundary values f_j (j = 0,1) in the sense of convergence in spaces B_j (j = 0,1). Our results also apply in the unweighted case.     

Two-dimensional complex tori with multiplication by $\sqrt {d}$

We give an elementary argument for the well known fact that the endomorphism algebra End(A)?\Bbb Q {\rm {End}}(A)\otimes {\Bbb Q } of a simple complex abelian surface A can neither be an imaginary quadratic field nor a definite quaternion algebra. Another consequence of our argument is that a two-dimensional complex torus T with \Bbb Q (?d)\hookrightarrow End_{\Bbb Q} (T){\Bbb Q }(\sqrt {d})\hookrightarrow {\rm{End_{{\Bbb Q }}}}(T) where \Bbb Q (?d){\Bbb Q }(\sqrt {d}) is real quadratic, is algebraic.     

Punishing Factors for Finitely Connected Domains

Let Ω and Π be two finitely connected hyperbolic domains in the complex plane \Bbb C{\Bbb C} and let R(z, Ω) denote the hyperbolic radius of Ω at z and R(w, Π) the hyperbolic radius of Π at w. We consider functions f that are analytic in Ω and such that all values f(z) lie in the domain Π. This set of analytic functions is denoted by A(Ω, Π). We prove among other things that the quantities C_n(W,P) := sup_{f ? A(W,P)}sup_{z ? W}\frac|f⁽ⁿ⁾(z)| R(f(z),P)n! (R(z,W))ⁿC_n(\Omega,\Pi)\,:=\,\sup_{f\in A(\Omega,\Pi)}\sup_{z\in \Omega}\frac{\vert f^{(n)}(z)\vert\,R(f(z),\Pi)}{n!\,(R(z,\Omega))^n} are finite for all n ? \Bbb N{n \in {\Bbb N}} if and only if ∂Ω and ∂Π do not contain isolated points.     

Interpolation by Rational Functions with Nodes on the Unit Circle

From the Erds–Turán theorem, it is known that if f is a continuous function on and L _n (f, z) denotes the unique Laurent polynomial interpolating f at the (2 n + 1)th roots of unity, then Several years later, Walsh and Sharma produced similar result but taking into consideration a function analytic in and continuous on and making use of algebraic interpolating polynomials in the roots of unity.In this paper, the above results will be generalized in two directions. On the one hand, more general rational functions than polynomials or Laurent polynomials will be used as interpolants and, on the other hand, the interpolation points will be zeros of certain para-orthogonal functions with respect to a given measure on .     

Lp theory for the multidimensional aggregation equation

We consider well‐posedness of the aggregation equation ∂_tu + div(uv) = 0, v = −▿K * u with initial data in \input amssym ${\cal P}_2 {\rm (\Bbb R}^d {\rm )} \cap L^p ({\Bbb R}^d )$ in dimensions 2 and higher. We consider radially symmetric kernels where the singularity at the origin is of order |x|^α, α > 2 − d, and prove local well‐posedness in \input amssym ${\cal P}_2 { (\Bbb R}^d {\rm )} \cap L^p ({\Bbb R}^d )$ for sufficiently large p < p_s. In the special case of K(x) = |x|, the exponent p_s = d/(d = 1) is sharp for local well‐posedness in that solutions can instantaneously concentrate mass for initial data in \input amssym ${\cal P}_2 { (\Bbb R}^d {\rm )} \cap L^p ({\Bbb R}^d )$ with p < p_s. We also give an Osgood condition on the potential K(x) that guarantees global existence and uniqueness in \input amssym ${\cal P}_2 { (\Bbb R}^d {\rm )} \cap L^p ({\Bbb R}^d )$ . © 2010 Wiley Periodicals, Inc.     

On the irrationality measure for certain series

Let K be either the rational number field \Bbb Q{\Bbb Q} or an imaginary quadratic field. We give irrationality results for the number q = ?_n=1^￥rⁿ/(qⁿ-r^l)\theta=\sum_{n=1}^{\infty}{r^n}/(q^n-r^l), where q (∣q∣ > 1) is an integer in K, r∈ K ^× (∣r∣ < ∣q∣), and 1 ￡ l ? \Bbb Z1\le l\in{\Bbb Z} with q ⁿ ≠ r ^l (n ≥ 1).     

Systems of quadratic Diophantine inequalities and the value distribution of quadratic forms

Let Q ₁,…,Q _r be quadratic forms with real coefficients. We prove that the set {(Q₁(x),?,Q_r(x)) | x ? \Bbb Z^s}\{(Q_1(x),\ldots ,Q_r(x))\,\vert\, x\in{\Bbb Z}^s\} is dense in \Bbb R^r{\Bbb R}^r , provided that the system Q ₁(x) = 0,…,Q _r (x) = 0 has a nonsingular real solution and all forms in the real pencil generated by Q ₁,…,Q _r are irrational and have rank larger than 8r. Moreover, we give a quantitative version of the above assertion. As an application we study higher correlation functions of the value distribution of a positive definite irrational quadratic form.     

Thermodynamic formalism of transcendental entire maps of finite singular type

We build a version of a thermodynamic formalism for maps of the form f(z) = ∑ _{j = 0} ^{p + q} a _j e ^(j−p)z where p, q > 0 and . We show in particular the existence and uniqueness of (t,α)-conformal measures and that the Hausdorff dimension HD(J _f ^r ) = h is the unique zero of the pressure function t ↦ P(t) for t > 1, where the set J _f ^r is the radial Julia set. Partially supported by NSF Grant DMS 0100078. Partially supported by Warsaw University of Technology Grant No. 504G11200023000, Polish KBN Grant No. 2PO3A03425 and Chilean FONDECYT Grant No. 11060280.     

Approximating the Conformal Maps of Elongated Quadrilaterals by Domain Decomposition

Let Q:={ Ω;z ₁ ,z ₂ ,z ₃ ,z ₄ } be a quadrilateral consisting of a Jordan domain Ω and four points z ₁ , z ₂ , z ₃ , z ₄ , in counterclockwise order on \partial Ω and let m(Q) be the conformal module of Q . Then Q is conformally equivalent to the rectangular quadrilateral {R _m(Q) ;0,1,1+\mathop \it im (Q),\mathop \it im (Q)}, where R _m(Q) := {(ξ,η): 0<ξ<1, 0 <η<m(Q)}, in the sense that there exists a unique conformal map f: Ω \rightarrow R _m(Q) that takes the four points z ₁ , z ₂ , z ₃ , z ₄ , respectively, onto the four vertices 0 , 1 , 1+\mathop \it im (Q) , \mathop \it im (Q) of R _m(Q) . In this paper we consider the use of a domain decomposition method (DDM) for computing approximations to the conformal map f , in cases where the quadrilateral Q is ``long.' The method has been studied already but, mainly, in connection with the computation of m(Q) . Here we consider certain recent results of Laugesen \cite{La}, for the DDM approximation of the conformal map f: Ω \rightarrow R _m(Q) associated with a special class of quadrilaterals (viz., quadrilaterals whose two opposite boundary segments (z ₂ , z ₃ ) and (z ₄ , z ₁ ) are parallel straight lines), and seek to extend these results to more general quadrilaterals. By making use of the available DDM theory for conformal modules, we show that the corresponding theory for f can, indeed, be extended to a much wider class of quadrilaterals than those considered by Laugesen. June 1, 2000. Date accepted: September 6, 2000.     

Amenable representations and dynamics of the unit sphere in an infinite-dimensional Hilbert space

We establish a close link between the amenability property of a unitary representation p \pi of a group G (in the sense of Bekka) and the concentration property (in the sense of V. Milman) of the corresponding dynamical system (\Bbb S_p, G) ({\Bbb S}_{\pi}, G) , where \Bbb S_H {\Bbb S}_{\cal H} is the unit sphere the Hilbert space of representation. We prove that p \pi is amenable if and only if either p \pi contains a finite-dimensional subrepresentation or the maximal uniform compactification of (\Bbb S_p ({\Bbb S}_{\pi} has a G-fixed point. Equivalently, the latter means that the G-space (\Bbb S_p, G) ({\Bbb S}_{\pi}, G) has the concentration property: every finite cover of the sphere \Bbb S_p {\Bbb S}_{\pi} contains a set A such that for every e > 0 \epsilon > 0 the e \epsilon -neighbourhoods of the translations of A by finitely many elements of G always intersect. As a corollary, amenability of p \pi is equivalent to the existence of a G-invariant mean on the uniformly continuous bounded functions on \Bbb S_p {\Bbb S}_{\pi} . As another corollary, a locally compact group G is amenable if and only if for every strongly continuous unitary representation of G in an infinite-dimensional Hilbert space H {\cal H} the system (\Bbb S_H, G) ({\Bbb S}_{\cal H}, G) has the property of concentration.     

An analysis of the greedy algorithm for the submodular set covering problem

We consider the problem: min \(\{ \mathop \Sigma \limits_{j \in s} f_j :z(S) = z(N),S \subseteqq N\} \) wherez is a nondecreasing submodular set function on a finite setN. Whenz is integer-valued andz(Ø)=0, it is shown that the value of a greedy heuristic solution never exceeds the optimal value by more than a factor \(H(\mathop {\max }\limits_j z(\{ j\} ))\) where \(H(d) = \sum\limits_{i = 1}^d {\frac{1}{i}} \) . This generalises earlier results of Dobson and others on the applications of the greedy algorithm to the integer covering problem: min {fy: Ay ≧b, y ε {0, 1}} wherea _ij ,b _i } ≧ 0 are integer, and also includes the problem of finding a minimum weight basis in a matroid.     

A convolution formula for time‐invariant linear communication systems

For every linear and time‐invariant time‐discrete (communication) system T : l^∞ → l^∞, formally, the following convolution formula can be derived: \input amssym.def $$(Tf)(n)=\sum_{k \in {\Bbb Z}} h(n‐k) f(k),\quad n \in {\Bbb Z}, f \in l^{\infty},$$ where h = Tδ is the delta impulse response. This paper is concerned with the question under which assumptions linear and time‐invariant time‐discrete systems T : l^∞ → l^∞ can be characterized by this formula. For this purpose we derive a convolution formula in a more general situation which also leads to a well‐known convolution formula in the time‐continuous case. Copyright © 1999 John Wiley & Sons, Ltd.     

A Seidel-Walsh theorem with linear differential operators

Assume that {S_n}₁^￥ \{S_n\}_1^\infty is a sequence of automorphisms of the open unit disk \Bbb D{\Bbb D} and that {T_n}₁^￥\{T_n\}_1^\infty is a sequence of linear differential operators with constant coefficients, both of them satisfying suitable conditions. We prove that for certain spaces X of holomorphic functions in the open unit disk, the set of functions f ? Xf \in X such that {(T_n f) °S_n:  n ? \Bbb N}\{(T_n\,f) \circ S_n: \, n \in {\Bbb N}\} is dense in H(\Bbb D)H({\Bbb D}) is residual in X. This extends the Seidel-Walsh theorem together with some subsequent results.     

Quantization of Lie bialgebras and shuffle algebras of Lie algebras

To any field \Bbb K \Bbb K of characteristic zero, we associate a set (\mathbbK) (\mathbb{K}) and a group G₀(\Bbb K) {\cal G}_0(\Bbb K) . Elements of (\mathbbK) (\mathbb{K}) are equivalence classes of families of Lie polynomials subject to associativity relations. Elements of G₀(\Bbb K) {\cal G}_0(\Bbb K) are universal automorphisms of the adjoint representations of Lie bialgebras over \Bbb K \Bbb K . We construct a bijection between (\mathbbK)×G₀(\Bbb K) (\mathbb{K})\times{\cal G}_0(\Bbb K) and the set of quantization functors of Lie bialgebras over \Bbb K \Bbb K . This construction involves the following steps.? 1) To each element v \varpi of (\mathbbK) (\mathbb{K}) , we associate a functor \frak a?\operatornameSh^v(\frak a) \frak a\mapsto\operatorname{Sh}^\varpi(\frak a) from the category of Lie algebras to that of Hopf algebras; \operatornameSh^v(\frak a) \operatorname{Sh}^\varpi(\frak a) contains U\frak a U\frak a .? 2) When \frak a \frak a and \frak b \frak b are Lie algebras, and r_{\frak a\frak b} ? \frak a?\frak b r_{\frak a\frak b} \in\frak a\otimes\frak b , we construct an element ?^v (r_{\frak a\frak b}) {\cal R}^{\varpi} (r_{\frak a\frak b}) of \operatornameSh^v(\frak a)?\operatornameSh^v(\frak b) \operatorname{Sh}^\varpi(\frak a)\otimes\operatorname{Sh}^\varpi(\frak b) satisfying quasitriangularity identities; in particular, ?^v(r_{\frak a\frak b}) {\cal R}^\varpi(r_{\frak a\frak b}) defines a Hopf algebra morphism from \operatornameSh^v(\frak a)^* \operatorname{Sh}^\varpi(\frak a)^* to \operatornameSh^v(\frak b) \operatorname{Sh}^\varpi(\frak b) .? 3) When \frak a = \frak b \frak a = \frak b and r_\frak a ? \frak a?\frak a r_\frak a\in\frak a\otimes\frak a is a solution of CYBE, we construct a series r^v(r_\frak a) \rho^\varpi(r_\frak a) such that ?^v(r^v(r_\frak a)) {\cal R}^\varpi(\rho^\varpi(r_\frak a)) is a solution of QYBE. The expression of r^v(r_\frak a) \rho^\varpi(r_\frak a) in terms of r_\frak a r_\frak a involves Lie polynomials, and we show that this expression is unique at a universal level. This step relies on vanishing statements for cohomologies arising from universal algebras for the solutions of CYBE.? 4) We define the quantization of a Lie bialgebra \frak g \frak g as the image of the morphism defined by ?^v(r^v(r)) {\cal R}^\varpi(\rho^\varpi(r)) , where r ? \mathfrakg ?\mathfrakg^* r \in \mathfrak{g} \otimes \mathfrak{g}^* .<\P>