This question arises from what I find interesting in the recently asked question What is a chess piece mathematically?
My answer to that question was that mathematically, game pieces are in general epi-phenomenal to the main game-theoretic consideration, the underlying game tree. In this sense, strategic decisions do not involve directly game pieces but only choices in the game tree.
But nevertheless, I think a question remains. Namely, how can we recognize from a game tree that there is an underlying description of the game using pieces moving according to certain rules on a game-playing board? In other words, when is a game tree the game tree of a board game?
Of course, we can imagine playing a game by moving a piece on the game tree itself, in a way such that the resulting game tree is the same as the given game tree. But in this case, the board of the game would have the same size as the game tree. But in the case of our familiar board games, such as chess and Go, the boards are considerably smaller than the game trees to which they give rise. So what we really want is a board game whose board and number of pieces is considerably smaller than the game tree itself.
In the general case, the size of the game board and the number of game pieces would be connected in certain ways with the branching degree of the corresponding game tree. But the tree itself in general can be much larger than its branching degree.
As a test question, if a game tree has a comparatively low branching degree compared with its size, is there always a way to realize it as a board game?
I’m not sure what counts as a board game, but the idea should be that there is a board and pieces that move about on the board according to certain rules, perhaps capturing other pieces, and certain configurations counting as a win, such as capturing a certain king piece or whatever. So part of the question is to provide a mathematical definition of what counts as a board game. Are there comparatively simple necessary and sufficient conditions on a game tree that it be realized as the game tree of a board game?
I would be interested also to learn of general sufficient conditions. How shall we think about this?