In the Snake Eyes market, will official resolution deliver clear consensus?
Basic
9
Ṁ357
resolved Nov 2
Resolved
YES

I'll resolve this market after the "official resolution" is delivered, if there is no official resolution, the market will resolve N/A. "Clear consensus" is determined by my best judgement, I will not trade in this market.

Get
Ṁ1,000
and
S1.00
Sort by:
predicted YES

Could you link to the market? I don’t remember what this was about

predicted YES

https://manifold.markets/dreev/is-the-probability-of-dying-in-the

Is the probability of dying in the Snake Eyes Paradox 1/36?
Resolved YES. You're offered a gamble where a pair of six-sided dice are rolled and unless they come up snake eyes you get a bajillion dollars. If they do come up snake eyes, you're devoured by snakes. So far it sounds like you have a 1/36 chance of dying, right? Now the twist. First, I gather up an unlimited number of people willing to play the game. I take 1 person from that pool and let them play. Then I take 2 people and have them play together, where they share a dice roll and either get the bajillion dollars each or both get devoured. Then I do the same with 4 people, and then 8, 16, and so on. At some point one of those groups will be devoured by snakes and then I stop. [Alt. phrasing: We keep going until one of those groups is devoured by snakes, then the game stops.] Is the probability that you'll die, given that you're chosen to play, still 1/36? Argument for NO aka the frequency argument Due to the doubling, the final group of people that die is slightly bigger than all the surviving groups put together. So if you're chosen to play you have about a 50% chance of dying! 😬 🐍 Argument for YES aka the one-fair-roll argument The dice rolls are independent and whenever you're chosen, whatever happened in earlier rounds is irrelevant. Your chances of death are the chances of snake eyes on your round: 1/36. 😅 Clarifications and FAQ The game is not adversarial; the dice rolls are independent and fair. Choosing each group also happens uniformly randomly and without replacement. [Retracted: An attempt to define a truncated game to take a limit of.] [Retracted: Blah blah conditional probability.] [Retracted: Whether it's possible for everyone to survive.] [Retracted: More blah-blah on conditional probability.] [Retracted: Ruling out "undefined" as an answer.] [Retracted: Nitpicking "at some point".] [Retracted: Yet more blah-blah on conditional probability.] Resolution criteria For an official resolution we'll write up a proof (or "proof") that the answer is 1/36 and a proof that the answer is ~1/2 (really anything greater than 1/36 would be fine) and then recruit some mathematician(s) to make an independent judgment on which is correct. Or maybe we'll just reach consensus in the comments? UPDATE: @Lorxus has accepted the role of adjudicator. Here are Lorxus's terms, with some comments of mine in brackets: 0. [For a fee of 1% of market volume at the time of acceptance, M$1308, now paid], I will continue to uphold my commitment not to bet on this market. More importantly, now that @dreev has passed arbitration to me, I will read the mathematical arguments of both sides and use my best professional judgement to diligently determine soundness and mathematical correctness. 1. The YES bettors and the NO bettors must reach their separate consensuses as to which writeup to send me. I will only accept a single writeup per side, and will only accept these writeups in the form of a PDF or text file. If you choose to use LaTeX, send me the PDF and not the raw TeX. This must be sent to me before 2023-09-30 at 23:59 EST. I will treat any failures in this regard as a blank entry. 2. The YES bettors and the NO bettors must each choose at most 3 champions per side. The role of these champions will be threefold: to contact me to send me the official writeup of their side, to answer reasonable mathematical questions about the writeups that I pose to them, and to pick formal holes in the other side's writeup to present to me. These champions must be selected and the outcome communicated to me before 2023-09-30 at 23:59 EST. I will treat any failures in this regard as a forfeit. 3. All bettors of this market agree that my judgement will be final, binding, and at my sole discretion. [And other terms about harassing Lorxus but I, @dreev, am insuring against such and believe we don't need to worry about this. Everyone just be nice, ok??] 4. If only one such writeup is sound and mathematically correct, I will choose it as the winner. If only one side's champions can find flaws in the writeup of the other's, or only one side can resolve any flaws I point out in their writeup, I will choose it as the winner. If somehow neither writeup is sound and mathematically correct, and this difficulty persists equally for both sides through questioning, I will say so, and the market will resolve N/A, making everyone including me unhappy. If both writeups are approximately sound and mathematically correct, then I will move to cross-questioning, and I will determine the winner by subjective severity of the worst irresolvable flaw any champion can pick in either writeup. If at that point I have reached the conclusion that the question was fundamentally and irresolvably ill-posed, or both sides have found comparably good flaws, I will arbitrate that the market be resolved to 30-day average of market price. [Resolve-to-MKT is fraught and we may need to hash this out better to ensure fairness -- @Lorxus mentions "anti-spiked" MKT price? -- but I'm nearly sure it will be moot!] 5. I will communicate with all champions through the medium of their collective choice, with a Discord group chat as the default. Conditional on @dreev , at least one >2k YES holder, and at least one >2k NO holder replying to this comment to accept these terms by 2023-09-21 at 23:59 EST [which has now happened!], I will render my judgement by 2023-10-31 at 23:59 EST. Should I fail to do so, I will return the 1308 marbles to @dreev and render my judgement by 2023-12-31 at 23:59 EST. tl;dr: I got paid 1% of market volume to come Be A Mathematician at this paradox. To both YES and NO: pick <= three champions and start putting your writeups together. I'll read both, ask some probing questions, and puzzle out which side has the better (sounder/more formally correct/more philosophically compelling) arguments based on champion arguments, existing resolution criteria, and my understanding of math. Be kind to me here, because if you break this mathematician you're not getting another. Writeups (not too late to add more!): Official YES by me and Wamba Ivanhoe Official NO by Fintan Costello UNDEFINED by Trevor G NO by Martin Randall YES by Wamba Ivanhoe (before combining with mine) Bartha & Hitchcock (1999) Related markets: Two-round version via simulation (resolved to 1/36) Snibgiblets version that removes all the Bayesian math Anthropic version Ball-and-urn version that tries to be fully non-anthropic (resolved to ~1/2) Golden-brown pancakes (simple conditional probability sanity check) Snake Eyes Variant Y (what I meant this market to be) Snake Eyes Variant N (how NO bettors here interpreted this market) More: https://manifold.markets/group/snakeeyes-paradox

This resolves "YES" but I don't think this was the best measure of what actually happened, so I will reimburse "NO" bettors (Except for Acc.) for betting what was in retrospect not the most well thought out market.

predicted YES

@Sailfish I actually think (discussion ongoing in @Lorxus's Discord) that we're making steady progress on real consensus! For example, we now know that this formula that yielded 52.1887% is wrong, for both finite and infinite pools. The answer is either 1/2 or 1/36. We also seem to be converging on agreement that if you change the "at some point we'll roll snake eyes" in the problem statement to "keep rolling until we roll snake eyes" that, even though those sound identical on first blush, the answer is an unambiguous 1/36 in the latter case, surprisingly.

In other words, we're managing to untangle all the math and leaving at most a very small language ambiguity.

Actually I should have asked before trading. Consensus on what?

  • The answer to the question itself or

  • That the resolution procedure for the market was followed?

@ShitakiIntaki Clear consensus between the professionals on the answer, so if three mathematicians are asked all three should agree that it is >50% and not 1/36 or vice versa.

predicted NO

@Sailfish okay, so would this be a fair paraphrasing?
Will the Snake Eyes market adjudication resolve by [unanimous] decision? or greater than a super majority? a 2:1 split is theoretically a super majority but it is also the least amount to be a majority. a 2:3 decision could be considered close, but 4:1 or 5:0 are a bit more decisive.

But this market is asking about the quality of consensus amongst the adjudicators.

@ShitakiIntaki It's vague in part because it isn't clear what the structure of the "official resolution" will be. There should be a strong claim by nearly all of the mathematicians that one answer is correct and the other is wrong. 4/5 might be fine, 3/4 probably is not sufficient. This market intends to capture if the "official resolution" will actually return information sufficient to resolve the original market in either direction.

predicted NO

@Sailfish I agree that the official resolution is lacking specificity at this time.

What if it is just a sole mathematician ? The decision would be unanimous but there was no need to seek consensus.

I think the logistics of getting a sizable committee of mathematicians is onerous and beyond what most any market resolution would require.

So assuming that it would be a rather small sample, "clear consensus" probably ends up being unanimous.