Equal-time temperature correlators of the one-dimensional heisenberg XY chain

For equal-time temperature correlators of the anisotropic Heisenberg XY chain, representations are obtained in the form of determinants of M×M matrices. These representations are simple deformations of the answers for the isotropic XXO chain. In the thermodynamic limit, the correlators are expressed in terms of the Fredholm determinants of linear integral operators. Bibliography: 30 titles. Translated fromZapiski Nauchnykh Seminarov POMI, Vol. 245, 1997, pp. 173–206. Translated by N. A. Kitanin.     

Generalized finiteness conditions

For a module M for various quotient modules M/N of M, cardinality restrictions are placed on the number of generators of submodules of M/N, and on the (infinite) Goldie dimensions of M/N. The conditions FGS and TC of R. Kurshan are formulated and generalized for arbitrary cardinals. The module theoretic consequences of these and other such finite-ness conditions with ascending chain conditions are explored.     

T-Semisimple Modules and T-Semisimple Rings

We define and investigate t-semisimple modules as a generalization of semisimple modules. A module M is called t-semisimple if every submodule N contains a direct summand K of M such that K is t-essential in N. T-semisimple modules are Morita invariant and they form a strict subclass of t-extending modules. Many equivalent conditions for a module M to be t-semisimple are found. Accordingly, M is t-semisiple, if and only if, M = Z ₂(M) ⊕ S(M) (where Z ₂(M) is the Goldie torsion submodule and S(M) is the sum of nonsingular simple submodules). A ring R is called right t-semisimple if R _R is t-semisimple. Various characterizations of right t-semisimple rings are given. For some types of rings, conditions equivalent to being t-semisimple are found, and this property is investigated in terms of chain conditions.     

On the limit-classifications of even and odd-order formally symmetric differential expressions

In this paper we consider the formally symmetric differential expressionM [.] of any order (odd or even) ≥ 2. We characterise the dimension of the quotient spaceD(T _max)/D(T _min) associated withM[.] in terms of the behaviour of the determinants det [[f _rg_s](∞)] where 1 ≤n ≤ (order of the expression +1); here [fg](∞) = lim [fg](x), where [fg](x) is the sesquilinear form in f andg associated withM. These results generalise the well-known theorem thatM is in the limit-point case at ∞ if and only if [fg](∞) = 0 for everyf, g ε the maximal domain Δ associated withM.     

Functional Integration with an “Automorphic” Boundary Condition and Correlators of Third Components of Spins in the XX Heisenberg Model

For the generating function of static correlators of the third components of spins in the XX Heisenberg model, we derive a new representation given by a combination of Gaussian functional integrals over anticommuting variables. A peculiarity of the resulting functional integral is that a part of the integration variables depend on the imaginary time automorphically: these variables are multiplied by a certain complex number under the shift of the imaginary time by the period. The other variables satisfy the standard boundary conditions of the fermionic/bosonic type. Functional integration results are represented as determinants of matrix operators. We finally evaluate the generating function of correlators and the partition function of the model in the zeta-function regularization. The consistency of the suggested functional definition is confirmed by calculating several correlation functions of the third components of spins at a nonzero temperature.     

A divide and conquer approach to computing the mean first passage matrix for Markov chains via Perron complement reductions

Let M_T be the mean first passage matrix for an n‐state ergodic Markov chain with a transition matrix T. We partition T as a 2×2 block matrix and show how to reconstruct M_T efficiently by using the blocks of T and the mean first passage matrices associated with the non‐overlapping Perron complements of T. We present a schematic diagram showing how this method for computing M_T can be implemented in parallel. We analyse the asymptotic number of multiplication operations necessary to compute M_T by our method and show that, for large size problems, the number of multiplications is reduced by about 1/8, even if the algorithm is implemented in serial. We present five examples of moderate sizes (of orders 20–200) and give the reduction in the total number of flops (as opposed to multiplications) in the computation of M_T. The examples show that when the diagonal blocks in the partitioning of T are of equal size, the reduction in the number of flops can be much better than 1/8. Copyright © 2001 John Wiley & Sons, Ltd.     

Multi-Particle Correlation Functions in a Trapped Bose Gas

Multi-particle correlation functions at nonzero temperatures in a trapped Bose gas for D = 3, 2, 1 dimensions are considered. It is shown that, at relatively large distances, the multi-particle correlators are expressed in terms of one-particle ones. Bibliography: 13 titles.     

Omega- and Beta-Models of Alternative Set Theory

