The mass centre,the gravity centre and their duals on the elliptic plane

In this article the mass centres belonging to the force-free motions of a rigid particle system of the elliptic plane are defined. We examine the elementary geometrical connection between the mass centres and the gravity centre of any triangle on the elliptic plane. We search for those lines of an elliptic triangle that can be considered as the dual notions of the gravity centre, the centre of the incircle and the mass centre.     

The Tits Alternative for Groups Defined by Periodic Paired Relations

The class of groups defined by periodic paired relations, as introduced by Vinberg, includes the generalized triangle groups, the generalized tetrahedron groups, and the generalized Coxeter groups. We observe that any group defined by periodic paired relations Γ can be realized as a so-called “Pride group”. Using results of Howie and Kopteva we give necessary and sufficient conditions for this Pride group to be non-spherical. Under such conditions, we show that Γ satisfies the Tits alternative.

Communicated by A. Olshanskiy     

Birkhoff Centre of a Poset

In this paper, it is proved that the Boolean centre of a semigroup S with sufficiently many commuting idempotents is isomorphic to the inverse limit of the directed family of Birkhoff centres (or Boolean centres) of a class of bounded semigroups. The Birkhoff centre is defined for any poset and proved that it is a relatively complemented distributive lattice whenever it is nonempty. It is observed that for a semilattice S, the Birkhoff centres as a semigroup and as a poset coincide. Also it is observed that for a Lattice (L, , ), the Birkhoff centres of the semilattices (L, ) and (L, ) coincide with the Birkhoff centre of L. Finally it is proved that for a lattice (L, , ), the Boolean centres of the semilattices (L, ) and (L, ) coincide with the Boolean centre of L.AMS Subject classification (1991): 06A12, 20M15     

When separability of the space of ultra-extremal functions is preserved

Abstract

The ultrametrically injective hull T_X of an ultrametric space (X, d) is investigated by viewing it as the space of ultra-extremal functions over X. It turns out that the ultra-extremal functions are also ultra-Ka?etov functions, satisfying two inequalities derived from the strong triangle inequality. We shall compare the ultra-extremal functions with some classes of functions defined with the help of one of the two inequalities from the definition of ultra-Kat?tov functions. We shall consider the question of when separability of the space of ultra-extremal functions is preserved.     

Quasidiagonality and the hyperinvariant subspace problem

In a sequence of recent papers, [11], [13], [9] and [5], the authors (together with H. Bercovici and C. Foias) reduced the hyperinvariant subspace problem for operators on Hilbert space to the question whether every C ₀₀-(BCP)-contraction that is quasidiagonal and has spectrum the unit disc has a nontrivial hyperinvariant subspace (n.h.s.). An essential ingredient in this reduction was the introduction of two new equivalence relations, ampliation quasisimilarity and hyperquasisimilarity, defined below. This note discusses the question whether, by use of these relations, a further reduction of the hyperinvariant subspace problem to the much-studied class (N + K) (defined below) might be possible.     

Triangles III: Complex triangle functions

Summary This paper is the third in a series of three examining Euclidean triangle geometry via complex cross ratios. In the first two papers, we looked at triangle shapes and triangle coordinates. In this paper, we look at the triangle coordinates of the special points of a triangle, and show that they are functions of its shape. We then show how these functions can be used to prove theorems about triangles, and to gain some insight into what makes a special point of a triangle a centre.     

In search of more triangle centres. A source of classroom projects in Euclidean geometry

A point E inside a triangle ABC can be coordinatized by the areas of the triangles EBC, ECA, and EAB. These are called the barycentric coordinates of E. It can also be coordinatized using the six segments into which the cevians through E divide the sides of ABC, or the six angles into which the cevians through E divide the angles of ABC, or the six triangles into which the cevians through E divide ABC, etc. This article introduces several coordinate systems of these types, and investigates those centres of ABC whose coordinates, relative to a given coordinate system, are linear (or quasi-linear) with respect to appropriate elements of ABC, such as its side-lengths, its angles, etc. This results in grouping known centres into new families, and in discovering new centres. It also leads to unifying several results that are scattered in the literature, and creates several open questions that may be suitable for classroom discussions and team projects in which algebra and geometry packages are expected to be useful. These questions may also be used for Mathematical Olympiad training and may serve as supplementary material for students taking a course in Euclidean geometry.     

