Slide 1 Branched Polymers joint work with Rick Kenyon, Brown Peter Winkler, Dartmouth.

Slides:



Advertisements
Similar presentations
B ETTI NUMBERS OF RANDOM SIMPLICIAL COMPLEXES MATTHEW KAHLE & ELIZABETH MECKE Presented by Ariel Szapiro.
Advertisements

Great Theoretical Ideas in Computer Science for Some.
2/14/13CMPS 3120 Computational Geometry1 CMPS 3120: Computational Geometry Spring 2013 Planar Subdivisions and Point Location Carola Wenk Based on: Computational.
Optimization in mean field random models Johan Wästlund Linköping University Sweden.
A survey of some results on the Firefighter Problem Kah Loon Ng DIMACS Wow! I need reinforcements!
CompSci 102 Discrete Math for Computer Science April 19, 2012 Prof. Rodger Lecture adapted from Bruce Maggs/Lecture developed at Carnegie Mellon, primarily.
Approximation Algorithms for Unique Games Luca Trevisan Slides by Avi Eyal.
Xianfeng Gu, Yaling Wang, Tony Chan, Paul Thompson, Shing-Tung Yau
Fast FAST By Noga Alon, Daniel Lokshtanov And Saket Saurabh Presentation by Gil Einziger.
Great Theoretical Ideas in Computer Science.
Combinatorial optimization and the mean field model Johan Wästlund Chalmers University of Technology Sweden.
Approximation Algorithms
Graph. Undirected Graph Directed Graph Simple Graph.
Slide 1 DIMACS 20 th Birthday Celebration, 20 November 2009 The Combinatorial Side of Statistical Physics Peter Winkler, Dartmouth.
CPSC 689: Discrete Algorithms for Mobile and Wireless Systems Spring 2009 Prof. Jennifer Welch.
1 Optimization problems such as MAXSAT, MIN NODE COVER, MAX INDEPENDENT SET, MAX CLIQUE, MIN SET COVER, TSP, KNAPSACK, BINPACKING do not have a polynomial.
Dimensionality Reduction
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.
1 Analyzing Kleinberg’s (and other) Small-world Models Chip Martel and Van Nguyen Computer Science Department; University of California at Davis.
Computational Geometry Seminar Lecture 1
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.
Definition Dual Graph G* of a Plane Graph:
Chapter 4: Straight Line Drawing Ronald Kieft. Contents Introduction Algorithm 1: Shift Method Algorithm 2: Realizer Method Other parts of chapter 4 Questions?
1 Separator Theorems for Planar Graphs Presented by Shira Zucker.
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.
6 6.3 © 2012 Pearson Education, Inc. Orthogonality and Least Squares ORTHOGONAL PROJECTIONS.
K-Coloring k-coloring: A k-coloring of a graph G is a labeling f: V(G)  S, where |S|=k. The labels are colors; the vertices of one color form a color.
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.
K-Coloring k-coloring: A k-coloring of a graph G is a labeling f: V(G)  S, where |S|=k. The labels are colors; the vertices of one color form a color.
Problem: Induced Planar Graphs Tim Hayes Mentor: Dr. Fiorini.
Separate multivariate observations
Introduction to Graph Theory
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.
Subdivision of Edge In a graph G, subdivision of an edge uv is the operation of replacing uv with a path u,w,v through a new vertex w.
CS774. Markov Random Field : Theory and Application Lecture 08 Kyomin Jung KAIST Sep
Percolation in self-similar networks Dmitri Krioukov CAIDA/UCSD M. Á. Serrano, M. Boguñá UNT, March 2011.
Lecture 22 More NPC problems
Approximating the Minimum Degree Spanning Tree to within One from the Optimal Degree R 陳建霖 R 宋彥朋 B 楊鈞羽 R 郭慶徵 R
Trees and Distance. 2.1 Basic properties Acyclic : a graph with no cycle Forest : acyclic graph Tree : connected acyclic graph Leaf : a vertex of degree.
Edge-disjoint induced subgraphs with given minimum degree Raphael Yuster 2012.
Random-Graph Theory The Erdos-Renyi model. G={P,E}, PNP 1,P 2,...,P N E In mathematical terms a network is represented by a graph. A graph is a pair of.
The Tutte Polynomial Graph Polynomials winter 05/06.
Petrie maps and Petrie configurations Jurij Kovič, University of Primorska, Slovenia EuroGIGA Final Conference Berlin, February 20, 2014.
5.5.2 M inimum spanning trees  Definition 24: A minimum spanning tree in a connected weighted graph is a spanning tree that has the smallest possible.
V Spanning Trees Spanning Trees v Minimum Spanning Trees Minimum Spanning Trees v Kruskal’s Algorithm v Example Example v Planar Graphs Planar Graphs v.
Lines in the plane, slopes, and Euler’s formula by Tal Harel
Introduction to Graph Theory
Seminar on random walks on graphs Lecture No. 2 Mille Gandelsman,
Trees Thm 2.1. (Cayley 1889) There are nn-2 different labeled trees
Great Theoretical Ideas in Computer Science for Some.
Indian Institute of Technology Kharagpur PALLAB DASGUPTA Graph Theory: Trees Pallab Dasgupta, Professor, Dept. of Computer Sc. and Engineering, IIT
COMPSCI 102 Introduction to Discrete Mathematics.
Indian Institute of Technology Kharagpur PALLAB DASGUPTA Graph Theory: Planarity Pallab Dasgupta, Professor, Dept. of Computer Sc. and Engineering, IIT.
5 Lecture in math Predicates Induction Combinatorics.
Introduction Wireless Ad-Hoc Network  Set of transceivers communicating by radio.
1 Schnyder’s Method. 2 Motivation Given a planar graph, we want to embed it in a grid We want the grid to be relatively small And we want an efficient.
MCA 520: Graph Theory Instructor Neelima Gupta
Theory of Computational Complexity Probability and Computing Chapter Hikaru Inada Iwama and Ito lab M1.
Great Theoretical Ideas In Computer Science
Graph theory Definitions Trees, cycles, directed graphs.
Enumerating Distances Using Spanners of Bounded Degree
Trees.
Introduction Wireless Ad-Hoc Network
Enumeration problems of networks
Great Theoretical Ideas In Computer Science
Discrete Mathematics for Computer Science
Locality In Distributed Graph Algorithms
Presentation transcript:

