The quantum double of the Yangian of the Lie superalgebra <Emphasis Type="Italic">A</Emphasis>(<Emphasis Type="Italic">m,n</Emphasis>) and computation of the universal <Emphasis Type="Italic">R</Emphasis>-matrix

The Yangian double DY(A(m, n)) of the Lie superalgebra A(m, n) is described in terms of generators and defining relations. We prove the triangular decomposition for Yangian Y(A(m, n)) and its quantum double DY(A(m, n)) as a corollary of the PBW theorem. We introduce normally ordered bases in the Yangian and its dual Hopf superalgebra in the quantum double. We calculate the pairing formulas between the elements of these bases. We obtain the formula for the universal R-matrix of the Yangian double. The formula for the universal R-matrix of the Yangian, which was introduced by V. Drinfel’d, is also obtained. __________ Translated from Fundamentalnaya i Prikladnaya Matematika, Vol. 11, No. 2, pp. 185–208, 2005.     

Double integrals and infinite products for some classical constants via analytic continuations of Lerch’s transcendent

The two-fold aim of the paper is to unify and generalize on the one hand the double integrals of Beukers for ζ(2) and ζ(3), and of the second author for Euler’s constant γ and its alternating analog ln (4/π), and on the other hand the infinite products of the first author for e, of the second author for π, and of Ser for e ^γ . We obtain new double integral and infinite product representations of many classical constants, as well as a generalization to Lerch’s transcendent of Hadjicostas’s double integral formula for the Riemann zeta function, and logarithmic series for the digamma and Euler beta functions. The main tools are analytic continuations of Lerch’s function, including Hasse’s series. We also use Ramanujan’s polylogarithm formula for the sum of a particular series involving harmonic numbers, and his relations between certain dilogarithm values.      

Subspaces of<Emphasis Type="Italic">l</Emphasis><Superscript>∞</Superscript> (Γ) without quasicomplements

J. Lindenstrauss proves in [L] thatc ₀(Γ) is not quasicomplemented inl ^∞(Γ) while H. P. Rosenthal in [R] proves that subspaces, whose dual balls are weak* sequentially compact and weak* separable, are quasicomplemented inl ^∞(Γ). In this note it is proved that weak* separability of the dual is the precise condition determining whether a subspace, without isomorphic copies ofl ₁ and whose dual balls are weak* sequentially compact, is quasicomplemented or not inl ^∞(Γ). Especially spaces isomorphic tol _p(Γ), for 1<p<∞, have no quasicomplements inl ^∞(Γ) if Γ is uncountable.     

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.      

Direct Constructions of Hyperplanes of Dual Polar Spaces Arising from Embeddings

Let e be one of the following full projective embeddings of a finite dual polar space Δ of rank n ≥ 2: (i) The Grassmann-embedding of the symplectic dual polar space Δ ≅ DW(2n – 1, q); (ii) the Grassmann-embedding of the Hermitian dual polar space Δ ≅ DH(2n – 1, q ²); (iii) the spin-embedding of the orthogonal dual polar space Δ ≅ DQ(2n, q); (iv) the spin-embedding of the orthogonal dual polar space Δ ≅DQ ⁻(2n + 1, q). Let H_e{\mathcal{H}_{e}} denote the set of all hyperplanes of Δ arising from the embedding e. We give a method for constructing the hyperplanes of H_e{\mathcal{H}_{e}} without implementing the embedding e and discuss (possible) applications of the given construction.     

Pairing and Quantum Double of Multiplier Hopf Algebras

We define and investigate pairings of multiplier Hopf (*-)algebras which are nonunital generalizations of Hopf algebras. Dual pairs of multiplier Hopf algebras arise naturally from any multiplier Hopf algebra A with integral and its dual Â. Pairings of multiplier Hopf algebras play a basic rôle, e.g., in the study of actions and coactions, and, in particular, in the relation between them. This aspect of the theory is treated elsewhere. In this paper we consider the quantum double construction out of a dual pair of multiplier Hopf algebras. We show that two dually paired regular multiplier Hopf (*-)algebras A and B yield a quantum double which is again a regular multiplier Hopf (*-)algebra. If A and B have integrals, then the quantum double also has an integral. If A and B are Hopf algebras, then the quantum double multiplier Hopf algebra is the usual quantum double. The quantum double construction for dually paired multiplier Hopf (*-)algebras yields new nontrivial examples of multiplier Hopf (*-)algebras.     

On the infimum problem of Hilbert space effects

The quantum effects for a physical system can be described by the set ε(H) of positive operators on a complex Hilbert space H that are bounded above by the identity operator I. The infimum problem of Hilbert space effects is to find under what condition the infimum A∧B exists for two quantum effects A and B∈ε(H). The problem has been studied in different contexts by R. Kadison, S. Gudder, M. Moreland, and T. Ando. In this note, using the method of the spectral theory of operators, we give a complete answer of the infimum problem. The characterizations of the existence of infimum A∧B for two effects A. B∈ε(H) are established.     

Maps preserving numerical radius or cross norms of products of self-adjoint operators

