Search

We consider the sum-of-digits functions $s_2$ and $s_3$ in bases $2$ and $3$. These functions just return the minimal numbers of powers of two (resp. three) needed in order to represent a nonnegative integer as their sum. A result of the second author states that there are infinitely many \emph{collisions} of $s_2$ and $s_3$, that is, positive integers $n$ such that \[s_2(n)=s_3(n).\] This resolved a long-standing folklore conjecture. In the present paper, we prove a strong generalization of this statement, stating that $(s_2(n),s_3(n))$ attains almost all values in $\mathbb N^2$, in the sense of asymptotic density. In particular, this yields \emph{generalized collisions}: for any pair $(a,b)$ of positive integers, the equation \[as_2(n)=bs_3(n)\] admits infinitely many solutions in $n$., Comment: 24 pages

The purpose of this paper is to study the limiting distribution of special {\it additive functionals} on random planar maps, namely the number of occurrences of a given {\it pattern}. The main result is a central limit theorem for these pattern counts in the case of pattern with a simple boundary. The proof relies on a combination of analytic and combinatorial methods together with a moment method due to Gao and Wormald~\cite{GaoWormald}. It is an important issue to handle the overlap structure of two pattern which is the main difficulty in the proof., Comment: 47 pages

Thresholded hybrid systems are restricted dynamical systems, where the current mode, and hence the ODE system describing its behavior, is solely determined by externally supplied digital input signals and where the only output signals are digital ones generated by comparing an internal state variable to a threshold value. An attractive feature of such systems is easy composition, which is facilitated by their purely digital interface. A particularly promising application domain of thresholded hybrid systems is digital integrated circuits: Modern digital circuit design considers them as a composition of Millions and even Billions of elementary logic gates, like inverters, GOR and Gand. Since every such logic gate is eventually implemented as an electronic circuit, however, which exhibits a behavior that is governed by some ODE system, thresholded hybrid systems are ideally suited for making the transition from the analog to the digital world rigorous. In this paper, we prove that the mapping from digital input signals to digital output signals is continuous for a large class of thresholded hybrid systems. Moreover, we show that, under some mild conditions regarding causality, this continuity also continues to hold for arbitrary compositions, which in turn guarantees that the composition faithfully captures the analog reality. By applying our generic results to some recently developed thresholded hybrid gate models, both for single-input single-output gates like inverters and for a two-input CMOS NOR gate, we show that they are continuous. Moreover, we provide a novel thresholded hybrid model for the two-input NOR gate, which is not only continuous but also, unlike the existing one, faithfully models all multi-input switching effects., Comment: There was a missing author from the last submission. arXiv admin note: substantial text overlap with arXiv:2303.14048

Given $t\geq 2$ and $0\leq k\leq t$, we prove that the number of labelled $k$-connected chordal graphs with $n$ vertices and tree-width at most $t$ is asymptotically $c n^{-5/2} \gamma^n n!$, as $n\to\infty$, for some constants $c,\gamma >0$ depending on $t$ and $k$. Additionally, we show that the number of $i$-cliques ($2\leq i\leq t$) in a uniform random $k$-connected chordal graph with tree-width at most $t$ is normally distributed as $n\to\infty$. The asymptotic enumeration of graphs of tree-width at most $t$ is wide open for $t\geq 3$. To the best of our knowledge, this is the first non-trivial class of graphs with bounded tree-width where the asymptotic counting problem is solved. Our starting point is the work of Wormald [Counting Labelled Chordal Graphs, Graphs and Combinatorics (1985)], were an algorithm is developed to obtain the exact number of labelled chordal graphs on $n$ vertices., Comment: 23 pages, 5 figures

Functional equations with one catalytic appear in several combinatorial applications, most notably in the enumeration of lattice paths and in the enumeration of planar maps. The main purpose of this paper is to show that under certain positivity assumptions the dominant singularity of the solutions have a universal behavior. We have to distinguish between linear catalytic equations, where a dominating square root singularity appears, and non-linear catalytic equations, where we - usually - have a singularity of type 3/2.

