Specht modules and semisimplicity criteria for Brauer and Birman–Murakami–Wenzl algebras

A construction of bases for cell modules of the Birman–Murakami–Wenzl (or B–M–W) algebra B _n (q,r) by lifting bases for cell modules of B _n−1(q,r) is given. By iterating this procedure, we produce cellular bases for B–M–W algebras on which a large Abelian subalgebra, generated by elements which generalise the Jucys–Murphy elements from the representation theory of the Iwahori–Hecke algebra of the symmetric group, acts triangularly. The triangular action of this Abelian subalgebra is used to provide explicit criteria, in terms of the defining parameters q and r, for B–M–W algebras to be semisimple. The aforementioned constructions provide generalisations, to the algebras under consideration here, of certain results from the Specht module theory of the Iwahori–Hecke algebra of the symmetric group. Research supported by Japan Society for Promotion of Science.     

Analytic proof of the partition identity A 5,3,3(n)=B 5,3,3 0 (n)

In this paper we give an analytic proof of the identity A _5,3,3(n)=B _5,3,3⁰(n), where A _5,3,3(n) counts the number of partitions of n subject to certain restrictions on their parts, and B _5,3,3⁰(n) counts the number of partitions of n subject to certain other restrictions on their parts, both too long to be stated in the abstract. Our proof establishes actually a refinement of that partition identity. The original identity was first discovered by the first author jointly with M. Ruby Salestina and S.R. Sudarshan in [Proceedings of the International Conference on Analytic Number Theory with Special Emphasis on L-functions, Ramanujan Math. Soc., Mysore, 2005, pp. 57–70], where it was also given a combinatorial proof, thus answering a question of Andrews. Research partially supported by EC’s IHRP Programme, grant HPRN-CT-2001-00272, “Algebraic Combinatorics in Europe.”     

On a poset algebra which is hereditarily but not canonically well generated

LetB be a superatomic Boolean algebra.B is well generated, if it has a well founded sublatticeL such thatL generatesB. The free product of Boolean algebrasB andC is denoted byB *C. IfC is a chain thenB(C) denotes the interval algebra overC. Theorem 1: (a)Every Boolean subalgebra of B(ℵ₁) *B(ℵ₀)is well-generated. (b)B(ℵ₁) *B(ℵ₁)contains a non well-generated Boolean subalgebra. Canonical well-generatedness is defined in the introduction. Recall thatB(ℵ₁) *B(ℵ₀) is canonically well-generated, and thus well-generated. We prove the following result. Theorem 2:B(ℵ₁) *B(ℵ₀)contains a non canonically well generated Boolean subalgebra. In contrast with Theorem 1(b), we have the following result. Theorem 3:Let A ={ɑ:α<ℵ₁}⊆℘(w)be a strictly increasing sequence in the relation of almost containment. Let B be the subalgebra of ℘(w)generated by {{n}:n∈ℵ₀}∪A.Then B is superatomic, and B is not embeddable in a well-generated algebra.     

Super Connectivity of Line Graphs and Digraphs

The h-super connectivity κh and the h-super edge-connectivity λh are more refined network reliability indices than the conneetivity and the edge-connectivity. This paper shows that for a connected balanced digraph D and its line digraph L, if D is optimally super edge-connected, then κ1（L） = 2λ1 （D）, and that for a connected graph G and its line graph L, if one of κ1 （L） and λ（G） exists, then κ1（L） = λ2（G）. This paper determines that κ1（B（d, n） is equal to 4d- 8 for n = 2 and d ≥ 4, and to 4d-4 for n ≥ 3 and d ≥ 3, and that κ1（K（d, n）） is equal to 4d- 4 for d 〉 2 and n ≥ 2 except K（2, 2）. It then follows that B（d,n） and K（d, n） are both super connected for any d ≥ 2 and n ≥ 1.     

Depth of functions of the <Emphasis Type="Italic">k</Emphasis>-valued logic in infinite bases

The realization of functions of the k-valued logic by circuits is considered over an arbitrary infinite complete basis B. The Shannon function D _B (n) of the circuit depth over B is examined (for any positive integer n the value D _B (n) is the minimal depth sufficient to realize every function of the k-valued logic of n variables by a circuit over B). It is shown that for each fixed k ≥ 2 and for any infinite complete basis B either there exists a constant α ≥ 1 such that D _B (n) = α for all sufficiently large n, or there exist constants β (β > 0), γ, δ such that βlog₂ n ≤ D _B (n) ≤ γlog₂ n + δ for all n.     

Bounded projectors in spaces of functions holomorphic in the unit ball

