Probability of subset of a graph being stable












2












$begingroup$


Let $G=(V,E)$ be a graph with $|E|=m$. Let $Ssubseteq V$ such that $Pr(vin S)=frac{1}{2}$ for all $vin V$ and the events are independent for all $v in V$. Show $Pr(S text{ is stable})geq left( frac{3}{4}right)^{m}$. A set is called stable if it has no edges between any of its vertices.



$Pr(S text{ is stable}) =1-Pr(E_S neq emptyset)=1-Pr(exists v_1,v_2in S:{v_1,v_2}in E)=1-Pr(text{choosing }v_1,v_2)=1-frac{1}{4}cdot N$



Where $N$ is the number of possible choices for $v_1,v_2$.



The probability of an independent set is minimized when $G$ is a complete Graph. A complete graph with $n$ vertices has $frac{n(n-1)}{2}$edges. Suppose $G$ is complete and has $m$ edges, then possible number of vertices:
$$frac{1+sqrt{1+8m}}{2},quad frac{1-sqrt{1+8m}}{2}.$$



Not sure how to continue










share|cite|improve this question











$endgroup$












  • $begingroup$
    What is a definiton of stable?
    $endgroup$
    – greedoid
    Dec 1 '18 at 18:46










  • $begingroup$
    I have added it and it is in the computation
    $endgroup$
    – orange
    Dec 1 '18 at 18:47
















2












$begingroup$


Let $G=(V,E)$ be a graph with $|E|=m$. Let $Ssubseteq V$ such that $Pr(vin S)=frac{1}{2}$ for all $vin V$ and the events are independent for all $v in V$. Show $Pr(S text{ is stable})geq left( frac{3}{4}right)^{m}$. A set is called stable if it has no edges between any of its vertices.



$Pr(S text{ is stable}) =1-Pr(E_S neq emptyset)=1-Pr(exists v_1,v_2in S:{v_1,v_2}in E)=1-Pr(text{choosing }v_1,v_2)=1-frac{1}{4}cdot N$



Where $N$ is the number of possible choices for $v_1,v_2$.



The probability of an independent set is minimized when $G$ is a complete Graph. A complete graph with $n$ vertices has $frac{n(n-1)}{2}$edges. Suppose $G$ is complete and has $m$ edges, then possible number of vertices:
$$frac{1+sqrt{1+8m}}{2},quad frac{1-sqrt{1+8m}}{2}.$$



Not sure how to continue










share|cite|improve this question











$endgroup$












  • $begingroup$
    What is a definiton of stable?
    $endgroup$
    – greedoid
    Dec 1 '18 at 18:46










  • $begingroup$
    I have added it and it is in the computation
    $endgroup$
    – orange
    Dec 1 '18 at 18:47














2












2








2


1



$begingroup$


Let $G=(V,E)$ be a graph with $|E|=m$. Let $Ssubseteq V$ such that $Pr(vin S)=frac{1}{2}$ for all $vin V$ and the events are independent for all $v in V$. Show $Pr(S text{ is stable})geq left( frac{3}{4}right)^{m}$. A set is called stable if it has no edges between any of its vertices.



$Pr(S text{ is stable}) =1-Pr(E_S neq emptyset)=1-Pr(exists v_1,v_2in S:{v_1,v_2}in E)=1-Pr(text{choosing }v_1,v_2)=1-frac{1}{4}cdot N$



Where $N$ is the number of possible choices for $v_1,v_2$.



The probability of an independent set is minimized when $G$ is a complete Graph. A complete graph with $n$ vertices has $frac{n(n-1)}{2}$edges. Suppose $G$ is complete and has $m$ edges, then possible number of vertices:
$$frac{1+sqrt{1+8m}}{2},quad frac{1-sqrt{1+8m}}{2}.$$



Not sure how to continue










share|cite|improve this question











$endgroup$




Let $G=(V,E)$ be a graph with $|E|=m$. Let $Ssubseteq V$ such that $Pr(vin S)=frac{1}{2}$ for all $vin V$ and the events are independent for all $v in V$. Show $Pr(S text{ is stable})geq left( frac{3}{4}right)^{m}$. A set is called stable if it has no edges between any of its vertices.



