On the structure of dimonoids

J. -L. Loday introduced the notion of a dimonoid and constructed the free dimonoid. Cayley’s theorem for dimonoids states that every dimonoid is isomorphic to some transformation dimonoid. In this paper we propose another approach to constructing dimonoids which is based on using a semigroup operation. Several dimonoid-theoretical constructions are suggested, and it is shown that any dimonoid is isomorphically embedded into some dimonoid constructed from a semigroup. A similar result is obtained for dirings.     

Dimonoids

It is proved that a system of axioms for a dimonoid is independent and Cayley’s theorem for semigroups has an analog in the class of dimonoids. The least separative congruence is constructed on an arbitrary dimonoid endowed with a commutative operation. It is shown that an appropriate quotient dimonoid is a commutative separative semigroup. The least separative congruence on a free commutative dimonoid is characterized. It is stated that each dimonoid with a commutative operation is a semilattice of Archimedean subdimonoids, each dimonoid with a commutative periodic semigroup is a semilattice of unipotent subdimonoids, and each dimonoid with a commutative operation is a semilattice of a-connected subdimonoids. Various dimonoid constructions are presented.     

Structure of free strong doppelsemigroups

We consider strong doppelsemigroups which are sets with two binary associative operations satisfying axioms of strong interassociativity. Commutative dimonoids in the sense of Loday are examples of strong doppelsemigroups and two strongly interassociative semigroups give rise to a strong doppelsemigroup. The main aim of this paper is to construct a free strong doppelsemigroup, a free n-dinilpotent strong doppelsemigroup, a free commutative strong doppelsemigroup and a free n-nilpotent strong doppelsemigroup. We also characterize the least n-dinilpotent congruence, the least commutative congruence, the least n-nilpotent congruence on a free strong doppelsemigroup and establish that the automorphism group of every constructed free algebra is isomorphic to the symmetric group.     

Certain congruences on free trioids

Loday and Ronco introduced the notion of a trioid and constructed the free trioid of rank 1. This paper is devoted to the study of congruences on trioids. We characterize the least dimonoid congruences and the least semigroup congruence on the free (commutative, rectangular) trioid.     

Free left n-dinilpotent doppelsemigroups

A doppelsemigroup is an algebraic system consisting of a set with two binary associative operations satisfying certain equations. Commutative dimonoids in the sense of Loday are examples of doppelsemigroups and two interassociative semigroups give rise to a doppelsemigroup. We introduce left (right) n-dinilpotent doppelsemigroups which are analogs of left (right) nilpotent semigroups of rank n considered by Schein. A free left (right) n-dinilpotent doppelsemigroup is constructed and the least left (right) n-dinilpotent congruence on a free doppelsemigroup is characterized. We also establish that the semigroups of the free left (right) n-dinilpotent doppelsemigroup are isomorphic and the automorphism group of the free left (right) n-dinilpotent doppelsemigroup is isomorphic to the symmetric group.     

Free products of doppelsemigroups

In this paper, we consider doppelsemigroups, which are sets with two binary associative operations satisfying additional axioms. Commutative dimonoids in the sense of Loday are examples of doppelsemigroups and two interassociative semigroups give rise to a doppelsemigroup. The main result of this paper is the construction of the free product of doppelsemigroups. We also construct the free doppelsemigroup, the free commutative doppelsemigroup, the free n-nilpotent doppelsemigroup, and characterize the least commutative congruence and the least n-nilpotent congruence on a free doppelsemigroup.     

Automorphisms of the endomorphism semigroup of a free commutative dimonoid

We determine all isomorphisms between the endomorphism semigroups of free commutative dimonoids and prove that all automorphisms of the endomorphism semigroup of a free commutative dimonoid are quasi-inner. In particular, we answer a question of B. I. Plotkin.     

Free dimonoids

We characterize the least semilattice congruence of a free dimonoid and prove that a free dimonoid is a semilattice of s-simple subdimonoids each of which is a rectangular band of subdimonoids.     

On the upper bounds of the minimum number of rows of disjunct matrices

A 0-1 matrix is d-disjunct if no column is covered by the union of any d other columns. A 0-1 matrix is (d; z)-disjunct if for any column C and any d other columns, there exist at least z rows such that each of them has value 1 at column C and value 0 at all the other d columns. Let t(d, n) and t(d, n; z) denote the minimum number of rows required by a d-disjunct matrix and a (d; z)-disjunct matrix with n columns, respectively. We give a very short proof for the currently best upper bound on t(d, n). We also generalize our method to obtain a new upper bound on t(d, n; z). The work of Y. Cheng and G. Lin is supported by Natural Science and Engineering Research Council (NSERC) of Canada, and the Alberta Ingenuity Center for Machine Learning (AICML) at the University of Alberta. The work of D.-Z. Du is partially supported by National Science Foundation under grant No.CCF0621829.     

