The metaphor might have been a little over-the-top but I support this sort of creativity in blog posts, if only because it can ripen into something much more aesthetically pleasing. There are places where it goes way too far -- Gödel, Escher, Bach comes to mind -- but this is only a couple paragraphs.
In this case it does have something to "offer": it offers the insight that the only value that looking at past states can offer is a sort of "strategy tomography" to tell you what the other person's conditional probabilities actually are, but that once you know this, your strategy is first-order Markov, just because their strategy is first-order Markov. (This term, nth-order Markov, just means "depends only on the last n game states.")
It's true, however, that this leads to a very interesting consequence which is not discussed in this context, something quite convoluted: "I will commit to a first-order Markov strategy in order to prevent my opponent from using a higher-order Markov strategy, so that my own analysis of their strategy simplifies." It is a curious statement that your own ignorance forces someone else to be ignorant, which you can then exploit.
This is proven in appendix A of their paper. To state the conclusion in their words, "In iterated play of a fixed game, one might have thought that a player Y with longer memory of past outcomes has the advantage over a more forgetful player X. For example, one might have thought that player Y could devise an intricate strategy that uses X’s last 1,000 plays as input data in a decision algorithm, and that can then beat X’s strategy, conditioned on only the last one iteration. However, that is not the case when the same game (same allowed moves and same payoff matrices) is indefinitely repeated. In fact, for any strategy of the longer-memory player Y, X’s score is exactly the same as if Y had played a certain shorter-memory strategy (roughly, the marginalization of Y’s long-memory strategy), disregarding any history in excess of that shared with X."
> It's true, however, that this leads to a very interesting consequence which is not discussed in this context, something quite convoluted: "I will commit to a first-order Markov strategy in order to prevent my opponent from using a higher-order Markov strategy, so that my own analysis of their strategy simplifies." It is a curious statement that your own ignorance forces someone else to be ignorant, which you can then exploit.
This is only true if you know the strategy of the enemy beforehand, though. For instance if you play rock-paper-scissors and decide your move only based on the previous move your enemy can easily exploit that after playing for a while. It is true that the enemy doesn't have to remember more than one move after he learns your strategy but he needs to remember many moves to learn it.
1. No, that statement is still true even if you don't know the higher-order strategy of your opponent: no matter what it is, it has the same payoffs as some lower-order strategy.
2. You would have to define "exploit that," especially with the understanding that this is game theory and probabilistic strategies are certainly encouraged. So for example, you might imagine a genius who can consistently outthink you, knows your entire history and how you like to play Rock-Paper-Scissors and immediately as you throw down Rock, simply is able to guess that this is what you're likely to do, and throws Paper.
You can beat this guy. Or, more precisely, you can equal him. It's very simple: before the day has begun, roll a six-sided die and memorize the sequence. As long as they are not exploiting certain "tells" (as a Japanese robot did in the news a week or two ago) -- as long as they are just making a deduction based upon the sort of person you are, they cannot produce a net win against you and you're safe. Indeed, the Nash equilibrium for RPS is not terribly interesting, it's to choose each of the options with probability 1/3rd -- I don't really have much reason to believe that this changes dramatically in iterated RPS.
1. I agree with what you say. There exists a low-order strategy that has the same payoff against the low-order strategy your opponent uses, and you can use that if you know your opponent's strategy. However, in many games there aren't low-order strategies that would work well against any low-order strategy so you need to know the opponent's strategy to choose a proper low-order strategy. Alternatively you could use a higher order strategy that learns the opponent's strategy and adapts to it.
2. Well, I was thinking that a strategy would be a mapping from game history to a probability distribution over possible moves. Should this be considered in some other way?
Sure, you can just play according to the Nash equilibrium and you can't be exploited, but probably a more interesting case is when both players try to outsmart the other player and not just aim for a draw.
I will answer your comment in two sections, because it's really two comments in one:
The metaphor didn't really have anything to offer, before the preceding paragraph made it clear that the strategy is first-order Markov (it did state very plainly that you only remember the last position).
I don't understand the consequence. It seems to me that you aren't forcing the opponent to commit to a first-order Markov strategy themselves, you just make it easier on them to do that, because they don't need any more moves in the past.
Of course, you're doing this to simplify your own life, and because (I guess) first-order strategies work just as well as higher-order ones. Their conclusion seems to verify this, because they state that you really don't need (since you can't do any better than first-order) higher-order strategies, since you can model the opponent effectively with just the last move (which is the exact model the opponent is using).
Taking more moves into account, you would either just be trying to predict randomness (since that's the whole difference, if the opponent only remembers one move), or you would be "decompressing" their strategy into thousands of moves (since you can express a thousand moves of tit-for-tat with just "my move is the opponent's last move").
Literally, knowing any states further than the last gives you exactly zero extra information. Thus, it's useless.
I think in the second half of what you said you began to understand what you started out saying that you "don't understand."
Think of "the consequence" here in a purely security-theory way. In some sense that's what we're doing, securing ourselves from exploitation.
Press and Dyson are expressing the radical idea that "if I protect myself from some stupid attackers, I protect myself from all smarter ones." How does this work? It works precisely because there is a threshold above which "smarter doesn't matter" -- a smarter attacker has the exact same payoffs as a stupid attacker playing a different strategy. In that sense there are no higher-order strategies for exploiting a sufficiently stupid strategy: sure you can program a smarter attack, but it cannot do better than a different, stupid attack.
So if I intentionally choose my strategy to be stupid and show that, for all of your stupid strategies, the expected payoff is the same -- then for all of your smart strategies, the expected payoff is also the same!
It's not quite "trying to predict randomness", it's "if I dumb myself down I can also assume, without loss of generality, that my adversaries are dumb."
I think we're saying the same thing, yeah. I was remarking that any clever strategy doesn't confer any advantage to the attacker because there is no advantage to confer. They have perfect knowledge of your strategy just by knowing one previous move, and perfect knowledge is the most you can get.
Unless I'm confused again, it seems to me that there's just no advantage to them remembering more moves, since they know everything you're going to do from that last one. It's not that your strategy being stupid actively forces them to be stupid, they're not losing anything by being cleverer, they just don't gain anything because they already have it all.
In this case it does have something to "offer": it offers the insight that the only value that looking at past states can offer is a sort of "strategy tomography" to tell you what the other person's conditional probabilities actually are, but that once you know this, your strategy is first-order Markov, just because their strategy is first-order Markov. (This term, nth-order Markov, just means "depends only on the last n game states.")
It's true, however, that this leads to a very interesting consequence which is not discussed in this context, something quite convoluted: "I will commit to a first-order Markov strategy in order to prevent my opponent from using a higher-order Markov strategy, so that my own analysis of their strategy simplifies." It is a curious statement that your own ignorance forces someone else to be ignorant, which you can then exploit.
This is proven in appendix A of their paper. To state the conclusion in their words, "In iterated play of a fixed game, one might have thought that a player Y with longer memory of past outcomes has the advantage over a more forgetful player X. For example, one might have thought that player Y could devise an intricate strategy that uses X’s last 1,000 plays as input data in a decision algorithm, and that can then beat X’s strategy, conditioned on only the last one iteration. However, that is not the case when the same game (same allowed moves and same payoff matrices) is indefinitely repeated. In fact, for any strategy of the longer-memory player Y, X’s score is exactly the same as if Y had played a certain shorter-memory strategy (roughly, the marginalization of Y’s long-memory strategy), disregarding any history in excess of that shared with X."