scispace - formally typeset
Search or ask a question

Showing papers on "Ring (mathematics) published in 1991"




Journal ArticleDOI
TL;DR: It is shown that any probabilistic algorithm for 3 coloring the ring must take at least $\frac{1}{2}\log^* n - 2$ rounds, otherwise the probability that all processors are colored legally is less than $1$.
Abstract: Suppose that n processors are arranged in a ring and can communicate only with their immediate neighbors. It is shown that any probabilistic algorithm for 3 coloring the ring must take at least $\frac{1}{2}\log^* n - 2$ rounds, otherwise the probability that all processors are colored legally is less than $\frac{1}{2}$. A similar time bound holds for selecting a maximal independent set. The bound is tight (up to a constant factor) in light of the deterministic algorithms of Cole and Vishkin [Inform, and Control, 70 (1986), pp. 32–53] and extends the lower bound for deterministic algorithms of Linial [Proc. 28th IEEE Foundations of Computer Science Symposium, 1987, pp. 331–335].

144 citations


Journal ArticleDOI
TL;DR: In this article, a general topological formula for the chiral ring OPE coefficients of any Landau-Ginzburg model, including the absolute normalization, is derived.
Abstract: We discuss some nonperturbative aspects of the correspondence between N=2 Landau-Ginzburg orbifolds and Calabi-Yau σ-models. We suggest that the correct framework is Deligne’s theory of mixed Hodge structures (closely related to catastrophe theory). We derive a general topological formula for the chiral ring OPE coefficients of any Landau-Ginzburg model, including the absolute normalization. This follows from the identification of spectral flow with Grothendieck’s local duality. Wherever the LG model has a CY interpretation, its OPE coefficients are equal to those of the σ-model as given by intersection theory, including normalization. We discuss at length the tricky case of a number of LG fields greater than c/3+2, presenting explicit examples. In passing, we get many results about the geometry of moduli spaces for such conformal theories. We explain the beautiful algebraic geometry connected with a remarkable model pointed out by Vafa, and its relations with moduli space geometry.

123 citations


Journal ArticleDOI
James Lee Hafner1, Kevin S. McCurley1
TL;DR: This paper shows how to apply fast matrix multiplication techniques to the problem of triangularizing a matrix over a ring using elementary column operations to lead to an algorithm for triangularizing integer matrices that has a faster running time than the known Hermite normal form algorithms.
Abstract: This paper considers the problems of triangularizing and diagonalizing matrices over rings, with particular emphasis on the integral case. It begins with a description of fast algorithms for the computation of Hermite and Smith normal forms of integer matrices. Then it shows how to apply fast matrix multiplication techniques to the problem of triangularizing a matrix over a ring using elementary column operations. These general results lead to an algorithm for triangularizing integer matrices that has a faster running time than the known Hermite normal form algorithms. The triangular matrix that is computed has small entries like the Hermite normal form, and will suffice for many applications.

120 citations


Journal ArticleDOI
Naihuan Jing1
TL;DR: In this article, a vertex operator approach to the symmetric group Sn and its double covering group Γn is presented, and a distinguished orthogonal basis of V corresponds to the set of nontrivial irreducible characters of Γ n, where both are parametrized by partitions with odd integer parts.

113 citations


Journal ArticleDOI
TL;DR: The main objective in this paper is to prove that any multiplicative derivation of R is additive if and only if d is additive, i.e., if the derivation is additive.
Abstract: Our main objective in this note is to prove the following Suppose R is a ring having an idempotent element e ( e ≠ 0 , e ≠ 1 ) which satisfies: ( M 1 ) x R = 0 implies x = 0 ( M 2 ) e R x = 0 implies x = 0 ( and hence R x = 0 implies x = 0 ) ( M 3 ) e x e R ( 1 − e ) = 0 implies e x e = 0 If d is any multiplicative derivation of R , then d is additive

98 citations



Journal ArticleDOI
TL;DR: In this paper, a criterion to determine whether a given ring is F-regular (resp. F-pure) or not via the action of Frobenius on the highest local cohomology group of the canonical module is given.

81 citations



Journal ArticleDOI
TL;DR: The existence of these rings and modules leads to nontrivial constraints on the correlation functions and goes a long way toward solving two-dimensional quantum gravity models in the continuum approach.
Abstract: All solvable two-dimensional quantum gravity models have non-trivial BRST cohomology with vanishing ghost number. These states form a ring and all the other states in the theory fall into modules of this ring. The relations in the ring and in the modules have a physical interpretation. The existence of these rings and modules leads to nontrivial constraints on the correlation functions and goes a long way toward solving these theories in the continuum approach.