Congruence Restricted Modular Forms

Given f(z), a modular form on a congruence subgroup (of the full modular group), we construct the function f(z;r,t) by summing over the terms of the Fourier expansion of f(z) with index congruent to r modulo t. In this paper, we determine a condition on the multiplier system of f(z) which guarantees that f(z;r,t) is itself a modular form on a (smaller) congruence subgroup.2000 Mathematics Subject Classification: Primary—11F11; Secondary—11F30     

Fourier-Integral-Operator Approximation of Solutions to First-Order Hyperbolic Pseudodifferential Equations I: Convergence in Sobolev Spaces

An approximation Ansatz for the operator solution, U(z′,z), of a hyperbolic first-order pseudodifferential equation, ? _z  + a(z,x,D _x ) with Re (a) ≥ 0, is constructed as the composition of global Fourier integral operators with complex phases. An estimate of the operator norm in L(H ^(s),H ^(s)) of these operators is provided, which yields a convergence result for the Ansatz to U(z′,z) in some Sobolev space as the number of operators in the composition goes to ∞.     

Carlitz and the general 3φ2

In a letter dated March 3, 1971, L. Carlitz defined a sequence of polynomials, Φ _n (a,b; x, y; z), generalizing the Al-Salam & Carlitz polynomials, but closely related thereto. He concluded the letter by stating: “It would be of interest to find properties of Φ _n (a, b; x, y; z) when all the parameters are free.” In this paper, we reproduce the Carlitz letter and show how a study of Carlitz’s polynomials leads to a clearer understanding of the general ₃Φ₂ (a, b, c; d; e; q, z). Dedicated to my friend, Richard Askey. 2000 Mathematics Subject Classification Primary—33D20. G. E. Andrews: Partially supported by National Science Foundation Grant DMS 0200047.     

Hodge decompositions of Loday symbols inK-theory and cyclic homology

In this paper, we study the Hodge decompositions ofK-theory and cyclic homology induced by the operations ^k and ^k , and in particular the decomposition of the Loday symbols x,y, ...z. Except in special cases, these Loday symbols do not have pure Hodge index. InK _n (A) they can project into every componentK _n ⁽ⁱ⁾ for 2in, and the projection of the Loday symbol x,y, ...,z intoK _n ⁽ⁿ⁾ is a multiple of the generalized Dennis-Stein symbol x,y, ...,z. Our calculations disprove conjectures of Beilinson and Soulé inK-theory, and of Gerstenhaber and Schack in Hochschild homology.Partially supported by National Security Agency grant MDA904-90-H-4019.Partially supported by National Science Foundation grant DMS-8803497.     

Congruence triples on regular semigroups and their generalizations

In this paper, we introduce the concept of VT-congruence triples on a regular semigroup S and show how such triples can be constructed by using the equivalences on S/ℒ, S/R and the special congruences on S. Also, such congruence triples are characterized so that an associated congruence can be uniquely determined by a given congruence triple. Moreover, we also consider the VH-congruence pairs on an orthocryptogroup.     

A new class of symmetric polynomials defined in terms of tableaux

