-
Hitting times in the stochastic block model
Authors:
Andrea Ottolini
Abstract:
Given a large connected graph $G=(V,E)$, and two vertices $w,\neq v$, let $T_{w,v}$ be the first hitting time to $v$ starting from $w$ for the simple random walk on $G$. We prove a general theorem that guarantees, under some assumptions on $G$, to approximate $\mathbb E[T_{w,v}]$ up to $o(1)$ terms. As a corollary, we derive explicit formulas for the stochastic block model with two communities and…
▽ More
Given a large connected graph $G=(V,E)$, and two vertices $w,\neq v$, let $T_{w,v}$ be the first hitting time to $v$ starting from $w$ for the simple random walk on $G$. We prove a general theorem that guarantees, under some assumptions on $G$, to approximate $\mathbb E[T_{w,v}]$ up to $o(1)$ terms. As a corollary, we derive explicit formulas for the stochastic block model with two communities and connectivity parameters $p$ and $q$, and show that the average hitting times, for fixed $v$ and as $w$ varies, concentrates around four possible values. The proof is purely probabilistic and uses a coupling argument.
△ Less
Submitted 14 February, 2024;
originally announced February 2024.
-
On the image of graph distance matrices
Authors:
William Dudarov,
Noah Feinberg,
Raymond Guo,
Ansel Goh,
Andrea Ottolini,
Alicia Stepin,
Raghavenda Tripathi,
Joia Zhang
Abstract:
Let $G=(V,E)$ be a finite, simple, connected, combinatorial graph on $n$ vertices and let $D \in \mathbb{R}^{n \times n}$ be its graph distance matrix $D_{ij} = d(v_i, v_j)$. Steinerberger (J. Graph Theory, 2023) empirically observed that the linear system of equations $Dx =\mathbf{1}$, where $\mathbf{1} = (1,1,\dots, 1)^{T}$, very frequently has a solution (even in cases where $D$ is not invertib…
▽ More
Let $G=(V,E)$ be a finite, simple, connected, combinatorial graph on $n$ vertices and let $D \in \mathbb{R}^{n \times n}$ be its graph distance matrix $D_{ij} = d(v_i, v_j)$. Steinerberger (J. Graph Theory, 2023) empirically observed that the linear system of equations $Dx =\mathbf{1}$, where $\mathbf{1} = (1,1,\dots, 1)^{T}$, very frequently has a solution (even in cases where $D$ is not invertible). The smallest nontrivial example of a graph where the linear system is not solvable are two graphs on 7 vertices. We prove that, in fact, counterexamples exists for all $n\geq 7$. The construction is somewhat delicate and further suggests that such examples are perhaps rare. We also prove that for Erdős-Rényi random graphs the graph distance matrix $D$ is invertible with high probability. We conclude with some structural results on the Perron-Frobenius eigenvector for a distance matrix.
△ Less
Submitted 10 July, 2023;
originally announced July 2023.
-
Greedy Matching in Optimal Transport with concave cost
Authors:
Andrea Ottolini,
Stefan Steinerberger
Abstract:
We consider the optimal transport problem between a set of $n$ red points and a set of $n$ blue points subject to a concave cost function such as $c(x,y) = \|x-y\|^{p}$ for $0< p < 1$. Our focus is on a particularly simple matching algorithm: match the closest red and blue point, remove them both and repeat. We prove that it provides good results in any metric space $(X,d)$ when the cost function…
▽ More
We consider the optimal transport problem between a set of $n$ red points and a set of $n$ blue points subject to a concave cost function such as $c(x,y) = \|x-y\|^{p}$ for $0< p < 1$. Our focus is on a particularly simple matching algorithm: match the closest red and blue point, remove them both and repeat. We prove that it provides good results in any metric space $(X,d)$ when the cost function is $c(x,y) = d(x,y)^{p}$ with $0 < p < 1/2$. Empirically, the algorithm produces results that are remarkably close to optimal -- especially as the cost function gets more concave; this suggests that greedy matching may be a good toy model for Optimal Transport for very concave transport cost.
△ Less
Submitted 6 July, 2023;
originally announced July 2023.
-
Concentration of Hitting Times in Erdös-Rényi graphs
Authors:
Andrea Ottolini,
Stefan Steinerberger
Abstract:
We consider Erdős-Rényi graphs $G(n,p)$ for $0 < p < 1$ fixed and $n \rightarrow \infty$ and study the expected number of steps, $H_{wv}$, that a random walk started in $w$ needs to first arrive in $v$. A natural guess is that an Erdős-Rényi random graph is so homogeneous that it does not really distinguish between vertices and $H_{wv} = (1+o(1)) n$. Löwe-Terveer established a CLT for the Mean Sta…
▽ More
We consider Erdős-Rényi graphs $G(n,p)$ for $0 < p < 1$ fixed and $n \rightarrow \infty$ and study the expected number of steps, $H_{wv}$, that a random walk started in $w$ needs to first arrive in $v$. A natural guess is that an Erdős-Rényi random graph is so homogeneous that it does not really distinguish between vertices and $H_{wv} = (1+o(1)) n$. Löwe-Terveer established a CLT for the Mean Starting Hitting Time suggesting $H_{w v} = n \pm \mathcal{O}(\sqrt{n})$. We prove the existence of a strong concentration phenomenon: $H_{w v}$ is given, up to a very small error of size $\lesssim \sqrt{\log{n}}/\sqrt{n}$, by an explicit simple formula involving only the total number of edges $|E|$, the degree of $v$ and the distance $d(v,w)$.
△ Less
Submitted 23 June, 2023; v1 submitted 9 April, 2023;
originally announced April 2023.
-
Central limit theorem in complete feedback games
Authors:
Andrea Ottolini,
Raghavendra Tripathi
Abstract:
Consider a well-shuffled deck of cards of $n$ different types where each type occurs $m$ times. In a complete feedback game, a player is asked to guess the top card from the deck. After each guess, the top card is revealed to the player and is removed from the deck. The total number of correct guesses in a complete feedback game has attracted significant interest in last few decades. Under differe…
▽ More
Consider a well-shuffled deck of cards of $n$ different types where each type occurs $m$ times. In a complete feedback game, a player is asked to guess the top card from the deck. After each guess, the top card is revealed to the player and is removed from the deck. The total number of correct guesses in a complete feedback game has attracted significant interest in last few decades. Under different regimes of $m, n$, the expected number of correct guesses, under the greedy (optimal) strategy, has been obtained by various authors, while there are not many results available about the fluctuations. In this paper, we establish a central limit theorem with Berry-Esseen bounds when $m$ is fixed and $n$ is large. Our results extend to the case of decks where different types may have different multiplicity, under suitable assumptions.
△ Less
Submitted 9 July, 2023; v1 submitted 27 March, 2023;
originally announced March 2023.
-
Graph curvature via resistance distance
Authors:
Karel Devriendt,
Andrea Ottolini,
Stefan Steinerberger
Abstract:
Let $G=(V,E)$ be a finite, combinatorial graph. We define a notion of curvature on the vertices $V$ via the inverse of the resistance distance matrix. We prove that this notion of curvature has a number of desirable properties. Graphs with curvature bounded from below by $K>0$ have diameter bounded from above. The Laplacian $L=D-A$ satisfies a Lichnerowicz estimate, there is a spectral gap…
▽ More
Let $G=(V,E)$ be a finite, combinatorial graph. We define a notion of curvature on the vertices $V$ via the inverse of the resistance distance matrix. We prove that this notion of curvature has a number of desirable properties. Graphs with curvature bounded from below by $K>0$ have diameter bounded from above. The Laplacian $L=D-A$ satisfies a Lichnerowicz estimate, there is a spectral gap $λ_2 \geq 2K$. We obtain matching two-sided bounds on the maximal commute time between any two vertices in terms of $|E| \cdot |V|^{-1} \cdot K^{-1}$. Moreover, we derive quantitative rates for the mixing time of the corresponding Markov chain and prove a general equilibrium result.
△ Less
Submitted 21 February, 2023; v1 submitted 12 February, 2023;
originally announced February 2023.
-
On a comparison between absolute and relative self-adjoint extension schemes
Authors:
Noè Angelo Caruso,
Alessandro Michelangeli,
Andrea Ottolini
Abstract:
The problem of connecting the operator parameters that label the same self-adjoint extension of a given symmetric operator, respectively, within the 'absolute' von Neumann extension scheme and the 'relative' boundary-triplet-induced extension scheme (i.e., a la Kreĭn-Višik-Birman) is discussed, and quantitative connections between the two parameters are established in the limit of deficiency space…
▽ More
The problem of connecting the operator parameters that label the same self-adjoint extension of a given symmetric operator, respectively, within the 'absolute' von Neumann extension scheme and the 'relative' boundary-triplet-induced extension scheme (i.e., a la Kreĭn-Višik-Birman) is discussed, and quantitative connections between the two parameters are established in the limit of deficiency spaces at complex spectral points converging to the deficiency space at a real spectral point.
△ Less
Submitted 1 May, 2023; v1 submitted 14 December, 2022;
originally announced December 2022.
-
Guessing cards with complete feedback
Authors:
Andrea Ottolini,
Stefan Steinerberger
Abstract:
We consider the following game that has been used as a way of testing claims of extrasensory perception (ESP). One is given a deck of $mn$ cards comprised of $n$ distinct types each of which appears exactly $m$ times: this deck is shuffled and then cards are discarded from the deck one at a time from top to bottom. At each step, a player (whose psychic powers are being tested) tries to guess the t…
▽ More
We consider the following game that has been used as a way of testing claims of extrasensory perception (ESP). One is given a deck of $mn$ cards comprised of $n$ distinct types each of which appears exactly $m$ times: this deck is shuffled and then cards are discarded from the deck one at a time from top to bottom. At each step, a player (whose psychic powers are being tested) tries to guess the type of the card currently on top, which is then revealed to the player before being discarded. We study the expected number $S_{n,m}$ of correct predictions a player can make: one could always guess the exact same type of card which shows that one can achieve $S_{n,m}>m$. We prove that the optimal (non-psychic) strategy is just slightly better than that and find the first order correction when $n, m$ grows at suitable rates. This is very different from the case where $m$ is fixed and $n$ is large (He & Ottolini) and similar to the case of fixed $n$ and $m$ is large (Graham & Diaconis). The case $m=n$ answers a question of Diaconis.
△ Less
Submitted 16 November, 2022;
originally announced November 2022.
-
Cutoff for a class of auto-regressive models with vanishing additive noise
Authors:
Balázs Gerencsér,
Andrea Ottolini
Abstract:
We analyze the convergence rates for a family of auto-regressive Markov chains $(X^{(n)}_k)_{k\geq 0}$ on $\mathbb R^d$, where at each step a randomly chosen coordinate is replaced by a noisy damped weighted average of the others. The interest in the model comes from the connection with a certain Bayesian scheme introduced by de Finetti in the analysis of partially exchangeable data. Our main resu…
▽ More
We analyze the convergence rates for a family of auto-regressive Markov chains $(X^{(n)}_k)_{k\geq 0}$ on $\mathbb R^d$, where at each step a randomly chosen coordinate is replaced by a noisy damped weighted average of the others. The interest in the model comes from the connection with a certain Bayesian scheme introduced by de Finetti in the analysis of partially exchangeable data. Our main result shows that, when $n$ gets large (corresponding to a vanishing noise), a cutoff phenomenon occurs.
△ Less
Submitted 8 January, 2023; v1 submitted 3 September, 2022;
originally announced September 2022.
-
Card guessing and the birthday problem for sampling without replacement
Authors:
Jimmy He,
Andrea Ottolini
Abstract:
Consider a uniformly random deck consisting of cards labelled by numbers from $1$ through $n$, possibly with repeats. A guesser guesses the top card, after which it is revealed and removed and the game continues. What is the expected number of correct guesses under the best and worst strategies? We establish sharp asymptotics for both strategies. For the worst case, this answers a recent question…
▽ More
Consider a uniformly random deck consisting of cards labelled by numbers from $1$ through $n$, possibly with repeats. A guesser guesses the top card, after which it is revealed and removed and the game continues. What is the expected number of correct guesses under the best and worst strategies? We establish sharp asymptotics for both strategies. For the worst case, this answers a recent question of Diaconis, Graham, He and Spiro, who found the correct order. As part of the proof, we study the birthday problem for sampling without replacement using Stein's method.
△ Less
Submitted 16 August, 2021;
originally announced August 2021.
-
Rates of convergence for Gibbs sampling in the analysis of almost exchangeable data
Authors:
Balázs Gerencsér,
Andrea Ottolini
Abstract:
Motivated by de Finetti's representation theorem for almost exchangeable arrays, we want to sample $\mathbf p \in [0,1]^d$ from a distribution with density proportional to $\exp(-A^2\sum_{i<j}c_{ij}(p_i-p_j)^2)$, where $A$ is large and $c_{ij}$'s are non-negative weights. We analyze the rate of convergence of a coordinate Gibbs sampler used to simulate from these measures. We show that for every n…
▽ More
Motivated by de Finetti's representation theorem for almost exchangeable arrays, we want to sample $\mathbf p \in [0,1]^d$ from a distribution with density proportional to $\exp(-A^2\sum_{i<j}c_{ij}(p_i-p_j)^2)$, where $A$ is large and $c_{ij}$'s are non-negative weights. We analyze the rate of convergence of a coordinate Gibbs sampler used to simulate from these measures. We show that for every non-zero fixed matrix $C=(c_{ij})$, and large enough $A$, mixing happens in $Θ(A^2)$ steps in a suitable Wasserstein distance. The upper and lower bounds are explicit and depend on the matrix $C$ through few relevant spectral parameters.
△ Less
Submitted 21 December, 2020; v1 submitted 29 October, 2020;
originally announced October 2020.
-
Oscillations for order statistics of some discrete processes
Authors:
Andrea Ottolini
Abstract:
Suppose $k$ balls are dropped into $n$ boxes independently with uniform probability, where $n, k$ are large with ratio approximately equal to some positive real $λ$. The maximum box count has a counterintuitive behavior: first of all, with high probability it takes at most two values $m_n$ or $m_n+1$, where $m_n$ is roughly $\frac{\ln n}{\ln \ln n}$. Moreover, it oscillates between these two value…
▽ More
Suppose $k$ balls are dropped into $n$ boxes independently with uniform probability, where $n, k$ are large with ratio approximately equal to some positive real $λ$. The maximum box count has a counterintuitive behavior: first of all, with high probability it takes at most two values $m_n$ or $m_n+1$, where $m_n$ is roughly $\frac{\ln n}{\ln \ln n}$. Moreover, it oscillates between these two values with an unusual periodicity. In order to prove this statement and various generalizations, it is first shown that for $X_1,...,X_n$ independent and identically distributed discrete random variables with common distribution $F$, under mild conditions, the limiting distribution of their maximum oscillates in three possible families, depending on the tail of the distribution. The result stated at the beginning follows from the equivalence of ensemble for the order statistics in various allocations problems, obtained via conditioning limit theory. Results about the number of ties for the maximum, as well as applications, are also provided.
△ Less
Submitted 18 October, 2020;
originally announced October 2020.
-
Fractional powers and singular perturbations of quantum differential Hamiltonians
Authors:
Alessandro Michelangeli,
Andrea Ottolini,
Raffaele Scandone
Abstract:
We consider the fractional powers of singular (point-like) perturbations of the Laplacian, and the singular perturbations of fractional powers of the Laplacian, and we compare such two constructions focusing on their perturbative structure for resolvents and on the local singularity structure of their domains. In application to the linear and non-linear Schrödinger equations for the corresponding…
▽ More
We consider the fractional powers of singular (point-like) perturbations of the Laplacian, and the singular perturbations of fractional powers of the Laplacian, and we compare such two constructions focusing on their perturbative structure for resolvents and on the local singularity structure of their domains. In application to the linear and non-linear Schrödinger equations for the corresponding operators we outline a programme of relevant questions that deserve being investigated.
△ Less
Submitted 25 July, 2018; v1 submitted 26 January, 2018;
originally announced January 2018.
-
Spectral analysis of the 2+1 fermionic trimer with contact interactions
Authors:
Simon Becker,
Alessandro Michelangeli,
Andrea Ottolini
Abstract:
We qualify the main features of the spectrum of the Hamiltonian of point interaction for a three-dimensional quantum system consisting of three point-like particles, two identical fermions, plus a third particle of different species, with two-body interaction of zero range. For arbitrary magnitude of the interaction, and arbitrary value of the mass parameter (the ratio between the mass of the thir…
▽ More
We qualify the main features of the spectrum of the Hamiltonian of point interaction for a three-dimensional quantum system consisting of three point-like particles, two identical fermions, plus a third particle of different species, with two-body interaction of zero range. For arbitrary magnitude of the interaction, and arbitrary value of the mass parameter (the ratio between the mass of the third particle and that of each fermion) above the stability threshold, we identify the essential spectrum, localise the discrete spectrum and prove its finiteness, qualify the angular symmetry of the eigenfunctions, and prove the increasing monotonicity of the eigenvalues with respect to the mass parameter. We also demonstrate the existence or absence of bound states in the physically relevant regimes of masses.
△ Less
Submitted 20 February, 2018; v1 submitted 29 December, 2017;
originally announced December 2017.
-
Multiplicity of self-adjoint realisations of the (2+1)-fermionic model of Ter-Martirosyan-- Skornyakov type
Authors:
Alessandro Michelangeli,
Andrea Ottolini
Abstract:
We reconstruct the whole family of self-adjoint Hamiltonians of Ter-Martirosyan-- Skornyakov type for a system of two identical fermions coupled with a third particle of different nature through an interaction of zero range. We proceed through an operator-theoretic approach based on the self-adjoint extension theory of Krein, Visik, and Birman. We identify the explicit Krein-Visik-Birman extension…
▽ More
We reconstruct the whole family of self-adjoint Hamiltonians of Ter-Martirosyan-- Skornyakov type for a system of two identical fermions coupled with a third particle of different nature through an interaction of zero range. We proceed through an operator-theoretic approach based on the self-adjoint extension theory of Krein, Visik, and Birman. We identify the explicit Krein-Visik-Birman extension parameter as an operator on the "space of charges" for this model (the "Krein space") and we come to formulate a sharp conjecture on the dimensionality of its kernel. Based on our conjecture, for which we also discuss an amount of evidence, we explain the emergence of a multiplicity of extensions in a suitable regime of masses and we reproduce for the first time the previous partial constructions obtained by means of an alternative quadratic form approach.
△ Less
Submitted 26 November, 2017; v1 submitted 17 November, 2017;
originally announced November 2017.
-
On point interactions realised as Ter-Martirosyan-Skornyakov Hamiltonians
Authors:
Alessandro Michelangeli,
Andrea Ottolini
Abstract:
For quantum systems of zero-range interaction we discuss the mathematical scheme within which modelling the two-body interaction by means of the physically relevant ultra-violet asymptotics known as the "Ter-Martirosyan-Skornyakov condition" gives rise to a self-adjoint realisation of the corresponding Hamiltonian. This is done within the self-adjoint extension scheme of Krein, Visik, and Birman.…
▽ More
For quantum systems of zero-range interaction we discuss the mathematical scheme within which modelling the two-body interaction by means of the physically relevant ultra-violet asymptotics known as the "Ter-Martirosyan-Skornyakov condition" gives rise to a self-adjoint realisation of the corresponding Hamiltonian. This is done within the self-adjoint extension scheme of Krein, Visik, and Birman. We show that the Ter-Martirosyan-Skornyakov asymptotics is a condition of self-adjointness only when is imposed in suitable functional spaces, and not just as a pointwise asymptotics, and we discuss the consequences of this fact on a model of two identical fermions and a third particle of different nature.
△ Less
Submitted 14 January, 2017; v1 submitted 16 June, 2016;
originally announced June 2016.