Weyl’s Theorem for Functions of Operators and Approximation

Let H{\mathcal{H}} be a complex separable infinite dimensional Hilbert space. In this paper, we characterize those operators T on H{\mathcal{H}} satisfying that Weyl’s theorem holds for f(T) for each function f analytic on some neighborhood of σ(T). Also, it is proved that, given an operator T on H{\mathcal{H}} and ε > 0, there exists a compact operator K with ||K|| < e{\|K\| < \varepsilon} such that Weyl’s theorem holds for T + K.     

Approximate identities on some homogeneous Banach spaces

We study convergence of approximate identities on some complete semi-normed or normed spaces of locally L ^p functions where translations are isometries, namely Marcinkiewicz spaces M^p{\mathcal{M}^{p}} and Stepanoff spaces S^p{\mathcal{S}^p}, 1 ≤ p < ∞, as well as others where translations are not isometric but bounded (the bounded p-mean spaces M ^p ) or even unbounded (M^p₀{M^{p}_{0}}). We construct a function f that belongs to these spaces and has the property that all approximate identities f_e * f{\phi_\varepsilon * f} converge to f pointwise but they never converge in norm.     

A Noncommutative Version of <Emphasis Type="Italic">H</Emphasis><Superscript><Emphasis Type="Italic">p</Emphasis></Superscript> and Characterizations of Subdiagonal Algebras

Let M{\mathcal M} be a σ-finite von Neumann algebra and \mathfrak A{\mathfrak A} a maximal subdiagonal algebra of M{\mathcal M} with respect to a faithful normal conditional expectation F{\Phi} . Based on Haagerup’s noncommutative L ^p space L^p(M){L^p(\mathcal M)} associated with M{\mathcal M} , we give a noncommutative version of H ^p space relative to \mathfrak A{\mathfrak A} . If h ₀ is the image of a faithful normal state j{\varphi} in L¹(M){L^1(\mathcal M)} such that j°F = j{\varphi\circ \Phi=\varphi} , then it is shown that the closure of {\mathfrak Ah₀^\frac1p}{\{\mathfrak Ah_0^{\frac1p}\}} in L^p(M){L^p(\mathcal M)} for 1 ≤ p < ∞ is independent of the choice of the state preserving F{\Phi} . Moreover, several characterizations for a subalgebra of the von Neumann algebra M{\mathcal M} to be a maximal subdiagonal algebra are given.     

Counting Ω-ideals

Let ${\mathbb{A}}Let \mathbbA{\mathbb{A}} be a universal algebra of signature Ω, and let I{\mathcal{I}} be an ideal in the Boolean algebra P_\mathbbA{\mathcal{P}_{\mathbb{A}}} of all subsets of \mathbbA{\mathbb{A}} . We say that I{\mathcal{I}} is an Ω-ideal if I{\mathcal{I}} contains all finite subsets of \mathbbA{\mathbb{A}} and f(Aⁿ) ? I{f(A^{n}) \in \mathcal{I}} for every n-ary operation f ? W{f \in \Omega} and every A ? I{A \in \mathcal{I}} . We prove that there are 2^2à₀{2^{2^{\aleph_0}}} Ω-ideals in P_\mathbbA{\mathcal{P}_{\mathbb{A}}} provided that \mathbbA{\mathbb{A}} is countably infinite and Ω is countable.     

Lifting of convex functions on Carnot groups and lack of convexity for a gauge function

Let ${\mathbb{G}}Let \mathbbG{\mathbb{G}} be a Carnot group of step r and m generators and homogeneous dimension Q. Let \mathbbF_m,r{\mathbb{F}_{m,r}} denote the free Lie group of step r and m generators. Let also p:\mathbbF_m,r?\mathbbG{\pi:\mathbb{F}_{m,r}\to\mathbb{G}} be a lifting map. We show that any horizontally convex function u on \mathbbG{\mathbb{G}} lifts to a horizontally convex function u°p{u\circ \pi} on \mathbbF_m,r{\mathbb{F}_{m,r}} (with respect to a suitable horizontal frame on \mathbbF_m,r{\mathbb{F}_{m,r}}). One of the main aims of the paper is to exhibit an example of a sub-Laplacian L=?_j=1^m X_j²{\mathcal{L}=\sum_{j=1}^m X_j^2} on a Carnot group of step two such that the relevant L{\mathcal{L}}-gauge function d (i.e., d ^2-Q is the fundamental solution for L{\mathcal{L}}) is not h-convex with respect to the horizontal frame {X ₁, . . . , X _m }. This gives a negative answer to a question posed in Danielli et al. (Commun. Anal. Geom. 11 (2003), 263–341).     

Characterizations of Bent and Almost Bent Function on {\mathbb{Z}_p^2}