The paper studies some bounded operators in the Banach spaces L ^∞(B) and L ¹(B) over the unit ball B of ℂ ⁿ , the range of which are the corresponding holomorphic subspaces A _∞(φ) and A ¹(ϕ) depending on a normal pair of weight-functions {φ, ϕ}.     

Forelli-Rudin type theorem in pluriharmonic Bergman spaces with small index

It is proved that the Bergman type operatorT, is a bounded projection from the pluriharmonic Bergman spaceL ^p (B)∩h(B) onto Bergman spaceL ^p (B) ∩ H(B) for 0p 1 ands (p¹-1)(n+1). As an application it is shown that the Gleason’s problem can be solved in Bergman space L^P(B)∩H(B) for 0p 1. Project supported by the National Natural Science Foundation of China (Grant No. 19871081) and the Doctoral Program Foundation of the State Education Commission of China.     

Asymptotically minimal schemes for one sequence of Boolean functions

Monotone symmetric Boolean functions $ f_2^n (\tilde x) = \mathop \vee \limits_{1 \leqslant i < j \leqslant n} x_i x_j $ f_2^n (\tilde x) = \mathop \vee \limits_{1 \leqslant i < j \leqslant n} x_i x_j are considered. For such functions, the asymptotics L ^B (f ₂ ⁿ ) ∼ 3n, where L ^B (f ₂ ⁿ ) is the complexity of realization of function f ₂ ⁿ by schemes of functional elements in the basis B = {&, −}, is established.     

Non-<Emphasis Type="Italic">φ</Emphasis>-admissible normal subgroups of free burnside groups

In the present paper for arbitrary automorphism φ of the free Bunside group B(m, n) and for any odd number n ≥ 1003 a sufficient condition for existence of non-φ-admissible normal subgroup of B(m, n) was found. In particular, if automorphism φ is normal, then for any basis {a ₁, a ₂, …, a _m } of the group B(m, n) there is an integer k such that for each i the elements a _i and φ(a i) ^k are conjugates.     

Rigidity of commutators and elementary operators on Calkin algebras

LetA=(A ₁,...,A _n ),B=(B ₁,...,B _n )εL(ℓ ^p ) ⁿ be arbitraryn-tuples of bounded linear operators on (ℓ ^p ), with 1<p<∞. The paper establishes strong rigidity properties of the corresponding elementary operators ε _a,b on the Calkin algebraC(ℓ ^p )≡L(ℓ ^p )/K(ℓ ^p ); , where quotient elements are denoted bys=S+K(ℓ ^p ) forSεL(ℓ ^p ). It is shown among other results that the kernel Ker(ε _a,b ) is a non-separable subspace ofC(ℓ ^p ) whenever ε _a,b fails to be one-one, while the quotient is non-separable whenever ε _a,b fails to be onto. These results extend earlier ones in several directions: neither of the subsets {A ₁,...,A _n }, {B ₁,...,B _n } needs to consist of commuting operators, and the results apply to other spaces apart from Hilbert spaces. Supported by the Academy of Finland, Project 32837.     

On some extensions of <Emphasis Type="Italic">p</Emphasis>-restricted completely splittable GL(<Emphasis Type="Italic">n</Emphasis>)-modules

In this paper, we calculate the space Ext _GL(n ¹ )(L _n (λ), L _n (μ)), where GL(n) is the general linear group of degree n over an algebraically closed field of positive characteristic, L _n (λ) and L _n (μ) are rational irreducible GL(n)-modules with highest weights λ and μ, respectively, the restriction of L _n (λ) to any Levi subgroup of GL(n) is semisimple, λ is a p-restricted weight, and μ does not strictly dominate λ. __________ Translated from Fundamentalnaya i Prikladnaya Matematika, Vol. 11, No. 2, pp. 219–226, 2005.     

On the lattice of n-filters of an LM n -algebra

For an n-valued Łukasiewicz-Moisil algebra L (or LM _n -algebra for short) we denote by F _n (L) the lattice of all n-filters of L. The goal of this paper is to study the lattice F _n (L) and to give new characterizations for the meet-irreducible and completely meet-irreducible elements on F _n (L).      

A basis for the symplectic group branching algebra

The symplectic group branching algebra, B\mathcal {B}, is a graded algebra whose components encode the multiplicities of irreducible representations of Sp_2n−2(ℂ) in each finite-dimensional irreducible representation of Sp_2n (ℂ). By describing on B\mathcal {B} an ASL structure, we construct an explicit standard monomial basis of B\mathcal {B} consisting of Sp_2n−2(ℂ) highest weight vectors. Moreover, B\mathcal {B} is known to carry a canonical action of the n-fold product SL₂×⋯×SL₂, and we show that the standard monomial basis is the unique (up to scalar) weight basis associated to this representation. Finally, using the theory of Hibi algebras we describe a deformation of Spec(B)\mathrm{Spec}(\mathcal {B}) into an explicitly described toric variety.     

