추가 적립 안내

이론 물리학의 영역에 있던 양자역학이 양자 컴퓨팅과 양자 정보 이론으로 연결되는 과정을 알려주는 책이다. 물리학 전문 용어 사용을 자제하고, 문답 형식을 통해 이론이 적용되는 방식을 구체적으로 제시한다. 상세한 설명과 함께 실제 계산이 진행되는 과정을 확인해 양자역학 및 양자 컴퓨팅의 기본 원리에 이해를 높일 수 있다.

★ 이 책에서 다루는 내용 ★

■ 양자역학
■ 양자 컴퓨테이션
■ 순간 이동
■ 양자 암호학
■ 양자 얽힘
■ 양자 알고리즘
■ 오류 보정

★ 이 책의 대상 독자 ★

양자 컴퓨팅의 기본 원리를 이해하는 데 필요한 모든 내용을 수록했다.
양자 컴퓨팅을 이론 물리학의 영역에서 끌어내 양자 컴퓨팅이나 양자 정보 이론을 배운 적이 없는 학생이나 컴퓨터 과학 전공자, 프로그래머, 전기 공학자, 수학자, 물리학과 학생, 화학자 등의 전문가에게 기본 원리를 가르쳐준다. 전형적인 물리학 서적이 사용하는 전문 용어의 관습을 깨고, 좀 더 친숙한 ‘어떻게’라는 고유한 대화 스타일로 원리를 소개한다. 상세한 설명과 함께 계산 방법을 배운 후 그다음에 설명하는 기본 원리의 감을 잡을 수 있을 것이다.
수많은 사례를 통해 양자 컴퓨팅이 어떻게 진행되는지 눈으로 확인할 수 있고, 각 장의 연습문제를 풀어 보며 이해 수준을 확인함으로써 완벽하게 학습할 수 있다.
전공자와 대학원생에게는 최근 연구 논문을 이해하고, 좀 더 수준 높은 양자 이론을 공부 하는 데 필요한 양자 컴퓨팅의 기본 원리를 습득할 수 있는 이상적인 책이다

★ 옮긴이의 말 ★

어느덧 80년대 영화 〈백 투더 퓨처〉의 미래 시기인 2015년이 지났고, 애니메이션 〈2020년 우주의 원더키디〉에서 아이캔이 아버지를 구하러 떠났던 2020년을 맞이하는 시점에서, 먼 미래라면 가능하지 않을까 막연히 생각했던 당시의 상상력을 돌아봅니다. 아직 우리 집 차는 하늘을 날지 못하고, 인류는 태양계를 벗어나 본 적이 없지만, 막연하던 상상이 현실이 된 부분도 많습니다.
벽걸이 TV, 디지털 카메라, 지문 인식 결제, 드론 등은 이미 주변에서 쉽게 접할 수 있습니다. 또한 쉽게 상상하지 못했던 일이 실현되기도 했습니다.
인공지능이 바둑으로 인간을 이기는 날이 왔고, 구글은 무려 53큐비트 양자 컴퓨터를 만들어 양자 우위를 실증했습니다. 수많은 과학자, 공학자의 노력으로 여러 아이디어가 공상의 영역에서 상상을 거쳐 현실로 다가오고 있습니다. 그럼에도 양자 컴퓨터는 여전히 그 기반인 양자역학의 난해함으로 인해 동작 방식을 이해하기 쉽지 않습니다. 양자역학이 우리에게 익숙한 고전역학의 직관을 흔들기 때문에 양자 컴퓨터 역시 새로운 방식의 이해를 요구합니다.
이 책은 구체적 문제 풀이 과정을 통해 양자 컴퓨터의 이론적 기반이 되는 양자역학이 실제 어떤 의미를 갖는지 그리고 양자역학의 특성을 어떻게 활용하면 연산 결과를 얻어낼 수 있는지 알아봅니다. 아무래도 양자역학의 내용을 많이 다루고 있어 수식이 많이 등장합니다. 대신에 과정을 최대한 상세히 설명해서 이해를 높이는 데 주력합니다.
이 책이 양자 컴퓨터와 그 바탕이 되는 양자역학을 이해하는 데 조금이나마 도움이 되기를 바랍니다.

1장. 정보 이론 입문
__고전적 정보 개념
__신호에 들어 있는 정보의 내용
__엔트로피와 섀넌의 정보 이론
__확률론 기초

2장. 큐비트와 양자 상태
__큐비트
__벡터 공간
__벡터의 선형 조합
__생성 집합의 유일성
__기저와 차원
__내적
__직교 정규성
__그람-슈미트 직교화
__브라-켓 형식
__코시-슈바르츠 부등식과 삼각 부등식
__정리