Let H be a complex Hilbert space with dimH ≥3, Bs（H） the （real） Jordan algebra of all self-adjoint operators on H. Every surjective map Ф ： Bs（H）→13s（H） preserving numerical radius of operator products （respectively, Jordan triple products） is characterized. A characterization of surjective maps on Bs （H） preserving a cross operator norm of operator products （resp. Jordan triple products of operators） is also given.     

Subgroups of unitriangular groups of infinite matrices

We show that for any associative ring R, the subgroup UT _r(∞, R) of row-finite matrices in UT(∞, R), the group of all infinite-dimensional (indexed by ℕ) upper unitriangular matrices over R, is generated by the so-called strings (block-diagonal matrices with finite blocks along the main diagonal). This allows us to define a large family of subgroups of UT _r(∞, R) associated with some growth functions. The smallest subgroup in this family, called the group of banded matrices, is generated by 1-banded simultaneous elementary transvections (a slight generalization of the usual notion of elementary transvection). We introduce the notion of net subgroup and characterize the normal net subgroups of UT(∞, R). Bibliography: 26 titles. __________ Translated from Zapiski Nauchnykh Seminarov POMI, Vol. 338, 2006, pp. 137–154.     

Quantum Fractals on <Emphasis Type="Italic">n</Emphasis>–Spheres. Clifford Algebra Approach

Using the Clifford algebra formalism we extend the quantum jumps algorithm of the Event Enhanced Quantum Theory (EEQT) to convex state figures other than those stemming from convex hulls of complex projective spaces that form the basis for the standard quantum theory. We study quantum jumps on n-dimensional spheres, jumps that are induced by symmetric configurations of non-commuting state monitoring detectors. The detectors cause quantum jumps via geometrically induced conformal maps (M?bius transformations) and realize iterated function systems (IFS) with fractal attractors located on n-dimensional spheres. We also extend the formalism to mixed states, represented by “density matrices” in the standard formalism, (the n-balls), but such an extension does not lead to new results, as there is a natural mechanism of purification of states. As a numerical illustration we study quantum fractals on the circle (one-dimensional sphere and pentagon), two–sphere (octahedron), and on three-dimensional sphere (hypercubetesseract, 24 cell, 600 cell, and 120 cell). The attractor, and the invariant measure on the attractor, are approximated by the powers of the Markov operator. In the appendices we calculate the Radon-Nikodym derivative of the SO(n + 1) invariant measure on Sⁿ under SO(1, n + 1) transformations and discuss the Hamilton’s “icossian calculus” as well as its application to quaternionic realization of the binary icosahedral group that is at the basis of the 600 cell and its dual, the 120 cell. As a by-product of this work we obtain several Clifford algebraic results, such as a characterization of positive elements in a Clifford algebra as generalized Lorentz “spin–boosts”, and their action as M?bius transformation on n-sphere, and a decomposition of any element of Spin⁺(1, n + 1) into a spin–boost and a spin–rotation, including the explicit formula for the pullback of the SO(n + 1) invariant Riemannian metric with respect to the associated M?bius transformation.     

The ideal center of the dual of a Banach lattice

Let E be a Banach lattice. Its ideal center Z(E) is embedded naturally in the ideal center Z(E′) of its dual. The embedding may be extended to a contractive algebra and lattice homomorphism of Z(E)ʺ into Z(E′). We show that the extension is onto Z(E′) if and only if E has a topologically full center. (That is, for each x ? E{x\in E}, the closure of Z(E)x is the closed ideal generated by x.) The result can be generalized to the ideal center of the order dual of an Archimedean Riesz space and in a modified form to the orthomorphisms on the order dual of an Archimedean Riesz space.     

Dual space,carleson measure and sequence interpolation onA p (ϕ)(O<p<1)

LetD={z∈Σ:|z|<1} and ϕ be a normal function on [0,1). Forp∈(0,1) such a function ϕ is used to define a Bergman spaceA ^p (ϕ) onD with weight ϕ ^p (|·|)/(1-|·|²). In this paper, the dual space ofA ^p (ϕ) is given, four characteristics of Carleson measure onA ^p (ϕ) are obtained. Moreover, as an application, three sequence interpolation theorems inA ^p (ϕ) are derived. Supported by the Doctoral Program Foundation of Institute of Higher Education, P.R. China.     

Existence principles for higher-order nonlocal boundary-value problems and their applications to singular Sturm-Liouville problems

