Graph limit theory: an overview
This presentation is the property of its rightful owner.
Sponsored Links
1 / 30

Graph limit theory: an overview PowerPoint PPT Presentation


  • 80 Views
  • Uploaded on
  • Presentation posted in: General

Graph limit theory: an overview. L á szl ó Lov á sz Eötvös Lor ánd University, Budapest IAS, Princeton. Limit theories of discrete structures. rational numbers. trees graphs digraphs hypergraphs permutations posets abelian groups metric spaces. Aldous, Elek-Tardos Diaconis-Janson

Download Presentation

Graph limit theory: an overview

An Image/Link below is provided (as is) to download presentation

Download Policy: Content on the Website is provided to you AS IS for your information and personal use and may not be sold / licensed / shared on other websites without getting consent from its author.While downloading, if for some reason you are not able to download a presentation, the publisher may have deleted the file from their server.


- - - - - - - - - - - - - - - - - - - - - - - - - - E N D - - - - - - - - - - - - - - - - - - - - - - - - - -

Presentation Transcript


Graph limit theory an overview

Graph limit theory: an overview

László Lovász

Eötvös Loránd University, Budapest

IAS, Princeton


Graph limit theory an overview

Limit theories of discrete structures

rational numbers

trees

graphs

digraphs

hypergraphs

permutations

posets

abelian groups

metric spaces

Aldous, Elek-Tardos

Diaconis-Janson

Elek-Szegedy

Kohayakawa

Janson

Szegedy

Gromov Elek


Graph limit theory an overview

Common elements in limit theories

sampling

sampling distance

limiting sample distributions

combined limiting sample

distributions

limit object

overlay distance

regularity lemma

applications

trees

graphs

digraphs

hypergraphs

permutations

posets

abelian groups

metric spaces


Graph limit theory an overview

Limit theories for graphs

Dense graphs:

Borgs-Chayes-L-Sós-Vesztergombi

L-Szegedy

Inbetween: distances Bollobás-Riordan

regularity lemma Kohayakawa-Rödl, Scott

LaplacianChung

Bounded degree graphs:

Benjamini-Schramm, Elek


Graph limit theory an overview

Left and right data

very large graph

counting colorations,

stable sets,

statistical physics,

maximum cut,

...

countingedges,

triangles,

...

spectra,

...


Graph limit theory an overview

Dense graphs: convergence

distribution of k-samples

is convergent for everyk

t(F,G):Probability that random mapV(F)V(G)

preserves edges

(G1,G2,…) convergent:Ft(F,Gn) is convergent


Graph limit theory an overview

Dense graphs: limit objects

W0 = {W: [0,1]2[0,1], symmetric, measurable}

"graphon"

GnW : F: t(F,Gn)  t(F,W)


Graph limit theory an overview

Graphs to graphons

0 0 1 0 0 1 1 0 0 0 1 0 0 1

0 0 1 0 1 0 1 0 0 0 0 0 1 0

1 1 0 1 0 1 1 1 1 0 1 0 1 1

0 0 1 0 1 0 1 0 1 0 1 1 0 0

0 1 0 1 0 1 1 0 0 0 1 0 0 1

1 0 1 0 1 0 1 1 0 1 1 1 0 1

1 1 1 1 1 1 0 1 0 1 1 1 1 0

0 0 1 0 0 1 1 0 1 0 1 0 1 1

0 0 1 1 0 0 0 1 1 1 0 1 0 0

0 0 0 0 0 1 1 0 1 0 1 0 1 0

1 0 1 1 1 1 1 1 0 1 0 1 1 1

0 0 0 1 0 1 1 0 1 0 1 0 1 0

0 1 1 0 0 0 1 1 0 1 1 1 0 1

1 0 1 0 1 1 0 1 0 0 1 0 1 0

G

AG

WG


Graph limit theory an overview

Dense graphs: basic facts

For every convergent graph sequence(Gn)

there is a WW0 such thatGnW.

Is thistheonlyuseful

notion of convergence

of densegraphs?

Conversely, W(Gn) such thatGnW.

W is essentially unique

(up to measure-preserving transformation).


Graph limit theory an overview

Bounded degree: convergence

Local : neighborhood sampling

Benjamini-Schramm

Global : metric space

Gromov

Local-global : Hatami-L-Szegedy

Right-convergence,…

Borgs-Chayes-Gamarnik


Graph limit theory an overview