The purpose of this paper is to study subsequences of synchronizing $k$-automatic sequences $a(n)$ along Piatetski-Shapiro sequences $\lfloor n^c \rfloor$ with non-integer $c>1$. In particular, we show that $a(\lfloor n^c \rfloor)$ satisfies a prime number theorem of the form $\sum_{n\le x} \Lambda(n)a(\lfloor n^c \rfloor) \sim C\, x$, and, furthermore, that it is deterministic for $c \in \mathbb R\setminus \mathbb Z$. As an interesting additional result, we show that the sequence $\lfloor n^c\rfloor \bmod m$ has polynomial subword complexity., Comment: 32 pages

We analyse uniform random cubic rooted planar maps and obtain limiting distributions for several parameters of interest. From the enumerative point of view, we present a unified approach for the enumeration of several classes of cubic planar maps, which allow us to recover known results in a more general and transparent way. This approach allows us to obtain new enumerative results. Concerning random maps, we first obtain the distribution of the degree of the root face, which has an exponential tail as for other classes of random maps. Our main result is a limiting map-Airy distribution law for the size of the largest block $L$, whose expectation is asymptotically $n/\sqrt{3}$ in a random cubic map with $n+2$ faces. We prove analogous results for the size of the largest cubic block, obtained from $L$ by erasing all vertices of degree two, and for the size of the largest 3-connected component, whose expected values are respectively $n/2$ and $n/4$. To obtain these results we need to analyse a new type of composition scheme which has not been treated by Banderier et al. [Random Structures Algorithms 2001]., Comment: 32 pages

The purpose of this paper is to discuss the relationship between prime numbers and sums of Fibonacci numbers. One of our main results says that for every sufficiently large integer $k$ there exists a prime number that can be represented as the sum of $k$ different and non-consecutive Fibonacci numbers. This property is closely related to, and based on, a prime number theorem for certain morphic sequences. The proof of such a prime number theorem, combined with a corresponding local result, is the central contribution of this paper, from which we derive the result stated in the beginning. Problems of this type have been discussed intensively in the context of the base-$q$ expansion. The Gelfond problems (1968/1969), and the Sarnak conjecture, were the driving forces of this development. Mauduit and Rivat resolved the question on the sum of digits of prime numbers (2010) and the sum of digits of squares (2009), thus leaving open only part of the third Gelfond problem. Later the second author (2017) proved Sarnak's conjecture for all automatic sequences, which are based on the q-ary expansion of integers, and which generalize the sum-of-digits function in base $q$ considerably. In order to obtain corresponding results for Fibonacci numbers, we have to extend Mauduit and Rivat's method considerably. In fact, we are departing significantly from this method, proving the statement that $\exp(2\pi i \vartheta\mathsf z(n))$ has \emph{level of distribution} $1$ (here $\mathsf z(n)$ is the number of Fibonacci numbers needed to write $n$ as their sum). This latter result forms an essential part of our treatment of the occurring sums of type $\textrm I$ and $\textrm{II}$ and uses Gowers norms related to $\mathsf z(n)$ as a central technical tool. The appearance of Gowers norms in our method is intimately tied to the iterated application of a new generalization of van der Corput's inequality., Comment: 135 pages, 1 figure

The main goal of this paper is to determine the asymptotic behavior of the number $X_n$ of cut-vertices in random planar maps with $n$ edges. It is shown that $X_n/n \to c$ in probability (for some explicit $c>0$). For so-called subcritical classes of planar maps (like outerplanar maps) we obtain a central limit theorem, too. Interestingly the combinatorics behind this seemingly simple problem is quite involved.

This paper is interested in independent sets (or equivalently, cliques) in uniform random cographs. We also study their permutation analogs, namely, increasing subsequences in uniform random separable permutations. First, we prove that, with high probability as $n$ gets large, the largest independent set in a uniform random cograph with $n$ vertices has size $o(n)$. This answers a question of Kang, McDiarmid, Reed and Scott. Using the connection between graphs and permutations via inversion graphs, we also give a similar result for the longest increasing subsequence in separable permutations. These results are proved using the self-similarity of the Brownian limits of random cographs and random separable permutations, and actually apply more generally to all families of graphs and permutations with the same limit. Second, and unexpectedly given the above results, we show that for $\beta >0$ sufficiently small, the expected number of independent sets of size $\beta n$ in a uniform random cograph with $n$ vertices grows exponentially fast with $n$. We also prove a permutation analog of this result. This time the proofs rely on singularity analysis of the associated bivariate generating functions., Comment: 35 pages, 3 figures, attached python worksheet for the singularity analysis computation. v3: presentation improved, following referee's suggestions, use of journal layout

