Contact-pair neighborhood theorem for submanifolds in symplectic pairs

Let M be a 2n-dimensional smooth manifold associated with the structure of symplectic pair which is a pair of closed 2-forms of constant ranks with complementary kernel foliations. Let Q⊂Mbe a codimension 2 compact submanifold. We show some sufficient and necessary conditions on the existence of the structure of contact pair (α,β) on Q,which is a pair of 1-forms of constant classes whose characteristic foliations are transverse and complementary such that α and β restrict to contact forms on the leaves of the characteristic foliations of βand α,respectively. This is a generalization of the neighborhood theorem for contact-type hypersurfaces in symplectic topology.     

路的字典积的邻和可区别边染色

图G的正常[k]-边染色σ是指颜色集合为[k]={1,2,…,k}的G的一个正常边染色.用w_σ（x）表示顶点x关联边的颜色之和,即w_σ（x）=∑_e∋x σ（e）,并称w_σ（x）关于σ的权.图G的k-邻和可区别边染色是指相邻顶点具有不同权的正常[k]-边染色,最小的k值称为G的邻和可区别边色数,记为χ'_∑（G）.现得到了路P_n与简单连通图H的字典积P_n[H]的邻和可区别边色数的精确值,其中H分别为正则第一类图、路、完全图的补图.     

On <Emphasis Type="Italic">σ</Emphasis>-semipermutable Subgroups of Finite Groups

Let σ={σ_i|i∈I} be some partition of the set of all primes P, G a finite group and σ(G)={σ_i|σ_i ∩ π(G)≠∅}. A set H of subgroups of G is said to be a complete Hall σ-set of G if every member≠1 of H is a Hall σ_i-subgroup of G for some σ_i ∈ σ and H contains exactly one Hall σ_i-subgroup of G for every σ_i ∈ σ(G). A subgroup H of G is said to be:σ-semipermutable in G with respect to H if HH_i^x=H_i^xH for all x ∈ G and all H_i ∈ H such that (|H|,|H_i|)=1; σ-semipermutable in G if H is σ-semipermutable in G with respect to some complete Hall σ-set of G. We study the structure of G being based on the assumption that some subgroups of G are σ-semipermutable in G.     

带松弛条件的图的强边着色

给定两个非负整数s和t,图G的(s,t)-松弛强k边着色可表示为映射c:E(G)→[k],这个映射满足对G中的任意一条边e,颜色c(e)在e的1-邻域中最多出现s次并且在e的2-邻域中最多出现t次.图G的(s,t)-松弛强边着色指数,记作x'(s,t)(G),表示使得图G有(s,t)-松弛强k边着色的最小k值.在图G中...     

On p-CAP-subgroups of finite groups

Suppose that G is a finite group and H is a subgroup of G. H is said to be a p-CAP-subgroup of G if H either covers or avoids each pd-chief factor of G. We give some characterizations for a group G to be p-solvable under the assumption that some subgroups of G are p-CAP-subgroups of G.     

Non-naturally reductive Einstein metrics on Sp(n)

We prove that Sp(2k+l)admits at least two non-naturally reductive Einstein metrics which are Ad(Sp(k)×Sp(k)×Sp(l))-invariant ifk<1.It implies that every compact simple Lie group Sp(n)for n≥4 admits at least 2[(n-1)/3]non-naturally reductive left-invariant Einstein metrics.     

Nonchordal positive semidefinite stochastic matrices

Let K_nbe the convex set of n×npositive semidefinite doubly stochastic matrices. If Aε k_n, the graph of A,G(A), is the graph on n vertices with (i,j) an edge if a_ij ≠ 0i≠ j. We are concerned with the extreme points in K_n. In many cases, the rank of Aand G(A) are enough to determine whether A is extreme in K_n. This is true, in particular, if G(A)is a special kind of nonchordal graph, i.e., if no two cycles in G(A)have a common edge.     

An Extension of an Inequality Involving Symmetric Products with an Application to Permanents

Let A be an nk × nk positive semi-definite symmetric matrix partitioned into blocks A^ij each of which is an n × n matrix. In [2] Mine states a conjecture of Marcus that per(A) ≥ per(G) where G is the k × k matrix [per(A^ij)]. In this paper we prove a weaker inequality namely that per(A) ≥ (k!)^-1per(G).     

Decomposition of a rational matrix into partial fractions

