Boundary Partitions in Trees and Dimers Richard W. Kenyon and David B. Wilson University of British Columbia Brown University Microsoft Research (Connection.

Slides:



Advertisements
Similar presentations
Iterative Rounding and Iterative Relaxation
Advertisements

The Cover Time of Random Walks Uriel Feige Weizmann Institute.
Great Theoretical Ideas in Computer Science for Some.
Planar graphs Algorithms and Networks. Planar graphs2 Can be drawn on the plane without crossings Plane graph: planar graph, given together with an embedding.
1 Constructing Splits Graphs Author: Andreas W.M. Dress Daniel H. Huson Presented by: Bakhtiyar Uddin.
Great Theoretical Ideas in Computer Science for Some.
“Devo verificare un’equivalenza polinomiale…Che fò? Fò dù conti” (Prof. G. Di Battista)
CompSci 102 Discrete Math for Computer Science April 19, 2012 Prof. Rodger Lecture adapted from Bruce Maggs/Lecture developed at Carnegie Mellon, primarily.
1 Steiner Tree on graphs of small treewidth Algorithms and Networks 2014/2015 Hans L. Bodlaender Johan M. M. van Rooij.
Krakow, Summer 2011 Schnyder’s Theorem and Relatives William T. Trotter
Local statistics of the abelian sandpile model David B. Wilson TexPoint fonts used in EMF. Read the TexPoint manual before you delete this box.: AAA A.
1 Maximum matching in graphs with an excluded minor Raphael Yuster University of Haifa Uri Zwick Tel Aviv University TexPoint fonts used in EMF. Read the.
The double-dimer model and skew Young diagrams Richard W. Kenyon David B. Wilson Brown University Microsoft Research TexPoint fonts used in EMF. Read the.
Applied Combinatorics, 4th Ed. Alan Tucker
What is the next line of the proof? a). Let G be a graph with k vertices. b). Assume the theorem holds for all graphs with k+1 vertices. c). Let G be a.
Great Theoretical Ideas in Computer Science.
Is the following graph Hamiltonian- connected from vertex v? a). Yes b). No c). I have absolutely no idea v.
W. D. Grover TRLabs & University of Alberta © Wayne D. Grover 2002, 2003 Graph theory and routing (initial background) E E Lecture 4.
Drawing of G. Planar Embedding of G Proposition Proof. 1. Consider a drawing of K 5 or K 3,3 in the plane. Let C be a spanning cycle. 2. If the.
Rectangular Drawing Imo Lieberwerth. Content Introduction Rectangular Drawing and Matching Thomassen’s Theorem Rectangular drawing algorithm Advanced.
MATH 310, FALL 2003 (Combinatorial Problem Solving) Lecture 10, Monday, September 22.
Curve Curve: The image of a continous map from [0,1] to R 2. Polygonal curve: A curve composed of finitely many line segments. Polygonal u,v-curve: A polygonal.
cover times, blanket times, and majorizing measures Jian Ding U. C. Berkeley James R. Lee University of Washington Yuval Peres Microsoft Research TexPoint.
Graph Theory Ch6 Planar Graphs. Basic Definitions  curve, polygon curve, drawing  crossing, planar, planar embedding, and plane graph  open set  region,
Graph Theory Chapter 6 Planar Graphs Ch. 6. Planar Graphs.
CS774. Markov Random Field : Theory and Application Lecture 08 Kyomin Jung KAIST Sep
Geometry of Domain Walls in disordered 2d systems C. Schwarz 1, A. Karrenbauer 2, G. Schehr 3, H. Rieger 1 1 Saarland University 2 Ecole Polytechnique.
Planar Graphs: Euler's Formula and Coloring Graphs & Algorithms Lecture 7 TexPoint fonts used in EMF. Read the TexPoint manual before you delete this box.:
A split&push approach to 3D orthogonal drawings giuseppe di battista univ. rome III maurizio patrignani univ. rome III francesco vargiu aipa.
Loop and cut set Analysis
Spectral graph theory Network & Matrix Computations CS NMC David F. Gleich.
Boundary Partitions in Trees and Dimers Richard W. Kenyon and David B. Wilson University of British ColumbiaMicrosoft Research (Connection probabilities.
Random and complex encounters: physics meets math
Theory of impedance networks: A new formulation F. Y. Wu FYW, J. Phys. A 37 (2004)
Discrete Optimization Lecture 4 – Part 1 M. Pawan Kumar Slides available online
Lines in the plane, slopes, and Euler’s formula by Tal Harel
General Methods of Network Analysis Node Analysis Mesh Analysis Loop Analysis Cutset Analysis State variable Analysis Non linear and time varying network.
Planar graphs with no 5- cycles, 6-cycles or intersecting triangles are 3-colorable Carl Yerger, Davidson College Clemson Mini-Conference 2012.
1 12/2/2015 MATH 224 – Discrete Mathematics Formally a graph is just a collection of unordered or ordered pairs, where for example, if {a,b} G if a, b.
Theory of electric networks: The two-point resistance and impedance F. Y. Wu Northeastern University Boston, Massachusetts USA.
1 Design of LDPC codes Codes from finite geometries Random codes: Determine the connections of the bipartite Tanner graph by using a (pseudo)random algorithm.
Percolation in self-similar networks PRL 106:048701, 2011
Seminar in SPB, April 4, 2011 Harmonic measure of critical curves and CFT Ilya A. Gruzberg University of Chicago with E. Bettelheim, I. Rushkin, and P.
Great Theoretical Ideas in Computer Science for Some.
Tilings, Geometric Representations, and Discrete Analytic Functions László Lovász Microsoft Research
Center for Graphics and Geometric Computing, Technion 1 Computational Geometry Chapter 9 Line Arrangements.
COMPSCI 102 Introduction to Discrete Mathematics.
Spanning Tree Definition:A tree T is a spanning tree of a graph G if T is a subgraph of G that contains all of the vertices of G. A graph may have more.
IPAM Workshop “Random Shapes, Representation Theory, and CFT”, March 26, 2007 Harmonic measure of critical curves and CFT Ilya A. Gruzberg University of.
Theory of Computational Complexity Probability and Computing Chapter Hikaru Inada Iwama and Ito lab M1.
Hyperfinite graphs and combinatorial optimization László Lovász
Algorithms and Networks
Discrete Mathematics Graph: Planar Graph Yuan Luo
Computational Geometry
Great Theoretical Ideas In Computer Science
The minimum cost flow problem
Applied Combinatorics, 4th Ed. Alan Tucker
Graph theory Definitions Trees, cycles, directed graphs.
Geometric Graphs and Quasi-Planar Graphs
Discrete Mathematics for Computer Science
Depth Estimation via Sampling
Department of Computer Science University of York
Chapter 10.7 Planar Graphs These class notes are based on material from our textbook, Discrete Mathematics and Its Applications, 7th ed., by Kenneth H.
Enumeration problems of networks
Systems of Linear Equations and Matrices
Properties and applications of spectra for networks
Chapter 10.7 Planar Graphs These class notes are based on material from our textbook, Discrete Mathematics and Its Applications, 8th ed., by Kenneth H.
Discrete Mathematics for Computer Science
Chapter 10.7 Planar Graphs These class notes are based on material from our textbook, Discrete Mathematics and Its Applications, 7th ed., by Kenneth H.
Presentation transcript:

Boundary Partitions in Trees and Dimers Richard W. Kenyon and David B. Wilson University of British Columbia Brown University Microsoft Research (Connection probabilities in multichordal SLE 2, SLE 4, and SLE 8 ) arXiv:math.PR/

Boundary connections (Razumov & Stroganov)

Exponents from networks (Duplantier & Saleur)

Arbitrary finite graph with two special nodes Kirchoff’s formula for resistance 3 spanning trees 5 2-tree forests with nodes 1 and 2 separated

Spanning tree Kirchoff matrix (negative Laplacian) Spanning forest rooted at {1,2,3} Matrix-tree theorem (Kirchoff)

Arbitrary finite graph with two special nodes (Kirchoff) 3 three

Arbitrary finite graph with four special nodes? All pairwise resistances are equal Need more than boundary measurements (pairwise resistances) Need information about internal structure of graph

Planar graph Special vertices called nodes on outer face Nodes numbered in counterclockwise order along outer face Circular planar graphs circular planar planar, not circular planar

Noncrossing (planar) partitions

Goal: compute the probability distribution of partition from random grove

Carroll-Speyer groves Carroll-Speyer ’04 Petersen-Speyer ’05

Multichordal SLE Percolation -- Cardy ’92 Smirnov ’01 Critical Ising – Arguin & Saint-Aubin ’02 Smirnov ’06 Bichordal SLE  – Bauer, Bernard, Kytölä ’05 Trichordal percolation, multichordal SLE  – Dubédat ’05 Covariant measure for parallel crossing – Kozdron & Lawler ’06 Crossing probabilities: Multichordal SLE 2, SLE 4, SLE 8, double-dimer paths – Kenyon & W ’06 SLE 4 characterization of discrete Guassian free field – Schramm & Sheffield ’06 SLE and ADE (from CFT) – Cardy ’06 Surprising connection between  =4 and  =8,2

Uniformly random grove

Peano curves surrounding trees

Multichordal loop-erased random walk

Double-dimer configuration

Noncrossing (planar) pairings

Double-dimer model in upper half plane with nodes at integers

Contours in discrete Gaussian free field (Schramm & Sheffield)

DGFF vs double-dimer model DGFF has SLE 4 contours (Schramm- Sheffield) Double-dimer believed to have SLE 4 contours, no proof Connection probabilities are the same in the scaling limit (Kenyon-W ’06)

Electric network (negative of) Dirichlet-to-Neumann matrix

Grove partition probabilities

Bilinear form on planar partitions / planar pairings

Meander MatrixGram Matrix of Temperley-Lieb Algebra Ko & Smolinsky determine when matrix is singular Di Francesco, Golinelli, Guitter diagonalize matrix

Bilinear form on planar partitions / planar pairings

These equivalences are enough to compute any column! (extra term in recent work by Caraciollo-Sokal-Sportiello on hyperforests)

Computing column  By induction find equivalent linear combination when item n deleted from . If {n} is a part of , use rule for adjoining new part. Otherwise, n is in same part as some other item j, use splitting rule. j n n Now induct on # parts that cross part containing j & n Use crossing rule with part closest to j

Grove partition probabilities

Dual electric network & dual partition Planar graph Dual graph Grove Dual grove

Curtis-Ingerman-Morrow formula Fomin gives another version of this formula, with combinatorial proof

Pfaffian formula

Double-dimer pairing probabilities

Planar partitions & planar pairings

Assume nodes alternate black/white

arXiv:math.PR/

Caroll-Speyer groves