A Simple Decision Market Model

[Abstract] Economic modeling of decision markets has mainly considered the market scoring rule setup. Literature has made reference to the alternative, joint elicitation type decision market, but no in depth analysis of it appears to have been published. This paper develops a simple decision market model of the joint elicitation type, that provides a specific decision market nomenclature on which to base future analysis. A generally accepted prediction market model is modified, by introducing two additional concepts: “proper information market” and “relevant information”. Our work then provides original contributions to the theoretical discourse on information markets, including finding the sufficient and necessary condition for convergence to the best possible prediction. It is shown in our new prediction market model that “all agents express relevant information” is a sufficient and necessary condition for convergence to the direct communication equilibrium in a proper information (prediction) market. Our new prediction market model is used to formulate a simple decision market model of the joint elicitation market type. It is shown that our decision market will select the best decision if a specific selection and payout rule is defined. Importantly, our decision market model does not need to delay payment of any contracts to the observation of the desired outcome. Therefore, when dealing with long-term outcome projects, our decision market does not need to be a long running market. Future work will test for the statistical significance of relevant information (identified as important in our idealized decision market model) in laboratory and real world settings.

A generally accepted prediction market model is modified, by introducing two additional concepts: "proper information market" and "relevant information". Our work then provides original contributions to the theoretical discourse on information markets, including finding the sufficient and necessary condition for convergence to the best possible prediction. It is shown in our new prediction market model that "all agents express relevant information" is a sufficient and necessary condition for convergence to the direct communication equilibrium in a proper information (prediction) market.
Our new prediction market model is used to formulate a simple decision market model of the joint elicitation market type. It is shown that our decision market will select the best decision if a specific selection and payout rule is defined. Importantly, our decision market model does not need to delay payment of any contracts to the observation of the desired outcome. Therefore, when dealing with long-term outcome projects, our decision market does not need to be a long running market.
Future work will test for the statistical significance of relevant information (identified as important in our idealized decision market model) in laboratory and real world settings.
[Key Words]: Information market, Decision market, Prediction market, Joint elicitation, Long-term projects.

Introduction
This paper reviews and extends the theoretical models of decision markets 2 . A generally accepted prediction market model is modified and a sufficient and necessary condition for it to provide a best possible prediction of future events is derived. This new prediction market model is used to build a simple decision market model that will always select the best possible decision for anyone using it as a decision support tool.
Our work provides three original contributions to the theoretical discourse on information markets: (1) formulating a prediction market model with a sufficient and necessary condition for a well-functioning prediction market, (2) creating a simple decision market model with a deterministic decision selection rule (as opposed to a mixed strategy decision selection rule required in a prominent decision market type discussed below) and (3) showing that our decision market does not need to operate for as long as the projects it analyses (and hence short term decision markets can assist in decision-making of long term projects).
Our results assume idealized rational, risk-neutral and myopic traders populate information market models. This is not only done because it is the typical approach taken throughout literature when modeling such settings, but also because of the significant advantage gained. Just as the law of gravity assumes no air resistance, our information markets assume no strategic or risk-averse traders exist. These idealized assumptions expedite the revelation of key insights for both gravity and information markets otherwise lost in intractable problems. That said, it is useful to test these insights within settings that are consistent with real world dynamics. This will be done in future work.
Our main theoretical contribution to the prediction market literature, made easy by our choice of mathematical nomenclature, is placed in Appendix 1. The body of this paper then provides a narrative account of the 'big ideas' behind our mathematical formalism. This is done in an attempt to maximize the accessibility of our work to the broader readership; it also offers transparency and completeness by including the details of our work in the appendix. Section 2 reviews the related literature concerning theoretical information markets with an emphasis on decision markets. Section 3 reviews a generally accepted prediction market model that is modified to formulate the key results of this paper. Section 4 introduces the concept of "proper market price" underpinning the definition of "proper information market". The notion of "relevant information" is also introduced. Theorems 1 and 2 find that "all agents express relevant information" is a sufficient and necessary condition for convergence to the best possible prediction in a proper information (prediction) market. Our new prediction market model is extended in theorem 3 to a context with multiple stocks. With the multiple stocks context in hand our simple decision market model is developed via theorems 4 to 7. Section 5 discusses our findings and section 6 concludes with suggested future research.

Related Work
Information markets continue to be of interest to researchers, with the number of articles published per year steadily increasing since 1990 (Tziralis and Tatsiopoulos, 2012). Whilst there exists much experimental and real world evidence of the effectiveness of information markets, there was envisaged a need to provide a comprehensive theoretical foundation to reveal why they worked so effectively (Chen et al., 2006).
The following review of related work considers the early theoretical work on information markets. This leads naturally to the dominant Boolean models of prediction markets and the important issue of designing price formation mechanisms that are consistent with incumbent agent behavior. The current theoretical formulations of decision markets are surveyed and an impetus for our work, rigorously exploring joint elicitation decision markets, is revealed.

Early theoretical work on information markets
The seminal work of Aumann (1976) on knowledge and information arguably provides a pioneering formalism for information markets. Aumann defined an event as common knowledge if two agents are present at that event and they see each other present at that event (Aumann, 1976). This definition, made more rigorous by an associated set theoretic formalism, led to the analysis of multiple agents with private information trading in a marketplace. McKelvey and Page discovered that when a stochastically regular aggregate statistic is common knowledge, an equilibrium is reached after finite rounds of announcements and the posterior probabilities of all agents become identical (McKelvey and Page, 1986). These information and equilibrium ideas form the theoretical foundations of prediction (information) markets and decision (information) markets that reach the 'best prediction' equilibrium and 'best decision' equilibrium.

