Localization and Locality for Resistance Forms

For a resistance form ${(X, \mathcal{D}(\varepsilon),\varepsilon)}For a resistance form (X, D(e),e){(X, \mathcal{D}(\varepsilon),\varepsilon)} and a point x₀ ? X{x_0 \in X} as boundary, on the space X₀:=X \{x₀}{X_0:=X {\setminus}\{x_0\}} we consider the Dirichlet space D_x0:={f ? D(e) | f(x₀)=0}{\mathcal{D}_{x_0}:=\{f\in\mathcal{D}(\varepsilon)\, |\, f(x_0)=0\}} and we develop a good potential theory. For any finely open subset D of X ₀ we consider a localized resistance form (D_{X0 \ D},e_D{\mathcal{D}_{X_0 {\setminus} D},\varepsilon_{D}}) where D_{X0 \ D}:={f ? D_x0 | f=0{\mathcal{D}_{X_0 {\setminus} D}:=\{f\in\mathcal{D}_{x_0}\, |\, f=0} on X₀ \ D}, e_D(f,g):=e(f,g){X_0 {\setminus} D\},\, \varepsilon_D(f,g):=\varepsilon(f,g)} for all f,g ? D_{X0 \ D}{f,g\in\mathcal{D}_{X_0 {\setminus} D}}. The main result is the equivalence between the local property of the resistance form and the sheaf property for the excessive elements on finely open sets.     

Three cubes in arithmetic progression over quadratic fields

We study the problem of the existence of arithmetic progressions of three cubes over quadratic number fields ${{\mathbb{Q}(\sqrt{D})}}We study the problem of the existence of arithmetic progressions of three cubes over quadratic number fields \mathbbQ(?D){{\mathbb{Q}(\sqrt{D})}}, where D is a squarefree integer. For this purpose, we give a characterization in terms of \mathbbQ(?D){{\mathbb{Q}(\sqrt{D})}}-rational points on the elliptic curve E : y ² = x ³ − 27. We compute the torsion subgroup of the Mordell–Weil group of this elliptic curve over \mathbbQ(?D){{\mathbb{Q}(\sqrt{D})}} and we give an explicit answer, in terms of D, to the finiteness of the free part of E(\mathbbQ(?D)){E({\mathbb{Q}(\sqrt{D})})} for some cases. We translate this task to computing whether the rank of the quadratic D-twist of the modular curve X ₀(36) is zero or not.     

Purity for overconvergence

Let X \hookrightarrow[`(X)]{X \hookrightarrow \overline{X}} be an open immersion of smooth varieties over a field of characteristic p > 0 such that the complement is a simple normal crossing divisor and [`(Z)] í Z í [`(X)]{\overline{Z}\subseteq Z \subseteq \overline{X}} closed subschemes of codimension at least 2. In this paper, we prove that the canonical restriction functor between the categories of overconvergent F-isocrystals F-Isoc<sup>f</sup>(X,[`(X)]) ? F-Isoc^f(X\Z,[`(X)]\[`(Z)]){F-{\rm Isoc}^\dagger(X,\overline{X}) \longrightarrow F-{\rm Isoc}^\dagger(X{\setminus}Z, \overline{X}{\setminus}\overline{Z})} is an equivalence of categories. We also give an application of our result to the equivalence of certain categories.     

Operator-valued H ∞-calculus in Inter- and Extrapolation Spaces

We generalize a Hilbert space result by Auscher, McIntosh and Nahmod to arbitrary Banach spaces X and to not densely defined injective sectorial operators A. A convenient tool proves to be a certain universal extrapolation space associated with A. We characterize the real interpolation space ( X,D( A^a ) ?R( A^a ) )_q,p{\left( {X,\mathcal{D}{\left( {A^{\alpha } } \right)} \cap \mathcal{R}{\left( {A^{\alpha } } \right)}} \right)}_{{\theta ,p}} as

A Φ-Entropy Contraction Inequality for Gaussian Vectors

A beautiful result of Sarmanov (Dokl. Akad. Nauk SSSR 121(1), 52–55, 1958) says that for a Gaussian vector (X,Y), \operatorname Var(\mathbb E[f(Y)|X]) ￡ r²\operatorname Var(f(Y))\operatorname {Var}(\mathbb {E}[f(Y)|X])\le \rho^{2}\operatorname {Var}(f(Y)) for all measurable functions f, where ρ is the (linear) correlation coefficient between X and Y. We generalize this result to a general Φ-entropy (a nonlinear version of his result) by means of a previous result of D. Chafai based on Bakry–Emery’s Γ ₂-technique and tensorization.     

On algebraic integrability of Gelfand-Zeitlin fields

