Michael Wallner
Current Organizations / Institutes
The organizations/institutes from the scholar's latest article
Previous Organizations / Institutes
The organizations / institutes from the scholar's other articles in the past ten years
Michael Wallner has a total of 24 co-authors. Here are the top co-authors by number of shared publications:
- Bernhard Gittenberger
Technische Universität Wien
6 shared publications Cyril Banderier
CNRS/Université
4 shared publications- Emma Yu Jin
School of Mathematical Sciences, Xiamen University, Xiamen, China
4 shared publications - Lukas Spiegelhofer
Vienna University of Technology
3 shared publications - Cyril Banderier
Laboratoire d’Informatique de Paris-Nord, Université Sorbonne Paris Nord
2 shared publications - Lukas Spiegelhofer
Department Mathematics and Information Technology, Montanuniversität Leoben, Leoben, Austria
2 shared publications
Latest Publications
- Open Access
- 28 August 2026
- Published by Elsevier in Discrete Mathematics
- Vol. 350 (2)
Bijections and congruences involving lattice paths and integer compositions
- 28 August 2026
- Published by Elsevier in Discrete Mathematics
- Vol. 350 (2)
Open AccessBijections and congruences involving lattice paths and integer compositions
- Open Access
- 25 April 2026
- Published by Springer Nature in Annals of Combinatorics
- p. 1-21
The Decompressed Tree Size of k-Ary Chains
A chain is defined as a directed acyclic graph (DAG) with one source and one sink, where the children are ordered and the spanning tree computed using a depth-first search is a path. Such DAGs emerge in the context of tree compression and are therefore uniquely associated with a tree. The tree size of a DAG is defined as the size of the associated tree. For fixed out-degree $$k \ge 2$$ , we compute the asymptotic expected decompressed tree size of a chain of size n chosen uniformly at random, and we show that it contains a stretched exponential term of the form $$e^{c \, \sqrt{n}}$$ . This result also has implications for the limit distribution of Brauer chains of fixed length.- 25 April 2026
- Published by Springer Nature in Annals of Combinatorics
- p. 1-21
Open AccessThe Decompressed Tree Size of k-Ary Chains
A chain is defined as a directed acyclic graph (DAG) with one source and one sink, where the children are ordered and the spanning tree computed using a depth-first search is a path. Such DAGs emerge in the context of tree compression and are therefore uniquely associated with a tree. The tree size of a DAG is defined as the size of the associated tree. For fixed out-degree $$k \ge 2$$ , we compute the asymptotic expected decompressed tree size of a chain of size n chosen uniformly at random, and we show that it contains a stretched exponential term of the form $$e^{c \, \sqrt{n}}$$ . This result also has implications for the limit distribution of Brauer chains of fixed length. - Top Cited Papers
- 1 October 2024
- Published by Institute of Mathematical Statistics in The Annals of Applied Probability
- Vol. 34 (5) , 4635-4693
Phase transitions of composition schemes: Mittag-Leffler and mixed Poisson distributions
Multitudinous probabilistic and combinatorial objects are associated with generating functions satisfying a composition scheme F(z)=G(H(z)). The analysis becomes challenging when this scheme is critical (i.e., G and H are simultaneously singular). Motivated by many examples (random mappings, planar maps, directed lattice paths), we consider a natural extension of this scheme, namely F(z,u)=G(uH(z))M(z). We also consider a variant of this scheme, which allows us to analyse the number of H-components of a given size in F. We prove that these two models lead to a rich world of limit laws, where we identify the key role played by a new universal law introduced in this article: the three-parameter Mittag-Leffler distribution, which is essentially the product of a beta and a Mittag-Leffler distribution. We also prove (double) phase transitions, additionally involving Boltzmann and mixed Poisson distributions, bringing a unified explanation of the associated thresholds. In all cases we obtain moment convergence and local limit theorems. We end with extensions of the critical composition scheme to a cycle scheme and to the multivariate case, leading to product distributions. Applications are presented for random walks, trees (supertrees of trees, increasingly labelled trees, preferential attachment trees), triangular Pólya urns, and the Chinese restaurant process.
- 1 October 2024
- Published by Institute of Mathematical Statistics in The Annals of Applied Probability
- Vol. 34 (5) , 4635-4693
Top Cited PapersPhase transitions of composition schemes: Mittag-Leffler and mixed Poisson distributions
Multitudinous probabilistic and combinatorial objects are associated with generating functions satisfying a composition scheme F(z)=G(H(z)). The analysis becomes challenging when this scheme is critical (i.e., G and H are simultaneously singular). Motivated by many examples (random mappings, planar maps, directed lattice paths), we consider a natural extension of this scheme, namely F(z,u)=G(uH(z))M(z). We also consider a variant of this scheme, which allows us to analyse the number of H-components of a given size in F. We prove that these two models lead to a rich world of limit laws, where we identify the key role played by a new universal law introduced in this article: the three-parameter Mittag-Leffler distribution, which is essentially the product of a beta and a Mittag-Leffler distribution. We also prove (double) phase transitions, additionally involving Boltzmann and mixed Poisson distributions, bringing a unified explanation of the associated thresholds. In all cases we obtain moment convergence and local limit theorems. We end with extensions of the critical composition scheme to a cycle scheme and to the multivariate case, leading to product distributions. Applications are presented for random walks, trees (supertrees of trees, increasingly labelled trees, preferential attachment trees), triangular Pólya urns, and the Chinese restaurant process.
- Open Access
Bijections and congruences involving lattice paths and integer compositions
We prove new bijections between different variants of Dyck paths and integer compositions, which give combinatorial explanations of their simple counting formula $4^{n-1}$. These give relations between different statistics, such as the number of crossings of the $x$-axis in classes of Dyck bridges or the distribution of peaks in classes of Dyck paths, and furthermore relate them with $k$- and $g$-compositions. These allow us to find and prove congruence results for Dyck paths and parity results for compositions. Our investigation uncovers unexpected connections to mock theta functions, Hardinian arrays, little Schröder paths, Fibonacci numbers, and irreducible pairs of compositions, offering new insights into the structures of paths, partitions and compositions.Open AccessBijections and congruences involving lattice paths and integer compositions
We prove new bijections between different variants of Dyck paths and integer compositions, which give combinatorial explanations of their simple counting formula $4^{n-1}$. These give relations between different statistics, such as the number of crossings of the $x$-axis in classes of Dyck bridges or the distribution of peaks in classes of Dyck paths, and furthermore relate them with $k$- and $g$-compositions. These allow us to find and prove congruence results for Dyck paths and parity results for compositions. Our investigation uncovers unexpected connections to mock theta functions, Hardinian arrays, little Schröder paths, Fibonacci numbers, and irreducible pairs of compositions, offering new insights into the structures of paths, partitions and compositions. - Open Access
- 19 May 2022
- Published by Springer Nature in Aequationes mathematicae
- Vol. 96 (4) , 815-826
On the critical exponents of generalized ballot sequences in three dimensions and large tandem walks
We answer some questions on the asymptotics of ballot walks raised in [S. B. Ekhad and D. Zeilberger, April 2021] and prove that these models are not D-finite. This short note demonstrates how the powerful tools developed in the last decades on lattice paths in convex cones help us to answer some challenging problems that were out of reach for a long time. On the way we generalize tandem walks to the family of large tandem walks whose steps are of arbitrary length and map them bijectively to a generalization of ballot walks in three dimensions.
- 19 May 2022
- Published by Springer Nature in Aequationes mathematicae
- Vol. 96 (4) , 815-826
Open AccessOn the critical exponents of generalized ballot sequences in three dimensions and large tandem walks
We answer some questions on the asymptotics of ballot walks raised in [S. B. Ekhad and D. Zeilberger, April 2021] and prove that these models are not D-finite. This short note demonstrates how the powerful tools developed in the last decades on lattice paths in convex cones help us to answer some challenging problems that were out of reach for a long time. On the way we generalize tandem walks to the family of large tandem walks whose steps are of arbitrary length and map them bijectively to a generalization of ballot walks in three dimensions.
- Open Access
The binary digits of n+t
The binary sum-of-digits function $s$ counts the number of ones in the binary expansion of a nonnegative integer. For any nonnegative integer $t$, T.~W.~Cusick defined the asymptotic density $c_t$ of integers $n\geq 0$ such that \[s(n+t)\geq s(n).\] In 2011, he conjectured that $c_t>1/2$ for all $t$ -- the binary sum of digits should, more often than not, weakly increase when a constant is added. In this paper, we prove that there exists an explicit constant $M_0$ such that indeed $c_t>1/2$ if the binary expansion of $t$ contains at least $M_0$ maximal blocks of contiguous ones, leaving open only the "initial cases" -- few maximal blocks of ones -- of this conjecture. Moreover, we sharpen a result by Emme and Hubert (2019), proving that the difference $s(n+t)-s(n)$ behaves according to a Gaussian distribution, up to an error tending to $0$ as the number of maximal blocks of ones in the binary expansion of $t$ grows.Open AccessThe binary digits of n+t
The binary sum-of-digits function $s$ counts the number of ones in the binary expansion of a nonnegative integer. For any nonnegative integer $t$, T.~W.~Cusick defined the asymptotic density $c_t$ of integers $n\geq 0$ such that \[s(n+t)\geq s(n).\] In 2011, he conjectured that $c_t>1/2$ for all $t$ -- the binary sum of digits should, more often than not, weakly increase when a constant is added. In this paper, we prove that there exists an explicit constant $M_0$ such that indeed $c_t>1/2$ if the binary expansion of $t$ contains at least $M_0$ maximal blocks of contiguous ones, leaving open only the "initial cases" -- few maximal blocks of ones -- of this conjecture. Moreover, we sharpen a result by Emme and Hubert (2019), proving that the difference $s(n+t)-s(n)$ behaves according to a Gaussian distribution, up to an error tending to $0$ as the number of maximal blocks of ones in the binary expansion of $t$ grows. - Open Access
Asymptotic Enumeration of Compacted Binary Trees of Bounded Right Height
A compacted binary tree is a graph created from a binary tree such that repeatedly occurring subtrees in the original tree are represented by pointers to existing ones, and hence every subtree is unique. Such representations form a special class of directed acyclic graphs. We are interested in the asymptotic number of compacted trees of given size, where the size of a compacted tree is given by the number of its internal nodes. Due to its superexponential growth this problem poses many difficulties. Therefore we restrict our investigations to compacted trees of bounded right height, which is the maximal number of edges going to the right on any path from the root to a leaf. We solve the asymptotic counting problem for this class as well as a closely related, further simplified class. For this purpose, we develop a calculus on exponential generating functions for compacted trees of bounded right height and for relaxed trees of bounded right height, which differ from compacted trees by dropping the above described uniqueness condition. This enables us to derive a recursively defined sequence of differential equations for the exponential generating functions. The coefficients can then be determined by performing a singularity analysis of the solutions of these differential equations. Our main results are the computation of the asymptotic numbers of relaxed as well as compacted trees of bounded right height and given size, when the size tends to infinity.
Open AccessAsymptotic Enumeration of Compacted Binary Trees of Bounded Right Height
A compacted binary tree is a graph created from a binary tree such that repeatedly occurring subtrees in the original tree are represented by pointers to existing ones, and hence every subtree is unique. Such representations form a special class of directed acyclic graphs. We are interested in the asymptotic number of compacted trees of given size, where the size of a compacted tree is given by the number of its internal nodes. Due to its superexponential growth this problem poses many difficulties. Therefore we restrict our investigations to compacted trees of bounded right height, which is the maximal number of edges going to the right on any path from the root to a leaf. We solve the asymptotic counting problem for this class as well as a closely related, further simplified class. For this purpose, we develop a calculus on exponential generating functions for compacted trees of bounded right height and for relaxed trees of bounded right height, which differ from compacted trees by dropping the above described uniqueness condition. This enables us to derive a recursively defined sequence of differential equations for the exponential generating functions. The coefficients can then be determined by performing a singularity analysis of the solutions of these differential equations. Our main results are the computation of the asymptotic numbers of relaxed as well as compacted trees of bounded right height and given size, when the size tends to infinity.
- Open Access
Compacted binary trees admit a stretched exponential
A compacted binary tree is a directed acyclic graph encoding a binary tree in which common subtrees are factored and shared, such that they are represented only once. We show that the number of compacted binary trees of size $n$ grows asymptotically like $$\Theta\left( n! \, 4^n e^{3a_1n^{1/3}} n^{3/4} \right),$$ where $a_1\approx-2.338$ is the largest root of the Airy function. Our method involves a new two parameter recurrence which yields an algorithm of quadratic arithmetic complexity. We use empirical methods to estimate the values of all terms defined by the recurrence, then we prove by induction that these estimates are sufficiently accurate for large $n$ to determine the asymptotic form. Our results also lead to new bounds on the number of minimal finite automata recognizing a finite language on a binary alphabet. As a consequence, these also exhibit a stretched exponential.Open AccessCompacted binary trees admit a stretched exponential
A compacted binary tree is a directed acyclic graph encoding a binary tree in which common subtrees are factored and shared, such that they are represented only once. We show that the number of compacted binary trees of size $n$ grows asymptotically like $$\Theta\left( n! \, 4^n e^{3a_1n^{1/3}} n^{3/4} \right),$$ where $a_1\approx-2.338$ is the largest root of the Airy function. Our method involves a new two parameter recurrence which yields an algorithm of quadratic arithmetic complexity. We use empirical methods to estimate the values of all terms defined by the recurrence, then we prove by induction that these estimates are sufficiently accurate for large $n$ to determine the asymptotic form. Our results also lead to new bounds on the number of minimal finite automata recognizing a finite language on a binary alphabet. As a consequence, these also exhibit a stretched exponential. - 1 June 2020
- Published by Elsevier in European Journal of Combinatorics
- Vol. 87
A half-normal distribution scheme for generating functions
- 1 June 2020
- Published by Elsevier in European Journal of Combinatorics
- Vol. 87
A half-normal distribution scheme for generating functions
- 1 May 2020
- Published by Elsevier in Journal of Combinatorial Theory, Series A
- Vol. 172
Asymptotic enumeration of compacted binary trees of bounded right height
- 1 May 2020
- Published by Elsevier in Journal of Combinatorial Theory, Series A
- Vol. 172
Asymptotic enumeration of compacted binary trees of bounded right height