Simple two-sided anti-Lie-admissible algebras

For a Lie algebra L, a bilinear map is called a commutative cocycle if ψ(a, b) = ψ(b, a) and ψ([a, b], c) + ψ([b, a], c) + ψ([c, a], b) = 0 for any a, b, c ∈ L. We prove that any commutative cocycle of a simple Lie algebra of characteristic p ≠ 2, 3 is trivial if the rank of L is at least 2. In particular, any two-sided Alia algebra connected with a simple, finite-dimensional Lie algebra L is isomorphic to L, except for the case where L = sl ₂ . Translated from Sovremennaya Matematika i Ee Prilozheniya (Contemporary Mathematics and Its Applications), Vol. 60, Algebra, 2008.     

Algebras with bracket

An algebra with bracket is an associative algebra A equipped with a bilinear operation [−,−] satisfying [a · b, c] = [a, c]·b+a · [b, c]. Our main result claims that the operad corresponding to algebras with bracket is Koszul.     

Triangle-free distance-regular graphs

Let Γ denote a distance-regular graph with diameter d≥3. By a parallelogram of length 3, we mean a 4-tuple xyzw consisting of vertices of Γ such that ∂(x,y)=∂(z,w)=1, ∂(x,z)=3, and ∂(x,w)=∂(y,w)=∂(y,z)=2, where ∂ denotes the path-length distance function. Assume that Γ has intersection numbers a ₁=0 and a ₂≠0. We prove that the following (i) and (ii) are equivalent. (i) Γ is Q-polynomial and contains no parallelograms of length 3; (ii) Γ has classical parameters (d,b,α,β) with b<−1. Furthermore, suppose that (i) and (ii) hold. We show that each of b(b+1)²(b+2)/c ₂, (b−2)(b−1)b(b+1)/(2+2b−c ₂) is an integer and that c ₂≤b(b+1). This upper bound for c ₂ is optimal, since the Hermitian forms graph Her₂(d) is a triangle-free distance-regular graph that satisfies c ₂=b(b+1). Work partially supported by the National Science Council of Taiwan, R.O.C.     

On tortkara triple systems

The commutator [a,b] = ab?ba in a free Zinbiel algebra (dual Leibniz algebra) is an anticommutative operation which satisfies no new relations in arity 3. Dzhumadildaev discovered a relation T(a,b,c,d) which he called the tortkara identity and showed that it implies every relation satisfied by the Zinbiel commutator in arity 4. Kolesnikov constructed examples of anticommutative algebras satisfying T(a,b,c,d) which cannot be embedded into the commutator algebra of a Zinbiel algebra. We consider the tortkara triple product [a,b,c] = [[a,b],c] in a free Zinbiel algebra and use computer algebra to construct a relation TT(a,b,c,d,e) which implies every relation satisfied by [a,b,c] in arity 5. Thus, although tortkara algebras are defined by a cubic binary operad (with no Koszul dual), the corresponding triple systems are defined by a quadratic ternary operad (with a Koszul dual). We use computer algebra to construct a relation in arity 7 satisfied by [a,b,c] which does not follow from the relations of lower arity. It remains an open problem to determine whether there are further new identities in arity n≥9.     

Bricks and pseudo MV-algebras are equivalent

We will show that the bricks (of Bosbach) and the pseudo MV-algebras are each term equivalent to the class of semigroups with a pair of unary operations ^ and ˘ satisfying the equations: (aa)^b = b = b(aă)˘ and a( a)˘ = (bă)^b and also show that a brick is an interval [0, u] of the positive cone of a unital lattice ordered group. We further extend the notion of implications to a pseudo MV-algebra and study the algebra of such implications.      

Characterization of polyanalytic functions by meromorphic extensions from chains of circles