We present existence principles for the nonlocal boundary-value problem (φ(u^(p−1)))′=g(t,u,...,u^(p−1), α_k(u)=0, 1≤k≤p−1, where p ≥ 2, π: ℝ → ℝ is an increasing and odd homeomorphism, g is a Carathéodory function that is either regular or has singularities in its space variables, and α _k: C ^p−1[0, T] → ℝ is a continuous functional. An application of the existence principles to singular Sturm-Liouville problems (−1)ⁿ(φ(u⁽²ⁿ⁻⁾))′=f(t,u,...,u⁽²ⁿ⁻¹⁾), u^(2k)(0)=0, α_ku^(2k)(T)+b_ku^(2k=1)(T)=0, 0≤k≤n−1, is given. Published in Ukrains’kyi Matematychnyi Zhurnal, Vol. 60, No. 2, pp. 240–259, February, 2008.     

On the code generated by the incidence matrix of points and hyperplanes in <Emphasis Type="Italic">PG</Emphasis>(<Emphasis Type="Italic">n</Emphasis>,<Emphasis Type="Italic">q</Emphasis>) and its dual

In this paper, we study the p-ary linear code C(PG(n,q)), q = p ^h , p prime, h ≥ 1, generated by the incidence matrix of points and hyperplanes of a Desarguesian projective space PG(n,q), and its dual code. We link the codewords of small weight of this code to blocking sets with respect to lines in PG(n,q) and we exclude all possible codewords arising from small linear blocking sets. We also look at the dual code of C(PG(n,q)) and we prove that finding the minimum weight of the dual code can be reduced to finding the minimum weight of the dual code of points and lines in PG(2,q). We present an improved upper bound on this minimum weight and we show that we can drop the divisibility condition on the weight of the codewords in Sachar’s lower bound (Geom Dedicata 8:407–415, 1979). G. Van de Voorde’s research was supported by the Institute for the Promotion of Innovation through Science and Technology in Flanders (IWT-Vlaanderen).     

The minimal degree of plane models of algebraic curves and double coverings

Let C be a smooth irreducible projective curve of genus g and s(C, 2) (or simply s(2)) the minimal degree of plane models of C. We show the non-existence of curves with s(2) = g for g ≥ 10, g ≠ 11. Another main result is determining the value of s(2) for double coverings of hyperelliptic curves. We also give a criterion for a curve with big s(2) to be a double covering.     

Average B-width and infinite dimensional G-width of some smooth function classes on the line

In this paper, we get the exact values of average σ-B width and infinite dimensional σ-G width of Sobolev class B^r _p(R) in the metric L_p(R) (1≤p≤∞) and obtain the exact (σ∈N) and strong asymptotic (σ>1) results of infinite dimensional σ-G widths of Sobolev-Wiener class W^r _pq (R) in the metric L_q(R) and its dual case W^r _p(R) in the metric L_qp(R) (1≤q≤p≤∞).     

Rank-two update algorithms for the minimum volume enclosing ellipsoid problem

We consider the problem of computing a (1+ε)-approximation to the minimum volume enclosing ellipsoid (MVEE) of a given set of m points in R ⁿ . Based on the idea of sequential minimal optimization (SMO) method, we develop a rank-two update algorithm. This algorithm computes an approximate solution to the dual optimization formulation of the MVEE problem, which updates only two weights of the dual variable at each iteration. We establish that this algorithm computes a (1+ε)-approximation to MVEE in O(mn ³/ε) operations and returns a core set of size O(n ²/ε) for ε∈(0,1). In addition, we give an extension of this rank-two update algorithm. Computational experiments show the proposed algorithms are very efficient for solving large-scale problem with a high accuracy.     

Minimal full polarized embeddings of dual polar spaces

Let Δ be a thick dual polar space of rank n ≥ 2 admitting a full polarized embedding e in a finite-dimensional projective space Σ, i.e., for every point x of Δ, e maps the set of points of Δ at non-maximal distance from x into a hyperplane e∗(x) of Σ. Using a result of Kasikova and Shult [11], we are able the show that there exists up to isomorphisms a unique full polarized embedding of Δ of minimal dimension. We also show that e∗ realizes a full polarized embedding of Δ into a subspace of the dual of Σ, and that e∗ is isomorphic to the minimal full polarized embedding of Δ. In the final section, we will determine the minimal full polarized embeddings of the finite dual polar spaces DQ(2n,q), DQ ⁻(2n+1,q), DH(2n−1,q ²) and DW(2n−1,q) (q odd), but the latter only for n≤ 5. We shall prove that the minimal full polarized embeddings of DQ(2n,q), DQ ⁻(2n+1,q) and DH(2n−1,q ²) are the `natural' ones, whereas this is not always the case for DW(2n−1, q).B. De Bruyn: Postdoctoral Fellow of the Research Foundation - Flanders.     

Quantum matrix algebras of the GL(m|n) type: The structure and spectral parameterization of the characteristic subalgebra

We continue the study of quantum matrix algebras of the GL(m|n) type. We find three alternative forms of the Cayley-Hamilton identity; most importantly, this identity can be represented in a factored form. The factorization allows naturally dividing the spectrum of a quantum supermatrix into subsets of “even” and “odd” eigenvalues. This division leads to a parameterization of the characteristic subalgebra (the subalgebra of spectral invariants) in terms of supersymmetric polynomials in the eigenvalues of the quantum matrix. Our construction is based on two auxiliary results, which are independently interesting. First, we derive the multiplication rule for Schur functions s _λ (M) that form a linear basis of the characteristic subalgebra of a Hecke-type quantum matrix algebra; the structure constants in this basis coincide with the Littlewood-Richardson coefficients. Second, we prove a number of bilinear relations in the graded ring Λ of symmetric functions of countably many variables. __________ Translated from Teoreticheskaya i Matematicheskaya Fizika, Vol. 147, No. 1, pp. 14–46, April, 2006.