Witten conjecture: Difference between revisions

From formulasearchengine
Jump to navigation Jump to search
en>Dthomsen8
m clean up, typos fixed: , → , using AWB
en>Trappist the monk
m References: replace mr template with mr parameter in CS1 templates; using AWB
 
Line 1: Line 1:
'''Mertens stability''' is a [[solution concept]] used to predict the outcome of a non-cooperative game. A tentative definition of stability was proposed by Elon Kohlberg and [[Jean-François Mertens]]<ref>{{cite journal|authors=Kohlberg, Elon, and Jean-François Mertens|year=1986|title=On the Strategic Stability of Equilibria|journal=Econometrica|volume=54|issue=5|pages=1003–1037|jstor=1912320|url=http://www.dklevine.com/archive/refs4445.pdf}}</ref> for games with finite numbers of players and strategies. Later, Mertens<ref>Mertens, Jean-François, 1989, and 1991. "Stable Equilibria - A Reformulation," Mathematics of Operations Research, 14: 575-625 and 16: 694-753. [http://www.jstor.org/pss/3689732]</ref> proposed a stronger definition that was elaborated further by Srihari Govindan and Mertens.<ref>Govindan, Srihari, and Jean-François Mertens, 2004. "An Equivalent Definition of Stable Equilibria," International Journal of Game Theory, 32(3): 339-357. [http://www.springerlink.com/content/tjue9agca1l7qy87/] [http://hdl.handle.net/10.1007/s001820400165]</ref> This solution concept is now called [[Mertens stability]], or just stability.


Like other refinements of [[Nash equilibrium]]<ref>Govindan, Srihari & Robert Wilson, 2008. "Refinements of Nash Equilibrium," The New Palgrave Dictionary of Economics, 2nd edition. [http://myweb.uiowa.edu/sgovinda/Working-Papers/Refinements%20of%20Nash%20equilibrium-Palgrave-Govindan%20and%20Wils%E2%80%A6.pdf]</ref>
used in [[game theory]] stability selects subsets of the set of Nash equilibria that have desirable properties. Stability invokes stronger criteria than other refinements, and thereby ensures that more desirable properties are satisfied.


==Desirable Properties of a Refinement==
Say No To Pizza<br><br>Right now you will be in a position to look for some take out like a diabetic patient, first thing is to take into account that you ought to be over a high quality diet, plus ensure that you consume foods in some moderateness as well as don't consume a lot of fat also watch the volume of salt inside products you're buying.<br><br>When we discuss about it energy density, we refer to the amount of calories which a food item contains with regards to its very weight. We have to are aware that those foods that have high energy density will surely confuse our brain as well as control system for the appetite. One of these junk food this article will discuss is our most loved one-pizza.<br><br>There are also considerations that you need to comprehend when eating foods. You need to try to find foods which might be reduced fat and you have to stop foods which can be deep-fried. Limit your usage of soda and don't choose heavy dressing or sauces inside your plate. A detrimental side-effect has additionally been found when eating plenty of junk food. With high calories and fats the consequences will be bloating, energy crashes, and elevated pulse rate. If you continuously eat take out it is going to cause most serious illnesses like heart diseases, obesity, and diabetes.<br><br>STEP 2: Go to their site to get going. It's important that you visit the company website, and not another site that lists calorie content of foods. These other sites get most of their "information" from uninformed dieters who enter the things they believe being the best numbers, but often they are incorrect.<br><br>One afternoon I went to a bank. I was disappointed to identify a "Closed" sign up the entranceway. Yet I reached over to push the entranceway, to confirm it's locked. Just then I heard a shout from a distance away - "Tree closed, tree closed". I turned around and saw a male in uniform. "What closed?" I told myself. "Have I missed any information and facts?" The man emerged and pointed to some to stay the threshold. Again he said "tree closed". I suddenly realized the content. There, the sign showed "Open hour: 9:00 am-3:00pm".<br><br>If you have any questions relating to where and exactly how to use Frenchfrycutter.Org, you could call us at the web-page.
 
Refinements have often been motivated by arguments for admissibility, backward induction, and forward induction. In a two-player game, an [[admissible decision rule]] for a player is one that does not use any strategy that is weakly dominated by another (see [[Strategic dominance]]). [[Backward induction]] posits that a player's optimal action in any event anticipates that his and others' subsequent actions are optimal. The refinement called [[subgame perfect equilibrium]] implements a weak version of backward induction, and increasingly stronger versions are [[sequential equilibrium]], [[perfect equilibrium]], [[quasi-perfect equilibrium]], and [[proper equilibrium]]. [[Forward induction]] posits that a player's optimal action in any event presumes the optimality of others' past actions whenever that is consistent with his observations. Forward induction<ref>Govindan, Srihari, and Robert Wilson, 2009. "On Forward Induction," Econometrica, 77(1): 1-28. [http://onlinelibrary.wiley.com/doi/10.3982/ECTA6956/abstract] [http://onlinelibrary.wiley.com/doi/10.3982/ECTA6956/pdf]</ref> is satisfied by a sequential equilibrium for which a player's belief at an information set assigns probability only to others' optimal strategies that enable that information to be reached.
 
Kohlberg and Mertens emphasized further that a solution concept should satisfy the ''invariance'' principle that it not depend on which among the many equivalent representations of the strategic situation as an [[extensive-form game]] is used. Thus it should depend only on the reduced [[normal-form game]] obtained after elimination of pure strategies that are redundant because their payoffs for all players can be replicated by a mixture of other pure strategies. Mertens<ref>Mertens, Jean-François, 2003. "Ordinality in Non Cooperative Games," International Journal of Game Theory, 32: 387–430. [http://www.springerlink.com/content/qnggpw13qw8c4v9m/]</ref><ref>Mertens, Jean-François, 1992. "The Small Worlds Axiom for Stable Equilibria," Games and Economic Behavior, 4: 553-564. [http://www.sciencedirect.com/science/article/pii/089982569290036R]</ref> emphasized also the importance of the ''small worlds'' principle that a solution concept should depend only on the ordinal properties of players' preferences, and should not depend on whether the game includes extraneous players whose actions have no effect on the original players' feasible strategies and payoffs.
 
Kohlberg and Mertens demonstrated via examples that not all of these properties can be obtained from a solution concept that selects single Nash equilibria. Therefore, they proposed that a solution concept should select closed connected subsets of the set of Nash equilibria.<ref>The requirement that the set is connected excludes the trivial refinement that selects all equilibria. If only a single (possibly unconnected) subset is selected then only the trivial refinement satisfies the conditions invoked by H. Norde, J. Potters, H. Reijnierse, and D. Vermeulen (1996): ``Equilibrium Selection and Consistency,'' Games and Economic Behavior, 12: 219-225.</ref>
 
==Properties of Stable Sets==
 
* Admissibility and Perfection: Each equilibrium in a stable set is perfect, and therefore admissible.
 
* Backward Induction and Forward Induction: A stable set includes a proper equilibrium of the normal form of the game that induces a quasi-perfect and therefore a sequential equilibrium in every extensive-form game with perfect recall that has the same normal form. A subset of a stable set survives iterative elimination of weakly dominated strategies and strategies that are inferior replies at every equilibrium in the set.
 
* Invariance and Small Worlds: The stable sets of a game are the projections of the stable sets of any larger game in which it is embedded while preserving the original players' feasible strategies and payoffs.<ref>See Appendix D of Govindan, Srihari, and Robert Wilson, 2012. "Axiomatic Theory of Equilibrium Selection for Generic Two-Player Games," Econometrica, 70. [https://gsbapps.stanford.edu/researchpapers/library/RP2021R.pdf]</ref>
 
* Decomposition and Player Splitting.  The stable sets of the product of two independent games are the products of their stable sets. Stable sets are not affected by splitting a player into agents such that no path through the game tree includes actions of two agents.
 
For two-player games with perfect recall and generic payoffs, stability is equivalent to just three of these properties: a stable set uses only undominated strategies, includes a quasi-perfect equilibrium, and is immune to embedding in a larger game.<ref>Govindan, Srihari, and Robert Wilson, 2012. "Axiomatic Theory of Equilibrium Selection for Generic Two-Player Games," Econometrica, 70. [https://gsbapps.stanford.edu/researchpapers/library/RP2021R.pdf]</ref>
 
==Definition of a Stable Set==
 
A stable set is defined mathematically by essentiality of the projection map from a closed connected neighborhood in the graph of the Nash equilibria over the space of perturbed games obtained by perturbing players' strategies toward completely mixed strategies. This definition requires more than every nearby game having a nearby equilibrium. Essentiality requires further that no deformation of the projection maps to the boundary, which ensures that perturbations of the fixed point problem defining Nash equilibria have nearby solutions. This is apparently necessary to obtain all the desirable properties listed above.
 
Mertens provided several formal definitions depending on the coefficient module used for homology or cohomology.
 
A formal definition requires some notation. For a given game <math>G</math> let <math>\Sigma</math> be product of the simplices of the players' of mixed strategies. For each <math>0 < \delta \le 1</math>, let <math>P_\delta = \{\,\epsilon\tau \mid 0 \le \epsilon \le \delta,\tau \in \Sigma\,\}</math> and let <math>\partial P_\delta</math> be its topological boundary. For <math>\eta \in P_{1}</math> let <math>\bar{\eta}</math> be the minimum probability of any pure strategy. For any <math>\eta \in P_1</math> define the perturbed game <math>G(\eta)</math> as the game where the strategy set of each player <math>n</math> is the same as in <math>G</math>, but where the payoff from a strategy profile <math>\tau</math> is the payoff in <math>G</math> from the profile <math>\sigma = (1-\bar{\eta})\tau + \eta</math>. Say that <math>\sigma</math> is a perturbed equilibrium of <math>G(\eta)</math> if <math>\tau</math> is an equilibrium of <math>G(\eta)</math>. Let <math>\mathcal{E}</math> be the graph of the perturbed equilibrium correspondence over <math>P_1</math>, viz., the graph <math>\mathcal{E}</math> is the set of those pairs <math>(\eta,\sigma) \in P_1 \times \Sigma</math> such that <math>\sigma</math> is a perturbed equilibrium of <math>G(\eta)</math>. For <math>(\eta,\sigma) \in \mathcal{E}</math>, <math>\tau(\eta,\sigma) \equiv (\sigma - \eta)/(1-\bar{\eta})</math> is the corresponding equilibrium of <math>G(\eta)</math>. Denote by <math>p</math> the natural projection map from <math>\mathcal{E}</math> to <math>P_1</math>. For <math>E \subseteq \mathcal{E}</math>, let <math>E_0 = \{\, (0, \sigma) \in E \, \}</math>, and for <math>0 < \delta \le 1</math> let <math>(E_\delta,\partial E_\delta) = p^{-1}(P_\delta,\partial P_\delta) \cap E</math>. Finally, <math>\check{H}</math> refers to Čech cohomology with integer coefficients.
 
The following is a version of the most inclusive of Mertens' definitions, called *-stability.
 
'''''Definition of a *-stable set''''': <math>S \subseteq \Sigma</math> is a *-stable set if for some closed subset <math>E</math> of <math>\mathcal{E}</math> with <math>E_0 = \{\, 0 \,\} \times S</math> it has the following two properties:
 
* '''Connectedness''': For every neighborhood <math>V</math> of <math>E_0</math> in <math>E</math>, the set <math>V \setminus \partial E_1</math> has a connected component whose closure is a neighborhood of <math>E_0</math> in <math>E</math>.
 
* '''Cohomological Essentiality''': <math>p^*: \check{H}^*(P_\delta,\partial P_\delta) \to \check{H}^*(E_\delta, \partial E_\delta)</math> is nonzero for some <math>\delta > 0</math>.
 
If essentiality in cohomomology or homology is relaxed to homotopy then a weaker definition is obtained, which differs chiefly in a weaker form of the decomposition property.<ref>Srihari Govindan and Robert Wilson, 2008. "Metastable Equilibria," Mathematics of Operations Research, 33: 787-820.</ref>
 
== References ==
{{reflist|30em}}
{{refend}}
{{game theory}}
 
[[Category:Game theory]]

Latest revision as of 00:32, 26 September 2014


Say No To Pizza

Right now you will be in a position to look for some take out like a diabetic patient, first thing is to take into account that you ought to be over a high quality diet, plus ensure that you consume foods in some moderateness as well as don't consume a lot of fat also watch the volume of salt inside products you're buying.

When we discuss about it energy density, we refer to the amount of calories which a food item contains with regards to its very weight. We have to are aware that those foods that have high energy density will surely confuse our brain as well as control system for the appetite. One of these junk food this article will discuss is our most loved one-pizza.

There are also considerations that you need to comprehend when eating foods. You need to try to find foods which might be reduced fat and you have to stop foods which can be deep-fried. Limit your usage of soda and don't choose heavy dressing or sauces inside your plate. A detrimental side-effect has additionally been found when eating plenty of junk food. With high calories and fats the consequences will be bloating, energy crashes, and elevated pulse rate. If you continuously eat take out it is going to cause most serious illnesses like heart diseases, obesity, and diabetes.

STEP 2: Go to their site to get going. It's important that you visit the company website, and not another site that lists calorie content of foods. These other sites get most of their "information" from uninformed dieters who enter the things they believe being the best numbers, but often they are incorrect.

One afternoon I went to a bank. I was disappointed to identify a "Closed" sign up the entranceway. Yet I reached over to push the entranceway, to confirm it's locked. Just then I heard a shout from a distance away - "Tree closed, tree closed". I turned around and saw a male in uniform. "What closed?" I told myself. "Have I missed any information and facts?" The man emerged and pointed to some to stay the threshold. Again he said "tree closed". I suddenly realized the content. There, the sign showed "Open hour: 9:00 am-3:00pm".

If you have any questions relating to where and exactly how to use Frenchfrycutter.Org, you could call us at the web-page.