Bent and almost-bent functions on \mathbbZ_p²{\mathbb{Z}_p^2} are studied in this paper. By calculating certain exponential sum and using a technique due to Hou (Finite Fields Appl 10:566–582, 2004), we obtain a degree bound for quasi-bent functions, and prove that almost-bent functions on \mathbbZ_p²{\mathbb{Z}_p^2} are equivalent to a degenerate quadratic form. From the viewpoint of relative difference sets, we also characterize bent functions on \mathbbZ_p²{\mathbb{Z}_p^2} in two classes of M{\mathcal{M}} ’s and PS{\mathcal{PS}} ’s, and show that the graph set corresponding to a bent function on \mathbbZ_p²{\mathbb{Z}_p^2} can be written as the sum of a graph set of M{\mathcal{M}} ’s type bent function and another group ring element. By using our characterization and some technique of permutation polynomial, we obtain the result: a bent function must be of M{\mathcal{M}} ’s type if its corresponding set contains more than (p − 3)/2 flats. A problem proposed by Ma and Pott (J Algebra 175:505–525, 1995) is therefore partially answered.     

Topology and Smooth Structure for Pseudoframes

Given a closed subspace ${\mathcal{S}}Given a closed subspace S{\mathcal{S}} of a Hilbert space H{\mathcal{H}}, we study the sets F_S{\mathcal{F}_\mathcal{S}} of pseudo-frames, CF_S{\mathcal{C}\mathcal{F}_\mathcal{S}} of commutative pseudo-frames and \mathfrakX_S{\tiny{\mathfrak{X}}_{\mathcal{S}}} of dual frames for S{\mathcal{S}}, via the (well known) one to one correspondence which assigns a pair of operators (F, H) to a frame pair ({f_n}_{n ? \mathbbN},{h_n}_{n ? \mathbbN}){(\{f_n\}_{n\in\mathbb{N}},\{h_n\}_{n\in\mathbb{N}})},

