Simplicial Complexes - Your Brain as Math Part 2 | Infinite Series

Sdílet
Vložit
  • čas přidán 27. 07. 2024
  • Viewers like you help make PBS (Thank you 😃) . Support your local PBS Member Station here: to.pbs.org/donateinfi
    What is a Simplicial Complex and how can it help us decode the brain’s neurological structure? This is Part 2 in our Your Brain as Math mini-series.
    Check out Part 1 here: • Your Brain as Math - P...
    Check out Part 3 here: • Your Mind Is Eight-Dim...
    Tweet at us! @pbsinfinite
    Facebook: pbsinfinite series
    Email us! pbsinfiniteseries [at] gmail [dot] com
    Previous Episode
    Your Brain as Math - Part 1
    • Your Brain as Math - P...
    Network Mathematics and Rival Factions
    • Network Mathematics an...
    Last episode we saw that your neural network can be modeled as a graph, which -- we’ll show in this episode -- can be viewed as a higher-dimensional simplicial complex. So… what is a simplicial complex??
    Written and Hosted by Kelsey Houston-Edwards
    Produced by Rusty Ward
    Graphics by Ray Lux
    Assistant Editing and Sound Design by Mike Petrow
    Made by Kornhaber Brown (www.kornhaberbrown.com)
    Resources:
    Cliques of Neurons Bound into Cavities Provide a Missing Link between Structure and Function
    journal.frontiersin.org/articl...
    The Blue Brain Project:
    bluebrain.epfl.ch/
    Barcodes: The Persistent Topology of Data
    www.math.upenn.edu/~ghrist/pr...
    Network Neuroscience
    www.nature.com/neuro/journal/v...
    Algebraic Topology
    www.math.cornell.edu/~hatcher...
    Special thanks to Kathryn Hess and Florian Frick!
    Special thanks to Matthew O'Connor and Yana Chernobilsky who are supporting us on Patreon at the Identity level!
    And thanks to Mauricio Pacheco who is supporting us at the Lemma level!

