Programme of the DIAMANT/EIDMA symposium, 2930 May 2008
Thursday 29 

10:1510:50 
Arrival and coffee  
10:5011:00  Opening  
11:0011:55  Mai Gehrke  Pseudovarieties of finite algebras and duality theory 
(Nijmegen) 
Birkhoff's Variety Theorem in universal algebra states that a class ofsimilar algebras is closed under homomorphic images, subalgebras, andproducts if and only if the class is given by equational properties.Reitermann's Theorem is a similar result for classes of finitealgebras, but here one must consider generalised identities obtained byusing terms from a topological (profinite) completion of theappropriate free algebra. In joint work with JeanEric Pin and Serge Grigorieff we haveshown that Reitermann's theorem is a special case of the generaltopological duality theory that relates various nonclassical logicswith their relational semantics. We give a general introduction to this work and illustrate with applications in the theory of finite state automata. 

12:0012:25 
Peter Bruin 
Curves over finite fields with many rational points 
(Leiden)  The question how many points a curve over a finite field can have (interms of the base field and the genus of the curve) is natural andelegant, but also remarkably interesting in relation to coding theory.In the case where the cardinality of the base field is the square of aprime number, Ihara and Vladut proved that certain families of modularcurves are optimal in the sense that they attain the socalledDrinfeldVladut upper bound for the number of rational points divided bythe genus.The goal of this talk is to explain a method, due to Elkies, to writedown (very explicitly) equations for such curves and (a bit lessexplicitly) most of their rational points. The construction relies onthe fact that a cyclic isogeny of elliptic curves can, roughly speaking,be specified as a sequence of isogenies of low degree.  
12:3013:55  Lunch 

14:0014:40 
Péter Csorba 
The Alcuin number of a graph 
(Eindhoven) 
We consider the generalization of Alcuin's river crossing problem(also known as the wolf, goat, and cabbage puzzle) to arbitrary graphs.Now the man has to transport the vertices of a graph across the river.If two of them are connected by an edge, they are conflicting and thuscannot be left alone together without human supervision.We derive algorithmical, and complexity theoretical results around this problem.Joint work with Cor Hurkens and Gerhard Woeginger.  
14:4515:10  Jaroslaw Byrka  New Algorithms for Approximate Nash Equilibria in Bimatrix Games 
(Eindhoven and CWI)  We consider the problem of computing additively approximate Nashequilibria in noncooperative twoplayer games.We first provide a simple algorithm, that achieves a0.38197approximation, which is exactly the same factor as the algorithmof Daskalakis, Mehta and Papadimitriou. This algorithm is then tuned,improving the approximation error to 0.36392.Our method is relatively fast, as it requires solving only one linearprogram and it is based on using the solution of an auxiliary zerosumgame as a starting point.We also exhibit a simple reduction that allows us to compute approximateequilibria for multiplayer games by using algorithms for twoplayergames.  
15:1515:40 
Tea break 

15:4516:10 
Roelof Oosterhuis 
Another step in formalizing Fermat's Last Theorem 
(Groningen) 
My master's thesis involves a project in mechanized theorem proving. Starting from scratch I tried to formally prove the cases n=4and n=3 of Fermat's Last Theorem. One motivation for this research is the list of 'ten challenging research problems in computer science' fromJan Bergstra, leaded by: "Formalize and verify by computer a proof of Fermat's Last Theorem." In my talk I will give an impression of what it is like for a mathematician to get started with proof assistants, with a special focus on number theory in 'Isabelle'. 

16:1517:10 
Thomas Hales  The Kepler conjecture and the Flyspeck project 
(Pittsburgh) 
The Kepler conjecture asserts that no packing of congruent ballsin three dimensional Euclidean space has density greater than the facecenteredcubic packing. It has now been nearly ten years since the proof ofthat conjecture was completed. The proof runs hundreds of pages andrelies on long computercalculations. This talk will describe the original proof and givedetails about an ongoing project, called Flyspeck, designed to give aformal proof ofthis result.  
Dinner 

Friday 30 