F:l2? H,     F({cn}n ? \mathbbN )=?n cn fn,F:\ell^2\to\,\mathcal{H}, \quad F\left(\{c_n\}_{n\in\mathbb{N}} \right)=\sum_n c_n f_n,      8. On the Right (Left) Invertible Completions for Operator Matrices      Guojun Hai  Alatancang Chen 《Integral Equations and Operator Theory》2010,67(1):79-93 Let ${\mathcal {H}_{1}}Let H1{\mathcal {H}_{1}} and H2{\mathcal {H}_{2}} be separable Hilbert spaces, and let A ? B(H1), B ? B(H2){A \in \mathcal {B}(\mathcal {H}_{1}),\, B \in \mathcal {B}(\mathcal {H}_{2})} and C ? B(H2, H1){C \in \mathcal {B}(\mathcal {H}_{2},\, \mathcal {H}_{1})} be given operators. A necessary and sufficient condition is given for ${\left(\begin{smallmatrix}A &\enspace C\\ X &\enspace B \end{smallmatrix}\right)}${\left(\begin{smallmatrix}A &\enspace C\\ X &\enspace B \end{smallmatrix}\right)} to be a right (left) invertible operator for some X ? B(H1, H2){X \in \mathcal {B}(\mathcal {H}_{1},\, \mathcal {H}_{2})}. Furthermore, some related results are obtained.      9. Completely periodic directions and orbit closures of many pseudo-Anosov Teichmueller discs in Q(1,1,1,1)      Pascal Hubert  Erwan Lanneau  Martin M?ller 《Mathematische Annalen》2012,353(1):1-35 In this paper, we investigate the closure of a large class of Teichmüller discs in the stratum Q(1, 1, 1, 1){\mathcal{Q}(1, 1, 1, 1)} or equivalently, in a GL+2(\mathbbR){{\rm GL}^+_2(\mathbb{R})} -invariant locus L{\mathcal{L}} of translation surfaces of genus three. We describe a systematic way to prove that the GL+2(\mathbbR){{\rm GL}^+_2(\mathbb{R})} -orbit closure of a translation surface in L{\mathcal{L}} is the whole locus L{\mathcal{L}} . The strategy of the proof is an analysis of completely periodic directions on such a surface and an iterated application of Ratner’s theorem to unipotent subgroups acting on an “adequate” splitting. This analysis applies for example to all Teichmüller discs obtained by the Thurston–Veech’s construction with a trace field of degree three which are moreover “obviously not Veech”. We produce an infinite series of such examples and show moreover that the favourable splitting situation does not arise everywhere on L{\mathcal{L}} , contrary to the situation in genus two. We also study completely periodic directions on translation surfaces in L{\mathcal{L}} . For instance, we prove that completely periodic directions are dense on surfaces obtained by the Thurston–Veech’s construction.      10. Some estimates of Schrödinger type operators on the Heisenberg group      Yu Liu  Jizheng Huang  Dongmei Xie 《Archiv der Mathematik》2010,94(3):255-264 In this paper, we consider the Schrödinger type operator ${H = (-\Delta _{\mathbb {H}}^n)^2 +V ^{2}}In this paper, we consider the Schr?dinger type operator H = (-D\mathbb Hn)2 +V 2{H = (-\Delta _{\mathbb {H}}^n)^2 +V ^{2}}, where the nonnegative potential V belongs to the reverse H?lder class Bq1 for q1 3 \frac Q 2,Q 3 6{B_{{q}_{1}}\, {\rm for}\, q_{1}\geq {\frac {Q}{ 2}},Q \geq 6}, and D\mathbb Hn{\Delta_{\mathbb {H}^n}} is the sublaplacian on the Heisenberg group \mathbb Hn{\mathbb {H}^n}. An L p estimate and a weak type L 1 estimate for the operator ?4\mathbb Hn H-1{\nabla^4_{\mathbb {H}^n} H^{-1}} when V ? Bq1{V \in B_{{q}_{1}}} for 1 < p ￡ \fracq12{1 < p \leq \frac{q_{1}}{2}} are obtained.      11. On the intersection of a Hermitian curve with a conic      Giorgio Donati  Nicola Durante 《Designs, Codes and Cryptography》2010,57(3):347-360 Let ${\mathcal{H}}${\mathcal{H}} be a Hermitian curve and let Γ be a conic of PG(2, q 2). In this paper we determine the possible intersection configurations between Γ and H{\mathcal{H}} under the hypotheses that Γ and H{\mathcal{H}} either share two points with the same tangent lines or contain a common Baer subconic. Moreover, the intersection configurations between a degenerate Hermitian curve and a conic sharing a Baer subconic are also determined.      12. A fast and simple algorithm for the computation of Legendre coefficients      Arieh Iserles 《Numerische Mathematik》2011,117(3):529-553 We present an O(N log N){\mathcal{O}({N\,{\rm log}\,N})} algorithm for the calculation of the first N coefficients in an expansion of an analytic function in Legendre polynomials. In essence, the algorithm consists of an integration of a suitably weighted function along an ellipse, a task which can be accomplished with Fast Fourier Transform, followed by some post-processing. The mathematical underpinning of this algorithm is an old formula that expresses expansion coefficients [^(f)]m{\hat{f}_m} as infinite linear combinations of derivatives. We evaluate the latter with the Cauchy theorem, thereby expressing each [^(f)]m{\hat{f}_m} as a scaled integral of f(z)jm(z)/zm+1{f(z)\varphi_m(z)/z^{m+1}} along an appropriate contour, where jm{\varphi_m} is a slowly converging hypergeometric function. Next, we transform jm{\varphi_m} into another hypergeometric function which converges rapidly. Once we replace the latter function by its truncated Taylor expansion and choose an appropriate elliptic contour, we obtain an expression for the [^(f)]m{\hat{f}_m}s which is amenable to rapid computation.      13. Hypersurfaces in the Lorentz-Minkowski space satisfying Lkψ?=?Aψ?+?b      Pascual Lucas  H. Fabián Ramírez-Ospina 《Geometriae Dedicata》2011,153(1):151-175 We study hypersurfaces in the Lorentz-Minkowski space \mathbbLn+1{\mathbb{L}^{n+1}} whose position vector ψ satisfies the condition L k ψ = Aψ + b, where L k is the linearized operator of the (k + 1)th mean curvature of the hypersurface for a fixed k = 0, . . . , n − 1, A ? \mathbbR(n+1)×(n+1){A\in\mathbb{R}^{(n+1)\times(n+1)}} is a constant matrix and b ? \mathbbLn+1{b\in\mathbb{L}^{n+1}} is a constant vector. For every k, we prove that the only hypersurfaces satisfying that condition are hypersurfaces with zero (k + 1)th mean curvature, open pieces of totally umbilical hypersurfaces \mathbbSn1(r){\mathbb{S}^n_1(r)} or \mathbbHn(-r){\mathbb{H}^n(-r)}, and open pieces of generalized cylinders \mathbbSm1(r)×\mathbbRn-m{\mathbb{S}^m_1(r)\times\mathbb{R}^{n-m}}, \mathbbHm(-r)×\mathbbRn-m{\mathbb{H}^m(-r)\times\mathbb{R}^{n-m}}, with k + 1 ≤ m ≤ n − 1, or \mathbbLm×\mathbbSn-m(r){\mathbb{L}^m\times\mathbb{S}^{n-m}(r)}, with k + 1 ≤ n − m ≤ n − 1. This completely extends to the Lorentz-Minkowski space a previous classification for hypersurfaces in \mathbbRn+1{\mathbb{R}^{n+1}} given by Alías and Gürbüz (Geom. Dedicata 121:113–127, 2006).      14. Hyperflock determining line sets and totally regular parallelisms of PG (3, \mathbbR){(3,\,{\mathbb{R}})}      Dieter Betten  Rolf Riesinger 《Monatshefte für Mathematik》2010,81(3):43-58 By a totally regular parallelism of the real projective 3-space P3:=PG(3, \mathbb R){\Pi_3:={{\rm PG}}(3, \mathbb {R})} we mean a family T of regular spreads such that each line of Π 3 is contained in exactly one spread of T. For the investigation of totally regular parallelisms the authors mainly employ Klein’s correspondence λ of line geometry and the polarity π 5 associated with the Klein quadric H 5 (for details see Chaps. 1 and 3). The λ-image of a totally regular parallelism T is a hyperflock of H 5, i.e., a family H of elliptic subquadrics of H 5 such that each point of H 5 is on exactly one subquadric of H. Moreover, {p5(span  l(X))|X ? T}=:HT{\{\pi_5({{\rm span}} \,\lambda(\mathcal {X}))\vert\mathcal {X}\in\bf{T}\}=:\mathcal {H}_{\bf{T}}} is a hyperflock determining line set, i.e., a set Z{\mathcal {Z}} of 0-secants of H 5 such that each tangential hyperplane of H 5 contains exactly one line of Z{\mathcal {Z}} . We say that dim(span HT)=:dT{{{\rm dim}}({{\rm span}}\,\mathcal {H}_{\bf{T}})=:d_{\bf{T}}} is the dimension of T and that T is a d T - parallelism. Clifford parallelisms and 2-parallelisms coincide. The examples of non-Clifford parallelisms exhibited in Betten and Riesinger [Result Math 47:226–241, 2004; Adv Geom 8:11–32, 2008; J Geom (to appear)] are totally regular and of dimension 3. If G{\mathcal{G}} is a hyperflock determining line set, then {l-1 (p5(X) ?H5) | X ? G}{\{\lambda^{-1}\,{\rm (}\pi_5(X){\,\cap H_5)\,|\, X\in\mathcal{G}\}}} is a totally regular parallelism. In the present paper the authors construct examples of topological (see Definition 1.1) 4- and 5-parallelisms via hyperflock determining line sets.      15. Closed-Range Composition Operators on {\mathbb{A}^2} and the Bloch Space      John R. Akeroyd  Pratibha G. Ghatage  Maria Tjani 《Integral Equations and Operator Theory》2010,68(4):503-517 For any analytic self-map j{\varphi} of {z : |z| <  1} we give four separate conditions, each of which is necessary and sufficient for the composition operator Cj{C_{\varphi}} to be closed-range on the Bloch space B{\mathcal{B}} . Among these conditions are some that appear in the literature, where we provide new proofs. We further show that if Cj{C_{\varphi}} is closed-range on the Bergman space \mathbbA2{\mathbb{A}^2} , then it is closed-range on B{\mathcal{B}} , but that the converse of this fails with a vengeance. Our analysis involves an extension of the Julia-Carathéodory Theorem.      16. Singularity Spectrum of Generic ��-H?lder Regular Functions After Time Subordination      Zolt��n Buczolich  St��phane Seuret 《Journal of Fourier Analysis and Applications》2011,17(3):457-485 A question of Yves Meyer motivated the research concerning “time” subordinations of real functions. Denote by B1a{\mathcal {B}}_{1}^{\alpha} the metric space of functions with Lipschitz constant 1 defined on [0,1], equipped with the complete metric defined via the supremum norm. Given a function g ? B1ag\in {\mathcal {B}}_{1}^{\alpha} one obtains a time subordination of g simply by considering the composite function Z=g○f, where f∈ℳ:={f:f(0)=0, f(1)=1 and f is a continuous nondecreasing function on [0,1]}. The metric space Ea=M×B1a\mathcal {E}^{\alpha}=\mathcal {M}\times {\mathcal {B}}_{1}^{\alpha} equipped with the product supremum metric is a complete metric space. In this paper for all α∈[0,1) multifractal properties of g○f are investigated for a generic (typical) element (f,g)∈ℰ α . In particular we determine the generic H?lder singularity spectrum of g○f.      17. 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.      18. Sub-Riemannian calculus and monotonicity of the perimeter for graphical strips      D. Danielli  N. Garofalo  D. M. Nhieu 《Mathematische Zeitschrift》2010,265(3):617-637 We consider the class of minimal surfaces given by the graphical strips ${{\mathcal S}}We consider the class of minimal surfaces given by the graphical strips S{{\mathcal S}} in the Heisenberg group \mathbb H1{{\mathbb {H}}^1} and we prove that for points p along the center of \mathbb H1{{\mathbb {H}}^1} the quantity \fracsH(S?B(p,r))rQ-1{\frac{\sigma_H(\mathcal S\cap B(p,r))}{r^{Q-1}}} is monotone increasing. Here, Q is the homogeneous dimension of \mathbb H1{{\mathbb {H}}^1} . We also prove that these minimal surfaces have maximum volume growth at infinity.      19. Comparison of Spaces of Hardy Type for the Ornstein–Uhlenbeck Operator      Andrea Carbonaro  Giancarlo Mauceri  Stefano Meda 《Potential Analysis》2010,33(1):85-105 Denote by γ the Gauss measure on ℝ n and by ${\mathcal{L}}${\mathcal{L}} the Ornstein–Uhlenbeck operator. In this paper we introduce a Hardy space \mathfrakh1g{{\mathfrak{h}}^1}{{\rm \gamma}} of Goldberg type and show that for each u in ℝ ∖ {0} and r > 0 the operator (rI+L)iu(r{\mathcal{I}}+{\mathcal{L}})^{iu} is unbounded from \mathfrakh1g{{\mathfrak{h}}^1}{{\rm \gamma}} to L 1γ. This result is in sharp contrast both with the fact that (rI+L)iu(r{\mathcal{I}}+{\mathcal{L}})^{iu} is bounded from H 1γ to L 1γ, where H 1γ denotes the Hardy type space introduced in Mauceri and Meda (J Funct Anal 252:278–313, 2007), and with the fact that in the Euclidean case (rI-D)iu(r{\mathcal{I}}-\Delta)^{iu} is bounded from the Goldberg space \mathfrakh1\mathbbRn{{\mathfrak{h}}^1}{{\mathbb{R}}^n} to L 1ℝ n . We consider also the case of Riemannian manifolds M with Riemannian measure μ. We prove that, under certain geometric assumptions on M, an operator T{\mathcal{T}}, bounded on L 2 μ, and with a kernel satisfying certain analytic assumptions, is bounded from H 1 μ to L 1 μ if and only if it is bounded from \mathfrakh1m{{\mathfrak{h}}^1}{\mu} to L 1 μ. Here H 1 μ denotes the Hardy space introduced in Carbonaro et al. (Ann Sc Norm Super Pisa, 2009), and \mathfrakh1m{{\mathfrak{h}}^1}{\mu} is defined in Section 4, and is equivalent to a space recently introduced by M. Taylor (J Geom Anal 19(1):137–190, 2009). The case of translation invariant operators on homogeneous trees is also considered.      20. Intertwining the geodesic flow and the Schr?dinger group on hyperbolic surfaces      Nalini Anantharaman  Steve Zelditch 《Mathematische Annalen》2012,353(4):1103-1156 We construct an explicit intertwining operator L{\mathcal L} between the Schr?dinger group eit \frac\triangle2{e^{it \frac\triangle2}} and the geodesic flow on certain Hilbert spaces of symbols on the cotangent bundle T*X Γ of a compact hyperbolic surface X Γ = Γ\D. We also define Γ-invariant eigendistributions of the geodesic flow PSj, k, nj,-nk{PS_{j, k, \nu_j,-\nu_k}} (Patterson-Sullivan distributions) out of pairs of \triangle{\triangle} -eigenfunctions, generalizing the diagonal case j = k treated in Anantharaman and Zelditch (Ann. Henri Poincaré 8(2):361–426, 2007). The operator L{\mathcal L} maps PSj, k, nj,-nk{PS_{j, k, \nu_j,-\nu_k}} to the Wigner distribution WGj,k{W^{\Gamma}_{j,k}} studied in quantum chaos. We define Hilbert spaces HPS{\mathcal H_{PS}} (whose dual is spanned by {PSj, k, nj,-nk{PS_{j, k, \nu_j,-\nu_k}}}), resp. HW{\mathcal H_W} (whose dual is spanned by {WGj,k}{\{W^{\Gamma}_{j,k}\}}), and show that L{\mathcal L} is a unitary isomorphism from HW ? HPS.{\mathcal H_{W} \to \mathcal H_{PS}.}

