{"title":"The CLT Analogue for Cyclic Urns","authors":"Noëla Müller, Ralph Neininger","doi":"10.1137/1.9781611974324.11","DOIUrl":"https://doi.org/10.1137/1.9781611974324.11","url":null,"abstract":"A cyclic urn is an urn model for balls of types $0,ldots,m-1$ where in each draw the ball drawn, say of type $j$, is returned to the urn together with a new ball of type $j+1 mod m$. The case $m=2$ is the well-known Friedman urn. The composition vector, i.e., the vector of the numbers of balls of each type after $n$ steps is, after normalization, known to be asymptotically normal for $2le mle 6$. For $mge 7$ the normalized composition vector does not converge. However, there is an almost sure approximation by a periodic random vector. In this paper the asymptotic fluctuations around this periodic random vector are identified. We show that these fluctuations are asymptotically normal for all $mge 7$. However, they are of maximal dimension $m-1$ only when $6$ does not divide $m$. For $m$ being a multiple of $6$ the fluctuations are supported by a two-dimensional subspace.","PeriodicalId":340112,"journal":{"name":"Workshop on Analytic Algorithmics and Combinatorics","volume":"4 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2015-07-29","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"122553322","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
{"title":"Prime Factorization of the Kirchhoff Polynomial: Compact Enumeration of Arborescences","authors":"Matús Mihalák, P. Uznański, Pencho Yordanov","doi":"10.1137/1.9781611974324.10","DOIUrl":"https://doi.org/10.1137/1.9781611974324.10","url":null,"abstract":"We study the problem of enumerating all rooted directed spanning trees (arborescences) of a directed graph (digraph) $G=(V,E)$ of $n$ vertices. An arborescence $A$ consisting of edges $e_1,ldots,e_{n-1}$ can be represented as a monomial $e_1cdot e_2 cdots e_{n-1}$ in variables $e in E$. All arborescences $mathsf{arb}(G)$ of a digraph then define the Kirchhoff polynomial $sum_{A in mathsf{arb}(G)} prod_{ein A} e$. We show how to compute a compact representation of the Kirchhoff polynomial -- its prime factorization, and how it relates to combinatorial properties of digraphs such as strong connectivity and vertex domination. In particular, we provide digraph decomposition rules that correspond to factorization steps of the polynomial, and also give necessary and sufficient primality conditions of the resulting factors expressed by connectivity properties of the corresponding decomposed components. Thereby, we obtain a linear time algorithm for decomposing a digraph into components corresponding to factors of the initial polynomial, and a guarantee that no finer factorization is possible. The decomposition serves as a starting point for a recursive deletion-contraction algorithm, and also as a preprocessing phase for iterative enumeration algorithms. Both approaches produce a compressed output and retain some structural properties in the resulting polynomial. This proves advantageous in practical applications such as calculating steady states on digraphs governed by Laplacian dynamics, or computing the greatest common divisor of Kirchhoff polynomials. Finally, we initiate the study of a class of digraphs which allow for a practical enumeration of arborescences. Using our decomposition rules we observe that various digraphs from real-world applications fall into this class or are structurally similar to it.","PeriodicalId":340112,"journal":{"name":"Workshop on Analytic Algorithmics and Combinatorics","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2015-07-28","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"129937439","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
{"title":"Graphs with degree constraints","authors":"Élie de Panafieu, Lander Ramos","doi":"10.1137/1.9781611974324.4","DOIUrl":"https://doi.org/10.1137/1.9781611974324.4","url":null,"abstract":"Given a set D of nonnegative integers, we derive the asymptotic number of graphs with a givenvnumber of vertices, edges, and such that the degree of every vertex is in D. This generalizes existing results, such as the enumeration of graphs with a given minimum degree, and establishes new ones, such as the enumeration of Euler graphs, i.e. where all vertices have an even degree. Those results are derived using analytic combinatorics.","PeriodicalId":340112,"journal":{"name":"Workshop on Analytic Algorithmics and Combinatorics","volume":"81 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2015-06-09","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"128608203","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
{"title":"On Distributed Cardinality Estimation: Random Arcs Recycled","authors":"Marcin Kardas, Mirosław Kutyłowski, Jakub Lemiesz","doi":"10.1137/1.9781611973761.12","DOIUrl":"https://doi.org/10.1137/1.9781611973761.12","url":null,"abstract":"We introduce and analyze a distributed cardinality estimation algorithm for a network consisted of not synchronized nodes. Our solution can be regarded as a generalization of the classic approximate counting algorithm based on the balls and bins model and is connected to the well studied process of covering the circle with random arcs. Although the algorithm is presented in the context of a radio network, the basic idea is applicable to any system in which many uncoordinated nodes communicate over a shared medium. In the paper we prove the correctness of the algorithm and by the methods of complex analysis we carefully examine the accuracy and precision of the estimator we have proposed. We also show that the construction of the proposed algorithm is a backbone for simple distributed summation.","PeriodicalId":340112,"journal":{"name":"Workshop on Analytic Algorithmics and Combinatorics","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2015-01-04","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"132358678","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
{"title":"Cuts in Increasing Trees","authors":"O. Bodini, Antoine Genitrini","doi":"10.1137/1.9781611973761.6","DOIUrl":"https://doi.org/10.1137/1.9781611973761.6","url":null,"abstract":"Increasing trees have been extensively studied, since it is a simple model for many natural phenomena. Our paper focuses on sub-families of increasing trees. We measure the number of connected components obtained after having removed the nodes whose labels are smaller than a given value. This measure of cut-length allows, for example, to analyse in average an algorithm for tree-labelling. It is noticeable that we give exact formulae for the distribution of trees according to their size and cut-lengths. Our approach is based on a construction using grafting processes.","PeriodicalId":340112,"journal":{"name":"Workshop on Analytic Algorithmics and Combinatorics","volume":"141 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2015-01-04","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"114344981","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
{"title":"Repeated fringe subtrees in random rooted trees","authors":"D. Ralaivaosaona, S. Wagner","doi":"10.1137/1.9781611973761.7","DOIUrl":"https://doi.org/10.1137/1.9781611973761.7","url":null,"abstract":"A fringe subtree of a rooted tree is a subtree that consists of a node and all its descendants. In this paper, we are particularly interested in the number of fringe subtrees that occur repeatedly in a random rooted tree. Specifically, we show that the average number of fringe subtrees that occur at least r times is of asymptotic order n/(log n)3/2 for every r ≥ 2 (with small periodic fluctuations in the main term) if a tree is taken uniformly at random from a simply generated family. Moreover, we also prove a strong concentration result for a related parameter: the size of the smallest tree that does not occur as a fringe subtree is with high probability equal to one of at most two different values. The main proof ingredients are singularity analysis, bootstrapping and the first and second moment methods.","PeriodicalId":340112,"journal":{"name":"Workshop on Analytic Algorithmics and Combinatorics","volume":"28 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2015-01-04","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"123431325","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
{"title":"Linear-time generation of inhomogeneous random directed walks","authors":"Frédérique Bassino, A. Sportiello","doi":"10.1137/1.9781611973761.5","DOIUrl":"https://doi.org/10.1137/1.9781611973761.5","url":null,"abstract":"Directed random walks in dimension two describe the diffusion dynamics of particles in a line. Through a well-known bijection, excursions, i.e. walks in the half-plane, describe families of \"simply-generated\" Galton--Watson trees. These random objects can be generated in linear time, through an algorithm due to Devroye, and crucially based on the fact that the steps of the walk form an exchangeable sequence of random variables. \u0000 \u0000We consider here the random generation of a more general family of structures, in which the transition rates, instead of being fixed once and for all, evolve in time (but not in space). Thus, the steps are not exchangeable anymore. \u0000 \u0000On one side, this generalises diffusion into time-dependent diffusion. On the other side, among other things, this allows to consider effects of excluded volume, for Galton--Watson trees arising from exploration processes on finite random graphs, both directed and undirected. In the directed version, a special case concerns partitions of N objects into M blocks (counted by Stirling numbers of the second kind), and rooted K-maps which are accessible from the root, which in turn are related to the uniform generation of random accessible deterministic complete automata. \u0000 \u0000We present an algorithm, based on the block-decomposition of the problem, and a crucial procedure consisting of a generalised Devroye algorithm, for transition rates which are well-approximated by piecewise exponential functions. The achieved (bit-)complexity remains linear.","PeriodicalId":340112,"journal":{"name":"Workshop on Analytic Algorithmics and Combinatorics","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2015-01-04","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"131080579","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
{"title":"Variance of Size in Regular Graph Tries","authors":"P. Jacquet, A. Magner","doi":"10.1137/1.9781611973761.9","DOIUrl":"https://doi.org/10.1137/1.9781611973761.9","url":null,"abstract":"Graph tries are a generalization of classical digital trees: instead of being built from strings, a G-trie is built from label functions on the graph G. In this work, we determine leading order asymptotics for the variance of the size of a G-trie built on a memoryless source on a uniform alphabet distribution, where G is a member of a large class of infinite, M-regular directed, acyclic graphs with M > 1 fixed. In particular, this covers the cases of trees and grids. We find that, in such tries, the variance is of order Θ(nρ'), for some ρ' depending on G which is minimized when G is a tree. We also give an explicit expression for ρ' in the case where G is a grid, with M = 2.","PeriodicalId":340112,"journal":{"name":"Workshop on Analytic Algorithmics and Combinatorics","volume":"7 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2015-01-04","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"121811818","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
{"title":"A Bound for the Diameter of Random Hyperbolic Graphs","authors":"Marcos A. Kiwi, D. Mitsche","doi":"10.1137/1.9781611973761.3","DOIUrl":"https://doi.org/10.1137/1.9781611973761.3","url":null,"abstract":"Random hyperbolic graphs were recently introduced by Krioukov et. al. [KPKVB10] as a model for large networks. Gugelmann, Panagiotou, and Peter [GPP12] then initiated the rigorous study of random hyperbolic graphs using the following model: for $alpha> tfrac{1}{2}$, $Cinmathbb{R}$, $ninmathbb{N}$, set $R=2ln n+C$ and build the graph $G=(V,E)$ with $|V|=n$ as follows: For each $vin V$, generate i.i.d. polar coordinates $(r_{v},theta_{v})$ using the joint density function $f(r,theta)$, with $theta_{v}$ chosen uniformly from $[0,2pi)$ and $r_{v}$ with density $f(r)=frac{alphasinh(alpha r)}{cosh(alpha R)-1}$ for $0leq r< R$. Then, join two vertices by an edge, if their hyperbolic distance is at most $R$. We prove that in the range $tfrac{1}{2} < alpha < 1$ a.a.s. for any two vertices of the same component, their graph distance is $O(log^{C_0+1+o(1)}n)$, where $C_0=2/(tfrac{1}{2}-frac{3}{4}alpha+tfrac{alpha^2}{4})$, thus answering a question raised in [GPP12] concerning the diameter of such random graphs. As a corollary from our proof we obtain that the second largest component has size $O(log^{2C_0+1+o(1)}n)$, thus answering a question of Bode, Fountoulakis and M\"{u}ller [BFM13]. We also show that a.a.s. there exist isolated components forming a path of length $Omega(log n)$, thus yielding a lower bound on the size of the second largest component.","PeriodicalId":340112,"journal":{"name":"Workshop on Analytic Algorithmics and Combinatorics","volume":"29 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2014-08-13","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"127971031","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Ioannis Giotis, L. Kirousis, Kostas I. Psaromiligkos, D. Thilikos
{"title":"On the Algorithmic Lovász Local Lemma and Acyclic Edge Coloring","authors":"Ioannis Giotis, L. Kirousis, Kostas I. Psaromiligkos, D. Thilikos","doi":"10.1137/1.9781611973761.2","DOIUrl":"https://doi.org/10.1137/1.9781611973761.2","url":null,"abstract":"The algorithm for Lovasz Local Lemma by Moser and Tardos gives a constructive way to prove the existence of combinatorial objects that satisfy a system of constraints. We present an alternative probabilistic analysis of the algorithm that does not involve reconstructing the history of the algorithm from the witness tree. We apply our technique to improve the best known upper bound to acyclic chromatic index. Specifically we show that a graph with maximum degree Δ has an acyclic proper edge coloring with at most ⌈3.74(Δ − 1)⌉ + 1 colors, whereas the previously known best bound was 4(Δ − 1). The same technique is also applied to improve corresponding bounds for graphs with bounded girth. An interesting aspect of this application is that the probability of the \"undesirable\" events do not have a uniform upper bound, i.e. it constitutes a case of the asymmetric Lovasz Local Lemma.","PeriodicalId":340112,"journal":{"name":"Workshop on Analytic Algorithmics and Combinatorics","volume":"13 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2014-07-21","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"121788466","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}