Title: Connectivity Requirements for Graph Linkage
Speaker: Noah Prince
  University of Illinois at Urbana-Champaign
Date:September 2, 2003
Abstract: A graph G is k-linked if for every list of 2k vertices s1,...,sk,t1,...,tk, there exist disjoint paths P1,...,Pk such that the endpoints of Pi are si and ti. If G is k-linked, then G is k-connected, but the converse is false. The question then becomes: is there a function f(k) such that every f(k)-connected graph is k-linked? In this talk, I will survey upper and lower bounds on f(k).



Title:Equitable coloring of graphs with low average degree
Speaker:Kittikorn Nakprasit
 University of Illinois at Urbana-Champaign
Date:September 9, 2003
Abstract: An equitable coloring of a graph is a proper vertex coloring such that the sizes of any two color classes differ by at most 1. A graph may have an equitable k-coloring but not an equitable (k+1)-coloring; for example, K7,7 has equitable k-colorings for k = 2,4,6 but not for k=3,5,7. Let X(G) denote the smallest m such that for each k > m, G has an equitable k-coloring. Hajnal and Szemedi [1970] proved that always X(G) < \Delta(G)+1, where \Delta(G) denotes the maximum degree among vertices of G.

This bound can be improved for some classes. Chen, Lih, and Wu conjectured that X(G) < \Delta(G) for every connected graph G except complete graphs, odd cycles, and complete bipartite graphs with part-sizes that are equal and odd. They proved this for graphs with maximum degree 3. The conjecture is also proved for bipartite graphs, interval graphs, 2-degenerate graphs, and some other families. The aim of this talk is to prove the Chen-Lih-Wu Conjecture for graphs with low average degree. Given D > 36, we show that X(G) < D for every graph G with maximum degree D and average degree at most D/6 that does not contain a (D+1)-clique.

This is joint work with A.V. Kostochka.




Title:Precoloring extensions of Brooks' Theorem
Speaker:Professor Douglas B. West
 University of Illinois at Urbana-Champaign
Date:September 16, 2003
Abstract: Brooks proved that a graph with maximum degree k is k-colorable if it does not have Kk+1 as a component (for k > 3). We strengthen this result by allowing some vertices to have arbitrarily specified colors.

Let G be a connected graph with maximum degree k (other than a complete graph or odd cycle), let W be a precolored set of vertices in G inducing a subgraph F, and let D be the minimum distance in G between components of F. If the components of F are complete graphs and D > 8 (for k > 4) or D > 10 (for k=3), then every proper k-coloring of F extends to a proper k-coloring of G. If the components of F are single vertices and D> 8, and the vertices outside W are assigned color lists of size k, then every k-coloring of F extends to a proper coloring of G with the color on each vertex chosen from its list. The distance thresholds in these results are best possible.

The results are joint work with Michael Albertson and Alexandr Kostochka.




Title:The Turán density of the hypergraph {abc, ade, bde, cde}
Speaker:Professor Zoltán Füredi
 University of Illinois at Urbana-Champaign
Date:September 23, 2003
Abstract: Let F denote the 3-graph {abc, ade, bde, cde}. We show that the maximum size of an F-free 3-graph on n vertices is (4/9 +o(1)){n \choose 3}, proving a conjecture of Mubayi and Rödl. This is joint work with O. Pikhurko and M. Simonovits.



Title:On packing a sparse graphs
Speaker:Professor Alexandr V. Kostochka
 University of Illinois at Urbana-Champaign
Date:September 30, 2003
Abstract: A number of basic problems in graph theory can be stated as packing problems. Graphs G1,...,Gk (on n vertices each) pack if there exists an edge-disjoint placement of all these graphs into the complete graph Kn.

Fundamental problems and results on packing of graphs were given about 25 years ago in papers by Bollobás and Eldridge and by Sauer and Spencer. In this talk, we discuss three conjectures of Bollobás and Eldridge. We prove a special case of the main Bollobás-Eldridge Conjecture. In addition, we extend a conjecture and disprove another conjecture from their paper.

This is joint work with B. Bollobás and K. Nakprasit.




Title:The number of k-SAT functions and other problems
Speaker: Professor Béla Bollobás
  University of Memphis and Cambridge University (Trinity College), UK