On the Right (Left) Invertible Completions for Operator Matrices

Let ${\mathcal {H}_{1}}Let H₁{\mathcal {H}_{1}} and H₂{\mathcal {H}_{2}} be separable Hilbert spaces, and let A ? B(H₁), B ? B(H₂){A \in \mathcal {B}(\mathcal {H}_{1}),\, B \in \mathcal {B}(\mathcal {H}_{2})} and C ? B(H₂, H₁){C \in \mathcal {B}(\mathcal {H}_{2},\, \mathcal {H}_{1})} be given operators. A necessary and sufficient condition is given for ${\left(\begin{smallmatrix}A &\enspace C\\ X &\enspace B \end{smallmatrix}\right)}${\left(\begin{smallmatrix}A &\enspace C\\ X &\enspace B \end{smallmatrix}\right)} to be a right (left) invertible operator for some X ? B(H₁, H₂){X \in \mathcal {B}(\mathcal {H}_{1},\, \mathcal {H}_{2})}. Furthermore, some related results are obtained.     

Completely periodic directions and orbit closures of many pseudo-Anosov Teichmueller discs in Q(1,1,1,1)

In this paper, we investigate the closure of a large class of Teichmüller discs in the stratum Q(1, 1, 1, 1){\mathcal{Q}(1, 1, 1, 1)} or equivalently, in a GL⁺₂(\mathbbR){{\rm GL}^+_2(\mathbb{R})} -invariant locus L{\mathcal{L}} of translation surfaces of genus three. We describe a systematic way to prove that the GL⁺₂(\mathbbR){{\rm GL}^+_2(\mathbb{R})} -orbit closure of a translation surface in L{\mathcal{L}} is the whole locus L{\mathcal{L}} . The strategy of the proof is an analysis of completely periodic directions on such a surface and an iterated application of Ratner’s theorem to unipotent subgroups acting on an “adequate” splitting. This analysis applies for example to all Teichmüller discs obtained by the Thurston–Veech’s construction with a trace field of degree three which are moreover “obviously not Veech”. We produce an infinite series of such examples and show moreover that the favourable splitting situation does not arise everywhere on L{\mathcal{L}} , contrary to the situation in genus two. We also study completely periodic directions on translation surfaces in L{\mathcal{L}} . For instance, we prove that completely periodic directions are dense on surfaces obtained by the Thurston–Veech’s construction.     