Komentáře • 293

  • @ataraxia9134
    @ataraxia9134 Před 3 lety +17

    When I'm feeling stressed and like everything is meaningless. I just watch the PBS videos(space time, infinite series, etc). Although I don't exactly understand every term exactly. It calms me down to hear science and math. I don't know why. But its like my happy place. Thankful for these videos I only half understand lol

  • @MeshremMath
    @MeshremMath Před 5 měsíci +3

    I really appreciate that you are acknowledging that 4D space is difficult but possible to visualize.

  • @Tehom1
    @Tehom1 Před 7 lety +127

    6:43 The explanation of one dimensional holes could be clearer. Two points that I think could be clarified:
    (a) these circles are holes in the Betti sense because they have an inside and an outside, while the "donut hole" in the middle of the torus doesn't count here.
    (b) the reason these two circles imply that there are two holes is that if you draw any third circle on the torus, it can be either continuously deformed into one of those circles or shrunk to a point (and so it's not a hole), but you can't deform the two circles into each other, thus there are exactly two one-dimensional holes.

    • @AlexKnauth
      @AlexKnauth Před 7 lety +6

      Thanks! That definition of 1d holes in (b) finally makes sense to me.

    • @7lllll
      @7lllll Před 7 lety +5

      i would say the "contents of the donut" explanation of two-dimensional holes is even worse. two-dimensional holes are interior hollow spaces of three dimensional hollow objects. in my opinion, before going to the torus, they should add a circle and a hollow sphere as simpler examples.

    • @columbus8myhw
      @columbus8myhw Před 7 lety +2

      You can actually draw other circles on the torus that can't be deformed into either of them, but in a sense it'll be the "sum" of those two rather than a new one

    • @Tehom1
      @Tehom1 Před 7 lety +1

      Yes, you are correct. You can draw a curvee that circles both the "donut hole" and the "donut arm", which I assume is what you meant. You can also draw a curve that (say) just circles the "donut hole" twice, but it must cross itself.

    • @columbus8myhw
      @columbus8myhw Před 7 lety +1

      These end up being torus knots and stuff (not the self-intersecting ones, the other ones)

  • @Mrpoopy62639
    @Mrpoopy62639 Před 7 lety +78

    5:19 I do believe the "giant awkward shape without a name" is in fact a truncated icosahedron. Do please correct me if I'm wrong.

  • @lucashoffses9019
    @lucashoffses9019 Před 7 lety +21

    5:20 The "Giant awkward shape without a name" is actually a truncated icosahedron. I can't see the other half, but I'm still going to assume that.

    • @yinq5384
      @yinq5384 Před 7 lety +2

      Or can we say it's like a football (in soccer)?

  • @NoahNobody
    @NoahNobody Před 7 lety +10

    4:34 Holding back the giggles

  • @dylanrambow2704
    @dylanrambow2704 Před 6 lety +2

    I've been studying this stuff in an algebraic topology course. Cool stuff!

  • @dmcdouga07
    @dmcdouga07 Před 7 lety +72

    Hi Kelsey, this episode felt really rushed. For example, some graphics were on the screen for less than a second, and these are pretty tough concepts. I like most of your other videos, but this one was particularly hard to follow

    • @7lllll
      @7lllll Před 7 lety +9

      absolutely agree. it is the nature of the subject that it requires long explanations for even the most rudimentary understanding. it is already a three video series, and it makes sense to not want to make it ridiculously long, but it may be necessary

    • @asielsmith6007
      @asielsmith6007 Před 7 lety +1

      "Phew" Thought I was just slow, granted I am slow lul :P, but I had to stop it a few times.

    • @tehguitarque
      @tehguitarque Před 6 lety +1

      I agree. I don't understand why the torus has 2 one dimensional holes. But I feel like it will be dumbly obvious once I know. The shape clearly has two curvatures like you drew, but why are they holes?

    • @travellcriner6849
      @travellcriner6849 Před 6 lety +4

      Answer to "Why are they holes:" If you draw any loop on a sphere, it's always possible to shrink it to a point. In other words, you can't find any holes on the surface of a sphere. However, it's possible to draw two types of loops on the torus (they're different because they can't be rotated and slid along the torus to overlap) such that they can't be shrunk to a point. Thus, in this sense, the torus has 2 1d holes (1d because the loops are 1d).

    • @tehguitarque
      @tehguitarque Před 6 lety

      travell Criner Thank you that was very clear!

  • @abhishekshah11
    @abhishekshah11 Před 4 lety +4

    I really miss how great this series used to be. Sad it had to end.

    • @macysondheim
      @macysondheim Před rokem

      Personally, I was thrilled when it ended…

  • @DustinRodriguez1_0
    @DustinRodriguez1_0 Před 7 lety +1

    Knowing a bit about neuroscience, I can see this being very useful for analysis of the electrical activity of neurons (assuming you have some way to model changes in the activation threshold of a neuron as a consequence of firing... once a neuron fires, it needs to recover for a bit and doesn't immediately return to the same quiescent state it was in before firing... repeated firing can also cause it to form new dendrites...) but I get the feeling that it will hit a wall as soon as neurotransmitters are considered. Those work on a vastly different timescale, and the chemistry in the gap and on the surface of the neuron becomes very important and very time-dependent.

  • @7lllll
    @7lllll Před 7 lety +5

    5:21 that "giant awkward shape without a name" is a truncated icosahedron

  • @Mrkol_
    @Mrkol_ Před 7 lety +1

    Dang, this vid is great on so many levels... Need moar like this one!

  • @thegoldenratioandbeyond232

    You know, when the formula was shown for the euler characteristic in higher dimensions with its alternating pattern, I couldn't help but think whether there is a comnection between that and the formula for probability of the union of sets, derived from set theory. Perhaps the characteristic is a sort of measure associated with the union of all the points embodied in the polyhedron, and is measured in a way analogous to probability by counting the measure of the individual points, then subtracting number of 1d lines (analogous to all pairwise intersections between points), adding number of 2d faces (all triple intersections between points), etc.

    • @nicholasandrzejkiewicz
      @nicholasandrzejkiewicz Před rokem

      Yes there is a connection between combinations of sets and simplicial complexes, in topology we can take a "covering" of a space by taking a bunch of regions, and we might care about all the intersections of these covering regions pairwise, in triples, etc. This data is described simplicially by the "nerve" of the covering.

  • @tenalexandr1991
    @tenalexandr1991 Před rokem

    Everything up to the Betti numbers was so clearly and meticulously explained. I wish the pace stayed the same throughout.

  • @chocolatecornetnothermitcr6159

    Topology is one of the most difficult subjects in mathematics I’ve ever learned through elementary school to university. The difficulty ranking will be: Topology > manifolds > functional analysis > Lebesgue integral > set theory.

    • @dasmartretard
      @dasmartretard Před rokem

      that's interesting. For me it is spectral theory> dynamical systems> measure theory>point set topology >homologies >galois theory/polynomial rings.
      The experience of every mathematical student will vary wildly. I've come to love the fact that there is no one steadfast rule on which math is the hardest. Each branch can radically resonate differently with different people.

  • @AliVeli-gr4fb
    @AliVeli-gr4fb Před 7 lety +3

    it could be nice to see what algebraic topology offers to solve maximum clique problem

  • @shashvatshukla
    @shashvatshukla Před 2 lety

    Neat, quick explanation. Fantastic.

  • @shakeelkhan4367
    @shakeelkhan4367 Před 3 lety +1

    wonderfull video cleard all in a brilliant way

  • @MasterNeiXD
    @MasterNeiXD Před 7 lety +2

    Anyone remember the Numberphile videos about topology?
    If you don't, I recommend you watch them. They use props to explain the some of the concepts.

  • @jonaprieto
    @jonaprieto Před 5 lety

    Love the graphics of simplicial complexes :)

  • @SunriseFireberry
    @SunriseFireberry Před 7 lety +4

    Bring on k-dimension hole-y Mandelbrot Sets. Wild topology.

  • @dylangeldenhuys8552
    @dylangeldenhuys8552 Před 6 lety

    Can you recommend any introductory text books for algebraic topology?

  • @vangelisrocks
    @vangelisrocks Před rokem

    Amazing video. Thank you.

  • @lancesurgeon7614
    @lancesurgeon7614 Před 7 lety +3

    MY HEAD HURTS!!!!!

  • @chemomatik8276
    @chemomatik8276 Před 7 lety

    I'm struggling a bit with the Euler characteristic of a torus... I can see one face (its surface), but no edges or vertices - which gets me to an Euler characteristic of 1 (0-0+1). I assume my definition of vertices and edges must be off. I'm defining them as discontinuities in the surface function in one dimension (edge) or multiple dimensions (vertex). So what am I doing wrong here?

  • @kaushikdr
    @kaushikdr Před 2 lety +1

    Sometimes you explain things fairly well, but then you just tell us that the Euler characteristic as you increase the number of holes decreases by 2 (with no reason) and that the 1st Betti number of a torus is 4 (with no reason)

  • @alxjones
    @alxjones Před 7 lety +2

    Is the general Euler Characteristic related to inclusion-exclusion principle? The alternating signs gives that kind of feeling.

    • @renerpho
      @renerpho Před 7 lety +2

      Well noticed. Yes it is (at least in some circumstances)! en.wikipedia.org/wiki/Euler_characteristic#Inclusion.E2.80.93exclusion_principle
      For what is relavant to this video, the Euler characteristic does follow a version of the inclusion-exclusion principle.

  • @jaymayhoi
    @jaymayhoi Před 6 lety

    How did you did this in one take? Thanks for the video btw

  • @columbus8myhw
    @columbus8myhw Před 7 lety +2

    Didn't the original paper use _directed_ graphs?

  • @UnbornFamas
    @UnbornFamas Před 4 lety

    So a K-simplex is a 3 dimensional shape with an extra vertacy? like a 4-simplex?

  • @AlexKnauth
    @AlexKnauth Před 7 lety +12

    I don't get what "holes" of different dimensions mean. Why are there two 1d holes in the torus, and why is there one 2d hole in both the torus and the two-hole torus?

    • @DeserdiVerimas
      @DeserdiVerimas Před 7 lety +1

      What about the 1st Betti number for a 2-holed torus? There are two holes in each of the handles, one in the bit which joins them together, and then one longitudinally around each donut hole, and then one which goes longitudinally around both holes. I know you can construct paths which look like circles but can be decomposed into a mix of two on a torus, is that what is happening here?

    • @AlexKnauth
      @AlexKnauth Před 7 lety +3

      So I looked into this and it looks like those "holes" are a different concept called genus. Ignoring that, from the definition in (b) of Tehom's comment, I'd think there are 6 1d holes. (Around left handle, around middle part, around right handle, around left donut hole, around right donut hole, around both donut holes.) I know that's wrong, so maybe two of them are somehow combinations of the other four?
      I still don't know how this works, but I think I'm getting closer.

    • @DeserdiVerimas
      @DeserdiVerimas Před 7 lety +1

      Alex Knauth That was what I was thinking. But I remember seeing something about being able to put two circles together to make a third. So in the case of a donut, you can mix a longitudinal circle with a minor circle to get a path which travels through the centre 'hole' once and once around the entire ring.

    • @JustForComments666
      @JustForComments666 Před 7 lety

      Every Betty number indicates how many of "spaces" of dimension n+1 are between a n dimensional object and "itself". Which is literally the definition of a hole.
      Imagine a bowl with no thickness. One might at first think that the B2 of the bowl is 1, as there is 3d space between the 2d angled face, but it isn't enclosed, so it's not a hole. You can notice this because topologically a bowl is the same as a disc, but simply bent. A disc has B2=0.
      Draw any topological shape of 2 dimensions, so it's not a solid. It could be said a "3d without thickness". Now, take any point on the surface of that shape and make a line that goes out of that point into any direction. That line should either touch another point of the same surface or it won't. If you can do this for every point in a surface, into every direction, you've got yourself a hole.
      In the case of the torus the "hole" is between the inner face of the shape and itself. in the case of the outer face you can easily see that if you do a line from every point, into every direction (except 90 degrees, which i don't know if that is "allowed") you will not reach that same face.
      Now do this same thing for the Betty 1. Take your shape, draw your 1 dimensional object (in this case a straight line). Pick any point on that line and fire off into any direction on top of the 2d surface. If you reach that same line, you've got a hole.
      Remember that when you draw a straight line on a shape it might look "bent" from our perspective. Think of the classic ant on the surface. For the ant, it is a straight path.
      The B1 holes in the torus are made by making the line that looks like "a ring" put around the torus (that which you wouldn't be able to take apart if they were 2 solid objects). In this case you can take any point on that line and go into any direction in a straight path and you will eventually reach that same line, no matter how long you take (say you pick 45 degrees of a point and your path will look like a corkscrew).
      The other hole is more confusing. It looks like it's "in" the torus, but it's actually a straight line on the surface. If you do you your straight path on what would be the "outer" or "inner" side of a doughnut you would create a line that, topologically, would be equivalent to the line presented on the figure in the video. In topology you can stretch and "transpose" at will without affecting the shape. A doughnut is a mug. (by transposing I mean like if the surface were magnetic fabric over a surface and you can move this fabric around and it will keep the shape of the object "within" it)
      This was a long answer but this is how I understood Betty numbers. Please correct me if I'm wrong for I'm not a math student so I don't know if this is how it actually is.

    • @TheManxLoiner
      @TheManxLoiner Před 7 lety

      Oliver: Your intuition is good. Unfortunately, the rigorous definition of Betti numbers is very technical - even the vast majority of mathematics undergraduates will never see it, and it is often only taught in masters courses. (The advantage of this technical definition, of course, is that it allows you to calculate Betti numbers for weird shapes which are impossible to properly visualise e.g. the Klein bottle.)
      One of the technicalities involves, as Alex and Alastair have discussed, deciding when one hole is different to other holes. There are several comments which described how intuitively it seems you can find five or six B1-holes in the 2-genus torus, but the first Betti number of the 2-genus torus is 4.
      Out of curiosity, I'd be interested to know what you think is the Betti-1 number of a sphere? (By sphere, I mean the 2D surface with empty inside, like a balloon).

  • @__nog642
    @__nog642 Před 7 lety +11

    you didn't really explain the betti numbers very well. I don't see how a circular hole is 1-dimensional, and the things you're calling holes don't seem like holes.

    • @TheManxLoiner
      @TheManxLoiner Před 7 lety +10

      I hope this helps:
      a) A circular hole is best described as being 2-dimensional object, rather than 1-dimensional. This may have been a mistake on their part, or, an un-intuitive convention in mathematics.
      b) If you get a piece of paper, and cut circular holes in it, then the number of holes in that paper is the first Betti number of that paper.
      c) If you have a block of glass with bubbles in it, then the number of bubbles is the second Betti number of that block.
      d) If you have a sponge, the number of holes in the sponge would be equal to its second Betti number.
      e) A balloon's second betti number is 1.
      It is possible the word hole is not the best choice of word in all cases, but hopefully these examples illustrate what some of the intuition.

    • @user-fd6bd2hk1p
      @user-fd6bd2hk1p Před 5 lety

      Diameter is the only dimension of a circle.

    • @ponaki6891
      @ponaki6891 Před 4 lety

      @@TheManxLoiner So is that what u mean that a one dimensional hole is that which can be filled by a two dimensional plane and a two dimensional hole means which can be filled with a 3-dimensional space? Can we indirectly say this as a definition? And hence follows the rest of the holes?
      Is that mean the betti number of the universe is infinity?

    • @TheManxLoiner
      @TheManxLoiner Před 4 lety +1

      @@ponaki6891 This is not my expertise so I do not know for sure.
      'one dimensional hole can be filled by a 2-dimensional place' - yes, that is the intuiion.
      'can we say this as a definition' - Probably not - the formal definition is very technical, and I assume there's a reason there is not a simpler definition.
      'betti number of the universe is infinity'. First, which betti number? Two, you have to be more specific about what you mean by 'the universe'. Do you mean all the objects in the universe? Do you mean space-time? Lastly, the universe might be finite anyway.

  • @0dWHOHWb0
    @0dWHOHWb0 Před 7 lety

    3:27 Did you forget to color in a bit of orange on the right? (edge between leftmost and third lowest vertex)

  • @marcoottina654
    @marcoottina654 Před 4 lety

    What if the "learning process" of the brain is just creating or destroying holes and those holes are like "pebbles in rivers that change the flow so the result is different"?

  • @ratman8112
    @ratman8112 Před 2 lety

    how is euler characteristic calculated for a torus and double torus?

  • @AlexKnauth
    @AlexKnauth Před 7 lety +5

    Is finding these equivalent to finding (k+1)-cliques?

    • @7lllll
      @7lllll Před 7 lety +4

      finding a k-simplex in a simplicial complex is equivalent to finding the (k+1)-cliques in the underlying graph. that is not a task that requires algebraic topology, and therefore if that is the goal, it is of no use building a simplicial complex out of the graph. we only build simplicial complexes when algebraic topology becomes useful for a goal

  • @osimmac
    @osimmac Před 7 lety

    Is there a way to add weight to more important vertices, edges, faces, volumes, etc?
    I'm pretty sure the connections in the brain aren't just on or off, some are used more and are more important than others.
    Maybe a connection is more important the more vertices, edges, faces, volumes it shares? idk, cool shit tho.

  • @MeshremMath
    @MeshremMath Před 5 měsíci

    That "giant awkward shape without a name" is a truncated icosahedron, and is the pattern on many soccer balls.

  • @Jaylooker
    @Jaylooker Před 3 lety

    Betti numbers are helpful. Thanks

  • @renerpho
    @renerpho Před 7 lety +14

    I can imagine that this video is really hard to follow if you don't already know what she's talking about. Not sure if that's how it's intended.

    • @shebeep
      @shebeep Před 7 lety +4

      Daniel Bamberger my maths knowledge is mostly in calculus (being engineer and all) and I followed what a k-simplex is, how to build simplexes together to form complexes, and how to characterise them with euler's characteristic. only thing I didn't manage to see is betti's numbers. I just don't see the 2 one-dimensional holes she's speaking about and got a bit lost.

    • @David_Last_Name
      @David_Last_Name Před 7 lety +1

      +Mujtaba alsuwaii Exact same here, I think she skipped some explanations regarding the betti numbers.

    • @JustForComments666
      @JustForComments666 Před 7 lety +1

      I literally saw the thumbnail for the part 3 and clicked it without having seen the other 2 parts. About 3 seconds passed and I was already searching the part 1 to understand the 3 seconds of talking she did. Alas, here I am, ready to embark once again into the quest, hopefully this time prepared.
      As for the difficulty I think it's definitely a bit rushed and complex, requiring knowledge, concentration and sometimes pausing the video to ponder. But I am glad it is like that. There are enough science channels on youtube that explain certainly interesting but not so deep stuff because they can't go very deep. Only when you assume your audience has the capacity can you start explaining more advanced stuff.

    • @JustForComments666
      @JustForComments666 Před 7 lety

      OMFG. I just wrote about 10 paragraphs explaining my take on betty numbers and when I hit "reply" it only sent those 2 paragraphs.... god damnit youtube.

  • @alexgato6087
    @alexgato6087 Před 7 lety

    Amazing

  • @sk8rdman
    @sk8rdman Před 7 lety

    5:17
    That "giant awkward shape without a name" is a truncated-icosehedron.
    Of course, the Euler Characteristic is true for this, as with all 3D convex polyhedra.
    Vertices: 60
    Edges: 90
    Faces: 32
    60-90+32=2
    Apparently I'm not the first to say this, but I probably won't be the last either.

  • @fuckproductivity6182
    @fuckproductivity6182 Před 6 lety

    I love you Kelsey!!

  • @michalnemecek3575
    @michalnemecek3575 Před 7 lety +1

    3:53 no, phone screens, monitors and TVs are flat, meaning you can only make it look like it's 3D.

  • @RichardLibby
    @RichardLibby Před 10 měsíci

    At one point the text below displayed [INAUDIBLE] but the word she said was "homology," something I recognized from taking topology a long time ago.

  • @johnmastroligulano7401

    Yes I see the Mastro-Master reference in the 7 pointed star Game of Thrones uses. Look up Lagarde 7's where she talks about this at the esoteric level which most people & she knew obviously wouldn't have any real understanding of. 7 is also G which is a JAR stand in hieroglyph which is why Lucas used Jar Jar Binks as the reference he did, 77 is also 49 which looks like XLIX in roman numeral another esoteric tell as LI means powerful like what my name says but it says that I burn or light or expose them which obviously I do lol.

  • @imienazwisko6527
    @imienazwisko6527 Před 7 lety

    When will the cubes and ortoplexes be covered?

  • @AgglomeratiProduzioni
    @AgglomeratiProduzioni Před 7 lety

    5:18 It's a truncated icosahedron, more widely known as the classic soccer ball.

  • @thomgrunauer6526
    @thomgrunauer6526 Před 5 lety

    honestly, i like these videos more than the ones from numberphile

  • @NicolasLezcanopy
    @NicolasLezcanopy Před 7 lety

    simplex or comple?

  • @spankasheep
    @spankasheep Před 7 lety

    The only thing that I know now about my brain is, that it feels like it is 3am when it really isn't even 10pm...
    I love mathe

  • @alan2here
    @alan2here Před 7 lety +1

    I've just realised, or maybe she mentioned it in the video and I didn't get it. The number of nodes in an N dimensional simplex is (1 chosen from N), the number of edges is (2 chosen from N), faces is 3, volumes is 4, four dimensional hyper volumes is 5, and so on.

    • @TheManxLoiner
      @TheManxLoiner Před 7 lety

      I'm not sure. In a 3 dimensional simplex, you have 4 nodes, 6 edges and 4 faces.

  • @BIGWUNuvDbunch
    @BIGWUNuvDbunch Před 7 lety

    Hell yeah!

  • @nmahyavnshi2428
    @nmahyavnshi2428 Před 7 lety

    I don't get the euler characteristic for donut it should be 16-24+10=2 if we count the internal surfaces

  • @obscurelobster
    @obscurelobster Před 6 lety

    Heptagon Infinity opens the door at 1:35 ?

  • @akshayr901
    @akshayr901 Před 6 lety +1

    Can anybody please explain how is the Euler characteristics for the modifies cube or doughnut becomes 0.

    • @adeshpoz1167
      @adeshpoz1167 Před 5 lety

      All I can do is like your comment. That's all I'm useful for sorry. :/

  • @rkpetry
    @rkpetry Před 7 lety +1

    [05:32] How is the torus EC = 0 with 1 face − 0 edge + 0 vertex = 1, and approximated its superpolyhedron would = 2, and too it's not a 'hull' here to meet his definition...
    And why leave out Euler on 2D-which would = 0 if strictly-2D....

  • @taripeti12
    @taripeti12 Před 5 lety

    Does anyone know what the intro music is?

  • @skebess
    @skebess Před 7 lety +2

    This video is much better and comprehensible for non advanced mathematicians at speed 0.75. Try it.
    Incidentally, Kelsey looks and sounds high at this speed : )

  • @FerreyraFV
    @FerreyraFV Před 6 lety

    Please AfterEffects creative of PBS, add some feather to the edges of the chroma key.

  • @HoSza1
    @HoSza1 Před 7 lety +2

    Should we drill a square shaped hole through a square shaped face of a cube, we would still have one face. Thus the drilled-through cube (that is, central shaft removed) has 16 vertices, 24 edges and 10 faces. Then we have 16-24+10 = 2 opposed to the video where it is stated that this value should be zero. Any thoughts on this?

    • @David_Last_Name
      @David_Last_Name Před 7 lety +1

      I have no idea, and that's a really good point, so I'm just replying so that I can see the answer. :)

    • @kauhanen44
      @kauhanen44 Před 7 lety +1

      You forget the inside face though.

    • @HoSza1
      @HoSza1 Před 7 lety

      Which inside face do you mean? I count 4 outside squares, 4 squares inside and 2 more faces that have a hole each.

    • @ArjunSAriyil
      @ArjunSAriyil Před 7 lety

      It will come to zero if you assume there are 8 additional edges connecting each outer vertices with corresponding inner vertices. It will split both front and back faces into 4 pieces each. In this case it will be 16 vertices, 32 edges and 16 faces. 16 - 32 +16 =0. May be that is the correct way of counting.

    • @HoSza1
      @HoSza1 Před 7 lety

      I was aware of this trick. In fact you need to add only one such an additional edge for each of the two faces to change the result. So you will have 16-26+10 = 0, but the problem with it is that, such additions seem quite arbitrary and how do you know the number of required additional edges in more complicated cases?

  • @colinmacmurtrie4454
    @colinmacmurtrie4454 Před 6 lety

    I loved the quick pace of this talk - it was so engaging and I felt like I was learning on steroids. Awesome!

  • @AmeyahOfficialTV
    @AmeyahOfficialTV Před 7 lety

    so how to compute these betti numbers?

  • @strafeae4618
    @strafeae4618 Před 7 lety

    That "giant awkward shape without a name" is actually a truncated icosahedron, also known as a soccer ball.

  • @CT-rr1no
    @CT-rr1no Před 3 lety

    why is betti number of double torus 2?

  • @thermotronica
    @thermotronica Před 7 lety

    Knot theory probably could play a real nice role in the deep blue project as you can probably replace those vertex with holes and get a better understanding of the riemannian topology and use that to model the actual landscape of the folds as a pseudo-metric as the neurotransmitters are made in different areas of the brain and involve multidimensional processes like impulsion by catecholamines, and maybe see how the fit in the receptor protein and with what electron density. Although thats a lot of data points to follow

    • @cheaterman49
      @cheaterman49 Před 7 lety +1

      I agree that studying the wiring isn't going to be sufficient as it sounds like the chemical nature matters a lot too - an interesting parallel could be made with epigenetics, where it turns out proteins are more important than we initially thought.

    • @thstroyur
      @thstroyur Před 7 lety +1

      My own bet'd be modelling the wires as phonon networks to account for (tiny) quantum 'acoustical' effects, as well as the classical action potentials - but the ass of the problem is indeed the neurojunk. I suppose one could assign a cross section for acetylcholine, etc. hitting a detector, put everything in a nice density matrix, and see what happens.
      But still I fail to see what neurotransmitters have to do with Riemannian geometry -_-'

    • @thermotronica
      @thermotronica Před 7 lety

      thstroyur yes those phononic effects are most definitely an avenue! An fmri can only do so much, but a eulerian amplification coupled with some tensor flow could do a lot!
      As for the neurotransmitters and reimannian topology, imo, i think the electron density at the neuroreceptor, is what influences the overall direction the synapse will take (as the electrovolt potential is locked at certain threshholds (75 millivolts or something) but the actual release of the chemically mediated process is dependent on the cells overall configuration and therefore the protein ribbons are the overall "gate keepers". So to me, the reimannian topology comes into play at the displacement of energy of the amine (like how atp is a release of energy as its broken by the enzymes and we use that as energy) so the topology comes in (bear with me im ranting now) with the time dependent schrodinger equation. This is correlated with the topology of the electron angle of the amine molecule, and therefore consistent with directed model of the particular motivation that the amine (or hormone!) has had on the evolution of our dna. So the info contained in the codons exons and introns, are the actual mathematics explained in this video represented in a statistical way. Rant over
      Its tough to combine so many areas and not be challenged without proof so i accept any attacks of such wild claims

    • @thstroyur
      @thstroyur Před 7 lety

      So lemme see if I understand: 1) electron density at neuroterminals influences synapse direction, 2) said electron density is dependent on biomolecular configurations, 3) said configurations are altered by energy-releasing processes but molded after 4) the electron density in nucleotides and neurotransmitters. But even so, I still see no deep connection with Riemann theory (i.e., metric manifolds), even if you wish to visualize the 'topology' of molecules, as you call it, as a potential-surface-like landscape wherein time-dependent/nonequilibrium evolution takes place.
      As for proofless rants, I'm understanding; recently I showed a (simple) formal solution for the TDSE to a researcher, and I got a sound scolding >_

    • @thermotronica
      @thermotronica Před 7 lety

      thstroyur ok here is my proposal... as points close to each other diverge polynomially(at least in a unipotent geodesic flow as well as in the horocycles) and closed sets are not supported by piecewise linear manifolds, hyperbolic surfaces allow a horocycle flow, keeping unipotent flows nondivergent, showing holonomy of ergodicity supported by affine submanifolds. Using polynomial shearing to diverge invokes vector growth as stable foiliatons on linear subspaces using cantor sets, keep the polynomial shearing divergence as an exponential drift, showing that inverse measures are closed orbits only if the holonomy can be stable by identifying the unit tangent bundle as an ergodic measure of the invariance being equidistributed. So as any horosphere inverse measure is geometric, and we are using polynomial drift to equidistribute, i would allow a lebesgue measure framed in a fourier series.
      So the electric part of an action potential can be measured ergodically by ablelian differentials, and cant be additive like the chemical releases can
      Can you summarize your schrodinger take?

  • @levi12howell
    @levi12howell Před 7 lety

    What's a herpies simplex?

  • @TheTessatje123
    @TheTessatje123 Před 2 lety

    6:49: Why are there 4 one-dimensional Betti numbers and 1 two-dimensional Betti numbers in the merged donuts?

  • @TheLazyEngineer
    @TheLazyEngineer Před 7 lety +2

    2:12 - "a 4-simplex is difficult to imagine"
    Yes, it is! But let's try...
    As Kelsey says 0:45 - all vertices of a simplex are connected pairwise to form the edges. Just like a 2D object has a 1D boundary; a 3D object has a 2D boundary; a 4D object - and therefore the 4-simplex - has a 3 dimensional boundary. We also know that because everything is connected pairwise, the boundary must be made of tetrahedra.
    Tetrahedra have 4 vertices. We can do the math to see how many Cells (3 dimensional boundary pieces) compose the 3D boundary of the 4-simplex. So, we want all the ways that we can form a tetrahedron from these 5 vertices that make up the 4-simplex,
    In other words, we can evalaute (5 choose 4) = 5. So there are 5 tetrahedron cells (Ah! No wonder the 4-simplex is also called the "5 cell"!)
    Next we can define 5 unique vertices in 4D space (x,y,z,w).
    Then we can find the intersection of the w=0 hyperplane with each of the 5 tetrahedron cell boundaries to find the boundary of the "3D slice" of 4-simplex. Finally, by rotating and translating the 4-simplex through the w=0 hyperplane (which is 3D xyz space that we live in)
    We can visualize the geometry of the 4-simplex.
    Furthermore, as Kelsey says 2:53 - "we can stick higher dimensional simplices together along higher dimensional faces.." Let's go ahead and try that! Since we are dealing with the 4-simplex, 2 connected 4-simpices are interfaced along an entire 3D Cell. So, let's pick any 4 vertices of our first 4 simplex and define a 2nd 4-simplex using these 4 vertices and then a 5th unique one.
    Using the same simulation, we can visualize this 4 dimensional simplicial complex!!
    I've programmed renderings of this so we can all see the geometry, and I just emailed a video showing the demo of the 4-simplex and 4D simplical complex. I give permission to share the video on this channel if you want to.

  • @marcbartolabac9109
    @marcbartolabac9109 Před 7 lety

    This reminds me of the hydra and the bridges of konigsburg.

  • @lennoxtvthingy7408
    @lennoxtvthingy7408 Před 2 lety

    The shape at 5:20 does have a name! It's called a truncated icosahedron.

  • @TheLetterW736
    @TheLetterW736 Před 7 lety +3

    Spoilers! The giant awkward shape is a truncated icosahedron (buckyball).

  • @richarddeese1991
    @richarddeese1991 Před 5 lety +1

    Neat video! I remember in my early twenties, I was reading about neural networks, & I was fiddling around with the idea of a number of points; each point would represent a computer CPU. I wondered if there was a way to figure out how many lines it would take to connect every CPU (point) to every other. Eventually, I discovered [as opposed to invented!!!] that the formula was: x = (n(n-1))/2. [where 'n' is the number of points, and 'x' is the number of connections] I was pretty proud of that. But I had no idea what it meant, or what it might relate to. Imagine my surprise when, 20 years later, I discovered (while playing Q-Bert) that the number of squares he's hopping around on can be derived by knowing the length of one side of the triangle [playing board], & using: x = (n(n+1))/2. Weird! Thanks to your wonderful video, I now have something to 'connect' all of this TO! It's fascinating that all of these things: triangles, tetrahedra, neural networks, complete graphs, etc., are indeed CONNECTED! This sort of thing really gets my brain's wiring firing! Thanks again. :D Rikki Tikki.

  • @seeker296
    @seeker296 Před 7 lety

    I've never understood anything less in my life o.o

  • @weebleapplesmooooo
    @weebleapplesmooooo Před 6 lety +1

    This is too smart for me

  • @toxicara
    @toxicara Před 7 lety

    5:22... that giant shape without a name is called a truncated icosahedron

  • @ratman8112
    @ratman8112 Před 2 lety

    why does a double torus have 2d betti number 1 when it has 2 holes

  • @manueldelrio7147
    @manueldelrio7147 Před 7 lety

    from now on, a k-simplex is going to be for me a 'kelsey-simplex'!

  • @chiyanyu553
    @chiyanyu553 Před 7 lety

    2×number of holes+vertices-edges+faces=2

  • @theatheistpaladin
    @theatheistpaladin Před 7 lety +1

    What are the Hulk's favorite numbers? Betti numbers!

  • @jeffirwin7862
    @jeffirwin7862 Před 7 lety

    Nelder Mead FTW. You can solve real 3D world concrete problems with abstract nD dimensional simplices, even with n > 3!

  • @jonasga
    @jonasga Před 7 lety +1

    Why your fill lighting so bad this episode? The green screen was reflecting on your shoulders and hair and it made the chromakey look so aliased D:

  • @dillymcdamm
    @dillymcdamm Před 5 lety

    It’s ok, math. There’s a branch of me entirely devoted to holes too.

  • @jordanschriver4228
    @jordanschriver4228 Před rokem +1

    When you clearly said "homology", the subtitles said "[INAUDIBLE]". Like, what do you mean, "[INAUDIBLE]"?

  • @HerbBennett
    @HerbBennett Před 2 lety

    Leonhard Euler knew this many moons ago!

  • @augustinelopez1508
    @augustinelopez1508 Před 4 lety

    Well said. The brain just so happens to be one of my study topic in life. 😎☕☕

  • @davidt1152
    @davidt1152 Před 6 lety +1

    Isn't the awkward shape a soccer ball?

  • @bronylike2905
    @bronylike2905 Před 7 lety

    the "shape without a name" is a truncated icosahedron

  • @sizur
    @sizur Před 7 lety +1

    Who would down-vote such an awesome video? Have chicken brains evolved enough to peck a dislike?

  • @edwardfanboy
    @edwardfanboy Před 7 lety

    The giant awkward shape without a name is a truncated icosahedron.

  • @wcbq
    @wcbq Před 7 lety +1

    The Shape without a name is a truncated icosaheadron

    • @stevethecatcouch6532
      @stevethecatcouch6532 Před 7 lety

      At least on this side. (Thumbs up for the sophisticated allusion to an Isaac Azimov anecdote about Secretary of State Cordell Hull.)

  • @marian519
    @marian519 Před 7 lety

    Someone put in 3-dimensional simplex noise at 1:13 just to troll us...

  • @mmicoski
    @mmicoski Před 7 lety

    Wow! Can a brain understand the functioning of a brain?

  • @nmahyavnshi2428
    @nmahyavnshi2428 Před 7 lety

    and 24-36+14=2 for two combined donuts

  • @hipsnowsis7374
    @hipsnowsis7374 Před 8 měsíci

    "we're limited to animating them in 3 dimensions" i, for one, do not have a 3-d monitor. i think you mean two dimensions

  • @bbbl67
    @bbbl67 Před 7 lety

    Mathematicians are hilarious, so we got simplex complexes? LOL!

  • @andrer.6127
    @andrer.6127 Před 5 lety

    So, the brain is non-commutative?

  • @DungeonBricks
    @DungeonBricks Před 7 lety +1

    My brain is in a mutidimensional pain

  • @dijek5511
    @dijek5511 Před 7 lety

    Um... Giant awkward shape without a name = Bucky ball

  • @Andy-em8xt
    @Andy-em8xt Před 3 lety

    "This donut has two 1 dimensional holes" wut