η%-Superconvergence of Finite Element Solutions and Error Estimators

This paper is a summary of our study on the superconvergence of the finite element solutions and error estimators. We will persent the analysis of %-superconvergence for finite element solutions of the Poisson equation in the interior of meshes of triangles with straight edges, as well as the analysis at the boundary. The %-superconvergence via local averaging will also be presented, and the error estimators are compared in the sense of %-superconvergence.     

Good ideals in Gorenstein local rings

Let be an -primary ideal in a Gorenstein local ring (, ) with , and assume that contains a parameter ideal in as a reduction. We say that is a good ideal in if is a Gorenstein ring with . The associated graded ring of is a Gorenstein ring with if and only if . Hence good ideals in our sense are good ones next to the parameter ideals in . A basic theory of good ideals is developed in this paper. We have that is a good ideal in if and only if and . First a criterion for finite-dimensional Gorenstein graded algebras over fields to have nonempty sets of good ideals will be given. Second in the case where we will give a correspondence theorem between the set and the set of certain overrings of . A characterization of good ideals in the case where will be given in terms of the goodness in their powers. Thanks to Kato's Riemann-Roch theorem, we are able to classify the good ideals in two-dimensional Gorenstein rational local rings. As a conclusion we will show that the structure of the set of good ideals in heavily depends on . The set may be empty if , while is necessarily infinite if and contains a field. To analyze this phenomenon we shall explore monomial good ideals in the polynomial ring in three variables over a field . Examples are given to illustrate the theorems.

     

Unusual Corrections to Scaling in the 3-State Potts Antiferromagnet on a Square Lattice

At zero temperature, the 3-state antiferromagnetic Potts model on a square lattice maps exactly onto a point of the 6-vertex model whose long-distance behavior is equivalent to that of a free scalar boson. We point out that at nonzero temperature there are two distinct types of excitation: vortices, which are relevant with renormalization-group eigenvalue 1/2 and non-vortex unsatisfied bonds, which are strictly marginal and serve only to renormalize the stiffness coefficient of the underlying free boson. Together these excitations lead to an unusual form for the corrections to scaling: for example, the correlation length diverges as J/kT according to Ae ² (1+be ^– +···), where b is a nonuniversal constant that may nevertheless be determined independently. A similar result holds for the staggered susceptibility. These results are shown to be consistent with the anomalous behavior found in the Monte Carlo simulations of Ferreira and Sokal.     

Sheaves on Involutive Quantaloids

We extend the well-known notions of a singleton, complete -set, presheaf and sheaf over a complete Heyting algebra or a right-sided idempotent quantale to arbitrary involutive quantaloids. We show that sheaves on and complete -sets come to the same thing. This paper can be considered as a symmetric version of an earlier work of the author.     

Differences of Convex Compact Sets in the Space of Directed Sets. Part I: The Space of Directed Sets

A normed and partially ordered vector space of so-called directed sets is constructed, in which the convex cone of all nonempty convex compact sets in R ⁿ is embedded by a positively linear, order preserving and isometric embedding (with respect to a new metric stronger than the Hausdorff metric and equivalent to the Demyanov one). This space is a Banach and a Riesz space for all dimensions and a Banach lattice for n=1. The directed sets in R ⁿ are parametrized by normal directions and defined recursively with respect to the dimension n by the help of a support function and directed supporting faces of lower dimension prescribing the boundary. The operations (addition, subtraction, scalar multiplication) are defined by acting separately on the support function and recursively on the directed supporting faces. Generalized intervals introduced by Kaucher form the basis of this recursive approach. Visualizations of directed sets will be presented in the second part of the paper.     

Positive and negative 3-K-contact structures

The aim of this paper is to give a characterization of 3-K-contact and quasi 3-K-contact manifolds.

     

Another Note on the Greatest Prime Factors of Fermat Numbers

For every positive integer k > 1, let P(k) be the largest prime divisor of k. In this note, we show that if F_m = 2^2m + 1 is the mth Fermat number, then P(F_m) 2^m+2(4m + 9) + 1 for all m 4. We also give a lower bound of a similar type for P(F_a,m), where F_a,m = a^2m + 1 whenever a is even and m a¹⁸.AMS Subject Classification (1991) 11A51 11J86     

BLOWUP OF SOLUTIONS TO THE CAUCHY PROBLEM FOR NONLINEARWAVE EQUATIONS

gi. IntroductionThis paper deals with solutionS of certain nonlinear wave equationS Of the formcorresponding to Antial conditionSwuersis the wave OPerstor.we are interested in showing the ~ up" Of solutions to (1.1)--(1.2). For that, wereIf ac ~ 1)(n ~ 1) > 2, global solutions of ~ equation subject to very general perturbationsof order p exist Provided the initial data are swhciently small (see I6] and references therein).We are also interested in esthaattw the take when "blow up" occurs. …     

Optimal Ternary Linear Rate 1/2 Codes

In this paper, we classify all optimal linear[n, n/2] codes up to length 12. We show that thereis a unique optimal [10, 5, 5] code up to equivalence.     

The Dedekind-Mertens lemma and the contents of polynomials

Let be a commutative ring, let be an indeterminate, and let . There has been much recent work concerned with determining the Dedekind-Mertens number =min , especially on determining when = . In this note we introduce a universal Dedekind-Mertens number , which takes into account the fact that deg() + for any ring containing as a subring, and show that behaves more predictably than .