-
A Bijection between Stacked Directed Polyominoes and Motzkin Paths with Alternative Catastrophes
Authors:
Florian Schager,
Michael Wallner
Abstract:
We present a novel bijection between stacked directed polyominoes and Motzkin paths with alternative catastrophes. Further, we show how this new connection can be used in order to obtain a better understanding of certain parameters of stacked directed animals.
We present a novel bijection between stacked directed polyominoes and Motzkin paths with alternative catastrophes. Further, we show how this new connection can be used in order to obtain a better understanding of certain parameters of stacked directed animals.
△ Less
Submitted 24 June, 2024;
originally announced June 2024.
-
Bijections between Variants of Dyck Paths and Integer Compositions
Authors:
Manosij Ghosh Dastidar,
Michael Wallner
Abstract:
We give bijective results between several variants of lattice paths of length $2n$ (or $2n-2$) and integer compositions of n, all enumerated by the seemingly innocuous formula $4^{n-1}$. These associations lead us to make new connections between these objects, such as congruence results.
We give bijective results between several variants of lattice paths of length $2n$ (or $2n-2$) and integer compositions of n, all enumerated by the seemingly innocuous formula $4^{n-1}$. These associations lead us to make new connections between these objects, such as congruence results.
△ Less
Submitted 24 June, 2024;
originally announced June 2024.
-
Asymptotics of relaxed $k$-ary trees
Authors:
Manosij Ghosh Dastidar,
Michael Wallner
Abstract:
A relaxed $k$-ary tree is an ordered directed acyclic graph with a unique source and sink in which every node has out-degree $k$. These objects arise in the compression of trees in which some repeated subtrees are factored and repeated appearances are replaced by pointers. We prove an asymptotic theta-result for the number of relaxed $k$-ary tree with $n$ nodes for $n \to \infty$. This generalizes…
▽ More
A relaxed $k$-ary tree is an ordered directed acyclic graph with a unique source and sink in which every node has out-degree $k$. These objects arise in the compression of trees in which some repeated subtrees are factored and repeated appearances are replaced by pointers. We prove an asymptotic theta-result for the number of relaxed $k$-ary tree with $n$ nodes for $n \to \infty$. This generalizes the previously proved binary case to arbitrary finite arity, and shows that the seldom observed phenomenon of a stretched exponential term $e^{c n^{1/3}}$ appears in all these cases. We also derive the recurrences for compacted $k$-ary trees in which all subtrees are unique and minimal deterministic finite automata accepting a finite language over a finite alphabet.
△ Less
Submitted 12 April, 2024;
originally announced April 2024.
-
Bijections and congruences involving lattice paths and integer compositions
Authors:
Manosij Ghosh Dastidar,
Michael Wallner
Abstract:
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$-…
▽ More
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.
△ Less
Submitted 8 March, 2024; v1 submitted 27 February, 2024;
originally announced February 2024.
-
Composition schemes: q-enumerations and phase transitions
Authors:
Cyril Banderier,
Markus Kuba,
Stephan Wagner,
Michael Wallner
Abstract:
Composition schemes are ubiquitous in combinatorics, statistical mechanics and probability theory. We give a unifying explanation to various phenomena observed in the combinatorial and statistical physics literature in the context of $q$-enumeration (this is a model where objects with a parameter of value $k$ have a Gibbs measure/Boltzmann weight $q^k$). This leads to phase transition diagrams, hi…
▽ More
Composition schemes are ubiquitous in combinatorics, statistical mechanics and probability theory. We give a unifying explanation to various phenomena observed in the combinatorial and statistical physics literature in the context of $q$-enumeration (this is a model where objects with a parameter of value $k$ have a Gibbs measure/Boltzmann weight $q^k$). This leads to phase transition diagrams, highlighting the effect of $q$-enumeration and $q$-distributions on the nature of the limit laws. We build upon the classical distinction between subcritical, critical and supercritical composition schemes, as well as recent results. We apply our results to a wealth of parameters, adding new limit laws to various families of lattice paths and quarter plane walks. We also explain previously observed limit laws for pattern restricted permutations, and a phenomenon observed by Krattenthaler for the wall contacts in watermelons with a wall.
△ Less
Submitted 28 November, 2023;
originally announced November 2023.
-
Combinatorics of nondeterministic walks
Authors:
Élie de Panafieu,
Michael Wallner
Abstract:
This paper introduces nondeterministic walks, a new variant of one-dimensional discrete walks. The main difference to classical walks is that its nondeterministic steps consist of sets of steps from a predefined set such that all possible extensions are explored in parallel. We discuss in detail the most natural nondeterministic step sets (Dyck and Motzkin step sets), and show that several nondete…
▽ More
This paper introduces nondeterministic walks, a new variant of one-dimensional discrete walks. The main difference to classical walks is that its nondeterministic steps consist of sets of steps from a predefined set such that all possible extensions are explored in parallel. We discuss in detail the most natural nondeterministic step sets (Dyck and Motzkin step sets), and show that several nondeterministic classes of lattice paths, such as nondeterministic bridges, excursions, and meanders are algebraic. The key concept is the generalization of the ending point of a walk to its reachable points, i.e., a set of ending points. We extend our results to general step sets: We show that nondeterministic bridges and several subclasses of nondeterministic meanders are always algebraic. We conjecture the same is true for nondeterministic excursions, and we present python and Maple packages to support our conjecture. This research is motivated by the study of networks involving encapsulation and decapsulation of protocols. Our results are obtained using generating functions, analytic combinatorics, and additive combinatorics.
Keywords. Random walks, analytic combinatorics, generating functions, limit laws, networking, encapsulation.
△ Less
Submitted 6 November, 2023;
originally announced November 2023.
-
Enumerative and Distributional Results for $d$-combining Tree-Child Networks
Authors:
Yu-Sheng Chang,
Michael Fuchs,
Hexuan Liu,
Michael Wallner,
Guan-Ru Yu
Abstract:
Tree-child networks are one of the most prominent network classes for modeling evolutionary processes which contain reticulation events. Several recent studies have addressed counting questions for bicombining tree-child networks in which every reticulation node has exactly two parents. We extend these studies to $d$-combining tree-child networks where every reticulation node has now $d\geq 2$ par…
▽ More
Tree-child networks are one of the most prominent network classes for modeling evolutionary processes which contain reticulation events. Several recent studies have addressed counting questions for bicombining tree-child networks in which every reticulation node has exactly two parents. We extend these studies to $d$-combining tree-child networks where every reticulation node has now $d\geq 2$ parents, and we study one-component as well as general tree-child networks. For the number of one-component networks, we derive an exact formula from which asymptotic results follow that contain a stretched exponential for $d=2$, yet not for $d \geq 3$. For general networks, we find a novel encoding by words which leads to a recurrence for their numbers. From this recurrence, we derive asymptotic results which show the appearance of a stretched exponential for all $d \geq 2$. Moreover, we also give results on the distribution of shape parameters (e.g., number of reticulation nodes, Sackin index) of a network which is drawn uniformly at random from the set of all tree-child networks with the same number of leaves. We show phase transitions depending on $d$, leading to normal, Bessel, Poisson, and degenerate distributions. Some of our results are new even in the bicombining case.
△ Less
Submitted 24 March, 2024; v1 submitted 8 September, 2022;
originally announced September 2022.
-
Enumeration of $d$-combining Tree-Child Networks
Authors:
Yu-Sheng Chang,
Michael Fuchs,
Hexuan Liu,
Michael Wallner,
Guan-Ru Yu
Abstract:
Tree-child networks are one of the most prominent network classes for modeling evolutionary processes which contain reticulation events. Several recent studies have addressed counting questions for {\it bicombining tree-child networks} which are tree-child networks with every reticulation node having exactly two parents. In this paper, we extend these studies to {\it $d$-combining tree-child netwo…
▽ More
Tree-child networks are one of the most prominent network classes for modeling evolutionary processes which contain reticulation events. Several recent studies have addressed counting questions for {\it bicombining tree-child networks} which are tree-child networks with every reticulation node having exactly two parents. In this paper, we extend these studies to {\it $d$-combining tree-child networks} where every reticulation node has now $d\geq 2$ parents. Moreover, we also give results and conjectures on the distributional behavior of the number of reticulation nodes of a network which is drawn uniformly at random from the set of all tree-child networks with the same number of leaves.
△ Less
Submitted 14 March, 2022;
originally announced March 2022.
-
Walks avoiding a quadrant and the reflection principle
Authors:
Mireille Bousquet-Mélou,
Michael Wallner
Abstract:
We continue the enumeration of plane lattice walks with small steps avoiding the negative quadrant, initiated by the first author in 2016. We solve in detail a new case, namely the king model where all eight nearest neighbour steps are allowed. The associated generating function is proved to be the sum of a simple, explicit D-finite series (related to the number of walks confined to the first quad…
▽ More
We continue the enumeration of plane lattice walks with small steps avoiding the negative quadrant, initiated by the first author in 2016. We solve in detail a new case, namely the king model where all eight nearest neighbour steps are allowed. The associated generating function is proved to be the sum of a simple, explicit D-finite series (related to the number of walks confined to the first quadrant), and an algebraic one. This was already the case for the two models solved by the first author in 2016. The principle of the approach is also the same, but challenging theoretical and computational difficulties arise as we now handle algebraic series of larger degree.
We expect a similar algebraicity phenomenon to hold for the seven Weyl step sets, which are those for which walks confined to the first quadrant can be counted using the reflection principle. With this paper, this is now proved for three of them. For the remaining four, we predict the D-finite part of the solution, and in three of the four cases, give evidence for the algebraicity of the remaining part.
△ Less
Submitted 14 October, 2021;
originally announced October 2021.
-
More models of walks avoiding a quadrant (extended abstract)
Authors:
Mireille Bousquet-Melou,
Michael Wallner
Abstract:
We continue the enumeration of plane lattice paths avoiding the negative quadrant initiated by the first author in [Bousquet-M{é}lou, 2016]. We solve in detail a new case, the king walks, where all 8 nearest neighbour steps are allowed. As in the two cases solved in [Bousquet-M{é}lou, 2016], the associated generating function is proved to differ from a simple, explicit D-finite series (related to…
▽ More
We continue the enumeration of plane lattice paths avoiding the negative quadrant initiated by the first author in [Bousquet-M{é}lou, 2016]. We solve in detail a new case, the king walks, where all 8 nearest neighbour steps are allowed. As in the two cases solved in [Bousquet-M{é}lou, 2016], the associated generating function is proved to differ from a simple, explicit D-finite series (related to the enumeration of walks confined to the first quadrant) by an algebraic one. The principle of the approach is the same as in [Bousquet-M{é}lou, 2016], but challenging theoretical and computational difficulties arise as we now handle algebraic series of larger degree. We also explain why we expect the observed algebraicity phenomenon to persist for 4 more models, for which the quadrant problem is solvable using the reflection principle.
△ Less
Submitted 29 September, 2021;
originally announced September 2021.
-
Abiotic molecular oxygen production -- ionic pathway from sulphur dioxide
Authors:
Måns Wallner,
Mahmoud Jarraya,
Saida Ben Yaghlane,
Emelie Olsson,
Veronica Ideböhn,
Richard J. Squibb,
Gunnar Nyman,
John H. D. Eland,
Raimund Feifel,
Majdi Hochlaf
Abstract:
Molecular oxygen, O$_2$, is vital to life on Earth and possibly on other planets. Although the biogenic processes leading to its accumulation in Earth's atmosphere are well understood, its abiotic origin is still not fully established. Here, we report combined experimental and theoretical evidence for electronic-state-selective production of O$_2$ from SO$_2$, a major chemical constituent of many…
▽ More
Molecular oxygen, O$_2$, is vital to life on Earth and possibly on other planets. Although the biogenic processes leading to its accumulation in Earth's atmosphere are well understood, its abiotic origin is still not fully established. Here, we report combined experimental and theoretical evidence for electronic-state-selective production of O$_2$ from SO$_2$, a major chemical constituent of many planetary atmospheres and one which played an important part on Earth in the Great Oxidation event. The O$_2$ production involves dissociative double ionisation of SO$_2$ leading to efficient formation of the O$_2^+$ ion which can be converted to abiotic O$_2$ by electron neutralisation. We suggest that this formation process may contribute significantly to the abundance of O$_2$ and related ions in planetary atmospheres, especially in those where CO$_2$, which can lead to O$_2$ production by different mechanisms, is not the dominant component.
△ Less
Submitted 28 August, 2021;
originally announced August 2021.
-
Single photon double and triple ionisation of allene
Authors:
V. Ideböhn,
A. J. Sterling,
M. Wallner,
E. Olsson,
R. J. Squibb,
U. Miniotaité,
E. Forsmalm,
M. Forsmalm,
S. Stranges,
J. M. Dyke,
F. Duarte,
J. H. D. Eland,
R. Feifel
Abstract:
Double and triple ionization of allene are investigated using electron-electron, ion-ion, electron-electron-ion and electron-electron-ion-ion (ee, ii, eei, eeii) coincidence spectroscopies at selected photon energies. The results provide supporting evidence for a previously proposed roaming mechanism in H$_3^+$ formation by double ionisation. The lowest vertical double ionization energy is found t…
▽ More
Double and triple ionization of allene are investigated using electron-electron, ion-ion, electron-electron-ion and electron-electron-ion-ion (ee, ii, eei, eeii) coincidence spectroscopies at selected photon energies. The results provide supporting evidence for a previously proposed roaming mechanism in H$_3^+$ formation by double ionisation. The lowest vertical double ionization energy is found to be 28.5 eV, while adiabatic double ionisation is not accessed by vertical ionisation at the neutral geometry. The triple ionization energy is found to be close to 50 eV in agreement with theoretical predictions. The doubly charged parent ion is stable up to about 2 eV above threshold, after which dissociations by charge separation and by double charge retention occur with comparable intensities. Fragmentation to H$^+$ + C$_3$H$_3^+$ starts immediately above threshold as a slow (metastable) decay with 130+/-10 ns mean lifetime.
△ Less
Submitted 28 August, 2021;
originally announced August 2021.
-
On the critical exponents of generalized ballot sequences in three dimensions and large tandem walks
Authors:
Michael Wallner
Abstract:
We answer some questions on the asymptotics of ballot walks raised in [Personal Journal Shalosh B Ekhad and Doron Zeilberger, Apr 5, 2021; see also arXiv:2104.01731] 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…
▽ More
We answer some questions on the asymptotics of ballot walks raised in [Personal Journal Shalosh B Ekhad and Doron Zeilberger, Apr 5, 2021; see also arXiv:2104.01731] 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.
△ Less
Submitted 28 April, 2022; v1 submitted 25 May, 2021;
originally announced May 2021.
-
Phase transitions of composition schemes: Mittag-Leffler and mixed Poisson distributions
Authors:
Cyril Banderier,
Markus Kuba,
Michael Wallner
Abstract:
Multitudinous combinatorial structures are counted by generating functions satisfying a composition scheme $F(z)=G(H(z))$. The corresponding asymptotic analysis becomes challenging when this scheme is critical (i.e., $G$ and $H$ are simultaneously singular). The singular exponents appearing in the Puiseux expansions of $G$ and $H$ then dictate the asymptotics.
In this work, we first complement r…
▽ More
Multitudinous combinatorial structures are counted by generating functions satisfying a composition scheme $F(z)=G(H(z))$. The corresponding asymptotic analysis becomes challenging when this scheme is critical (i.e., $G$ and $H$ are simultaneously singular). The singular exponents appearing in the Puiseux expansions of $G$ and $H$ then dictate the asymptotics.
In this work, we first complement results of Flajolet et al. for a full family of singular exponents of $G$ and $H$. Motivated by many examples (random map**s, planar maps, directed lattice paths), we consider a natural extension of this scheme, namely $F(z,u)=G(u H(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$.
These two models lead to a rich world of limit laws, where we identify the key rôle played by a new universal three-parameter law: the beta-Mittag-Leffler distribution, which is essentially the product of a beta and a Mittag-Leffler distribution. We prove (double) phase transitions, additionally involving Boltzmann and mixed Poisson distributions, with a unified explanation of the associated thresholds. We also 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.
△ Less
Submitted 14 October, 2021; v1 submitted 5 March, 2021;
originally announced March 2021.
-
Following excited-state chemical shifts in molecular ultrafast x-ray photoelectron spectroscopy
Authors:
Dennis Mayer,
Fabiano Lever,
David Picconi,
Jan Metje,
Skirmantas Alisauskas,
Francesca Calegari,
Stefan Düsterer,
Christopher Ehlert,
Raimund Feifel,
Mario Niebuhr,
Bastian Manschwetus,
Marion Kuhlmann,
Tommaso Mazza,
Matthew S. Robinson,
Richard J. Squibb,
Andrea Trabattoni,
Mans Wallner,
Peter Saalfrank,
Thomas J. A. Wolf,
Markus Gühr
Abstract:
The conversion of photon energy into other energetic forms in molecules is accompanied by charge moving on ultrafast timescales. We directly observe the charge motion at a specific site in an electronically excited molecule using time-resolved x-ray photoelectron spectroscopy (TR-XPS). We extend the concept of static chemical shift from conventional XPS by the excited-state chemical shift (ESCS),…
▽ More
The conversion of photon energy into other energetic forms in molecules is accompanied by charge moving on ultrafast timescales. We directly observe the charge motion at a specific site in an electronically excited molecule using time-resolved x-ray photoelectron spectroscopy (TR-XPS). We extend the concept of static chemical shift from conventional XPS by the excited-state chemical shift (ESCS), which is connected to the charge in the framework of a potential model. This allows us to invert TR-XPS spectra to the dynamic charge at a specific atom. We demonstrate the power of TR-XPS by using sulphur 2p-core-electron-emission probing to study the UV-excited dynamics of 2-thiouracil. The new method allows us to discover that a major part of the population relaxes to the molecular ground state within 220-250 fs. In addition, a 250-fs oscillation, visible in the kinetic energy of the TR-XPS, reveals a coherent exchange of population among electronic states.
△ Less
Submitted 10 August, 2021; v1 submitted 26 February, 2021;
originally announced February 2021.
-
RGB-D Railway Platform Monitoring and Scene Understanding for Enhanced Passenger Safety
Authors:
Marco Wallner,
Daniel Steininger,
Verena Widhalm,
Matthias Schörghuber,
Csaba Beleznai
Abstract:
Automated monitoring and analysis of passenger movement in safety-critical parts of transport infrastructures represent a relevant visual surveillance task. Recent breakthroughs in visual representation learning and spatial sensing opened up new possibilities for detecting and tracking humans and objects within a 3D spatial context. This paper proposes a flexible analysis scheme and a thorough eva…
▽ More
Automated monitoring and analysis of passenger movement in safety-critical parts of transport infrastructures represent a relevant visual surveillance task. Recent breakthroughs in visual representation learning and spatial sensing opened up new possibilities for detecting and tracking humans and objects within a 3D spatial context. This paper proposes a flexible analysis scheme and a thorough evaluation of various processing pipelines to detect and track humans on a ground plane, calibrated automatically via stereo depth and pedestrian detection. We consider multiple combinations within a set of RGB- and depth-based detection and tracking modalities. We exploit the modular concepts of Meshroom [2] and demonstrate its use as a generic vision processing pipeline and scalable evaluation framework. Furthermore, we introduce a novel open RGB-D railway platform dataset with annotations to support research activities in automated RGB-D surveillance. We present quantitative results for multiple object detection and tracking for various algorithmic combinations on our dataset. Results indicate that the combined use of depth-based spatial information and learned representations yields substantially enhanced detection and tracking accuracies. As demonstrated, these enhancements are especially pronounced in adverse situations when occlusions and objects not captured by learned representations are present.
△ Less
Submitted 23 February, 2021;
originally announced February 2021.
-
The binary digits of n+t
Authors:
Lukas Spiegelhofer,
Michael Wallner
Abstract:
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.…
▽ More
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.
△ Less
Submitted 29 April, 2022; v1 submitted 14 May, 2020;
originally announced May 2020.
-
Periodic Pólya Urns, the Density Method, and Asymptotics of Young Tableaux
Authors:
Cyril Banderier,
Philippe Marchal,
Michael Wallner
Abstract:
Pólya urns are urns where at each unit of time a ball is drawn and replaced with some other balls according to its colour. We introduce a more general model: the replacement rule depends on the colour of the drawn ball and the value of the time ($\operatorname{mod} p$). We extend the work of Flajolet et al. on Pólya urns: the generating function encoding the evolution of the urn is studied by meth…
▽ More
Pólya urns are urns where at each unit of time a ball is drawn and replaced with some other balls according to its colour. We introduce a more general model: the replacement rule depends on the colour of the drawn ball and the value of the time ($\operatorname{mod} p$). We extend the work of Flajolet et al. on Pólya urns: the generating function encoding the evolution of the urn is studied by methods of analytic combinatorics. We show that the initial partial differential equations lead to ordinary linear differential equations which are related to hypergeometric functions (giving the exact state of the urns at time n). When the time goes to infinity, we prove that these periodic Pólya urns have asymptotic fluctuations which are described by a product of generalized gamma distributions. With the additional help of what we call the density method (a method which offers access to enumeration and random generation of poset structures), we prove that the law of the south-east corner of a triangular Young tableau follows asymptotically a product of generalized gamma distributions. This allows us to tackle some questions related to the continuous limit of large random Young tableaux and links with random surfaces.
△ Less
Submitted 2 December, 2019;
originally announced December 2019.
-
Double and triple ionization of isocyanic acid
Authors:
J. H. D. Eland,
R. J. Squibb,
A. J. Sterling,
M. Wallner,
A. Hult Roos,
J. Andersson,
V. Axelsson,
E. Johansson,
A. Teichter,
S. Stranges,
B. Brunetti,
J. M. Dyke,
F. Duarte,
R. Feifel
Abstract:
Double and triple ionization spectra of isocyanic acid have been measured using multi-electron and ion coincidence techniques combined with synchrotron radiation and compared with high-level theoretical calculations. Vertical double ionization at an energy of 32.8+/-0.3 eV forms the 3A'' ground state in which the HNCO2+ ion is long-lived. The vertical triple ionization energy is determined as 65+/…
▽ More
Double and triple ionization spectra of isocyanic acid have been measured using multi-electron and ion coincidence techniques combined with synchrotron radiation and compared with high-level theoretical calculations. Vertical double ionization at an energy of 32.8+/-0.3 eV forms the 3A'' ground state in which the HNCO2+ ion is long-lived. The vertical triple ionization energy is determined as 65+/-1 eV. The core-valence double ionization spectra resemble the valence photoelectron spectrum in form, and their main features can be understood on the basis of a simple and rather widely applicable Coulomb model based on the characteristics of the molecular orbitals from which electrons are removed. Characteristics of the most important dissociation channels are examined and discussed.
△ Less
Submitted 29 August, 2019;
originally announced August 2019.
-
Compacted binary trees admit a stretched exponential
Authors:
Andrew Elvey Price,
Wenjie Fang,
Michael Wallner
Abstract:
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 $$Θ\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 n…
▽ More
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 $$Θ\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.
△ Less
Submitted 20 August, 2020; v1 submitted 29 August, 2019;
originally announced August 2019.
-
Coulomb explosion of CD3I induced by single photon deep inner-shell ionisation
Authors:
M. Wallner,
J. H. D. Eland,
R. J. Squibb,
J. Andersson,
A. Hult Roos,
R. Singh,
O. Talaee,
D. Koulentianos,
M. N. Piancastelli,
M. Simon,
R. Feifel
Abstract:
L-shell ionisation and subsequent Coulomb explosion of fully deuterated methyl iodide, CD$_3$I, irradiated with hard x-rays has been examined by a time-of-flight multi-ion coincidence technique. The core vacancies relax efficiently by Auger cascades, leading to charge states up to 16+. The dynamics of the Coulomb explosion process are investigated by calculating the ions' flight times numerically…
▽ More
L-shell ionisation and subsequent Coulomb explosion of fully deuterated methyl iodide, CD$_3$I, irradiated with hard x-rays has been examined by a time-of-flight multi-ion coincidence technique. The core vacancies relax efficiently by Auger cascades, leading to charge states up to 16+. The dynamics of the Coulomb explosion process are investigated by calculating the ions' flight times numerically based on a geometric model of the experimental apparatus, for comparison with the experimental data. A parametric model of the explosion, previously introduced for multi-photon induced Coulomb explosion, is applied in numerical simulations, giving good agreement with the experimental results for medium charge states. Deviations for higher charges suggest the need to include nuclear motion in a putatively more complete model. Detection efficiency corrections from the simulations are used to determine the true distributions of molecular charge state produced by initial L1, L2 and L3 ionisation.
△ Less
Submitted 25 August, 2019;
originally announced August 2019.
-
Counting and sampling gene family evolutionary histories in the duplication-loss and duplication-loss-transfer models
Authors:
Cedric Chauve,
Yann Ponty,
Michael Wallner
Abstract:
Given a set of species whose evolution is represented by a species tree, a gene family is a group of genes having evolved from a single ancestral gene. A gene family evolves along the branches of a species tree through various mechanisms, including - but not limited to - speciation, gene duplication, gene loss, horizontal gene transfer. The reconstruction of a gene tree representing the evolution…
▽ More
Given a set of species whose evolution is represented by a species tree, a gene family is a group of genes having evolved from a single ancestral gene. A gene family evolves along the branches of a species tree through various mechanisms, including - but not limited to - speciation, gene duplication, gene loss, horizontal gene transfer. The reconstruction of a gene tree representing the evolution of a gene family constrained by a species tree is an important problem in phylogenomics. However, unlike in the multispecies coalescent evolutionary model, very little is known about the search space for gene family histories accounting for gene duplication, gene loss and horizontal gene transfer (the DLT-model). We introduce the notion of evolutionary histories defined as a binary ordered rooted tree describing the evolution of a gene family, constrained by a species tree in the DLT-model. We provide formal grammars describing the set of all evolutionary histories that are compatible with a given species tree, whether it is ranked or unranked. These grammars allow us, using either analytic combinatorics or dynamic programming, to efficiently compute the number of histories of a given size, and also to generate random histories of a given size under the uniform distribution. We apply these tools to obtain exact asymptotics for the number of gene family histories for two species trees, the rooted caterpillar and the complete binary tree, as well as estimates of the range of the exponential growth factor of the number of histories for random species trees of size up to 25. Our results show that including horizontal gene transfer induce a dramatic increase of the number of evolutionary histories. We also show that, within ranked species trees, the number of evolutionary histories in the DLT-model is almost independent of the species tree topology.
△ Less
Submitted 13 May, 2019;
originally announced May 2019.
-
Combinatorics of nondeterministic walks of the Dyck and Motzkin type
Authors:
Elie De Panafieu,
Mohamed Lamine Lamali,
Michael Wallner
Abstract:
This paper introduces nondeterministic walks, a new variant of one-dimensional discrete walks. At each step, a nondeterministic walk draws a random set of steps from a predefined set of sets and explores all possible extensions in parallel. We introduce our new model on Dyck steps with the nondeterministic step set {{--1}, {1}, {--1, 1}} and Motzkin steps with the nondeterministic step set {{--1},…
▽ More
This paper introduces nondeterministic walks, a new variant of one-dimensional discrete walks. At each step, a nondeterministic walk draws a random set of steps from a predefined set of sets and explores all possible extensions in parallel. We introduce our new model on Dyck steps with the nondeterministic step set {{--1}, {1}, {--1, 1}} and Motzkin steps with the nondeterministic step set {{--1}, {0}, {1}, {--1, 0}, {--1, 1}, {0, 1}, {--1, 0, 1}}. For general lists of step sets and a given length, we express the generating function of nondeterministic walks where at least one of the walks explored in parallel is a bridge (ends at the origin). In the particular cases of Dyck and Motzkin steps, we also compute the asymptotic probability that at least one of those parallel walks is a meander (stays nonnegative) or an excursion (stays nonnegative and ends at the origin). This research is motivated by the study of networks involving encapsulations and decapsulations of protocols. Our results are obtained using generating functions and analytic combinatorics.
△ Less
Submitted 17 December, 2018;
originally announced December 2018.
-
Periodic Pólya urns and an application to Young tableaux
Authors:
Cyril Banderier,
Philippe Marchal,
Michael Wallner
Abstract:
P{ó}lya urns are urns where at each unit of time a ball is drawn and is replaced with some other balls according to its colour. We introduce a more general model: The replacement rule depends on the colour of the drawn ball and the value of the time (mod p). We discuss some intriguing properties of the differential operators associated to the generating functions encoding the evolution of these ur…
▽ More
P{ó}lya urns are urns where at each unit of time a ball is drawn and is replaced with some other balls according to its colour. We introduce a more general model: The replacement rule depends on the colour of the drawn ball and the value of the time (mod p). We discuss some intriguing properties of the differential operators associated to the generating functions encoding the evolution of these urns. The initial partial differential equation indeed leads to ordinary linear differential equations and we prove that the moment generating functions are D-finite. For a subclass, we exhibit a closed form for the corresponding generating functions (giving the exact state of the urns at time n). When the time goes to infinity, we show that these periodic P{ó}lya urns follow a rich variety of behaviours: their asymptotic fluctuations are described by a family of distributions, the generalized Gamma distributions, which can also be seen as powers of Gamma distributions. En passant, we establish some enumerative links with other combinatorial objects, and we give an application for a new result on the asymptotics of Young tableaux: This approach allows us to prove that the law of the lower right corner in a triangular Young tableau follows asymptotically a product of generalized Gamma distributions.
△ Less
Submitted 8 June, 2018;
originally announced June 2018.
-
Local time for lattice paths and the associated limit laws
Authors:
Cyril Banderier,
Michael Wallner
Abstract:
For generalized Dyck paths (i.e., directed lattice paths with any finite set of jumps), we analyse their local time at zero (i.e., the number of times the path is touching or crossing the abscissa). As we are in a discrete setting, the event we analyse here is '' invisible '' to the tools of Brownian motion theory. It is interesting that the key tool for analysing directed lattice paths, which is…
▽ More
For generalized Dyck paths (i.e., directed lattice paths with any finite set of jumps), we analyse their local time at zero (i.e., the number of times the path is touching or crossing the abscissa). As we are in a discrete setting, the event we analyse here is '' invisible '' to the tools of Brownian motion theory. It is interesting that the key tool for analysing directed lattice paths, which is the kernel method, is not directly applicable here. Therefore, we introduce a variant of this kernel method to get the trivariate generating function (length, final altitude, local time): this leads to an expression involving symmetric and algebraic functions. We apply this analysis to different types of constrained lattice paths (meanders , excursions, bridges,. . .). Then, we illustrate this approach on 'basketball walks ' which are walks defined by the jumps --2, --1, 0, +1, +2. We use singularity analysis to prove that the limit laws for the local time are (depending on the drift and the type of walk) the geometric distribution, the negative binomial distribution, the Rayleigh distribution, or the half-normal distribution (a universal distribution up to now rarely encountered in analytic combinatorics).
△ Less
Submitted 23 May, 2018;
originally announced May 2018.
-
Rectangular Young tableaux with local decreases and the density method for uniform random generation (short version)
Authors:
Cyril Banderier,
Philippe Marchal,
Michael Wallner
Abstract:
In this article, we consider a generalization of Young tableaux in which we allow some consecutive pairs of cells with decreasing labels. We show that this leads to a rich variety of combinatorial formulas, which suggest that these new objects could be related to deeper structures, similarly to the ubiquitous Young tableaux. Our methods rely on variants of hook-length type formulas, and also on a…
▽ More
In this article, we consider a generalization of Young tableaux in which we allow some consecutive pairs of cells with decreasing labels. We show that this leads to a rich variety of combinatorial formulas, which suggest that these new objects could be related to deeper structures, similarly to the ubiquitous Young tableaux. Our methods rely on variants of hook-length type formulas, and also on a new efficient generic method (which we call the density method) which allows not only to generate constrained combinatorial objects, but also to enumerate them. We also investigate some repercussions of this method on the D-finiteness of the generating functions of combinatorial objects encoded by linear extension diagrams, and give a limit law result for the average number of local decreases.
△ Less
Submitted 23 May, 2018;
originally announced May 2018.
-
Divisibility of binomial coefficients by powers of two
Authors:
Lukas Spiegelhofer,
Michael Wallner
Abstract:
For nonnegative integers $j$ and $n$ let $Θ(j,n)$ be the number of entries in the $n$-th row of Pascal's triangle that are not divisible by $2^{j+1}$. In this paper we prove that the family $j\mapstoΘ(j,n)$ usually follows a normal distribution. The method used for proving this theorem involves the computation of first and second moments of $Θ(j,n)$, and uses asymptotic analysis of multivariate ge…
▽ More
For nonnegative integers $j$ and $n$ let $Θ(j,n)$ be the number of entries in the $n$-th row of Pascal's triangle that are not divisible by $2^{j+1}$. In this paper we prove that the family $j\mapstoΘ(j,n)$ usually follows a normal distribution. The method used for proving this theorem involves the computation of first and second moments of $Θ(j,n)$, and uses asymptotic analysis of multivariate generating functions by complex analytic methods, building on earlier work by Drmota (1994) and Drmota, Kauers and Spiegelhofer (2016).
△ Less
Submitted 30 October, 2017;
originally announced October 2017.
-
The Tu--Deng Conjecture holds almost surely
Authors:
Lukas Spiegelhofer,
Michael Wallner
Abstract:
The Tu--Deng Conjecture is concerned with the sum of digits $w(n)$ of $n$ in base~$2$ (the Hamming weight of the binary expansion of $n$) and states the following: assume that $k$ is a positive integer and $1\leq t<2^k-1$. Then \[\Bigl \lvert\Bigl\{(a,b)\in\bigl\{0,\ldots,2^k-2\bigr\}^2:a+b\equiv t\bmod 2^k-1, w(a)+w(b)<k\Bigr\}\Bigr \rvert\leq 2^{k-1}.\]
We prove that the Tu--Deng Conjecture ho…
▽ More
The Tu--Deng Conjecture is concerned with the sum of digits $w(n)$ of $n$ in base~$2$ (the Hamming weight of the binary expansion of $n$) and states the following: assume that $k$ is a positive integer and $1\leq t<2^k-1$. Then \[\Bigl \lvert\Bigl\{(a,b)\in\bigl\{0,\ldots,2^k-2\bigr\}^2:a+b\equiv t\bmod 2^k-1, w(a)+w(b)<k\Bigr\}\Bigr \rvert\leq 2^{k-1}.\]
We prove that the Tu--Deng Conjecture holds almost surely in the following sense: the proportion of $t\in[1,2^k-2]$ such that the above inequality holds approaches $1$ as $k\rightarrow\infty$.
Moreover, we prove that the Tu--Deng Conjecture implies a conjecture due to T.~W.~Cusick concerning the sum of digits of $n$ and $n+t$.
△ Less
Submitted 10 July, 2018; v1 submitted 25 July, 2017;
originally announced July 2017.
-
On the shape of random Pólya structures
Authors:
Bernhard Gittenberger,
Emma Yu **,
Michael Wallner
Abstract:
Panagiotou and Stufler recently proved an important fact on their way to establish the scaling limits of random Pólya trees: a uniform random Pólya tree of size $n$ consists of a conditioned critical Galton-Watson tree $C_n$ and many small forests, where with probability tending to one, as $n$ tends to infinity, any forest $F_n(v)$, that is attached to a node $v$ in $C_n$, is maximally of size…
▽ More
Panagiotou and Stufler recently proved an important fact on their way to establish the scaling limits of random Pólya trees: a uniform random Pólya tree of size $n$ consists of a conditioned critical Galton-Watson tree $C_n$ and many small forests, where with probability tending to one, as $n$ tends to infinity, any forest $F_n(v)$, that is attached to a node $v$ in $C_n$, is maximally of size $\vert F_n(v)\vert=O(\log n)$. Their proof used the framework of a Boltzmann sampler and deviation inequalities.
In this paper, first, we employ a unified framework in analytic combinatorics to prove this fact with additional improvements for $\vert F_n(v)\vert$, namely $\vert F_n(v)\vert=Θ(\log n)$. Second, we give a combinatorial interpretation of the rational weights of these forests and the defining substitution process in terms of automorphisms associated to a given Pólya tree. Third, we derive the limit probability that for a random node $v$ the attached forest $F_n(v)$ is of a given size. Moreover, structural properties of those forests like the number of their components are studied. Finally, we extend all results to other Pólya structures.
△ Less
Submitted 10 January, 2018; v1 submitted 7 July, 2017;
originally announced July 2017.
-
Lattice paths with catastrophes
Authors:
Cyril Banderier,
Michael Wallner
Abstract:
In queuing theory, it is usual to have some models with a "reset" of the queue. In terms of lattice paths, it is like having the possibility of jum** from any altitude to zero. These objects have the interesting feature that they do not have the same intuitive probabilistic behaviour as classical Dyck paths (the typical properties of which are strongly related to Brownian motion theory), and thi…
▽ More
In queuing theory, it is usual to have some models with a "reset" of the queue. In terms of lattice paths, it is like having the possibility of jum** from any altitude to zero. These objects have the interesting feature that they do not have the same intuitive probabilistic behaviour as classical Dyck paths (the typical properties of which are strongly related to Brownian motion theory), and this article quantifies some relations between these two types of paths. We give a bijection with some other lattice paths and a link with a continued fraction expansion. Furthermore, we prove several formulae for related combinatorial structures conjectured in the On-Line Encyclopedia of Integer Sequences. Thanks to the kernel method and via analytic combinatorics, we provide the enumeration and limit laws of these "lattice paths with catastrophes" for any finite set of jumps. We end with an algorithm to generate such lattice paths uniformly at random.
△ Less
Submitted 19 September, 2017; v1 submitted 6 July, 2017;
originally announced July 2017.
-
A bijection of plane increasing trees with relaxed binary trees of right height at most one
Authors:
Michael Wallner
Abstract:
Plane increasing trees are rooted labeled trees embedded into the plane such that the sequence of labels is increasing on any branch starting at the root. Relaxed binary trees are a subclass of unlabeled directed acyclic graphs. We construct a bijection between these two combinatorial objects and study the therefrom arising connections of certain parameters. Furthermore, we show central limit theo…
▽ More
Plane increasing trees are rooted labeled trees embedded into the plane such that the sequence of labels is increasing on any branch starting at the root. Relaxed binary trees are a subclass of unlabeled directed acyclic graphs. We construct a bijection between these two combinatorial objects and study the therefrom arising connections of certain parameters. Furthermore, we show central limit theorems for two statistics on leaves. We end the study by considering more than 20 subclasses and their bijective counterparts. Many of these subclasses are enumerated by known counting sequences, and thus enrich their combinatorial interpretation.
△ Less
Submitted 11 July, 2018; v1 submitted 22 June, 2017;
originally announced June 2017.
-
Asymptotic Enumeration of Compacted Binary Trees of Bounded Right Height
Authors:
Antoine Genitrini,
Bernhard Gittenberger,
Manuel Kauers,
Michael Wallner
Abstract:
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 th…
▽ More
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 drop** 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.
△ Less
Submitted 9 March, 2022; v1 submitted 29 March, 2017;
originally announced March 2017.
-
A half-normal distribution scheme for generating functions
Authors:
Michael Wallner
Abstract:
We present a general theorem on the structure of bivariate generating functions which gives sufficient conditions such that the limiting probability distribution is a half-normal distribution. If $X$ is a normally distributed random variable with zero mean, then $|X|$ obeys a half-normal distribution. In the second part, we apply our result to prove three natural appearances in the domain of latti…
▽ More
We present a general theorem on the structure of bivariate generating functions which gives sufficient conditions such that the limiting probability distribution is a half-normal distribution. If $X$ is a normally distributed random variable with zero mean, then $|X|$ obeys a half-normal distribution. In the second part, we apply our result to prove three natural appearances in the domain of lattice paths: the number of returns to zero, the height, and the sign changes are under zero drift distributed according to a half-normal distribution. This extends known results to a general step set. Finally, our result also gives a new proof of Banach's matchbox problem.
△ Less
Submitted 16 April, 2020; v1 submitted 3 October, 2016;
originally announced October 2016.
-
Explicit formulas for enumeration of lattice paths: basketball and the kernel method
Authors:
Cyril Banderier,
Christian Krattenthaler,
Alan Krinik,
Dmitry Kruchinin,
Vladimir Kruchinin,
David Tuan Nguyen,
Michael Wallner
Abstract:
This article deals with the enumeration of directed lattice walks on the integers with any finite set of steps, starting at a given altitude $j$ and ending at a given altitude $k$, with additional constraints such as, for example, to never attain altitude $0$ in-between. We first discuss the case of walks on the integers with steps $-h, \dots, -1, +1, \dots, +h$. The case $h=1$ is equivalent to th…
▽ More
This article deals with the enumeration of directed lattice walks on the integers with any finite set of steps, starting at a given altitude $j$ and ending at a given altitude $k$, with additional constraints such as, for example, to never attain altitude $0$ in-between. We first discuss the case of walks on the integers with steps $-h, \dots, -1, +1, \dots, +h$. The case $h=1$ is equivalent to the classical Dyck paths, for which many ways of getting explicit formulas involving Catalan-like numbers are known. The case $h=2$ corresponds to "basketball" walks, which we treat in full detail. Then we move on to the more general case of walks with any finite set of steps, also allowing some weights/probabilities associated with each step. We show how a method of wide applicability, the so-called "kernel method", leads to explicit formulas for the number of walks of length $n$, for any $h$, in terms of nested sums of binomials. We finally relate some special cases to other combinatorial problems, or to problems arising in queuing theory.
△ Less
Submitted 3 February, 2017; v1 submitted 21 September, 2016;
originally announced September 2016.
-
A note on the scaling limits of random Pólya trees
Authors:
Bernhard Gittenberger,
Emma Yu **,
Michael Wallner
Abstract:
Panagiotou and Stufler (arXiv:1502.07180v2) recently proved one important fact on their way to establish the scaling limits of random Pólya trees: a uniform random Pólya tree of size $n$ consists of a conditioned critical Galton-Watson tree $C_n$ and many small forests, where with probability tending to one as $n$ tends to infinity, any forest $F_n(v)$, that is attached to a node $v$ in $C_n$, is…
▽ More
Panagiotou and Stufler (arXiv:1502.07180v2) recently proved one important fact on their way to establish the scaling limits of random Pólya trees: a uniform random Pólya tree of size $n$ consists of a conditioned critical Galton-Watson tree $C_n$ and many small forests, where with probability tending to one as $n$ tends to infinity, any forest $F_n(v)$, that is attached to a node $v$ in $C_n$, is maximally of size $\vert F_n(v)\vert=O(\log n)$. Their proof used the framework of a Boltzmann sampler and deviation inequalities.
In this paper, first, we employ a unified framework in analytic combinatorics to prove this fact with additional improvements on the bound of $\vert F_n(v)\vert$, namely $\vert F_n(v)\vert=Θ(\log n)$. Second, we give a combinatorial interpretation of the rational weights of these forests and the defining substitution process in terms of automorphisms associated to a given Pólya tree. Finally, we derive the limit probability that for a random node $v$ the attached forest $F_n(v)$ is of a given size.
△ Less
Submitted 3 November, 2016; v1 submitted 28 June, 2016;
originally announced June 2016.
-
The kernel method for lattice paths below a line of rational slope
Authors:
Cyril Banderier,
Michael Wallner
Abstract:
We analyse some enumerative and asymptotic properties of lattice paths below a line of rational slope. We illustrate our approach with Dyck paths under a line of slope $2/5$. This answers Knuth's problem #4 from his "Flajolet lecture" during the conference "Analysis of Algorithms" (AofA'2014) in Paris in June 2014. Our approach extends the work of Banderier and Flajolet for asymptotics and enumera…
▽ More
We analyse some enumerative and asymptotic properties of lattice paths below a line of rational slope. We illustrate our approach with Dyck paths under a line of slope $2/5$. This answers Knuth's problem #4 from his "Flajolet lecture" during the conference "Analysis of Algorithms" (AofA'2014) in Paris in June 2014. Our approach extends the work of Banderier and Flajolet for asymptotics and enumeration of directed lattice paths to the case of generating functions involving several dominant singularities, and has applications to a full class of problems involving some "periodicities". A key ingredient in the proof is the generalization of an old trick by Knuth himself (for enumerating permutations sortable by a stack), promoted by Flajolet and others as the "kernel method". All the corresponding generating functions are algebraic, and they offer some new combinatorial identities, which can also be tackled in the A=B spirit of Wilf-Zeilberger-Petkovsek. We show how to obtain similar results for any rational slope. An interesting case is e.g. Dyck paths below the slope $2/3$ (this corresponds to the so-called Duchon's club model), for which we solve a conjecture related to the asymptotics of the area below such lattice paths. Our work also gives access to lattice paths below an irrational slope (e.g. Dyck paths below $y=x/\sqrt{2}$), a problem that we study in a companion article.
△ Less
Submitted 5 October, 2016; v1 submitted 27 June, 2016;
originally announced June 2016.
-
A half-normal distribution scheme for generating functions and the unexpected behavior of Motzkin paths
Authors:
Michael Wallner
Abstract:
We present an extension of a theorem by Michael Drmota and Michèle Soria [Images and Preimages in Random Map**s, 1997] that can be used to identify the limiting distribution for a class of combinatorial schemata. This is achieved by determining analytical and algebraic properties of the associated bivariate generating function. We give sufficient conditions implying a half-normal limiting distri…
▽ More
We present an extension of a theorem by Michael Drmota and Michèle Soria [Images and Preimages in Random Map**s, 1997] that can be used to identify the limiting distribution for a class of combinatorial schemata. This is achieved by determining analytical and algebraic properties of the associated bivariate generating function. We give sufficient conditions implying a half-normal limiting distribution, extending the known conditions leading to either a Rayleigh, a Gaussian, or a convolution of the last two distributions. We conclude with three natural appearances of such a limiting distribution in the domain of Motzkin paths.
△ Less
Submitted 10 May, 2016;
originally announced May 2016.
-
Lattice paths of slope 2/5
Authors:
Cyril Banderier,
Michael Wallner
Abstract:
We analyze some enumerative and asymptotic properties of Dyck paths under a line of slope 2/5.This answers to Knuth's problem \\#4 from his "Flajolet lecture" during the conference "Analysis of Algorithms" (AofA'2014) in Paris in June 2014.Our approach relies on the work of Banderier and Flajolet for asymptotics and enumeration of directed lattice paths. A key ingredient in the proof is the genera…
▽ More
We analyze some enumerative and asymptotic properties of Dyck paths under a line of slope 2/5.This answers to Knuth's problem \\#4 from his "Flajolet lecture" during the conference "Analysis of Algorithms" (AofA'2014) in Paris in June 2014.Our approach relies on the work of Banderier and Flajolet for asymptotics and enumeration of directed lattice paths. A key ingredient in the proof is the generalization of an old trick of Knuth himself (for enumerating permutations sortable by a stack),promoted by Flajolet and others as the "kernel method". All the corresponding generating functions are algebraic,and they offer some new combinatorial identities, which can be also tackled in the A=B spirit of Wilf--Zeilberger--Petkov{\v s}ek.We show how to obtain similar results for other slopes than 2/5, an interesting case being e.g. Dyck paths below the slope 2/3, which corresponds to the so called Duchon's club model.
△ Less
Submitted 10 May, 2016;
originally announced May 2016.
-
Some reflections on directed lattice paths
Authors:
Cyril Banderier,
Michael Wallner
Abstract:
This article analyzes directed lattice paths, when a boundary reflecting or absorbing condition is added to the classical models. The lattice paths are characterized by two time-independent sets of rules (also called steps) which have a privileged direction of increase and are therefore essentially one-dimensional objects. Depending on the spatial coordinate, one of the two sets of rules applies,…
▽ More
This article analyzes directed lattice paths, when a boundary reflecting or absorbing condition is added to the classical models. The lattice paths are characterized by two time-independent sets of rules (also called steps) which have a privileged direction of increase and are therefore essentially one-dimensional objects. Depending on the spatial coordinate, one of the two sets of rules applies, namely one for altitude 0 and one for altitude bigger than 0. The abscissa y=0 thus acts as a border which either absorbs or reflects steps. The absorption model corresponds to the model analyzed by Banderier and Flajolet ("Analytic combinatorics of directed lattice paths"), while the reflecting model leads to a more complicated situation. We show how the generating functions are then modified: the kernel method strikes again but here it unfortunately does not give a nice product formula. This makes the analysis more challenging, and, in the case of Łukasiewicz walks, we give the asymptotics for the number of excursions, arches and meanders. Limit laws for the number of returns to 0 of excursions are given. We also compute the limit laws of the final altitude of meanders. The full analytic situation is more complicated than the Banderier-Flajolet model (partly because new "critical compositions" appear, forcing us to introduce new key quantities, like the drift at 0), and we quantify to what extent the global drift, and the drift at 0 play a role in the "universal" behavior of such walks.
△ Less
Submitted 5 May, 2016;
originally announced May 2016.
-
An explicit generating function arising in counting binomial coefficients divisible by powers of primes
Authors:
Lukas Spiegelhofer,
Michael Wallner
Abstract:
For a prime $p$ and nonnegative integers $j$ and $n$ let $\vartheta_p(j,n)$ be the number of entries in the $n$-th row of Pascal's triangle that are exactly divisible by $p^j$. Moreover, for a finite sequence $w=(w_{r-1}\cdots w_0)\neq (0,\ldots,0)$ in $\{0,\ldots,p-1\}$ we denote by $\lvert n\rvert_w$ the number of times that $w$ appears as a factor (contiguous subsequence) of the base-$p$ expans…
▽ More
For a prime $p$ and nonnegative integers $j$ and $n$ let $\vartheta_p(j,n)$ be the number of entries in the $n$-th row of Pascal's triangle that are exactly divisible by $p^j$. Moreover, for a finite sequence $w=(w_{r-1}\cdots w_0)\neq (0,\ldots,0)$ in $\{0,\ldots,p-1\}$ we denote by $\lvert n\rvert_w$ the number of times that $w$ appears as a factor (contiguous subsequence) of the base-$p$ expansion $n=(n_{μ-1}\cdots n_0)_p$ of $n$. It follows from the work of Barat and Grabner (Digital functions and distribution of binomial coefficients, J. London Math. Soc. (2) 64(3), 2001), that $\vartheta_p(j,n)/\vartheta_p(0,n)$ is given by a polynomial $P_j$ in the variables $X_w$, where $w$ are certain finite words in $\{0,\ldots,p-1\}$, and each variable $X_w$ is set to $\lvert n\rvert_w$. This was later made explicit by Rowland (The number of nonzero binomial coefficients modulo $p^α$, J. Comb. Number Theory 3(1), 2011), independently from Barat and Grabner's work, and Rowland described and implemented an algorithm computing these polynomials $P_j$. In this paper, we express the coefficients of $P_j$ using generating functions, and we prove that these generating functions can be determined explicitly by means of a recurrence relation. Moreover, we prove that $P_j$ is uniquely determined, and we note that the proof of our main theorem also provides a new proof of its existence. Besides providing insight into the structure of the polynomials $P_j$, our results allow us to compute them in a very efficient way.
△ Less
Submitted 8 November, 2017; v1 submitted 24 April, 2016;
originally announced April 2016.
-
Nuquantus: Machine learning software for the characterization and quantification of cell nuclei in complex immunofluorescent tissue images
Authors:
Polina Gross,
Nicolas Honnorat,
Erdem Varol,
Markus Wallner,
Danielle M. Trappanese,
Thomas E. Sharp,
Tim Starosta,
Jason M. Duran,
Sarah Koller,
Christos Davatzikos,
Steven R. Houser
Abstract:
Determination of fundamental mechanisms of disease often hinges on histopathology visualization and quantitative image analysis. Currently, the analysis of multi-channel fluorescence tissue images is primarily achieved by manual measurements of tissue cellular content and sub-cellular compartments. Since the current manual methodology for image analysis is a tedious and subjective approach, there…
▽ More
Determination of fundamental mechanisms of disease often hinges on histopathology visualization and quantitative image analysis. Currently, the analysis of multi-channel fluorescence tissue images is primarily achieved by manual measurements of tissue cellular content and sub-cellular compartments. Since the current manual methodology for image analysis is a tedious and subjective approach, there is clearly a need for an automated analytical technique to process large-scale image datasets. Here, we introduce Nuquantus (Nuclei quantification utility software) - a novel machine learning-based analytical method, which identifies, quantifies and classifies nuclei based on cells of interest in composite fluorescent tissue images, in which cell borders are not visible. Nuquantus is an adaptive framework that learns the morphological attributes of intact tissue in the presence of anatomical variability and pathological processes. Nuquantus allowed us to robustly perform quantitative image analysis on remodeling cardiac tissue after myocardial infarction. Nuquantus reliably classifies cardiomyocyte versus non-cardiomyocyte nuclei and detects cell proliferation, as well as cell death in different cell classes. Broadly, Nuquantus provides innovative computerized methodology to analyze complex tissue images that significantly facilitates image analysis and minimizes human bias.
△ Less
Submitted 14 December, 2015;
originally announced December 2015.