Triangulating Smooth Submanifolds with Light Scaffolding

We propose an algorithm to sample and mesh a k-submanifold M{\mathcal{M}} of positive reach embedded in \mathbbR^d{\mathbb{R}^{d}} . The algorithm first constructs a crude sample of M{\mathcal{M}} . It then refines the sample according to a prescribed parameter e{\varepsilon} , and builds a mesh that approximates M{\mathcal{M}} . Differently from most algorithms that have been developed for meshing surfaces of \mathbbR ³{\mathbb{R} ^3} , the refinement phase does not rely on a subdivision of \mathbbR ^d{\mathbb{R} ^d} (such as a grid or a triangulation of the sample points) since the size of such scaffoldings depends exponentially on the ambient dimension d. Instead, we only compute local stars consisting of k-dimensional simplices around each sample point. By refining the sample, we can ensure that all stars become coherent leading to a k-dimensional triangulated manifold [^(M)]{\hat{\mathcal{M}}} . The algorithm uses only simple numerical operations. We show that the size of the sample is O(e^-k){O(\varepsilon ^{-k})} and that [^(M)]{\hat{\mathcal{M}}} is a good triangulation of M{\mathcal{M}} . More specifically, we show that M{\mathcal{M}} and [^(M)]{\hat{\mathcal{M}}} are isotopic, that their Hausdorff distance is O(e²){O(\varepsilon ^{2})} and that the maximum angle between their tangent bundles is O(e){O(\varepsilon )} . The asymptotic complexity of the algorithm is T(e) = O(e^-k2-k){T(\varepsilon) = O(\varepsilon ^{-k^2-k})} (for fixed M, d{\mathcal{M}, d} and k).     

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.     

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}}.     

Averaging of directional derivatives in vertices of nonobtuse regular triangulations

For a shape-regular triangulation ${\mathcal{T}_h}For a shape-regular triangulation _h{\mathcal{T}_h} without obtuse angles of a bounded polygonal domain W ì ?²{\Omega\subset\Re^2} , let L_h{\mathcal L_h} be the space of continuous functions linear on the triangles from T_h{\mathcal{T}_h} and Π _h the interpolation operator from C([`(W)]){C(\overline\Omega)} to L<sub>h</sub>{\mathcal L_h} . This paper is devoted to the following classical problem: Find a second-order approximation of the derivative ?u/?z(a){\partial u/\partial z(a)} in a direction z of a function u ? C<sup>3</sup>([`(W)]){u\in C^3(\overline\Omega)} in a vertex a in the form of a linear combination of the constant directional derivatives ?P_h(u)/?z{\partial \Pi_h(u)/\partial z} on the triangles surrounding a. An effective procedure for such an approximation is presented, its error is proved to be of the size O(h ²), an operator W_h: L_h?L_h×L_h{\mbox{W}_h: \mathcal L_h\longrightarrow\mathcal L_h\times\mathcal L_h} relating a second-order approximation W _h [Π _h (u)] of ?u{\nabla u} to every u ? C³([`(W)]){u\in C^3(\overline\Omega)} is constructed and shown to be a so-called recovery operator. The accuracy of the presented approximation is compared with the accuracies of the local approximations by other known techniques numerically.     

On {\phi}-contractibility of the Lebesgue–Fourier algebra of a locally compact group

For a locally compact group G, we present some characterizations for f{\phi}-contractibility of the Lebesgue–Fourier algebra LA(G){\mathcal{L}A(G)} endowed with convolution or pointwise product.     

When is the Uvarov transformation positive definite?

Let L\cal{L} be a positive definite bilinear functional, then the Uvarov transformation of L\cal{L} is given by  U(p,q) = L(p,q) + m p(a)[`(q)](a<sup>-1</sup>) +[`(m)] p([`(a)]<sup>-1</sup>)\,\mathcal{U}(p,q) = \mathcal{L}(p,q) + m\,p(\alpha)\overline{q}(\alpha^{-1}) + \overline{m}\,p(\overline{\alpha}^{-1}) [`(q)]([`(a)])\overline{q}(\overline{\alpha}) where $|\alpha| > 1, m \in \mathbb{C}$|\alpha| > 1, m \in \mathbb{C}. In this paper we analyze conditions on m for U\cal{U} to be positive definite in the linear space of polynomials of degree less than or equal to n. In particular, we show that m has to lie inside a circle in the complex plane defined by α, n and the moments associated with L\cal{L}. We also give an upper bound for the radius of this circle that depends only on α and n. This and other conditions on m are visualized for some examples.     