Some estimates of Schrödinger type operators on the Heisenberg group

In this paper, we consider the Schrödinger type operator ${H = (-\Delta _{\mathbb {H}}^n)^2 +V ^{2}}In this paper, we consider the Schr?dinger type operator H = (-D_{\mathbb H}ⁿ)² +V ²{H = (-\Delta _{\mathbb {H}}^n)^2 +V ^{2}}, where the nonnegative potential V belongs to the reverse H?lder class B_q1 for q₁ 3 \frac Q 2,Q 3 6{B_{{q}_{1}}\, {\rm for}\, q_{1}\geq {\frac {Q}{ 2}},Q \geq 6}, and D_{\mathbb Hⁿ}{\Delta_{\mathbb {H}^n}} is the sublaplacian on the Heisenberg group \mathbb Hⁿ{\mathbb {H}^n}. An L ^p estimate and a weak type L ¹ estimate for the operator ?⁴_{\mathbb Hⁿ} H^-1{\nabla^4_{\mathbb {H}^n} H^{-1}} when V ? B_q1{V \in B_{{q}_{1}}} for 1 < p ￡ \fracq₁2{1 < p \leq \frac{q_{1}}{2}} are obtained.     

On the intersection of a Hermitian curve with a conic

Let ${\mathcal{H}}${\mathcal{H}} be a Hermitian curve and let Γ be a conic of PG(2, q ²). In this paper we determine the possible intersection configurations between Γ and H{\mathcal{H}} under the hypotheses that Γ and H{\mathcal{H}} either share two points with the same tangent lines or contain a common Baer subconic. Moreover, the intersection configurations between a degenerate Hermitian curve and a conic sharing a Baer subconic are also determined.     

