The Maximum Size Of Graphs With A Unique<Emphasis Type="Italic">k</Emphasis>- Factor

For suitable positive integers n and k let m(n, k) denote the maximum number of edges in a graph of order n which has a unique k-factor. In 1964, Hetyei and in 1984, Hendry proved for even n and , respectively. Recently, Johann confirmed the following conjectures of Hendry: for and kn even and for n = 2kq, where q is a positive integer. In this paper we prove for and kn even, and we determine m(n, 3).     

Maximal regularity for evolution equations in weighted <Emphasis Type="Italic">L</Emphasis><Subscript><Emphasis Type="Italic">p</Emphasis></Subscript>-spaces

Let X be a Banach space and let A be a closed linear operator on X. It is shown that the abstract Cauchy problem enjoys maximal regularity in weighted L _p -spaces with weights , where , if and only if it has the property of maximal L _p -regularity. Moreover, it is also shown that the derivation operator admits an -calculus in weighted L _p -spaces. Received: 26 February 2003     

Optimal Domains and Integral Representations of Convolution Operators in <Emphasis Type="Italic">L</Emphasis><Superscript><Emphasis Type="Italic">p</Emphasis></Superscript>(<Emphasis Type="Italic">G</Emphasis>)

Given , a compact abelian group G and a function , we identify the maximal (i.e. optimal) domain of the convolution operator (as an operator from L^p(G) to itself). This is the largest Banach function space (with order continuous norm) into which L^p(G) is embedded and to which has a continuous extension, still with values in L^p(G). Of course, the optimal domain depends on p and g. Whereas is compact, this is not always so for the extension of to its optimal domain. Several characterizations of precisely when this is the case are presented.     

Upper bounds for prime <Emphasis Type="Italic">k</Emphasis>-tuples of size log <Emphasis Type="Italic">N</Emphasis> and oscillations

We prove the estimate for the number E_k(N) of k-tuples (n + a₁,..., n + a_k) of primes not exceeding N, for k of size c₁ log N and N sufficiently large. A bound of this strength was previously known in the special case < only, (Vaughan, 1973). For general a_i this is an improvement upon the work of Hofmann and Wolke (1996). The number of prime tuples of this size has considerable oscillations, when varying the prime pattern. Received: 20 December 2002     

An Upper Bound for the Cardinality of an <Emphasis Type="Italic">s</Emphasis>-Distance Set in Euclidean Space

In this paper we show that if X is an s-distance set in ^m and X is on p concentric spheres then Moreover if X is antipodal, then .     

Small Ball Estimates in <Emphasis Type="Italic">p</Emphasis>-Variation for Stable Processes

Let Z _t , t 0 be a strictly stable process on with index (0, 2]. We prove that for every p > , there exists = _{, p} and such that

On products of <Emphasis Type="Italic">k</Emphasis> atoms

Let H be an atomic monoid. For let denote the set of all with the following property: There exist atoms (irreducible elements) u ₁, …, u _k , v ₁, …, v _m ∈ H with u ₁· … · u _k = v ₁ · … · v _m . We show that for a large class of noetherian domains satisfying some natural finiteness conditions, the sets are almost arithmetical progressions. Suppose that H is a Krull monoid with finite cyclic class group G such that every class contains a prime (this includes the multiplicative monoids of rings of integers of algebraic number fields). We show that, for every , max which settles Problem 38 in [4]. Authors’ addresses: W. Gao, Center for Combinatorics, Nankai University, Tianjin 300071, P.R. China; A. Geroldinger, Institut für Mathematik und Wissenschaftliches Rechnen, Karl-Franzens-Universit?t Graz, Heinrichstra?e 36, 8010 Graz, Austria     

A Sharp Bound for the Number of Sets that Pairwise Intersect at <Emphasis Type="Italic">k</Emphasis> Positive Values