In this paper a technique is developed for the expansion of a rational matrix F(λ)=G(λ)L^-1(λ)(orF(λ)=L^-1(λ)G(λ)into block partial fractions when the denominator has multiple roots. The method consists in the construction of interpolating matrix polynomials and their properties. Moreover, the approach is extended when L(λ) has nonlinear divisors.     

Gradient Estimates and Harnack Inequalities for Positive Solutions of $$\mathfrak{L}u=\frac{\partial u}{\partial t}$$ L u = ∂ u ∂ t on Self-shrinkers

In this paper, we investigate the positive solutions of Lu=∂u/∂t on self-shrinkers, then get some gradient estimates and Harnack inequalities for the positive solutions.     

Extensions of n-Hom Lie algebras

n-Hom Lie algebras are twisted by n-Lie algebras by means of twisting maps. n-Hom Lie algebras have close relationships with statistical mechanics and mathematical physics. The paper main concerns structures and representations of n-Hom Lie algebras. The concept of n_ρ-cocycle for an n-Hom Lie algebra (G, [,… , ], α) related to a G-module (V, ρ, β) is proposed, and a sufficient condition for the existence of the dual representation of an n-Hom Lie algebra is provided. From a G-module (V, ρ, β) and an n_ρ-cocycle θ, an n-Hom Lie algebra (T_θ(V ), [, … , ]θ, γ) is constructed on the vector space T_θ(V ) = G⊕V, which is called the T_θ-extension of an n-Hom Lie algebra (G, [, … , ], α) by the G-module (V, ρ, β).     

Nonsolvable groups whose irreducible character degrees have special 2-parts

Let G be a nonsolvable group and Irr(G) the set of irreducible complex characters of G. We consider the nonsolvable groups whose character degrees have special 2-parts and prove that if χ(1)₂ = 1 or |G|₂ for every χ ∈ Irr(G), then there exists a minimal normal subgroup N of G such that N ≅ PSL(2, 2ⁿ) and G/N is an odd order group.     

OD-Characterization of certain four dimensional linear groups with related results concerning degree patterns

The prime graph of a finite group G, which is denoted by GK(G), is a simple graph whose vertex set is comprised of the prime divisors of |G| and two distinct prime divisors p and q are joined by an edge if and only if there exists an element of order pq in G. Let p₁2<?<p_k be all prime divisors of |G|. Then the degree pattern of G is defined as D(G) = (degG(p₁), degG(p₂), ? , degG(p_k)), where degG(p) signifies the degree of the vertex p in GK(G). A finite group H is said to be OD-characterizable if G? H for every finite group G such that |G| = |H| and D(G) = D(H). The purpose of this article is threefold. First, it finds sharp upper and lower bounds on ?(G), the sum of degrees of all vertices in GK(G), for any finite group G (Theorem 2.1). Second, it provides the degree of vertices 2 and the characteristic p of the base field of any finite simple group of Lie type in their prime graphs (Propositions 3.1-3.7). Third, it proves the linear groups L₄(q), q = 19, 23, 27, 29, 31, 32, and 37, are OD-characterizable (Theorem 4.2).     

Flag-transitive 2-(v, k, λ) symmetric designs with (k, λ) = 1 and alternating socle

Consider the flag-transitive 2-(v, k, λ) symmetric designs with (k, λ) = 1. We prove that if {D} is a nontrivial 2-(v, k, λ) symmetric design with (k, λ) = 1 and G≤Aut({D}) is flag-transitive with Soc(G) = A_n for n≥5, then {D} is the projective space PG₂(3,2) and G = A₇.     

On embedding an outer-planar graph in a point set

Given an n-vertex outer-planar graph G and a set P of n points in the plane, we present an O(nlog³n) time and O(n) space algorithm to compute a straight-line embedding of G in P, improving upon the algorithm in [8,12] that requires O(n²) time. Our algorithm is near-optimal as there is an Ω(nlogn) lower bound for the problem [4]. We present a simpler O(nd) time and O(n) space algorithm to compute a straight-line embedding of G in P where lognd2n is the length of the longest vertex disjoint path in the dual of G. Therefore, the time complexity of the simpler algorithm varies between O(nlogn) and O(n²) depending on the value of d. More efficient algorithms are presented for certain restricted cases. If the dual of G is a path, then an optimal Θ(nlogn) time algorithm is presented. If the given point set is in convex position then we show that O(n) time suffices.     

On index of total boundedness of (strictly) o-bounded groups

Let G be a metrizable topological group. Denote by itb(G) the smallest cardinality of a cover of G by totally bounded subsets of G. A group G is defined to be σ-bounded if itb(G)₀. The group G is called o-bounded if for every sequence (U_n)_nω of neighborhoods of the identity in G there exists a sequence (F_n)_nω of finite subsets in G such that G=_nωF_n·U_n; G is called strictly o-bounded (respectively OF-determined) if the second player (respectively one of the players) has a winning strategy in the following game OF: two players, I and II, choose at every step n an open neighborhood U_n of the identity in G and a finite subset F_n of G, respectively. The player II wins if G=_nωF_n·U_n.

For a second countable group G the following results are proven. . If G is strictly o-bounded, then itb(G)₁ and G is σ-bounded or meager. If the space G is analytic, then the group is OF-determined and satisfies . G is σ-bounded if it is strictly o-bounded and one of the following conditions holds: (i) G is analytic; (ii) ; (iii) (MA+¬CH) holds; (iv) analytic games are determined; (v) there exists a measurable cardinal. Also we show that under (MA) every non-locally compact Polish Abelian divisible group contains a Baire o-bounded OF-undetermined subgroup.     

THE SPHERICAL FUNCTIONS AND THE CENTRAL LIMIT THEOREM ON SU（2,2）/S（U（2） × U（2））

Let G = SU（2, 2）, K = S（U（2） × U（2））, and for l ∈ Z, let {Tl}l∈z be a one-dimensional K-type and let El be the line bundle over G/K associated to Tl. It is shown that the Tl-spherical function on G is given by the hypergeometric functions of several variables. By applying this result, a central limit theorem for the space G/K is obtained.     

Complete-factors and f-factors

A factor F of a graph is called a complete-factor if each component of F is complete. Let G be a graph, F be a complete-factor of G with ω(F)2, and f be an integer-valued function defined on V(G) with ∑_xV(G)f(x) even. If G−V(C) has an f-factor for each component C of F, then G has an f-factor.     

On neighborhood condition for graphs to have [a,b]-factors

Let G be a graph of order n, and let a and b be integers such that 1a<b. Let δ(G) be the minimum degree of G. Then we prove that if δ(G)(k−1)a, n(a+b)(k(a+b)−2)/b, and |N_G(x₁)N_G(x₂)N_G(x_k)|an/(a+b) for any independent subset {x₁,x₂,…,x_k} of V(G), where k2, then G has an [a,b]-factor. This result is best possible in some sense.