A problem in extremal quasiconformal extensions

A constantK ₀ ^(m) (h) is introduced for every quasisymmetric mappingh of the unit circle and every integerm≥4 which contains the constantK ₀(h) (indicated by the change in module of the quadrilaterals with vertices on the circle) as a special case. A necessary and sufficient condition is established forK ₀ ^(m) (h) =K ₁(h). It is shown that there are infinitely many quasisymmetric mappings of the unit circle having the property thatK ₀ ^(m) (h)<K ₁(h), wherek ₁(h) is the maximal dilatation ofh.     

Posets and planar graphs

A k-decomposition (G₁,…,G_k) of a graph G is a partition of its edge set to form k spanning subgraphs G₁,…,G_k. The classical theorem of Nordhaus and Gaddum bounds χ(G₁) + χ(G₂) and χ(G₁)χ(G₂) over all 2-decompositions of K_n. For a graph parameter p, let p(k;G) denote the maximum of over all k-decompositions of the graph G. The clique number ω, chromatic number χ, list chromatic number χℓ, and Szekeres–Wilf number σ satisfy ω(2;K_n) = χ(2;K_n) = χℓ(2;K_n) = σ(2;K_n) = n + 1. We obtain lower and upper bounds for ω(k;K_n), χ(k;K_n), χℓ(k;K_n), and σ(k;K_n). The last three behave differently for large k. We also obtain lower and upper bounds for the maximum of χ(k;G) over all graphs embedded on a given surface. © 2005 Wiley Periodicals, Inc. J Graph Theory     

Two point problems and analyticity of solutions of abstract parabolic equations

Fort ∈ [a, b], letA(t) be the unbounded operator inH ^0,p (G) associated with an elliptic-boundary value problem that satisfies Agmon’s conditions on the rays λ=±iτ, τ ≥0. Existence and uniqueness results are obtained for weak and strict solutions of two-point problems of the type (du/dt)−A(t) u(t) =f(t),E ₁(α)u (α)=u _α,E ₂ (β)u (β)=u _β. Here [α, β) χ- [a, b],E ₁ (α) andE ₂ (β) are spectral projections associated withA(α) andA(β) respectively, andA(α)E ₁ (α) and =A (β)E ₂ (β) are infinitesimal generators of analytic semigroups. WhenA(t) andf(t) are analytic in a convex, complex neighborhoodO of [a, b] we show that for someθ _i ,i=1,2, any solution ofdu/dt =A(t)u (t)=f(t) in [a, b] is analytic and satisfies the above equation in the setO∩{t; t ≠ a, t ≠ b, | arg (t −a) | <θ ₁, | arg (b −t) |θ ₂}. Research partially supported by N. N. F. grant at Brandeis University.     

A partition approach to Vizing's conjecture

In 1963, Vizing [Vichysl.Sistemy 9 (1963), 30–43] conjectured that γ(G × H) ≥ γ(G)γ(H), where G × H denotes the cartesian product of graphs, and γ(G) is the domination number. In this paper we define the extraction number x(G) and we prove that P₂(G) ≤ x(G), and γ(G × H) ≥ x(G)γ(H), where P₂(G) is the 2-packing number of G. Though the equality x(G) = γ(G) is proven to hold in several classes of graphs, we construct an infinite family of graphs which do not satisfy this condition. Also, we show the following lower bound: γ(G × H) ≥ γ(G)P₂(H) + P₂(G)(γ(H) − P₂(H)). © 1996 John Wiley & Sons, Inc.     

Singular Manakov flows and geodesic flows on homogeneous spaces of SO(N)

We prove complete integrability of the Manakov-type SO(n)-invariant geodesic flows on homogeneous spaces SO(n)/SO(k₁) ×⋯× SO(k _r ), for any choice of k ₁,…,k _r , k ₁ + ⋯ + k _r ⩽ n. In particular, a new proof of the integrability of a Manakov symmetric rigid body motion around a fixed point is presented. Also, the proof of integrability of the SO(n)-invariant Einstein metrics on SO(k ₁ + k ₂ + k ₃)/SO(k ₁) × SO(k ₂) × SO(k ₃) and on the Stiefel manifolds V (n, k) = SO(n)/SO(k) is given.     

On the structure of cluster point sets of iteratively generated sequences