Breakfast  
9:1510:10  Nicole Immorlica 
Secretary Problems and Online Auction Design 
(CWI)  This talk considers the problem of online auction design, or auctions for bidders who arrive and depart over time. Maximizing welfare in such auctions is complicated by the fact that bids must be accepted or rejected at the moment they are submitted. It is known how the classic secretary problem introduced by Dynkin in 1963 can be used to design approximately welfaremaximizing auctions in a simple multiunit auction setting. We show how the classic secretary problem can be generalized to a combinatorial setting, and use this generalization to build mechanisms for a class of online combinatorial auctions. 

10:1510:55 
Stefan Maubach 
The polynomial automorphism group over finite fields 
(Nijmegen)  A polynomial map in this talk is a map k^{n} → k^{n} (where k is afield) given by polynomials. If it has a polynomial map inverse, thenit is called a polynomial automorphism, and we can talk about thepolynomial automorphism group. For example, (X+Y^{2},Y) is a polynomial automorphism with inverse (XY^{2},Y). Out of habit, polynomial automorphisms are mostly studied overfields of characteristic zero (also by me!), with only the occasional``free'' generalisation to characteristic p Let alone polynomial maps over finite fields. There are two reasons to jump into this hiatus. The first is, that certain problems over characteristic zero can be solved by ``reduction mod p'' techniques. For example,the fact that an injective polynomial map is automaticallysurjective, follows from the fact that a map from a finite set which isinjective, is automatically surjective. Another amazing result likethis was recently obtained by Belov and Kontsjevich. The second is that any map from a finite field vector space can beinteresting for other, discreteoriented research fields. I know onlyone or two of such implications, but one of the reasons for me to talkabout this subject is to get some input from the audience. One of the questions that I will answer is which bijections (F_{q})^{n} → (F_{q})^{n} of the ndimensional vector space over F_{q} can be obtained bypolynomial maps. I will apply this viewpoint to the problem offinding generators for the automorphism group, which is an open problemin dimension 3 and up. Those in the audience who love characteristic 2 anomalies will be pleased. 

11:0011:25  Coffee break 

11:3011:55 
Dan Roozemond 
Lie algebras over fields of small characteristic 
(Eindhoven)  Algorithms exist and have been implemented to compute Chevalley basesfor Lie algebras. Unfortunately, these algorithms break down over fieldsof characteristic 2 and 3. We give an overview of the difficulties thatarise, and propose several solutions.  
12:0012:25  Willem Jan Palenstijn  Enumerating ABCtriples 
(Leiden)  An ABCtriple is a triple of coprime positive integers a, b, c with a +b = c for which the product of primes dividing abc is below c. TheABCconjecture, considered one of the current holy grails of numbertheory, describes the behaviour of these triples. The distributedcomputing project at www.abcathome.com is enumerating all ABCtriples upto a certain bound. In this talk we will describe the algorithm used andlook at some questions raised by the available data.  
12:3013:55  Lunch 

14:0014:40  Lenny Taelman 
Special values of Lfunctions: conjectures, variations, computations 
(Leiden)  I shall explain (assuming a nonexpert audience), how a veryelegant conjecture of Deligne, Beilinson and Scholl unifies number theoreticalresults and conjectures such as the class number formula, the Birchand SwinnertonDyer conjecture, and Borel's theorem on values ofzeta functions at integral points. Some variations to this conjectureare more or less natural, and are supported by numerical computations. Iwill propose a characteristic p variant, and present some evidence for it.  
14:4515:10  Jos in 't panhuis 
The universal embedding of a finite irreduciblecotriangular space 
(Eindhoven)  A cotriangular space is a partial linear space inwhich each line contains exactly 3 points and each point not on a line iscollinear with either 0 or 2 points of that line. If a cotriangular space isfinite and irreducible, then it is of three possible types: triangular,symplectic or orthogonal. Moreover, it can be embedded into a projective space.For each of the possible types we will give the corresponding universalembedding.  
15:1516:10 
Dietrich Notbohm 
Combinatorics of simplicial complexes and Stanley Reisner algebras from a topological point of view 
(VU Amsterdam) 
Given a finite simplicial complex there are several associated algebraic andtopological invariants, e.g. the StanleyReisner algebra andDavisJanuszkiewics spaces which are topological realizations of thesealgebras. The homotopy theory of these spaces is reflectedby combinatorial properties of the complexes. We will discuss twodifferent applications and will relate coloring question of the complexwith splitting properties of vector bundles over theDavisJanucskiewicz space and depth of the StanleyReisner algebra withthe combinatorics of the complex. 

16:1016:15  Closing 