arXiv subjects

Matteo Quattropani

Publications and source records attributed to Matteo Quattropani.

At least 19 recordsLinked to original sources

arXiv2026

Aldous' spectral gap phenomena in stochastic exchange models

We consider a broad class of exchange dynamics with arbitrary weighted graph or hypergraph update structures, which includes the Kipnis--Marchioro--Presutti (KMP) model and the energies of Kac's walk on the sphere. These are conservative continuous-spin systems whose reversible measures are Dirichlet distributions. We prove that their spectral gap is always attained by a polynomial of degree at most two in the energy variables. Equivalently, through an intertwining with the associated discrete particle systems, the dominant mode is always represented by either a one-particle or a two-particle observable. We interpret this as a manifestation of an Aldous-type spectral gap phenomenon. In particular, the resulting two-particle spectral gap identity settles a recent conjecture of Alon and Puder. We also characterize sharply when one particle suffices and when a genuinely two-particle mode dominates. Under a common rescaling of the Dirichlet parameters, segment-like geometries are precisely those for which the gap is always of one-particle type, mean-field geometries are precisely those for which it is always of two-particle type, and all other geometries exhibit a nontrivial transition. The proof relies on the analysis of the so-called hidden model, a dual representation of the original process. The mechanism underlying the degree-two reduction is remarkably robust and extends to a much broader class of stochastic exchange models and their associated particle systems, including the harmonic process, the immediate exchange model, averaging-type processes, and nonreversible variants. Finally, we analyze boundary-driven versions of the KMP model, in which the bulk exchange dynamics interacts with reservoirs, generally resulting in nonreversible processes. In contrast to the conservative setting, we prove that the spectral gap of a boundary-driven model is always of one-particle type.

math.PR↗

arXiv2026

$L^2$-cutoff for the averaging process on random regular graphs

We study the mixing time of the averaging process on a large random $d$-regular graph, $d\ge 3$, and prove an $L^2$-cutoff with an explicit cutoff time. Somewhat surprisingly, we uncover a phase transition at the finite, fixed degree $d=10$: for small degrees, i.e., $d\le 10$, the averaging process mixes as fast as the corresponding random walk on the same graph, whereas for $d> 10$ its $L^2$-mixing is governed by a different, slower mechanism. Our proof relies on a detailed asymptotic analysis of an auxiliary biased birth-and-death chain with a slow bond. We also briefly discuss an analogous phase transition for the $L^1$-mixing.

math.PR↗

arXiv2025

A Phase Transition for Opinion Dynamics with Competing Biases

We study a nonlinear dynamics of binary opinions in a population of agents connected by a directed network, influenced by two competing forces. On the one hand, agents are stubborn, i.e., have a tendency for one of the two opinions; on the other hand, there is a disruptive bias, $p\in[0,1]$, that drives the agents toward the other opinion. The disruptive bias models external factors, such as market innovations or social controllers, aiming to challenge the status quo, while agents' stubbornness reinforces the initial opinion making it harder for the external bias to drive the process toward change. Each agent updates its opinion according to a nonlinear function of the states of its neighbors and of the bias $p$. We consider the case of random directed graphs with prescribed in- and out-degree sequences and we prove that the dynamics exhibits a phase transition: when the disruptive bias $p$ is larger than a critical threshold $p_c$, the population converges in constant time to a consensus on the disruptive opinion. Conversely, when the bias $p$ is less than $p_c$, the system enters a metastable state in which only a fraction of agents $q_\star(p)<1$ will share the new opinion for a long time. We characterize $p_c$ and $q_\star(p)$ explicitly, showing that they only depend on few simple statistics of the degree sequences. Our analysis relies on a dual system of branching, coalescing, and dying particles, which we show exhibits equivalent behavior and allows a rigorous characterization of the system's dynamics. Our results characterize the interplay between the degree of the agents, their stubbornness, and the external bias, shedding light on the tipping points of opinion dynamics in networks.

cs.SI↗

arXiv2025

Spectrum Estimation through Kirchhoff Random Forests

Given a non-oriented edge-weighted graph, we show how to make some estimation of the associated Laplacian eigenvalues through Monte Carlo evaluation of spectral quantities computed along Kirchhoff random rooted spanning forest trajectories. The sampling cost of this estimation is only linear in the node number, up to a logarithmic factor. By associating a double cover of such a graph with any symmetric real matrix, we can then perform spectral estimation in the same way for the latter.