LetX be a closed subset of a topological spaceF; leta(·) be a continuous map fromX intoX; let {x _i} be a sequence generated iteratively bya(·) fromx ₀ inX, i.e.,x _i+1 =a(x _i),i=0, 1, 2, ...; and letQ(x ₀) be the cluster point set of {x _i}. In this paper, we prove that, if there exists a pointz inQ(x ₀) such that (i)z is isolated with respect toQ(x ₀), (ii)z is a periodic point ofa(·) of periodp, and (iii)z possesses a sequentially compact neighborhood, then (iv)Q(x ₀) containsp points, (v) the sequence {x _i} is contained in a sequentially compact set, and (vi) every point inQ(x ₀) possesses properties (i) and (ii). The application of the preceding results to the caseF=E ⁿ leads to the following: (vii) ifQ(x ₀) contains one and only one point, then {x _i} converges; (viii) ifQ(x ₀) contains a finite number of points, then {x _i} is bounded; and (ix) ifQ(x ₀) containsp points, then every point inQ(x ₀) is a periodic point ofa(·) of periodp.     

An Ore-type analogue of the Sauer-Spencer Theorem

Two graphs G₁ and G₂ of order n pack if there exist injective mappings of their vertex sets into [n], such that the images of the edge sets do not intersect. Sauer and Spencer proved that if Δ (G₁) Δ (G₂) < 0.5n, then G₁ and G₂ pack. In this note, we study an Ore-type analogue of the Sauer–Spencer Theorem. Let θ(G) = max{d(u) + d(v): uv∈E(G)}. We show that if θ(G₁)Δ(G₂) < n, then G₁ and G₂ pack. We also characterize the pairs (G₁,G₂) of n-vertex graphs satisfying θ(G₁)Δ(G₂) = n that do not pack. This work was supported in part by NSF grant DMS-0400498. The work of the first author was also partly supported by grant 05-01-00816 of the Russian Foundation for Basic Research.     

Strongly Closed Subgraphs in a Distance-Regular Graph with <Emphasis Type="Italic">c</Emphasis><Subscript>2</Subscript> > 1

Let Γ be a distance-regular graph of diameter d ≥ 3 with c ₂ > 1. Let m be an integer with 1 ≤ m ≤ d − 1. We consider the following conditions:

Convergence of Weighted Sums and Laws of Large Numbers in D([0,1]; E)

Convergence properties of weighted sums of functions in D([0, 1]; E) (E a Banach space) are investigated. We show that convergence in the Skorokhod J₁-topology of a sequence (x_n) in D([0, 1]; E) does not imply convergence of a sequence ( _n) of averages. Convergence in the J₁-topology of a sequence ( _n) of averages is shown, under the growth condition x_n ∞ = o(n), to be equivalent to the convergence of ( _n) in the uniform topology. Convergence of a sequence (x_n,) is shown to imply convergence of the sequence ( _n) of averages in the M₁ and M₂ topologies. The strong law of large numbers in D[0, 1] is considered and an example is constructed to show that different definitions of the strong law of large numbers are nonequivalent.     

Self-orthogonal cyclicn-quasigroups

A quasigroup (Q,) satisfying the identityx(yx) =y (or the equivalent identity (xy)x =y) is called semisymmetric. Ann-quasigroup (Q, A) satisfying the identityA(A(x ₁, ...,x _n ),x ₁, ...,x _n–1) =x _n is called cyclic. So, cyclicn-quasigroups are a generalization of semisymmetric quasigroups. In this paper, self-orthogonal cyclicn-quasigroups (SOCnQs) are considered. Some constructions ofSOCnQs are described and the spectrum of suchn-quasigroups investigated.     

Properties of solutions to the initial-boundary value problem for a porous media-type equation

The initial-boundary value problem in a semi-infinite strip (0, ∞)×(0, T) for a degenerate parabolic equation of the form u, _t= φ(u)_xx + b(x)φ(u)_x is considered. The properties of solutions in the case where the initial function is compactly supported and for constant initial and boundary data are investigated.     

HOMOGENEOUS FUNCTIONS DETERMINED BY CYCLIC SUBMODULES

Abstract