Let C _t = {z ∈ ℂ: |z − c(t)| = r(t), t ∈ (0, 1)} be a C ¹-family of circles in the plane such that lim _t→0+ C _t = {a}, lim _t→1− C _t = {b}, a ≠ b, and |c′(t)|² + |r′(t)|² ≠ 0. The discriminant set S of the family is defined as the closure of the set {c(t) + r(t)w(t), t ∈ [0, 1]}, where w = w(t) is the root of the quadratic equation ̅c′(t)w ² + 2r′(t)w + c′(t) = 0 with |w| < 1, if such a root exists.     

The Number of Lattice Points Above the Catenary

For fixed c > 1 and for arbitrary and independent a,b ≧ 1 let Z ²|b( cosh(x/a)−c) ≦ y < 0}. We investigate the asymptotic behaviour of R(a,b) for a,b → ∞. In the special case b = o(a ^5/6) the lattice rest has true order of magnitude . This revised version was published online in June 2006 with corrections to the Cover Date.     

A Priori Estimates for Solutions of Singular Perturbations with a Turning Point

A priori estimates are derived for the solutions of the boundary value problem εy″ + a(x)y′ + b(x)y = f(x), c ? x ? d, y(c) = α, y(d) = β. Here 0 < ε ? 1 is a small parameter and a(x) has a single simple zero in [c,d] (the turning point). It is shown that the solutions of this problem are uniformly bounded for ε→0 by the norms of f, α and β if and only if b(x)<0 at the turning point. However, in certain cases there are weak a priori estimates for the solutions even if this condition is not fulfilled.     

Structural Stability of Constrained Polynomial Systems

The structural stability of constrained polynomial differentialsystems of the form a(x, y)x'+b(x, y)y'=f(x, y), c(x, y)x'+d(x,y)y'=g(x, y), under small perturbations of the coefficientsof the polynomial functions a, b, c, d, f and g is studied.These systems differ from ordinary differential equations at‘impasse points’ defined by ad–bc=0. Extensionsto this case of results for smooth constrained differentialsystems [7] and for ordinary polynomial differential systems[5] are achieved here. 1991 Mathematics Subject Classification34C35, 34D30.     

Sharp and Meager Elements in Orthocomplete Homogeneous Effect Algebras

We prove that every orthocomplete homogeneous effect algebra is sharply dominating. Let us denote the greatest sharp element below x by x ^↓. For every element x of an orthocomplete homogeneous effect algebra and for every block B with x ∈ B, the interval [x ^↓,x] is a subset of B. For every meager element (that means, an element x with x ^↓ = 0), the interval [0,x] is a complete MV-effect algebra. As a consequence, the set of all meager elements of an orthocomplete homogeneous effect algebra forms a commutative BCK-algebra with the relative cancellation property. We prove that a complete lattice ordered effect algebra E is completely determined by the complete orthomodular lattice S(E) of sharp elements, the BCK-algebra M(E) of meager elements and a mapping h:S(E)→2 ^M(E) given by h(a) = [0,a] ∩ M(E).     

An Arc as the Inverse Limit of a Single Bonding Map of Type N on [0,1]

Let I = [0, 1], c ₁, c ₂ ∈ (0, 1) with c ₁ < c ₂ and f : I⊸I be a continuous map satisfying: are both strictly increasing and is strictly decreasing. Let A = {x ∈ [0, c ₁]∣f(x) = x}, a=max A, a ₁ =max(A\{a}), and B = {x ∈ [c ₂, 1]∣f(x) = x}, b=minB, b ₁ =min(B\{b}). Then the inverse limit (I, f) is an arc if and only if one of the following three conditions holds: (1) If c ₁ < f (c ₁) ≤ c ₂ (resp. c ₁ ≤ f (c ₂) < c ₂), then f has a single fixed point, a period two orbit, but no points of period greater than two or f has more than one fixed point but no points of other periods, furthermore, if A≠φ and B≠φ, then f (c ₂) > a (resp. f (c ₁) < b). (2) If f (c ₁) ≤ c ₁ (resp. f (c ₂) ≥ c ₂), then f has more than one fixed point, furthermore, if B≠φ and A\ {a} ≠φ, f (c ₂) ≥ a or if a ₁ < f (c ₂) < a, f ² (c ₂) > f (c ₂), (resp. f has more than one fixed point, furthermore, if A≠φ and B\{b}≠φ, f (c ₁) ≤ b or if b < f (c ₂) < b ₁, f ² (c ₁) < f (c ₁)). (3) If f (c ₁) > c ₂ and f (c ₂) < c ₁, then f has a single fixed point, a single period two orbit lying in I\(u, v) but no points of period greater than two, where u, v ∈ [c ₁, c ₂] such that f (u) = c ₂ and f (v) = c ₁. Supported by the National Natural Science Foundation of China (No. 19961001, No. 60334020) and Outstanding Young Scientist Research Fund. (No. 60125310)     

