(<Emphasis Type="Italic">o</Emphasis>)-Topology in *-algebras of locally measurable operators

We consider the topology t( M ) t\left( \mathcal{M} \right) of convergence locally in measure in the *-algebra LS( M ) LS\left( \mathcal{M} \right) of all locally measurable operators affiliated to the von Neumann algebra M \mathcal{M} . We prove that t( M ) t\left( \mathcal{M} \right) coincides with the (o)-topology in LS_h( M ) = { T ? LS( M ):T* = T } L{S_h}\left( \mathcal{M} \right) = \left\{ {T \in LS\left( \mathcal{M} \right):T* = T} \right\} if and only if the algebra M \mathcal{M} is σ-finite and is of finite type. We also establish relations between t( M ) t\left( \mathcal{M} \right) and various topologies generated by a faithful normal semifinite trace on M \mathcal{M} .     

Randomly generating test problems for fuzzy relational equations

Fuzzy relational equations play an important role in fuzzy set theory and fuzzy logic systems. To compare and evaluate the accuracy and efficiency of various solution methods proposed for solving systems of fuzzy relational equations as well as the associated optimization problems, a test problem random generator for systems of fuzzy relational equations is needed. In this paper, procedures for generating test problems of fuzzy relational equations with the sup-T{\mathcal{T}} composition are proposed for the cases of sup-T_M{\mathcal{T}_M}, sup-T_P{\mathcal{T}_P}, and sup-T_L{\mathcal{T}_L } compositions. It is shown that the test problems generated by the proposed procedures are consistent. Some properties are discussed to show that the proposed procedures randomly generate systems of fuzzy relational equations with various number of minimal solutions. Numerical examples are included to illustrate the proposed procedures.     

Teichmüller Spaces and Negatively Curved Fiber Bundles

In the first part of the paper we introduce the theory of bundles with negatively curved fibers. For a space X there is a forgetful map F _X between bundle theories over X, which assigns to a bundle with negatively curved fibers over X its subjacent smooth bundle. Our main result states that, for certain k-spheres ${\mathbb{S}^k}In the first part of the paper we introduce the theory of bundles with negatively curved fibers. For a space X there is a forgetful map F _X between bundle theories over X, which assigns to a bundle with negatively curved fibers over X its subjacent smooth bundle. Our main result states that, for certain k-spheres \mathbbS^k{\mathbb{S}^k}, the forgetful map F_\mathbbS^k{F_{\mathbb{S}^k}} is not one-to-one. This result follows from Theorem A, which proves that the quotient map MET  ^{sec < 0} (M)?T  ^{sec < 0} (M){\mathcal{MET}^{\,\,sec <0 }(M)\rightarrow\mathcal{T}^{\,\,sec <0 }(M)} is not trivial at some homotopy levels, provided the hyperbolic manifold M satisfies certain conditions. Here MET  ^{sec < 0} (M){\mathcal{MET}^{\,\,sec <0 }(M)} is the space of negatively curved metrics on M and T  ^{sec < 0} (M) = MET  ^{sec < 0} (M)/ DIFF₀(M){\mathcal{T}^{\,\,sec <0 }(M) = \mathcal{MET}^{\,\,sec <0 }(M)/ {\rm DIFF}_0(M)} is, as defined in [FO2], the Teichmüller space of negatively curved metrics on M. In particular we conclude that T  ^{sec < 0} (M){\mathcal{T}^{\,\,sec <0 }(M)} is, in general, not connected. Two remarks: (1) the nontrivial elements in p_kMET  ^{sec < 0} (M){\pi_{k}\mathcal{MET}^{\,\,sec <0 }(M)} constructed in [FO3] have trivial image by the map induced by MET  ^{sec < 0} (M)?T  ^{sec < 0} (M){\mathcal{MET}^{\,\,sec <0 }(M)\rightarrow\mathcal{T}^{\,\,sec <0 }(M)} ; (2) the nonzero classes in p_kT  ^{sec < 0} (M){\pi_{k}\mathcal{T}^{\,\,sec <0 }(M)} constructed in [FO2] are not in the image of the map induced by MET  ^{sec < 0} (M)?T  ^{sec < 0} (M){\mathcal{MET}^{\,\,sec <0 }(M)\rightarrow\mathcal{T}^{\,\,sec <0 }(M)} ; the nontrivial classes in p_kT  ^{sec < 0} (M){\pi_{k}\mathcal{T}^{\,\,sec <0 }(M)} given here, besides coming from MET  ^{sec < 0} (M){\mathcal{MET}^{\,\,sec <0 }(M)} and being harder to construct, have a different nature and genesis: the former classes – given in [FO2] – come from the existence of exotic spheres, while the latter classes – given here – arise from the non-triviality and structure of certain homotopy groups of the space of pseudo-isotopies of the circle \mathbbS¹{\mathbb{S}^1}. The strength of the new techniques used here allowed us to prove also a homology version of Theorem A, which is given in Theorem B.     

