DSPRelated.com
Forums

Shannon and Sphere Hardening

Started by Tim Wescott March 24, 2017
Hmm.  Brute force, but it might work.

On Sat, 25 Mar 2017 16:19:17 -0400, Randy Yates wrote:

> Tim, > > Have you considered using the Gnu MP library to extend the dynamic range > of your gamma function? > > Tim Wescott <seemywebsite@myfooter.really> writes: > >> So, I'm toying with Shannon's capacity theorem, trying to graph out the >> "sphere hardening" effect that he cites as the basis of the principle. >> >> I can see, intuitively, how the whole notion that the volume of a >> sphere is concentrated in a thin shell works, but when I try to >> calculate actual numbers I start running into numerical difficulties at >> dimensions of around 150 or 200. >> >> Even with a 150-dimensional sphere, as the sphere radius increases, the >> transition in the cumulative probability function of a signal not being >> within the sphere vs. the signal being inside the sphere is fairly >> gradual. >> >> I want to make some visual aids that show the sphere hardening up as >> the dimensions get higher -- can anyone point me to math for >> calculating this that does not involve calculating the gamma function >> (which is what's blowing up in my face)? >> >> Thanks. >> >> (And yes, this is badly stated -- low blood sugar and a persistent cold >> means that right now my fingers are being directed by a large lump of >> trembling snot, not a cohesive collection of brain cells. Aim your >> "well asked question" gun at this posting and fire away -- I'll try to >> clarify as I go.)
-- Tim Wescott Control systems, embedded software and circuit design I'm looking for work! See my website if you're interested http://www.wescottdesign.com
Tim Wescott <tim@seemywebsite.com> writes:

> Hmm. Brute force, but it might work.
Of course it won't help a bit if you're trying to evaluate it at the negative integers..
> > On Sat, 25 Mar 2017 16:19:17 -0400, Randy Yates wrote: > >> Tim, >> >> Have you considered using the Gnu MP library to extend the dynamic range >> of your gamma function? >> >> Tim Wescott <seemywebsite@myfooter.really> writes: >> >>> So, I'm toying with Shannon's capacity theorem, trying to graph out the >>> "sphere hardening" effect that he cites as the basis of the principle. >>> >>> I can see, intuitively, how the whole notion that the volume of a >>> sphere is concentrated in a thin shell works, but when I try to >>> calculate actual numbers I start running into numerical difficulties at >>> dimensions of around 150 or 200. >>> >>> Even with a 150-dimensional sphere, as the sphere radius increases, the >>> transition in the cumulative probability function of a signal not being >>> within the sphere vs. the signal being inside the sphere is fairly >>> gradual. >>> >>> I want to make some visual aids that show the sphere hardening up as >>> the dimensions get higher -- can anyone point me to math for >>> calculating this that does not involve calculating the gamma function >>> (which is what's blowing up in my face)? >>> >>> Thanks. >>> >>> (And yes, this is badly stated -- low blood sugar and a persistent cold >>> means that right now my fingers are being directed by a large lump of >>> trembling snot, not a cohesive collection of brain cells. Aim your >>> "well asked question" gun at this posting and fire away -- I'll try to >>> clarify as I go.)
-- Randy Yates, DSP/Embedded Firmware Developer Digital Signal Labs http://www.digitalsignallabs.com
On Sun, 26 Mar 2017 07:28:28 -0400, Randy Yates wrote:

> Tim Wescott <tim@seemywebsite.com> writes: > >> Hmm. Brute force, but it might work. > > Of course it won't help a bit if you're trying to evaluate it at the > negative integers..
Not needed. One of the insights that I wanted to share is just how slowly the spheres harden with increasing dimension, and the corresponding growth in delay if you want to get really close to achieving the channel capacity. -- Tim Wescott Control systems, embedded software and circuit design I'm looking for work! See my website if you're interested http://www.wescottdesign.com
On 25.03.2017 19:12, Tim Wescott wrote:
> > Actually, where Shannon's argument gets lazy is in sticking with the > volume argument: I'm trying to plot the cumulative probability density > per radius, or at least an approximation. The "volume concentrating" > property is valid, and the fact that the cumulative probability function > "hardens" with increasing dimension seems to be true, but Shannon's > argument about the link between the volume being concentrated on the edge > and the cumulative probability function hardening is just hand-waving -- > at least in his 1948 paper. >
Wow! For a while I imagined that you were writing a popular article about Shannon's theorem and were looking for some simple visual guides. But now I see that your goal is actually hacking into it. I'm not sure if that's any help, but have you been possibly looking into polar codes? They claim to asymptotically achieve the channel capacity; and in that facility are a valuable object for researchers. E.g., polar codes are _very_ briefly reviewed in "Trellis and Turbo Coding" by Schlegel and Perez. A couple of major references from that book (that I hope to read someday): Arikan 2009, http://ieeexplore.ieee.org/abstract/document/5075875/ Raymond and Gross 2014, http://ieeexplore.ieee.org/document/6876199/ Gene
On Mon, 27 Mar 2017 12:32:24 +0300, Evgeny Filatov wrote:

> On 25.03.2017 19:12, Tim Wescott wrote: >> >> Actually, where Shannon's argument gets lazy is in sticking with the >> volume argument: I'm trying to plot the cumulative probability density >> per radius, or at least an approximation. The "volume concentrating" >> property is valid, and the fact that the cumulative probability >> function "hardens" with increasing dimension seems to be true, but >> Shannon's argument about the link between the volume being concentrated >> on the edge and the cumulative probability function hardening is just >> hand-waving -- at least in his 1948 paper. >> >> > Wow! For a while I imagined that you were writing a popular article > about Shannon's theorem and were looking for some simple visual guides. > But now I see that your goal is actually hacking into it.
<<snip>> Actually, I _am_ interested in making a popular video about it. I think that showing a graphic of a cross-section of the spheres, appropriately scaled, hardening as the dimension gets bigger, will be a powerful way of explaining why just a few symbols worth of delay in your code doesn't come close to getting you down to the channel limit, and why there are codes out there with thousands of symbols of delay. -- Tim Wescott Control systems, embedded software and circuit design I'm looking for work! See my website if you're interested http://www.wescottdesign.com
This is weakly related:
 https://drive.google.com/open?id=0BwsgMLjV0BnhOGNxOTVITHY1U28