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.     

Krasnosel'skii numbers for bounded finitely starlike sets inR d

For eachk andd, 1kd, definef(d, d)=d+1 andf(d, k)=2d if 1kd–1. The following results are established:Let be a uniformly bounded collection of compact, convex sets inR ^d . For a fixedk, 1kd, dim {MM in }k if and only if for some > 0, everyf(d, k) members of contain a commonk-dimensional set of measure (volume) at least.LetS be a bounded subset ofR ^d . Assume that for some fixedk, 1kd, there exists a countable family of (k–l)-flats {H _i :i1} inR ^d such that clS S {H_i i 1 } and for eachi1, (clS S) H _i has (k–1) dimensional measure zero. Every finite subset ofS sees viaS a set of positivek-dimensional measure if and only if for some>0, everyf(d,k) points ofS see viaS a set ofk-dimensional measure at least .The numbers off(d,d) andf(d, 1) above are best possible.Supported in part by NSF grant DMS-8705336.     

On non-singular transformations of a measure space. I

We consider a Lebesgue measure space (M, , m). By an automorphism of (M, , m) we mean a bi-measurable transformation of (M, , m) that together with its inverse is non-singular with respeot to m. We study an equivalence relation between these automorphisms that we call the weak equivalence. Two automorphisms S and T are weakly equivalent if there is an automorphism U such that for almost all x M U maps the S-orbit of x onto the T-orbit of U x. Ergodicity, the existence of a finite invariant measure, the existenoe of a -finite infinite invariant measure, and the non-existence of such measures are invariants of weak equivalenoe. In this paper and in its sequel we solve the problem of weak equivalenoe for a class of automorphisms that comprises all ergodic automorphisms that admit a -finite invariant measure, and also certain ergodic automorphisms that do not admit such a measure.     

L 2-approximation by the translates of a function and related attenuation factors

Summary Let be thek-dimensional subspace spanned by the translates (·–2j/k),j=0, 1, ...,k–1, of a continuous, piecewise smooth, complexvalued, 2-periodic function . For a given functionfL ²(–, ), its least squares approximantS _kf from can be expressed in terms of an orthonormal basis. Iff is continuous,S _kf can be computed via its discrete analogue by fast Fourier transform. The discrete least squares approximant is used to approximate Fourier coefficients, and this complements the works of Gautschi on attenuation factors. Examples of include the space of trigonometric polynomials where is the de la Valleé Poussin kernel, algebraic polynomial splines where is the periodic B-spline, and trigonometric polynomial splines where is the trigonometric B-spline.     

A graded scale of parametric families of distributions,and parameter estimates based on the sample mean

