양자 컴퓨팅의 조용하고 추상적인 세계에서, 연구자들은 특정한 종류의 디지털 환상을 끊임없이 찾아 헤매고 있습니다. 그것은 바로 어떤 관찰자에게는 완전히 무작위해 보이도록 만들면서도, 실제로는 단순하고 숨겨진 규칙에 의해 생성된 것처럼 보이게 하는 능력입니다. 의사 난수성(pseudorandomness)으로 알려진 이 개념은 현대 암호학의 중추입니다. 비트 정보를 처리하는 고전적인 세계에서, 우리는 이러한 환상을 만들어내기 위한 잘 이해된 도구들을 가지고 있습니다. 우리는 무작위해 보이는 숫자 문자열이나 함수를 생성할 수 있으며, 이는 비밀 키를 알고 있다면 재현 가능하면서도 예측 불가능하게 작동합니다. 이러한 도구들은 우리의 디지털 삶을 위한 안전한 자물쇠를 구축할 수 있게 해줍니다.

하지만 양자 세계는 다른 법칙 아래에서 작동합니다. 단순한 비트 대신, 양자 컴퓨터는 동시에 여러 구성으로 존재할 수 있는 섬세한 물질의 상태를 조작합니다. 이는 새로운 유형의 무작위성을 향한 문을 열어주지만, 동시에 혼란스러운 풍경을 만들어내기도 합니다. 과학자들은 이러한 양자 환상을 생성하는 몇 가지 방법을 발견했습니다. 어떤 방법들은 시스템의 스냅샷과 같은 무작위해 보이는 양자 상태를 생성합니다. 다른 방법들은 시스템을 한 상태에서 다른 상태로 변화시키는 작용과 같은 무작위해 보이는 변환을 생성합니다. 오랫동안, 이 두 가지 유형의 도구가 근본적으로 연결되어 있는지 여부는 불분명했습니다. 무작위해 보이는 스냅샷을 만드는 방법이 무작위해 보이는 작용을 수행하는 기계를 만드는 데 사용될 수 있을까요? 아니면 이들은 서로 변환될 수 없는, 마치 사과와 오렌지처럼 완전히 별개의 현상일까요?

한국과학기술원(KAIST)의 한민기 연구원은 이제 이 두 개념 사이에 명확한 선을 그었습니다. 새로운 연구에서, 한 연구원은 무작위해 보이는 양자 스냅샷을 쉽게 만들 수는 있지만, 무작위해 보이는 작용을 수행하는 기계를 구축하는 것은 수학적으로 불가능한 세계가 존재할 수 있음을 증명했습니다. 이 발견은 양자 보안의 구조에 대한 오랜 의문을 해결했습니다. 이는 무작위한 상태를 생성하는 능력이 무작위한 변환을 수행하는 권능을 자동으로 부여하지 않는다는 것을 밝혀냈습니다. 두 가지는 별개의 능력이며, 연구자가 추가적인 메모리 공간과 복잡한 비표준 연산을 포함하여 양자 역학의 모든 기술을 사용할 수 있다고 하더라도, 하나가 다른 하나를 함의하지 않습니다.

이 구분이 어떻게 발견되었는지 이해하기 위해, 거대한 도서관의 책들을 상상해 보십시오. 이 도서관에서 '의사 난수 함수형 상태 생성기'는 특정 코드가 주어졌을 때, 마치 혼돈스럽고 무작위적인 과정에 의해 쓰인 것처럼 보이는 단 한 권의 책을 만들어내는 기계입니다. 반면에 '의사 난수 유니터리'는 코드가 주어졌을 때, 도서관 전체의 내용을 복잡하고 무작위하게 뒤섞는 작업을 수행하는 기계입니다. 질문은 이것이었습니다. 만약 당신이 무작위해 보이는 책들을 만들 수 있는 기계를 가지고 있다면, 그것을 사용하여 섞기 기계를 만들 수 있을까요? 직관적으로는, 부품을 만들 수 있다면 전체를 조립할 수 있다고 생각할 수 있습니다. 하지만 한 연구원의 연구는 양자 영역에서 이러한 직관이 실패한다는 것을 보여줍니다.