In this paper we prove that if is a set of k positive integers and {A ₁, ..., A _m } is a family of subsets of an n-element set satisfying , for all 1 i < j m, then . The case k = 1 was proven 50 years ago by Majumdar.     

Products of characters and finite <Emphasis Type="Italic">p</Emphasis>-groups II

Let p be a prime number. Let G be a finite p-group and . Denote by the complex conjugate of . Assume that . We show that the number of distinct irreducible constituents of the product is at least . Received: 17 March 2003     

Shape-preserving Kolmogorov widths of classes of <Emphasis Type="Italic">s</Emphasis>-monotone integrable functions

Let s ₀ and let ₊ ^s be the set of functions x defined on a finite interval I and such that, for all collections of s + 1 pairwise different points t ₀,..., t _s I, the corresponding divided differences [x; t ₀,...,t _s ] of order s are nonnegative. Let ₊ ^s B _{p +} ^s B _p, 1 p where B _p is a unit ball in the space L _p, and let ₊ ^s L _{q +} ^s L _q, 1 q . For every s 3 and 1 q p , we determine the exact orders of the shape-preserving Kolmogorov widths {x - y} \right\ L_q , $$]]>, where M ⁿ is the collection of all affine linear manifolds M ⁿ in L _q such that dim M ⁿ n and M ⁿ ₊ ^s L _q .Translated from Ukrainskyi Matematychnyi Zhurnal, Vol. 56, No. 7, pp. 901–926, July, 2004.     

<Emphasis Type="Italic">N</Emphasis>-commutators

The N-commutator is conjecturally a well-defined nontrivial operation on for x = (x ₁, ... , x _n ) if and only if N = n ² + 2n - 2. This is proved for n = 2 and confirmed by computer experiments for n < 5. Under 2- and 5-commutators the algebra of divergence-free vector fields in two dimensions is an sh-Lie (strong homotopic Lie) algebra in the sense of Stasheff. Similarly, W(2) is an sh-Lie algebra with respect to 2- and 6-commutators.     

A space <Emphasis Type="Italic">C</Emphasis><Subscript><Emphasis Type="Italic">p</Emphasis></Subscript>(<Emphasis Type="Italic">X</Emphasis>) is dominated by irrationals if and only if it is<Emphasis Type="Italic"> K</Emphasis>-analytic

Summary We prove that, for any Tychonoff X, the space C_p(X) is K-analytic if and only if it has a compact cover {K_p: p } such that K_p subset K_q whenever p,q and p q. Applying this result we show that if C_p(X) is K-analytic then C_p(X) is K-analytic as well. We also establish that a space C_p(X) is K-analytic and Baire if and only if X is countable and discrete.     

Riesz <Emphasis Type="Italic">s</Emphasis>-Equilibrium Measures on <Emphasis Type="Italic">d</Emphasis>-Rectifiable Sets as <Emphasis Type="Italic">s</Emphasis> Approaches <Emphasis Type="Italic">d</Emphasis>

Let A be a compact set in of Hausdorff dimension d. For s ∈ (0,d) the Riesz s-equilibrium measure μ ^s is the unique Borel probability measure with support in A that minimizes

<Emphasis Type="Italic">c</Emphasis>*-Supplemented subgroups and <Emphasis Type="Italic">p</Emphasis>-nilpotency of finite groups

A subgroup H of a finite group G is said to be c*-supplemented in G if there exists a subgroup K such that G = HK and H ⋂ K is permutable in G. It is proved that a finite group G that is S ₄-free is p-nilpotent if N _G (P) is p-nilpotent and, for all x ∈ G\N _G (P), every minimal subgroup of is c*-supplemented in P and (if p = 2) one of the following conditions is satisfied: (a) every cyclic subgroup of of order 4 is c*-supplemented in P, (b) , (c) P is quaternion-free, where P a Sylow p-subgroup of G and is the p-nilpotent residual of G. This extends and improves some known results. Published in Ukrains’kyi Matematychnyi Zhurnal, Vol. 59, No. 8, pp. 1011–1019, August, 2007.     

