Skip to ContentSkip to Navigation
Over onsNieuws en agendaNieuwsberichten

Colloquium Mathematics, Dr. Tobias Mueller

22 april 2014

Join us for coffee and tea at 15.30 p.m.

Date:                      

Tuesday, April 22nd 2014

Speaker:

Dr. Tobias Mueller,
University Utrecht

Room:

5161.0293 (Bernoulliborg)

Time:

16.00

Title: Logic and random graphs


Abstract:


Random graphs have been studied for over half a century as useful
mathematical models of networks and as an attractive bit of
mathematics for its own sake.
Almost from the very beginning of random graph theory there has been
interest in studying the behaviour of graph properties that can be
expressed as sentences in some logic, on random graphs.

We say that a graph property is first order expressible if it can be
written as a logic sentence using the universal and existential quantifiers with
variables ranging over the nodes of the graph, the usual connectives
AND, OR, NOT, parentheses and the relations = and ~, where x ~ y means
that x and y share an edge.
For example, the property that G contains a triangle can be written as

Exists x,y,z : (x ~ y) AND (x ~ z) AND (y ~ z).

First order expressible properties have been studied extensively on
the oldest and most commonly studied model of random graphs, the
Erdos-Renyi model.
I will describe a number of striking results that have been obtained
for the Erdos-Renyi model and some surprising links to other branches of
math including number theory, before describing some of my own work on
different models of random graphs, including the random planar graph
and the random geometric graph.

Colloquium coordinators are Prof.dr. A.C.D. van Enter (e-mail : A.C.D.van.Enter@rug.nl) and
Dr. A.V. Kiselev (e-mail: a.v.kiselev@rug.nl )

http://www.rug.nl/research/jbi/news/colloquia/mathematics-colloquia/

Laatst gewijzigd:06 juni 2018 14:04

Meer nieuws

  • 11 september 2018

    Van Klokhuis-vraag naar Veni-subsidie

    Als kind was Jorrig Vogels al gefascineerd door taal en vergeleek hij de verschillende woorden voor ingrediënten op verpakkingen. Een jaar terug sleepte de taalonderzoeker een Veni-beurs in de wacht. ‘Taal heeft iets telepathisch: het beeld dat ík in...

  • 07 september 2018

    Constructief overleg – gezamenlijke overeenkomst

    Na een intensief en constructief gesprek met de actievoerende studenten van studentenpartij DAG en ROOD (jongeren SP) is donderdagavond een gezamenlijke overeenkomst bereikt op vier punten, vooral gericht op de lange termijn.

  • 04 september 2018

    Weg met die systeemplafonds

    Als Zuidlarens jongetje vond hij al die oude gebouwen in de stad Groningen maar niks. De interesse in historische panden kwam pas later, tijdens zijn studie Bouwkunde. Als bouwkundige is René Bosscher nu verantwoordelijk voor de buitenkant van de gebouwen...