Invariant Measures for Soliton Systems Generated by Mealy Automata

끝없이 이어지는 슬롯으로 이루어진 긴 컨베이어 벨트를 상상해 보세요. 어떤 슬롯은 비어 있고(이를 "0"이라고 부릅시다), 어떤 슬롯에는 공이 들어 있습니다(이를 "1"이라고 부릅시다). 이것이 우리의 "입자 우주"입니다.

이제 이 벨트를 따라 왼쪽에서 오른쪽으로 걸어가는 작은 로봇, 즉 "운반체(carrier)"를 상상해 보세요. 이 로봇은 빈 슬롯을 보거나 공을 보았을 때 어떻게 행동해야 하는지에 대한 특정한 규칙을 가지고 있습니다. 이 로봇이 바로 이 논문의 핵심입니다.

주요 등장인물: 세 종류의 로봇

저자들은 이 세 가지 특정 유형의 로봇을 연구하고 있으며, 이를 BBS-C(2), BBS-S(2), **BBS-V(2)**라고 부릅니다. 이것들을 공을 나르고 떨어뜨리는 독특한 방식을 가진 세 종류의 개미 종이라고 생각하면 됩니다.

1. "배낭 메는 로봇" (BBS-C(2)): 이 로봇은 최대 두 개의 공을 담을 수 있는 배낭을 가지고 있습니다. 공을 발견하면 그것을 집어 듭니다. 배낭이 가득 차지 않았다면 계속 걸어갑니다. 만약 배낭이 가득 찼다면 새로운 공은 무시합니다. 빈 공간을 발견하고 배낭에 적어도 하나의 공이 있다면, 그곳에 공 하나를 내려놓습니다.
2. "긴 보폭의 로봇" (BBS-S(2)): 이 로봇은 단 한 개의 공만 담을 수 있는 배낭을 가지고 있습니다. 하지만 반전이 있습니다. 공을 집어 들면 즉시 내려놓지 않고, 바로 다음 칸을 건너뛰어 그 다음 칸에 내려놓으려고 시 합니다. 만약 그 칸마저 차 있다면 다시 한번 건너뜁니다. 마치 항상 두 개의 돌을 앞질러 점프하는 개구리 같습니다.
3. "탐색가 로봇" (BBS-V(2)): 이 로봇 역시 한 개의 공을 운반하지만, 특별한 임무가 있습니다. 일단 공을 집어 들면, 두 번째로 마주치는 빈 공간을 찾을 때까지 계속 걸어가며, 그제서야 공을 내려놓습니다.

"솔리톤(Solitons)"의 마법

로봇들이 벨트를 따라 달릴 때, 흥별한 일이 일어납니다. 공들이 단순히 무작위로 흩어지는 것이 아니라, 솔리톤이라 불리는 안정적이고 움직이는 집단으로 뭉치게 됩니다.

솔리톤을 연못에서 수 마일을 이동하면서도 그 형태를 잃지 않는 완벽한 모양의 파동이라고 생각해 보세요. 우리 벨트에서 솔리톤은 일정한 속도로 이동하는 빽빽한 공의 클러스터입니다. 심지어 두 개의 "파동"이 서로 충돌하더라도, 서로를 파괴하지 않습니다. 대신 서로를 통과하여 지나간 뒤, 원래 모습 그대로 계속 나아갑니다. 다만 위치가 약간 변할 수는 있습니다.

논문은 각 세 종류의 로봇 유형에 대해 이들이 얼마나 이동하는지("위상 변화/phase shift")와 얼마나 빨리 이동하는지("속도/velocity")를 정확하게 계산합니다.

큰 질문: 무엇이 시스템의 균형을 유지하는가?

저자들은 다음과 같은 질문을 던졌습니다: 만약 우리가 공과 빈 공간이 뒤섞인 무작위 상태에서 시작한다면, 로봇들이 작업을 수행하는 동안 시스템은 특정한 방식으로 "무작위성"을 유지할 것인가?

물리학에서 우리는 종종 "불변 측도(invariant measures)"를 살펴봅니다. 쉬운 말로, 이것은 *내가 특정 종류의 무작위 패턴으로 시작했을 때, 로봇들이 일을 마친 후에도 그 패턴이 똑같이 유지될 것인가?*를 묻는 것입니다.

그들은 두 가지 주요 유형의 무작위성을 테스트했습니다:

1. "동전 던지기" (베르누이/Bernoulli): 벨트의 모든 지점에 대해 동전을 던진다고 상상해 보세요. 앞면이면 공을 두고, 뒷면이면 비워둡니다. 이것은 완전히 독립적이고 무작위적인 혼합입니다.
2. "연쇄 반응" (마르코프/Markov): 다음 지점의 상태가 이전 지점에 의존한다고 상상해 보세요. 예를 들어, "여기에 공이 있었다면, 다음 칸에도 공이 있을 확률이 70%이다"와 같은 식입니다. 이는 공들이 서로 붙어 있거나 서로를 피하는 패턴을 만들어냅니다.

결과: 누가 승리하는가?

논문은 답이 전적으로 어떤 로봇 종을 사용하느냐에 달려 있다는 것을 밝혀냈습니다:

• "긴 보폭의 로봇" (BBS-S(2))과 "탐색가 로봇" (BBS-V(2))의 경우:
  시스템은 "동전 던지기" 무작위성을 선호합니다. 만약 동전 던지기로 결정된 무작위 공의 혼합으로 시작한다면, 로봇들이 공을 이리저리 옮기겠지만 전체적인 무작위성은 정확히 똑같이 유지됩니다. 즉, "동전 던지기" 패턴은 **불변(invariant)**입니다.
  하지만, 만약 "연쇄 반응" 패턴(공이 이웃과 의존 관계를 갖는 패턴)을 사용하려고 한다면, 로봇들은 이 패턴을 망가뜨립니다. 패턴이 변하며, 따라서 "연쇄 반응"은 보존되지 않습니다.

• "배낭 메는 로봇" (BBS-C(2))의 경우:
  이것은 더 복잡합니다. "동전 던지기" 패턴은 여기서 작동하지 않습니다. 대신, 이 시스템은 "연쇄 반응" 패턴을 보존합니다. 만약 특정한 유형의 이웃 의존적 무작위성으로 시작한다면, 로봇들이 공을 섞더라도 그 특정한 유형의 패턴은 온전히 살아남습니다.

이것이 왜 중요한가요?

저자들은 이 로봇들이 "가적분계(integrable systems)"와 관련된 실제 물리 문제를 단순화한 모델이라고 설명합니다. 가적분계란 너무나 완벽하게 조직되어 있어 결코 혼돈(chaos)에 빠지지 않는 시스템을 말합니다.

로봇들이 섞는 과정에서 어떤 무작위 패턴이 살아남는지 정확히 이해함으로써, 과학자들은 이러한 시스템이 거대해지고 빠르게 움직일 때(이를 "일반화된 수력학/generalized hydrodynamics"라고 합니다) 어떻게 행동하는지 예측할 수 있는 더 나은 수학적 도구를 구축할 수 있습니다.

요약하자면, 이 논문은 세 가지 다른 유형의 "공 이동 로봇"을 위한 가이드북입니다. 이 책은 어떤 종류의 무작위 시작 라인(공의 패턴)이 로봇들이 작업을 마친 후에도 무작위적이고 안정적으로 남을지, 그리고 어떤 것이 흐트러질지를 정확히 알려줍니다. 이는 물리학자들이 복잡한 시스템 속에 숨겨진 깊은 질서를 이해하는 데 도움을 줍니다.