-
On exact products of two dihedral groups
Authors:
Kan Hu,
Hao Yu
Abstract:
An exact product of two finite groups $H$ and $K$ is a finite group $X$ which contains $H$ and $K$ as subgroups, satisfying $X=HK$ and $H\cap K=\{1_X\}$. In this paper, we provide a classification of the exact products of two dihedral groups of orders $2m$ and $2n$ for all odd numbers $m,n\geq 3$.
An exact product of two finite groups $H$ and $K$ is a finite group $X$ which contains $H$ and $K$ as subgroups, satisfying $X=HK$ and $H\cap K=\{1_X\}$. In this paper, we provide a classification of the exact products of two dihedral groups of orders $2m$ and $2n$ for all odd numbers $m,n\geq 3$.
△ Less
Submitted 15 June, 2024;
originally announced June 2024.
-
A Mimicking Theorem for processes driven by fractional Brownian motion
Authors:
Kevin Hu,
Kavita Ramanan,
William Salkeld
Abstract:
In this paper, we prove a mimicking theorem for stochastic processes with an additive Gaussian noise along with some entropy and transport type estimates. As an application of these results, we prove sharp quantitative propagation of chaos result and derive a formula for the marginal dynamics of collections of locally interacting stochastic differential equations with additive Gaussian noise.
In this paper, we prove a mimicking theorem for stochastic processes with an additive Gaussian noise along with some entropy and transport type estimates. As an application of these results, we prove sharp quantitative propagation of chaos result and derive a formula for the marginal dynamics of collections of locally interacting stochastic differential equations with additive Gaussian noise.
△ Less
Submitted 14 May, 2024;
originally announced May 2024.
-
The fundamental martingale with applications to Markov Random Fields
Authors:
Kevin Hu,
Kavita Ramanan,
William Salkeld
Abstract:
We consider collections of SDEs indexed by a graph. Each SDE is driven by an additive Gaussian noise and each drift term interacts with all other SDEs within the graph neighbourhood. We derive the fundamental martingale for a class of Gaussian processes and use this to prove a Girsanov type theorem. Further, we use this to construct a clique factorisation to prove that the law of the interacting S…
▽ More
We consider collections of SDEs indexed by a graph. Each SDE is driven by an additive Gaussian noise and each drift term interacts with all other SDEs within the graph neighbourhood. We derive the fundamental martingale for a class of Gaussian processes and use this to prove a Girsanov type theorem. Further, we use this to construct a clique factorisation to prove that the law of the interacting SDEs forms a 2-Markov Random Field.
△ Less
Submitted 14 May, 2024;
originally announced May 2024.
-
Z-estimation system: a modular approach to asymptotic analysis
Authors:
Jie Kate Hu
Abstract:
Asymptotic analysis for related inference problems often involves similar steps and proofs. These intermediate results could be shared across problems if each of them is made self-contained and easily identified. However, asymptotic analysis using Taylor expansions is limited for result borrowing because it is a step-to-step procedural approach. This article introduces EEsy, a modular system for e…
▽ More
Asymptotic analysis for related inference problems often involves similar steps and proofs. These intermediate results could be shared across problems if each of them is made self-contained and easily identified. However, asymptotic analysis using Taylor expansions is limited for result borrowing because it is a step-to-step procedural approach. This article introduces EEsy, a modular system for estimating finite and infinitely dimensional parameters in related inference problems. It is based on the infinite-dimensional Z-estimation theorem, Donsker and Glivenko-Cantelli preservation theorems, and weight calibration techniques. This article identifies the systematic nature of these tools and consolidates them into one system containing several modules, which can be built, shared, and extended in a modular manner. This change to the structure of method development allows related methods to be developed in parallel and complex problems to be solved collaboratively, expediting the development of new analytical methods. This article considers four related inference problems -- estimating parameters with random sampling, two-phase sampling, auxiliary information incorporation, and model misspecification. We illustrate this modular approach by systematically develo** 9 parameter estimators and 18 variance estimators for the four related inference problems regarding semi-parametric additive hazards models. Simulation studies show the obtained asymptotic results for these 27 estimators are valid. In the end, I describe how this system can simplify the use of empirical process theory, a powerful but challenging tool to be adopted by the broad community of methods developers. I discuss challenges and the extension of this system to other inference problems.
△ Less
Submitted 25 January, 2024;
originally announced January 2024.
-
Quadratic and cubic Lagrange finite elements for mixed Laplace eigenvalue problems on criss-cross meshes
Authors:
Kaibo Hu,
Jiguang Sun,
Qian Zhang
Abstract:
In [6], it was shown that the linear Lagrange element space on criss-cross meshes and its divergence exhibit spurious eigenvalues when applied in the mixed formulation of the Laplace eigenvalue problem, despite satisfying both the inf-sup condition and ellipticity on the discrete kernel. The lack of a Fortin interpolation is responsible for the spurious eigenvalues produced by the linear Lagrange…
▽ More
In [6], it was shown that the linear Lagrange element space on criss-cross meshes and its divergence exhibit spurious eigenvalues when applied in the mixed formulation of the Laplace eigenvalue problem, despite satisfying both the inf-sup condition and ellipticity on the discrete kernel. The lack of a Fortin interpolation is responsible for the spurious eigenvalues produced by the linear Lagrange space. In contrast, results in [8] confirm that quartic and higher-order Lagrange elements do not yield spurious eigenvalues on general meshes without nearly singular vertices, including criss-cross meshes as a special case. In this paper, we investigate quadratic and cubic Lagrange elements on criss-cross meshes. We prove the convergence of discrete eigenvalues by fitting the Lagrange elements on criss-cross meshes into a complex and constructing a Fortin interpolation. As a by-product, we construct bounded commuting projections for the finite element Stokes complex, which induces isomorphisms between cohomologies of the continuous and discrete complexes. We provide numerical examples to validate the theoretical results.
△ Less
Submitted 20 December, 2023;
originally announced December 2023.
-
Extended Regge complex for linearized Riemann-Cartan geometry and cohomology
Authors:
Snorre H. Christiansen,
Kaibo Hu,
Ting Lin
Abstract:
We show that the cohomology of the Regge complex in three dimensions is isomorphic to $\mathcal{H}^{\scriptscriptstyle \bullet}_{dR}(Ω)\otimes\mathcal{RM}$, the infinitesimal-rigid-body-motion-valued de~Rham cohomology. Based on an observation that the twisted de~Rham complex extends the elasticity (Riemannian deformation) complex to the linearized version of coframes, connection 1-forms, curvatur…
▽ More
We show that the cohomology of the Regge complex in three dimensions is isomorphic to $\mathcal{H}^{\scriptscriptstyle \bullet}_{dR}(Ω)\otimes\mathcal{RM}$, the infinitesimal-rigid-body-motion-valued de~Rham cohomology. Based on an observation that the twisted de~Rham complex extends the elasticity (Riemannian deformation) complex to the linearized version of coframes, connection 1-forms, curvature and Cartan's torsion, we construct a discrete version of linearized Riemann-Cartan geometry on any triangulation and determine its cohomology.
△ Less
Submitted 18 December, 2023;
originally announced December 2023.
-
Cyclic complementary extensions and skew-morphisms
Authors:
Kan Hu,
Robert Jajcay
Abstract:
A cyclic complementary extension of a finite group $A$ is a finite group $G$ which contains $A$ and a cyclic subgroup $C$ such that $A\cap C=\{1_G\}$ and $G=AC$. For any fixed generator $c$ of the cyclic factor $C=\langle c\rangle$ of order $n$ in a cyclic complementary extension $G=AC$, the equations $cx=\varphi(x)c^{Π(x)}$, $x\in A$, determine a permutation $\varphi:A\to A$ and a function…
▽ More
A cyclic complementary extension of a finite group $A$ is a finite group $G$ which contains $A$ and a cyclic subgroup $C$ such that $A\cap C=\{1_G\}$ and $G=AC$. For any fixed generator $c$ of the cyclic factor $C=\langle c\rangle$ of order $n$ in a cyclic complementary extension $G=AC$, the equations $cx=\varphi(x)c^{Π(x)}$, $x\in A$, determine a permutation $\varphi:A\to A$ and a function $Π:A\to\mathbb{Z}_n$ on $A$ characterized by the properties:
(a) $\varphi(1_A)=1_A$ and $Π(1_A)\equiv1\pmod{n}$; (b) $\varphi(xy)=\varphi(x)\varphi^{Π(x)}(y)$ and $Π(xy)\equiv\sum_{i=1}^{Π(x)}Π(\varphi^{i-1}(y))\pmod{n}$, for all $x,y\in A$. The permutation $\varphi$ is called a skew-morphism of $A$ and has already been extensively studied. One of the main contributions of the present paper is the recognition of the importance of the function $Π$, which we call the extended power function associated with $\varphi$. We show that {\em every} cyclic complementary extension of $A$ is determined and can be constructed from a skew-morphism $\varphi$ of $A$ and an extended power function $Π$ associated with $\varphi$. As an application, we present a classification of cyclic complementary extensions of cyclic groups obtained using skew-morphisms which are group automorphisms.
△ Less
Submitted 27 November, 2023;
originally announced November 2023.
-
Finite elements for symmetric and traceless tensors in three dimensions
Authors:
Kaibo Hu,
Ting Lin,
Bowen Shi
Abstract:
We construct a family of finite element sub-complexes of the conformal complex on tetrahedral meshes. This complex includes vector fields and symmetric and traceless tensor fields, interlinked through the conformal Killing operator, the linearized Cotton-York operator, and the divergence operator, respectively. This leads to discrete versions of transverse traceless (TT) tensors and York splits in…
▽ More
We construct a family of finite element sub-complexes of the conformal complex on tetrahedral meshes. This complex includes vector fields and symmetric and traceless tensor fields, interlinked through the conformal Killing operator, the linearized Cotton-York operator, and the divergence operator, respectively. This leads to discrete versions of transverse traceless (TT) tensors and York splits in general relativity. We provide bubble complexes and investigate supersmoothness to facilitate the construction. We show the exactness of the finite element complex on contractible domains.
△ Less
Submitted 27 November, 2023;
originally announced November 2023.
-
Distributional Hessian and divdiv complexes on triangulation and cohomology
Authors:
Kaibo Hu,
Ting Lin,
Qian Zhang
Abstract:
In this paper, we construct discrete versions of some Bernstein-Gelfand-Gelfand (BGG) complexes, i.e., the Hessian and the divdiv complexes, on triangulations in 2D and 3D. The sequences consist of finite elements with local polynomial shape functions and various types of Dirac measure on subsimplices. The construction generalizes Whitney forms (canonical conforming finite elements) for the de Rha…
▽ More
In this paper, we construct discrete versions of some Bernstein-Gelfand-Gelfand (BGG) complexes, i.e., the Hessian and the divdiv complexes, on triangulations in 2D and 3D. The sequences consist of finite elements with local polynomial shape functions and various types of Dirac measure on subsimplices. The construction generalizes Whitney forms (canonical conforming finite elements) for the de Rham complex and Regge calculus/finite elements for the elasticity (Riemannian deformation) complex from discrete topological and Discrete Exterior Calculus perspectives. We show that the cohomology of the resulting complexes is isomorphic to the continuous versions, and thus isomorphic to the de~Rham cohomology with coefficients.
△ Less
Submitted 26 November, 2023;
originally announced November 2023.
-
Extreme Limit Theory of Competing Risks under Power Normalization
Authors:
Kaihao Hu,
Kai Wang,
Corina Constantinescu,
Zhengjun Zhang,
Chengxiu Ling
Abstract:
Advanced science and technology provide a wealth of big data from different sources for extreme value analysis. Classical extreme value theory was extended to obtain an accelerated max-stable distribution family for modelling competing risk-based extreme data in Cao and Zhang (2021). In this paper, we establish probability models for power normalized maxima and minima from competing risks. The lim…
▽ More
Advanced science and technology provide a wealth of big data from different sources for extreme value analysis. Classical extreme value theory was extended to obtain an accelerated max-stable distribution family for modelling competing risk-based extreme data in Cao and Zhang (2021). In this paper, we establish probability models for power normalized maxima and minima from competing risks. The limit distributions consist of an extensional new accelerated max-stable and min-stable distribution family (termed as the accelerated p-max/p-min stable distribution), and its left-truncated version. The consistency and asymptotic normality are obtained for the maximum likelihood estimation of the parameters involved in the accelerated p-max and p-min stable distributions when it exists. The limit types of distributions are determined principally by the sample generating process and the interplay among the competing risks, which are illustrated by common examples. Further, the statistical inference concerning the maximum likelihood estimation and model diagnosis of this model was investigated. Numerical studies show first the efficient approximation of all limit scenarios as well as its comparable convergence rate in contrast with those under linear normalization, and then present the maximum likelihood estimation and diagnosis of accelerated p-max/p-min stable models for simulated data sets. Finally, two real datasets concerning annual maximum of ground level ozone and survival times of Stanford heart plant demonstrate the performance of our accelerated p-max and accelerated p-min stable models.
△ Less
Submitted 24 June, 2024; v1 submitted 4 May, 2023;
originally announced May 2023.
-
Bounded Poincaré operators for twisted and BGG complexes
Authors:
Andreas Čap,
Kaibo Hu
Abstract:
We construct bounded Poincaré operators for twisted complexes and BGG complexes with a wide class of function classes (e.g., Sobolev spaces) on bounded Lipschitz domains. These operators are derived from the de Rham versions using BGG diagrams and, for vanishing cohomology, satisfy the homotopy identity $dP+Pd=I$ in degrees $>0$. The operators preserve polynomial classes if the de Rham versions do…
▽ More
We construct bounded Poincaré operators for twisted complexes and BGG complexes with a wide class of function classes (e.g., Sobolev spaces) on bounded Lipschitz domains. These operators are derived from the de Rham versions using BGG diagrams and, for vanishing cohomology, satisfy the homotopy identity $dP+Pd=I$ in degrees $>0$. The operators preserve polynomial classes if the de Rham versions do so.
△ Less
Submitted 15 November, 2023; v1 submitted 14 April, 2023;
originally announced April 2023.
-
An exterior calculus framework for polytopal methods
Authors:
Francesco Bonaldi,
Daniele A. Di Pietro,
Jerome Droniou,
Kaibo Hu
Abstract:
We develop in this work the first polytopal complexes of differential forms. These complexes, inspired by the Discrete De Rham and the Virtual Element approaches, are discrete versions of the de Rham complex of differential forms built on meshes made of general polytopal elements. Both constructions benefit from the high-level approach of polytopal methods, which leads, on certain meshes, to leane…
▽ More
We develop in this work the first polytopal complexes of differential forms. These complexes, inspired by the Discrete De Rham and the Virtual Element approaches, are discrete versions of the de Rham complex of differential forms built on meshes made of general polytopal elements. Both constructions benefit from the high-level approach of polytopal methods, which leads, on certain meshes, to leaner constructions than the finite element method. We establish commutation properties between the interpolators and the discrete and continuous exterior derivatives, prove key polynomial consistency results for the complexes, and show that their cohomologies are isomorphic to the cohomology of the continuous de Rham complex.
△ Less
Submitted 6 July, 2023; v1 submitted 20 March, 2023;
originally announced March 2023.
-
Classification of cyclic groups underlying only smooth skew morphisms
Authors:
Kan Hu,
Istvan Kovacs,
Young Soo Kwon
Abstract:
A skew morphism of a finite group $A$ is a permutation $\varphi$ of $A$ fixing the identity element and for which there is an integer-valued function $π$ on $A$ such that $\varphi(ab)=\varphi(a)\varphi^{π(a)}(b)$ for all $a, b \in A$. A skew morphism $\varphi$ of $A$ is smooth if the associated power function $π$ is constant on the orbits of $\varphi$, that is,…
▽ More
A skew morphism of a finite group $A$ is a permutation $\varphi$ of $A$ fixing the identity element and for which there is an integer-valued function $π$ on $A$ such that $\varphi(ab)=\varphi(a)\varphi^{π(a)}(b)$ for all $a, b \in A$. A skew morphism $\varphi$ of $A$ is smooth if the associated power function $π$ is constant on the orbits of $\varphi$, that is, $π(\varphi(a))\equivπ(a)\pmod{|\varphi|}$ for all $a\in A$. In this paper we show that every skew morphism of a cyclic group of order $n$ is smooth if and only if $n=2^en_1$, where $0 \le e \le 4$ and $n_1$ is an odd square-free number. A partial solution to a similar problem on non-cyclic abelian groups is also given.
△ Less
Submitted 6 February, 2023;
originally announced February 2023.
-
Nonlinear elasticity complex and a finite element diagram chase
Authors:
Kaibo Hu
Abstract:
In this paper, we present a nonlinear version of the linear elasticity (Calabi, Kröner, Riemannian deformation) complex which encodes isometric embedding, metric, curvature and the Bianchi identity. We reformulate the rigidity theorem and a fundamental theorem of Riemannian geometry as the exactness of this complex. Then we generalize an algebraic approach for constructing finite elements for the…
▽ More
In this paper, we present a nonlinear version of the linear elasticity (Calabi, Kröner, Riemannian deformation) complex which encodes isometric embedding, metric, curvature and the Bianchi identity. We reformulate the rigidity theorem and a fundamental theorem of Riemannian geometry as the exactness of this complex. Then we generalize an algebraic approach for constructing finite elements for the Bernstein-Gelfand-Gelfand (BGG) complexes. In particular, we discuss the reduction of degrees of freedom with injective connecting maps in the BGG diagrams. We derive a strain complex in two space dimensions with a diagram chase.
△ Less
Submitted 5 April, 2023; v1 submitted 5 February, 2023;
originally announced February 2023.
-
Discrete tensor product BGG sequences: splines and finite elements
Authors:
Francesca Bonizzoni,
Kaibo Hu,
Guido Kanschat,
Duygu Sap
Abstract:
In this paper, we provide a systematic discretization of the Bernstein-Gelfand-Gelfand (BGG) diagrams and complexes over cubical meshes of arbitrary dimension via the use of tensor-product structures of one-dimensional piecewise-polynomial spaces, such as spline and finite element spaces. We demonstrate the construction of the Hessian, the elasticity, and the divdiv complexes as examples for our c…
▽ More
In this paper, we provide a systematic discretization of the Bernstein-Gelfand-Gelfand (BGG) diagrams and complexes over cubical meshes of arbitrary dimension via the use of tensor-product structures of one-dimensional piecewise-polynomial spaces, such as spline and finite element spaces. We demonstrate the construction of the Hessian, the elasticity, and the divdiv complexes as examples for our construction.
△ Less
Submitted 30 December, 2023; v1 submitted 5 February, 2023;
originally announced February 2023.
-
Oberwolfach report : Discretization of Hilbert complexes
Authors:
Kaibo Hu
Abstract:
The report is based on an extended abstract for the MFO workshop "Hilbert Complexes: Analysis, Applications, and Discretizations", held at Oberwolfach during 19-25 June 2022. The aim is to provide an overview of some aspects of discretization of Hilbert complexes with an emphasis on conforming finite elements.
The report is based on an extended abstract for the MFO workshop "Hilbert Complexes: Analysis, Applications, and Discretizations", held at Oberwolfach during 19-25 June 2022. The aim is to provide an overview of some aspects of discretization of Hilbert complexes with an emphasis on conforming finite elements.
△ Less
Submitted 18 January, 2023; v1 submitted 5 August, 2022;
originally announced August 2022.
-
Partially discontinuous nodal finite elements for $H(\mathrm{curl})$ and $H(\mathrm{div})$
Authors:
Jun Hu,
Kaibo Hu,
Qian Zhang
Abstract:
We investigate discretization of $H(\mathrm{curl})$ and $H(\mathrm{div})$ in two and three space dimensions by partially discontinuous nodal finite elements, i.e., vector-valued Lagrange finite elements with discontinuity in certain directions. These spaces can be implemented as a combination of continuous and discontinuous Lagrange elements and fit in de~Rham complexes. We construct well-conditio…
▽ More
We investigate discretization of $H(\mathrm{curl})$ and $H(\mathrm{div})$ in two and three space dimensions by partially discontinuous nodal finite elements, i.e., vector-valued Lagrange finite elements with discontinuity in certain directions. These spaces can be implemented as a combination of continuous and discontinuous Lagrange elements and fit in de~Rham complexes. We construct well-conditioned nodal bases.
△ Less
Submitted 3 March, 2022;
originally announced March 2022.
-
BGG sequences with weak regularity and applications
Authors:
Andreas Čap,
Kaibo Hu
Abstract:
We investigate some Bernstein-Gelfand-Gelfand (BGG) complexes on bounded Lipschitz domains in $\mathbb{R}^n$ consisting of Sobolev spaces. In particular, we compute the cohomology of the conformal deformation complex and the conformal Hessian complex in the Sobolev setting. The machinery does not require algebraic injectivity/surjectivity conditions between the input spaces, and allows multiple in…
▽ More
We investigate some Bernstein-Gelfand-Gelfand (BGG) complexes on bounded Lipschitz domains in $\mathbb{R}^n$ consisting of Sobolev spaces. In particular, we compute the cohomology of the conformal deformation complex and the conformal Hessian complex in the Sobolev setting. The machinery does not require algebraic injectivity/surjectivity conditions between the input spaces, and allows multiple input complexes. As applications, we establish a conformal Korn inequality in two space dimensions with the Cauchy-Riemann operator and an additional third order operator with a background in Möbius geometry. We show that the linear Cosserat elasticity model is a Hodge-Laplacian problem of a twisted de-Rham complex. From this cohomological perspective, we propose potential generalizations of continuum models with microstructures.
△ Less
Submitted 18 January, 2023; v1 submitted 2 March, 2022;
originally announced March 2022.
-
Global well-posedness of shock front solutions to one-dimensional piston problem for combustion Euler flows
Authors:
Kai Hu,
Jie Kuang
Abstract:
This paper is devoted to the well-posedness theory of piston problem for compressible {combustion} Euler flows with physical ignition condition. A significant combustion phenomena called detonation will occur provided the reactant is compressed and ignited by a leading shock. Mathematically, the problem can be formulated as an initial-boundary value problem for hyperbolic balance laws with a large…
▽ More
This paper is devoted to the well-posedness theory of piston problem for compressible {combustion} Euler flows with physical ignition condition. A significant combustion phenomena called detonation will occur provided the reactant is compressed and ignited by a leading shock. Mathematically, the problem can be formulated as an initial-boundary value problem for hyperbolic balance laws with a large shock front as free boundary. In present paper, we establish the global well-posedness of entropy solutions via wave front tracking scheme within the framework of $BV\cap L^1$ space. The main difficulties here stem from the discontinuous source term without uniform dissipation structure, and from the characteristic-boundary associated with degenerate characteristic field. In dealing with the obstacles caused by ignition temperature, we develop a modified Glimm-type functional to control the oscillation growth of combustion waves, even if the exothermic source fails to uniformly decay. As to the characteristic boundary, the degeneracy of contact discontinuity is fully employed to get elegant stability estimates near the piston boundary. Meanwhile, we devise a weighted Lyapunov functional to balance the nonlinear effects arising from large shock, characteristic boundary and exothermic reaction, then obtain the $L^1-$stability of combustion wave solutions. Our results reveal that one dimensional \emph{ZND} detonation waves {supported} by a forward piston are indeed nonlinearly stable under small perturbation in $BV$ sense. This is the first work on well-posedness of inviscid reacting Euler fluids dominated by ignition temperature.
△ Less
Submitted 2 March, 2022; v1 submitted 25 February, 2022;
originally announced February 2022.
-
Structure-preserving and helicity-conserving finite element approximations and preconditioning for the Hall MHD equations
Authors:
Fabian Laakmann,
Patrick E. Farrell,
Kaibo Hu
Abstract:
We develop structure-preserving finite element methods for the incompressible, resistive Hall magnetohydrodynamics (MHD) equations. These equations incorporate the Hall current term in Ohm's law and provide a more appropriate description of fully ionized plasmas than the standard MHD equations on length scales close to or smaller than the ion skin depth. We introduce a stationary discrete variatio…
▽ More
We develop structure-preserving finite element methods for the incompressible, resistive Hall magnetohydrodynamics (MHD) equations. These equations incorporate the Hall current term in Ohm's law and provide a more appropriate description of fully ionized plasmas than the standard MHD equations on length scales close to or smaller than the ion skin depth. We introduce a stationary discrete variational formulation of Hall MHD that enforces the magnetic Gauss's law exactly (up to solver tolerances) and prove the well-posedness and convergence of a Picard linearization. For the transient problem, we present time discretizations that preserve the energy and magnetic and hybrid helicity precisely in the ideal limit for two types of boundary conditions. Additionally, we present an augmented Lagrangian preconditioning technique for both the stationary and transient cases. We confirm our findings with several numerical experiments.
△ Less
Submitted 23 February, 2022;
originally announced February 2022.
-
On path-dependent multidimensional forward-backward SDEs
Authors:
Kaitong Hu,
Zhenjie Ren,
Nizar Touzi
Abstract:
This paper extends the results of Ma, Wu, Zhang, Zhang [11] to the context of path-dependent multidimensional forward-backward stochastic differential equations (FBSDE). By path-dependent we mean that the coefficients of the forward-backward SDE at time t can depend on the whole path of the forward process up to time t. Such a situation appears when solving path-dependent stochastic control proble…
▽ More
This paper extends the results of Ma, Wu, Zhang, Zhang [11] to the context of path-dependent multidimensional forward-backward stochastic differential equations (FBSDE). By path-dependent we mean that the coefficients of the forward-backward SDE at time t can depend on the whole path of the forward process up to time t. Such a situation appears when solving path-dependent stochastic control problems by means of variational calculus. At the heart of our analysis is the construction of a decoupling random field on the path space. We first prove the existence and the uniqueness of decoupling field on small time interval. Then by introducing the characteristic BSDE, we show that a global decoupling field can be constructed by patching local solutions together as long as the solution of the characteristic BSDE remains bounded. Finally, we provide a stability result for path-dependent forward-backward SDEs.
△ Less
Submitted 11 January, 2022;
originally announced January 2022.
-
Spurious solutions for high order curl problems
Authors:
Kaibo Hu,
Qian Zhang,
Jiayu Han,
Lixiu Wang,
Zhimin Zhang
Abstract:
We investigate numerical solutions of high order curl problems with various formulations and finite elements. We show that several classical conforming finite elements lead to spurious solutions, while mixed formulations with finite elements in complexes solve the problems correctly.
To explain the numerical results, we clarify the cohomological structures in high order curl problems by relating…
▽ More
We investigate numerical solutions of high order curl problems with various formulations and finite elements. We show that several classical conforming finite elements lead to spurious solutions, while mixed formulations with finite elements in complexes solve the problems correctly.
To explain the numerical results, we clarify the cohomological structures in high order curl problems by relating the partial differential equations to the Hodge-Laplacian boundary problems of the gradcurl-complexes.
△ Less
Submitted 10 November, 2021; v1 submitted 24 October, 2021;
originally announced October 2021.
-
A discrete elasticity complex on three-dimensional Alfeld splits
Authors:
Snorre H. Christiansen,
Jay Gopalakrishnan,
Johnny Guzmán,
Kaibo Hu
Abstract:
We construct conforming finite element elasticity complexes on the Alfeld splits of tetrahedra. The complex consists of vector fields and symmetric tensor fields, interlinked via the linearized deformation operator, the linearized curvature operator, and the divergence operator, respectively. The construction is based on an algebraic machinery that derives the elasticity complex from de~Rham compl…
▽ More
We construct conforming finite element elasticity complexes on the Alfeld splits of tetrahedra. The complex consists of vector fields and symmetric tensor fields, interlinked via the linearized deformation operator, the linearized curvature operator, and the divergence operator, respectively. The construction is based on an algebraic machinery that derives the elasticity complex from de~Rham complexes, and smoother finite element differential forms.
△ Less
Submitted 16 September, 2020;
originally announced September 2020.
-
A family of finite element Stokes complexes in three dimensions
Authors:
Kaibo Hu,
Qian Zhang,
Zhimin Zhang
Abstract:
We construct finite element Stokes complexes on tetrahedral meshes in three-dimensional space. In the lowest order case, the finite elements in the complex have 4, 18, 16, and 1 degrees of freedom, respectively. As a consequence, we obtain gradcurl-conforming finite elements and inf-sup stable Stokes pairs on tetrahedra which fit into complexes. We show that the new elements lead to convergent alg…
▽ More
We construct finite element Stokes complexes on tetrahedral meshes in three-dimensional space. In the lowest order case, the finite elements in the complex have 4, 18, 16, and 1 degrees of freedom, respectively. As a consequence, we obtain gradcurl-conforming finite elements and inf-sup stable Stokes pairs on tetrahedra which fit into complexes. We show that the new elements lead to convergent algorithms for solving a gradcurl model problem as well as solving the Stokes system with precise divergence-free condition. We demonstrate the validity of the algorithms by numerical experiments.
△ Less
Submitted 31 October, 2021; v1 submitted 9 August, 2020;
originally announced August 2020.
-
Helicity-conservative finite element discretization for incompressible MHD systems
Authors:
Kaibo Hu,
Young-Ju Lee,
**chao Xu
Abstract:
We construct finite element methods for the incompressible magnetohydrodynamics (MHD) system that precisely preserve magnetic and cross helicity, the energy law and the magnetic Gauss law at the discrete level. The variables are discretized as discrete differential forms in a de Rham complex. We present numerical tests to show the performance of the algorithm.
We construct finite element methods for the incompressible magnetohydrodynamics (MHD) system that precisely preserve magnetic and cross helicity, the energy law and the magnetic Gauss law at the discrete level. The variables are discretized as discrete differential forms in a de Rham complex. We present numerical tests to show the performance of the algorithm.
△ Less
Submitted 6 March, 2021; v1 submitted 15 July, 2020;
originally announced July 2020.
-
Complexes from complexes
Authors:
Douglas N. Arnold,
Kaibo Hu
Abstract:
This paper is concerned with the derivation and properties of differential complexes arising from a variety of problems in differential equations, with applications in continuum mechanics, relativity, and other fields. We present a systematic procedure which, starting from well-understood differential complexes such as the de Rham complex, derives new complexes and deduces the properties of the ne…
▽ More
This paper is concerned with the derivation and properties of differential complexes arising from a variety of problems in differential equations, with applications in continuum mechanics, relativity, and other fields. We present a systematic procedure which, starting from well-understood differential complexes such as the de Rham complex, derives new complexes and deduces the properties of the new complexes from the old. We relate the cohomology of the output complex to that of the input complexes and show that the new complex has closed ranges, and, consequently, satisfies a Hodge decomposition, Poincaré type inequalities, well-posed Hodge-Laplacian boundary value problems, regular decomposition, and compactness properties on general Lipschitz domains.
△ Less
Submitted 25 January, 2021; v1 submitted 25 May, 2020;
originally announced May 2020.
-
Simple curl-curl-conforming finite elements in two dimensions
Authors:
Kaibo Hu,
Qian Zhang,
Zhimin Zhang
Abstract:
We construct smooth finite element de Rham complexes in two space dimensions. This leads to three families of curl-curl conforming finite elements, two of which contain two existing families. The simplest triangular and rectangular finite elements have only 6 and 8 degrees of freedom, respectively. Numerical experiments for each family demonstrate the convergence and efficiency of the elements for…
▽ More
We construct smooth finite element de Rham complexes in two space dimensions. This leads to three families of curl-curl conforming finite elements, two of which contain two existing families. The simplest triangular and rectangular finite elements have only 6 and 8 degrees of freedom, respectively. Numerical experiments for each family demonstrate the convergence and efficiency of the elements for solving the quad-curl problem.
△ Less
Submitted 6 September, 2021; v1 submitted 26 April, 2020;
originally announced April 2020.
-
Method for Extracting Patterns of Coordinated Network Attacks on Electric Power CPS based on Temporal-Topological Correlation
Authors:
Lei Wang,
Zhaoyang Qu,
Yang Li,
Kewei Hu,
Jian Sun,
Kai Xue,
Mingshi Cui
Abstract:
In the analysis of coordinated network attacks on electric power cyber-physical system (CPS), it is difficult to restore the complete attack path, and the intent of the attack cannot be identified automatically. A method is therefore proposed for the extracting patterns of coordinated network attacks on electric power CPS based on temporal-topological correlation. First, the attack events are aggr…
▽ More
In the analysis of coordinated network attacks on electric power cyber-physical system (CPS), it is difficult to restore the complete attack path, and the intent of the attack cannot be identified automatically. A method is therefore proposed for the extracting patterns of coordinated network attacks on electric power CPS based on temporal-topological correlation. First, the attack events are aggregated according to the alarm log of the cyber space, and a temporal-causal Bayesian network-based cyber attack recognition algorithm is proposed to parse out the cyber attack sequences of the same attacker. Then, according to the characteristic curves of different attack measurement data in physical space, a combination of physical attack event criteria algorithm is designed to distinguish the types of physical attack events. Finally, physical attack events and cyber attack sequences are matched via temporal-topological correlation, frequent patterns of attack sequences are extracted, and hidden multi-step attack patterns are found from scattered grid measurement data and information from alarm logs. The effectiveness and efficiency of the proposed method are verified by the testbed at Mississippi State University.
△ Less
Submitted 23 March, 2020;
originally announced March 2020.
-
Continuous-Time Principal-Agent Problem in Degenerate Systems
Authors:
Kaitong Hu,
Zhenjie Ren,
Nizar Touzi
Abstract:
In this paper we present a variational calculus approach to Principal-Agent problem with a lump-sum payment on finite horizon in degenerate stochastic systems, such as filtered partially observed linear systems. Our work extends the existing methodologies in the Principal-Agent literature using dynamic programming and BSDE representation of the contracts in the non-degenerate controlled stochastic…
▽ More
In this paper we present a variational calculus approach to Principal-Agent problem with a lump-sum payment on finite horizon in degenerate stochastic systems, such as filtered partially observed linear systems. Our work extends the existing methodologies in the Principal-Agent literature using dynamic programming and BSDE representation of the contracts in the non-degenerate controlled stochastic systems. We first solve the Principal's problem in an enlarged set of contracts defined by a forward-backward SDE system given by the first order condition of the Agent's problem using variational calculus. Then we use the sufficient condition of the Agent's problem to verify that the optimal contract that we obtain by solving the Principal's problem is indeed implementable (i.e. belonging to the admissible contract set). Importantly we consider the control problem in a weak formulation. Finally, we give explicit solution of the Principal-Agent problem in partially observed linear systems and extend our results to some mean field interacting Agents case.
△ Less
Submitted 23 October, 2019;
originally announced October 2019.
-
A Kastler-Kalau-Walze Type Theorem for 7-dimensional Manifolds with Boundary about Witten deformation
Authors:
Kai Hua Bao,
Kun Ming Hu
Abstract:
In this paper, we give a brute-force proof of the Kastler-Kalau-Walze type theorem for $7$-dimensional manifolds with boundary about Witten deformation, and give a theoritic explaination of the gravitational action for $7$ dimensional manifolds with boundary.
In this paper, we give a brute-force proof of the Kastler-Kalau-Walze type theorem for $7$-dimensional manifolds with boundary about Witten deformation, and give a theoritic explaination of the gravitational action for $7$ dimensional manifolds with boundary.
△ Less
Submitted 15 October, 2019;
originally announced October 2019.
-
Mean-field Langevin System, Optimal Control and Deep Neural Networks
Authors:
Kaitong Hu,
Anna Kazeykina,
Zhenjie Ren
Abstract:
In this paper, we study a regularised relaxed optimal control problem and, in particular, we are concerned with the case where the control variable is of large dimension. We introduce a system of mean-field Langevin equations, the invariant measure of which is shown to be the optimal control of the initial problem under mild conditions. Therefore, this system of processes can be viewed as a contin…
▽ More
In this paper, we study a regularised relaxed optimal control problem and, in particular, we are concerned with the case where the control variable is of large dimension. We introduce a system of mean-field Langevin equations, the invariant measure of which is shown to be the optimal control of the initial problem under mild conditions. Therefore, this system of processes can be viewed as a continuous-time numerical algorithm for computing the optimal control. As an application, this result endorses the solvability of the stochastic gradient descent algorithm for a wide class of deep neural networks.
△ Less
Submitted 3 October, 2019; v1 submitted 16 September, 2019;
originally announced September 2019.
-
The Wellposedness of Path-dependent Multidimensional Forward-backward SDE
Authors:
Kaitong Hu
Abstract:
We study in this paper the wellposedness of path-dependent multidimensional forward-backward stochastic differential equations (FBSDE). By path-dependent we mean that the coefficients of the forward-backward SDE at time t can depend on the whole path of the forward process up to time t. These kinds of forward-backward SDE appear when solving path-dependent stochastic control problem by means of va…
▽ More
We study in this paper the wellposedness of path-dependent multidimensional forward-backward stochastic differential equations (FBSDE). By path-dependent we mean that the coefficients of the forward-backward SDE at time t can depend on the whole path of the forward process up to time t. These kinds of forward-backward SDE appear when solving path-dependent stochastic control problem by means of variational calculus. At the heart of our analysis is the construction of a decoupling random field on the path space. We first prove the existence and the uniqueness of decoupling field on small time interval. Then by introducing the characteristic BSDE, we show that a global decoupling field can be constructed by patching local solutions together as long as the solution of the characteristic BSDE remains bounded. Finally, we show that the solution of a path-dependent forward-backward SDE is stable.
△ Less
Submitted 11 January, 2022; v1 submitted 24 August, 2019;
originally announced August 2019.
-
Finite Element Systems for vector bundles : elasticity and curvature
Authors:
Snorre H. Christiansen,
Kaibo Hu
Abstract:
We develop a theory of Finite Element Systems, for the purpose of discretizing sections of vector bundles, in particular those arizing in the theory of elasticity. In the presence of curvature we prove a discrete Bianchi identity. In the flat case we prove a de Rham theorem on cohomology groups. We check that some known mixed finite elements for the stress-displacement formulation of elasticity fi…
▽ More
We develop a theory of Finite Element Systems, for the purpose of discretizing sections of vector bundles, in particular those arizing in the theory of elasticity. In the presence of curvature we prove a discrete Bianchi identity. In the flat case we prove a de Rham theorem on cohomology groups. We check that some known mixed finite elements for the stress-displacement formulation of elasticity fit our framework. We also define, in dimension two, the first conforming finite element spaces of metrics with good linearized curvature, corresponding to strain tensors with Saint-Venant compatibility conditions. Cochains with coefficients in rigid motions are given a key role in relating continuous and discrete elasticity complexes.
△ Less
Submitted 1 April, 2020; v1 submitted 21 June, 2019;
originally announced June 2019.
-
A characterization of supersmoothness of multivariate splines
Authors:
Michael S. Floater,
Kaibo Hu
Abstract:
We consider spline functions over simplicial meshes in $\RR^n$. We assume that the spline pieces join together with some finite order of smoothness but the pieces themselves are infinitely smooth. Such splines can have extra orders of smoothness at a vertex, a property known as \emph{supersmoothness}, which plays a role in the construction of multivariate splines and in the finite element method.…
▽ More
We consider spline functions over simplicial meshes in $\RR^n$. We assume that the spline pieces join together with some finite order of smoothness but the pieces themselves are infinitely smooth. Such splines can have extra orders of smoothness at a vertex, a property known as \emph{supersmoothness}, which plays a role in the construction of multivariate splines and in the finite element method. In this paper we characterize supersmoothness in terms of the degeneracy of spaces of polynomial splines over the cell of simplices sharing the vertex, and use it to determine the maximal order of supersmoothness of various cell configurations.
△ Less
Submitted 29 July, 2020; v1 submitted 19 June, 2019;
originally announced June 2019.
-
Mean-Field Langevin Dynamics and Energy Landscape of Neural Networks
Authors:
Kaitong Hu,
Zhenjie Ren,
David Siska,
Lukasz Szpruch
Abstract:
Our work is motivated by a desire to study the theoretical underpinning for the convergence of stochastic gradient type algorithms widely used for non-convex learning tasks such as training of neural networks. The key insight, already observed in the works of Mei, Montanari and Nguyen (2018), Chizat and Bach (2018) as well as Rotskoff and Vanden-Eijnden (2018), is that a certain class of the finit…
▽ More
Our work is motivated by a desire to study the theoretical underpinning for the convergence of stochastic gradient type algorithms widely used for non-convex learning tasks such as training of neural networks. The key insight, already observed in the works of Mei, Montanari and Nguyen (2018), Chizat and Bach (2018) as well as Rotskoff and Vanden-Eijnden (2018), is that a certain class of the finite-dimensional non-convex problems becomes convex when lifted to infinite-dimensional space of measures. We leverage this observation and show that the corresponding energy functional defined on the space of probability measures has a unique minimiser which can be characterised by a first-order condition using the notion of linear functional derivative. Next, we study the corresponding gradient flow structure in 2-Wasserstein metric, which we call Mean-Field Langevin Dynamics (MFLD), and show that the flow of marginal laws induced by the gradient flow converges to a stationary distribution, which is exactly the minimiser of the energy functional. We observe that this convergence is exponential under conditions that are satisfied for highly regularised learning tasks. Our proof of convergence to stationary probability measure is novel and it relies on a generalisation of LaSalle's invariance principle combined with HWI inequality. Importantly, we assume neither that interaction potential of MFLD is of convolution type nor that it has any particular symmetric structure. Furthermore, we allow for the general convex objective function, unlike, most papers in the literature that focus on quadratic loss. Finally, we show that the error between finite-dimensional optimisation problem and its infinite-dimensional limit is of order one over the number of parameters.
△ Less
Submitted 13 December, 2020; v1 submitted 19 May, 2019;
originally announced May 2019.
-
Principal-agent problem with multiple principals
Authors:
Kaitong Hu,
Zhenjie Ren,
Junjian Yang
Abstract:
We consider a moral hazard problem with multiple principals in a continuous-time model. The agent can only work exclusively for one principal at a given time, so faces an optimal switching problem. Using a randomized formulation, we manage to represent the agent's value function and his optimal effort by an Itô process. This representation further helps to solve the principals' problem in case we…
▽ More
We consider a moral hazard problem with multiple principals in a continuous-time model. The agent can only work exclusively for one principal at a given time, so faces an optimal switching problem. Using a randomized formulation, we manage to represent the agent's value function and his optimal effort by an Itô process. This representation further helps to solve the principals' problem in case we have infinite number of principals in the sense of mean field game. Finally the mean field formulation is justified by an argument of propagation of chaos.
△ Less
Submitted 13 September, 2022; v1 submitted 30 March, 2019;
originally announced April 2019.
-
Complete regular dessins and skew-morphisms of cyclic groups
Authors:
Yan-Quan Feng,
Kan Hu,
Roman Nedela,
Martin Skoviera,
Na-Er Wang
Abstract:
A dessin is a 2-cell embedding of a connected $2$-coloured bipartite graph into an orientable closed surface. A dessin is regular if its group of orientation- and colour-preserving automorphisms acts regularly on the edges. In this paper we study regular dessins whose underlying graph is a complete bipartite graph $K_{m,n}$, called $(m,n)$-complete regular dessins. The purpose is to establish a ra…
▽ More
A dessin is a 2-cell embedding of a connected $2$-coloured bipartite graph into an orientable closed surface. A dessin is regular if its group of orientation- and colour-preserving automorphisms acts regularly on the edges. In this paper we study regular dessins whose underlying graph is a complete bipartite graph $K_{m,n}$, called $(m,n)$-complete regular dessins. The purpose is to establish a rather surprising correspondence between $(m,n)$-complete regular dessins and pairs of skew-morphisms of cyclic groups. A skew-morphism of a finite group $A$ is a bijection $\varphi\colon A\to A$ that satisfies the identity $\varphi(xy)=\varphi(x)\varphi^{π(x)}(y)$ for some function $π\colon A\to\mathbb{Z}$ and fixes the neutral element of~$A$. We show that every $(m,n)$-complete regular dessin $\mathcal{D}$ determines a pair of reciprocal skew-morphisms of the cyclic groups $\mathbb{Z}_n$ and $\mathbb{Z}_m$.
Conversely, $\mathcal{D}$ can be reconstructed from such a reciprocal pair.
As a consequence, we prove that complete regular dessins, exact bicyclic groups with a distinguished pair of generators, and pairs of reciprocal skew-morphisms of cyclic groups are all in one-to-one correspondence. Finally, we apply the main result to determining all pairs of integers $m$ and $n$ for which there exists, up to interchange of colours, exactly one $(m,n)$-complete regular dessin. We show that the latter occurs precisely when every group expressible as a product of cyclic groups of order $m$ and $n$ is abelian, which eventually comes down to the condition $\gcd(m,φ(n))=\gcd(φ(m),n)=1$, where $φ$ is Euler's totient function.
△ Less
Submitted 18 June, 2018;
originally announced June 2018.
-
Smooth skew-morphisms of the dihedral groups
Authors:
Naer Wang,
Kan Hu,
Kai Yuan,
Junyang Zhang
Abstract:
A skew-morphism $\varphi$ of a finite group $A$ is a permutation on $A$ such that $\varphi(1)=1$ and $\varphi(xy)=\varphi(x)\varphi^{π(x)}(y)$ for all $x,y\in A$ where $π:A\to\mathbb{Z}_{|\varphi|}$ is an integer function. A skew-morphism is smooth if $π(\varphi(x))=π(x)$ for all $x\in A$. The concept of smooth skew-morphisms is a generalization of that of $t$-balanced skew-morphisms. The aim of t…
▽ More
A skew-morphism $\varphi$ of a finite group $A$ is a permutation on $A$ such that $\varphi(1)=1$ and $\varphi(xy)=\varphi(x)\varphi^{π(x)}(y)$ for all $x,y\in A$ where $π:A\to\mathbb{Z}_{|\varphi|}$ is an integer function. A skew-morphism is smooth if $π(\varphi(x))=π(x)$ for all $x\in A$. The concept of smooth skew-morphisms is a generalization of that of $t$-balanced skew-morphisms. The aim of the paper is to develop a general theory of smooth skew-morphisms. As an application we classify smooth skew-morphisms of the dihedral groups.
△ Less
Submitted 18 June, 2018;
originally announced June 2018.
-
Regular dessins uniquely determined by a nilpotent automorphism group
Authors:
Naer Wang,
Roman Nedela,
Kan Hu
Abstract:
It is well known that the automorphism group of a regular dessin is a two-generator finite group, and the isomorphism classes of regular dessins with automorphism groups isomorphic to a given finite group $G$ are in one-to-one correspondence with the orbits of the action of $\Aut(G)$ on the ordered generating pairs of $G$. If there is only one orbit, then up to isomorphism the regular dessin is un…
▽ More
It is well known that the automorphism group of a regular dessin is a two-generator finite group, and the isomorphism classes of regular dessins with automorphism groups isomorphic to a given finite group $G$ are in one-to-one correspondence with the orbits of the action of $\Aut(G)$ on the ordered generating pairs of $G$. If there is only one orbit, then up to isomorphism the regular dessin is uniquely determined by the group $G$ and it is called uniquely regular. In the paper we investigate the classification of uniquely regular dessins with a nilpotent automorphism group. The problem is reduced to the classification of finite maximally automorphic $p$-groups $G$, i.e., the order of the automorphism group of $G$ attains Hall's upper bound. Maximally automorphic $p$-groups of nilpotency class three are classified.
△ Less
Submitted 12 June, 2018;
originally announced June 2018.
-
Nilpotent groups of class two which underly a unique regular dessin
Authors:
Kan Hu,
Roman Nedela,
Naer Wang
Abstract:
A dessin is an embedding of connected bipartite graph into an oriented closed surface. A dessin is regular if its group of colour- and orientation-preserving automorphisms acts transitively on the edges. In the present paper regular dessins with a nilpotent automorphism group are investigated, and attention are paid on those with the highest level of external symmetry. Depending on the algebraic t…
▽ More
A dessin is an embedding of connected bipartite graph into an oriented closed surface. A dessin is regular if its group of colour- and orientation-preserving automorphisms acts transitively on the edges. In the present paper regular dessins with a nilpotent automorphism group are investigated, and attention are paid on those with the highest level of external symmetry. Depending on the algebraic theory of dessins and using group-theoretical methods, we present a classification of nilpotent groups of class two which underly a unique regular dessin.
△ Less
Submitted 12 June, 2018;
originally announced June 2018.
-
Complete regular dessins of odd prime power order
Authors:
Kan Hu,
Naer Wang,
Roman Nedela
Abstract:
A dessin is a $2$-cell embedding of a connected $2$-coloured bipartite graph into an orientable closed surface. A dessin is regular if its group of colour- and orientation-preserving automorphisms acts regularly on the edges. In this paper we employ group-theoretic method to determine and enumerate the isomorphism classes of regular dessins with the complete bipartite underlying graphs of odd prim…
▽ More
A dessin is a $2$-cell embedding of a connected $2$-coloured bipartite graph into an orientable closed surface. A dessin is regular if its group of colour- and orientation-preserving automorphisms acts regularly on the edges. In this paper we employ group-theoretic method to determine and enumerate the isomorphism classes of regular dessins with the complete bipartite underlying graphs of odd prime power order.
△ Less
Submitted 12 June, 2018;
originally announced June 2018.
-
Nonstandard finite element de Rham complexes on cubical meshes
Authors:
Andrew Gillette,
Kaibo Hu,
Shuo Zhang
Abstract:
We propose two general operations on finite element differential complexes on cubical meshes that can be used to construct and analyze sequences of "nonstandard" convergent methods. The first operation, called DoF-transfer, moves edge degrees of freedom to vertices in a way that reduces global degrees of freedom while increasing continuity order at vertices. The second operation, called serendipit…
▽ More
We propose two general operations on finite element differential complexes on cubical meshes that can be used to construct and analyze sequences of "nonstandard" convergent methods. The first operation, called DoF-transfer, moves edge degrees of freedom to vertices in a way that reduces global degrees of freedom while increasing continuity order at vertices. The second operation, called serendipity, eliminates interior bubble functions and degrees of freedom locally on each element without affecting edge degrees of freedom. These operations can be used independently or in tandem to create nonstandard complexes that incorporate Hermite, Adini and "trimmed-Adini" elements. We show that the resulting elements provide convergent, non-conforming methods for problems requiring stronger regularity and satisfy a discrete Korn inequality. We discuss potential benefits of applying these elements to Stokes, biharmonic and elasticity problems.
△ Less
Submitted 12 April, 2018;
originally announced April 2018.
-
Generalized Gaffney inequality and discrete compactness for discrete differential forms
Authors:
Juncai He,
Kaibo Hu,
**chao Xu
Abstract:
We prove generalized Gaffney inequalities and the discrete compactness for finite element differential forms on $s$-regular domains, including general Lipschitz domains. In computational electromagnetism, special cases of these results have been established for edge elements with weakly imposed divergence-free conditions and used in the analysis of nonlinear and eigenvalue problems. In this paper,…
▽ More
We prove generalized Gaffney inequalities and the discrete compactness for finite element differential forms on $s$-regular domains, including general Lipschitz domains. In computational electromagnetism, special cases of these results have been established for edge elements with weakly imposed divergence-free conditions and used in the analysis of nonlinear and eigenvalue problems. In this paper, we generalize these results to discrete differential forms, not necessarily with strongly or weakly imposed constraints. The analysis relies on a new Hodge map** and its approximation property. As an application, we show $L^{p}$ estimates for several finite element approximations of the scalar and vector Laplacian problems.
△ Less
Submitted 16 July, 2018; v1 submitted 10 April, 2018;
originally announced April 2018.
-
Stability and Uniqueness of Global Solutions to Euler Equations with Exothermic Reaction
Authors:
Kai Hu
Abstract:
We consider the Cauchy problems of a non-strictly hyperbolic system which describes the compressible Euler fluid with exothermic reaction. In this paper a Lyapunov-type functional is constructed for balance laws. By analysis of the flow generated by front tracking method, we prove the well-posedness theorems and present the local features of global solutions.
We consider the Cauchy problems of a non-strictly hyperbolic system which describes the compressible Euler fluid with exothermic reaction. In this paper a Lyapunov-type functional is constructed for balance laws. By analysis of the flow generated by front tracking method, we prove the well-posedness theorems and present the local features of global solutions.
△ Less
Submitted 27 January, 2018;
originally announced January 2018.
-
Poincaré path integrals for elasticity
Authors:
Snorre H. Christiansen,
Kaibo Hu,
Espen Sande
Abstract:
We propose a general strategy to derive null-homotopy operators for differential complexes based on the Bernstein-Gelfand-Gelfand (BGG) construction and properties of the de Rham complex. Focusing on the elasticity complex, we derive path integral operators $\mathscr{P}$ for elasticity satisfying $\mathscr{D}\mathscr{P}+\mathscr{P}\mathscr{D}=\mathrm{id}$ and $\mathscr{P}^{2}=0$, where the differe…
▽ More
We propose a general strategy to derive null-homotopy operators for differential complexes based on the Bernstein-Gelfand-Gelfand (BGG) construction and properties of the de Rham complex. Focusing on the elasticity complex, we derive path integral operators $\mathscr{P}$ for elasticity satisfying $\mathscr{D}\mathscr{P}+\mathscr{P}\mathscr{D}=\mathrm{id}$ and $\mathscr{P}^{2}=0$, where the differential operators $\mathscr{D}$ correspond to the linearized strain, the linearized curvature and the divergence, respectively. In general we derive path integral formulas in the presence of defects. As a special case, this gives the classical Cesàro-Volterra path integral for strain tensors satisfying the Saint-Venant compatibility condition.
△ Less
Submitted 30 April, 2019; v1 submitted 22 January, 2018;
originally announced January 2018.
-
Convergence of a $B$-$E$ based finite element method for MHD models on Lipschitz domains
Authors:
Kaibo Hu,
Weifeng Qiu,
Ke Shi
Abstract:
We discuss a class of magnetic-electric fields based finite element schemes for stationary magnetohydrodynamics (MHD) systems with two types of boundary conditions. We establish a key $L^{3}$ estimate for divergence-free finite element functions for a new type of boundary conditions. With this estimate and a similar one in [Hu&Xu,2018], we rigorously prove the convergence of Picard iterations and…
▽ More
We discuss a class of magnetic-electric fields based finite element schemes for stationary magnetohydrodynamics (MHD) systems with two types of boundary conditions. We establish a key $L^{3}$ estimate for divergence-free finite element functions for a new type of boundary conditions. With this estimate and a similar one in [Hu&Xu,2018], we rigorously prove the convergence of Picard iterations and the finite element schemes with weak regularity assumptions. These results demonstrate the convergence of the finite element methods for singular solutions.
△ Less
Submitted 2 May, 2019; v1 submitted 30 November, 2017;
originally announced November 2017.
-
Well-conditioned frames for high order finite element methods
Authors:
Kaibo Hu,
Ragnar Winther
Abstract:
The purpose of this paper is to discuss representations of high order $C^0$ finite element spaces on simplicial meshes in any dimension. When computing with high order piecewise polynomials the conditioning of the basis is likely to be important. The main result of this paper is a construction of representations by frames such that the associated $L^2$ condition number is bounded independently of…
▽ More
The purpose of this paper is to discuss representations of high order $C^0$ finite element spaces on simplicial meshes in any dimension. When computing with high order piecewise polynomials the conditioning of the basis is likely to be important. The main result of this paper is a construction of representations by frames such that the associated $L^2$ condition number is bounded independently of the polynomial degree. To our knowledge, such a representation has not been presented earlier. The main tools we will use for the construction is the bubble transform, introduced previously in [Falk and Winther, Found Comput Math (2016) 16: 297], and properties of Jacobi polynomials on simplexes in higher dimensions. We also include a brief discussion of preconditioned iterative methods for the finite element systems in the setting of representations by frames.
△ Less
Submitted 15 January, 2020; v1 submitted 19 May, 2017;
originally announced May 2017.
-
Nodal Finite Element de Rham Complexes
Authors:
Snorre H. Christiansen,
Jun Hu,
Kaibo Hu
Abstract:
We construct 2D and 3D finite element de Rham sequences of arbitrary polynomial degrees with extra smoothness. Some of these elements have nodal degrees of freedom (DoFs) and can be considered as generalisations of scalar Hermite and Lagrange elements. Using the nodal values, the number of global degrees of freedom is reduced compared with the classical Nédélec and Brezzi-Douglas-Marini (BDM) fini…
▽ More
We construct 2D and 3D finite element de Rham sequences of arbitrary polynomial degrees with extra smoothness. Some of these elements have nodal degrees of freedom (DoFs) and can be considered as generalisations of scalar Hermite and Lagrange elements. Using the nodal values, the number of global degrees of freedom is reduced compared with the classical Nédélec and Brezzi-Douglas-Marini (BDM) finite elements, and the basis functions are more canonical and easier to construct. Our finite elements for ${H}(\mathrm{div})$ with regularity $r=2$ coincide with the nonstandard elements given by Stenberg (Numer Math 115(1): 131-139, 2010). We show how regularity decreases in the finite element complexes, so that they branch into known complexes. The standard de Rham complexes of Whitney forms and their higher order version can be regarded as the family with the lowest regularity. The construction of the new families is motivated by the finite element systems.%, and we also establish local exact sequences (geometric decomposition) for the new elements.
△ Less
Submitted 17 December, 2017; v1 submitted 8 November, 2016;
originally announced November 2016.
-
Generalized Finite Element Systems for smooth differential forms and Stokes problem
Authors:
Snorre Harald Christiansen,
Kaibo Hu
Abstract:
We provide both a general framework for discretizing de Rham sequences of differential forms of high regularity, and some examples of finite element spaces that fit in the framework. The general framework is an extension of the previously introduced notion of Finite Element Systems, and the examples include conforming mixed finite elements for Stokes' equation. In dimension 2 we detail four low or…
▽ More
We provide both a general framework for discretizing de Rham sequences of differential forms of high regularity, and some examples of finite element spaces that fit in the framework. The general framework is an extension of the previously introduced notion of Finite Element Systems, and the examples include conforming mixed finite elements for Stokes' equation. In dimension 2 we detail four low order finite element complexes and one infinite family of highorder finite element complexes. In dimension 3 we define one low order complex, which may be branched into Whitney forms at a chosen index. Stokes pairs with continuous or discontinuous pressure are provided in arbitrary dimension. The finite element spaces all consist of composite polynomials. The framework guarantees some nice properties of the spaces, in particular the existence of commuting interpolators. It also shows that some of the examples are minimal spaces.
△ Less
Submitted 23 January, 2018; v1 submitted 27 May, 2016;
originally announced May 2016.
-
Totally symmetric dessins with nilpotent automorphism groups of class three
Authors:
Na-Er Wang,
Roman Nedela,
Kan Hu
Abstract:
A dessin is a 2-cell embedding of a connected bipartite graph into an orientable closed surface. An automorphism of a dessin is a permutation of the edges of the underlying graph which preserves the colouring of the vertices and extends to an orientation-preserving self-homeomorphism of the supporting surface. A dessin is regular if its automorphism group is transitive on the edges, and a regular…
▽ More
A dessin is a 2-cell embedding of a connected bipartite graph into an orientable closed surface. An automorphism of a dessin is a permutation of the edges of the underlying graph which preserves the colouring of the vertices and extends to an orientation-preserving self-homeomorphism of the supporting surface. A dessin is regular if its automorphism group is transitive on the edges, and a regular dessin is totally symmetric if it is invariant under all dessin operations. Thus totally symmetric dessins possesses the highest level of external symmetry. In this paper we present a classification of totally symmetric dessins with a nilpotent automorphism group of class three
△ Less
Submitted 21 November, 2015;
originally announced November 2015.