3장. 행렬과 연산자
__관찰 값
__파울리 연산자
__외적
__닫힌 관계
__연산자의 행렬 표현
__외적과 행렬 표현
__2차원 공간에서의 연산자 행렬 표현
____정의: 파울리 행렬
__에르미트 연산자, 유니타리 연산자, 정규 연산자
____정의: 에르미트 연산자
____정의: 유니타리 연산자
____정의: 정규 연산자
__고윳값과 고유 벡터
____특성 방정식
__스펙트럼 분해
__연산자의 대각합
__대각합의 중요 속성
__연산자의 기댓값
____연산자 함수
____유니타리 변환
__투영 연산자
__양수 연산자
__교환자 연산
__하이젠베르크 불확정성 원리
__극분해와 특이값
__양자역학의 공준
____공준 1: 체계의 상태
____공준 2: 연산자로 표현하는 관찰량
____공준 3: 측정
____공준 4: 계의 시간 변화

4장. 텐서곱
__양자역학의 복합 상태 표현
__내적 계산
__열 벡터의 텐서곱
__연산자와 텐서곱
__행렬의 텐서곱
__연습 문제

5장. 밀도 연산자
__순수 상태의 밀도 연산자
____정의: 순수 상태의 밀도 연산자
____정의: 밀도 연산자를 이용한 기댓값 계산
____밀도 연산자의 시간 변화
____정의: 밀도 연산자의 시간 변화
__혼합 상태의 밀도 연산자
__밀도 연산자의 주요 특징
____기댓값
____주어진 측정 결과를 얻을 확률
__혼합 상태의 특징
____주어진 상태의 앙상블에서 원소를 발견할 확률
____완전 혼합 상태
__부분 대각합과 축소 밀도 연산자
__밀도 연산자와 블로흐 벡터
__연습 문제

6장. 양자 측정 이론
__양자 상태 구별과 측정
__투영 측정
__복합 체계 측정
__측정의 일반화
__양성 연산자 값 측정(POVM)

7장. 얽힘
__벨의 정리
__이분할 체계와 벨 기저
__언제 얽힘 상태가 만들어지는가?
__파울리 표현식
__얽힘 충실도
__벨 상태를 이용한 밀도 연산자 표현
__슈미트 분해
__정제

8장. 양자 게이트와 양자 회로
__고전 컴퓨터의 논리 게이트
__단일 큐비트 게이트
__여러 가지 단일 큐비트 게이트
__거듭 제곱
__Z-Y 분해
__양자 회로도 기본
__제어 게이트
__게이트 분해

9장. 양자 알고리즘
__하다마드 게이트
__위상 게이트
__직렬 연산과 병렬 연산의 행렬 표현
__양자 간섭
__양자적 병렬성과 함수 계산
__도이치-요사 알고리즘
__양자 푸리에 변환
__위상 추정
__쇼어 알고리즘
__양자적 검색과 그루버 알고리즘

10장. 얽힘의 응용: 순간 이동과 고밀도 부호화
__순간 이동
____순간 이동 1단계: 앨리스와 밥이 얽힘 상태의 입자 쌍을 공유
____순간 이동 2단계: 앨리스가 CNOT 게이트를 적용
____순간 이동 3단계: 앨리스가 하다마드 게이트를 적용
____순간 이동 4단계: 앨리스가 자신의 입자를 측정
____순간 이동 5단계: 앨리스가 밥에게 고전적 통신 수단으로 자신의 측정 결과를 전달
__페레스 부분 전치 조건
__얽힘 교환
__고밀도 부호화

11장. 양자 암호학
__RSA 암호화 간단히 살펴보기
__양자 암호학 기초
__공격 : 제어 NOT 공격
__B92 규약
__E91 규약(EKERT)

12장. 양자 잡음과 오류 보정
__단일 큐비트 오류
__양자 연산과 크라우스 연산자
__편광 소멸 채널
__비트 전환 채널 및 위상 전환 채널
__진폭 감쇄
__위상 감쇄
__양자 오류 보정

13장. 양자 정보 이론의 도구
__복제 불가능성 정리
__대각합 거리
__충실도
__얽힘 형성과 동시성
__정보량과 엔트로피

14장. 단열 양자 컴퓨테이션
__단열 과정
__단열 양자 컴퓨테이션

15장. 클러스터 상태 양자 컴퓨테이션
__클러스터 상태
____클러스터 상태 준비
__인접 행렬
__안정자 상태
__첨언: 얽힘 입증
__클러스터 상태 처리