Entanglement of embedded graphs. Toen Castle with Myf Evans, Vanessa Robins AND Stephen Hyde



Σχετικά έγγραφα
On a four-dimensional hyperbolic manifold with finite volume

Fractional Colorings and Zykov Products of graphs

ΚΥΠΡΙΑΚΗ ΕΤΑΙΡΕΙΑ ΠΛΗΡΟΦΟΡΙΚΗΣ CYPRUS COMPUTER SOCIETY ΠΑΓΚΥΠΡΙΟΣ ΜΑΘΗΤΙΚΟΣ ΔΙΑΓΩΝΙΣΜΟΣ ΠΛΗΡΟΦΟΡΙΚΗΣ 19/5/2007

2 Composition. Invertible Mappings

Example Sheet 3 Solutions

Every set of first-order formulas is equivalent to an independent set

The Simply Typed Lambda Calculus

Nowhere-zero flows Let be a digraph, Abelian group. A Γ-circulation in is a mapping : such that, where, and : tail in X, head in

4.6 Autoregressive Moving Average Model ARMA(1,1)

Reminders: linear functions

ΚΥΠΡΙΑΚΗ ΕΤΑΙΡΕΙΑ ΠΛΗΡΟΦΟΡΙΚΗΣ CYPRUS COMPUTER SOCIETY ΠΑΓΚΥΠΡΙΟΣ ΜΑΘΗΤΙΚΟΣ ΔΙΑΓΩΝΙΣΜΟΣ ΠΛΗΡΟΦΟΡΙΚΗΣ 6/5/2006

Ordinal Arithmetic: Addition, Multiplication, Exponentiation and Limit