math.PR↗

arXiv2025

A universal cutoff phenomenon for mean-field exchange models

We study a broad class of high-dimensional mean-field exchange models, encompassing both noisy and singular dynamics, along with their dual processes. This includes a generalized version of the averaging process as well as some non-reversible extensions of classical exchange dynamics, such as the flat Kac model. Within a unified framework, we analyze convergence to stationarity from worst-case initial data in Wasserstein distance. Our main result establishes a universal cutoff phenomenon at an explicit mixing time, with a precise window and limiting Gaussian profile. The mixing time and profile are characterized in terms of the logarithm of the size-biased redistribution random variable, thus admitting a natural entropic interpretation.

math.PR↗

arXiv2025

Spectral gap of the KMP and other stochastic exchange models on arbitrary graphs

We present a simple strategy to derive universal bounds on the spectral gap of reversible stochastic exchange models on arbitrary graphs. The Kipnis-Marchioro-Presutti (KMP) model, the harmonic process (HP), and the immediate exchange model (IEM) are all examples that fall into this class. Our upper and lower bounds depend only on two features: worst-case linear statistics and a kinetic factor, which is, in essence, graph-independent. For the three aforementioned examples, these bounds are sharp, and even saturate to an identity for HP and IEM in some log-concave regimes. The proof -- which yields bounds for eigenvalues even in the non-reversible context -- crucially exploits the rigidity of the eigenstructure of these models and quantitative contraction rates of the corresponding hidden parameter models recently introduced in [DMFG24, GRT25].

math.PR↗

arXiv2025

Mixing trichotomy for random walks on directed stochastic block models

We consider a directed version of the classical Stochastic Block Model with $m\ge 2$ communities and a parameter $\alpha$ controlling the inter-community connectivity. We show that, depending on the scaling of $\alpha$, the mixing time of the random walk on this graph can exhibit three different behaviors, which we refer to as subcritical, critical and supercritical. In the subcritical regime, the total variation distance to equilibrium decays abruptly, providing the occurrence of the so-called cutoff phenomenon. In the supercritical regime, the mixing is governed by the inter-community jumps, and the random walk exhibits a metastable behavior: at first it collapses to a local equilibrium, then, on a larger timescale, it can be effectively described as a mean-field process on the $m$ communities, with a decay to equilibrium which is asymptotically smooth and exponential. Finally, for the critical regime, we show a sort of interpolation of the two above-mentioned behaviors. Although the metastable behavior shown in the supercritical regime appears natural from a heuristic standpoint, a substantial part of our analysis can be read as a control on the homogenization of the underlying random environment.

math.PR↗

arXiv2025

Estimating a graph's spectrum via random Kirchhoff forests

Exact eigendecomposition of large matrices is very expensive, and it is practically impossible to compute exact eigenvalues. Instead, one may set a more modest goal of approaching the empirical distribution of the eigenvalues, recovering the overall shape of the eigenspectrum. Current approaches to spectral estimation typically work with \emph{moments} of the spectral distribution. These moments are first estimated using Monte Carlo trace estimators, then the estimates are combined to approximate the spectral density. In this article we show how \emph{Kirchhoff forests}, which are random forests on graphs, can be used to estimate certain non-linear moments of very large graph Laplacians. We show how to combine these moments into an estimate of the spectral density. If the estimate's desired precision isn't too high, our approach paves the way to the estimation of a graph's spectrum in time sublinear in the number of links.

stat.CO↗

arXiv2025

The voter model on random regular graphs with random rewiring

We consider the voter model with binary opinions on a random regular graph with $n$ vertices of degree $d \geq 3$, subject to a rewiring dynamics in which pairs of edges are rewired, i.e., broken into four half-edges and subsequently reconnected at random. A parameter $\nu \in (0,\infty)$ regulates the frequency at which the rewirings take place, in such a way that any given edge is rewired exponentially at a rate $\nu$ in the limit as $n\to\infty$. We show that, under the joint law of the random rewiring dynamics and the random opinion dynamics, the fraction of vertices with either one of the two opinions converges on time scale $n$ to the Fisher-Wright diffusion with an explicit diffusion constant $\vartheta_{d,\nu}$ in the limit as $n\to\infty$. In particular, we identify $\vartheta_{d,\nu}$ in terms of a continued-fraction expansion and analyse its dependence on $d$ and $\nu$. A key role in our analysis is played by the set of discordant edges, which constitutes the boundary between the sets of vertices carrying the two opinions.