$Pr(S text{ is stable}) =1-Pr(E_S neq emptyset)=1-Pr(exists v_1,v_2in S:{v_1,v_2}in E)=1-Pr(text{choosing }v_1,v_2)=1-frac{1}{4}cdot N$



Where $N$ is the number of possible choices for $v_1,v_2$.



The probability of an independent set is minimized when $G$ is a complete Graph. A complete graph with $n$ vertices has $frac{n(n-1)}{2}$edges. Suppose $G$ is complete and has $m$ edges, then possible number of vertices:
$$frac{1+sqrt{1+8m}}{2},quad frac{1-sqrt{1+8m}}{2}.$$



Not sure how to continue







probability graph-theory






share|cite|improve this question















share|cite|improve this question













share|cite|improve this question




share|cite|improve this question








edited Dec 1 '18 at 18:53







orange

















asked Dec 1 '18 at 18:46









orangeorange

620215




620215












  • $begingroup$
    What is a definiton of stable?
    $endgroup$
    – greedoid
    Dec 1 '18 at 18:46










  • $begingroup$
    I have added it and it is in the computation
    $endgroup$
    – orange
    Dec 1 '18 at 18:47


















  • $begingroup$
    What is a definiton of stable?
    $endgroup$
    – greedoid
    Dec 1 '18 at 18:46










  • $begingroup$
    I have added it and it is in the computation
    $endgroup$
    – orange
    Dec 1 '18 at 18:47
















$begingroup$
What is a definiton of stable?
$endgroup$
– greedoid
Dec 1 '18 at 18:46




$begingroup$
What is a definiton of stable?
$endgroup$
– greedoid
Dec 1 '18 at 18:46












$begingroup$
I have added it and it is in the computation
$endgroup$
– orange
Dec 1 '18 at 18:47




$begingroup$
I have added it and it is in the computation
$endgroup$
– orange
Dec 1 '18 at 18:47










1 Answer
1






active

oldest

votes


















2












$begingroup$

Your goal is to prove that
$$
Prleft[bigwedge_{vw in E} {v,w}notsubseteq Sright] ge prod_{vw in E} Pr[{v,w} notsubseteq S]
$$

since $Pr[{v,w} notsubseteq S]$ is just $frac34$ so the right-hand side simplifies to $(frac34)^m$. (The $bigwedge$ in the left-hand side denotes the logical AND of all the statements ${v,w} notsubseteq S$ over $vw in E$: that is, no edge has both endpoints in $S$, making $S$ a stable set.)



One way to do so is with some variant of the FKG inequality. Each event ${v,w} notsubseteq S$ is a decreasing property of $S$: if it is true for $S$, it's true for all subsets of $S$. Decreasing events are positively correlated with each other: the probability that they hold simultaneously is at least as large as it would be if they were independent. This gives us the inequality above.



(Regarding which correlation inequality to use - of the ones mentioned in the Wikipedia article, the Harris inequality seems the most appropriate, and the example given there is very similar. If you have Alon and Spencer's Probabilistic Method as a reference, then Kleitman's Lemma (Proposition 6.3.1 in Chapter 6) is the simplest result there that gives us what we want.)






share|cite|improve this answer











$endgroup$













  • $begingroup$
    Very simple and clear. Thank you.
    $endgroup$
    – orange
    Dec 1 '18 at 19:07










  • $begingroup$
    Quick clarification, does $bigwedge_{vw in E}$ mean $bigcap_{vw in E}$ or something else in the language of lattice theory or something?
    $endgroup$
    – orange
    Dec 1 '18 at 19:24










  • $begingroup$
    I mean a logical "and" ($land$) of the statements ${v,w} notsubseteq S$ over all $vw in E$.
    $endgroup$
    – Misha Lavrov
    Dec 1 '18 at 20:38












  • $begingroup$
    Equivalently $bigcap_{vwin E}{{v,w}notsubseteq S}$
    $endgroup$
    – orange
    Dec 1 '18 at 20:40












  • $begingroup$
    You have the right idea, but personally I would not want to mix notations like that. Formally, of course, all events are sets of atoms in a probability space, and so we can use $bigcap$ when discussing the joint probability. However, if we are using the fiction that a logical statement such as "${v,w} notsubseteq S$" is an event, I would also use logical connectors to combine them. Alternatively, we could define $A_{vw}$ to be the event ${Ssubseteq V: {v,w} notsubseteq S}$ and then take $bigcap_{vw in E} A_{vw}$.
    $endgroup$
    – Misha Lavrov
    Dec 1 '18 at 22:22











