All Games Have Equilibria

"만약에?"라는 거대한 게임

모든 결정이 거대하고 보이지 않는 게임의 일부인 세상을 상상해 보십시오. 당신은 무엇을 입을지, 무엇을 먹을지, 혹은 어떻게 학교에 갈지를 선택하지만, 그 결과는 당신의 선택뿐만 아니라 다른 모든 사람이 무엇을 선택하느냐에 따라 달라집니다. 이것이 바로 사람들이 (또는 컴퓨터나 동물이) 서로의 운명이 얽혀 있을 때 어떻게 결정을 내리는지를 연구하는 수학의 한 분야인 **게임 이론(Game Theory)**의 영역입니다. 오랫동안 수학자들은 이러한 게임에 대한 황금률을 가지고 있었습니다. 만약 선택지의 수가 유한하다면(가위바위보처럼), '내쉬 균형(Nash Equilibrium)'이라 불리는 완벽한 균형 상태가 항상 존재한다는 것입니다. 이는 누구도 자신의 수를 바꾸고 싶어 하지 않는 상태를 말하는데, 왜냐하면 수를 바꿔봤자 더 나쁜 결과만을 얻게 되기 때문입니다.

하지만 게임이 무한해지면 어떻게 될까요? 만약 당신이 0과 1 사이의 어떤 숫자라도 선택할 수 있거나, 플레이어가 무한히 많다면 어떻게 될까요? 현실 세계의 많은 상황은 무한하게 느껴집니다. 해변의 모래알을 다 셀 수도 없고, 자동차의 정확한 속도를 측정할 수도 없습니다. 수십 년 동안 수학자들이 이 "완벽한 균형" 규칙을 이러한 무한한 게임에 적용하려 했을 때, 수학적 도구들은 망가졌습니다. 사물을 매우 엄격하고 "셀 수 있는(countable)" 방식으로 세는 데 의존했던 기존의 도구들은 갑자기 사라지거나 불가능한 결과를 만들어냈습니다. 그것은 마치 티스푼으로 바다를 측정하려는 것과 같았습니다. 더 많이 측정하려고 할수록 물은 더 사라지는 것처럼 보였습니다. 이는 우리의 이해에 거대한 공백을 남겼습니다. 과연 이 무한한 게임들이 실제로 안정적인 해답을 갖는지, 아니면 그저 혼란스러운 엉망진창인 상태인지 말입니다.

논문의 위대한 발견: "모든 게임에는 균형이 존재한다"

M. 알리 칸(M. Ali Khan), 아서 폴 페더슨(Arthur Paul Pedersen), 맥스웰 B. 스틴콤브(Maxwell B. Stinchcombe)가 저술한 **"모든 게임에는 균형이 존재한다(All Games Have Equilibria)"**라는 이 논문은 망가진 도구들을 고치기 위해 등장했습니다. 저자들은 문제가 게임 자체가 아니라, 수학자들이 게임을 측정하려던 방식에 있다고 주장합니다. 그들은 "혼합 전략(mixed strategies)"—즉, 동전 던지기로 자신의 수를 결정하는 것과 같은 무작위적 선택—에 대한 더 유연한 사고방식을 제안합니다.

기존의 사고방식에서는 혼합 전략을 사용하려면 "가산 더하기(countable additivity)"라는 엄격한 규칙을 따라야 했습니다. 유리병 안에 구슬이 들어있다고 상상해 보십시오. 빨간 구슬을 뽑고, 그다음 파란 구슬을, 그다음 초록 구슬을 뽑았다면, 이 세 가지를 뽑을 확률의 총합은 각각의 개별 확률을 더한 것과 같습니다. 이는 유한한 유리병에서는 아주 잘 작동합니다. 하지만 무한한 게임에서 이 규칙은 더하는 순서에 따라 답이 계속 바뀌는 무한한 숫자 목록을 더하려는 것과 같습니다. 저자들은 "그 엄격한 규칙을 버리자"라고 말합니다. 대신, 그들은 유한 가산(finitely additive) 확률을 사용합니다. 이것은 기존의 도구들이 놓쳤던 "간발의 차이"의 순간들을 볼 수 있게 해주는 초강력 돋보기와 같습니다. 이를 통해 수학은 결정적인 승부를 가르는 미세한 디테일을 잃지 않으면서도 무한함을 다룰 수 있게 됩니다.

주요 발견:
이 논문은 놀라울 정도로 단순하면서도 강력한 정리를 증명합니다: 유계된 보상(bounded payoff, 즉 보상이 무한하지 않은 경우)을 가진 모든 게임에는 반드시 내쉬 균형이 존재한다는 것입니다. 게임에 플레이어가 무한하든, 선택지가 무한하든, 혹은 보상이 들쭉날쭉하게 요동치더라도 상관없습니다. 새로운 유연한 "유한 가산" 전략을 사용한다면, 안정적인 균형은 항상 존재합니다. 저자들은 이러한 균형들의 집합이 단순히 비어 있거나 혼란스러운 것이 아니라, "잘 정의되어(well-behaved)" 있음, 즉 안정적이고 예측 가능하다는 것을 보여줍니다. 게임을 약간 수정하더라도 균형은 사라져 버리는 것이 아니라 미세하게 이동할 뿐입니다.

