Colloquium Mathematics, Dr. Tobias Mueller
Join us for coffee and tea at 15.30 p.m.
Date: |
Tuesday, April 22nd 2014 |
Speaker: |
Dr. Tobias Mueller, |
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/
Last modified: | 10 February 2021 2.28 p.m. |
More news
-
16 April 2024
UG signs Barcelona Declaration on Open Research Information
In a significant stride toward advancing responsible research assessment and open science, the University of Groningen has officially signed the Barcelona Declaration on Open Research Information.
-
02 April 2024
Flying on wood dust
Every two weeks, UG Makers puts the spotlight on a researcher who has created something tangible, ranging from homemade measuring equipment for academic research to small or larger products that can change our daily lives. That is how UG...
-
18 March 2024
VentureLab North helps researchers to develop succesful startups
It has happened to many researchers. While working, you suddenly ask yourself: would this not be incredibly useful for people outside of my own research discipline? There are many ways to share the results of your research. For example, think of a...