In addressing the challenge of motion artifacts in Positron Emission Tomography (PET) lung scans, our studyintroduces the Triple Equivariant Motion Transformer (TEMT), an innovative, unsupervised, deep-learningbasedfr...In addressing the challenge of motion artifacts in Positron Emission Tomography (PET) lung scans, our studyintroduces the Triple Equivariant Motion Transformer (TEMT), an innovative, unsupervised, deep-learningbasedframework for efficient respiratory motion correction in PET imaging. Unlike traditional techniques,which segment PET data into bins throughout a respiratory cycle and often face issues such as inefficiency andoveremphasis on certain artifacts, TEMT employs Convolutional Neural Networks (CNNs) for effective featureextraction and motion decomposition.TEMT’s unique approach involves transforming motion sequences into Liegroup domains to highlight fundamental motion patterns, coupled with employing competitive weighting forprecise target deformation field generation. Our empirical evaluations confirm TEMT’s superior performancein handling diverse PET lung datasets compared to existing image registration networks. Experimental resultsdemonstrate that TEMT achieved Dice indices of 91.40%, 85.41%, 79.78%, and 72.16% on simulated geometricphantom data, lung voxel phantom data, cardiopulmonary voxel phantom data, and clinical data, respectively. Tofacilitate further research and practical application, the TEMT framework, along with its implementation detailsand part of the simulation data, is made publicly accessible at https://github.com/yehaowei/temt.展开更多
This article is concerned with finite element implementations of the three- dimensional geometrically exact rod. The special attention is paid to identifying the con- dition that ensures the frame invariance of the re...This article is concerned with finite element implementations of the three- dimensional geometrically exact rod. The special attention is paid to identifying the con- dition that ensures the frame invariance of the resulting discrete approximations. From the perspective of symmetry, this requirement is equivalent to the commutativity of the employed interpolation operator I with the action of the special Euclidean group SE(3), or I is SE(3)-equivariant. This geometric criterion helps to clarify several subtle issues about the interpolation of finite rotation. It leads us to reexamine the finite element for- mulation first proposed by Simo in his work on energy-momentum conserving algorithms. That formulation is often mistakenly regarded as non-objective. However, we show that the obtained approximation is invariant under the superposed rigid body motions, and as a corollary, the objectivity of the continuum model is preserved. The key of this proof comes from the observation that since the numerical quadrature is used to compute the integrals, by storing the rotation field and its derivative at the Gauss points, the equiv- ariant conditions can be relaxed only at these points. Several numerical examples are presented to confirm the theoretical results and demonstrate the performance of this al- gorithm.展开更多
In this paper versal unfolding theorem of multiparameter equivariant bifurcation problem with parameter symmetry is given. The necessary and sufficient condition that unfolding of multiparameter equivariant bifurcatio...In this paper versal unfolding theorem of multiparameter equivariant bifurcation problem with parameter symmetry is given. The necessary and sufficient condition that unfolding of multiparameter equivariant bifurcation problem with parameter symmetry factors through another is given. The corresponding results in [1]-[6] are generalized.展开更多
For the unfolding of equivariant bifurcation problems with two types of state variables in the presence of parameter symmetry,the versal unfolding theorem with respect to left-right equivalence is obtained by using th...For the unfolding of equivariant bifurcation problems with two types of state variables in the presence of parameter symmetry,the versal unfolding theorem with respect to left-right equivalence is obtained by using the related methods and techniques in the singularity theory of smooth map-germs.The corresponding results in[4,9]can be considered as its special cases.A relationship between the versal unfolding w.r.t.left-right equivalence and the versal deformation w.r.t.contact equivalence is established.展开更多
In this paper we investigate the estimator for the rth power of the scale parameter in a class of exponential family under symmetric entropy loss L(θ, δ) = v(θ/δ + δ/θ - 2). An exact form of the minimum ris...In this paper we investigate the estimator for the rth power of the scale parameter in a class of exponential family under symmetric entropy loss L(θ, δ) = v(θ/δ + δ/θ - 2). An exact form of the minimum risk equivariant estimator under symmetric entropy loss is given, and the minimaxity of the minimum risk equivariant estimator is proved. The results with regard to admissibility and inadmissibility of a class of linear estimators of the form cT(X) + d are given, where T(X) Gamma(v, θ).展开更多
Based on the left_right equivalent relation of smooth map_germs in singularity theory, the unfoldings of multiparameter equivariant bifurcation problems with respect to left_right equivalence are discussed. The state ...Based on the left_right equivalent relation of smooth map_germs in singularity theory, the unfoldings of multiparameter equivariant bifurcation problems with respect to left_right equivalence are discussed. The state variables of such an equivariant bifurcation problem were divided into two groups, in which the first can vary independently, while the others depend on the first in the varying process. By applying related methods and techniques in the unfolding theory of smooth map_germs, the necessary and sufficient condition for an unfolding of a multiparameter equivariant bifurcation problem with two groups of state variables to be versal is obtained.展开更多
Associated with an immersion φ : S^3→ ■, we can define a canonical bundle endomorphism F : TS^3→ TS^3 by the pull back of the K?hler form of ■. In this article,related to F we study equivariant minimal immersions...Associated with an immersion φ : S^3→ ■, we can define a canonical bundle endomorphism F : TS^3→ TS^3 by the pull back of the K?hler form of ■. In this article,related to F we study equivariant minimal immersions from S^3 into ■ under the additional condition(?_XF)X = 0 for all X ∈ ker(F). As main result, we give a complete classification of such kinds of immersions. Moreover, we also construct a typical example of equivariant non-minimal immersion φ : S^3→ ■ satisfying(?_XF)X = 0 for all X ∈ ker(F), which is neither Lagrangian nor of CR type.展开更多
In this paper,we compute the first two equivariant heat kernel coeffcients of the Bochner Laplacian on differential forms.The first two equivariant heat kernel coeffcients of the Bochner Laplacian with torsion are als...In this paper,we compute the first two equivariant heat kernel coeffcients of the Bochner Laplacian on differential forms.The first two equivariant heat kernel coeffcients of the Bochner Laplacian with torsion are also given.We also study the equivariant heat kernel coeffcients of nonminimal operators on differential forms and get the equivariant Gilkey-Branson-Fulling formula.展开更多
Based on the contact equivalent relation of smooth map-germs in singularity theory, the stability of equivariant bifurcation problems with two types of state variables and their unfoldings in the presence of parameter...Based on the contact equivalent relation of smooth map-germs in singularity theory, the stability of equivariant bifurcation problems with two types of state variables and their unfoldings in the presence of parameter symmetry is discussed. Some basic results are obtained. Transversality condition is used to characterize the stability of equavariant bifurcation problems.展开更多
Von Rosen (1989) proposed the MLE of parameters in multivariate linear normal model MLNM(sumfromn= lto ∞AiBiCi). This paper discusses some properties of Rosen's MLE for general distributions which includs invaria...Von Rosen (1989) proposed the MLE of parameters in multivariate linear normal model MLNM(sumfromn= lto ∞AiBiCi). This paper discusses some properties of Rosen's MLE for general distributions which includs invariant, equivariant, strong consistency and asymptotic normality. Furthermore, we can construct the consistent confidence region for the parameter of experctation in MLNM(sumfromn=1to∞, AiBiCi) and obtain asymptotic distribu- tion and consistent confidence region of the linear discrimination function for canonical correlation by Kahtri (1988).展开更多
The concept of normal form is used to study the dynamics of non-linear systems. In this work we describe the normal form for vector fields on 3 × 3 with linear nilpotent part made up of coupled R3n Jordan blocks....The concept of normal form is used to study the dynamics of non-linear systems. In this work we describe the normal form for vector fields on 3 × 3 with linear nilpotent part made up of coupled R3n Jordan blocks. We use an algorithm based on the notion of transvectants from classical invariant theory known as boosting to equivariants in determining the normal form when the Stanley decomposition for the ring of invariants is known.展开更多
In this paper,a statistical prediction problem under ordered location and scale parameters are considered.Double-shrinkage predictors are given which use all the available data and improve on single-shrinkage predicto...In this paper,a statistical prediction problem under ordered location and scale parameters are considered.Double-shrinkage predictors are given which use all the available data and improve on single-shrinkage predictors,and hence the best equivariant predictors.展开更多
The minimum risk equivariant estimator of a quantile of the common marginal distribution in a multivariate Lomax distribution with unknown location and scale parameters under Linex loss function is considered.
1. Introduction. Throughout this note, G is a finite group, M is a compact connected smooth on-dimensional manifold with or without boundary M, and G acts smoothly on M. We follow the standard notations ([B], [tD]). T...1. Introduction. Throughout this note, G is a finite group, M is a compact connected smooth on-dimensional manifold with or without boundary M, and G acts smoothly on M. We follow the standard notations ([B], [tD]). The isotropy subgroup of a point展开更多
Let E be a compact Lie group, G a closed subgroup of E, and H a closed normal subgroup of G . For principal fibre bundle (E,p, E/G;G) and (E/H,p′,E/G;G/H), the relation between aut G(E) ...Let E be a compact Lie group, G a closed subgroup of E, and H a closed normal subgroup of G . For principal fibre bundle (E,p, E/G;G) and (E/H,p′,E/G;G/H), the relation between aut G(E) (resp. aut * G(E) ) and aut G/H (E/H) (resp.aut * G/H (E/H)) is investigated by using bundle map theory and transformation group theory. It will enable us to compute the group F G(E) (resp. E G(E)) while the group F G/H (E/H) is known.展开更多
A toric origami manifold,introduced by Cannas da Silva,Guillemin and Pires,is a generalization of a toric symplectic manifold.For a toric symplectic manifold,its equivariant Chern classes can be described in terms of ...A toric origami manifold,introduced by Cannas da Silva,Guillemin and Pires,is a generalization of a toric symplectic manifold.For a toric symplectic manifold,its equivariant Chern classes can be described in terms of the corresponding Delzant polytope and the stabilization of its tangent bundle splits as a direct sum of complex line bundles.But in general a toric origami manifold is not simply connected,so the algebraic topology of a toric origami manifold is more difficult than a toric symplectic manifold.In this paper they give an explicit formula of the equivariant Chern classes of an oriented toric origami manifold in terms of the corresponding origami template.Furthermore,they prove the stabilization of the tangent bundle of an oriented toric origami manifold also splits as a direct sum of complex line bundles.展开更多
The integer least squares(ILS)estimation is commonly used for carrier phase ambiguity resolution(AR).More recently,the best integer equivariant(BIE)estimation has also attracted an attention for complex application sc...The integer least squares(ILS)estimation is commonly used for carrier phase ambiguity resolution(AR).More recently,the best integer equivariant(BIE)estimation has also attracted an attention for complex application scenarios,which exhibits higher reliability by a weighted fusion of integer candidates.However,traditional BIE estimation with Gaussian distribution(GBIE)faces challenges in fully utilizing the advantages of BIE for urban low-cost positioning,mainly due to the presence of outliers and unmodeled errors.To this end,an improved BIE estimation method with Laplacian distribution(LBIE)is proposed,and several key issues are discussed,including the weight function of LBIE,determination of the candidates included based on the OIA test,and derivation of the variance of LBIE solutions for reliability evaluation.The results show that the proposed LBIE method has the positioning accuracy similar to the BIE using multivariate t-distribution(TBIE),and significantly outperforms the ILS-PAR and GBIE methods.In an urban expressway test with a Huawei Mate40 smartphone,the LBIE method has positioning errors of less than 0.5 m in three directions and obtains over 50%improvements compared to the ILS-PAR and GBIE methods.In an urban canyon test with a low-cost receiver STA8100 produced by STMicroelectronics,the positioning accuracy of LBIE in three directions is 0.112 m,0.107 m,and 0.252 m,respectively,with improvements of 17.6%,27.2%,and 26.1%compared to GBIE,and 23.3%,28.2%,and 30.6%compared to ILS-PAR.Moreover,its computational time increases by 30–40%compared to ILS-PAR and is approximately half of that using TBIE.展开更多
In this paper,we consider the fractional critical Schrödinger equation(FCSE)(-Δ)^(s)u-|u|2^(*)s-2 u=0,where u∈˙H^(s)(R^(N)),N≥4,0<s<1 and 2^(*)s=2 N/N-2 s is the critical Sobolev exponent of order s.By ...In this paper,we consider the fractional critical Schrödinger equation(FCSE)(-Δ)^(s)u-|u|2^(*)s-2 u=0,where u∈˙H^(s)(R^(N)),N≥4,0<s<1 and 2^(*)s=2 N/N-2 s is the critical Sobolev exponent of order s.By virtue of the variational method and the concentration compactness principle with the equivariant group action,we obtain some new type of nonradial,sign-changing solutions of(FCSE)in the energy space˙H^(s)(R^(N)).The key component is that we take the equivariant group action to construct several subspace of˙H^(s)(R^(N))with trivial intersection,then combine the concentration compactness argument in the Sobolev space with fractional order to show the compactness property of Palais-Smale sequences in each subspace and obtain the multiple solutions of(FCSE)in˙H^(s)(R^(N)).展开更多
In this paper,we define a relative equivariant coarse index for proper actions and a relative L^(2)-index.We derive a relative equivariant coarse index theorem connecting the relative equivariant coarse index with the...In this paper,we define a relative equivariant coarse index for proper actions and a relative L^(2)-index.We derive a relative equivariant coarse index theorem connecting the relative equivariant coarse index with the localized equivariant coarse index.Furthermore,we present a calculation formula on the relative L^(2)-index and provide a relative L^(2)-index theorem.Our work is an expansion of the relative index theory which reflects the difference between two manifolds.展开更多
基金the National Natural Science Foundation of China(No.82160347)Yunnan Provincial Science and Technology Department(No.202102AE090031)Yunnan Key Laboratory of Smart City in Cyberspace Security(No.202105AG070010).
文摘In addressing the challenge of motion artifacts in Positron Emission Tomography (PET) lung scans, our studyintroduces the Triple Equivariant Motion Transformer (TEMT), an innovative, unsupervised, deep-learningbasedframework for efficient respiratory motion correction in PET imaging. Unlike traditional techniques,which segment PET data into bins throughout a respiratory cycle and often face issues such as inefficiency andoveremphasis on certain artifacts, TEMT employs Convolutional Neural Networks (CNNs) for effective featureextraction and motion decomposition.TEMT’s unique approach involves transforming motion sequences into Liegroup domains to highlight fundamental motion patterns, coupled with employing competitive weighting forprecise target deformation field generation. Our empirical evaluations confirm TEMT’s superior performancein handling diverse PET lung datasets compared to existing image registration networks. Experimental resultsdemonstrate that TEMT achieved Dice indices of 91.40%, 85.41%, 79.78%, and 72.16% on simulated geometricphantom data, lung voxel phantom data, cardiopulmonary voxel phantom data, and clinical data, respectively. Tofacilitate further research and practical application, the TEMT framework, along with its implementation detailsand part of the simulation data, is made publicly accessible at https://github.com/yehaowei/temt.
文摘This article is concerned with finite element implementations of the three- dimensional geometrically exact rod. The special attention is paid to identifying the con- dition that ensures the frame invariance of the resulting discrete approximations. From the perspective of symmetry, this requirement is equivalent to the commutativity of the employed interpolation operator I with the action of the special Euclidean group SE(3), or I is SE(3)-equivariant. This geometric criterion helps to clarify several subtle issues about the interpolation of finite rotation. It leads us to reexamine the finite element for- mulation first proposed by Simo in his work on energy-momentum conserving algorithms. That formulation is often mistakenly regarded as non-objective. However, we show that the obtained approximation is invariant under the superposed rigid body motions, and as a corollary, the objectivity of the continuum model is preserved. The key of this proof comes from the observation that since the numerical quadrature is used to compute the integrals, by storing the rotation field and its derivative at the Gauss points, the equiv- ariant conditions can be relaxed only at these points. Several numerical examples are presented to confirm the theoretical results and demonstrate the performance of this al- gorithm.
基金This work is supported by NNSF of China(10271023) and Hunan Provincial Natural Science Foundation of China(04JJ3072).
文摘In this paper versal unfolding theorem of multiparameter equivariant bifurcation problem with parameter symmetry is given. The necessary and sufficient condition that unfolding of multiparameter equivariant bifurcation problem with parameter symmetry factors through another is given. The corresponding results in [1]-[6] are generalized.
文摘For the unfolding of equivariant bifurcation problems with two types of state variables in the presence of parameter symmetry,the versal unfolding theorem with respect to left-right equivalence is obtained by using the related methods and techniques in the singularity theory of smooth map-germs.The corresponding results in[4,9]can be considered as its special cases.A relationship between the versal unfolding w.r.t.left-right equivalence and the versal deformation w.r.t.contact equivalence is established.
基金The SRFDPHE(20070183023)the NSF(10571073,J0630104)of China
文摘In this paper we investigate the estimator for the rth power of the scale parameter in a class of exponential family under symmetric entropy loss L(θ, δ) = v(θ/δ + δ/θ - 2). An exact form of the minimum risk equivariant estimator under symmetric entropy loss is given, and the minimaxity of the minimum risk equivariant estimator is proved. The results with regard to admissibility and inadmissibility of a class of linear estimators of the form cT(X) + d are given, where T(X) Gamma(v, θ).
文摘Based on the left_right equivalent relation of smooth map_germs in singularity theory, the unfoldings of multiparameter equivariant bifurcation problems with respect to left_right equivalence are discussed. The state variables of such an equivariant bifurcation problem were divided into two groups, in which the first can vary independently, while the others depend on the first in the varying process. By applying related methods and techniques in the unfolding theory of smooth map_germs, the necessary and sufficient condition for an unfolding of a multiparameter equivariant bifurcation problem with two groups of state variables to be versal is obtained.
文摘Associated with an immersion φ : S^3→ ■, we can define a canonical bundle endomorphism F : TS^3→ TS^3 by the pull back of the K?hler form of ■. In this article,related to F we study equivariant minimal immersions from S^3 into ■ under the additional condition(?_XF)X = 0 for all X ∈ ker(F). As main result, we give a complete classification of such kinds of immersions. Moreover, we also construct a typical example of equivariant non-minimal immersion φ : S^3→ ■ satisfying(?_XF)X = 0 for all X ∈ ker(F), which is neither Lagrangian nor of CR type.
基金supported by NSFC(10801027)Fok Ying Tong Education Foundation(121003)
文摘In this paper,we compute the first two equivariant heat kernel coeffcients of the Bochner Laplacian on differential forms.The first two equivariant heat kernel coeffcients of the Bochner Laplacian with torsion are also given.We also study the equivariant heat kernel coeffcients of nonminimal operators on differential forms and get the equivariant Gilkey-Branson-Fulling formula.
基金Project supported by the National Natural Science Foundation of China(No.10671002)the Natural Science Foundation of Hunan Province of China(No.04JJ3072)the Science Foundation of the Education Department of Hunan Province of China(No.04C383)
文摘Based on the contact equivalent relation of smooth map-germs in singularity theory, the stability of equivariant bifurcation problems with two types of state variables and their unfoldings in the presence of parameter symmetry is discussed. Some basic results are obtained. Transversality condition is used to characterize the stability of equavariant bifurcation problems.
文摘Von Rosen (1989) proposed the MLE of parameters in multivariate linear normal model MLNM(sumfromn= lto ∞AiBiCi). This paper discusses some properties of Rosen's MLE for general distributions which includs invariant, equivariant, strong consistency and asymptotic normality. Furthermore, we can construct the consistent confidence region for the parameter of experctation in MLNM(sumfromn=1to∞, AiBiCi) and obtain asymptotic distribu- tion and consistent confidence region of the linear discrimination function for canonical correlation by Kahtri (1988).
文摘The concept of normal form is used to study the dynamics of non-linear systems. In this work we describe the normal form for vector fields on 3 × 3 with linear nilpotent part made up of coupled R3n Jordan blocks. We use an algorithm based on the notion of transvectants from classical invariant theory known as boosting to equivariants in determining the normal form when the Stanley decomposition for the ring of invariants is known.
文摘In this paper,a statistical prediction problem under ordered location and scale parameters are considered.Double-shrinkage predictors are given which use all the available data and improve on single-shrinkage predictors,and hence the best equivariant predictors.
文摘The minimum risk equivariant estimator of a quantile of the common marginal distribution in a multivariate Lomax distribution with unknown location and scale parameters under Linex loss function is considered.
文摘1. Introduction. Throughout this note, G is a finite group, M is a compact connected smooth on-dimensional manifold with or without boundary M, and G acts smoothly on M. We follow the standard notations ([B], [tD]). The isotropy subgroup of a point
文摘Let E be a compact Lie group, G a closed subgroup of E, and H a closed normal subgroup of G . For principal fibre bundle (E,p, E/G;G) and (E/H,p′,E/G;G/H), the relation between aut G(E) (resp. aut * G(E) ) and aut G/H (E/H) (resp.aut * G/H (E/H)) is investigated by using bundle map theory and transformation group theory. It will enable us to compute the group F G(E) (resp. E G(E)) while the group F G/H (E/H) is known.
基金supported by the National Natural Science Foundation of China(Nos.11801186,11901218)。
文摘A toric origami manifold,introduced by Cannas da Silva,Guillemin and Pires,is a generalization of a toric symplectic manifold.For a toric symplectic manifold,its equivariant Chern classes can be described in terms of the corresponding Delzant polytope and the stabilization of its tangent bundle splits as a direct sum of complex line bundles.But in general a toric origami manifold is not simply connected,so the algebraic topology of a toric origami manifold is more difficult than a toric symplectic manifold.In this paper they give an explicit formula of the equivariant Chern classes of an oriented toric origami manifold in terms of the corresponding origami template.Furthermore,they prove the stabilization of the tangent bundle of an oriented toric origami manifold also splits as a direct sum of complex line bundles.
基金funded by the National Key R&D Program of China(Grant No.2021YFC3000502)the National Natural Science Foundation of China(Grant No.42274034)+2 种基金the Major Program(JD)of Hubei Province(Grant No.2023BAA026)the Special Fund of Hubei Luojia Laboratory(Grant No.2201000038)the Research project of Chongqing Administration for Marktet Regulation,China(Grant No.CQSJKJ2022037).
文摘The integer least squares(ILS)estimation is commonly used for carrier phase ambiguity resolution(AR).More recently,the best integer equivariant(BIE)estimation has also attracted an attention for complex application scenarios,which exhibits higher reliability by a weighted fusion of integer candidates.However,traditional BIE estimation with Gaussian distribution(GBIE)faces challenges in fully utilizing the advantages of BIE for urban low-cost positioning,mainly due to the presence of outliers and unmodeled errors.To this end,an improved BIE estimation method with Laplacian distribution(LBIE)is proposed,and several key issues are discussed,including the weight function of LBIE,determination of the candidates included based on the OIA test,and derivation of the variance of LBIE solutions for reliability evaluation.The results show that the proposed LBIE method has the positioning accuracy similar to the BIE using multivariate t-distribution(TBIE),and significantly outperforms the ILS-PAR and GBIE methods.In an urban expressway test with a Huawei Mate40 smartphone,the LBIE method has positioning errors of less than 0.5 m in three directions and obtains over 50%improvements compared to the ILS-PAR and GBIE methods.In an urban canyon test with a low-cost receiver STA8100 produced by STMicroelectronics,the positioning accuracy of LBIE in three directions is 0.112 m,0.107 m,and 0.252 m,respectively,with improvements of 17.6%,27.2%,and 26.1%compared to GBIE,and 23.3%,28.2%,and 30.6%compared to ILS-PAR.Moreover,its computational time increases by 30–40%compared to ILS-PAR and is approximately half of that using TBIE.
基金supported by National Key Research and Development Program of China(No.2020YFA0712900)NSFC(No.112371240 and No.12431008)supported by NSFC(No.12001284)。
文摘In this paper,we consider the fractional critical Schrödinger equation(FCSE)(-Δ)^(s)u-|u|2^(*)s-2 u=0,where u∈˙H^(s)(R^(N)),N≥4,0<s<1 and 2^(*)s=2 N/N-2 s is the critical Sobolev exponent of order s.By virtue of the variational method and the concentration compactness principle with the equivariant group action,we obtain some new type of nonradial,sign-changing solutions of(FCSE)in the energy space˙H^(s)(R^(N)).The key component is that we take the equivariant group action to construct several subspace of˙H^(s)(R^(N))with trivial intersection,then combine the concentration compactness argument in the Sobolev space with fractional order to show the compactness property of Palais-Smale sequences in each subspace and obtain the multiple solutions of(FCSE)in˙H^(s)(R^(N)).
基金supported by National Natural Science Foundation of China(Grant Nos.11771092,11831006,11771143 and 11801178)。
文摘In this paper,we define a relative equivariant coarse index for proper actions and a relative L^(2)-index.We derive a relative equivariant coarse index theorem connecting the relative equivariant coarse index with the localized equivariant coarse index.Furthermore,we present a calculation formula on the relative L^(2)-index and provide a relative L^(2)-index theorem.Our work is an expansion of the relative index theory which reflects the difference between two manifolds.