A fast and simple algorithm for the computation of Legendre coefficients

We present an O(N log N){\mathcal{O}({N\,{\rm log}\,N})} algorithm for the calculation of the first N coefficients in an expansion of an analytic function in Legendre polynomials. In essence, the algorithm consists of an integration of a suitably weighted function along an ellipse, a task which can be accomplished with Fast Fourier Transform, followed by some post-processing. The mathematical underpinning of this algorithm is an old formula that expresses expansion coefficients [^(f)]_m{\hat{f}_m} as infinite linear combinations of derivatives. We evaluate the latter with the Cauchy theorem, thereby expressing each [^(f)]_m{\hat{f}_m} as a scaled integral of f(z)j_m(z)/z^m+1{f(z)\varphi_m(z)/z^{m+1}} along an appropriate contour, where j_m{\varphi_m} is a slowly converging hypergeometric function. Next, we transform j_m{\varphi_m} into another hypergeometric function which converges rapidly. Once we replace the latter function by its truncated Taylor expansion and choose an appropriate elliptic contour, we obtain an expression for the [^(f)]_m{\hat{f}_m}s which is amenable to rapid computation.     

Hypersurfaces in the Lorentz-Minkowski space satisfying Lkψ?=?Aψ?+?b

We study hypersurfaces in the Lorentz-Minkowski space \mathbbLⁿ⁺¹{\mathbb{L}^{n+1}} whose position vector ψ satisfies the condition L _k ψ = Aψ + b, where L _k is the linearized operator of the (k + 1)th mean curvature of the hypersurface for a fixed k = 0, . . . , n − 1, A ? \mathbbR^(n+1)×(n+1){A\in\mathbb{R}^{(n+1)\times(n+1)}} is a constant matrix and b ? \mathbbLⁿ⁺¹{b\in\mathbb{L}^{n+1}} is a constant vector. For every k, we prove that the only hypersurfaces satisfying that condition are hypersurfaces with zero (k + 1)th mean curvature, open pieces of totally umbilical hypersurfaces \mathbbSⁿ₁(r){\mathbb{S}^n_1(r)} or \mathbbHⁿ(-r){\mathbb{H}^n(-r)}, and open pieces of generalized cylinders \mathbbS^m₁(r)×\mathbbR^n-m{\mathbb{S}^m_1(r)\times\mathbb{R}^{n-m}}, \mathbbH^m(-r)×\mathbbR^n-m{\mathbb{H}^m(-r)\times\mathbb{R}^{n-m}}, with k + 1 ≤ m ≤ n − 1, or \mathbbL^m×\mathbbS^n-m(r){\mathbb{L}^m\times\mathbb{S}^{n-m}(r)}, with k + 1 ≤ n − m ≤ n − 1. This completely extends to the Lorentz-Minkowski space a previous classification for hypersurfaces in \mathbbRⁿ⁺¹{\mathbb{R}^{n+1}} given by Alías and Gürbüz (Geom. Dedicata 121:113–127, 2006).     

