The Metastable Consensus Cliff Under Communication Delay in a Swarm of Robots

단순한 로봇 무리가 장애물이 가득한 풍경 속을 움직이며 단 하나의 통일된 결정을 내리려는 상황을 상상해 보십시오. 이들은 중앙 지휘관과 대화할 수 없으며, 오직 눈에 보이고 귀에 들리는 이웃에게만 속삭일 수 있습니다. 이것이 바로 군집 로봇 공학(swarm robotics)의 세계입니다. 이곳의 목표는 독립적인 기계들의 거대한 집단이 오직 국지적인 정보만을 사용하여 하나의 행동 방침에 합의하는 것입니다. 이러한 합의를 위한 일반적인 규칙은 각 로봇이 이웃의 선택을 얼마나 신뢰하느냐에 따라 가중치를 두어, 가끔씩 이웃의 의견을 복사하는 것입니다. 즉각적인 통신이 가능한 완벽한 세상이라면, 집단은 결국 하나의 답에 도달할 것입니다. 하지만 현실 세계에서 메시지는 이동하는 데 시간이 걸립니다. 로봇들이 복잡한 지형을 통과할 때 신호는 지연됩니다. 수년간 연구자들은 지연 시간이 증가함에 따라 군집의 합의 능력이 마치 절벽 끝처럼 급격히 추락하여 집단을 혼란 상태에 빠뜨리는 우려스러운 패턴을 관찰해 왔습니다.

이러한 행동은 많은 이들로 하여금 로봇 군집이 견딜 수 있는 지연 시간에 명확한 한계가 있다고 믿게 만들었습니다. 기존의 이론은 지연 시간이 특정 임계값을 넘어서면 군집이 더 이상 소통할 수 없는 고립된 클러스터로 파편화되어 전체적인 합의 붕괴를 초래한다고 제안했습니다. 그러나 선더랜드 대학교(University of Sunderland) 연구진의 새로운 연구는 이러한 오랜 관점을 반박합니다. 100대의 로봇이 장애물이 있는 들판을 항해하는 수천 번의 통제된 시뮬레이션을 실행함으로써, 연구팀은 그 극적인 '절벽'이 군집 구조의 갑작스러운 실패가 아니라, 로봇이 시간에 따라 어떻게 행동하는지에 대한 오해라는 것을 발견했습니다. 연구진은 군집이 분열되는 것이 아니라, 지연으로 인해 합의가 불안정해져서 집단이 결정을 내렸다가 즉시 다시 잃어버리는 과정을 반복한다는 것을 밝혀냈습니다.

무슨 일이 일어나고 있는지 이해하기 위해, 연구진은 장애물로 가득 찬 200x400미터 필드를 이동하는 100대의 로봇 군집에 대한 디지털 모델을 구축했습니다. 각 로봇은 0 또는 1의 단순한 이진 의견을 가졌으며, 자신의 생각과는 무관하게 독립적으로 움직였습니다. 로봇들은 제한된 범위 내에서 통신했지만, 그들의 메시지는 거리에 비례하는 지연과 기본 대기 시간의 영향을 받았습니다. 연구팀은 다양한 양의 지연을 두고 이 시뮬레이션을 실행하며, 로봇들이 거의 모두 동일한 의견을 갖는 상태에 도달할 수 있는지 관찰했습니다. 실험의 성공 여부를 판단하기 위해 표준적인 고정 시간 제한을 사용하여 결과를 살펴보았을 때, 그들은 익숙한 급격한 하락을 목격했습니다. 즉, 지연이 증가함에 따라 성공률이 높음에서 0으로 급락하며 저 유명한 절벽을 만들어냈습니다.