Your Answer





StackExchange.ifUsing("editor", function () {
return StackExchange.using("mathjaxEditing", function () {
StackExchange.MarkdownEditor.creationCallbacks.add(function (editor, postfix) {
StackExchange.mathjaxEditing.prepareWmdForMathJax(editor, postfix, [["$", "$"], ["\\(","\\)"]]);
});
});
}, "mathjax-editing");

StackExchange.ready(function() {
var channelOptions = {
tags: "".split(" "),
id: "69"
};
initTagRenderer("".split(" "), "".split(" "), channelOptions);

StackExchange.using("externalEditor", function() {
// Have to fire editor after snippets, if snippets enabled
if (StackExchange.settings.snippets.snippetsEnabled) {
StackExchange.using("snippets", function() {
createEditor();
});
}
else {
createEditor();
}
});

function createEditor() {
StackExchange.prepareEditor({
heartbeatType: 'answer',
autoActivateHeartbeat: false,
convertImagesToLinks: true,
noModals: true,
showLowRepImageUploadWarning: true,
reputationToPostImages: 10,
bindNavPrevention: true,
postfix: "",
imageUploader: {
brandingHtml: "Powered by u003ca class="icon-imgur-white" href="https://imgur.com/"u003eu003c/au003e",
contentPolicyHtml: "User contributions licensed under u003ca href="https://creativecommons.org/licenses/by-sa/3.0/"u003ecc by-sa 3.0 with attribution requiredu003c/au003e u003ca href="https://stackoverflow.com/legal/content-policy"u003e(content policy)u003c/au003e",
allowUrls: true
},
noCode: true, onDemand: true,
discardSelector: ".discard-answer"
,immediatelyShowMarkdownHelp:true
});


}
});














draft saved

draft discarded


















StackExchange.ready(
function () {
StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f3021672%2fprobability-of-subset-of-a-graph-being-stable%23new-answer', 'question_page');
}
);

Post as a guest















Required, but never shown

























1 Answer
1






active

oldest

votes








1 Answer
1






active

oldest

votes









active

oldest

votes






active

oldest

votes









2












$begingroup$

Your goal is to prove that
$$
Prleft[bigwedge_{vw in E} {v,w}notsubseteq Sright] ge prod_{vw in E} Pr[{v,w} notsubseteq S]
$$

since $Pr[{v,w} notsubseteq S]$ is just $frac34$ so the right-hand side simplifies to $(frac34)^m$. (The $bigwedge$ in the left-hand side denotes the logical AND of all the statements ${v,w} notsubseteq S$ over $vw in E$: that is, no edge has both endpoints in $S$, making $S$ a stable set.)



One way to do so is with some variant of the FKG inequality. Each event ${v,w} notsubseteq S$ is a decreasing property of $S$: if it is true for $S$, it's true for all subsets of $S$. Decreasing events are positively correlated with each other: the probability that they hold simultaneously is at least as large as it would be if they were independent. This gives us the inequality above.



(Regarding which correlation inequality to use - of the ones mentioned in the Wikipedia article, the Harris inequality seems the most appropriate, and the example given there is very similar. If you have Alon and Spencer's Probabilistic Method as a reference, then Kleitman's Lemma (Proposition 6.3.1 in Chapter 6) is the simplest result there that gives us what we want.)






share|cite|improve this answer