Slide 1 Branched Polymers joint work with Rick Kenyon, Brown Peter Winkler, Dartmouth

Slide 2 Statistical physics  Combinatorics hard-core model random independent sets monomer-dimer random matchingsbranched polymers random lattice trees Potts model random colorings linear polymers self-avoiding random walks percolation random subgraphs

Slide 3 Grid versus Space Some of these models were originally intended for Euclidean space, but were moved to the grid to: permit simulation; prove theorems; entice combinatorialists!? But: combinatorics can help even in space! E.g. Bollobas-Riordan, Randall-W., Bowen-Lyons-Radin-W.…

Slide 4 Definition A branched polymer is a connected set of labeled, non-overlapping unit balls in space. This one is order 11, dimension 2.

Slide 5 Branched polymers in modern science artificial bloodcatalyst recovery artificial photosynthesis Q: what do random branched polymers look like?

Slide 6 Fortunately, there is a natural way to do this: anchor ball #1 at the origin, and consider the (spherical) angle made by each ball with the ball it touches on the way to ball #1. Parametrization To understand what a random (branched) polymer is, we must parametrize the configuration space (separately, for each combinatorial tree.)

Slide 7 Volume of configuration space, n=3,4 40  3 88 3 For order 3 in the plane: 3(2  )(4  /3) = 8  2

Slide 8 Volume of configuration space, n=  /  /  /27 4

Slide 9 Results of Brydges and Imbrie Using methods such as localization and equivariant cohomology, Brydges and Imbrie [’03] proved a deep connection between branched polymers in dimension D+2 and the hard-core model in dimension D. They get exact formulas for the volume of the space of branched polymers in dimensions 2 and 3. In 3-space: vol. of order-n polymers = n (2  ). n-1 On the plane: vol. of order-n polymers = (n-1)!(2  ). n-1 Our objectives: find elementary proof; generalize; try to construct and understand random polymers.

