On the Growth of Components of Meromorphic Solutions of Systems of Complex Differential Equations

This paper investigates the problem of the growth of the components of meromorphic solutions of a class of a system of complex algebraic differential equations, and generalized some of N. Toda＇s results concerning the growth of differential equations to the case of systems of differential equations. The paper considers the existence of admissible solutions of the system of differential equations.     

New Estimates for the Rate of Convergence of the Method of Subspace Corrections

We discuss estimates for the rate of convergence of the method of successive subspace corrections in terms of condition number estimate for the method of parallel subspace corrections. We provide upper bounds and in a special case, a lower bound for preconditioners defined via the method of successive subspace corrections.     

Correlation of zeros of automorphic L-functions

We compute the n-level correlation of normalized nontrivial zeros of a product of L-functions:L(s,π1)···L(s,πk), where πj, j=1,...,k, are automorphic cuspidal representations of GLmj(QA). Here the sizes of the groups GLmj(QA) are not necessarily the same. When these L(s,πj) are distinct, we prove that their nontrivial zeros are uncorrelated, as predicted by random matrix theory and verified numerically. When L(s,πj) are not necessarily distinct, our results will lead to a proof that the n-level correlation of normalized nontrivial zeros of the product L-function follows the superposition of Gaussian Unitary Ensemble (GUE) models of individual L-functions and products of lower rank GUEs. The results are unconditional when m1,...,mk 4,but are under Hypothesis H in other cases.     

Generllzation of Direct Product and Generation of Sets of Orthogonal Functions

Two new kinds of direct product of matrices are defined. Their properties are investigated. Direct products of matrix and set of continuous functions are also defined. Many complete sets of orthogonal functions, such as those sets given by Walsh [2], Paley [3], Chrestenson[4], and Watari [5], may be generated by these newkinds of direct product. Direct products are also applicable to the generation of sets of piecewise orthogonal functions.     

Results of the maximum genus of graphs

In this paper,we provide a new class of up-embeddable graphs,and obtain a tight lower bound on the maximum genus of a class of 2-connected pseudographs of diameter 2 and of a class of diameter 4 multi-graphs.This extends a result of Skoviera.     

A Theory of Isomorphisms of Fuzzy Groups

In this paper, a theory of isomorphisms of fuzzy groups is put forward. First, a new definition of isomorphisms of fuzzy groups is proposed and compared with the corresponding ones given in other related papers. Next, some basic properties of this kind of isomorphisms are roughly examined. Then, as the main results of this paper, two basic isomorphism theorems for fuzzy groups are establised. Finally, presenting applications of these theorems, we point out that for any given t-norm T∈■_(ss)∪■_H∪■_F∪■_Y)/{Min}, every T-fuzzy group is isomorphic to a Prod-fuzzy or T_m-fuzzy group, where ■_(ss), ■_H, ■_F and ■_Y denote the Schweizer-Sklar, Hamacher, Frank and Yager families of t-norms, respectively.     

The Degree of Symmetry of Certain Compact Smooth Manifolds Ⅱ

We give the sharp estimates for the degree of symmetry and the semi-simple degree of symmetry of certain compact fiber bundles with non-trivial four dimensional fibers in the sense of cobordism, by virtue of the rigidity theorem of harmonic maps due to Schoen and Yau (Topology, 18, 1979, 361-380). As a corollary of this estimate, we compute the degree of symmetry and the semi-simple degree of symmetry of CP2×V, where V is a closed smooth manifold admitting a real analytic Riemannian metric of non-positive curvature. In addition, by the Albanese map, we obtain the sharp estimate of the degree of symmetry of a compact smooth manifold with some restrictions on its one dimensional cohomology.     

On solving equations of algebraic sum of equal powers

It is well known that a system of equations of sum of equal powers can be converted to an algebraic equation of higher degree via Newton's identities. This is the Viete-Newton theorem. This work reports the generalizations of the Viete-Newton theorem to a system of equations of algebraic sum of equal powers. By exploiting some facts from algebra and combinatorics, it is shown that a system of equations of algebraic sum of equal powers can be converted in a closed form to two algebraic equations, whose degree sum equals the number of unknowns of the system of equations of algebraic sum of equal powers.     

On the Category of Koszul Modules of Complexity One of an Exterior Algebra

In this paper, we prove that there is a natural equivalence between the category F1（x） of Koszul modules of complexity 1 with filtration of given cyclic modules as the factor modules of an exterior algebra A = ∧V of an m-dimensional vector space, and the category of the finite-dimensional locally nilpotent modules of the polynomial algebra of m - 1 variables.     

Topological Structure of Non-wandering Set of a Graph Map