$endgroup$













  • $begingroup$
    Very simple and clear. Thank you.
    $endgroup$
    – orange
    Dec 1 '18 at 19:07










  • $begingroup$
    Quick clarification, does $bigwedge_{vw in E}$ mean $bigcap_{vw in E}$ or something else in the language of lattice theory or something?
    $endgroup$
    – orange
    Dec 1 '18 at 19:24










  • $begingroup$
    I mean a logical "and" ($land$) of the statements ${v,w} notsubseteq S$ over all $vw in E$.
    $endgroup$
    – Misha Lavrov
    Dec 1 '18 at 20:38












  • $begingroup$
    Equivalently $bigcap_{vwin E}{{v,w}notsubseteq S}$
    $endgroup$
    – orange
    Dec 1 '18 at 20:40












  • $begingroup$
    You have the right idea, but personally I would not want to mix notations like that. Formally, of course, all events are sets of atoms in a probability space, and so we can use $bigcap$ when discussing the joint probability. However, if we are using the fiction that a logical statement such as "${v,w} notsubseteq S$" is an event, I would also use logical connectors to combine them. Alternatively, we could define $A_{vw}$ to be the event ${Ssubseteq V: {v,w} notsubseteq S}$ and then take $bigcap_{vw in E} A_{vw}$.
    $endgroup$
    – Misha Lavrov
    Dec 1 '18 at 22:22
















2












$begingroup$

Your goal is to prove that
$$
Prleft[bigwedge_{vw in E} {v,w}notsubseteq Sright] ge prod_{vw in E} Pr[{v,w} notsubseteq S]
$$

since $Pr[{v,w} notsubseteq S]$ is just $frac34$ so the right-hand side simplifies to $(frac34)^m$. (The $bigwedge$ in the left-hand side denotes the logical AND of all the statements ${v,w} notsubseteq S$ over $vw in E$: that is, no edge has both endpoints in $S$, making $S$ a stable set.)



One way to do so is with some variant of the FKG inequality. Each event ${v,w} notsubseteq S$ is a decreasing property of $S$: if it is true for $S$, it's true for all subsets of $S$. Decreasing events are positively correlated with each other: the probability that they hold simultaneously is at least as large as it would be if they were independent. This gives us the inequality above.



(Regarding which correlation inequality to use - of the ones mentioned in the Wikipedia article, the Harris inequality seems the most appropriate, and the example given there is very similar. If you have Alon and Spencer's Probabilistic Method as a reference, then Kleitman's Lemma (Proposition 6.3.1 in Chapter 6) is the simplest result there that gives us what we want.)






share|cite|improve this answer











$endgroup$













  • $begingroup$
    Very simple and clear. Thank you.
    $endgroup$
    – orange
    Dec 1 '18 at 19:07










  • $begingroup$
    Quick clarification, does $bigwedge_{vw in E}$ mean $bigcap_{vw in E}$ or something else in the language of lattice theory or something?
    $endgroup$
    – orange
    Dec 1 '18 at 19:24










  • $begingroup$
    I mean a logical "and" ($land$) of the statements ${v,w} notsubseteq S$ over all $vw in E$.
    $endgroup$
    – Misha Lavrov
    Dec 1 '18 at 20:38












  • $begingroup$
    Equivalently $bigcap_{vwin E}{{v,w}notsubseteq S}$
    $endgroup$
    – orange
    Dec 1 '18 at 20:40












  • $begingroup$
    You have the right idea, but personally I would not want to mix notations like that. Formally, of course, all events are sets of atoms in a probability space, and so we can use $bigcap$ when discussing the joint probability. However, if we are using the fiction that a logical statement such as "${v,w} notsubseteq S$" is an event, I would also use logical connectors to combine them. Alternatively, we could define $A_{vw}$ to be the event ${Ssubseteq V: {v,w} notsubseteq S}$ and then take $bigcap_{vw in E} A_{vw}$.
    $endgroup$
    – Misha Lavrov
    Dec 1 '18 at 22:22














2












2








2





$begingroup$

Your goal is to prove that
$$
Prleft[bigwedge_{vw in E} {v,w}notsubseteq Sright] ge prod_{vw in E} Pr[{v,w} notsubseteq S]
$$

since $Pr[{v,w} notsubseteq S]$ is just $frac34$ so the right-hand side simplifies to $(frac34)^m$. (The $bigwedge$ in the left-hand side denotes the logical AND of all the statements ${v,w} notsubseteq S$ over $vw in E$: that is, no edge has both endpoints in $S$, making $S$ a stable set.)



