Showing 1–49 of 49 results for author: Guo, L

Geometric constraints on Ekman boundary layer solutions in non-flat regions with well-prepared data

Authors: Yifei Jia, Yi Du, Lihui Guo

Abstract: The construction of Ekman boundary layer solutions near the non-flat boundaries presents a complex challenge, with limited research on this issue. In Masmoudi's pioneering work [Comm. Pure Appl. Math. 53 (2000), 432--483], the Ekman boundary layer solution was investigated on the domain $\mathbb{T}^2\times [\varepsilon f(x,y), 1]$, where $\varepsilon$ is a small constant and $f(x,y)$ denotes a per… ▽ More The construction of Ekman boundary layer solutions near the non-flat boundaries presents a complex challenge, with limited research on this issue. In Masmoudi's pioneering work [Comm. Pure Appl. Math. 53 (2000), 432--483], the Ekman boundary layer solution was investigated on the domain $\mathbb{T}^2\times [\varepsilon f(x,y), 1]$, where $\varepsilon$ is a small constant and $f(x,y)$ denotes a periodic smooth function. This study investigates the influence of the geometric structure of the boundary $B(x,y)$ within the boundary layer. Specifically, for well-prepared initial data in the domain $\mathbb{R}^2\times[B(x,y), B(x,y)+2]$, if the boundary surface $B(x,y)$ is smooth and satisfies certain geometric constraints concerning its Gaussian and mean curvatures, then we derive an approximate boundary layer solution. Additionally, according to the curvature and incompressible conditions, the limit system we constructed is a 2D primitive system with damping and rotational effects. From the model's background, it reflects the characteristics arising from rotational effects. Finally, we validate the convergence of this approximate solution. No smallness condition on the amplitude of boundary $B(x, y)$ is required. △ Less

Submitted 21 October, 2024; v1 submitted 14 August, 2024; originally announced August 2024.

Solving the Poisson Yang-Baxter equation via deformation-to-quasiclassical-limits

Authors: Siyuan Chen, Chengming Bai, Li Guo

Abstract: A fundamental construction of Poisson algebras is to derive them as the quasiclassical limits (QCLs) of associative algebra deformations of commutative associative algebras. This paper lifts this process to the level of classical Yang-Baxter type equations. Solutions of the Poisson Yang-Baxter equation (PYBE) in Poisson algebras is obtained by scalarly deforming solutions of the associative Yang-B… ▽ More A fundamental construction of Poisson algebras is to derive them as the quasiclassical limits (QCLs) of associative algebra deformations of commutative associative algebras. This paper lifts this process to the level of classical Yang-Baxter type equations. Solutions of the Poisson Yang-Baxter equation (PYBE) in Poisson algebras is obtained by scalarly deforming solutions of the associative Yang-Baxter equation (AYBE) in commutative associative algebras. Inspired by the characterization of solutions of various classical Yang-Baxter type equations by $\mathcal{O}$-operators, we introduce the notions of deformations of (bi)module algebras and scalar deformations of the corresponding $\mathcal{O}$-operators, from which the QCLs give $\mathcal{O}$-operators for Poisson algebras, which in turn provide solutions of the PYBE. Furthermore, as the QCLs of tridendriform algebra deformations of commutative tridendriform algebras, post-Poisson algebras produce deformations-QCLs of $\mathcal{O}$-operators for Poisson algebras, thus offering explicit solutions of the PYBE. △ Less

Submitted 27 November, 2024; v1 submitted 17 April, 2024; originally announced April 2024.

Comments: 30 pages

MSC Class: 13D10; 16W60; 17B38; 17B63; 53D55; 13N15

Deformation families of Novikov bialgebras via differential antisymmetric infinitesimal bialgebras

Authors: Yanyong Hong, Chengming Bai, Li Guo

Abstract: Generalizing S. Gelfand's classical construction of a Novikov algebra from a commutative differential algebra, a deformation family $(A,\circ_q)$, for scalars $q$, of Novikov algebras is constructed from what we call an admissible commutative differential algebra, by adding a second linear operator to the commutative differential algebra with certain admissibility condition. The case of… ▽ More Generalizing S. Gelfand's classical construction of a Novikov algebra from a commutative differential algebra, a deformation family $(A,\circ_q)$, for scalars $q$, of Novikov algebras is constructed from what we call an admissible commutative differential algebra, by adding a second linear operator to the commutative differential algebra with certain admissibility condition. The case of $(A,\circ_0)$ recovers the construction of S. Gelfand. This admissibility condition also ensures a bialgebra theory of commutative differential algebras, enriching the antisymmetric infinitesimal bialgebra. This way, a deformation family of Novikov bialgebras is obtained, under the further condition that the two operators are bialgebra derivations. As a special case, we obtain a bialgebra variation of S. Gelfand's construction with an interesting twist: every commutative and cocommutative differential antisymmetric infinitesimal bialgebra gives rise to a Novikov bialgebra whose underlying Novikov algebra is $(A,\circ_{-\frac{1}{2}})$ instead of $(A,\circ_0)$. The close relations of the classical bialgebra theories with Manin triples, classical Yang-Baxter type equations, $\mathcal{O}$-operators, and pre-structures are expanded to the two new bialgebra theories, in a way that is compatible with the just established connection between the two bialgebras. As an application, Novikov bialgebras are obtained from admissible differential Zinbiel algebras. △ Less

Submitted 25 February, 2024; originally announced February 2024.

Comments: 30 pages

MSC Class: 16T10; 16T25; 16S80; 17B38; 13N10; 16W99; 17A30; 17D25

A bialgebra theory of Gel'fand-Dorfman algebras with applications to Lie conformal bialgebras

Authors: Yangyon Hong, Chengming Bai, Li Guo

Abstract: Gel'fand-Dorfman algebras (GD algebras) give a natural construction of Lie conformal algebras and are in turn characterized by this construction. In this paper, we define the Gel'fand-Dorfman bialgebra (GD bialgebras) and enrich the above construction to a construction of Lie conformal bialgebras by GD bialgebras. As a special case, Novikov bialgebras yield Lie conformal bialgebras. We further int… ▽ More Gel'fand-Dorfman algebras (GD algebras) give a natural construction of Lie conformal algebras and are in turn characterized by this construction. In this paper, we define the Gel'fand-Dorfman bialgebra (GD bialgebras) and enrich the above construction to a construction of Lie conformal bialgebras by GD bialgebras. As a special case, Novikov bialgebras yield Lie conformal bialgebras. We further introduce the notion of the Gel'fand-Dorfman Yang-Baxter equation (GDYBE), whose skew-symmetric solutions produce GD bialgebras. Moreover, the notions of $\mathcal{O}$-operators on GD algebras and pre-Gel'fand-Dorfman algebras (pre-GD algebras) are introduced to provide skew-symmetric solutions of the GDYBE. The relationships between these notions for GD algebras and the corresponding ones for Lie conformal algebras are given. In particular, there is a natural construction of Lie conformal bialgebras from pre-GD algebras. Finally, GD bialgebras are characterized by certain matched pairs and Manin triples of GD algebras. △ Less

Submitted 24 January, 2024; originally announced January 2024.

Comments: 30 pages

MSC Class: 17A30; 17B62; 17B69; 17B38; 17D25; 81T40

Extended Rota-Baxter algebras, diagonally colored Delannoy paths and Hopf algebras

Authors: Shanghua Zheng, Li Guo, Huizhen Qiu

Abstract: The Rota-Baxter operator and the modified Rota-Baxter operator on various algebras are both important in mathematics and mathematical physics. The former is originated from the integration-by-parts formula and probability with applications to the renormalization of quantum field theory and the classical Yang-Baxter equation. The latter originated from Hilbert transformations with applications to e… ▽ More The Rota-Baxter operator and the modified Rota-Baxter operator on various algebras are both important in mathematics and mathematical physics. The former is originated from the integration-by-parts formula and probability with applications to the renormalization of quantum field theory and the classical Yang-Baxter equation. The latter originated from Hilbert transformations with applications to ergodic theory and the modified Yang-Baxter equation. Their merged form, called the extended Rota-Baxter operators, has also found interesting applications recently. This paper presents a systematic study of the extended Rota-Baxter operator. We show that while extended Rota-Baxter operators have properties similar to Rota-Baxter operators; they provide a linear structure that unifies Rota-Baxter operators and modified Rota-Baxter operators. Examples of extended Rota-Baxter operators are also given, especially from polynomials and Laurent series due to their importance in ($q$-)integration and the renormalization in quantum field theory. We then construct free commutative extended Rota-Baxter operators by a generalization of the quasi-shuffle product. The multiplication of the initial object in the category of commutative extended Rota-Baxter operators allows a combinatorial interpretation in terms of a color-enrichment of Delannoy paths. Applying its universal property, we equip a free commutative extended Rota-Baxter operators with a coproduct which has a cocycle condition, yielding a bialgebraic structure. We then show that this bialgebra on a free extended Rota-Baxter operators possesses an increasing filtration and a connectedness property, culminating at a Hopf algebraic structure on a free commutative extended Rota-Baxter operator. △ Less

Submitted 25 January, 2024; v1 submitted 20 January, 2024; originally announced January 2024.

Comments: 30 pages, 1 figure. Comments welcome

MSC Class: 16W99; 17B37; 16S10; 16T10; 16T30; 57R56

