The nonexistence of 8-transitive graphs

We prove that the inequalitys≦7 holds for finites-transitive graphs assuming that the list of known 2-transitive permutation groups is complete.     

A finite element model of localized deformation in frictional materials taking a strong discontinuity approach

A finite element model of localized deformation in frictional materials taking a strong discontinuity approach is presented. A rate-independent, non-associated, strain-softening Drucker–Prager plasticity model is formulated in the context of strong discontinuities and implemented along with an enhanced quadrilateral element within the framework of an assumed enhanced strain finite element method. For simple model problems such as uniform compression, the strong discontinuity approach has been shown to lead to mesh-independent finite element solutions when localized deformation is present. In this paper, a finite element analysis of localized deformation occurring in a more complex model problem of slope stability is conducted in a nearly mesh-independent manner. The effect of dilatancy on the orientation of slip lines is demonstrated for the slope stability problem.     

A bilinear form associated to contact sub-conformal manifolds

We define a bilinear form associated to a sub-Riemannian contact manifold. It transforms by scalar multiples under sub-conformal transformations and with further hypothesis it is naturally defined on certain torus bundles over the contact manifold.     

Suborbits of a point-stabilizer in the unitary group on the last subconstituent of Hermitean dual polar graphs

Let Γ be a dual polar graph in a unitary space. It is well-known that a point-stabilizer in the unitary group is transitive on the last subconstituent Λ of Γ. In this paper, we determine all the suborbits of this action, calculate its rank and the length of each suborbit. Note that the induced subgraph on Λ is quasi-strongly regular. As an application of our results, all its parameters are computed.     

Embedding in R-closed spaces

Some problems in the theory of R-closed spaces are solved by showing that every regular space can be embedded in a minimal regular space and there is an R-closed space with no coarser minimal regular topology. A class of spaces is found so that when fed into the Jone's machinery for producing non-Tychonoff, regular spaces, the output is non-tychonoff R-closed and minimal regular spaces. Also, an example of a strongly minimal regular space that is not locally R-closed is given.     

THE SINGULARLY PERTURBED NONLINEAR ELLIPTIC SYSTEMS IN UNBOUNDED DOMAINS

Abstract. The singularly perturbed problems for elliptic systems in unbounded domains are considered. Under suitable conditions and by using the comparison theorem the existence and asymptotic behavior of solution for the boundary value problems studied,     

On the full automorphism group of a graph

While it is easy to characterize the graphs on which a given transitive permutation groupG acts, it is very difficult to characterize the graphsX with Aut (X)=G. We prove here that for the certain transitive permutation groups a simple necessary condition is also sufficient. As a corollary we find that, whenG is ap-group with no homomorphism ontoZ _p wrZ _p , almost all Cayley graphs ofG have automorphism group isomorphic toG.     

外来的捕食物种对濒危物种的影响

In this paper, an important problem arising from conservation biology is considered. Namely, how does the introduced species affect the survival of a native endangered species through predation? By using Kamke comparison theorem and some results in Cui and Chen‘s paper (1998), some sufficient conditions that guarantee the permanence of the species and global stability of a unique positive periodic solution are obtained. Biological implication of these results are discussed.     

Dynamics of multi-species competition-predator system with impulsive perturbations and Holling type III functional responses

We investigate the dynamics of a class of multi-species predator-prey interaction models with Holling type III functional responses based on systems of nonautonomous differential equations with impulsive perturbations. Sufficient conditions for existence of a positive periodic solution are investigated by using a continuation theorem in coincidence degree theory, which have been extensively applied in studying existence problems in differential equations and difference equations. In addition, sufficient criteria are established for the global stability and the globally exponential stability of the system by using the comparison principle and the Lyapunov method.     

Asymptotic behaviour of a family of gradient algorithms in ℝ d and Hilbert spaces

The asymptotic behaviour of a family of gradient algorithms (including the methods of steepest descent and minimum residues) for the optimisation of bounded quadratic operators in ℝ^d and Hilbert spaces is analyzed. The results obtained generalize those of Akaike (1959) in several directions. First, all algorithms in the family are shown to have the same asymptotic behaviour (convergence to a two-point attractor), which implies in particular that they have similar asymptotic convergence rates. Second, the analysis also covers the Hilbert space case. A detailed analysis of the stability property of the attractor is provided.     

Semisymmetric graphs

Let be a regular covering projection of connected graphs with the group of covering transformations isomorphic to N. If N is an elementary abelian p-group, then the projection ℘_N is called p-elementary abelian. The projection ℘_N is vertex-transitive (edge-transitive) if some vertex-transitive (edge-transitive) subgroup of the automorphism group of X lifts along ℘_N, and semisymmetric if it is edge- but not vertex-transitive. The projection ℘_N is minimal semisymmetric if it cannot be written as a composition ℘_N=℘℘_M of two (nontrivial) regular covering projections, where ℘_M is semisymmetric.Malni? et al. [Semisymmetric elementary abelian covers of the Möbius-Kantor graph, Discrete Math. 307 (2007) 2156-2175] determined all pairwise nonisomorphic minimal semisymmetric elementary abelian regular covering projections of the Möbius-Kantor graph, the Generalized Petersen graph GP(8,3), by explicitly giving the corresponding voltage rules generating the covering projections. It was remarked at the end of the above paper that the covering graphs arising from these covering projections need not themselves be semisymmetric (a graph with regular valency is said to be semisymmetric if its automorphism group is edge- but not vertex-transitive). In this paper it is shown that all these covering graphs are indeed semisymmetric.     