Hyperflock determining line sets and totally regular parallelisms of PG (3, \mathbbR){(3,\,{\mathbb{R}})}

By a totally regular parallelism of the real projective 3-space P₃:=PG(3, \mathbb R){\Pi_3:={{\rm PG}}(3, \mathbb {R})} we mean a family T of regular spreads such that each line of Π ₃ is contained in exactly one spread of T. For the investigation of totally regular parallelisms the authors mainly employ Klein’s correspondence λ of line geometry and the polarity π ₅ associated with the Klein quadric H ₅ (for details see Chaps. 1 and 3). The λ-image of a totally regular parallelism T is a hyperflock of H ₅, i.e., a family H of elliptic subquadrics of H ₅ such that each point of H ₅ is on exactly one subquadric of H. Moreover, {p₅(span  l(X))|X ? T}=:H_T{\{\pi_5({{\rm span}} \,\lambda(\mathcal {X}))\vert\mathcal {X}\in\bf{T}\}=:\mathcal {H}_{\bf{T}}} is a hyperflock determining line set, i.e., a set Z{\mathcal {Z}} of 0-secants of H ₅ such that each tangential hyperplane of H ₅ contains exactly one line of Z{\mathcal {Z}} . We say that dim(span H_T)=:d_T{{{\rm dim}}({{\rm span}}\,\mathcal {H}_{\bf{T}})=:d_{\bf{T}}} is the dimension of T and that T is a d _T - parallelism. Clifford parallelisms and 2-parallelisms coincide. The examples of non-Clifford parallelisms exhibited in Betten and Riesinger [Result Math 47:226–241, 2004; Adv Geom 8:11–32, 2008; J Geom (to appear)] are totally regular and of dimension 3. If G{\mathcal{G}} is a hyperflock determining line set, then {l^-1 (p₅(X) ?H₅) | X ? G}{\{\lambda^{-1}\,{\rm (}\pi_5(X){\,\cap H_5)\,|\, X\in\mathcal{G}\}}} is a totally regular parallelism. In the present paper the authors construct examples of topological (see Definition 1.1) 4- and 5-parallelisms via hyperflock determining line sets.     

Closed-Range Composition Operators on {\mathbb{A}^2} and the Bloch Space

For any analytic self-map j{\varphi} of {z : |z| <  1} we give four separate conditions, each of which is necessary and sufficient for the composition operator C_j{C_{\varphi}} to be closed-range on the Bloch space B{\mathcal{B}} . Among these conditions are some that appear in the literature, where we provide new proofs. We further show that if C_j{C_{\varphi}} is closed-range on the Bergman space \mathbbA²{\mathbb{A}^2} , then it is closed-range on B{\mathcal{B}} , but that the converse of this fails with a vengeance. Our analysis involves an extension of the Julia-Carathéodory Theorem.     

Singularity Spectrum of Generic ��-H?lder Regular Functions After Time Subordination

A question of Yves Meyer motivated the research concerning “time” subordinations of real functions. Denote by B₁^a{\mathcal {B}}_{1}^{\alpha} the metric space of functions with Lipschitz constant 1 defined on [0,1], equipped with the complete metric defined via the supremum norm. Given a function g ? B₁^ag\in {\mathcal {B}}_{1}^{\alpha} one obtains a time subordination of g simply by considering the composite function Z=g○f, where f∈ℳ:={f:f(0)=0, f(1)=1 and f is a continuous nondecreasing function on [0,1]}. The metric space E^a=M×B₁^a\mathcal {E}^{\alpha}=\mathcal {M}\times {\mathcal {B}}_{1}^{\alpha} equipped with the product supremum metric is a complete metric space. In this paper for all α∈[0,1) multifractal properties of g○f are investigated for a generic (typical) element (f,g)∈ℰ ^α . In particular we determine the generic H?lder singularity spectrum of g○f.     

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.     