Slide 10 Invariance principle Theorem: The volume of the space of n-polymers in the plane is independent of their radii ! Proof: Calculus. The boundaries between tree- polymers are polymers with cycles; as radii change, volume moves across these cycles and is preserved.

Slide 11 Invariance principle, quantitatively In fact: The local volume change in the ith tree due to increasing the radius of ball j is proportional to the projection of the ith edge onto a line whose angle is the mean of the two angles at ball j.    j i

Slide 12 Calculating the volume using invariance Let the radius of the ith ball be , for  small. i

Slide 13 Calculating the volume by taking a limit Thus, as  -> 0, the “inductive trees” (in which balls 2, 3 etc. are added one by one) score full volume (2  ) while the rest of the trees lose a dimension and disappear. n-1 Consequently, the total vol. of order-n polymers, regardless of radii, is (n-1)!(2  ) as claimed. n-1 We are also now in a position to “grow” uniformly random plane polymers one disk at a time, by adding a tiny new disk and growing it, breaking cycles according to the volume formula.

Slide 14 Growing a random 5-polymer from a random 4 When a cycle forms, a volume-gaining tree is selected proportionately and the corresponding edge deleted; the disk continues to grow.

Slide 15 This random polymer was grown in accordance with the stated scheme. Generating random polymers

Slide 16 Generalization to graphs Definition: Let G be a graph with edge-lengths e. A G-polymer is an embedding of V(G) in the plane such that for every edge u,v, d(u,v) is at least e(u,v), with equality over some spanning subgraph Theorem: The volume of the space of G-polymers is |T(1,0)|(2  ), where T is the Tutte polynomial of G, and does not depend on the edge-lengths. n-1

Slide 17 xxxx Polymers in dimension 3 Volume invariance does not hold, but Archimedes’ principle allows reparametrizing by projections onto x-axis and yz-plane. 321 x 54

Slide 18 Distribution of projections on x-axis Probability proportional to  (i) where  (i) is the number of points to the left of x within distance 1 i “unit-interval” graph xxxx 321 x 54

Slide 19 A construction with the same distribution uniformly random rooted, labeled tree This tree is “imaginary”---not the polymer tree! edge-lengths chosen uniformly from [0,1] xxxx 321 x 54 tree laid out sideways and projected to x-axis

Slide 20 Conclusions from the random tree construction number of rooted, labeled trees is n (Cayley’s Theorem) n-1 thus total volume of n-polymers in 3-space is n (2  ) n-1 depth of uniformly random labeled tree is order n (Szekeres’ Theorem) 1/2 thus diameter of uniformly random n-polymer in 3-space is order n as well. 1/2

Slide 21 Spitzer’s “random flight” problem Theorem: Suppose you take a unit-step random walk in the plane (n steps, each a uniformly random unit vector. Then the probability that you end within distance 1 of your starting point is exactly 1/(n+1). Problem: Proving this is a notoriously difficult; Spitzer suggests developing a theory of Fourier transforms of spherically symmetric functions. Is there a combinatorial proof?

Slide 22 Spitzer’s Problem: solution. Of these, 1 out of n+1 will break between vertex 1 and vertex n+1; these represent the walks that end at distance at least 1 from the start point. It follows that the probability that an n-step walk does end within distance 1 of the start point is ((2  ) – n(2  ) /(n+1))/(2  ) = 1/(n+1). Done! n n n Let G be an n+1-cycle; then T(1,0) = -1+(n+1) and thus the volume of G-polymers is n(2  ). n

Slide 23 Conclusions & open questions Combinatorics can play a useful role in statistical physics, even when model is not moved to a grid. Thank you for your attention! What about other features, such as number of leaves, or scaling limit of polymer shape? What is diameter of random n-polymer in the plane? In dimensions 4 and higher?