Convexity theories III. Classification of certain real convexity theories

In this paper we classify all real convexity theories that contain the standard convexity theory _c. For this purpose we consider three subcases: finitary; infinitary and (_sc\_c)Ø; infinitary and _sc=_c. In each of these subcases one encounters a phenomenon resembling bifurcation.This research was supported by the Deutsche Forschungsgemeinschaft.     

The conditions of selfadjointness of the operator of singular integration

It is proved that the operator of singular integration along a bounded rectifiable curve is self-adjoint in the weighted spaceL ₂(, ) if and only if is a circle and (t)=const.     

Covering the Hecke Triangle Surfaces

In the mid-1980s an equivalence was established between the simple closed geodesics on the Riemann surfaces obtained as quotients of the upper half plane H by any of the following subgroups of the modular group (1) : , (3), and ³. An axis of a hyperbolic element of (1) projects to a simple closed geodesic on one of these surfaces if and only if it does so on the other two.This equivalence was used to obtain a variety of Diophantine and geometric results. In subsequent related investigations, the role of (1) was assumed by the Hecke triangle group G_q for q 3. (For q = 3, we have (1) = G₃.) These works employed the analog of ³, denoted _q.In the context of the G_q, the present paper gives the analog of , which we denote _q. As in the case q = 3, we have [_q:_q] = 2. A rather full discussion of geometry of _q\ H is given. In particular, we demonstrate that the equivalence of simple closed geodesics on _q\ H and _q\ H does not hold for q 7.As of this writing, we have not been able to obtain an appropriate analog of (3).     

Bases for Splines on a Subdivided Domain

Let S^r() be the module of all splines of smoothness r on the rectilinear partition which subdivides some domain D. Further, let S^r() be the module of all splines of smoothness r on which also subdivides D, where is a finer subdivision of . We study the relationship between a generating set of S^r() and a generating set for S^r(). This paper gives an algorithm for extending a generating set for S^r() to one for for S^r(). This method is built on algebraic properties of splines and the Gröbner Basis Algorithm.     

Coherent Homotopical Algebras: “Special Gamma-Categories”

We introduce a theory of coherence for symmetric monoidal categories inthe spirit of Segal and show that it is equivalent, in an appropriate sense,to MacLanes original notion. More precisely, we prove thatspecial categories, the analogue ofspecial spaces, and coherently symmetric monoidalcategories are one and the same. This is analogous to the situation intopology where special spaces are precisely homotopicalcommutative monoids. In light of the obervation that the category of smallcategories Cat bears a functorial Quillen model structure with respect tothe class of categorical equivalences: in fact, is a homotopy theory in thesense of Heller, we may reinterpret the theorem as stating that coherentlysymmetric monoidal categories are precisely the homotopical commutativemonoids within this new homotopy theory.     

Posterior Sensitivity to the Sampling Distribution and the Prior: More than One Observation

Sensitivity of a posterior quantity (f, P) to the choice of the sampling distribution f and prior P is considered. Sensitivity is measured by the range of (f, P) when f and P vary in nonparametric classes ^f and ^P respectively. Direct and iterative methods are described which obtain the range of (f, P) over f ^f when prior P is fixed, and also the overall range over f ^f and P ^P . When multiple i.i.d. observations X ₁,...,X _k are observed from f, the posterior quantity (f, P) is not a ratio-linear function of f. A method of steepest descent is proposed to obtain the range of (f, P). Several examples illustrate applications of these methods.     

Leaves in Representation Diagrams of Bipartite Distance-Regular Graphs

