Source author record

Li Guo

Li Guo appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.

ResearcherUnclaimed source record

Catalog footprint

What is connected

74works
31topics
4close collaborators

Actions

Connect this record

Log in to claim

Research graph

See the researcher in context

Open full explorer

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.

Published work

74 published item(s)

preprint2026arXiv

Para-differential Rota-Baxter algebras and their free objects by Gröbner-Shirshov bases

The algebraic formulation of the derivation and integration related by the First Fundamental Theorem of Calculus (FFTC) gives rise to the notion of differential Rota-Baxter algebra. The notion has a remarkable list of categorical properties, in terms of the existence of (co)extensions of differential and Rota-Baxter operators, of the lifting of monads and comonads, and of mixed distributive laws. Conversely, using these properties as axioms leads to a class of algebraic structures called para-differential Rota-Baxter algebras. This paper carries out a systematic study of para-differential Rota-Baxter algebras. After their basic properties and examples from Hurwitz series and difference algebras, a Gröbner-Shirshov bases theory is established for para-differential Rota-Baxter algebras. Then an explicit construction of free para-differential Rota-Baxter algebras is obtained.

preprint2026arXiv

SE-EE Tradeoff in Pinching-Antenna Systems: Waveguide Multiplexing or Waveguide Switching?

The spectral and energy efficiency (SE-EE) trade-off in pinching-antenna systems (PASS) is investigated in this paper. In particular, two practical operating protocols, namely waveguide multiplexing (WM) and waveguide switching (WS), are considered. A multi-objective optimization problem (MOOP) is formulated to jointly optimize the baseband and pinching beamforming for maximizing the achievable SE and EE, which is then converted into a single-objective problem via the ε-constraint method. For WM, the problem is decomposed within the alternating-optimization framework, where the baseband beamforming is optimized using the successive convex approximation, and the pinching beamforming is updated through the particle swarm optimization. For WS, due to the time-division transmission and interference-free nature, the pinching beamforming in each time slot is first adjusted to maximize the served user channel gain, followed by the baseband power allocation. Simulation results demonstrate that 1) PASS outperforms conventional antennas by mitigating large-scale path losses; 2) WS leads to a higher maximum achievable EE by activating a single RF chain, whereas WM yields a higher SE upper bound by serving all users concurrently; and 3) increasing the number of users substantially enhances SE under WM, whereas WS shows more pronounced benefits in low-signal-to-noise ratio regimes.

preprint2023arXiv

Locality Galois groups of meromorphic germs in several variables

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.

preprint2022arXiv

A Comprehensive Survey on Video Saliency Detection with Auditory Information: the Audio-visual Consistency Perceptual is the Key!

Video saliency detection (VSD) aims at fast locating the most attractive objects/things/patterns in a given video clip. Existing VSD-related works have mainly relied on the visual system but paid less attention to the audio aspect, while, actually, our audio system is the most vital complementary part to our visual system. Also, audio-visual saliency detection (AVSD), one of the most representative research topics for mimicking human perceptual mechanisms, is currently in its infancy, and none of the existing survey papers have touched on it, especially from the perspective of saliency detection. Thus, the ultimate goal of this paper is to provide an extensive review to bridge the gap between audio-visual fusion and saliency detection. In addition, as another highlight of this review, we have provided a deep insight into key factors which could directly determine the performances of AVSD deep models, and we claim that the audio-visual consistency degree (AVC) -- a long-overlooked issue, can directly influence the effectiveness of using audio to benefit its visual counterpart when performing saliency detection. Moreover, in order to make the AVC issue more practical and valuable for future followers, we have newly equipped almost all existing publicly available AVSD datasets with additional frame-wise AVC labels. Based on these upgraded datasets, we have conducted extensive quantitative evaluations to ground our claim on the importance of AVC in the AVSD task. In a word, both our ideas and new sets serve as a convenient platform with preliminaries and guidelines, all of which are very potential to facilitate future works in promoting state-of-the-art (SOTA) performance further.

preprint2022arXiv

Deep CardioSound-An Ensembled Deep Learning Model for Heart Sound MultiLabelling

Heart sound diagnosis and classification play an essential role in detecting cardiovascular disorders, especially when the remote diagnosis becomes standard clinical practice. Most of the current work is designed for single category based heard sound classification tasks. To further extend the landscape of the automatic heart sound diagnosis landscape, this work proposes a deep multilabel learning model that can automatically annotate heart sound recordings with labels from different label groups, including murmur's timing, pitch, grading, quality, and shape. Our experiment results show that the proposed method has achieved outstanding performance on the holdout data for the multi-labelling task with sensitivity=0.990, specificity=0.999, F1=0.990 at the segments level, and an overall accuracy=0.969 at the patient's recording level.

preprint2022arXiv

Deformations and homotopy of Rota-Baxter operators and $\mathcal{O}$-operators on Lie algebras

This article gives a brief introduction to some recent work on deformation and homotopy theories of Rota-Baxter operators and more generally $\mathcal{O}$-operators on Lie algebras, by means of the differential graded Lie algebra approach. It is further shown that these theories lift the existing connection between $\mathcal{O}$-operators and pre-Lie algebras to the levels of deformations and homotopy.

preprint2022arXiv

Joint Radar and Multicast-Unicast Communication: A NOMA Aided Framework