In this paper we develop a method to transfer density results for primitive automatic sequences to logarithmic-density results for general automatic sequences. As an application we show that the logarithmic densities of any automatic sequence along squares $(n^2)_{n\geq 0}$ and primes $(p_n)_{n\geq 1}$ exist and are computable. Furthermore, we give for these subsequences a criterion to decide whether the densities exist, in which case they are also computable. In particular in the prime case these densities are all rational. We also deduce from a recent result of the third author and Lema\'nczyk that all subshifts generated by automatic sequences are orthogonal to any bounded multiplicative aperiodic function., Comment: 35 pages. We added an Appendix concerning upper densities of subsequences of automatic sequences

In 1972 Delange observed in analogy of the classical Erd\H os-Wintner theorem that $q$-additive functions $f(n)$ has a distribution function if and only if the two series $\sum f(d q^j)$, $\sum f(d q^j)^2$ converge. The purpose of this paper is to provide quantitative versions of this theorem as well as generalizations to other kinds of digital expansions. In addition to the $q$-ary and Cantor case we focus on the Zeckendorf expansion that is based on the Fibonacci sequence, where we provide a sufficient and necessary condition for the existence of a distribution function, namely that the two series $\sum f(F_j)$, $\sum f(F_j)^2$ converge (previously only a sufficient condition was known)., Comment: 26 pages

Sequential probability assignment and universal compression go hand in hand. We propose sequential probability assignment for non-binary (and large alphabet) sequences with empirical distributions whose parameters are known to be bounded within a limited interval. Sequential probability assignment algorithms are essential in many applications that require fast and accurate estimation of the maximizing sequence probability. These applications include learning, regression, channel estimation and decoding, prediction, and universal compression. On the other hand, constrained distributions introduce interesting theoretical twists that must be overcome in order to present efficient sequential algorithms. Here, we focus on universal compression for memoryless sources, and present precise analysis for the maximal minimax and the average minimax for constrained distributions. We show that our sequential algorithm based on modified Krichevsky-Trofimov (KT) estimator is asymptotically optimal up to $O(1)$ for both maximal and average redundancies. This paper follows and addresses the challenge presented in \cite{stw08} that suggested "results for the binary case lay the foundation to studying larger alphabets".

Catalytic equations appear in several combinatorial applications, most notably in the numeration of lattice path and in the enumeration of planar maps. The main purpose of this paper is to show that the asymptotic estimate for the coefficients of the solutions of (so-called) positive catalytic equations has a universal asymptotic behavior. In particular, this provides a rationale why the number of maps of size $n$ in various planar map classes grows asymptotically like $c\cdot n^{-5/2} \gamma^n$, for suitable positive constants $c$ and $\gamma$. Essentially we have to distinguish between linear catalytic equations (where the subexponential growth is $n^{-3/2}$) and non-linear catalytic equations (where we have $n^{-5/2}$ as in planar maps). Furthermore we provide a quite general central limit theorem for parameters that can be encoded by catalytic functional equations, even when they are not positive., Comment: 21 pages

We prove that strongly $b$-multiplicative functions of modulus $1$ along squares are asymptotically orthogonal to the M\"obius function. This provides examples of sequences having maximal entropy and satisfying this property., Comment: 12 pages

The goal of this paper is to obtain quantitative results on the number and on the size of maximal independent sets and maximal matchings in several block-stable graph classes that satisfy a proper sub-criticality condition. In particular we cover trees, cacti graphs and series-parallel graphs. The proof methods are based on a generating function approach and a proper singularity analysis of solutions of implicit systems of functional equations in several variables. As a byproduct, this method extends previous results of Meir and Moon for trees [Meir, Moon: On maximal independent sets of nodes in trees, Journal of Graph Theory 1988]., Comment: 32 pages, 7 figures

