I am a professor emeritus of CS at Kanagawa Institute of Technology, Japan. Originally my specialty was parallel and distributed systems. My current interests include machine learning, natural language processing, creating mobile apps with MIT App Inventor, and quantum computing. In the web version of this blog, clicking the icon on the right (a plastic sphere) will take you to the "List of Quantum Computing Articles". - Fujio Yamamoto (for e-mail, add "@ieee.org" after "yamamotof")
2022年11月6日日曜日
Amazon AlexaとMIT App Inventorのコラボ
2022年11月4日金曜日
量子鍵配送プロトコルBB84をスマホアプリで確認
だが、実際には、Aliceは基底の量子状態ベクトルをBobに送信しているのでその盗聴の有無を確認しなければならない。そこで、両者はこの2n長のビット列の半分のn長のビット列を「暗号化しない通常通信」で送り合って、その一致度を確認する。もしも完全に一致すれば盗聴はないと言える。一方、その1/4が一致しなければ盗聴があったと言える。(そこでは、盗聴するにはその量子ビット(量子状態ベクトル)を測定する必要があり、そうすれば、Bobに送られるべき量子の状態は変化することを巧みに利用している。)
盗聴がないと分かった場合には、合致した2n長のビット列の残りの半分であるn長のビット列をキーとして安全に使える。(実際には2n長が合致しているのだが、上記通常通信により、そのうちの半分は他人に知られている可能性があるためである。)
2022年10月27日木曜日
「量子コンピューティングExpo2022秋」に参加
2日前まで量子物理の基本に関わるBellの定理に取り組んでいた。その発祥の地Belfast(北アイルランド)への旅行は当面無理だが、お馴染みの幕張メッセなら行ける。ということで、本日は一転して、そこで開催の実用指向「量子コンピューティングExpo」に参加した。でも、量子コンピューティングは実用レベルにあるのか?答えは大体分かっているだが、こんなに盛り上がっている状況を肌で感じ取りたい。
■量子コンピューティングExpo 2022秋(10/26-28、幕張メッセ)
まず、会場の雰囲気をご覧いただきたい。下図のように、他のいくつかのExpoとの同時開催なのでかなりの盛況。私は、今回は「量子コンピューティング」に絞って参加した。
量子関係の出展の数はあまり多くはないが、有力な機関が目につく。下図には、東北大学とBlueqat等のスペースが大きく見える。東北大学は実際にはシグマアイという量子ベンチャである。Blueqatも、湊雄一郎氏をトップとする国内で著名な量子ベンチャ。後述するが、「量子ICTフォーラム」という産学官の量子プロジェクトもあった。凸版印刷は、いくつかの量子応用を展示していた。カナダは、D-Waveやxanaduなどで量子の先進技術国と見做されているので、カナダ大使館も応援で出展したのだと思われる。
■量子アニーリングマシンと量子コンピュータ
色々と議論はあるのだが、量子アニーリングマシンは、量子コンピュータとは区別するのが一般的になってきた。量子コンピュータの方は、実用的にはまだまだだが、量子アニーリングの方はかなり実用が進んでいる面がある。例えば、前出のシグマアイ(東北大学)+凸版印刷は、下図のような物流業務の改善を量子アニーリングで推進しているとの展示を行い、注目されたようだ。
■量子コンピュータ(ゲート型)のシミュレータ
量子物理に基づく量子コンピュータの物理的、数学的定式化ほぼ完成しているのだが、実用的な量子コンピュータ(NISQではなく、誤り耐性の実機)を作り上げるにはまだまだ課題が山積している。だが、継続的に研究開発が進められていることも強く感じられた。一方、そのような実用化には時間がかかるので、それまでに、使いやすい、高性能な量子回路シミュレータを利用する動きも見られる。
量子回路シミュレータとしては、IBMのQiskitなどがあるが、今回展示されていたIQM Quantum ComputersのQniも独自の特徴を持つ。その最大のメリットは、一切の登録手続き無しに、いきなりWebブラウザを使って、量子回路(量子ゲートの組み合わせ)をビジュアルに構成して、シミュレーション結果をすぐに得られることだ。以下の図は、配布されていた「量子コンピューティング チートシート」である。恐らく誰でも、少し勉強すれば、これを頼りに基本的な量子回路を作り実行させることができる!
また、これとは別の方向として、nvidiaが開発している量子回路シミュレータA100がある。cuQuantumやQsimというシミュレータをもち、自社の強力なGPU技術で大規模な量子ビット数を扱う量子回路のシミュレーションを大幅に高速化させるとしている。
■誤り耐性の量子コンピュータの実現はいつなのか
Googleなどから、これに関するロードマップは発表されていて、2029年にそれを実現させるとのことである。ただし、その確実性については懐疑的な見方もある。国内では、例えば日立製作所では、すでに独自のCMOS Annealingマシンを世に出しているのだが、今回は、誤り耐性量子ゲート型も開発中であり、その実現は2050年付近とする旨の展示を出していた。この展示は、「量子ICTフォーラム」のブース内で行われていた。
これらの開発見通しについては、次に述べる中村泰信氏へのインタビュー記事が大変参考になるであろう。
■理化学研究所の中村泰信氏へのインタビュー記事
中村泰信氏は、世界で初めて「超伝導量子ビット」を開発し、その制御を実現したことで知られる。現在、理化学研究所量子コンピュータ研究センター長である。中村氏へのインタビューが載った「量子ICTフォーラム通信」が配布された。8ページに渡る詳細な記事だが、その内容が実に素晴らしい。今回、小生がこの量子コンピューティングExpoに参加して得た最大の成果は、この冊子を入手したこと、とさえ言えるのである。誤解などがあるかも知れないが、小生が特に感銘を受けた部分を、独断で以下にまとめた。
Q1:Googleは量子コンピュータの実用化を2029年と発表したが、国産機の実用化は2050年とされている点についてお考えは?
A1(中村氏):「2050年まで絶対にできない」のではない。だが、よその情報に安易に引きづられる形で前倒しするのではなく能動的に判断すべきだ。研究全体の動向を見ながら、ブレークスルーを起こすことを目標として、自分たちでできることを粛々とやっていく。
Q2:国産初の挑戦として、2022年度中に64量子ビット、次の段階で144量子ビットのものを出す計画だが、なぜ、自前で作っていく必要があるのですか?
A2(中村氏):他に先んじられたら「やらない」では、逸するものが多い。日本にも非常に優れた研究者技術者が大勢いる。自分たちで取り組むからこそ、現段階では想定されていないスピンオフや新しいブレークスルーが生まれ得る。
Q3:日本は基礎研究は先行しても社会実装では他国に負けるイメージがあるのですが...
A3(中村氏):「日本は駄目」「アメリカは良い」などと単純な結論に帰結したり、弱点ばかりに目を向けて悲観する必要はない。悲観的に考えてばかりだと何も解決しない。明るい側面を見ながら地道な努力を続けたい。目先に囚われずに、きちんと分野の基礎体力をつけることだ。
Q4:量子技術に関心を持つ企業の人々、研究したいと考えている学生へ向けたメッセージをお願いしたい。
A5(中村氏):特に学生にとって、社会的インパクトが莫大かつ未知の事柄に溢れている量子技術領域は、研究対象として非常に魅力的に映ると思う。一歩をぜひ踏み出して欲しい。企業の方々は、「もうしばらくしてから考えよう」と思うかも知れない。しかし、早いうちから勉強した者勝ちと言える。わずか1年でも景色が大きく変わる可能性がある。ぜひ、目を離さないでいただきたい。
■感想
この出張の帰り際に、久しぶりに厚木有隣堂書店に立ち寄った。2階のIT関連書棚には、AI、機械学習、Web、プログラミング関係の書籍がびっしり数千冊は陳列されている。しかし、その中に、「量子コンピュータ」関係はわずか十数冊しかなかった。だからと言って、大学の情報技術関係者が、「まだいいだろう。もしばらく放っておこう」では寂しい。上記の中村氏の言葉通りである。大学であれば、行き先不透明であろうとも、未だ底知れぬ可能性を秘めた量子情報の分野へ踏み込む人が増えることを期待したい。
2022年10月24日月曜日
"Bellの定理"という名前の北アイルランドの通り
2022年10月21日金曜日
著者に質問してみよう - 量子計算の基礎理論
私は、量子コンピュータの基礎理論を下記に示した英語の本で勉強しています。単なる教養としてではなく、高校数学の範囲で、厳密に式を使ってクリアに説明しているところが非常に気に入っています。易しい英語で貫かれています。
●ノーベル物理学賞2022の量子理論を高校数学で学ぶ
https://sparse-dense.blogspot.com/2022/10/2022.html
読み進めているうちに、ヤマ場となるEntanglement(量子もつれ)とBell's Inequality(Bellの不等式(の不成立))のところで、どうしても確認したい点が出てきました。著者のChris Bernhardt(米国Fairfield大学の数学の名誉教授)に質問したところ、直ちに回答してくれました。この世界、そういう文化になっているので、思いついたら質問するのがいいですね。
もしかすると、この本で勉強する人にとって、以下の応答は役立つかも知れないと考え掲載します。Prof. Chrisからは、メール応答文のブログ掲載に同意していただいています。
(あなたのブログはとても役立ちそうだ、と言っていただいたのも嬉しい。)
----------------
【山本より】
Hello Chris,
I am a Japanese reader of "Quantum Computing for Everyone".
This book is wonderful because it tries to explain difficult things clearly in high school mathematics.
I have a few questions regarding the Entangled Quantum Clocks on Page 68.
I think this is one of the most important parts of the book.
Thank you for your reply in advance.
Q1
I understand as follows, is it correct?
"There are two humans here (me and you), each with 100 clocks.
In other words, it is not the assumption that 100 people each have a watch."
Q2
Is the First scenario or the second scenario a fact that can be derived from the entangled state shown in the center of this page?
Or rather, if such a scenario were to hold, would it be considered as explained on page 69 below?
----------------
【Chrisより】
Hello Fujio,
You are correct that entanglement is one of the most important parts.
Q1. You are correct. There are 100 pairs of clocks. Each pair of clocks is entangled. For each pair, you have one and I have the other.
Q2. The entangled state shown corresponds to one pair of entangled clocks. As soon as one of us looks at a clock, the state immediately jumps to either
Both states are unentangled. We either both get YES or both get NO.
Our clocks are correlated, they always agree, but they don’t “decide” what the answer will be until one of us looks at (measures) our clock.
Hope this helps,
Chris
----------------
【山本より】
Dear Chris,
Thank you very much for your reply.
Your answer cleared my mind.
I totally understand!
This takes me to Chapter 5, "Bell's Inequality".
I have already featured this book of yours in my blog post.
It's in Japanese so you may not be able to read it, but here it is:
https://sparse-dense.blogspot.com/2022/10/2022.html
I hope my question and your answer will be useful to other readers.
May I publish this response as-is on my blog?
Add the following information:
A Japanese version of this book was already published by Yuichiro Minato et. al.
In the middle of p.68 of the English version, "and I have the hundred partners." was mistranslated as follows:
"suppose there are 100 people to be paired with me"
I quickly realized that it was a weird translation, but your answer made it clear.
----------------
【Chrisより】
Of course! The translation sounds a little strange. Your blog looks as though it could be very helpful.
----------------
【山本より】
Dear Chris,
With your answers to my previous questions, I was able to read and understand Chapter 5 Bell's Inequality. Just in case, I would like to confirm. I understood as below, is it correct?
In the classical model, the results of Alice's and Bob's agree at least 5/9 (=0.55) in the case of P.82. The existence of such a lower bound is called Bell's inequality.
On the other hand, in the Quantum theory model, both results agree exactly by half (=0.50). The difference between the classical model and the quantum model, that is, 0.55 not equal 0.50, is called Bell's inequality violation.
Best regards,
Fujio Yamamoto
----------------
【Chrisより】
Dear Fujio,
The classical model predicts the proportion of times the measurements agree to be at least 5/9. Quantum theory predicts 1/2. These two numbers are not equal — that’s Bell’s inequality. It means that we can perform experiments to determine which theory is incorrect.
All experiments performed so far, have agreed with quantum theory.
Chris
----------------
【山本より】
Dear Chris,
Thank you very much again for your reply.
The word "inequality" reminded me of ">" or "<", so I focused on the "lower limit" or "upper limit". Anyway, now I have a clear understanding.
I think your book can be divided into chapters 1 to 5 (Bell' Inequality) and chapters 6 onwards. The first half is basic theory and the second half is applied. I understand the first half almost perfectly, so I can work on the second half smoothly.
Incidentally, I was able to find a street in Belfast on Google Maps named "Bell's Theorem Crescent". Great!
----------------
【山本より】
Dear Chris
I really like your book on Quantum Computing and am studying.
I wrote a blog post to remind myself of what I've learned about Entanglement and the Ekert protocol.
#My understanding of the Quantum Key Distribution Protocol Ekerthttps://sparse-dense.blogspot.com/2022/11/my-understanding-of-quantum-key.html
Thanks for your wonderful book.
Regards,
Fujio
----------------
【Chrisより】
2022年10月10日月曜日
MIT App Inventor of the Month受賞5回の記録
前報で、過去6年間のブログ記事の分析を行いました。この中で、ダントツに"MIT App Inventor"の出現頻度が高いことが確認できました。確かにかなり入れ込んできました。しかしながら、「MIT App Inventorがあるからそれで何かを作ろう」としたことはありません。いつも、「こういうものを設計して作りたい」という発想が湧き、その実現にはMIT App Inventorが適している、という思いで取り組みました。
その中で、幸い、”MIT App Inventor of the Month”という賞をこれまで5回受賞することができました。守りに入る姿勢は取りたくないのですが、以下に、それらを纏めて記録しておくことは意味があると考えました。下図にあるような、出来上がったアプリのロゴをデザインするのも楽しいことでした。
Age doesn't matter, do what you believe in.
●先方からの講評とアプリの内容説明Webページ(英文)
(1)June 2019:Enjoy Reinforcement Learning in Tic-Tac-Toe
Retired Computer Science professor Fujio decided to make use of the new generic blocks in App Inventor to make this app where you can train the mobile device to play tic-tac-toe using reinforcement learning.
https://sparse-dense.blogspot.com/2019/05/enjoy-reinforcement-learning-in-tic-tac.html
(2)Dec 2019:My Live Camera
Retired computer science professor Fujio from Japan, created this fascinating app to access some of his favorite live cameras from across the world. You can enjoy real-time views of some amazing places such as Mount Fuji. We hope you will enjoy it as much as we did.
https://sparse-dense.blogspot.com/2019/11/enjoy-live-cameras-from-around-world-on.html
(3)March 2021:Enjoy finding out Hamiltonian cycles
Fujio Yamamoto is an emeritus professor from Japan who made this complex app that solves the Hamiltonian cycle problem for a given graph. It's complex yet comprehensive, and if you've ever wanted to learn about Hamiltonian cycles, this is a great place to start!
https://sparse-dense.blogspot.com/2021/02/enjoy-finding-out-hamiltonian-cycles.html
(4)Oct 2021:Running Q-Learning On Your Palm
Retired emeritus professor of Computer Science Fujio, from Japan, created this amazing app to explain the basic idea and mechanism of reinforcement learning (especially Q-Learning), which is a field of artificial intelligence. We needed some MIT students to help us understand the advanced ideas behind this app, and we are glad to see such deep ideas realized in App Inventor.
https://sparse-dense.blogspot.com/2021/08/enjoy-q-learning-with-simple-example.html
(5)Sept 2022:Noise Reduction QA
Professor Yamamoto from Japan has created this app that uses quantum annealing, a type of quantum computing, to reduce noise in images. The app, which runs on most mobile devices, lets you experience the processing of a quantum annealing machine that is different from existing computers. Dr. Yamamoto would like to thank Dr. Masanao Yamaoka of Hitachi, Ltd., who developed the CMOS annealing machine, for answering various technical questions.
https://sparse-dense.blogspot.com/2022/09/image-noise-reduction-based-on-quantum.html
●補足:もう一つ受賞していました-Thunkable Top Developer 2016
Elevator Fun / Make Your Own Version Elevator Fun was developed by Professor Fujio Yamamoto of Kanagawa Institute of Technology, Japan to encourage his students to develop their own Android apps rapidly. The app estimates the next arrival floor of an elevator using the acceleration sensor, aka accelerometer, equipped on each phone. The app detects the velocity profile, in particular, the length of a constant velocity section, which corresponds to the number of floors the elevator passes through during a trip. Since elevators have different speeds, you can calibrate the app with the actual performance of your elevator. Great for those living and working in tall buildings!
https://sparse-dense.blogspot.com/2017/01/android.html
