The novel concept of non-orthogonal multiple access (NOMA) aided joint radar and multicast-unicast communication (Rad-MU-Com) is investigated. Employing the same spectrum resource, a multi-input-multi-output (MIMO) dual-functional radar-communication (DFRC) base station detects the radar-centric user (R-user), while transmitting mixed multicast-unicast messages both to the R-user and to the communication-centric user (C-user). In particular, the multicast information is intended for both the R- and C-users, whereas the unicast information is only intended for the C-user. More explicitly, NOMA is employed to facilitate this double spectrum sharing, where the multicast and unicast signals are superimposed in the power domain and the superimposed communication signals are also exploited as radar probing waveforms. A beamformer-based NOMA-aided joint Rad-MU-Com framework is proposed for the system having a single R-user and a single C-user. Based on this framework, the unicast rate maximization problem is formulated by optimizing the beamformers employed, while satisfying the rate requirement of multicast and the predefined accuracy of the radar beam pattern. The resultant non-convex optimization problem is solved by a penalty-based iterative algorithm to find a high-quality near-optimal solution. Finally, our numerical results reveal that significant performance gains can be achieved by the proposed scheme over the benchmark schemes.

preprint2022arXiv

NOMA-Aided Joint Radar and Multicast-Unicast Communication Systems

The novel concept of non-orthogonal multiple access (NOMA) aided joint radar and multicast-unicast communication (Rad-MU-Com) is investigated. Employing the same spectrum resource, a multi-input-multi-output (MIMO) dual-functional radar-communication (DFRC) base station detects the radar-centric users (R-user), while transmitting mixed multicast-unicast messages both to the R-user and to the communication-centric user (C-user). In particular, the multicast information is intended for both the R- and C-users, whereas the unicast information is only intended for the C-user. More explicitly, NOMA is employed to facilitate this double spectrum sharing, where the multicast and unicast signals are superimposed in the power domain and the superimposed communication signals are also exploited as radar probing waveforms. First, a beamformer-based NOMA-aided joint Rad-MU-Com framework is proposed for the system having a single R-user and a single C-user. Based on this framework, the unicast rate maximization problem is formulated by optimizing the beamformers employed, while satisfying the rate requirement of multicast and the predefined accuracy of the radar beam pattern. The resultant non-convex optimization problem is solved by a penalty-based iterative algorithm to find a high-quality near-optimal solution. Next, the system is extended to the scenario of multiple pairs of R- and C-users, where a cluster-based NOMA-aided joint Rad-MU-Com framework is proposed. A joint beamformer design and power allocation optimization problem is formulated for the maximization of the sum of the unicast rate at each C-user, subject to the constraints on both the minimum multicast rate for each R&C pair and on accuracy of the radar beam pattern for detecting multiple R-users. The resultant joint optimization problem is efficiently solved by another penalty-based iterative algorithm developed.

preprint2022arXiv

Operated groups, differential groups and Rota-Baxter groups with an emphasis on the free objects

Groups with various types of operators, in particular the recently introduced Rota-Baxter groups, have generated renowned interest with close connections to numerical integrals, Yang-Baxter equation, integrable systems and post-Hopf algebras. This paper gives the general notion of operated groups and provides explicit constructions of free operated groups, free differential groups and free Rota-Baxter groups.

preprint2022arXiv

Operator identities on Lie algebras, rewriting systems and Gröbner-Shirshov bases

Motivated by the pivotal role played by linear operators, many years ago Rota proposed to determine algebraic operator identities satisfied by linear operators on associative algebras, later called Rota's program on algebraic operators. Recent progresses on this program have been achieved in the contexts of operated algebra, rewriting systems and Groebner-Shirshov bases. These developments also suggest that Rota's insight can be applied to determine operator identities on Lie algebras, and thus to put the various linear operators on Lie algebras in a uniform perspective. This paper carries out this approach, utilizing operated polynomial Lie algebras spanned by non-associative Lyndon-Shirshov bracketed words. The Lie algebra analog of Rota's program was formulated in terms convergent rewriting systems and equivalently in terms of Groebner-Shirshov bases. This Lie algebra analog is shown to be compatible with Rota's program for associative algebras. As applications, a classification of differential type operators and Rota-Baxter operators are presented.

preprint2022arXiv

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

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.

preprint2021arXiv

Privacy-Preserving Cloud-Aided Broad Learning System

With the rapid development of artificial intelligence and the advent of the 5G era, deep learning has received extensive attention from researchers. Broad Learning System (BLS) is a new deep learning model proposed recently, which shows its effectiveness in many fields, such as image recognition and fault detection. However, the training process still requires vast computations, and therefore cannot be accomplished by some resource-constrained devices. To solve this problem, the resource-constrained device can outsource the BLS algorithm to cloud servers. Nevertheless, some security challenges also follow with the use of cloud computing, including the privacy of the data and the correctness of returned results. In this paper, we propose a secure, efficient, and verifiable outsourcing algorithm for BLS. This algorithm not only improves the efficiency of the algorithm on the client but also ensures that the clients sensitive information is not leaked to the cloud server. In addition, in our algorithm, the client can verify the correctness of returned results with a probability of almost 1. Finally, we analyze the security and efficiency of our algorithm in theory and prove our algorithms feasibility through experiments.

preprint2021arXiv

Simultaneously Transmitting And Reflecting (STAR) RIS Aided Wireless Communications

