On the Circumference of 3-Connected Quasi-Claw-Free Graphs

A graph G is quasi-claw-free if it satisfies the property: d(x,y)=2 ⇒ there exists such that . In the paper, we prove that the circumference of a 3-connected quasi-claw-free graph G on n vertices is at least min{4δ−2,n} and G is hamiltonian if n≤5δ−5.     

An Extremal Problem on Contractible Edges in 3-Connected Graphs

An edge e in a 3-connected graph G is contractible if the contraction G/e is still 3-connected. The existence of contractible edges is a very useful induction tool. Let G be a simple 3-connected graph with at least five vertices. Wu [7] proved that G has at most vertices that are not incident to contractible edges. In this paper, we characterize all simple 3-connected graphs with exactly vertices that are not incident to contractible edges. We show that all such graphs can be constructed from either a single vertex or a 3-edge-connected graph (multiple edges are allowed, but loops are not allowed) by a simple graph operation. Research partially supported by an ONR grant under grant number N00014-01-1-0917     

Minimal Connected τ-Critical Hypergraphs

A hypergraph is τ-critical if τ(−{E})<τ() for every edge E ∈ , where τ() denotes the transversal number of . We show that if is a connected τ-critical hypergraph, then −{E} can be partitioned into τ()−1 stars of size at least two, for every edge E ∈ . An immediate corollary is that a connected τ-critical hypergraph has at least 2τ()−1 edges. This extends, in a very natural way, a classical theorem of Gallai on colour-critical graphs, and is equivalent to a theorem of Füredi on t-stable hypergraphs. We deduce a lower bound on the size of τ-critical hypergraphs of minimum degree at least two.     

On Resolvable Multipartite G-Designs II

In this paper, it has been proved that and are factorable, where ⊗ denotes wreath product of graphs. As a consequence, a resolvable (k,n,k,2λ) multipartite –design exists for even k. These results generalize the results of Ushio on –factorizations of complete tripartite graphs.     

The Maximum Size of 3-Wise Intersecting and 3-Wise Union Families

Let be an n-uniform hypergraph on 2n vertices. Suppose that and holds for all F₁,F₂,F₃ ∈ . We prove that the size of is at most . The second author was supported by MEXT Grant-in-Aid for Scientific Research (B) 16340027     

Consistent Cycles in Graphs and Digraphs

Let Γ be a finite digraph and let G be a subgroup of the automorphism group of Γ. A directed cycle of Γ is called G-consistent whenever there is an element of G whose restriction to is the 1-step rotation of . Consistent cycles in finite arc-transitive graphs were introduced by J. H. Conway in his public lectures at the Second British Combinatorial Conference in 1971. He observed that the number of G-orbits of G-consistent cycles of an arc-transitive group G is precisely one less than the valency of the graph. In this paper, we give a detailed proof of this result in a more general setting of arbitrary groups of automorphisms of graphs and digraphs. Supported in part by ``Ministrstvo za šolstvo, znanost in šport Republike Slovenije', bilateral project BI-USA/04-05/38.     

On the Intersection Problem for Steiner Triple Systems of Different Orders

A Steiner triple system of order v, or STS(v), is a pair (V, ) with V a set of v points and a set of 3-subsets of V called blocks or triples, such that every pair of distinct elements of V occurs in exactly one triple. The intersection problem for STS is to determine the possible numbers of blocks common to two Steiner triple systems STS(u), (U, ), and STS(v), (V, ), with U⊆V. The case where U=V was solved by Lindner and Rosa in 1975. Here, we let U⊂V and completely solve this question for v−u=2,4 and for v≥2u−3. supported by NSERC research grant #OGP0170220. supported by NSERC postdoctoral fellowship. supported by NSERC research grant #OGP007621.     

Colouring Cubic Graphs by Small Steiner Triple Systems

Given a Steiner triple system , we say that a cubic graph G is -colourable if its edges can be coloured by points of in such way that the colours of any three edges meeting at a vertex form a triple of . We prove that there is Steiner triple system of order 21 which is universal in the sense that every simple cubic graph is -colourable. This improves the result of Grannell et al. [J. Graph Theory 46 (2004), 15–24] who found a similar system of order 381. On the other hand, it is known that any universal Steiner triple system must have order at least 13, and it has been conjectured that this bound is sharp (Holroyd and Škoviera [J. Combin. Theory Ser. B 91 (2004), 57–66]). Research partially supported by APVT, project 51-027604. Research partially supported by VEGA, grant 1/3022/06.     

Orthogonal Double Covers of Complete Graphs by Caterpillars of Diameter 5

An orthogonal double cover (ODC) of the complete graph K_n by a graph G is a collection = {G_i|i = 1,2, . . . ,n} of spanning subgraphs of K_n, all isomorphic to G, with the property that every edge of K_n belongs to exactly two members of and any two distinct members of share exactly one edge. A caterpillar of diameter five is a tree arising from a path with six vertices by attaching pendant vertices to some or each of its vertices of degree two. We show that for any caterpillar of diameter five there exists an ODC of the complete graph K_n.     

Non-Jumping Numbers for 4-Uniform Hypergraphs

Let r≥2 be an integer. A real number α ∈ [0,1) is a jump for r if for any Open image in new window >0 and any integer m, m≥r, any r-uniform graph with n>n₀( Open image in new window ,m) vertices and at least Open image in new window edges contains a subgraph with m vertices and at least Open image in new window edges, where c=c(α) does not depend on Open image in new window and m. It follows from a theorem of Erd?s, Stone and Simonovits that every α ∈ [0,1) is a jump for r=2. Erd?s asked whether the same is true for r≥3. Frankl and Rödl gave a negative answer by showing that Open image in new window is not a jump for r if r≥3 and l>2r. Following a similar approach, we give several sequences of non-jumping numbers generalizing the above result for r=4.     