ON TWIN-TRIANGULAR ADDITIVE GROUP ACTIONS ON C4

This paper concerns some of the conditions satisfied by additive group actions on complex affine space which can be written locally as a translation of a variable. Assume X is the affine variety C ⁿ , G_a = (C, +), and σ : G_a × X → X is the action defined by a group monomorphism G _a → Aut _C X. If σ is locally trivial, then the action satisfies what is termed a “GICO” condition.

It will be shown that a large class of G_a -actions on C ⁴, that is, fixed-point free, “twin-triangular” actions with finitely-generated rings of invariants, are at least GICO. Remaining questions are discussed.     

The isoperimetric point and the point(s) of equal detour in a triangle

A point P in the plane of triangle ABC is said to be an isoperimetric point if PA + PB + AB = PB + PC + BC = PC + PA + CA, and is said to be a point of equal detour if PA + PB − AB = PB + PC − BC = PC + PA − CA. Incorrect conditions for the existence and uniqueness of such points were given by G. R. Veldkamp in Amer. Math. Monthly 92 (1985) 546-558. In this paper, we use a much simpler approach that yields correct versions of these conditions and that exhibits the relations of these points to the centers of the Soddy circles. Mowaffaq Hajja: This work is supported by a research grant from Yarmouk University.     

Optimized look-ahead recurrences for adjacent rows in the Padé table

A new look-ahead algorithm for recursively computing Padé approximants is introduced. It generates a subsequence of the Padé approximants on two adjacent rows (defined by fixed numerator degree) of the Padé table. Its two basic versions reduce to the classical Levinson and Schur algorithms if no look-ahead is required. The new algorithm can be viewed as a combination of the look-ahead sawtooth and the look-ahead Levinson and Schur algorithms that we proposed before, but now the look-ahead step size is minimal (as in the sawtooth version) and the computational costs are as low as in the least expensive competing algorithms (including our look-ahead Levinson and Schur algorithms). The underlying recurrences link well-conditioned basic pairs,i.e., pairs of sufficiently different neighboring Padé forms.The algorithm can be used to solve Toeplitz systems of equationsTx = b. In this application it comes in several versions: anO(N ²) Levinson-type form, anO(N ²) Schur-type form, and a superfastO(N log² N) Schur-type version. As an option of the first two versions, the corresponding block LDU decompositions ofT ^–1 orT, respectively, can be found.     

Dissimilarity and similarity measures for comparing dendrograms and their applications

In this paper we propose a new index Z for measuring the dissimilarity between two hierarchical clusterings (or dendrograms). This index is a metric since it satisfies the axioms of non-negativity, symmetry and triangle inequality. A desirable property of this index is that it can be decomposed into the contributions pertaining to each stage of the hierarchies. We show the relations of such components with the currently used criteria for comparing two partitions. We obtain a global similarity index as the complement to one of the suggested dissimilarity and we derive its adjustment for agreement due to chance. We obtain similarity indexes pertaining to each stage of the hierarchies as the complement to one of the additive parts of the global distance Z. We consider the use of the proposed distance for more than two dendrograms and its use for the consensus of classifications and variable selection in cluster analysis. A series of simulation experiments and an application to a real data set are presented.     

On the Quantum KPRV Determinants for Semisimple and Affine Lie Algebras