부정하는 것들:
저자들은 무엇이 작동하지 않는지에 대해서도 매우 명확하게 밝힙니다. 그들은 우리가 이러한 무한한 게임을 항상 기존의 엄격한 "가산 더하기" 틀에 억지로 끼워 맞출 수 있다는 생각에 명시적으로 반대합니다. 그들은 그렇게 하려는 시도가 종종 말도 안 되는 "균형"을 초래한다는 것을 보여줍니다. 예를 들어, 제로섬 게임(한 사람의 이득이 다른 사람의 손실인 게임)에서 두 플레이어가 동시에 돈을 따는 것과 같은 불가능한 상황 말입니다. 또한, 그들은 "조금 밑"이나 "조금 위"의 디테일을 무시해도 된다는 생각 역시 일축합니다. 많은 게임에서 0.4999와 0.5000 사이의 차이는 결정적입니다. 기존의 수학은 이 둘을 같은 지점으로 취급하여 정보를 잃어버리지만, 새로운 수학은 그 구분을 살려냅니다.

얼마나 확실한가?
이것은 추측이나 시뮬레이션이 아닙니다. 저자들은 엄밀한 수학적 증명을 제공합니다. 그들은 단순히 이러한 균형이 존재한다고 제안하는 것이 아니라, 자신들이 정의한 조건 하에서 왜 반드시 존재해야 하는지를 입증합니다. 또한 이 균들은 "유한 근사 가능(finitely approximable)"하다는 것, 즉 게임의 더 작은 유한 버전들을 살펴봄으로써 그 균형을 찾아낼 수 있다는 것을 증j명합니다. 이는 이 이론에 실무적이고 운영적인 느낌을 부여합니다. 즉, 이것은 단순한 이론적 유령이 아니라 실제로 접근하고 이해할 수 있는 대상이라는 것입니다.

"조금 밑"의 마법

이것이 왜 중요한지 이해하기 위해, "조금 밑(Just Under)" 게임을 상상해 보십시오. 두 명의 플레이어가 0.5보다 바로 아래의 숫자를 뽑으려고 합니다.

• 플레이어 A는 0.49를 뽑습니다.
• 플레이어 B는 0.499를 뽑습니다.
• 플레이어 C는 0.4999를 뽑습니다.

기존의 수학에서는 0.5에 가까워질수록 이 숫자들은 모두 0.5라는 하나의 점으로 흐릿하게 뭉쳐집니다. 만약 두 플레이어가 모두 0.5를 뽑는다면, 게임은 깨지거나 해답이 없을 수 있습니다. 하지만 현실 세계에서는 "조금 밑" 경쟁에서 항상 승자가 존재합니다. 0.4999를 뽑은 플레이어는 0.49를 뽑은 플레이어보다 목표에 더 가깝습니다.

저자들은 자신들의 새로운 수학이 이 "조금 밑"의 정보를 보존한다는 것을 보여줍니다. 이것은 숫자가 무한히 작아지더라도 초점을 잃지 않는 카메라와 같습니다. 그들은 "네트(nets)"(무한한 목록을 조직하는 세련된 방법)와 "초유한 집합(hyperfinite sets)"(거대하지만 특수한 방식으로 여전히 유한한 허구적 집합)을 사용하는 영리한 기법을 사용하여, 항상 안정적인 균형을 찾을 수 있음을 보여줍니다.

이것이 모든 것을 바꾸는 이유

이 논문은 수학자들이 수십 년 동안 씨름해 온 유명하고 고질적인 문제들, 예를 들어 사이언(Sion)과 울프(Wolfe)의 게임, 그리고 월드(Wald)의 최대 정수 게임을 다룹니다. 이 게임들에서 기존의 수학은 "균형이 존재하지 않는다!"라거나 "답은 당신이 어떻게 세느냐에 달려 있다!"라고 말했습니다. 새로운 수학은 "여기에 균형이 있으며, 왜 이것이 작동하는지 정확히 알려주겠다"라고 말합니다.

예를 들어, 가장 큰 정수를 뽑으려는 게임에서 기존의 수학은 "가장 큰" 정수가 존재하지 않기 때문에 막혔습니다. 새로운 수학은 이 균형이 "더 커질 수 있다"는 사실에 막히지 않고 "가장 커지려는 정신"을 포착하는 특정한 종류의 "유한 가산" 확률을 포함하고 있음을 보여줍니다.

또한 저자들은 이 접근 방식이 이미 우리가 알고 있는 게임들을 망가뜨리지 않는다는 점도 보여줍니다. 만약 게임이 단순하고 유한하다면, 그들의 새로운 수학은 기존의 수학과 정확히 같은 답을 내놓습니다. 즉, 이 이론은 기존의 해결책을 모두 포함하면서 무한한 경우에 대한 새로운 해결책을 추가한 상위 집합입니다.

결론

이 논문은 통합적인 프로그램입니다. 이 논문은 혼란스러운 규칙들과 반례들이 뒤섞인 조각들을 가져와 하나의 깨끗한 프레임워크로 대체합니다. 그것은 우리에게 무한한 게임이 망가진 것이 아니라, 우리의 도구가 너무 경직되어 있었을 뿐이라는 것을 알려줍니다. 확률을 세는 규칙을 완화함으로써, 우리는 가장 혼란스러운 무한한 시나리오에서도 항상 안정성과 균형이 가능하다는 것을 볼 수 있습니다. 저자들은 우리가 셀 수 있는 유한한 세계와 상상할 수밖에 없는 무한한 세계 사이의 다리를 건설했으며, 게임 이론의 법칙이 무한의 끝까지 유효함을 보여주었습니다.