We generalize a result of Kostant and Wallach concerning the algebraic integrability of the Gelfand-Zeitlin vector fields to the full set of strongly regular elements in \mathfrakg\mathfrakl \mathfrak{g}\mathfrak{l} (n, ℂ). We use decomposition classes to stratify the strongly regular set by subvarieties X_D {X_\mathcal{D}} . We construct an étale cover [^(\mathfrakg)]_D {\hat{\mathfrak{g}}}_\mathcal{D} of X_D {X_\mathcal{D}} and show that X_D {X_\mathcal{D}} and [^(\mathfrakg)]_D {\hat{\mathfrak{g}}}_\mathcal{D} are smooth and irreducible. We then use Poisson geometry to lift the Gelfand-Zeitlin vector fields on X_D {X_\mathcal{D}} to Hamiltonian vector fields on [^(\mathfrakg)]_D {\hat{\mathfrak{g}}}_\mathcal{D} and integrate these vector fields to an action of a connected, commutative algebraic group.     

On the subordinate killed B.M in bounded domains and existence results for nonlinear fractional Dirichlet problems

We take up in this paper the existence of positive continuous solutions for some nonlinear boundary value problems with fractional differential equation based on the fractional Laplacian (-D_|D)^\fraca2{(-\Delta _{|D})^{\frac{\alpha }{2}}} associated to the subordinate killed Brownian motion process Z_a^D{Z_{\alpha }^{D}} in a bounded C ^1,1 domain D. Our arguments are based on potential theory tools on Z_a^D{Z_{\alpha }^{D}} and properties of an appropriate Kato class of functions K _α (D).     

Geodesics On The Symplectomorphism Group

Let M be a compact manifold with a symplectic form ω and consider the group D_w{\mathcal{D}_\omega} consisting of diffeomorphisms that preserve ω. We introduce a Riemannian metric on M which is compatible with ω and use it to define an L ²-inner product on vector fields on M. Extending by right invariance we get a weak Riemannian metric on D_w{\mathcal{D}_\omega} . We show that this metric has geodesics which come from integral curves of a smooth vector field on the tangent bundle of D_w{\mathcal{D}_\omega} . Then, estimating the growth of such geodesics, we show that they extend globally.     

Interpolation of Banach Lattices and Factorization of p-Convex and q-Concave Operators