One way to do so is with some variant of the FKG inequality. Each event ${v,w} notsubseteq S$ is a decreasing property of $S$: if it is true for $S$, it's true for all subsets of $S$. Decreasing events are positively correlated with each other: the probability that they hold simultaneously is at least as large as it would be if they were independent. This gives us the inequality above.



(Regarding which correlation inequality to use - of the ones mentioned in the Wikipedia article, the Harris inequality seems the most appropriate, and the example given there is very similar. If you have Alon and Spencer's Probabilistic Method as a reference, then Kleitman's Lemma (Proposition 6.3.1 in Chapter 6) is the simplest result there that gives us what we want.)






share|cite|improve this answer











$endgroup$



Your goal is to prove that
$$
Prleft[bigwedge_{vw in E} {v,w}notsubseteq Sright] ge prod_{vw in E} Pr[{v,w} notsubseteq S]
$$

since $Pr[{v,w} notsubseteq S]$ is just $frac34$ so the right-hand side simplifies to $(frac34)^m$. (The $bigwedge$ in the left-hand side denotes the logical AND of all the statements ${v,w} notsubseteq S$ over $vw in E$: that is, no edge has both endpoints in $S$, making $S$ a stable set.)



One way to do so is with some variant of the FKG inequality. Each event ${v,w} notsubseteq S$ is a decreasing property of $S$: if it is true for $S$, it's true for all subsets of $S$. Decreasing events are positively correlated with each other: the probability that they hold simultaneously is at least as large as it would be if they were independent. This gives us the inequality above.



(Regarding which correlation inequality to use - of the ones mentioned in the Wikipedia article, the Harris inequality seems the most appropriate, and the example given there is very similar. If you have Alon and Spencer's Probabilistic Method as a reference, then Kleitman's Lemma (Proposition 6.3.1 in Chapter 6) is the simplest result there that gives us what we want.)







share|cite|improve this answer














share|cite|improve this answer



share|cite|improve this answer








edited Dec 1 '18 at 20:40

























answered Dec 1 '18 at 19:01









Misha LavrovMisha Lavrov

44.7k556107




44.7k556107












  • $begingroup$
    Very simple and clear. Thank you.
    $endgroup$
    – orange
    Dec 1 '18 at 19:07










  • $begingroup$
    Quick clarification, does $bigwedge_{vw in E}$ mean $bigcap_{vw in E}$ or something else in the language of lattice theory or something?
    $endgroup$
    – orange
    Dec 1 '18 at 19:24










  • $begingroup$
    I mean a logical "and" ($land$) of the statements ${v,w} notsubseteq S$ over all $vw in E$.
    $endgroup$
    – Misha Lavrov
    Dec 1 '18 at 20:38












  • $begingroup$
    Equivalently $bigcap_{vwin E}{{v,w}notsubseteq S}$
    $endgroup$
    – orange
    Dec 1 '18 at 20:40












  • $begingroup$
    You have the right idea, but personally I would not want to mix notations like that. Formally, of course, all events are sets of atoms in a probability space, and so we can use $bigcap$ when discussing the joint probability. However, if we are using the fiction that a logical statement such as "${v,w} notsubseteq S$" is an event, I would also use logical connectors to combine them. Alternatively, we could define $A_{vw}$ to be the event ${Ssubseteq V: {v,w} notsubseteq S}$ and then take $bigcap_{vw in E} A_{vw}$.
    $endgroup$
    – Misha Lavrov
    Dec 1 '18 at 22:22


















  • $begingroup$
    Very simple and clear. Thank you.
    $endgroup$
    – orange
    Dec 1 '18 at 19:07










  • $begingroup$
    Quick clarification, does $bigwedge_{vw in E}$ mean $bigcap_{vw in E}$ or something else in the language of lattice theory or something?
    $endgroup$
    – orange
    Dec 1 '18 at 19:24










  • $begingroup$
    I mean a logical "and" ($land$) of the statements ${v,w} notsubseteq S$ over all $vw in E$.
    $endgroup$
    – Misha Lavrov
    Dec 1 '18 at 20:38












  • $begingroup$
    Equivalently $bigcap_{vwin E}{{v,w}notsubseteq S}$
    $endgroup$
    – orange
    Dec 1 '18 at 20:40












  • $begingroup$
    You have the right idea, but personally I would not want to mix notations like that. Formally, of course, all events are sets of atoms in a probability space, and so we can use $bigcap$ when discussing the joint probability. However, if we are using the fiction that a logical statement such as "${v,w} notsubseteq S$" is an event, I would also use logical connectors to combine them. Alternatively, we could define $A_{vw}$ to be the event ${Ssubseteq V: {v,w} notsubseteq S}$ and then take $bigcap_{vw in E} A_{vw}$.
    $endgroup$
    – Misha Lavrov
    Dec 1 '18 at 22:22
