We analyse the structure of equilibria of a coagulation-fragmentation-death model of silicosis. We present exact multiplicity results in the particular case of piecewise-constant coefficients, results on existence and non-existence of equilibria in the general case, as well as precise asymptotics for the infinite series that arise in the case of power law coefficients.

We study Piatetski-Shapiro sequences $(\lfloor n^c\rfloor)_n$ modulo m, for non-integer $c >1$ and positive $m$, and we are particularly interested in subword occurrences in those sequences. We prove that each block $\in\{0,1\}^k$ of length $k < c + 1$ occurs as a subword with the frequency $2^{-k}$, while there are always blocks that do not occur. In particular, those sequences are not normal. For $1

We prove a general multi-dimensional central limit theorem for the expected number of vertices of a given degree in the family of planar maps whose vertex degrees are restricted to an arbitrary (finite or infinite) set of positive integers $D$. Our results rely on a classical bijection with mobiles (objects exhibiting a tree structure), combined with refined analytic tools to deal with the systems of equations on infinite variables that arise. We also discuss possible extensions to maps of higher genus and to weighted maps., Comment: 22 pages, 7 figures. arXiv admin note: substantial text overlap with arXiv:1605.04206

We prove a central limit theorem for the joint distribution of $s_q(A_jn)$, $1\le j \le d$, where $s_q$ denotes the sum-of-digits function in base~$q$ and the $A_j$'s are positive integers relatively prime to $q$. We do this in fact within the framework of quasi-additive functions. As application, we show that most elements of "Catalan-like" sequences - by which we mean integer sequences defined by products/quotients of factorials - are divisible by any given positive integer., Comment: AmS-LaTeX, 11 pages; minor corrections and improvements

We consider planar maps adjusted with a (regular critical) Boltzmann distribution and show that the expected number of pattern occurrences of a given map is asymptotically linear when the number n of edges goes to infinity. The main ingredient for the proof is an extension of a formula by Liskovets (1999).

We give a detailed asymptotic analysis of the profiles of random symmetric digital search trees, which are in close connection with the performance of the search complexity of random queries in such trees. While the expected profiles have been analyzed for several decades, the analysis of the variance turns out to be very difficult and challenging, and requires the combination of several different analytic techniques, including Mellin and Laplace transforms, analytic de-Poissonization, and Laplace convolutions. Our results imply concentration of the profiles in the range where the mean tends to infinity. Moreover, we also obtain a two-point concentration for the distributions of the height and the saturation level., Comment: The central limit theorem was removed from this version (and moved to a follow-up paper) since the proof in the previous versions was incomplete. Also, the word "Concentration Properties" was added to the title since this part now entirely focuses on such results

In 1960 R\'enyi in his Michigan State University lectures asked for the number of random queries necessary to recover a hidden bijective labeling of $n$ distinct objects. In each query one selects a random subset of labels and asks, which objects have these labels? We consider here an asymmetric version of the problem in which in every query an object is chosen with probability $p > 1/2$ and we ignore "inconclusive" queries. We study the number of queries needed to recover the labeling in its entirety ($H_n$), before at least one element is recovered ($F_n$), and to recover a randomly chosen element $(D_n)$. This problem exhibits several remarkable behaviors: $D_n$ converges in probability but not almost surely, $H_n$ and $F_n$ exhibit phase transitions with respect to $p$ in the second term. We prove that for $p>1/2$ with high probability (whp) we need $H_n=\log_{1/p} n +\frac 12 \log_{p/(1-p)}\log n +o(\log \log n) $ queries to recover the entire bijection. This should be compared to its symmetric ($p=1/2$) counterpart established by Pittel and Rubin, who proved that in this case one requires $H_n=\log_{2} n +\sqrt{2 \log_{2} n} +o(\sqrt{\log n}) $ queries. As a bonus, our analysis implies novel results for random PATRICIA tries, as the problem is probabilistically equivalent to that of the height, fillup level, and typical depth of a PATRICIA trie built from $n$ independent binary sequences generated by a biased($p$) memoryless source., Comment: Journal version of arXiv:1605.01814