On the generalization of the D. H. Lehmer problem

Let n ≥ 2 be a fixed positive integer, q ≥ 3 and c be two integers with （n, q） = （c, q） = 1. We denote by rn（51, 52, C; q） （δ 〈 δ1,δ2≤ 1） the number of all pairs of integers a, b satisfying ab ≡ c（mod q）, 1 〈 a ≤δ1q, 1 ≤ b≤δ2q, （a,q） = （b,q） = 1 and nt（a＋b）. The main purpose of this paper is to study the asymptotic properties of rn （δ1, δ2, c; q）, and give a sharp asymptotic formula for it.     

Q 2-free Families in the Boolean Lattice

For a family F{{\cal F}} of subsets of [n] = {1, 2, ..., n} ordered by inclusion, and a partially ordered set P, we say that F{{\cal F}} is P-free if it does not contain a subposet isomorphic to P. Let ex(n, P) be the largest size of a P-free family of subsets of [n]. Let Q ₂ be the poset with distinct elements a, b, c, d, a < b,c < d; i.e., the 2-dimensional Boolean lattice. We show that 2N − o(N) ≤ ex(n, Q ₂) ≤ 2.283261N + o(N), where N = \binomn?n/2 ?N = \binom{n}{\lfloor n/2 \rfloor}. We also prove that the largest Q ₂-free family of subsets of [n] having at most three different sizes has at most 2.20711N members.     

On Non-Essential Edges in 3-Connected Graphs

 An edge e in a simple 3-connected graph is deletable (simple-contractible) if the deletion G\e (contraction G/e) is both simple and 3-connected. Suppose a, b, and c are three non-negative integers. If there exists a simple 3-connected graph with exactly a edges which are deletable but not simple-contractible, exactly b edges which are simple-contractible but not deletable, and exactly c edges which are both deletable and simple-contractible, then we call the triple (a, b, c) realizable, and such a graph is said to be an (a, b, c)-graph. Tutte's Wheels Theorem says the only (0, 0, 0)-graphs are the wheels. In this paper, we characterize the (a, b, c) realizable triples for which at least one of a + b≤2, c=0, and c≥16 holds. Received: February 12, 1997 Revised: February 13, 1998     

Computing commutator length in free groups

We study commutator length in free groups. (By a commutator lengthcl(g) of an element g in a derived subgroup G′ of a group G we mean the least natural number k such that g is a product of k commutators.) A purely algebraic algorithm is constructed for computing commutator length in a free group F₂ (Thm. 1). Moreover, for every element z ε F′₂ and for any natural m, the following estimate derives:cl(z^m) ≥ (ms(z) + 6)/12, where s(z) is a nonnegative number defined by an element z (Thm. 2). This estimate is used to compute commutator length of some particular elements. By analogy with the concept of width of a derived subgroup known in group theory, we define the concept of width of a derived subalgebra. The width of a derived subalgebra is computed for an algebra P of pairs, and also for its corresponding Lie algebra P_L. The algebra of pairs arises naturally in proving Theorem 2 and enjoys a number of interesting properties. We state that in a free group F_2k with free generators a₁, b₁, ..., a_k, b_k, k εN, every natural m satisfiescl(([a₁, b₁] ... [a_k, b_k])^m)=[(2 − m)/2] + mk. For k=1, this entails a known result of Culler. The notion of a growth function as applied to a finitely generated group G is well known. Associated with a derived subgroup of F₂ is some series depending on two variables which bears information not only on the number of elements of prescribed length but also on the number of elements of prescribed commutator length. A number of open questions are formulated. Supported by RFFR grant No. 98-01-00699. Translated fromAlgebra i Logika, Vol. 39, No. 4, pp. 395–440, July–August, 2000.     