Boolean finite state space models of prediction markets
Theoretical prediction markets have been modeled as computational processes that aggregate and process distributed bits of information and hence the natural appeal to their representation as Boolean finite state space machines (Gao and Chen, 2010) In Boolean finite state space prediction market models, with no aggregate uncertainty of information, the equilibrium price will be the correct forecast if the function denoting the prediction of interest can be represented as a weighted threshold function (Feigenbaum et al., 2003). If however, aggregate uncertainty is allowed into the model, then the market does not in general converge to the correct forecast; rather it can only ever approach what has been termed the best possible prediction (Chen et al., 2004).
A novel approach taken to further understand the complex nature of market information is the application of information theory concepts e.g. Shannon's entropy in the form of Talagrand's inequality applied to markets (Ronen and Wahrmann, 2005). Whilst applicable, and potentially the nucleus of market information, the entropy of an information market is arguably difficult to interpret.
In contrast, the complexities associated with framing market information in terms of information signals and entropy may be wholly sidestepped should simplifying nice conditions hold. For example, an important simplifying sufficient condition that has been proven for a prediction market model with aggregate uncertainty is if there is an independent and identical distribution (IID) of agent information, then the information market will converge to its best possible prediction (called the direct communication equilibrium and simply denoted DCE) (Chen et al., 2004). Importantly, the IID assumption simplifies the model setting so that other interesting features of prediction markets may be investigated.

Price formation mechanisms of prediction markets
A key feature of information market models is the price formation mechanism. Basically, research has considered two alternative setups. The first is simply assuming a double-sided auction exists at which buyers and sellers meet to bid and trade (as is the case in the stock market). The potential problem with this set-up is the risk of illiquidity in the market i.e. when no trade takes place for any one of the stocks. This situation potentially causes divergence from the ideal market price incorporating all market information. But, more alarmingly, there exists a logical certainty that no trade can ever take place if we only allow rational players into a zero sum market game (Milgrom and Stokey, 1982). In contrast, the other price formation approach is to introduce a market maker that guarantees trading takes place and thus mitigates the illiquidity and mispricing risk; albeit at a financial loss to the market maker (Hanson, 2003).

Double-sided auction mechanism
Although it is utilized in the real world, in the theoretical world the double-sided auction does not incentivize rational agents to reveal private information and so a liquidity problem arises in theoretical prediction markets as a direct result of Milgrom's no trade theorem . To overcome this significant theoretical problem extra conditions were imposed upon theoretical information market models, ranging from noisy traders to forced trading. The underlying idea was either to create the potential for a rational trader to gain and therefore incentivize their participation, or simply create the law that traders must always bid. By participating in the market, noisy traders (who play a comparatively suboptimal strategy) create an opportunity for a rational player to gain by participating in the market. In one sense, the automatic market makers play a suboptimal strategy thereby incentivizing rational players to enter the market game and gain from the automatic market maker losses. Alternatively, forced trading such as that espoused in the prediction market of Chen (2004) directly removes the no-trade possibility. For example, a forced trading rule such as "each round traders must place an order quantity between 0 and 100 and pay 2 cents for it" guarantees trader participation, and is incentive compatible with the rational, risk neutral and myopic traders.
Game theory provides a useful means to analyze price formation in various double-sided auction settings (Shapley and Shubik, 1977). For example, in the Vickrey second price auction, in contrast to English and Dutch-style auctions, the dominant strategy is for agents to bid truthfully. As such we have a model that captures the complexities of strategic bidding as well as incentivizing players to bid truthfully. However, Vickrey double-sided auctions assume risk neutral strategic agents. For risk averse agents, truth telling is no longer a dominant strategy in a Vickrey auction and information uncertainty exacerbates this even further whereby a market price forms that is not based on true trader information (Sandholm, 1996).

Automatic Market Maker: Market scoring rule mechanism
Market scoring rules were originally designed to combine the benefits of scoring rules with the advantages of market efficient aggregation of information (Hanson, 2002). The benefits of a market maker with an appropriate market-scoring rule have become prominently advocated in existing literature. For example, Hanson's logarithmic market scoring rule (LMSR) market maker reduces the risk of thin illiquid markets to a bounded financial loss to the market maker when assuming rational, risk-neutral myopic agents trade within the marketplace (Hanson, 2012). The financial loss under these assumptions can be certainly bounded through the parameters of the LMSR given that the entropy of information distribution is directly related to the worst case loss (Hanson, 2003).

Strategic bidding in models
Information market models usually assume rational, risk-neutral and myopic incentive compatible traders and not strategic traders. Strategic behaviors such as reticence and bluffing have been explored with particular emphasis on aligning truthful betting with rational behavior, but this still anticipates a detailed development of non-myopic models (Chen et al., 2007). Of significant interest is the creation of incentives that encourage truthful betting amongst non-myopic agents . The need for a non-myopic agent model has been avoided altogether in some theoretical models that argue only myopic agent behavior remains in a market where the number of traders is large; since in such a market there will be negligible impact of strategic behavior on price and the cost of complicated strategic reasoning outweighs these negligible benefits (Chen et al., 2006).

Decision markets
Decision markets, also called conditional prediction markets, have been defined as an instrument to aggregate market information to reveal the best decision (Berg and Rietz, 2003). A real world embodiment of a decision market, which was considered the only realworld example of a large conditional prediction market, was "The 1996 Presidential Election Iowa Electronic Market" (Berg and Rietz, 2003). Therein the conditional probability of the success of a party given a particular candidate was able to be expressed and could arguably be used for decision making as to which candidate maximized success. Othman & Sandholm (2010a) consider this "prediction market -decision market" link further and suggest that whilst current corporate prediction markets have been designed as "cameras" (that capture the prediction of the future outcome), they are in fact "engines" (where conditional predictions actually alter the decisions of the firm as it attempts to safeguard or avoid the predicted future outcome).
Theoretical models for decision markets still need to resolve a number of outstanding issues including but not limited to perverse incentives and inelegant rules (Pennock and Sami, 2007). The two theoretical decision markets that motivate our paper are now reviewed.

