Enumeration and Generating Functions of Differential Rota–Baxter Words

In this paper, the methods and results in enumeration and generation of Rota–Baxter words in Guo and Sit (Algebraic and Algorithmic Aspects of Differential and Integral Operators (AADIOS), Math. Comp. Sci., vol. 4, Sp. Issue (2,3), 2011) are generalized and applied to a free, non-commutative, non-unitary, ordinary differential Rota–Baxter algebra with one generator. A differential Rota–Baxter algebra is an associative algebra with two operators modeled after the differential and integral operators, which are related by the First Fundamental Theorem of Calculus. Differential Rota–Baxter words are words formed by concatenating differential monomials in the generator with images of words under the Rota–Baxter operator. Their totality is a canonical basis of a free, non-commutative, non-unitary, ordinary differential Rota–Baxter algebra. A free differential Rota–Baxter algebra can be constructed from a free Rota–Baxter algebra on a countably infinite set of generators. The order of the derivation gives another dimension of grading on differential Rota–Baxter words, enabling us to generalize and refine results from Guo and Sit to enumerate the set of differential Rota–Baxter words and outline an algorithm for their generation according to a multi-graded structure. Enumeration of a basis is often a first step to choosing a data representation in implementation of algorithms involving free algebras, and in particular, free differential Rota–Baxter algebras and several related algebraic structures on forests and trees. The generating functions obtained can be used to provide links to other combinatorial structures.     

Rota–Baxter coalgebras and Rota–Baxter bialgebras

We give a construction of Rota–Baxter coalgebras from Hopf module coalgebras and also derive the structures of the pre-Lie coalgebras via Rota–Baxter coalgebras of different weight. Finally, the notion of Rota–Baxter bialgebra is introduced and some examples are provided.     

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 algebras, 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 construction is obtained. The existence of tensor products of commutative Rota–Baxter algebras is also proved and the compatibility of localization and the tensor product of Rota–Baxter algebras is established. We further study Rota–Baxter coverings and show that they form a Grothendieck topology.     

Representations of polynomial Rota–Baxter algebras

A Rota–Baxter operator is an algebraic abstraction of integration, which is the typical example of a weight zero Rota–Baxter operator. We show that studying the modules over the polynomial Rota–Baxter algebra $(\mathbf{k}[x],P)$ is equivalent to studying the modules over the Jordan plane, and we generalize the direct decomposability results for the $(\mathbf{k}[x],P)$-modules in [13] from algebraically closed fields of characteristic zero to fields of characteristic zero. Furthermore, we provide a classification of Rota–Baxter modules up to isomorphism based on indecomposable $\mathbf{k}[x]$-modules.     

Free Lie Rota–Baxter algebras

We construct a free Lie algebra with a Rota–Baxter operator.     

Rota–Baxter Hom-Lie–Admissible Algebras

We study Hom-type analogs of Rota–Baxter and dendriform algebras, called Rota–Baxter G-Hom–associative algebras and Hom-dendriform algebras. Several construction results are proved. Free algebras for these objects are explicitly constructed. Various functors between these categories, as well as an adjunction between the categories of Rota–Baxter Hom-associative algebras and of Hom-(tri)dendriform algebras, are constructed.     

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.     

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 we obtain monads and comonads giving the composite structures of differential and Rota–Baxter algebras. As a consequence, a mixed distributive law of the monad giving Rota–Baxter algebras over the comonad giving differential algebras is established.     

Rota–Baxter Operators on Quadratic Algebras

We prove that all Rota–Baxter operators on a quadratic division algebra are trivial. For nonzero weight, we state that all Rota–Baxter operators on the simple odd-dimensional Jordan algebra of bilinear form are projections on a subalgebra along another one. For weight zero, we find a connection between the Rota–Baxter operators and the solutions to the alternative Yang–Baxter equation on the Cayley–Dickson algebra. We also investigate the Rota–Baxter operators on the matrix algebras of order two, the Grassmann algebra of plane, and the Kaplansky superalgebra.     