math.PR↗

arXiv2024

Quasi-stationary distributions of non-absorbing Markov chains

We consider reversible ergodic Markov chains with finite state space, and we introduce a new notion of quasi-stationary distribution that does not require the presence of any absorbing state. In our setting, the hitting time of the absorbing set is replaced by an optimal strong stationary time, representing the ``hitting time of the stationary distribution''. On the one hand, we show that our notion of quasi-stationary distribution corresponds to the natural generalization of the \emph{Yaglom limit}. On the other hand, similarly to the classical quasi-stationary distribution, we show that it can be written in terms of the eigenvectors of the underlying Markov kernel, and it is therefore amenable of a geometric interpretation. Moreover, we recover the usual exponential behavior that characterizes quasi-stationary distributions and metastable systems. We also provide some toy examples, which show that the phenomenology is richer compared to the absorbing case. Finally, we present some counterexamples, showing that the assumption on the reversibility cannot be weakened in general.

math.PR↗

arXiv2024

Repeated Block Averages: entropic time and mixing profiles

We consider randomized dynamics over the $n$-simplex, where at each step a random set, or block, of coordinates is evenly averaged. When all blocks have size 2, this reduces to the repeated averages studied in [CDSZ22], a version of the averaging process on a graph [AL12]. We study the convergence to equilibrium of this process as a function of the distribution of the block size, and provide sharp conditions for the emergence of the cutoff phenomenon. Moreover, we characterize the size of the cutoff window and provide an explicit Gaussian cutoff profile. To complete the analysis, we study in detail the simplified case where the block size is not random. We show that the absence of a cutoff is equivalent to having blocks of size $n^{\Omega(1)}$, in which case we provide a convergence in distribution for the total variation distance at any given time, showing that, on the proper time scale, it remains constantly 1 up to an exponentially distributed random time, after which it decays following a Poissonian profile.

math.PR↗

arXiv2024

Basins of Attraction in Two-Player Random Ordinal Potential Games

We consider the class of two-person ordinal potential games where each player has the same number of actions $K$. Each game in this class admits at least one pure Nash equilibrium and the best-response dynamics converges to one of these pure Nash equilibria; which one depends on the starting point. So, each pure Nash equilibrium has a basin of attraction. We pick uniformly at random one game from this class and we study the joint distribution of the sizes of the basins of attraction. We provide an asymptotic exact value for the expected basin of attraction of each pure Nash equilibrium, when the number of actions $K$ goes to infinity.

cs.GT↗

arXiv2023

Meeting, coalescence and consensus time on random directed graphs

We consider Markovian dynamics on a typical realization of the so-called Directed Configuration Model (DCM), that is, a random directed graph with prescribed in- and out-degrees. In this random geometry, we study the meeting time of two random walks on a typical realization of the graph starting at stationarity, the coalescence time for a system of coalescent random walks, and the consensus time of the voter model. Indeed, it is known that the latter three quantities are related to each other when the underlying sequence of graphs satisfies certain mean field conditions. Such conditions can be summarized by requiring a fast mixing time of the random walk and some anti-concentration of its stationary distribution: properties that a typical random directed graph is known to have under natural assumptions on the degree sequence. In this paper we show that, for a typical large graph from the DCM ensemble, the distribution of the meeting time is well-approximated by an exponential random variable and we provide the first-order approximation of its expectation, showing that the latter is linear in the size of the graph, and the preconstant depends on some easy statistics of the degree sequence. As a byproduct, we are able to analyze the effect of the degree sequence in changing the meeting, coalescence and consensus time. Our approach follows the classical idea of converting meeting into hitting times of a proper collapsed chain, which we control by the so-called First Visit Time Lemma.

math.PR↗

arXiv2023

Coexistence, enhancements and short loops in random walk loop soups