이 증명은 이러한 양자 기계의 구축을 매끄럽고 연속적인 사상(map)으로 취급하는 영리한 수학적 관점에 기초합니다. 연구자는 기계를 고정된 코드 블록으로 보는 대신, 입력의 작은 변화가 출력의 작은 변화로 이어지는 지형(landscape)으로 보았습니다. 이 지형의 '기울기' 또는 변화율을 연구함으로써, 연구자는 무작위 상태 생성기만을 사용하여 무작위 섞기 기계를 만들려는 모든 시도에 내재된 숨겨진 약점을 발견했습니다. 수학적 분석은 이 지형의 기울기가 본질적으로 평탄하고 제한적이라는 것을 보여주었습니다. 그것은 마치 기계가 언덕을 오르려고 노력하고 있지만, 지형이 너무 평평해서 진정한 무작위성의 정점에 도달할 만큼 충분한 높이를 얻을 수 없는 것과 같습니다.

이러한 평탄함은 기계가 양자 상태와 상호작왕하는 방식의 직접적인 결과입니다. 무작위 상태를 생성하는 기계는 방대한 양자 공간의 아주 작고 저차원적인 슬라이스에서만 작동하면 됩니다. 그러나 진정한 무작위 섞기 기계는 거대하고 방대한 전체 공간에 작용해야 합니다. 연구자가 이 작은 슬라이스의 기계를 전체 공간에 작용하도록 강제했을 때, 수학적 '도함수(derivative)'—즉, 출력이 입력의 변화에 얼마나 민감한지를 측정하는 척도—는 너무 작게 유지되었습니다. 이러한 민도 부족은 기계의 출력이 너무 예측 가능하다는 것을 의미합니다. 출력은 진정으로 무작위적인 기계가 만들어낼 법한 거칠고 혼돈스러운 분포로 퍼지지 않고, 하나의 평균적인 행동 주변에 집중됩니다.

이를 구체화하기 위해, 연구자는 '공통-하르 함수형 상태(common-Haar function-like state)' 오라클을 사용하는 특정 시나리오를 구성했습니다. 이것은 무작위 양자 상태를 공급하는 이론적인 도구입니다. 이 시나리오에서 연구자는 이 도구를 사용하여 무작위해 보이는 상태를 성공적으로 생성할 수는 있지만, 그 상태들을 사용하여 무작위 섞기 기계를 구축하려는 모든 시도는 실패할 것임을 보여주었습니다. 결과적으로 만들어진 기계는 항상 영리한 관찰자가 진정으로 무작위적인 것과 구별할 수 있는 방식으로 행동할 것입니다. 관찰자는 기계의 행동이 너무 집중되어 있고, 너무 매끄러우며, 필요한 혼돈적 변동성이 부족하기 때문에 그 기계가 진정으로 무작위적이지 않다는 것을 감지할 수 있습니다.

이 연구는 또한 잠재적인 허점을 다루었습니다. 비판론자들은 기계가 얼마나 많은 추가 메모리를 사용할 수 있는지에 제한되어 있기 때문에 실패가 발생하는 것이라고 주장할 수 있습니다. 아마도 기계가 방대한 양의 추가 공간을 사용할 수 있게 된다면, 이 평탄함을 극복할 수 있을지도 모릅니다. 한 연구원의 증명은 이를 명시적으로 배제합니다. 이 분리는 기계가 임의의 수의 추가 메모리 단위를 사용할 수 있고, 심지어 불완전하거나 비유니터리(non-unitary)할 수 있는 경우에도 유효합니다. 근본적인 차이는 여전히 존재합니다. 즉, 무작위 상태를 생성하는 능력은 무작위 변환을 수행하는 능력을 함의하지 않습니다.