Scoring rule decision markets
One theoretical formulation of a decision market has simply extended the market scoring rule prediction market model by incorporating into it a decision rule . These scoring rule decision markets are arguably the current popular form of theoretical decision market models. However, in this decision market formulation, a mixed strategy decision rule is required (Chen et al., 2014). Unfortunately, an inconsistency exists whereby the decision maker implements a mixed strategy and possibly selects a suboptimal decision despite knowing it as such .

Joint elicitation decision markets
A less popularized theoretical implementation of decision markets is the "joint elicitation market" which is defined as a market which trades contracts for "actions" and contracts for "outcomes and actions" and then simply uses the respective contract prices to calculate conditional probabilities (Othman and Sandholm, 2010). However, a potential problem of the joint elicitation market arises when an agent, knowing the exact moment that the final round is to occur, makes a strategic purchase of any arbitrary action whatsoever to achieve profit (Othman and Sandholm, 2010). The joint elicitation decision market is briefly mentioned in literature but no analysis of depth similar to the market scoring rule literature appears to have been undertaken. This paper attempts to provide such an analysis. As is the market scoring rule literature, in the first instance, it assumes rational, risk-neutral and myopic traders. This simplifying assumption means that last round strategic play is no longer a problem. Chen (2004) introduces, what is referred to by this paper, a generally accepted prediction market model. In Chen's model there exists one stock in the market with multiple agents engaged in multi-round bidding on that stock 3 . Each agent observes one bit of uncertain private information about that stock and market clearing prices from previous rounds that informs their bid. All agents must bid, and bids are aggregated in a market clearing price. At some future point in time the true value of the stock is revealed and an agent will profit depending on their position in the stock. Chen (2004) takes "an axiomatic approach" and translates the above description into a rigorous formalism akin to the following: Let = {0,1} and let ∈ be a vector representing the possible state of the world where N is a positive integer. Let n traders (also called agents) observe a common prior probability distribution ( ): → [0,1]. One stock (contract) F is traded in this market. F pays money, rewarded at some future point in time, dependent on the value of a Boolean function ( ): → whose functional form is common knowledge. Specifically, F pays $1 when ( ) = 1 and $0 when ( ) = 0. Every round all agents submit a bid which is aggregated into a Shapley Shubik market clearing price = ∑ , where represents the bid of agent i (Feigenbaum et al., 2003). Agents submit rational risk-neutral myopic bids i.e. the expectation of ( ) conditional on the one bit of information possessed by the agent ( ∈ ) and the information the agent learns from the previous round market price p (and in general, the history of all market prices observed in previous rounds) 4 .

Generally accepted prediction market model
The probability distribution of the information vector of all agents ( | ): represents the n traders' information bits. Notice that in round one arbitrary agent i possesses one bit of information only (namely its own bit ) and computes a bid based on that information = [ ( )| ]. All bidders calculate and submit their bids without directly communicating to each other. A agent market clearing price = ∑ is then revealed to everyone at the end of round 1. In contrast, were all agents to directly communicate their private information to one another prior to bidding in round 1, then equilibrium would be reached at the end of the first round since all agents would bid conditioned on full information i.e. [ ( )| ]; we call this equilibrium the direct communication equilibrium (DCE). The DCE is the best possible prediction, since it incorporates all market information.
It can be shown, in this model, that if agent information is independent and identically distributed (IID), then this is a sufficient condition to ensure the information market will converge to the DCE price (Chen et al., 2004). A necessary condition was not identified.
In Chen (2004), a market attaining the DCE price does not also mean that all participating traders are fully informed 5 . In contrast, we are interested in a market that is strictly identical to one in which traders directly communicate private information to one another. Thus our paper states that the DCE is attained only when all traders are fully informed and bid to form the DCE price.

New prediction market model
This section develops a new prediction market model taking an axiomatic approach. The Chen (2004) model is modified to include two additional concepts, namely, proper information market and relevant information. These concepts are derived from two "proper market price" axioms. It is then shown that "all agents express relevant information" is a sufficient and necessary condition for convergence to the DCE in a proper information (prediction) market. Finally, a payout and selection rule is defined that links multiple prediction markets in order to construct a simple decision market model.
In this section, theorems are stated and the 'big ideas' behind them revealed to facilitate the accessibility of our work to the general reader. Mathematical proofs of theorems are provided in Appendix 1 for completeness and transparency. Where mathematical statements are used in this section (to precisely describe our theoretical model), if they have not already been explained in previous sections, an explanatory narrative accompanies them.

Proper market price axioms
4 Note in the first round of bidding, agents do not observe a previous round market price. 5 Fully informed means the private information of all other traders is known.
In Chen's model the market price for agents at the end of each round is simply calculated as the average of all bids i.e. = ∑ , where represents the bid of agent . Agents learn information from market prices. These ideas inspire the following concepts:  At the start of the market, agents possess private information only. That is, agent only knows one bit of information and as such submits a bid = [ ( )| ].
Notice that the market price is simply . This shall be referred to as the private information stage.
 The market may reach a stage whereby all agents know their private information and the private information of all other agents. When agent knows all bits of information This shall be referred to as the full information stage.
 An agent is said to learn a bit of information when the value of that information bit once uncertain becomes known with certainty.
 An agent is said to unlearn a bit of information when the value of that information bit once known with certainty becomes uncertain.

