(H,R)-Lie coalgebras and (H,R)-Lie bialgebras

Given an (H,R)-Lie coalgebra Γ, we construct (H,R _T )-Lie coalgebra Γ^T through a right cocycle T, where (H,R) is a triangular Hopf algebra, and prove that there exists a bijection between the set of (H,R)-Lie coalgebras and the set of ordinary Lie coalgebras. We also show that if (L, [, ], Δ, R) is an (H,R)-Lie bialgebra of an ordinary Lie algebra then (L ^T , [, ], Δ_T, R _T ) is an (H,R _T )-Lie bialgebra of an ordinary Lie algebra.     

The mixed irredundant Ramsey numbers t(3, 7) = 18 and t(3, 8) = 22

Abstract

The mixed irredundant Ramsey number t(m, n) is the smallest natural number t such that if the edges of the complete graph K_t on t vertices are arbitrarily bi-coloured using the colours blue and red, then necessarily either the subgraph induced by the blue edges has an irredundant set of cardinality m or the subgraph induced by the red edges has an independent set of cardinality n (or both). Previously it was known that 18 ≤ t(3, 7) ≤ 22 and 18 ≤ t(3, 8) ≤ 28. In this paper we prove that t(3, 7) = 18 and t(3, 8) = 22.     

R(4, 5) = 25

The Ramsey number R(4, 5) is defined to be the least positive integer n such that every n-vertex graph contains either a clique of order 4 or an independent set of order 5. With the help of a long computation using novel techniques, we prove that R(4, 5) = 25. © 1995 John Wiley & Sons, Inc.     

Upper bounds for ramsey numbers R(3, 3, ⋖, 3) and Schur numbers

In this paper we show that for n ≥ 4, R(3, 3, ⋖, 3) < + 1. Consequently, a new bound for Schur numbers is also given. Also, for even n ≥ 6, the Schur number S_n is bounded by S_n < - n + 2. © 1997 John Wiley & Sons, Inc. J Graph Theory 26: 119–122, 1997     

Combinatorial R Matrices for a Family of Crystals: B(1)n,D(1)n,A(2)2n,and D(2)n + 1 Cases

For coherent families of crystals of affine Lie algebras of type B⁽¹⁾_n, D⁽¹⁾_n, A⁽²⁾_2n, and D⁽²⁾_n + 1 we describe the combinatorial R matrix using column insertion algorithms for B, C, D Young tableaux. This is a continuation of previous work by the authors (2000, in “Physical Combinatorics” (M. Kashiwara and T. Miwa, Eds.), Birkhäuser, Boston).     

The Covering Radius of R(1,9) in R(4,9)

We prove that the covering radius of the Reed-Muller code R(1, 9) in R(4, 9) is 240, not exceeding the quadratic bound.Research supported by NSA Grant MDA 904-93-H-3025     

The Ramsey number R(3, t) has order of magnitude t2/log t

The Ramsey number R(s, t) for positive integers s and t is the minimum integer n for which every red-blue coloring of the edges of a complete n-vertex graph induces either a red complete graph of order s or a blue complete graph of order t. This paper proves that R(3, t) is bounded below by (1 – o(1))t/²/log t times a positive constant. Together with the known upper bound of (1 + o(1))t²/log t, it follows that R(3, t) has asymptotic order of magnitude t²/log t. © 1995 John Wiley & Sons, Inc.     

A bound for the number of tournaments with specified scores

Let $\text{T}$(R) denote the set of all tournaments with score vector R = (r₁, r₂,…, r_n). R. A. Brualdi and Li Qiao (“Proceedings of the Silver Jubilee Conference in Combinatorics at Waterloo,” in press) conjectured that if R is strong with r₁ ≤ r₂ ≤ … ≤ r_n, then |$\text{T}$(R)| ≥ 2^n?2 with equality if and only if R = (1, 1, 2,…, n ? 3, n ? 2, n ? 2). In this paper their conjecture is proved, and this result is used to establish a lower bound on the cardinality of $\text{T}$(R) for every R.     

On sizes of complete caps in projective spaces PG(n, q) and arcs in planes PG(2, q)