하지만 연구진은 이 급격한 하락이 성공을 측정하는 방식에 의해 만들어진 환상일 수 있다고 의심했습니다. 그들은 관찰 시간을 연장하여 로봇들에게 합의에 도달할 수 있는 훨씬 더 긴 시간을 주기로 했습니다. 그렇게 했을 때, 절벽은 이동했습니다. 짧은 시간 제한 내에 합의에 실패했던 로봇들이 더 많은 시간이 주어지면 결국 합의에 도달했습니다. 이는 지연이 중간 정도일 때, 문제는 로봇들이 결코 합의할 수 없는 것이 아니라 단지 실험이 허용하는 시간보다 더 오래 걸릴 뿐이라는 점을 드러냈습니다. 연구진은 두 가지 뚜렷한 영역을 식별했습니다. 첫 번째인 '느린 접근(slow-approach)' 영역에서는 관찰 창이 충분히 길다면 군집이 여전히 합의에 도달할 수 있었습니다. 두 번째인 '진정한 실패(genuine-failure)' 영역은 매우 높은 지연이 발생하는 구간으로, 여기서는 원래 시간 예산의 10배를 주어도 군집이 합의에 도달할 수 없었습니다.

결정적으로, 연구팀은 붕괴가 로봇들이 소통할 수 없는 그룹으로 분리되었기 때문에 발생한 것이 아님을 증명했습니다. 로봇들은 자신의 의견이 아니라 물리적 환경에 따라 움직였기 때문에, 그들 사이의 연결 네트워크는 메시지가 도착하는 데 시간이 얼마나 걸리든 상관없이 정확히 동일하게 유지되었습니다. 연구진은 로봇들이 완전히 연결된 상태를 유지할 때도 급격한 성공률 저하가 발생한다는 것을 확인했습니다. 이를 통해 지연이 군집의 통신 네트워크를 끊어놓았다는 가설을 배제했습니다. 대신, 지연은 의사 결정 과정 자체에 영향을 미치고 있었습니다. 로봇들은 이미 마음을 바꾼 이웃이나, 멈춰 서서 얼어붙은 의견을 방송하고 있는 '유령' 에이전트로부터 오래되고 낡은 정보를 받고 있었습니다. 이 낡은 데이터가 군집이 간신히 도달한 합의를 끊임없이 무너뜨리고 있었습니다.

그 결과는 메타안정성(metastability) 상태, 즉 군집이 결정 근처를 맴돌지만 그 결정에 고정되지 못하는 상태입니다. 이 시뮬레이션에서 처음에 합의에 도달했던 실행 중 약 4분의 1이 지연이 증가함에 따라 다시 불일치 상태로 흘러 들어갔습니다. 군집은 수렴하지 못하는 것이 아니라, 수렴했다가 다시 밀려나고 있었던 것입니다. 이전에 관찰되었던 날카로운 '절벽'은 단순히 군집이 결정에 도달하는 데 걸리는 시간이 실험의 시간 제한과 일치하는 지점이었습니다. 이 지점 아래에서 로봇들은 단지 느린 것이었지만, 이 지점 위에서는 지연이 너무 심해서 낡은 정보가 집단이 안착하는 것을 방해했습니다. 연구진은 잘 연결된 네트워크에서는 이 변곡점을 집단이 의견을 섞는 데 보통 걸리는 시간으로 예측할 수 있지만, 연결성이 낮은 네트워크에서는 이 불안정성이 더 혼란스럽다는 것을 발견했습니다.

이 연구는 또한 로봇 군집을 설계하기 위한 실질적인 교훈을 강조했습니다. 문제는 연결의 부족이 아니라 지연된 정보로 인한 불안정성이기 때문에, 네트워크가 이미 연결된 상태라면 단순히 로봇들이 더 멀리서 서로 대화하게 만드는 것만으로는 문제를 해결할 수 없습니다. 대신, 해결책은 정보의 '연령'을 관리하는 데 있습니다. 연구진은 미래의 시스템이 너무 오래되었거나 너무 지연된 의견을 깎아내리거나 무시하도록 하여, 군집이 안정을 찾지 못하게 만드는 노이즈를 걸러낼 수 있어야 한다고 제안합니다. 이 작업은 군집 로봇 공학의 근본적인 문제를 재구성하며, 무엇이 파멸적인 실패처럼 보이는 것이 실제로는 종종 일시적인 불안정 상태일 뿐이며, 우리가 성공을 측정하는 방식이 존재하지 않는 것처럼 보이는 단단한 한계를 만들어낼 수 있음을 보여줍니다.