带可分解性质的幂等拟群大集

具有幂单正交侣的幂等拟群称为可分解的. 具有幂等正交侣的幂等拟群称为几乎可分解的. 若v 元集合上的所有分量互不相同的3-向量能够分拆成互不相交(幂等3-向量除外) 的v-2 个v 阶幂等拟群, 则称之为v 阶幂等拟群大集. 本文使用t-平衡设计(t=2; 3) 的方法给出了可分解幂等拟群大集、几乎可分解幂等拟群大集及可分解对称幂等拟群大集(即可分解高尔夫设计) 的构造方法, 给出了其存在性的若干结果.     

Transitive resolvable idempotent quasigroups and large sets of resolvable Mendelsohn triple systems

We first define a transitive resolvable idempotent quasigroup (TRIQ), and show that a TRIQ of order v exists if and only if 3∣v and . Then we use TRIQ to present a tripling construction for large sets of resolvable Mendelsohn triple systems s, which improves an earlier version of tripling construction by Kang. As an application we obtain an for any integer n≥1, which provides an infinite family of even orders.     

The spectrum of 2‐idempotent 3‐quasigroups with conjugate invariant subgroups

A ternary quasigroup (or 3‐quasigroup) is a pair (N, q) where N is an n‐set and q(x, y, z) is a ternary operation on N with unique solvability. A 3‐quasigroup is called 2‐idempotent if it satisfies the generalized idempotent law: q(x, x, y) = q(x, y, x) = q(y, x, x)=y. A conjugation of a 3‐quasigroup, considered as an OA(3, 4, n), $({{N}},{\mathcal{B}})$, is a permutation of the coordinate positions applied to the 4‐tuples of ${\mathcal{B}}$. The subgroup of conjugations under which $({{N}},{\mathcal{B}})$ is invariant is called the conjugate invariant subgroup of $({{N}},{\mathcal{B}})$. In this article, we determined the existence of 2‐idempotent 3‐quasigroups of order n, n≡7 or 11 (mod 12) and n≥11, with conjugate invariant subgroup consisting of a single cycle of length three. This result completely determined the spectrum of 2‐idempotent 3‐quasigroups with conjugate invariant subgroups. As a corollary, we proved that an overlarge set of Mendelsohn triple system of order n exists if and only if n≡0, 1 (mod 3) and n≠6. © 2010 Wiley Periodicals, Inc. J Combin Designs 18: 292–304, 2010     

An improved product construction for large sets of Kirkman triple systems

It has been shown by Lei, in his recent paper, that there exists a large set of Kirkman triple systems of order uv (LKTS(uv)) if there exist an LKTS(v), a TKTS(v) and an LR(u), where a TKTS(v) is a transitive Kirkman triple system of order v, and an LR(u) is a new kind of design introduced by Lei. In this paper, we improve this product construction by removing the condition “there exists a TKTS(v)”. Our main idea is to use transitive resolvable idempotent symmetric quasigroups instead of TKTS. As an application, we can combine the known results on LKTS and LR-designs to obtain the existence of an LKTS(3ⁿm(2·13^n₁+1)(2·13^n_t+1)) for n1, m{1,5,11,17,25,35,43,67,91,123}{2^2r+125^s+1 : r0,s0}, t0 and n_i1 (i=1,…,t).     

P3BD‐closed sets

A concept called P3BD‐closed set is introduced to describe a set of positive integers which is both PBD‐closed and 3BD‐closed. The theory of P3BD‐closure is developed and a few examples of P3BD‐closed sets are exhibited. In the process, the existence spectrum of OLIQ ^?s (overlarge sets of idempotent quasigroups with their own idempotent orthogonal mates) is almost determined. A pair of orthogonal OLIQ ^?s is shown to asymptotically exist. The existence of OLIQ s (overlarge sets of idempotent quasigroups with their own orthogonal mates not necessarily specifying idempotency) is also established with only 10 possible exceptions remained. Copyright © 2011 Wiley Periodicals, Inc. J Combin Designs 19:407‐421, 2011     

The spectrum for large sets of pure directed triple systems