Jordan Derivations of Reflexive Algebras

Let ${\mathcal L}Let L{\mathcal L} be a subspace lattice on a Banach space X and suppose that ú{L ? L: L_- < X}=X{\vee\{L\in\mathcal L: L_- < X\}=X} or ${\land\{L_- : L \in \mathcal L, L>(0)\}=(0)}${\land\{L_- : L \in \mathcal L, L>(0)\}=(0)} . Then each Jordan derivation from AlgL{\mathcal L} into B(X) is a derivation. This result can apply to completely distributive subspace lattice algebras, J{\mathcal J} -subspace lattice algebras and reflexive algebras with the non-trivial largest or smallest invariant subspace.     

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.     

Conjugates of Rational Equivariant Holomorphic Maps of Symmetric Domains

Let t: D ?D￠\tau: {\cal D} \rightarrow{\cal D}^\prime be an equivariant holomorphic map of symmetric domains associated to a homomorphism r: \Bbb G ?\Bbb G￠{\bf\rho}: {\Bbb G} \rightarrow{\Bbb G}^\prime of semisimple algebraic groups defined over \Bbb Q{\Bbb Q} . If G ì \Bbb G (\Bbb Q)\Gamma\subset {\Bbb G} ({\Bbb Q}) and G￠ ì \Bbb G￠(\Bbb Q)\Gamma^\prime \subset {\Bbb G}^\prime ({\Bbb Q}) are torsion-free arithmetic subgroups with r (G) ì G￠{\bf\rho} (\Gamma) \subset \Gamma^\prime , the map G\D ?G￠\D￠\Gamma\backslash {\cal D} \rightarrow\Gamma^\prime \backslash {\cal D}^\prime of arithmetic varieties and the rationality of D{\cal D} and D￠{\cal D}^\prime as well as the commensurability groups of s ? Aut (\Bbb C)\sigma \in {\rm Aut} ({\Bbb C}) determines a conjugate equivariant holomorphic map t^s: D^s ?D^￠s\tau^\sigma: {\cal D}^\sigma \rightarrow{\cal D}^{\prime\sigma} of f^s: (G\D)^s ?(G￠\D￠)^s\phi^\sigma: (\Gamma\backslash {\cal D})^\sigma \rightarrow(\Gamma^\prime \backslash {\cal D}^\prime)^\sigma of . We prove that is rational if is rational.     

Canonical State/Signal Shift Realizations of Passive Continuous Time Behaviors

This work is devoted to the construction of canonical passive and conservative state/signal shift realizations of arbitrary passive continuous time behaviors. By definition, a passive future continuous time behavior is a maximal nonnegative right-shift invariant subspace of the Kreĭn space L²([0,￥);W){L^2([0,\infty);\mathcal W)}, where W{\mathcal W} is a Kreĭn space, and the inner product in L²([0,￥);W){L^2([0,\infty);\mathcal W)} is the one inherited from W{\mathcal W}. A state/signal system S = (V;X,W){\Sigma=(V;\mathcal X,\mathcal W)}, with a Hilbert state space X{\mathcal X} and a Kreĭn signal space W{\mathcal W}, is a dynamical system whose classical trajectories (x, w) on [0, ∞) satisfy x ? C¹([0,￥);X){x\in C^1([0,\infty);\mathcal X)}, w ? C([0,￥);W){w \in C([0,\infty);\mathcal W)}, and

On the mean square of Lerch zeta-functions

