← AI·컴퓨팅과학연구본부
양자컴퓨팅연구센터
양자 어닐링, 변분 양자 고유값 솔버(VQE), Qiskit·Cirq 기반 양자머신러닝 등 양자 알고리즘을 탐구하여 지구물리 역산과 저류층 시뮬레이션의 최적화 문제, 즉 탄성파 역산·주시 토모그래피와 같은 NP-난해 문제를 다룬다.
연구분야 15
⚙️ 양자알고리즘과 양자튜링머신
양자알고리즘 이론은 중첩·간섭·얽힘을 활용해 문제를 푸는 계산 절차를 설계하고, 그것이 실행되는 기계 모형을 규정하는 분야다. 폴 베니오프(Paul Benioff…
♨️ 양자정보이론과 계산의 열역학
계산의 열역학(thermodynamics of computation)은 정보처리의 물리적 비용을 연구하는 분야로, 한 비트의 정보를 지울 때 최소한 kT ln 2…
🛡️ 양자오류정정과 부호이론
부호이론(coding theory)은 정보에 구조적 중복을 더해 메시지를 훼손한 오류를 탐지· 정정할 수 있게 하는 분야이고, 양자오류정정은 취약한 큐비트를 위해…
🏔️ 양자어닐링과 단열양자컴퓨팅
양자어닐링(quantum annealing)은 최적화 문제의 목적함수를 양자계의 에너지 지형으로 부호화하고, 그 저에너지 상태로 이완시켜 문제를 푸는 기술이다. …
🎯 변분법과 양자화학 시뮬레이션
변분법(variational method)은 다루기 힘든 고유값 문제의 해를 다루기 쉬운 시행상태 집합 위에서의 최소화로 근사하는 방법이다. 발터 리츠(Walth…
🌀 양자머신러닝을 위한 힐베르트공간 형식체계
힐베르트공간 형식체계는 양자상태를 완비 내적공간의 벡터로, 물리 과정을 그 위에 작용하는 노름보존 선형연산자로 다루는 수학이다. 양자머신러닝은 이 형식체계를 두 …
🔐 양자암호와 양자키분배
양자암호는 보증이 계산적 난해함이 아니라 물리법칙에서 나오는 보안 프로토콜을 만드는 분야다. 스티븐 위스너(Stephen Wiesner)의 켤레부호화(conjug…
⛓️ 양자얽힘이론과 비국소성
얽힘이론(entanglement theory)은 부분계 상태의 곱으로 쓸 수 없는 합성계의 양자상태를 연구한다. 어느 부분계도 자기만의 확정된 순수상태를 갖지 않…
🧊 초전도 물리적 큐비트 구현
초전도 큐비트 구현은 양자정보의 물리적 담지자를 초전도 회로로 만드는 분야다. 조지프슨 접합이 공급하는 비선형성이 공진 회로를 주소 지정 가능한 2준위계를 가진 …
🔀 양자게이트모델과 양자상태 형식체계
양자게이트모델은 계산을 상태벡터에 작용하는 유니터리 연산자, 곧 게이트의 회로로 표현하고 측정을 최종 판독으로 삼는다. 그 수학적 옷은 폴 디랙(Paul Dira…
🌌 물리계의 양자시뮬레이션
양자시뮬레이션은 하나의 제어 가능한 양자계로 다른 양자계의 행동을 재현하는 기술로, 자연이 양자역학적이므로 양자 기계가 이 일에 자연스럽고, 증명된 바로는 효율적…
📐 양자복잡도이론의 기초
복잡도이론은 계산 문제를 해결에 필요한 자원, 시간·기억·무작위성에 따라 분류하고, 양자복잡도이론은 이 분류를 진폭을 진화시키는 기계로 확장한다. 그 기반은 19…
📉 양자-고전 하이브리드 최적화 알고리즘
하이브리드 양자-고전 최적화 알고리즘은 양자 처리기가 상태를 준비하고 목적함수값을 추정하는 동안 고전 최적화기가 제어 매개변수를 갱신하는 고리를 돌린다. 그 설계…
⚛️ 양자화학과 분자결합 시뮬레이션
양자화학은 양자역학을 분자에 적용하여 전자구조·결합·반응성을 제일원리에서 계산하는 분야로, 분자 해밀토니언의 전자 슈뢰딩거 방정식을 근사적으로 푼다. 창립 행위는…
🧿 양자신경망을 위한 양자측정이론
양자측정이론은 양자계에서 고전정보가 어떻게 추출되는지를 기술한다. 관측량은 고유값이 가능한 결과이고 기댓값이 반복 측정의 장기 평균인 에르미트 연산자로 표현되며,…