Let g be a semisimple or affine Lie algebra and U _q (g) its quantized enveloping algebra. Extending earlier work, the KPRV determinant for an admissible integrable U _q (g) module V relative to a parabolic subalgebra pg is defined and shown to be nonzero. These determinants had previously been evaluated for g semisimple and p a Borel subalgebra. The present results can be used to extend this to g affine as will be shown in a subsequent publication.For a parabolic subalgebra the evaluation of these determinants is much more difficult. For appropriate overalgebras of the primitive quotients of the enveloping algebra U(g) defined by one-dimensional representations of p, these determinants had been calculated for g semisimple. However the quantum case is interesting because it is unnecessary to pass to overalgebras and besides for U(g):g affine, it is not even clear how these determinants should be defined. Here for g semisimple, the degrees of the determinants are computed and shown to depend on being the same type of functions as in the enveloping algebra case; yet in a different fashion. Some special cases (in type A ₄) are computed explicity. Here, as in the Borel case, the determinants take a remarkably simple form and notably can be expressed as a product of linear factors. However compared to the enveloping algebra case one finds additional factors corresponding to what are called quantum zeros and whose origin remains unknown.     

Functional equations associated with triangle geometry

Summary Triangle geometry is treated in the context of functional equations of three variablesa, b, c which may be regarded as the sidelengths of a variable triangle. Trianglecenters (e.g., incenter, circumcenter, centroid), andcentral lines (e.g., the Euler line) are defined and partitioned into classes:0-centers, 1-centers, 2-centers and0-lines, 1-lines, and 2-lines. Criteria for parallelism, perpendicularity, and other geometric relations are proved in terms of these classes. The Euler line and central lines parallel or perpendicular to the Euler line serve as examples.     

Darboux points and integrability of homogeneous Hamiltonian systems with three and more degrees of freedom. Nongeneric cases

In this paper the problem of classification of integrable natural Hamiltonian systems with n degrees of freedom given by a Hamilton function, which is the sum of the standard kinetic energy and a homogeneous polynomial potential V of degree k > 2, is investigated. It is assumed that the potential is not generic. Except for some particular cases a potential V is not generic if it admits a nonzero solution of equation V′(d) = 0. The existence of such a solution gives very strong integrability obstructions obtained in the frame of the Morales-Ramis theory. This theory also gives additional integrability obstructions which have the form of restrictions imposed on the eigenvalues (λ ₁, …, λ _n ) of the Hessian matrix V″(d) calculated at a nonzero d ∈ ℂ ⁿ satisfying V′(d) = d. In our previous work we showed that for generic potentials some universal relations between (λ ₁, …, λ _n ) calculated at various solutions of V′ (d) = d exist. These relations allow one to prove that the number of potentials satisfying the necessary conditions for the integrability is finite. The main aim of this paper was to show that relations of such forms also exist for nongeneric potentials. We show their existence and derive them for the case n = k = 3 applying the multivariable residue calculus. We demonstrate the strength of the results analyzing in details the nongeneric cases for n = k = 3. Our analysis covers all the possibilities and we distinguish those cases where known methods are too weak to decide if the potential is integrable or not. Moreover, for n = k = 3, thanks to this analysis, a three-parameter family of potentials integrable or superintegrable with additional polynomial first integrals which seemingly can be of an arbitrarily high degree with respect to the momenta was distinguished.      

On the Maximum Number of Equilateral Triangles, I

The following problem was posed by Erdős and Purdy: ``What is the maximum number of equilateral triangles determined by a set of n points in R ^d ?' New bounds for this problem are obtained for dimensions 2, 4, and 5. In addition it is shown that for d=2 the maximum is attained by subsets of the regular triangle lattice. Received April 9, 1998, and in revised form October 30, 1998.     

The path relation for directed planar graphs in rectangles, and its relation to the free diad

