Goodness in the enumeration and singleton degrees

We investigate and extend the notion of a good approximation with respect to the enumeration ${({\mathcal D}_{\rm e})}We investigate and extend the notion of a good approximation with respect to the enumeration (D_e){({\mathcal D}_{\rm e})} and singleton (D_s){({\mathcal D}_{\rm s})} degrees. We refine two results by Griffith, on the inversion of the jump of sets with a good approximation, and we consider the relation between the double jump and index sets, in the context of enumeration reducibility. We study partial order embeddings i_s{\iota_s} and [^(i)]_s{\hat{\iota}_s} of, respectively, D_e{{\mathcal D}_{\rm e}} and D_T{{\mathcal D}_{\rm T}} (the Turing degrees) into D_s{{\mathcal D}_{\rm s}} , and we show that the image of D_T{{\mathcal D}_{\rm T}} under [^(i)]_s{\hat{\iota}_s} is precisely the class of retraceable singleton degrees. We define the notion of a good enumeration, or singleton, degree to be the property of containing the set of good stages of some good approximation, and we show that i_s{\iota_s} preserves the latter, as also other naturally arising properties such as that of totality or of being G⁰_n{\Gamma^0_n} , for G ? {S,P,D}{\Gamma \in \{\Sigma,\Pi,\Delta\}} and n > 0. We prove that the good enumeration and singleton degrees are immune and that the good S⁰₂{\Sigma^0_2} singleton degrees are hyperimmune. Finally we show that, for singleton degrees a _s < b _s such that b _s is good, any countable partial order can be embedded in the interval (a _s, b _s).     

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.     

Solutions to Polynomial Generalized Bers–Vekua Equations in Clifford Analysis

In this paper, we mainly study polynomial generalized Vekua-type equation _boxclose)w=0{p(\mathcal{D})w=0} and polynomial generalized Bers–Vekua equation p(D)w=0{p(\mathcal{\underline{D}})w=0} defined in W ì \mathbbRⁿ⁺¹{\Omega\subset\mathbb{R}^{n+1}} where D{\mathcal{D}} and D{\mathcal{\underline{D}}} mean generalized Vekua-type operator and generalized Bers–Vekua operator, respectively. Using Clifford algebra, we obtain the Fischer-type decomposition theorems for the solutions to these equations including (D-l)^kw=0,(D-l)^kw=0(k ? \mathbbN){\left(\mathcal{D}-\lambda\right)^{k}w=0,\left(\mathcal {\underline{D}}-\lambda\right)^{k}w=0\left(k\in\mathbb{N}\right)} with complex parameter λ as special cases, which derive the Almansi-type decomposition theorems for iterated generalized Bers–Vekua equation and polynomial generalized Cauchy–Riemann equation defined in W ì \mathbbRⁿ⁺¹{\Omega\subset\mathbb{R}^{n+1}}. Making use of the decomposition theorems we give the solutions to polynomial generalized Bers–Vekua equation defined in W ì \mathbbRⁿ⁺¹{\Omega\subset\mathbb{R}^{n+1}} under some conditions. Furthermore we discuss inhomogeneous polynomial generalized Bers–Vekua equation p(D)w=v{p(\mathcal{\underline{D}})w=v} defined in W ì \mathbbRⁿ⁺¹{\Omega\subset\mathbb{R}^{n+1}}, and develop the structure of the solutions to inhomogeneous polynomial generalized Bers–Vekua equation p(D)w=v{p(\mathcal{\underline{D}})w=v} defined in W ì \mathbbRⁿ⁺¹{\Omega\subset\mathbb{R}^{n+1}}.     

On the mean lattice point discrepancy of a convex disc

For a convex planar domain D \cal {D} , with smooth boundary of finite nonzero curvature, we consider the number of lattice points in the linearly dilated domain t D t \cal {D} . In particular the lattice point discrepancy P_D(t) P_{\cal {D}}(t) (number of lattice points minus area), is investigated in mean-square over short intervals. We establish an asymptotic formula for¶¶ ò_{T - L}^{T + L}(P_D(t))²dt \int\limits_{T - \Lambda}^{T + \Lambda}(P_{\cal {D}}(t))^2\textrm{d}t ,¶¶ for any L = L(T) \Lambda = \Lambda(T) growing faster than logT.     