Using the approximate functional equation for L(l,a, s) = ?_n=0^￥ [(e(ln))/((n+a)^s)] L(\lambda,\alpha, s) = \sum\limits_{n=0}^{\infty} {e(\lambda n)\over (n+\alpha)^s} , we prove for fixed parameters $ 0<\lambda,\alpha\leq 1 $ 0<\lambda,\alpha\leq 1 asymptotic formulas for the mean square of L(l,a,s) L(\lambda,\alpha,s) inside the critical strip. This improves earlier results of D. Klusch and of A. Laurin)ikas.     

Projection decomposition in multiplier algebras

In this paper we present new structural information about the multiplier algebra M (A ){\mathcal M (\mathcal A )} of a σ-unital purely infinite simple C*-algebra A{\mathcal {A}}, by characterizing the positive elements A ? M (A ){A\in \mathcal M (\mathcal A )} that are strict sums of projections belonging to A{\mathcal A } . If A ? A{A\not\in \mathcal {A}} and A itself is not a projection, then the necessary and sufficient condition for A to be a strict sum of projections belonging to A{\mathcal {A} } is that ${\|A\| >1 }${\|A\| >1 } and that the essential norm ||A||_ess 3 1{\|A\|_{ess} \geq 1}. Based on a generalization of the Perera–Rordam weak divisibility of separable simple C*-algebras of real rank zero to all σ-unital simple C*-algebras of real rank zero, we show that every positive element of A{\mathcal {A}} with norm >1 can be approximated by finite sums of projections. Based on block tri-diagonal approximations, we decompose any positive element A ? M (A ){A\in \mathcal M (\mathcal {A} )} with ${\| A\| >1 }${\| A\| >1 } and || A||_ess 3 1{\| A\|_{ess} \geq 1} into a strictly converging sum of positive elements in A{\mathcal A} with norm >1.     

On the singularity of the irreducible components of a Springer fiber in {\mathfrak{s}\mathfrak{l}_n}

Let ${\mathcal{B}_u}Let B_u{\mathcal{B}_u} be the Springer fiber over a nilpotent endomorphism u ? End(\mathbbCⁿ){u\in {\rm End}(\mathbb{C}^n)}. Let J (u) be the Jordan form of u regarded as a partition of n. The irreducible components of B_u{\mathcal{B}_u} are all of the same dimension. They are labelled by Young tableaux of shape J (u). We study the question of the singularity of the components of B_u{\mathcal{B}_u} and show that all the components of B_u{\mathcal{B}_u} are nonsingular if and only if J(u) ? {(l,1,1,?), (l₁,l₂), (l₁,l₂,1), (2,2,2)}{J(u)\in\{(\lambda,1,1,\ldots), (\lambda_1,\lambda_2), (\lambda_1,\lambda_2,1), (2,2,2)\}}.     

Maximal Chains in Positive Subfamilies of P(ω)

A family P ì [w]^w{\mathcal P} \subset [\omega]^\omega is called positive iff it is the union of some infinite upper set in the Boolean algebra P(ω)/Fin. For example, if I ì P(w){\mathcal I} \subset P(\omega) is an ideal containing the ideal Fin of finite subsets of ω, then P(w) \IP(\omega) \setminus {\mathcal I} is a positive family and the set Dense(\mathbb Q)\mbox{Dense}({\mathbb Q}) of dense subsets of the rational line is a positive family which is not the complement of some ideal on P(\mathbb Q)P({\mathbb Q}). We prove that, for a positive family P{\mathcal P}, the order types of maximal chains in the complete lattice áP è{?}, ì ?\langle {\mathcal P} \cup \{\emptyset\}, \subset \rangle are exactly the order types of compact nowhere dense subsets of the real line having the minimum non-isolated. Also we compare this result with the corresponding results concerning maximal chains in the Boolean algebras P(ω) and Intalg[0,1)_{\mathbb R}\mbox{Intalg}[0,1)_{{\mathbb R}} and the poset E(\mathbb Q)E({\mathbb Q}), where E(\mathbb Q)E({\mathbb Q}) is the set of elementary submodels of the rational line.     