For a unital module V over a commutative ring R, let C denote the collection of cyclic submodules. The ring ?_R(V;C) = {f ε End_R V |f(C) ?C, ?C ε_R (V;C) has been the object of several recent studies in which the structure of ?_R(V;C) is related to the triple (V, R,C). Here we introduce a new ring H_R(V;C) containing ?(V;C) and investigate its structure in terms of the parameters (V, R, C).     

Connectivity of cages

A (k; g)-graph is a k-regular graph with girth g. Let f(k; g) be the smallest integer v such there exists a (k; g)-graph with v vertices. A (k; g)-cage is a (k; g)-graph with f(k; g) vertices. In this paper we prove that the cages are monotonic in that f(k; g₁) < f(k; g₂) for all k ≥ 3 and 3 ≥ g₁ < g₂. We use this to prove that (k; g)-cages are 2-connected, and if k = 3 then their connectivity is k. © 1997 John Wiley & Sons, Inc.     

A note on the multiplicity in factor ring

Let (R,m) = k[x ₁,..., x _n ](x ₁,...,x _n ) be a local polynomial ring (k being an algebraically closed field), and Q:= (F ₁,..., F _r )R be a primary ideal in R with respect to a maximal ideal m ⊂ R. In this short note we give a formula for the multiplicity e ₀ (QR/(F ₁)R, R/(F ₁)R). The author was supported by the grant No. 1/0262/03) of the Slovak Ministry of Education.     

Bounded factorization property for Fréchet spaces

An operator T ∈ L(E, F) factors over G if T = RS for some S ∈ L(E, G) and R ∈ L(G, F); the set of such operators is denoted by L^G(E, F). A triple (E, G, F) satisfies bounded factorization property (shortly, (E, G, F) ∈ ???) if L^G(E, F) ? LB(E, F), where LB(E, F) is the set of all bounded linear operators from E to F. The relationship (E, G, F) ∈ ??? is characterized in the spirit of Vogt's characterisation of the relationship L(E, F) = LB(E, F) [23]. For triples of K?othe spaces the property ??? is characterized in terms of their K?othe matrices. As an application we prove that in certain cases the relations L(E, G₁) = LB(E, G₁) and L(G₂, F) = LB(G₂, F) imply (E, G, F) ∈ ??? where G is a tensor product of G₁ and G₂.     

On digraphs without antidirected cycles

Let t(n) denote the greatest number of arcs in a diagraph of orders n which does not contain any antidrected cycles. We show that [16/5(n ? 1)] ≤ t(n) ≤ 1/2 (n ? 1) for n ≥ 5. Let t_r (n) denote the corresponding quantity for r-colorable digraphs. We show that [16/5(n ? 1)] ≤ t₅(n) ≤ t₆(n) ≤ 10/3(n ? 1) for n ≥ 5 and that t₄(n) = 3(n ? 1) for n ≥ 3.     

A note on some chain conditions

We answer a question raised by Othman Echi: Is an E ₁ (resp., a C ₁) ring an E (resp., a C) ring? We construct a C ₁ (thus E ₁) ring which is not an E ₂ (thus not a C ₂) ring. Received: 11 June 2007     

On a function associated with the Bessel functions

Summary Defining the function Δn, 1,k;x(J) asΔn, 1,k;x(J)=J _n+1(x)−J _n(x)J _n+k+1(x) associated with the Bessel functionJ _n(x), we derive a series of products of Bessel functions for Δ_{n, f, k, x} (J). Whenk=1,k;x (J) becomes Turàn expression for Bessel functions. Some consequences have been pointed out.

---

Riassunto Definita la Δ_{n, f, k, x} (J) come Δ_{n, f, k, x}, (J)=J _n+1(x)J _n+k(x)-J _n(_n+k+1)(x) associata alla funzioneJ _n(x) di Bessel, si ricava una serie di prodotti di funzioni di Bessel per Δ_{n, f, k, x}, (J). 3 Quandok=1, Δ_{n, f, k, x}, (J) diventa una espressione di Turàn per le funzioni di 2 Bessel, vengono inoltre indicate alcune altre conseguenze.

     

The Arcsine Law

Let N _n denote the number of positive sums in the first n trials in a random walk (S _i) and let L _n denote the first time we obtain the maximum in S ₀,..., S _n. Then the classical equivalence principle states that N _n and L _n have the same distribution and the classical arcsine law gives necessary and sufficient condition for (1/n) L _n or (1/n) N _n to converge in law to the arcsine distribution. The objective of this note is to provide a simple and elementary proof of the arcsine law for a general class of integer valued random variables (T _n) and to provide a simple an elementary proof of the equivalence principle for a general class of integer valued random vectors (N _n, L _n).