Hopf algebras for the shuffle algebra and fractions from multiple zeta values

Authors: Li Guo, Wenchuan Hu, Hongyu Xiang, Bin Zhang

Abstract: The algebra of multiple zeta values (MZVs) is encoded as a stuffle (quasi-shuffle) algebra and a shuffle algebra. The MZV stuffle algebra has a natural Hopf algebra structure. This paper equips a Hopf algebra structure to the MZV shuffle algebra. The needed coproduct is defined by a recursion through a family of weight-increasing linear operators. To verify the Hopf algebra axioms, we make use of… ▽ More The algebra of multiple zeta values (MZVs) is encoded as a stuffle (quasi-shuffle) algebra and a shuffle algebra. The MZV stuffle algebra has a natural Hopf algebra structure. This paper equips a Hopf algebra structure to the MZV shuffle algebra. The needed coproduct is defined by a recursion through a family of weight-increasing linear operators. To verify the Hopf algebra axioms, we make use of a family of fractions, called Chen fractions, that have been used to study MZVs and also serve as the function model for the MZV shuffle algebra. Applying natural derivations on functions and working in the context of locality, a locality Hopf algebra structure is established on the linear span of Chen fractions. This locality Hopf algebra is then shown to descend to a Hopf algebra on the MZV shuffle algebra, whose coproduct satisfies the same recursion as the first-defined coproduct. Thus the two coproducts coincide, establishing the needed Hopf algebra axioms on the MZV shuffle algebra. △ Less

Submitted 3 June, 2025; v1 submitted 29 December, 2023; originally announced January 2024.

Parity duality of super $r$-matrices via $\mathcal O$-operators and pre-Lie superalgebras

Authors: Chengming Bai, Li Guo, Runxuan Zhang

Abstract: This paper studies super $r$-matrices and operator forms of the super classical Yang-Baxter equation. First by a unified treatment, the classical correspondence between $r$-matrices and $\mathcal{O}$-operators is generalized to a correspondence between homogeneous super $r$-matrices and homogeneous $\mathcal{O}$-operators. Next, by a parity reverse of Lie superalgebra representations, a duality is… ▽ More This paper studies super $r$-matrices and operator forms of the super classical Yang-Baxter equation. First by a unified treatment, the classical correspondence between $r$-matrices and $\mathcal{O}$-operators is generalized to a correspondence between homogeneous super $r$-matrices and homogeneous $\mathcal{O}$-operators. Next, by a parity reverse of Lie superalgebra representations, a duality is established between the even and the odd $\mathcal{O}$-operators, giving rise to a parity duality among the induced super $r$-matrices. Thus any homogeneous $\OO$-operator or any homogeneous super $r$-matrix with certain supersymmetry produces a parity pair of super $r$-matrices, and generates an infinite tree hierarchy of homogeneous super $r$-matrices. Finally, a pre-Lie superalgebra naturally defines a parity pair of $\mathcal{O}$-operators, and thus a parity pair of super $r$-matrices. △ Less

Submitted 9 September, 2023; originally announced September 2023.

Comments: 26 pages; to appear in Math Research Letters

MSC Class: 17B10; 17B38; 16T23; 17B81; 81R05; 17B80; 17B60

On Rota-Baxter vertex operator algebras

Authors: Chengming Bai, Li Guo, Jianqi Liu, Xiaoyan Wang

Abstract: Derivations play a fundamental role in the definition of vertex (operator) algebras, sometimes regarded as a generalization of differential commutative algebras. This paper studies the role played by the integral counterpart of the derivations, namely Rota-Baxter operators, in vertex (operator) algebras. The closely related notion of dendriform algebras is also defined for vertex operator algebras… ▽ More Derivations play a fundamental role in the definition of vertex (operator) algebras, sometimes regarded as a generalization of differential commutative algebras. This paper studies the role played by the integral counterpart of the derivations, namely Rota-Baxter operators, in vertex (operator) algebras. The closely related notion of dendriform algebras is also defined for vertex operator algebras. It is shown that the classical relations among dendriform algebras, associative algebras, and Rota-Baxter algebras are preserved for their vertex algebra analogs. △ Less

Submitted 19 July, 2023; originally announced July 2023.

Classical Yang-Baxter equation for vertex operator algebras and its operator forms

Authors: Chengming Bai, Li Guo, Jianqi Liu

Abstract: In this paper we introduce an analog of the (classical) Yang-Baxter equation (CYBE) for vertex operator algebras (VOAs) in its tensor form, called the vertex operator Yang-Baxter equation (VOYBE). When specialized to level one of a vertex operator algebra, the VOYBE reduces to the CYBE for Lie algebras. To give an operator form of the VOYBE, we also introduce the notion of relative Rota-Baxter ope… ▽ More In this paper we introduce an analog of the (classical) Yang-Baxter equation (CYBE) for vertex operator algebras (VOAs) in its tensor form, called the vertex operator Yang-Baxter equation (VOYBE). When specialized to level one of a vertex operator algebra, the VOYBE reduces to the CYBE for Lie algebras. To give an operator form of the VOYBE, we also introduce the notion of relative Rota-Baxter operators (RBOs) as the VOA analog of relative RBOs (classically called $\mathcal{O}$-operators) for Lie algebras. It is shown that skewsymmetric solutions $r$ to the VOYBE in a VOA $U$ are characterized by the condition that their corresponding linear maps $T_r:U'\to U$ from the graded dual $U'$ of $U$ are relative RBOs. On the other hand, strong relative RBOs on a VOA $V$ associated to an ordinary $V$-module $W$ are characterized by the condition that their antisymmetrizers are solutions to the $0$-VOYBE in the semidirect product VOA $V\rtimes W'$. Specializing to the first level of a VOA, these relations between the solutions of the VOYBE and the relative RBOs for VOAs recover the classical relations between the solutions of the CYBE and the relative RBOs for Lie algebras. △ Less

Submitted 4 July, 2023; originally announced July 2023.

Comments: 30 pages

MSC Class: 17B69; 17B38; 17B10; 81R10; 17B68; 17B65; 81R12

Infinite-dimensional Lie bialgebras via affinization of Novikov bialgebras and Koszul duality

Authors: Yanyong Hong, Chengming Bai, Li Guo