The novel concept of simultaneously transmitting and reflecting (STAR) reconfigurable intelligent surfaces (RISs) is investigated, where the incident wireless signal is divided into transmitted and reflected signals passing into both sides of the space surrounding the surface, thus facilitating a full-space manipulation of signal propagation. Based on the introduced basic signal model of `STAR', three practical operating protocols for STAR-RISs are proposed, namely energy splitting (ES), mode switching (MS), and time switching (TS). Moreover, a STAR-RIS aided downlink communication system is considered for both unicast and multicast transmission, where a multi-antenna base station (BS) sends information to two users, i.e., one on each side of the STAR-RIS. A power consumption minimization problem for the joint optimization of the active beamforming at the BS and the passive transmission and reflection beamforming at the STAR-RIS is formulated for each of the proposed operating protocols, subject to communication rate constraints of the users. For ES, the resulting highly-coupled non-convex optimization problem is solved by an iterative algorithm, which exploits the penalty method and successive convex approximation. Then, the proposed penalty-based iterative algorithm is extended to solve the mixed-integer non-convex optimization problem for MS. For TS, the optimization problem is decomposed into two subproblems, which can be consecutively solved using state-of-the-art algorithms and convex optimization techniques. Finally, our numerical results reveal that: 1) the TS and ES operating protocols are generally preferable for unicast and multicast transmission, respectively; and 2) the required power consumption for both scenarios is significantly reduced by employing the proposed STAR-RIS instead of conventional reflecting/transmiting-only RISs.

preprint2020arXiv

$λ$-Differential operators and $λ$-differential modules for the Virasoro algebra

The concept of $λ$-differential operators is a natural generalization of differential operators and difference operators. In this paper, we determine the $λ$-differential Lie algebraic structure on the Witt algebra and the Virasoro algebra for invertible $λ$. Then we consider several families of modules over the Virasoro algebra with explicit module actions and determine the $λ$-differential module structures on them.

preprint2020arXiv

Classification of operator extensions, monad liftings and distributive laws for differential algebras and Rota-Baxter algebras

Generalizing the algebraic formulation of the First Fundamental Theorem of Calculus (FFTC), a class of constraints involving a pair of operators was considered in \cite{ZGK2}. For a given constraint, the existences of extensions of differential and Rota-Baxter operators, of liftings of monads and comonads, and of mixed distributive laws are shown to be equivalent. In this paper, we give a classification of the constraints satisfying these equivalent conditions.

preprint2020arXiv

Extensions of Operators, Liftings of Monads and Distributive Laws

In a previous study, the algebraic formulation of the First Fundamental Theorem of Calculus (FFTC) is shown to allow extensions of differential and Rota-Baxter operators on the one hand, and to give rise to categorical explanations using the ideas of liftings of monads and comonads, and mixed distributive laws on the other. Generalizing the FFTC, we consider in this paper a class of constraints between a differential operator and a Rota-Baxter operator. For a given constraint, we show that the existences of extensions of differential and Rota-Baxter operators, of liftings of monads and comonads, and of mixed distributive laws are equivalent.

preprint2020arXiv

Non-Orthogonal Multiple Access for Air-to-Ground Communication

This paper investigates ground-aerial uplink non-orthogonal multiple access (NOMA) cellular networks. A rotary-wing unmanned aerial vehicle (UAV) user and multiple ground users (GUEs) are served by ground base stations (GBSs) by utilizing the uplink NOMA protocol. The UAV is dispatched to upload specific information bits to each target GBSs. Specifically, our goal is to minimize the UAV mission completion time by jointly optimizing the UAV trajectory and UAV-GBS association order while taking into account the UAV's interference to non-associated GBSs. The formulated problem is a mixed integer non-convex problem and involves infinite variables. To tackle this problem, we efficiently check the feasibility of the formulated problem by utilizing graph theory and topology theory. Next, we prove that the optimal UAV trajectory needs to satisfy the \emph{fly-hover-fly} structure. With this insight, we first design an efficient solution with predefined hovering locations by leveraging graph theory techniques. Furthermore, we propose an iterative UAV trajectory design by applying successive convex approximation (SCA) technique, which is guaranteed to coverage to a locally optimal solution. We demonstrate that the two proposed designs exhibit polynomial time complexity. Finally, numerical results show that: 1) the SCA based design outperforms the fly-hover-fly based design; 2) the UAV mission completion time is significantly minimized with proposed NOMA schemes compared with the orthogonal multiple access (OMA) scheme; 3) the increase of GUEs' quality of service (QoS) requirements will increase the UAV mission completion time.

preprint2019arXiv

Locality and renormalisation: universal properties and integrals on trees

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.

preprint2019arXiv

Matching Rota-Baxter algebras, matching dendriform algebras and matching pre-Lie algebras

We introduce the notion of a matching Rota-Baxter algebra motivated by the recent work on multiple pre-Lie algebras arising from the study of algebraic renormalization of regularity structures~[10,18]. This notion is also related to iterated integrals with multiple kernels and solutions of the associative polarized Yang-Baxter equation. Generalizing the natural connection of Rota-Baxter algebras with dendriform algebras to matching Rota-Baxter algebras , we obtain the notion of matching dendriform algebras. As in the classical case of one operation, matching Rota-Baxter algebras and matching dendriform algebras are related to matching pre-Lie algebras which coincide with the aforementioned multiple pre-Lie algebras. More general notions and results on matching tridendriform algebras and matching PostLie algebras are also obtained.

preprint2018arXiv

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

$\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.

preprint2018arXiv

Renormalisation and locality: branched zeta values

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.

preprint2018arXiv

Renormalisation via locality morphisms

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.

preprint2017arXiv

Left counital Hopf algebra structures on free commutative Nijenhuis algebras

Motivated by the Hopf algebra structures established on free commutative Rota-Baxter algebras, we explore Hopf algebra related structures on free commutative Nijenhuis algebras. Applying a cocycle condition, we first prove that a free commutative Nijenhuis algebra on a left counital bialgebra (in the sense that the right-sided counicity needs not hold) can be enriched to a left counital bialgebra. We then establish a general result that a connected graded left counital bialgebra is a left counital right antipode Hopf algebra in the sense that the antipode is also only right-sided. We finally apply this result to show that the left counital bialgebra on a free commutative Nijenhuis algebra on a connected left counital bialgebra is connected and graded, hence is a left counital right antipode Hopf algebra.

preprint2017arXiv

Rota-Baxter paired modules and their constructions from Hopf algebras

In this paper, we introduce the concept of a Rota-Baxter paired module to study Rota-Baxter modules without necessarily a Rota-Baxter operator. We obtain two characterizations of Rota-Baxter paired modules, and give some basic properties of Rota-Baxter paired modules. Beginning with the connection between the notion of integrals in the representations of Hopf algebra and of the notion of an integral algebra as a motivation and special case of Rota-Baxter algebra of weight zero, we obtain a large number of Rota-Baxter paired modules from Hopf related algebras and modules, including semisimple Hopf algebras, weak Hopf algebras, Long bialgebras, quasitriangular Hopf algebras, weak Hopf modules, dimodules and Doi-Hopf modules. Some of them give new examples of Rota-Baxter algebras.

preprint2016arXiv

Bialgebra and Hopf algebra structures on free Rota-Baxter algebras

In this paper, we obtain a canonical factorization of basis elements in free Rota-Baxter algebras built on bracketed words. This canonical factorization is applied to give a coalgebra structure on the free Rota-Baxter algebras. Together with the Rota-Baxter algebra multiplication, this coproduct gives a bialgebra structure on the free Rota-Baxter algebra of rooted forests. When the weight of the Rota-Baxter algebra is zero, we further obtain a Hopf algebra structure.

preprint2016arXiv

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

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.

preprint2016arXiv

Frame-level quality and memory traffic allocation for lossy embedded compression in video codec systems

For mobile video codecs, the huge energy dissipation for external memory traffic is a critical challenge under the battery power constraint. Lossy embedded compression (EC), as a solution to this challenge, is considered in this paper. While previous studies in EC mostly focused on compression algorithms at the block level, this work, to the best of our knowledge, is the first one that addresses the allocation of video quality and memory traffic at the frame level. For lossy EC, a main difficulty of its application lies in the error propagation from quality degradation of reference frames. Instinctively, it is preferred to perform more lossy EC in non-reference frames to minimize the quality loss. The analysis and experiments in this paper, however, will show lossy EC should actually be distributed to more frames. Correspondingly, for hierarchical-B GOPs, we developed an efficient allocation that outperforms the non-reference-only allocation by up to 4.5 dB in PSNR. In comparison, the proposed allocation also delivers more consistent quality between frames by having lower PSNR fluctuation.

preprint2016arXiv

Quantified-Self 2.0: Using Context-Aware Services for Promoting Gradual Behaviour Change

The recent development of smartphone and wearable sensor technologies enable general public to carry self-tracking tasks more easily. Much work has been devoted to life data collection and visualisation to help people with better self-understanding. We believe that although (awareness/knowledge discovery is an important aspect of personal informatics, knowledge maintenance is more, or at least equally, important. In this paper, we propose a proactive approach that uses the knowledge mined from people's activity data to nudge them towards a good lifestyle (better knowledge maintenance). For demonstration purpose, a trial study was designed and implemented for good sleep maintenance. In the study, we first use smartphones as activity trackers to collect various features in a non-intrusive manner. We then use those data to learn users' activity patterns, including daily step amount, app usages, bedding time, wake-up time and sleep duration. Subsequently, we analyse correlations that may have the positive or negative impact on users' sleep qualities and finally we designed and implemented three proactive services that are able to generate customised advice in the "right" context to nudge users towards a better lifestyle. The experiments results are positive showing that with the use of the proposed services 1. daily step amount have been increased by 3.03% on average in a 10 days study and 2. sleep durations are increased by 7% for two subjects.

preprint2016arXiv

Rota--Baxter algebras and left weak composition quasi-symmetric functions

Motivated by a question of Rota, this paper studies the relationship between Rota--Baxter algebras and symmetric related functions. The starting point is the fact that the space of quasi-symmetric functions is spanned by monomial quasi-symmetric functions which are indexed by compositions. When composition is replaced by left weak composition (LWC), we obtain the concept of LWC monomial quasi-symmetric functions and the resulting space of LWC quasi-symmetric functions. In line with the question of Rota, the latter is shown to be isomorphic to the free commutative nonunitary Rota--Baxter algebra on one generator. The combinatorial interpretation of quasi-symmetric functions by $P$-partitions from compositions is extended to the context of left weak compositions, leading to the concept of LWC fundamental quasi-symmetric functions. The transformation formulas for LWC monomial and LWC fundamental quasi-symmetric functions are obtained, generalizing the corresponding results for quasi-symmetric functions. Extending the close relationship between quasi-symmetric functions and multiple zeta values, weighted multiple zeta values and a $q$-analog of multiple zeta values are investigated and a decomposition formula is established.

preprint2015arXiv

An Algebraic Study of Multivariable Integration and Linear Substitution

We set up an algebraic theory of multivariable integration, based on a hierarchy of Rota-Baxter operators and an action of the matrix monoid as linear substitutions. Given a suitable coefficient domain with a bialgebra structure, this allows us to build an operator ring that acts naturally on the given Rota-Baxter hierarchy. We conjecture that the operator relations are a noncommutative Groebner basis for the ideal they generate.

preprint2015arXiv

Characteristics of Rota-Baxter Algebras

The characteristic is a simple yet important invariant of an algebra. In this paper, we study the characteristic of a Rota-Baxter algebra, called the Rota-Baxter characteristic. We introduce an invariant, called the ascent set, of a Rota-Baxter characteristic. By studying its properties, we classify Rota-Baxter characteristics in the homogenous case and relate Rota-Baxter characteristics in general to the homogeneous case through initial ideals. We show that the Rota-Baxter quotients of Rota-Baxter characteristics have the same underlying sets as those in the homogeneous case. We also give a more detailed study of Rota-Baxter characteristics with special base rings. In particular, we determine the prime characteristics of Rota-Baxter rings.

preprint2015arXiv

Monads and distributive laws for Rota-Baxter and differential algebras

In recent years, algebraic studies of the differential calculus and integral calculus in the forms of differential algebra and Rota-Baxter algebra have been merged together to reflect the close relationship between the two calculi through the First Fundamental Theorem of Calculus. In this paper we study this relationship from a categorical point of view in the context of distributive laws which can be tracked back to the distributive law of multiplication over addition. The monad giving Rota-Baxter algebras and the comonad giving differential algebras are constructed. Then a mixed distributive law of the monad over the comonad is established. As a consequence, we obtain monads and comonads giving the composite structures of differential and Rota-Baxter algebras.

preprint2015arXiv

Statistical analysis of motion contrast in optical coherence tomography angiography

Optical coherence tomography angiography (Angio-OCT), mainly based on the temporal dynamics of OCT scattering signals, has found a range of potential applications in clinical and scientific research. Based on the model of random phasor sums, temporal statistics of the complex-valued OCT signals are mathematically described. Statistical distributions of the amplitude differential and complex differential Angio-OCT signals are derived. The theories are validated through the flow phantom and live animal experiments. Using the model developed, the origin of the motion contrast in Angio-OCT is mathematically explained, and the implications in the improvement of motion contrast are further discussed, including threshold determination and its residual classification error, averaging method, and scanning protocol. The proposed mathematical model of Angio-OCT signals can aid in the optimal design of the system and associated algorithms.

preprint2015arXiv

Totally compatible associative and Lie dialgebras, tridendriform algebras and PostLie algebras

This paper studies the concepts of a totally compatible dialgebra and a totally compatible Lie dialgebra, defined to be a vector space with two binary operations that satisfy individual and mixed associativity conditions and Lie algebra conditions respectively. We show that totally compatible dialgebras are closely related to bimodule algebras and semi-homomorphisms. More significantly, Rota-Baxter operators on totally compatible dialgebras provide a uniform framework to generalize known results that Rota-Baxter related operators give tridendriform algebras. Free totally compatible dialgebras are constructed. We also show that a Rota-Baxter operator on a totally compatible Lie dialgebra gives rise to a PostLie algebra, generalizing the fact that a Rota-Baxter operator on a Lie algebra gives rise to a PostLie algebra.

preprint2014arXiv

Applications of shuffle product to restricted decomposition formulas for multiple zeta values

In this paper we obtain a recursive formula for the shuffle product and apply it to derive two restricted decomposition formulas for multiple zeta values (MZVs). The first formula generalizes the decomposition formula of Euler and is similar to the restricted formula of Eie and Wei for MZVs with one strings of 1's. The second formula generalizes the previous results to the product of two MZVs with one and two strings of 1's respectively.

preprint2014arXiv

Averaging algebras, Schröder numbers, rooted trees and operads

In this paper, we study averaging operators from an algebraic and combinatorial point of view. We first construct free averaging algebras in terms of a class of bracketed words called averaging words. We next apply this construction to obtain one and two variable generating functions for subsets of averaging words when the averaging operator is taken to be idempotent. When the averaging algebra has an idempotent generator, the generating function in one variable is twice the generating function for large Schröder numbers, leading us to give interpretations of large Schröder numbers in terms of bracketed words and rooted trees, as well as a recursive formula for these numbers. We also give a representation of free averaging algebras by unreduced trees and apply it to give a combinatorial description of the operad of averaging algebras.

preprint2014arXiv

Families of weighted sum formulas for multiple zeta values

Euler's sum formula and its multi-variable and weighted generalizations form a large class of the identities of multiple zeta values. In this paper we prove a family of identities involving Bernoulli numbers and apply them to obtain infinitely many weighted sum formulas for double zeta values and triple zeta values where the weight coefficients are given by symmetric polynomials. We give a general conjecture in arbitrary depth at the end of the paper.

preprint2014arXiv

Free integro-differential algebras and Gröbner-Shirshov bases

The notion of commutative integro-differential algebra was introduced for the algebraic study of boundary problems for linear ordinary differential equations. Its noncommutative analog achieves a similar purpose for linear systems of such equations. In both cases, free objects are crucial for analyzing the underlying algebraic structures, e.g. of the (matrix) functions. In this paper we apply the method of Gröbner-Shirshov bases to construct the free (noncommutative) integro-differential algebra on a set. The construction is from the free Rota-Baxter algebra on the free differential algebra on the set modulo the differential Rota-Baxter ideal generated by the noncommutative integration by parts formula. In order to obtain a canonical basis for this quotient, we first reduce to the case when the set is finite. Then in order to obtain the monomial order needed for the Composition-Diamond Lemma, we consider the free Rota-Baxter algebra on the truncated free differential algebra. A Composition-Diamond Lemma is proved in this context, and a Gröbner-Shirshov basis is found for the corresponding differential Rota-Baxter ideal.

preprint2014arXiv

Relative locations of subwords in free operated semigroups and Motzkin words

Bracketed words are basic structures both in mathematics (such as Rota-Baxter algebras) and mathematical physics (such as rooted trees) where the locations of the substructures are important. In this paper we give the classification of the relative locations of two bracketed subwords of a bracketed word in an operated semigroup into the separated, nested and intersecting cases. We achieve this by establishing a correspondence between relative locations of bracketed words and those of words by applying the concept of Motzkin words which are the algebraic forms of Motzkin paths.

preprint2014arXiv

Rota-Baxter operators on the polynomial algebras, integration and averaging operators

Rota-Baxter operators are an algebraic abstraction of integration. Following this classical connection, we study the relationship between Rota-Baxter operators and integrals in the case of the polynomial algebra $\mathbf{k}[x]$. We consider two classes of Rota-Baxter operators, monomial ones and injective ones. For the first class, we apply averaging operators to determine monomial Rota-Baxter operators. For the second class, we make use of the double product on Rota-Baxter algebras.

preprint2013arXiv

Conical zeta values and their double subdivision relations

We introduce the concept of a conical zeta value as a geometric generalization of a multiple zeta value in the context of convex cones. The quasi-shuffle and shuffle relations of multiple zeta values are generalized to open cone subdivision and closed cone subdivision relations respectively for conical zeta values. In order to achieve the closed cone subdivision relation, we also interpret linear relations among fractions as subdivisions of decorated closed cones. As a generalization of the double shuffle relation of multiple zeta values, we give the double subdivision relation of conical zeta values and formulate the extended double subdivision relation conjecture for conical zeta values.

preprint2013arXiv

Construction of free commutative integro-differential algebras by the method of Gröbner-Shirshov bases

In this paper, we construct a canonical linear basis for free commutative integro-differential algebras by applying the method of Gröbner-Shirshov bases. We establish the Composition-Diamond Lemma for free commutative differential Rota-Baxter algebras of order $n$. We also obtain a weakly monomial order on these algebras, allowing us to obtain Gröbner-Shirshov bases for free commutative integro-differential algebras on a set. We finally generalize the concept of functional derivations to free differential algebras with arbitrary weight and generating sets from which to construct a canonical linear basis for free commutative integro-differential algebras.

preprint2013arXiv

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

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.

preprint2013arXiv

Generating functions from the viewpoint of Rota-Baxter algebras

We study generating functions in the context of Rota-Baxter algebras. We show that exponential generating functions can be naturally viewed in a very special case of complete free commutative Rota-Baxter algebras. This allows us to use free Rota-Baxter algebras to give a broad class of algebraic structures in which generalizations of generating functions can be studied. We generalize the product formula and composition formula for exponential power series. We also give generating functions both for known number families such as Stirling numbers of the second kind and partition numbers, and for new number families such as those from not necessarily disjoint partitions and partitions of multisets.

preprint2013arXiv

Replicating of binary operads, Koszul duality, Manin products and average operators

We consider the notions of the replicators, including the duplicator and triplicator, of a binary operad. As in the closely related notions of di-Var-algebra and tri-Var-algebra in [14], they provide a general operadic definition for the recent constructions of replicating the operations of algebraic structures. We show that taking replicators is in Koszul dual to taking successors in [3] for binary quadratic operads and is equivalent to taking the white product with certain operads such as Perm. We also relate the replicators to the actions of average operators.

preprint2013arXiv

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

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.

preprint2013arXiv

The category and operad of matching dialgebras

This paper gives a systematic study of matching dialgebras corresponding to the operad $As^{(2)}$ in \cite{Zi} as the only Koszul self dual operad there other than the operads of associative algebras and Poisson algebras. The close relationship of matching dialgebras with semi-homomorphisms and matched pairs of associative algebras are established. By anti-symmetrizing, matching dialgerbas are also shown to give compatible Lie algebras, pre-Lie algebras and PostLie algebras. By the rewriting method, the operad of matching dialgebras is shown to be Koszul and the free objects are constructed in terms of tensor algebras. The operadic complex computing the homology of the matching dialgebras is made explicit.

preprint2013arXiv

The shuffle relation of fractions from multiple zeta values

Partial fraction methods play an important role in the study of multiple zeta values. One class of such fractions is related to the integral representations of MZVs. We show that this class of fractions has a natural structure of shuffle algebra. This finding conceptualizes the connections among the various methods of stuffle, shuffle and partial fractions in the study of MZVs. This approach also gives an explicit product formula of the fractions.

preprint2012arXiv

Differential Type Operators and Gröbner-Shirshov Bases

A long standing problem of Gian-Carlo Rota for associative algebras is the classification of all linear operators that can be defined on them. In the 1970s, there were only a few known operators, for example, the derivative operator, the difference operator, the average operator, and the Rota-Baxter operator. A few more appeared after Rota posed his problem. However, little progress was made to solve this problem in general. In part, this is because the precise meaning of the problem is not so well understood. In this paper, we propose a formulation of the problem using the framework of operated algebras and viewing an associative algebra with a linear operator as one that satisfies a certain operated polynomial identity. This framework also allows us to apply theories of rewriting systems and Gröbner-Shirshov bases. To narrow our focus more on the operators that Rota was interested in, we further consider two particular classes of operators, namely, those that generalize differential or Rota-Baxter operators. As it turns out, these two classes of operators correspond to those that possess Gröbner-Shirshov bases under two different monomial orderings. Working in this framework, and with the aid of computer algebra, we are able to come up with a list of these two classes of operators, and provide some evidence that these lists may be complete. Our search has revealed quite a few new operators of these types whose properties are expected to be similar to the differential operator and Rota-Baxter operator respectively. Recently, a more unified approach has emerged in related areas, such as difference algebra and differential algebra, and Rota-Baxter algebra and Nijenhuis algebra. The similarities in these theories can be more efficiently explored by advances on Rota's problem.

preprint2012arXiv

Localization of Rota-Baxter algebras

A commutative Rota-Baxter algebra can be regarded as a commutative algebra that carries an abstraction of the integral operator. With the motivation of generalizing the study of algebraic geometry to Rota-Baxter algebra, we extend the central concept of localization for commutative algebras to commutative Rota-Baxter algebras. The existence of such a localization is proved and, under mild conditions, its explicit constructions are obtained. The existence of tensor products of commutative Rota-Baxter algebras is also proved and the compatibility of localization and tensor product of Rota-Baxter algebras is established. We further study Rota-Baxter coverings and show that they form a Gröthendieck topology.

preprint2012arXiv

Nijenhuis algebras, NS algebras and N-dendriform algebras

In this paper we study (associative) Nijenhuis algebras, with emphasis on the relationship between the category of Nijenhuis algebras and the categories of NS algebras. This is in analogy to the well-known theory of the adjoint functor from the category of Lie algebras to that of associative algebras, and the more recent results on the adjoint functor from the categories of dendriform and tridendriform algebras to that of Rota-Baxter algebras. We first give an explicit construction of free Nijenhuis algebras and then apply it to obtain the universal enveloping Nijenhuis algebra of an NS algebra. We further apply the construction to determine the binary quadratic nonsymmetric algebra, called the N-dendriform algebra, that is compatible with the Nijenhuis algebra. As it turns out, the N-dendriform algebra has more relations than the NS algebra.

preprint2012arXiv

On Integro-Differential Algebras

The concept of integro-differential algebra has been introduced recently in the study of boundary problems of differential equations. We generalize this concept to that of integro-differential algebra with a weight, in analogy to the differential Rota-Baxter algebra. We construct free commutative integro-differential algebras with weight generated by a base differential algebra. This in particular gives an explicit construction of the integro-differential algebra on one generator. Properties of these free objects are studied.

preprint2012arXiv

Polylogarithms and multiple zeta values from free Rota-Baxter algebras

We show that the shuffle algebras for polylogarithms and regularized MZVs in the sense of Ihara, Kaneko and Zagier are both free commutative nonunitary Rota-Baxter algebras with one generator. We apply these results to show that the full sets of shuffle relations of polylogarithms and regularized MZVs are derived by a single series. We also take this approach to study the extended double shuffle relations of MZVs by comparing these shuffle relations with the quasi-shuffle relations of the regularized MZVs in our previous approach of MZVs by renormalization.

preprint2012arXiv

Structure of Hochschild cohomology of path algebras and differential formulation of Euler's polyhedron formula

This article studies the Lie algebra $Diff(KΓ)$ of derivations on the path algebra $KΓ$ of a quiver $Γ$ and the Lie algebra on the first Hochschild cohomology group $H^1(KΓ)$. We relate these Lie algebras to the algebraic and combinatorial properties of the path algebra. Characterizations of derivations on a path algebra are obtained, leading to a canonical basis of $Diff(KΓ)$ and its Lie algebra properties. Special derivations are associated to the vertices, arrows and faces of a quiver, and the concepts of a connected matrix and boundary matrix are introduced to study the relations among these derivations, concluding that the space of edge derivations is the direct sum of the spaces of the vertex derivations and the face derivations, while the dimensions of the latter spaces are the largest possible. By taking dimensions, this relation among spaces of derivations recovers Euler's polyhedron formula. This relation also leads a combinatorial construction of a canonical basis of the Lie algebra $H^1(KΓ)$, together with a semidirect sum decomposition of $H^1(KΓ)$.

preprint2011arXiv

PostLie algebra structures on the Lie algebra sl(2,C)

The PostLie algebra is an enriched structure of the Lie algebra that has recently arisen from operadic study. It is closely related to pre-Lie algebra, Rota-Baxter algebra, dendriform trialgebra, modified classical Yang-Baxter equations and integrable systems. We give a complete classification of PostLie algebra structures on the Lie algebra sl(2,C) up to isomorphism. We first reduce the classification problem to solving an equation of 3 x 3 matrices. To solve the latter problem, we make use of the classification of complex symmetric matrices up to the congruent action of orthogonal groups.

preprint2011arXiv

Splitting of operations, Manin products and Rota-Baxter operators

This paper provides a general operadic definition for the notion of splitting the operations of algebraic structures. This construction is proved to be equivalent to some Manin products of operads and it is shown to be closely related to Rota-Baxter operators. Hence, it gives a new effective way to compute Manin black products. The present construction is shown to have symmetry properties. Finally, this allows us to describe the algebraic structure of square matrices with coefficients in algebras of certain types. Many examples illustrate this text, including the case of Jordan algebras.

preprint2010arXiv

Microwave Diagnostics of Ultracold Neutral Plasma

We suggest an approach for using microwave radiation in diagnostics of ultracold neutral plasma. Microwave scattering from ultracold neutral plasma is calculated . Simple formulations are get and indicate that the dipole radiation power of ultracold neutral plasma does not depend on density profile $n_e(r)$ and $ω$ when $ω\ggω_{pe0}$, but on the total electron number $N_e$. This method provides the information of $N_e$ and from which we can get the three body recombination rate of the plasma, which is extremely important in the researches of ultracold neutral plasma.

preprint2010arXiv

O-operators on associative algebras and dendriform algebras

An O-operator is a relative version of a Rota-Baxter operator and, in the Lie algebra context, is originated from the operator form of the classical Yang-Baxter equation. We generalize the well-known construction of dendriform dialgebras and trialgebras from Rota-Baxter algebras to a construction from O-operators. We then show that this construction from O-operators gives all dendriform dialgebras and trialgebras. Furthermore there are bijections between certain equivalence classes of invertible O-operators and certain equivalence classes of dendriform dialgebras and trialgebras.

preprint2009arXiv

Double shuffle relations and renormalization of multiple zeta values

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.

preprint2009arXiv

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

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.

preprint2008arXiv

Algebraic Birkhoff decomposition and its applications

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.

preprint2008arXiv

Explicit double shuffle relations and a generalization of Euler's decomposition formula

We give an explicit formula for the shuffle relation in a general double shuffle framework that specializes to double shuffle relations of multiple zeta values and multiple polylogarithms. As an application, we generalize the well-known decomposition formula of Euler that expresses the product of two Riemann zeta values as a sum of double zeta values to a formula that expresses the product of two multiple polylogarithm values as a sum of other multiple polylogarithm values.

preprint2008arXiv

Free Rota-Baxter algebras and rooted trees

A Rota-Baxter algebra, also known as a Baxter algebra, is an algebra with a linear operator satisfying a relation, called the Rota-Baxter relation, that generalizes the integration by parts formula. Most of the studies on Rota-Baxter algebras have been for commutative algebras. Two constructions of free commutative Rota-Baxter algebras were obtained by Rota and Cartier in the 1970s and a third one by Keigher and one of the authors in the 1990s in terms of mixable shuffles. Recently, noncommutative Rota-Baxter algebras have appeared both in physics in connection with the work of Connes and Kreimer on renormalization in perturbative quantum field theory, and in mathematics related to the work of Loday and Ronco on dendriform dialgebras and trialgebras. This paper uses rooted trees and forests to give explicit constructions of free noncommutative Rota--Baxter algebras on modules and sets. This highlights the combinatorial nature of Rota--Baxter algebras and facilitates their further study. As an application, we obtain the unitarization of Rota-Baxter algebras.

preprint2008arXiv

Weighted sum formula for multiple zeta values

The sum formula is a basic identity of multiple zeta values that expresses a Riemann zeta value as a homogeneous sum of multiple zeta values of a given dimension. This formula was already known to Euler in the dimension two case, conjectured in the early 1990s for higher dimensions and then proved by Granville and Zagier independently. Recently a weighted form of Euler's formula was obtained by Ohno and Zudilin. We generalize it to a weighted sum formula for multiple zeta values of all dimensions.

preprint2007arXiv

Operated semigroups, Motzkin paths and rooted trees

Combinatorial objects such as rooted trees that carry a recursive structure have found important applications recently in both mathematics and physics. We put such structures in an algebraic framework of operated semigroups. This framework provides the concept of operated semigroups with intuitive and convenient combinatorial descriptions, and at the same time endows the familiar combinatorial objects with a precise algebraic interpretation. As an application, we obtain constructions of free Rota-Baxter algebras in terms of Motzkin paths and rooted trees.

preprint2007arXiv

Rota-Baxter operators on generalized power series rings

An important instance of Rota-Baxter algebras from their quantum field theory application is the ring of Laurent series with a suitable projection. We view the ring of Laurent series as a special case of generalized power series rings with exponents in an ordered monoid. We study when a generalized power series ring has a Rota-Baxter operator and how this is related to the ordered monoid.

preprint2006arXiv

Enumeration of Rota-Baxter Words

In this paper, we prove results on enumerations of sets of Rota-Baxter words in a finite number of generators and a finite number of unary operators. Rota-Baxter words are words formed by concatenating generators and images of words under Rota-Baxter operators. Under suitable conditions, they form canonical bases of free Rota-Baxter algebras and are studied recently in relation to combinatorics, number theory, renormalization in quantum field theory, and operads. Enumeration of a basis is often a first step to choosing a data representation in implementation. Our method applies some simple ideas from formal languages and compositions (ordered partitions) of an integer. We first settle the case of one generator and one operator where both have exponent 1 (the idempotent case). Some integer sequences related to these sets of Rota-Baxter words are known and connected to other combinatorial sequences, such as the Catalan numbers, and others are new. The recurrences satisfied by the generating series of these sequences prompt us to discover an efficient algorithm to enumerate the canonical basis of certain free Rota-Baxter algebras. More general sets of Rota-Baxter words are enumerated with summation techniques related to compositions of integers.

preprint2006arXiv

Rota-Baxter Algebras in Renormalization of Perturbative Quantum Field Theory

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.

preprint2005arXiv

Coherent Unit Actions on Operads and Hopf Algebras

Coherent unit actions on a binary, quadratic operad were introduced by Loday and were shown by him to give Hopf algebra structures on the free algebras when the operad is also regular with a splitting of associativity. Working with such operads, we characterize coherent unit actions in terms of linear equations of the generators of the operads. We then use these equations to give all possible operad relations that allow such coherent unit actions. We further show that coherent unit actions are preserved under taking products and thus yield Hopf algebras on the free object of the product operads when the factor operads have coherent unit actions. On the other hand, coherent unit actions are never preserved under taking the dual in the operadic sense except for the operad of associative algebras.