hi all, seem to have reached a momentary lull in my own schedule and also the QM computing news that typically runneth over. maybe a moment of breath to clear out the queue. years ago it was cutting edge to talk about it but now it looks like a lot of the media is attuned and into covering the race[k] esp with inroads by big corporations (Google, IBM, Microsoft, Intel) into the area. Intel seems a relative newcomer but did finally show up on the radar.[a10]
can recall some of the earliest QM computing books came out around late 1990s eg 1997 or so, so now its been almost exactly 2 decades. here is a technology with immense promise but also immense engineering challenge.
hi all. have blogged before here (admittedly, enthusiastically, even ebulliently) on the “digital physics” concept, an enamoring idea (for some!). recently within last few weeks and last year there seems to be substantial new interest and developments even in “semimainstream” physics, and now even the mainstream media is in a semi-lather over close topics. (skeptics will ofc argue the word “semimainstream” sounds something like “semipregnant”!) its hard to keep up! there are many different angles of povs, events, personalities, etc… this post attempts to collect and summarize some of this and bang it all into a semicoherent story (as much as such a thing is possible). some old but evocative buzz/ magic words thrown around about internet expansion into multiple industries come to mind: consolodation/ convergence…
to start, these ideas are now going under the headline of the “holographic universe/ principle”[a2] or “simulated universe/ hypothesis”[a1] concepts. they are interconnected in major and/ or subtle ways.
mentioned Aaronsons recent blog[i3] on subj citing Hossenfelder [i1][i2] in a recent near-throwaway comment in the SE physics chat room “hbar”[a5] to a new accomplished user BenNiehoff (phd KU Leuven working on string theory with 9 papers on arxiv!). hes met a lot of famous physicists at conferences personally eg Susskind, Zee, Green, Schwarz, and Witten and other famous theorists. am trying to recruit him for a guest session in our elite and popular series, but thats another story!
laid out some of the basic concepts/ “pros” of the simulation hypothesis ideas incl/ eg longtime endorsement/ driven pursuit by nobel prize alumnus ‘t Hooft, which thought were not generally very controversial, but the room denizens/ regulars reacted quite adversely-bordering-on-negatively, with some really stinging retorts! guess those big fat shiny nobel prizes and the proverbial “trip to stockholm” just aint what they used to be! Ben expressed his disinclination and looks like they all smelled blood in the water & went in for the kill! 😮 😦
Ah, as usual you have no actual argument to make, I should’ve known. —ACuriousMind [a6]
vzn; do you have any mainstream views? —John Rennie [a7]
➡ 💡 ❗ ⭐ ⭐ ⭐ 😮 😎 a youtube blogger “Veritasium” specializing in physics has over 300M views collectively on his videos.[a3] he has a “Patreon” page where he earns about $2.5K per video. at nearly one per week, hes apparently making close to $150K per year off of his youtube videos from that revenue stream alone[a4]—talk about getting paid to do what you love aka “dream job”. he has his own wikipedia page.[a2] (which makes me wonder, is there anyone comparable out there doing CS type videos? this really eyepoppingly shows theres a market for this stuff…)
veritasium just covered the silicone oil droplet experiments of bush and the video is currently at over 1M views.[a1] so its a totally certifiably viral video (whatever that means, just made it up!). to get this kind of exposure for this obscure physics factoid/ phenomenon is utterly phenomenal. he does it in an introductory way yet includes very advanced info eg re copenhagen interpretation, DeBroglie-Bohm pilot wave theory etc. this will only increase the momentum of this particular research area. so am commemorating this momentous event/ achievement with the FIRST embedded video ever on this blog. hurry, click now!
actual U Texas Stampede supercomputer where proof was run [a2]
➡ 💡 ❗ ⭐ 😎 😀 hi all. RJLipton recently covered the amazing/ brilliant breakthrough of solving the pythagorean triples problem by empirical work namely a reduction to SAT and analysis by a supercomputer by Heule, Kullmann, Marek and its a nice pivotal trigger/ tipping point for my own writeup along with related stuff.[a] (have been waiting for opportune time to write this up since may.) proofs like these are a complex or “complicated relationship” for mathematicians (aka facebook-speak), a love-hate affair. (did the extraordinary/ breakthrough/ revolutionary/ paradigm-shifting 4-color computer proof ever win any awards? and how much despair/ handwringing and further effort has there been over it over the decades?)
the breakthrough is celebrated but mathematicians would like to see shorter proofs that are human-comprehensible, so there are mixed/ ambivalent feelings about it within the community. have written on this topic quite at length in this blog even since its beginnings, and this latest breakthrough is delightfully affirmationally crosscutting across many of this blogs categories, and think this is the tip of the iceberg of 21st century mathematics in a way not yet fully recognized. its a dramatic, vivid realization/ materialization of an idea suggested a few years ago here called “SAT induction.” think that these types of proofs will lead to new theory that is indeed human comprehensible but some of the isolated theorems will be claimed first by computer analysis before the more thorough theory catches up to integrate them.
hi all. ramanujan is one of the great/ inspiring/ legendary characters out of the pantheon of math heroes and they just released a major hollywood movie on his life starring Dev Patel and Jeremy Irons. its been a few great years lately for geeks of all stripes such as with the facebook movie, google movie, and the Turing movie (just a few that immediately come to mind). am really enjoying this moment in the spotlight or sun. if you are curious about such things, the etymology of geek vs nerd and the relation of “semantic drift” is now documented on dictionary.com, but the short story is that what was once a stigma is now an accolade/ badge of honor.[b15] and lets face it, mathematicians are long close to the stereotypical ultimate geeks. which reminds me of old joke:
Q. how can you tell if a mathematician is extroverted?
A. he looks at your feet while talking to you.
the movie is based on a book by Kanigel now about ~¼ century old (1992).[b14] bought the book as soon as it was available but never did read it! am delighted that the public has rediscovered this great intellectual hero/ prodigy, and some aspects of his story are being played up in the modern age such as the “diversity” angle. we also have a huge mix of indian culture into the US, and indians seem to be overrepresented in the technology field, although have not seen many mention this. india is also a world powerhouse in software outsourcing, although maybe that wave while still moving/ in motion is not as strong after over a decade of very intense rampup. cities such as Bangalore and Hyderabad are miniature foreign Silicon Valleys although ofc the latter is distinctly singular worldwide.
another great ref on Ramanujan is some essays in the amazing book World of Mathematics, 1956.[b13] think may have heard 1st of ramanujan from this book found while browsing the math section of different libraries.