A presentation for the singular part of the full transformation semigroup

The (full) transformation semigroup T_n\mathcal{T}_{n} is the semigroup of all functions from the finite set {1,…,n} to itself, under the operation of composition. The symmetric group S_n í T_n{\mathcal{S}_{n}\subseteq \mathcal{T}_{n}} is the group of all permutations on {1,…,n} and is the group of units of T_n\mathcal{T}_{n}. The complement T_n\S_n\mathcal{T}_{n}\setminus \mathcal{S}_{n} is a subsemigroup (indeed an ideal) of T_n\mathcal{T}_{n}. In this article we give a presentation, in terms of generators and relations, for T_n\S_n\mathcal{T}_{n}\setminus \mathcal{S}_{n}, the so-called singular part of T_n\mathcal{T}_{n}.     

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

Smooth maps of a foliated manifold in a symplectic manifold

Let M be a smooth manifold with a regular foliation $ \mathcal{F} $ \mathcal{F} and a 2-form ω which induces closed forms on the leaves of $ \mathcal{F} $ \mathcal{F} in the leaf topology. A smooth map f: (M, $ \mathcal{F} $ \mathcal{F} ) → (N, σ) in a symplectic manifold (N, σ) is called a foliated symplectic immersion if f restricts to an immersion on each leaf of the foliation and further, the restriction of f*σ is the same as the restriction of ω on each leaf of the foliation. If f is a foliated symplectic immersion then the derivative map Df gives rise to a bundle morphism F: TM → T N which restricts to a monomorphism on T $ \mathcal{F} $ \mathcal{F} ⊆ T M and satisfies the condition F*σ = ω on T $ \mathcal{F} $ \mathcal{F} . A natural question is whether the existence of such a bundle map F ensures the existence of a foliated symplectic immersion f. As we shall see in this paper, the obstruction to the existence of such an f is only topological in nature. The result is proved using the h-principle theory of Gromov.     

Augmented Teichmüller spaces and orbifolds