In this paper, we define the path relation of a directed graph to be the relation which relates two vertices if there is a path from the first to the second. We study the restriction of this relation to paths from sources to sinks, and consider the question of when two finite graphs embedded in a rectangle give the same relation. We find a set of local changes to these graphs which can be used to get between any two graphs for which this relation is the same. Furthermore, we classify the relations which can arise as this relation for a finite directed graph embedded in a rectangle as the triconvex relations between finite ordinals (defined in this paper).This work originated from some of the author’s work on category theory. It turns out that the category of finite ordinals and relations that can be the path relation of a directed graph embedded in a rectangle, is relevant to the study of diads—introduced by the author as a common generalisation of monads and comonads (note that the terms diad and dyad have been used to mean different things by other authors). More specifically, the referee of one of the author’s papers suggested that it would be useful to identify the category which plays the role for diads that the category of finite ordinals and order-preserving functions plays for monads. It turns out that the category of finite ordinals and relations that can be path relations of graphs embedded in a rectangle, is exactly the category that plays this role.     

Convergence of one-leg methods for nonlinear neutral delay integro-differential equations

Some convergence results of one-leg methods for nonlinear neutral delay integro-differential equations (NDIDEs) are obtained. It is proved that a one-leg method is E (or EB) -convergent of order p for nonlinear NDIDEs if and only if it is A-stable and consistent of order p in classical sense for ODEs, where p = 1, 2. A numerical example that confirms the theoretical results is given in the end of this paper. This work was supported by National Natural Science Foundation of China (Grant No. 10871164), the Natural Science Foundation of Hunan Province (Grant No. 08JJ6002), and the Scientific Research Fund of Changsha University of Science and Technology (Grant No. 1004259)     

The groups of the semigroup of compact subsets of a topological group

The compact subsets of a topological groupG form a semigroup,S(G), when multiplication is defined by set product. This semigroup is a topological semigroup when given the Vietoris topology. It would be expected that the subgroups ofS(G) should in some way be related to the groupG. This is the case. It is shown that the subgroups ofS(G) are both algebraically and topologically exactly the groups obtained as quotients of certain subgroups ofG. One consequence of this is that every subgroup ofS(G) is a topological group. Conditions are also given for these subgroups to be open or closed. Green's relations inS(G) have a particularly nice formulation. As a result, the relationsD andJ are equal inS(G). Moreover, the Schützenberger group of aD-class is a topological group that is topologically isomorphic to a quotient of certain subgroups ofG.     

On Compatibility of Interval Fuzzy Preference Relations

This paper defines the concept of compatibility degree of two interval fuzzy preference relations, and gives a compatibility index of two interval fuzzy preference relations. It is proven that an interval fuzzy preference relation B and the synthetic interval fuzzy preference relation of interval fuzzy preference relations A ₁,A ₂,...,A _s are of acceptable compatibility under the condition that the interval fuzzy preference relation B and each of the interval fuzzy preference relations A _l,A ₂,...,A _s are of acceptable compatibility, and thus a theoretic basis has been developed for the application of the interval fuzzy preference relations in group decision making.     

Difference Families in Z2d+1⊕Z2d+1 and Infinite Translation Designs in Z⊕Z

We analyse 3-subset difference families of Z_2d+1⊕Z_2d+1 arising as reductions (mod 2d+1) of particular families of 3-subsets of Z⊕Z. The latter structures, namely perfect d-families, can be viewed as 2-dimensional analogues of difference triangle sets having the least scope. Indeed, every perfect d-family is a set of base blocks which, under the natural action of the translation group Z⊕Z, cover all edges {(x,y),(x′,y′)} such that |x−x′|, |y−y′|≤d. In particular, such a family realises a translation invariant (G,K₃)-design, where V(G)=Z⊕Z and the edges satisfy the above constraint. For that reason, we regard perfect families as part of the hereby defined translation designs, which comprise and slightly generalise many structures already existing in the literature. The geometric context allows some suggestive additional definitions. The main result of the paper is the construction of two infinite classes of d-families. Furthermore, we provide two sporadic examples and show that a d-family may exist only if d≡0,3,8,11 (mod 12).