×

The depoissonisation quintet: Rice-Poisson-Mellin-Newton-Laplace. (English) Zbl 1478.68465

Fill, James Allen (ed.) et al., 29th international conference on probabilistic, combinatorial and asymptotic methods for the analysis of algorithms, AofA 2018, June 25–29, 2018, Uppsala, Sweden. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 110, Article 35, 20 p. (2018).
Summary: This paper is devoted to the Depoissonisation process which is central in various analyses of the AofA domain. We first recall in Section 1 the two possible paths that may be used in this process, namely the Depoissonisation path and the Rice path. The two paths are rarely described for themselves in the literature, and general methodological results are often difficult to isolate amongst particular results that are more directed towards various applications. The main results for the Depoissonisation path are scattered in at least five papers, with a chronological order which does not correspond to the logical order of the method. The Rice path is also almost always presented with a strong focus towards possible applications. It is often very easy to apply, but it needs a tameness condition, which appears a priori to be quite restrictive, and is not deeply studied in the literature. This explains why the Rice path is very often undervalued.
Second, the two paths are not precisely compared, and the situation creates various “feelings”: some people see the tools that are used in the two paths as quite different, and strongly prefer one of the two paths; some others think the two paths are almost the same, with just a change of vocabulary. It is thus useful to compare the two paths and the tools they use. This will be done in Sections 2 and 3. We also “follow” this comparison on a precise problem, related to the analysis of tries, introduced in Section 1.7.
The paper also exhibits in Section 4 a new framework, of practical use, where the tameness condition of Rice path is proven to hold. This approach, perhaps of independent interest, deals with the shifting of sequences and then the inverse Laplace transform, which does not seem of classical use in this context. It performs very simple computations. This adds a new method to the Depoissonisation context and explains the title of the paper. We then conclude that the Rice path is both of easy and practical use: even though (much?) less general than the Depoissonisation path, it is easier to apply.
For the entire collection see [Zbl 1390.68020].

MSC:

68W40 Analysis of algorithms
60C05 Combinatorial probability
68P05 Data structures
68W32 Algorithms on strings
68Q87 Probability in computer science (algorithm analysis, random structures, phase transitions, etc.)

References:

[1] Eda Cesaratto and Brigitte Vallée. Gaussian distribution of trie depth for strongly tame sources. {\it Combinatorics, Probability and Computing}, 24, issue 01:54-103, 2014. · Zbl 1371.68056
[2] Julien Clément, Jim Fill, Thu Hien Nguyen Thi, and Brigitte Vallée. Towards a realistic analysis of the Quickselect algorithm. {\it Theory of Computing Systems}, 58(4):528-578, 2016. · Zbl 1341.68035
[3] Julien Clément, Philippe Flajolet, and Brigitte Vallée. Dynamical sources in information theory: a general analysis of trie structures. {\it Algorithmica}, 29, 1-2:307-369, 2001. · Zbl 1035.68039
[4] Julien Clément, Thu Hien Nguyen Thi, and Brigitte Vallée. Towards a realistic analysis of some popular sorting algorithms. {\it Combinatorics, Probability and Computing}, 24 issue 01:104-144, 2014.
[5] Philippe Flajolet. Singularity analysis and asymptotics of Bernoulli sums. {\it Theoret. Comput.} {\it Sci.}, 215 1-2:371-381, 1999. · Zbl 0913.68098
[6] Philippe Flajolet. A journey to the outskirts of Quickbits. {\it Personal Communication}, 2010.
[7] Philippe Flajolet, Xavier Gourdon, and Philippe Dumas. Mellin transforms and asymptotics: Harmonic sums. {\it Theoretical Computer Science}, 144 1-2:3-58, 1995. · Zbl 0869.68057
[8] Philippe Flajolet, Mireille Régnier, and Wojtek Szpankowski. Some uses of the Mellin integral transform in the analysis of algorithms. {\it In Combinatorial Algorithms on Words}, 12:241-254, 1995. · Zbl 0582.68015
[9] Philippe Flajolet and Robert Sedgewick. Digital search trees revisited. {\it SIAM J. Comput.}, 15 (3):48-67, 1986.
[10] Philippe Flajolet and Robert Sedgewick. Mellin transforms and asymptotics: finite differences and Rice’s integrals. {\it Theoretical Computer Science}, 144 (1-2):101-124, 1995. · Zbl 0869.68056
[11] Walter Kurt Hayman.A generalisation of Stirling’s formula.{\it J. Reine Angew. Math.}, 196:67-95, 1956. · Zbl 0072.06901
[12] Kanal Hun and Brigitte Vallée. Typical depth of a digital search tree built on a general source. In {\it Proceedings of ANALCO}, 2014. · Zbl 1430.68044
[13] Hsien-Kuei Hwang, Michael Fuchs, and Vytas Zacharovas. Asymptotic variance of random symmetric digital search trees. {\it Discrete Mathematics and Theoretical Computer Science}, 12(2):103-166, 2010. · Zbl 1278.68080
[14] Philippe Jacquet. Trie structure for graphs sequences. In {\it Proceedings of AofA 2014}, volume 950 of {\it DMTCS Proceedings}, pages 181-192, 2014.
[15] Philippe Jacquet and Wojtek Szpankowski. An analytic approach to the asymptotic variance of trie statistics and related structures. {\it Theoretical Computer Science}, 201 1-2:1-62, 1998. · Zbl 0902.68087
[16] Philippe Jacquet and Wojtek Szpankowski. Entropy computations via Analytic depoissonization. {\it IEEE Transactions on Information Theory}, 45 (4):1072-1081, 1999. · Zbl 0959.94009
[17] Niels Erik Nörlund. {\it Vorlesungen über Differenzenrechnung}. Chelsea Publishing Company, New-York, 1954.
[18] Nils Erik Nörlund. Leçons sur les équations linéaires aux différences finies. In {\it Collection} {\it de monographies sur la théorie des fonctions}. Gauthier-Villars, Paris, 1929. · JFM 55.0869.01
[19] Brigitte Vallée. Dynamical sources in information theory: Fundamental intervals and word prefixes. {\it Algorithmica}, 29 (1/2):262-306, 2001. · Zbl 1009.94003
[20] :15
[21] :20
[22] :18
[23] :17
[24] :16
[25] :19
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. In some cases that data have been complemented/enhanced by data from zbMATH Open. This attempts to reflect the references listed in the original paper as accurately as possible without claiming completeness or a perfect matching.