Knots, Coloring and Applications

Similar documents
Quiz 07a. Integers Modulo 12

DIFFERENTIAL EQUATIONS

Section 20: Arrow Diagrams on the Integers

Please bring the task to your first physics lesson and hand it to the teacher.

Solving with Absolute Value

Categorifying quantum knot invariants

Calculus II. Calculus II tends to be a very difficult course for many students. There are many reasons for this.

Chapter 1 Review of Equations and Inequalities

MITOCW ocw-18_02-f07-lec02_220k

Superposition - World of Color and Hardness

CS 124 Math Review Section January 29, 2018

MITOCW ocw-18_02-f07-lec17_220k

Quadratic Equations Part I

INTRODUCTION TO SIGMA NOTATION

One-to-one functions and onto functions

Math 300: Final Exam Practice Solutions

Properties of Arithmetic

Algebra. Here are a couple of warnings to my students who may be here to get a copy of what happened on a day that you missed.

Lecture 4: Constructing the Integers, Rationals and Reals

INTERSECTION THEORY CLASS 1

Math101, Sections 2 and 3, Spring 2008 Review Sheet for Exam #2:

6.080 / Great Ideas in Theoretical Computer Science Spring 2008

Lesson 6-1: Relations and Functions

Lecture 11: Extrema. Nathan Pflueger. 2 October 2013

AN ALGEBRA PRIMER WITH A VIEW TOWARD CURVES OVER FINITE FIELDS

Math 3361-Modern Algebra Lecture 08 9/26/ Cardinality

Logarithms and Exponentials

Knot Just Another Math Article

MA 1125 Lecture 15 - The Standard Normal Distribution. Friday, October 6, Objectives: Introduce the standard normal distribution and table.

MITOCW MIT8_01F16_w02s05v06_360p

Solving a Series. Carmen Bruni

MITOCW ocw nov2005-pt1-220k_512kb.mp4

Analog Computing: a different way to think about building a (quantum) computer

MIT BLOSSOMS INITIATIVE

MI 4 Mathematical Induction Name. Mathematical Induction

Introductory Quantum Chemistry Prof. K. L. Sebastian Department of Inorganic and Physical Chemistry Indian Institute of Science, Bangalore

Ordinary Differential Equations Prof. A. K. Nandakumaran Department of Mathematics Indian Institute of Science Bangalore

Week 2: Defining Computation

Final Review Sheet. B = (1, 1 + 3x, 1 + x 2 ) then 2 + 3x + 6x 2

Chapter 2. Mathematical Reasoning. 2.1 Mathematical Models

( )( b + c) = ab + ac, but it can also be ( )( a) = ba + ca. Let s use the distributive property on a couple of

Math 31 Lesson Plan. Day 2: Sets; Binary Operations. Elizabeth Gillaspy. September 23, 2011

The Gram-Schmidt Process

Quantum Mechanics- I Prof. Dr. S. Lakshmi Bala Department of Physics Indian Institute of Technology, Madras

MITOCW ocw f99-lec30_300k

The Physics of Boomerangs By Darren Tan

Continuity and One-Sided Limits

PEANO AXIOMS FOR THE NATURAL NUMBERS AND PROOFS BY INDUCTION. The Peano axioms

MITOCW watch?v=hdyabia-dny

5.4 Continuity: Preliminary Notions

The Intersection of Chemistry and Biology: An Interview with Professor W. E. Moerner

Hypothesis testing I. - In particular, we are talking about statistical hypotheses. [get everyone s finger length!] n =

Lecture 5. 1 Review (Pairwise Independence and Derandomization)

Guide to Proofs on Sets

NP-Completeness I. Lecture Overview Introduction: Reduction and Expressiveness

Linear Independence Reading: Lay 1.7

CH 66 COMPLETE FACTORING

Figure 1: Doing work on a block by pushing it across the floor.

PHYSICS 653 HOMEWORK 1 P.1. Problems 1: Random walks (additional problems)

Introduction: Pythagorean Triplets

Descriptive Statistics (And a little bit on rounding and significant digits)

Complex Numbers. Rich Schwartz. September 25, 2014

CSE 241 Class 1. Jeremy Buhler. August 24,

Quantum Mechanics-I Prof. Dr. S. Lakshmi Bala Department of Physics Indian Institute of Technology, Madras. Lecture - 21 Square-Integrable Functions