Degenerate triply nonlinear problems with nonhomogeneous boundary conditions

The paper addresses the existence and uniqueness of entropy solutions for the degenerate triply nonlinear problem: b(v) _t − div α(v, ▽g(v)) = f on Q:= (0, T) × Ω with the initial condition b(v(0, ·)) = b(v ₀) on Ω and the nonhomogeneous boundary condition “v = u” on some part of the boundary (0, T) × ∂Ω”. The function g is continuous locally Lipschitz continuous and has a flat region [A ₁, A ₂,] with A ₁ ≤ 0 ≤ A ₂ so that the problem is of parabolic-hyperbolic type.     

[a,b]-factorizations of graphs

Let a and b be integers with b ? a ? 0. A graph G is called an [a,b]-graph if a ? d_G(v) ? b for each vertex v ∈ V(G), and an [a,b]-factor of a graph G is a spanning [a,b]-subgraph of G. A graph is [a,b]-factorable if its edges can be decomposed into [a,b]-factors. The purpose of this paper is to prove the following three theorems: (i) if 1 ? b ? 2a, every [(12a + 2)m + 2an,(12b + 4)m + 2bn]-graph is [2a, 2b + 1]-factorable; (ii) if b ? 2a ?1, every [(12a ?4)m + 2an, (12b ?2)m + 2bn]-graph is [2a ?1,2b]-factorable; and (iii) if b ? 2a ?1, every [(6a ?2)m + 2an, (6b + 2)m + 2bn]-graph is [2a ?1,2b + 1]-factorable, where m and n are nonnegative integers. They generalize some [a,b]-factorization results of Akiyama and Kano [3], Kano [6], and Era [5].     

Generalization of the perron effect whereby the characteristic exponents of all solutions of two differential systems change their sign from negative to positive

We obtain a generalization of the complete Perron effect whereby the characteristic exponents of all solutions change their sign from negative for the linear approximation system to positive for a nonlinear system with perturbations of higher-order smallness [Differ. Uravn., 2010, vol. 46, no. 10, pp. 1388–1402]. Namely, for arbitrary parameters λ ₁ ≤ λ ₂ < 0 and m > 1 and for arbitrary intervals [b _i , d _i ) ⊂ [λ _i ,+∞), i = 1, 2, with boundaries d ₁ ≤ b ₂, we prove the existence of (i) a two-dimensional linear differential system with bounded coefficient matrix A(t) infinitely differentiable on the half-line t ≥ 1 and with characteristic exponents λ ₁(A) = λ ₁ ≤ λ ₂(A) = λ ₂ < 0; (ii) a perturbation f(t, y) of smallness order m > 1 infinitely differentiable with respect to time t > 1 and continuously differentiable with respect to y ₁ and y ₂, y = (y ₁, y ₂) ∈ R ² such that all nontrivial solutions y(t, c), c ∈ R ², of the nonlinear system .y = A(t)y + f(t, y), y ∈ R ², t ≥ 1, are infinitely extendible to the right and have characteristic exponents λ[y] ∈ [b ₁, d ₁) for c ₂ = 0 and λ[y] ∈ [b ₂, d ₂) for c ₂ ≠ 0.     

On Composition series relative to a module

ABSTRACT

A commutative algebra with the identity (a * b) * (c * d) ? (a * d) * (c * b) = (a, b, c) * d ? (a, d, c) * b is called Novikov–Jordan. Example: K[x] under multiplication a * b = ?(ab) is Novikov–Jordan. A special identity for Novikov–Jordan algebras of degree 5 is constructed. Free Novikov–Jordan algebras with q generators are exceptional for any q ≥ 1.