Let G be a graph （i.e., a finite one-dimensional polyhedron） and f ： G → G be a continuous map. In this paper, we show that every isolated recurrent point of f is an isolated non-wandering point; every accumulation point of the set of non-wandering points of f with infinite orbit is a two-order accumulation point of the set of recurrent points of f; the derived set of an ω-limit set of f is equal to the derived set of an the set of recurrent points of f; and the two-order derived set of non-wandering set of f is equal to the two-order derived set of the set of recurrent points of f.     

Multi-dimensional versions of a formula of Popoviciu

In this paper, an explicit formulation for multivariate truncated power functions of degree one is given firstly. Based on multivariate truncated power functions of degree one, a formulation is presented which counts the number of non-negative integer solutions of s×(s 1) linear Diophantine equations and it can be considered as a multi-dimensional versions of the formula counting the number of non-negative integer solutions of ax by = n which is given by Popoviciu in 1953.     

The Degree of Unsolvability of Models

The purpose of this paper is to describe the complexity of models by theirdegrees of unsolvability,J.Richter defined the degree of a structure to be deg ()=sup{deg(),deg(R_i),i=1,…,n},Where is a model for afinite language L={R_i,i=1,…,n}and the universe of is a subset of ω. Shepointed out that, according to her definition, there can be models which areisomorphic but their degrees are different.Also,her discussions are restricted tofinite languages and models whose universes are subsets of ω.     

Lie Bialgebras of a Family of Lie Algebras of Block Type

Lie bialgebra structures on a family of Lie algebras of Block type are shown to be triangular coboundary.     

Stability of Solution of a Class of Quasilinear Elliptic Equations

In this paper, using capacity theory and extension theorem of Lipschitz functions we first discuss the uniqueness of weak solution of nonhomogeneous quasilinear elliptic equationsin space W(θ,p)(Ω), which is bigger than W1,p(Ω). Next, using revise reverse Holder inequality we prove that if ωc is uniformly p-think, then there exists a neighborhood U of p, such that for all t ∈U, the weak solutions of equation corresponding t are bounded uniformly. Finally, we get the stability of weak solutions on exponent p.     

Proof of the Volume Conjecture for Whitehead Doubles of a Family of Torus Knots

A technique to compute the colored Jones polynomials of satellite knots,illus- trated by the Whitehead doubles of knots,is presented.Then the author proves the volume conjecture for Whitehead doubles of a family of torus knots and shows some interesting observations.     

The Closeness of the τ-Standard Part of a Set

In this paper,the closeness of the τ-standard part of a set is discussed.Some related propositions of the τ-neighborhood system of a set are given.And then some related conclusions of the τ-monad of a set and the τ-standard part of a set are presented.And based on it,the necessary and sufficient conditions of the enlarged model and the saturated model are showed.Finally,some sufficient conditions that the τ-standard part of a set is closed are proved in the enlarged model and the saturated model.     

The fundamental group of the complement of the branch curve of ℂℙ1 × T

Denoting by T the complex projective torus, we can embed the surface CP^1 × T in CP^5. In this paper we compute the fundamental group of the complement of the branch curve of this surface. Since the embedding is not ＂ample enough＂, the embedded surface does not belong to the classes of surfaces where the fundamental group is virtually solvable： a property which holds for these groups for ＂ample enough＂ embeddings. On the other hand, as it is the first example of this computation for non simply-connected surfaces, the structure of this group （as shown in this paper） give rise to the extension of the conjecture regarding the structure of those fundamental groups of any surface.     

The Order of Hypersubstitutions of Type （2, 2）

Hypersubstitutions are mappings which map operation symbols to terms of the corresponding arities. They were introduced as a way of making precise the concept of a hyperidentity and generalizations to M-hyperidentities. A variety in which every identity is satisfied as a hyperidentity is called solid. If every identity is an M-hyperidentity for a subset M of the set of all hypersubstitutions, the variety is called M-solid. There is a Galois connection between monoids of hypersubstitutions and sublattices of the lattice of all varieties of algebras of a given type. Therefore, it is interesting and useful to know how semigroup or monoid properties of monoids of hypersubstitutions transfer under this Galois connection to properties of the corresponding lattices of M-solid varieties. In this paper, we study the order of each hypersubstitution of type （2, 2）, i.e., the order of the cyclic subsemigroup generated by that hypersubstitution of the monoid of all hypersubstitutions of type （2, 2）. The main result is that the order is 1, 2, 3, 4 or infinite.     

Cohomology of Moduli Space of Cubic Fourfolds Ⅰ

In this paper we compute the cohomology of moduli space of cubic fourfolds with ADE type singularities relying on Kirwan’s blowup and Laza’s GIT construction. More precisely, we obtain the Betti numbers of Kirwan’s resolution of the moduli space. Furthermore, by applying decomposition theorem we obtain the Betti numbers of the intersection cohomology of Baily-Borel compactification of the moduli space.