-
Computational Graph Representation of Equations System Constructors in Hierarchical Circuit Simulation
Authors:
Zichao Long,
Lin Li,
Lei Han,
Xianglong Meng,
Chongjun Ding,
Ruiyan Li,
Wu Jiang,
Fuchen Ding,
Jiaqing Yue,
Zhichao Li,
Yisheng Hu,
Ding Li,
Heng Liao
Abstract:
Equations system constructors of hierarchical circuits play a central role in device modeling, nonlinear equations solving, and circuit design automation. However, existing constructors present limitations in applications to different extents. For example, the costs of develo** and reusing device models -- especially coarse-grained equivalent models of circuit modules -- remain high while parame…
▽ More
Equations system constructors of hierarchical circuits play a central role in device modeling, nonlinear equations solving, and circuit design automation. However, existing constructors present limitations in applications to different extents. For example, the costs of develo** and reusing device models -- especially coarse-grained equivalent models of circuit modules -- remain high while parameter sensitivity analysis is complex and inefficient. Inspired by differentiable programming and leveraging the ecosystem benefits of open-source software, we propose an equations system constructor using the computational graph representation, along with its JSON format netlist, to address these limitations. This representation allows for runtime dependencies between signals and subcircuit/device parameters. The proposed method streamlines the model development process and facilitates end-to-end computation of gradients of equations remainders with respect to parameters. This paper discusses in detail the overarching concept of hierarchical subcircuit/device decomposition and nested invocation by drawing parallels to functions in programming languages, and introduces rules for parameters passing and gradient propagation across hierarchical circuit modules. The presented numerical examples, including (1) an uncoupled CMOS model representation using "equivalent circuit decomposition+dynamic parameters" and (2) operational amplifier (OpAmp) auto device sizing, have demonstrated that the proposed method supports circuit simulation and design and particularly subcircuit modeling with improved efficiency, simplicity, and decoupling compared to existing techniques.
△ Less
Submitted 4 July, 2024;
originally announced July 2024.
-
Chow rings and augmented Chow rings of uniform matroids and their $q$-analogs
Authors:
Hsin-Chieh Liao
Abstract:
We study the natural representations of $\mathfrak{S}_n$ and $GL_n(\mathbb{F}_q)$ on the (augmented) Chow rings of uniform matroids and $q$-uniform matroids. The Frobenius series for uniform matroids and their $q$-analogs are computed. As a byproduct, we recover Hameister, Rao, and Simpson's formula of Hilbert series of Chow rings of $q$-uniform matroids in terms of permutations and further obtain…
▽ More
We study the natural representations of $\mathfrak{S}_n$ and $GL_n(\mathbb{F}_q)$ on the (augmented) Chow rings of uniform matroids and $q$-uniform matroids. The Frobenius series for uniform matroids and their $q$-analogs are computed. As a byproduct, we recover Hameister, Rao, and Simpson's formula of Hilbert series of Chow rings of $q$-uniform matroids in terms of permutations and further obtain their augmented counterpart in terms of decorated permutations.
We also show that equivariant Charney-Davis quantities of (augmented) Chow rings of general matroids are nonnegative (i.e. genuine representations of the automorphism group of the matroid). When the matroid is a uniform matroid, the representations either vanish or are Specht modules of some skew hook shapes. When descending to the usual Charney-Davis quantities, we obtain an elegant combinatorial interpretation of Hameister, Rao, and Simpson's formula for Chow rings of $q$-uniform matroids and its augmented counterpart.
△ Less
Submitted 28 June, 2024;
originally announced June 2024.
-
Uniform property $Γ$ and the small boundary property
Authors:
Grigoris Kopsacheilis,
Hung-Chang Liao,
Aaron Tikuisis,
Andrea Vaccaro
Abstract:
We prove that, for an action $α\colon G \curvearrowright X$ of a countably infinite discrete amenable group on a compact metric space, the small boundary property is implied by uniform property $Γ$ of the Cartan subalgebra $(C(X) \subseteq C(X) \rtimes_αG)$. The reverse implication has been demonstrated by Kerr and Szabó for free actions, from which we obtain the equivalence of the two conditions…
▽ More
We prove that, for an action $α\colon G \curvearrowright X$ of a countably infinite discrete amenable group on a compact metric space, the small boundary property is implied by uniform property $Γ$ of the Cartan subalgebra $(C(X) \subseteq C(X) \rtimes_αG)$. The reverse implication has been demonstrated by Kerr and Szabó for free actions, from which we obtain the equivalence of the two conditions in the free case. We moreover show that, if $α$ is free and minimal, then almost finiteness of $α$ is implied by tracial $\mathcal{Z}$-stability of the subalgebra $(C(X) \subseteq C(X) \rtimes_αG)$. The reverse implication is due to Kerr, resulting in the equivalence of these two properties as well. As an application, we prove that if $α\colon G \curvearrowright X$ and $β\colon H \curvearrowright Y$ are free actions and $α$ has the small boundary property, then $α\times β\colon G \times H \curvearrowright X \times Y$ has the small boundary property. An analogous permanence property is obtained for almost finiteness in case $α$ and $β$ are free minimal actions.
△ Less
Submitted 21 June, 2024; v1 submitted 14 June, 2024;
originally announced June 2024.
-
Average energy dissipation rates of explicit exponential Runge-Kutta methods for gradient flow problems
Authors:
Hong-lin Liao,
Xu** Wang
Abstract:
We propose a unified theoretical framework to examine the energy dissipation properties at all stages of explicit exponential Runge-Kutta (EERK) methods for gradient flow problems. The main part of the novel framework is to construct the differential form of EERK method by using the difference coefficients of method and the so-called discrete orthogonal convolution kernels. As the main result, we…
▽ More
We propose a unified theoretical framework to examine the energy dissipation properties at all stages of explicit exponential Runge-Kutta (EERK) methods for gradient flow problems. The main part of the novel framework is to construct the differential form of EERK method by using the difference coefficients of method and the so-called discrete orthogonal convolution kernels. As the main result, we prove that an EERK method can preserve the original energy dissipation law unconditionally if the associated differentiation matrix is positive semi-definite. A simple indicator, namely average dissipation rate, is also introduced for these multi-stage methods to evaluate the overall energy dissipation rate of an EERK method such that one can choose proper parameters in some parameterized EERK methods or compare different kinds of EERK methods. Some existing EERK methods in the literature are evaluated from the perspective of preserving the original energy dissipation law and the energy dissipation rate. Some numerical examples are also included to support our theory.
△ Less
Submitted 23 April, 2024;
originally announced April 2024.
-
Convergence analysis of controlled particle systems arising in deep learning: from finite to infinite sample size
Authors:
Huafu Liao,
Alpár R. Mészáros,
Chenchen Mou,
Chao Zhou
Abstract:
This paper deals with a class of neural SDEs and studies the limiting behavior of the associated sampled optimal control problems as the sample size grows to infinity. The neural SDEs with N samples can be linked to the N-particle systems with centralized control. We analyze the Hamilton--Jacobi--Bellman equation corresponding to the N-particle system and establish regularity results which are uni…
▽ More
This paper deals with a class of neural SDEs and studies the limiting behavior of the associated sampled optimal control problems as the sample size grows to infinity. The neural SDEs with N samples can be linked to the N-particle systems with centralized control. We analyze the Hamilton--Jacobi--Bellman equation corresponding to the N-particle system and establish regularity results which are uniform in N. The uniform regularity estimates are obtained by the stochastic maximum principle and the analysis of a backward stochastic Riccati equation. Using these uniform regularity results, we show the convergence of the minima of objective functionals and optimal parameters of the neural SDEs as the sample size N tends to infinity. The limiting objects can be identified with suitable functions defined on the Wasserstein space of Borel probability measures. Furthermore, quantitative algebraic convergence rates are also obtained.
△ Less
Submitted 8 April, 2024;
originally announced April 2024.
-
Stembridge codes, permutahedral varieties, and their extensions
Authors:
Hsin-Chieh Liao
Abstract:
It is well known that the Eulerian polynomial is the Hilbert series of the cohomology of the permutahedral variety. Stanley obtained a formula showing that the cohomology carries a permutation representation of $\mathfrak{S}_n$. We answer a question of Stembridge on finding an explicit permutation basis of this cohomology. We observe that the Feichtner-Yuzvinsky basis for the Chow ring of the Bool…
▽ More
It is well known that the Eulerian polynomial is the Hilbert series of the cohomology of the permutahedral variety. Stanley obtained a formula showing that the cohomology carries a permutation representation of $\mathfrak{S}_n$. We answer a question of Stembridge on finding an explicit permutation basis of this cohomology. We observe that the Feichtner-Yuzvinsky basis for the Chow ring of the Boolean matroid is such a permutation basis, and then we construct an $\mathfrak{S}_n$-equivariant bijection between this basis and codes introduced by Stembridge, thereby giving a combinatorial proof of Stanley's formula. We obtain an analogous result for the stellahedral variety. We find a permutation basis of the permutation representation its cohomology carries. This involves the augmented Chow ring of a matroid introduced by Braden, Huh, Matherne, Proudfoot and Wang. Along the way, we obtain a general result on augmented Chow rings (which was also independently obtained by Eur) asserting that augmented Chow rings of matroids are actually Chow rings in the sense of Feichtner and Yuzvinsky. In the last part of the paper, we study enumerative aspects of the permutahedra and the stellohedra related to these permutation bases.
△ Less
Submitted 15 April, 2024; v1 submitted 15 March, 2024;
originally announced March 2024.
-
Combinatorics of generalized parking-function polytopes
Authors:
Margaret M. Bayer,
Steffen Borgwardt,
Teressa Chambers,
Spencer Daugherty,
Aleyah Dawkins,
Danai Deligeorgaki,
Hsin-Chieh Liao,
Tyrrell McAllister,
Angela Morrison,
Garrett Nelson,
Andrés R. Vindas-Meléndez
Abstract:
For $\mathbf{b}=(b_1,\dots,b_n)\in \mathbb{Z}_{>0}^n$, a $\mathbf{b}$-parking function is defined to be a sequence $(β_1,\dots,β_n)$ of positive integers whose nondecreasing rearrangement $β'_1\leq β'_2\leq \cdots \leq β'_n$ satisfies $β'_i\leq b_1+\cdots + b_i$. The $\mathbf{b}$-parking-function polytope $\mathfrak{X}_n(\mathbf{b})$ is the convex hull of all $\mathbf{b}$-parking functions of leng…
▽ More
For $\mathbf{b}=(b_1,\dots,b_n)\in \mathbb{Z}_{>0}^n$, a $\mathbf{b}$-parking function is defined to be a sequence $(β_1,\dots,β_n)$ of positive integers whose nondecreasing rearrangement $β'_1\leq β'_2\leq \cdots \leq β'_n$ satisfies $β'_i\leq b_1+\cdots + b_i$. The $\mathbf{b}$-parking-function polytope $\mathfrak{X}_n(\mathbf{b})$ is the convex hull of all $\mathbf{b}$-parking functions of length $n$ in $\mathbb{R}^n$. Geometric properties of $\mathfrak{X}_n(\mathbf{b})$ were previously explored in the specific case where $\mathbf{b}=(a,b,b,\dots,b)$ and were shown to generalize those of the classical parking-function polytope. In this work, we study $\mathfrak{X}_n(\mathbf{b})$ in full generality. We present a minimal inequality and vertex description for $\mathfrak{X}_n(\mathbf{b})$, prove it is a generalized permutahedron, and study its $h$-polynomial. Furthermore, we investigate $\mathfrak{X}_n(\mathbf{b})$ through the perspectives of building sets and polymatroids, allowing us to identify its combinatorial types and obtain bounds on its combinatorial and circuit diameters.
△ Less
Submitted 12 March, 2024;
originally announced March 2024.
-
MUSIC: Accelerated Convergence for Distributed Optimization With Inexact and Exact Methods
Authors:
Mou Wu,
Haibin Liao,
Zhengtao Ding,
Yonggang Xiao
Abstract:
Gradient-type distributed optimization methods have blossomed into one of the most important tools for solving a minimization learning task over a networked agent system. However, only one gradient update per iteration is difficult to achieve a substantive acceleration of convergence. In this paper, we propose an accelerated framework named as MUSIC allowing each agent to perform multiple local up…
▽ More
Gradient-type distributed optimization methods have blossomed into one of the most important tools for solving a minimization learning task over a networked agent system. However, only one gradient update per iteration is difficult to achieve a substantive acceleration of convergence. In this paper, we propose an accelerated framework named as MUSIC allowing each agent to perform multiple local updates and a single combination in each iteration. More importantly, we equip inexact and exact distributed optimization methods into this framework, thereby develo** two new algorithms that exhibit accelerated linear convergence and high communication efficiency. Our rigorous convergence analysis reveals the sources of steady-state errors arising from inexact policies and offers effective solutions. Numerical results based on synthetic and real datasets demonstrate both our theoretical motivations and analysis, as well as performance advantages.
△ Less
Submitted 4 March, 2024;
originally announced March 2024.
-
Mesh-robust stability and convergence of variable-step deferred correction methods based on the BDF2 formula
Authors:
Jiahe Yue,
Hong-lin Liao,
Nan Liu
Abstract:
We provide a new theoretical framework for the variable-step deferred correction (DC) methods based on the well-known BDF2 formula. By using the discrete orthogonal convolution kernels, some high-order BDF2-DC methods are proven to be stable on arbitrary time grids according to the recent definition of stability (SINUM, 60: 2253-2272). It significantly relaxes the existing step-ratio restrictions…
▽ More
We provide a new theoretical framework for the variable-step deferred correction (DC) methods based on the well-known BDF2 formula. By using the discrete orthogonal convolution kernels, some high-order BDF2-DC methods are proven to be stable on arbitrary time grids according to the recent definition of stability (SINUM, 60: 2253-2272). It significantly relaxes the existing step-ratio restrictions for the BDF2-DC methods (BIT, 62: 1789-1822). The associated sharp error estimates are established by taking the numerical effects of the starting approximations into account, and they suggest that the BDF2-DC methods have no aftereffect, that is, the lower-order starting scheme for the BDF2 scheme will not cause a loss in the accuracy of the high-order BDF2-DC methods. Extensive tests on the graded and random time meshes are presented to support the new theory.
△ Less
Submitted 8 February, 2024;
originally announced February 2024.
-
Asymptotically compatible energy and dissipation law of the nonuniform L2-$1_σ$ scheme for time fractional Allen-Cahn model
Authors:
Hong-lin Liao,
Xiaohan Zhu,
Hong Sun
Abstract:
We build an asymptotically compatible energy of the variable-step L2-$1_σ$ scheme for the time-fractional Allen-Cahn model with the Caputo's fractional derivative of order $α\in(0,1)$, under a weak step-ratio constraint $τ_k/τ_{k-1}\geq r_{\star}(α)$ for $k\ge2$, where $τ_k$ is the $k$-th time-step size and $r_{\star}(α)\in(0.3865,0.4037)$ for $α\in(0,1)$. It provides a positive answer to the open…
▽ More
We build an asymptotically compatible energy of the variable-step L2-$1_σ$ scheme for the time-fractional Allen-Cahn model with the Caputo's fractional derivative of order $α\in(0,1)$, under a weak step-ratio constraint $τ_k/τ_{k-1}\geq r_{\star}(α)$ for $k\ge2$, where $τ_k$ is the $k$-th time-step size and $r_{\star}(α)\in(0.3865,0.4037)$ for $α\in(0,1)$. It provides a positive answer to the open problem in [J. Comput. Phys., 414:109473], and, to the best of our knowledge, it is the first second-order nonuniform time-step** scheme to preserve both the maximum bound principle and the energy dissipation law of time-fractional Allen-Cahn model. The compatible discrete energy is constructed via a novel discrete gradient structure of the second-order L2-$1_σ$ formula by a local-nonlocal splitting technique. It splits the discrete fractional derivative into two parts: one is a local term analogue to the trapezoid rule of the first derivative and the other is a nonlocal summation analogue to the L1 formula of Caputo derivative. Numerical examples with an adaptive time-step** strategy are provided to show the effectiveness of our scheme and the asymptotic properties of the associated modified energy.
△ Less
Submitted 22 November, 2023;
originally announced November 2023.
-
Douglas--Rachford is the best projection method
Authors:
Minh N. Dao,
Mareike Dressler,
Hongzhi Liao,
Vera Roshchina
Abstract:
We prove that the Douglas--Rachford method applied to two closed convex cones in the Euclidean plane converges in finitely many steps if and only if the set of fixed points of the Douglas--Rachford operator is nontrivial. We analyze this special case using circle dynamics.
We also construct explicit examples for a broad family of projection methods for which the set of fixed points of the releva…
▽ More
We prove that the Douglas--Rachford method applied to two closed convex cones in the Euclidean plane converges in finitely many steps if and only if the set of fixed points of the Douglas--Rachford operator is nontrivial. We analyze this special case using circle dynamics.
We also construct explicit examples for a broad family of projection methods for which the set of fixed points of the relevant projection method operator is nontrivial, but the convergence is not finite. This three-parametric family is well known in the projection method literature and includes both the Douglas--Rachford method and the classic method of alternating projections.
Even though our setting is fairly elementary, this work contributes in a new way to the body of theoretical research justifying the superior performance of the Douglas--Rachford method compared to other techniques. Moreover, our result leads to a neat sufficient condition for finite convergence of the Douglas--Rachford method in the locally polyhedral case on the plane, unifying and expanding several special cases available in the literature.
△ Less
Submitted 25 October, 2023;
originally announced October 2023.
-
Vertical isomorphisms of Fedosov dg manifolds associated with a Lie pair
Authors:
Hua-Shin Chang,
Hsuan-Yi Liao
Abstract:
We investigate vertical isomorphisms of Fedosov dg manifolds associated with a Lie pair $(L,A)$, i.e. a pair of a Lie algebroid $L$ and a Lie subalgebroid $A$ of $L$. The construction of Fedosov dg manifolds involves a choice of a splitting and a connection. We prove that, given any two choices of a splitting and a connection, there exists a unique vertical isomorphism, determined by an iteration…
▽ More
We investigate vertical isomorphisms of Fedosov dg manifolds associated with a Lie pair $(L,A)$, i.e. a pair of a Lie algebroid $L$ and a Lie subalgebroid $A$ of $L$. The construction of Fedosov dg manifolds involves a choice of a splitting and a connection. We prove that, given any two choices of a splitting and a connection, there exists a unique vertical isomorphism, determined by an iteration formula, between the two associated Fedosov dg manifolds. As an application, we provide an explicit formula for the map $\mathrm{pbw}_2^{-1}\circ \mathrm{pbw}_1$ associated with two Poincaré--Birkhoff--Witt isomorphisms that arise from two choices of a splitting and a connection.
△ Less
Submitted 10 March, 2024; v1 submitted 6 September, 2023;
originally announced September 2023.
-
Differential graded manifolds of finite positive amplitude
Authors:
Kai Behrend,
Hsuan-Yi Liao,
** Xu
Abstract:
We prove that dg manifolds of finite positive amplitude, i.e. bundles of positively graded curved $L_\infty[1]$-algebras, form a category of fibrant objects. As a main step in the proof, we obtain a factorization theorem using path spaces. First we construct an infinite-dimensional factorization of a diagonal morphism using actual path spaces motivated by the AKSZ construction. Then we cut down to…
▽ More
We prove that dg manifolds of finite positive amplitude, i.e. bundles of positively graded curved $L_\infty[1]$-algebras, form a category of fibrant objects. As a main step in the proof, we obtain a factorization theorem using path spaces. First we construct an infinite-dimensional factorization of a diagonal morphism using actual path spaces motivated by the AKSZ construction. Then we cut down to finite dimensions using the Fiorenza-Manetti method. The main ingredient in our method is the homotopy transfer theorem for curved $L_\infty[1]$-algebras. As an application, we study the derived intersections of manifolds.
△ Less
Submitted 7 February, 2024; v1 submitted 16 July, 2023;
originally announced July 2023.
-
On the structure of étale fibrations of $L_\infty$-bundles
Authors:
Kai Behrend,
Hsuan-Yi Liao,
** Xu
Abstract:
We prove that an étale fibration between $L_\infty$-bundles has local sections made up of several elementary morphisms of particularly simple and accessible type. As applications, we prove an inverse function theorem for $L_\infty$-bundles, and give an elementary proof that every weak equivalence of $L_\infty$-bundles induces a quasi-isomorphism of the differential graded algebras of global functi…
▽ More
We prove that an étale fibration between $L_\infty$-bundles has local sections made up of several elementary morphisms of particularly simple and accessible type. As applications, we prove an inverse function theorem for $L_\infty$-bundles, and give an elementary proof that every weak equivalence of $L_\infty$-bundles induces a quasi-isomorphism of the differential graded algebras of global functions. In addition, we apply this inverse function theorem to prove that the homotopy category of $L_\infty$-bundles has a simple description in terms of homotopy classes of morphisms, when we restrict $L_\infty$-bundles to their germs about their classical loci.
△ Less
Submitted 16 July, 2023;
originally announced July 2023.
-
The diagonal dimension of sub-C*-algebras
Authors:
Kang Li,
Hung-Chang Liao,
Wilhelm Winter
Abstract:
We introduce diagonal dimension, a version of nuclear dimension for diagonal sub-C*-algebras (sometimes also referred to as diagonal C*-pairs). Our concept has good permanence properties and detects more refined information than nuclear dimension. In many situations it is precisely how dynamical information is encoded in an associated C*-pair.
For free actions on compact Hausdorff spaces, diagon…
▽ More
We introduce diagonal dimension, a version of nuclear dimension for diagonal sub-C*-algebras (sometimes also referred to as diagonal C*-pairs). Our concept has good permanence properties and detects more refined information than nuclear dimension. In many situations it is precisely how dynamical information is encoded in an associated C*-pair.
For free actions on compact Hausdorff spaces, diagonal dimension of the crossed product with its canonical diagonal is bounded above by a product involving Kerr's tower dimension of the action and covering dimension of the space. It is bounded below by the dimension of the space, by the asymptotic dimension of the group, and by the fine tower dimension of the action. For a locally compact, Hausdorff, étale groupoid, diagonal dimension of the groupoid C*-algebra is bounded below by the dynamic asymptotic dimension of the groupoid. For free Cantor dynamical systems, diagonal dimension (defined at the level of the crossed product C*-algebra) and tower dimension (an entirely dynamical notion) agree on the nose. Similarly, for a finitely generated group diagonal dimension of its uniform Roe algebra with the canonical diagonal agrees precisely with asymptotic dimension of the group. This statement also holds for uniformly bounded metric spaces. We apply the lower bounds above to a number of further examples which show how diagonal dimension keeps track of information not seen by nuclear dimension.
△ Less
Submitted 29 March, 2023;
originally announced March 2023.
-
Discrete gradient structure of a second-order variable-step method for nonlinear integro-differential models
Authors:
Hong-lin Liao,
Nan Liu,
Pin Lyu
Abstract:
The discrete gradient structure and the positive definiteness of discrete fractional integrals or derivatives are fundamental to the numerical stability in long-time simulation of nonlinear integro-differential models. We build up a discrete gradient structure for a class of second-order variable-step approximations of fractional Riemann-Liouville integral and fractional Caputo derivative. Then ce…
▽ More
The discrete gradient structure and the positive definiteness of discrete fractional integrals or derivatives are fundamental to the numerical stability in long-time simulation of nonlinear integro-differential models. We build up a discrete gradient structure for a class of second-order variable-step approximations of fractional Riemann-Liouville integral and fractional Caputo derivative. Then certain variational energy dissipation laws at discrete levels of the corresponding variable-step Crank-Nicolson type methods are established for time-fractional Allen-Cahn and time-fractional Klein-Gordon type models. They are shown to be asymptotically compatible with the associated energy laws of the classical Allen-Cahn and Klein-Gordon equations in the associated fractional order limits.Numerical examples together with an adaptive time-step** procedure are provided to demonstrate the effectiveness of our second-order methods.
△ Less
Submitted 29 January, 2023;
originally announced January 2023.
-
Stembridge codes and Chow rings
Authors:
Hsin-Chieh Liao
Abstract:
It is well known that the Eulerian polynomial is the Hilbert series of the cohomology of the permutohedral variety. We answer a question of Stembridge on finding a geometric explanation of the \emph{permutation representation} this cohomology carries. Our explanation involves an $\mathfrak{S}_n$-equivariant bijection between a basis for the Chow ring of the Boolean matroid and codes introduced by…
▽ More
It is well known that the Eulerian polynomial is the Hilbert series of the cohomology of the permutohedral variety. We answer a question of Stembridge on finding a geometric explanation of the \emph{permutation representation} this cohomology carries. Our explanation involves an $\mathfrak{S}_n$-equivariant bijection between a basis for the Chow ring of the Boolean matroid and codes introduced by Stembridge. There are analogous results for the stellohedral variety. We provide a geometric explanation of the permutation representation that its cohomology carries. This involves the augmented Chow ring of a matroid introduced by Braden, Huh, Matherne, Proudfoot and Wang. Along the way, we also obtain some new results on augmented Chow rings.
△ Less
Submitted 10 December, 2022;
originally announced December 2022.
-
Atiyah classes and Todd classes of pullback dg Lie algebroids associated with Lie pairs
Authors:
Hsuan-Yi Liao
Abstract:
For a Lie algebroid $L$ and a Lie subalgebroid $A$, i.e. a Lie pair $(L,A)$, we study the Atiyah class and the Todd class of the pullback dg (i.e. differential graded) Lie algebroid $π^! L$ of $L$ along the bundle projection $π:A[1] \to M$ of the shifted vector bundle $A[1]$. Applying the homological perturbation lemma, we provide a new construction of Stiénon--Vitagliano--Xu's contraction relatin…
▽ More
For a Lie algebroid $L$ and a Lie subalgebroid $A$, i.e. a Lie pair $(L,A)$, we study the Atiyah class and the Todd class of the pullback dg (i.e. differential graded) Lie algebroid $π^! L$ of $L$ along the bundle projection $π:A[1] \to M$ of the shifted vector bundle $A[1]$. Applying the homological perturbation lemma, we provide a new construction of Stiénon--Vitagliano--Xu's contraction relating the cochain complex $\big(Γ(π^! L),\mathit{Q}\big)$ of sections of $π^! L$ to the Chevalley--Eilenberg complex $(Γ(Λ^\bullet A^\vee\otimes(L/A)),d^{\mathrm{Bott}})$ of the Bott representation. Using this contraction, we construct two isomorphisms: the first identifies the cohomology of the cochain complex $(Γ((π^! L)^\vee\otimes\mathrm{End}(π^! L)),\mathit{Q})$ with the Chevalley--Eilenberg cohomology $H^\bullet_{\mathrm{CE}}(A,(L/A)^\vee\otimes\mathrm{End}(L/A))$ arising from the Bott representation, while the second identifies the cohomologies $H^\bullet(Γ(Λ(π^! L)^\vee),\mathit{Q})$ and $H^\bullet_{\mathrm{CE}}(A,Λ(L/A)^\vee)$. We prove that this pair of isomorphisms identifies the Atiyah class and the Todd class of the dg Lie algebroid $π^! L$ with the Atiyah class and the Todd class of the Lie pair $(L,A)$, respectively.
△ Less
Submitted 6 November, 2023; v1 submitted 6 November, 2022;
originally announced November 2022.
-
Finite Convergence of Circumcentered-Reflection Method on Closed Convex Cones in Hilbert Spaces
Authors:
Hongzhi Liao
Abstract:
We establish finite convergence of circumcentered-reflection method (CRM) for the case of intersection of two closed convex cones in a real Hilbert space. We apply this result to prove the finite convergence for two polyhedral sets in R^n.
We establish finite convergence of circumcentered-reflection method (CRM) for the case of intersection of two closed convex cones in a real Hilbert space. We apply this result to prove the finite convergence for two polyhedral sets in R^n.
△ Less
Submitted 4 November, 2022; v1 submitted 30 October, 2022;
originally announced October 2022.
-
Asymptotically compatible energy of variable-step fractional BDF2 formula for time-fractional Cahn-Hilliard model
Authors:
Hong-lin Liao,
Nan Liu,
Xuan Zhao
Abstract:
A new discrete energy dissipation law of the variable-step fractional BDF2 (second-order backward differentiation formula) scheme is established for time-fractional Cahn-Hilliard model with the Caputo's fractional derivative of order $α\in(0,1)$, under a weak step-ratio constraint $0.4753\le τ_k/τ_{k-1}<r^*(α)$, where $τ_k$ is the $k$-th time-step size and $r^*(α)\ge4.660$ for $α\in(0,1)$.We propo…
▽ More
A new discrete energy dissipation law of the variable-step fractional BDF2 (second-order backward differentiation formula) scheme is established for time-fractional Cahn-Hilliard model with the Caputo's fractional derivative of order $α\in(0,1)$, under a weak step-ratio constraint $0.4753\le τ_k/τ_{k-1}<r^*(α)$, where $τ_k$ is the $k$-th time-step size and $r^*(α)\ge4.660$ for $α\in(0,1)$.We propose a novel discrete gradient structure by a local-nonlocal splitting technique, that is, the fractional BDF2 formula is split into a local part analogue to the two-step backward differentiation formula of the first derivative and a nonlocal part analogue to the L1-type formula of the Caputo's derivative. More interestingly, in the sense of the limit $α\rightarrow1^-$, the discrete energy and the corresponding energy dissipation law are asymptotically compatible with the associated discrete energy and the energy dissipation law of the variable-step BDF2 method for the classical Cahn-Hilliard equation, respectively. Numerical examples with an adaptive step** procedure are provided to demonstrate the accuracy and the effectiveness of our proposed method.
△ Less
Submitted 22 October, 2022;
originally announced October 2022.
-
Compatible $L^2$ norm convergence of variable-step L1 scheme for the time-fractional MBE mobel with slope selection
Authors:
Yin Yang,
**di Wang,
Yan** Chen,
Hong-lin Liao
Abstract:
The convergence of variable-step L1 scheme is studied for the time-fractional molecular beam epitaxy (MBE) model with slope selection.A novel asymptotically compatible $L^2$ norm error estimate of the variable-step L1 scheme is established under a convergence-solvability-stability (CSS)-consistent time-step constraint. The CSS-consistent condition means that the maximum step-size limit required fo…
▽ More
The convergence of variable-step L1 scheme is studied for the time-fractional molecular beam epitaxy (MBE) model with slope selection.A novel asymptotically compatible $L^2$ norm error estimate of the variable-step L1 scheme is established under a convergence-solvability-stability (CSS)-consistent time-step constraint. The CSS-consistent condition means that the maximum step-size limit required for convergence is of the same order to that for solvability and stability (in certain norms) as the small interface parameter $ε\rightarrow 0^+$. To the best of our knowledge, it is the first time to establish such error estimate for nonlinear subdiffusion problems. The asymptotically compatible convergence means that the error estimate is compatible with that of backward Euler scheme for the classical MBE model as the fractional order $α\rightarrow 1^-$. Just as the backward Euler scheme can maintain the physical properties of the MBE equation, the variable-step L1 scheme can also preserve the corresponding properties of the time-fractional MBE model, including the volume conservation, variational energy dissipation law and $L^2$ norm boundedness. Numerical experiments are presented to support our theoretical results.
△ Less
Submitted 4 May, 2022;
originally announced May 2022.
-
Discrete energy analysis of the third-order variable-step BDF time-step** for diffusion equations
Authors:
Hong-lin Liao,
Tao Tang,
Tao Zhou
Abstract:
This is one of our series works on discrete energy analysis of the variable-step BDF schemes. In this part, we present stability and convergence analysis of the third-order BDF (BDF3) schemes with variable steps for linear diffusion equations, see e.g. [SIAM J. Numer. Anal., 58:2294-2314] and [Math. Comp., 90: 1207-1226] for our previous works on the BDF2 scheme. To this aim, we first build up a d…
▽ More
This is one of our series works on discrete energy analysis of the variable-step BDF schemes. In this part, we present stability and convergence analysis of the third-order BDF (BDF3) schemes with variable steps for linear diffusion equations, see e.g. [SIAM J. Numer. Anal., 58:2294-2314] and [Math. Comp., 90: 1207-1226] for our previous works on the BDF2 scheme. To this aim, we first build up a discrete gradient structure of the variable-step BDF3 formula under the condition that the adjacent step ratios are less than 1.4877, by which we can establish a discrete energy dissipation law. Mesh-robust stability and convergence analysis in the $L^2$ norm are then obtained. Here the mesh robustness means that the solution errors are well controlled by the maximum time-step size but independent of the adjacent time-step ratios. We also present numerical tests to support our theoretical results.
△ Less
Submitted 27 April, 2022;
originally announced April 2022.
-
Revisiting the general cubic: A simplification of Cardano's solution
Authors:
Hsin-Chieh Liao,
Peter Jao-Shyong Shiue,
Mark Saul
Abstract:
Motivated by the recent work of William Y.C. Chen, in which he presents a way to solve cubic equations by considering the identity of Sylvester, we investigate the solutions obtained in this way. It leads us to a unified expression of the solutions different from Cardano's formula. Plenty of examples are given in this paper, also some interesting identities are obtained as byproducts.
Motivated by the recent work of William Y.C. Chen, in which he presents a way to solve cubic equations by considering the identity of Sylvester, we investigate the solutions obtained in this way. It leads us to a unified expression of the solutions different from Cardano's formula. Plenty of examples are given in this paper, also some interesting identities are obtained as byproducts.
△ Less
Submitted 11 August, 2022; v1 submitted 15 April, 2022;
originally announced April 2022.
-
Energy stability of variable-step L1-type schemes for time-fractional Cahn-Hilliard model
Authors:
Bingquan Ji,
Xiaohan Zhu,
Hong-lin Liao
Abstract:
The positive definiteness of discrete time-fractional derivatives is fundamental to the numerical stability (in the energy sense) for time-fractional phase-field models. A novel technique is proposed to estimate the minimum eigenvalue of discrete convolution kernels generated by the nonuniform L1, half-grid based L1 and time-averaged L1 formulas of the fractional Caputo's derivative. The main disc…
▽ More
The positive definiteness of discrete time-fractional derivatives is fundamental to the numerical stability (in the energy sense) for time-fractional phase-field models. A novel technique is proposed to estimate the minimum eigenvalue of discrete convolution kernels generated by the nonuniform L1, half-grid based L1 and time-averaged L1 formulas of the fractional Caputo's derivative. The main discrete tools are the discrete orthogonal convolution kernels and discrete complementary convolution kernels. Certain variational energy dissipation laws at discrete levels of the variable-step L1-type methods are then established for time-fractional Cahn-Hilliard model.They are shown to be asymptotically compatible, in the fractional order limit $α\rightarrow1$, with the associated energy dissipation law for the classical Cahn-Hilliard equation. Numerical examples together with an adaptive time-step** procedure are provided to demonstrate the effectiveness of the proposed methods.
△ Less
Submitted 3 January, 2022;
originally announced January 2022.
-
$L^2$ norm error estimates of BDF methods up to fifth-order for the phase field crystal model
Authors:
Hong-lin Liao,
Yuanyuan Kang
Abstract:
The well-known backward difference formulas (BDF) of the third, the fourth and the fifth orders are investigated for time integration of the phase field crystal model. By building up novel discrete gradient structures of the BDF-$\rmk$ ($\rmk=3,4,5$) formulas, we establish the energy dissipation laws at the discrete levels and then obtain the priori solution estimates for the associated numerical…
▽ More
The well-known backward difference formulas (BDF) of the third, the fourth and the fifth orders are investigated for time integration of the phase field crystal model. By building up novel discrete gradient structures of the BDF-$\rmk$ ($\rmk=3,4,5$) formulas, we establish the energy dissipation laws at the discrete levels and then obtain the priori solution estimates for the associated numerical schemes (however, we can not build any discrete energy dissipation law for the corresponding BDF-6 scheme because the BDF-6 formula itself does not have any discrete gradient structures). With the help of the discrete orthogonal convolution kernels and Young-type convolution inequalities, some concise $L^2$ norm error estimates (with respect to the starting data in the $L^2$ norm) are established via the discrete energy technique. To the best of our knowledge, this is the first time such type $L^2$ norm error estimates of non-A-stable BDF schemes are obtained for nonlinear parabolic equations. Numerical examples are presented to verify and support the theoretical analysis.
△ Less
Submitted 16 April, 2023; v1 submitted 3 January, 2022;
originally announced January 2022.
-
Stability of variable-step BDF2 and BDF3 methods
Authors:
Zhaoyi Li,
Hong-lin Liao
Abstract:
We prove that the two-step backward differentiation formula (BDF2) method is stable on arbitrary time grids; while the variable-step BDF3 scheme is stable if almost all adjacent step ratios are less than 2.553. These results relax the severe mesh restrictions in the literature and provide a new understanding of variable-step BDF methods. Our main tools include the discrete orthogonal convolution k…
▽ More
We prove that the two-step backward differentiation formula (BDF2) method is stable on arbitrary time grids; while the variable-step BDF3 scheme is stable if almost all adjacent step ratios are less than 2.553. These results relax the severe mesh restrictions in the literature and provide a new understanding of variable-step BDF methods. Our main tools include the discrete orthogonal convolution kernels and an elliptic-type matrix norm.
△ Less
Submitted 3 January, 2022;
originally announced January 2022.
-
Keller admissible triples and Duflo theorem
Authors:
Hsuan-Yi Liao,
Seokbong Seol
Abstract:
The present paper is devoted to the study of Keller admissible triples. We prove that a Keller admissible triple induces an isomorphism of Gerstenhaber algebras between the Hochschild cohomologies of direct-sum type of the pair of differential graded algebras bound to one another by the admissible triple. As an application, we give a new concrete proof of the Duflo--Kontsevich theorem for finite-d…
▽ More
The present paper is devoted to the study of Keller admissible triples. We prove that a Keller admissible triple induces an isomorphism of Gerstenhaber algebras between the Hochschild cohomologies of direct-sum type of the pair of differential graded algebras bound to one another by the admissible triple. As an application, we give a new concrete proof of the Duflo--Kontsevich theorem for finite-dimensional Lie algebras.
△ Less
Submitted 14 March, 2023; v1 submitted 13 September, 2021;
originally announced September 2021.
-
The variable-step L1 scheme preserving a compatible energy law for time-fractional Allen-Cahn equation
Authors:
Hong-lin Liao,
Xiaohan Zhu,
**di Wang
Abstract:
In this work, we revisit the adaptive L1 time-step** scheme for solving the time-fractional Allen-Cahn equation in the Caputo's form. The L1 implicit scheme is shown to preserve a variational energy dissipation law on arbitrary nonuniform time meshes by using the recent discrete analysis tools, i.e., the discrete orthogonal convolution kernels and discrete complementary convolution kernels. Then…
▽ More
In this work, we revisit the adaptive L1 time-step** scheme for solving the time-fractional Allen-Cahn equation in the Caputo's form. The L1 implicit scheme is shown to preserve a variational energy dissipation law on arbitrary nonuniform time meshes by using the recent discrete analysis tools, i.e., the discrete orthogonal convolution kernels and discrete complementary convolution kernels. Then the discrete embedding techniques and the fractional Grönwall inequality were applied to establish an $L^2$ norm error estimate on nonuniform time meshes. An adaptive time-step** strategy according to the dynamical feature of the system is presented to capture the multi-scale behaviors and to improve the computational performance.
△ Less
Submitted 15 February, 2021;
originally announced February 2021.
-
A new discrete energy technique for multi-step backward difference formulas
Authors:
Honglin Liao,
Tao Tang,
Tao Zhou
Abstract:
The backward differentiation formula (BDF) is a useful family of implicit methods for the numerical integration of stiff differential equations. It is well noticed that the stability and convergence of the $A$-stable BDF1 and BDF2 schemes for parabolic equations can be directly established by using the standard discrete energy analysis. However, such classical analysis technique seems not directly…
▽ More
The backward differentiation formula (BDF) is a useful family of implicit methods for the numerical integration of stiff differential equations. It is well noticed that the stability and convergence of the $A$-stable BDF1 and BDF2 schemes for parabolic equations can be directly established by using the standard discrete energy analysis. However, such classical analysis technique seems not directly applicable to the BDF-$\mathbf{k}$ schemes for $3\leq \mathbf{k}\leq 5$. To overcome the difficulty, a powerful analysis tool based on the Nevanlinna-Odeh multiplier technique [Numer. Funct. Anal. Optim., 3:377-423, 1981] was developed by Lubich et al. [IMA J. Numer. Anal., 33:1365-1385, 2013]. In this work, by using the so-called discrete orthogonal convolution kernels technique, we will recover the classical energy analysis so that the stability and convergence of the BDF-$\mathbf{k}$ schemes for $3\leq \mathbf{k}\leq 5$ can be established. One of the theoretical advantages of our analysis technique is that less spacial regularity requirement is needed on the initial data.
△ Less
Submitted 8 February, 2021;
originally announced February 2021.
-
Mesh-robustness of an energy stable BDF2 scheme with variable steps for the Cahn-Hilliard model
Authors:
Hong-lin Liao,
Bingquan Ji,
Lin Wang,
Zhimin Zhang
Abstract:
The two-step backward differential formula (BDF2) with unequal time-steps is applied to construct an energy stable convex-splitting scheme for the Cahn-Hilliard model. We focus on the numerical influences of time-step variations by using the recent theoretical framework with the discrete orthogonal convolution kernels. Some novel discrete convolution embedding inequalities with respect to the orth…
▽ More
The two-step backward differential formula (BDF2) with unequal time-steps is applied to construct an energy stable convex-splitting scheme for the Cahn-Hilliard model. We focus on the numerical influences of time-step variations by using the recent theoretical framework with the discrete orthogonal convolution kernels. Some novel discrete convolution embedding inequalities with respect to the orthogonal convolution kernels are developed such that a concise $L^2$ norm error estimate is established at the first time under an updated step-ratio restriction $0 <r_k:=τ_k/τ_{k-1}\leq r_{\mathrm{user}}$, where $r_{\mathrm{user}}$ can be chosen by the user such that $r_{\mathrm{user}}<4.864$. The stabilized convex-splitting BDF2 scheme is shown to be mesh-robustly convergent in the sense that the convergence constant (prefactor) in the error estimate is independent of the adjoint time-step ratios. The suggested method is proved to preserve a modified energy dissipation law at the discrete levels if $0<r_k\le r_{\mathrm{user}}$, such that it is mesh-robustly stable in an energy norm. On the basis of ample tests on random time meshes, a useful adaptive time-step** strategy is applied to efficiently capture the multi-scale behaviors and to accelerate the long-time simulation approaching the steady state.
△ Less
Submitted 4 March, 2022; v1 submitted 7 February, 2021;
originally announced February 2021.
-
An energy stable and maximum bound preserving scheme with variable time steps for time fractional Allen-Cahn equation
Authors:
Hong-lin Liao,
Tao Tang,
Tao Zhou
Abstract:
In this work, we propose a Crank-Nicolson-type scheme with variable steps for the time fractional Allen-Cahn equation. The proposed scheme is shown to be unconditionally stable (in a variational energy sense), and is maximum bound preserving. Interestingly, the discrete energy stability result obtained in this paper can recover the classical energy dissipation law when the fractional order…
▽ More
In this work, we propose a Crank-Nicolson-type scheme with variable steps for the time fractional Allen-Cahn equation. The proposed scheme is shown to be unconditionally stable (in a variational energy sense), and is maximum bound preserving. Interestingly, the discrete energy stability result obtained in this paper can recover the classical energy dissipation law when the fractional order $α\rightarrow 1.$ That is, our scheme can asymptotically preserve the energy dissipation law in the $α\rightarrow 1$ limit. This seems to be the first work on variable time-step** scheme that can preserve both the energy stability and the maximum bound principle.
Our Crank-Nicolson scheme is build upon a reformulated problem associated with the Riemann-Liouville derivative. As a by product, we build up a reversible transformation between the L1-type formula of the Riemann-Liouville derivative and a new L1-type formula of the Caputo derivative, with the help of a class of discrete orthogonal convolution kernels. This is the first time such a \textit{discrete} transformation is established between two discrete fractional derivatives. We finally present several numerical examples with an adaptive time-step** strategy to show the effectiveness of the proposed scheme.
△ Less
Submitted 19 December, 2020;
originally announced December 2020.
-
Positive definiteness of real quadratic forms resulting from the variable-step approximation of convolution operators
Authors:
Hong-lin Liao,
Tao Tang,
Tao Zhou
Abstract:
The positive definiteness of real quadratic forms with convolution structures plays an important role in stability analysis for time-step** schemes for nonlocal operators.In this work, we present a novel analysis tool to handle discrete convolution kernels resulting from variable-step approximations for convolution operators. More precisely, for a class of discrete convolution kernels relevant t…
▽ More
The positive definiteness of real quadratic forms with convolution structures plays an important role in stability analysis for time-step** schemes for nonlocal operators.In this work, we present a novel analysis tool to handle discrete convolution kernels resulting from variable-step approximations for convolution operators. More precisely, for a class of discrete convolution kernels relevant to variable-step time discretizations,we show that the associated quadratic form is positive definite under some easy-to-check algebraic conditions. Our proof is based on an elementary constructing strategy using the properties of discrete orthogonal convolution kernels and complementary convolution kernels. To the best of our knowledge, this is the first general result on simple algebraic conditions for the positive definiteness of variable-step discrete convolution kernels. Using the unified theory, the stability for some simple non-uniform time-step** schemes can be obtained in a straightforward way.
△ Less
Submitted 26 November, 2020;
originally announced November 2020.
-
Comparison and Simplicity of Commutator Subgroups of Full Groups
Authors:
Hung-Chang Liao
Abstract:
We show that for a minimal, second countable, locally compact Hausdorff étale groupoid whose unit space is homeomorphic to the Cantor set, if the groupoid has comparison then the commutator subgroup of its full group is simple. This generalizes a result of Bezuglyi and Medynets for Cantor minimal systems and complements Matui's results for topological full groups.
We show that for a minimal, second countable, locally compact Hausdorff étale groupoid whose unit space is homeomorphic to the Cantor set, if the groupoid has comparison then the commutator subgroup of its full group is simple. This generalizes a result of Bezuglyi and Medynets for Cantor minimal systems and complements Matui's results for topological full groups.
△ Less
Submitted 2 November, 2020;
originally announced November 2020.
-
Analysis of the second order BDF scheme with variable steps for the molecular beam epitaxial model without slope selection
Authors:
Hong-lin Liao,
Xuehua Song,
Tao Tang,
Tao Zhou
Abstract:
In this work, we are concerned with the stability and convergence analysis of the second order BDF (BDF2) scheme with variable steps for the molecular beam epitaxial model without slope selection. We first show that the variable-step BDF2 scheme is convex and uniquely solvable under a weak time-step constraint. Then we show that it preserves an energy dissipation law if the adjacent time-step rati…
▽ More
In this work, we are concerned with the stability and convergence analysis of the second order BDF (BDF2) scheme with variable steps for the molecular beam epitaxial model without slope selection. We first show that the variable-step BDF2 scheme is convex and uniquely solvable under a weak time-step constraint. Then we show that it preserves an energy dissipation law if the adjacent time-step ratios $r_k:=τ_k/τ_{k-1}<3.561.$ Moreover, with a novel discrete orthogonal convolution kernels argument and some new discrete convolutional inequalities, the $L^2$ norm stability and rigorous error estimates are established, under the same step-ratios constraint that ensuring the energy stability., i.e., $0<r_k<3.561.$ This is known to be the best result in literature. We finally adopt an adaptive time-step** strategy to accelerate the computations of the steady state solution and confirm our theoretical findings by numerical examples.
△ Less
Submitted 7 August, 2020;
originally announced August 2020.
-
An adaptive BDF2 implicit time-step** method for the phase field crystal model
Authors:
Hong-lin Liao,
Bingquan Ji,
Luming Zhang
Abstract:
An adaptive BDF2 implicit time-step** method is analyzed for the phase field crystal model. The suggested method is proved to preserve a modified energy dissipation law at the discrete levels if the time-step ratios $r_k:=τ_k/τ_{k-1}<3.561$, a recent zero-stability restriction of variable-step BDF2 scheme for ordinary differential problems. By using the discrete orthogonal convolution kernels an…
▽ More
An adaptive BDF2 implicit time-step** method is analyzed for the phase field crystal model. The suggested method is proved to preserve a modified energy dissipation law at the discrete levels if the time-step ratios $r_k:=τ_k/τ_{k-1}<3.561$, a recent zero-stability restriction of variable-step BDF2 scheme for ordinary differential problems. By using the discrete orthogonal convolution kernels and the corresponding convolution inequalities, an optimal $L^2$ norm error estimate is established under the weak step-ratio restriction $0<r_k<3.561$ ensuring the energy stability. This is the first time such error estimate is theoretically proved for a nonlinear parabolic equation. On the basis of ample tests on random time meshes, a useful adaptive time-step** strategy is suggested to efficiently capture the multi-scale behaviors and to accelerate the numerical simulations.
△ Less
Submitted 1 August, 2020;
originally announced August 2020.
-
Signed Countings of Type B and D Permutations and $t,q$-Euler numbers
Authors:
Hsin-Chieh Liao
Abstract:
A classical result states that the parity balance of the number of excedances of all permutations (derangements, respectively) of length $n$ is the Euler number. In 2010, Josuat-Vergès gives a $q$-analogue with $q$ representing the number of crossings. We extend this result to the permutations (derangements, respectively) of type B and D. It turns out that the signed countings are related to the d…
▽ More
A classical result states that the parity balance of the number of excedances of all permutations (derangements, respectively) of length $n$ is the Euler number. In 2010, Josuat-Vergès gives a $q$-analogue with $q$ representing the number of crossings. We extend this result to the permutations (derangements, respectively) of type B and D. It turns out that the signed countings are related to the derivative polynomials of $\tan$ and $\sec$.
Springer numbers defined by Springer can be regarded as an analogue of Euler numbers defined on every Coxeter group. In 1992 Arnol'd showed that the Springer numbers of classical types A, B, D count various combinatorial objects, called snakes. In 1999 Hoffman found that derivative polynomials of $\sec x$ and $\tan x$ and their subtraction evaluated at certain values count exactly the number of snakes of certain types. Then Josuat-Vergès studied the $(t,q)$-analogs of derivative polynomials $Q_n(t,q)$, $R_n(t,q)$ and showed that as setting $q=1$ the polynomials are enumerators of snakes with respect to the number of sign-changing. Our second result is to find combinatorial interpretations of $Q_n(t,q)$ and $R_n(t,q)$ as enumerators of the snakes, although the outcome is somewhat messy.
△ Less
Submitted 13 June, 2020;
originally announced June 2020.
-
Optimal Tracking Portfolio with A Ratcheting Capital Benchmark
Authors:
Lijun Bo,
Huafu Liao,
Xiang Yu
Abstract:
This paper studies the finite horizon portfolio management by optimally tracking a ratcheting capital benchmark process. It is assumed that the fund manager can dynamically inject capital into the portfolio account such that the total capital dominates a non-decreasing benchmark floor process at each intermediate time. The tracking problem is formulated to minimize the cost of accumulated capital…
▽ More
This paper studies the finite horizon portfolio management by optimally tracking a ratcheting capital benchmark process. It is assumed that the fund manager can dynamically inject capital into the portfolio account such that the total capital dominates a non-decreasing benchmark floor process at each intermediate time. The tracking problem is formulated to minimize the cost of accumulated capital injection. We first transform the original problem with floor constraints into an unconstrained control problem, however, under a running maximum cost. By identifying a controlled state process with reflection, the problem is further shown to be equivalent to an auxiliary problem, which leads to a nonlinear Hamilton-Jacobi-Bellman (HJB) equation with a Neumann boundary condition. By employing the dual transform, the probabilistic representation and some stochastic flow analysis, the existence of the unique classical solution to the HJB equation is established. The verification theorem is carefully proved, which gives the complete characterization of the feedback optimal portfolio. The application to market index tracking is also discussed when the index process is modeled by a geometric Brownian motion.
△ Less
Submitted 30 April, 2021; v1 submitted 24 June, 2020;
originally announced June 2020.
-
Derived Differentiable Manifolds
Authors:
Kai Behrend,
Hsuan-Yi Liao,
** Xu
Abstract:
We develop the theory of derived differential geometry in terms of bundles of curved $L_\infty[1]$-algebras, i.e. dg manifolds of positive amplitudes. We prove the category of derived manifolds is a category of fibrant objects. Therefore, we can make sense of "homotopy fibered product" and "derived intersection" of submaifolds in a smooth manifold in the homotopy category of derived manifolds. We…
▽ More
We develop the theory of derived differential geometry in terms of bundles of curved $L_\infty[1]$-algebras, i.e. dg manifolds of positive amplitudes. We prove the category of derived manifolds is a category of fibrant objects. Therefore, we can make sense of "homotopy fibered product" and "derived intersection" of submaifolds in a smooth manifold in the homotopy category of derived manifolds. We construct a factorization of the diagonal using path spaces. First we construct an infinite-dimensional factorization using actual path spaces motivated by the AKSZ construction, then we cut down to finite dimensions using the Fiorenza-Manetti method. The main ingredient is the homotopy transfer theorem for curved $L_\infty[1]$-algebras.
We also prove the inverse function theorem for derived manifolds, and investigate the relationship between weak equivalence and quasi-isomorphism for derived manifolds.
△ Less
Submitted 13 June, 2021; v1 submitted 2 June, 2020;
originally announced June 2020.
-
Probabilistic Analysis of Replicator-Mutator Equations
Authors:
Lijun Bo,
Huafu Liao
Abstract:
This paper introduces a general class of Replicator-Mutator equations on a multi-dimensional fitness space. We establish a novel probabilistic representation of weak solutions of the equation by using the theory of Fockker-Planck-Kolmogorov (FPK) equations and a martingale extraction approach. The examples with closed-form probabilistic solutions for different fitness functions considered in the e…
▽ More
This paper introduces a general class of Replicator-Mutator equations on a multi-dimensional fitness space. We establish a novel probabilistic representation of weak solutions of the equation by using the theory of Fockker-Planck-Kolmogorov (FPK) equations and a martingale extraction approach. The examples with closed-form probabilistic solutions for different fitness functions considered in the existing literature are provided. We also construct a particle system and prove a general convergence result to any solution to the FPK equation associated with the extended Replicator-Mutator equation with respect to a Wasserstein-like distance adapted to our probabilistic framework.
△ Less
Submitted 12 March, 2020; v1 submitted 11 March, 2020;
originally announced March 2020.
-
On energy stable, maximum-principle preserving, second order BDF scheme with variable steps for the Allen-Cahn equation
Authors:
Hong-lin Liao,
Tao Tang,
Tao Zhou
Abstract:
In this work, we investigate the two-step backward differentiation formula (BDF2) with nonuniform grids for the Allen-Cahn equation. We show that the nonuniform BDF2 scheme is energy stable under the time-step ratio restriction $r_k:=τ_k/τ_{k-1}<(3+\sqrt{17})/2\approx3.561.$ Moreover, by develo** a novel kernel recombination and complementary technique, we show, for the first time, the discrete…
▽ More
In this work, we investigate the two-step backward differentiation formula (BDF2) with nonuniform grids for the Allen-Cahn equation. We show that the nonuniform BDF2 scheme is energy stable under the time-step ratio restriction $r_k:=τ_k/τ_{k-1}<(3+\sqrt{17})/2\approx3.561.$ Moreover, by develo** a novel kernel recombination and complementary technique, we show, for the first time, the discrete maximum principle of BDF2 scheme under the time-step ratio restriction $r_k<1+\sqrt{2}\approx 2.414$ and a practical time step constraint. The second-order rate of convergence in the maximum norm is also presented. Numerical experiments are provided to support the theoretical findings.
△ Less
Submitted 1 March, 2020;
originally announced March 2020.
-
Almost finiteness, comparison, and tracial $\mathcal{Z}$-stability
Authors:
Hung-Chang Liao,
Aaron Tikuisis
Abstract:
Inspired by Kerr's work on topological dynamics, we define tracial $\mathcal{Z}$-stability for sub-$C^*$-algebras. We prove that for a countable discrete amenable group $G$ acting freely and minimally on a compact metrizable space $X$, tracial $\mathcal{Z}$-stability for the sub-$C^*$-algebra $(C(X)\subseteq C(X)\rtimes G)$ implies that the action has dynamical comparison. Consequently, tracial…
▽ More
Inspired by Kerr's work on topological dynamics, we define tracial $\mathcal{Z}$-stability for sub-$C^*$-algebras. We prove that for a countable discrete amenable group $G$ acting freely and minimally on a compact metrizable space $X$, tracial $\mathcal{Z}$-stability for the sub-$C^*$-algebra $(C(X)\subseteq C(X)\rtimes G)$ implies that the action has dynamical comparison. Consequently, tracial $\mathcal{Z}$-stability is equivalent to almost finiteness of the action, provided that the action has the small boundary property.
△ Less
Submitted 3 November, 2021; v1 submitted 27 January, 2020;
originally announced January 2020.
-
Analysis of adaptive BDF2 scheme for diffusion equations
Authors:
Hong-lin Liao,
Zhimin Zhang
Abstract:
The variable two-step backward differentiation formula (BDF2) is revisited via a new theoretical framework using the positive semi-definiteness of BDF2 convolution kernels and a class of orthogonal convolution kernels. We prove that, if the adjacent time-step ratios $r_k:=τ_k/τ_{k-1}\le(3+\sqrt{17})/2\approx3.561$, the adaptive BDF2 time-step** scheme for linear reaction-diffusion equations is u…
▽ More
The variable two-step backward differentiation formula (BDF2) is revisited via a new theoretical framework using the positive semi-definiteness of BDF2 convolution kernels and a class of orthogonal convolution kernels. We prove that, if the adjacent time-step ratios $r_k:=τ_k/τ_{k-1}\le(3+\sqrt{17})/2\approx3.561$, the adaptive BDF2 time-step** scheme for linear reaction-diffusion equations is unconditionally stable and (maybe, first-order) convergent in the $L^2$ norm. The second-order temporal convergence can be recovered if almost all of time-step ratios $r_k\le 1+\sqrt{2}$ or some high-order starting scheme is used. Specially, for linear dissipative diffusion problems, the stable BDF2 method preserves both the energy dissipation law (in the $H^1$ seminorm) and the $L^2$ norm monotonicity at the discrete levels. An example is included to support our analysis.
△ Less
Submitted 23 December, 2019;
originally announced December 2019.
-
On the automorphism groups of graphs with twice prime valency
Authors:
Hong Ci Liao,
**g Jian Li,
Zai ** Lu
Abstract:
A graph is edge-transitive if its automorphism group acts transitively on the edge set. In this paper, we investigate the automorphism groups of edge-transitive graphs of odd order and twice prime valency. Let $Γ$ be a connected graph of odd order and twice prime valency, and let $G$ be a subgroup of the automorphism group of $\Ga$. In the case where $G$ acts transitively on the edges and quasipri…
▽ More
A graph is edge-transitive if its automorphism group acts transitively on the edge set. In this paper, we investigate the automorphism groups of edge-transitive graphs of odd order and twice prime valency. Let $Γ$ be a connected graph of odd order and twice prime valency, and let $G$ be a subgroup of the automorphism group of $\Ga$. In the case where $G$ acts transitively on the edges and quasiprimitively on the vertices of $\Ga$, we prove that either $G$ is almost simple or $G$ is a primitive group of affine type. If further $G$ is an almost simple primitive group then, with two exceptions, the socle of $G$ acts transitively on the edges of $Γ$.
△ Less
Submitted 10 October, 2019;
originally announced October 2019.
-
Adaptive linear second-order energy stable schemes for time-fractional Allen-Cahn equation with volume constraint
Authors:
Bingquan Ji,
Hong-lin Liao,
Yuezheng Gong,
Luming Zhang
Abstract:
A time-fractional Allen-Cahn equation with volume constraint is first proposed by introducing a nonlocal time-dependent Lagrange multiplier. Adaptive linear second-order energy stable schemes are developed for the proposed model by combining invariant energy quadratization and scalar auxiliary variable approaches with the recent L1$^{+}$ formula. The new developed methods are proved to be volume-p…
▽ More
A time-fractional Allen-Cahn equation with volume constraint is first proposed by introducing a nonlocal time-dependent Lagrange multiplier. Adaptive linear second-order energy stable schemes are developed for the proposed model by combining invariant energy quadratization and scalar auxiliary variable approaches with the recent L1$^{+}$ formula. The new developed methods are proved to be volume-preserving and unconditionally energy stable on arbitrary nonuniform time meshes. The accelerated algorithm and adaptive time strategy are employed in numerical implement. Numerical results show that the proposed algorithms are computationally efficient in multi-scale simulations, and appropriate for accurately resolving the intrinsically initial singularity of solution and for efficiently capturing the fast dynamics away initial time.
△ Less
Submitted 24 September, 2019;
originally announced September 2019.
-
A second-order and nonuniform time-step** maximum-principle preserving scheme for time-fractional Allen-Cahn equations
Authors:
Hong-lin Liao,
Tao Tang,
Tao Zhou
Abstract:
In this work, we present a second-order nonuniform time-step** scheme for the time-fractional Allen-Cahn equation. We show that the proposed scheme preserves the discrete maximum principle, and by using the convolution structure of consistency error, we present sharp maximum-norm error estimates which reflect the temporal regularity. As our analysis is built on nonuniform time steps, we may reso…
▽ More
In this work, we present a second-order nonuniform time-step** scheme for the time-fractional Allen-Cahn equation. We show that the proposed scheme preserves the discrete maximum principle, and by using the convolution structure of consistency error, we present sharp maximum-norm error estimates which reflect the temporal regularity. As our analysis is built on nonuniform time steps, we may resolve the intrinsic initial singularity by using the graded meshes. Moreover, we propose an adaptive time-step** strategy for large time simulations. Numerical experiments are presented to show the effectiveness of the proposed scheme. This seems to be the first second-order maximum principle preserving scheme for the time-fractional Allen-Cahn equation.
△ Less
Submitted 23 September, 2019;
originally announced September 2019.
-
Optimal Dividend Strategy for an Insurance Group with Contagious Default Risk
Authors:
Zhuo **,
Huafu Liao,
Yue Yang,
Xiang Yu
Abstract:
This paper studies the optimal dividend for a multi-line insurance group, in which each subsidiary runs a product line and is exposed to some external credit risk. The default contagion is considered such that one default event may increase the default probabilities of all surviving subsidiaries. The total dividend problem for the insurance group is investigated and we find that the optimal divide…
▽ More
This paper studies the optimal dividend for a multi-line insurance group, in which each subsidiary runs a product line and is exposed to some external credit risk. The default contagion is considered such that one default event may increase the default probabilities of all surviving subsidiaries. The total dividend problem for the insurance group is investigated and we find that the optimal dividend strategy is still of the barrier type. Furthermore, we show that the optimal barrier of each subsidiary is modulated by the default state. That is, how many and which subsidiaries have defaulted will determine the dividend threshold of each surviving subsidiary. These conclusions are based on the analysis of the associated recursive system of Hamilton-Jacobi-Bellman variational inequalities (HJBVIs). The existence of the classical solution is established and the verification theorem is proved. In the case of two subsidiaries, the value function and optimal barriers are given in analytical forms, allowing us to conclude that the optimal barrier of one subsidiary decreases if the other subsidiary defaults.
△ Less
Submitted 29 October, 2020; v1 submitted 20 September, 2019;
originally announced September 2019.
-
A fourth-order compact solver for fractional-in-time fourth-order diffusion equations
Authors:
Jialing Zhong,
Hong-lin Liao,
Bingquan Ji,
Luming Zhang
Abstract:
A fourth-order compact scheme is proposed for a fourth-order subdiffusion equation with the first Dirichlet boundary conditions. The fourth-order problem is firstly reduced into a couple of spatially second-order system and we use an averaged operator to construct a fourth-order spatial approximation. This averaged operator is compact since it involves only two grid points for the derivative bound…
▽ More
A fourth-order compact scheme is proposed for a fourth-order subdiffusion equation with the first Dirichlet boundary conditions. The fourth-order problem is firstly reduced into a couple of spatially second-order system and we use an averaged operator to construct a fourth-order spatial approximation. This averaged operator is compact since it involves only two grid points for the derivative boundary conditions. The L1 formula on irregular mesh is considered for the Caputo fractional derivative, so we can resolve the initial singularity of solution by putting more grid points near the initial time. The stability and convergence are established by using three theoretical tools: a complementary discrete convolution kernel, a discrete fractional Gronwall inequality and an error convolution structure. Some numerical experiments are reported to demonstrate the accuracy and efficiency of our method.
△ Less
Submitted 2 July, 2019;
originally announced July 2019.
-
Adaptive second-order Crank-Nicolson time-step** schemes for time fractional molecular beam epitaxial growth models
Authors:
Bingquan Ji,
Hong-lin Liao,
Yuezheng Gong,
Luming Zhang
Abstract:
Adaptive second-order Crank-Nicolson time-step** methods using the recent scalar auxiliary variable (SAV) approach are developed for the time-fractional Molecular Beam Epitaxial models with Caputo's derivative. Based on the piecewise linear interpolation, the Caputo's fractional derivative is approximated by a novel second-order formula, which is naturally suitable for a general class of nonunif…
▽ More
Adaptive second-order Crank-Nicolson time-step** methods using the recent scalar auxiliary variable (SAV) approach are developed for the time-fractional Molecular Beam Epitaxial models with Caputo's derivative. Based on the piecewise linear interpolation, the Caputo's fractional derivative is approximated by a novel second-order formula, which is naturally suitable for a general class of nonuniform meshes and essentially preserves the positive semi-definite property of integral kernel. The resulting Crank-Nicolson SAV time-step** schemes are unconditional energy stable on nonuniform time meshes, and are computationally efficient in multiscale time simulations when combined with adaptive time steps, such as are appropriate for accurately resolving the intrinsically initial singularity of solution and for efficiently capturing fast dynamics away from the initial time. Numerical examples are presented to show the effectiveness of our methods.
△ Less
Submitted 27 June, 2019;
originally announced June 2019.
-
Simple maximum-principle preserving time-step** methods for time-fractional Allen-Cahn equation
Authors:
Bingquan Ji,
Hong-lin Liao,
Luming Zhang
Abstract:
Two fast L1 time-step** methods, including the backward Euler and stabilized semi-implicit schemes, are suggested for the time-fractional Allen-Cahn equation with Caputo's derivative. The time mesh is refined near the initial time to resolve the intrinsically initial singularity of solution, and unequal time-steps are always incorporated into our approaches so that an adaptive time-step** stra…
▽ More
Two fast L1 time-step** methods, including the backward Euler and stabilized semi-implicit schemes, are suggested for the time-fractional Allen-Cahn equation with Caputo's derivative. The time mesh is refined near the initial time to resolve the intrinsically initial singularity of solution, and unequal time-steps are always incorporated into our approaches so that an adaptive time-step** strategy can be used in long-time simulations. It is shown that the proposed schemes using the fast L1 formula preserve the discrete maximum principle. Sharp error estimates reflecting the time regularity of solution are established by applying the discrete fractional Grönwall inequality and global consistency analysis. Numerical experiments are presented to show the effectiveness of our methods and to confirm our analysis.
△ Less
Submitted 27 June, 2019;
originally announced June 2019.
-
On edge-primitive graphs with soluble edge-stabilizers
Authors:
Huan Han,
Hong Ci Liao,
Zai ** Lu
Abstract:
A graph is edge-primitive if its automorphism group acts primitively on the edge set, and 2-arc-transitive if its automorphism group acts transitively on the set of 2-arcs. In this paper, we present a classification for those edge-primitive graphs which are 2-arc-transitive and have soluble edge-stabilizers.
A graph is edge-primitive if its automorphism group acts primitively on the edge set, and 2-arc-transitive if its automorphism group acts transitively on the set of 2-arcs. In this paper, we present a classification for those edge-primitive graphs which are 2-arc-transitive and have soluble edge-stabilizers.
△ Less
Submitted 7 October, 2020; v1 submitted 22 June, 2019;
originally announced June 2019.