We extend a result of ?estakov to compare the complex interpolation method [X ₀, X ₁]_θ with Calderón-Lozanovskii’s construction ${{{{X^{1-\theta}_{0}X^{\theta}_{1}}}}}We extend a result of Šestakov to compare the complex interpolation method [X ₀, X ₁]_θ with Calderón-Lozanovskii’s construction X^1-q₀X^q₁{{{{X^{1-\theta}_{0}X^{\theta}_{1}}}}}, in the context of abstract Banach lattices. This allows us to prove that an operator between Banach lattices T : E → F which is p-convex and q-concave, factors, for any q ? (0, 1){{{{\theta \in (0, 1)}}}}, as T =  T ₂ T ₁, where T ₂ is ( (\fracpq+ (1 - q)p ){{\left({\frac{p}{{\theta + (1 - \theta)p}}} \right)}}-convex and T ₁ is (\fracq1 - q ){{\left({\frac{q}{{1 - \theta }}} \right)}}-concave.     

Implicit standard Jacobi gives high relative accuracy

We prove that the Jacobi algorithm applied implicitly on a decomposition A = XDX ^T of the symmetric matrix A, where D is diagonal, and X is well conditioned, computes all eigenvalues of A to high relative accuracy. The relative error in every eigenvalue is bounded by O(ek(X)){O(\epsilon \kappa (X))} , where e{\epsilon} is the machine precision and k(X) o ||X||₂·||X^-1||₂{\kappa(X)\equiv\|X\|_2\cdot\|X^{-1}\|_2} is the spectral condition number of X. The eigenvectors are also computed accurately in the appropriate sense. We believe that this is the first algorithm to compute accurate eigenvalues of symmetric (indefinite) matrices that respects and preserves the symmetry of the problem and uses only orthogonal transformations.     

Density of the polynomials in Hardy and Bergman spaces of slit domains

It is shown that for any t, 0<t<∞, there is a Jordan arc Γ with endpoints 0 and 1 such that G\{1} í \mathbbD:={z:|z| < 1}\Gamma\setminus\{1\}\subseteq\mathbb{D}:=\{z:|z|<1\} and with the property that the analytic polynomials are dense in the Bergman space \mathbbA^t(\mathbbD\G)\mathbb{A}^{t}(\mathbb{D}\setminus\Gamma) . It is also shown that one can go further in the Hardy space setting and find such a Γ that is in fact the graph of a continuous real-valued function on [0,1], where the polynomials are dense in H^t(\mathbbD\G)H^{t}(\mathbb{D}\setminus\Gamma) ; improving upon a result in an earlier paper.     

Uniform rates of approximation by short asymptotic expansions in the CLT for quadratic forms

Let X, X ₁, X ₂,… be i.i.d. \mathbbR^d {\mathbb{R}^d} -valued real random vectors. Assume that E X = 0 and that X has a nondegenerate distribution. Let G be a mean zero Gaussian random vector with the same covariance operator as that of X. We study the distributions of nondegenerate quadratic forms \mathbbQ[ S_N ] \mathbb{Q}\left[ {{S_N}} \right] of the normalized sums S _N  = N ^−1/2 (X ₁ + ⋯ + X _N ) and show that, without any additional conditions,

Random matrix products and applications to cellular automata

Let λ be the upper Lyapunov exponent corresponding to a product of i.i.d. randomm×m matrices (X _i) _i ^0/∞ over ℂ. Assume that theX _i's are chosen from a finite set {D ₀,D ₁...,D _t-1(ℂ), withP(X _i=D_j)>0, and that the monoid generated byD ₀, D₁,…, D_q−1 contains a matrix of rank 1. We obtain an explicit formula for λ as a sum of a convergent series. We also consider the case where theX _i's are chosen according to a Markov process and thus generalize a result of Lima and Rahibe [22]. Our results on λ enable us to provide an approximation for the numberN _≠0(F(x)ⁿ,r) of nonzero coefficients inF(x) ⁿ.(modr), whereF(x) ∈ ℤ[x] andr≥2. We prove the existence of and supply a formula for a constant α (<1) such thatN _≠0(F(x)ⁿ,r) ≈n ^α for “almost” everyn. Supported in part by FWF Project P16004-N05     

Compact Operators that Commute with a Contraction

Let T be a C₀–contraction on a separable Hilbert space. We assume that I_H − T*T is compact. For a function f holomorphic in the unit disk \mathbbD{\mathbb{D}} and continuous on [`(\mathbbD)]\overline{{\mathbb{D}}}, we show that f(T) is compact if and only if f vanishes on s(T)?\mathbbT\sigma(T)\cap{\mathbb{T}}, where σ(T) is the spectrum of T and \mathbbT{\mathbb{T}} the unit circle. If f is just a bounded holomorphic function on \mathbbD{\mathbb{D}}, we prove that f(T) is compact if and only if lim_{n? ￥}||Tⁿf(T)|| = 0\lim\limits_{n\rightarrow \infty}\|T^{n}f(T)\| = 0.     

A New Class of Inner Functions Uniformly Approximable by Interpolating Blaschke Products

We study the class of inner functions Q{\Theta} whose zero set Z(Q){Z(\Theta)} stays hyperbolically close to [`(Z_\mathbbD(Q))]{\overline{Z_\mathbb{D}(\Theta)}} on the corona of H ^∞ and show that these functions are uniformly approximable by interpolating Blaschke products.     

Properties of Riesz fractional derivatives for Korteweg–de Vries solitons

Riesz fractional derivatives are defined as fractional powers of the Laplacian, D ^α  = (?Δ) ^α/2 for ${\alpha \in \mathbb{R}}Riesz fractional derivatives are defined as fractional powers of the Laplacian, D ^α  = (−Δ) ^α/2 for a ? \mathbbR{\alpha \in \mathbb{R}}. For the soliton solution of the Korteweg–de Vries equation, u ₀(X) with X = x − 4t, these derivatives, u _α (X) = D ^α u ₀(X), and their Hilbert transforms, v _α (X) = −HD ^α u ₀(X), can be expressed in terms of the full range Hurwitz Zeta functions ζ₊(s, a) and ζ₋(s, a), respectively. New properties are established for u _α (X) and v _α (X). It is proved that the functions w _α (X) = u _α (X) + iv _α (X) with α > −1 are solutions of the differential equation

-\fracddX(Pa(X)\fracdwdX)+Qa(X)w = lra(X)w,       X ? \mathbbR,-\frac{\rm d}{{\rm d}X}\left(P_{\alpha}(X)\frac{{\rm d}w}{{\rm d}X}\right)+Q_{\alpha}(X)w = \lambda\rho_{\alpha}(X)w,\qquad X \in \mathbb{R},      18. Packing dimension and Ahlfors regularity of porous sets in metric spaces      Esa Järvenpää  Maarit Järvenpää  Antti Käenmäki  Tapio Rajala  Sari Rogovin  Ville Suomala 《Mathematische Zeitschrift》2010,266(1):83-105 Let X be a metric measure space with an s-regular measure μ. We prove that if A ì X{A\subset X} is r{\varrho} -porous, then dimp(A) ￡ s-crs{{\rm {dim}_p}(A)\le s-c\varrho^s} where dimp is the packing dimension and c is a positive constant which depends on s and the structure constants of μ. This is an analogue of a well known asymptotically sharp result in Euclidean spaces. We illustrate by an example that the corresponding result is not valid if μ is a doubling measure. However, in the doubling case we find a fixed N ì X{N\subset X} with μ(N) = 0 such that dimp(A) ￡ dimp(X)-c(log\tfrac1r)-1rt{{\rm {dim}_p}(A)\le{\rm {dim}_p}(X)-c(\log \tfrac1\varrho)^{-1}\varrho^t} for all r{\varrho} -porous sets A ì X\ N{A \subset X{\setminus} N} . Here c and t are constants which depend on the structure constant of μ. Finally, we characterize uniformly porous sets in complete s-regular metric spaces in terms of regular sets by verifying that A is uniformly porous if and only if there is t < s and a t-regular set F such that A ì F{A\subset F} .      19. Classical operators on BLOCH spaces      E. S. Dubtsov 《Journal of Mathematical Sciences》2010,165(4):449-454 Let \mathbbD \mathbb{D} n denote the unit polydisk and let B n denote the unit ball in \mathbbC \mathbb{C} n , n ≥1. We study weighted composition operators on the α-Bloch spaces Ba {\mathcal{B}^\alpha } ( \mathbbD \mathbb{D} n ), α > 1. We also study Cesàro type operators on the α-Bloch spaces Ba {\mathcal{B}^\alpha } (B n ), α > 0. Bibliography: 15 titles.      20. Ergodic Subequivalence Relations Induced by a Bernoulli Action      Ionut Chifan  Adrian Ioana 《Geometric And Functional Analysis》2010,20(1):53-67 Let Γ be a countable group and denote by S{\mathcal{S}} the equivalence relation induced by the Bernoulli action G\curvearrowright [0, 1]G{\Gamma\curvearrowright [0, 1]^{\Gamma}}, where [0, 1]Γ is endowed with the product Lebesgue measure. We prove that, for any subequivalence relation R{\mathcal{R}} of S{\mathcal{S}}, there exists a partition {X i } i≥0 of [0, 1]Γ into R{\mathcal{R}}-invariant measurable sets such that R|X0{\mathcal{R}_{\vert X_{0}}} is hyperfinite and R|Xi{\mathcal{R}_{\vert X_{i}}} is strongly ergodic (hence ergodic and non-hyperfinite), for every i ≥ 1.

Packing dimension and Ahlfors regularity of porous sets in metric spaces

Let X be a metric measure space with an s-regular measure μ. We prove that if A ì X{A\subset X} is r{\varrho} -porous, then dim_p(A) ￡ s-cr^s{{\rm {dim}_p}(A)\le s-c\varrho^s} where dim_p is the packing dimension and c is a positive constant which depends on s and the structure constants of μ. This is an analogue of a well known asymptotically sharp result in Euclidean spaces. We illustrate by an example that the corresponding result is not valid if μ is a doubling measure. However, in the doubling case we find a fixed N ì X{N\subset X} with μ(N) = 0 such that dim_p(A) ￡ dim_p(X)-c(log\tfrac1r)^-1r^t{{\rm {dim}_p}(A)\le{\rm {dim}_p}(X)-c(\log \tfrac1\varrho)^{-1}\varrho^t} for all r{\varrho} -porous sets A ì X\ N{A \subset X{\setminus} N} . Here c and t are constants which depend on the structure constant of μ. Finally, we characterize uniformly porous sets in complete s-regular metric spaces in terms of regular sets by verifying that A is uniformly porous if and only if there is t < s and a t-regular set F such that A ì F{A\subset F} .     

Classical operators on BLOCH spaces

Let \mathbbD \mathbb{D} ⁿ denote the unit polydisk and let B _n denote the unit ball in \mathbbC \mathbb{C} ⁿ , n ≥1. We study weighted composition operators on the α-Bloch spaces B^a {\mathcal{B}^\alpha } ( \mathbbD \mathbb{D} ⁿ ), α > 1. We also study Cesàro type operators on the α-Bloch spaces B^a {\mathcal{B}^\alpha } (B _n ), α > 0. Bibliography: 15 titles.     

Ergodic Subequivalence Relations Induced by a Bernoulli Action

Let Γ be a countable group and denote by S{\mathcal{S}} the equivalence relation induced by the Bernoulli action G\curvearrowright [0, 1]^G{\Gamma\curvearrowright [0, 1]^{\Gamma}}, where [0, 1]^Γ is endowed with the product Lebesgue measure. We prove that, for any subequivalence relation R{\mathcal{R}} of S{\mathcal{S}}, there exists a partition {X _i } _i≥0 of [0, 1]^Γ into R{\mathcal{R}}-invariant measurable sets such that R_|X0{\mathcal{R}_{\vert X_{0}}} is hyperfinite and R_|Xi{\mathcal{R}_{\vert X_{i}}} is strongly ergodic (hence ergodic and non-hyperfinite), for every i ≥ 1.