Programme of the DIAMANT symposium
Hotel Het Witte Huis, Soest
24 and 25 November 2016

11:00-11:25 arrival and coffee
11:25-11:30 welcome
Reem Yassawi (Trent U, Canada) Linear cellular automata and p-automatic sequences
Let p be a prime number. A p-automatic sequence is one that is generated by a deterministic finite state machine which is fed base-p expansions of natural numbers. Cobham's theorem characterizes these sequences as the letter to letter projections of fixed points of length p substitutions: these are generated by a morphism on some finite alphabet A, which replaces letters with words. These sequences generate a rich source of combinatorial and symbolic dynamical systems, whose dynamical, spectral and measurable properties have been studied extensively. If one further assumes that A has a field structure, then the beautiful theorems of Christol and Furstenberg give other characterizations of p-automatic sequences. We describe these characterizations, and using them, we show that a sequence over a finite field F of characteristic p is p-automatic if and only if it occurs as a column of the spacetime diagram (with eventually periodic initial conditions), of a linear cellular automaton with 'memory' over F. We compare this phenomenon to the one of spacetime diagrams whose initial condition is m-random for some measures m. Our proofs are constructive. As a corollary, we show that the dynamical system generated by a length p-substitution can be realized as a topological factor of a linear cellular automaton. This is joint work with Eric Rowland (Hofstra University).
12:30-14:00 lunch
Bart de Keijzer (CWI) The ground-set-cost budgeted maximum coverage problem
14:00-14:25 The weighted budgeted max-coverage problem is a well-known optimization problem where we are given a budget and collection of subsets over a finite ground set (the elements of which we refer to as the vertices), each subset has a certain cost, and each vertex has a certain profit. The goal is to select a subcollection of the subsets such that the total cost does not exceed the budget, and the total profit of the covered elements is maximized. We study a natural and strictly harder variant of this problem where the costs are on the vertices instead of on the subsets, so that each vertex has both a profit and a cost. We show that this problem is APX-hard, and prove that for the following special cases of the problem, there exist constant factor approximation algorithms that run in polynomial time: (1) when the size of the sets is bounded by a constant, there exists a (1−1/sqrt(e))/2-approximation algorithm.  (2) when there is a bound d on the degree of each vertex (when viewed as a hypergraph), there exists an O(d^2)-approximation algorithm. (3) when the incidence graph of the set system is a forest, the problem can be solved to optimality in polynomial time. Besides that this problem is a natural generalization of the well-studied max-coverage problem, we additionally illustrate how this problem arises naturally in the context of bid optimization in sponsored search auctions, such as in Google’s AdWords system.
Guus Bollen (TUe) Algebraic representability of matroids
14:30-14:55 Ingleton has shown that over fields of characteristic 0, a matroid is algebraically representable if and only if it is linearly representable. Over fields of positive characteristic, this equivalence does not hold. We look at flock-representable matroids, as a class that contains the algebraically representable matroids. Each flock of a matroid M gives rise to a valuation on the set of bases of M. If M has a very limited range of valuations, then this limits the flock-representations, and in turn the algebraic representations of M. We use this approach to redo some classical results, and more.
15:00-15:30 tea
Peter Koymans (UL) An application of Vinogradov's method to class groups
15:30-15:55 We show that the density of prime numbers p for which the class group of the imaginary quadratic field Q(sqrt{-p}) has an element of order 16 is 1/16, as predicted by the Cohen-Lenstra heuristics. Our proof relies on a method due to Vinogradov, which we will explain during the talk. Joint work with Djordjo Milovic.
Jörg Jahnel (Siegen) Moduli spaces and the inverse Galois problem for cubic surfaces
16:00-16:55 I will report on our project, joint with A.-S. Elsenhans, to construct cubic surfaces over Q with prescribed Galois operation on the 27 lines. This involves the application of classical algebro-geometric constructions such as J.J. Sylvester's pentahedral form for a cubic surface, A. Clebsch's 5 fundamental invariants of a cubic surface, and A. Coble's 40 irrational invariants for a marked cubic surface.
17:00-18.30 drinks
18:30 dinner
Oleg Pikhurko (U Warwick) Measurable equidecomposition via augmenting paths
10:00-10:55 Two subsets A, B of R^n are called equidecomposable if one can partition A into finitely many parts and move them using isometries to form a partition of B. One example is the famous Banach-Tarski Paradox that a unit ball can be doubled if the dimension n is at least 3. We present sufficient criteria for the existence of equidecompositions with Lebesgue measurable parts, by running an analytic version of the augmenting path algorithm. This in particular gives measurable versions of Tarski's circle squaring and Hilbert's 3d problem. Joint work with András Máthé and Łukasz Grabowski.
11:00-11:30 coffee
Richard Griffon (UL) An analogue of the Brauer-Siegel theorem for Fermat surfaces over finite fields
11:30-11:55 The classical Brauer-Siegel theorem gives upper and lower bounds on the product of the class-number times the regulator of units of a number field, in terms of its discriminant. These bounds can be seen as a measure of the "arithmetic complexity" of number fields.  In this talk, I'd like to report on a work in progress in a more geometric setting. Consider a projective smooth surface S defined over a finite field k. Assuming that its Brauer group is finite, one can form the product of the order of this group by the determinant of a basis of the Néron-Severi group of S over k with respect to the intersection form. We are interested in bounding this quantity in terms of the geometric genus of S, in the case when S is a Fermat surface. When the genus grows to infinity, the bounds we prove provide a complete analogue of the Brauer-Siegel theorem for the Fermat surfaces. The proof is mostly "analytical" in that it boils down to estimates about the zeta functions of these surfaces.
12:00-13:00 lunch
Dion Gijswijt (TU Delft) A solution of the cap set problem
13:00-13:55 A subset of GF(3)^n, the n-dimensional vector space over the field of 3 elements, is called a cap set if it does not contain an affine line. In dimension 4, this relates to the famous card game SET. There, a cap set corresponds to a collection of cards without a SET. The cap set problem is concerned with upper bounds on the size of cap sets. A question raised by Frankl, Graham and Rödl is: do cap sets have exponentially small density? A positive answer implies the Erdös-Szemerédi sunflower conjecture. On the other hand, several approaches for fast matrix multiplication rely on a negative answer. In this talk we give a positive answer by showing that the maximum size of a cap set is O(c^n), where c=2.756. The proof is surprisingly simple and uses the polynomial method, building upon work of Croot, Lev and Pach. This is joint work with Jordan Ellenberg.
14:00-14:30 tea
Quentin Louveaux (Université de Liège) The k-Frobenius number: bounds and algorithms
14:30-15:25 The Frobenius number is a well-known problem in number theory and integer optimization. Given a set of integer numbers, the problem is to find the largest integer b that cannot be represented as a nonnegative integral combination of the given integers. The k-Frobenius number is a generalization in which we ask for the largest integer b that cannot be represented by at least k different nonnegative integral combinations of the given integers. In this talk we make a survey on different algorithms to find these numbers. We also discuss its known properties and in particular the lower and upper bounds that are known about it.
15:30 end of the symposium



