My Quantum Debate with Aram III

This is the third and last post giving a timeline and some non technical highlights from my debate with Aram Harrow.  

Where were we

After Aram Harrow and I got in touch in June 2011, and decided to have a blog debate towards the end of 2011, the first post in our debate describing my point of view was launched on January, 2012 and was followed by three posts by Aram. The discussion was intensive and interesting.  Here is a link to my 2011 paper that initiated the debate and to a recent post-debate presentation at MIT.

 Happy_Passover  Happy passover, readers!

Back to the debate: Conjecture C is shot down!

steveHARROW

In addition to his three posts, Aram and Steve Flammia wrote a paper refuting one of my Conjectures (Conjecture C).  We decided to devote a post to this conjecture.

Quantum refutations and reproofs

Post 5, May 12, 2012. One of Gil Kalai’s conjectures refuted but refurbished

Niels Henrik Abel was the patron saint this time

The first version of the post started with this heartbreaking eulogy for Conjecture C. At the end most of it was cut away. But the part about Aram’s grandchildren was left in the post.

Eulogy for Conjecture C

(Gil; old version:) When Aram wrote to me, inn June 2011, and expressed willingness to publicly discuss my paper, my first reaction was to decline and propose having just private discussions. Even without knowing Aram’s superb track record in debates, I knew that I put my beloved conjectures on the line. Some of them, perhaps even all of them, will not last. Later, last December, I changed my mind and Aram and I started planning our debate. My conjectures and I were fully aware of the risks. And it was Conjecture C that did not make it.

A few words about Conjecture C

Conjecture C, while rooted in quantum computers skepticism, was a uniter and not a divider! It expressed our united aim to find a dividing line between the pre- and post- universal quantum computer eras.

Aram’s grandchildren and the world before quantum computers


When Aram’s grandchildren will ask him: “
Grandpa, how was the world before quantum computers?” he could have replied: “I hardly remember, but thanks to Gil we have some conjectures recording the old days, and then he will state to the grandchildren Conjectures 1-4 and the clear dividing line in terms of Conjecture C, and the grandchildren will burst in laughter about the old days of difficult entanglements.” Continue reading

My Quantum Debate with Aram II

This is the second of three posts giving few of the non-technical highlights of my debate with Aram Harrow. (part I)

After Aram Harrow and I got in touch in June 2011, and decided to have a blog debate about quantum fault-tolerance towards the end of 2011, the first post in our debate was launched on January 30, 2012.  The first post mainly presented my point of view and it led to lovely intensive discussions. It was time for Aram’s reply and some people started to lose their patience.

(rrtucky) Is Aram, the other “debater”, writing a dissertation in Greek, as a reply?

Flying machines of the 21st century

Post II, February 6, 2011. First of three responses by Aram Harrow

Dave Bacon was the patron saint for Aram’s first post.

(Aram) There are many reasons why quantum computers may never be built…  The one thing I am confident of is that we are unlikely to find any obstacle in principle to building a quantum computer.

(Aram) If you want to prove that 3-SAT requires exponential time, then you need an argument that somehow doesn’t apply to 2-SAT or XOR-SAT. If you want to prove that the permanent requires super-polynomial circuits, you need an argument that doesn’t apply to the determinant. And if you want to disprove fault-tolerant quantum computing, you need an argument that doesn’t also refute fault-tolerant classical computing.

From the discussion

Why not yet? Boaz set a deadline

boaz

