지은이의말
이책에서는양자계산및양자정보분야의주요아이디어와기법을소개한다.이분야가빠르게발전하는데다가여러학문이관련돼있기때문에처음입문한이들은이분야의중요기술과결과에대해전체적인윤곽을잡기가어려웠다.따라서이책의목적은두가지다.첫째,양자계산및양자정보를이해하는데필요한컴퓨터과학,수학,물리학의배경지식을소개한다.이는3가지분야중하나이상에서대학원초년생과그이상의배경을가진독자가이해할수있는수준으로진행된다.가장중요한사항은수학에능숙해야하고양자계산및양자정보에대해배우려는의지가있어야한다.
이책의두번째목적은양자계산및양자정보의핵심결과를세부적으로발전시키는것이다.독자는철저한학습을통해일반교육의일부분으로써,또는양자계산및양자정보에대한독자적연구의준비로써이흥미진진한분야의근본적인도구와결과에대한실질적지식을발전시켜야한다
옮긴이의말
이책은2000년처음출간되고2010년에10주년기념판으로재발간됐다.이제출간된지22년만에이번역판을국내독자에게선보이게됐다.22년이지났다고하면하루하루새로운정보와신기술이쏟아지는현재의상황에서는구식으로느끼기에충분하다.하지만이책은여전히양자계산및양자정보분야의바이블로대우받고있다.세월이많이흘렀어도이책의가치가떨어지지않는이유를알려면이책이나온시기의상황을살필필요가있다.
양자역학이1920년대부터1930년대에걸쳐격동의세월을보냈다면양자컴퓨팅은1990년대에격동기를겪었다.1993년IBM에근무하던찰스베넷박사그룹이얽힘상태를이용해양자텔레포테이션개념을이론적으로확립했다.1994년에는피터쇼어박사가‘쇼어알고리듬’을발표해사회에강한충격을주었다.현재우리가사용하는RSA암호체계가결코안전하지않다는것을보여준큰사건이었다.또한쇼어박사는같은해에오류증후군측정방식을통해얽힘상태를이용하면양자컴퓨팅에서오류정정이가능하다는것도밝혀냈다.1996년에는벨연구소의연구원이었던롭그로버가‘그로버알고리듬’을발표해탐색문제의시간을크게단축시키면서양자컴퓨터가고전컴퓨터를넘어설수있다는확신을줬다.1997년에는인스부르크대학교의차일링거교수그룹이4년전이론으로나왔던양자텔레포테이션개념을실험으로구현해냈다.이와같은격동기를거치며이책이집필된것이므로그때까지의생생한지식들을담아낸것이라볼수있다.현재의양자컴퓨팅기술은바로그지식들을딛고올라선것이다.따라서세월이지났어도이책은구식이아니라현재의기술을이해할수있는기본서가되는셈이다.
2021년11월에IBM이127큐비트‘이글(Eagle)’CPU를개발했다며양자컴퓨터에새이정표를세웠다는기사가인터넷에올라왔다.물론이큐비트수는물리적인큐비트수일뿐,논리큐비트수는아니라서실제정보처리량은훨씬줄어든다.예를들면1개큐비트의정보를처리할때오류정정을위해9개의큐비트를사용한다면127큐비트양자컴퓨터라도실제정보처리량은대략12큐비트양자컴퓨터의성능을발휘한게된다.노이즈가심하거나더욱정확성을기하려면오류정정에더많은큐비트를할당해야하므로기대한것보다훨씬못미치는성능을낼수도있다는얘기다.이는앞으로도개선의여지가크고그발전가능성은무궁무진하다고볼수있다.이런시기에양자컴퓨팅의명저를번역할수있어서무척기쁘다.출간22주년한국어기념판격인이번역서에는그동안원서에서보고된오류에대한정정사항을모두적용해넣었다.번역용어는이책을보는독자들이대개영문원서나영문논문을참조할것이므로영문용어를쉽게유추할수있거나그대로의용어를선택하고각주에그에대한교재용어를추가했다.한예를들자면,code와encoding에대해정보이론교재에서는‘부호’와‘부호화’라고번역하지만이책에서는‘코딩’과‘인코딩’으로원어그대로의용어를사용했다.각장의‘역사와추가자료’절에는역사와함께참고자료를체계적으로잘정리해둬독자들에게는보물을얻은느낌을주리라믿는다.역자는‘역사와추가자료’절만으로도행복한느낌을받는다.아무쪼록독자가이책을바탕으로우리나라의양자컴퓨팅발전에크게기여하기를바란다.
이책의구성
구체적인내용을먼저소개한뒤에좀더일반적인내용을설명하는방식으로,양자정보보다양자계산을먼저알아볼것이다.구체적인양자오류정정코드를먼저다룬뒤에좀더일반적인양자정보이론의결과들을설명한다.그리고책전반에걸쳐서예제를먼저소개한후,일반적인이론을전개하고자시도할것이다.
1부에서는양자계산및양자정보분야의주요아이디어와결과에대한전반적인개요를다루고양자계산및양자정보를깊이있게이해하는데필요한컴퓨터과학,수학,물리학의배경지식으로나아간다.1장은이분야의역사적발전과근본적인개념을알아보는개론장이며주요미해결문제를언급한다.여기지식은컴퓨터과학이나물리학배경없이도알수있게구성했다.좀더자세히알수있는배경지식은2장과3장에다루며,양자역학과컴퓨터과학의기본개념을깊이있게설명한다.자신의지식정도에따라1부의각장을집중적으로봐도되고,나중에양자역학및컴퓨터과학의기본지식에미흡한점이있을때다시1장에서3장을들춰봐도좋다.
2부에서는양자계산에관해자세히설명한다.4장에서는양자계산을수행하는데필요한근본요소에대해설명하고좀더정교한양자계산애플리케이션을개발하는데사용할수있는기초연산을많이제시한다.
5장과6장에서는현재2개의근본알고리듬으로알려진양자푸리에변환과양자탐색알고리듬에대해기술한다.5장에서는인수분해및이산대수문제를해결하기위해양자푸리에변환을사용하는방법과이들결과가암호기법에끼친중요성에대해서도설명한다.
7장에서는실험실에서성공적으로입증된몇가지실현사례를사용해양자컴퓨터의물리적구현을위한일반적인설계원칙과기준을설명한다.
3부는양자정보에관한것이다.양자정보란무엇인지,양자상태를사용해어떻게정보를표현하고전달하는지,양자정보및고전정보의손상을어떻게묘사하고처리하는지다룬다.
8장에서는현실적인양자정보처리를이해하는데필요한양자노이즈의특성그리고양자노이즈를이해하기위한강력한수학도구인양자연산형식체계에관해설명한다.
9장에서는양자정보에대한거리측도(distancemeasure)를설명하는데이는양자정보의두항목이유사하다고말하는것이무엇을의미하는지양적으로정밀하게알려준다.
10장에서는양자오류정정코드에대해설명하는데이코드를사용해노이즈영향으로부터양자계산을보호할수있다.10장의중요한성과는임계값정리(thresholdtheorem)인데,이정리는현실적인노이즈모델의경우노이즈는원칙적으로양자계산에심각한방해가되지않는다는것을보여준다.
11장에서는엔트로피의기본정보이론개념을소개하며고전정보이론과양자정보이론양쪽의많은엔트로피특성을설명한다.
마지막으로12장에서는양자상태와양자통신채널의정보전달특성에대해논의하며,고전정보및양자정보를전송할때와비밀정보를전송할때시스템이지닐수있는이상하고흥미로운특성을자세히설명한다.
많은확인문제와연습문제가포함하고있다.확인문제는기본지식을잘이해하게하며본문중에나온다.짧은시간내에풀수있을것이다.연습문제는각장의끝에나오며본문에서충분히다루지않은새롭고흥미로운지식을소개한다.연습문제는종종여러부분으로나누어져있으며,어느정도깊이있는사고력을요한다.어떤문제는이책이출판될당시미해결상태였다.이런문제에대해서는언급해놓았다.
부록1에서는기본정의,표기법그리고기본적인확률론의결과를알아본다.여기자료는독자에게익숙할것이며쉽게참조할수있게했다.
마찬가지로부록2에서는군론의기본개념들을알아보는데주로편의상포함시킨것이다.
부록3에는양자계산에있어서중요결과인솔로베이-키타예프(Solovay-Kitaev)정리에대한증명을넣었는데이증명으로양자게이트의유한집합을사용해임의의양자게이트를빠르게근사시킨다는것을알수있다.
부록4에서는인수분해및이산대수에관한양자알고리듬과RSA암호체계를이해하는데필요한정수론의기초자료를알아보고부록5에서는그암호체계자체를살펴본다.
부록6에서는리브(Lieb)정리를알아보는데,이정리는양자계산및양자정보에있어서가장중요한결과중하나이며유명한강한준가법성부등식(strongsubadditivityinequality)과같은중요엔트로피부등식의선구자역할을했다.솔로베이-키타예프정리와리브정리에관한증명은아주길어서본문과별개로취급하는게낫겠다고느꼈다.
추천의글
“현재“마이크와아이크(두저자의애칭)”의책은다른모든책과비교되는양자컴퓨팅교재가됐다.이분야의어떠한책도실험구현에서복잡도클래스에이르기까지그리고처치-튜링논제의철학적정당화에서브라/켓다루기의핵심에이르기까지그범위를완전히다루지않는다.내책상위에는귀퉁이가닳은이책이놓여있다.대각합거리(tracedistance)와충실도(fidelity)에대한부분만으로도내게는책가격의몇배나되는가치가있다.”
―스콧애론슨(ScottAaronson)/매사추세츠공과대학교
“양자정보처리는이론및실험양자물리학,컴퓨터과학,수학,양자공학그리고최근에는양자계측에이르기까지여러학문이관련된거대한분야가됐다.마이클닐슨과아이작추앙이집필한이책은여러면에서한시대의획을그었다.즉,기초과학에있어서광범위하면서도깊은이해의길을닦았고현재성장하고있는커뮤니티에서널리사용되는공통언어를소개하면서10년동안이분야의표준서가됐다.이분야가빠르게발전해왔지만10년이지난후에도이책은학생과학자모두에게이분야의기본입문서역할을하고있으므로이10주년기념판은장래의베스트셀러로남을것이다.이책에는양자계산및양자정보처리의기초가잘정리돼있으며,양자정보처리의바탕이된실험기술에대한개요도나와있다.이분야의급속한진전에비춰이책은여러학문이관련된고도의연구분야에들어서는사람들에게계속해서가치가있을것이며,그분야에서성장하는사람들을위한참고서가될것이다.이책은훌륭한책으로잘쓰여졌고훌륭한평가를받으며,실제로현장의모든사람에게필독서이기도하다.”
―라이너블랫(RainerBlatt)/인스부르크대학교
“닐슨과추앙의책은이글을쓰는와중에도평소와다름없이내옆에놓여있다.마이크와아이크가다룬자료는여전히잠재력이큰분야다.다른연구자가내게양자정보과학의중요한점에대해명확하게설명해달라고하면나는이책속에그내용이있다는것을기억하고는안도의한숨을내쉰다(내가할일은쉽다.그저그내용을전달하기만하면된다).”
―데이비드디빈센조(DavidDiVincenzo)/IBMT.J.왓슨연구센터
“양자정보과학에대해알고싶은것이있거나생각나게하는것이있다면,아이크와마이크가집필한이종합개론서를살펴보기만하면된다.여러분이전문가든학생든평범한독자든유용하고잘제시된정보를담은이보물상자를잘활용하기를바란다.”
―아르투르에커트(ArturEkert)/옥스퍼드대학교수학연구소
“『해리포터』를읽은아이라면바른말을하거나옳은일을할때멋진일이일어난다고믿는다.그러나어른도그렇게생각할까?마찬가지로1990년대초반에양자계산및양자정보가나올때까지는이것들을믿는이들이거의없었다.양자컴퓨터는현세기에존재하는마법사의돌이며닐슨과추앙책은우리의기본마법서가됐다.출간이후10년이지난지금까지도이분야의기본서로자리잡고있다.사물에의문을품으면놀라운사실을알게되지만그보다먼저사물의언어를이해해야한다.그이후로닐슨과추앙의책처럼양자이론을가능케하는언어를가르치는책은없었다(이전에도없었지만말이다).”
―크리스푹스(ChrisFuchs)/페리미터이론물리학연구소
“닐슨과추앙의책은양자정보분야의바이블이다.10년전에