Summary Denote by _k a class of familiesP={P} of distributions on the line R¹ depending on a general scalar parameter , being an interval of R¹, and such that the moments µ₁()=xdP ,...,µ_2k ()=x ^2k dP are finite, ₁ (), ..., _k (), _k+1 () ..., _k () exist and are continuous, with ₁ () 0, and _j +1 ()= ₁ () _j () +[₂() -₁()²] _j ()/ ₁ (), J=2, ..., k. Let ₁=¯x=x ₁ + ... +x _n/n, ₂=x ₁ ² + ... +x _n ²/n, ..., _k =(x ₁ ^k + ... +x _n ^k/n denote the sample moments constructed for a sample x₁, ..., x_n from a population with distribution Pg. We prove that the estimator of the parameter by the method of moments determined from the equation ₁= ₁() and depending on the observations x₁, ..., x_n only via the sample mean ¯x is asymptotically admissible (and optimal) in the class _k of the estimators determined by the estimator equations of the form ₀ () + ₁ () ₁ + ... + _k () _k =0 if and only ifP _k .The asymptotic admissibility (respectively, optimality) means that the variance of the limit, as n (normal) distribution of an estimator normalized in a standard way is less than the same characteristic for any estimator in the class under consideration for at least one 9 (respectively, for every ).The scales arise of classes _{1 2}... of parametric families and of classes _{1 2} ... of estimators related so that the asymptotic admissibility of an estimator by the method of moments in the class _k is equivalent to the membership of the familyP in the class _k .The intersection consists only of the families of distributions with densities of the form h(x) exp {C₀() + C₁() x } when for the latter the problem of moments is definite, that is, there is no other family with the same moments ₁ (), ₂ (), ...Such scales in the problem of estimating the location parameter were predicted by Linnik about 20 years ago and were constructed by the author in [1] (see also [2, 3]) in exact, not asymptotic, formulation.Translated from Problemy Ustoichivosti Stokhasticheskikh Modelei, pp. 41–47, 1981.     

Differentiable structures with zero entropy on simply connected 4-manifolds

We show that a closed 4-dimensional simply connected topological manifoldM admits a differentiable structure with aC Riemannian metric whose geodesic flow has zero topological entropy if and only ifM is homeomorphic toS ⁴, ²,S ²×S ², or ²#².     

Limiting Cases of a Superstring in AdS5×S5

The superstring action in AdS ₅×S ⁵ depends on two parameters: the inverse string tension and the radius R. The standard AdS/CFT correspondence requires that the string action depend on only the combination . After reviewing previous work on the light-cone superstring, we derive the explicit form of the action at =0. Its zero-mode part coincides with the superparticle action in AdS ₅×S ⁵, and the =0 string spectrum, as expected, must therefore include the protected type-IIB supergravity states. Following recent suggestions, we conjecture that such a tensionless string spectrum must also contain higher-spin massless states in AdS ₅. We also discuss the case of another parameterization of the string action that admits the straightforward flat-space limit R, but the limits R0 and are not equivalent in this case. The limit R0 then corresponds to shrinking S ⁵ to the size zero, simultaneously freezing the fluctuations of the radial coordinate of AdS ₅. This case results in a nonstandard AdS/CFT correspondence picture.     

Random polytopes in thed-dimensional cube

LetC ^d be the set of vertices of ad-dimensional cube,C ^d ={(x ₁, ...,x _d ):x _i =±1}. Let us choose a randomn-element subsetA(n) ofC ^d . Here we prove that Prob (the origin belongs to the convA(2d+x2d))=(x)+o(1) ifx is fixed andd . That is, for an arbitrary>0 the convex hull of more than (2+)d vertices almost always contains 0 while the convex hull of less than (2-)d points almost always avoids it.     

Staircase kernels for orthogonald-polytopes

LetS be a finite union of boxes inR ^d . Forx inS, defineA _x ={yx is clearly visible fromy via staircase paths inS}, and let KerS denote the staircase kernel ofS. Then KerS={A _x x is a point of local nonconvexity ofS}. A similar result holds with clearly visible replaced by visible and points of local nonconvexity ofS replaced by boundary points ofS.Supported in part by NSF grant DMS-9207019.     

The (-1/2λϕ2) model of quantum field theory

The model of a scalar field with interaction potential exp (-1/2²) ind-dimensional spacetime (d2) is considered. It is shown that the Green's functions of the model are the same as the Green's functions of the free field.Physicotechnical Institute, Moscow. Translated from Teoreticheskaya i Matematicheskaya Fizika, Vol. 91, No. 3, pp. 411–417, June, 1992.     

Sets with fixed congruence in a steiner system

In this paper we study particular sets of a Steiner systemS. More precisely, we study the setsA such that ¦A ¦ d modh for all lines ofS, withd andh integers satisfyingd 0,h 2.Dedicated to Professor M. Scafati Tallini on the occasion of her sixtyfifth birthday     

1-Homogeneous Graphs with Cocktail Party μ-Graphs

Let be a graph with diameter d 2. Recall is 1-homogeneous (in the sense of Nomura) whenever for every edge xy of the distance partition{{z V() | (z, y) = i, (x, z) = j} | 0 i, j d}is equitable and its parameters do not depend on the edge xy. Let be 1-homogeneous. Then is distance-regular and also locally strongly regular with parameters (v,k,,), where v = k, k = a ₁, (v – k – 1) = k(k – 1 – ) and c ₂ + 1, since a -graph is a regular graph with valency . If c ₂ = + 1 and c ₂ 1, then is a Terwilliger graph, i.e., all the -graphs of are complete. In [11] we classified the Terwilliger 1-homogeneous graphs with c ₂ 2 and obtained that there are only three such examples. In this article we consider the case c ₂ = + 2 3, i.e., the case when the -graphs of are the Cocktail Party graphs, and obtain that either = 0, = 2 or is one of the following graphs: (i) a Johnson graph J(2m, m) with m 2, (ii) a folded Johnson graph J¯(4m, 2m) with m 3, (iii) a halved m-cube with m 4, (iv) a folded halved (2m)-cube with m 5, (v) a Cocktail Party graph K _{m × 2} with m 3, (vi) the Schläfli graph, (vii) the Gosset graph.     

On the homogeneity of additive mappings

LetK be a ring with an identity 1 0 andM, L two unitaryK-modules. Then, for any additive mappingf:M L, the setH _f :={ K f(x)=f(x) for allx M} forms a subring ofK, the homogeneity ring off. It is shown that, forM {0},L {0} and any subringS ofK for whichM is a freeS-module, there exists an additive mappingf:ML such thatH _f =S. This result is applied to the four Cauchy functional equations, and it leads also to an answer to the question as to whether it is possible to introduce onM a multiplication ·:M × M M makingM into a ring but not into aK-algebra.     

On the Hantzsche-Wendt manifold

We explicitly compute the outer automorphism group Out ₁ M of the fundamental group of the Hantzsche — Wendt manifoldM. It is an extension 1(₂)³Out₁ MS ₃₂1, but not the semidirect product (₂)³(S ₃₂) as claimed in [3] (see also [4]). As a consequence, we get a quick algebraic computation of the symmetry groups of the Borromean rings and the figure-8-knot.     

Continuous Quotients for Lattice Actions on Compact Spaces

Let < SL _n ( ) be a subgroup of finite index, where n 5. Suppose acts continuously on a manifold M, where ₁(M) = ⁿ , preserving a measure that is positive on open sets. Further assume that the induced action on H ¹(M) is non-trivial. We show there exists a finite index subgroup < and a equivariant continuous map : M ⁿ that induces an isomorphism on fundamental group. We prove more general results providing continuous quotients in cases where ₁(M) surjects onto a finitely generated torsion free nilpotent group. We also give some new examples of manifolds with actions.     

More about signatures and approximation

Consider a non-singular real algebraic varietyM together with a codimension 1 real algebraic setY M. SupposeY=^–1(0) for a smooth function :M and denote by the signature induced by onM–Y. The following results are proved.For compactM, is induced by a regular functionf R(M) if and only if the setY ^c, where changes sign, is the union of the (d–1)-dimensional parts of some irreducible components ofY if and only if can be approximated by regular functions with the same zero-set. For non-compactM this is true only ifR(M) is a factorial ring. Similar results are proved whenM andY are real analytic instead of algebraic.Dedicated to the memory of our friend Mario RaimondoThe authors are members of GNSAGA of CNR. This work is partially supported by MURST.     

A Hubert space characterization among function spaces

— [0,1] ,E — - e=1 [0,1]. I — _E =1, E=L ₂ x _e =xL ₂ x E.

---

---

This work was prepared when the second author was a visiting professor of the CNR at the University of Firenze. He was supported by the Soros International Fund.     

Fubini theorem for anticipating stochastic integrals in Hilbert space

Let (X,l,) be a measure space, letW be a cylindrical Hilbert-Wiener process, and let be an anticipating integrable process-valued function onX. We prove, under natural assumptions on, that there exists a measurable version Y_x,x X, of the anticipating integral of(x) such that the integral _x Y_x(dx) is a version of the anticipating integral of _X (x)(dx). We apply this anticipating Fubini theorem to study solutions of a class of stochastic evolution equations in Hilbert space.     

On the smoothness of the moduli space of mathematical instanton bundles

In this paper we prove that the moduli spaces MI _2n+1(k) of mathematical instanton bundles on ²ⁿ⁺¹ with quantum number k are singular for n 2 and k 3 ,giving a positive answer to a conjecture made by Ancona and Ottaviani in 1993.     

The Laplacian with Robin Boundary Conditions on Arbitrary Domains

Using a capacity approach, we prove in this article that it is always possible to define a realization of the Laplacian on L ²() with generalized Robin boundary conditions where is an arbitrary open subset of R ⁿ and is a Borel measure on the boundary of . This operator generates a sub-Markovian C ₀-semigroup on L ²(). If d=d where is a strictly positive bounded Borel measurable function defined on the boundary and the (n–1)-dimensional Hausdorff measure on , we show that the semigroup generated by the Laplacian with Robin boundary conditions has always Gaussian estimates with modified exponents. We also obtain that the spectrum of the Laplacian with Robin boundary conditions in L ^p () is independent of p[1,). Our approach constitutes an alternative way to Daners who considers the (n–1)-dimensional Hausdorff measure on the boundary. In particular, it allows us to construct a conterexample disproving Daners' closability conjecture.