The Annals of Applied Probability

Dynamic tree algorithms

Hanène Mohamed and Philippe Robert
Source: Ann. Appl. Probab. Volume 20, Number 1 (2010), 26-51.

Abstract

In this paper, a general tree algorithm processing a random flow of arrivals is analyzed. Capetanakis–Tsybakov–Mikhailov’s protocol in the context of communication networks with random access is an example of such an algorithm. In computer science, this corresponds to a trie structure with a dynamic input. Mathematically, it is related to a stopped branching process with exogeneous arrivals (immigration). Under quite general assumptions on the distribution of the number of arrivals and on the branching procedure, it is shown that there exists a positive constant λc so that if the arrival rate is smaller than λc, then the algorithm is stable under the flow of requests, that is, that the total size of an associated tree is integrable. At the same time, a gap in the earlier proofs of stability in the literature is fixed. When the arrivals are Poisson, an explicit characterization of λc is given. Under the stability condition, the asymptotic behavior of the average size of a tree starting with a large number of individuals is analyzed. The results are obtained with the help of a probabilistic rewriting of the functional equations describing the dynamics of the system. The proofs use extensively this stochastic background throughout the paper. In this analysis, two basic limit theorems play a key role: the renewal theorem and the convergence to equilibrium of an auto-regressive process with a moving average.

First Page: Show Hide
Primary Subjects: 68W40, 60K20
Secondary Subjects: 90B15
Full-text: Access denied (no subscription detected)
We're sorry, but we are unable to provide you with the full text of this article because we are not able to identify you as a subscriber.
If you have a personal subscription to this journal, then please login. If you are already logged in, then you may need to update your profile to register your subscription. Read more about accessing full-text
Links and Identifiers

Permanent link to this document: http://projecteuclid.org/euclid.aoap/1262962317
Digital Object Identifier: doi:10.1214/09-AAP617
Zentralblatt MATH identifier: 05678698
Mathematical Reviews number (MathSciNet): MR2582641

References

[1] Aldous, D. J. (1987). Ultimate instability of exponential back-off protocol for acknowledgement-based transmission control of random access communication channels. IEEE Trans. Inform. Theory 33 219–223.
Mathematical Reviews (MathSciNet): MR880163
Digital Object Identifier: doi:10.1109/TIT.1987.1057295
[2] Berger, T. (1981). The Poisson multiple-access conflict resolution problem. In Multi-User Communication Systems (G. Longo, ed.). CISM Courses and Lectures 265 1–28. Springer, New York.
Mathematical Reviews (MathSciNet): MR673570
[3] Bertoin, J. (2001). Homogeneous fragmentation processes. Probab. Theory Related Fields 121 301–318.
Mathematical Reviews (MathSciNet): MR1867425
Zentralblatt MATH: 0992.60076
Digital Object Identifier: doi:10.1007/s004400100152
[4] Bertsekas, D. and Gallager, R. (1991). Data Networks, 2nd ed. Prentice-Hall, Upper Saddle River, NJ.
[5] Boxma, O. J., Denteneer, D. and Resing, J. (2003). Delay models for contention trees in closed populations. Performance Evaluation 53 169–185.
[6] Capetanakis, J. I. (1979). Tree algorithms for packet broadcast channels. IEEE Trans. Inform. Theory 25 505–515.
Mathematical Reviews (MathSciNet): MR545006
Digital Object Identifier: doi:10.1109/TIT.1979.1056093
[7] Ephremides, A. and Hajek, B. (1998). Information theory and communication networks: An unconsummated union. IEEE Trans. Inform. Theory 44 2416–2434.
Mathematical Reviews (MathSciNet): MR1658779
Digital Object Identifier: doi:10.1109/18.720543
[8] Fayolle, G., Flajolet, P. and Hofri, M. (1986). On a functional equation arising in the analysis of a protocol for a multi-access broadcast channel. Adv. in Appl. Probab. 18 441–472.
Mathematical Reviews (MathSciNet): MR840103
Zentralblatt MATH: 0625.94001
Digital Object Identifier: doi:10.2307/1427308
[9] Fayolle, G., Flajolet, P., Hofri, M. and Jacquet, P. (1985). Analysis of a stack algorithm for random multiple-access communication. IEEE Trans. Inform. Theory 31 244–254.
Mathematical Reviews (MathSciNet): MR793094
Digital Object Identifier: doi:10.1109/TIT.1985.1057014
[10] Flajolet, P., Gourdon, X. and Dumas, P. (1995). Mellin transforms and asymptotics: Harmonic sums. Theoret. Comput. Sci. 144 3–58.
Mathematical Reviews (MathSciNet): MR1337752
Zentralblatt MATH: 0869.68057
Digital Object Identifier: doi:10.1016/0304-3975(95)00002-E
[11] Janssen, A. J. E. M. and De Jong, M. J. M. (2000). Analysis of contention tree algorithms. IEEE Trans. Inform. Theory 46 217–??2.
[12] Massey, J. L. (1981). Collision-resolution algorithms and random access communication. In Multi-User Communication Systems (G. Longo, ed.). CISM Courses and Lectures 265 73–140. Springer, New York.
Mathematical Reviews (MathSciNet): MR673570
[13] Mathys, P. and Flajolet, P. (1985). Q-ary collision resolution algorithms in random-access systems with free or blocked channel access. IEEE Trans. Inform. Theory 31 217–243.
Mathematical Reviews (MathSciNet): MR793093
Digital Object Identifier: doi:10.1109/TIT.1985.1057013
[14] Mohamed, H. and Robert, P. (2005). A probabilistic analysis of some tree algorithms. Ann. Appl. Probab. 15 2445–2471.
Mathematical Reviews (MathSciNet): MR2187300
Zentralblatt MATH: 1110.68174
Digital Object Identifier: doi:10.1214/105051605000000494
Project Euclid: euclid.aoap/1133965768
[15] Tsybakov, B. S. and Mikhaĭlov, V. A. (1978). Free synchronous packet access in a broadcast channel with feedback. Probl. Inf. Transm. 14 32–59.
Mathematical Reviews (MathSciNet): MR538901
[16] Tsybakov, B. S. and Vvedenskaya, N. D. (1981). Random multiple-access stack algorithm. Probl. Inf. Transm. 16 230–243.
[17] Van Velthoven, J., Van Houdt, B. and Blondia, C. (2006). On the probability of abandonment in queues with limited sojourn and waiting times. Oper. Res. Lett. 34 333–338.
Mathematical Reviews (MathSciNet): MR2204347
Zentralblatt MATH: 1109.90027
Digital Object Identifier: doi:10.1016/j.orl.2005.05.008

2012 © Institute of Mathematical Statistics

The Annals of Applied Probability

The Annals of Applied Probability