$begingroup$
Very simple and clear. Thank you.
$endgroup$
– orange
Dec 1 '18 at 19:07




$begingroup$
Very simple and clear. Thank you.
$endgroup$
– orange
Dec 1 '18 at 19:07












$begingroup$
Quick clarification, does $bigwedge_{vw in E}$ mean $bigcap_{vw in E}$ or something else in the language of lattice theory or something?
$endgroup$
– orange
Dec 1 '18 at 19:24




$begingroup$
Quick clarification, does $bigwedge_{vw in E}$ mean $bigcap_{vw in E}$ or something else in the language of lattice theory or something?
$endgroup$
– orange
Dec 1 '18 at 19:24












$begingroup$
I mean a logical "and" ($land$) of the statements ${v,w} notsubseteq S$ over all $vw in E$.
$endgroup$
– Misha Lavrov
Dec 1 '18 at 20:38






$begingroup$
I mean a logical "and" ($land$) of the statements ${v,w} notsubseteq S$ over all $vw in E$.
$endgroup$
– Misha Lavrov
Dec 1 '18 at 20:38














$begingroup$
Equivalently $bigcap_{vwin E}{{v,w}notsubseteq S}$
$endgroup$
– orange
Dec 1 '18 at 20:40






$begingroup$
Equivalently $bigcap_{vwin E}{{v,w}notsubseteq S}$
$endgroup$
– orange
Dec 1 '18 at 20:40














$begingroup$
You have the right idea, but personally I would not want to mix notations like that. Formally, of course, all events are sets of atoms in a probability space, and so we can use $bigcap$ when discussing the joint probability. However, if we are using the fiction that a logical statement such as "${v,w} notsubseteq S$" is an event, I would also use logical connectors to combine them. Alternatively, we could define $A_{vw}$ to be the event ${Ssubseteq V: {v,w} notsubseteq S}$ and then take $bigcap_{vw in E} A_{vw}$.
$endgroup$
– Misha Lavrov
Dec 1 '18 at 22:22




$begingroup$
You have the right idea, but personally I would not want to mix notations like that. Formally, of course, all events are sets of atoms in a probability space, and so we can use $bigcap$ when discussing the joint probability. However, if we are using the fiction that a logical statement such as "${v,w} notsubseteq S$" is an event, I would also use logical connectors to combine them. Alternatively, we could define $A_{vw}$ to be the event ${Ssubseteq V: {v,w} notsubseteq S}$ and then take $bigcap_{vw in E} A_{vw}$.
$endgroup$
– Misha Lavrov
Dec 1 '18 at 22:22


















draft saved

draft discarded




















































Thanks for contributing an answer to Mathematics Stack Exchange!


  • Please be sure to answer the question. Provide details and share your research!

But avoid



  • Asking for help, clarification, or responding to other answers.

  • Making statements based on opinion; back them up with references or personal experience.


Use MathJax to format equations. MathJax reference.


To learn more, see our tips on writing great answers.




draft saved


draft discarded














StackExchange.ready(
function () {
StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f3021672%2fprobability-of-subset-of-a-graph-being-stable%23new-answer', 'question_page');
}
);

Post as a guest















Required, but never shown





















































Required, but never shown














Required, but never shown












Required, but never shown







Required, but never shown

































Required, but never shown














Required, but never shown












Required, but never shown







Required, but never shown







Popular posts from this blog

Quarter-circle Tiles

build a pushdown automaton that recognizes the reverse language of a given pushdown automaton?

Mont Emei