Inverse Scattering at Fixed Energy in de Sitter�CReissner�CNordstr?m Black Holes

In this paper, we consider massless Dirac fields propagating in the outer region of de Sitter–Reissner–Nordstr?m black holes. We show that the metric of such black holes is uniquely determined by the partial knowledge of the corresponding scattering matrix S(λ) at a fixed energy λ ≠ 0. More precisely, we consider the partial wave scattering matrices S(λ, n) (here λ ≠ 0 is the fixed energy and n ? \mathbbN^*{n \in \mathbb{N}^{*}} denotes the angular momentum) defined as the restrictions of the full scattering matrix on a well chosen basis of spin-weighted spherical harmonics. We prove that the mass M, the square of the charge Q ² and the cosmological constant Λ of a dS-RN black hole (and thus its metric) can be uniquely determined from the knowledge of either the transmission coefficients T(λ, n), or the reflexion coefficients R(λ, n) (resp. L(λ, n)), for all n ? L{n \in {\mathcal{L}}} where L{\mathcal{L}} is a subset of \mathbbN^*{\mathbb{N}^{*}} that satisfies the Müntz condition ?_{n ? L}\frac1n = +￥{\sum_{n \in{\mathcal{L}}}\frac{1}{n} = +\infty} . Our main tool consists in complexifying the angular momentum n and in studying the analytic properties of the “unphysical” scattering matrix S(λ, z) in the complex variable z. We show, in particular, that the quantities \frac1T(l,z){\frac{1}{T(\lambda,z)}}, \fracR(l,z)T(l,z){\frac{R(\lambda,z)}{T(\lambda,z)}} and \fracL(l,z)T(l,z){\frac{L(\lambda,z)}{T(\lambda,z)}} belong to the Nevanlinna class in the region ${\{z \in \mathbb{C}, Re(z) > 0 \}}${\{z \in \mathbb{C}, Re(z) > 0 \}} for which we have analytic uniqueness theorems at our disposal. Eventually, as a by-product of our method, we obtain reconstruction formulae for the surface gravities of the event and cosmological horizons of the black hole which have an important physical meaning in the Hawking effect.     

Morse theory for a fourth order elliptic equation with exponential nonlinearity

Given a Hilbert space (H,á·,·?){(\mathcal H,\langle\cdot,\cdot\rangle)}, and interval L ì (0,+￥){\Lambda\subset(0,+\infty)} and a map K ? C²(H,\mathbb R){K\in C^2(\mathcal H,\mathbb R)} whose gradient is a compact mapping, we consider the family of functionals of the type:

Weakly Singular and Microscopically Hypersingular Load Perturbation for a Nonlinear Traction Boundary Value Problem: a Functional Analytic Approach