We study complex analytic properties of the augmented Teichmüller spaces [`(T)]<sub>g,n</sub>{\overline{\mathcal{T}}_{g,n}} obtained by adding to the classical Teichmüller spaces T<sub>g,n</sub>{\mathcal{T}_{g,n}} points corresponding to Riemann surfaces with nodal singularities. Unlike T<sub>g,n</sub>{\mathcal{T}_{g,n}}, the space [`(T)]_g,n{\overline{\mathcal{T}}_{g,n}} is not a complex manifold (it is not even locally compact). We prove, however, that the quotient of the augmented Teichmüller space by any finite index subgroup of the Teichmüller modular group has a canonical structure of a complex orbifold. Using this structure, we construct natural maps from [`(T)]{\overline{\mathcal{T}}} to stacks of admissible coverings of stable Riemann surfaces. This result is important for understanding the cup-product in stringy orbifold cohomology. We also establish some new technical results from the general theory of orbifolds which may be of independent interest.     

Foliated Lie and Courant Algebroids

If A is a Lie algebroid over a foliated manifold (M, F){(M, {\mathcal {F}})}, a foliation of A is a Lie subalgebroid B with anchor image TF{T{\mathcal {F}}} and such that A/B is locally equivalent with Lie algebroids over the slice manifolds of F{\mathcal F}. We give several examples and, for foliated Lie algebroids, we discuss the following subjects: the dual Poisson structure and Vaintrob's supervector field, cohomology and deformations of the foliation, integration to a Lie groupoid. In the last section, we define a corresponding notion of a foliation of a Courant algebroid A as a bracket–closed, isotropic subbundle B with anchor image TF{T{\mathcal {F}}} and such that B ^{^} /B{B^{ \bot } /B} is locally equivalent with Courant algebroids over the slice manifolds of F{\mathcal F}. Examples that motivate the definition are given.     

Localisation and colocalisation of KK-theory

The localisation of an R-linear triangulated category T\mathcal{T} at S ⁻¹ R for a multiplicatively closed subset S is again triangulated, and related to the original category by a long exact sequence involving a version of T\mathcal{T} with coefficients in S ⁻¹ R/R. We examine these theories and, under some assumptions, write the latter as an inductive limit of T\mathcal{T} with torsion coefficients. Our main application is the case where T\mathcal{T} is equivariant bivariant K-theory and R the ring of integers.     

Set covering-based surrogate approach for solving sup-{\mathcal{T}} equation constrained optimization problems

This work considers solving the sup-T{\mathcal{T}} equation constrained optimization problems from the integer programming viewpoint. A set covering-based surrogate approach is proposed to solve the sup-T{\mathcal{T}} equation constrained optimization problem with a separable and monotone objective function in each of the variables. This is our first trial of developing integer programming-based techniques to solve sup-T{\mathcal{T}} equation constrained optimization problems. Our computational results confirm the efficiency of the proposed method and show its potential for solving large scale sup-T{\mathcal{T}} equation constrained optimization problems.     

On <Emphasis Type="Italic">N</Emphasis>-Summations,II

Given any R-semimodule M equipped with a semitopology we construct an N-protosummation for M. If satisfies certain properties, then a similar construction leads to an unconditional N-summation for M, that is an N-summation for M equipped with the trivial prenorm MD over the N-summation (D^N,_D) for D. Conversely any N-protosummation on M gives rise to a topology . If both and satisfy a certain separation property, then and form a Galois connection. Dedicated to my friend and collegue Nico Pumplün on the occasion of his 70th birthdayMathematics Subject Classifications (2000) 16Y60, 54A05.     

The Asymptotics of Wilkinson’s Shift: Loss of Cubic Convergence

One of the most widely used methods for eigenvalue computation is the QR iteration with Wilkinson’s shift: Here, the shift s is the eigenvalue of the bottom 2×2 principal minor closest to the corner entry. It has been a long-standing question whether the rate of convergence of the algorithm is always cubic. In contrast, we show that there exist matrices for which the rate of convergence is strictly quadratic. More precisely, let $T_{ {\mathcal {X}}}One of the most widely used methods for eigenvalue computation is the QR iteration with Wilkinson’s shift: Here, the shift s is the eigenvalue of the bottom 2×2 principal minor closest to the corner entry. It has been a long-standing question whether the rate of convergence of the algorithm is always cubic. In contrast, we show that there exist matrices for which the rate of convergence is strictly quadratic. More precisely, let T _XT_{ {\mathcal {X}}} be the 3×3 matrix having only two nonzero entries (T _X)₁₂=(T _X)₂₁=1(T_{ {\mathcal {X}}})_{12}=(T_{ {\mathcal {X}}})_{21}=1 and let T_\varLambda {\mathcal {T}}_{\varLambda } be the set of real, symmetric tridiagonal matrices with the same spectrum as T _XT_{ {\mathcal {X}}} . There exists a neighborhood U ì T_\varLambda \boldsymbol {{\mathcal {U}}}\subset {\mathcal {T}}_{\varLambda } of T _XT_{ {\mathcal {X}}} which is invariant under Wilkinson’s shift strategy with the following properties. For T₀ ? UT_{0}\in \boldsymbol {{\mathcal {U}}} , the sequence of iterates (T _k ) exhibits either strictly quadratic or strictly cubic convergence to zero of the entry (T _k )₂₃. In fact, quadratic convergence occurs exactly when limT_k=T _X\lim T_{k}=T_{ {\mathcal {X}}} . Let X\boldsymbol {{\mathcal {X}}} be the union of such quadratically convergent sequences (T _k ): The set X\boldsymbol {{\mathcal {X}}} has Hausdorff dimension 1 and is a union of disjoint arcs X^s\boldsymbol {{\mathcal {X}}}^{\sigma} meeting at T _XT_{ {\mathcal {X}}} , where σ ranges over a Cantor set.     

Desingularization of singular Riemannian foliation

Let F{\mathcal{F}} be a singular Riemannian foliation on a compact Riemannian manifold M. By successive blow-ups along the strata of F{\mathcal{F}} we construct a regular Riemannian foliation [^(F)]{\hat{\mathcal{F}}} on a compact Riemannian manifold [^(M)]{\hat{M}} and a desingularization map [^(r)]:[^(M)]? M{\hat{\rho}:\hat{M}\rightarrow M} that projects leaves of [^(F)]{\hat{\mathcal{F}}} into leaves of F{\mathcal{F}}. This result generalizes a previous result due to Molino for the particular case of a singular Riemannian foliation whose leaves were the closure of leaves of a regular Riemannian foliation. We also prove that, if the leaves of F{\mathcal{F}} are compact, then, for each small ${\epsilon >0 }${\epsilon >0 }, we can find [^(M)]{\hat{M}} and [^(F)]{\hat{\mathcal{F}}} so that the desingularization map induces an e{\epsilon}-isometry between M/F{M/\mathcal{F}} and [^(M)]/[^(F)]{\hat{M}/\hat{\mathcal{F}}}. This implies in particular that the space of leaves M/F{M/\mathcal{F}} is a Gromov-Hausdorff limit of a sequence of Riemannian orbifolds {([^(M)]_n/[^(F)]_n)}{\{(\hat{M}_{n}/\hat{\mathcal{F}}_{n})\}}.     

Linear Maps Preserving Operators of Local Spectral Radius Zero

Let X be a complex Banach space and let B(X){\mathcal{B}(X)} be the space of all bounded linear operators on X. For x ? X{x \in X} and T ? B(X){T \in \mathcal{B}(X)}, let r_T(x) = limsup_{n ? ￥} || Tⁿx|| ^1/n{r_{T}(x) =\limsup_{n \rightarrow \infty} \| T^{n}x\| ^{1/n}} denote the local spectral radius of T at x. We prove that if j: B(X) ? B(X){\varphi : \mathcal{B}(X) \rightarrow \mathcal{B}(X)} is linear and surjective such that for every x ? X{x \in X} we have r _T (x) = 0 if and only if r_j(T)(x) = 0{r_{\varphi(T)}(x) = 0}, there exists then a nonzero complex number c such that j(T) = cT{\varphi(T) = cT} for all T ? B(X){T \in \mathcal{B}(X) }. We also prove that if Y is a complex Banach space and j:B(X) ? B(Y){\varphi :\mathcal{B}(X) \rightarrow \mathcal{B}(Y)} is linear and invertible for which there exists B ? B(Y, X){B \in \mathcal{B}(Y, X)} such that for y ? Y{y \in Y} we have r _T (By) = 0 if and only if r_{j( T)} (y)=0{ r_{\varphi ( T) }(y)=0}, then B is invertible and there exists a nonzero complex number c such that j(T) = cB^-1TB{\varphi(T) =cB^{-1}TB} for all T ? B(X){T \in \mathcal{B}(X)}.     

M 0 Measures for the Walsh System

We show that the spaces M ₀(T) and M₀(D)M_{0}(\mathcal {D}) cannot be identified, D\mathcal {D} being the Cantor group ∏ _n=1^∞{±}. Our motivation is guided by the role M ₀ measures play in uniform distribution problems, via the Davenport, Erdòs, LeVeque theorem.     

The Deligne–Mumford compactification of the real multiplication locus and Teichmüller curves in genus 3

In the moduli space M \mathcal{M} _g of genus-g Riemann surfaces, consider the locus RM_O \mathcal{R}{\mathcal{M}_{\mathcal{O}}} of Riemann surfaces whose Jacobians have real multiplication by the order O \mathcal{O} in a totally real number field F of degree g. If g = 3, we compute the closure of RM_O \mathcal{R}{\mathcal{M}_{\mathcal{O}}} in the Deligne–Mumford compactification of M \mathcal{M} _g and the closure of the locus of eigenforms over RM_O \mathcal{R}{\mathcal{M}_{\mathcal{O}}} in the Deligne–Mumford compactification of the moduli space of holomorphic 1-forms. For higher genera, we give strong necessary conditions for a stable curve to be in the boundary of RM_O \mathcal{R}{\mathcal{M}_{\mathcal{O}}} . Boundary strata of RM_O \mathcal{R}{\mathcal{M}_{\mathcal{O}}} are parameterized by configurations of elements of the field F satisfying a strong geometry of numbers type restriction.     

Random doubly stochastic tridiagonal matrices

Let \begin{align*}{\mathcal T}\end{align*}n be the compact convex set of tridiagonal doubly stochastic matrices. These arise naturally in probability problems as birth and death chains with a uniform stationary distribution. We study ‘typical’ matrices T∈ \begin{align*}{\mathcal T}\end{align*}n chosen uniformly at random in the set \begin{align*}{\mathcal T}\end{align*}n. A simple algorithm is presented to allow direct sampling from the uniform distribution on \begin{align*}{\mathcal T}\end{align*}n. Using this algorithm, the elements above the diagonal in T are shown to form a Markov chain. For large n, the limiting Markov chain is reversible and explicitly diagonalizable with transformed Jacobi polynomials as eigenfunctions. These results are used to study the limiting behavior of such typical birth and death chains, including their eigenvalues and mixing times. The results on a uniform random tridiagonal doubly stochastic matrices are related to the distribution of alternating permutations chosen uniformly at random.© 2012 Wiley Periodicals, Inc. Random Struct. Alg., 42, 403–437, 2013     

Additively spectral-radius preserving surjections between unital semisimple commutative Banach algebras

Let A and B be unital, semisimple commutative Banach algebras with the maximal ideal spaces M _A and M _B , respectively, and let r(a) be the spectral radius of a. We show that if T: A → B is a surjective mapping, not assumed to be linear, satisfying r(T(a) + T(b)) = r(a + b) for all a; b ∈ A, then there exist a homeomorphism φ: M _B → M _A and a closed and open subset K of M _B such that

Unstable structures definable in o-minimal theories

Let M{\mathcal {M}} be a dense o-minimal structure, N{\mathcal {N}} an unstable structure interpretable in M{\mathcal {M}}. Then there exists X, definable in N^eq{\mathcal {N}^{eq}}, such that X, with the induced N{\mathcal {N}}-structure, is linearly ordered and o-minimal with respect to that ordering. As a consequence we obtain a classification, along the lines of Zilber’s trichotomy, of unstable t-minimal types in structures interpretable in o-minimal theories.     

Von Neumann Algebras Associated with the Group SL2（R）

Let M\mathcal{M} and N\mathcal{N} be the von Neumann algebras induced by the rational action of the group SL ₂(ℝ) and its subgroup P on the upper half plane \mathbbH\mathbb{H}. We have shown that N\mathcal{N} is spatial isomorphic to the group von Neumann algebra L_P\mathcal{L}_P and characterized M\mathcal{M} and its commutant M￠\mathcal{M}' and gotten a generalization of the Mautner’s lemma. It is also shown that the Berezin operator commutates with the Laplacian operator.