Axioms (proper market price)
1. There does not exist a market price, resulting from any group or subgroup of the market traders with which an agent bids, whereby that agent learns absolutely no information at the private information stage. 2. There does not exist a market price where an agent unlearns information at the full information stage.
Axiom 1 and the private information stage property Axiom 1 is motivated by the notion that a trader will ideally learn something from the first round market price. Axiom 1 introduces the idea that, irrespective of the participating traders, no first round market price is formed where an agent learns not a single piece of new information. As such our new model requires the private information stage property: we are always able to select any of the traders (where ≤ ) to form a market with a first round market price that causes all of the traders to learn something new.
Axiom 2 and the full information stage property Axiom 2 is motivated by the notion that when all traders know all information bit values, the market price cannot cause any trader to unlearn their full information. When all traders are fully informed they know all private information and will all bid [ ( )| ]. As such our new model requires the full information stage property: when all traders know all private information there cannot exist a market price that causes agent to become uncertain about (and unlearn) the information bit value of agent . Notice that unlearning would occur if agent sees that a market price can be attained irrespective of the bit value of . That is, the market price causes agent to now consider that either = 1 or = 0 is possible.
If a market price possesses both the "private information stage property" and the "full information stage property" it is said to be a proper market price.

Definition (Proper Information Market)
Our new prediction market model (which is simply the Chen (2004) model modified to require a proper market price) shall be called a proper information market.