Let denote a bipartite distance-regular graph with diameter D 3 and valency k 3. Let ₀ > ₁ ··· > _D denote the eigenvalues of and let q ^h _ij (0 h, i, j D) denote the Krein parameters of . Pick an integer h (1 h D – 1). The representation diagram = _h is an undirected graph with vertices 0,1,...,D. For 0 i, j D, vertices i, j are adjacent in whenever i j and q ^h _ij 0. It turns out that in , the vertex 0 is adjacent to h and no other vertices. Similarly, the vertex D is adjacent to D – h and no other vertices. We call 0, D the trivial vertices of . Let l denote a vertex of . It turns out that l is adjacent to at least one vertex of . We say l is a leaf whenever l is adjacent to exactly one vertex of . We show has a nontrivial leaf if and only if is the disjoint union of two paths.     

Bounding the diameter of a distance regular graph by a function ofk d

Let be a distance regular graph with diameterd, and _d () the set of vertices at distanced from. is said to be thin if the induced subgraph on _d () is a union of cliques for every vertex. We show that the diameterd is bounded above by a function depending only onk _d, which is the cardinality of _d (), if is not thin. We also investigate thin distance regular graphs witha _d 0.     

Groups acting simply transitively on the vertices of a building of typeà 2, I

If a group acts simply transitively on the vertices of an affine building with connected diagram, then must be of typeà _n–1 for somen2, and must have a presentation of a simple type. The casen=2, when is a tree, has been studied in detail. We consider the casen=3, motivated particularly by the case when is the building ofG=PGL(3,K),K a local field, and when G. We exhibit such a group whenK=F _q ((X)),q any prime power. Our study leads to combinatorial objects which we calltriangle presentations. These triangle presentations give rise to some new buildings of typeà ₂.     

Some remarks on the modulus of continuity of a conformal mapping of the disk onto a Jordan domain

Letd(;z, t) be the smallest diameter of the arcs of a Jordan curve with endsz andt. Consider the rapidity of decreasing ofd(;)=sup{d(;z, t):z, t , ¦z–t¦} (as 0,0) as a measure of nicety of . Letg(x) (x0) be a continuous and nondecreasing function such thatg(x)x,g(0)=0. Put¯g(x)=g(x)+x, h(x)=(¯g(x))². LetH(x) be an arbitrary primitive of 1/h ^–1(x). Note that the functionH ^–1 x is positive and increasing on (–, +),H ^–1 0 asx– andH ^–1+ asx +. The following statement is proved in the paper.Translated fromMatematicheskie Zametki, Vol. 60, No. 2, pp. 176–184, August, 1996.This research was supported by the Russian Foundation for Basic Research under grant No. 93-01-00236 and by the International Science Foundation under grant No. NCF000.     

An Arithmetic Reduction of Finite Rank 3 Geometries with Linear Spaces as Plane Residues and with Dual Linear Spaces as Point Residues

Let be a rank three incidence geometry of points, lines and planes whose planes are linear spaces and whose point residues are dual linear spaces (notice that we do not require anything on the line residues). We assume that the residual linear spaces of belong to a natural class of finite linear spaces, namely those linear spaces whose full automorphism group acts flag-transitively and whose orders are polynomial functions of some prime number. This class consists of six families of linear spaces. In the amalgamation of two such linear spaces imposes an equality on their orders leading, in particular, to a series of diophantine equations, the solutions of which provide a reduction theorem on the possible amalgams of linear spaces that can occur in .We prove that one of the following holds (up to a permutation of the words point and plane):A) the planes of and the dual of the point residues belong to the same family and have the same orders,B) the diagram of is in one of six families,C) the diagram of belongs to a list of seven sporadic cases.Finally, we consider the particular case where the line residues of are generalized digons.     

The lower algebraicK-theory of virtually infinite cyclic groups

This paper gives a proof of a conjecture of W.-C. Hsiang for the negativeK-theory of integral grouprings , when the group is a subgroup of a uniform lattice in a Lie group. The authors' earlier paper reduced this result to the very special cases where either is finite or is virtually infinite cyclic. The finite case was done much earlier by Carter extending results of Bass and Murthy. The major work of the present paper consists of proving the conjecture when is virtually infinite cyclic.Both authors were supported in part by the National Science Foundation.     