TheFourierTransformAndItsApplications-Lecture28

6.080/6.089 GITCS May 6-8, Lecture 22/23. α 0 + β 1. α 2 + β 2 = 1

Getting Started with Communications Engineering

Excerpt of Transcribed and Coded Content Data from Study 2 (Dialogue Study)

Instructor (Brad Osgood)

The SI unit for Energy is the joule, usually abbreviated J. One joule is equal to one kilogram meter squared per second squared:

MITOCW MIT8_01F16_w02s07v03_1_360p

CS1800: Sequences & Sums. Professor Kevin Gold

Table of Contents. 2013, Pearson Education, Inc.

Countability. 1 Motivation. 2 Counting

A Level Mathematics and Further Mathematics Essential Bridging Work

(Refer Slide Time: 00:10)

MA103 STATEMENTS, PROOF, LOGIC

The Basics COPYRIGHTED MATERIAL. chapter. Algebra is a very logical way to solve

MITOCW MIT8_01F16_L12v01_360p

How to write maths (well)

Lecture 6 Force and Motion. Identifying Forces Free-body Diagram Newton s Second Law

MATH 521, WEEK 2: Rational and Real Numbers, Ordered Sets, Countable Sets

Slope Fields: Graphing Solutions Without the Solutions

Nondeterministic finite automata

What is proof? Lesson 1

ASTRO 114 Lecture Okay. We re now gonna continue discussing and conclude discussing the entire

Let us have your attention please. This is a call for all children with hidden magical powers

Real Analysis Prof. S.H. Kulkarni Department of Mathematics Indian Institute of Technology, Madras. Lecture - 13 Conditional Convergence

Lesson 39. The Vine and the Branches. John 15:1-8

An Intuitive Introduction to Motivic Homotopy Theory Vladimir Voevodsky

Part I Electrostatics. 1: Charge and Coulomb s Law July 6, 2008

Note: Please use the actual date you accessed this material in your citation.

Direct Proofs. the product of two consecutive integers plus the larger of the two integers

Partial Fractions. June 27, In this section, we will learn to integrate another class of functions: the rational functions.

Physics E-1ax, Fall 2014 Experiment 3. Experiment 3: Force. 2. Find your center of mass by balancing yourself on two force plates.

Instructor (Brad Osgood)

6 Cosets & Factor Groups

1 General Tips and Guidelines for Proofs

Generalized Knot Polynomials and An Application

Section 1.x: The Variety of Asymptotic Experiences

Transcription:

Knots, Coloring and Applications Ben Webster University of Virginia March 10, 2015 Ben Webster (UVA) Knots, Coloring and Applications March 10, 2015 1 / 14

This talk is online at http://people.virginia.edu/~btw4e/knots.pdf Ben Webster (UVA) Knots, Coloring and Applications March 10, 2015 2 / 14

What s a knot? What I want to tell you about is the mathematical theory of knots. Knots are just tangles of string; I ll always want them to be closed, like I ve taken a rope and burned the ends together. The secret of mathematics is forgetting things; that may sound a little strange, but point is to throw out a lot of details and see what you can conclude from the few things you still remember. Thus I m not going to worry about: the material that the knot is made out of, how thick it is, how long the knot is. I ll imagine that the knot is made out of infinitely thin and infinitely strong material. In particular, I m not allowed to cut the material. how the knot is positioned in space. I ll draw knots flat on the page (what s called a projection) but exactly how it s arranged is not what I m worried about. Ben Webster (UVA) Knots, Coloring and Applications March 10, 2015 3 / 14

Examples of knots Ben Webster (UVA) Knots, Coloring and Applications March 10, 2015 4 / 14

Why should we care? I think there s something to be said for studying these things for their own sake, but let me try to make some arguments for the usefulness of this approach. The original motivation for studying knots was the (ultimately very wrong) theorem that atoms where vortices in the aether like little knotted strings, and the shape of the knot determined the chemical propeties. More recently, people have applied knot theory to quantum computing. Very loosely, you can do computations by setting up the answer to be the probability that particles in a certain system will trace out a particular knot and observe this probability directly. Ben Webster (UVA) Knots, Coloring and Applications March 10, 2015 5 / 14

