An efficient algorithm to recognize locally equivalent graphs

To locally complement a simple graphF at one of its verticesv is to replace the subgraph induced byF onn(v)={w:vw is an edge ofF} by the complementary subgraph. Graphs related by a sequence of local complementations are said to be locally equivalent. We associate a system of equations with unknowns inGF(2) to any pair of graphs {F, F}, so thatF is locally equivalent toF if and only if the system has a solution. The equations are either linear and homogenous or bilinear, and we find a solution, if any, in polynomial time.With partial support of P. R. C. Mathématiques et Informatique.     

Bayoumi Quasi-Differential is different from Fréchet-Differential

We prove that the Quasi Differential of Bayoumi of maps between locally bounded F-spaces may not be Fréchet-Differential and vice versa. So a new concept has been discovered with rich applications (see [1–6]). Our F-spaces here are not necessarily locally convex     

Local maximality of hyperbolic sets

Two properties of a hyperbolic set F are discussed: its local maximality and the property that, in any neighborhood U ⊃ F, there exists a locally maximal set F′ that contains F (we suggest calling the latter property local premaximality). Although both these properties of the set F are related to the behavior of trajectories outside F, it turns out that, in the class of hyperbolic sets, the presence or absence of these properties is determined by the interior dynamics on F.     

Varieties and Vector Measures

A locally convex space L has the property ? if equicontinuous subsets of L* are weak-star sequentially compact. (L*, σ(L*, L)) is a MAZUR space if given F ∈ L** with F weak-star sequentially continuous then F∈ L. If L is complete with the property ∈, then (L*, σ (L*, L)) is a MAZUR space. The class of locally convex spaces with the property ? forms a variety ??_? and this variety is generated by the BANACH spaces it contains. Weakly compactly generated locally convex spaces and SCHWARTZ spaces belong to ??_?. MAZUR spaces are used to give a characterization of GROTHENDIECK BANACH spaces. The last section contains a characterization of the variety generated by the reflexive BANACH spaces.     

Locally finite groups with all subgroups either subnormal or nilpotent-by-Chernikov

Let G be a locally finite group satisfying the condition given in the title and suppose that G is not nilpotent-by-Chernikov. It is shown that G has a section S that is not nilpotent-by-Chernikov, where S is either a p-group or a semi-direct product of the additive group A of a locally finite field F by a subgroup K of the multiplicative group of F, where K acts by multiplication on A and generates F as a ring. Non-(nilpotent-by-Chernikov) extensions of this latter kind exist and are described in detail.     

Classes caractéristiques non triviales des feuilles de sous-feuilletages localement homogènes

We discuss the computation of the secondary characteristic classes and of the holonomy classes for the leaves of locally homogeneous subfoliations. Furthermore, we shall construct some examples of locally homogeneous subfoliations (F ₁, F ₂) so that a leaf (L ₁, L ₂) of (F ₁, F ₂) admits non-trivial secondary characteristic classes and non-trivial holonomy classes which cannot be obtained if we consider each leaf separately.     

On the closed graph theorem

This is a study of the closed graph theorem for linear mappings from a locally convex spaceE into anotherF. First we look at the possible spacesE for fixedF. Next we fix suchE and look atF. Finally we study the situation whereE=F.     

On Locally Finite Modules

This paper is devoted to the study of locally finite modules M, i.e., modules whose finitely generated submodules are finite (as sets). In particular, we study rings which have faithful locally finite modules, for example, the polynomial rings ℤ[x] and F[x], where F is a finite field. Our results generalize the properties of Abelian torsion groups and the ring of integers. __________ Translated from Sovremennaya Matematika i Ee Prilozheniya (Contemporary Mathematics and Its Applications), Vol. 14, Algebra, 2004.     

A Generalization of <Emphasis Type="Italic">T</Emphasis>-Groups

This paper identifies a certain class of locally supersoluble groups (called soluble hall-T groups) which contains the soluble T-groups as well as the nilpotent groups. The main result states that the product of a normal soluble hall-T subgroup and a subnormal locally supersoluble subgroup is always locally supersoluble.AMS Subject Classification (1991): 20E25, 20F16, 20F19     

Infinite-dimensional linear groups with restrictions on subgroups that are not soluble <Emphasis Type="Italic">A</Emphasis><Subscript>3</Subscript>-groups

We are concerned with infinite-dimensional locally soluble linear groups of infinite central dimension that are not soluble A₃-groups and all of whose proper subgroups, which are not soluble A₃-groups, have finite central dimension. The structure of groups in this class is described. The case of infinite-dimensional locally nilpotent linear groups satisfying the specified conditions is treated separately. A similar problem is solved for infinite-dimensional locally soluble linear groups of infinite fundamental dimension that are not soluble A₃-groups and all of whose proper subgroups, which are not soluble A₃-groups, have finite fundamental dimension. __________ Translated from Algebra i Logika, Vol. 46, No. 5, pp. 548–559, September–October, 2007.     

Univalent mappings associated with the Roper-Suffridge extension operator

The Roper-Suffridge extension operator provides a way of extending a (locally) univalent functionfεH(U) to a (locally) biholomorphic mappingF∈H(B_n). In this paper, we give a simplified proof of the Roper-Suffridge theorem: iff is convex, then so isF. We also show that iff∈S ^*, theF is starlike and that iff is a Bloch function inU, thenF is a Bloch mapping onB _n. Finally, we investigate some open problems. Partially supported by the Natural Sciences and Engineering Research Council of Canada under grant A9221.     

Asplund operators and holomorphic maps