Journal ArticleDOI
TL;DR: In this article, it was shown that no category can satisfy all five minimal axioms for a good category of spectra with a well-behaved smash product, and that this frustration is unavoidable.

Journal ArticleDOI
TL;DR: In this paper, the authors used the three-dimensional rigid-plastic finite element method to simulate the open pass profile ring rolling of a T-shaped section from an initially rectangular cross-section.

Journal ArticleDOI
Faith Carl1
TL;DR: In this article, it was shown that maximal (minimal) annulets of a polynomial ring R[X] are extended, as a theorem of McCopy on annihilators in R[x] readily shows.
Abstract: If R is a ring, and A right annulet(= annihilator right ideal) then A[X] is a right annulet of the polynomial ring R[X]. (In factX can be any set of variables.). An annulet I of R[X] of this form is said to be be extended. Not all annulets of R[X] are extended, since e.g., the ascending chain on right annulets (= acc ┴) is not inherited by R[X], as, Kerr [Ke] observed. Nevertheless, maximal (minimal) annulets of a polynomial ring R[X] are extended, as a theorem of McCopy on annihilators in R[X] readily shows (see Introduction).

Journal ArticleDOI
TL;DR: It was shown in this paper that for any reasonable ring R, for every R -module K there is a non-projective module M such that Ext R 1 (M, K ) = 0; in particular, there are Whitehead R -modules which are not projective.

Journal ArticleDOI
TL;DR: The notion of tight closure for a submodule N of a finitely generated module M over a Noetherian ring R of characteristic p and in certain equicharacteristic zero cases, including affine algebras over fields of characteristic 0, was introduced in this article.

Book ChapterDOI
01 Jan 1991
TL;DR: In this article, the authors considered the ring of continuous functions on a topological space as a purely algebraic object without defining any topological relations in it, and showed that in the case of bicompact spaces, considered by M.H.Stone, and also in some much more general cases, even the pure algebraic structure of the ring-of-continuous functions determines the topological spaces to within a homeomorphism.
Abstract: This paper is related to studies byM.H.Stone [2] and to the above paper by G.E. Shilov. In contrast to the latter, we consider the ring of continuous functions on a topological space as a purely algebraic object without defining any topological relations in it. It turns out that in the case of bicompact spaces, considered by M.H. Stone, and also in some much more general cases, even the purely algebraic structure of the ring of continuous functions determines the topological space to within a homeomorphism.

Book ChapterDOI
01 Jan 1991
TL;DR: In this article, the invariants of the ring FG can be described in terms of the group basis G of FG over a finite group over a field and the elements of G form a distinguished basis of FG of G over the field.
Abstract: Let F be a field, and let G be a finite group. Then the elements of G form a distinguished basis of the group algebra FG of G over F. In this paper we shall be concerned with the following two closely related questions: Which invariants of the ring FG can be described in terms of the group basis G of FG? Which invariants of the group G are determined by the structure of the ring FG?

Journal ArticleDOI
TL;DR: In this article, a 3D finite element preform design for plain ring rolling and T-section profiled ring rolling is presented, which is based on the backward tracing method.
Abstract: Perform design by the three-dimensional finite element method has been carried out for plain ring rolling and T-section profiled ring rolling. The application of the backward tracing scheme for perform design in ring rolling processes demonstrates, for the first time, the extension of the scheme into three dimensions. The preform design in plain ring rolling aims at obtaining a preform which simulates a final plain ring product with uniform axial height. Loading simulations were carried out for two progressively modified preforms derived from the result of loading simulations with a rectangular-shaped ring. Then, backward tracing was applied to obtain a final preform for the specified product configuration of uniform axial height. The preform in the T-section profiled ring rolling process was to be designed to simulate a final profiled ring product with complete filling in the groove and uniform axial height. The final preform shape for plain ring rolling was selected as a trial preform in T-section profiled ring rolling. A more satisfactory preform was obtained from the backward tracing results. It was shown by forward simulation that the final preform was good enough to satisfy the design criteria.

Journal ArticleDOI
TL;DR: In this paper, the following question was raised by Cowsik [Cw]: if P is a prime ideal ideal in a regular local ring (R, n), is the symbolic Rees ring Rep) := @,120 PC”' a noetherian ring, where PC is the n-symbolic power of P.