An LPDTS(ν) is a collection of 3(ν-2) disjoint pure directed triple systems on the same set ofνelements. It is showed in Tian's doctoral thesis that there exists an LPDTS(ν) forν=0,4 (mod 6),ν≥4. In this paper, we establish the existence of an LPDTS(ν) forν= 1,3 (mod 6),ν> 3. Thus the spectrum for LPDTS(ν) is completely determined to be the set {ν:ν= 0, 1 (mod 3),ν≥4}.     

Densities of idempotent measures and large deviations

Considering measure theory in which the semifield of positive real numbers is replaced by an idempotent semiring leads to the notion of idempotent measure introduced by Maslov. Then, idempotent measures or integrals with density correspond to supremums of functions for the partial order relation induced by the idempotent structure. In this paper, we give conditions under which an idempotent measure has a density and show by many examples that they are often satisfied. These conditions depend on the lattice structure of the semiring and on the Boolean algebra in which the measure is defined. As an application, we obtain a necessary and sufficient condition for a family of probabilities to satisfy the large deviation principle.

     

Multimagic rectangles based on large sets of orthogonal arrays

Large sets of orthogonal arrays (LOAs) have been used to construct resilient functions and zigzag functions by Stinson. In this paper, an application of LOAs in constructing multimagic rectangles is given. Further, some recursive constructions for multimagic rectangles are presented, and some infinite families of bimagic rectangles are obtained.     

THE EXISTENCE OF OVERLARGE SETS OF IDEMPOTENT QUASIGROUPS

A idempotent quasigroup (Q, o) of order n is equivalent to an n(n-1)×3 partial orthogonal array in which all of rows consist of 3 distinct elements. Let X be a (n+1)-set. Denote by T(n+1) the set of (n+1)n(n-1) ordered triples of X with the property that the 3 coordinates of each ordered triple are distinct. An overlarge set of idempotent quasigroups of order n is a partition of T(n+1) into n+1 n(n-1)×3 partial orthogonal arrays A_x, x∈X based on X\{x}. This article gives an almost complete solution of overlarge sets of idempotent quasigroups.     

Self-converse large sets of pure Mendelsohn triple systems

A Mendelsohn triple system of order v （MTS（v）） is a pair （X,B） where X is a v-set and 5g is a collection of cyclic triples on X such that every ordered pair of X belongs to exactly one triple of B. An MTS（v） （X,B） is called pure and denoted by PMTS（v） if （x, y, z） ∈ B implies （z, y, x） ∈B. A large set of MTS（v）s （LMTS（v）） is a collection of v - 2 pairwise disjoint MTS（v）s on a v-set. A self-converse large set of PMTS（v）s, denoted by LPMTS＊ （v）, is an LMTS（v） containing [ v-2/2] converse pairs of PMTS（v）s. In this paper, some results about the existence and non-existence for LPMTS＊ （v） are obtained.     

幂等矩阵线性组合的可逆性

设T1,T2,T3是三个不同的两两相互可交换的n×n非零的三次幂等矩阵,并且c1,c2,c3是非零数.本文主要给出了线性组合c1T1 c2T2 c3T3可逆性的刻画.     

On large sets of Pk‐decompositions

Let G = (V(G),E(G)) be a graph. A (ν, G, λ)‐GD is a partition of all the edges of λK_ν into subgraphs (G‐blocks), each of which is isomorphic to G. The (ν, G, λ)‐GD is named as graph design for G or G‐decomposition. The large set of (ν, G, λ)‐GD is denoted by (ν, G, λ)‐LGD. In this paper, we obtain a general result by using the finite fields, that is, if q ≥ k ≥ 2 is an odd prime power, then there exists a (q,P_k, k ? 1)‐LGD. © 2005 Wiley Periodicals, Inc. J Combin Designs.     

幂等左侧余Quantale的特征

更好地讨论Quantale这一崭新数学分支的各种性质;给出幂等余Quantale及幂等左侧余Quantale的定义;幂等左侧余Quantale既是子余Quantale又是商余Quantale;且其补集是简单余Quantale;幂等余Quantale具有和其他Quantale类似的一些性质,并且与简单余Quantale也...     

Existence of large sets of coverings with block size 3

