A CDMA multiuser detection algorithm based on survey propagation

A computationally tractable CDMA multiuser detection algorithm is developed based on survey propagation.Comment: Abstract for my presentation at Randomness and Computation Joint Workshop ``New Horizons in Computing'' and ``Statistical Mechanical Approach to Probabilistic Information Processing'' (18-21 July, 2005, Sendai, Japan

A rigorous proof of the cavity method for counting matchings

In this paper we rigorously prove the validity of the cavity method for the problem of counting the number of matchings in graphs with large girth. Cavity method is an important heuristic developed by statistical physicists that has lead to the development of faster distributed algorithms for problems in various combinatorial optimization problems. The validity of the approach has been supported mostly by numerical simulations. In this paper we prove the validity of cavity method for the problem of counting matchings using rigorous techniques. We hope that these rigorous approaches will finally help us establish the validity of the cavity method in general.Comment: 11 pages, 1 figur