Study of Noetherian Γ-Semirings via Operator Semirings

In this paper we study Noetherian -semirings and obtain Cohens theorem for a special class of -semirings. Weak primary decomposition theorem for a particular type of -semirings is also obtained.Presently Lecturer in Mathematics, University of Burdwan, GOLAPBAG, W.B. INDIA.     

Groups acting simply transitively on the vertices of a building of typeà 2, II: The casesq=2 andq=3

If (P, L) is a projective plane and is a triangle presentation compatible with a point-line correspondence :P L, then gives rise to a group and a thick building of typeà ₂ on the vertices of which acts simply transitively. We find all triangle presentations (up to natural equivalence) compatible with some point-line correspondence :P L, when (P, L) is the projective plane of orderq=2 orq=3. For some, but not all, of these , is isomorphic to the building associated withG=PGL(3,K) whereK is a local field with discrete valuation and residual field of orderq. We identify the for which this is the case, and in these cases, find embeddings of intoG. We also describe the arithmetic nature of these groups.     

On Locally Projective Graphs of Girth 5

Let be a graph and G be a 2-arc transitive automorphism group of . For a vertex x let G(x)^(x) denote the permutation group induced by the stabilizer G(x) of x in G on the set (x) of vertices adjacent to x in . Then is said to be a locally projective graph of type (n,q) if G(x)^(x) contains PSL_n(q) as a normal subgroup in its natural doubly transitive action. Suppose that is a locally projective graph of type (n,q), for some n 3, whose girth (that is, the length of a shortest cycle) is 5 and suppose that G(x) acts faithfully on (x). (The case of unfaithful action was completely settled earlier.) We show that under these conditions either n=4, q=2, has 506 vertices and , and contains the Wells graph on 32 vertices as a subgraph. In the latter case if, for a given n, at least one graph satisfying the conditions exists then there is a universal graph W(n) of which all other graphs for this n are quotients. The graph W(3) satisfies the conditions and has 2²⁰ vertices.     

Estimation of a sum along an algebraic curve

Let be an algebraic curve determined over a finite field k = [q]; e,x are subsidiary additive and multiplicative characters of the field k;, are functions in determined over k and satisfying some natural conditions. If P passes through the points of curve , rational over k, then where constant C depends only on the powers of ,,.Translated from Matematicheskie Zametki, Vol. 5, No. 3, pp. 373–380, March, 1969.     

Critical points of essential norms of singular integral operators in weighted spaces

We show that for any simple piecewise Ljapunov contour there exists a power weight such that the essential norm |S | in the spaceL ₂(, ) does not depend on the angles of the contour and it is given by formula (2). All such weights are described. For the union =₁₂ of two simple piecewise Lyapunov curves we prove that the essential norm |S | inL ₂() is minimal if both ₁ and ₂ are smooth in some neighborhoods of the common points. It is the case when the norm |S | in the spaceL ₂() as well as inL ₂(, ) does not depend on the values of the angles and it can be calculated by formula (5).     

On the boundedness of Cauchy singular operator from the spaceL p toL q,p>q>-1

It is proved that for a Cauchy type singular operator, given by equality (1), to be bounded from the Lebesgue spaceL _p () tol _q (), as = _n=1 ^Ȟ _n , _n ={z:|z|=r _n }, it is necessary and sufficient that either condition (4) or (5) be fulfilled.     

Finitely Valued f-Modules, An Addendum

In an -group M with an appropriate operator set it is shown that the -value set (M) can be embedded in the value set (M). This embedding is an isomorphism if and only if each convex -subgroup is an -subgroup. If (M) has a.c.c. and M is either representable or finitely valued, then the two value sets are identical. More generally, these results hold for two related operator sets ₁ and ₂ and the corresponding -value sets and . If R is a unital -ring, then each unital -module over R is an f-module and has exactly when R is an f-ring in which 1 is a strong order unit.