On a generalized proximal point method for solving equilibrium problems in Banach spaces

We introduce a regularized equilibrium problem in Banach spaces, involving generalized Bregman functions. For this regularized problem, we establish the existence and uniqueness of solutions. These regularizations yield a proximal-like method for solving equilibrium problems in Banach spaces. We prove that the proximal sequence is an asymptotically solving sequence when the dual space is uniformly convex. Moreover, we prove that all weak accumulation points are solutions if the equilibrium function is lower semicontinuous in its first variable. We prove, under additional assumptions, that the proximal sequence converges weakly to a solution.     

Mappings preserving area 1 of triangles

This paper is concerned with the characterization of area-preserving mappings of real inner product spaces.     

An infinite family of tetravalent half-arc-transitive graphs

A graph is half-arc-transitive if its automorphism group acts transitively on vertices and edges, but not on arcs. In this paper, a new infinite family of tetravalent half-arc-transitive graphs with girth 4 is constructed, each of which has order 16m such that m>1 is a divisor of 2t²+2t+1 for a positive integer t and is tightly attached with attachment number 4m. The smallest graph in the family has order 80.     

Asymptotic properties of nonlinear autoregressive Markov processes with state-dependent switching

In this paper, we consider a class of nonlinear autoregressive (AR) processes with state-dependent switching, which are two-component Markov processes. The state-dependent switching model is a nontrivial generalization of Markovian switching formulation and it includes the Markovian switching as a special case. We prove the Feller and strong Feller continuity by means of introducing auxiliary processes and making use of the Radon-Nikodym derivatives. Then, we investigate the geometric ergodicity by the Foster-Lyapunov inequality. Moreover, we establish the V-uniform ergodicity by means of introducing additional auxiliary processes and by virtue of constructing certain order-preserving couplings of the original as well as the auxiliary processes. In addition, illustrative examples are provided for demonstration.     

Integral Stone Rings

It is shown that certain partially ordered rings, defined by some of the properties of the totally ordered ring of integers, are exactly the bounded Z-rings, that is, the commutative f-rings with strong singular unit. The partially ordered rings in question amount to a discrete version of the rings introduced by M.H. Stone for his abstract characterization of the rings of real-valued continuous functions on compact Hausdorff spaces, and the function rings they correspond to are given by the integer-valued continuous functions on Boolean spaces.     

On viscosity solutions of irregular Hamilton-Jacobi equations

It is proved that the initial-value problem for admits a unique continuous viscosity solution under certain conditions which do not exclude that H(x, p) is discontinuous in x. Particular attention is devoted to the linear transport equation , where a may be discontinuous. Received: 21 October 2002     

A note on smooth toral reductions of spheres

In this paper we show that there exist mod 2 obstructions to the smoothness of 3-Sasakian reductions of spheres. Specifically, ifS is a smooth 3-Sasakian manifold obtained by reduction of the 3-Sasakian sphereS ⁴ⁿ⁻¹ by a torus, and if the second Betti numberb ₂(S)≥2 then dimS=7, 11, 15, whereas, ifb ₂ (S)≥5 then dimS=7. We also show that the above bounds are sharp, in that we construct explicit examples of 3-Sasakian manifolds in the cases not excluded by these bounds. During the preparation of this work the authors were partially supported by an NSF grant. This article was processed by the author using the L^AT_EX style file from Springer-Verlag.     

Free lattice algorithms

In the late 1930s Phillip Whitman gave an algorithm for deciding for lattice terms v and u if vu in the free lattice on the variables in v and u. He also showed that each element of the free lattice has a shortest term representing it and this term is unique up to commutivity and associativity. He gave an algorithm for finding this term. Almost all the work on free lattices uses these algorithms. Building on the work of Ralph McKenzie, J. B. Nation and the author have developed very efficient algorithms for deciding if a lattice term v has a lower cover (i.e., if there is a w with w covered by v, which is denoted by w) and for finding them if it does. This paper studies the efficiency of both Whitman's algorithm and the algorithms of Freese and Nation. It is shown that although it is often quite fast, the straightforward implementation of Whitman's algorithm for testing vu is exponential in time in the worst case. A modification of Whitman's algorithm is given which is polynomial and has constant minimum time. The algorithms of Freese and Nation are then shown to be polynomial.     

1-Dominations between Montesinos knots with at least 6 rational tangles

In this paper, we obtain a necessary and sufficient condition for the existence of 1-dominations between two Montesinos knots with at least 6 rational tangles.