next up previous
Next: References Up: No Title Previous: Acknowledgements

Appendix A

Proof of Theorem 1. Let tex2html_wrap_inline2148 be the nearest neighbor of the query tex2html_wrap_inline1634 in the training set tex2html_wrap_inline2152 . We show that as long as we independently draw the training samples, the probability that tex2html_wrap_inline1634 traverses the recursive partition tree exactly same as tex2html_wrap_inline2148 approaches 1 as tex2html_wrap_inline2158 . Assume at the subregion tex2html_wrap_inline1802 , we have the projection matrices V and W. The mixture distance from tex2html_wrap_inline1634 to a center C under region tex2html_wrap_inline1802 is

displaymath2140

Using the triangle inequality property of the mixture distance, we have

eqnarray790

If the sum of the last three terms ( tex2html_wrap_inline2172 ) of the above equation tex2html_wrap_inline2174 , we would have tex2html_wrap_inline2176 which means that the approximator would make the same decision for tex2html_wrap_inline1634 and tex2html_wrap_inline2148 . Let tex2html_wrap_inline2182 be the event that the nearest neighbor of tex2html_wrap_inline1634 in the training set tex2html_wrap_inline2152 has a distance larger than tex2html_wrap_inline2188 while tex2html_wrap_inline2190 denotes the event that the the nearest neighbor of tex2html_wrap_inline1634 in the single tex2html_wrap_inline2194 has a distance larger than tex2html_wrap_inline2188 . Since each tex2html_wrap_inline2198 is independently and identically drawn, we have

displaymath2141

On the other hand, tex2html_wrap_inline1634 is a positively supported, which means that tex2html_wrap_inline2202 . Thus,

displaymath2142

which approaches zero when tex2html_wrap_inline2158 . So, given any value tex2html_wrap_inline2206 and tex2html_wrap_inline2208 , we can have a positive N, so that for any n>N, we have

displaymath2143

Now, we have shown that the approximator makes the same decision for tex2html_wrap_inline1634 and tex2html_wrap_inline2148 as tex2html_wrap_inline2158 gif. Finally, the fact that tex2html_wrap_inline1634 is an interior point guarantees that tex2html_wrap_inline2224 )=f( tex2html_wrap_inline2226 as tex2html_wrap_inline2158 .



Yuntao Cui
Wed Jun 25 16:00:42 EDT 1997