Let Ω ⁱ and Ω ^o be two bounded open subsets of \mathbbRⁿ{{\mathbb{R}}^{n}} containing 0. Let G ⁱ be a (nonlinear) map from ?Wⁱ×\mathbbRⁿ{\partial\Omega^{i}\times {\mathbb{R}}^{n}} to \mathbbRⁿ{{\mathbb{R}}^{n}} . Let a ^o be a map from ∂Ω ^o to the set M_n(\mathbbR){M_{n}({\mathbb{R}})} of n × n matrices with real entries. Let g be a function from ∂Ω ^o to \mathbbRⁿ{{\mathbb{R}}^{n}} . Let γ be a positive valued function defined on a right neighborhood of 0 in the real line. Let T be a map from ]1-(2/n),+￥[×M_n(\mathbbR){]1-(2/n),+\infty[\times M_{n}({\mathbb{R}})} to M_n(\mathbbR){M_{n}({\mathbb{R}})} . Then we consider the problem

A Spectral Gap Property for Random Walks Under Unitary Representations

Let G be a locally compact group and μ a probability measure on G, which is not assumed to be absolutely continuous with respect to Haar measure. Given a unitary representation $\pi ,\mathcal{H}Let G be a locally compact group and μ a probability measure on G, which is not assumed to be absolutely continuous with respect to Haar measure. Given a unitary representation p,H\pi ,\mathcal{H} of G, we study spectral properties of the operator π(μ) acting on H\mathcal{H} Assume that μ is adapted and that the trivial representation 1 _G is not weakly contained in the tensor product p?[`(p)]\pi\otimes \overline\pi We show that π(μ) has a spectral gap, that is, for the spectral radius r_spec(p(m))r_{\rm spec}(\pi(\mu)) of π(μ), we have r_spec(p(m)) < 1.r_{\rm spec}(\pi(\mu))< 1. This provides a common generalization of several previously known results. Another consequence is that, if G has Kazhdan’s Property (T), then r_spec(p(m)) < 1r_{\rm spec}(\pi(\mu))< 1 for every unitary representation π of G without finite dimensional subrepresentations. Moreover, we give new examples of so-called identity excluding groups.     

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.     

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.     

Differential operators and BV structures in noncommutative geometry

We introduce a new formalism of differential operators for a general associative algebra A. It replaces Grothendieck’s notion of differential operators on a commutative algebra in such a way that derivations of the commutative algebra are replaced by \mathbbDer(A){\mathbb{D}{\rm er}(A)}, the bimodule of double derivations. Our differential operators act not on the algebra A itself but rather on F(A){\mathcal{F}(A)}, a certain ‘Fock space’ associated to any noncommutative algebra A in a functorial way. The corresponding algebra D(F(A)){\mathcal{D}(\mathcal{F}(A))} of differential operators is filtered and gr D(F(A)){\mathcal{D}(\mathcal{F}(A))}, the associated graded algebra, is commutative in some ‘wheeled’ sense. The resulting ‘wheeled’ Poisson structure on gr D(F(A)){\mathcal{D}(\mathcal{F}(A))} is closely related to the double Poisson structure on T_A \mathbbDer(A){T_{A} \mathbb{D}{\rm er}(A)} introduced by Van den Bergh. Specifically, we prove that gr D(F(A)) @ F(T_A(\mathbbDer(A)),{\mathcal{D}(\mathcal{F}(A))\cong\mathcal{F}(T_{A}(\mathbb{D}{\rm er}(A)),} provided the algebra A is smooth. Our construction is based on replacing vector spaces by the new symmetric monoidal category of wheelspaces. The Fock space F(A){\mathcal{F}(A)} is a commutative algebra in this category (a “commutative wheelgebra”) which is a structure closely related to the notion of wheeled PROP. Similarly, we have Lie, Poisson, etc., wheelgebras. In this language, D(F(A)){\mathcal{D}(\mathcal{F}(A))} becomes the universal enveloping wheelgebra of a Lie wheelgebroid of double derivations. In the second part of the paper, we show, extending a classical construction of Koszul to the noncommutative setting, that any Ricci-flat, torsion-free bimodule connection on \mathbbDer(A){\mathbb{D}{\rm er}(A)} gives rise to a second-order (wheeled) differential operator, a noncommutative analogue of the Batalin-Vilkovisky (BV) operator, that makes F(T_A(\mathbbDer(A))){\mathcal{F}(T_{A}(\mathbb{D}{\rm er}(A)))} a BV wheelgebra. In the final section, we explain how the wheeled differential operators D(F(A)){\mathcal{D}(\mathcal{F}(A))} produce ordinary differential operators on the varieties of n-dimensional representations of A for all n ≥ 1.     

The Ground State and the Long-Time Evolution in the CMC Einstein Flow

Let (g, K)(k) be a CMC (vacuum) Einstein flow over a compact three-manifold Σ with non-positive Yamabe invariant (Y(Σ)). As noted by Fischer and Moncrief, the reduced volume ${\mathcal{V}(k)=\left(\frac{-k}{3}\right)^{3}{\rm Vol}_{g(k)}(\Sigma)}Let (g, K)(k) be a CMC (vacuum) Einstein flow over a compact three-manifold Σ with non-positive Yamabe invariant (Y(Σ)). As noted by Fischer and Moncrief, the reduced volume V(k)=(\frac-k3)³Vol_g(k)(S){\mathcal{V}(k)=\left(\frac{-k}{3}\right)^{3}{\rm Vol}_{g(k)}(\Sigma)} is monotonically decreasing in the expanding direction and bounded below by V_inf=(\frac-16Y(S))^\frac32{\mathcal{V}_{\rm \inf}=\left(\frac{-1}{6}Y(\Sigma)\right)^{\frac{3}{2}}}. Inspired by this fact we define the ground state of the manifold Σ as “the limit” of any sequence of CMC states {(g _i , K _i )} satisfying: (i) k _i  = −3, (ii) V_iˉ V_inf{\mathcal{V}_{i}\downarrow \mathcal{V}_{\rm inf}}, (iii) Q ₀((g _i , K _i )) ≤ Λ, where Q ₀ is the Bel–Robinson energy and Λ is any arbitrary positive constant. We prove that (as a geometric state) the ground state is equivalent to the Thurston geometrization of Σ. Ground states classify naturally into three types. We provide examples for each class, including a new ground state (the Double Cusp) that we analyze in detail. Finally, consider a long time and cosmologically normalized flow ([(g)\tilde],[(K)\tilde])(s)=((\frac-k3)²g,(\frac-k3)K){(\tilde{g},\tilde{K})(\sigma)=\left(\left(\frac{-k}{3}\right)^{2}g,\left(\frac{-k}{3}\right)K\right)}, where s = -ln(-k) ? [a,￥){\sigma=-\ln (-k)\in [a,\infty)}. We prove that if [(E₁)\tilde]=E₁(([(g)\tilde],[(K)\tilde])) ￡ L{\tilde{\mathcal{E}_{1}}=\mathcal{E}_{1}((\tilde{g},\tilde{K}))\leq \Lambda} (where E₁=Q₀+Q₁{\mathcal{E}_{1}=Q_{0}+Q_{1}}, is the sum of the zero and first order Bel–Robinson energies) the flow ([(g)\tilde],[(K)\tilde])(s){(\tilde{g},\tilde{K})(\sigma)} persistently geometrizes the three-manifold Σ and the geometrization is the ground state if Vˉ V_inf{\mathcal{V}\downarrow \mathcal{V}_{\rm inf}}.     

Uniformization of {\mathcal {G}}-bundles

We show some of the conjectures of Pappas and Rapoport concerning the moduli stack Bun_G{{\rm Bun}_\mathcal {G}} of G{\mathcal {G}}-torsors on a curve C, where G{\mathcal {G}} is a semisimple Bruhat-Tits group scheme on C. In particular we prove the analog of the uniformization theorem of Drinfeld-Simpson in this setting. Furthermore we apply this to compute the connected components of these moduli stacks and to calculate the Picard group of Bun_G{{\rm Bun}_\mathcal {G}} in case G{\mathcal {G}} is simply connected.     

Volume preserving subgroups of $${{\mathcal A}}$$ and $${{\mathcal K}}$$ and singularities in unimodular geometry

For a germ of a smooth map f from \mathbb Kⁿ{{\mathbb K}^n} to \mathbb K^p{{\mathbb K}^p} and a subgroup G_Wq{{{G}_{\Omega _q}}} of any of the Mather groups G for which the source or target diffeomorphisms preserve some given volume form Ω _q in \mathbb K^q{{\mathbb K}^q} (q = n or p) we study the G_Wq{{{G}_{\Omega _q}}} -moduli space of f that parameterizes the G_Wq{{{G}_{\Omega _q}}} -orbits inside the G-orbit of f. We find, for example, that this moduli space vanishes for G_Wq = A_Wp{{{G}_{\Omega _q}} ={{\mathcal A}_{\Omega _p}}} and A{{\mathcal A}}-stable maps f and for G_Wq = K_Wn{{{G}_{\Omega _q}} ={{\mathcal K}_{\Omega _n}}} and K{{\mathcal K}}-simple maps f. On the other hand, there are A{{\mathcal A}}-stable maps f with infinite-dimensional A_Wn{{{\mathcal A}_{\Omega _n}}} -moduli space.     

The modal logic of continuous functions on the rational numbers

Let L^\square°{{\mathcal L}^{\square\circ}} be a propositional language with standard Boolean connectives plus two modalities: an S4-ish topological modality □ and a temporal modality ◦, understood as ‘next’. We extend the topological semantic for S4 to a semantics for the language L^\square°{{\mathcal L}^{\square\circ}} by interpreting L^\square°{{\mathcal L}^{\square\circ}} in dynamic topological systems, i.e., ordered pairs 〈X, f〉, where X is a topological space and f is a continuous function on X. Artemov, Davoren and Nerode have axiomatized a logic S4C, and have shown that S4C is sound and complete for this semantics. S4C is also complete for continuous functions on Cantor space (Mints and Zhang, Kremer), and on the real plane (Fernández Duque); but incomplete for continuous functions on the real line (Kremer and Mints, Slavnov). Here we show that S4C is complete for continuous functions on the rational numbers.     

Composition Followed by Differentiation Between H ∞ and Zygmund Spaces

Let j{\varphi} be an analytic self-map of the unit disk \mathbbD{\mathbb{D}}, H(\mathbbD){H(\mathbb{D})} the space of analytic functions on \mathbbD{\mathbb{D}} and g ? H(\mathbbD){g \in H(\mathbb{D})}. The boundedness and compactness of the operator DC_j : H^￥ ? Z{DC_\varphi : H^\infty \rightarrow { \mathcal Z}} are investigated in this paper.     

Maximum IPP Codes of Length 3

Let Q be an alphabet with q elements. For any code C over Q of length n and for any two codewords a = (a ₁, . . . , a _n ) and b = (b ₁, . . . , b _n ) in C, let ${D({\bf a, b}) = \{(x_1, . . . , x_n) \in {Q^n} : {x_i} \in \{a_i, b_i\}\,{\rm for}\,1 \leq i \leq n\}}Let Q be an alphabet with q elements. For any code C over Q of length n and for any two codewords a = (a ₁, . . . , a _n ) and b = (b ₁, . . . , b _n ) in C, let D(a, b) = {(x₁, . . . , x_n) ? Qⁿ : x_i ? {a_i, b_i} for 1 ￡ i ￡ n}{D({\bf a, b}) = \{(x_1, . . . , x_n) \in {Q^n} : {x_i} \in \{a_i, b_i\}\,{\rm for}\,1 \leq i \leq n\}}. Let C^* = è_{a, b ? C}D(a, b){C^* = {{\bigcup}_{\rm {a,\,b}\in{C}}}D({\bf a, b})}. The code C is said to have the identifiable parent property (IPP) if, for any x ? C^*{{\rm {\bf x}} \in C^*}, ?_{x ? D(a, b)}{a, b} 1 ?{{\bigcap}_{{\rm x}{\in}D({\rm a,\,b})}\{{\bf a, b}\}\neq \emptyset} . Codes with the IPP were introduced by Hollmann et al [J. Combin. Theory Ser. A 82 (1998) 21–133]. Let F(n, q) = max{|C|: C is a q-ary code of length n with the IPP}.T? and Safavi-Naini [SIAM J. Discrete Math. 17 (2004) 548–570] showed that 3q + 6 - 6 é?{q+1}ù ￡ F(3, q) ￡ 3q + 6 - é6 ?{q+1}ù{3q + 6 - 6 \lceil\sqrt{q+1}\rceil \leq F(3, q) \leq 3q + 6 - \lceil 6 \sqrt{q+1}\rceil}, and determined F (3, q) precisely when q ≤ 48 or when q can be expressed as r ² + 2r or r ² + 3r +2 for r ≥ 2. In this paper, we establish a precise formula of F(3, q) for q ≥ 24. Moreover, we construct IPP codes of size F(3, q) for q ≥ 24 and show that, for any such code C and any x ? C^*{{\rm {\bf x}} \in C^*}, one can find, in constant time, a ? C{{\rm {\bf a}} \in C} such that if x ? D (c, d){{\rm {\bf x}} \in D ({\bf c, d})} then a ? {c, d}{{\rm {\bf a}} \in \{{\rm {\bf c, d}}\}}.