Slashdot Mirror


Major Advances In Knot Theory

An anonymous reader sends us to Science News, which is running a survey of recent strides in finding an answer to the age-old question: How many ways are there to tie your shoelaces? "Mathematicians have been puzzling over that question for a century or two, and the main thing they've discovered is that the question is really, really hard. In the last decade, though, they've developed some powerful new tools inspired by physics that have pried a few answers from the universe's clutches. Even more exciting is that the new tools seem to be the tip of a much larger theory that mathematicians are just beginning to uncover. That larger mathematical theory, if it exists, may help crack some of the hardest mathematical questions there are, questions about the mathematical structure of the three- and four-dimensional space where we live. ... Revealing the full ... superstructure may be the work of a generation."

36 of 230 comments (clear)

  1. An easy answer by $0.02 · · Score: 5, Funny

    How many ways are there to tie your shoelaces? The answer is very easy ... knot.

    --
    If enithin kan gow rong it whil. (Murfey)
  2. How many ways are there to tie your shoelaces? by poached · · Score: 3, Insightful

    42

    1. Re:How many ways are there to tie your shoelaces? by gsgriffin · · Score: 5, Funny

      Its actually 84. You forgot that you can always double-knot each of them too.

      --
      jsut athnoer menagiensls ltitle psrhae for you to dcoede. Why do we wtsae our tmie dnoig tihs?
  3. Unless... by Slur · · Score: 4, Insightful

    Revealing the full... superstructure may be the work of a generation.

    ..assuming computers cease making any new advances.

    Mathematicians do rely on their ability to spot patterns and sense implications that no computer can likely sift for today. But this will not always be the case.

    --
    -- thinkyhead software and media
    1. Re:Unless... by Mr.+Slippery · · Score: 3, Informative

      I'm assuming you are thinking of http://en.wikipedia.org/wiki/G%C3%B6del's_incompleteness_theorems and not some other very recent development, there is nothing that says a computer cannot do math/make proofs. Only that with a finite set of axioms, a computer (or a person) cannot prove an infinite number of things.

      Godel doesn't say that an infinite number of propositions cannot be proved from a finite number of axioms. An infinite number of propositions about geometry can be proven from the handful of axioms of Euclid; there are an infinite number of right triangles, for example, and if we had an infinite set of geometry students we could keep each of them busy with trivial proofs about them like "Prove that angle ABC is 42.2718 degrees".

      What Godel says is that in any reasonably complex system, there exist propositions which are true but cannot be proven.

      --
      Tom Swiss | the infamous tms | my blog
      You cannot wash away blood with blood
    2. Re:Unless... by Anonymous Coward · · Score: 5, Insightful

      No. As a professional computer scientist, I think it is safe to say mathematicians are about the last people in the world to be in danger of losing their job to computers.

      If there's one thing computer science algorithmic theory has told us, it's that computers absolutely do have a limit on what they can do, no matter how fast the microchip gets. Complete searches (and that is what we're talking for computer proofs) are NOT getting any more feasible over time. 2^10000 branches will never be traversable.

      Pretty much the best possible scenario for computer proofs is basic geometry. After all, in US high school, students are taught "2-column" proofs that a computer could actually handle. And even here, computers suck compared to mediocre mathematicians. Why? Because anybody can trace basic implications like a computer does - that's the easy part. The ONLY real hard part is the flash of insight that computers can never do - e.g. why don't we consider this point that is only tangentially related and see how it somehow holds all the structure to solving the problem.

      Once you get into modern math, say knot theory, computers are completely hosed. A math paper might be 100 pages of prose, 80% of which might be insights like that thing above, and 20% of which might be basic implications that a computer can handle. And actually, it couldn't, because 20 pages in prose = 2000 pages in logic statements, and a computer will never be able to traverse that deep.

      There's a reason that every important computer proof up until now has relied on 0 insight from the computer... even something like the 4-color theorem is only using a computer to algorithmically check a finite number of trivial cases that would be impractical to check by hand. This approach does not generalize to making mathematicians obsolete.

    3. Re:Unless... by mochan_s · · Score: 3, Funny

      ..assuming computers cease making any new advances. Mathematicians do rely on their ability to spot patterns and sense implications that no computer can likely sift for today. But this will not always be the case.

      But, mathematicians have already proved that a computer will never be able to take a mathematician's job.

  4. !theory by russlar · · Score: 5, Funny

    So, can we abbreviate this "knot theory" to "!theory"?

    --
    Anybody want my mod points?
  5. Re:That may be interesting to knot theorists by ciaohound · · Score: 4, Funny

    e can't be serious.

    --
    Oh, yeah, it's not easy to pad these out to 120 characters.
  6. Re:This is so very important... by Anonymous Coward · · Score: 3, Interesting

    You sound like you'd take the single most important^h^h^h^h^h^h^h^h^h publicized problem of the day and have everyone working on it, ignoring all of the other interesting stuff that might be possible.

    Yes, there are weighty problems in the world, and I'm not trying to dismiss them. Thinking about them exclusively, however, will recover the now but it won't provide any advancement for the future.

    Let's do both.

  7. Solution already patented in 1996 ... by fahrbot-bot · · Score: 4, Funny

    ... and relies on the cunning use of a rabbit, tree, and hole to tie shoelaces.

    --
    It must have been something you assimilated. . . .
  8. Re:This is so very important... by abigor · · Score: 4, Insightful

    The world has been in far worse situations than it's in now. The transient problems of immediate political and social realities shouldn't stop a few people from investigating nature's deep questions via science and mathematics.

  9. Re:The hardest math by tloh · · Score: 4, Insightful

    Once upon a time, I was similarly bored by this area of abstract research. But about a year ago, I attended a seminar where a guest lecturer was a mathematician who applied knot theory to the physical modeling of life processes involving the winding and unwinding of DNA in Chromosomes and the folding and unfolding of peptide strings in protein formation. I didn't understand half of the lecture. But one very important point I got out of it is that no matter how abstract and esoteric a subject might be, there is immense value to be obtained if it can be utilized to model physical processes we seek to understand.

    --
    Stay sentient. Don't drink bad milk.
  10. does this mean? by nx6310 · · Score: 3, Funny

    the inventor of the shoe lace could be the answer to all our four dimensional space quetions?

  11. Re:Things like this... by Bender0x7D1 · · Score: 4, Interesting

    This is just not that important.

    Are you sure?

    When algebra was invented, did people think that was important? What about geometry or calculus? What about number theory? Would Euler's study of the Seven Bridges of Konigsberg have been important to you? Probably not. But it did lay the foundations for modern graph theory which engineers use to design computer networks.

    --
    Reading code is like reading the dictionary - you have to read half of it before you can go back and understand it.
  12. Clandestine Shoelaces by Prius · · Score: 3, Funny

    This just in: Physicists have just now revealed that String Theory has nothing to do with the fabric of our universe, and everything to do with teaching toddlers how to tie their shoes.

  13. Re:The hardest math by oscartheduck · · Score: 4, Insightful

    I think the important thing is that when you're investigating new areas of mathematics and it's _hard_, that's because the tools you're using are not suited for investigating this issue. So you invent a new tool, and that new tool can be applied in many, many places.

    Hard problems are only hard because we're using the wrong tools.

    --
    How to use coral cache: http://slashdot.org.nyud.net:8090/~oscartheduck
  14. The 85 Ways to Tie a Tie by perlstar · · Score: 5, Informative

    Man, I haven't posted in years... but there's a great book by this title written by two mathematicians. They talk about the topology of knots as well as the history of ties. Which actors/celebrities wore what tie knots, etc.

    I can't seem to locate my copy at the moment, but from what I recall, there are an infinite number of potential knots, but they are classified by the number of sequences in them. And within a certain number of steps, (I think 5) there are 85 possible ways to tie a tie. Then they rank them by symmetry and a copule other criteria.

    I recommend it to anybody who is interested in this subject. It's out of print, but it's still possible to find a copy for sale online.

    1. Re:The 85 Ways to Tie a Tie by fizzup · · Score: 3, Informative
  15. Re:This is so very important... by ScentCone · · Score: 5, Insightful

    I can't believe I got moderated as a troll

    Why? You made a whiny, irrelevent complaint that dismisses the role of pure research in the larger advancement of our knowledge of how the universe works... the very sort of thing that always plays a role in advancing our ability to make more efficient use of energy, more realistic predictions about the behavior of complex systems, and more innovative technological use of things we think we have already fully, or most effectly exploited. This whole "the human race is incapable of doing two things at once" BS never ceases to amaze me. How do you even get out of bed in the morning? Make coffee... take a crap... which to do first? Gaah! I'm paralyzed! Which is the most important fish to fry?

    In other words, you're scare mongering and - if we can assume you have a passable IQ which would suggest you might know better - clearly trolling. And, voila, you were thusly modded.

    --
    Don't disappoint your bird dog. Go to the range.
  16. Re:This is so very important... by Evanisincontrol · · Score: 5, Insightful

    Suppose you tell us all how solving this knotty problem will help anyone or anything.

    Let's pretend we're in the early 1700s. Leonhard Euler is writing the first ever paper on a field of study called Graph Theory. Simply put, he's figuring out answers to questions about how to arrange circles and lines. Meanwhile, there's fucking WARS going on (Polish succession is going on concurrent to writing this paper; Seven Years' war happens a couple decades later). There are goddamn wars on Euler's front door, and he's writing papers about lines and circles?! What a prick.

    Oh, by the way, without Euler's work we wouldn't have computers, organized roads, efficient data models, efficient sorting algorithms, or countless other instruments that are critical to today's society.

    Don't trivialize work that you don't understand.

  17. Re:This is so very important... by msuarezalvarez · · Score: 5, Funny

    Let me introduce you to ^W.

    It's a great tool for those writing pseudo-ironic posts who are, at the same time, concerned with the preservation of the valuable resource of ones and zeroes...

  18. Can There Be a Knot that Cannot Be Tied or Untied? by Louis+Savain · · Score: 5, Funny

    I'm just wondering. One never knows with math.

  19. wrong theory by Better.Safe.Than.Sor · · Score: 5, Funny

    I prefer the "velcro" theory.

    --
    It's all history, man. -anon
  20. Re:This is so very important... by easyTree · · Score: 3, Funny

    wow. mathematicians make such trigger-happy moderators.

    modded troll in 3, 2, 1...

  21. Re:The hardest math by Hognoxious · · Score: 3, Funny

    And how many mathematicians do you know? The moment this question is even close to being answered, one of them will go off and figure out an even harder question to answer.

    How is that hard? He just has to go through his address book, ask each person what they do and every time one says "mathemetician" he adds 1.

    --
    Confucius say, "Find worm in apple - bad. Find half a worm - worse."
  22. Re:Things like this... by DG · · Score: 5, Interesting

    Back when I was going to school for my Comp Sci degree, I was force-fed a lot of calculus.

    Roughly twice as much calculus as was typical, because my disinterest (and the resultant lack of success) required me to take almost every single calculus course twice.

    No sooner was I free of school than I brain-dumped every single last integral, deriviative, partial derivative, chain rule, trigometric identity... the lot of it. Good riddance to bad rubbish.

    And then, some time later, I was trying to make my race car go faster. The problem was optimising the suspension for maximum grip, and to that end, I had affixed linear potentiometers to my suspension so I could record suspension position during a race.

    Pretty soon, I had tons of data relating position to time. Pretty graphs, but aside from max/min/mean deflection data, pretty useless.

    Until I started thinking about "position to time... position to time... where had I heard that before?"

    That's right - my old arch-nemesis, calculus, suddenly proved useful. Deriving that position information gave me suspension velocity, and suddenly I knew EXACTLY what suspension velocities the car was seeing in actual competition. Given that I had a device that measured shock force as a function of velocity (that's how a shock works) I could now tune shocks independant of the driver's ass-dyno.

    That resulted in a HUGE leap forward in my performance.

    Don't dis abstract math - you never know when it'll pay off.

    DG

    --
    Want to learn about race cars? Read my Book
  23. Re:That may be interesting to knot theorists by philspear · · Score: 4, Funny

    but I'd hardly call it an age old question. Never heard of it.

    Does that mean you're knot interested in it?

  24. Re:Things like this... by philspear · · Score: 3, Funny

    When I read things such as this I like to take a moment to let the dumbfounded feeling wash over me.

    This is just not that important.

    You only say that because you have yet to be involved in a serious shoe-tying accident.

  25. Re:Things like this... by Anonymous Coward · · Score: 5, Funny

    Back when I was going to school for my Elementary School diploma, I was force-fed a lot of arithmetic.

    Roughly twice as much as was typical, because my disinterest (and the resultant lack of success) required me to take almost every grade twice.

    No sooner was I free of school than I brain-dumped every single addition, multiplication, subtraction, division, counting... the lot of it. Good riddance to bad rubbish.

    And then, some time later, I was trying to make my paycheck go farther. The problem was optimising the spending for maximum personal happiness, and to that end, I had collected all of my receipts so that I could record where I was spending my money during the month.

    Pretty soon, I had tons of data indicating where my money was going. Pretty numbers, but aside from a few expensive items, pretty useless.

    Until I started thinking about what I could do with a set of numbers.

    That's right - my old arch-nemesis, arithmetic, suddenly proved useful. Summing the money spent in different categories gave me totals, and suddenly I knew EXACTLY where my money was going in an actual month. Given that I had measured how much money was spent on each purchase (that's how receipts work) I could now properly budget my spending.

    That resulted in a HUGE leap forward in my quality of life.

    Don't dis abstract math - you never know when it'll pay off.

    AC

  26. Practical shoelace advice by harlows_monkeys · · Score: 4, Informative

    For those less interested in theory, and more interested in choosing a lacing pattern and a good knot for their shoes, I recommend Ian's Shoelace Site.

  27. Re:This is so very important... by DamnStupidElf · · Score: 4, Interesting

    A mere comment about priorities, relative importance of issues, and so forth. In any case, I was not the only one to make such a comment.

    Frankly, mathematics is more important than any other issue. You just fail to realize the practical applications that mathematics has in everyone's life. The most basic reason that anyone on earth has a standard of living above that of hunter gatherers is because of mathematics; knowing seasons and how to plant crops relied on rudimentary mathematics, and modern farming relies on advanced chemistry and biology, which have as their basis the mathematics of stoichiometry and statistics. Not to mention engineering which makes heavy use of mathematics and physics in order to create the machines necessary for our massive population.

    In short, I'd rather see advances in mathematics than I would the elimination of world hunger; without further mathematical and scientific discoveries, even nations with plenty will just exhaust their resources and revert to poverty and starvation.

  28. Re:That may be interesting to knot theorists by trick-knee · · Score: 4, Funny

    > e can't be serious.

    of course knot. e can't even round correctly. should be 2.7183. damn truncator.

  29. Simple Abstract Rules by gnujoshua · · Score: 3, Interesting

    So, I think that your statements are an accurate assessment of things like Computer Algebra Systems. Such systems approach mathematics in a way similar to how humans have traditionally tried to solve mathematics. However, there are other ways of doing mathematics with computers. Such as various systems of simple abstract rules. I'm not saying it will necessarily lead to breakthroughs in traditional areas of mathematics, but, it is one of the few areas of research that is truly trying to approach mathematics in computer-centric way.

  30. not the only thing computers do by Trepidity · · Score: 3, Interesting

    "Tracing basic implications" is hardly the only thing computers do in mathematics; there is plenty of work on the "flash of insight" part, which computers have done successfully on a number of occasions. In particular, there's a long body of work on conjecture-generating systems, which don't try to prove things, but look for conjectures that: 1) would be interesting if true; and 2) seem that they could at least plausibly be true. Generating conjectures is historically a large part of the creativity in mathematics, and in some areas, computers are getting good enough at it that professional mathematicians use conjecture-generating software to get ideas for interesting problems to work on or useful lemmas to prove on the way to another problem.

    This survey provides a useful overview of some of the work.

  31. A few applications of knot theory by TheEmptySet · · Score: 4, Informative
    So here I am at home on a Sunday morning reading the news and I find you guys embroiled in a huge argument about my area of research. Quite a pleasant surprise actually. So in response, here's a short list of uses of knot theory:

    1) Tying your shoelaces (but of course no one cares)

    2) Studying supercoiling of DNA (how it wraps itself up into a small space yet still wriggles enough to present all of it's length at short notice for interactions with cells' other mechanisms)

    3) The geometry of three dimensional space (all closed oriented three dimensional spaces can be constructed from knots and the three dimensional sphere! So knot theory has major applications to 3D geometry)

    4) The geometry of four dimensional space (for example, surfaces in 4D spanning between knots can be used to specify exotic smooth structures. The existence of such shocked the world of geometry in the 80's)

    5) TQFT, Mirror Symmetry, Quantum Gravity etc (the tools developed in and around knot theory are one facet of a huge push in mathematics to forge a better understanding of some of the deepest ideas in modern theoretical physics)

    ...and I'm sure I have missed out plenty. My point is that mathematics is full of weird abstract nonsense, which is not actually nonsense when you look deep enough. There is after all a reason why we study it.

    It's not all just "brain-wanking".