Definition (Relevant Information)
The basic idea of relevant information is simply stated as follows. If an agent changes their bid when their information changes, it is said they express relevant information. If an agent does not change their bid when their information changes, it is said they do not express relevant information.
In the first round any agent will bid = [ ( )| ] or ′ = [ ( )| ′ ], when their private information is or ′ respectively 6 . If ≠ ′ it is said the agent expresses relevant information and that is relevant information. Notice that if the first round bid of agent is known, then the value of their private information bit is able to be inferred. In contrast, if = ′ then knowing the first round bid of agent does not allow their private information bit value to be inferred.
This idea may be generalized beyond the first round. For example, in rounds after round 1 an agent may know more than its one bit of private information. Say agent knows as well as (with representing other information including the agent's one bit of private information). Suppose this agent bids = [ ( )| , ] then should the information bit be changed to ′ they would instead bid ′ = [ ( )| ′ , ]. If ≠ ′ agent is said to express relevant information and is relevant information in this scenario.
For readers desiring a more formal treatment, Lemmas 1.1 and 1.2 in Appendix 1 provide a mathematically rigorous definition of relevant information.

Main information market theorems
The 'big ideas' behind the theorems underpinning our new prediction market and decision market models are now presented. For transparency and completeness, mathematical proofs are provided in 'Appendix 1' for those readers wishing to review our work in greater detail.

Theorem 1 (Relevant information as sufficient for DCE convergence)
"All agents express relevant information" is a sufficient condition for convergence to the direct communication equilibrium (DCE) in a proper information market.
The condition that "all agents express relevant information in a proper information market" is fundamental to our prediction and decision market models. Appendix 1 contains the associated mathematical proof for theorem 1; showing that when this condition holds a prediction market with one stock converges to the DCE in the second round of trade. The following provides the 'big ideas' associated with theorem 1.
Because "all agents express relevant information", upon knowing the bid of any agent their private information bit value is also known. For example, if agent has a private information bit value of '1' it bids $0.70 and if it has a private information bit value of '0' it bids $0.40. Now if a different agent was able to determine that agent bid $0.70, they would then know that the private information of agent is ' =1'. If on the other hand agent bids were $0.70 for both '1' and '0' bit values, knowing that agent bid $0.70 would not reveal agent ′ private information bit value to another agent. In effect, if agents do not express relevant information, their private information is hidden behind their bid.
Axiom 1 for the "proper information market" simply guarantees that any agent, trading with any group of other agents, will learn new information from the first round market price that results. Given a group of agents trading in a "proper information market", a new market for any ( ℎ ≤ ) of these agents may be constructed, and trading will result in a first round market price that all traders will learn from (by axiom 1).
Consider agents trading in a proper information market where they all express relevant information. It will be shown that the first round market price results from a unique arrangement of information bits across agents. Because it is unique, all agents may observe the first round market price to learn the private information of all other agents. All agents then submit a fully informed bid, which results in the DCE at the end of round 2.
By way of justifying the uniqueness, assume agent sees another arrangement of information bits across other agents that lead to the same first round market price. Let agent compare two arrangements that lead to this same first round market price. Let agent remove all other agents that had the same information in both arrangements and therefore contributed the same bid in both arrangements. Agent is now left with two new arrangements that lead to a single new market price; simply because agent has removed the same bid amounts from each of the original arrangements. It is important to notice that when agent now compares the two new arrangements, other agents do not have the same information bit in each arrangement. Therefore agent may consider the new market price but will not know with certainty the information bit of another agent. In short, it learns no information from the first round market price of this new group of traders. This contradicts with axiom 1 which requires the agent to learn something from the first round price of any group of traders, so the assumption that there is more than one arrangement that leads to the first round market price of traders must be false. That is, in a "proper information market where all agents express relevant information" all agents will observe a first round market price, identify a unique arrangement of information bits that leads to it, and full information bids will establish the DCE in the second round. Thus "all agents express relevant information" is a sufficient condition for convergence to the DCE in a proper information market.

Theorem 2 (Relevant information as necessary for DCE convergence)
"All agents express relevant information" is a necessary condition for convergence to the direct communication equilibrium (DCE) in a proper information market.
Consider a proper information market in which the DCE has been attained. This means that all agents have full information. Assume that there is at least one bit that is not relevant information. Of these bits consider private information bit of agent . Since is not relevant information, all agents submit a bid that does not depend of the value of . In turn a price is formed (which is the simple average of all bids) that does not depend on the value of . Price is information that all agents receive to update their next round bids. Now price is information that is basically stating that could probably be '1' or '0'. In short, not stating with certainty the value of in effect places a modicum of doubt on the actual value of . Therefore, all agents update their beliefs to a probable rather than a certain value of . That is, has caused the value of to no longer be considered certain. In our terms, has caused all agents to unlearn the value of . But this contradicts axiom 2, which does not allow this unlearning to occur at the full information stage. Therefore, it must the case that all agents express relevant information. Hence "all agents express relevant information" is a necessary condition for convergence to the DCE.
The next logical step towards generalization by constructing a proper information (prediction) market with multiple contracts shall now be taken.

Theorem 3 (Proper information market equilibrium with r stocks)
A proper information market with stocks converges to a market equilibrium in which each stock attains its DCE when all agents express relevant information.
For simplicity, a market with stocks may be thought of as markets with one stock; whereby a trader participates in each of the markets. That trader has 1 bit of private information per market; thus it has bits of private information in total. In our model, the k th bit of private information represents all the information required by the agent to inform their first round bid on the k th stock. All agents express relevant information about the k th stock and by theorem 1 the DCE for the k th stock is attained. In this way all stocks reach their respective DCE and the market of stocks has reached equilibrium.
Our proper information market with r stocks is now used to build a simple decision market model. In order to do so, a variation to the payout structure of the contracts is made and the implications of this explored.

Theorem 4 (Derivative attains DCE)
A derivative on a stock attains its DCE in a proper information market "where all agents express relevant information".
A derivative in a stock market is in the most general sense a stock whose payout is dependent on another underlying stock. This derivative idea is used to create conditional probabilities; which are the bedrock of decision theory and our decision market. In our simplistic model some stock is called a derivative if it pays $w when stock pays $1. In our market it may be shown that derivatives reach their DCE. Let all agents express relevant information in a proper information market. Firstly, notice that theorems 1 and 2 hold independent of currency used and that a $w payout is simply a 1 payout using some other currency denominated in . Every agent will reason that "the probability of payout of the derivative given private information about that derivative" must be equal to "the probability of payout of the underlying stock given private information about that underlying stock". In essence, derivative stock appears identical to underlying stock in the first round with the exception that it is denominated in a different currency. Since theorems 1 and 2 do not depend on currency denomination and given stock converges to the DCE denominated in $, the derivative stock is equivalent to stock converging to the DCE denominated in . Say the derivative stock converges to a DCE of . Since 1 may be exchanged for $w, the derivative's DCE is $ × .

Theorem 5 (Probability derivative)
For the DCE market price of derivative (e.g. $0.70) to directly reflect the probability of being paid (e.g. 0.70), it requires a payout equal to "the market price of divided by the market price of underlying stock ", in a proper information market where all agents express relevant information. This type of derivative is called a probability derivative because it is a derivative with a market price that directly reflects the probability of it being paid.
When underlying stock has a DCE market price of say $ = $0.60, this means that the probability of the event associated with stock is = 0.60. It is said that the market price $ directly reflects the probability of stock being paid. It is also said that the market price $ directly reflects the probability of the event associated with stock occurring. Say the payout of derivative is $ , then by theorem 4 it will reach a DCE market price of $ × . Let the probability of the event associated with stock be . For the DCE market price of to directly reflect the probability of the associated event then it is required that $ × = $ . This is rearranged to = . That is, a derivative payout equal to "the market price of divided by the market price of underlying stock " means that the DCE market price $ of results when the probability of the event associated with is .

Theorem 6 (Decision market contract payout structure)
Consider a proper information market where all agents express relevant information and in which probability derivative (with DCE market price $ ) is associated with the event "O and P occurs", and the underlying stock (with DCE market price $ ) is associated with the event "P occurs". Then the derivative payout ( ) for represents "the conditional probability of O given P".
Notice theorem 5 implies that the payout for is = . But this payout is simply "the probability that O and P occurs" divided by "the probability that P occurs"; which is "the conditional probability of O given P". For example, this may be used to express the probability of achieving some desired outcome O given project P is chosen.
With the previous example in mind, an organization may wish to choose the best project i.e. the project that when chosen maximizes the conditional probability of the desired outcome given the project. Theorem 7 provides a means to do this.

Theorem 7 (Decision market selection rule)
Consider a proper information market where all agents express relevant information and in which probability derivative (with DCE market price $ ) is associated with the event "O and occurs", and the underlying stock (with DCE market price $ ) is associated with the event " occurs"; the derivative payout for is represented by . Consider a market filled with many such pairs of derivatives and underlying stock i.e. many different values. Then the pair with the highest derivative payout (say ) means that event maximizes the probability of event O occurring. is said to be the best.
Notice that theorem 6 implies that payout ( ) for represents "the conditional probability of O given ". In a decision theory setting the best is the one where "the conditional probability of O given " is of largest value. In this market, the derivative payout represents "the conditional probability of O given ". Since is the largest derivative payout it must be the case that that maximizes the probability of event O occurring. That is, is the best.
Notice that may represent the best project that a firm may wish to invest in to maximize their desired Outcome (O) being achieved. The market in theorem 7 would select Project . This market shall be called a simple decision market.

Discussion
Our strategy has been to develop a well-defined prediction market model from which to formulate a simple decision market. After reviewing relevant literature, a generally accepted prediction market model in Chen (2004) is modified to create our new prediction market model.
Our work employs an axiomatic approach to provide the rigor and transparency of mathematical formalism. Well-defined axioms are used to develop theorems that explore the dynamics of our information markets. Importantly, the sufficient and necessary condition for convergence to the direct communication equilibrium (DCE) in our new prediction market model is identified in theorems 1 and 2. Upon identifying this condition, it is enforced in our new prediction market models in theorems 3 to 7. A payout and selection rule is defined, that links multiple contracts in our new prediction market model, to build a simple decision market model depicted in theorem 7. Our investigation of the inherently more complex decision market setup is thus simplified by this modular approach.
A key theoretical contribution of this paper is the logical introduction of axioms that ensure "agent learning" from first round market prices and prevent "agent unlearning" from last round market prices 7 . This is explored in section 4 of our work where the proper market price axioms are defined. Simply put, "axiom 1 prevents an agent from learning absolutely nothing from the first round market price (irrespective of the group or subgroup of market traders they participate with to generate that price)" and "axiom 2 prevents an agent with full information from unlearning information as a result of observing a market price". The proper market price axioms modify the prediction market model of Chen (2004) to form our new prediction market model. Importantly, our modification causes two mathematical properties to emerge that are central to our theorems. The new prediction market possessing these two properties is called "a proper information (prediction) market".
The proper information (prediction) market model setup provides the context to establish the sufficient and necessary conditions for convergence to the DCE. To this end relevant information is defined as an agent's information that, when changed, in turn changes the bid of that agent. Theorem 1 establishes that a sufficient condition for convergence to the DCE is that "all agents express relevant information" in a proper information market with one traded contract. Theorem 2 then shows that the condition "all agents express relevant information" is necessary for convergence to the DCE in a proper information market with one traded contract. Enforcing the sufficient and necessary "all agents express relevant information" condition in theorems 3 to 7 ensures that their proper information (prediction) markets are well behaved and converge to the DCE.
The construction of a prediction market model with multiple stock contracts was an important precursor to the development of a decision market; which inherently requires multiple stocks to express conditional probabilities. Theorem 3 provides a formal statement that guarantees convergence to the equilibrium in a prediction market with multiple agents who trade multiple stocks. It should be noted that agents enacting strategic behavior are not considered, thus the market equilibrium attained in theorem 3 is not strictly the rational expectations equilibrium; whereby rational expectations equilibrium has been defined as the market clearing price that does not cause strategically behaving agents to change their bid (Pennock and Sami, 2007). That is, the setup is simple and assumes rational, risk-neutral and myopic agents. There are two reasons for this. One, our idealized model can arguably still provide important insights about real world phenomenon as do other idealizations, e.g. the model of gravity without air resistance still provides a useful approximation to gravity dynamics near earth. Two, a game that is rational, risk-neutral and myopic incentive compatible rewards agents who play a dominant rational, risk-neutral and myopic strategy. In this way, the game arguably becomes a useful tool to efficiently aggregate distributed information and support decision making. Here the ultimate objective is not to model trader behavior in a real world market, rather, it is to accentuate trader behavior within a decision market game. This dichotomy is simply game theory versus inverse game theory. Whereby the former is interested in modeling player behavior given game rules, whereas the latter is interested in designing game rules to elicit specific player behavior; in our case revealing private information in a rational, risk-neutral and myopic decision market game .
Further modification of contracts in our model led to a contract payout that was conditioned on another contract's payout. These new contracts with payouts that were dependent on an underlying stock being paid were called derivatives. Theorem 4 ensures that such derivatives converge to a DCE. From this point on, our new prediction market model in which "all agents express relevant information" about multiple contracts (be they stocks or derivatives) guarantees convergence of contracts to their respective DCE.
Theorem 5 takes the key step towards a formal simple (joint elicitation type) decision market model. Whereas Theorem 4 constructs a derivative whose market price depends on the market price of the underlying stock, the market price of derivative does not necessarily directly convey the probability of the associated event occurring. It is theorem 5 that shows the necessary payout structure to ensure that the derivative market price also explicitly communicates the probability associated with the event that the derivative contract represents.
Theorem 6 builds upon theorem 5 and defines the exact setup of a market in which there are "project stocks" and "project & outcome stocks" traded. What this paper calls projects, previous literature calls actions or decisions. Hence the best project, best decision, or best action have the same meaning here. Project applications are introduced in theorems 6 and 7 with a view to applying our decision market to a real world project selection setting in future work. The information market for theorem 7 acts to identify the (best) project that maximizes the likelihood of some desired outcome occurring. This information market is called a 'simple decision market'.
Theorems 6 and 7 show that the selection of the best project is consistent with the "project stock" paying $1 if selected and the associated "project & outcome stock" paying the derivative payout (which is simply the quotient of the "project & outcome stock" market price and the "project stock" market price). The selection rule was simply that the "project and outcome stock" with the highest derivative payout should be selected.
Theorem 7 considers a market of many pairs of "project contract" and "project & outcome contract". It formally shows that there exists a market of contract pairs, payouts and a selection rule that does indeed identify the best project. Theorem 7 models a group of agents that bid the expected values of "project contract" and "project & outcome contract" across all market contracts. The same rational, risk-neutral and myopic agent behavior assumptions found in a popular theoretical market scoring rule decision market also holds in the market of theorem 7 . However, in contrast to that market scoring rule decision market, our simple decision market has a deterministic selection rule rather than a mixed strategy selection rule. That is, our decision market model has a 100% probability of selecting the best decision, whereas the market scoring rule decision market does not.
Our particular implementation of a decision market, described by Theorems 6 and 7, requires the payment of both the "outcome & project" contract and the "project" contract at the same time. This contrasts with other decision market implementations found throughout literature whereby payment of some contracts is delayed to the observation of the outcome. Specifically, in our model payment of the "outcome & project" contract does not need to be delayed to the time at which the outcome is realized. This has implications in many real world contexts. For example, large investments have been made in projects that are long running and have a desired outcome considered over a long-term, e.g., mining projects, health programs, infrastructure investments, etc. For succinctness these shall be called "long-term outcome projects". Traders would arguably hesitate to participate in a decision market associated with a long-term outcome project where some contract payouts are delayed to the observation of the long term outcome. In such a decision market, the time-value-of-money considerations would certainly become pertinent and arguably invalidate the risk neutral assumption of the decision market model. Our decision market can arguably overcome this specific problem by simply running for a short time so that time effects become negligible. In short, our decision market may be run over a week prior to project selection and cease trading up until project selection. In this form, our decision market will be used to aggregate information for the firm to inform their project selection. It is important to note that this is not to say that the project selected by the decision market is the same as the project the firm selects 8 . However, it is likely that they are the same given that the decision market is arguably the best means to aggregate information for project selection purposes. In short, our simple decision market is simply a short running game that is used at the start of a project to inform real world decisions about project selection. Our decision market model assumes rational, risk-neutral and myopic traders. In our model, Milgrom's no-trade possibility has been circumvented via forced trading. A simple forced trading rule can be easily introduced into the decision market game to ensure liquidity and revelation of private information. For example, a rule such as "each round a trader must submit an order quantity in the closed interval 0 to 100, receive this quantity at the end of the round and pay 2 cents" would guarantee trading and also ensure a trader bids the expected value of the contract conditioned on all information they have, as required in our decision market model.
What remains is extending our model to cater for contexts beyond a rational, risk-neutral and myopic setting. Our simple decision market model is populated by rational individual traders. However, it has been known for some time, that the rational trader assumption, in certain market settings, is false (Kahneman and Tversky, 1979). Our model confines itself to risk neutral traders. It has been suggested that the risk neutral agent assumption causes no loss of generality because of the mathematical equivalence between risk neutral and risk averse models (Chen et al., 2006). This suggestion arguably aligns with the equivalence seen in real options analysis (Cox et al., 1979). If true, this would make our findings more general, but to the best of our knowledge no such equivalence has as yet been rigorously proven for information markets. Our model also limits its scope to myopic traders. Hence the impact of strategic play begs analysis.
Despite the previously stated limitations of our simple decision market model, the central focus of this paper concerns whether relevant information is important for well-functioning decision markets. Our idealized decision market model and associated theorems clearly identify "relevant information" as important. As such, this theoretical finding compels further investigation of "relevant information" in laboratory and real world contexts. Specifically, is "relevant information" statistically significant in these contexts?

Conclusion
A simple decision market model of the joint elicitation type has been developed in this paper. A generally accepted prediction market model is modified to construct a simple decision market model. This modification provides original contributions to the theoretical discourse on information markets. Notably, the sufficient and necessary condition for convergence to the DCE in our new prediction market model is identified. Our new prediction market model contracts are then linked together whilst enforcing the sufficient and necessary condition for convergence in order to build a simple decision market model that is unencumbered by mixed strategy selection rules. Our work is made easy by our choice of mathematical formalism; a simple decision market nomenclature that is coherent, consistent and will continue to be utilized in our future work. Our simple decision market model inspires future work. Testing whether relevant information is statistically significant in a laboratory and real world decision markets follows logically from the model developed in this paper (which identifies relevant information as important).

Appendix 1
In this appendix the mathematical formalism on which our paper is based is provided. Importantly, detailed proofs build towards our simple decision market.

Definition (direct communication equilibrium [DCE]):
The market equilibrium reached when all agents have bids conditioned on full information (i.e. all agents bid [ ( )| ]) shall be called the direct communication equilibrium (DCE). Notice that since the market price is the average of all bids then it is [ ( )| ].
Axiom 1 and the private information stage property Axiom 1 is motivated by the notion that a trader will ideally learn something from the first round market price. Specifically, axiom 1 introduces into the model the idea that, irrespective of the participating traders, no first round market price is formed where an agent learns not a single piece of new information. That is, in our new model w any of the traders (where ≤ ) may be selected to form a first round market price that causes all of the traders to learn something new.
For example, consider these traders. They form a first round market price . Arbitrarily chosen trader always knows its own private information bit . Now, if trader learns no new piece of information from market price then it must believe that there are two ways to form this market price. Trader may consider that the market price was either formed by Notice that this equation signifies that agent only knows its private information bit and cannot infer with certainty some other agent's information bit from the first round market price. This would contravene axiom 1.
Axiom 1 requires that arbitrary agent learns something from the first round market price when trading with any group of traders. So it must be the case that the following property holds: Thus, for our purposes it is sufficient to require that the following property holds: ∎

Main information market theorems
The main theorems for our new prediction market model are now presented and ultimately show that a simple decision market may be established using it.

Theorem 1 (Relevant information as sufficient for DCE convergence):
"All agents express relevant information" is a sufficient condition for convergence to the direct communication equilibrium (DCE) in a proper information market.

Proof:
Given "all agents express relevant information" in a proper information market. At the end of the first round the market price will be revealed and is = The 'necessary' condition proof shall now be considered.

Theorem 2 (Relevant information as necessary for DCE convergence):
"All agents express relevant information" is a necessary condition for convergence to the direct communication equilibrium (DCE) in a proper information market.

Proof:
Given the market has attained the direct communication equilibrium in a proper information market, all agents know all private information in the market = ( , − ) and the market is said to be at the full information stage.

Assume that there exists at least one piece of information that is not relevant.
This assumption at the very least implies the case where a single bit of information is not relevant.
Any arbitrarily chosen agent will bid such that This contradicts the proper market price full information stage property whereby market prices at this stage must be such that = [ ( )| , − ] ≠ [ ( )| ′ , − ] in order that the information bit value of agent is certainly known to some other agent .
In short, the assumption implies a market price that causes 'unlearning' of at the full information stage in contravention to axiom 2.
Therefore it must be the case that "All agents express relevant information". ∎ The next logical step is now taken to construct a proper information (prediction) market with multiple contracts. Specifically, the convergence of this multi-stock model towards the direct communication equilibrium is of interest. Theorem 3 is a formal statement of such a model.

Definition (Proper information market with r stocks):
Suppose r stocks are traded in a proper information market. The arbitrarily chosen k th stock is traded in a proper information market and represented by ( ) . ( ) pays $1 when the function ( ) ( ) = 1 and pays $0 otherwise; where = {0,1} and ∈ is our usual representation of the state of the world with commonly know probability distribution ( ). Assume that arbitrarily chosen agent , in the first round bid, expresses its 1 bit of relevant information ( ) pertaining to the value of ( ) ( ). Uncertainty of agents' information is commonly known in probability distribution ( ( ) | ) where ( ) ∈ and is the number of agents trading in the market. The collection of all r stocks traded in this way shall be called a proper information market with r stocks.

Theorem 3 (Proper information market equilibrium with r stocks):
A proper information market with stocks converges to a market equilibrium in which each stock attains its DCE when all agents express relevant information.

Proof:
Given a proper information market with r stocks denote ( ) as private information of arbitrarily chosen agent for the arbitrarily chosen k th stock. "All agents express relevant information" is a necessary and sufficient condition for convergence to the DCE of a stock by previous theorems 1 and 2. Therefore, the price of contract ( ) converges to DCE [ ( ) ( )| ( ) ]. Since k is arbitrary, all r stocks converge to their respective direct communication equilibrium and hence the entire market reaches equilibrium.

Simple Decision Market Model
Our proper information market with r stocks is used to build a simple decision market model. In order to do so, a variation to the payout structure of the contracts is considered.

Definition (t-contract):
A stock contract F (k) that pays $t when f (k) (s) = 1 and pays $0 when f (k) (s) = 0 we shall call a t-contract. Proof: Consider a t-contract F (k) . Then it pays $t when f (k) (s) = 1 and pays $0 when f (k) (s) = 0. The currency ($) could easily be exchanged for some other currency ( ) where $t = 1. Hence, consider F (k) as paying 1 when f (k) (s) = 1 and paying 0 when f (k) (s) = 0. This is the usual 1-contract that has been considered in the previous theorems. Given "all agents express relevant information", it converges to the DCE [ ( ) ( )|x ( ) ] by previous theorems. Since $t = 1, the t contract converges to the DCE $ [ ( ) ( )|x ( )  Since "all agents express relevant information" and by lemma 6.1, F (k) converges to the DCE E [f (J) (s)|x ( ) ] × w. ∎ Definition (Probability Derivative): If F (k) is a derivative of F (J) in a proper information market where all agents express relevant information and the DCE of F (k) , denoted by ( ( ) ), equals the probability Pr[f (k) (s) = 1|x ( ) ], it is said that F (k) is a probability derivative.
Definition (Probability of payment ( ( ) )): The probability as at round t, that F (k) pays $1 at some future point in time, is represented by ϕ t (F (k) ) . Notice that if F (k) is either a 1contract or a probability derivative that ϕ t (F (k) ) = price(F (k) ) at the DCE; that is the probability of the contract paying $1 is directly reflected in the price of the contract.
Theorem 5 (Probability derivative w-contract requirement): If F (k) is a derivative of F (J) , with the former being a w-contract and the latter a 1-contract, then w = ϕ t (F (k) ) ϕ t (F (J) ) ensures F (k) is a probability derivative in a proper information market where all agents express relevant information.
Proof: Consider the w-contract F (k) . In the first round ( = 1) Agent i observes This is the usual 1-contract considered previously. Because all agents express relevant information, the DCE is attained in the second round. Therefore, ( ( ) ) equals the probability [f (k) (s) = 1|x (k) ] as required. .

Definition (Decision market contract pairs):
It is said "F (k) on F (J) is the decision market pair for O and P", if F (k) represents the event "O and P occurs", F (J) represents the event "P occurs", and F (k) is a probability derivative of the 1-contract F (J) Theorem 6 (Decision market contract payout structure): Assume a proper information market where all agents express relevant information, and all market prices have attained their respective DCE. If F (k) on F (J) is the decision market pair for O and P, then the quotient of the market price of F (k) and the market price F (J) is equal to "the probability of O conditional on P and full information (denoted simply as [ | ]) 9 ", and F (k) is a w-contract, where w = price(F (k) ) price(F (J) ) = Pr [O|P]. contracts where all agents express relevant information. Specifically, let y index the contract, namely y = 1, to …, M and for each y let there be contracts F (ky) and F (Jy) . Let F (ky) on F (Jy) be the decision market pair for O and P y, where F (ky) is a w y -contract. Also let there exist a selection rule that ensures only contracts F (Ky*) and F (Jy*) are paid if they satisfy the condition y * = argmax y (w y ), then this market setup is guaranteed to select the best 10 P y . This shall be called a decision market for P given O. 11

Proof
Proof: by theorem 6, = Pr[ |P ] By substitution of this into the given selection rule * = (Pr[ |P ]) The best decision theoretic P y satisfies this equation (Othman and Sandholm, 2010). Therefore, the best P y is selected. ∎