-
Largest eigenvalue of positive mean Gaussian matrices
Authors:
Arijit Chakrabarty,
Rajat Subhra Hazra,
Moumanti Podder
Abstract:
This short note studies the fluctuations of the largest eigenvalue of symmetric random matrices with correlated Gaussian entries having positive mean. Under the assumption that the covariance kernel is absolutely summable, it is proved that the largest eigenvalue, after centering, converges in distribution to normal with an explicitly defined mean and variance. This result generalizes known findin…
▽ More
This short note studies the fluctuations of the largest eigenvalue of symmetric random matrices with correlated Gaussian entries having positive mean. Under the assumption that the covariance kernel is absolutely summable, it is proved that the largest eigenvalue, after centering, converges in distribution to normal with an explicitly defined mean and variance. This result generalizes known findings for Wigner matrices with independent entries.
△ Less
Submitted 17 October, 2024; v1 submitted 9 September, 2024;
originally announced September 2024.
-
Percolation games on rooted, edge-weighted random trees
Authors:
Sayar Karmakar,
Moumanti Podder,
Souvik Roy,
Soumyarup Sadhukhan
Abstract:
Consider a rooted Galton-Watson tree $T$, to each of whose edges we assign, independently, a weight that equals $+1$ with probability $p_{1}$, $0$ with probability $p_{0}$ and $-1$ with probability $p_{-1}=1-p_{1}-p_{0}$. We play a game on a realization of this tree, involving two players and a token that is allowed to be moved from where it is currently located, say a vertex $u$ of $T$, to any ch…
▽ More
Consider a rooted Galton-Watson tree $T$, to each of whose edges we assign, independently, a weight that equals $+1$ with probability $p_{1}$, $0$ with probability $p_{0}$ and $-1$ with probability $p_{-1}=1-p_{1}-p_{0}$. We play a game on a realization of this tree, involving two players and a token that is allowed to be moved from where it is currently located, say a vertex $u$ of $T$, to any child $v$ of $u$. The players begin with initial capitals that amount to $i$ and $j$ units respectively, and a player wins if either she is the first to amass a capital worth $κ$ units, where $κ\in \mathbb{N}$ is prespecified, or she is able to move the token to a leaf vertex, from where her opponent cannot move it any farther, or her opponent's capital is the first to dwindle to $0$. This paper is concerned with analyzing the probabilities of the three possible outcomes such a game may culminate in, as well as with finding conditions under which the expected duration of the game is finite. Of particular interest to us is the exploration of criteria that guarantee the probability of draw in such a game to be $0$. The theory we develop is further supported by observations obtained via computer simulations, providing a deeper insight into how the above-mentioned probabilities behave as the underlying parameters and / or offspring distributions are allowed to vary. We include in this paper conjectures pertaining to the behaviour of the probability of draw in our game (including a phase transition phenomenon, in which the probability of draw goes from being $0$ to being strictly positive) as the parameter-pair $(p_{0},p_{1})$ is varied suitably while keeping the underlying offspring distribution of $T$ fixed.
△ Less
Submitted 15 January, 2025; v1 submitted 2 June, 2024;
originally announced June 2024.
-
Learning models on rooted regular trees with majority update policy: convergence and phase transition
Authors:
Moumanti Podder,
Anish Sarkar
Abstract:
We study a learning model in which an agent is stationed at each vertex of $\mathbb{T}_{m}$, the rooted tree in which each vertex has $m$ children. At any time-step $t \in \mathbb{N}_{0}$, they are allowed to select one of two available technologies: $B$ and $R$. Let the technology chosen by the agent at vertex $v\in\mathbb{T}_{m}$, at time-step $t$, be $C_{t}(v)$. Let…
▽ More
We study a learning model in which an agent is stationed at each vertex of $\mathbb{T}_{m}$, the rooted tree in which each vertex has $m$ children. At any time-step $t \in \mathbb{N}_{0}$, they are allowed to select one of two available technologies: $B$ and $R$. Let the technology chosen by the agent at vertex $v\in\mathbb{T}_{m}$, at time-step $t$, be $C_{t}(v)$. Let $\{C_{0}(v):v\in\mathbb{T}_{m}\}$ be i.i.d., where $C_{0}(v)=B$ with probability $π_{0}$. During epoch $t$, the agent at $v$ performs an experiment that results in success with probability $p_{B}$ if $C_{t}(v)=B$, and with probability $p_{R}$ if $C_{t}(v)=R$. If the children of $v$ are $v_{1},\ldots,v_{m}$, the agent at $v$ updates their technology to $C_{t+1}(v)=B$ if the number of successes among all $v_{i}$ with $C_{t}(v_{i})=B$ exceeds, strictly, the number of successes among all $v_{j}$ with $C_{t}(v_{j})=R$. If these numbers are equal, then the agent at $v$ sets $C_{t+1}(v)=B$ with probability $1/2$. Else, $C_{t+1}(v)=R$. We show that $\{C_{t}(v):v\in\mathbb{T}_{m}\}$ is i.i.d., where $C_{t}(v)=B$ with probability $π_{t}$, and $\{π_{t}\}_{t \in \mathbb{N}_{0}}$ converges to a fixed point $π$ of a function $g_{m}$. For $m \geqslant 3$, there exists a $p(m) \in (0,1)$ such that $g_{m}$ has a unique fixed point, $1/2$, when $p \leqslant p(m)$, and three distinct fixed points, of the form $α$, $1/2$ and $1-α$, when $p > p(m)$. When $m=3$, $p_{B}=1$ and $p_{R} \in [0,1)$, we show that $g_{3}$ has a unique fixed point, $1$, when $p_{R} < \sqrt{3}-1$, two distinct fixed points, one of which is $1$, when $p_{R} = \sqrt{3}-1$, and three distinct fixed points, one of which is $1$, when $p_{R} > \sqrt{3}-1$. When $g_{m}$ has multiple fixed points, we also specify which of these fixed points $π$ equals, depending on $π_{0}$. For $m=2$, we describe the behaviour of $g_{3}$ for all $p_{B}$ and $p_{R}$.
△ Less
Submitted 20 May, 2024;
originally announced May 2024.
-
Generalized percolation games on the $2$-dimensional square lattice, and ergodicity of associated probabilistic cellular automata
Authors:
Dhruv Bhasin,
Sayar Karmakar,
Moumanti Podder,
Souvik Roy
Abstract:
Each vertex of the infinite $2$-dimensional square lattice graph is assigned, independently, a label that reads trap with probability $p$, target with probability $q$, and open with probability $(1-p-q)$, and each edge is assigned, independently, a label that reads trap with probability $r$ and open with probability $(1-r)$. A percolation game is played on this random board, wherein two players ta…
▽ More
Each vertex of the infinite $2$-dimensional square lattice graph is assigned, independently, a label that reads trap with probability $p$, target with probability $q$, and open with probability $(1-p-q)$, and each edge is assigned, independently, a label that reads trap with probability $r$ and open with probability $(1-r)$. A percolation game is played on this random board, wherein two players take turns to make moves, where a move involves relocating the token from where it is currently located, say $(x,y) \in \mathbb{Z}^{2}$, to one of $(x+1,y)$ and $(x,y+1)$. A player wins if she is able to move the token to a vertex labeled a target, or force her opponent to either move the token to a vertex labeled a trap or along an edge labeled a trap. We seek to find a regime, in terms of $p$, $q$ and $r$, in which the probability of this game resulting in a draw equals $0$. We consider special cases of this game, such as when each edge is assigned, independently, a label that reads trap with probability $r$, target with probability $s$, and open with probability $(1-r-s)$, but the vertices are left unlabeled. Various regimes of values of $r$ and $s$ are explored in which the probability of draw is guaranteed to be $0$. We show that the probability of draw in each such game equals $0$ if and only if a certain probabilistic cellular automaton (PCA) is ergodic, following which we implement the technique of weight functions to investigate the regimes in which said PCA is ergodic.
△ Less
Submitted 14 January, 2025; v1 submitted 20 May, 2024;
originally announced May 2024.
-
Phase transition in percolation games on rooted Galton-Watson trees
Authors:
Sayar Karmakar,
Moumanti Podder,
Souvik Roy,
Soumyarup Sadhukhan
Abstract:
We study the bond percolation game and the site percolation game on the rooted Galton-Watson tree $T_χ$ with offspring distribution $χ$. We obtain the probabilities of win, loss and draw for each player in terms of the fixed points of functions that involve the probability generating function $G$ of $χ$, and the parameters $p$ and $q$. Here, $p$ is the probability with which each edge (respectivel…
▽ More
We study the bond percolation game and the site percolation game on the rooted Galton-Watson tree $T_χ$ with offspring distribution $χ$. We obtain the probabilities of win, loss and draw for each player in terms of the fixed points of functions that involve the probability generating function $G$ of $χ$, and the parameters $p$ and $q$. Here, $p$ is the probability with which each edge (respectively vertex) of $T_χ$ is labeled a trap in the bond (respectively site) percolation game, and $q$ is the probability with which each edge (respectively vertex) of $T_χ$ is labeled a target in the bond (respectively site) percolation game. We obtain a necessary and sufficient condition for the probability of draw to be $0$ in each game, and we examine how this condition simplifies to yield very precise phase transition results when $χ$ is Binomial$(d,π)$, Poisson$(λ)$, or Negative Binomial$(r,π)$, or when $χ$ is supported on $\{0,d\}$ for some $d \in \mathbb{N}$, $d \geqslant 2$. It is fascinating to note that, while all other specific classes of offspring distributions we consider in this paper exhibit phase transition phenomena as the parameter-pair $(p,q)$ varies, the probability that the bond percolation game results in a draw remains $0$ for all values of $(p,q)$ when $χ$ is Geometric$(π)$, for all $0 < π\leqslant 1$. By establishing a connection between these games and certain finite state probabilistic tree automata on rooted $d$-regular trees, we obtain a precise description of the regime (in terms of $p$, $q$ and $d$) in which these automata exhibit ergodicity or weak spatial mixing.
△ Less
Submitted 6 May, 2023; v1 submitted 20 March, 2023;
originally announced March 2023.
-
The spread of an epidemic: a game-theoretic approach
Authors:
Sayar Karmakar,
Moumanti Podder,
Souvik Roy,
Soumyarup Sadhukhan
Abstract:
We introduce and study a model stemming from game theory for the spread of an epidemic throughout a given population. Each agent is allowed to choose an action whose value dictates to what extent they limit their social interactions, if at all. Each of them is endowed with a certain amount of immunity such that if the viral risk/exposure is more than that they get infected. We consider a discrete-…
▽ More
We introduce and study a model stemming from game theory for the spread of an epidemic throughout a given population. Each agent is allowed to choose an action whose value dictates to what extent they limit their social interactions, if at all. Each of them is endowed with a certain amount of immunity such that if the viral risk/exposure is more than that they get infected. We consider a discrete-time stochastic process where, at the beginning of each epoch, a randomly chosen agent is allowed to update their action, which they do with the aim of maximizing a utility function that is a function of the state in which the process is currently in. The state itself is determined by the subset of infected agents at the beginning of that epoch, and the most recent action profile of all the agents. Our main results are concerned with the limiting distributions of both the cardinality of the subset of infected agents and the action profile as time approaches infinity, considered under various settings (such as the initial action profile we begin with, the value of each agent's immunity etc.). We also provide some simulations to show that the final asymptotic distributions for the cardinality of infected set are almost always achieved within the first few epochs.
△ Less
Submitted 17 March, 2023;
originally announced March 2023.
-
Ergodicity of a generalized probabilistic cellular automaton with parity-based neighbourhoods
Authors:
Dhruv Bhasin,
Sayar Karmakar,
Moumanti Podder,
Souvik Roy
Abstract:
We study a one-dimensional generalized probabilistic cellular automaton $E_{p, q}$ with universe $\mathbb Z$, alphabet $\mathcal A = \{0, 1\}$, parameters $p$ and $q$ such that $0 < p+q \leq 1$ and two neighbourhoods $\mathcal N_0 = \{0, 1\}$ and $\mathcal N = \{1, 2\}$. The state $E_{p, q} η(x)$ of any $x \in \mathbb Z$ under the application of $E_{p, q}$ is a random variable whose probability di…
▽ More
We study a one-dimensional generalized probabilistic cellular automaton $E_{p, q}$ with universe $\mathbb Z$, alphabet $\mathcal A = \{0, 1\}$, parameters $p$ and $q$ such that $0 < p+q \leq 1$ and two neighbourhoods $\mathcal N_0 = \{0, 1\}$ and $\mathcal N = \{1, 2\}$. The state $E_{p, q} η(x)$ of any $x \in \mathbb Z$ under the application of $E_{p, q}$ is a random variable whose probability distribution depends on the states $η(x + y)$ for $y \in \mathcal N_i$ where $i$ has the same parity as $x$. We establish ergodicity of this GPCA for various ranges of values of $p$ and $q$ via its connection with a suitable percolation game on a two-dimensional lattice. For these same ranges of values of $p$ and $q$, we show that the above-mentioned game has probability $0$ of resulting in a draw.
△ Less
Submitted 23 December, 2023; v1 submitted 4 December, 2022;
originally announced December 2022.
-
On a class of probabilistic cellular automata with size-$3$ neighbourhood and their applications in percolation games
Authors:
Dhruv Bhasin,
Sayar Karmakar,
Moumanti Podder,
Souvik Roy
Abstract:
Different versions of percolation games on $\mathbb{Z}^{2}$, with parameters $p$ and $q$ that indicate, respectively, the probability with which a site in $\mathbb{Z}^{2}$ is labeled a trap and the probability with which it is labeled a target, are shown to have probability $0$ of culminating in draws when $p+q > 0$. We show that, for fixed $p$ and $q$, the probability of draw in each of these gam…
▽ More
Different versions of percolation games on $\mathbb{Z}^{2}$, with parameters $p$ and $q$ that indicate, respectively, the probability with which a site in $\mathbb{Z}^{2}$ is labeled a trap and the probability with which it is labeled a target, are shown to have probability $0$ of culminating in draws when $p+q > 0$. We show that, for fixed $p$ and $q$, the probability of draw in each of these games is $0$ if and only if a certain $1$-dimensional probabilistic cellular automaton (PCA) $F_{p,q}$ with a size-$3$ neighbourhood is ergodic. This allows us to conclude that $F_{p,q}$ is ergodic whenever $p+q > 0$, thereby rigorously establishing ergodicity for a considerable class of PCAs.
△ Less
Submitted 24 August, 2022;
originally announced August 2022.
-
Combinatorial games on Galton-Watson trees involving several-generation-jump moves
Authors:
Moumanti Podder,
Dhruv Bhasin
Abstract:
We study the $k$-jump normal and $k$-jump misère games on rooted Galton-Watson trees, expressing the probabilities of various outcomes of these games as specific fixed points of certain functions that depend on $k$ and the offspring distribution. We discuss results on phase transitions pertaining to draw probabilities when the offspring distribution is Poisson$(λ)$ (i.e. for which values of $λ$, t…
▽ More
We study the $k$-jump normal and $k$-jump misère games on rooted Galton-Watson trees, expressing the probabilities of various outcomes of these games as specific fixed points of certain functions that depend on $k$ and the offspring distribution. We discuss results on phase transitions pertaining to draw probabilities when the offspring distribution is Poisson$(λ)$ (i.e. for which values of $λ$, the draw probability is strictly positive). We compare the probabilities of the various outcomes of the $2$-jump normal game with those of the $2$-jump misère game, and a similar comparison is drawn between the $2$-jump normal game and the $1$-jump normal game, under the Poisson regime. We describe the rate of decay of the probability that the first player loses the $2$-jump normal game as $λ\rightarrow \infty$. Finally, we discuss a sufficient condition for the average duration of the $k$-jump normal game to be finite.
△ Less
Submitted 11 March, 2023; v1 submitted 4 May, 2022;
originally announced May 2022.
-
Combinatorial games on multi-type Galton-Watson trees
Authors:
Moumanti Podder
Abstract:
When normal and misère games are played on bi-type binary Galton-Watson trees (with vertices coloured blue or red and each having either no child or precisely $2$ children), with one player allowed to move along monochromatic edges and the other along non-monochromatic edges, the draw probabilities equal $0$ unless every vertex gives birth to one blue and one red child. On bi-type Poisson trees wh…
▽ More
When normal and misère games are played on bi-type binary Galton-Watson trees (with vertices coloured blue or red and each having either no child or precisely $2$ children), with one player allowed to move along monochromatic edges and the other along non-monochromatic edges, the draw probabilities equal $0$ unless every vertex gives birth to one blue and one red child. On bi-type Poisson trees where each vertex gives birth to Poisson$(λ)$ offspring in total, the draw probabilities approach $1$ as $λ\rightarrow \infty$. We study such \emph{novel} versions of normal, misère and escape games on rooted multi-type Galton-Watson trees, with the "permissible" edges for one player being disjoint from those of her opponent. The probabilities of the games' outcomes are analyzed, compared with each other, and their behaviours as functions of the underlying law explored.
△ Less
Submitted 30 March, 2021; v1 submitted 15 March, 2021;
originally announced March 2021.
-
Uniqueness of communities in regular stochastic block models
Authors:
Sayar Karmakar,
Moumanti Podder
Abstract:
This paper studies the regular stochastic block model comprising \emph{several} communities: each of the $k$ non-overlapping communities, for $k \geqslant 3$, possesses $n$ vertices, each of which has total degree $d$. The values of the intra-cluster degrees (i.e.\ the number of neighbours of a vertex inside the cluster it belongs to) and the inter-cluster degrees (i.e.\ the number of neighbours o…
▽ More
This paper studies the regular stochastic block model comprising \emph{several} communities: each of the $k$ non-overlapping communities, for $k \geqslant 3$, possesses $n$ vertices, each of which has total degree $d$. The values of the intra-cluster degrees (i.e.\ the number of neighbours of a vertex inside the cluster it belongs to) and the inter-cluster degrees (i.e.\ the number of neighbours of a vertex inside a cluster different from its own) are allowed to vary across clusters. We discuss two main results: the first compares the probability measure induced by our model with the uniform measure on the space of $d$-regular graphs on $kn$ vertices, and the second establishes that the clusters, under rather weak assumptions, are unique asymptotically almost surely as $n \rightarrow \infty$.
△ Less
Submitted 18 January, 2021; v1 submitted 13 February, 2020;
originally announced February 2020.
-
Avoidance couplings on non-complete graphs
Authors:
Erik Bates,
Moumanti Podder
Abstract:
A coupling of random walkers on the same finite graph, who take turns sequentially, is said to be an avoidance coupling if the walkers never collide. Previous studies of these processes have focused almost exclusively on complete graphs, in particular how many walkers an avoidance coupling can include. For other graphs, apart from special cases, it has been unsettled whether even two non-colliding…
▽ More
A coupling of random walkers on the same finite graph, who take turns sequentially, is said to be an avoidance coupling if the walkers never collide. Previous studies of these processes have focused almost exclusively on complete graphs, in particular how many walkers an avoidance coupling can include. For other graphs, apart from special cases, it has been unsettled whether even two non-colliding simple random walkers can be coupled. In this article, we construct such a coupling on (i) any $d$-regular graph avoiding a fixed subgraph depending on $d$; and (ii) any square-free graph with minimum degree at least three. A corollary of the first result is that a uniformly random regular graph on $n$ vertices admits an avoidance coupling with high probability.
△ Less
Submitted 12 October, 2020; v1 submitted 30 January, 2020;
originally announced January 2020.
-
Uniform threshold for fixation of the stochastic sandpile model on the line
Authors:
Moumanti Podder,
Leonardo T. Rolla
Abstract:
We consider the abelian stochastic sandpile model. In this model, a site is deemed unstable when it contains more than one particle. Each unstable site, independently, is toppled at rate $1$, sending two of its particles to neighbouring sites chosen independently. We show that when the initial average density is less than $1/2$, the system locally fixates almost surely. We achieve this bound by an…
▽ More
We consider the abelian stochastic sandpile model. In this model, a site is deemed unstable when it contains more than one particle. Each unstable site, independently, is toppled at rate $1$, sending two of its particles to neighbouring sites chosen independently. We show that when the initial average density is less than $1/2$, the system locally fixates almost surely. We achieve this bound by analysing the parity of the total number of times each site is visited by a large number of particles under the sandpile dynamics.
△ Less
Submitted 13 January, 2020;
originally announced January 2020.
-
Zero-one laws for existential first order sentences of bounded quantifier depth
Authors:
Moumanti Podder,
Maksim Zhukovskii
Abstract:
For any fixed positive integer $k$, let $α_{k}$ denote the smallest $α\in (0,1)$ such that the random graph sequence $\left\{G\left(n, n^{-α}\right)\right\}$ does not satisfy the zero-one law for the set $\mathcal{E}_{k}$ of all existential first order sentences that are of quantifier depth at most $k$. This paper finds upper and lower bounds on $α_{k}$, showing that as $k \rightarrow \infty$, we…
▽ More
For any fixed positive integer $k$, let $α_{k}$ denote the smallest $α\in (0,1)$ such that the random graph sequence $\left\{G\left(n, n^{-α}\right)\right\}$ does not satisfy the zero-one law for the set $\mathcal{E}_{k}$ of all existential first order sentences that are of quantifier depth at most $k$. This paper finds upper and lower bounds on $α_{k}$, showing that as $k \rightarrow \infty$, we have $α_{k} = \left(k - 2 - t(k)\right)^{-1}$ for some function $t(k) = Θ(k^{-2})$. We also establish the precise value of $α_{k}$ when $k = 4$.
△ Less
Submitted 2 November, 2020; v1 submitted 8 July, 2019;
originally announced July 2019.
-
Quantifier alternation in a class of recursively defined tree properties
Authors:
Moumanti Podder
Abstract:
Alternating quantifier depth is a natural measure of difficulty required to express first order logical sentences. We define a sequence of first order properties on rooted, locally finite trees in a recursive manner, and provide rigorous arguments for finding the alternating quantifier depth of each property in the sequence, using Ehrenfeucht-Fraïssé games.
Alternating quantifier depth is a natural measure of difficulty required to express first order logical sentences. We define a sequence of first order properties on rooted, locally finite trees in a recursive manner, and provide rigorous arguments for finding the alternating quantifier depth of each property in the sequence, using Ehrenfeucht-Fraïssé games.
△ Less
Submitted 14 February, 2019;
originally announced February 2019.
-
Random tree recursions: which fixed points correspond to tangible sets of trees?
Authors:
Tobias Johnson,
Moumanti Podder,
Fiona Skerman
Abstract:
Let $\mathcal{B}$ be the set of rooted trees containing an infinite binary subtree starting at the root. This set satisfies the metaproperty that a tree belongs to it if and only if its root has children $u$ and $v$ such that the subtrees rooted at $u$ and $v$ belong to it. Let $p$ be the probability that a Galton-Watson tree falls in $\mathcal{B}$. The metaproperty makes $p$ satisfy a fixed-point…
▽ More
Let $\mathcal{B}$ be the set of rooted trees containing an infinite binary subtree starting at the root. This set satisfies the metaproperty that a tree belongs to it if and only if its root has children $u$ and $v$ such that the subtrees rooted at $u$ and $v$ belong to it. Let $p$ be the probability that a Galton-Watson tree falls in $\mathcal{B}$. The metaproperty makes $p$ satisfy a fixed-point equation, which can have multiple solutions. One of these solutions is $p$, but what is the meaning of the others? In particular, are they probabilities of the Galton-Watson tree falling into other sets satisfying the same metaproperty? We create a framework for posing questions of this sort, and we classify solutions to fixed-point equations according to whether they admit probabilistic interpretations. Our proofs use spine decompositions of Galton-Watson trees and the analysis of Boolean functions.
△ Less
Submitted 12 September, 2019; v1 submitted 9 August, 2018;
originally announced August 2018.
-
First order theory on $G(n, c n^{-1})$
Authors:
Moumanti Podder
Abstract:
A well-known result of Shelah and Spencer tells us that the almost sure theory for first order language on the random graph sequence $\left\{G(n, cn^{-1})\right\}$ is not complete. This paper proposes and proves what the complete set of completions of the almost sure theory for $\left\{G(n, c n^{-1})\right\}$ should be. The almost sure theory $T$ consists of two sentence groups: the first states t…
▽ More
A well-known result of Shelah and Spencer tells us that the almost sure theory for first order language on the random graph sequence $\left\{G(n, cn^{-1})\right\}$ is not complete. This paper proposes and proves what the complete set of completions of the almost sure theory for $\left\{G(n, c n^{-1})\right\}$ should be. The almost sure theory $T$ consists of two sentence groups: the first states that all the components are trees or unicyclic components, and the second states that, given any $k \in \mathbb{N}$ and any finite tree $t$, there are at least $k$ components isomorphic to $t$. We define a $k$-completion of $T$ to be a first order property $A$, such that if $T + A$ holds for a graph, we can fully describe the first order sentences of quantifier depth $\leq k$ that hold for that graph. We show that a $k$-completion $A$ specifies the numbers, up to "cutoff" $k$, of the (finitely many) unicyclic component types of given parameters (that only depend on $k$) that the graph contains. A complete set of $k$-completions is then the finite collection of all possible $k$-completions.
△ Less
Submitted 31 January, 2018;
originally announced February 2018.
-
Second order logic on random rooted trees
Authors:
Alexander E. Holroyd,
Avi Levy,
Moumanti Podder,
Joel Spencer
Abstract:
We address questions of logic and expressibility in the context of random rooted trees. Infiniteness of a rooted tree is not expressible as a first order sentence, but is expressible as an existential monadic second order sentence (EMSO). On the other hand, finiteness is not expressible as an EMSO. For a broad class of random tree models, including Galton-Watson trees with offspring distributions…
▽ More
We address questions of logic and expressibility in the context of random rooted trees. Infiniteness of a rooted tree is not expressible as a first order sentence, but is expressible as an existential monadic second order sentence (EMSO). On the other hand, finiteness is not expressible as an EMSO. For a broad class of random tree models, including Galton-Watson trees with offspring distributions that have full support, we prove the stronger statement that finiteness does not agree up to a null set with any EMSO. We construct a finite tree and a non-null set of infinite trees that cannot be distinguished from each other by any EMSO of given parameters. This is proved via set-pebble Ehrenfeucht games (where an initial colouring round is followed by a given number of pebble rounds).
△ Less
Submitted 19 June, 2017;
originally announced June 2017.
-
Gibbs measures over locally tree-like graphs and percolative entropy over infinite regular trees
Authors:
Tim Austin,
Moumanti Podder
Abstract:
Consider a statistical physical model on the $d$-regular infinite tree $T_{d}$ described by a set of interactions $Φ$. Let $\{G_{n}\}$ be a sequence of finite graphs with vertex sets $V_n$ that locally converge to $T_{d}$. From $Φ$ one can construct a sequence of corresponding models on the graphs $G_n$. Let $\{μ_n\}$ be the resulting Gibbs measures. Here we assume that $\{μ_{n}\}$ converges to so…
▽ More
Consider a statistical physical model on the $d$-regular infinite tree $T_{d}$ described by a set of interactions $Φ$. Let $\{G_{n}\}$ be a sequence of finite graphs with vertex sets $V_n$ that locally converge to $T_{d}$. From $Φ$ one can construct a sequence of corresponding models on the graphs $G_n$. Let $\{μ_n\}$ be the resulting Gibbs measures. Here we assume that $\{μ_{n}\}$ converges to some limiting Gibbs measure $μ$ on $T_{d}$ in the local weak$^*$ sense, and study the consequences of this convergence for the specific entropies $|V_n|^{-1}H(μ_n)$. We show that the limit supremum of $|V_n|^{-1}H(μ_n)$ is bounded above by the \emph{percolative entropy} $H_{perc}(μ)$, a function of $μ$ itself, and that $|V_n|^{-1}H(μ_n)$ actually converges to $H_{perc}(μ)$ in case $Φ$ exhibits strong spatial mixing on $T_d$. We discuss a few examples of well-known models for which the latter result holds in the high temperature regime.
△ Less
Submitted 11 May, 2017; v1 submitted 9 May, 2017;
originally announced May 2017.
-
Inverse Problems under Sarmanov dependence structure
Authors:
Krishanu Maulik,
Moumanti Podder
Abstract:
Consider a sequence $\{(X_{i}, Y_{i})\}$ of independent and identically distributed random vectors, with joint distribution bivariate Sarmanov. This is a natural set-up for discrete time financial risk models with insurance risks. Of particular interest are the infinite time ruin probabilities $P\left[\sup_{n \geq 1}\sum_{i=1}^{n} X_i \prod_{j=1}^{i}Y_{j} > x\right]$. When the $Y_{i}$'s are assume…
▽ More
Consider a sequence $\{(X_{i}, Y_{i})\}$ of independent and identically distributed random vectors, with joint distribution bivariate Sarmanov. This is a natural set-up for discrete time financial risk models with insurance risks. Of particular interest are the infinite time ruin probabilities $P\left[\sup_{n \geq 1}\sum_{i=1}^{n} X_i \prod_{j=1}^{i}Y_{j} > x\right]$. When the $Y_{i}$'s are assumed to have lighter tails than the $X_{i}$'s, we investigate sufficient conditions that ensure each $X_{i}$ has a regularly varying tail, given that the ruin probability is regularly varying. This is an inverse problem to the more traditional analysis of the ruin probabilities based on the tails of the $X_{i}$'s. We impose moment-conditions as well as non-vanishing Mellin transform assumptions on the $Y_{i}$'s in order to achieve the desired results. But our analysis departs from the more conventional assumption of independence between the sequences $\{X_{i}\}$ and $\{Y_{i}\}$, instead assuming each $(X_{i}, Y_{i})$ to be jointly distributed as bivariate Sarmanov, a fairly broad class of bivariate distributions.
△ Less
Submitted 18 April, 2016;
originally announced April 2016.
-
Ruin probabilities under Sarmanov dependence structure
Authors:
Krishanu Maulik,
Moumanti Podder
Abstract:
Our work aims to study the tail behaviour of weighted sums of the form $\sum_{i=1}^{\infty} X_{i} \prod_{j=1}^{i}Y_{j}$, where $(X_{i}, Y_{i})$ are independent and identically distributed, with common joint distribution bivariate Sarmanov. Such quantities naturally arise in financial risk models. Each $X_{i}$ has a regularly varying tail. With sufficient conditions similar to those used by Denisov…
▽ More
Our work aims to study the tail behaviour of weighted sums of the form $\sum_{i=1}^{\infty} X_{i} \prod_{j=1}^{i}Y_{j}$, where $(X_{i}, Y_{i})$ are independent and identically distributed, with common joint distribution bivariate Sarmanov. Such quantities naturally arise in financial risk models. Each $X_{i}$ has a regularly varying tail. With sufficient conditions similar to those used by Denisov and Zwart (2007) imposed on these two sequences, and with certain suitably summable bounds similar to those proposed by Hazra and Maulik (2012), we explore the tail distribution of the random variable $\sup_{n \geq 1}\sum_{i=1}^{n} X_i \prod_{j=1}^{i}Y_{j}$. The sufficient conditions used will relax the moment conditions on the $\{Y_{i}\}$ sequence.
△ Less
Submitted 30 May, 2016; v1 submitted 18 January, 2016;
originally announced January 2016.
-
Galton-Watson Probability Contraction
Authors:
Moumanti Podder,
Joel Spencer
Abstract:
We are concerned with exploring the probabilities of first order statements for Galton-Watson trees with $Poisson(c)$ offspring distribution. Fixing a positive integer $k$, we exploit the $k$-move Ehrenfeucht game on rooted trees for this purpose. Let $Σ$, indexed by $1 \leq j \leq m$, denote the finite set of equivalence classes arising out of this game, and $D$ the set of all probability distrib…
▽ More
We are concerned with exploring the probabilities of first order statements for Galton-Watson trees with $Poisson(c)$ offspring distribution. Fixing a positive integer $k$, we exploit the $k$-move Ehrenfeucht game on rooted trees for this purpose. Let $Σ$, indexed by $1 \leq j \leq m$, denote the finite set of equivalence classes arising out of this game, and $D$ the set of all probability distributions over $Σ$. Let $x_{j}(c)$ denote the true probability of the class $j \in Σ$ under $Poisson(c)$ regime, and $\vec{x}(c)$ the true probability vector over all the equivalence classes. Then we are able to define a natural recursion function $Γ$, and a map $Ψ= Ψ_{c}: D \rightarrow D$ such that $\vec{x}(c)$ is a fixed point of $Ψ_{c}$, and starting with any distribution $\vec{x} \in D$, we converge to this fixed point via $Ψ$ because it is a contraction. We show this both for $c \leq 1$ and $c > 1$, though the techniques for these two ranges are quite different.
△ Less
Submitted 7 January, 2016; v1 submitted 23 December, 2015;
originally announced December 2015.
-
First Order Probabilities For Galton-Watson Trees
Authors:
Joel Spencer,
Moumanti Podder
Abstract:
In the regime of Galton-Watson trees, first order logic statements are roughly equivalent to examining the presence of specific finite subtrees. We consider the space of all trees with Poisson offspring distribution and show that such finite subtrees will be almost surely present when the tree is infinite. Introducing the notion of universal trees, we show that all first order sentences of quantif…
▽ More
In the regime of Galton-Watson trees, first order logic statements are roughly equivalent to examining the presence of specific finite subtrees. We consider the space of all trees with Poisson offspring distribution and show that such finite subtrees will be almost surely present when the tree is infinite. Introducing the notion of universal trees, we show that all first order sentences of quantifier depth $k$ depend only on local neighbourhoods of the root of sufficiently large radius depending on $k$. We compute the probabilities of these neighbourhoods conditioned on the tree being infinite. We give an almost sure theory for infinite trees.
△ Less
Submitted 5 December, 2016; v1 submitted 29 October, 2015;
originally announced October 2015.
