Title:On strong chromatic index of bipartite graphs
Speaker:Kittikorn Nakprasit
 University of Illinois at Urbana-Champaign
Date:January 27, 2004
Abstract: A strong edge-coloring of a graph G is an edge-coloring in which every color class is an induced matching; that is, if uv and wz have the same color, then the subgraph induced by {u,v,w,z} is 2K2. The strong chromatic index s'(G) is the minimum number of colors in a strong edge-coloring of G. Brualdi and Quinn conjectured that for every bipartite graph G, s'(G) is at most D1 D2, where D1 and D2 are the maximum degrees among vertices in the two partite sets. We give an affirmative answer for D1=2.



Title:Bounds on set systems with restricted k-wise intersections
Speaker:Weiting Cao
 University of Illinois at Urbana-Champaign
Date:February 3, 2004
Abstract: Maximizing the size of a family of subsets of an n-element set under some conditions on intersections of its members is a classical theme in extremal set theory. For example, Frankl and Wilson proved an upper bound of $\sum_{i=0}^s {n\choose i}$ when the sizes of pairwise intersections are restricted to a set L of s nonnegative integers. Snevily proved their conjecture that n can be replaced with n-1 in the upper bound when L is a set of s positive integers. These bounds hold also when L is viewed as a set of s congruence classes modulo a prime p.

We generalize these bounds by placing the restriction on the intersections of k distinct members of the family. Again let L be a set of s congruence classes modulo a prime p. Let H be a family of subsets of [n] such that the size modulo p of each member of H is not in L, but the size modulo p of every intersection of k distinct members of $H$ is in L. We prove that |H|<(k-1)\sum_{i=0}^s {n-1\choose i}. This improves an earlier bound by Grolmusz having n in place of n-1. We use the linear algebra method, obtaining the bound from the dimension of a subspace of a linear space of polynomials. This is joint work with Kyung-Won Huang and Douglas West.




Title:The best choice problem for partially ordered sets
Speaker:Professor Michal Morayne
 Wroclaw University of Technology, Wroclaw, Poland
Date:February 10, 2004
Abstract: The classical secretary problem concerns the best strategy in an on-line decision process. The administrator interviews n candidates for a job The candidates are linearly ordered in qualifications, but the administrator sees them in a random permutation and can only compare the relative ranks of the ones seen so far. The aim is to choose the absolute best candidate, but the only one that can be chosen is the currently interviewed one. The optimal strategy is well known and gives the administrator a probability better than 1/e of choosing the best candidate.

The problem has been generalized in various ways. Here we consider the problem with a partial order instead of a linear one. This seems to better approximate real life situations where options need not be linearly ordered. The aim of this talk is to discuss optimal and effective strategies for the partial order generalization of the secretary problem. Such strategies in some specific situations (such as a binary tree order and an unknown order) will be considered. Interesting combinatorial counting problems that arise when looking for such strategies will be discussed.




Title:On H-linked graphs
Speaker:Gexin Yu
 University of Illinois at Urbana-Champaign
Date:February 17, 2004
Abstract: We introduce the notion of H-linked graphs, where H is a fixed graph with vertices u1, ...,um. A graph G is H-linked if for every choice of vertices v1,...,vm in G, there exists a subdivision of H in G such that vi is the branch vertex representing ui (for all i). This generalizes the notions of k-linked and k-ordered graphs.

Given k and n, we determine the least integer d such that, for every graph H with k edges and minimum degree at least two, every n-vertex graph with minimum degree at least d is H-linked. This value D(k,n) appears to equal the least integer d' such that every n-vertex graph with minimum degree at least d' is k-connected. On the way to the proof, we extend a theorem by Kierstead et al. on the least integer d'' such that every n-vertex graph with minimum degree at least d'' is k-ordered.

This is joint work with Alexandr Kostochka.




Title:Graph homomorphisms, statistical physics, and quasirandom graphs (Colloqium)
Speaker:Professor László Lovász
 Microsoft
Date:February 19, 2004
Abstract: Counting homomorphisms between graphs has a surprising number of applications. Many models in statistical mechanics and many questions in extremal graph theory can be phrased in these terms. We introduce a matrix, which we call the connection matrix, and show that this is positive semidefinite (in statistical mechanics, this fact is called "reflection positivity"). We show that this fact contains many results in extremal graph theory and in the theory of quasirandom graphs. Through this, we find interesting applications of important techniques from statistical mechanics like cluster expansion and Dobrushin uniqueness. This is joint work with many people, including Christian Borgs, Jennifer Chayes, Mike Freedman, Jeff Kahn, Lex Schrijver, Vera Sos, Kati Vesztergombi, and Dominic Welsh.