Date:October 2, 2003
Abstract: One of the aims of the talk is to present some recent results obtained with Graham Brightwell and Imre Leader about the number SAT(k;n) of Boolean functions of n variables that can be expressed by a k-SAT formula. Putting it in another way, SAT(k;n) is the number of subsets of the n-dimensional cube that can be represented as unions of (n-k)-dimensional subcubes.

We shall present bounds on SAT(k;n) for various ranges of k; in particular, we shall identify a variety of different types of behaviour. In spite of the host of results, the behaviour of SAT(k;n) remains mysterious, and the major conjectures in the area are far from settled.

In addition to this, we shall present a number of results and problems about two loosely related areas: additions of sets in groups and graphs made up of cliques.



Title:On partitions of ranked posets
Speaker:Professor Peter Hamburger
 Indiana University - Purdue University at Fort Wayne
Date:October 7, 2003
Abstract: Some old and new results and problems will be discussed related to partitioning the vertex set and/or the edge set of ranked partially ordered sets. The focus will be on those partitions that have special planar embeddings. Some of the results are joint work with A. Sali and Gy. Petruska.



Title:Piercing special configurations of planar convex sets
Speaker:Professor András Gyaefás
 Hungarian Academy of Science and University of Memphis
Date: October 13, 2003
Abstract: We discuss a special case of the famous Hadwiger-Debrunner problem. A family of sets has the "q,p-property" if among any p of them, some q have a common point. Given p, q, d, The Hadwiger-Debrunner problem asks whether there is a constant c such that every family of convex sets in d dimensions having the q,p-property is "pierced" by c points, meaning that a set of c points can be found that intersects each member of the family. Alon and Kleitman proved that the answer is "yes" whenever p > q > d, leaving the question for each p, q, d of what is the smallest such c.

We consider the case (p, q, d)=(4, 3, 2). In [KGT], it was proved that every family of convex sets in the plane having the 3,4-property can be pierced by at most 13 points. As a tool in the proof, we proved that special configurations can be pierced by 5 points, where closed convex sets C1,..,Cn in the plane form a "special configuration" (with respect to a fixed horizontal line Q) if the following conditions hold:
(i) Each Ci intersects Q in a non-empty interval Ii.
(ii) If Ii and Ij are disjoint, then Ci and Cj intersect above Q.
(iii) If Ii, Ij, Ik are pairwise disjoint, then Ci, Cj, Ck have a common point above Q.

For the minimum number of points that suffice to pierce any family with the 3,4-property, we offer $10 for each decrement below 13 and $30 for each increment above 3. For the minimum number of points that suffice to pierce any special configuration, we offer $20 for each decrement below 5. The offers are consistent, since for every family of convex sets having the 3,4-property, there are three points such that the sets not pierced by them can be partitioned into two special families.

[KGT] D. J. Kleitman, A. Gyárfás, G. Toth, Convex sets in the plane with three of any four meeting, Combinatorica 21 (2001) 221-232.




Title:Light Spanners in Weighted Graphs with Forbidden Minors
Speaker:Professor Papa Amar Sissokho
 Illinois State University
Date:November 4, 2003
Abstract: Let G be an edge-weighted graph with n vertices and no Kr-minor. For \epsilon>0, we show that a simple greedy algorithm (of Althöfer et al.) finds a spanning subgraph approximating all shortest-path distances within a factor of 1+\epsilon, and with total edge weight at most O((r(log r)1/2log n)/\epsilon) times the weight of a minimum spanning tree. This result implies a quasi-polynomial-time approximation scheme for the traveling salesman problem on such graphs, with running time nO((r4(log r)1/2log n log log n)/\epsilon2). (These results are joint work with M. Grigni.)

We use a concept called "gap number". For an edge e with endpoints u and v and weight w(e), let gap(e)=dG-e(u,v)-w(e). For a spanning tree T in a graph G, let gap(G,T) be the maximum over all edge-weightings of G of the sum of the gaps of edges outside T divided by the total weight of T. For a graph G, define the gap number gap(G) to be the maximum of gap(G,T) over all spanning trees T.

We show that a graph with gap number \Omega(r(log r)1/2log n) has a Kr-minor. We also show that this dependence on n is nearly tight, by exhibiting graphs with no K6-minor (apex graphs) and gap number \Omega((log n)/loglog n). As a step toward eliminating the log n factors in the first paragraph, we propose a generalized gap number, now depending on \epsilon, and we show that it remains bounded for apex graphs, circular-arc graphs, and some similar graph families.




