A New Mathematics for Computing
h30565.www3.hp.com
A New Mathematics for Computing
1–9 of 9 posts
Re: A New Mathematics for Computing
#2It seems that the actual explanation (using Hamming distances) could be used instead of the bubble-wrap analogy (in the same amount of space, without making more assumptions about the reader). I felt it didn't represent the trade-off (or rather the strict improvement in this case) very well. In fact, it seems to suggest something that is false (that the two methods are fundamentally different).
They also start using graphs without an (informal) definition.
I didn't know about tree codes before so this could have been interesting but I still don't know much about them. The article alludes to some kind of uniqueness theorem
but remarkably Leonard showed there is actually one out there that’s useful
but the end suggests that we do not actually know the optimal strategy (so I guess its just an existence proof?).
a set of structured binary strings, in which the metric space looks like a tree,
doesn't tell me much either. How should I interpret "look like"? Do I approximately embed the space in R^n? Do they mean that its close to a tree metric?
Finally, the article also didn't mention how little we actually know about, say, the Shannon capacity of many (small) fixed graphs. The impression I got is that we already know all there is to know about "classical" Shannon capacity (which I believe is false).
Re: A New Mathematics for Computing
#3Re: A New Mathematics for Computing
#4http://users.cms.caltech.edu/~schulman/Papers/intercoding.pd...
Re: A New Mathematics for Computing
#5This article is light on the details. Here is the paper it's based on (I think): http://users.cms.caltech.edu/~schulman/Papers/intercoding.pd...
Re: A New Mathematics for Computing
#6Re: A New Mathematics for Computing
#7This article is light on the details. Here is the paper it's based on (I think): http://users.cms.caltech.edu/~schulman/Papers/intercoding.pd...
I see the author is from the Imposing Wall of Text school of typesetting.
Re: A New Mathematics for Computing
#8My respectful suggestion for those truly interested in following up is to contact either Leonard or Amit directly. Of necessity, any math that is translated into prose is going to be imprecise, and thus, unsatisfying.
To answer a few of the specific questions that were brought up:
Yes, it is essentially an existence proof. At least for now. Yes, that paper is a good starting point. Also take a look at Amit's work. Yes, buses inside chips is something they think it could be useful for. (Sigh) I wish there were a better introduction to tree codes at a lay level. Believe me, I tried very hard to find one. FWIW, both scientists vetted the explanations.
Re: A New Mathematics for Computing
#9Thank you all for your thoughtful comments. You've hit the heart of the challenge in any kind of science writing: Trying not to frighten off those unfamiliar with a field and therefore using metaphors, such as bubble wrap, while at least touching on some common ground for those who are (Hamming distances). My respectful suggestion for those truly interested in following up is to contact either Leonard or Amit directl…
He writes, "Yes, a tree code is a near-isomorphic image of a tree metric. No, this has nothing to do with the Shannon capacity of graphs."
Thank you again for your comments.