Title:On a common feature in certain sequences
Speaker:Professor Sergey Kitaev
 University of Kentucky
Date:February 24, 2004
Abstract: The Arshon sequence was given in 1937 in connection with the problem of constructing a square-free sequence on a given alphabet, that is a sequence that does not contain any subword of the type XX, where X is any nonempty word over the alphabet. The existence of such sequences, as well as the existence of sequences avoiding other kinds of repetitions, were studied in algebra, discrete analysis, and dynamical systems. The Dragon curve (the paperfolding sequence) was discovered by physicist John Heighway and described by Martin Gardner in 1978. It is defined as follows: we fold a sheet of paper in half, then fold in half again, and again, etc. and then unfold in such way that each crease created by the folding process is opened out into a 90-degree angle. The "curve" refers to the shape of the partially unfolded paper as seen edge on. The Dragon curve is related to the sigma-sequence used by Evdokimov in 1968 in order to construct chains of maximal length in the n-dimensional unit cube.

The Peano curve was studied by the Italian mathematician Giuseppe Peano in 1890 as an example of a continuous space filling curve. The Peano infinite word is a discrete analog of the Peano curve.

Are there any similarities between the Arshon sequence, the Dragon curve, and the Peano infinite word in terms of combinatorics on words? In this talk, I will answer this question using some recent results.




Title:An unexpected drop in the circular chromatic number
Speaker:Seog-Jin Kim
 University of Illinois at Urbana-Champaign
Date:March 2, 2004
Abstract: A (k,d)-coloring of a graph G is map from V(G) to the set of congruence classes modulo k so that adjacent vertices are assigned classes differing by at least k. The circular chromatic number of G is the minimum ratio k/d such that G has a (k,d)-coloring. This parameter has become an important subject of study in recent years as a refinement of the ordinary chromatic number, since the chromatic number is always the ceiling of the circular chromatic number.

The chromatic number never declines by more than one when a vertex is deleted, and it was widely thought that the same would hold for the circular chromatic number. In this talk, we present the surprising construction by Xuding Zhu of an infinite family of graphs with circular chromatic number 4 such that deletion of any vertex reduces the circular chromatic number to 8/3.




Title:Dominating sets in k-majority tournaments
Speaker:Professor Alexandr V. Kostochka
 University of Illinois at Urbana-Champaign
Date:March 9, 2004
Abstract: The k-majority tournament generated by 2k-1 linear orders on a finite set V is the tournament with vertex set V having an edge from v to w if v precedes w in at least k of the orders. Erdös and Moser proved that for some kn in O(nlog n), every n-vertex tournament is a kn-majority tournament.

Kierstead and Trotter conjectured that for each k, there is a constant F(k) such that every k-majority tournament (with no restriction on the number of vertices) has a dominating set of size at most F(k). They also conjectured that F(2)=3; that is, every tournament generated by majority rule from a set of three linear orders has a dominating set of size 3. In this talk we prove these conjectures and describe some open problems.

The result is joint work with G. Brightwell, H. Kierstead, and P. Winkler.




Title:Global Optima Results for the Kauffman NK Model
Speaker:Hemanshu Kaul
 University of Illinois at Urbana-Champaign
Date:March 16, 2004
Abstract: Many scenarios in theoretical biology, physics, and business organizations can be modeled as systems with several interacting components that can be in various states. The aim is to maximize a performance measure involving contributions from each component. This measure may depend on both the state of each component and on interactions between components. In 1987, Kauffman and Levin introduced a combinatorial optimization model for such systems, called the Kauffman NK model, where N is the number of components of the system and K measures the interaction between the components. This was proposed to model the evolution of genomes in theoretical biology but has since been applied in other areas as listed above.

