We construct an explicit example of a smooth isotopy{ξt}_(t∈[0,1])of volume-and orientation-preserving diffeomorphisms on[0,1]^(n)(n≥3)that has infinite total kinetic energy.This isotopy has no self-cancellation an...We construct an explicit example of a smooth isotopy{ξt}_(t∈[0,1])of volume-and orientation-preserving diffeomorphisms on[0,1]^(n)(n≥3)that has infinite total kinetic energy.This isotopy has no self-cancellation and is supported on countably many disjoint tubular neighbourhoods of homothetic copies of the isometrically embedded image of(M,g),a“topologically complicated”Riemannian manifold-with-boundary.However,there exists another smooth isotopy that coincides with{ξ_(t)}at t=0 and t=1 but of finite total kinetic energy.展开更多
Finding the nearest volume-preserving matrix for a given matrix is studied. Amatrix equation is first obtained, which is a necessary condition for the solution to the problem.Then the equation is solved by the singula...Finding the nearest volume-preserving matrix for a given matrix is studied. Amatrix equation is first obtained, which is a necessary condition for the solution to the problem.Then the equation is solved by the singular value decomposition method. Some additional results arealso provided to further characterize the solution. Using these results, a numerical algorithm isintroduced and a numerical test is given to illustrate the effectiveness of the algorithm.展开更多
We prove that, for non-uniformly hyperbolic diffeomorphisms in the sense of Young, the local central limit theorem holds, and the speed in the central limit theorem is O（1/√n）.
Let T：X → X be an Axiom A diffeomorphism,m the Gibbs state for a Hlder continuous function ɡ. Assume that f：X → R^d is a Hlder continuous function with ∫_X^（fdm） = 0.If the components of f are cohomologously i...Let T：X → X be an Axiom A diffeomorphism,m the Gibbs state for a Hlder continuous function ɡ. Assume that f：X → R^d is a Hlder continuous function with ∫_X^（fdm） = 0.If the components of f are cohomologously independent, then there exists a positive definite symmetric matrix σ~2：=σ~2 （f ） such that S^fn √ n converges in distribution with respect to m to a Gaussian random variable with expectation 0 and covariance matrix σ~2 . Moreover, there exists a real number A 〉 0 such that, for any integer n ≥ 1,Π（ m＊（ 1√ nS f n ）,N （0,σ~2 ） ≤A√n, where m＊（1√ n S^fn）denotes the distribution of 1√ n S^fn with respect to m, and Π is the Prokhorov metric.展开更多
Inertial and gravitational mass or energy momentum need not be the same for virtual quantum states. Separating their roles naturally leads to the gauge theory of volume-preserving diffeomorphisms of an inner four-dime...Inertial and gravitational mass or energy momentum need not be the same for virtual quantum states. Separating their roles naturally leads to the gauge theory of volume-preserving diffeomorphisms of an inner four-dimensional space. The gauge-fixed action and the path integral measure occurring in the generating functional for the quantum Green functions of the theory are shown to obey a BRST-type symmetry. The related Zinn-Justin-type equation restricting the corresponding quantum effective action is established. This equation limits the infinite parts of the quantum effective action to have the same form as the gauge-fixed Lagrangian of the theory proving its spacetime renormalizability. The inner space integrals occurring in the quantum effective action which are divergent due to the gauge group’s infinite volume are shown to be regularizable in a way consistent with the symmetries of the theory demonstrating as a byproduct that viable quantum gauge field theories are not limited to finite-dimensional compact gauge groups as is commonly assumed.展开更多
The different roles and natures of spacetime appearing in a quantum field theory and in classical physics are analyzed implying that a quantum theory of gravitation is not necessarily a quantum theory of curved spacet...The different roles and natures of spacetime appearing in a quantum field theory and in classical physics are analyzed implying that a quantum theory of gravitation is not necessarily a quantum theory of curved spacetime. Developing an alternative approach to quantum gravity starts with the postulate that inertial energy-momentum and gravitational energy-momentum need not be the same for virtual quantum states. Separating their roles naturally leads to the quantum gauge field theory of volume-preserving diffeomorphisms of an inner four-dimensional space. The classical limit of this theory coupled to a quantized scalar field is derived for an on-shell particle where inertial energy-momentum and gravitational energy-momentum coincide. In that process the symmetry under volume-preserving diffeomorphisms disappears and a new symmetry group emerges: the group of coordinate transformations of four-dimensional spacetime and with it General Relativity coupled to a classical relativistic point particle.展开更多
This paper is intended to study the volume-preserving procrustes problem arising from practical areas. The corresponding solution should satisfy a matrix equation which is solved by the singular value decomposition me...This paper is intended to study the volume-preserving procrustes problem arising from practical areas. The corresponding solution should satisfy a matrix equation which is solved by the singular value decomposition method. Some further results are also given to characterize the solution. Using these results, a numerical algorithm is introduced and some numerical results are provided to illustrate the effectiveness of the algorithm. Key words volume-preserving - procrustes problems - singular value decomposition MSC2000 65F30 - 65K10 Project supported by NNSFC (Grant No. 10371076), E-Institutes of Shanghai Municipal Education Commission (Grant No. N. E03004)展开更多
In this work, we propose a new variational model for multi-modal image registration and present an efficient numerical implementation. The model minimizes a new functional based on using reformulated normalized gradie...In this work, we propose a new variational model for multi-modal image registration and present an efficient numerical implementation. The model minimizes a new functional based on using reformulated normalized gradients of the images as the fidelity term and higher-order derivatives as the regularizer. A key feature of the model is its ability of guaranteeing a diffeomorphic transformation which is achieved by a control term motivated by the quasi-conformal map and Beltrami coefficient. The existence of the solution of this model is established. To solve the model numerically, we design a Gauss-Newton method to solve the resulting discrete optimization problem and prove its convergence;a multilevel technique is employed to speed up the initialization and avoid likely local minima of the underlying functional. Finally, numerical experiments demonstrate that this new model can deliver good performances for multi-modal image registration and simultaneously generate an accurate diffeomorphic transformation.展开更多
Viewing gravitational energy momentum as equal by observation, but different in essence from inertial energy-momentum requires two different symmetries to account for their independent conservations—spacetime and inn...Viewing gravitational energy momentum as equal by observation, but different in essence from inertial energy-momentum requires two different symmetries to account for their independent conservations—spacetime and inner translation invariance. Gauging the latter a generalization of non-Abelian gauge theories of compact Lie groups is developed resulting in the gauge theory of the non-compact group of volume-preserving diffeomorphisms of an inner Minkowski space M4. As usual the gauging requires the introduction of a covariant derivative, a gauge field and a field strength operator. An invariant and minimal gauge field Lagrangian is derived. The classical field dynamics and the conservation laws for the new gauge theory are developed. Finally, the theory’s Hamiltonian in the axial gauge is expressed by two times six unconstrained independent canonical variables obeying the usual Poisson brackets and the positivity of the Hamiltonian is related to a condition on the support of the gauge fields.展开更多
Lung image registration plays an important role in lung analysis applications,such as respiratory motion modeling.Unsupervised learning-based image registration methods that can compute the deformation without the req...Lung image registration plays an important role in lung analysis applications,such as respiratory motion modeling.Unsupervised learning-based image registration methods that can compute the deformation without the requirement of supervision attract much attention.However,it is noteworthy that they have two drawbacks:they do not handle the problem of limited data and do not guarantee diffeomorphic(topologypreserving)properties,especially when large deformation exists in lung scans.In this paper,we present an unsupervised few-shot learning-based diffeomorphic lung image registration,namely Dlung.We employ fine-tuning techniques to solve the problem of limited data and apply the scaling and squaring method to accomplish the diffeomorphic registration.Furthermore,atlas-based registration on spatio-temporal(4D)images is performed and thoroughly compared with baseline methods.Dlung achieves the highest accuracy with diffeomorphic properties.It constructs accurate and fast respiratory motion models with limited data.This research extends our knowledge of respiratory motion modeling.展开更多
基金Supported by National Natural Science Foundation of China(Grant Nos.12201399,12331008,12411530065)Young Elite Scientists Sponsorship Program by CAST(Grant No.2023QNRC001)+2 种基金the National Key Research&Development Program(Grant Nos.2023YFA1010900,2024YFA1014900)Shanghai Rising-Star Program(Grant No.24QA2703600)the Shanghai Frontier Research Institute for Modern Analysis。
文摘We construct an explicit example of a smooth isotopy{ξt}_(t∈[0,1])of volume-and orientation-preserving diffeomorphisms on[0,1]^(n)(n≥3)that has infinite total kinetic energy.This isotopy has no self-cancellation and is supported on countably many disjoint tubular neighbourhoods of homothetic copies of the isometrically embedded image of(M,g),a“topologically complicated”Riemannian manifold-with-boundary.However,there exists another smooth isotopy that coincides with{ξ_(t)}at t=0 and t=1 but of finite total kinetic energy.
文摘Finding the nearest volume-preserving matrix for a given matrix is studied. Amatrix equation is first obtained, which is a necessary condition for the solution to the problem.Then the equation is solved by the singular value decomposition method. Some additional results arealso provided to further characterize the solution. Using these results, a numerical algorithm isintroduced and a numerical test is given to illustrate the effectiveness of the algorithm.
基金Supported by NSF of China (10571174)the Scientific Research Foundation of Ministry of Education for Returned Overseas Chinese Scholarsthe Scientific Research Foundation of Ministry of Human and Resources and Social Security of China for Returned Overseas Scholars
文摘We prove that, for non-uniformly hyperbolic diffeomorphisms in the sense of Young, the local central limit theorem holds, and the speed in the central limit theorem is O（1/√n）.
基金supported by the National Natural Science Foundation of China(10571174)the Scientific Research Foundation of Ministry of Education for Returned Overseas Chinese ScholarsScientific Research Foundation of Ministry of Human Resources and Social Security for Returned Overseas Chinese Scholars
文摘Let T：X → X be an Axiom A diffeomorphism,m the Gibbs state for a Hlder continuous function ɡ. Assume that f：X → R^d is a Hlder continuous function with ∫_X^（fdm） = 0.If the components of f are cohomologously independent, then there exists a positive definite symmetric matrix σ~2：=σ~2 （f ） such that S^fn √ n converges in distribution with respect to m to a Gaussian random variable with expectation 0 and covariance matrix σ~2 . Moreover, there exists a real number A 〉 0 such that, for any integer n ≥ 1,Π（ m＊（ 1√ nS f n ）,N （0,σ~2 ） ≤A√n, where m＊（1√ n S^fn）denotes the distribution of 1√ n S^fn with respect to m, and Π is the Prokhorov metric.
文摘Inertial and gravitational mass or energy momentum need not be the same for virtual quantum states. Separating their roles naturally leads to the gauge theory of volume-preserving diffeomorphisms of an inner four-dimensional space. The gauge-fixed action and the path integral measure occurring in the generating functional for the quantum Green functions of the theory are shown to obey a BRST-type symmetry. The related Zinn-Justin-type equation restricting the corresponding quantum effective action is established. This equation limits the infinite parts of the quantum effective action to have the same form as the gauge-fixed Lagrangian of the theory proving its spacetime renormalizability. The inner space integrals occurring in the quantum effective action which are divergent due to the gauge group’s infinite volume are shown to be regularizable in a way consistent with the symmetries of the theory demonstrating as a byproduct that viable quantum gauge field theories are not limited to finite-dimensional compact gauge groups as is commonly assumed.
文摘The different roles and natures of spacetime appearing in a quantum field theory and in classical physics are analyzed implying that a quantum theory of gravitation is not necessarily a quantum theory of curved spacetime. Developing an alternative approach to quantum gravity starts with the postulate that inertial energy-momentum and gravitational energy-momentum need not be the same for virtual quantum states. Separating their roles naturally leads to the quantum gauge field theory of volume-preserving diffeomorphisms of an inner four-dimensional space. The classical limit of this theory coupled to a quantized scalar field is derived for an on-shell particle where inertial energy-momentum and gravitational energy-momentum coincide. In that process the symmetry under volume-preserving diffeomorphisms disappears and a new symmetry group emerges: the group of coordinate transformations of four-dimensional spacetime and with it General Relativity coupled to a classical relativistic point particle.
文摘This paper is intended to study the volume-preserving procrustes problem arising from practical areas. The corresponding solution should satisfy a matrix equation which is solved by the singular value decomposition method. Some further results are also given to characterize the solution. Using these results, a numerical algorithm is introduced and some numerical results are provided to illustrate the effectiveness of the algorithm. Key words volume-preserving - procrustes problems - singular value decomposition MSC2000 65F30 - 65K10 Project supported by NNSFC (Grant No. 10371076), E-Institutes of Shanghai Municipal Education Commission (Grant No. N. E03004)
文摘In this work, we propose a new variational model for multi-modal image registration and present an efficient numerical implementation. The model minimizes a new functional based on using reformulated normalized gradients of the images as the fidelity term and higher-order derivatives as the regularizer. A key feature of the model is its ability of guaranteeing a diffeomorphic transformation which is achieved by a control term motivated by the quasi-conformal map and Beltrami coefficient. The existence of the solution of this model is established. To solve the model numerically, we design a Gauss-Newton method to solve the resulting discrete optimization problem and prove its convergence;a multilevel technique is employed to speed up the initialization and avoid likely local minima of the underlying functional. Finally, numerical experiments demonstrate that this new model can deliver good performances for multi-modal image registration and simultaneously generate an accurate diffeomorphic transformation.
文摘Viewing gravitational energy momentum as equal by observation, but different in essence from inertial energy-momentum requires two different symmetries to account for their independent conservations—spacetime and inner translation invariance. Gauging the latter a generalization of non-Abelian gauge theories of compact Lie groups is developed resulting in the gauge theory of the non-compact group of volume-preserving diffeomorphisms of an inner Minkowski space M4. As usual the gauging requires the introduction of a covariant derivative, a gauge field and a field strength operator. An invariant and minimal gauge field Lagrangian is derived. The classical field dynamics and the conservation laws for the new gauge theory are developed. Finally, the theory’s Hamiltonian in the axial gauge is expressed by two times six unconstrained independent canonical variables obeying the usual Poisson brackets and the positivity of the Hamiltonian is related to a condition on the support of the gauge fields.
基金the National Natural Science Foundation of China(No.61801413)the Natural Science Foundation of Fujian Province(Nos.2019J05123 and 2017J05110)。
文摘Lung image registration plays an important role in lung analysis applications,such as respiratory motion modeling.Unsupervised learning-based image registration methods that can compute the deformation without the requirement of supervision attract much attention.However,it is noteworthy that they have two drawbacks:they do not handle the problem of limited data and do not guarantee diffeomorphic(topologypreserving)properties,especially when large deformation exists in lung scans.In this paper,we present an unsupervised few-shot learning-based diffeomorphic lung image registration,namely Dlung.We employ fine-tuning techniques to solve the problem of limited data and apply the scaling and squaring method to accomplish the diffeomorphic registration.Furthermore,atlas-based registration on spatio-temporal(4D)images is performed and thoroughly compared with baseline methods.Dlung achieves the highest accuracy with diffeomorphic properties.It constructs accurate and fast respiratory motion models with limited data.This research extends our knowledge of respiratory motion modeling.
