-
Gradient enhanced ADMM Algorithm for dynamic optimal transport on surfaces
Authors:
Guozhi Dong,
Hailong Guo,
Chengrun Jiang,
Zuoqiang Shi
Abstract:
A gradient enhanced ADMM algorithm for optimal transport on general surfaces is proposed in this paper. Based on Benamou and Brenier's dynamical formulation, we combine gradient recovery techniques on surfaces with the ADMM algorithm, not only improving the computational accuracy, but also providing a novel method to deal with dual variables in the algorithm. This method avoids the use of stagger…
▽ More
A gradient enhanced ADMM algorithm for optimal transport on general surfaces is proposed in this paper. Based on Benamou and Brenier's dynamical formulation, we combine gradient recovery techniques on surfaces with the ADMM algorithm, not only improving the computational accuracy, but also providing a novel method to deal with dual variables in the algorithm. This method avoids the use of stagger grids, has better accuracy and is more robust comparing to other averaging techniques.
△ Less
Submitted 23 June, 2024;
originally announced June 2024.
-
Network shell structure based on hub and non-hub nodes
Authors:
Gaogao Dong,
Nannan Sun,
Fan Wang,
Renaud Lambiotte
Abstract:
The shell structure holds significant importance in various domains such as information dissemination, supply chain management, and transportation. This study focuses on investigating the shell structure of hub and non-hub nodes, which play important roles in these domains. Our framework explores the topology of Erdös-Rényi (ER) and Scale-Free (SF) networks, considering source node selection strat…
▽ More
The shell structure holds significant importance in various domains such as information dissemination, supply chain management, and transportation. This study focuses on investigating the shell structure of hub and non-hub nodes, which play important roles in these domains. Our framework explores the topology of Erdös-Rényi (ER) and Scale-Free (SF) networks, considering source node selection strategies dependent on the nodes' degrees. We define the shell $l$ in a network as the set of nodes at a distance $l$ from a given node and represent $r_l$ as the fraction of nodes outside shell $l$. Statistical properties of the shells are examined for a selected node, taking into account the node's degree. For a network with a given degree distribution, we analytically derive the degree distribution and average degree of nodes outside shell $l$ as functions of $r_l$. Moreover, we discover that $r_l$ follows an iterative functional form $r_l = φ(r_{l-1})$, where $φ$ is expressed in terms of the generating function of the original degree distribution of the network.
△ Less
Submitted 26 April, 2024;
originally announced April 2024.
-
Data-driven methods for quantitative imaging
Authors:
Guozhi Dong,
Moritz Flaschel,
Michael Hintermüller,
Kostas Papafitsoros,
Clemens Sirotenko,
Karsten Tabelow
Abstract:
In the field of quantitative imaging, the image information at a pixel or voxel in an underlying domain entails crucial information about the imaged matter. This is particularly important in medical imaging applications, such as quantitative Magnetic Resonance Imaging (qMRI), where quantitative maps of biophysical parameters can characterize the imaged tissue and thus lead to more accurate diagnos…
▽ More
In the field of quantitative imaging, the image information at a pixel or voxel in an underlying domain entails crucial information about the imaged matter. This is particularly important in medical imaging applications, such as quantitative Magnetic Resonance Imaging (qMRI), where quantitative maps of biophysical parameters can characterize the imaged tissue and thus lead to more accurate diagnoses. Such quantitative values can also be useful in subsequent, automatized classification tasks in order to discriminate normal from abnormal tissue, for instance. The accurate reconstruction of these quantitative maps is typically achieved by solving two coupled inverse problems which involve a (forward) measurement operator, typically ill-posed, and a physical process that links the wanted quantitative parameters to the reconstructed qualitative image, given some underlying measurement data. In this review, by considering qMRI as a prototypical application, we provide a mathematically-oriented overview on how data-driven approaches can be employed in these inverse problems eventually improving the reconstruction of the associated quantitative maps.
△ Less
Submitted 11 April, 2024;
originally announced April 2024.
-
Second-order flows for approaching stationary points of a class of non-convex energies via convex-splitting schemes
Authors:
Haifan Chen,
Guozhi Dong,
José A. Iglesias,
Wei Liu,
Ziqing Xie
Abstract:
The use of accelerated gradient flows is an emerging field in optimization, scientific computing and beyond. This paper contributes to the theoretical underpinnings of a recently-introduced computational paradigm known as second-order flows, which demonstrate significant performance particularly for the minimization of non-convex energy functionals defined on Sobolev spaces, and are characterized…
▽ More
The use of accelerated gradient flows is an emerging field in optimization, scientific computing and beyond. This paper contributes to the theoretical underpinnings of a recently-introduced computational paradigm known as second-order flows, which demonstrate significant performance particularly for the minimization of non-convex energy functionals defined on Sobolev spaces, and are characterized by novel dissipative hyperbolic partial differential equations. Our approach hinges upon convex-splitting schemes, a tool which is not only pivotal for clarifying the well-posedness of second-order flows, but also yields a versatile array of robust numerical schemes through temporal and spatial discretization. We prove the convergence to stationary points of such schemes in the semi-discrete setting. Further, we establish their convergence to time-continuous solutions as the time-step tends to zero, and perform a comprehensive error analysis in the fully discrete case. Finally, these algorithms undergo thorough testing and validation in approaching stationary points of non-convex variational models in applied sciences, such as the Ginzburg-Landau energy in phase-field modeling and a specific case of the Landau-de Gennes energy of the Q-tensor model for liquid crystals.
△ Less
Submitted 19 February, 2024;
originally announced February 2024.
-
Accelerated gradient flows for large bending deformations of nonlinear plates
Authors:
Guozhi Dong,
Hailong Guo,
Shuo Yang
Abstract:
In this paper, we propose and analyze a series of novel algorithms based on projection-free accelerated gradient flows to minimize bending energies for nonlinear plates with non-convex metric constraints. We discuss the stability and constraint consistency in a semi-discrete setting for both bilayer and prestrained plates. Our proposed algorithms demonstrate substantial improvements, in both effic…
▽ More
In this paper, we propose and analyze a series of novel algorithms based on projection-free accelerated gradient flows to minimize bending energies for nonlinear plates with non-convex metric constraints. We discuss the stability and constraint consistency in a semi-discrete setting for both bilayer and prestrained plates. Our proposed algorithms demonstrate substantial improvements, in both efficiency and accuracy, over current state-of-the-art methods based on gradient flows.
△ Less
Submitted 19 February, 2024;
originally announced February 2024.
-
Non-isochronicity on piecewise Hamiltonian differential systems with homogeneous nonlinearities
Authors:
Xiaoyi Chen,
Guangfeng Dong
Abstract:
In this paper we prove the non-isochronicity of $Σ$-centers for a class of planar piecewise smooth differential systems with a straight switching line, whose two sub-systems are Hamiltonian differential systems with a non-degenerated center and only homogeneous nonlinearities.
In this paper we prove the non-isochronicity of $Σ$-centers for a class of planar piecewise smooth differential systems with a straight switching line, whose two sub-systems are Hamiltonian differential systems with a non-degenerated center and only homogeneous nonlinearities.
△ Less
Submitted 20 January, 2024; v1 submitted 14 January, 2024;
originally announced January 2024.
-
The topology and isochronicity on complex Hamiltonian systems with homogeneous nonlinearities
Authors:
Guangfeng Dong,
Jiazhong Yang
Abstract:
In this paper, we study the Hamiltonian differential systems with a homogeneous nonlinearity part on $\mathbb{C}^2$. Firstly, we give a series of topological properties of the polynomial Hamiltonian function, especially the information on the singular points and the non-trivial cycles vanishing at infinity. Secondly, by using those topological properties, we successfully provide a complete set of…
▽ More
In this paper, we study the Hamiltonian differential systems with a homogeneous nonlinearity part on $\mathbb{C}^2$. Firstly, we give a series of topological properties of the polynomial Hamiltonian function, especially the information on the singular points and the non-trivial cycles vanishing at infinity. Secondly, by using those topological properties, we successfully provide a complete set of the necessary and sufficient conditions of isochronous centers for such systems with any degree. Our method avoids tedious computation of the coefficients of normalization occurring in the usual tools to deal with the isochronicity problem.
△ Less
Submitted 27 January, 2024; v1 submitted 13 November, 2023;
originally announced November 2023.
-
A descent algorithm for the optimal control of ReLU neural network informed PDEs based on approximate directional derivatives
Authors:
Guozhi Dong,
Michael Hintermüller,
Kostas Papafitsoros
Abstract:
We propose and analyze a numerical algorithm for solving a class of optimal control problems for learning-informed semilinear partial differential equations. The latter is a class of PDEs with constituents that are in principle unknown and are approximated by nonsmooth ReLU neural networks. We first show that a direct smoothing of the ReLU network with the aim to make use of classical numerical so…
▽ More
We propose and analyze a numerical algorithm for solving a class of optimal control problems for learning-informed semilinear partial differential equations. The latter is a class of PDEs with constituents that are in principle unknown and are approximated by nonsmooth ReLU neural networks. We first show that a direct smoothing of the ReLU network with the aim to make use of classical numerical solvers can have certain disadvantages, namely potentially introducing multiple solutions for the corresponding state equation. This motivates us to devise a numerical algorithm that treats directly the nonsmooth optimal control problem, by employing a descent algorithm inspired by a bundle-free method. Several numerical examples are provided and the efficiency of the algorithm is shown.
△ Less
Submitted 14 October, 2022;
originally announced October 2022.
-
First-order conditions for the optimal control of learning-informed nonsmooth PDEs
Authors:
Guozhi Dong,
Michael Hintermüller,
Kostas Papafitsoros,
Kathrin Völkner
Abstract:
In this paper we study the optimal control of a class of semilinear elliptic partial differential equations which have nonlinear constituents that are only accessible by data and are approximated by nonsmooth ReLU neural networks. The optimal control problem is studied in detail. In particular, the existence and uniqueness of the state equation are shown, and continuity as well as directional diff…
▽ More
In this paper we study the optimal control of a class of semilinear elliptic partial differential equations which have nonlinear constituents that are only accessible by data and are approximated by nonsmooth ReLU neural networks. The optimal control problem is studied in detail. In particular, the existence and uniqueness of the state equation are shown, and continuity as well as directional differentiability properties of the corresponding control-to-state map are established. Based on approximation capabilities of the pertinent networks, we address fundamental questions regarding approximating properties of the learning-informed control-to-state map and the solution of the corresponding optimal control problem. Finally, several stationarity conditions are derived based on different notions of generalized differentiability.
△ Less
Submitted 21 October, 2022; v1 submitted 1 June, 2022;
originally announced June 2022.
-
Second-order flows for computing the ground states of rotating Bose-Einstein condensates
Authors:
Haifan Chen,
Guozhi Dong,
Wei Liu,
Ziqing Xie
Abstract:
Second-order flows in this paper refer to some artificial evolutionary differential equations involving second-order time derivatives distinguished from gradient flows which are considered to be first-order flows. This is a popular topic due to the recent advances of inertial dynamics with dam** in convex optimization. Mathematically, the ground state of a rotating Bose-Einstein condensate (BEC)…
▽ More
Second-order flows in this paper refer to some artificial evolutionary differential equations involving second-order time derivatives distinguished from gradient flows which are considered to be first-order flows. This is a popular topic due to the recent advances of inertial dynamics with dam** in convex optimization. Mathematically, the ground state of a rotating Bose-Einstein condensate (BEC) can be modeled as a minimizer of the Gross-Pitaevskii energy functional with angular momentum rotational term under the normalization constraint. We introduce two types of second-order flows as energy minimization strategies for this constrained non-convex optimization problem, in order to approach the ground state. The proposed artificial dynamics are novel second-order nonlinear hyperbolic partial differential equations with dissipation. Several numerical discretization schemes are discussed, including explicit and semi-implicit methods for temporal discretization, combined with a Fourier pseudospectral method for spatial discretization. These provide us a series of efficient and robust algorithms for computing the ground states of rotating BECs. Particularly, the newly developed algorithms turn out to be superior to the state-of-the-art numerical methods based on the gradient flow. In comparison with the gradient flow type approaches: When explicit temporal discretization strategies are adopted, the proposed methods allow for larger stable time step sizes; While for semi-implicit discretization, using the same step size, a much smaller number of iterations are needed for the proposed methods to reach the stop** criterion, and every time step encounters almost the same computational complexity. Rich and detailed numerical examples are documented for verification and comparison.
△ Less
Submitted 6 January, 2023; v1 submitted 2 May, 2022;
originally announced May 2022.
-
Topological properties on isochronous centers of polynomial Hamiltonian differential systems
Authors:
Guangfeng Dong
Abstract:
In this paper, we study the topological properties of complex polynomial Hamiltonian differential systems of degree $n$ having an isochronous center. Firstly, we prove that if the critical level curve possessing an isochronous center contains only a single singular point, and the period $1$-form does not have poles with zero residue at infinity on level curves sufficiently close to the critical cu…
▽ More
In this paper, we study the topological properties of complex polynomial Hamiltonian differential systems of degree $n$ having an isochronous center. Firstly, we prove that if the critical level curve possessing an isochronous center contains only a single singular point, and the period $1$-form does not have poles with zero residue at infinity on level curves sufficiently close to the critical curve, then the vanishing cycle associated to this center is trivial in the 1-dimensional homology group of the projective closure of a generic level curve. Our result provides a positive answer to a question asked by L. Gavrilov under relatively simple conditions and can be applied to achieve an equivalent description of the Jacobian conjecture on $\mathbb{C}^2$. Secondly, we obtain a very simple but useful necessary condition for isochronicity of Hamiltonian systems, which is that the $(n+1)$-degree part of the Hamiltonian function must have a factor with multiplicity no less than $(n+1)/2$. Thirdly, we show a relation between Gavrilov's question and the conjecture proposed by X. Jarque and J. Villadelprat on the non-isochronicity of real Hamiltonian systems of even degree $n$.
△ Less
Submitted 15 June, 2023; v1 submitted 27 April, 2021;
originally announced April 2021.
-
Discontinuous Galerkin methods for the Laplace-Beltrami operator on point cloud
Authors:
Guozhi Dong,
Hailong Guo,
Zuoqiang Shi
Abstract:
This paper is delicate to the development of high-order numerical algorithms for solving partial differential equations on point clouds. We introduce a new geometric error analysis framework which requires neither global continuity of surface patches nor exact geometric information, e.g., embedding maps, tangent spaces. The new framework provides us a fundamental tool to analyze discontinuous Gale…
▽ More
This paper is delicate to the development of high-order numerical algorithms for solving partial differential equations on point clouds. We introduce a new geometric error analysis framework which requires neither global continuity of surface patches nor exact geometric information, e.g., embedding maps, tangent spaces. The new framework provides us a fundamental tool to analyze discontinuous Galerkin (DG) methods for the Laplace-Beltrami operator on point clouds. It is illustrated using examples of an interior penalty DG method for solving the Laplace-Beltrami equation and the corresponding eigenvalue problem with numerical verification.
△ Less
Submitted 8 September, 2021; v1 submitted 30 December, 2020;
originally announced December 2020.
-
Optimization with learning-informed differential equation constraints and its applications
Authors:
Guozhi Dong,
Michael Hintermueller,
Kostas Papafitsoros
Abstract:
Inspired by applications in optimal control of semilinear elliptic partial differential equations and physics-integrated imaging, differential equation constrained optimization problems with constituents that are only accessible through data-driven techniques are studied. A particular focus is on the analysis and on numerical methods for problems with machine-learned components. For a rather gener…
▽ More
Inspired by applications in optimal control of semilinear elliptic partial differential equations and physics-integrated imaging, differential equation constrained optimization problems with constituents that are only accessible through data-driven techniques are studied. A particular focus is on the analysis and on numerical methods for problems with machine-learned components. For a rather general context, an error analysis is provided, and particular properties resulting from artificial neural network based approximations are addressed. Moreover, for each of the two inspiring applications analytical details are presented and numerical results are provided.
△ Less
Submitted 25 August, 2020;
originally announced August 2020.
-
Superconvergence of differential structure for finite element methods on perturbed surface meshes
Authors:
Guozhi Dong,
Hailong Guo,
Ting Guo
Abstract:
Superconvergence of differential structure on discretized surfaces is studied in this paper. The newly introduced geometric supercloseness provides us with a fundamental tool to prove the superconvergence of gradient recovery on deviated surfaces. An algorithmic framework for gradient recovery without exact geometric information is introduced. Several numerical examples are documented to validate…
▽ More
Superconvergence of differential structure on discretized surfaces is studied in this paper. The newly introduced geometric supercloseness provides us with a fundamental tool to prove the superconvergence of gradient recovery on deviated surfaces. An algorithmic framework for gradient recovery without exact geometric information is introduced. Several numerical examples are documented to validate the theoretical results.
△ Less
Submitted 2 May, 2024; v1 submitted 30 October, 2019;
originally announced October 2019.
-
On the transformations linearizing isochronous centers of Hamiltonian systems
Authors:
Guangfeng Dong,
Yuyi Zhang
Abstract:
In this paper we study the transformations linearizing isochronous centers of planar Hamiltonian differential systems with polynomial Hamiltonian functions $H(x,y)$ having only isolated singularities. Assuming the origin is an isochronous center lying on the level curve $L_0$ defined by $H(x,y)=0$, we prove that, there exists a canonical linearizing transformation analytic on a simply-connected op…
▽ More
In this paper we study the transformations linearizing isochronous centers of planar Hamiltonian differential systems with polynomial Hamiltonian functions $H(x,y)$ having only isolated singularities. Assuming the origin is an isochronous center lying on the level curve $L_0$ defined by $H(x,y)=0$, we prove that, there exists a canonical linearizing transformation analytic on a simply-connected open set $Ω$ with closure $\overlineΩ=\mathbb{R}^2$, if and only if,
$L_0$ consists of only isolated points; furthermore, if the origin is the unique center, then the condition that $L_0$ consists of only isolated points implies that the corresponding canonical linearizing transformation can be analytically defined on the whole plane.
△ Less
Submitted 23 June, 2019; v1 submitted 18 June, 2019;
originally announced June 2019.
-
A class of second-order geometric quasilinear hyperbolic PDEs and their application in imaging science
Authors:
Guozhi Dong,
Michael Hintermüller,
Ye Zhang
Abstract:
In this paper, we study damped second-order dynamics, which are quasilinear hyperbolic partial differential equations (PDEs). This is inspired by the recent development of second-order dam** systems for accelerating energy decay of gradient flows. We concentrate on two equations: one is a damped second-order total variation flow, which is primarily motivated by the application of image denoising…
▽ More
In this paper, we study damped second-order dynamics, which are quasilinear hyperbolic partial differential equations (PDEs). This is inspired by the recent development of second-order dam** systems for accelerating energy decay of gradient flows. We concentrate on two equations: one is a damped second-order total variation flow, which is primarily motivated by the application of image denoising; the other is a damped second-order mean curvature flow for level sets of scalar functions, which is related to a non-convex variational model capable of correcting displacement errors in image data (e.g. dejittering). For the former equation, we prove the existence and uniqueness of the solution. For the latter, we draw a connection between the equation and some second-order geometric PDEs evolving the hypersurfaces which are described by level sets of scalar functions, and show the existence and uniqueness of the solution for a regularized version of the equation. The latter is used in our algorithmic development. A general algorithm for numerical discretization of the two nonlinear PDEs is proposed and analyzed. Its efficiency is demonstrated by various numerical examples, where simulations on the behavior of solutions of the new equations and comparisons with first-order flows are also documented.
△ Less
Submitted 7 May, 2019; v1 submitted 4 May, 2019;
originally announced May 2019.
-
Quantitative Magnetic Resonance Imaging: From Fingerprinting to Integrated Physics-Based Models
Authors:
Guozhi Dong,
Michael Hintermüller,
Kostas Papafitsoros
Abstract:
Quantitative magnetic resonance imaging (qMRI) is concerned with estimating (in physical units) values of magnetic and tissue parameters e.g., relaxation times $T_1$, $T_2$, or proton density $ρ$. Recently in [Ma et al., Nature, 2013], Magnetic Resonance Fingerprinting (MRF) was introduced as a technique being capable of simultaneously recovering such quantitative parameters by using a two step pr…
▽ More
Quantitative magnetic resonance imaging (qMRI) is concerned with estimating (in physical units) values of magnetic and tissue parameters e.g., relaxation times $T_1$, $T_2$, or proton density $ρ$. Recently in [Ma et al., Nature, 2013], Magnetic Resonance Fingerprinting (MRF) was introduced as a technique being capable of simultaneously recovering such quantitative parameters by using a two step procedure: (i) given a probe, a series of magnetization maps are computed and then (ii) matched to (quantitative) parameters with the help of a pre-computed dictionary which is related to the Bloch manifold. In this paper, we first put MRF and its variants into a perspective with optimization and inverse problems to gain mathematical insights concerning identifiability of parameters under noise and interpretation in terms of optimizers. Motivated by the fact that the Bloch manifold is non-convex and that the accuracy of the MRF-type algorithms is limited by the "discretization size" of the dictionary, a novel physics-based method for qMRI is proposed. In contrast to the conventional two step method, our model is dictionary-free and is rather governed by a single non-linear equation, which is studied analytically. This non-linear equation is efficiently solved via robustified Newton-type methods. The effectiveness of the new method for noisy and undersampled data is shown both analytically and via extensive numerical examples for which also improvement over MRF and its variants is documented.
△ Less
Submitted 28 March, 2019;
originally announced March 2019.
-
On the dependence structure and quality of scrambled $(t,m,s)-$nets
Authors:
Jaspar Wiart,
Christiane Lemieux,
Gracia Y. Dong
Abstract:
In this paper we develop a framework to study the dependence structure of scrambled $(t,m,s)$-nets. It relies on values denoted by $C_b(\mathbf{k};P_n)$, which are related to how many distinct pairs of points from $P_n$ lie in the same elementary $\mathbf{k}-$interval in base $b$. These values quantify the equidistribution properties of $P_n$ in a more informative way than the parameter $t$. They…
▽ More
In this paper we develop a framework to study the dependence structure of scrambled $(t,m,s)$-nets. It relies on values denoted by $C_b(\mathbf{k};P_n)$, which are related to how many distinct pairs of points from $P_n$ lie in the same elementary $\mathbf{k}-$interval in base $b$. These values quantify the equidistribution properties of $P_n$ in a more informative way than the parameter $t$. They also play a key role in determining if a scrambled set $\tilde{P}_n$ is negative lower orthant dependent (NLOD). Indeed this property holds if and only if $C_b(\mathbf{k};P_n) \le 1$ for all $\mathbf{k} \in \mathbb{N}^s$, which in turn implies that a scrambled digital $(t,m,s)-$net in base $b$ is NLOD if and only if $t=0$. Through numerical examples we demonstrate that these $C_b(\mathbf{k};P_n)$ values are a powerful tool to compare the quality of different $(t,m,s)$-nets, and to enhance our understanding of how scrambling can improve the quality of deterministic point sets.
△ Less
Submitted 5 August, 2020; v1 submitted 23 March, 2019;
originally announced March 2019.
-
Convergence Rates of First and Higher Order Dynamics for Solving Linear Ill-posed Problems
Authors:
Radu Boţ,
Guozhi Dong,
Peter Elbau,
Otmar Scherzer
Abstract:
Recently, there has been a great interest in analysing dynamical flows, where the stationary limit is the minimiser of a convex energy. Particular flows of great interest have been continuous limits of Nesterov's algorithm and the Fast Iterative Shrinkage-Thresholding Algorithm (FISTA), respectively.
In this paper we approach the solutions of linear ill-posed problems by dynamical flows. Because…
▽ More
Recently, there has been a great interest in analysing dynamical flows, where the stationary limit is the minimiser of a convex energy. Particular flows of great interest have been continuous limits of Nesterov's algorithm and the Fast Iterative Shrinkage-Thresholding Algorithm (FISTA), respectively.
In this paper we approach the solutions of linear ill-posed problems by dynamical flows. Because the squared norm of the residuum of a linear operator equation is a convex functional, the theoretical results from convex analysis for energy minimising flows are applicable. We prove that the proposed flows for minimising the residuum of a linear operator equation are optimal regularisation methods and that they provide optimal convergence rates for the regularised solutions. In particular we show that in comparison to convex analysis results the rates can be significantly higher, which is possible by constraining the investigations to the particular convex energy functional, which is the squared norm of the residuum.
△ Less
Submitted 27 June, 2021; v1 submitted 21 December, 2018;
originally announced December 2018.
-
On the maximal saddle order of p:-q resonant saddle
Authors:
Guangfeng Dong,
Changjian Liu,
Jiazhong Yang
Abstract:
In this paper, we obtain some estimations of the saddle order which is the sole topological invariant of the non-integrable resonant saddles of planar polynomial vector fields of arbitrary degree $n$. Firstly, we prove that, for any given resonance $p:-q$, $(p, q)=1$, and sufficiently big integer $n$, the maximal saddle order can grow at least as rapidly as $n^2$. Secondly, we show that there exis…
▽ More
In this paper, we obtain some estimations of the saddle order which is the sole topological invariant of the non-integrable resonant saddles of planar polynomial vector fields of arbitrary degree $n$. Firstly, we prove that, for any given resonance $p:-q$, $(p, q)=1$, and sufficiently big integer $n$, the maximal saddle order can grow at least as rapidly as $n^2$. Secondly, we show that there exists an integer $k_0$, which grows at least as rapidly as $3n^2/2$, such that $L_{k_0}$ does not belong to the ideal generated by the first $k_0-1$ saddle values $L_1, L_2, \cdots, L_{k_0-1}$, where $L_{k}$ means the $k$-th saddle value of the given system. In particular, if $p=1$ (or $q=1$), we obtain a sharper result that $k_0$ can grow at least as rapidly as $2 n^2$.
△ Less
Submitted 14 March, 2019; v1 submitted 11 November, 2017;
originally announced November 2017.
-
Parametric Polynomial Preserving Recovery on Manifolds
Authors:
Guozhi Dong,
Hailong Guo
Abstract:
This paper investigates gradient recovery schemes for data defined on discretized manifolds. The proposed method, parametric polynomial preserving recovery (PPPR), does not require the tangent spaces of the exact manifolds, and they have been assumed for some significant gradient recovery methods in the literature. Another advantage of PPPR is that superconvergence is guaranteed without the symmet…
▽ More
This paper investigates gradient recovery schemes for data defined on discretized manifolds. The proposed method, parametric polynomial preserving recovery (PPPR), does not require the tangent spaces of the exact manifolds, and they have been assumed for some significant gradient recovery methods in the literature. Another advantage of PPPR is that superconvergence is guaranteed without the symmetric condition which has been asked in the existing techniques. There is also numerical evidence that the superconvergence by PPPR is high curvature stable, which distinguishes itself from the others. As an application, we show its capability of constructing an asymptotically exact \textit{a posteriori} error estimator. Several numerical examples on two-dimensional surfaces are presented to support the theoretical results and comparisons with existing methods are documented.
△ Less
Submitted 12 March, 2019; v1 submitted 19 March, 2017;
originally announced March 2017.
-
Nonlinear Flows for Displacement Correction and Applications in Tomography
Authors:
Guozhi Dong,
Otmar Scherzer
Abstract:
In this paper we derive nonlinear evolution equations associated with a class of non-convex energy functionals which can be used for correcting displacement errors in imaging data. We study properties of these filtering flows and provide experiments for correcting angular perturbations in tomographical data.
In this paper we derive nonlinear evolution equations associated with a class of non-convex energy functionals which can be used for correcting displacement errors in imaging data. We study properties of these filtering flows and provide experiments for correcting angular perturbations in tomographical data.
△ Less
Submitted 31 December, 2016;
originally announced January 2017.
-
Convergence of Tikhonov regularization for solving ill-posed operator equations with solutions defined on surfaces
Authors:
Guozhi Dong,
Bert Juettler,
Otmar Scherzer,
Thomas Takacs
Abstract:
We study Tikhonov regularization for solving ill--posed operator equations where the solutions are functions defined on surfaces. One contribution of this paper is an error analysis of Tikhonov regularization which takes into account perturbations of the surfaces, in particular when the surfaces are approximated by spline surfaces. Another contribution is that we highlight the analysis of regulari…
▽ More
We study Tikhonov regularization for solving ill--posed operator equations where the solutions are functions defined on surfaces. One contribution of this paper is an error analysis of Tikhonov regularization which takes into account perturbations of the surfaces, in particular when the surfaces are approximated by spline surfaces. Another contribution is that we highlight the analysis of regularization for functions with range in vector bundles over surfaces. We also present some practical applications, such as an inverse problem of gravimetry and an imaging problem for denoising vector fields on surfaces, and show the numerical verification.
△ Less
Submitted 14 December, 2016; v1 submitted 22 October, 2015;
originally announced October 2015.
-
A Conjecture on Zero-sum 3-magic Labeling of 5-regular Graphs
Authors:
Guanghuang Dong,
Ning Wang
Abstract:
In this paper, we obtained that every 5-regular graph admits a zero-sum 3-magic labeling, which give an affirmative answer to a conjecture proposed by Saieed Akbari, Farhad Rahmati and Sanaz Zare in $Electron.$ $J.$ $Combin.$.
In this paper, we obtained that every 5-regular graph admits a zero-sum 3-magic labeling, which give an affirmative answer to a conjecture proposed by Saieed Akbari, Farhad Rahmati and Sanaz Zare in $Electron.$ $J.$ $Combin.$.
△ Less
Submitted 26 June, 2014;
originally announced June 2014.
-
Infinitely many pairs of primes $p$ and $p+2$
Authors:
Guangchang Dong
Abstract:
We take the pre-sieved set to be all natural numbers $N=\{1,2,3,\dots\}$ with a sieve system:single sieve,double sieve,.... With single sieve, i.e. , remove out the multiple of a prime, we derive all the primes. With double sieve, i.e. , remove out the multiple and the multiple of a prime and $-2$ simultaneously, we get all the prime twins and prove that infinitely many prime twins exist under sui…
▽ More
We take the pre-sieved set to be all natural numbers $N=\{1,2,3,\dots\}$ with a sieve system:single sieve,double sieve,.... With single sieve, i.e. , remove out the multiple of a prime, we derive all the primes. With double sieve, i.e. , remove out the multiple and the multiple of a prime and $-2$ simultaneously, we get all the prime twins and prove that infinitely many prime twins exist under suitable conditions. Finally, with special 4 sieve, we prove that infinitely many prime twins exist without any restriction.
△ Less
Submitted 25 November, 2019; v1 submitted 19 June, 2014;
originally announced June 2014.
-
The extremal genus embedding of graphs
Authors:
Guanghua Dong,
Han Ren,
Ning Wang,
Hao Wu
Abstract:
Let Wn be a wheel graph with n spokes. How does the genus change if adding a degree-3 vertex v, which is not in V (Wn), to the graph Wn? In this paper, through the joint-tree model we obtain that the genus of Wn+v equals 0 if the three neighbors of v are in the same face boundary of P(Wn); otherwise, °(Wn + v) = 1, where P(Wn) is the unique planar embedding of Wn. In addition, via the independent…
▽ More
Let Wn be a wheel graph with n spokes. How does the genus change if adding a degree-3 vertex v, which is not in V (Wn), to the graph Wn? In this paper, through the joint-tree model we obtain that the genus of Wn+v equals 0 if the three neighbors of v are in the same face boundary of P(Wn); otherwise, °(Wn + v) = 1, where P(Wn) is the unique planar embedding of Wn. In addition, via the independent set, we provide a lower bound on the maximum genus of graphs, which may be better than both the result of D. Li & Y. Liu and the result of Z. Ouyang etc: in Europ. J. Combinatorics. Furthermore, we obtain a relation between the independence number and the maximum genus of graphs, and provide an algorithm to obtain the lower bound on the number of the distinct maximum genus embedding of the complete graph Km, which, in some sense, improves the result of Y. Caro and S. Stahl respectively.
△ Less
Submitted 5 March, 2012;
originally announced March 2012.
-
Lower bound on the number of the maximum genus embedding of $K_{n,n}$
Authors:
Guanghua Dong,
Han Ren,
Ning Wang,
Yuanqiu Huang
Abstract:
In this paper, we provide an method to obtain the lower bound on the number of the distinct maximum genus embedding of the complete bipartite graph Kn;n (n be an odd number), which, in some sense, improves the results of S. Stahl and H. Ren.
In this paper, we provide an method to obtain the lower bound on the number of the distinct maximum genus embedding of the complete bipartite graph Kn;n (n be an odd number), which, in some sense, improves the results of S. Stahl and H. Ren.
△ Less
Submitted 5 March, 2012;
originally announced March 2012.
-
Joint-tree model and the maximum genus of graphs
Authors:
Guanghua Dong,
Ning Wang,
Yuanqiu Huang,
Yanpei Liu
Abstract:
The vertex v of a graph G is called a 1-critical-vertex for the maximum genus of the graph, or for simplicity called 1-critical-vertex, if G-v is a connected graph and °M(G - v) = °M(G) - 1. In this paper, through the joint-tree model, we obtained some types of 1-critical-vertex, and get the upper embeddability of the Spiral Snm .
The vertex v of a graph G is called a 1-critical-vertex for the maximum genus of the graph, or for simplicity called 1-critical-vertex, if G-v is a connected graph and °M(G - v) = °M(G) - 1. In this paper, through the joint-tree model, we obtained some types of 1-critical-vertex, and get the upper embeddability of the Spiral Snm .
△ Less
Submitted 5 March, 2012;
originally announced March 2012.
-
Vertex Splitting and Upper Embeddable Graphs
Authors:
Guanghua Dong,
Ning Wang,
Yuanqiu Huang,
Han Ren,
Yanpei Liu
Abstract:
The weak minor G of a graph G is the graph obtained from G by a sequence of edge-contraction operations on G. A weak-minor-closed family of upper embeddable graphs is a set G of upper embeddable graphs that for each graph G in G, every weak minor of G is also in G. Up to now, there are few results providing the necessary and sufficient conditions for characterizing upper embeddability of graphs. I…
▽ More
The weak minor G of a graph G is the graph obtained from G by a sequence of edge-contraction operations on G. A weak-minor-closed family of upper embeddable graphs is a set G of upper embeddable graphs that for each graph G in G, every weak minor of G is also in G. Up to now, there are few results providing the necessary and sufficient conditions for characterizing upper embeddability of graphs. In this paper, we studied the relation between the vertex splitting operation and the upper embeddability of graphs; provided not only a necessary and sufficient condition for characterizing upper embeddability of graphs, but also a way to construct weak-minor-closed family of upper embeddable graphs from the bouquet of circles; extended a result in J: Graph Theory obtained by L. Nebesk¶y. In addition, the algorithm complex of determining the upper embeddability of a graph can be reduced much by the results obtained in this paper.
△ Less
Submitted 5 March, 2012;
originally announced March 2012.
-
The Second Order Estimate for Fully Nonlinear Uniformly Elliptic Equations without Concavity Assumption
Authors:
G. C. Dong,
B. J. Bian,
Z. C. Guan
Abstract:
Investigating for interior regularity of viscosity solutions to the fully nonlinear elliptic equation $$F(x,u,\triangledown u,\triangledown ^2 u)=0,$$ we establish the interior $C^{1+1}$ continuity under the assumptions that $F$ is uniformly elliptic, H$\ddot o$lder continuous and satisfies the natural structure conditions of fractional order, but without the concavity assumption of $F$. These a…
▽ More
Investigating for interior regularity of viscosity solutions to the fully nonlinear elliptic equation $$F(x,u,\triangledown u,\triangledown ^2 u)=0,$$ we establish the interior $C^{1+1}$ continuity under the assumptions that $F$ is uniformly elliptic, H$\ddot o$lder continuous and satisfies the natural structure conditions of fractional order, but without the concavity assumption of $F$. These assumptions are weaker and the result is stronger than that of Caffarelli and Wang[1], Chen[2].
△ Less
Submitted 24 June, 2005;
originally announced June 2005.