Criteria for the solubility of finite groups by their centralizers

For any group G, let C(G){\mathcal{C}(G)} denote the set of centralizers of G. We say that a group G has n centralizers (G is a C_n{\mathcal{C}_n}-group) if |C(G)| = n{|\mathcal{C}(G)| = n}. In this note, we show that the derived length of a soluble C_n{\mathcal{C}_n}-group (not necessarily finite) is bounded by a function of n.     

Vectorial exceptional families of elements

Let Z{\mathcal{Z}} be an ordered Hausdorff topological vector space with a preorder defined by a pointed closed convex cone C ì Z{C \subset {\mathcal Z}} with a nonempty interior. In this paper, we introduce exceptional families of elements w.r.t. C for multivalued mappings defined on a closed convex cone of a normed space X with values in the set L(X, Z){L(X, {\mathcal Z})} of all continuous linear mappings from X into Z{\mathcal{Z}} . In Banach spaces, we prove a vectorial analogue of a theorem due to Bianchi, Hadjisavvas and Schaible. As an application, the C-EFE acceptability of C-pseudomonotone multivalued mappings is investigated.     

Numerical properties of isotrivial fibrations

In this paper we investigate the numerical properties of relatively minimal isotrivial fibrations j: X ? C{\varphi : X \longrightarrow C}, where X is a smooth, projective surface and C is a curve. In particular we prove that, if g(C) ≥ 1 and X is neither ruled nor isomorphic to a quasi-bundle, then K_X² ￡ 8 c(O_X)-2{K_X^2 \leq 8 \chi(\mathcal{O}_X)-2} ; this inequality is sharp and if equality holds then X is a minimal surface of general type whose canonical model has precisely two ordinary double points as singularities. Under the further assumption that K _X is ample, we obtain K_X² ￡ 8c(O_X)-5{K_X^2 \leq 8\chi(\mathcal{O}_X)-5} and the inequality is also sharp. This improves previous results of Serrano and Tan.     

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.     

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}}.     

The Asymptotic Schottky Problem

Let ${\mathcal{M}_g}Let M_g{\mathcal{M}_g} denote the moduli space of compact Riemann surfaces of genus g and let A_g{\mathcal{A}_g} be the moduli space of principally polarized abelian varieties of dimension g. Let J : M_g ? A_g{J : \mathcal{M}_g \rightarrow \mathcal{A}_g} be the map which associates to a Riemann surface its Jacobian. The map J is injective, and the image J_g : = J(M_g){\mathcal{J}_g := J(\mathcal{M}_g)} is contained in a proper subvariety of A_g{\mathcal{A}_g} when g ≥  4. The classical and long-studied Schottky problem is to characterize the Jacobian locus J_g{\mathcal{J}_g} in A_g{\mathcal{A}_g}. In this paper we address a large scale version of this problem posed by Farb and called the coarse Schottky problem: What does J_g{\mathcal{J}_g} look like “from far away”, or how “dense” is J_g{\mathcal{J}_g} in the sense of coarse geometry? The large scale geometry of A_g{\mathcal{A}_g} is encoded in its asymptotic cone, Cone_￥(A_g){{\rm Cone}_\infty(\mathcal{A}_g)}, which is a Euclidean simplicial cone of real dimension g. Our main result asserts that the Jacobian locus J_g{\mathcal{J}_g} is “coarsely dense” in A_g{\mathcal{A}_g}, which implies that the subset of Cone_￥(A_g){{\rm Cone}_\infty(\mathcal{A}_g)} determined by J_g{\mathcal{J}_g} actually coincides with this cone. The proof shows that the Jacobian locus of hyperelliptic curves is coarsely dense in A_g{\mathcal{A}_g} as well. We also study the boundary points of the Jacobian locus J_g{\mathcal{J}_g} in A_g{\mathcal{A}_g} and in the Baily–Borel and the Borel–Serre compactification. We show that for large genus g the set of boundary points of J_g{\mathcal{J}_g} in these compactifications is “small”.