Explicit Forms of q-Deformed Levy-Meixner Polynomials and Their Generating Functions

The classical Levy-Meixner polynomials are distinguished through the special forms of their generating functions. In fact, they are completely determined by 4 parameters： c1, c2,γ and β. In this paper, for-1 〈q〈 1, we obtain a unified explicit form of q-deformed Levy-Meixner polynomials and their generating functions in term of c1, c2, γand β, which is shown to be a reasonable interpolation between classical case （q=1） and fermionic case （q=-1）.In particular, when q=0 it＇s also compatible with the free case.     

Spectral-Parameter Dependent Yang–Baxter Operators and Yang–Baxter Systems From Algebra Structures

For any algebra, two families of colored Yang–Baxter operators are constructed, thus producing solutions to the two-parameter quantum Yang–Baxter equation. An open problem about a system of functional equations is stated. The matrix forms of these operators for two and three dimensional algebras are computed. A FRT bialgebra for one of these families is presented. Solutions for the one-parameter quantum Yang–Baxter equation are derived and a Yang–Baxter system constructed.     

Measure Density and Extension of Besov and Triebel–Lizorkin Functions

We show that a domain is an extension domain for a Haj?asz–Besov or for a Haj?asz–Triebel–Lizorkin space if and only if it satisfies a measure density condition. We use a modification of the Whitney extension where integral averages are replaced by median values, which allows us to handle also the case \(0<p<1\). The necessity of the measure density condition is derived from embedding theorems; in the case of Haj?asz–Besov spaces we apply an optimal Lorentz-type Sobolev embedding theorem which we prove using a new interpolation result. This interpolation theorem says that Haj?asz–Besov spaces are intermediate spaces between \(L^p\) and Haj?asz–Sobolev spaces. Our results are proved in the setting of a metric measure space, but most of them are new even in the Euclidean setting, for instance, we obtain a characterization of extension domains for classical Besov spaces \(B^s_{p,q}\), \(0<s<1\), \(0<p<\infty \), \(0<q\le \infty \), defined via the \(L^p\)-modulus of smoothness of a function.     

On Singularities of Generating Functions of Pólya Frequency Sequences of Finite Order

Let E be a closed set in C satisfying the conditions: (i) E is symmetric with respect to the real axis, (ii) E {z:|z|1} = . For any r 1 there exists a function f(z) satisfying the properties: (i) f(z) is a generating function of a Pólya frequency sequence of order r, (ii) the singularity set of f(z) is E {1}.     

Generalized Kojima–Functions and Lipschitz Stability of Critical Points

In this paper we consider systems of equations which are defined by nonsmooth functions of a special structure. Functions of this type are adapted from Kojima's form of the Karush–Kuhn–Tucker conditions for C²—optimization problems. We shall show that such systems often represent conditions for critical points of variational problems (nonlinear programs, complementarity problems, generalized equations, equilibrium problems and others). Our main purpose is to point out how different concepts of generalized derivatives lead to characterizations of different Lipschitz properties of the critical point or the stationary solution set maps.     

Domains of Holomorphy of Generating Functions of Pólya Frequency Sequences of Finite Order*

A domain is the domain of holomorphy of the generating function of a Pólya frequency sequence of order r if and only if it satisfies the following conditions: (A) G contains the point z = 0, (B) G is symmetric with respect to the real axis, (C) T = dist(0,G)G.     

Folding of Set-Theoretical Solutions of the Yang–Baxter Equation

We establish a correspondence between the invariant subsets of a non-degenerate symmetric set-theoretical solution of the quantum Yang–Baxter equation and the parabolic subgroups of its structure group, equipped with its canonical Garside structure. Moreover, we introduce the notion of a foldable solution, which extends the one of a decomposable solution.     

A System Coupling and Donoghue Classes of Herglotz–Nevanlinna Functions