We present the axioms of Alternative Set Theory (AST) in the language of second-order arithmetic and study its ω- and β-models. These are expansions of the form (M, M), M ? P(M), of nonstandard models M of Peano arithmetic (PA) such that (M, M) ? AST and ω ? M. Our main results are: (1) A countable M ? PA is β-expandable iff there is a regular well-ordering for M. (2) Every countable β-model can be elementarily extended to an ω-model which is not a β-model. (3) The Ω-orderings of an ω-model (M, M) are absolute well-orderings iff the standard system SS(M) of M is a β-model of A^?_2. (4) There are ω-expandable models M such that no ω-expansion of M contains absolute Ω-orderings. (5) There are s-expandable models (i. e., their ω-expansions contain only absolute Ω-orderings) which are not β-expandable. (6) For every countable β-expansion M of M, there is a generic extension M[G] which is also a β-expansion of M. (7) If M is countable and β-expandable, then there are regular orderings <₁, <₂ such that neither <₁ belongs to the ramified analytical hierarchy of the structure (M, <₂), nor <₂ to that of (M, <₁). (8) The result (1) can be improved as follows: A countable M ? PA is β-expandable iff there is a semi-regular well-ordering for M.     

On the Stationary Distribution of the GI X /M Y /1 Queueing System

For the GI ^X /M/1 queue, it has been recently proved that there exist geometric distributions that are stochastic lower and upper bounds for the stationary distribution of the embedded Markov chain at arrival epochs. In this note we observe that this is also true for the GI ^X /M ^Y /1 queue. Moreover, we prove that the stationary distribution of its embedded Markov chain is asymptotically geometric. It is noteworthy that the asymptotic geometric parameter is the same as the geometric parameter of the upper bound. This fact justifies previous numerical findings about the quality of the bounds.     

Commensurability of Hyperbolic Manifolds with Geodesic Boundary

Suppose , let M ₁, M ₂ be n-dimensional connected complete finite-volume hyperbolic manifolds with nonempty geodesic boundary, and suppose that π₁ (M ₁) is quasi-isometric to π₁ (M ₂) (with respect to the word metric). Also suppose that if n=3, then ∂M ₁ and ∂M ₂ are compact. We show that M ₁ is commensurable with M ₂. Moreover, we show that there exist homotopically equivalent hyperbolic 3-manifolds with non-compact geodesic boundary which are not commensurable with each other. We also prove that if M is as M ₁ above and G is a finitely generated group which is quasi-isometric to π₁ (M), then there exists a hyperbolic manifold with geodesic boundary M′ with the following properties: M′ is commensurable with M, and G is a finite extension of a group which contains π₁ (M′) as a finite-index subgroupMathematics Subject Classification (2000). Primary: 20F65; secondary: 30C65, 57N16     

On the canonical extension of a differentiable manifold

In this paper, the differential geometry of second canonical extension² M of a differentiable manifoldM is studied. Some vector fields tangent to² M inTTM are determined. In addition we obtain that the second canonical extensions ofM and a totally geodesic submanifold inM are totally geodesic submanifolds inTTM and² M respectively.     

Maximum principle at infinity for complete minimal surfaces in flat 3-manifolds

The main result of this paper is the following maximum principle at infinity:Theorem.Let M ₁ and M ₂ be two disjoint properly embedded complete minimal surfaces with nonempty boundaries, that are stable in a complete flat 3-manifold. Then dist(M ₁,M ₂)=min(dist(M ₁,M ₂), dist(M ₂,M ₁)).In case one boundary is empty, e.g. M ₁,then dist(M ₁,M ₂)=dist(M ₂,M ₁).If both boundaries are empty, then M ₁ and M ₂ are flat.     

D3-Modules

A right R-module M is called a D3-module, if M ₁ and M ₂ are direct summands of M with M = M ₁ + M ₂, then M ₁ ∩ M ₂ is a direct summand of M. Following the work of Bass on projective covers, we introduce the notion of D3-covers and provide new characterizations of several well-known classes of rings in terms of D3-modules and D3-covers.     

Some dimension-free features of vector-valued martingales

Summary Given any local maringaleM inR ^d orl ², there exists a local martingaleN inR ², such that |M|=|N|, [M]=[N], and «M»=«N». It follows in particular that any inequality for martingales inR ² which involves only the processes |M|, [M] and «M» remains true in arbitrary dimension. WhenM is continuous, the processes |M|² and |M| satisfy certain SDE's which are independent of dimension and yield information about the growth rate ofM. This leads in particular to tail estimates of the same order as in one dimension. The paper concludes with some new maximal inequalities in continuous time.Research supported by NSF grant DMS-9002732 and by AFOSR Contract F49620 85C 0144     

On a class of finite rings

In [7], Corbas determined all finite rings in which the product of any two zero-divisors is zero, and showed that they are of two types, one of characteristic p ²and the other of characteristic p².

The purpose of this paper is to address the problem of the classification of finite rings such that.

(i)the set of all zero-divisors form an ideal M.

(ii)M ³=(0); and.

(iii)M ³≠(0).