이 결과는 양자 암호학의 미래에 중요한 시사점을 줍니다. 수년 동안 연구자들은 이러한 서로 다른 유형의 무작위성을 서로 연결함으로써 보안 양자 시스템을 구축하려고 노력해 왔으며, 하나가 존재한다면 다른 것들도 따라올 것이라고 가정해 왔습니다. 이 새로운 발견은 양자 보안 시스템을 구축하는 경로가 이전에 생각했던 것보다 더 파편화되어 있음을 시사합니다. 이는 진정으로 안전한 양자 자물쇠를 만들기 위해서 우리가 단순히 무작위 상태를 생성하는 도구에만 의존해서는 안 된다는 것을 의미합니다. 우리는 우리의 데이터를 보호하는 무작위 변환을 만들기 위한 완전히 새로운 방법들을 찾아야 합니다.

또한 이 연구는 양자 상태를 준비하는 것과 양자 연산을 수행하는 것 사이의 더 깊은 차이점을 강조합니다. 양자의 세계에서, 특정한 무작위해 보이는 구성을 만드는 것은 무작위한 구성을 재배열할 수 있는 기계를 만드는 것과는 근본적으로 다른 작업입니다. 논문은 이것들이 동일한 과정의 다른 단계가 아니라, 서로 다른 자원을 요구하는 별개의 능력임을 입증합니다. 이러한 구분은 사소한 기술적 문제가 아닙니다. 이는 양자 정보가 어떻게 작동하는지에 대한 근본적인 특징입니다.

이 연구는 이러한 양자 사상(map)의 도함수를 분석하는 기법을 사용하여, 양자 무작위성의 구조를 바라보는 새로운 방법을 제시했습니다. 양자 알고리즘의 구축을 기하학적 문제로 취급하는 이 접근 방식은 양자 컴퓨터가 할 수 있는 일의 한계를 연구하기 위한 강력한 새로운 렌즈를 제공합니다. 이는 양자 정보를 조작하는 방식에 내재된 기하학적 제약이 존재하며, 이러한 제약이 한 유형의 무작위성이 다른 유형으로부터 생성되는 것을 막는다는 것을 시사합니다.

이 연구는 양자 의사 난수성이 불가능하다고 주장하는 것이 아닙니다. 반대로, 이러한 도구들이 존재함을 확인합니다. 다만, 그 힘의 경계를 명확히 합니다. 이는 한 유형의 양자 무작위성의 존재가 다른 유형의 존재를 보장하지 않는다는 것을 알려줍니다. 이러한 명확성은 차세대 양자 기술을 구축하는 데 필수적입니다. 이는 연구자들이 무엇을 만들 수 있고 무엇을 만들 수 없는지에 대해 더 정밀해지도록 강요하며, 양자 보안의 토대가 불확실한 가정 위에 세워지지 않도록 보장합니다.

결국, 이 논문은 단순한 계층 구조보다 더 복잡하고 미묘한 양자 가능성의 풍경을 드러냅니다. 이는 양자 세계가 하나의 도구를 다른 도구로 쉽게 변환할 수 있는 단일하고 통일된 구조가 아님을 보여줍니다. 대신, 양자 세계는 각기 자신만의 규칙과 한계를 가진 별개의 영역들의 집합입니다. 무작위 상태를 생성하는 능력은 하나의 영역이고, 무작위 변환을 수행하는 능력은 또 다른 영역입니다. 멀리서 보면 비슷해 보일 수 있지만, 이들은 단순히 더 많은 메모리를 추가하거나 더 복잡한 회로를 사용한다고 해서 메울 수 없는 깊은 수학적 심연에 의해 분리되어 있습니다. 이 발견은 양자 컴퓨팅의 미래를 위한 더 명확한 지도를 제공하며, 연구자들이 적절한 작업에 적절한 도구를 사용하도록 안내하고, 하나의 솔루션이 모든 문제를 해결할 수 있다는 헛된 희망으로부터 벗어나게 합니다.