Abstract: Balinsky and Novikov showed that the affinization of a Novikov algebra naturally defines a Lie algebra, a property that in fact characterizes the Novikov algebra. It is also an instance of the operadic Koszul duality. In this paper, we develop a bialgebra theory for the Novikov algebra, namely the Novikov bialgebra, which is characterized by the fact that its affinization (by a quadratic right Nov… ▽ More Balinsky and Novikov showed that the affinization of a Novikov algebra naturally defines a Lie algebra, a property that in fact characterizes the Novikov algebra. It is also an instance of the operadic Koszul duality. In this paper, we develop a bialgebra theory for the Novikov algebra, namely the Novikov bialgebra, which is characterized by the fact that its affinization (by a quadratic right Novikov algebra) gives an infinite-dimensional Lie bialgebra, suggesting a Koszul duality for properads. A Novikov bialgebra is also characterized as a Manin triple of Novikov algebras. The notion of Novikov Yang-Baxter equation is introduced, whose skewsymmetric solutions can be used to produce Novikov bialgebras and hence Lie bialgebras. Moreover, these solutions also give rise to skewsymmetric solutions of the classical Yang-Baxter equation in the infinite-dimensional Lie algebras from the Novikov algebras. △ Less

Submitted 28 February, 2023; originally announced March 2023.

Comments: 34 pages

MSC Class: 17A30; 17B62; 17B67; 17B65; 18M70; 17B38; 16S30; 17A60; 17D25

Locality Galois groups of meromorphic germs in several variables

Authors: Li Guo, Sylvie Paycha, Bin Zhang

Abstract: Meromorphic germs in several variables with linear poles naturally arise in mathematics in various disguises. We investigate their rich structures under the prism of locality, including locality subalgebras, locality transformation groups and locality characters. The key technical tool is the dependence subspace for a meromorphic germ with which we define a locality orthogonal relation between two… ▽ More Meromorphic germs in several variables with linear poles naturally arise in mathematics in various disguises. We investigate their rich structures under the prism of locality, including locality subalgebras, locality transformation groups and locality characters. The key technical tool is the dependence subspace for a meromorphic germ with which we define a locality orthogonal relation between two meromorphic germs. We describe the structure of locality subalgebras generated by classes of meromorphic germs with certain types of poles. We also define and determine their group of locality transformations which fix the holomorphic germs and preserve multivariable residues, a group we call the locality Galois group. We then specialise to two classes of meromorphic germs with prescribed types of nested poles, arising from multiple zeta functions in number theory and Feynman integrals in perturbative quantum field theory respectively. We show that they are locality polynomial subalgebras with locality polynomial bases given by the locality counterpart of Lyndon words. This enables us to explicitly describe their locality Galois group. As an application, we propose a mathematical interpretation of Speer's analytic renormalisation for Feynman amplitudes. We study a class of locality characters, called generalised evaluators after Speer. We show that the locality Galois group acts transitively on generalised evaluators by composition, thus providing a candidate for a renormalisation group in this multivariable approach. △ Less

Submitted 5 January, 2023; originally announced January 2023.

Rota-Baxter Lie bialgebras, classical Yang-Baxter equations and special L-dendriform bialgebras

Authors: Chengming Bai, Li Guo, Guilai Liu, Tianshui Ma

Abstract: We establish a bialgebra structure on Rota-Baxter Lie algebras following the Manin triple approach to Lie bialgebras. Explicitly, Rota-Baxter Lie bialgebras are characterized by generalizing matched pairs of Lie algebras and Manin triples of Lie algebras to the context of Rota-Baxter Lie algebras. The coboundary case leads to the introduction of the admissible classical Yang-Baxter equation (CYBE)… ▽ More We establish a bialgebra structure on Rota-Baxter Lie algebras following the Manin triple approach to Lie bialgebras. Explicitly, Rota-Baxter Lie bialgebras are characterized by generalizing matched pairs of Lie algebras and Manin triples of Lie algebras to the context of Rota-Baxter Lie algebras. The coboundary case leads to the introduction of the admissible classical Yang-Baxter equation (CYBE) in Rota-Baxter Lie algebras, for which the antisymmetric solutions give rise to Rota-Baxter Lie bialgebras. The notions of $\mathcal{O}$-operators on Rota-Baxter Lie algebras and Rota-Baxter pre-Lie algebras are introduced to produce antisymmetric solutions of the admissible CYBE. Furthermore, extending the well-known property that a Rota-Baxter Lie algebra of weight zero induces a pre-Lie algebra, the Rota-Baxter Lie bialgebra of weight zero induces a bialgebra structure of independent interest, namely the special L-dendriform bialgebra, which is equivalent to a Lie group with a left-invariant flat pseudo-metric in geometry. This induction is also characterized as the inductions between the corresponding Manin triples and matched pairs. Finally, antisymmetric solutions of the admissible CYBE in a Rota-Baxter Lie algebra of weight zero give special L-dendriform bialgebras. In particular, both Rota-Baxter algebras of weight zero and Rota-Baxter pre-Lie algebras of weight zero can be used to construct special L-dendriform algebras. △ Less

Submitted 18 July, 2022; originally announced July 2022.

Comments: 29 pages

MSC Class: 17B38; 17B62; 17B10; 16T25; 17A30; 17A36; 17D25

Asymptotic dynamics of higher-order lumps in the Davey-Stewartson II equation

Authors: Lijuan Guo, P. G. Kevrekidis, Jingsong He

Abstract: A family of higher-order rational lumps on non-zero constant background of Davey-Stewartson (DS) II equation are investigated. These solutions have multiple peaks whose heights and trajectories are approximately given by asymptotical analysis. It is found that the heights are time-dependent and for large time they approach the same constant height value of the first-order fundamental lump. The res… ▽ More A family of higher-order rational lumps on non-zero constant background of Davey-Stewartson (DS) II equation are investigated. These solutions have multiple peaks whose heights and trajectories are approximately given by asymptotical analysis. It is found that the heights are time-dependent and for large time they approach the same constant height value of the first-order fundamental lump. The resulting trajectories are considered and it is found that the scattering angle can assume arbitrary values in the interval of $(\fracπ{2}, π)$ which is markedly distinct from the necessary orthogonal scattering for the higher-order lumps on zero background. Additionally, it is illustrated that the higher-order lumps containing multi-peaked $n$-lumps can be regarded as a nonlinear superposition of $n$ first-order ones as $|t|\rightarrow\infty$. △ Less

Submitted 8 December, 2022; v1 submitted 23 March, 2022; originally announced March 2022.

Comments: 17 pages,10 figures

MSC Class: 35C08; 35Q51; 37K35; 37K40

Journal ref: J.Phys.A:Math.Theor.55(2022)475701

Renormalization of quasisymmetric functions

Authors: Li Guo, Houyi Yu, Bin Zhang

Abstract: As a natural basis of the Hopf algebra of quasisymmetric functions, monomial quasisymmetric functions are formal power series defined from compositions. The same definition applies to left weak compositions, while leads to divergence for other weak compositions. We adapt the method of renormalization in quantum field theory, in the framework of Connes and Kreimer, to deal with such divergency. Thi… ▽ More As a natural basis of the Hopf algebra of quasisymmetric functions, monomial quasisymmetric functions are formal power series defined from compositions. The same definition applies to left weak compositions, while leads to divergence for other weak compositions. We adapt the method of renormalization in quantum field theory, in the framework of Connes and Kreimer, to deal with such divergency. This approach defines monomial quasisymmetric functions for any weak composition as power series while extending the quasi-shuffle (stuffle) relation satisfied by the usual quasisymmetric functions. The algebra of renormalized quasisymmetric functions thus obtained turns out to be isomorphic to the quasi-shuffle algebra of weak compositions, giving the former a natural Hopf algebra structure and the latter a power series realization. This isomorphism also gives the free commutative Rota-Baxter algebra a power series realization, in support of a suggestion of Rota that Rota-Baxter algebra should provide a broad context for generalizations of symmetric functions. △ Less

Submitted 22 December, 2020; originally announced December 2020.

Comments: 27 pages

MSC Class: 05E05; 81%15; 16T05; 17B38; 11M32; 16W99; 11B73

Integration and geometrization of Rota-Baxter Lie algebras

Authors: Li Guo, Honglei Lang, Yunhe Sheng

Abstract: This paper first introduces the notion of a Rota-Baxter operator (of weight $1$) on a Lie group so that its differentiation gives a Rota-Baxter operator on the corresponding Lie algebra. Direct products of Lie groups, including the decompositions of Iwasawa and Langlands, carry natural Rota-Baxter operators. Formal inverse of the Rota-Baxter operator on a Lie group is precisely the crossed homomor… ▽ More This paper first introduces the notion of a Rota-Baxter operator (of weight $1$) on a Lie group so that its differentiation gives a Rota-Baxter operator on the corresponding Lie algebra. Direct products of Lie groups, including the decompositions of Iwasawa and Langlands, carry natural Rota-Baxter operators. Formal inverse of the Rota-Baxter operator on a Lie group is precisely the crossed homomorphism on the Lie group, whose tangent map is the differential operator of weight $1$ on a Lie algebra. A factorization theorem of Rota-Baxter Lie groups is proved, deriving directly on the Lie group level, the well-known global factorization theorems of Semenov-Tian-Shansky in his study of integrable systems. As geometrization, the notions of Rota-Baxter Lie algebroids and Rota-Baxter Lie groupoids are introduced, with the former a differentiation of the latter. Further, a Rota-Baxter Lie algebroid naturally gives rise to a post-Lie algebroid, generalizing the well-known fact for Rota-Baxter Lie algebras and post-Lie algebras. It is shown that the geometrization of a Rota-Baxter Lie algebra or a Rota-Baxter Lie group can be realized by its action on a manifold. Examples and applications are provided for these new notions. △ Less

Submitted 29 September, 2020; v1 submitted 7 September, 2020; originally announced September 2020.

Comments: 24 pages. Section 3 revised. Comments welcome

MSC Class: 22A22; 22E60; 17B38; 17B40; 81R12; 58C35

Journal ref: Adv. Math. 387 (2021), 107834

Operator forms of nonhomogeneous associative classical Yang-Baxter equation

Authors: Chengming Bai, Xing Gao, Li Guo, Yi Zhang

Abstract: This paper studies operator forms of the nonhomogeneous associative classical Yang-Baxter equation (nhacYBe), extending and generalizing such studies for the classical Yang-Baxter equation and associative Yang-Baxter equation that can be tracked back to the works of Semonov-Tian-Shansky and Kupershmidt on Rota-Baxter Lie algebras and $\mathcal{O}$-operators. In general, solutions of the nhacYBe ar… ▽ More This paper studies operator forms of the nonhomogeneous associative classical Yang-Baxter equation (nhacYBe), extending and generalizing such studies for the classical Yang-Baxter equation and associative Yang-Baxter equation that can be tracked back to the works of Semonov-Tian-Shansky and Kupershmidt on Rota-Baxter Lie algebras and $\mathcal{O}$-operators. In general, solutions of the nhacYBe are characterized in terms of generalized $\mathcal{O}$-operators. The characterization can be given by the classical $\mathcal{O}$-operators precisely when the solutions satisfy an invariant condition. When the invariant condition is compatible with a Frobenius algebra, such solutions have close relationships with Rota-Baxter operators on the Frobenius algebra. In general, solutions of the nhacYBe can be produced from Rota-Baxter operators, and then from $\mathcal{O}$-operators when the solutions are taken in semi-direct product algebras. In the other direction, Rota-Baxter operators can be obtained from solutions of the nhacYBe in unitizations of algebras. Finally a classifications of solutions of the nhacYBe satisfying the mentioned invariant condition in all unital complex algebras of dimensions two and three are obtained. All these solutions are shown to come from Rota-Baxter operators. △ Less

Submitted 16 July, 2021; v1 submitted 21 July, 2020; originally announced July 2020.

Comments: 28 pages

MSC Class: 17B38; 16W99; 17A30; 57R56

Transposed Poisson algebras, Novikov-Poisson algebras and 3-Lie algebras

Authors: C. Bai, R. Bai, L. Guo, Y. Wu

Abstract: We introduce a dual notion of the Poisson algebra by exchanging the roles of the two binary operations in the Leibniz rule defining the Poisson algebra. We show that the transposed Poisson algebra thus defined not only shares common properties of the Poisson algebra, including the closure under taking tensor products and the Koszul self-duality as an operad, but also admits a rich class of identit… ▽ More We introduce a dual notion of the Poisson algebra by exchanging the roles of the two binary operations in the Leibniz rule defining the Poisson algebra. We show that the transposed Poisson algebra thus defined not only shares common properties of the Poisson algebra, including the closure under taking tensor products and the Koszul self-duality as an operad, but also admits a rich class of identities. More significantly, a transposed Poisson algebra naturally arises from a Novikov-Poisson algebra by taking the commutator Lie algebra of the Novikov algebra. Consequently, the classic construction of a Poisson algebra from a commutative associative algebra with a pair of commuting derivations has a similar construction of a transposed Poisson algebra when there is one derivation. More broadly, the transposed Poisson algebra also captures the algebraic structures when the commutator is taken in pre-Lie Poisson algebras and two other Poisson type algebras. Furthermore, the transposed Poisson algebra improves two processes in~[17] that produce 3-Lie algebras from Poisson algebras with a strongness condition. When transposed Poisson algebras are used in one process, the strongness condition is no longer needed and the resulting 3-Lie algebra gives a transposed Poisson 3-Lie algebra. In the other process, the resulting 3-Lie algebra is shown to again give a transposed Poisson 3-Lie algebra. △ Less

Submitted 3 May, 2020; originally announced May 2020.

Comments: 25 pages

MSC Class: 17B63; 17A36; 18M70; 17D25; 17A40; 37J39; 53D17

Cohomologies, extensions and deformations of differential algebras with any weights

Authors: Li Guo, Yunnan Li, Yunhe Sheng, Guodong Zhou

Abstract: As an algebraic study of differential equations, differential algebras have been studied for a century and and become an important area of mathematics. In recent years the area has been expended to the noncommutative associative and Lie algebra contexts and to the case when the operator identity has a weight in order to include difference operators and difference algebras. This paper provides a co… ▽ More As an algebraic study of differential equations, differential algebras have been studied for a century and and become an important area of mathematics. In recent years the area has been expended to the noncommutative associative and Lie algebra contexts and to the case when the operator identity has a weight in order to include difference operators and difference algebras. This paper provides a cohomology theory for differential algebras of any weights. This gives a uniform approach to both the zero weight case which is similar to the earlier study of differential Lie algebras, and the non-zero weight case which poses new challenges. As applications, abelian extensions of a differential algebra are classified by the second cohomology group. Furthermore, formal deformations of differential algebras are obtained and the rigidity of a differential algebra is characterized by the vanishing of the second cohomology group. △ Less

Submitted 8 March, 2020; originally announced March 2020.

Comments: 21 pages

MSC Class: 16E40; 16S80; 12H05; 12H10; 16W25; 16S70

Journal ref: Theory Appl. Categories, Vol. 38, No. 37, 2022, pp. 1409-1433

Homotopy Rota-Baxter operators, homotopy $\mathcal{O}$-operators and homotopy post-Lie algebras

Authors: Rong Tang, Chengming Bai, Li Guo, Yunhe Sheng

Abstract: Rota-Baxter operators, $\mathcal{O}$-operators on Lie algebras and their interconnected pre-Lie and post-Lie algebras are important algebraic structures with applications in mathematical physics. This paper introduces the notions of a homotopy Rota-Baxter operator and a homotopy $\mathcal{O}$-operator on a symmetric graded Lie algebra. Their characterization by Maurer-Cartan elements of suitable d… ▽ More Rota-Baxter operators, $\mathcal{O}$-operators on Lie algebras and their interconnected pre-Lie and post-Lie algebras are important algebraic structures with applications in mathematical physics. This paper introduces the notions of a homotopy Rota-Baxter operator and a homotopy $\mathcal{O}$-operator on a symmetric graded Lie algebra. Their characterization by Maurer-Cartan elements of suitable differential graded Lie algebras is provided. Through the action of a homotopy $\mathcal{O}$-operator on a symmetric graded Lie algebra, we arrive at the notion of an operator homotopy post-Lie algebra, together with its characterization in terms of Maurer-Cartan elements. A cohomology theory of post-Lie algebras is established, with an application to 2-term skeletal operator homotopy post-Lie algebras. △ Less

Submitted 31 July, 2019; originally announced July 2019.

Comments: 29 pages

MSC Class: 17B10; 17B56; 17A42; 55P43

Journal ref: J. Noncommut. Geom. 17 (1) (2023), 1-35

Braided dendriform and tridendriform algebras and braided Hopf algebras of planar trees

Authors: Li Guo, Yunnan Li

Abstract: This paper introduces the braidings of dendriform algebras and tridendriform algebras. By studying free braided dendriform algebras, we obtain braidings of the Hopf algebras of Loday and Ronco of planar binary rooted trees. We also give a variation of the braiding of Foissy for the noncommutative Connes-Kreimer (a.k.a the Foissy-Holtkamp) Hopf algebra of planar rooted forests so that the well-know… ▽ More This paper introduces the braidings of dendriform algebras and tridendriform algebras. By studying free braided dendriform algebras, we obtain braidings of the Hopf algebras of Loday and Ronco of planar binary rooted trees. We also give a variation of the braiding of Foissy for the noncommutative Connes-Kreimer (a.k.a the Foissy-Holtkamp) Hopf algebra of planar rooted forests so that the well-known isomorphism between this Hopf algebra and the Loday-Ronco Hopf algebra is extended to the braided context. As free braided tridendriform algebras, we also give braided extension of the Hopf algebra of Loday and Ronco on planar rooted trees. △ Less

Submitted 14 June, 2019; originally announced June 2019.

Comments: 29 pages

MSC Class: 16T05; 16T25; 16W99; 05C05

Journal ref: J. Algebraic Combin. 53 (2021), 1147-1185

Braided Rota-Baxter algebras, quantum quasi-shuffle algebras and braided dendriform algebras

Authors: Li Guo, Yunnan Li

Abstract: Rota-Baxter algebras and the closely related dendriform algebras have important physics applications, especially to renormalization of quantum field theory. Braided structures provide effective ways of quantization such as for quantum groups. Continuing recent study relating the two structures, this paper considers Rota-Baxter algebras and dendriform algebras in the braided contexts. Applying the… ▽ More Rota-Baxter algebras and the closely related dendriform algebras have important physics applications, especially to renormalization of quantum field theory. Braided structures provide effective ways of quantization such as for quantum groups. Continuing recent study relating the two structures, this paper considers Rota-Baxter algebras and dendriform algebras in the braided contexts. Applying the quantum shuffle and quantum quasi-shuffle products, we construct free objects in the categories of braided Rota-Baxter algebras and braided dendriform algebras, under the commutativity condition. We further generalize the notion of dendriform Hopf algebras to the braided context and show that quantum shuffle algebra gives a braided dendriform Hopf algebra. Enveloping braided commutative Rota-Baxter algebras of braided commutative dendriform algebras are obtained. △ Less

Submitted 9 January, 2019; originally announced January 2019.

Comments: 20 pages

MSC Class: 16T05; 16W99; 16T25; 17B37

Journal ref: Journal Algebra and Its Applications, 2021

Locality and renormalisation: universal properties and integrals on trees

Authors: Pierre Clavier, Li Guo, Sylvie Paycha, Bin Zhang

Abstract: The purpose of this paper is to build an algebraic framework suited to regularise branched structures emanating from rooted forests and which encodes the locality principle. This is achieved by means of the universal properties in the locality framework of properly decorated rooted forests. These universal properties are then applied to derive the multivariate regularisation of integrals indexed b… ▽ More The purpose of this paper is to build an algebraic framework suited to regularise branched structures emanating from rooted forests and which encodes the locality principle. This is achieved by means of the universal properties in the locality framework of properly decorated rooted forests. These universal properties are then applied to derive the multivariate regularisation of integrals indexed by rooted forests. We study their renormalisation, along the lines of Kreimer's toy model for Feynman integrals. △ Less

Submitted 23 June, 2019; v1 submitted 3 November, 2018; originally announced November 2018.

Comments: 25 pages

MSC Class: 08A55; 16T99; 81T15; 32A20; 52B20

Journal ref: J. Math Phys, 61 (2020), 022301, 19 pp

Renormalisation via locality morphisms

Authors: Pierre Clavier, Li Guo, Sylvie Paycha, Bin Zhang

Abstract: This is a survey on renormalisation in the locality setup highlighting the role that locality morphisms can play for renormalisation purposes. Having set up a general framework to build regularisation maps, we illustrate renormalisation by locality algebra homomorphisms on three examples, the renormalisation at poles of conical zeta functions, branched zeta functions and iterated integrals stemmin… ▽ More This is a survey on renormalisation in the locality setup highlighting the role that locality morphisms can play for renormalisation purposes. Having set up a general framework to build regularisation maps, we illustrate renormalisation by locality algebra homomorphisms on three examples, the renormalisation at poles of conical zeta functions, branched zeta functions and iterated integrals stemming from Kreimer's toy model. △ Less

Submitted 7 October, 2018; originally announced October 2018.

MSC Class: 08A55; 16T99; 81T15; 32A20; 52B20

Journal ref: Revista Colombiana de Matemáticas, 53 (2019), 113-141

Renormalisation and locality: branched zeta values

Authors: Pierre Clavier, Li Guo, Sylvie Paycha, Bin Zhang

Abstract: Multivariate renormalisation techniques are implemented in order to build, study and then renormalise at the poles, branched zeta functions associated with trees. For this purpose, we first prove algebraic results and develop analytic tools, which we then combine to study branched zeta functions. The algebraic aspects concern universal properties for locality algebraic structures, some of which ha… ▽ More Multivariate renormalisation techniques are implemented in order to build, study and then renormalise at the poles, branched zeta functions associated with trees. For this purpose, we first prove algebraic results and develop analytic tools, which we then combine to study branched zeta functions. The algebraic aspects concern universal properties for locality algebraic structures, some of which had been discussed in previous work; we "branch/ lift" to trees operators acting on the decoration set of trees, and factorise branched maps through words by means of universal properties for words which we prove in the locality setup. The analytic tools are multivariate meromorphic germs of pseudodifferential symbols with linear poles which generalise the meromorphic germs of functions with linear poles studied in previous work. Multivariate meromorphic germs of pseudodifferential symbols form a locality algebra on which we build various locality maps in the framework of locality structures. We first show that the finite part at infinity defines a locality character from the latter symbol valued meromorphic germs to the scalar valued ones. We further equip the locality algebra of germs of pseudodifferential symbols with locality Rota-Baxter operators given by regularised sums and integrals. By means of the universal properties in the framework of locality structures we can lift Rota-Baxter operators to trees, and use the lifted discrete sums in order to build and study renormalised branched zeta values associated with trees. By construction these renormalised branched zeta values factorise on mutually independent (for the locality relation) trees. △ Less

Submitted 9 October, 2018; v1 submitted 19 July, 2018; originally announced July 2018.

MSC Class: 8A55; 16T99; 81T15; 32A20; 52B20

Journal ref: IRMA Lect. in Math. and Theor. Phys. 32 (2020), 85-132

Deformations and their controlling cohomologies of $\mathcal{O}$-operators

Authors: Rong Tang, Chengming Bai, Li Guo, Yunhe Sheng

Abstract: $\mathcal{O}$-operators are important in broad areas in mathematics and physics, such as integrable systems, the classical Yang-Baxter equation, pre-Lie algebras and splitting of operads. In this paper, a deformation theory of $\mathcal{O}$-operators is established in consistence with the general principles of deformation theories. On the one hand, $\mathcal{O}… ▽ More $\mathcal{O}$-operators are important in broad areas in mathematics and physics, such as integrable systems, the classical Yang-Baxter equation, pre-Lie algebras and splitting of operads. In this paper, a deformation theory of $\mathcal{O}$-operators is established in consistence with the general principles of deformation theories. On the one hand, $\mathcal{O}$-operators are shown to be characterized as the Maurer-Cartan elements in a suitable graded Lie algebra. A given $\mathcal{O}$-operator gives rise to a differential graded Lie algebra whose Maurer-Cartan elements characterize deformations of the given $\mathcal{O}$-operator. On the other hand, a Lie algebra with a representation is identified from an $\mathcal{O}$-operator $T$ such that the corresponding Chevalley-Eilenberg cohomology controls deformations of $T$, thus can be regarded as an analogue of the André-Quillen cohomology for the $\mathcal{O}$-operator. Thereafter, infinitesimal and formal deformations of $\mathcal{O}$-operators are studied. In particular, the notion of Nijenhuis elements is introduced to characterize trivial infinitesimal deformations. Formal deformations and extendibility of order $n$ deformations of an $\mathcal{O}$-operator are also characterized in terms of the new cohomology theory. Applications are given to deformations of Rota-Baxter operators of weight 0 and skew-symmetric $r$-matrices for the classical Yang-Baxter equation. For skew-symmetric $r$-matrices, there is an independent Maurer-Cartan characterization of the deformations as well as an analogue of the André-Quillen cohomology controlling the deformations, which turn out to be equivalent to the ones obtained as $\mathcal{O}$-operators associated to the coadjoint representations. Finally, infinitesimal deformations of skew-symmetric $r$-matrices and their corresponding triangular Lie bialgebras are studied. △ Less

Submitted 25 March, 2018; originally announced March 2018.

Comments: 31 pages

MSC Class: 17B37; 81R50; 17B56; 81R12; 16T26; 17A30; 17B62

Journal ref: Comm Math Phys 368, 665-700 (2019)

An algebraic formulation of the locality principle in renormalisation

Authors: Pierre Clavier, Li Guo, Sylvie Paycha, Bin Zhang

Abstract: We study the mathematical structure underlying the concept of locality which lies at the heart of classical and quantum field theory, and develop a machinery used to preserve locality during the renormalisation procedure. Viewing renormalisation in the framework of Connes and Kreimer as the algebraic Birkhoff factorisation of characters on a Hopf algebra with values in a Rota-Baxter algebra, we bu… ▽ More We study the mathematical structure underlying the concept of locality which lies at the heart of classical and quantum field theory, and develop a machinery used to preserve locality during the renormalisation procedure. Viewing renormalisation in the framework of Connes and Kreimer as the algebraic Birkhoff factorisation of characters on a Hopf algebra with values in a Rota-Baxter algebra, we build locality variants of these algebraic structures, leading to a locality variant of the algebraic Birkhoff factorisation. This provides an algebraic formulation of the conservation of locality while renormalising. As an application in the context of the Euler-Maclaurin formula on cones, we renormalise the exponential generating function which sums over the lattice points in convex cones. For a suitable multivariate regularisation, renormalisation from the algebraic Birkhoff factorisation amounts to composition by a projection onto holomorphic multivariate functions. △ Less

Submitted 26 November, 2017; v1 submitted 2 November, 2017; originally announced November 2017.

Comments: 29 pages

MSC Class: 08A55; 16T99; 81T15; 32A20; 52B20

3-Lie bialgebras and 3-Lie classical Yang-Baxter equations in low dimensions

Authors: Chengyu Du, Chengming Bai, Li Guo

Abstract: In this paper, we give some low-dimensional examples of local cocycle 3-Lie bialgebras and double construction 3-Lie bialgebras which were introduced in the study of the classical Yang-Baxter equation and Manin triples for 3-Lie algebras. We give an explicit and practical formula to compute the skew-symmetric solutions of the 3-Lie classical Yang-Baxter equation (CYBE). As an illustration, we obta… ▽ More In this paper, we give some low-dimensional examples of local cocycle 3-Lie bialgebras and double construction 3-Lie bialgebras which were introduced in the study of the classical Yang-Baxter equation and Manin triples for 3-Lie algebras. We give an explicit and practical formula to compute the skew-symmetric solutions of the 3-Lie classical Yang-Baxter equation (CYBE). As an illustration, we obtain all skew-symmetric solutions of the 3-Lie CYBE in complex 3-Lie algebras of dimension 3 and 4 and then the induced local cocycle 3-Lie bialgebras. On the other hand, we classify the double construction 3-Lie bialgebras for complex 3-Lie algebras in dimensions 3 and 4 and then give the corresponding 8-dimensional pseudo-metric 3-Lie algebras. △ Less

Submitted 16 May, 2017; originally announced May 2017.

Comments: 24 pages

MSC Class: 16T10; 16T25; 15A75; 17A30; 17B62; 81T30

Journal ref: Linear and Multilinear Algebra, online 2017

Hopf algebras of rooted forests, cocyles and free Rota-Baxter algebras

Authors: Xing Gao, Li Guo, Tianjie Zhang

Abstract: The Hopf algebra and the Rota-Baxter algebra are the two algebraic structures underlying the algebraic approach of Connes and Kreimer to renormalization of perturbative quantum field theory. In particular the Hopf algebra of rooted trees serves as the "baby model" of Feynman graphs in their approach and can be characterized by certain universal properties involving a Hochschild 1-cocycle. Decorate… ▽ More The Hopf algebra and the Rota-Baxter algebra are the two algebraic structures underlying the algebraic approach of Connes and Kreimer to renormalization of perturbative quantum field theory. In particular the Hopf algebra of rooted trees serves as the "baby model" of Feynman graphs in their approach and can be characterized by certain universal properties involving a Hochschild 1-cocycle. Decorated rooted trees have also been applied to study Feynman graphs. We will continue the study of universal properties of various spaces of decorated rooted trees with such a 1-cocycle, leading to the concept of a cocycle Hopf algebra. We further apply the universal properties to equip a free Rota-Baxter algebra with the structure of a cocycle Hopf algebra or a cocycle bialgebra. △ Less

Submitted 31 May, 2016; originally announced May 2016.

Comments: 16 pages

MSC Class: 16W99; 16S10; 16T10; 16T30; 81R10; 81T15

Journal ref: Journal of Mathematical Physics 2016, 101701, 16 pp

Bialgebras, the classical Yang-Baxter equation and Manin triples for 3-Lie algebras

Authors: Chengming Bai, Li Guo, Yunhe Sheng

Abstract: This paper studies two types of 3-Lie bialgebras whose compatibility conditions between the multiplication and comultiplication are given by local cocycles and double constructions respectively, and are therefore called the local cocycle 3-Lie bialgebra and the double construction 3-Lie bialgebra. They can be regarded as suitable extensions of the well-known Lie bialgebra in the context of 3-Lie a… ▽ More This paper studies two types of 3-Lie bialgebras whose compatibility conditions between the multiplication and comultiplication are given by local cocycles and double constructions respectively, and are therefore called the local cocycle 3-Lie bialgebra and the double construction 3-Lie bialgebra. They can be regarded as suitable extensions of the well-known Lie bialgebra in the context of 3-Lie algebras, in two different directions. The local cocycle 3-Lie bialgebra is introduced to extend the connection between Lie bialgebras and the classical Yang-Baxter equation. Its relationship with a ternary variation of the classical Yang-Baxter equation, called the 3-Lie classical Yang-Baxter equation, a ternary $\mathcal{O}$-operator and a 3-pre-Lie algebra is established. In particular, it is shown that solutions of the 3-Lie classical Yang-Baxter equation give (coboundary) local cocycle 3-Lie bialgebras, whereas 3-pre-Lie algebras give rise to solutions of the 3-Lie classical Yang-Baxter equation. The double construction 3-Lie bialgebra is introduced to extend to the 3-Lie algebra context the connection between Lie bialgebras and double constructions of Lie algebras. Their related Manin triples give a natural construction of pseudo-metric 3-Lie algebras with neutral signature. Moreover, the double construction 3-Lie bialgebra can be regarded as a special class of the local cocycle 3-Lie bialgebra. Explicit examples of double construction 3-Lie bialgebras are provided. △ Less

Submitted 20 April, 2016; originally announced April 2016.

Comments: 30 pages

MSC Class: 16T10; 16T25; 17A30; 17B62; 81T30

Journal ref: Adv. Theo. Math. Phys. 23 (2019), 27-74

Renormalised conical zeta values

Authors: Li Guo, Sylvie Paycha, Bin Zhang

Abstract: Conical zeta values associated with rational convex polyhedral cones generalise multiple zeta values. We renormalise conical zeta values at poles by means of a generalisation of Connes and Kreimer's Algebraic Birkhoff Factorisation. This paper serves as a motivation for and an application of this generalised renormalisation scheme. The latter also yields an Euler-Maclaurin formula on rational conv… ▽ More Conical zeta values associated with rational convex polyhedral cones generalise multiple zeta values. We renormalise conical zeta values at poles by means of a generalisation of Connes and Kreimer's Algebraic Birkhoff Factorisation. This paper serves as a motivation for and an application of this generalised renormalisation scheme. The latter also yields an Euler-Maclaurin formula on rational convex polyhedral lattice cones which relates exponential sums to exponential integrals. When restricted to Chen cones, it reduces to Connes and Kreimer's Algebraic Birkhoff Decomposition for maps with values in the algebra of ordinary meromorphic functions in one variable. △ Less

Submitted 12 February, 2016; originally announced February 2016.

Comments: 19 pages

MSC Class: 11M32; 11H06; 52C07; 52B20; 65B15; 81T15

Journal ref: Resurgence, Physics, and Numbers, 2017, 299-327, Springer

Counting an infinite number of points: a testing ground for renormalization methods

Authors: Li Guo, Sylvie Paycha, Bin Zhang

Abstract: This is a leisurely introductory account addressed to non-experts and based on previous work by the authors, on how methods borrowed from physics can be used to "count" an infinite number of points. We begin with the classical case of counting integer points on the non-negative real axis and the classical Euler-Maclaurin formula. As an intermediate stage, we count integer points on product cones w… ▽ More This is a leisurely introductory account addressed to non-experts and based on previous work by the authors, on how methods borrowed from physics can be used to "count" an infinite number of points. We begin with the classical case of counting integer points on the non-negative real axis and the classical Euler-Maclaurin formula. As an intermediate stage, we count integer points on product cones where the roles played by the coalgebra and the algebraic Birkhoff factorization can be appreciated in a relatively simple setting. We then consider the general case of (lattice) cones for which we introduce a conilpotent coalgebra of cones, with applications to renormalization of conical zeta values. When evaluated at zero arguments conical zeta functions indeed "count" integer points on cones. △ Less

Submitted 2 January, 2015; originally announced January 2015.

Comments: 32 pages

MSC Class: 11M32; 11H06; 16H15; 52C07; 52B20; 65B15; 81T15

Journal ref: Geometric, algebraic and topological methods for quantum field theory, 2017, 309-352, World Sci. Publ

Higher-order rogue wave dynamics for a derivative nonlinear Schrödinger equation

Authors: Yongshuai Zhang, Lijuan Guo, Amin Chabchoub, Jingsong He

Abstract: The the mixed Chen-Lee-Liu derivative nonlinear Schrödinger equation (CLL-NLS) can be considered as simplest model to approximate the dynamics of weakly nonlinear and dispersive waves, taking into account the self-steepnening effect (SSE). The latter effect arises as a higher-order correction of the nonlinear Schrördinger equation (NLS), which is known to describe the dynamics of pulses in nonline… ▽ More The the mixed Chen-Lee-Liu derivative nonlinear Schrödinger equation (CLL-NLS) can be considered as simplest model to approximate the dynamics of weakly nonlinear and dispersive waves, taking into account the self-steepnening effect (SSE). The latter effect arises as a higher-order correction of the nonlinear Schrördinger equation (NLS), which is known to describe the dynamics of pulses in nonlinear fiber optics, and constiutes a fundamental part of the generalized NLS. Similar effects are decribed within the framework of the modified NLS, also referred to as the Dysthe equation, in hydrodynamics. In this work, we derive fundamental and higher-order solutions of the CLL-NLS by applying the Darboux transformation (DT). Exact expressions of non-vanishing boundary solitons, breathers and a hierarchy of rogue wave solutions are presented. In addition, we discuss the localization characters of such rogue waves, by characterizing their length and width. In particular, we describe how the localization properties of first-order NLS rogue waves can be modified by taking into account the SSE, presented in the CLL-NLS. This is illustrated by use of an analytical and a graphical method. The results may motivate similar analytical studies, extending the family of the reported rogue wave solutions as well as possible experiments in several nonlinear dispersive media, confirming these theoretical results. △ Less

Submitted 10 May, 2015; v1 submitted 28 September, 2014; originally announced September 2014.

Comments: We have made remarkable changes of the early version, and so this version has 29 pages including 12 figures

Darboux transformation of the second-type derivative nonlinear Schrödinger equation

Authors: Y. S. Zhang, L. J. Guo, J. S. He, Z. X. Zhou

Abstract: The second-type derivative nonlinear Schrödinger (DNLSII) equation was introduced as an integrable model in 1979. Very recently, the DNLSII equation has been shown by an experiment to be a model of the evolution of optical pulses involving self-steepening without concomitant self-phase-modulation. In this paper the $n$-fold Darboux transformation (DT) $T_n$ of the coupled DNLSII equations is const… ▽ More The second-type derivative nonlinear Schrödinger (DNLSII) equation was introduced as an integrable model in 1979. Very recently, the DNLSII equation has been shown by an experiment to be a model of the evolution of optical pulses involving self-steepening without concomitant self-phase-modulation. In this paper the $n$-fold Darboux transformation (DT) $T_n$ of the coupled DNLSII equations is constructed in terms of determinants. Comparing with the usual DT of the soliton equations, this kind of DT is unusual because $T_n$ includes complicated integrals of seed solutions in the process of iteration. By a tedious analysis, these integrals are eliminated in $T_n$ except the integral of the seed solution. Moreover, this $T_n$ is reduced to the DT of the DNLSII equation under a reduction condition. As applications of $T_n$, the explicit expressions of soliton, rational soliton, breather, rogue wave and multi-rogue wave solutions for the DNLSII equation are displayed. △ Less

Submitted 11 April, 2015; v1 submitted 5 August, 2014; originally announced August 2014.

Comments: The main result of the paper has been presented orally by Yongshuai Zhang at the 12th National Conference on Integrable Systems (Aug.18-22, 2013, Hangzhou, P.R.China). We have submitted it to journal at Sept. 22, 2013. This is the latest version(v29) with 34 pages and 9 figures, which has been accepted by Letters in Mathematical Physics at April 2015

Theoretical and experimental evidence of non-symmetric doubly localized rogue waves

Authors: Jingsong He, Lijuan Guo, Yongshuai Zhang, Amin Chabchoub

Abstract: We present determinant expressions for vector rogue wave solutions of the Manakov system, a two-component coupled nonlinear Schrödinger equation. As special case, we generate a family of exact and non-symmetric rogue wave solutions of the nonlinear Schrödinger equation up to third-order, localized in both space and time. The derived non-symmetric doubly-localized second-order solution is generated… ▽ More We present determinant expressions for vector rogue wave solutions of the Manakov system, a two-component coupled nonlinear Schrödinger equation. As special case, we generate a family of exact and non-symmetric rogue wave solutions of the nonlinear Schrödinger equation up to third-order, localized in both space and time. The derived non-symmetric doubly-localized second-order solution is generated experimentally in a water wave flume for deep-water conditions. Experimental results, confirming the characteristic non-symmetric pattern of the solution, are in very good agreement with theory as well as with numerical simulations, based on the modified nonlinear Schrödinger equation, known to model accurately the dynamics of weakly nonlinear wave packets in deep-water. △ Less

Submitted 27 July, 2014; originally announced July 2014.

Comments: 15 pages, 7 figures, accepted by Proceedings of the Royal Society A

Rota-Baxter operators on $sl(2,C)$ and solutions of the classical Yang-Baxter equation

Authors: Jun Pei, Chengming Bai, Li Guo

Abstract: We explicitly determine all Rota-Baxter operators (of weight zero) on $sl(2,C)$ under the Cartan-Weyl basis. For the skew-symmetric operators, we give the corresponding skew-symmetric solutions of the classical Yang-Baxter equation in $sl(2,C)$, confirming the related study by Semenov-Tian-Shansky. In general, these Rota-Baxter operators give a family of solutions of the classical Yang-Baxter equa… ▽ More We explicitly determine all Rota-Baxter operators (of weight zero) on $sl(2,C)$ under the Cartan-Weyl basis. For the skew-symmetric operators, we give the corresponding skew-symmetric solutions of the classical Yang-Baxter equation in $sl(2,C)$, confirming the related study by Semenov-Tian-Shansky. In general, these Rota-Baxter operators give a family of solutions of the classical Yang-Baxter equation in the 6-dimensional Lie algebra $sl(2,C) \ltimes_{{\rm ad}^{\ast}} sl(2,C)^{\ast}$. They also give rise to 3-dimensional pre-Lie algebras which in turn yield solutions of the classical Yang-Baxter equation in other 6-dimensional Lie algebras. △ Less

Submitted 4 November, 2013; originally announced November 2013.

Comments: 17 pages

MSC Class: 16T25; 81R15

Journal ref: Journal of Mathematical Physics. 55 (2014), 021701

Algebraic Birkhoff Factorization and the Euler-Maclaurin Formula on Cones

Authors: Li Guo, Sylvie Paycha, Bin Zhang

Abstract: We equip the space of lattice cones with a coproduct which makes it a connected cograded colagebra. The exponential sum and exponential integral on lattice cones can be viewed as linear maps on this space with values in the space of meromorphic germs with linear poles at zero. We investigate the subdivision properties-- reminiscent of the inclusion-exclusion principle for the cardinal on finite se… ▽ More We equip the space of lattice cones with a coproduct which makes it a connected cograded colagebra. The exponential sum and exponential integral on lattice cones can be viewed as linear maps on this space with values in the space of meromorphic germs with linear poles at zero. We investigate the subdivision properties-- reminiscent of the inclusion-exclusion principle for the cardinal on finite sets-- of such linear maps and establish a compatibility of these properties with respect to the convolution quotient of the coalgebra. Implementing the Algebraic Birkhoff Factorization procedure on the linear maps under consideration, we factorize the exponential sum as a convolution quotient of two maps, with each of the maps in the factorization satisfying a subdivision property. Consequently, the Algebraic Birkhoff Factorization specializes to the Euler-Maclaurin formula on lattice cones and provides a simple formula for the interpolating factor by means of a projection map. △ Less

Submitted 15 December, 2015; v1 submitted 14 June, 2013; originally announced June 2013.

Comments: 31 pages. Another major revision, emphasizing on subdivision properties

MSC Class: 11H06; 52C07; 52B20; 65B15; 11M32

Journal ref: Duke Math. J. 166, no. 3 (2017), 537-571

Rota-Baxter 3-Lie algebras

Authors: Ruipu Bai, Li Guo, Jianqian Li, Yong Wu

Abstract: In this paper we introduce the concepts of a Rota-Baxter operator and a differential operator with weights on an $n$-algebra. We then focus on Rota-Baxter 3-Lie algebras and show that they can be derived from Rota-Baxter Lie algebras and pre-Lie algebras and from Rota-Baxter commutative associative algebras with derivations. We also establish the inheritance property of Rota-Baxter 3-Lie algebras. In this paper we introduce the concepts of a Rota-Baxter operator and a differential operator with weights on an $n$-algebra. We then focus on Rota-Baxter 3-Lie algebras and show that they can be derived from Rota-Baxter Lie algebras and pre-Lie algebras and from Rota-Baxter commutative associative algebras with derivations. We also establish the inheritance property of Rota-Baxter 3-Lie algebras. △ Less

Submitted 9 June, 2013; originally announced June 2013.

Comments: 15 pages

MSC Class: 17B05; 17D99

Journal ref: Jour. Math. Phys. 54 (2013) 063504

Generalizations of the classical Yang-Baxter equation and O-operators

Authors: Chengming Bai, Xiang Ni, Li Guo

Abstract: Tensor solutions ($r$-matrices) of the classical Yang-Baxter equation (CYBE) in a Lie algebra, obtained as the classical limit of the $R$-matrix solution of the quantum Yang-Baxter equation (QYBE), is an important structure appearing in different areas such as integrable systems, symplectic geometry, quantum groups and quantum field theory. Further study of CYBE led to its interpretation as certai… ▽ More Tensor solutions ($r$-matrices) of the classical Yang-Baxter equation (CYBE) in a Lie algebra, obtained as the classical limit of the $R$-matrix solution of the quantum Yang-Baxter equation (QYBE), is an important structure appearing in different areas such as integrable systems, symplectic geometry, quantum groups and quantum field theory. Further study of CYBE led to its interpretation as certain operators, giving rise to the concept of O-operators. In [3], the O-operators were in turn interpreted as tensor solutions of CYBE by enlarging the Lie algebra. The purpose of this paper is to extend this study to a more general class of operators that were recently introduced [4] in the study of Lax pairs in integrable systems. Relationship between $\calo$-operators, relative differential operators and Rota-Baxter operators are also discussed. △ Less

Submitted 2 February, 2013; originally announced February 2013.

Comments: 17 pages

Journal ref: J. Math. Phys. 52 (2011) 063515

Nonabelian generalized Lax pairs, the classical Yang-Baxter equation and PostLie algebras

Authors: Xiang Ni, Chengming Bai, Li Guo

Abstract: We generalize the classical study of (generalized) Lax pairs and the related $O$-operators and the (modified) classical Yang-Baxter equation by introducing the concepts of nonabelian generalized Lax pairs, extended $\calo$-operators and the extended classical Yang-Baxter equation. We study in this context the nonabelian generalized $r$-matrix ansatz and the related double Lie algebra structures.… ▽ More We generalize the classical study of (generalized) Lax pairs and the related $O$-operators and the (modified) classical Yang-Baxter equation by introducing the concepts of nonabelian generalized Lax pairs, extended $\calo$-operators and the extended classical Yang-Baxter equation. We study in this context the nonabelian generalized $r$-matrix ansatz and the related double Lie algebra structures. Relationship between extended $O$-operators and the extended classical Yang-Baxter equation is established, especially for self-dual Lie algebras. This relationship allows us to obtain explicit description of the Manin triples for a new class of Lie bialgebras. Furthermore, we show that a natural structure of PostLie algebra is behind $O$-operators and fits in a setup of triple Lie algebra that produces self-dual nonabelian generalized Lax pairs. △ Less

Submitted 16 October, 2009; originally announced October 2009.

Comments: 38 pages

MSC Class: 17B62; 17B80; 81R12; 18D50

Journal ref: Comm. Math. Phys. 297 (2010) 553-596

$O$-operators on associative algebras and associative Yang-Baxter equations

Authors: Chengming Bai, Li Guo, Xiang Ni

Abstract: We introduce the concept of an extended O-operator that generalizes the well-known concept of a Rota-Baxter operator. We study the associative products coming from these operators and establish the relationship between extended O-operators and the associative Yang-Baxter equation, extended associative Yang-Baxter equation and generalized Yang-Baxter equation. We introduce the concept of an extended O-operator that generalizes the well-known concept of a Rota-Baxter operator. We study the associative products coming from these operators and establish the relationship between extended O-operators and the associative Yang-Baxter equation, extended associative Yang-Baxter equation and generalized Yang-Baxter equation. △ Less

Submitted 16 October, 2009; originally announced October 2009.

Comments: 28 pages

MSC Class: 16W99; 17A30; 57R56

Journal ref: Pacific J. Math, 256 (2012), 257-289

Double shuffle relations and renormalization of multiple zeta values

Authors: Li Guo, Sylvie Paycha, Bingyong Xie, Bin Zhang

Abstract: In this paper we present some of the recent progresses in multiple zeta values (MZVs). We review the double shuffle relations for convergent MZVs and summarize generalizations of the sum formula and the decomposition formula of Euler for MZVs. We then discuss how to apply methods borrowed from renormalization in quantum field theory and from pseudodifferential calculus to partially extend the do… ▽ More In this paper we present some of the recent progresses in multiple zeta values (MZVs). We review the double shuffle relations for convergent MZVs and summarize generalizations of the sum formula and the decomposition formula of Euler for MZVs. We then discuss how to apply methods borrowed from renormalization in quantum field theory and from pseudodifferential calculus to partially extend the double shuffle relations to divergent MZVs. △ Less

Submitted 30 May, 2009; originally announced June 2009.

MSC Class: 11M41; 16W30; 35S05; 81T15

Journal ref: Geometry of Algebraic Cycles, Clay Math. Proc. 9 (2010) 145-187

Algebraic Birkhoff decomposition and its applications

Authors: Li Guo

Abstract: Central in the Hopf algebra approach to the renormalization of perturbative quantum field theory of Connes and Kreimer is their Algebraic Birkhoff Decomposition. In this tutorial article, we introduce their decomposition and prove it by the Atkinson Factorization in Rota-Baxter algebra. We then give some applications of this decomposition in the study of divergent integrals and multiple zeta val… ▽ More Central in the Hopf algebra approach to the renormalization of perturbative quantum field theory of Connes and Kreimer is their Algebraic Birkhoff Decomposition. In this tutorial article, we introduce their decomposition and prove it by the Atkinson Factorization in Rota-Baxter algebra. We then give some applications of this decomposition in the study of divergent integrals and multiple zeta values. △ Less

Submitted 14 July, 2008; originally announced July 2008.

Comments: 39 pages. To appear in "Automorphic Forms and Langlands Program"

MSC Class: 11M41; 16W30; 16W99; 81T15

Journal ref: Automorphic Forms and the Langlands Program, International Press, 2008, 283-323

Renormalization of multiple zeta values

Authors: Li Guo, Bin Zhang

Abstract: Multiple zeta values (MZVs) in the usual sense are the special values of multiple variable zeta functions at positive integers. Their extensive studies are important in both mathematics and physics with broad connections and applications. In contrast, very little is known about the special values of multiple zeta functions at non-positive integers since the values are usually singular. We define… ▽ More Multiple zeta values (MZVs) in the usual sense are the special values of multiple variable zeta functions at positive integers. Their extensive studies are important in both mathematics and physics with broad connections and applications. In contrast, very little is known about the special values of multiple zeta functions at non-positive integers since the values are usually singular. We define and study multiple zeta functions at any integer values by adapting methods of renormalization from quantum field theory, and following the Hopf algebra approach of Connes and Kreimer. This definition of renormalized MZVs agrees with the convergent MZVs and extends the work of Ihara-Kaneko-Zagier on renormalization of MZVs with positive arguments. We further show that the important quasi-shuffle (stuffle) relation for usual MZVs remains true for the renormalized MZVs. △ Less

Submitted 11 December, 2006; v1 submitted 3 June, 2006; originally announced June 2006.

Comments: 36 pages, revised the layout and corrected typos

MSC Class: 11M41; 16W30; 81T15

Journal ref: J. Algebra, Vol 319 (2008), 3770-3809

Rota-Baxter Algebras in Renormalization of Perturbative Quantum Field Theory

Authors: Kurusch Ebrahimi-Fard, Li Guo

Abstract: Recently, the theory of renormalization in perturbative quantum field theory underwent some exciting new developments. Kreimer discovered an organization of Feynman graphs into combinatorial Hopf algebras. The process of renormalization is captured by a factorization theorem for regularized Hopf algebra characters. In this context the notion of Rota-Baxter algebras enters the scene. We review se… ▽ More Recently, the theory of renormalization in perturbative quantum field theory underwent some exciting new developments. Kreimer discovered an organization of Feynman graphs into combinatorial Hopf algebras. The process of renormalization is captured by a factorization theorem for regularized Hopf algebra characters. In this context the notion of Rota-Baxter algebras enters the scene. We review several aspects of Rota-Baxter algebras as they appear in other sectors also relevant to perturbative renormalization, for instance multiple-zeta-values and matrix differential equations. △ Less

Submitted 30 August, 2006; v1 submitted 17 April, 2006; originally announced April 2006.

Comments: improved version, based on a talk given at the workshop Renormalization and Universality in Mathematical Physics held at the Fields Institute for Research in Mathematical Sciences, October 18-22, 2005

Journal ref: Fields Inst. Commun. 50: 47-105, 2007

Birkhoff type decompositions and the Baker-Campbell-Hausdorff recursion

Authors: K. Ebrahimi-Fard, L. Guo, D. Manchon

Abstract: We describe a unification of several apparently unrelated factorizations arisen from quantum field theory, vertex operator algebras, combinatorics and numerical methods in differential equations. The unification is given by a Birkhoff type decomposition that was obtained from the Baker-Campbell-Hausdorff formula in our study of the Hopf algebra approach of Connes and Kreimer to renormalization i… ▽ More We describe a unification of several apparently unrelated factorizations arisen from quantum field theory, vertex operator algebras, combinatorics and numerical methods in differential equations. The unification is given by a Birkhoff type decomposition that was obtained from the Baker-Campbell-Hausdorff formula in our study of the Hopf algebra approach of Connes and Kreimer to renormalization in perturbative quantum field theory. There we showed that the Birkhoff decomposition of Connes and Kreimer can be obtained from a certain Baker-Campbell-Hausdorff recursion formula in the presence of a Rota-Baxter operator. We will explain how the same decomposition generalizes the factorization of formal exponentials and uniformization for Lie algebras that arose in vertex operator algebra and conformal field theory, and the even-odd decomposition of combinatorial Hopf algebra characters as well as to the Lie algebra polar decomposition as used in the context of the approximation of matrix exponentials in ordinary differential equations. △ Less

Submitted 14 March, 2006; v1 submitted 1 February, 2006; originally announced February 2006.

Comments: accepted for publication in Comm. in Math. Phys

Journal ref: Comm. in Math. Phys. 267 no.3 (2006) 821-845

Matrix Representation of Renormalization in Perturbative Quantum Field Theory

Authors: K. Ebrahimi-Fard, L. Guo

Abstract: We formulate the Hopf algebraic approach of Connes and Kreimer to renormalization in perturbative quantum field theory using triangular matrix representation. We give a Rota-Baxter anti-homomorphism from general regularized functionals on the Feynman graph Hopf algebra to triangular matrices with entries in a Rota-Baxter algebra. For characters mapping to the group of unipotent triangular matric… ▽ More We formulate the Hopf algebraic approach of Connes and Kreimer to renormalization in perturbative quantum field theory using triangular matrix representation. We give a Rota-Baxter anti-homomorphism from general regularized functionals on the Feynman graph Hopf algebra to triangular matrices with entries in a Rota-Baxter algebra. For characters mapping to the group of unipotent triangular matrices we derive the algebraic Birkhoff decomposition for matrices using Spitzer's identity. This simple matrix factorization is applied to characterize and calculate perturbative renormalization. △ Less

Submitted 21 August, 2005; originally announced August 2005.

Comments: 44 pages, some diagrams were generated with JAXODRAW

Combinatorics of renormalization as matrix calculus

Authors: K. Ebrahimi-Fard, J. M. Gracia-Bondia, L. Guo, J. C. Varilly

Abstract: We give a simple presentation of the combinatorics of renormalization in perturbative quantum field theory in terms of triangular matrices. The prescription, that may be of calculational value, is derived from first principles, to wit, the ``Birkhoff decomposition'' in the Hopf-algebraic description of renormalization by Connes and Kreimer. We give a simple presentation of the combinatorics of renormalization in perturbative quantum field theory in terms of triangular matrices. The prescription, that may be of calculational value, is derived from first principles, to wit, the ``Birkhoff decomposition'' in the Hopf-algebraic description of renormalization by Connes and Kreimer. △ Less

Submitted 31 October, 2005; v1 submitted 21 August, 2005; originally announced August 2005.

Comments: 10 pages, revised version, typos corrected, to appear in Phys. Lett. B

Journal ref: Phys.Lett. B632 (2006) 552-558

Spitzer's Identity and the Algebraic Birkhoff Decomposition in pQFT

Authors: Kurusch Ebrahimi-Fard, Li Guo, Dirk Kreimer

Abstract: In this article we continue to explore the notion of Rota-Baxter algebras in the context of the Hopf algebraic approach to renormalization theory in perturbative quantum field theory. We show in very simple algebraic terms that the solutions of the recursively defined formulae for the Birkhoff factorization of regularized Hopf algebra characters, i.e. Feynman rules, naturally give a non-commutat… ▽ More In this article we continue to explore the notion of Rota-Baxter algebras in the context of the Hopf algebraic approach to renormalization theory in perturbative quantum field theory. We show in very simple algebraic terms that the solutions of the recursively defined formulae for the Birkhoff factorization of regularized Hopf algebra characters, i.e. Feynman rules, naturally give a non-commutative generalization of the well-known Spitzer's identity. The underlying abstract algebraic structure is analyzed in terms of complete filtered Rota-Baxter algebras. △ Less

Submitted 11 July, 2004; originally announced July 2004.

Comments: 19 pages, 2 figures

Journal ref: J.Phys. A37 (2004) 11037-11052

Integrable Renormalization II: the general case

Authors: Kurusch Ebrahimi-Fard, Li Guo, Dirk Kreimer

Abstract: We extend the results we obtained in an earlier work. The cocommutative case of rooted ladder trees is generalized to a full Hopf algebra of (decorated) rooted trees. For Hopf algebra characters with target space of Rota-Baxter type, the Birkhoff decomposition of renormalization theory is derived by using the Rota-Baxter double construction, respectively Atkinson's theorem. We also outline the e… ▽ More We extend the results we obtained in an earlier work. The cocommutative case of rooted ladder trees is generalized to a full Hopf algebra of (decorated) rooted trees. For Hopf algebra characters with target space of Rota-Baxter type, the Birkhoff decomposition of renormalization theory is derived by using the Rota-Baxter double construction, respectively Atkinson's theorem. We also outline the extension to the Hopf algebra of Feynman graphs via decorated rooted trees. △ Less

Submitted 10 March, 2004; originally announced March 2004.

Comments: 26 pages, 1 figure

Journal ref: Annales Henri Poincare 6 (2005) 369-395