We show how to directly use the generalized Feynman-Hellmann theorem, which is suitable for mixed state ensemble average, to derive the internal energy of Hamiltonian systems. A concrete example, which is a two couple...We show how to directly use the generalized Feynman-Hellmann theorem, which is suitable for mixed state ensemble average, to derive the internal energy of Hamiltonian systems. A concrete example, which is a two coupled harminic oscillators, is used for elucidating our approach.展开更多
We establish the Stinespring dilation theorem of the link product of quantum channels in two different ways,discuss the discrimination of quantum channels,and show that the distinguishability can be improved by self-l...We establish the Stinespring dilation theorem of the link product of quantum channels in two different ways,discuss the discrimination of quantum channels,and show that the distinguishability can be improved by self-linking each quantum channel n times as n grows.We also find that the maximum value of Uhlmann's theorem can be achieved for diagonal channels.展开更多
We analyse the Diophantine equation of Fermat xp yp = zp with p > 2 a prime, x, y, z positive nonzero integers. We consider the hypothetical solution (a, b, c) of previous equation. We use Fermat main divisors, Dio...We analyse the Diophantine equation of Fermat xp yp = zp with p > 2 a prime, x, y, z positive nonzero integers. We consider the hypothetical solution (a, b, c) of previous equation. We use Fermat main divisors, Diophantine remainders of (a, b, c), an asymptotic approach based on Balzano Weierstrass Analysis Theorem as tools. We construct convergent infinite sequences and establish asymptotic results including the following surprising one. If z y = 1 then there exists a tight bound N such that, for all prime exponents p > N , we have xp yp zp.展开更多
Fermat’s Last Theorem is a famous theorem in number theory which is difficult to prove.However,it is known that the version of polynomials with one variable of Fermat’s Last Theorem over C can be proved very concisely...Fermat’s Last Theorem is a famous theorem in number theory which is difficult to prove.However,it is known that the version of polynomials with one variable of Fermat’s Last Theorem over C can be proved very concisely.The aim of this paper is to study the similar problems about Fermat’s Last Theorem for multivariate(skew)-polynomials with any characteristic.展开更多
Rational approximation theory occupies a significant place in signal processing and systems theory. This research paper proposes an optimal design of BIBO stable multidimensional Infinite Impulse Response filters with...Rational approximation theory occupies a significant place in signal processing and systems theory. This research paper proposes an optimal design of BIBO stable multidimensional Infinite Impulse Response filters with a realizable (rational) transfer function thanks to the Adamjan, Arov and Krein (AAK) theorem. It is well known that the one dimensional AAK results give the best approximation of a polynomial as a rational function in the Hankel semi norm. We suppose that the Hankel matrix associated to the transfer function has a finite rank.展开更多
In this paper,we consider the extension of the concave integral from classical crispσ-algebra to fuzzyσ-algebra of fuzzy sets.Firstly,the concept of fuzzy concave integral on a fuzzy set is introduced.Secondly,some ...In this paper,we consider the extension of the concave integral from classical crispσ-algebra to fuzzyσ-algebra of fuzzy sets.Firstly,the concept of fuzzy concave integral on a fuzzy set is introduced.Secondly,some important properties of such integral are discussed.Finally,various kinds of convergence theorems of a sequence of fuzzy concave integrals are proved.展开更多
The proof by Andrew Wiles of Fermat’s Last Theorem in 1995 resolved the existence question for non-trivial solutions in integers x,y,zto the equation xn+yn=znfor n>2. There are none. Surprisingly, there are infini...The proof by Andrew Wiles of Fermat’s Last Theorem in 1995 resolved the existence question for non-trivial solutions in integers x,y,zto the equation xn+yn=znfor n>2. There are none. Surprisingly, there are infinitely many solutions if the problem is recast in terms of modular arithmetic. Over a hundred years ago Issai Schur was able to show that for any n there is always a sufficiently large prime p0such that for all primes p≥p0the congruence xn+yn≡zn(modp)has a non-trivial solution. Schur’s argument wasnon-constructive, and there is no systematic method available at present to construct specific examples for small primes. We offer a simple method for constructing all possible solutions to a large class of congruences of this type.展开更多
A naïve discussion of Fermat’s last theorem conundrum is described. The present theorem’s proof is grounded on the well-known properties of sums of powers of the sine and cosine functions, the Minkowski norm de...A naïve discussion of Fermat’s last theorem conundrum is described. The present theorem’s proof is grounded on the well-known properties of sums of powers of the sine and cosine functions, the Minkowski norm definition, and some vector-specific structures.展开更多
In this paper,we present some vanishing theorems for p-harmonic forms on-super stable complete submanifold M immersed in sphere Sn+m.When 2≤1≤n-2,M has a flat normal bundle.Assuming that M is a minimal submanifold ...In this paper,we present some vanishing theorems for p-harmonic forms on-super stable complete submanifold M immersed in sphere Sn+m.When 2≤1≤n-2,M has a flat normal bundle.Assuming that M is a minimal submanifold andδ>1(n-1)p2/4n[p-1+(p-1)2kp],we prove a vanishing theorem for p-harmonicℓ-forms.展开更多
Teachers’teaching behavior plays a crucial role in students’development,and there are problems in the current teaching behavior of mathematics teachers such as ignoring students’cognitive needs,lack of equal opport...Teachers’teaching behavior plays a crucial role in students’development,and there are problems in the current teaching behavior of mathematics teachers such as ignoring students’cognitive needs,lack of equal opportunities for students’classroom performance as well as lack of formative evaluation of students.In order to solve the phenomenon,this paper analyzes and explains how to promote teaching based on the Teaching for Robust Understanding(TRU)evaluation framework with the goal of focusing on the development of all students,taking the teaching design of The Cosine Theorem as an example,and provides ideas and methods for first-line high school mathematics teachers.展开更多
The purpose of the research in the NJIKI’s fundamental THEOREM-DEFINITION on fractions in the mathematical set ℚand by extension in ℝand ℂand in order to construct some algebraic structures is about the proved EXISTE...The purpose of the research in the NJIKI’s fundamental THEOREM-DEFINITION on fractions in the mathematical set ℚand by extension in ℝand ℂand in order to construct some algebraic structures is about the proved EXISTENCE and the DEFINITION by NJIKI of two INNOVATIVE, IMPORTANT and TEACHABLE operations of addition or additive operations, in ℚ, marked ⊕and +α,β, and taken as VECTORIAL, TRIANGULAR, of THREE or PROPORTIONAL operations and in order to make THEM not be different from the RATIONAL ONE, +, but to bring much more and new information on fractions, and, by extension in ℝand ℂ. And the very NJIKI’s fundamental THEOREM-DEFINITION having many APPLICATIONS in the everyday life of the HUMAN BEINGS and without talking about computer sciences, henceforth being supplied with very interesting new ALGORITHMS. And as for the work done in the research, it will be waiting for its extension to be done after publication and along with the research results concerned.展开更多
The initiating condition for the accelerated creep of rocks has caused difficulty in analyzing the whole creep process.Moreover,the existing Nishihara model has evident shortcomings in describing the accelerated creep...The initiating condition for the accelerated creep of rocks has caused difficulty in analyzing the whole creep process.Moreover,the existing Nishihara model has evident shortcomings in describing the accelerated creep characteristics of the viscoplastic stage from the perspective of internal energy to analyze the mechanism of rock creep failure and determine the threshold of accelerated creep initiation.Based on the kinetic energy theorem,Perzyna viscoplastic theory,and the Nishihara model,a unified creep constitutive model that can describe the whole process of decaying creep,stable creep,and accelerated creep is established.Results reveal that the energy consumption and creep damage in the process of creep loading mainly come from the internal energy changes of geotechnical materials.The established creep model can not only describe the viscoelasticeplastic creep characteristics of rock,but also reflect the relationship between rock energy and creep deformation change.In addition,the research results provide a new method for determining the critical point of creep deformation and a new idea for studying the creep model and creep mechanical properties.展开更多
Noether theorem is applied to a variable order fractional multiscale mechano-electrophysiological model of neuron membrane dynamics.The variable orders fractional Lagrange equation of a multiscale mechano-electrophysi...Noether theorem is applied to a variable order fractional multiscale mechano-electrophysiological model of neuron membrane dynamics.The variable orders fractional Lagrange equation of a multiscale mechano-electrophysiological model of neuron membrane dynamics is given.The variable orders fractional Noether symmetry criterion and Noether conserved quantities are given.The forms of variable orders fractional Noether conserved quantities corresponding to Noether symmetry generators solutions of the model under different conditions are discussed in detail,and it is found that the expressions of variable orders fractional Noether conserved quantities are closely dependent on the external nonconservative forces and material parameters of the neuron.展开更多
In this paper,we define the class S_(g)^(BX)of g-parametric starlike mappings of real order γ on the unit ball BX in a complex Banach space X,where g is analytic and satisfies certain conditions.By establishing the d...In this paper,we define the class S_(g)^(BX)of g-parametric starlike mappings of real order γ on the unit ball BX in a complex Banach space X,where g is analytic and satisfies certain conditions.By establishing the distortion theorem of the Fr´echet-derivative type of S_(g)^(BX)with a weak restrictive condition,we further obtain the distortion results of the Jacobi-determinant type and the Fr´echet-derivative type for the corresponding classes(compared with S_(g)^(BX))defined on the unit polydisc(resp.unit ball with the arbitrary norm)in the space of n-dimensional complex variables,n≥2.Our results extend the classic distortion theorem of holomorphic functions from the case in one-dimensional complex space to the case in the higher dimensional complex space.The main theorems also generalize and improve some recent works.展开更多
This paper presents an extension of certain forms of the real Paley-Wiener theorems to the Minkowski space-time algebra. Our emphasis is dedicated to determining the space-time valued functions whose space-time Fourie...This paper presents an extension of certain forms of the real Paley-Wiener theorems to the Minkowski space-time algebra. Our emphasis is dedicated to determining the space-time valued functions whose space-time Fourier transforms(SFT) have compact support using the partial derivatives operator and the Dirac operator of higher order.展开更多
In this paper,we consider the fixed point theorem for Proinov mappings with a contractive iterate at a point.In other words,we combine and unify the basic approaches of Proinov and Sehgal in the framework of the compl...In this paper,we consider the fixed point theorem for Proinov mappings with a contractive iterate at a point.In other words,we combine and unify the basic approaches of Proinov and Sehgal in the framework of the complete metric spaces.We consider examples to illustrate the validity of the obtained result.展开更多
In this paper,we mainly study the global rigidity theorem of Riemannian submanifolds in space forms.Let Mn(n≥3)be a complete minimal submanifold in the unit sphere Sn+p(1).Forλ∈[0,n2−1/p),there is an explicit posit...In this paper,we mainly study the global rigidity theorem of Riemannian submanifolds in space forms.Let Mn(n≥3)be a complete minimal submanifold in the unit sphere Sn+p(1).Forλ∈[0,n2−1/p),there is an explicit positive constant C(n,p,λ),depending only on n,p,λ,such that,if∫MSn/2dM<∞,∫M(S−λ)n/2+dM<C(n,p,λ),then Mn is a totally geodetic sphere,where S denotes the square of the second fundamental form of the submanifold and∫+=max{0,f}.Similar conclusions can be obtained for a complete submanifold with parallel mean curvature in the Euclidean space Rn+p.展开更多
Four-color theorem has only been proved by computer since it was proposed, many people have proposed their mathematical proof of four-color theorem, but their proof is disputed then, what lead to a situation that the ...Four-color theorem has only been proved by computer since it was proposed, many people have proposed their mathematical proof of four-color theorem, but their proof is disputed then, what lead to a situation that the mathematical proof of four-color theorem has been lacking to this day. In this article, we have summarized some laws based on previous researches, and proposed a mathematical proof of four-color theorem by using these laws trough a recursive method.展开更多
Fermat’s last theorem, had the statement that there are no natural numbers A, B, and C such that A<sup>n</sup> + B<sup>n</sup> = C<sup>n</sup>, in which n is a natural number great...Fermat’s last theorem, had the statement that there are no natural numbers A, B, and C such that A<sup>n</sup> + B<sup>n</sup> = C<sup>n</sup>, in which n is a natural number greater than 2. We have shown that any product of two odd numbers can generate Fermat or Pythagoras triple (A, B, C) following n = 2 and also it is applicable A<sup>2</sup> + B<sup>2</sup> + C<sup>2</sup> + D<sup>2</sup> + so on =A<sub>n</sub><sup>2 </sup>where all are natural numbers.展开更多
We propose an unbounded fully homomorphic encryption scheme, i.e. a scheme that allows one to compute on encrypted data for any desired functions without needing to decrypt the data or knowing the decryption keys. Thi...We propose an unbounded fully homomorphic encryption scheme, i.e. a scheme that allows one to compute on encrypted data for any desired functions without needing to decrypt the data or knowing the decryption keys. This is a rational solution to an old problem proposed by Rivest, Adleman, and Dertouzos [1] in 1978, and to some new problems that appeared in Peikert [2] as open questions 10 and open questions 11 a few years ago. Our scheme is completely different from the breakthrough work [3] of Gentry in 2009. Gentry’s bootstrapping technique constructs a fully homomorphic encryption (FHE) scheme from a somewhat homomorphic one that is powerful enough to evaluate its own decryption function. To date, it remains the only known way of obtaining unbounded FHE. Our construction of an unbounded FHE scheme is straightforward and can handle unbounded homomorphic computation on any refreshed ciphertexts without bootstrapping transformation technique.展开更多
基金the National Natural Science Foundation of China under
文摘We show how to directly use the generalized Feynman-Hellmann theorem, which is suitable for mixed state ensemble average, to derive the internal energy of Hamiltonian systems. A concrete example, which is a two coupled harminic oscillators, is used for elucidating our approach.
基金Project supported by the National Natural Science Foundation of China(Grant Nos.61877054,12031004,and 12271474).
文摘We establish the Stinespring dilation theorem of the link product of quantum channels in two different ways,discuss the discrimination of quantum channels,and show that the distinguishability can be improved by self-linking each quantum channel n times as n grows.We also find that the maximum value of Uhlmann's theorem can be achieved for diagonal channels.
文摘We analyse the Diophantine equation of Fermat xp yp = zp with p > 2 a prime, x, y, z positive nonzero integers. We consider the hypothetical solution (a, b, c) of previous equation. We use Fermat main divisors, Diophantine remainders of (a, b, c), an asymptotic approach based on Balzano Weierstrass Analysis Theorem as tools. We construct convergent infinite sequences and establish asymptotic results including the following surprising one. If z y = 1 then there exists a tight bound N such that, for all prime exponents p > N , we have xp yp zp.
基金supported by the National Natural Science Foundation of China(12131015,12071422).
文摘Fermat’s Last Theorem is a famous theorem in number theory which is difficult to prove.However,it is known that the version of polynomials with one variable of Fermat’s Last Theorem over C can be proved very concisely.The aim of this paper is to study the similar problems about Fermat’s Last Theorem for multivariate(skew)-polynomials with any characteristic.
文摘Rational approximation theory occupies a significant place in signal processing and systems theory. This research paper proposes an optimal design of BIBO stable multidimensional Infinite Impulse Response filters with a realizable (rational) transfer function thanks to the Adamjan, Arov and Krein (AAK) theorem. It is well known that the one dimensional AAK results give the best approximation of a polynomial as a rational function in the Hankel semi norm. We suppose that the Hankel matrix associated to the transfer function has a finite rank.
基金Supported in part by the National Social Science Foundation of China(19BTJ020)。
文摘In this paper,we consider the extension of the concave integral from classical crispσ-algebra to fuzzyσ-algebra of fuzzy sets.Firstly,the concept of fuzzy concave integral on a fuzzy set is introduced.Secondly,some important properties of such integral are discussed.Finally,various kinds of convergence theorems of a sequence of fuzzy concave integrals are proved.
文摘The proof by Andrew Wiles of Fermat’s Last Theorem in 1995 resolved the existence question for non-trivial solutions in integers x,y,zto the equation xn+yn=znfor n>2. There are none. Surprisingly, there are infinitely many solutions if the problem is recast in terms of modular arithmetic. Over a hundred years ago Issai Schur was able to show that for any n there is always a sufficiently large prime p0such that for all primes p≥p0the congruence xn+yn≡zn(modp)has a non-trivial solution. Schur’s argument wasnon-constructive, and there is no systematic method available at present to construct specific examples for small primes. We offer a simple method for constructing all possible solutions to a large class of congruences of this type.
文摘A naïve discussion of Fermat’s last theorem conundrum is described. The present theorem’s proof is grounded on the well-known properties of sums of powers of the sine and cosine functions, the Minkowski norm definition, and some vector-specific structures.
文摘In this paper,we present some vanishing theorems for p-harmonic forms on-super stable complete submanifold M immersed in sphere Sn+m.When 2≤1≤n-2,M has a flat normal bundle.Assuming that M is a minimal submanifold andδ>1(n-1)p2/4n[p-1+(p-1)2kp],we prove a vanishing theorem for p-harmonicℓ-forms.
基金Henan Province 2022 Teacher Education Curriculum Reform Research Project:Research on Improving the Teaching Practice Ability of Mathematics Normal University Students under the OBE Concept(Project number:2022-JSJYZD-009)A Study on the Measurement and Development of Mathematics Core Literacy for Secondary School Students,Doctoral Research Initiation Fee of Henan Normal University(Project number:20230234)Henan Normal University Graduate Quality Course Program,Mathematical Planning I(Project number:YJS2022KC02)。
文摘Teachers’teaching behavior plays a crucial role in students’development,and there are problems in the current teaching behavior of mathematics teachers such as ignoring students’cognitive needs,lack of equal opportunities for students’classroom performance as well as lack of formative evaluation of students.In order to solve the phenomenon,this paper analyzes and explains how to promote teaching based on the Teaching for Robust Understanding(TRU)evaluation framework with the goal of focusing on the development of all students,taking the teaching design of The Cosine Theorem as an example,and provides ideas and methods for first-line high school mathematics teachers.
文摘The purpose of the research in the NJIKI’s fundamental THEOREM-DEFINITION on fractions in the mathematical set ℚand by extension in ℝand ℂand in order to construct some algebraic structures is about the proved EXISTENCE and the DEFINITION by NJIKI of two INNOVATIVE, IMPORTANT and TEACHABLE operations of addition or additive operations, in ℚ, marked ⊕and +α,β, and taken as VECTORIAL, TRIANGULAR, of THREE or PROPORTIONAL operations and in order to make THEM not be different from the RATIONAL ONE, +, but to bring much more and new information on fractions, and, by extension in ℝand ℂ. And the very NJIKI’s fundamental THEOREM-DEFINITION having many APPLICATIONS in the everyday life of the HUMAN BEINGS and without talking about computer sciences, henceforth being supplied with very interesting new ALGORITHMS. And as for the work done in the research, it will be waiting for its extension to be done after publication and along with the research results concerned.
基金This work was supported by the National Natural Science Foundation of China(Grant No.41941018)the Science and Tech-nology Service Network Initiative of the Chinese Academy of Sci-ences(Grant No.KFJSTS-QYZD-174),and the Guangxi Natural Science Foundation(Grant No.2020GXNSFAA159125).
文摘The initiating condition for the accelerated creep of rocks has caused difficulty in analyzing the whole creep process.Moreover,the existing Nishihara model has evident shortcomings in describing the accelerated creep characteristics of the viscoplastic stage from the perspective of internal energy to analyze the mechanism of rock creep failure and determine the threshold of accelerated creep initiation.Based on the kinetic energy theorem,Perzyna viscoplastic theory,and the Nishihara model,a unified creep constitutive model that can describe the whole process of decaying creep,stable creep,and accelerated creep is established.Results reveal that the energy consumption and creep damage in the process of creep loading mainly come from the internal energy changes of geotechnical materials.The established creep model can not only describe the viscoelasticeplastic creep characteristics of rock,but also reflect the relationship between rock energy and creep deformation change.In addition,the research results provide a new method for determining the critical point of creep deformation and a new idea for studying the creep model and creep mechanical properties.
基金Project supported by the National Natural Science Foundation of China(Grant Nos.12272148 and 11772141).
文摘Noether theorem is applied to a variable order fractional multiscale mechano-electrophysiological model of neuron membrane dynamics.The variable orders fractional Lagrange equation of a multiscale mechano-electrophysiological model of neuron membrane dynamics is given.The variable orders fractional Noether symmetry criterion and Noether conserved quantities are given.The forms of variable orders fractional Noether conserved quantities corresponding to Noether symmetry generators solutions of the model under different conditions are discussed in detail,and it is found that the expressions of variable orders fractional Noether conserved quantities are closely dependent on the external nonconservative forces and material parameters of the neuron.
基金the National Natural Science Foundation of China(12071354)XIONG was the National Natural Science Foundation of China(12061035)+2 种基金the Jiangxi Provincial Natural Science Foundation(20212BAB201012)the Research Foundation of Jiangxi Provincial Department of Education(GJJ201104)the Research Foundation of Jiangxi Science and Technology Normal University(2021QNBJRC003)。
文摘In this paper,we define the class S_(g)^(BX)of g-parametric starlike mappings of real order γ on the unit ball BX in a complex Banach space X,where g is analytic and satisfies certain conditions.By establishing the distortion theorem of the Fr´echet-derivative type of S_(g)^(BX)with a weak restrictive condition,we further obtain the distortion results of the Jacobi-determinant type and the Fr´echet-derivative type for the corresponding classes(compared with S_(g)^(BX))defined on the unit polydisc(resp.unit ball with the arbitrary norm)in the space of n-dimensional complex variables,n≥2.Our results extend the classic distortion theorem of holomorphic functions from the case in one-dimensional complex space to the case in the higher dimensional complex space.The main theorems also generalize and improve some recent works.
基金supported by the Deanship of Scientific Research at King Khalid University,Saudi Arabia (R.G.P.1/207/43)。
文摘This paper presents an extension of certain forms of the real Paley-Wiener theorems to the Minkowski space-time algebra. Our emphasis is dedicated to determining the space-time valued functions whose space-time Fourier transforms(SFT) have compact support using the partial derivatives operator and the Dirac operator of higher order.
文摘In this paper,we consider the fixed point theorem for Proinov mappings with a contractive iterate at a point.In other words,we combine and unify the basic approaches of Proinov and Sehgal in the framework of the complete metric spaces.We consider examples to illustrate the validity of the obtained result.
基金supported by the National Natural Science Foundation of China(11531012,12071424,12171423)the Scientific Research Project of Shaoxing University(2021LG016)。
文摘In this paper,we mainly study the global rigidity theorem of Riemannian submanifolds in space forms.Let Mn(n≥3)be a complete minimal submanifold in the unit sphere Sn+p(1).Forλ∈[0,n2−1/p),there is an explicit positive constant C(n,p,λ),depending only on n,p,λ,such that,if∫MSn/2dM<∞,∫M(S−λ)n/2+dM<C(n,p,λ),then Mn is a totally geodetic sphere,where S denotes the square of the second fundamental form of the submanifold and∫+=max{0,f}.Similar conclusions can be obtained for a complete submanifold with parallel mean curvature in the Euclidean space Rn+p.
文摘Four-color theorem has only been proved by computer since it was proposed, many people have proposed their mathematical proof of four-color theorem, but their proof is disputed then, what lead to a situation that the mathematical proof of four-color theorem has been lacking to this day. In this article, we have summarized some laws based on previous researches, and proposed a mathematical proof of four-color theorem by using these laws trough a recursive method.
文摘Fermat’s last theorem, had the statement that there are no natural numbers A, B, and C such that A<sup>n</sup> + B<sup>n</sup> = C<sup>n</sup>, in which n is a natural number greater than 2. We have shown that any product of two odd numbers can generate Fermat or Pythagoras triple (A, B, C) following n = 2 and also it is applicable A<sup>2</sup> + B<sup>2</sup> + C<sup>2</sup> + D<sup>2</sup> + so on =A<sub>n</sub><sup>2 </sup>where all are natural numbers.
文摘We propose an unbounded fully homomorphic encryption scheme, i.e. a scheme that allows one to compute on encrypted data for any desired functions without needing to decrypt the data or knowing the decryption keys. This is a rational solution to an old problem proposed by Rivest, Adleman, and Dertouzos [1] in 1978, and to some new problems that appeared in Peikert [2] as open questions 10 and open questions 11 a few years ago. Our scheme is completely different from the breakthrough work [3] of Gentry in 2009. Gentry’s bootstrapping technique constructs a fully homomorphic encryption (FHE) scheme from a somewhat homomorphic one that is powerful enough to evaluate its own decryption function. To date, it remains the only known way of obtaining unbounded FHE. Our construction of an unbounded FHE scheme is straightforward and can handle unbounded homomorphic computation on any refreshed ciphertexts without bootstrapping transformation technique.