Quantum computing These applications are based on the theory of anyons. These are physical states that behave like they are trapped in a 2-dimensional medium. In a 2-dimensional medium, when you look at, say, the probability that two particles will switch places, there are two different ways that they might have switched. These sorts of physical systems can be realized by taking two crystals with slightly different compositions, and applying a magnetic field to excite things. Ben Webster (UVA) Knots, Coloring and Applications March 10, 2015 6 / 14

Quantum computing So now our program consists of a link, and running the program involves cooking up one of these systems physically and observing the probability that the particles trace out our chosen link. This approach allows us to do any computation we can do with a usual computer, and lots of hard programs (prime factorization, discrete logs, etc.) can be done in polynomial time. At the moment, it s difficult and expensive to get the physical system going and do the observations, but progress is being made. I ve heard this described as the second least insane approach to quantum computing. Ben Webster (UVA) Knots, Coloring and Applications March 10, 2015 7 / 14

DNA Maybe the most exciting application to appear in recent years is to biology in the structure of DNA and proteins. It might not seem immediately to matter too much exactly how DNA is tangled up (which it inevitably becomes). But remember how bacteria reproduce: they take their genome, split it through the middle of helix, and turn each half into a new copy of the genome. That is not going to work very well if the genome is tied up into a complicated knot. Enzymes can fix this, but how long it takes is important. Ben Webster (UVA) Knots, Coloring and Applications March 10, 2015 8 / 14

Telling knots apart Let s step back into the abstract. I showed you a slide with all the different knots which can be draw with 7 or more crossings. But how do I know that they are really different? If I hand you two knots, and you think they are the same, you can just check it. If you think they are different, how do you check that? If I hand you a rubber band, how can you be sure that someone must have slit it open and messed with it? You would need to try infinitely many different ways of rearrange things. Who has the time for that? The knots below are called the unknot and the trefoil. I hope you believe they are different. But how can you be sure? Ben Webster (UVA) Knots, Coloring and Applications March 10, 2015 9 / 14

Colorings Instead, you have to extract some piece of information that s easier to compare, like a number. Let me tell you my favorite way of getting such a number. Definition A coloring of a knot diagram is a coloring of each arc of the picture red, blue or green such that at any crossing (where three arcs meet) there are either a single color or all three different colors. OK bad OK So, the thing I want to consider is the number of colorings of a knot. Ben Webster (UVA) Knots, Coloring and Applications March 10, 2015 10 / 14

Colorings You ll note: I pulled a bait and switch there. I defined a coloring of a knot diagram, and hopefully you believe I can count those. But what I want is to tell knots apart, so if this number might change when I lay the knot down on the page differently, it s not going to be helpful. Luckily, this is not actually a problem. The number of colorings is the same for any diagram of a given knot. The unknot has 3 colorings, where the trefoil has 9, so they are definitely not the same knot. Ben Webster (UVA) Knots, Coloring and Applications March 10, 2015 11 / 14

Colorings You ll note: I pulled a bait and switch there. I defined a coloring of a knot diagram, and hopefully you believe I can count those. But what I want is to tell knots apart, so if this number might change when I lay the knot down on the page differently, it s not going to be helpful. Luckily, this is not actually a problem. The number of colorings is the same for any diagram of a given knot. The unknot has 3 colorings, where the trefoil has 9, so they are definitely not the same knot. Ben Webster (UVA) Knots, Coloring and Applications March 10, 2015 11 / 14

Coloring is the n = 3 case. A coloring with n = 5 shows that the figure eight is non-trivial. Ben Webster (UVA) Knots, Coloring and Applications March 10, 2015 12 / 14 Invariants But it s not time to declare victory yet. The next most complicated knot is the figure eight, and like the unknot, it only has three colorings. Thus, this particular invariant doesn t show that the figure eight is non-trivial. Luckily, there is a much more general notion of coloring. For example, you can color a knot with the integers modulo n with the rule that you must have: 2a b a b

Invariants Luckily, there are a lot more invariants than that. You can use a lot more techniques and different areas of mathematics. Knot theorist isn t even the hat I wear most of the time; most I work with other tools that you can then bring to bear on questions about knots. That s part of what s great about mathematics and science more generally: you never know when a tool or approach that started one place can do something remarkable in another. Ben Webster (UVA) Knots, Coloring and Applications March 10, 2015 13 / 14

Thanks. Ben Webster (UVA) Knots, Coloring and Applications March 10, 2015 14 / 14