Journal ArticleDOI
TL;DR: A technique for simulating balanced Boolean formulas of sizes by bounded-width branching programs of lengthO (s1+∈) is obtained, which is an asymptotic improvement in efficiency over previous simulations in both the Boolean and algebraic settings.
Abstract: We show that, over an arbitrary ring, for any fixed ∈>0, all balanced algebraic formulas of sizes are computed by algebraic straight-line programs that employ a constant number of registers and have lengthO (s 1+∈). In particular, in the special case where the ring isGF(2), we obtain a technique for simulating balanced Boolean formulas of sizes by bounded-width branching programs of lengthO(s 1+∈), for any fixed ∈>0. This is an asymptotic improvement in efficiency over previous simulations in both the Boolean and algebraic settings.

Journal ArticleDOI
John Fountain1
01 Nov 1991
TL;DR: In this paper, a necessary and sufficient condition is found for the subsemigroup generated by E to be the set of all matrices in Mn(R) of rank less than n.
Abstract: Let E denote the set of non-identity idempotent matrices in the full matrix ring Mn(R) over a principal ideal domain R. A necessary and sufficient condition is found for the subsemigroup generated by E to be the set of all matrices in Mn(R) of rank less than n. The condition is satisfied when R is a discrete valuation ring and when R is the ring of integers. Thus every n × n matrix of rank less than n is a product of idempotent integer matrices.

Journal ArticleDOI
01 Jan 1991
TL;DR: In this paper, the centralizer near-ring in R is characterized and the Artinian rings in R are shown to be Artinian if and only if MR(G) = EndR(G), for each R-module G.
Abstract: Let R be the collection of all rings R such that for every Rmodule G, the centralizer near-ring MR(G) = {f: G -GIf(rx) = rf(x), r E R, x E G} is a ring. We show R E 9 if and only if MR(G) = EndR(G) for each R-module G. Further information about R is collected and the Artinian rings in R are completely characterized.

Journal ArticleDOI
TL;DR: In this article, an experimental study of the molecular mixing of a dynamically passive conserved scalar quantity in an axisymmetric laminar vortex ring is presented based on highly resolved laser-induced fluorescence imaging measurements of the scalar field in the diametral plane of the ring.
Abstract: Results are presented from an experimental study of the molecular mixing of a dynamically passive conserved scalar quantity in an axisymmetric laminar vortex ring. The experiments are based on highly resolved laser‐induced fluorescence imaging measurements of the scalar field ζ(x,t) in the diametral plane of the ring, from which the evolution of the molecular mixing rate field ∇ζ⋅∇ζ(x,t) can be directly examined. In particular, the structure and dynamics of the mixing process are addressed during the three characteristic stages in the ring evolution, namely, (i) the ring generation stage, (ii) the ring pinch‐off stage, and (iii) the asymptotic stage of the ring. Results show a layering of the mixing process in which the diffusional cancellation term ∇(∇ζ):∇(∇ζ) plays a major role in setting the overall mixing rate achieved. The scalar field measurements are also used to extract detailed information about the underlying velocity field in the ring.

Journal ArticleDOI
TL;DR: In this paper, the authors derived a bound on the mass of a self-gravitating ring about a central body about which the system will be linearly stable, which is the best possible bound.
Abstract: Stability of a self-gravitating ring about a central body is considered. The purpose is to derive a bound on the mass of the ring in order that the system will be linearly stable. Our bound will, in some cases, be the best possible bound. The bound is also expanded as an asymptotic series. Comparisons of our result are made with respect to previous analyses performed by Tisserand, Pendse and Willerding.

Journal ArticleDOI
Takayuki Hibi1
TL;DR: In this article, the rank selection theorems of Munkres et al. were generalized to the case of simplicial simplicial complexes, where the local cohomology module of the Stanley-Reisner ring k[Δ] of a simplicial complex over a field k is considered.

Journal ArticleDOI
TL;DR: In this paper, the Moore-Penrose inverses were shown to be invertible in the case of group inverse A #, where A # is a matrix over a ring.

Journal ArticleDOI
TL;DR: In this paper, the authors extend the methods used in [6] to characterize automorphisms of certain upper triangular matrix rings, and show that for a central simple K-algebra A the group of K-automorphisms of A is extensively treated in the literature.

Journal ArticleDOI
A.N. Schellekens1
TL;DR: In this paper, the authors discuss N = 2 coset models with fixed points in their field identification and determine the corrections to the modular transformations that are needed to resolve the fixed point, and show how to obtain the correct fusion rules.

Journal ArticleDOI
TL;DR: Ring constructions originating with Bose, Hanani and Wilson that require finite fields are modified to work in rings with unity to derive new classes of abelian and cyclic difference families with blocks size 4.