arXiv subjects

Rodrigo Ribeiro

Publications and source records attributed to Rodrigo Ribeiro.

At least 19 recordsLinked to original sources

arXiv2026

Exponential Bounds and Analyticity for the Tree Builder Random Walk

In this work we investigate a class of random walks that interacts with its environment called Tree Builder Random Walk (TBRW). In our settings, at each step, the walker adds a random number of vertices to its position sampled according to a distribution $Q$. Previous works showed that the walker is ballistic with a well-defined speed, and that the TBRW admits a renewal structure, meaning that the process can be split into i.i.d epochs. We show that the first renewal time has exponential tail. Moreover, we show two consequences of the light tail of the first renewal time: an exponential upper bound for the empirical speed of the walker, and, for the case in which the walker adds only one vertex with probability $p$, we show that the limiting speed is an analytic function of the parameter $p$. In some of our proofs, we apply techniques from bond percolation, which consist of extending probabilities to the complex numbers and using the Weierstrass $M$-test.

math.PR↗

arXiv2025

A Martingale Approach to Large-$\theta$ Ewens-Pitman Model

We investigate the asymptotic behavior of the number of parts $K_n$ in the Ewens--Pitman partition model under the regime where the diversity parameter is scaled linearly with the sample size, that is, $\theta = \lambda n$ for some~$\lambda > 0$. While recent work has established a law of large numbers (LLN) and a central limit theorem (CLT) for $K_n$ in this regime, we revisit these results through a martingale-based approach. Our method yields significantly shorter proofs, and leads to sharper convergence rates in the CLT, including improved Berry--Esseen bounds in the case $\alpha = 0$, and a new result for the regime $\alpha \in (0,1)$, filling a gap in the literature.

math.PR↗

arXiv2025

Probabilistic $(m,n)$-Parking Functions