Assalamu `alaikum wr. wb.

The ε-pseudospectrum of a Matrix

EE512: Error Control Coding

ANSWERSHEET (TOPIC = DIFFERENTIAL CALCULUS) COLLECTION #2. h 0 h h 0 h h 0 ( ) g k = g 0 + g 1 + g g 2009 =?

Démographie spatiale/spatial Demography

C.S. 430 Assignment 6, Sample Solutions

Section 8.3 Trigonometric Equations

derivation of the Laplacian from rectangular to spherical coordinates

Math 6 SL Probability Distributions Practice Test Mark Scheme

Phys460.nb Solution for the t-dependent Schrodinger s equation How did we find the solution? (not required)

Econ 2110: Fall 2008 Suggested Solutions to Problem Set 8 questions or comments to Dan Fetter 1

Capacitors - Capacitance, Charge and Potential Difference

A Hierarchy of Theta Bodies for Polynomial Systems

2. THEORY OF EQUATIONS. PREVIOUS EAMCET Bits.

Lecture 2: Dirac notation and a review of linear algebra Read Sakurai chapter 1, Baym chatper 3

Second Order Partial Differential Equations

Section 8.2 Graphs of Polar Equations

Solutions to the Schrodinger equation atomic orbitals. Ψ 1 s Ψ 2 s Ψ 2 px Ψ 2 py Ψ 2 pz

Congruence Classes of Invertible Matrices of Order 3 over F 2

Finite Field Problems: Solutions

Practice Exam 2. Conceptual Questions. 1. State a Basic identity and then verify it. (a) Identity: Solution: One identity is csc(θ) = 1

Approximation of distance between locations on earth given by latitude and longitude

The Probabilistic Method - Probabilistic Techniques. Lecture 7: The Janson Inequality

ST5224: Advanced Statistical Theory II

3.4 SUM AND DIFFERENCE FORMULAS. NOTE: cos(α+β) cos α + cos β cos(α-β) cos α -cos β

Σχέσεις, Ιδιότητες, Κλειστότητες

Potential Dividers. 46 minutes. 46 marks. Page 1 of 11

Homework 8 Model Solution Section

b. Use the parametrization from (a) to compute the area of S a as S a ds. Be sure to substitute for ds!

Statistical Inference I Locally most powerful tests

MINIMAL CLOSED SETS AND MAXIMAL CLOSED SETS

Calculating the propagation delay of coaxial cable

Inverse trigonometric functions & General Solution of Trigonometric Equations

TMA4115 Matematikk 3

[1] P Q. Fig. 3.1

Pg The perimeter is P = 3x The area of a triangle is. where b is the base, h is the height. In our case b = x, then the area is

Distances in Sierpiński Triangle Graphs

Matrices and Determinants

Some new generalized topologies via hereditary classes. Key Words:hereditary generalized topological space, A κ(h,µ)-sets, κµ -topology.

Local Approximation with Kernels

Code Breaker. TEACHER s NOTES

A Bonus-Malus System as a Markov Set-Chain. Małgorzata Niemiec Warsaw School of Economics Institute of Econometrics

Partial Differential Equations in Biology The boundary element method. March 26, 2013

Homework 3 Solutions

Abstract Storage Devices

6.1. Dirac Equation. Hamiltonian. Dirac Eq.

CRASH COURSE IN PRECALCULUS

ΠΑΝΕΠΙΣΤΗΜΙΟ ΠΕΙΡΑΙΑ ΤΜΗΜΑ ΝΑΥΤΙΛΙΑΚΩΝ ΣΠΟΥΔΩΝ ΠΡΟΓΡΑΜΜΑ ΜΕΤΑΠΤΥΧΙΑΚΩΝ ΣΠΟΥΔΩΝ ΣΤΗΝ ΝΑΥΤΙΛΙΑ

Main source: "Discrete-time systems and computer control" by Α. ΣΚΟΔΡΑΣ ΨΗΦΙΑΚΟΣ ΕΛΕΓΧΟΣ ΔΙΑΛΕΞΗ 4 ΔΙΑΦΑΝΕΙΑ 1

Parametrized Surfaces

HOMEWORK 4 = G. In order to plot the stress versus the stretch we define a normalized stretch:

the total number of electrons passing through the lamp.

The challenges of non-stable predicates

Εργαστήριο Ανάπτυξης Εφαρμογών Βάσεων Δεδομένων. Εξάμηνο 7 ο

Other Test Constructions: Likelihood Ratio & Bayes Tests

ΠΑΝΕΠΙΣΤΗΜΙΟ ΚΥΠΡΟΥ ΤΜΗΜΑ ΠΛΗΡΟΦΟΡΙΚΗΣ. ΕΠΛ342: Βάσεις Δεδομένων. Χειμερινό Εξάμηνο Φροντιστήριο 10 ΛΥΣΕΙΣ. Επερωτήσεις SQL

Right Rear Door. Let's now finish the door hinge saga with the right rear door

5.4 The Poisson Distribution.

EPL 603 TOPICS IN SOFTWARE ENGINEERING. Lab 5: Component Adaptation Environment (COPE)

Chapter 6: Systems of Linear Differential. be continuous functions on the interval

ΚΥΠΡΙΑΚΗ ΕΤΑΙΡΕΙΑ ΠΛΗΡΟΦΟΡΙΚΗΣ CYPRUS COMPUTER SOCIETY ΠΑΓΚΥΠΡΙΟΣ ΜΑΘΗΤΙΚΟΣ ΔΙΑΓΩΝΙΣΜΟΣ ΠΛΗΡΟΦΟΡΙΚΗΣ 24/3/2007

Lecture 2. Soundness and completeness of propositional logic

Στο εστιατόριο «ToDokimasesPrinToBgaleisStonKosmo?» έξω από τους δακτυλίους του Κρόνου, οι παραγγελίες γίνονται ηλεκτρονικά.

CHAPTER 25 SOLVING EQUATIONS BY ITERATIVE METHODS

ΚΥΠΡΙΑΚΟΣ ΣΥΝΔΕΣΜΟΣ ΠΛΗΡΟΦΟΡΙΚΗΣ CYPRUS COMPUTER SOCIETY 21 ος ΠΑΓΚΥΠΡΙΟΣ ΜΑΘΗΤΙΚΟΣ ΔΙΑΓΩΝΙΣΜΟΣ ΠΛΗΡΟΦΟΡΙΚΗΣ Δεύτερος Γύρος - 30 Μαρτίου 2011

2nd Training Workshop of scientists- practitioners in the juvenile judicial system Volos, EVALUATION REPORT

Bounding Nonsplitting Enumeration Degrees

ω ω ω ω ω ω+2 ω ω+2 + ω ω ω ω+2 + ω ω+1 ω ω+2 2 ω ω ω ω ω ω ω ω+1 ω ω2 ω ω2 + ω ω ω2 + ω ω ω ω2 + ω ω+1 ω ω2 + ω ω+1 + ω ω ω ω2 + ω

Min-max Theory, Willmore conjecture, and Energy of links

ΕΙΣΑΓΩΓΗ ΣΤΗ ΣΤΑΤΙΣΤΙΚΗ ΑΝΑΛΥΣΗ

Section 9.2 Polar Equations and Graphs

About these lecture notes. Simply Typed λ-calculus. Types

Instruction Execution Times

9.09. # 1. Area inside the oval limaçon r = cos θ. To graph, start with θ = 0 so r = 6. Compute dr

ΕΛΛΗΝΙΚΗ ΔΗΜΟΚΡΑΤΙΑ ΠΑΝΕΠΙΣΤΗΜΙΟ ΚΡΗΤΗΣ. Ψηφιακή Οικονομία. Διάλεξη 7η: Consumer Behavior Mαρίνα Μπιτσάκη Τμήμα Επιστήμης Υπολογιστών

Αλγόριθμοι και πολυπλοκότητα Depth-First Search

k A = [k, k]( )[a 1, a 2 ] = [ka 1,ka 2 ] 4For the division of two intervals of confidence in R +

Advanced Subsidiary Unit 1: Understanding and Written Response

ΤΜΗΜΑ ΗΛΕΚΤΡΟΛΟΓΩΝ ΜΗΧΑΝΙΚΩΝ ΚΑΙ ΜΗΧΑΝΙΚΩΝ ΥΠΟΛΟΓΙΣΤΩΝ

Δθαξκνζκέλα καζεκαηηθά δίθηπα: ε πεξίπησζε ηνπ ζπζηεκηθνύ θηλδύλνπ ζε κηθξνεπίπεδν.

Πανεπιστήμιο Δυτικής Μακεδονίας. Τμήμα Μηχανικών Πληροφορικής & Τηλεπικοινωνιών. Ηλεκτρονική Υγεία

Second Order RLC Filters

department listing department name αχχουντσ ϕανε βαλικτ δδσϕηασδδη σδηφγ ασκϕηλκ τεχηνιχαλ αλαν ϕουν διξ τεχηνιχαλ ϕοην µαριανι

Mean bond enthalpy Standard enthalpy of formation Bond N H N N N N H O O O

Cyclic or elementary abelian Covers of K 4

Numerical Analysis FMN011

ΑΝΩΤΑΤΗ ΣΧΟΛΗ ΠΑΙ ΑΓΩΓΙΚΗΣ ΚΑΙ ΤΕΧΝΟΛΟΓΙΚΗΣ ΕΚΠΑΙ ΕΥΣΗΣ ΠΑΡΑΔΟΤΕΟ ΕΠΙΣΤΗΜΟΝΙΚΗ ΕΡΓΑΣΙΑ ΣΕ ΔΙΕΘΝΕΣ ΕΠΙΣΤΗΜΟΝΙΚΟ ΠΕΡΙΟΔΙΚΟ

PARTIAL NOTES for 6.1 Trigonometric Identities

Transcript:

Entanglement of embedded graphs Toen Castle with Myf Evans, Vanessa Robins AND Stephen Hyde Workshop on Topology: Identifying Order in Complex Systems Saturday, 18 April 2015 The Institute for Advanced Study

Ταλκ στρυχτυρε 1. Εµβεδδεδ γραπησ ανδ µεασυρεσ οφ τηειρ εντανγλεµεντ. 2. Εξιστενχε οφ νον-κνοτ ανδ νον-λινκ εντανγλεµεντ (ραϖελσ). 3. Χοµπλεξ ραϖελσ ανδ τηειρ προπερτιεσ. 4. Ρελατινγ εντανγλεµεντ ανδ πλαναριτψ, τηεν χλασσιφψινγ εντανγλεµεντ τψπεσ.

1. Σταρτινγ τηε στορψ - µακινγ εµβεδδεδ γραπησ φροµ συρφαχε τιλινγσ επινετ Ευχλιδεαν Παττερνσ Ιν Νον Ευχλιδεαν Τιλινγσ επινετ.ανυ.εδυ.αυ Τριπλψ Περιοδιχ Μινιµαλ Συρφαχε Στεπηεν Ηψδε, Στυαρτ Ραµσδεν, ςανεσσα Ροβινσ, Ολαφ Δελγαδο Φρειδριχησ

Π Γ ΥΘΧ11 Δ επινετ.ανυ.εδυ.αυ Στεπηεν Ηψδε, ςανεσσα Ροβινσ, Ολαφ Δελγαδο Φρειδριχησ, Στυαρτ Ραµσδεν

? Στανδαρδ µαπ φροµ Η 2 το ΤΠΜΣ Μαππινγ Η 2 το ΤΠΜΣ ωιτη α σηεαρεδ υνιτ χελλ A note on the two symmetry-preserving covering maps of the gyroid minimal surface V. Robins 1,a, S.J. Ramsden 1, and S.T. Hyde 1

Τηε µαπ βετωεεν τηε τορυσ ανδ ιτσ υνιϖερσαλ χοϖερ, τηε Ευχλιδεαν πλανε.

Remove the torus and you ve got a graph embedding in space.

K4, the tetrahedral graph, embeds on the sphere in the standard tetrahedral way (without entanglements). On the torus, this graph can be more topologically interesting.

Two embeddings of K4 on the torus, with one and two (respectively) trefoils.

Cube examples Torus examples with slightly stretched unit cells.

Tabulating entanglement via constituent (torus) knots and (torus) links.

Φινισηινγ τηε στορψ - σηεαρινγ τηε υνιτ χελλσ ιν Η 3 ανδ ον ΤΠΜΣ σ Periodic entanglement I: networks from hyperbolic reticulations Myfanwy E. Evans, Vanessa Robins and Stephen T. Hyde Acta Cryst. (2013). A69, 241 261

Periodic entanglement I: networks from hyperbolic reticulations Myfanwy E. Evans, Vanessa Robins and Stephen T. Hyde Acta Cryst. (2013). A69, 241 261

Analysis of entanglement So far: looking for knots and links in cycles There are other measures too, inspired by knot theory. Some are topological or have topological flavours: - Minimum crossing number of a planar embedding - Graph embedding polynomials Others are geometric: - Line fattening á la Jon Simon s ideal knots (Myf s SONO algorithm), - KnotPlot-style energy minimisations, - Self-illumination measures, - Average crossing number when viewed from different angles, etc. I care about topology.

But what about these guys? Kinsohita,1972 Splicing a rope (The Ashley Book of Knots)

2. Εξιστενχε οφ νον-κνοτ ανδ νον-λινκ εντανγλεµεντ (ραϖελσ).

Vertex ravels are examples of entanglements that contain neither knots nor links. They are entanglements in the edges centred around a vertex. Any number of edges can be involved. Ravels: Knot free but not free, Toen Castle, Myfanwy E. Evans, and S. T. Hyde. New Journal Of Chemistry, 2008

Σοµεονε ελσε σ δεφινιτιον UNRAVELLING TANGLED GRAPHS 2012 CATHERINE FARKAS, ERICA FLAPAN and WYNN SULLIVAN Προβλεµ (σελεχτιϖε ραϖελ): Χονσιδερ α χυτ ποιντ ορ βριδγε-ϖερτεξ

UNRAVELLING TANGLED GRAPHS 2012 CATHERINE FARKAS, ERICA FLAPAN and WYNN SULLIVAN Definition 1.2: Let B be a ball containing a graph G consisting of an n-valent vertex v connected by straight edges to vertices lying in B. Let Γ denote the graph obtained by bringing together the pathwise connected vertices of G-v in B. If Γ is non-planar but contains no knots then the pair (B,G) is said to be a vertex n-ravel and the embedded graph Γ is said to be ravelled.

Ugly definition from my thesis Definition 1.2: Consider a graph G with embedding E(G) in S3. Let there be a simply connected domain D containing an n-valent vertex v of G such that E(G) and δd intersect at only n points, one for each connected edge of v. A new graph Gʹ and graph embedding R(Gʹ ) can be created if there exists more than one closure points that can be added to δd (the boundary of D), and the edges of E(G) can be brought together without crossing within δd to connect to these closure points such that at least two edges terminate at each closure point. If R(Gʹ ) is non-planar while containing no knots, then such a graph embedding is an example of a selective vertex n-ravel around vertex v. If there is only one required closure point, then the vertex ravel satisfies the more stringent requirements of a universal n-ravel.

Features of vertex ravels A shelled vertex ravel.

Vertex ravels are similar to the Borromean rings : if any component is removed, the entanglement falls apart. Vertex ravel Borromean rings

Vertex ravels in small graphs

3. Χοµπλεξ ραϖελσ ανδ τηειρ προπερτιεσ.

Introduction to wandering ravels (a) A ravelled vertex (b) An unravelled vertex vertex ravels

Wandering ravels are extensions of vertex ravels which can travel through the graph embedding

A more complex ravel, not restricted to the neighbourhood of a single vertex The ravelled graph embedding The ravelled embedding re-drawn The tetrahedral graph The constituent cycles

The importance of anchors

More anchors Ravel Not a ravel

Wandering ravels have a (knot free and link free) chain of entanglement travelling through the network.

Polytropic ravels are more complex. They are conceptually based on the set of links: A polytropic ravel can contain branches, and so allows branching chains of entangled edges to travel through the network.

Polytropic ravels have a graph structure. They contain analogues of edges and vertices, embedded in space. So they are a kind of meta-graph embedding, living within the entanglement in a graph embedding. A vertex ravel tied in the meta structure of a polytropic ravel.

Ρελατινγ εντανγλεµεντ ανδ πλαναριτψ, τηεν χλασσιφψινγ εντανγλεµεντ τψπεσ (ϖερψ µυχη ωορκ ιν προγρεσσ). Ρεχαλλ: Definition 1.2: Let B be a ball containing a graph G consisting of an n-valent vertex v connected by straight edges to vertices lying in B. Let Γ denote the graph obtained by bringing together the pathwise connected vertices of G-v in B. If Γ is non-planar but contains no knots then the pair (B,G) is said to be a vertex n-ravel and the embedded graph Γ is said to be ravelled.

Entanglement is quite a fraught concept, especially as it relates to graphs with no untangled embedding. Periodicity adds a further issues. Selective ravels i.e. Ladder graph

My hypothesised taxonomy of entanglement Knots Links Ravels The planet of a lazy man.

Thanks to Stephen Hyde, Vanessa Robins and Myf Evans for their earlier work with me, and the Australian taxpayer for allowing long, free, government funded PhDs without any duties. Honourable mention: THERE EXIST NO MINIMALLY KNOTTED PLANAR SPATIAL GRAPHS ON THE TORUS SENJA BARTHEL arxiv