Equivalence Bimodule Between Non-Commutative Tori

The non-commutative torus C ^*(ⁿ,) is realized as the C*-algebra of sections of a locally trivial C*-algebra bundle over S with fibres isomorphic to C ^*n/S, ₁) for a totally skew multiplier ₁ on ⁿ/S. D. Poguntke [9] proved that A is stably isomorphic to C(S) C(^*( Zⁿ/S, ₁) C(S) A M_kl( C) for a simple non-commutative torus A and an integer kl. It is well-known that a stable isomorphism of two separable C*-algebras is equivalent to the existence of equivalence bimodule between them. We construct an A-C(S) A-equivalence bimodule.     

Infinitesimal obstructions to weakly mixing

Let ^t be the flow (parametrized with respect to arc length) of a smooth unit vector field v on a closed Riemannian manifold M ⁿ , whose orbits are geodesics. Then the (n-1)-plane field normal to v, v, is invariant under d ^t and, for each x M, we define a smooth real function _x (t) : (1 + _i (t)), where the _i(t) are the eigenvalues of AA ^T, A being the matrix (with respect to orthonormal bases) of the non-singular linear map d^2t , restricted to v at the point _x ^-t M ⁿ.Among other things, we prove the Theorem (Theorem II, below). Assume v is also volume preserving and that _x ^' (t) 0 for all x M and real t; then, if _x ^t : M M is weakly missng for some t, it is necessary that vx 0 at all x M.     

Large-Deviation Local Theorem for Additive Functionals of a Markov Gaussian Field. I

We prove a local limit theorem (LLT) on Cramer-type large deviations for sums S _V = _t V ( _t ), where _t , t Z , 1, is a Markov Gaussian random field, V Z , and is a bounded Borel function. We get an estimate from below for the variance of S _V and construct two classes of functions , for which the LLT of large deviations holds.     

Quasianapole Interaction of Charged Fermions

We obtain the analytic expression for the total cross section of the reaction e ^– e ⁺l ^– l ⁺ (l=,) taking possible quasianapole interaction effects into account. We find numerical restrictions on the interaction parameter value from data for the reaction e ^– e ^+–+ in the energy domain below the Z ⁰ peak.     

Approximating derivations on ideals ofC *-algebras

For each^*-derivation of a separableC ^*-algebraA and each >0 there is an essential idealI ofA and a self-adjoint multiplierx ofI such that (–ad(ix))|I< and x.     

Jordan axioms for C*-algebras

A complex Banach spaceA which is also an associative algebra provided with a conjugate linear vector space involution * satisfying (a ²)^*=(a ^*)², aa ^* a=a³ and ab+ba2ab for alla, b inA is shown to be a C^*-algebra. The assumptions onA can be expressed in terms of the Jordan algebra obtained by symmetrization of the product ofA and are satisfied by any C^*-algebra. Thus we obtain a purely Jordan characterization of C^*-algebras.     

A Comparison of Two Spaces of Generalized White Noise Functionals

In the literature (see [5, 6, 8]) there are two families of spaces called Kondratiev spaces: (_c)^± and (S _c)^± for 0 1. We investigate the relation between the spaces and show that they are topologically isomorphic when (^d) L2 (^d) (^d) is the underlying Gel'fand triple for (_c)^±. In this case we also give the explicit relation between the S-transform and -transform on (_c)^-1 and (S _c)^-1, respectively.     

Surgery on the Novikov complex

Let M be a closed connected smooth manifold with dim M=n6, and : ₁(M) Z be an epimorphism. Denote by the group ring of ₁(M) and let ^– be its Novikov completion. Let D _* be a free-based finitely generated chain complex over ^– . Assume that D _ii=0 for i1 and in–1 and that D _* has the same simple homotopy type as the Novikov-completed simplicial chain complex of the universal covering M. Let N be an integer. We prove that D _* can be realized, up to the terms of ^– of degree N as the Novikov complex of a Morse map : M S ¹, belonging to . Applications to Arnold's conjectures and to the theory of fibering of M over S ¹ are given.     

Composantes de dimension maximale d'un analogue du lieu de Noether-Lefschetz (Components of Maximal Dimension of an Analogue of the Noether-Lefschetz Locus)

Let X ⁴ be a smooth hypersurface of degree d 5, and let S X be a smooth hyperplane section. Assume that there exists a non trivial cycle Z Pic(X) of degree 0, whose image in CH₁(X) is in the kernel of the Abel–Jacobi map. The family of couples (X, S) containing such Z is a countable union of analytic varieties. We show that it has a unique component of maximal dimension, which is exaclty the locus of couples (X, S) satisfying the following condition: There exists a line S and a plane P ⁴ such that P X = , and Z = – dh, where h is the class of the hyperplane section in CH₁(S). The image of Z in CH₁(X) is thus 0. This construction provides evidence for a conjecture by Nori which predicts that the Abel–Jacobi map for 1–cycles on X is injective.     

Regularity of ∫Ω|∇u|2 + λ∫Ω|u−f{2 and some gap phenomenon

We study the regularity of the minimizer u for the functional F (u,f)=|u|² + |u–f{² over all maps uH ¹(, S ²). We prove that for some suitable functions f every minimizer u is smooth in if ₀ and for the same functions f, u has singularities when is large enough.

---

Résumé On étudie la régularité des minimiseurs u du problème de minimisation min_ueH ¹(,S²)(|u|² + |u–f{². On montre que pour certaines fonctions f, u est régulière lorsque ₀ et pour les mêmes f, si est assez grand, alors u possède des singularités.

     

Distribution of the supremum of sums of independent variables with negative drift

Let {_n} be a sequence of identically distributed independent random variables,M₁=<0,M ₁ ² <;S ₀=0,S _n =₁+₂,+...+ _{n, n}1;¯ S=sup {S _n n=0.} The asymptotic behavior ofP(¯ St) as t is studied. If _t ^P (₁x dx=0((t)), thenP(¯ St)– 1/¦¦ _t P (₁x dx=0((t)) (t) is a positive function, having regular behavior at infinity.Translated from Matematicheskie Zametki, Vol. 22, No. 5, pp. 763–770, November, 1977.The author thanks B. A. Rogozin for the formulation of the problem and valuable remarks.     

A phase transition for the coupled branching process

Summary We consider a particular Markov process _t ^u on ^S ,S= ⁿ . The random variable _t ^u (x) is interpreted as the number of particles atx at timet. The initial distribution of this process is a translation invariant measure withf(x)d<. The evolution is as follows: At rateb(x) a particle is born atx but moves instantaneously toy chosen with probabilityq(x, y). All particles at a site die at ratepd withp[0, 1],d, ⁺ and individual particles die independently from each other at rate (1–p)d. Every particle moves independently of everything else according to a continuous time random walk.We are mainly interested in the caseb=d andn3. The process exhibits a phase transition with respect to the parameterp: Forp<p ^* all weak limit points of ( _t ^µ ) ast still have particle density (x)d. Forp>p ^*, _t ^µ ) converges ast to the measure concentrated on the configuration identically 0. We calculatep ^* as well asp ⁽ⁿ⁾ , the points with the property that the extremal invariant measures have forp>p ⁽ⁿ⁾ infiniten-th moment of (x) and forp<p ⁽ⁿ⁾ finiten-th moment. We show the case 1>p ^*>p⁽²⁾>p⁽³⁾...p ⁽ⁿ⁾ >0, p⁽ⁿ⁾0 occurs for suitable values of the other parameters. Forp<p ⁽²⁾ we prove the system has a one parameter set of extremal invariant measures and we determine their domain of attraction. Part I contains statements of all results but only the proofs of the results about the process for values ofp withp<p ⁽²⁾ and the behaviour of then-th moments andp ⁽ⁿ⁾ .     

Quadratically constrained quadratic programming: Some applications and a method for solution

The problem (QPQR) considered here is: minimizeQ ₁ (x) subject toQ _i (x) 0,i M ₁ {2,...,m},x P R ⁿ, whereQ _i (x), i M {1} M ₁ are quadratic forms with positive semi-definite matrices, andP a compact nonempty polyhedron of Rⁿ. Applications of (QPQR) and a new method to solve it are presented.Letu S={u R ^m;u 0, u _i= l}be fixed;then the problem:iM minimize u _iQ_i (x (u)) overP, always has an optimal solutionx (u), which is either feasible, iM i.e. u C₁ {u S;Q _i (x (u)) 0,i M ₁} or unfeasible, i.e. there exists ani M ₁ withu C {u S; Q_i(x(u)) 0}.Let us defineC _i C_i S _i withS _i {u S; u _i=0}, i M. A constructive method is used to prove that C _i is not empty and thatx (û) withiM û C _i characterizes an optimal solution to (QPQR). Quite attractive numerical results have been reached with this method.

---

Zusammenfassung Die vorliegende Arbeit befaßt sich mit Anwendungen und einer neuen Lösungsmethode der folgenden Aufgabe (QPQR): man minimiere eine konvexe quadratische ZielfunktionQ _i (x) unter Berücksichtigung konvexer quadratischer RestriktionenQ _i (x) 0, iM ₁ {2,...,m}, und/oder linearer Restriktionen.·Für ein festesu S {u R ^m;u 0, u _i=1},M {1} M₁ besitzt das Problem:iM minimiere die konvexe quadratische Zielfunktion u _i Q_i (x (u)) über dem durch die lineareniM Restriktionen von (QPQR) erzeugten, kompakten und nicht leeren PolyederP R ⁿ, immer eine Optimallösungx (u), die entweder zulässig ist: u C₁ {u S;Q ₁ (x (u)) 0,i M ₁} oder unzulässig ist, d.h. es existiert eini M ₁ mitu C_i {u S;Q _i (x(u))0}.Es seien folgende MengenC _i C_i S _i definiert, mitS _i {u S;u _i=0}, i M. Es wird konstruktiv bewiesen, daß C _i 0 undx (û) mitû C _i eine Optimallösung voniM iM (QPQR) ist; damit ergibt sich eine Methode zur Lösung von (QPQR), die sich als sehr effizient erwiesen hat. Ein einfaches Beispiel ist angegeben, mit dem alle Schritte des Algorithmus und dessen Arbeitsweise graphisch dargestellt werden können.

---

---

An earlier version of this paper was written during the author's stay at the Institute for Operations Research, Swiss Federal Institute of Technology, Zürich.     

On the semimartingale representation of reflecting Brownian motion in a cusp

Summary LetC be the symmetric cusp {(x, y)²:–x yx ,x0} where >1. In this paper we decide whether or not reflecting Brownian motion inC has a semimartingale representation. Here the reflecting Brownian motion has directions of reflection that make constant angles with the unit inward normals to the boundary. Our results carry through for a wide class of asymmetric cusps too.     

The structure of crossed productC *-algebras: A proof of the generalized Effros-Hahn conjecture

IfG is a second countable locally compact group acting continuously on a separableC ^*-algebraA, then every primitive ideal of the crossed productC ^* (G, A) is contained in an induced primitive ideal, and ifG is amenable, equality holds. Thus ifG is amenable and acts freely on Prim(A), the generalized Effros-Hahn conjecture holds: there is a canonical bijection between primitive ideals ofC ^* (G, A) andG-quasi-orbits in Prim(A). Applications to the Mackey machine for a non-regularly embedded normal subgroup of a locally compact group are discussed. The proof of the theorem is based on a local cross-section result together with Mackey's original methods.The authors were partially supported by National Science Foundation Research GrantsThe first-named author would like to thank the Department of Mathematics, University of Pennsylvania, for its warm hospitality during his 1977–78 stay, during which time this research was conducted     

Spectral invariance,ellipticity, and the Fredholm property for pseudodifferential operators on weighted Sobolev spaces

The pseudodifferential operators with symbols in the Grushin classes \~S _inf0 ^sup, , 0 < 1, of slowly varying symbols are shown to form spectrally invariant unital Frécher-*-algebras (*-algebras) in L(L ²(R ⁿ )) and in L(H ^st ) for weighted Sobolev spaces H _inf ^supst defined via a weight d function . In all cases, the Fredholm property of an operator can be characterized by uniform ellipticity of the symbol. This gives a converse to theorems of Grushin and Kumano-Ta-Taniguchi. Both, the spectrum and the Fredholm spectrum of an operator turn out to be independent of the choices of s, t and .The characterization of the Fredholm property by uniform ellipticity leads to an index theorem for the Fredholm operators in these classes, extending results of Fedosov and Hörmander.     

On weakly mixing Markov operators and non-singular transformations

Summary Let P be a Markov operator on L (X, , m). Theorem 1: (i) P is weakly mixing (ii) For every fL there is a sequence {n_t} of density 1 such that all w ^*-cluster points of are constants (iii) For every fL there is a {k_j} with w ^*-convergent to a constant. Theorem 2: If P is induced by a non-singular transformation , P is weakly mixing For every A, { ^–n(A)} has a remotely trivial subsequence. The existence of a finite invariant measure is not required in these results.     

The caratheodory number for thek-core

Thek-core of the setS ⁿ is the intersection of the convex hull of all setsA S with ¦SA¦<-k. The Caratheodory number of thek-core is the smallest integerf (d,k) with the property thatx core _{kS, S} ⁿ implies the existence of a subsetT S such thatx core_kT and ¦T¦f (d, k). In this paper various properties off(d, k) are established.Research of this author was partially supported by Hungarian National Science Foundation grant no. 1812.     

Local isometric immersions of two-dimensional metrics inE 4 with prescribed Gaussian torsion

Suppose that in a domain R(, B) of variables (r, ): (0 r , ₁ +B(r–r ₀ ) ₂–B(r–r₀), where > 0, B > 0, ₁ < 0 < ₂ are numbers) a metric ds² = dr² +G(r, )d ² and a function k(r, ) are given. The problem of isometrically immersing ds² in E ⁴ with prescribed Gaussian torsion is considered. The following is proved: The class C ⁵ metric ds ² is locally realized in the form of a class C ³ surface F ² whose Gaussian torsion is the prescribed class C ³ function (r, ).Translated from Ukrainskii Geometricheskii Sbornik, No. 35, pp. 38–47, 1992.     

Approximation of the Distribution of the Supremum of a Centered Random Walk. Application to the Local Score

Let (X _n ) _{n 0} be a real random walk starting at 0, with centered increments bounded by a constant K. The main result of this study is: |P(S _n n x)–P( sup_{0 u 1} B _u x)| C(n,K) n/n, where x 0, ² is the variance of the increments, S _n is the supremum at time n of the random walk, (B _u ,u 0) is a standard linear Brownian motion and C(n,K) is an explicit constant. We also prove that in the previous inequality S _n can be replaced by the local score and sup₀ u 1 B _u by sup₀ u 1|B _u |.