The Semigroup Characterizations of Positive Implicative BCK—algebras

§１．　ＩｎｔｒｏｄｕｃｔｉｏｎＢｙａＢＣＩ－ａｌｇｅｂｒａｗｅｍｅａｎａｎａｌｇｅｂｒａ（Ｘ，，０）ｏｆｔｙｐｅ（２，０）ｗｉｔｈｔｈｅｆｏｌｌｏｗｉｎｇｃｏｎｄｉ－ｔｉｏｎｓ：（１）（（ｘｙ）（ｘｚ））（ｚｙ）＝０；（２）（ｘ（ｘｙ））ｙ＝０；（３）ｘｘ＝０；（４）ｘｙ＝ｙｘ＝０ｉｍｐｌｉｅｓｘ＝ｙ．ＩｆａＢＣＩ－ａｌｇｅｂｒａ（Ｘ，，０）ｓａｔｉｓｆｉｅｓ（５）０ｘ＝０．ｔｈｅｎｉｔｉｓｃａｌｌｅｄａＢＣＫ－ａｌｇｅｂｒａ．ＩｎａＢＣＩ－ａｌｇｅｂｒａ，ｔｈｅｆ…     

The spectrum of path factorization of bipartite multigraphs

LetλK_(m,n)be a bipartite multigraph with two partite sets having m and n vertices, respectively.A P_v-factorization ofλK_(m,n)is a set of edge-disjoint P_v-factors ofλK_(m,n)which partition the set of edges ofλK_(m,n).When v is an even number,Ushio,Wang and the second author of the paper gave a necessary and sufficient condition for the existence of a P_v-factorization ofλK_(m,n).When v is an odd number,we have proposed a conjecture.Very recently,we have proved that the conjecture is true when v=4k-1.In this paper we shall show that the conjecture is true when v = 4k 1,and then the conjecture is true.That is,we will prove that the necessary and sufficient conditions for the existence of a P_(4k 1)-factorization ofλK_(m,n)are(1)2km≤(2k 1)n,(2)2kn≤(2k 1)m,(3)m n≡0(mod 4k 1),(4)λ(4k 1)mn/[4k(m n)]is an integer.     

q-Generalizations of Mortenson’s identities and further identities

By means of partial fraction decomposition, we give simple proofs of Mortenson’s identities first. Then, inspired by them, we derive their q-generalizations and explore further identities of similar type.     

Blocks of cyclotomic Hecke algebras and Khovanov-Lauda algebras

We construct an explicit isomorphism between blocks of cyclotomic Hecke algebras and (sign-modified) cyclotomic Khovanov-Lauda algebras in type A. These isomorphisms connect the categorification conjecture of Khovanov and Lauda to Ariki’s categorification theorem. The Khovanov-Lauda algebras are naturally graded, which allows us to exhibit a non-trivial ℤ-grading on blocks of cyclotomic Hecke algebras, including symmetric groups in positive characteristic.     

Reduction of the Small Cohen–Macaulay Conjecture to excellent unique factorization domains

In this article, applying the quasi-Gorenstein analogous of the Ulrich’s deformation of certain Gorenstein rings to unique factorization domains, we show that the Small Cohen–Macaulay Conjecture reduces to excellent unique factorization domains.     

The centers of spin symmetric group algebras and Catalan numbers

Generalizing the work of Farahat-Higman on symmetric groups, we describe the structures of the even centers of integral spin symmetric group superalgebras, which lead to universal algebras termed as the spin FH-algebras. A connection between the odd Jucys-Murphy elements and the Catalan numbers is developed and then used to determine the algebra generators of the spin FH-algebras and of the even centers .     

The automorphisms of Petit’s algebras

Let σ be an automorphism of a field K with fixed field F. We study the automorphisms of nonassociative unital algebras which are canonical generalizations of the associative quotient algebras K[t;σ]∕fK[t;σ] obtained when the twisted polynomial f∈K[t;σ] is invariant, and were first defined by Petit. We compute all their automorphisms if σ commutes with all automorphisms in Aut_F(K) and n≥m?1, where n is the order of σ and m the degree of f, and obtain partial results for n<m?1. In the case where K∕F is a finite Galois field extension, we obtain more detailed information on the structure of the automorphism groups of these nonassociative unital algebras over F. We also briefly investigate when two such algebras are isomorphic.     

Irredundant ϕ-representations of algebras — existence and some uniqueness