Theories of linear order

LetT be a complete theory of linear order; the language ofT may contain a finite or a countable set of unary predicates. We prove the following results. (i) The number of nonisomorphic countable models ofT is either finite or 2^ω. (ii) If the language ofT is finite then the number of nonisomorphic countable models ofT is either 1 or 2^ω. (iii) IfS ₁(T) is countable then so isS _n(T) for everyn. (iv) In caseS ₁(T) is countable we find a relation between the Cantor Bendixon rank ofS ₁(T) and the Cantor Bendixon rank ofS _n(T). (v) We define a class of modelsL, and show thatS ₁(T) is finite iff the models ofT belong toL. We conclude that ifS ₁(T) is finite thenT is finitely axiomatizable. (vi) We prove some theorems concerning the existence and the structure of saturated models. Most of the results in this paper appeared in the author’s Master of Science thesis which was prepared at the Hebrew University under the supervision of Professor H. Gaifman.     

On semi-fredholm properties of a boundary value problem inR + n

The paper considers a boundary value problem with the help of the smallest closed extensionL ^∼ :H _k →H _{k 0}×B _{h 1}×...×B _{h N} of a linear operatorL :C ₍₀₎ ^∞ (R ₊ ⁿ ) →L(R ₊ ⁿ )×L(R ⁿ⁻¹)×...×L(R ⁿ⁻¹). Here the spacesH _k (the spaces ℬ _h ) are appropriate subspaces ofD′(R ₊ ⁿ ) (ofD′(R ⁿ⁻¹), resp.),L(R ₊ ⁿ ) andC ₍₀₎ ^∞ (R ₊ ⁿ )) denotes the linear space of smooth functionsR ⁿ →C, which are restrictions onR ₊ ⁿ of a function from the Schwartz classL (fromC ₀ ^∞ , resp.),L(R ⁿ⁻¹) is the Schwartz class of functionsR ⁿ⁻¹ →C andL is constructed by pseudo-differential operators. Criteria for the closedness of the rangeR(L ^∼) and for the uniqueness of solutionsL ^∼ U=F are expressed. In addition, ana priori estimate for the corresponding boundary value problem is established.     

Some asymptotic Bessel function ratios

We derive leading terms in the expansion of ratios of the formB _n+α(nβ)/B_n(nβ) for largen, whereB _n(x) is any one of the Bessel functionsJ _n(x), Y_n(x), H_n(x),I _n(x) andK _n(x).     

Distribution of a certain partition function modulo powers of primes

In this paper, we study a certain partition function a(n) defined by Σ _n≥0 a(n)q ⁿ := Π _n=1(1 − q ⁿ )⁻¹(1 − q ²ⁿ )⁻¹. We prove that given a positive integer j ≥ 1 and a prime m ≥ 5, there are infinitely many congruences of the type a(An + B) ≡ 0 (mod m ^j ). This work is inspired by Ono’s ground breaking result in the study of the distribution of the partition function p(n).     

Multiparameter inverse problem of approximation by functions with given supports

Let L _p (S), 0 < p < +∞, be a Lebesgue space of measurable functions on S with ordinary quasinorm ∥·∥ _p . For a system of sets {B _t |t ∈ [0, +∞) ⁿ } and a given function ψ: [0, +∞) ⁿ ↦ [ 0, +∞), we establish necessary and sufficient conditions for the existence of a function f ∈ L _p (S) such that inf {∥f − g∥ _p ^p g ∈ L _p (S), g = 0 almost everywhere on S\B _t } = ψ (t), t ∈ [0, +∞) ⁿ . As a consequence, we obtain a generalization and improvement of the Dzhrbashyan theorem on the inverse problem of approximation by functions of the exponential type in L ₂. __________ Translated from Ukrains’kyi Matematychnyi Zhurnal, Vol. 58, No. 8, pp. 1116–1127, August, 2006.     

Affine Near-Semirings Over Brandt Semigroups

In order to study the structure of A ⁺(B _n )—the affine near-semiring over a Brandt semigroup—this work completely characterizes the Green's classes of its semigroup reducts. In this connection, this work classifies the elements of A ⁺(B _n ) and reports the size of A ⁺(B _n ). Further, idempotents and regular elements of the semigroup reducts of A ⁺(B _n ) have also been characterized and studied some relevant semigroups in A ⁺(B _n ).