Tree-edges deletion problems with bounded diameter obstruction sets

We study the following problem: given a tree G and a finite set of trees H, find a subset O of the edges of G such that G-O does not contain a subtree isomorphic to a tree from H, and O has minimum cardinality. We give sharp boundaries on the tractability of this problem: the problem is polynomial when all the trees in H have diameter at most 5, while it is NP-hard when all the trees in H have diameter at most 6. We also show that the problem is polynomial when every tree in H has at most one vertex with degree more than 2, while it is NP-hard when the trees in H can have two such vertices.The polynomial-time algorithms use a variation of a known technique for solving graph problems. While the standard technique is based on defining an equivalence relation on graphs, we define a quasiorder. This new variation might be useful for giving more efficient algorithm for other graph problems.     

D×D上的Toeplitz型与Hankel型算子

本文给出了空间Ｌ￣ａ，２（Ｄ×Ｄ，）的一个完全正交分解，定义了一系列Ｔｏｅｐｌｉｔｚ型与Ｈａｎｋｅｌ型算子，并且证明了它们的有界性，紧性及其Ｓｃｈａｔｔｅｎ－ｖｏｎＮｅｕｍａｎｎ性质．     

On enumeration of polynomial equivalence classes

The isomorphism of polynomials(IP),one of the hard problems in multivariate public key cryptography induces an equivalence relation on a set of systems of polynomials.Then the enumeration problem of IP consists of counting the numbers of different classes and counting the cardinality of each class that is highly related to the scale of key space for a multivariate public key cryptosystem.In this paper we show the enumeration of the equivalence classes containing ∑n-1 i=0 aiX2qi when char(Fq) = 2,which implies that these polynomials are all weak IP instances.Moreover,we study the cardinality of an equivalence class containing the binomial aX 2q i + bX 2qj(i=j) over Fqn without the restriction that char(Fq) = 2,which gives us a deeper understanding of finite geometry as a tool to investigate the enumeration problem of IP.     

Q_k(x)与F_k(x)的渐近公式

设ｎ，ｋ为自然数，Ｇ（ｎ）阶群中的同构类数，Ｆｋ（ｘ）与Ｑｋ（ｘ）分别表示不超过ｘ的自然数中使Ｇ（ｎ）＝ｋ的自然数、无平方因子自然数的个数．本文的目的是用Ｂｒｕｎ筛法证明Ｑｋ（ｘ）的条件渐近公式并对Ｆｋ（ｘ）的渐近性质做出了推测．     

Oriented Cohomology Theories of Algebraic Varieties

This article contains proofs of the results announced by Panin and Smirnov (http://www. math.uiuc.edu/k-theory/0459/2000) in the part concerning general properties of oriented cohomology theories of algebraic varieties. It is constructed one-to-one correspondences between orientations, Chern structures and Thom structures on a given ring cohomology theory. The theory is illustrated by motivic cohomology, algebraic K-theory, algebraic cobordism theory and by other examples.     

Additive Jordan isomorphisms of nest algebras on normed spaces

Let X be a real or complex Banach space. Let and be two nest algebras on X. Suppose that φ is an additive bijective mapping from onto such that φ(A²)=φ(A)² for every . Then φ is either a ring isomorphism or a ring anti-isomorphism. Moreover, if X is a real space or an infinite dimensional complex space, then there exists a continuous (conjugate) linear bijective mapping T such that either φ(A)=TAT⁻¹ for every or φ(A)=TA∗T−1 for every .     

交换群层的正合序列与同态定理

在交换群层（简称层）中给出了层的单（满）同态核与上核的泛性定理及正合交换图的一系列结论,进而证明了交换群层的同态（同构）定理。     

A generalization of inverse distance weighting and an equivalence relationship to noise-free Gaussian process interpolation via Riesz representation theorem

In this paper, we show the relationship between two seemingly unrelated approximation techniques. On the one hand, a certain class of Gaussian process-based interpolation methods, and on the other hand inverse distance weighting, which has been developed in the context of spatial analysis where there is often a need for interpolating from irregularly spaced data to produce a continuous surface. We develop a generalization of inverse distance weighting and show that it is equivalent to the approximation provided by the class of Gaussian process-based interpolation methods. The equivalence is established via an elegant application of Riesz representation theorem concerning the dual of a Hilbert space. It is thus demonstrated how a classical theorem in linear algebra connects two disparate domains.     

Fractional diffusion-type equations with exponential and logarithmic differential operators

We deal with some extensions of the space-fractional diffusion equation, which is satisfied by the density of a stable process (see Mainardi et al. (2001)): the first equation considered here is obtained by adding an exponential differential (or shift) operator expressed in terms of the Riesz–Feller derivative. We prove that this produces a random component in the time-argument of the corresponding stable process, which is represented by the so-called Poisson process with drift. Analogously, if we add, to the space-fractional diffusion equation, a logarithmic differential operator involving the Riesz-derivative, we obtain, as a solution, the transition semigroup of a stable process subordinated by an independent gamma subordinator with drift. Finally, we show that an extension of the space-fractional diffusion equation, containing both the fractional shift operator and the Feller integral, is satisfied by the transition density of the process obtained by time-changing the stable process with an independent linear birth process with drift.     

Exponential stability of uniform Euler–Bernoulli beams with non-collocated boundary controllers

We study the stability of a robot system composed of two Euler–Bernoulli beams with non-collocated controllers. By the detailed spectral analysis, we prove that the asymptotical spectra of the system are distributed in the complex left-half plane and there is a sequence of the generalized eigenfunctions that forms a Riesz basis in the energy space. Since there exist at most finitely many spectral points of the system in the right half-plane, to obtain the exponential stability, we show that one can choose suitable feedback gains such that all eigenvalues of the system are located in the left half-plane. Hence the Riesz basis property ensures that the system is exponentially stable. Finally we give some simulation for spectra of the system.