We introduce the concept of a -representation of an algebraA which is a common generalization of direct and subdirect representation ofA. Here we characterize irredundant -representations in terms of congruence relations. The main result of this paper asserts some uniqueness in such representations.Presented by A. F. Pixley.     

Partition identities II. The results of Bateman and Erd?s

This paper shows that the natural setting for the Bateman and Erd?s study of monotonicity of the kth difference of partition functions a(n) is the class of partition identities

     

Some identities for Appell–Lerch sums and a universal mock theta function

In their paper “A survey of classical mock theta functions”, Gordon and McIntosh observed that the classical mock \(\theta \)-functions, including those found by Ramanujan, can be expressed in terms of two ‘universal’ mock \(\theta \)-functions denoted by \(g_{_{2}}\) and \(g_{_{3}}\). These functions are normalized level 2 and level 3 Appell–Lerch functions. In the survey paper, the authors list several identities for certain Appell–Lerch functions and refer the proofs to a future paper with this title, listed in their references as [GM3]. The purpose of this paper is to prove these identities. One of the identities removes the \( \theta \) -quotients from Kang’s formulas, which express \(g_{_{2}}\) and \({g}_{{_{3}}}\) in terms of Zwegers’ \(\mu \)-function and \( \theta \)-quotients.     

The K-theoretical range of Cuntz–Krieger algebras

We augment Restorff's classification of purely infinite Cuntz–Krieger algebras by describing the range of his invariant on purely infinite Cuntz–Krieger algebras. We also describe its range on purely infinite graph C^?$C^{?}$-algebras with finitely many ideals, and provide ‘unital’ range results for purely infinite Cuntz–Krieger algebras and unital purely infinite graph C^?$C^{?}$-algebras.     

A 2-Calabi–Yau realization of finite-type cluster algebras with universal coefficients

Mathematische Zeitschrift - We categorify various finite-type cluster algebras with coefficients using completed orbit categories associated to Frobenius categories. Namely, the Frobenius...     

The Poincaré series of the algebras of simultaneous invariants and covariants of two binary forms

Let ? _{d 1, d 2} and 𝒞 _{d 1, d 2} be the algebras of simultaneous invariants and simultaneous covariants of the two binary forms of degrees d ₁ and d ₂. Formulas for computation of the Poincaré series 𝒫? _{d 1, d 2} (z), 𝒫𝒞 _{d 1, d 2} (z) of the algebras are found. By using these formulas, we have computed the series for d ₁, d ₂ ≤ 20.     

Comparison semigroups and algebras of transformations

We characterize algebras of transformations on a set under the operations of composition and the pointwise switching function defined as follows: (f,g)[h,k](x)=h(x) if f(x)=g(x), and k(x) otherwise. The resulting algebras are both semigroups and comparison algebras in the sense of Kennison. The same characterization holds for partial transformations under composition and a suitable generalisation of the quaternary operation in which agreement of f,g includes cases where neither is defined. When a zero element is added (modelling the empty function), the resulting signature is rich enough to encompass many operations on semigroups of partial transformations previously considered, including set difference and intersection, restrictive product, and a functional analog of union. When an identity element is also added (modelling the identity function), further domain-related operations can be captured.     

The proof of Ushio''''s conjecture concerning path factorization of complete bipartite graphs

Let Km,n be a complete bipartite graph with two partite sets having m and n vertices, respectively. A Pv-factorization of Km,n is a set of edge-disjoint Pv-factors of Km,n which partition the set of edges of Km,n. When v is an even number, Wang and Ushio gave a necessary and sufficient condition for existence of Pv-factorization of Km,n. When k is an odd number, Ushio in 1993 proposed a conjecture. Very recently, we have proved that Ushio's conjecture is true when v = 4k-1. In this paper we shall show that Ushio Conjecture is true when v = 4k 1, and then Ushio's conjecture is true. That is, we will prove that a necessary and sufficient condition for the existence of a P4k 1-factorization of Km,n is (i) 2km≤ (2k 1)n, (ii) 2kn≤ (2k 1)m, (iii) m n = 0 (mod 4k 1), (iv) (4k 1)mn/[4k(m n)] is an integer.     

The ortho-diameters of Nikol’skii and Besov classes in the Lorentz spaces

In this paper we estimate the order of approximation of S. M. Nikol’skii and O. V. Besov classes in the norm of the anisotropic Lorentz space. We also obtain bounds for ortho-diameters of these classes.