Graphings

Graphing: bounded degree graph G on [0,1] such that:

 E(G) is a Borel set in [0,1]2

 measure preserving:

0

A

B

1

degB(x)=2


Graph limit theory an overview

Graphings

Every Borel subgraph of a graphing is a graphing.

Every graph you ever want to construct from a

graphing is a graphing

D=1: graphing  measure preserving involution

G is a graphing  G=G1…  Gk measure

preserving involutions (k2D-1)


Graph limit theory an overview

Graphings: examples

V(G) = circle

x-

x

E(G) = {chords with angle }

x+


Graph limit theory an overview

Graphings: examples

V(G) = {rooted 2-colored grids}

E(G) = {shift the root}


Graph limit theory an overview

Graphings: examples

x+

x-

x

x

x-

x+

bipartite?

disconnected?


Graph limit theory an overview

Graphings and involution-invariant distributions

x: random point of [0,1]

Gx: connected component of G containing x

Gx is a random connected graph with bounded degree

This distribution is "invariant" under shifting the root.

Everyinvolution-invariantdistributioncan be representedby a graphing.

Elek


Graph limit theory an overview

Graph limits and involution-invariant distributions

graphs,graphings,

orinv-invdistributions

(Gn) locally convergent: Cauchy in d

Gn G:d(Gn,G)  0 (n  )

inv-inv distribution


Graph limit theory an overview

Graph limits and involution-invariant distributions

Everylocallyconvergentsequence of bounded-degreegraphs has a limiting inv-invdistribution.

Benjamini-Schramm

Is everyinv-invdistributionthe limit of a locallyconvergentgraphsequence?

Aldous-Lyons


Graph limit theory an overview

Local-global convergence

(Gn) locally-globally convergent: Cauchy in dk

Gn G:dk(Gn,G)  0 (n  )

graphing


Graph limit theory an overview

Local-global graph limits

Everylocally-globallyconvergentsequence of bounded-degreegraphs has a limit graphing.

Hatami-L-Szegedy


Graph limit theory an overview

Convergence: examples

Gn: random 3-regular graph

Fn: random 3-regular bipartite graph

Hn: GnGn

Expander

graphs

Largegirthgraphs


Graph limit theory an overview

Convergence: examples

Local limit:Gn, Fn, Hn  rooted 3-regular treeT

Containsrecentresultthatindependence ratio

is convergent.

Bayati-Gamarnik-Tetali

Conjecture: (Gn), (Fn) and (Hn) are locally-globally

convergent.


Graph limit theory an overview

Convergence: examples

Local-global limit:Gn, Fn, Hn tend to different graphings

Conjecture: Gn T{0,1}, where

V(T) = {rooted 2-colored

trees}

E(G) = {shift the root}


Graph limit theory an overview

Local-global convergence: dense case

Everyconvergentsequence of graphs is Cauchy indk

L-Vesztergombi


Graph limit theory an overview

Regularity lemma

Given an arbitrarily large graph G and an >0,

decompose G into f() "homogeneous" parts.

(,)-homogeneous graph: SE(G), |S|<|V(G)|, all

connected components of G-S with > |V(G)| nodes

have the same neighborhood distribution (up to ).


Graph limit theory an overview

Regularity lemma

nxn grid is

(, 2/18)-homogeneous.

>0 >0 bounded-degGS E(G), |S|<|V(G)|,

st. allcomponents of G-S are (,)-homogeneous.

Angel-Szegedy, Elek-Lippner


Graph limit theory an overview

Regularity lemma

Given an arbitrarily large graph G and an >0,

find a graph H of size at most f() such that

G and H are -close in sampling distance.

Frieze-Kannan "Weak" Regularity Lemma 

suffices in the dense case.

f() exists in the bounded degree case.

Alon


Graph limit theory an overview

Extremal graph theory

It is undecidablewhether

holdsforeverygraphG.

Hatami-Norin

It is undecidablewhetherthereis a graphingwith almost allr-neighborhoodsin a givenfamilyF .

Csóka


Graph limit theory an overview

Extremal graph theory: dense graphs

Kruskal-Katona

Razborov 2006

Fisher

Goodman

Bollobás

Mantel-Turán

Lovász-Simonovits

1

0

1/2

2/3

3/4

1


Graph limit theory an overview

Extremal graph theory: D-regular

D3/8

Harangi

0

D2/6


  • Login