Because of (i), these rings are called completely primary and we shall call a finite completely primary ring R which satisfies conditions (i), (ii) and (iii), a ring with property(T). These rings are of three types, namely, of characteristic p p ² and p ³. The characteristic p ² case is subdivided into cases in which p?M ² p?ann(M)?M ² and p?M ?ann(M), where ann(M) denotes the two-sided annihilator of where M in R.     

Finitely Presented Modules Over Semihereditary Rings

We prove that each almost local-global semihereditary ring R has the stacked bases property and is almost Bézout. More precisely, if M is a finitely presented module, its torsion part tM is a direct sum of cyclic modules where the family of annihilators is an ascending chain of invertible ideals. These ideals are invariants of M. Moreover, M/tM is a projective module which is isomorphic to a direct sum of finitely generated ideals. These ideals allow us to define a finitely generated ideal whose isomorphism class is an invariant of M. The idempotents and the positive integers defined by the rank of M/tM are invariants of M too. It follows that each semihereditary ring of Krull-dimension one or of finite character, in particular each hereditary ring, has the stacked base property. These results were already proved for Prüfer domains by Brewer, Katz, Klinger, Levy, and Ullery. It is also shown that every semihereditary Bézout ring of countable character is an elementary divisor ring.     

Cancellation in primely generated refinement monoids

We prove that any primely generated refinement monoid M has separative cancellation, and even strong separative cancellation provided M has no nonzero idempotents. A form of multiplicative cancellation also holds: na ￡ nb na\leq nb implies a ￡ b a\leq b for a,b ? M a,b \in M and n ? {1,2,3,?} n \in \{1,2,3,\ldots\} . In addition, M is a semilattice in the sense that, given c₁,c₂ ? M c_1,c_2 \in M , there is an element d ? M d \in M such that c₁,c₂ ￡ d c_1,c_2 \leq d and, for all a ? M, c₁,c₂ ￡ a a \in M, c_1,c_2 \leq a implies d ￡ a d \leq a . Finally, we prove that any finitely generated refinement monoid is primely generated; in fact, this holds for any refinement monoid with a set of generators satisfying the descending chain condition.     

Random invariant measures for Markov chains,and independent particle systems

Summary Let P be the transition operator for a discrete time Markov chain on a space S. The object of the paper is to study the class of random measures on S which have the property that MP=M in distribution. These will be called random invariant measures for P. In particular, it is shown that MP=M in distribution implies MP=M a.s. for various classes of chains, including aperiodic Harris recurrent chains and aperiodic irreducible random walks. Some of this is done by exploiting the relationship between random invariant measures and entrance laws. These results are then applied to study the invariant probability measures for particle systems in which particles move independently in discrete time according to P. Finally, it is conjectured that every Markov chain which has a random invariant measure also has a deterministic invariant measure.Research supported in part by N.S.F. Grant No. MCS 77-02121     

The Role of the Legendre Transform in the Study of the Floer Complex of Cotangent Bundles

Consider a classical Hamiltonian H on the cotangent bundle T*M of a closed orientable manifold M, and let L:TM → R be its Legendre‐dual Lagrangian. In a previous paper we constructed an isomorphism Φ from the Morse complex of the Lagrangian action functional that is associated to L to the Floer complex that is determined by H. In this paper we give an explicit construction of a homotopy inverse Ψ of Φ. Contrary to other previously defined maps going in the same direction, Ψ is an isomorphism at the chain level and preserves the action filtration. Its definition is based on counting Floer trajectories on the negative half‐cylinder that on the boundary satisfy half of the Hamilton equations. Albeit not of Lagrangian type, such a boundary condition defines Fredholm operators with good compactness properties. We also present a heuristic argument which, independently of any Fredholm and compactness analysis, explains why the spaces of maps that are used in the definition of Φ and Ψ are the natural ones. The Legendre transform plays a crucial role both in our rigorous and in our heuristic arguments. We treat with some detail the delicate issue of orientations and show that the homology of the Floer complex is isomorphic to the singular homology of the loop space of M with a system of local coefficients, which is defined by the pullback of the second Stiefel‐Whitney class of TM on 2‐tori in M.© 2015 Wiley Periodicals, Inc.     

Lifting Modules with Indecomposable Decompositions

A module M is called a “lifting module” if, any submodule A of M contains a direct summand B of M such that A/B is small in M/B. This is a generalization of projective modules over perfect rings as well as the dual of extending modules. It is well known that an extending module with ascending chain condition (a.c.c.) on the annihilators of its elements is a direct sum of indecomposable modules. If and when a lifting module has such a decomposition is not known in general. In this article, among other results, we prove that a lifting module M is a direct sum of indecomposable modules if (i) rad(M ^(I)) is small in M ^(I) for every index set I, or, (ii) M has a.c.c. on the annihilators of (certain) elements, and rad(M) is small in M.