Decomposing <Emphasis Type="Italic">k</Emphasis>-ARc-Strong Tournaments Into Strong Spanning Subdigraphs

  The so-called Kelly conjecture states that every regular tournament on 2k+1 vertices has a decomposition into k-arc-disjoint hamiltonian cycles. In this paper we formulate a generalization of that conjecture, namely we conjecture that every k-arc-strong tournament contains k arc-disjoint spanning strong subdigraphs. We prove several results which support the conjecture:If D = (V, A) is a 2-arc-strong semicomplete digraph then it contains 2 arc-disjoint spanning strong subdigraphs except for one digraph on 4 vertices.Every tournament which has a non-trivial cut (both sides containing at least 2 vertices) with precisely k arcs in one direction contains k arc-disjoint spanning strong subdigraphs. In fact this result holds even for semicomplete digraphs with one exception on 4 vertices.Every k-arc-strong tournament with minimum in- and out-degree at least 37k contains k arc-disjoint spanning subdigraphs H ₁, H ₂, . . . , H _k such that each H _i is strongly connected.The last result implies that if T is a 74k-arc-strong tournament with speci.ed not necessarily distinct vertices u ₁, u ₂, . . . , u _k , v ₁, v ₂, . . . , v _k then T contains 2k arc-disjoint branchings where is an in-branching rooted at the vertex u _i and is an out-branching rooted at the vertex v _i , i=1,2, . . . , k. This solves a conjecture of Bang-Jensen and Gutin [3].We also discuss related problems and conjectures.

On <Emphasis Type="Italic">k</Emphasis>-th Power of Upper Bound Graphs

We consider k-th power of upper bound graphs. According to the characterization of upper bound graphs, we obtain a characterization of k-th power of upper bound graphs. That is, for a connected upper bound graph G, G^k is an upper bound graph if and only if for any pair of A^k -simplicial vertices s₁, s₂ such that , there exists a G^k -simplicial vertex s satisfying the conditions: and . Furthermore we also get some properties on squares of upper bound graphs.AMS Subject Classification: 05C62.     

Almost everywhere convergence of Ciesielski-Fourier series of <Emphasis Type="Italic">H</Emphasis><Subscript>1</Subscript>functions

It is proved that a lacunary sequence of the Ciesielski-Fourier series of converges almost everywhere to f. Received: 8 September 2003     

A cohomological property of <Emphasis Type="Italic">p</Emphasis>-groups

Let p be a prime, a finite p-group, any finite group with order divisible by p, and any action of on . We show that the cardinality of the set of all derivations with respect to this action is a multiple of p. This generalises theorems of Frobenius and Hall. Received: 16 June 2003     

Moduli spaces of principal <Emphasis Type="Italic">F</Emphasis>-bundles

In this paper we construct certain moduli spaces, which we call moduli spaces of (principal) F-bundles, and study their basic properties. These spaces are associated to triples consisting of a smooth projective geometrically connected curve over a finite field, a split reductive group G, and an irreducible algebraic representation .of of Our spaces generalize moduli spaces of F-sheaves, studied by Drinfeld and Lafforgue, which correspond to the case G = GL^r and is the tensor product of the standard representation and its dual. The importance of the moduli spaces of F-bundles is due to the belief that Langlands correspondence is realized in their cohomology.     

On the cogeneration of <Emphasis Type="Italic">t</Emphasis>-structures

Let C be a set of objects in a triangulated compactly generated category We denote by the smallest suspended subcategory closed under coproducts which contains C (the smallest cosuspended subcategory closed under products which contains C). We prove that if C is a set of compacts objects then is a t-structure in where T_C I is the dual of C with respect to an injective cogenerator I in the category Mod C. Moreover, we show that: C is a tilting set if and only if And, this is equivalent to T_CI is a cotilting object in Received: 28 March 2003