Wednesday, December 03, 2008

Quantum Leap/Quantum of Solace/What does Quantum mean anyway?

When the term quantum is used in English it often means large as in the TV show Quantum Leap. The recent James Bond Movie Quantum of Solace seems to use the word quantum to mean small (also the name of a bad guy organization). What should it mean to better reflect what it is in Physics?
  1. Large: Quantum is discrete and hence moving in jumps is large compared to continuos things that move in very very small units (if units at all).
  2. Small: The jumps are really small!
  3. Neither: The point of Quantum is that things are discrete. This is neither large or small.
Some other random thoughts on this:
  1. Was the term quantum originally a word in English that is now used for science, or was it originally a word in science that is now used in English?
  2. The word random in English often means something slightly different- arbitrary.
  3. The word continuos as it is used in math bothers me. There are some functions that look non-continuos but by the formal definition they are. The term uniformily continuos takes care of this, but they should just rename things so math-continuos matches common-sense-continuos.
  4. Valiant defined a parsimonious reduction to be a reduction where the number of solutions is preserved (e.g., if SAT \le 3-COL via such a reduction f then if \phi has X sat assignments, then f(\phi) has X 3-colorings). I had never heard of the term parsimonious before I saw those reductions. It means thrifty but with a positive angle (as opposed to cheap). I don't quite see why thats really what you want to call these reductions.

17 comments:

  1. It means thrifty but with a positive angle (as opposed to cheap).

    This is not correct, in my experience, and according to the dictionary I just checked. ("Ungenerously or pettily reluctant to spend money") It in fact does mean cheap in the sense you allude to.

    Just making sure our young complexity theorists can appreciate the joke for one moment in their lives...

    ReplyDelete
  2. According to the wiktionary quantum originally just meant quantity or amount, with no implication of discreteness, largeness or smallness.

    ReplyDelete
  3. My sense of the ex-science definition of quantum agrees with what Matt said. A quantum is 1 of whatever unit is used to measure something, e.g. 1 head of cattle, 1 share of stock, 1 barrel of oil...

    ReplyDelete
  4. This comment has been removed by the author.

    ReplyDelete
  5. According to the OED "quantum" was already used in 1564 with the philosophical meaning "something that has quantity". (The example that it gives is John Jewel's "that ye body of Christ is quantum in Eucharistia".) So, yes, that predates even classical mechanics.

    ReplyDelete
  6. The word continuos as it is used in math bothers me.

    It bothers me too, to the extent it is used at all. :-)

    There are some functions that look non-continuos but by the formal definition they are. The term uniformily continuos takes care of this, but they should just rename things so math-continuos matches common-sense-continuos.

    That's 100% backwards. Instead, your common-sense intuition should be revised to fit the definitions. I'm actually serious about this: intuition needs to be built and extended, and there's nothing sacred about whatever intuitions you start the process with.

    As for this specific issue, I don't even think common sense agrees with you. Common sense suggests that continuity should be a local property; by contrast, uniform continuity is intrinsically global.

    I don't quite see why thats really what you want to call these reductions.

    It was probably inspired by the use of the term "parsimony" in biology to mean efficiency in the Occam's Razor sense.

    ReplyDelete
  7. Before Planck et al, "quantum" was a Latin word, a form of "quantus", which just means quantity. It carries a natural connotation of indivisibility even if doesn't explicitly mean that. Since it is standard Latin and close to the English word "quantity", it may have been used in English before then, although a cursory search in Google Books suggests it mainly appeared in the phrase "quantum meruit", which literally translates as "deserved quantity" and means "reasonable compensation for an incomplete contract". That meaning does not imply discreteness.

    Now that quantum mechanics is entrenched, "quantum" usually means an indivisible quantity of something measured continuously.

    If they had been fans of English rather than Latin, they might have used a word like "lump". (After all, "lump sum equivalent" is very similar to "quantum meruit".) Then we would be studying "lump mechanics" instead of quantum mechanics.

    ReplyDelete
  8. Williams Safire has a column in the New York Times ("On Language" in the Sunday NYT magazine) about 10 years ago. His conclusion was that it sometimes takes on both meanings of "big" and "small".

    ReplyDelete
  9. The OED agrees with Bill. Parsimonious means efficient, economic: "Her expenditure was parsimonious and even miserly".

    However American dictionaries tend to equate parsimonious with stingy and all its negative connotations.

    ReplyDelete
  10. If a physical or informatic quantity is invariant under Mike and Ike's Theorem 8.3 "Unitary freedom in the operator-sum representation", then it is (by my working definition) quantum.

    Otherwise, not.

    This definition encompasses all of scattering theory, for example ... which according to the Feynman-Wheeler motto "everything as scattering" means it encompasses all of physics.

    And further, it encompasses a great range of topics in information theory, complexity theory, and simulation science too.

    That's my working definition of "quantum", anyway ... its main virtue is it is mathematically well-posed!

    ReplyDelete
  11. The word continuos as it is used in math bothers me. There are some functions that look non-continuos but by the formal definition they are. The term uniformily continuos takes care of this, but they should just rename things so math-continuos matches common-sense-continuos.

    In mathematics it is important to have a definition that captures that are mathematically important. The motivation for definitions should be primarily about how they fit with the mathematics. E.g. "compact" is a very useful definition not because it captures the original meaning of compact, but because it captures exactly the properties you care about for many things.



    However American dictionaries tend to equate parsimonious with stingy and all its negative connotations.

    I missed the word "dictionary" the first time I read this. Twas an amusing misreading.

    ReplyDelete
  12. The notion of parsimony as a positive attribute goes at least back to Occam's Razor which is also known in Latin as "lex parsimoniae".

    ReplyDelete
  13. Bill, if you worked in algorithms rather than complexity, you may have encountered the word parsimonious earlier. An important paper in the field of network design is:

    M.X. Goemans and D. Bertsimas, Survivable Networks, Linear Programming Relaxations and the Parsimonious Property, Mathematical Programming, 60, 145--166, 1993.

    ReplyDelete
  14. The term uniformily continuos takes care of this, but they should just rename things so math-continuos matches common-sense-continuos.

    The function f(x)=x^2 (defined on R) is common-sense-continuous and math-continuous; but it is not uniformly-continuous.

    ReplyDelete
  15. Our intuition of what is a continuous function is fuzzy. Say consider the function x^(1/3). Is it continuous around zero?

    In some sense yes, as we can "draw it without lifting the pencil". In another sense no, as the value of the function changes very rapidly around zero.

    ReplyDelete
  16. How about a Cauchy like definition of continuity?

    A function is Gasarch continuous if

    (a) it is uniformly continuous or

    (b) |x-y| < delta implies |f(x)-f(y)| < epsilon*c(x), where c(x) is a Gasarch continuous function.

    ReplyDelete
  17. The working title of the latest Bond film was "Modicum of Respite"
    (stolen from Connan O'Brien, Harvard '8

    --Mom of PhD hopeful

    ReplyDelete