(Boaz Barak could [you] explain a bit about the reasons why people haven’t been able to build quantum computers with more than a handful of qubits yet? Continue reading

Links and Comments

l10n74

The link  L10n74 

(click on the picture to see L10n74’s Braid representation, its Morse link presentation, its Alexander and Jones polynomials, its Khovanov homology, and more, much more.)

Here are some links and further comments regarding the last four posts. (Mainly for the post about controversies.)

Controversies

Climate-change

This is probably the most important issue as far as direct policy implications. (And it is a clear-cut scientific debate.) I have very little first-hand knowledge on the climate change debate. I found links to two blogs on “shtetl-optimized” (Both representing the common views regarding the issue – namely that global warming is caused by humans). The first is RealClimate  (that made a good impression on me), and the second is Climate change denial (that did not make a good impression on me). 

An interesting paragraph from the second blog in a post about “Israeli climate change denial”  (written by Lucy Michaels) is:

“A further aspect of Israeli climate denial, argued by [Pinhas] Alpert and supported by my own research, is that there is a relatively high number of climate skeptics in Israel such as astrophysicist Nir Shaviv who still persists with his Cosmic Ray theory despite it being roundly rebutted by the scientific community. A personal friend at the Israel Meteorological Service is yet to be convinced of the anthropogenic causes. Alpert argues that climate skepticism in Israel represents a Jewish trait based on traditions of Jewish critical learning – to constantly dispute and find alternative explanations. This, I think, is a polite way of saying that Israelis in general are an argumentative and contrary bunch.”

Hmm! (Actually I know Nir Shaviv quite well, here is his blog.)  The notion “climate denial” is especially cute.

Our local Institute for Advanced Study will hold starting today a large workshop on “Reducing the Uncertainty in the Prediction of Global Warming” about (mainstream) climate-change science.

Smoking

Interesting papers by the famous statistician Ronald Fisher  who was critical regarding the connection between smoking and cancer can be found here.

Economics, games and psychology 

A very skeptical view on the normative or descriptive value of economic theory and game theory (even in principle) is expressed by Ariel Rubinstein (here, and here).  Robert Aumann has a very different view.  (Look at this paper  .)

Rationality and psychology. Continue reading

Debates

 

Debates are fascinating human activities that are a mixture of logic, strategy, and show. Not everybody shares this fascination. The German author Emil Ludwig considered debates to be the death of conversation. Jonathan Swift regarded debates as the worst sort of conversation, and debates portrayed in books as the worst sort of reading. Public debates pose various interesting dilemmas. Continue reading

Controversies In and Near Science

Controversies and debates in and around science – between researchers within the same discipline, between competing theories, between competing fields, and between accepted scientific viewpoints and viewpoints rooted outside science – are common. 

Is there global warming and is it caused by high emissions of CO2 by humans? Or is global warming perhaps a myth, or rather an established fact caused by changes in the sun’s radiation, which has little to do with us? Is quantum physics correct? Can quantum computers, which have superior computation power that can crack the codes used for most commercial communication, be built? Are the teachings regarding free-market economy scientifically based?  What is rationality?  What is the weight of psychology in understanding economics?  What is the value of mathematical tools in the social sciences? What are the limits of artificial intelligence? Is string theory promising as the ultimate physics theory of everything?

What is the origin of the Scrolls of Qumran (the Dead Sea scrolls)? Were they written by a sectarian group living in a village close to the caves where they were discovered, as the dominant theory asserts?  Magen Broshi, a senior Jerusalem-based archaeologist and the ex-curator of the “Shrine of the Book” who subscribes to the central theory regarding the scrolls, said once in a public lecture: “There are  twelve theories regarding the origins of the Qumran scrolls. Continue reading

Combinatorics, Mathematics, Academics, Polemics, …

1. About:

My name is Gil Kalai and I am a mathematician working mainly in the field of Combinatorics.  Within combinatorics, I work mainly on geometric combinatorics and the study of convex polytopes and related objects, and on the analysis of Boolean functions and related matters. I am a professor at the Institute of Mathematics at the Hebrew University of Jerusalem and also have a  long-term visiting position at the departments of Computer Science and Mathematics at Yale University, New Haven.  

 

 

 

 

 

 

 

 Gosset polytope– a hand drawing by Peter McMullen of the plane projection of the 8-dimensional 4-simplicial 4-simple Gosset polytope. Continue reading