Abstract:The box-ball system is studied from the viewpoint of combinatorics of words and tableaux. Each state of the box-ball system can be transformed into a pair of tableaux $(P,Q)$ by the Robinson-Schensted-Knuth correspondence. In the language of tableaux, the $P$-symbol gives rise to a conserved quantity of the box-ball system, and the $Q$-symbol evolves independently of the $P$-symbol. The time evolution of the $Q$-symbol is described explicitly in terms of the box-labels.
What problem does this paper attempt to address?
The problem that this paper attempts to solve is to study the dynamical properties of the Box - Ball System (BBS) through the word and tableau theories in combinatorics. Specifically, the main objectives of the paper are as follows:
1. **P - symbol as a conserved quantity**: Prove that during the time evolution of BBS, the P - symbol is a conserved quantity. This means that the P - symbol remains unchanged during the time evolution.
2. **Independent evolution of Q - symbol**: Prove that the Q - symbol is independent of the P - symbol during the time evolution, and the evolution of the Q - symbol can be explicitly described by the combination of box - labels.
### Main contributions of the paper
- **Conservation of P - symbol**: Through the Robinson - Schensted - Knuth (RSK) correspondence, the paper transforms the state of BBS into a pair of tableaux (P, Q) and proves that the P - symbol remains unchanged during the time evolution. This provides a new perspective for understanding the conservation properties of BBS.
- **Independent evolution of Q - symbol**: The paper describes in detail the evolution process of the Q - symbol and proves that the evolution of the Q - symbol can be carried out independently of the P - symbol. This result indicates that equivalent states with the same Q - symbol will still remain equivalent after any number of time evolution steps.
### Main technical means
- **RSK correspondence**: The paper uses the RSK correspondence to transform the state of BBS into a pair of tableaux (P, Q). The RSK correspondence is a bijective relationship between bi - words and a pair of tableaux of the same shape.
- **Carrier Algorithm**: The paper introduces the Carrier Algorithm to describe the time evolution process of BBS. The Carrier Algorithm realizes the state change of BBS by moving a weakly increasing sequence (called a carrier) along the word, loading and unloading numbers.
### Specific steps
1. **Definition of standard BBS**: The paper first defines the standard BBS, in which n balls of different colors are placed in an infinite array of boxes, and the capacity of each box is 1.
2. **Time evolution rules**: The paper describes in detail the time evolution rules of the standard BBS, that is, in each step, each ball moves to the nearest empty box from left to right according to the color order.
3. **Use of RSK correspondence**: Through the RSK correspondence, the state of BBS is represented as a bi - word, and then transformed into a pair of tableaux (P, Q).
4. **Proof of conservation of P - symbol**: Through the Knuth equivalence class and the Carrier Algorithm, the paper proves that the P - symbol remains unchanged during the time evolution.
5. **Proof of independent evolution of Q - symbol**: Through the box - label algorithm, the paper proves that the evolution of the Q - symbol can be carried out independently of the P - symbol, and can be directly calculated by the Carrier Algorithm.
### Conclusion
Through the methods of combinatorics, especially the RSK correspondence and the Carrier Algorithm, the paper successfully reveals the conservation properties of BBS and the independent evolution mechanism of the Q - symbol. These results not only deepen the understanding of the dynamical properties of BBS, but also provide new tools and methods for further research on BBS and other related systems.