-
On the interpretation of quantum theory as games between observers and nature played in Minkowski spacetime
Authors:
Ghislain Fourny
Abstract:
In 2019, we introduced games in Minkowski spacetime as a generalization of game theory to special relativity that subsumes games in normal form (spacelike separation) and games in extensive form (timelike separation). Many concepts of the game theory literature, including Nash equilibria and flattened strategic forms, naturally extend to spacetime games. We also emphasized the importance of these…
▽ More
In 2019, we introduced games in Minkowski spacetime as a generalization of game theory to special relativity that subsumes games in normal form (spacelike separation) and games in extensive form (timelike separation). Many concepts of the game theory literature, including Nash equilibria and flattened strategic forms, naturally extend to spacetime games. We also emphasized the importance of these games to model quantum experiments, such as Bell experiments and more generally any adaptive measurements, from a decision theory perspective. Subsequent work, named causal contextuality scenarios, suggested formalizing a special case of such games in terms of strategy presheaves. If a natural cover is taken, we show that spacetime games recover causal contextuality scenarios as a special case. Spacetime games provide a visual and intuitive framework that captures the distinction between joint experiments and either-or experiments, so that they are rich enough in their causal structure to imply a natural cover for the corresponding causal contextuality scenario. Based on this observation, we suggest defining the strategy presheaf directly based on the pure strategies (and restrictions thereof) in the reduced strategic form of the spacetime game, and we show that the sheaf property obtains for the games at hand. The argument is simple and similar to event sheaves for the flat case. Finally, we explain how, in the other direction, the failure of the sheaf property on strategy distribution presheaves is consistent with our previous argument that Nash game theory is incompatible with quantum physics. This shows that the insights of spacetime games and causal contextuality scenarios, taken together, can contribute positively to the advancement of the field of quantum foundations.
△ Less
Submitted 29 August, 2024; v1 submitted 30 May, 2024;
originally announced May 2024.
-
Space-time-hap: a coordinate system for the multiverse and its application to show that free choice is observer-dependent
Authors:
Ghislain Fourny
Abstract:
This note proposes a paradigm and coordinate system that extends flat, four-dimensional Minkowski spacetime to a broader framework that identifies an event not only in space and in time, but also in terms of possible world, with a third category of coordinates called ``hap'' modelling contingency and counterfactuals. Semantically, hap is based on a Bohmian-like configuration space, in which initia…
▽ More
This note proposes a paradigm and coordinate system that extends flat, four-dimensional Minkowski spacetime to a broader framework that identifies an event not only in space and in time, but also in terms of possible world, with a third category of coordinates called ``hap'' modelling contingency and counterfactuals. Semantically, hap is based on a Bohmian-like configuration space, in which initial conditions at a specific moment in time uniquely identify a trajectory. This framework can be used to support reasonings that rigorously distinguish between causal dependencies (through time), statistical dependencies (through space) and counterfactual dependencies (through hap). As an example, we use this framework to show that the assumption of free choice is not absolute, but rather depends on the chosen frame of reference: while Alice may see a choice made freely, which is formally a unilateral, single-coordinate translation in hap, Bob sitting in another reference frame might see this same choice not made freely and observe instead a translation in hap jointly across multiple coordinates, which indicates a counterfactual dependency. The framework is agnostic regarding which flavour of the De-Broglie-Bohm theory is considered, as it only makes general assumptions on the set of trajectories that are commonly accepted in the Bohmian mechanics community. It is also general enough to support reasoning on theories for which the separation between possible worlds might also depend on the frame of reference, i.e., two observers might disagree on whether two spacetimehap events happen in the same world or not.
△ Less
Submitted 11 January, 2023;
originally announced January 2023.
-
RumbleML: program the lakehouse with JSONiq
Authors:
Ghislain Fourny,
David Dao,
Can Berker Cikis,
Ce Zhang,
Gustavo Alonso
Abstract:
Lakehouse systems have reached in the past few years unprecedented size and heterogeneity and have been embraced by many industry players. However, they are often difficult to use as they lack the declarative language and optimization possibilities of relational engines. This paper introduces RumbleML, a high-level, declarative library integrated into the RumbleDB engine and with the JSONiq langua…
▽ More
Lakehouse systems have reached in the past few years unprecedented size and heterogeneity and have been embraced by many industry players. However, they are often difficult to use as they lack the declarative language and optimization possibilities of relational engines. This paper introduces RumbleML, a high-level, declarative library integrated into the RumbleDB engine and with the JSONiq language. RumbleML allows using a single platform for data cleaning, data preparation, training, and inference, as well as management of models and results. It does it using a purely declarative language (JSONiq) for all these tasks and without any performance loss over existing platforms (e.g. Spark). The key insights of the design of RumbleML are that training sets, evaluation sets, and test sets can be represented as homogeneous sequences of flat objects; that models can be seamlessly embodied in function items mapping input test sets into prediction-augmented result sets; and that estimators can be seamlessly embodied in function items mapping input training sets to models. We argue that this makes JSONiq a viable and seamless programming language for data lakehouses across all their features, whether database-related or machine-learning-related. While lakehouses bring Machine Learning and Data Wrangling on the same platform, RumbleML also brings them to the same language, JSONiq. In the paper, we present the first prototype and compare its performance to Spark showing the benefit of a huge functionality and productivity gain for cleaning up, normalizing, validating data, feeding it into Machine Learning pipelines, and analyzing the output, all within the same system and language and at scale.
△ Less
Submitted 23 December, 2021;
originally announced December 2021.
-
Nashian game theory is incompatible with quantum physics
Authors:
Michal Baczyk,
Ghislain Fourny
Abstract:
We suggest to look at quantum measurement outcomes not through the lens of probability theory, but instead through decision theory. We introduce an original game-theoretical framework, model and algorithmic procedure where measurement scenarios are multiplayer games with a structure all observers agree on. Measurement axes and, newly, measurement outcomes are modeled as decisions with nature being…
▽ More
We suggest to look at quantum measurement outcomes not through the lens of probability theory, but instead through decision theory. We introduce an original game-theoretical framework, model and algorithmic procedure where measurement scenarios are multiplayer games with a structure all observers agree on. Measurement axes and, newly, measurement outcomes are modeled as decisions with nature being an action-minimizing economic agent. We translate physical notions of causality, correlation, counterfactuals, and contextuality to particular aspects of game theory. We investigate the causal consistency of dynamic games with imperfect information from the quantum perspective and conclude that counterfactual dependencies should be distinguished from causation and correlation as a separate phenomenon of its own. Most significantly, we observe that game theory based on Nash equilibria stands in contradiction with a violation of Bell inequalities. Hence, we propose that quantum physics should be analyzed with non-Nashian game theory, the inner workings of which we demonstrate using our proposed model.
△ Less
Submitted 29 September, 2023; v1 submitted 7 December, 2021;
originally announced December 2021.
-
The Future of Quantum Theory: A Way Out of the Impasse
Authors:
Ghislain Fourny
Abstract:
In this letter, we point to three widely accepted challenges that the quantum theory, quantum information, and quantum foundations communities are currently facing: indeterminism, the semantics of conditional probabilities, and the spooky action at a distance. We argue that these issues are fundamentally rooted in conflations commonly made between causal dependencies, counterfactual dependencies,…
▽ More
In this letter, we point to three widely accepted challenges that the quantum theory, quantum information, and quantum foundations communities are currently facing: indeterminism, the semantics of conditional probabilities, and the spooky action at a distance. We argue that these issues are fundamentally rooted in conflations commonly made between causal dependencies, counterfactual dependencies, and statistical dependencies. We argue that a simple, albeit somewhat uncomfortable shift of viewpoint leads to a way out of the impossibility to extend the theory beyond indeterminism, and towards the possibility that sound extensions of quantum theory, possibly even deterministic yet not super-deterministic, will emerge in the future. The paradigm shift, which we present here, involves a non-trivial relaxation of the commonly accepted mathematical definition of free choice, leading to non-Nashian free choice, more care with the choice of probabilistic notations, and more rigorous use of vocabulary related to causality, counterfactuals, and correlations, which are three concepts of a fundamentally different nature.
△ Less
Submitted 2 September, 2021;
originally announced September 2021.
-
Evaluating Query Languages and Systems for High-Energy Physics Data [Extended Version]
Authors:
Dan Graur,
Ingo Müller,
Mason Proffitt,
Ghislain Fourny,
Gordon T. Watts,
Gustavo Alonso
Abstract:
In the domain of high-energy physics (HEP), query languages in general and SQL in particular have found limited acceptance. This is surprising since HEP data analysis matches the SQL model well: the data is fully structured and queried using mostly standard operators. To gain insights on why this is the case, we perform a comprehensive analysis of six diverse, general-purpose data processing platf…
▽ More
In the domain of high-energy physics (HEP), query languages in general and SQL in particular have found limited acceptance. This is surprising since HEP data analysis matches the SQL model well: the data is fully structured and queried using mostly standard operators. To gain insights on why this is the case, we perform a comprehensive analysis of six diverse, general-purpose data processing platforms using an HEP benchmark. The result of the evaluation is an interesting and rather complex picture of existing solutions: Their query languages vary greatly in how natural and concise HEP query patterns can be expressed. Furthermore, most of them are also between one and two orders of magnitude slower than the domain-specific system used by particle physicists today. These observations suggest that, while database systems and their query languages are in principle viable tools for HEP, significant work remains to make them relevant to HEP researchers.
△ Less
Submitted 30 October, 2021; v1 submitted 26 April, 2021;
originally announced April 2021.
-
Games in Minkowski Spacetime
Authors:
Ghislain Fourny
Abstract:
This paper contributes a new class of games called spacetime games with perfect information. In spacetime games, the agents make decisions at various positions in Minkowski spacetime. Spacetime games can be seen as the least common denominator of strategic games on the one hand, and dynamic games with perfect information on the other hand. Indeed, strategic games correspond to a configuration with…
▽ More
This paper contributes a new class of games called spacetime games with perfect information. In spacetime games, the agents make decisions at various positions in Minkowski spacetime. Spacetime games can be seen as the least common denominator of strategic games on the one hand, and dynamic games with perfect information on the other hand. Indeed, strategic games correspond to a configuration with only spacelike-separated decisions ("different rooms"). Dynamic games with perfect information, on the other hand, correspond to timelike-separated decisions ("in turn"). We show how to compute the strategic form and reduced strategic form of spacetime games. As a consequence, many existing solution concepts, such as Nash equilibria, rationalizability, individual rationality, etc, apply naturally to spacetime games. We introduce a canonical injection of the class of spacetime games with perfect information into the class of games in extensive form with imperfect information; we provide a counterexample showing that this is a strict superset. This provides a novel interpretation of a large number of games in extensive form with imperfect information in terms of the theory of special relativity, where non-singleton information sets arise from the finite speed of light. This framework can be a useful tool for reasoning in quantum foundations, where it is important whether decisions such as the choice of a measurement axis or the outcome of a measurement are spacelike- or timelike- separated. We look in particular at the special case of the Einstein-Podolsky-Rosen experiment with four decision points, and model a corresponding spacetime game structure.
△ Less
Submitted 23 April, 2020;
originally announced April 2020.
-
Rumble: Data Independence for Large Messy Data Sets
Authors:
Ingo Müller,
Ghislain Fourny,
Stefan Irimescu,
Can Berker Cikis,
Gustavo Alonso
Abstract:
This paper introduces Rumble, a query execution engine for large, heterogeneous, and nested collections of JSON objects built on top of Apache Spark. While data sets of this type are more and more wide-spread, most existing tools are built around a tabular data model, creating an impedance mismatch for both the engine and the query interface. In contrast, Rumble uses JSONiq, a standardized languag…
▽ More
This paper introduces Rumble, a query execution engine for large, heterogeneous, and nested collections of JSON objects built on top of Apache Spark. While data sets of this type are more and more wide-spread, most existing tools are built around a tabular data model, creating an impedance mismatch for both the engine and the query interface. In contrast, Rumble uses JSONiq, a standardized language specifically designed for querying JSON documents. The key challenge in the design and implementation of Rumble is mapping the recursive structure of JSON documents and JSONiq queries onto Spark's execution primitives based on tabular data frames. Our solution is to translate a JSONiq expression into a tree of iterators that dynamically switch between local and distributed execution modes depending on the nesting level. By overcoming the impedance mismatch in the engine, Rumble frees the user from solving the same problem for every single query, thus increasing their productivity considerably. As we show in extensive experiments, Rumble is able to scale to large and complex data sets in the terabyte range with a similar or better performance than other engines. The results also illustrate that Codd's concept of data independence makes as much sense for heterogeneous, nested data sets as it does on highly structured tables.
△ Less
Submitted 19 October, 2020; v1 submitted 25 October, 2019;
originally announced October 2019.
-
Contingent Free Choice: On Extending Quantum Theory to a Contextual, Deterministic Theory With Improved Predictive Power
Authors:
Ghislain Fourny
Abstract:
The non-extensibility of quantum theory into a theory with improved predictive power is based on a strong assumption of independent free choice, in which the physicists pick a measurement axis independently of anything that couldn't have been caused by their decision.
Independent free choice is also at the core of the Nash equilibrium and classical game theory. A more recent line of game-theoret…
▽ More
The non-extensibility of quantum theory into a theory with improved predictive power is based on a strong assumption of independent free choice, in which the physicists pick a measurement axis independently of anything that couldn't have been caused by their decision.
Independent free choice is also at the core of the Nash equilibrium and classical game theory. A more recent line of game-theoretical research based on weakening free choice leads to non-trivial solution concepts with desirable properties such as at-most uniqueness, Pareto optimality, and contextuality.
We show how introducing contingent free choice in the foundations of quantum theory yields a class of deterministic and contextual theories with an improved predictive power, and contrast them with the pilot-wave theory.
Specifically, we suggest that quantum experiments, such as the EPR experiment, involving measurements located in spacetime, can be recast as dynamic games with imperfect information involving human agents and the universe. The underlying idea is that a physicist picking a measurement axis and the universe picking a measurement outcome are two faces of the same physical contingency phenomenon.
The classical, Nashian resolution of these games based on independent free choice is analogous to local hidden variable theories, constrained by the Bell inequalities. On the other hand, in a setup in which agents are rational and omniscient in all possible worlds, under contingent free choice, the Perfectly Transparent Equilibrium provides a contextual resolution, based on the iterated elimination of inconsistent worlds, towards an at-most unique possible world, in which the outcomes of measurements that actually are carried out, and only them, are deterministically defined.
△ Less
Submitted 11 September, 2019; v1 submitted 3 July, 2019;
originally announced July 2019.
-
Perfect Prediction in Minkowski Spacetime: Perfectly Transparent Equilibrium for Dynamic Games with Imperfect Information
Authors:
Ghislain Fourny
Abstract:
The assumptions of necessary rationality and necessary knowledge of strategies, also known as perfect prediction, lead to at most one surviving outcome, immune to the knowledge that the players have of them. Solutions concepts implementing this approach have been defined on both dynamic games with perfect information and no ties, the Perfect Prediction Equilibrium, and strategic games with no ties…
▽ More
The assumptions of necessary rationality and necessary knowledge of strategies, also known as perfect prediction, lead to at most one surviving outcome, immune to the knowledge that the players have of them. Solutions concepts implementing this approach have been defined on both dynamic games with perfect information and no ties, the Perfect Prediction Equilibrium, and strategic games with no ties, the Perfectly Transparent Equilibrium.
In this paper, we generalize the Perfectly Transparent Equilibrium to games in extensive form with imperfect information and no ties. Both the Perfect Prediction Equilibrium and the Perfectly Transparent Equilibrium for strategic games become special cases of this generalized equilibrium concept. The generalized equilibrium, if there are no ties in the payoffs, is at most unique, and is Pareto-optimal.
We also contribute a special-relativistic interpretation of a subclass of the games in extensive form with imperfect information as a directed acyclic graph of decisions made by any number of agents, each decision being located at a specific position in Minkowski spacetime, and the information sets and game structure being derived from the causal structure. Strategic games correspond to a setup with only spacelike-separated decisions, and dynamic games to one with only timelike-separated decisions.
The generalized Perfectly Transparent Equilibrium thus characterizes the outcome and payoffs reached in a general setup where decisions can be located in any generic positions in Minkowski spacetime, under necessary rationality and necessary knowledge of strategies. We also argue that this provides a directly usable mathematical framework for the design of extension theories of quantum physics with a weakened free choice assumption.
△ Less
Submitted 22 May, 2019; v1 submitted 10 May, 2019;
originally announced May 2019.
-
Kripke Semantics of the Perfectly Transparent Equilibrium
Authors:
Ghislain Fourny
Abstract:
The Perfectly Transparent Equilibrium is algorithmically defined, for any game in normal form with perfect information and no ties, as the iterated deletion of non-individually-rational strategy profiles until at most one remains. In this paper, we characterize the Perfectly Transparent Equilibrium with adapted Kripke models having necessary rationality, necessary knowledge of strategies as well a…
▽ More
The Perfectly Transparent Equilibrium is algorithmically defined, for any game in normal form with perfect information and no ties, as the iterated deletion of non-individually-rational strategy profiles until at most one remains. In this paper, we characterize the Perfectly Transparent Equilibrium with adapted Kripke models having necessary rationality, necessary knowledge of strategies as well as eventual logical omniscience.
Eventual logical omniscience is introduced as a weaker version of perfect logical omniscience, with logical omniscience being quantized and fading away counterfactually. It is the price to pay for necessary factual omniscience and necessary rationality: we conjecture that epistemic omniscience, logical omniscience and necessary rationality form an impossibility triangle.
We consider multimodal classes of Kripke structures, with respect to agents, but also in the sense that we have both epistemic and logical accessibility relations. Knowledge is defined in terms of the former, while necessity is defined in terms of the latter. Lewisian closest-state functions, which are not restricted to unilateral deviations, model counterfactuals.
We use impossible possible worlds à la Rantala to model that some strategy profiles cannot possibly be reached in some situations. Eventual logical omniscience is then bootstrapped with the agents' considering that, at logically possible, but non-normal worlds à la Kripke, any world is logically accessible and thus any deviation of strategy is possible. As in known in literature, under rationality and knowledge of strategies, these worlds characterize individual rationality. Then, in normal worlds, higher levels of logical omniscience characterize higher levels of individual rationality, and a high-enough level of logical omniscience characterizes, when it exists, the Perfectly Transparent Equilibrium.
△ Less
Submitted 20 July, 2018;
originally announced July 2018.
-
Perfect Prediction in Normal Form: Superrational Thinking Extended to Non-Symmetric Games
Authors:
Ghislain Fourny
Abstract:
This paper introduces a new solution concept for non-cooperative games in normal form with no ties and pure strategies: the Perfectly Transparent Equilibrium. The players are rational in all possible worlds and know each other's strategies in all possible worlds, which together we refer to as Perfect Prediction. The anticipation of a player's decision by their opponents is counterfactually depende…
▽ More
This paper introduces a new solution concept for non-cooperative games in normal form with no ties and pure strategies: the Perfectly Transparent Equilibrium. The players are rational in all possible worlds and know each other's strategies in all possible worlds, which together we refer to as Perfect Prediction. The anticipation of a player's decision by their opponents is counterfactually dependent on the decision, unlike in Nash Equilibra where the decisions are made independently. The equilibrium, when it exists, is unique and is Pareto optimal.
This equilibrium is the normal-form counterpart of the Perfect Prediction Equilibrium; the prediction happens "in another room" rather than in the past. The equilibrium can also be seen as a natural extension of Hofstadter's superrationality to non-symmetric games.
Algorithmically, an iterated elimination of non-individually-rational strategy profiles is performed until at most one remains. An equilibrium is a strategy profile that is immune against knowledge of strategies in all possible worlds and rationality in all possible worlds, a stronger concept than common knowledge of rationality but also than common counterfactual belief of rationality.
We formalize and contrast the Non-Nashian Decision Theory paradigm, common to this and several other papers, with Causal Decision Theory and Evidential Decision Theory. We define the Perfectly Transparent Equilibrium algorithmically and, when it exists, prove its uniqueness, its Pareto-optimality, and that it coincides with the Hofstadter's Superrationality on symmetric games.
We also relate to concepts found in literature such as Individual Rationality, Minimax-Rationalizability, the Correlated Equilibrium.
Finally, we specifically discuss inclusion relationships on the special case of symmetric games and contrast them with asymmetric games.
△ Less
Submitted 18 March, 2020; v1 submitted 15 December, 2017;
originally announced December 2017.
-
Common Counterfactual Belief of Rationality Subsumes Superrationality On Symmetric Games
Authors:
Ghislain Fourny
Abstract:
This paper shows that, for symmetric games in normal form, strategy profiles that satisfy Hofstadter's Superrationality criterion also satisfy both of Halpern's and Pass's criteria under Common Counterfactual Belief of Rationality: minimax-rationalizability and individual rationality.
This paper shows that, for symmetric games in normal form, strategy profiles that satisfy Hofstadter's Superrationality criterion also satisfy both of Halpern's and Pass's criteria under Common Counterfactual Belief of Rationality: minimax-rationalizability and individual rationality.
△ Less
Submitted 18 March, 2020; v1 submitted 6 July, 2017;
originally announced July 2017.
-
On the Importance of Correlations in Rational Choice: A Case for Non-Nashian Game Theory
Authors:
Ghislain Fourny
Abstract:
The Nash equilibrium paradigm, and Rational Choice Theory in general, rely on agents acting independently from each other. This note shows how this assumption is crucial in the definition of Rational Choice Theory. It explains how a consistent Alternate Rational Choice Theory, as suggested by Jean-Pierre Dupuy, can be built on the exact opposite assumption, and how it provides a viable account for…
▽ More
The Nash equilibrium paradigm, and Rational Choice Theory in general, rely on agents acting independently from each other. This note shows how this assumption is crucial in the definition of Rational Choice Theory. It explains how a consistent Alternate Rational Choice Theory, as suggested by Jean-Pierre Dupuy, can be built on the exact opposite assumption, and how it provides a viable account for alternate, actually observed behavior of rational agents that is based on correlations between their decisions.
The end goal of this note is three-fold: (i) to motivate that the Perfect Prediction Equilibrium, implementing Dupuy's notion of projected time and previously called "projected equilibrium", is a reasonable approach in certain real situations and a meaningful complement to the Nash paradigm, (ii) to summarize common misconceptions about this equilibrium, and (iii) to give a concise motivation for future research on non-Nashian game theory.
△ Less
Submitted 8 March, 2017;
originally announced March 2017.
-
decimalInfinite: All Decimals In Bits, No Loss, Same Order, Simple
Authors:
Ghislain Fourny
Abstract:
This paper introduces a binary encoding that supports arbitrarily large, small and precise decimals. It completely preserves information and order. It does not rely on any arbitrary use-case-based choice of calibration and is readily implementable and usable, as is. Finally, it is also simple to explain and understand.
This paper introduces a binary encoding that supports arbitrarily large, small and precise decimals. It completely preserves information and order. It does not rely on any arbitrary use-case-based choice of calibration and is readily implementable and usable, as is. Finally, it is also simple to explain and understand.
△ Less
Submitted 17 June, 2015; v1 submitted 4 June, 2015;
originally announced June 2015.
-
Cell Stores
Authors:
Ghislain Fourny
Abstract:
Cell stores provide a relational-like, tabular level of abstraction to business users while leveraging recent database technologies, such as key-value stores and document stores. This allows to scale up and out the efficient storage and retrieval of highly dimensional data. Cells are the primary citizens and exist in different forms, which can be explained with an analogy to the state of matter: a…
▽ More
Cell stores provide a relational-like, tabular level of abstraction to business users while leveraging recent database technologies, such as key-value stores and document stores. This allows to scale up and out the efficient storage and retrieval of highly dimensional data. Cells are the primary citizens and exist in different forms, which can be explained with an analogy to the state of matter: as a gas for efficient storage, as a solid for efficient retrieval, and as a liquid for efficient interaction with the business users. Cell stores were abstracted from, and are compatible with the XBRL standard for importing and exporting data. The first cell store repository contains roughly 200GB of SEC filings data, and proves that retrieving data cubes can be performed in real time (the threshold acceptable by a human user being at most a few seconds).
△ Less
Submitted 7 October, 2014; v1 submitted 2 October, 2014;
originally announced October 2014.
-
Perfect Prediction Equilibrium
Authors:
Ghislain Fourny,
Stéphane Reiche,
Jean-Pierre Dupuy
Abstract:
In the framework of finite games in extensive form with perfect information and strict preferences, this paper introduces a new equilibrium concept: the Perfect Prediction Equilibrium (PPE).
In the Nash paradigm, rational players consider that the opponent's strategy is fixed while maximizing their payoff. The PPE, on the other hand, models the behavior of agents with an alternate form of ration…
▽ More
In the framework of finite games in extensive form with perfect information and strict preferences, this paper introduces a new equilibrium concept: the Perfect Prediction Equilibrium (PPE).
In the Nash paradigm, rational players consider that the opponent's strategy is fixed while maximizing their payoff. The PPE, on the other hand, models the behavior of agents with an alternate form of rationality that involves a Stackelberg competition with the past.
Agents with this form of rationality integrate in their reasoning that they have such accurate logical and predictive skills, that the world is fully transparent: all players share the same knowledge and know as much as an omniscient external observer. In particular, there is common knowledge of the solution of the game including the reached outcome and the thought process leading to it. The PPE is stable given each player's knowledge of its actual outcome and uses no assumptions at unreached nodes.
This paper gives the general definition and construction of the PPE as a fixpoint problem, proves its existence, uniqueness and Pareto optimality, and presents two algorithms to compute it. Finally, the PPE is put in perspective with existing literature (Newcomb's Problem, Superrationality, Nash Equilibrium, Subgame Perfect Equilibrium, Backward Induction Paradox, Forward Induction).
△ Less
Submitted 29 January, 2021; v1 submitted 22 September, 2014;
originally announced September 2014.