Title:Sufficient degree conditions for a graph to be k-linked
Speaker:Gexin Yu
 University of Illinois at Urbana-Champaign
Date: November 11, 2003
Abstract: A graph is k-linked if for every list of 2k vertices {s1,..., sk, t1,..., tk}, there exist internally disjoint paths P1,...,Pk such that each Pi is an si,ti-path. In this talk, we consider degree conditions and connectivity conditions sufficient to force a graph to be k-linked.

Let D(n,k) be the minumum positive integer d such that every n-vertex graph with minimum degree at least d is k-linked. Bollobás and Thomason, and Thomas and Wollan used the bound D(n,k)< (n+3k)/2-1 to give sufficient conditions for a graph to be k-linked in terms of connectivity.

Our main result is the exact value of D(n,k) for every n and k. We can further guarantee that when the minimum degree is at least D(n,k), the resulting paths P1,..., Pk in each linkage can be chosen to visit all vertices of G.

We find also the exact values for the corresponding Ore-type bound: If d(x)+d(y)> 2D(n,k) for all nonadjacent vertices x and y in an n-vertex graph G, then G is k-linked.

Our bound allows us to slightly modify the Thomas-Wollan proof to show that every 2k-connected graph with average degree at least 12k is k-linked. It then follows that every 12k-connected graph is k-linked. This improves the previous result of Thomas and Wollan that every 16k-connected graph is k-linked.

These results are joint work with A. Kostochka.




Title:Graph labeling and cyclic decompositions
Speaker:Professor Andrew Blinco
 Illinois State University
Date:November 18, 2003
Abstract: Techniques of labeling the vertices of a bipartite graph G with n edges to yield a cyclic G-decomposition of the complete graph K2nx+1, where x is a positive integer, have received much attention in the literature. An almost-bipartite graph is a non-bipartite graph with the property that the removal of some single edge renders the graph bipartite. Examples of such graphs include the odd cycles.

Here we introduce the concept of \gamma-labeling of an almost-bipartite graph. We show that if an almost-bipartite graph G with n edges has a \gamma-labeling, then there is a cyclic G-decomposition of K2nx+1 for all positive integers x. We also show that odd cycles as well as certain other almost-bipartite 2-regular graphs have \gamma-labelings.

(Joint work with Saad El-Zanati and Charles Vanden Eynden)




Title:The first order complexity of graphs
Speaker:Professor Oleg Pikhurko
 Carnegie Mellon University
Date:December 2, 2003
Abstract: It is not hard to write a first order formula which is true for a given graph G but is false for any graph not isomorphic to G. The smallest number D(G) of nested quantifiers in a such formula can serve as a measure for the `first order complexity' of G. This parameter behaves somewhat strangely, not correlating very well with our everyday intuition of how complex a graph is. For example, let G=G(n,p) be a random graph. For constant p, D(G) is of order log n. For very sparse graphs its magnitude is n. On the other hand, for certain (carefully chosen) values of p the parameter D(G) can drop down to the very slow growing function log* n, the inverse of the TOWER-function. The overall picture, however, is still a mystery.

This is joint work with Jeong-Han Kim, Joel Spencer, Helmut Veith, and Oleg Verbitsky. The talk should be accessible to a general mathematical audience.




Title:New results in vertex-isoperimetric problems
Speaker:Professor Sergei Bezrukov
 University of Wisconsin - Superior
Date:December 9, 2003
Abstract: We consider the vertex-isoperimetric problem (VIP) on graphs. The problem is to find for a given m an m-element vertex set A with the minimum number of vertices at distance 1 from A. We emphasize graphs representable as cartesian powers of other graphs. Our objective is to find new graph classes such that for all cartesian powers the VIP has nested solutions. That is, for such a graph there is a total order on the vertices such that any initial segment constitutes a solution to VIP.

Classical results on VIP of that kind have been for a long time restricted to just three graph families: hypercubes, grids, and tori. The theory of VIP was essentially the theory of these examples. We present several new infinite graph series. To obtain these results, we have developed and extensively used some software that is interesting on its own. The software allows solving the VIP and some other versions of graph isoperimetric problems for a graph and its second cartesian power, check whether there exist nested solutions, and output one of them. Some experimental results that we discovered for the second power were then generalized to arbitrary power and turned into theorems. In the course of this research we extended some our older results concerning the relationship between VIP and some extremal poset problems. The lecture will include some demonstration of the software.




© Jozef Skokan, 2003