-
Analysis and approximation to parabolic optimal control problems with measure-valued controls in time
Authors:
Wei Gong,
Dongdong Liang
Abstract:
In this paper, we investigate an optimal control problem governed by parabolic equations with measure-valued controls over time. We establish the well-posedness of the optimal control problem and derive the first-order optimality condition using Clarke's subgradients, revealing a sparsity structure in time for the optimal control. Consequently, these optimal control problems represent a generaliza…
▽ More
In this paper, we investigate an optimal control problem governed by parabolic equations with measure-valued controls over time. We establish the well-posedness of the optimal control problem and derive the first-order optimality condition using Clarke's subgradients, revealing a sparsity structure in time for the optimal control. Consequently, these optimal control problems represent a generalization of impulse control for evolution equations. To discretize the optimal control problem, we employ the space-time finite element method. Here, the state equation is approximated using piecewise linear and continuous finite elements in space, alongside a Petrov-Galerkin method utilizing piecewise constant trial functions and piecewise linear and continuous test functions in time. The control variable is discretized using the variational discretization concept. For error estimation, we initially derive a priori error estimates and stabilities for the finite element discretizations of the state and adjoint equations. Subsequently, we establish weak-* convergence for the control under the norm $\mathcal{M}(\bar I_c;L^2(ω))$, with a convergence order of $O(h^\frac{1}{2}+τ^\frac{1}{4})$ for the state.
△ Less
Submitted 3 April, 2024;
originally announced April 2024.
-
On the Coherency of Completed Group Algebra
Authors:
David Burns,
Yu Kuang,
Dingli Liang
Abstract:
We investigate coherency properties of certain completed integral group rings, precisely for compact $p$-adic Lie groups.
We investigate coherency properties of certain completed integral group rings, precisely for compact $p$-adic Lie groups.
△ Less
Submitted 16 January, 2024; v1 submitted 10 January, 2024;
originally announced January 2024.
-
On Non-Noetherian Iwasawa Theory
Authors:
David Burns,
Alexandre Daoud,
Dingli Liang
Abstract:
We prove a general structure theorem for finitely presented torsion modules over a class of commutative rings that need not be Noetherian. As a first application, we then use this result to study the Weil- étale cohomology groups of $\mathbb{G}_m$ for curves over finite fields.
We prove a general structure theorem for finitely presented torsion modules over a class of commutative rings that need not be Noetherian. As a first application, we then use this result to study the Weil- étale cohomology groups of $\mathbb{G}_m$ for curves over finite fields.
△ Less
Submitted 5 January, 2024;
originally announced January 2024.
-
Fast Sampling for Linear Inverse Problems of Vectors and Tensors using Multilinear Extensions
Authors:
Hao Li,
Dong Liang,
Zixi Zhou,
Zheng Xie
Abstract:
This paper studies the problem of sampling vector and tensor signals, which is the process of choosing sites in vectors and tensors to place sensors for better recovery. A small core tensor and multiple factor matrices can be used to sparsely represent a dense higher-order tensor within a linear model. Using this linear model, one can effectively recover the whole signals from a limited number of…
▽ More
This paper studies the problem of sampling vector and tensor signals, which is the process of choosing sites in vectors and tensors to place sensors for better recovery. A small core tensor and multiple factor matrices can be used to sparsely represent a dense higher-order tensor within a linear model. Using this linear model, one can effectively recover the whole signals from a limited number of measurements by solving linear inverse problems (LIPs). By providing the closed-form expressions of multilinear extensions for the frame potential of pruned matrices, we develop an algorithm named fast Frank-Wolfe algorithm (FFW) for sampling vectors and tensors with low complexity. We provide the approximation factor of our proposed algorithm for the factor matrices that are non-orthogonal and have elements of the same sign in each row. Moreover, we conduct experiments to verify the higher performance and lower complexity of our proposed algorithm for general factor matrix. Finally, we demonstrate that sampling by FFW and reconstruction by least squares methods yield better results for image data compared to convCNP completion with random sampling.
△ Less
Submitted 2 July, 2024; v1 submitted 3 December, 2023;
originally announced December 2023.
-
A Mini Immersed Finite Element Method for Two-Phase Stokes Problems on Cartesian Meshes
Authors:
Haifeng Ji,
Dong Liang,
Qian Zhang
Abstract:
This paper presents a mini immersed finite element (IFE) method for solving two- and three-dimensional two-phase Stokes problems on Cartesian meshes. The IFE space is constructed from the conventional mini element with shape functions modified on interface elements according to interface jump conditions, while kee** the degrees of freedom unchanged. Both discontinuous viscosity coefficients and…
▽ More
This paper presents a mini immersed finite element (IFE) method for solving two- and three-dimensional two-phase Stokes problems on Cartesian meshes. The IFE space is constructed from the conventional mini element with shape functions modified on interface elements according to interface jump conditions, while kee** the degrees of freedom unchanged. Both discontinuous viscosity coefficients and surface forces are considered in the construction. The interface is approximated via discrete level set functions and explicit formulas of IFE basis functions and correction functions are derived, which make the IFE method easy to implement. The optimal approximation capabilities of the IFE space and the inf-sup stability and the optimal a priori error estimate of the IFE method are derived rigorously with constants independent of the mesh size and how the interface cuts the mesh. It is also proved that the condition number has the usual bound independent of the interface. Numerical experiments are provided to confirm the theoretical results.
△ Less
Submitted 1 August, 2023;
originally announced August 2023.
-
A new error analysis for parabolic Dirichlet boundary control problems
Authors:
Dongdong Liang,
Wei Gong,
Abstract:
In this paper, we consider the finite element approximation to a parabolic Dirichlet boundary control problem and establish new a priori error estimates. In the temporal semi-discretization we apply the DG(0) method for the state and the variational discretization for the control, and obtain the convergence rates $O(k^{\frac{1}{4}})$ and $O(k^{\frac{3}{4}-\varepsilon})$ $(\varepsilon>0)$ for the c…
▽ More
In this paper, we consider the finite element approximation to a parabolic Dirichlet boundary control problem and establish new a priori error estimates. In the temporal semi-discretization we apply the DG(0) method for the state and the variational discretization for the control, and obtain the convergence rates $O(k^{\frac{1}{4}})$ and $O(k^{\frac{3}{4}-\varepsilon})$ $(\varepsilon>0)$ for the control for problems posed on polytopes with $y_0\in L^2(Ω)$, $y_d\in L^2(I;L^2(Ω))$ and smooth domains with $y_0\in H^{\frac{1}{2}}(Ω)$, $y_d\in L^2(I;H^1(Ω))\cap H^{\frac{1}{2}}(I;L^2(Ω))$, respectively. In the fully discretization of the optimal control problem posed on polytopal domains, we apply the DG(0)-CG(1) method for the state and the variational discretization approach for the control, and derive the convergence order $O(k^{\frac{1}{4}} +h^{\frac{1}{2}})$, which improves the known results by removing the mesh size condition $k=O(h^2)$ between the space mesh size $h$ and the time step $k$. As a byproduct, we obtain a priori error estimate $O(h+k^{1\over 2})$ for the fully discretization of parabolic equations with inhomogeneous Dirichlet data posed on polytopes, which also improves the known error estimate by removing the above mesh size condition.
△ Less
Submitted 28 June, 2023;
originally announced June 2023.
-
Nonlinear Bipartite Output Regulation with Application to Turing Pattern
Authors:
Dong Liang,
Martin Guay,
Shimin Wang
Abstract:
In this paper, a bipartite output regulation problem is solved for a class of nonlinear multi-agent systems subject to static signed communication networks. A nonlinear distributed observer is proposed for a nonlinear exosystem with cooperation-competition interactions to address the problem. Sufficient conditions are provided to guarantee its existence and stability. The exponential stability of…
▽ More
In this paper, a bipartite output regulation problem is solved for a class of nonlinear multi-agent systems subject to static signed communication networks. A nonlinear distributed observer is proposed for a nonlinear exosystem with cooperation-competition interactions to address the problem. Sufficient conditions are provided to guarantee its existence and stability. The exponential stability of the observer is established. As a practical application, a leader-following bipartite consensus problem is solved for a class of nonlinear multi-agent systems based on the observer. Finally, a network of multiple pendulum systems is treated to support the feasibility of the proposed design. The possible application of the approach to generate specific Turing patterns is also presented.
△ Less
Submitted 24 May, 2023;
originally announced May 2023.
-
Deep unfolding as iterative regularization for imaging inverse problems
Authors:
Zhuo-Xu Cui,
Qingyong Zhu,
**g Cheng,
Dong Liang
Abstract:
Recently, deep unfolding methods that guide the design of deep neural networks (DNNs) through iterative algorithms have received increasing attention in the field of inverse problems. Unlike general end-to-end DNNs, unfolding methods have better interpretability and performance. However, to our knowledge, their accuracy and stability in solving inverse problems cannot be fully guaranteed. To bridg…
▽ More
Recently, deep unfolding methods that guide the design of deep neural networks (DNNs) through iterative algorithms have received increasing attention in the field of inverse problems. Unlike general end-to-end DNNs, unfolding methods have better interpretability and performance. However, to our knowledge, their accuracy and stability in solving inverse problems cannot be fully guaranteed. To bridge this gap, we modified the training procedure and proved that the unfolding method is an iterative regularization method. More precisely, we jointly learn a convex penalty function adversarially by an input-convex neural network (ICNN) to characterize the distance to a real data manifold and train a DNN unfolded from the proximal gradient descent algorithm with this learned penalty. Suppose the real data manifold intersects the inverse problem solutions with only the unique real solution. We prove that the unfolded DNN will converge to it stably. Furthermore, we demonstrate with an example of MRI reconstruction that the proposed method outperforms conventional unfolding methods and traditional regularization methods in terms of reconstruction quality, stability and convergence speed.
△ Less
Submitted 24 November, 2022;
originally announced November 2022.
-
Model-based Deep Medical Imaging: the roadmap of generalizing iterative reconstruction model using deep learning
Authors:
**g Cheng,
Haifeng Wang,
Yanjie Zhu,
Qiegen Liu,
Qiyang Zhang,
Ting Su,
Jianwei Chen,
Yongshuai Ge,
Zhanli Hu,
Xin Liu,
Hairong Zheng,
Leslie Ying,
Dong Liang
Abstract:
Medical imaging is playing a more and more important role in clinics. However, there are several issues in different imaging modalities such as slow imaging speed in MRI, radiation injury in CT and PET. Therefore, accelerating MRI, reducing radiation dose in CT and PET have been ongoing research topics since their invention. Usually, acquiring less data is a direct but important strategy to addres…
▽ More
Medical imaging is playing a more and more important role in clinics. However, there are several issues in different imaging modalities such as slow imaging speed in MRI, radiation injury in CT and PET. Therefore, accelerating MRI, reducing radiation dose in CT and PET have been ongoing research topics since their invention. Usually, acquiring less data is a direct but important strategy to address these issues. However, less acquisition usually results in aliasing artifacts in reconstructions. Recently, deep learning (DL) has been introduced in medical image reconstruction and shown potential on significantly speeding up MR reconstruction and reducing radiation dose. In this paper, we propose a general framework on combining the reconstruction model with deep learning to maximize the potential of deep learning and model-based reconstruction, and give the examples to demonstrate the performance and requirements of unrolling different algorithms using deep learning.
△ Less
Submitted 5 September, 2019; v1 submitted 19 June, 2019;
originally announced June 2019.
-
Computing Dixmier Invariants and Some Geometric Configurations of Quartic Curves with 2 Involutions
Authors:
Dun Liang
Abstract:
In this paper we consider plane quartics with to involutions. We compute the Dixmier invariants, the bitangents and the Matrix representation problem of these curves, showing that they have symbolic solutions for the last two questions.
In this paper we consider plane quartics with to involutions. We compute the Dixmier invariants, the bitangents and the Matrix representation problem of these curves, showing that they have symbolic solutions for the last two questions.
△ Less
Submitted 2 April, 2019;
originally announced April 2019.
-
Invariants, Bitangents and Matrix Representations of Plane Quartics with 3-Cyclic Automorphisms
Authors:
Dun Liang
Abstract:
In this work we compute the Dixmier invariants and bitangents of the plane quartics with 3,6 or 9-cyclic automorphisms, we find that a quartic curve with 6-cyclic automorphism will have 3 horizontal bitangents which form an asysgetic triple. We also discuss the linear matrix representation problem of such curves, and find a degree 6 equation of 1 variable which solves the symbolic solution of the…
▽ More
In this work we compute the Dixmier invariants and bitangents of the plane quartics with 3,6 or 9-cyclic automorphisms, we find that a quartic curve with 6-cyclic automorphism will have 3 horizontal bitangents which form an asysgetic triple. We also discuss the linear matrix representation problem of such curves, and find a degree 6 equation of 1 variable which solves the symbolic solution of the linear matrix representation problem for the curve with 6-cyclic automorphism.
△ Less
Submitted 2 April, 2019; v1 submitted 7 February, 2019;
originally announced February 2019.
-
Algorithms And Programming On The Minimal Combinations Of Weights Of Projective Hypersurfaces
Authors:
Dun Liang
Abstract:
This paper designs an alogrithm to compute the minimal combinations of finite sets in Euclidean spaces, and applys the algorithm of study the moment maps and geometric invariant stability of hypersurfaces. The classical example of cubic curves is repeated by the algorithm. Furhtermore the alogrithm works for cubic surfaces. For given affinely indepdent subsets of monomials, the algorithm can outpu…
▽ More
This paper designs an alogrithm to compute the minimal combinations of finite sets in Euclidean spaces, and applys the algorithm of study the moment maps and geometric invariant stability of hypersurfaces. The classical example of cubic curves is repeated by the algorithm. Furhtermore the alogrithm works for cubic surfaces. For given affinely indepdent subsets of monomials, the algorithm can output the unique unstable points of the Morse strata if it exists. Also there is a discussion on the affinely dependent sets of monomials.
△ Less
Submitted 29 July, 2018;
originally announced July 2018.
-
On the Iwasawa asymptotic class number formula for $\mathbb{Z}_p^r\rtimes\mathbb{Z}_p$-extensions
Authors:
Dingli Liang,
Meng Fai Lim
Abstract:
Let $p$ be an odd prime and $F_{\infty,\infty}$ a $p$-adic Lie extension of a number field $F$ with Galois group isomorphic to $\mathbb{Z}_p^r\rtimes\mathbb{Z}_p$, $r\geq 1$. Under certain assumptions, we prove an asymptotic formula for the growth of $p$-exponents of the class groups in the said $p$-adic Lie extension. This generalizes a previous result of Lei, where he establishes such a formula…
▽ More
Let $p$ be an odd prime and $F_{\infty,\infty}$ a $p$-adic Lie extension of a number field $F$ with Galois group isomorphic to $\mathbb{Z}_p^r\rtimes\mathbb{Z}_p$, $r\geq 1$. Under certain assumptions, we prove an asymptotic formula for the growth of $p$-exponents of the class groups in the said $p$-adic Lie extension. This generalizes a previous result of Lei, where he establishes such a formula in the case $r=1$. An important and new ingredient towards extending Lei's result rests on an asymptotic formula for a finitely generated (not necessarily torsion) $\mathbb{Z}_p[[\mathbb{Z}_p^r]]$-module which we will also establish in this paper. We then continue studying the growth of $p$-exponents of the class groups under more restrictive assumptions and show that there is an asymptotic formula in our noncommutative $p$-adic Lie extension analogous to a refined formula of Monsky (which is for the commutative extension) in a special case.
△ Less
Submitted 13 August, 2018; v1 submitted 16 March, 2018;
originally announced March 2018.
-
Computing Moment Maps of Hypersurfaces using MAXIMA
Authors:
Dun Liang
Abstract:
We use Maxima to compute the moment matrices of hypersurfaces. After that, we compute the Hilbert-Mumford numerical criterion for plane cubics and plane quartics, and give the stability of these curves.
We use Maxima to compute the moment matrices of hypersurfaces. After that, we compute the Hilbert-Mumford numerical criterion for plane cubics and plane quartics, and give the stability of these curves.
△ Less
Submitted 22 August, 2017;
originally announced August 2017.
-
Genus 3 curves whose Jacobians have endomorphisms by $Q (ζ_7 +\barζ_7 )$, II
Authors:
J. W. Hoffman,
Dun Liang,
Zhibin Liang,
Ryotaro Okazaki,
Yukiko Sakai,
Haohao Wang
Abstract:
In this work we consider constructions of genus three curves $X$ such that $\mathrm{End}(\mathrm{Jac} (X))\otimes Q$ contains the totally real cubic number field $Q(ζ_7 +\barζ_7 )$. We construct explicit three-dimensional families whose generic member is a nonhyperelliptic genus 3 curve with this property. The case when $X$ is hyperelliptic was studied in a previous work by Hoffman and Wang and so…
▽ More
In this work we consider constructions of genus three curves $X$ such that $\mathrm{End}(\mathrm{Jac} (X))\otimes Q$ contains the totally real cubic number field $Q(ζ_7 +\barζ_7 )$. We construct explicit three-dimensional families whose generic member is a nonhyperelliptic genus 3 curve with this property. The case when $X$ is hyperelliptic was studied in a previous work by Hoffman and Wang and some nonhyperelliptic curves were constructed in a previous paper by Hoffman, Z. Liang. Sakai and Wang.
△ Less
Submitted 8 November, 2014;
originally announced November 2014.
-
A generalization of $c$-Supplementation
Authors:
Shiheng Li,
Dengfeng Liang,
Wujie Shi
Abstract:
A subgroup $H$ is said to be $nc$-supplemented in a group $G$ if there is a subgroup $K\leq G$ such that $HK\unlhd G$ and $H\cap K$ is contained in $H_G$, the core of $H$ in $G$. We characterize the solvability of finite groups $G$ with some subgroups of Sylow subgroups $nc$-supplemented in $G$. We also give a result on $c$-supplemented subgroups.
A subgroup $H$ is said to be $nc$-supplemented in a group $G$ if there is a subgroup $K\leq G$ such that $HK\unlhd G$ and $H\cap K$ is contained in $H_G$, the core of $H$ in $G$. We characterize the solvability of finite groups $G$ with some subgroups of Sylow subgroups $nc$-supplemented in $G$. We also give a result on $c$-supplemented subgroups.
△ Less
Submitted 20 September, 2005;
originally announced September 2005.