LetE andF be locally convex topological vector spaces. A holomorphic mapf: E→F is defined to be an Asplund map if it takes the separable subsets of a neighbourhood of eacha∈E into absolutely convex weakly metrisable subsets ofF; a Banach space is an Asplund space if and only if its identity map has this property. We show that a continuous linear map from a quasinormable locally convex spaceE into a Banach spaceF is an Asplund map if and only if it factors through an Asplund space. IfE andF are both Banach spaces, then a holomorphic mapf: E→F is an Asplund map if and only if its derivative maps factor through Asplund spaces for eacha∈E. This is true if and only if such a factorisation holds ata=0. Part of this research was done during a visit to the University of Namibia, whose financial support is gratefully acknowledged This article was processed by the author using the Springer-Verlag T_EX mamath macro package 1990     

On convergence of SOR methods for nonsmooth equations

We study the choice of relaxation parameters ω for convergence of the SOR Newton method and the SOR method for the system of equations F(x)=0 in a unified framework, where F is strongly monotone, locally Lipschitz continuous but not necessarily differentiable. Applications to non‐smooth Dirichlet problems are discussed. Copyright © 2001 John Wiley & Sons, Ltd.     

Foliated Lie and Courant Algebroids

If A is a Lie algebroid over a foliated manifold (M, F){(M, {\mathcal {F}})}, a foliation of A is a Lie subalgebroid B with anchor image TF{T{\mathcal {F}}} and such that A/B is locally equivalent with Lie algebroids over the slice manifolds of F{\mathcal F}. We give several examples and, for foliated Lie algebroids, we discuss the following subjects: the dual Poisson structure and Vaintrob's supervector field, cohomology and deformations of the foliation, integration to a Lie groupoid. In the last section, we define a corresponding notion of a foliation of a Courant algebroid A as a bracket–closed, isotropic subbundle B with anchor image TF{T{\mathcal {F}}} and such that B ^{^} /B{B^{ \bot } /B} is locally equivalent with Courant algebroids over the slice manifolds of F{\mathcal F}. Examples that motivate the definition are given.     

A uniqueness theorem for representations of GSO(6) and the strong multiplicity one theorem for generic representations of GSp(4)

Consider the θ-correspondence from GSp(4) to GSO(6). We prove that locally over a nonarchimedean fieldF, this correspondence is injective on generic representations (i.e. with Whittaker model) of GSp(4,F). We use this to show the strong multiplicity one property for irreducible, automorphic, cuspidal representations of GSp(4,A), which are generic.     

Solution of monotone complementarity problems with locally Lipschitzian functions

The paper deals with complementarity problems CP(F), where the underlying functionF is assumed to be locally Lipschitzian. Based on a special equivalent reformulation of CP(F) as a system of equationsφ(x)=0 or as the problem of minimizing the merit functionΘ=1/2∥Φ∥ ₂ ² , we extend results which hold for sufficiently smooth functionsF to the nonsmooth case. In particular, ifF is monotone in a neighbourhood ofx, it is proved that 0 εδθ(x) is necessary and sufficient forx to be a solution of CP(F). Moreover, for monotone functionsF, a simple derivative-free algorithm that reducesΘ is shown to possess global convergence properties. Finally, the local behaviour of a generalized Newton method is analyzed. To this end, the result by Mifflin that the composition of semismooth functions is again semismooth is extended top-order semismooth functions. Under a suitable regularity condition and ifF isp-order semismooth the generalized Newton method is shown to be locally well defined and superlinearly convergent with the order of 1+p.     

A complete solution to the infinite Oberwolfach problem

Let F be a 2‐regular graph of order v. The Oberwolfach problem, OP(F), asks for a 2‐factorization of the complete graph on v vertices in which each 2‐factor is isomorphic to F. In this paper, we give a complete solution to the Oberwolfach problem over infinite complete graphs, proving the existence of solutions that are regular under the action of a given involution free group G. We will also consider the same problem in the more general context of graphs F that are spanning subgraphs of an infinite complete graph $\mathbb{K}$ and we provide a solution when F is locally finite. Moreover, we characterize the infinite subgraphs L of F such that there exists a solution to OP(F) containing a solution to OP(L).     

Torsion Elements in Incidence Algebras

Abstract

Let I(X, F) denote the incidence algebra of the locally finite partially ordered set, X, defined over the field, F. This paper considers when the set of torsion elements of I(X, F) forms a group. If F is of finite characteristic, it is shown that the torsion elements of I(X, F) form a group if and only if X is bounded, while if F is of characteristic 0, the torsion elements of the incidence algebra form a group if and only if X is an antichain.     

A Regularization Newton Method for Solving Nonlinear Complementarity Problems

In this paper we construct a regularization Newton method for solving the nonlinear complementarity problem (NCP(F )) and analyze its convergence properties under the assumption that F is a P ₀ -function. We prove that every accumulation point of the sequence of iterates is a solution of NCP(F ) and that the sequence of iterates is bounded if the solution set of NCP(F ) is nonempty and bounded. Moreover, if F is a monotone and Lipschitz continuous function, we prove that the sequence of iterates is bounded if and only if the solution set of NCP(F ) is nonempty by setting , where is a parameter. If NCP(F) has a locally unique solution and satisfies a nonsingularity condition, then the convergence rate is superlinear (quadratic) without strict complementarity conditions. At each step, we only solve a linear system of equations. Numerical results are provided and further applications to other problems are discussed. Accepted 25 March 1998     

REPRESENTABILITY OF Aut F AND End F

Given a scheme X, we show that the automorphism functor of a quasi-coherent @_x-module of finite presentation F is representable if and only if F is locally free. The main technical tool of independent interest is a fibre wise criterion for flatness, which works without any assumptions about the base.