We show that the (morphic) sequence $(-1)^{s_\varphi(n)}$ is asymptotically orthogonal to all bounded multiplicative functions, where $s_\varphi$ denotes the Zeckendorf sum-of-digits function. In particular we have $\sum_{n

For any set $\Omega$ of non-negative integers such that $\{0,1\}\subseteq \Omega$ and $\{0,1\}\ne \Omega$, we consider a random $\Omega$-$k$-tree ${\sf G}_{n,k}$ that is uniformly selected from all connected $k$-trees of $(n+k)$ vertices where the number of $(k+1)$-cliques that contain any fixed $k$-clique belongs to $\Omega$. We prove that ${\sf G}_{n,k}$, scaled by $(kH_{k}\sigma_{\Omega})/(2\sqrt{n})$ where $H_{k}$ is the $k$-th Harmonic number and $\sigma_{\Omega}>0$, converges to the Continuum Random Tree $\mathcal{T}_{{\sf e}}$. Furthermore, we prove the local convergence of the rooted random $\Omega$-$k$-tree ${\sf G}_{n,k}^{\circ}$ to an infinite but locally finite random $\Omega$-$k$-tree ${\sf G}_{\infty,k}$., Comment: 21 pages, 6 figures

We study first order linear partial differential equations that appear, for example, in the analysis of dimishing urn models with the help of the method of characteristics and formulate sufficient conditions for a central limit theorem., Comment: Proceedings of the 27th International Conference on Probabilistic, Combinatorial and Asymptotic Methods for the Analysis of Algorithms Krakow, Poland, 4-8 July 2016

We prove a general multi-dimensional central limit theorem for the expected number of vertices of a given degree in the family of planar maps whose vertex degrees are restricted to an arbitrary (finite or infinite) set of positive integers D. Our results rely on a classical bijection with mobiles (objects exhibiting a tree structure), combined with refined analytic tools to deal with the systems of equations on infinite variables that arise. We also discuss some possible extension to maps of higher genus., Comment: 16 pages typos removed, author's name corrected

In 1960, R\'enyi asked for the number of random queries necessary to recover a hidden bijective labeling of n distinct objects. In each query one selects a random subset of labels and asks, what is the set of objects that have these labels? We consider here an asymmetric version of the problem in which in every query an object is chosen with probability p > 1/2 and we ignore "inconclusive" queries. We study the number of queries needed to recover the labeling in its entirety (the height), to recover at least one single element (the fillup level), and to recover a randomly chosen element (the typical depth). This problem exhibits several remarkable behaviors: the depth D_n converges in probability but not almost surely and while it satisfies the central limit theorem its local limit theorem doesn't hold; the height H_n and the fillup level F_n exhibit phase transitions with respect to p in the second term. To obtain these results, we take a unified approach via the analysis of the external profile, defined at level k as the number of elements recovered by the kth query. We first establish new precise asymptotic results for the average and variance, and a central limit law, for the external profile in the regime where it grows polynomially with n. We then extend the external profile results to the boundaries of the central region, leading to the solution of our problem for the height and fillup level. As a bonus, our analysis implies novel results for analogous parameters of random PATRICIA tries., Comment: 18 pages, 5 figures, to appear in Proceedings of the 27th International Conference on Probabilistic, Combinatorial and Asymptotic Methods for the Analysis of Algorithms, Krakow, Poland, 4-8 July 2016

Let $H$ be a fixed graph and $\mathcal{G}$ a subcritical graph class. In this paper we show that the number of occurrences of $H$ (as a subgraph) in a uniformly at random graph of size $n$ in $\mathcal{G}$ follows a normal limiting distribution with linear expectation and variance. The main ingredient in our proof is the analytic framework developed by Drmota, Gittenberger and Morgenbesser to deal with infinite systems of functional equations. As a case study, we get explicit expressions for the number of triangles and cycles of length four for the family of series-parallel graphs., Comment: 32 pages, 6 figures

For a nonnegative integer $t$, let $c_t$ be the asymptotic density of natural numbers $n$ for which $s(n + t) \geq s(n)$, where $s(n)$ denotes the sum of digits of $n$ in base $2$. We prove that $c_t > 1/2$ for $t$ in a set of asymptotic density $1$, thus giving a partial solution to a conjecture of T. W. Cusick stating that $c_t > 1/2$ for all t. Interestingly, this problem has several equivalent formulations, for example that the polynomial $X(X + 1)\cdots(X + t - 1)$ has less than $2^t$ zeros modulo $2^{t+1}$. The proof of the main result is based on Chebyshev's inequality and the asymptotic analysis of a trivariate rational function, using methods from analytic combinatorics., Comment: 27 pages

In his book Topics in Analytic Number Theory, Rademacher considered the generating function of partitions into at most $N$ parts, and conjectured certain limits for the coefficients of its partial fraction decomposition. We carry out an asymptotic analysis that disproves this conjecture, thus confirming recent observations of Sills and Zeilberger (Journal of Difference Equations and Applications 19, 2013), who gave strong numerical evidence against the conjecture.

We consider versions of the FIND algorithm where the pivot element used is the median of a subset chosen uniformly at random from the data. For the median selection we assume that subsamples of size asymptotic to $c \cdot n^\alpha$ are chosen, where $0<\alpha\le \frac{1}{2}$, $c>0$ and $n$ is the size of the data set to be split. We consider the complexity of FIND as a process in the rank to be selected and measured by the number of key comparisons required. After normalization we show weak convergence of the complexity to a centered Gaussian process as $n\to\infty$, which depends on $\alpha$. The proof relies on a contraction argument for probability distributions on c{\`a}dl{\`a}g functions. We also identify the covariance function of the Gaussian limit process and discuss path and tail properties., Comment: revised version

We prove that the maximum degree $\Delta_n$ of a random series-parallel graph with $n$ vertices satisfies $\Delta_n/\log n \to c$ in probability, and $\mathbb{E}\, \Delta_n \sim c \log n$ for a computable constant $c>0$. The same result holds for outerplanar graphs., Comment: 38 pages

We present a unified general method for the asymptotic study of graphs from the so-called "subcritical"$ $ graph classes, which include the classes of cacti graphs, outerplanar graphs, and series-parallel graphs. This general method works both in the labelled and unlabelled framework. The main results concern the asymptotic enumeration and the limit laws of properties of random graphs chosen from subcritical classes. We show that the number $g_n/n!$ (resp. $g_n$) of labelled (resp. unlabelled) graphs on $n$ vertices from a subcritical graph class ${G}=\cup_n {G_n}$ satisfies asymptotically the universal behaviour $$ g_n = c n^{-5/2} \gamma^n (1+o(1)) $$ for computable constants $c,\gamma$, e.g. $\gamma\approx 9.38527$ for unlabelled series-parallel graphs, and that the number of vertices of degree $k$ ($k$ fixed) in a graph chosen uniformly at random from $G_n$, converges (after rescaling) to a normal law as $n\to\infty$.

We consider the number of nodes in the levels of unlabelled rooted random trees and show that the stochastic process given by the properly scaled level sizes weakly converges to the local time of a standard Brownian excursion. Furthermore we compute the average and the distribution of the height of such trees. These results extend existing results for conditioned Galton-Watson trees and forests to the case of unlabelled rooted trees and show that they behave in this respect essentially like a conditioned Galton-Watson process., Comment: 34 pages, 1 figure

We prove that for each $k\ge0$, the probability that a root vertex in a random planar graph has degree $k$ tends to a computable constant $d_k$, so that the expected number of vertices of degree $k$ is asymptotically $d_k n$, and moreover that $\sum_k d_k =1$. The proof uses the tools developed by Gimenez and Noy in their solution to the problem of the asymptotic enumeration of planar graphs, and is based on a detailed analysis of the generating functions involved in counting planar graphs. However, in order to keep track of the degree of the root, new technical difficulties arise. We obtain explicit, although quite involved expressions, for the coefficients in the singular expansions of the generating functions of interest, which allow us to use transfer theorems in order to get an explicit expression for the probability generating function $p(w)=\sum_k d_k w^k$. From this we can compute the $d_k$ to any degree of accuracy, and derive the asymptotic estimate $d_k \sim c\cdot k^{-1/2} q^k$ for large values of $k$, where $q \approx 0.67$ is a constant defined analytically.