We consider a general random walk loop soup which includes, or is related to, several models of interest, such as the Spin O(N) model, the double dimer model and the Bose gas. The analysis of this model is challenging because of the presence of spatial interactions between the loops. For this model it is known from Quitmann and Taggi (2022) that macroscopic loops occur in dimension three and higher when the inverse temperature is large enough. Our first result is that, on the $d$ dimensional lattice, the presence of repulsive interactions is responsible for a shift of the critical inverse temperature, which is strictly greater than $\frac{1}{2d}$, the critical value in the non interacting case. Our second result is that a positive density of microscopic loops exists for all values of the inverse temperature. This implies that, in the regime in which macroscopic loops are present, microscopic and macroscopic loops coexist. Moreover, we show that, even though the increase of the inverse temperature leads to an increase of the total loop length, the density of microscopic loops is uniformly bounded from above in the inverse temperature. Our last result is confined to the special case in which the random walk loop soup is the one associated to the Spin O(N) model with arbitrary integer values of $N \geq 2$ and states that, on $\mathbb{Z}^2$, the probability that two vertices are connected by a loop decays at least polynomially fast with their distance.

math.PR↗

arXiv2023

Phase Transition of the k-Majority Dynamics in Biased Communication Models

Consider a graph where each of the $n$ nodes is either in state $\mathcal{R}$ or $\mathcal{B}$. Herein, we analyze the \emph{synchronous $k$-Majority dynamics}, where in each discrete-time round nodes simultaneously sample $k$ neighbors uniformly at random with replacement and adopt the majority state among those of the nodes in the sample (breaking ties uniformly at random). Differently from previous work, we study the robustness of the $k$-Majority in \emph{maintaining a $\mathcal{R}$ majority}, when the dynamics is subject to two forms of \emph{bias} toward state $\mathcal{B}$. The bias models an external agent that attempts to subvert the initial majority by altering the communication between nodes, with a probability of success $p$ in each round: in the first form of bias, the agent tries to alter the communication links by transmitting state $\mathcal{B}$; in the second form of bias, the agent tries to corrupt nodes directly by making them update to $\mathcal{B}$. Our main result shows a \emph{sharp phase transition} in both forms of bias. By considering initial configurations in which every node has probability $q \in (\frac{1}{2},1]$ of being in state $\mathcal{R}$, we prove that for every $k\geq3$ there exists a critical value $p_{k,q}^*$ such that, with high probability, the external agent is able to subvert the initial majority either in $n^{ω(1)}$ rounds, if $p p_{k,q}^*$. When $k<3$, instead, no phase transition phenomenon is observed and the disruption happens in $O(1)$ rounds for $p>0$.

cs.DC↗

arXiv2023

Mixing trichotomy for an Ehrenfest urn with impurities

We consider a version of the classical Ehrenfest urn model with two urns and two types of balls: regular and heavy. Each ball is selected independently according to a Poisson process having rate $1$ for regular balls and rate $\alpha\in(0,1)$ for heavy balls, and once a ball is selected, is placed in a urn uniformly at random. We study the asymptotic behavior when the total number of balls, $N$, goes to infinity, and the number of heavy ball is set to $m_N\in\{1,\dots, N-1\}$. We focus on the observable given by the total number of balls in the left urn, which converges to a binomial distribution of parameter $1/2$, regardless of the choice of the two parameters, $\alpha$ and $m_N$. We study the speed of convergence and show that this can exhibit three different phenomenologies depending on the choice of the two parameters of the model.

math.PR↗

arXiv2022

Cutoff for the Averaging process on the hypercube and complete bipartite graphs

We consider the averaging process on a graph, that is the evolution of a mass distribution undergoing repeated averages along the edges of the graph at the arrival times of independent Poisson processes. We establish cutoff phenomena for both the $L^1$ and $L^2$ distance from stationarity when the graph is a discrete hypercube and when the graph is complete bipartite. Some general facts about the averaging process on arbitrary graphs are also discussed.

math.PR↗

arXiv2022

Best-Response dynamics in two-person random games with correlated payoffs

We consider finite two-player normal form games with random payoffs. Player A's payoffs are i.i.d. from a uniform distribution. Given p in [0, 1], for any action profile, player B's payoff coincides with player A's payoff with probability p and is i.i.d. from the same uniform distribution with probability 1-p. This model interpolates the model of i.i.d. random payoff used in most of the literature and the model of random potential games. First we study the number of pure Nash equilibria in the above class of games. Then we show that, for any positive p, asymptotically in the number of available actions, best response dynamics reaches a pure Nash equilibrium with high probability.

cs.GT↗