Mathematics cluster DIAMANT

Upcoming events

Diamant symposium
30-11-2017 - 1-12-2017

NMC / Diamant symposium
3-4-2018 - 4-4-2018

News - more news

NWO Call for Tenure Track positions

NWO has opened a call for tenure track positions. Proposals for these positions, which include one PhD position for each tenure track position, can be submitted directly to NWO by professors from the 4 mathematics clusters, including Diamant. Diamant professors are warmly encouraged to submit proposals. Read more.

Dion Gijswijt and Jordan Ellenberg independently substantially improve capset bound

A capset in a finite dimensional vector space over the field with 3 elements is a subset that contains no 3-term arithmetic progressions. Dion Gijswijt (TU Delft) and Jordan Ellenberg have independently obtained a bound on the size of a capset that for the first time improves substantially on the trivial bound 3^n. Read more in Terence Tao's blog about these developments.

Harry Buhrman lectures on quantum computing in Universiteit van Nederland

Starting 12 January 2015, the Universiteit van Nederland publishes five public lectures by Harry Buhrman, head of the research group quantum computing at CWI. The series of lectures features the do's and don'ts of the computer of the future. From Monday through Friday, a new lecture will be available on the site of the Universiteit van Nederland each day.

Monique Laurent, Nikhil Bansal and Ronald de Wolf receive TOP-grant

Monique Laurent, Nikhil Bansal and Ronald de Wolf have received a TOP-grant from NWO for their joint project "Approximation Algorithms, Quantum Information and Semidefinite Optimization". Read more.