Previous research on the NK model has emphasized simulations and analysis of local optima. Here we focus on rigorous results for global optima. We describe a computational setup using a stochastic network model, which leads to applicable strategies for computing bounds on global optima when K is small or is close to N. Recent papers used tools from analysis and probability to obtain bounds on the expected value of the global optima for fixed K and large N. We present bounds when K grows with N, using elementary probabilistic combinatorics and order statistics. We use a `dependency' graph to convert the problem of bounding order statistics of dependent random variables into that of independent random variables while incorporating quantitative information about mutual dependencies among the underlying random variables. If time permits, an alternate upper bound and the analysis for the cases of underlying uniform and normal distributions will be presented.

This is joint work with Prof. S.H. Jacobson.




Title:A hierarchy of randomness for graphs
Speaker:Professor Vera Sós
 Hungarian Academy of Science
Date:March 30, 2004
Abstract: We formulate four families of problems with the aim of distinguishing different levels of randomness. The first is completely non-random, being the ordinary Ramsey-Turan problem. In the three subsequent problems we formulate randomized variations of it. We show that these four levels form a hierarchy. The problems and results are strongly related to three basic topics in graph theory: extremal graph theory, Ramsey theory, and the theory of random graphs. (Joint work with M. Simonovits.)



Title:When the greedy algorithm fails
Speaker:Professor Gregory Gutin
 Royal Holloway, University of London
Date:April 6, 2004
Abstract: We provide a characterization of the cases when the greedy algorithm may produce the unique worst possible solution for the problem of finding a minimum weight base in a uniform independence system when the weights are taken from a finite range. We apply this theorem to TSP and the minimum bisection problem. The practical message of this talk is that the greedy algorithm should be used with great care, since for many optimization problems its usage seems impractical even for generating a starting solution (that will be improved by a local search or another heuristic). (Joint work with J. Bang-Jensen and A. Yeo.)



Title:Cones Over Graphs
Speaker:Professor Michael Stiebitz
 Technical University of Ilmenau, Germany
Date:April 13, 2004
Abstract: The cone Mr(G) over a given graph G is obtained by taking the categorial product of G and a path P of length r+1 with a loop at one end, and then identifying all vertices whose second coordinate is the non-loop end of P.

Some instances of this construction are well known. The cone M1(G) is the graph obtained from G by adding a vertex joined to all of V(G). The cone M2(G) is Mycielski's construction over G. This was invented in 1955 by Mycielski to generate triangle-free k-chromatic graphs for all k> 2. It is easy to show that \chi(M1(G))=\chi(G)+1 and \chi(M2(G))=\chi(G)+1.

We ask whether all cones over a graph G have chromatic number larger than G? For example, is Mr(C2l+1) always 4-chromatic? We show that this question has a topological flavor.




Title:Extremal functions for graph linkages
Speaker:Paul Wollan
 Georgia Institute of Technology
Date:April 20, 2004
Abstract: A graph G is k-linked if for any 2k distinct vertices s1,...,sk and t1,...,tk there exist disjoint paths P1,...,Pk such that for each i the endpoints of Pi are si and ti. Bollobás and Thomason showed that connectivity at least 22k suffices to make a graph k-linked. Using a more direct induction argument, we have shown that 18k-connected graphs are k-linked. I will outline the argument and discuss recent improvements leading to a result of Kawarabayashi, Kostochka, and Yu that 12k-connected graphs are k-linked. Along these same lines, we further improved the analysis to show that connectivity at least 10k is sufficient. I will also discuss how the proof method can be used to show an optimal bound in the case k=3 and how the proof method can be used to find extremal functions for more general structures. This is joint work with Robin Thomas.



Title:Some Erdös-Ko-Rado type problems
Speaker:Professor Norihide Tokushige
 Ryukyu University and Emory University
Date:April 27, 2004
Abstract: We present some Erdös-Ko-Rado type problems and partial results concerning the "r-wise t-intersecting" version, the "r-wise intersecting and r-wise union" version, and the "r-wise cross-intersecting" version. One of our main tools is random walks; we show how to use random walks to get upper bounds for the size of multiply intersecting families.

This is joint work with Peter Frankl.




Title:Path-perfection of complete bipartite graphs
Speaker:Weiting Cao
 University of Illinois at Urbana-Champaign
Date:May 4, 2004
Abstract: A graph G is path-perfect if there is a positive integer n such that the edge set E(G) of the graph G can be partitioned into n paths of lengths 1,2,...,n. We prove the conjecture of Fink and Strait: For t <s, the complete bipartite graph Ks,t is path-perfect if and only if there is a positive integer n such that 2t> n and n(n+1)=2ts.

This is joint work with Prof. Peter Hamburger.




© Jozef Skokan, 2004