Two types of large sets of coverings were introduced by T. Etzion (J Combin Designs, 2(1994), 359–374). What is maximum number (denoted by λ(n,k)) of disjoint optimal (n,k,k ? 1) coverings? What is the minimum number (denoted by µ(n,k)) of disjoint optimal (n,k,k ? 1) coverings for which the union covers the space? For k = 3, the numbers µ(n,k) have been determined with an unsolved order n = 17, and the numbers λ(n,k) have also been determined with an unsolved infinite class n ≡ 5 (mod 6). The unsolved numbers λ(n,3) and µ(17,3) will be completed in this note. This solution is based on the existence of a class of partitionable candelabra systems. © 2006 Wiley Periodicals, Inc. J Combin Designs 14: 400–405, 2006     

The structure of idempotent residuated chains

In this paper we study some special residuated lattices, namely, idempotent residuated chains. After giving some properties of Green’s relation on the monoid reduct of an idempotent residuated chain, we establish a structure theorem for idempotent residuated chains. As an application, we give necessary and sufficient conditions for a band with an identity to be the monoid reduct of some idempotent residuated chain. Finally, based on the structure theorem for idempotent residuated chains, we obtain some characterizations of subdirectly irreducible, simple and strictly simple idempotent residuated chains. This work is supported by a grant of NSF, China # 10471112 and a grant of Shaanxi Provincial Natural Science Foundation # 2005A15.     

Some infinite families of large sets of Kirkman triple systems

A large set of Kirkman triple systems of order v, denoted by LKTS(v), is a collection {(X, B_i) : 1 ≤ i ≤ v ? 2}, where every (X,B_i) is a KTS(v) and all B_i form a partition of all triples on X. Many researchers have studied the existence of LKTS(v) for a long time. In [13], the author introduced a concept—large set of generalized Kirkman systems (LGKS), which plays an important role in the discussion of LKTS. In this article, we give a new construction for LGKS and obtain some new results of LKTS, that is, there exists an LKTS(6u + 3) for u = qⁿ, where n ≥ 1, q ≡ 7 (mod 12) and q is a prime power. © 2007 Wiley Periodicals, Inc. J Combin Designs 16: 202–212, 2008     

The parallel refinement of weakening idempotent pair

In this paper, we invent the parallel refinement, which refines the weakening idempotent pair into the positive and contractive one preserving K-theory information. We conduct a quantitative matrix analysis for this refinement, which shows that this refinement is more effective when we derive almost projection from weakening idempotent pairs.     

Tripling Construction for Large Sets of Resolvable Directed Triple Systems

In this paper, we first define a doubly transitive resolvable idempotent quasigroup （DTRIQ）, and show that aDTRIQ of order v exists if and only ifv ≡0（mod3） and v ≠ 2（mod4）. Then we use DTRIQ to present a tripling construction for large sets of resolvable directed triple systems, which improves an earlier version of tripling construction by Kang （J. Combin. Designs, 4 （1996）, 301-321）. As an application, we obtain an LRDTS（4·3^n） for any integer n ≥ 1, which provides an infinite family of even orders.     

The lattice of idempotent distributive semiring varieties

A solution is given for the word problem for free idempotent distributive semirings. Using this solution the latticeL (ID) of subvarieties of the variety ID of idempotent distributive semirings is determined. It turns out thatL (ID) is isomorphic to the direct product of a four-element lattice and a lattice which is itself a subdirect product of four copies of the latticeL(B) of all band varieties. ThereforeL(ID) is countably infinite and distributive. Every subvariety of ID is finitely based. Project supported by the National Natural Science Foundation of China (Grant No. 19761004) and the Provincial Applied Fundamental Research Foundation of Yunnan (96a001z).     

The spectrum for overlarge sets of hybrid triple systems

A hybrid triple system of order v and index λ,denoted by HTS(v,λ),is a pair(X,B) where X is a v-set and B is a collection of cyclic triples and transitive triples on X,such that every ordered pair of X belongs to λ triples of B. An overlarge set of disjoint HTS(v,λ),denoted by OLHTS(v,λ),is a collection {(Y {y},Ai)}i,such that Y is a(v+1)-set,each(Y {y},Ai) is an HTS(v,λ) and all Ais form a partition of all cyclic triples and transitive triples on Y.In this paper,we shall discuss the existence problem of OLHTS(v,λ) and give the following conclusion: there exists an OLHTS(v,λ) if and only if λ=1,2,4,v ≡ 0,1(mod 3) and v≥4.