On the Set of Cycle Lengths in a Hamiltonian Graph with a Given Maximum Degree

Let n and be two integers such that 2n–1. We describe the set of cycle lengths occurring in any hamiltonian graph G of order n and maximum degree . We conclude that for the case this set contains all the integers belonging to the union [3,2–n+2][n–+2,+1], and for it contains every integer between 3 and +1. We also study the set of cycle lengths in a hamiltonian graph with two fixed vertices of large degree sum. Our main results imply that the stability s(P) for the property of being pancyclic satisfies      

Reconstructing under Group Actions

We give a bound on the reconstructibility of an action GX in terms of the reconstructibility of a the action NX, where N is a normal subgroup of G, and the reconstructibility of the quotient G/N. We also show that if the action GX is locally finite, in the sense that every point is either in an orbit by itself or has finite stabilizer, then the reconstructibility of GX is at most the reconstructibility of G. Finally, we give some applications to geometric reconstruction problems.     

Quelques résultats sur les déformations équivariantes des courbes stables

Let G be a finite group, let g≥2 and g ′ ≥ 0 be integers. We introduce the algebraic stack classifying the stable curves of genus g endowed with an action of G faithful in each geometric fiber and such that the quotient of each fiber is a semi-stable curve of genus g′. We study the completion of the local rings of this algebraic stack. They are closely related to universal equivariant deformation rings R_C,G of stable curves endowed with a faithful action of G. A useful tool for this purpose is a local-global principle generalizing the one obtained by Bertin and Mézard in [BM00]. We then use the results we already proved in [Mau03b] and [Mau03a] to describe some properties of the space (purity, dimension).     

Bipartite Subgraphs and Quasi-Randomness

We say that a family of graphs is p-quasi-random, 0<p<1, if it shares typical properties of the random graph G(n,p); for a definition, see below. We denote by the class of all graphs H for which and the number of not necessarily induced labeled copies of H in G_n is at most (1+o(1))p^e(H)n^v(H) imply that is p-quasi-random. In this note, we show that all complete bipartite graphs K_a,b, a,b2, belong to for all 0<p<1.Acknowledgments We would like to thank Andrew Thomason for fruitful discussions and Yoshi Kohayakawa for organizing Extended Workshop on Combinatorics in eq5 Paulo, Ubatuba, and Rio de Janeiro, where a part of this work was done. We also thank the referees for their careful work.The first author was partially supported by NSF grant INT-0072064The second author was partially supported by NSF grants DMS-9970622, DMS-0301228 and INT-0072064Final version received: October 24, 2003     

A Lower Bound for the Rectilinear Crossing Number

We give a new lower bound for the rectilinear crossing number of the complete geometric graph K_n. We prove that and we extend the proof of the result to pseudolinear drawings of K_n. Dedicated to the memory of our good friend and mentor Víctor Neumann-Lara. Received: April, 2003 Final version received: March 18, 2005     

Positive Projective Space of a <Emphasis Type="Italic">C</Emphasis>*-Algebra with a Tracial Conditional Expectation

Let be a C*-algebra, a subalgebra of its center and Φ: → a tracial faithful conditional expectation. We define the positive projective space as the quotient where G⁺ is the space of positive invertible elements of , and if there exists g invertible in such that a′ = |g|²a. When is abelian, this space is a set of representatives for probability densities equivalent to a given one. The aim of this paper is to endow ℙ⁺ with differentiable structure, a linear connection and a Finsler metric. This is done in a way that given any pair of elements in ℙ⁺, there is a unique geodesic of this connection, which is the shortest curve joining such endpoints for the given metric. The metric space ℙ⁺ with the given geodesic distance is non positively curved.     

Canonical Pattern Ramsey Numbers

A color pattern is a graph whose edges have been partitioned into color classes. A family of color patterns is a Ramsey family provided there is some sufficiently large integer N such that in any edge coloring of the complete graph K_N there is an (isomorphic) copy of at least one of the patterns from . The smallest such N is the Ramsey number of the family . The classical Canonical Ramsey theorem of Erds and Rado asserts that the family of color patterns is a Ramsey family if it consists of monochromatic, rainbow (totally multicolored) and lexically colored complete graphs. In this paper we treat the asymmetric case by studying the Ramsey number of families containing a rainbow triangle, a lexically colored complete graph and a fixed arbitrary monochromatic graph. In particular we give asymptotically tight bounds for the Ramsey number of a family consisting of rainbow and monochromatic triangle and a lexically colored K_N. Among others, we prove some canonical Ramsey results for cycles.     

On Cross-intersecting Families of Sets

A family of -element subsets and a family of k-element subsets of an n-element set are cross-intersecting if every set from has a nonempty intersection with every set from . We compare two previously established inequalities each related to the maximization of the product , and give a new and short proof for one of them. We also determine the maximum of for arbitrary positive weights ,_k.     

Spanning Trails Connecting Given Edges

Suppose that is the set of connected graphs such that a graph G if and only if G satisfies both (F1) if X is an edge cut of G with |X|3, then there exists a vertex v of degree |X| such that X consists of all the edges incident with v in G, and (F2) for every v of degree 3, v lies in a k-cycle of G, where 2k3.In this paper, we show that if G and (G)3, then for every pair of edges e,fE(G), G has a trail with initial edge e and final edge f which contains all vertices of G. This result extends several former results.