The positive definiteness of real quadratic forms with convolution structures plays an important rolein stability analysis for time-stepping schemes for nonlocal operators. In this work, we present a novel analysistoo...The positive definiteness of real quadratic forms with convolution structures plays an important rolein stability analysis for time-stepping schemes for nonlocal operators. In this work, we present a novel analysistool to handle discrete convolution kernels resulting from variable-step approximations for convolution operators.More precisely, for a class of discrete convolution kernels relevant to variable-step L1-type time discretizations, weshow that the associated quadratic form is positive definite under some easy-to-check algebraic conditions. Ourproof is based on an elementary constructing strategy by using the properties of discrete orthogonal convolutionkernels and discrete complementary convolution kernels. To our knowledge, this is the first general result onsimple algebraic conditions for the positive definiteness of variable-step discrete convolution kernels. Using theunified theory, we obtain the stability for some simple nonuniform time-stepping schemes straightforwardly.展开更多
The relationship among Mercer kernel, reproducing kernel and positive definite kernel in support vector machine （SVM） is proved and their roles in SVM are discussed. The quadratic form of the kernel matrix is used t...The relationship among Mercer kernel, reproducing kernel and positive definite kernel in support vector machine （SVM） is proved and their roles in SVM are discussed. The quadratic form of the kernel matrix is used to confirm the positive definiteness and their construction. Based on the Bochner theorem, some translation invariant kernels are checked in their Fourier domain. Some rotation invariant radial kernels are inspected according to the Schoenberg theorem. Finally, the construction of discrete scaling and wavelet kernels, the kernel selection and the kernel parameter learning are discussed.展开更多
The symmetric positive definite solutions of matrix equations (AX,XB)=(C,D) and AXB=C are considered in this paper. Necessary and sufficient conditions for the matrix equations to have symmetric positive de...The symmetric positive definite solutions of matrix equations (AX,XB)=(C,D) and AXB=C are considered in this paper. Necessary and sufficient conditions for the matrix equations to have symmetric positive definite solutions are derived using the singular value and the generalized singular value decompositions. The expressions for the general symmetric positive definite solutions are given when certain conditions hold.展开更多
In this paper,we consider the maximal positive definite solution of the nonlinear matrix equation.By using the idea of Algorithm 2.1 in ZHANG(2013),a new inversion-free method with a stepsize parameter is proposed to ...In this paper,we consider the maximal positive definite solution of the nonlinear matrix equation.By using the idea of Algorithm 2.1 in ZHANG(2013),a new inversion-free method with a stepsize parameter is proposed to obtain the maximal positive definite solution of nonlinear matrix equation X+A^(*)X|^(-α)A=Q with the case 0<α≤1.Based on this method,a new iterative algorithm is developed,and its convergence proof is given.Finally,two numerical examples are provided to show the effectiveness of the proposed method.展开更多
In this paper, the author applies adjacent lattice method and Siegel mass formula to determine the classes of positive definite unimodular lattices of rank 4 over Z , and obtains that the class number of unit genus ...In this paper, the author applies adjacent lattice method and Siegel mass formula to determine the classes of positive definite unimodular lattices of rank 4 over Z , and obtains that the class number of unit genus gen( I 4 ) is nine and the class number of even unimodular lattices is three, and also gives the representative lattices of each class.展开更多
In this paper, the author applies adjacent lattice method and Siegel mass formula to determine the classes of positive definite unimodular lattices of rank 4 over Z , and obtains that the class number of unit genus ...In this paper, the author applies adjacent lattice method and Siegel mass formula to determine the classes of positive definite unimodular lattices of rank 4 over Z , and obtains that the class number of unit genus gen( I 4 ) is nine and the class number of even unimodular lattices is three, and also gives the representative lattices of each class.展开更多
The range and existence conditions of the Hermitian positive definite solutions of nonlinear matrix equations Xs+A*X-tA=Q are studied, where A is an n×n non-singular complex matrix and Q is an n×n Hermitian ...The range and existence conditions of the Hermitian positive definite solutions of nonlinear matrix equations Xs+A*X-tA=Q are studied, where A is an n×n non-singular complex matrix and Q is an n×n Hermitian positive definite matrix and parameters s,t>0. Based on the matrix geometry theory, relevant matrix inequality and linear algebra technology, according to the different value ranges of the parameters s,t, the existence intervals of the Hermitian positive definite solution and the necessary conditions for equation solvability are presented, respectively. Comparing the existing correlation results, the proposed upper and lower bounds of the Hermitian positive definite solution are more accurate and applicable.展开更多
In this paper, the Hermitian positive definite solutions of the nonlinear matrix equation X^s - A^＊X^-tA = Q are studied, where Q is a Hermitian positive definite matrix, s and t are positive integers. The existence ...In this paper, the Hermitian positive definite solutions of the nonlinear matrix equation X^s - A^＊X^-tA = Q are studied, where Q is a Hermitian positive definite matrix, s and t are positive integers. The existence of a Hermitian positive definite solution is proved. A sufficient condition for the equation to have a unique Hermitian positive definite solution is given. Some estimates of the Hermitian positive definite solutions are obtained. Moreover, two perturbation bounds for the Hermitian positive definite solutions are derived and the results are illustrated by some numerical examples.展开更多
In this paper,we study the nonlinear matrix equation X-A^(H)X^(-1)A=Q,where A,Q∈C^(n×n),Q is a Hermitian positive definite matrix and X∈C^(n×n)is an unknown matrix.We prove that the equation always has a u...In this paper,we study the nonlinear matrix equation X-A^(H)X^(-1)A=Q,where A,Q∈C^(n×n),Q is a Hermitian positive definite matrix and X∈C^(n×n)is an unknown matrix.We prove that the equation always has a unique Hermitian positive definite solution.We present two structure-preserving-doubling like algorithms to find the Hermitian positive definite solution of the equation,and the convergence theories are established.Finally,we show the effectiveness of the algorithms by numerical experiments.展开更多
To develop a unitary quantum theory with probabilistic description for pseudo-Hermitian systems one needs to consider the theories in a different Hilbert space endowed with a positive definite metric operator. There a...To develop a unitary quantum theory with probabilistic description for pseudo-Hermitian systems one needs to consider the theories in a different Hilbert space endowed with a positive definite metric operator. There are different approaches to find such metric operators. We compare the different approaches of calculating positive definite metric operators in pseudo-Hermitian theories with the help of several explicit examples in non-relativistic as well as in relativistic situations. Exceptional points and spontaneous symmetry breaking are also discussed in these models.展开更多
In this paper, we discuss completely positive definite maps over topological algebras. A Schwarz type inequality for n-positive definite maps, and the Stinespring representation theorem for completely positive definit...In this paper, we discuss completely positive definite maps over topological algebras. A Schwarz type inequality for n-positive definite maps, and the Stinespring representation theorem for completely positive definite maps over topological algebras are given.展开更多
In this paper, we discuss the positive definite problem of a binary quartic form and obtain a necessary and sufficient condition. In addition we give two examples to show that there are some errors in the paper [1].
In this paper,a new formulation of the Rubin’s q-translation is given,which leads to a reliable q-harmonic analysis.Next,related q-positive definite functions are introduced and studied,and a Bochner’s theorem is pr...In this paper,a new formulation of the Rubin’s q-translation is given,which leads to a reliable q-harmonic analysis.Next,related q-positive definite functions are introduced and studied,and a Bochner’s theorem is proved.展开更多
This paper discusses the necessary and sufficient conditions for the existence of Hermite positive definite solutions of the quaternion matrix equation X<sup>m</sup>+ B*XB = C (m > 0) and its iterative ...This paper discusses the necessary and sufficient conditions for the existence of Hermite positive definite solutions of the quaternion matrix equation X<sup>m</sup>+ B*XB = C (m > 0) and its iterative solution method. According to the characteristics of the coefficient matrix, a corresponding algebraic equation system is ingeniously constructed, and by discussing the equation system’s solvability, the matrix equation’s existence interval is obtained. Based on the characteristics of the coefficient matrix, some necessary and sufficient conditions for the existence of Hermitian positive definite solutions of the matrix equation are derived. Then, the upper and lower bounds of the positive actual solutions are estimated by using matrix inequalities. Four iteration formats are constructed according to the given conditions and existence intervals, and their convergence is proven. The selection method for the initial matrix is also provided. Finally, using the complexification operator of quaternion matrices, an equivalent iteration on the complex field is established to solve the equation in the Matlab environment. Two numerical examples are used to test the effectiveness and feasibility of the given method. .展开更多
The classification of motor imagery electroencephalogram(MI-EEG)signals is one of the key challenges in brain-computer interface(BCI)technology.Existing Riemannian geometry-based methods for MI-EEG signal analysis,whi...The classification of motor imagery electroencephalogram(MI-EEG)signals is one of the key challenges in brain-computer interface(BCI)technology.Existing Riemannian geometry-based methods for MI-EEG signal analysis,which rely on a single symmetric positive definite(SPD)manifold,often provide a limited geometric structure,making it difficult to fully capture the complex geometric characteristics of the signals.To address this issue,this paper proposes an innovative classification method for MI-EEG signals based on multi-Riemannian kernel fusion features(MRKFF).This method extends the classical SPD manifold by incorporating the Gaussian SPD manifold and the Grassmann manifold,extracting more discriminative kernel features from these heterogeneous manifolds for fusion-based classification.The proposed method is validated on the OpenBMI binary classification dataset and the BCI Competition IV-2a four-class dataset,achieving average classification accuracies of 75.6%and 71.0%,with Kappa values of 0.50 and 0.61,respectively.The proposed MRKFF method provides a new perspective for the geometric analysis of MI-EEG signals,enabling a deeper understanding and analysis of the complex geometric structure of these signals,thereby achieving more accurate signal classification in BCI applications.展开更多
In this note,we establish a new version of Schur-Horn type theorem for symplectic matrices.Meanwhile,we establish a necessary and sufficient condition for the equality to hold in the above result.
For the large sparse block two-by-two real nonsingular matrices, we establish a general framework of structured preconditioners through matrix transformation and matrix approximations. For the specific versions such a...For the large sparse block two-by-two real nonsingular matrices, we establish a general framework of structured preconditioners through matrix transformation and matrix approximations. For the specific versions such as modified block Jacobi-type, modified block Gauss-Seidel-type, and modified block unsymmetric (symmetric) Gauss-Seidel-type preconditioners, we precisely describe their concrete expressions and deliberately analyze eigenvalue distributions and positive definiteness of the preconditioned matrices. Also, we show that when these structured preconditioners are employed to precondition the Krylov subspace methods such as GMRES and restarted GMRES, fast and effective iteration solvers can be obtained for the large sparse systems of linear equations with block two-by-two coefficient matrices. In particular, these structured preconditioners can lead to high-quality preconditioning matrices for some typical matrices from the real-world applications.展开更多
In this paper,we find some mistakes in the paper “Several Inequalities of Matrix Traces” which was published in Chinese Quarterly Journal of Mathematics,Vol.10,No.2.
This paper proposes a new two-step non-oscillatory shape-preserving positive definite finite difference advection transport scheme, which merges the advantages of small dispersion error in the simple first-order upstr...This paper proposes a new two-step non-oscillatory shape-preserving positive definite finite difference advection transport scheme, which merges the advantages of small dispersion error in the simple first-order upstream scheme and small dissipation error in the simple second-order Lax-Wendroff scheme and is completely different from most of present positive definite advection schemes which are based on revising the upstream scheme results. The proposed scheme is much less time consuming than present shape-preserving or non-oscillatory advection transport schemes and produces results which are comparable to the results obtained from the present more complicated schemes. Elementary tests are also presented to examine the behavior of the scheme.展开更多
基金Hong-Lin Liao was supported by National Natural Science Foundation of China(Grant No.12071216)Tao Tang was supported by Science Challenge Project(Grant No.TZ2018001)+3 种基金National Natural Science Foundation of China(Grants Nos.11731006 and K20911001)Tao Zhou was supported by National Natural Science Foundation of China(Grant No.12288201)Youth Innovation Promotion Association(CAS)Henan Academy of Sciences.
文摘The positive definiteness of real quadratic forms with convolution structures plays an important rolein stability analysis for time-stepping schemes for nonlocal operators. In this work, we present a novel analysistool to handle discrete convolution kernels resulting from variable-step approximations for convolution operators.More precisely, for a class of discrete convolution kernels relevant to variable-step L1-type time discretizations, weshow that the associated quadratic form is positive definite under some easy-to-check algebraic conditions. Ourproof is based on an elementary constructing strategy by using the properties of discrete orthogonal convolutionkernels and discrete complementary convolution kernels. To our knowledge, this is the first general result onsimple algebraic conditions for the positive definiteness of variable-step discrete convolution kernels. Using theunified theory, we obtain the stability for some simple nonuniform time-stepping schemes straightforwardly.
基金Supported by the National Natural Science Foundation of China(60473035)~~
文摘The relationship among Mercer kernel, reproducing kernel and positive definite kernel in support vector machine （SVM） is proved and their roles in SVM are discussed. The quadratic form of the kernel matrix is used to confirm the positive definiteness and their construction. Based on the Bochner theorem, some translation invariant kernels are checked in their Fourier domain. Some rotation invariant radial kernels are inspected according to the Schoenberg theorem. Finally, the construction of discrete scaling and wavelet kernels, the kernel selection and the kernel parameter learning are discussed.
文摘The symmetric positive definite solutions of matrix equations (AX,XB)=(C,D) and AXB=C are considered in this paper. Necessary and sufficient conditions for the matrix equations to have symmetric positive definite solutions are derived using the singular value and the generalized singular value decompositions. The expressions for the general symmetric positive definite solutions are given when certain conditions hold.
基金Supported in part by Natural Science Foundation of Guangxi(2023GXNSFAA026246)in part by the Central Government's Guide to Local Science and Technology Development Fund(GuikeZY23055044)in part by the National Natural Science Foundation of China(62363003)。
文摘In this paper,we consider the maximal positive definite solution of the nonlinear matrix equation.By using the idea of Algorithm 2.1 in ZHANG(2013),a new inversion-free method with a stepsize parameter is proposed to obtain the maximal positive definite solution of nonlinear matrix equation X+A^(*)X|^(-α)A=Q with the case 0<α≤1.Based on this method,a new iterative algorithm is developed,and its convergence proof is given.Finally,two numerical examples are provided to show the effectiveness of the proposed method.
文摘In this paper, the author applies adjacent lattice method and Siegel mass formula to determine the classes of positive definite unimodular lattices of rank 4 over Z , and obtains that the class number of unit genus gen( I 4 ) is nine and the class number of even unimodular lattices is three, and also gives the representative lattices of each class.
文摘In this paper, the author applies adjacent lattice method and Siegel mass formula to determine the classes of positive definite unimodular lattices of rank 4 over Z , and obtains that the class number of unit genus gen( I 4 ) is nine and the class number of even unimodular lattices is three, and also gives the representative lattices of each class.
基金The National Natural Science Foundation of China(No.11371089)the China Postdoctoral Science Foundation(No.2016M601688)
文摘The range and existence conditions of the Hermitian positive definite solutions of nonlinear matrix equations Xs+A*X-tA=Q are studied, where A is an n×n non-singular complex matrix and Q is an n×n Hermitian positive definite matrix and parameters s,t>0. Based on the matrix geometry theory, relevant matrix inequality and linear algebra technology, according to the different value ranges of the parameters s,t, the existence intervals of the Hermitian positive definite solution and the necessary conditions for equation solvability are presented, respectively. Comparing the existing correlation results, the proposed upper and lower bounds of the Hermitian positive definite solution are more accurate and applicable.
基金Supported by the National Natural Science Foundation of China (Grant No.11071079)the Natural Science Foundation of Zhejiang Province (Grant No.Y6110043)
文摘In this paper, the Hermitian positive definite solutions of the nonlinear matrix equation X^s - A^＊X^-tA = Q are studied, where Q is a Hermitian positive definite matrix, s and t are positive integers. The existence of a Hermitian positive definite solution is proved. A sufficient condition for the equation to have a unique Hermitian positive definite solution is given. Some estimates of the Hermitian positive definite solutions are obtained. Moreover, two perturbation bounds for the Hermitian positive definite solutions are derived and the results are illustrated by some numerical examples.
基金This research is supported by the National Natural Science Foundation of China(No.11871444).
文摘In this paper,we study the nonlinear matrix equation X-A^(H)X^(-1)A=Q,where A,Q∈C^(n×n),Q is a Hermitian positive definite matrix and X∈C^(n×n)is an unknown matrix.We prove that the equation always has a unique Hermitian positive definite solution.We present two structure-preserving-doubling like algorithms to find the Hermitian positive definite solution of the equation,and the convergence theories are established.Finally,we show the effectiveness of the algorithms by numerical experiments.
文摘To develop a unitary quantum theory with probabilistic description for pseudo-Hermitian systems one needs to consider the theories in a different Hilbert space endowed with a positive definite metric operator. There are different approaches to find such metric operators. We compare the different approaches of calculating positive definite metric operators in pseudo-Hermitian theories with the help of several explicit examples in non-relativistic as well as in relativistic situations. Exceptional points and spontaneous symmetry breaking are also discussed in these models.
文摘In this paper, we discuss completely positive definite maps over topological algebras. A Schwarz type inequality for n-positive definite maps, and the Stinespring representation theorem for completely positive definite maps over topological algebras are given.
文摘In this paper, we discuss the positive definite problem of a binary quartic form and obtain a necessary and sufficient condition. In addition we give two examples to show that there are some errors in the paper [1].
文摘In this paper,a new formulation of the Rubin’s q-translation is given,which leads to a reliable q-harmonic analysis.Next,related q-positive definite functions are introduced and studied,and a Bochner’s theorem is proved.
文摘This paper discusses the necessary and sufficient conditions for the existence of Hermite positive definite solutions of the quaternion matrix equation X<sup>m</sup>+ B*XB = C (m > 0) and its iterative solution method. According to the characteristics of the coefficient matrix, a corresponding algebraic equation system is ingeniously constructed, and by discussing the equation system’s solvability, the matrix equation’s existence interval is obtained. Based on the characteristics of the coefficient matrix, some necessary and sufficient conditions for the existence of Hermitian positive definite solutions of the matrix equation are derived. Then, the upper and lower bounds of the positive actual solutions are estimated by using matrix inequalities. Four iteration formats are constructed according to the given conditions and existence intervals, and their convergence is proven. The selection method for the initial matrix is also provided. Finally, using the complexification operator of quaternion matrices, an equivalent iteration on the complex field is established to solve the equation in the Matlab environment. Two numerical examples are used to test the effectiveness and feasibility of the given method. .
基金Supported by the Natural Science Foundation of Shandong Province(No.ZR2022MF309)the Science and Technology Small and Mediumsized Enterprise Innovation Ability Enhancement Projec of Shandong Province(No.2022TSGC2554).
文摘The classification of motor imagery electroencephalogram(MI-EEG)signals is one of the key challenges in brain-computer interface(BCI)technology.Existing Riemannian geometry-based methods for MI-EEG signal analysis,which rely on a single symmetric positive definite(SPD)manifold,often provide a limited geometric structure,making it difficult to fully capture the complex geometric characteristics of the signals.To address this issue,this paper proposes an innovative classification method for MI-EEG signals based on multi-Riemannian kernel fusion features(MRKFF).This method extends the classical SPD manifold by incorporating the Gaussian SPD manifold and the Grassmann manifold,extracting more discriminative kernel features from these heterogeneous manifolds for fusion-based classification.The proposed method is validated on the OpenBMI binary classification dataset and the BCI Competition IV-2a four-class dataset,achieving average classification accuracies of 75.6%and 71.0%,with Kappa values of 0.50 and 0.61,respectively.The proposed MRKFF method provides a new perspective for the geometric analysis of MI-EEG signals,enabling a deeper understanding and analysis of the complex geometric structure of these signals,thereby achieving more accurate signal classification in BCI applications.
基金supported by the National Natural Science Foundation of China(Grant Nos.12201332,12271108)by the Fujian Provincial Natural Science Foundation of China(Grant No.2024J01874)by the Fujian Key Laboratory of Financial Information Processing(Putian University).
文摘In this note,we establish a new version of Schur-Horn type theorem for symplectic matrices.Meanwhile,we establish a necessary and sufficient condition for the equality to hold in the above result.
文摘For the large sparse block two-by-two real nonsingular matrices, we establish a general framework of structured preconditioners through matrix transformation and matrix approximations. For the specific versions such as modified block Jacobi-type, modified block Gauss-Seidel-type, and modified block unsymmetric (symmetric) Gauss-Seidel-type preconditioners, we precisely describe their concrete expressions and deliberately analyze eigenvalue distributions and positive definiteness of the preconditioned matrices. Also, we show that when these structured preconditioners are employed to precondition the Krylov subspace methods such as GMRES and restarted GMRES, fast and effective iteration solvers can be obtained for the large sparse systems of linear equations with block two-by-two coefficient matrices. In particular, these structured preconditioners can lead to high-quality preconditioning matrices for some typical matrices from the real-world applications.
文摘In this paper,we find some mistakes in the paper “Several Inequalities of Matrix Traces” which was published in Chinese Quarterly Journal of Mathematics,Vol.10,No.2.
基金This work is supported by the Ntional Natural Science Foundation of China.
文摘This paper proposes a new two-step non-oscillatory shape-preserving positive definite finite difference advection transport scheme, which merges the advantages of small dispersion error in the simple first-order upstream scheme and small dissipation error in the simple second-order Lax-Wendroff scheme and is completely different from most of present positive definite advection schemes which are based on revising the upstream scheme results. The proposed scheme is much less time consuming than present shape-preserving or non-oscillatory advection transport schemes and produces results which are comparable to the results obtained from the present more complicated schemes. Elementary tests are also presented to examine the behavior of the scheme.