We study the impedance functions of conservative L-systems with the unbounded main operators. In addition to the generalized Donoghue class \({\mathfrak {M}}_\kappa \) of Herglotz–Nevanlinna functions considered by the authors earlier, we introduce “inverse” generalized Donoghue classes \({\mathfrak {M}}_\kappa ^{-1}\) of functions satisfying a different normalization condition on the generating measure, with a criterion for the impedance function \(V_\Theta (z)\) of an L-system \(\Theta \) to belong to the class \({\mathfrak {M}}_\kappa ^{-1}\) presented. In addition, we establish a connection between “geometrical” properties of two L-systems whose impedance functions belong to the classes \({\mathfrak {M}}_\kappa \) and \({\mathfrak {M}}_\kappa ^{-1}\), respectively. In the second part of the paper we introduce a coupling of two L-system and show that if the impedance functions of two L-systems belong to the generalized Donoghue classes \({\mathfrak {M}}_{\kappa _1}\)(\({\mathfrak {M}}_{\kappa _1}^{-1}\)) and \({\mathfrak {M}}_{\kappa _2}\)(\({\mathfrak {M}}_{\kappa _2}^{-1}\)), then the impedance function of the coupling falls into the class \({\mathfrak {M}}_{\kappa _1\kappa _2}\). Consequently, we obtain that if an L-system whose impedance function belongs to the standard Donoghue class \({\mathfrak {M}}={\mathfrak {M}}_0\) is coupled with any other L-system, the impedance function of the coupling belongs to \({\mathfrak {M}}\) (the absorbtion property). Observing the result of coupling of n L-systems as n goes to infinity, we put forward the concept of a limit coupling which leads to the notion of the system attractor, two models of which (in the position and momentum representations) are presented. All major results are illustrated by various examples.     

Enumeration of Maximum Acyclic Hypergraphs

Abstract Acyclic hypergraphs are analogues of forests in graphs.They are very useful in the design ofdatabases. In this article,the maximum size of an acvclic hypergraph is determined and the number of maximumγ-uniform acyclic hypergraphs of order n is shown to be (_(r-1)~n)(n(r-1)-r~2 2r)~(n-r-1).     

On Titchmarsh–Weyl Functions and Eigenfunction Expansions of First-Order Symmetric Systems

We study general (not necessarily Hamiltonian) first-order symmetric system J y′(t)?B(t)y(t) = Δ(t) f(t) on an interval ${\mathcal{I}=[a,b) }$ with the regular endpoint a. It is assumed that the deficiency indices n _±(T _min) of the minimal relation T _min associated with this system in ${L^2_\Delta(\mathcal{I})}$ satisfy ${n_-(T_{\rm min})\leq n_+(T_{\rm min})}$ . We are interested in boundary conditions playing the role similar to that of separated self-adjoint boundary conditions for Hamiltonian systems. Instead we define λ-depending boundary conditions with Nevanlinna type spectral parameter τ = τ(λ) at the singular endpoint b. With this boundary value problem we associate the matrix m-function m(·) of the size ${N_\Sigma = {\rm dim} {\rm ker} (iJ+I)}$ . Its role is similar to that of the Titchmarsh–Weyl coefficient for the Hamiltonian system. In turn, it allows one to define the Fourier transform ${V: L^2_\Delta(\mathcal{I}) \to L^2(\Sigma)}$ where Σ (·) is a spectral matrix function of m(·). If V is an isometry, then the (exit space) self-adjoint extension ${\tilde{T}}$ of T _min induced by the boundary problem is unitarily equivalent to the multiplication operator in L ²(Σ). Hence the multiplicity of spectrum of ${\tilde{T}}$ does not exceed N _Σ. We also parameterize a set of spectral functions Σ(·) by means of the set of boundary parameters τ. Similar parameterizations for various classes of boundary value problems have earlier been obtained by Kac and Krein, Fulton, Hinton and Shaw, and others.