Hyperaffine planes over hyperfields

Summary In this paper we solve the problem of finding suitable conditions for an hyperaffine plane (,) under which a planar hyperfield K exists such that (,) is isomorphic to the hyperaffine plane (K²,').Research partially supported by C.N.R.-G.N.S.A.G.A.     

Strong rightD-domains

An integral domainR is called rightD-domain if its lattice of all right ideals is distributive. In § 2 a sufficient condition for an integral domainR is given such thatR is a rightD-domain if and only ifR is a leftD-domain. For example each integral domain which is algebraic over its center satisfies this criterion. Furthermore, a rightD-domain is called strong if its lattice of all fractional right ideals is distributive. Examples of strong rightD-domains are given in §4. Each overring of a strong rightD-domain is also a strong rightD-domain whereas arbitrary rightD-domains may have overrings which are no rightD-domains. Section 3 is mainly concerned with the set * of all left invertible fractional right ideals and the mapping :**,II _l ^–1 whereI _l ^–1 denotes the left inverse ofI. For example, equivalent conditions are given for * to be a sublattice of and it is shown that is bijective if and only if (IJ)=(I)+(J) holds for allI,J*. Finally, §5 deals with (right)D-domains which are algebraic over their centersC. It is proved thatR is invariant if and only ifC is a commutative Prüfer domain andR the integral closure ofC inQ(R).     

Présentations des groupes de Fischer (II)

In this paper we give Coxeter presentation (X, ) for the three Fischer groupsG=Fi₂₂, Fi₂₃, Fi₂₄; we apply methods exposed in the first part. Each of these groups is generated by a class of 3-transpositions (named here a Fischer class) in which elements ofX are chosen. A subset of is the set of all the relations (xy) ^m(x,y)=1, wherex andy are inX and wherem(x,y) means the order ofxy inG. We obtainG as a specified quotient of the Coxeter group (X, ) with the appropriate diagram .     

On Random Sets Connected to the Partial Records of Poisson Point Process

Random intervals are constructed from partial records in a Poisson point process in ]0,[×]0,[. These are used to cover partially [0,[; the purpose of this work is to study the random set that is left uncovered. We show that enjoys the regenerative property and identify its distribution in terms of the characteristics of the Poisson point process. As an application we show that is almost surely a fractal set and we calculate its dimension.     

On inertial wave and flow structure at low Rossby number

Flow disturbances produced by the slow relative motion of an impermeable body in a large, rapidly rotating vessel are studied as an asymptotic theory for an inviscid, incompressible fluid at a small Rossby number (u _c /L1). The axial distance between the vessel wallsH is assumed to be so much larger than the body scaleL that the reduced height H/L is of unit order or greater. This flow admits a columnar structure near the body and an outer nonlinear structure of the inertial-wave type far above the forcing region, at distances along the rotation-axis (z=0(L/)). The inner boundary condition for the outer problem is provided by transferring the impermeable surface condition through the columnar structure; the outer solution in turn determines the vorticity and the solution of the columnar inner region.For thin obstacles or shallow ground topography (1), the outer solution is governed by an equation comparable to a linear one for inertial waves. The linear solutions obtained for steady transverse motion in an infinite domain () shows that, in this case, surface (perturbation) velocities are orthogonal to those in an irrotational (non-rotating) flow over the same ground topography. In the far field, i.e., ( z/L l) disturbances are confined mainly behind a wedge-shaped caustic front downstream of the rotation axis , wherein their amplitudes are comparable to , in general accord with Lighthill's result from group-velocity consideration. The field behind the caustic supports, however, lee waves extending far downstream with diminishing strength. Their wave lengths belong to orderLz/x, and therefore these waves should appear to be densely packed in the wedge-shaped region. The question on tilting of the Taylor column is delineated; the structure of the caustic zone and its upstream flow behavior are also analyzed.

---

Zusammenfassung Die Strömung um einen Körper, der sich langsam in einem grossen, rotierenden Behälter bewegt, wird untersucht mit einer asymptotischen Theorie für eine reibungsfreie, inkompressible Flüssigkeit bei einer kleinen Rossby-Zahl, d.h. u _c /L1. Der axiale AbstandH zwischen den Gefässwänden wird als soviel grösser als die Körperabmessung angenommen, dass für die reduzierte Höhe =H/L 0(1) gilt. Diese Strömung erlaubt eine säulenähnliche Struktur (Taylor column) in Körpernähe und eine äussere, nichtlineare Struktur vom Wellentyp für Höhenz=0(L/) über dem Köper. Die innere Randbedingung für das äussere Problem wird erhalten, indem die Bedingung an der Wand durch die Säule verschoben wird. Die äussere Lösung bestimmt ihrerseits die Rotation und damit die Lösung im inneren, säulenartigen Bereich.Wenn Körper oder Bodenform flach sind (1), so wird die Aussenlösung durch eine Gleichung bestimmt, welche vergleichbar ist mit einer linearen Gleichung für Trägheitswellen. Lineare Lösungen werden für gleichförmige Bewegung von der Achse weg in einem unbegrenzten Bereich ) gegeben. Sie zeigen, dass die Oberflächenstromlinien orthogonal zu den Stromlinien sind, die bei rotationsfreier (nichtdrehender) Strömung über der gleichen Bodenform entstehen. Im Fernfeld ( z/L l) sind Störungen hauptsächlich auf ein keilförmiges Gebiet stromabwärts von der Rotationsachse ( ) begrenzt. In diesem Gebiet geht ihre Amplitude mit , in Uebereinstimmung mit Lighthill's Resultat, das mit der Gruppengeschwindigkeit hergeleitet wurde. Im keiförmigen Gebiet bestehen drei Familien von Lee-Wellen, welche sich mit unveränderter Stärke weit stromabwärts erstrecken. Ihre Wellenlängen gehören zur OrdnungLx/z, weshalb die Wellen im keilförmigen Bereich dicht gepackt erscheinen. Die Frage der Neigung der Taylor Säule behandelt und die Struktur des Randes vom keilförmigen Bereich wird analysiert.

---

---

This work is dedicated to Professor Nicholas Rott on the occasion of his sixtieth birthday.     

First order properties of random posets

Let =(n,p) be a binary relation on the set [n]={1, 2, ..., n} such that (i,i) for every i and (i,j) with probability p, independently for each pair i,j [n], where i<j. Define as the transitive closure of and denote poset ([n], ) by R(n, p). We show that for any constant p probability of each first order property of R(n, p) converges as n .     

Exact solutions of the d'Alembert and Liouville equations in the pseudo-Euclidean space R2, 2. II

Invariants of the maximal rank-3 and rank-4 subalgebras of the Poincaré algebras AP(2,2), which is the maximal invariance algebra of the d'Alembert equation u+u^k=0,k=1, and the Liouville equation u+ expu=0 are constructed. The reduction of the given equations with respect to the maximal rank-3 subalgebra is carried out and some exact solutions of these equations are found.Translated from Ukrainskii Matematicheskii Zhurnal, Vol. 42, No. 9, pp. 1237–1244, September, 1990.     

Présentations des groupes de Fischer (I)

This work gives a method for constructing presentation (X, ) for a group generated by a class of 3-transpositions (named here a Fischer class) in which {ie275-1}(G/Z(G)) is simple and non-abelian. The generating set X is contained in D; is the set of relations (xy) ^m(x,y)=1, x and y in X, where m(x, y) is the order of the product xy in G, m(x, y) 3; is a set of relations between elements of X. The group G is constructed as a quotient of the Coxeter group (X, ).These results are applied to symplectic and orthogonal groups over {ie275-2}. Applications to other groups, in particular to the sporadic Fischer groups, will follow later.     

Phragmén-Lindelöf theorems for second-order quasilinear elliptic equations

Analogues are formulated of the well-known, in the theory of analytic functions, Phragmen-Lindelöf theorem for the gradients of solutions of a broad class of quasilinear equations of elliptic type. Examples are given illustrating the accuracy of the results obtained for the gradients of solutions of the equations of the form div(|U|^–2u)=f(x, u, u), where f(x, u, u) is a function locally bounded in ²ⁿ⁺¹. f(x, 0, u)=0, uf(x, u, u) c¦u¦1+q(1+ ¦u|), > 1, c > 0, q > 0, is an arbitrary real number, and n >- 2. The basic role in the technique employed in the paper is played by the apparatus of capacitary characteristics.Translated from Ukrainskii Matematicheskii Zhurnal, Vol. 44, No. 10, pp. 1376–1381, October, 1992.The author sincerely appreciates E. M. Landis's permanent attention and numerous useful discussions.     

Global Optimization Algorithm for the Nonlinear Sum of Ratios Problem

This article presents a branch-and-bound algorithm for globally solving the nonlinear sum of ratios problem (P). The algorithm economizes the required computations by conducting the branch-and-bound search in ^p, rather than in ⁿ, where p is the number of ratios in the objective function of problem (P) and n is the number of decision variables in problem (P). To implement the algorithm, the main computations involve solving a sequence of convex programming problems for which standard algorithms are available.     

Beitrag zur Reduktion des Entscheidungsproblems auf Klassen von Hornformeln mit kurzen Alternationen

Ohne Zusammenfassung Zusatz bei der Korrektur: Ein vollständiger und korrekter Beweis für die Entscheidbarkeit der eingangs angeführten Aanderaaschen Klasse ((0, ), (, , ...)) erscheint demnächst im JSL (S.O. Aanderaa/H.R.Lewis: Prefix classes of Krom formulas). Ebendort wird auch die Reduktionstypeneigenschaft für ((0, ), (0, 0, )) und ((0, )), (0, 0, )) nachgewiesen, während ((0, ), (, )) sich als entscheidbar herausgestellt hat (s. E. Börger: Eine entscheidbare Klasse von Kromformeln. ZMLG 19 (1973), 117–120.) Der Kromsche Reduktionstyp konnte mittlerweile einerseits zu ((0, ), (0, 4)) verschärft werden (s. D. Rödding, E. Börger: The undecidability of (0, 4)-formulae with binary disjunctions, vorgetragen auf dem Logic Coll. Bristol 1973, ein abstract erscheint im JSL), andererseits kündigt H.R.Lewis die Reduktionstypeneigenschaft für ((0, ), (0, 1)) an (s. H.R.Lewis: Krom formulas with one dyadic predicate letter. Notices AMS 20, 5 (1973) A-500, abstr. no. 73T-E78.)Dieser Aufsatz geht aus der Dissertation [2] hervor, die dem Fachbereich Mathematik der Mathematisch-Naturwissenschaftlichen Fakultät der Universität Münster im Sommersemester 1971 vorgelegt worden ist. Die Ergebnisse stammen aus dem Wintersemester 1970/71. Eine Ankündigung der hauptsächlichen Resultate ist in den Notices of the American Mathematical Society 19, 2 (1972) A-333 unter der abstract no. * 72T-E24 erschienen.     

The Terwilliger algebras of certain association schemes over the Galois rings of characteristic 4

In a cyclotomic scheme over a finite field, there are some relations between the irreducible modules of the Terwilliger algebra and the Jacobi sums over the field. These relations were investigated in [3]. In this paper, we replace the finite field by a commutative local ring which is called a Galois ring of characteristic 4. Hence we want to find similar relations between the irreducible modules of the Terwilliger algebra and the Jacobi sums over the local ring. Specifically, if we let be a Galois ring of characteristic 4,X a cyclotomic scheme over with classD and the Terwilliger algebra ofX, then we show that most of the irreducible -modules have standard forms; otherwise, certain relations of the Jacobi sums hold. When the classD is three, we can completely determine the irreducible -modules using Jacobi sums.     

Singular perturbations in foliations

Summary We define a constraint system , [0,₀), which is a kind of family of vector fields on a manifold. This is a generalized version of the family of the equations , [0,₀),x ^m ,y ⁿ . Finally, we prove a singular perturbation theorem for the system , [0,₀).Dedicated to Professor Kenichi Shiraiwa on his 60th birthday     

Algorithmic aspects of intersection graphs and representation hypergraphs

Let be a family of sets. The intersection graph of is obtained by representing each set in by a vertex and connecting two vertices by an edge if and only if their corresponding sets intersect. Of primary interest are those classes of intersection graphs of families of sets having some specific topological or other structure. The grandfather of all intersection graphs is the class of interval graphs, that is, the intersection graphs of intervals on a line.The scope of research that has been going on in this general area extends from the mathematical and algorithmic properties of intersection graphs, to their generalizations and graph parameters motivated by them. In addition, many real-world applications involve the solution of problems on such graphs.In this paper a number of topics in algorithmic combinatorics which involve intersection graphs and their representative families of sets are presented. Recent applications to computer science are also discussed. The intention of this presentation is to provide an understanding of the main research directions which have been investigated and to suggest possible new directions of research.     

Arithmetic and other properties of certain Delphic semigroups. I

Summary Some aspects of Delphic semigroups in general — in particular, the idea of an hereditary subsemigroup, which has many uses in connexion with Delphic semigroups — are first treated. After that, attention is directed to the arithmetic of ⁺, the semigroup of positive renewal sequences. In a Delphic semigroup the aboriginal elements are the simples and the members of I ₀: a class of simples of ⁺ is constructed and the simples are shown to be residual. I ₀ is explicitly identified, and this leads to a canonical factorization of ⁺. The properties of division in ⁺ are discussed.     

Improved Krasnosel'skii theorems for the dimension of the kernel of a starshaped set

We will establish the following improved Krasnosel'skii theorems for the dimension of the kernel of a starshaped set: For each k and d, 0 k d, define f(d,k) = d+1 if k = 0 and f(d,k) = max{d+1,2d–2k+2} if 1 k d.Theorem 1. Let S be a compact, connected, locally starshaped set in R^d, S not convex. Then for a k with 0 k d, dim ker S k if and only if every f(d, k) lnc points of S are clearly visible from a common k-dimensional subset of S.Theorem 2. Let S be a nonempty compact set in R^d. Then for a k with 0 k d, dim ker S k if and only if every f (d, k) boundary points of S are clearly visible from a common k-dimensional subset of S. In each case, the number f(d, k) is best possible for every d and k.     

Efficiency of Proximal Bundle Methods

We give efficiency estimates for proximal bundle methods for finding f_*min_Xf, where f and X are convex. We show that, for any accuracy <0, these methods find a point x^kX such that f(x^k)–f^* after at most k=O(1/³) objective and subgradient evaluations.     

Bifurcation for a semilinear elliptic equation on ℛN with radially symmetric coefficients

We consider the semilinear eigenvalue problem on ^N (N 2) (N2) and investigate the question under which conditions on the radially symmetric function q, =0 is a bifurcation point for this equation in H¹, In H² and in L^p for 2p+.     

A generalized integral with applications to trigonometric series

, . . .

---

---

The authors wish to thank the referee whose comments improved the presentation of the paper. In fact, the present form of Lemma 2, which was originally very long, is due to the referee.     

Error bounds for the solution of nonlinear two-point boundary value problems by Galerkin's method

Letu be the solution of the differential equationLu(x)=f(x, u(x)) forx(0,1) (with appropriate boundary conditions), whereL is an elliptic differential operator. Letû be the Galerkin approximation tou with polynomial spline trial functions. We obtain error bounds of the form , where 0jm andmk2m+q,p=2 orp=,h is the mesh size andq is a non negative integer depending on the splines being used.This research was supported in part by the Office of Naval Research under Contract N00014-69-A0200-1017.