A new class of symmetric polynomials in n variables z = (z₁,…, z_n), denoted t_λ(z), and labelled by partitions λ = [λ₁ … λ_n] is defined in terms of standard tableaux (equivalently, in terms of Gel'fand-Weyl patterns of the general linear group GL(n,C)). The t_λ(z) are shown to be a -basis of the ring of all symmetric polynomials in n variables. In contrast to the usual basis sets such as the Schur functions e_λ(z), which are homogeneous polynomials in the z_i, the t_λ(z) are inhomogeneous. This property is reflected in the fact that the t_λ(z) are a natural basis for the expansion of certain (inhomogeneous) symmetric polynomials constructed from rising factorials. This and several other properties of the t_λ(z) are proved. Two generalizations of the t_λ(z) are also given. The first generalizes the t_λ(z) to a 1-parameter family of symmetric polynomials, T_λ(α; z), where α is an arbitrary parameter. The T_λ(α; z) are shown to possess properties similar to those of the t_λ(z). The second generalizes the t_λ(z) to a class of skew-tableau symmetric polynomials, t_λ/μ(z), for which only a few preliminary results are given.     

On the functions counting walks with small steps in the quarter plane

Models of spatially homogeneous walks in the quarter plane $\mathbf{ Z}_{+}^{2}$ with steps taken from a subset $\mathcal{S}$ of the set of jumps to the eight nearest neighbors are considered. The generating function (x,y,z)?Q(x,y;z) of the numbers q(i,j;n) of such walks starting at the origin and ending at $(i,j) \in\mathbf{ Z}_{+}^{2}$ after n steps is studied. For all non-singular models of walks, the functions x?Q(x,0;z) and y?Q(0,y;z) are continued as multi-valued functions on C having infinitely many meromorphic branches, of which the set of poles is identified. The nature of these functions is derived from this result: namely, for all the 51 walks which admit a certain infinite group of birational transformations of C ², the interval $]0,1/|\mathcal{S}|[$ of variation of z splits into two dense subsets such that the functions x?Q(x,0;z) and y?Q(0,y;z) are shown to be holonomic for any z from the one of them and non-holonomic for any z from the other. This entails the non-holonomy of (x,y,z)?Q(x,y;z), and therefore proves a conjecture of Bousquet-Mélou and Mishna in Contemp. Math. 520:1?C40 (2010).     

Convergence of ray sequences of Padé approximants for 2 f 1(a, 1; c; z), (c > a > 0)

The Padé table of ₂ F ₁(a, 1; c; z) is normal for c > a > 0 (cf. [4]). For m ≥ n - 1 and c ? Z^-, the denominator polynomial Q _mn (z) in the [m/n] Padé approximant P _mn (z)/Q _mn (z) for ₂ F ₁(a, 1; c; z) and the remainder term Q _mn (z)₂ F ₁(a, 1; c; z)-P_mn (z) were explicitly evaluated by Padé (cf. [2], [6] or [9]). We show that for c > a > 0 and m ≥ n - 1, the poles of P_mn (z)/Q_mn (z) lie on the cut (1,∞). We deduce that the sequence of approximants P_mn (z)/Q_mn (z) converges to ₂ F ₁(a, 1; c; z) as m → ∞, n/m → ρ with 0 < ρ ≤ 1, uniformly on compact subsets of the unit disc |z| < 1 for c > a > 0.     

Distortion Properties of Holomorphic Functions of Several Complex Variables

Let Q(D) be a class of functions q, q(0) = 0, |q(z)| < 1 holomorphic in the Reinhardt domain D ? C ⁿ, a and b — arbitrary fixed numbers satisfying the condition — 1 ≤ b < a ≤ 1. ??(a, b; D) — the class of functions p such that p ? ??(a, b; D) iff for some q ? Q(D) and every z ? D. S*(a, b; D) — the class of functions f such that f ? S*(a, g; D) iff S^c(a, b; D) — the class of functions q such that q ? S^c(a, b; D) iff , where p ε ??(a, b; D) and K is an operator of the form for z=z₁,z₂,…z_n. The author obtains sharp bounds on |p(z)|, f(z)| g(z)| as well as sharp coefficient inequalities for functions in ??(a, b; D), S*(a, b; D) and S^c(a, b; D).     

Solutions with boundary‐layers and spike‐layers to singularly perturbed quasilinear Dirichlet problems

The structure of nontrivial nonnegative solutions to singularly perturbed quasilinear Dirichlet problems of the form –?Δ_pu = f(u) in Ω, u = 0 on ?Ω, Ω ? R ^N a bounded smooth domain, is studied as ? → 0⁺, for a class of nonlinearities f(u) satisfying f(0) = f(z₁) = f(z₂) = 0 with 0 < z₁ < z₂, f < 0 in (0, z₁), f > 0 in (z₁, z₂) and f(u)/u^p–1 = –∞. It is shown that there are many nontrivial nonnegative solutions with spike‐layers. Moreover, the measure of each spike‐layer is estimated as ? → 0⁺. These results are applied to the study of the structure of positive solutions of the same problems with f changing sign many times in (0,∞). Uniqueness of a solution with a boundary‐layer and many positive intermediate solutions with spike‐layers are obtained for ? sufficiently small. (© 2004 WILEY‐VCH Verlag GmbH & Co. KGaA, Weinheim)     

Compatible associative bialgebras

We introduce a non-symmetric operad 𝒩, whose dimension in degree n is given by the Catalan number c_n?1. It arises naturally in the study of coalgebra structures defined on compatible associative algebras. We prove that any free compatible associative algebra admits a compatible infinitesimal bialgebra structure, whose subspace of primitive elements is a 𝒩-algebra. The data (As,As²,𝒩) is a good triple of operads, in J.-L. Loday’s sense. Our construction induces another triple of operads (As,As₂,As), where As₂ is the operad of matching dialgebras. Motivated by A. Goncharov’s Hopf algebra of paths P(S), we introduce the notion of bi-matching dialgebras and show that the Hopf algebra P(S) is a bi-matching dialgebras.