More than thirty new upper bounds on the smallest size t ₂(2, q) of a complete arc in the plane PG(2, q) are obtained for (169 ≤ q ≤ 839. New upper bounds on the smallest size t ₂(n, q) of the complete cap in the space PG(n, q) are given for n = 3 and 25 ≤ q ≤ 97, q odd; n = 4 and q = 7, 8, 11, 13, 17; n = 5 and q = 5, 7, 8, 9; n = 6 and q = 4, 8. The bounds are obtained by computer search for new small complete arcs and caps. New upper bounds on the largest size m ₂(n, q) of a complete cap in PG(n, q) are given for q = 4, n = 5, 6, and q = 3, n = 7, 8, 9. The new lower bound 534 ≤ m ₂(8, 3) is obtained by finding a complete 534-cap in PG(8, 3). Many new sizes of complete arcs and caps are obtained. The updated tables of upper bounds for t ₂(n, q), n ≥ 2, and of the spectrum of known sizes for complete caps are given. Interesting complete caps in PG(3, q) of large size are described. A proof of the construction of complete caps in PG(3, 2 ^h ) announced in previous papers is given; this is modified from a construction of Segre. In PG(2, q), for q = 17, δ = 4, and q = 19, 27, δ = 3, we give complete ${(\frac{1}{2}(q + 3) + \delta)}$ -arcs other than conics that share ${\frac{1}{2}(q + 3)}$ points with an irreducible conic. It is shown that they are unique up to collineation. In PG(2, q), ${{q \equiv 2}}$ (mod 3) odd, we propose new constructions of ${\frac{1}{2} (q + 7)}$ -arcs and show that they are complete for q ≤ 3701.     

Binding number and Hamiltonian(g, f)-factors in graphs

A(g, f)-factorF of a graphG is called a Hamiltonian(g, f)-factor ifF contains a Hamiltonian cycle. The binding number ofG is defined by $bind(G) = \min \left\{ {\frac{{|N_G (X)|}}{{|X|}}|\not 0 \ne X \subset V(G), N_G (X) \ne V(G)} \right\}$ . Let G be a connected graph, and let a andb be integers such that 4 ≤ a <b. Letg, f be positive integer-valued functions defined onV(G) such that a ≤g(x) < f(x) ≤ b for everyx ∈V(G). In this paper, it is proved that if $bind(G) \geqslant \frac{{(a + b - 5)(n - 1)}}{{(a - 2)n - 3(a + b - 5)}}, \nu (G) \geqslant \frac{{(a + b - 5)^2 }}{{a - 2}}$ and for any nonempty independent subset X ofV(G), thenG has a Hamiltonian(g, f)-factor.     

Functions positive-definite on R3 and the Heisenberg group

In this paper functions that are simultaneously positive-definite on R³ and the Heisenberg group are considered. The set of cyclic vectors associated to infinite-dimensional representations of the Heisenberg group, realized in L²(R), which give rise to such functions is investigated. It is seen to consist precisely of exponentials of quadratic polynomials for which the leading coefficient has negative real part.     

Fourier-Jacobi type spherical functions for principal series representations of Sp(2, R)

In this paper, we study the Fourier-Jacobi type spherical functions on Sp(2, R) for irreducible principal series representations. We give the multiplicity theorem and an explicit formula for this function.     

Existence of triple solutions of discrete (n,p) boundary value problems

We consider the following boundary value problem: −Δⁿy = F(k,y, Δy,…,Δⁿ⁻¹y), k ϵ Z[n − 1, N], Δⁱy(0) = 0, 0 ≤ i ≤ n − 2, Δ^py(N + n - p) = 0, where n ≥ 2 and p is a fixed integer satisfying 0 ≤ p ≤ n − 1. Using a fixed-point theorem for operators on a cone, we shall yield the existence of at least three positive solutions.     

Tetravalent Edge-transitive Cayley Graphs of PGL （2, p）

t Let F = Cay（G, S）, R（G） be the right regular representation of G. The graph Г is called normal with respect to G, if R（G） is normal in the full automorphism group Aut（F） of F. Г is called a bi-normal with respect to G if R（G） is not normal in Aut（Г）, but R（G） contains a subgroup of index 2 which is normal in Aut（F）. In this paper, we prove that connected tetravalent edge-transitive Cayley graphs on PGL（2,p） are either normal or bi-normal when p ≠ 11 is a prime.     

Numerical estimates for a Grötzsch ring constant

Numerical lower and upper estimates are obtained for the constant λ_n defined by λn =lim _a→0(modR _G,n (a)+loga) associated with the Grötzsch extremal ringR _G,n (a) in euclideann-space, for 3≤n≤22. Improved lower estimates in terms ofn are provided for λ_n, the modulus ofR _G,n (a) is compared with its counterpart in the plane, and bounds for modR _G,n (a) are obtained that are of the correct order asa tends either to 0 or to 1. The ratio of the latter bounds is bounded by constants depending only onn.     

Derived space of L p (G, H)

Let G denote a locally compact abelian group and H a separable Hilbert space. Let L _p (G, H), 1 ≤ p < ∞, be the space of H-valued measurable functions which are in the usual L _p space. Motivated by the work of Helgason [1], Figa-Talamanca [11] and Bachelis [2, 3], we have defined the derived space of the Banach space L _p (G, H) and have studied its properties. Similar to the scalar case, we prove that if G is a noncompact, locally compact abelian group, then L _p ⁰ (G, H) = {0} holds for 1 ≤ p < 2. Let G be a compact abelian group and Γ be its dual group. Let S _p (G, H) be the L ₁(G) Banach module of functions in L _p (G, H) having unconditionally convergent Fourier series in L _p -norm. We show that S _p (G, H) coincides with the derived space L _p ⁰ (G, H), as in the scalar valued case. We also show that if G is compact and abelian, then L _p ⁰ (G, H) = L ₂(G, H) holds for 1 ≤ p ≤ 2. Thus, if F ∈ L _p (G, H), 1 ≤ p < 2 and F has an unconditionally convergent Fourier series in L _p -norm, then F ∈ L ₂(G, H). Let Ω be the set of all functions on Γ taking only the values 1, ?1 and Ω* be the set of all complex-valued functions on Γ having absolute value 1. As an application of the derived space L _p ⁰ (G, H), we prove the following main result of this paper. Let G be a compact abelian group and F be an H-valued function on the dual group Γ such that $$ \sum \omega (\gamma )F(\gamma )\gamma $$ is a Fourier-Stieltjes series of some measure µ ∈ M(G, H) for every scalar function ω such that |ω(γ)| = 1. Then F ∈ l ²(Γ, H).     

On the Overgroups of EO(2l,R)

Let R be a commutative ring with 1, let 2 R ^*, and let l 3. We describe the subgroups of the general linear group GL(n,R) that contain the split elementary orthogonal group EO(2l,R). For every intermediate subgroup H, there exists a unique maximal ideal A R such that E(2l,R,A) H and, moreover, H normalizes EO(2l,R)E(2l,R,A). In the case where R = K is a field, similar results were obtained earlier by Dye, King, Li Shangzhi, and Bashkirov. Bibliography: 31 titles.     

Gaussian processes with biconvex covariances

Let R(s, t) be a continuous, nonnegative, real valued function on a ≤ s ≤ t ≤ b. Suppose $\text{?R}\text{?s}\text{≥ 0}$, $\text{?R}\text{?t}\text{≤ 0}$, and $\text{?}{}^2\text{R}\text{?t}\text{?t ≤ 0}$ in the interior of the domain. Then the extension of R to a symmetric function on [a, b] × [a, b] is a covariance function. Such a covariance is called biconvex. Let X(t) be a Gaussian process with mean 0 and biconvex covariance. X has a representation as a sum of simple moving averages of white noises on the line and plane. The germ field of X at every point t is generated by X(t) alone. X is locally nondeterministic. Under an additional assumption involving the partial derivatives of R near the diagonal, the local time of the sample function exists and is jointly continuous almost surely, so that the sample function is nowhere differentiable.     

Monotone perturbations of the laplacian inL 1(R N )

The semilinear perturbation of Poisson’s equation (E): −Δu+β(u)∋f, where β is a maximal monotone graph inR, has been investigated by Ph. Bénilan, H. Brézis and M. Crandall forf∈L ¹(R ^N ),N≧1, under the assumptions 0∈β(0) ifN≧3 and 0∈β(0) ∩ Int β(R) ifN=1,2. We discuss in this paper the solvability and well-posedness of (E) in terms of any maximal monotone graph β. In particular, if β takes only positive values andN≧3 we prove that no solution exists; ifN=2 we give necessary and sufficient conditions on β andf for (E) to be solvable in a natural sense.