Sub-Riemannian calculus and monotonicity of the perimeter for graphical strips

We consider the class of minimal surfaces given by the graphical strips ${{\mathcal S}}We consider the class of minimal surfaces given by the graphical strips S{{\mathcal S}} in the Heisenberg group \mathbb H¹{{\mathbb {H}}^1} and we prove that for points p along the center of \mathbb H¹{{\mathbb {H}}^1} the quantity \fracs_H(S?B(p,r))r^Q-1{\frac{\sigma_H(\mathcal S\cap B(p,r))}{r^{Q-1}}} is monotone increasing. Here, Q is the homogeneous dimension of \mathbb H¹{{\mathbb {H}}^1} . We also prove that these minimal surfaces have maximum volume growth at infinity.     

Comparison of Spaces of Hardy Type for the Ornstein–Uhlenbeck Operator

Denote by γ the Gauss measure on ℝ ⁿ and by ${\mathcal{L}}${\mathcal{L}} the Ornstein–Uhlenbeck operator. In this paper we introduce a Hardy space \mathfrakh¹g{{\mathfrak{h}}^1}{{\rm \gamma}} of Goldberg type and show that for each u in ℝ ∖ {0} and r > 0 the operator (rI+L)^iu(r{\mathcal{I}}+{\mathcal{L}})^{iu} is unbounded from \mathfrakh¹g{{\mathfrak{h}}^1}{{\rm \gamma}} to L ¹γ. This result is in sharp contrast both with the fact that (rI+L)^iu(r{\mathcal{I}}+{\mathcal{L}})^{iu} is bounded from H ¹γ to L ¹γ, where H ¹γ denotes the Hardy type space introduced in Mauceri and Meda (J Funct Anal 252:278–313, 2007), and with the fact that in the Euclidean case (rI-D)^iu(r{\mathcal{I}}-\Delta)^{iu} is bounded from the Goldberg space \mathfrakh¹\mathbbRⁿ{{\mathfrak{h}}^1}{{\mathbb{R}}^n} to L ¹ℝ ⁿ . We consider also the case of Riemannian manifolds M with Riemannian measure μ. We prove that, under certain geometric assumptions on M, an operator T{\mathcal{T}}, bounded on L ² μ, and with a kernel satisfying certain analytic assumptions, is bounded from H ¹ μ to L ¹ μ if and only if it is bounded from \mathfrakh¹m{{\mathfrak{h}}^1}{\mu} to L ¹ μ. Here H ¹ μ denotes the Hardy space introduced in Carbonaro et al. (Ann Sc Norm Super Pisa, 2009), and \mathfrakh¹m{{\mathfrak{h}}^1}{\mu} is defined in Section 4, and is equivalent to a space recently introduced by M. Taylor (J Geom Anal 19(1):137–190, 2009). The case of translation invariant operators on homogeneous trees is also considered.     

Intertwining the geodesic flow and the Schr?dinger group on hyperbolic surfaces

We construct an explicit intertwining operator L{\mathcal L} between the Schr?dinger group e^{it \frac\triangle2}{e^{it \frac\triangle2}} and the geodesic flow on certain Hilbert spaces of symbols on the cotangent bundle T*X _Γ of a compact hyperbolic surface X _Γ = Γ\D. We also define Γ-invariant eigendistributions of the geodesic flow PS_{j, k, nj,-nk}{PS_{j, k, \nu_j,-\nu_k}} (Patterson-Sullivan distributions) out of pairs of \triangle{\triangle} -eigenfunctions, generalizing the diagonal case j = k treated in Anantharaman and Zelditch (Ann. Henri Poincaré 8(2):361–426, 2007). The operator L{\mathcal L} maps PS_{j, k, nj,-nk}{PS_{j, k, \nu_j,-\nu_k}} to the Wigner distribution W^G_j,k{W^{\Gamma}_{j,k}} studied in quantum chaos. We define Hilbert spaces H_PS{\mathcal H_{PS}} (whose dual is spanned by {PS_{j, k, nj,-nk}{PS_{j, k, \nu_j,-\nu_k}}}), resp. H_W{\mathcal H_W} (whose dual is spanned by {W^G_j,k}{\{W^{\Gamma}_{j,k}\}}), and show that L{\mathcal L} is a unitary isomorphism from H_W ? H_PS.{\mathcal H_{W} \to \mathcal H_{PS}.}