In this article, we establish new results on the probabilistic parking model (introduced by Durm\'ic, Han, Harris, Ribeiro, and Yin) with $m$ cars and $n$ parking spots and probability parameter $p\in[0,1]$. For any $ m \leq n$ and $p \in [0,1]$, we study the parking preference of the last car, denoted $a_m$, and determine the conditional distribution of $a_m$ and compute its expected value. We show that both formulas depict explicit dependence on the probability parameter $p$. We study the case where $m = cn $ for some $ 0 < c < 1 $ and investigate the asymptotic behavior and show that the presence of ``extra spots'' on the street significantly affects the rate at which the conditional distribution of $ a_m $ converges to the uniform distribution on $[n]$. Even for small $ \varepsilon = 1 - c $, an $ \varepsilon $-proportion of extra spots reduces the convergence rate from $ 1/\sqrt{n} $ to $ 1/n $ when $ p \neq 1/2 $. Additionally, we examine how the convergence rate depends on $c$, while keeping $n$ and $p$ fixed. We establish that as $c$ approaches zero, the total variation distance between the conditional distribution of $a_m$ and the uniform distribution on $[n]$ decreases at least linearly in $c$.

math.PR↗

arXiv2024

Redex -> Coq: towards a theory of decidability of Redex's reduction semantics

We propose the first steps in the development of a tool to automate the translation of Redex models into a (hopefully) semantically equivalent model in Coq, and to provide tactics to help in the certification of fundamental properties of such models. The work is heavily based on a model of Redex's semantics developed by Klein et al. By means of a simple generalization of the matching problem in Redex, we obtain an algorithm suitable for its mechanization in Coq, for which we prove its soundness properties and its correspondence with the original solution proposed by Klein et al. In the process, we also adequate some parts of our mechanization to better prepare it for the future inclusion of Redex features absent in the present model, like its Kleene-star operator. Finally, we discuss future avenues of development that are enabled by this work.

cs.LO↗

arXiv2023

Structural results for the Tree Builder Random Walk

We study the Tree Builder Random Walk: a randomly growing tree, built by a walker as she is walking around the tree. Namely, at each time $n$, she adds a leaf to her current vertex with probability $p_n \asymp n^{-\gamma}$, $\gamma\in (2/3,1]$, then moves to a uniform random neighbor on the possibly modified tree. We show that the tree process at its growth times, after a random finite number of steps, can be coupled to be identical to the Barab\'asi-Albert preferential attachment tree model. Thus, our TBRW-model is a local dynamics giving rise to the BA-model. The coupling also implies that many properties known for the BA-model, such as diameter and degree distribution, can be directly transferred to our TBRW-model, extending previous results.

math.PR↗

arXiv2023

Renewal structure of the Tree Builder Random Walk

In this paper, we study a class of random walks that build their own tree. At each step, the walker attaches a random number of leaves to its current position. The model can be seen as a subclass of the Random Walk in Changing Environments (RWCE) introduced by G. Amir, I. Benjamini, O. Gurel-Gurevich and G. Kozma. We develop a renewal framework for the process analogous to that established by A-S. Sznitman and M. Zerner in the context of RWRE. This provides a more robust foundation for analyzing the model. As a result of our renewal framework, we estabilish several limit theorems for the walker's distance, which include the Strong Law of Large Numbers (SLLN), the Law of the Iterated Logarithm (LIL), and the Invariance Principle, under an i.i.d. hypothesis for the walker's leaf-adding mechanism. Further, we show that the limit speed defined by the SLLN is a continuous function over the space of probability distributions on $\mathbb{N}$.

math.PR↗

arXiv2023

Clustering and Cliques in P.A random graphs with edge insertion

In this paper, we investigate the global clustering coefficient (a.k.a transitivity) and clique number of graphs generated by a preferential attachment random graph model with an additional feature of allowing edge connections between existing vertices. Specifically, at each time step $t$, either a new vertex is added with probability $f(t)$, or an edge is added between two existing vertices with probability $1-f(t)$. We establish concentration inequalities for the global clustering and clique number of the resulting graphs under the assumption that $f(t)$ is a regularly varying function at infinity with index of regular variation $-\gamma$, where $\gamma \in [0,1)$. We also demonstrate an inverse relation between these two statistics: the clique number is essentially the reciprocal of the global clustering coefficient.

math.PR↗

arXiv2022

Probabilistic Parking Functions

We consider the notion of classical parking functions by introducing randomness and a new parking protocol, as inspired by the work presented in the paper ``Parking Functions: Choose your own adventure,'' (arXiv:2001.04817) by Carlson, Christensen, Harris, Jones, and Rodr\'iguez. Among our results, we prove that the probability of obtaining a parking function, from a length $n$ preference vector, is independent of the probabilistic parameter $p$. We also explore the properties of a preference vector given that it is a parking function and discuss the effect of the probabilistic parameter $p$. Of special interest is when $p=1/2$, where we demonstrate a sharp transition in some parking statistics. We also present several interesting combinatorial consequences of the parking protocol. In particular, we provide a combinatorial interpretation for the array described in OEIS A220884 as the expected number of preference sequences with a particular property related to occupied parking spots, which solves an open problem of Novelli and Thibon posed in 2020 (arXiv:1209.5959). Lastly, we connect our results to other weighted phenomena in combinatorics and provide further directions for research.

math.CO↗

arXiv2021

Recurrence, transience and degree distribution for the Tree Builder Random Walk

We investigate a self-interacting random walk, whose dynamically evolving environment is a random tree built by the walker itself, as it walks around. At time $n=1,2,\dots$, right before stepping, the walker adds a random number (possibly zero) $Z_n$ of leaves to its current position. We assume that the $Z_n$'s are independent, but, importantly, we do \emph{not} assume that they are identically distributed. We obtain non-trivial conditions on their distributions under which the random walk is recurrent. This result is in contrast with some previous work in which, under the assumption that $Z_n\sim \mathsf{Ber}(p)$ (thus i.i.d.), the random walk was shown to be ballistic for every $p \in (0,1]$. We also obtain results on the transience of the walk, and the possibility that it ``gets stuck.'' From the perspective of the environment, we provide structural information about the sequence of random trees generated by the model when $Z_n\sim \mathsf{Ber}(p_n)$, with $p_n=\Theta(n^{-\gamma})$ and $\gamma \in (2/3,1]$. We prove that the empirical degree distribution of this random tree sequence converges almost surely to a power-law distribution of exponent $3$, thus revealing a connection to the well known preferential attachment model.

math.PR↗

arXiv2021

Computable criteria for ballisticity of random walks in elliptic random environment

We consider random walks in i.i.d. elliptic random environments which are not uniformly elliptic. We introduce a computable condition in dimension $d=2$ and a general condition valid for dimensions $d\ge 2$ expressed in terms of the exit time from a box, which ensure that local trapping would not inhibit a ballistic behavior of the random walk. An important technical innovation related to our computable condition, is the introduction of a geometrical point of view to classify the way in which the random walk can become trapped, either in an edge, a wedge or a square. Furthermore, we prove that the general condition we introduce is sharp.

math.PR↗

arXiv2021

Spread of Infection over P.A. random graphs with edge insertion

In this work we investigate a bootstrap percolation process on random graphs generated by a random graph model which combines preferential attachment and edge insertion between previously existing vertices. The probabilities of adding either a new vertex or a new connection between previously added vertices are time dependent and given by a function $f$ called the edge-step function. We show that under integrability conditions over the edge-step function the graphs are highly susceptible to the spread of infections, which requires only $3$ steps to infect a positive fraction of the whole graph. To prove this result, we rely on a quantitative lower bound for the maximum degree that might be of independent interest.

math.PR↗

arXiv2021

Asymptotic Results of a Multiple-entry Reinforcement Process

We introduce a class of stochastic processes with reinforcement consisting of a sequence of random partitions $\{\mathcal{P}_t\}_{t \ge 1}$, where $\mathcal{P}_t$ is a partition of $\{1,2,\dots, Rt\}$. At each time~$t$,~$R$ numbers are added to the set being partitioned; of these, a random subset (chosen according to a time-dependent probability distribution) joins existing blocks, and the others each start new blocks on their own. Those joining existing blocks each choose a block with probability proportional to that block's cardinality, independently. We prove results concerning the asymptotic cardinality of a given block and central limit theorems for associated fluctuations about this asymptotic cardinality: these are proved both for a fixed block and for the maximum among all blocks. We also prove that with probability one, a single block eventually takes and maintains the leadership in cardinality. Depending on the way one sees this partition process, one can translate our results to Balls and Bins processes, Generalized Chinese Restaurant Processes, Generalized Urn models and Preferential attachment random graphs.

math.PR↗

arXiv2021

Tree Builder Random Walk: recurrence, transience and ballisticity

The Tree Builder Random Walk is a special random walk that evolves on trees whose size increases with time, randomly and depending upon the walker. After every s steps of the walker, a random number of vertices are added to the tree and attached to the current position of the walker. These processes share similarities with other important classes of markovian and non-markovian random walks presenting a large variety of behaviors according to parameters specifications. We show that for a large and most significant class of tree builder random walks, the process is either null recurrent or transient. If s is odd, the walker is ballistic and thus transient. If s is even, the walker's behavior can be explained from local properties of the growing tree and it can be either null recurrent or it gets trapped on some limited part of the growing tree.

math.PR↗

arXiv2019

Diameter of P.A. random graphs with edge-step functions

In this work we prove general bounds for the diameter of random graphs generated by a preferential attachment model whose parameter is a function $f:\mathbb{N}\to[0,1]$ that drives the asymptotic proportion between the numbers of vertices and edges. These results are sharp when $f$ is a \textit{regularly varying function at infinity} with strictly negative index of regular variation~$-\gamma$. For this particular class, we prove a characterization for the diameter that depends only on~$-\gamma$. More specifically, we prove that the diameter of such graphs is of order $1/\gamma$ with high probability, although its vertex set order goes to infinity polynomially. Sharp results for the diameter for a wide class of \textit{slowly varying functions} are also obtained.

math.PR↗

arXiv2019

Building your path to escape from home

Random walks on dynamic graphs have received increasingly more attention from different academic communities over the last decade. Despite the relatively large literature, little is known about random walks that construct the graph where they walk while moving around. In this paper we study one of the simplest conceivable discrete time models of this kind, which works as follows: before every walker step, with probability $p$ a new leaf is added to the vertex currently occupied by the walker. The model grows trees and we call it the Bernoulli Growth Random Walk (BGRW). We show that the BGRW walker is transient and has a well-defined linear speed $c(p)>0$ for any $0<p\leq 1$. We also show that the tree as seen by the walker converges (in a suitable sense) to a random tree that is one-ended. Some natural open problems about this tree and variants of our model are collected at the end of the paper.

math.PR↗

arXiv2019

Preferential Attachment Random Graphs with Edge-Step Functions

We propose a random graph model with preferential attachment rule and \emph{edge-step functions} that govern the growth rate of the vertex set. We study the effect of these functions on the empirical degree distribution of these random graphs. More specifically, we prove that when the edge-step function $f$ is a \emph{monotone regularly varying function} at infinity, the sequence of graphs associated to it obeys a power-law degree distribution whose exponent is related to the index of regular variation of $f$ at infinity whenever said index is greater than $-1$. When the regularly variation index is less than or equal to $-1$, we show that the proportion of vertices with degree smaller than any given constant goes to $0$ a. s..

math.PR↗

arXiv2019

Agglomeration in a preferential attachment random graph with edge-steps

In this paper we investigate geometric properties of graphs generated by a preferential attachment random graph model with edge-steps. More precisely, at each time $t\in\mathbb{N}$, with probability $p$ a new vertex is added to the graph (a vertex-step occurs) or with probability $1-p$ an edge connecting two existent vertices is added (an edge-step occurs). We prove that the global clustering coefficient decays as $t^{-γ(p)}$ for a positive function $γ$ of $p$. We also prove that the clique number of these graphs is, up to sub-polynomially small factors, of order~$t^{(1-p)/(2-p)}$.

math.PR↗

arXiv2018

Concentration in the Generalized Chinese Restaurant Process

The Generalized Chinese Restaurant Process (GCRP) describes a sequence of exchangeable random partitions of the numbers $\{1,\dots,n\}$. This process is related to the Ewens sampling model in Genetics and to Bayesian nonparametric methods such as topic models. In this paper, we study the GCRP in a regime where the number of parts grows like $n^α$ with $α>0$. We prove a non-asymptotic concentration result for the number of parts of size $k=o(n^{α/(2α+4)}/(\log n)^{1/(2+α)})$. In particular, we show that these random variables concentrate around $c_{k}\,V_*\,n^α$ where $V_*\,n^α$ is the asymptotic number of parts and $c_k\approx k^{-(1+α)}$ is a positive value depending on $k$. We also obtain finite-$n$ bounds for the total number of parts. Our theorems complement asymptotic statements by Pitman and more recent results on large and moderate deviations by Favaro, Feng and Gao.

math.PR↗