Tripled fixed point theorems for contractive type mappings in partially ordered metric spaces

In this paper, we introduce the concept of tripled fixed point for nonlinear mappings in partially ordered complete metric spaces and obtain existence, and existence and uniqueness theorems for contractive type mappings. Our results generalize and extend recent coupled fixed point theorems established by Gnana Bhaskar and Lakshmikantham [T. Gnana Bhaskar, V. Lakshmikantham, Fixed point theorems in partially ordered metric spaces and applications, Nonlinear Anal. 65 (7) (2006) 1379-1393]. Examples to support our new results are given.     

The rotational dimension of a graph

Given a connected graph G = (N, E) with node weights s∈? and nonnegative edge lengths, we study the following embedding problem related to an eigenvalue optimization problem over the second smallest eigenvalue of the (scaled) Laplacian of G: Find v_i∈?^|N|, i∈N so that distances between adjacent nodes do not exceed prescribed edge lengths, the weighted barycenter of all points is at the origin, and is maximized. In the case of a two‐dimensional optimal solution this corresponds to the equilibrium position of a quickly rotating net consisting of weighted mass points that are linked by massless cables of given lengths. We define the rotational dimension of G to be the minimal dimension k so that for all choices of lengths and weights an optimal solution can be found in ?^k and show that this is a minor monotone graph parameter. We give forbidden minor characterizations up to rotational dimension 2 and prove that the rotational dimension is always bounded above by the tree‐width of G plus one. © 2010 Wiley Periodicals, Inc. J Graph Theory 66:283‐302, 2011     

M-群的正规子群

构造了一类新的可解群,使得其中的每个成员均不能同构于M-群的正规子群,推广了R.W.van der Waall关于M-群的一个类似结果.     

Worms,gaps, and hydras

We define a direct translation from finite rooted trees to finite natural functions which shows that the Worm Principle introduced by Lev Beklemishev is equivalent to a very slight variant of the well‐known Kirby‐Paris' Hydra Game. We further show that the elements in a reduction sequence of the Worm Principle determine a bad sequence in the well‐quasi‐ordering of finite sequences of natural numbers with respect to Friedman's gapembeddability. A characterization of gap‐embeddability in terms of provability logic due to Lev Beklemishev is also presented. (© 2005 WILEY‐VCH Verlag GmbH & Co. KGaA, Weinheim)     

Infinitely divisible probabilities on discrete linear groups

We investigate the structure of infinitely divisible probability measures on a discrete linear group. It is shown that for any such measure there is an infinitely divisible elementz in the centralizer of the support of the measure, such that the translate of the measure byz is embeddable over the subgroup generated by the support of the measure. Examples are given to show that this reult is best possible.     

Holder continuity of solutions to a parametric variational inequality

We prove a Hölder continuity property of the locally unique solution to a parametric variational inequality without assuming differentiability of the given data.This research was supported by the World Laboratory (Lausanne).     

KKM property and fixed point theorems in metric spaces

In this paper, first part, we establish some fixed point theorems for a k-set contraction map on the nearly-subadmissible subsets of a complete metric space. The second part, we deduce a generalization of the approximate fixed point theorem for the lower semicontinuous mappings on a metric space.     

Recursive fault-tolerance of Fibonacci cube in hypercubes

Fibonacci cube is a subgraph of hypercube induced on vertices without two consecutive 1's. If we remove from Fibonacci cube the vertices with 1 both in the first and the last position, we obtain Lucas cube. We consider the problem of determining the minimum number of vertices in n-dimensional hypercube whose removal leaves no subgraph isomorphic to m-dimensional Fibonacci cube. The exact values for small m are given and several recursive bounds are established using the symmetry property of Lucas cubes and the technique of labeling. The relation to the problem of subcube fault-tolerance in hypercube is also shown.     

Consecutive-(r,f,k) out-of-n:F和Consecutive-(f,g)-out-of-(r,n):F线性系统的可靠性

Consecutive-(r,f,k)-out-of-n:F系统由n个单元顺序连结而成,仅当在连续的r个单元中,至少有f个失效或者至少连续k个失效,整个系统才失效;而Consecutive-(f,g)-out-of-(r,n):F系统由n个单元顺序连结而成,仅当在整个系统中至少有f个失效或者在连续的r个单元中,至少有g个失效,整个系统才失效。本文运用马氏链嵌入方法,在单元之间相互独立以及单元之间马氏相关这两种情况下,给出线性系统的可靠性。