2026年4月10日金曜日

Variational Quantum Algorithmによる幾何学的最適化

 量子コンピューティングによって、「アメーバ」のような形の閉曲線に内接する正五角形を見つけ出そう!(→英語版はこちらです。

🟠閉曲線の内接正五角形を探す
 どんな単純閉曲線の上にも、正方形の4頂点となる点の組が存在することが(一部の例外を除いて)、すでに証明されています。これは内接正方形問題として知られています。では、正方形ではなく、正五角形(およびそれ以上の角数の正多角形)は必ず存在するのか?実は、それは未だ数学的に明らかにされていないようです。ここでは、量子コンピューティングの手法によって、具体的にそのような5角形を探します。もちろん、数学的証明ではなく、数値的に一定の誤差の範囲内でそれを求めます。

🟠変分量子アルゴリズム(VQA)の応用
 今回は、量子・古典ハイブリッドアルゴリズムであるVQA (Variational Quantum Algorithm)を採用します。概要は以下のとおりです。

・Ansatz (量子回路): 
 5つの頂点を表す変数(その値は、曲線を一周する 0〜2π)を、量子回路の回転ゲート(Ryなど)のパラメータとします。
・コスト関数 (古典側): 
 5辺の長さが等しいこと(隣接する点間の距離の分散を最小化)と、5本の対角線の長さが等しいこと(対角線距離の分散を最小化)を表現します。
・最適化: 
 量子回路側からの勾配を要求しない、古典オプティマイザ(COBYLA等)を用いて、量子回路の期待値が最小(正五角形にできるだけ近づくよう)になるようパラメータを更新します。
・実装:
 Qiskit 2.xの Sampler を使い、量子回路の状態を座標に直接対応させ、Ansatzにより、5つの量子ビットの回転角θiを、曲線上のパラメータ tiとみなします。そして、古典側で、Samplerでの実測から、期待値の近似値、すなわち、得られた準位(状態)から現在の幾何学的配置を評価します。

 VQA以外に、QAOAという方法もあります。QAOAの方は曲線上の点を離散化して、そのうちの最適な5点の組み合わせを求めるのに対して、今回のVQAは「連続的な探索」に特徴があります。さらに詳しいことは、別記事で書きたいと思います。

🟠VQAの動作の可視化
 最初に、下図のアニメーションをご覧ください。閉曲線がアメーバのように動き回る中で、VQAは正五角形を追い続けている様子が分かります。これを眺めていると、量子アルゴリズムは、化学計算や金融最適化だけでなく、こうした純粋幾何学の探索においても強力なツールとなるように思えます。
 さらに、閉曲線を一つ固定して、VQAがどのように正五角形を探索しているかを見ることにします。以下のアニメーションがその一例です。
🟠VQAが求めてた正五角形の精度
 以下の図に、VQAで求めた、正三角形、正方形、正五角形の精度を示します。角数が増えると、次第に高精度を求めることが難しくなって行きます。それでも、右端の正五角形の場合、かなり高い精度になっています。具体的には、5つの辺の長さの平均値=1.096、標準偏差=0.00016でした。また、5つの対角線の長さについても、平均値=1.773、標準偏差=0.00043です。

🟠量子コンピュータ実機を使う場合
 今回は、Qiskitによるシミュレータでの実行でした。実機でもやってみたいのですが、無料ユーザ(Open Plan)はsession機能を使えないので、上記のような量子/古典ハイブリッドジョブをそのまま投入することができません。そのため、かなりの部分をシミュレータで実行して、それを利用して、最後の1回か2回程度の評価をジョブとして実機に投入する、などの工夫が必要になります。この件も、後日報告したいと思います。

Geometric Optimization with a Variational Quantum Algorithm

Let’s use quantum computing to find a regular pentagon inscribed in an “amoeba-shaped” closed curve! (→日本語版はこちらです

🟠 Searching for an Inscribed Regular Pentagon
It has already been proven (with some exceptions) that for any simple closed curve, there exists a set of four points that form a square. This is known as the inscribed square problem. But what about a regular pentagon—or regular polygons with even more sides? Do they always exist on any closed curve? In fact, this question has not yet been fully resolved in mathematics.
    In this article, instead of pursuing a formal proof, we take a computational approach. Using quantum computing techniques, we attempt to numerically find such a pentagon—within a certain tolerance of error.

🟠 Applying a Variational Quantum Algorithm (VQA)
We use a hybrid quantum-classical method known as a Variational Quantum Algorithm (VQA). The basic idea is as follows:

Ansatz (quantum circuit):
We represent the five vertices of the pentagon by parameters 𝑡𝑖∈[0,2π], which correspond to positions along the curve. These parameters are encoded as rotation angles (e.g., 𝑅𝑦 gates) in a quantum circuit.

Cost function (classical side):
We define a function that enforces the geometry of a regular pentagon:
All five edges should have equal length (minimize the variance of distances between adjacent points)
All five diagonals should also have equal length (minimize the variance of diagonal distances)

Optimization:
A gradient-free classical optimizer (such as COBYLA) updates the circuit parameters to minimize the cost function—i.e., to make the shape as close as possible to a regular pentagon.

Implementation:
Using the Qiskit 2.x Sampler, we interpret the quantum circuit state as geometric coordinates. The Ansatz produces five angles 𝜃𝑖, which are treated as curve parameters 𝑡𝑖. From measurement results, we estimate expectation values and evaluate the current geometric configuration on the classical side.

🟠 Why VQA (and not QAOA)?
Another approach would be QAOA (Quantum Approximate Optimization Algorithm). QAOA would discretize the curve and search for the best combination of five points. In contrast, VQA performs a continuous search over the curve. This continuous nature is a key advantage of VQA in this setting. I plan to discuss this distinction in more detail in a future article.

🟠 Visualizing the VQA Process
First, take a look at the animation below.
    As the closed curve moves and deforms like an amoeba, the VQA continuously tracks and updates the candidate pentagon. Watching this process, one gets the impression that quantum algorithms are not only useful for chemistry or finance, but also for exploring problems in pure geometry.
    Next, we fix a single closed curve and observe how the VQA searches for a regular pentagon. The following animation shows a representative example.
🟠 Accuracy of the Discovered Pentagon
The figure below shows the accuracy achieved by VQA for an equilateral triangle, square, and regular pentagon.
    As the number of sides increases, achieving high precision becomes more difficult. Nevertheless, the pentagon case still reaches a high level of accuracy. 

For the edges:
Mean edge length: 1.096
Standard deviation: 0.00016

For the diagonals:
Mean length: 1.773
Standard deviation: 0.00043

    These results indicate that the obtained shape is very close to a true regular pentagon.

🟠 Running on Real Quantum Hardware
In this work, all experiments were performed using the Qiskit simulator. Running this on real quantum hardware is more challenging. For example, under the free-tier Open Plan, session-based execution is not available. This makes it difficult to directly run hybrid quantum-classical loops like VQA. So, a practical workaround is:
Perform most of the optimization on a simulator, Then submit only the final few evaluations as jobs to real hardware. I plan to report on this approach in a future post.

2026年4月3日金曜日

利尻山に朝日と満月が同時に

 時々、全国何ヶ所かのライブカメラを楽しんでいます。そのうちのお気に入りの一つは北海道利尻山です。こちらのwebカメラです。本日の朝(2026-04-03の06:30頃)、珍しく、太陽と満月が、ちょうど山頂にはっきり現れているところに出会いました!
利尻山の朝日と満月(利尻町webカメラから引用)
 天候条件やカメラ更新タイミングもあり、こんな場面に出会うのは稀ですね。でも、この現象自体はそんなに珍しいものではなく、天文計算で出現は予測できるでしょう。実際、それをCharGPTに聞いてみたところ、以下の回答がありました。確かに、本日のこの現象とほぼ合致します。あと、2、3日は、早起きすれば楽しめそうです!

#実は、この翌日の4月4日(土)はダメでした。天文計算では[最良]との予測でしたが、日の出頃に分厚い雲に覆われたためです。ですから、上記写真は貴重な1枚となりました!

🌕 2026年「ベスト日程(利尻山)」(満月:4月2日)
 ■ 4月3日(金)
 日の出:約 05:13
 月の入り:約05:30〜05:40(推定)
 👉 約15〜25分 同時に見える
 👉 山頂+朝日+西空の月が成立

 ■ 4月4日(土)【★最良】
 日の出:約 05:11
 月の入り:06時台
 👉 約1時間近く同時に見える
 👉 撮影としては最も余裕あり

 ■ 4月5日(日)
 日の出:約 05:09
 月の入り:さらに遅い
 👉 月が高く残る
 👉 構図自由度が最大

2026年3月30日月曜日

Finding an inscribed rectangle using VQA (Variational Quantum Algorithm) No.2

This article is a continuation of the previous article.

We've created an animation showing how the inscribed rectangle is found. Enjoy!

Initially, it's a quadrilateral with a blue frame, but as it approaches a rectangle, the frame changes to orange. Finally, when it reaches a nearly perfect rectangle, the frame turns red.

この記事は、前回の記事の続編です。内接長方形が見つかるまでのアニメーションを作りました。おたのしみください!最初は青色枠の四辺形ですが、長方形に近づくとオレンジ色の枠になります。そして、最終的にほぼ完璧な長方形に至った場合は、赤色の枠になります。

Initial Guess
In Progress

Final Result

2026年3月29日日曜日

Finding an inscribed rectangle using VQA (Variational Quantum Algorithm)

Finding an inscribed rectangle using VQA (Variational Quantum Algorithm)

量子変分法で閉曲線の内接長方形を見つける

Abstract: For any simple closed curve, it is known that four points on the curve can form (at least one) rectangle. This was proven by Herbert Vaughan (1977). In this article, we numerically searched for such an inscribed rectangle using a Variational Quantum Algorithm (VQA). In many cases, a nearly perfect rectangle was found with only about 50 calls to the Ansatz.

     However, this does not mean that quantum methods are superior to classical methods. In fact, this problem can be solved classically as well, and it is merely an example problem to help understand quantum methods.

【要旨】どんな単純閉曲線においても、その上の4点で(少なくとも一つの)長方形を作れることが分かっている。これは、Herbert Vaughan(1977年)によって証明された。ここでは、そのような内接長方形を、量子変分法で求めた。多くの場合、Ansatzの呼び出し回数50回程度で、ほぼ完璧な長方形を見つけることができた。だが、これをもって、量子的方法が古典的方法に勝るとは言えない。実際、この問題は、古典的にも十分解けるものであり、量子方法を理解するための例題に過ぎない。

🟢An Intuitive Picture of the Existence Proof

Consider a chord AB on a simple closed curve (identifying AB with BA). As illustrated in Fig.1, each such chord corresponds one-to-one to a point on a Möbius strip (right panel), while the original closed curve corresponds to the boundary of the strip. Next, we construct a surface from these chords. As shown in Fig.2 (upper right), for each chord we take its midpoint and place a point above it whose height equals the length of the chord. Repeating this for all chords produces a surface in three-dimensional space. Points on this surface are again in one-to-one correspondence with points on the Möbius strip.
     Now consider mapping the boundary of the Möbius strip onto the base of this surface (i.e., the original curve). Due to the topology of the Möbius strip, it is unavoidable that two distinct points on the strip coincide under this mapping. Consequently, two points on the constructed surface (for example, the red and blue triangles in the figure) must also coincide somewhere. At such a coincidence, the corresponding four points on the curve form a rectangle.
     Although the full proof requires more rigor, this construction captures the essential idea behind the existence of an inscribed rectangle. The reference [1] and the video[2] were particularly helpful in understanding this argument.

🟢内接長方形が存在することの証明のイメージ
 Fig.1の左図の線分AB(線分BAと同一視する)は、右側のメビウスの帯上の点と1対1に対応づけられる。閉曲線はメビウスの帯の縁に対応する。
 さらに、Fig.2の右上の図は、そのような線分の中点において、その上方向に、高さが線分の長さとなる点を描いている。そのようにしてできる曲面上の点と、メビウスの帯の点がまた1対1に対応する。
 メビウスの縁の線を、この曲面の底辺(すなわち元の曲線)に当てはめる際、メビウス上のどれかの2点はどうしても重なってしまう。すなわち、曲面上の点(赤い三角と青い三角)も、どこかで必ず重なる。その場合に長方形を形成する。詳細は略すが、これが長方形存在証明のポイントである。こちらの資料[1]とこちらのビデオ[2]はとても参考になった。


🟢Finding an Inscribed Rectangle via a Variational Quantum Algorithm

Let us now attempt to find such rectangles using quantum computing. At first, one might consider applying Grover’s search. However, constructing a suitable Oracle that detects rectangles within a quantum circuit is currently impractical. Instead, we adopt a Variational Quantum Algorithm (VQA). This method does not evaluate whether a candidate is a solution, as in Grover's algorithm; instead, it guides the quantum state toward the configuration that is closest to a rectangle.
     A necessary and sufficient condition for two chords to form the diagonals of a rectangle is:(1)The two chords have equal length, and (2)Their midpoints coincide.
     We encode these conditions into a cost function and use VQA to minimize it. Some examples of a rectangle obtained via VQA are shown in Fig.3. The optimization method and Ansatz used in the computation are indicated at the top of the figure. Remarkably, with only about 50 Ansatz evaluations, the algorithm finds an almost perfect rectangle. 

🟢量子変分法で内接長方形を見つける
 任意の単純閉曲線において、そのような長方形を、量子コンピューティングで見つけよう。まず最初に、Groverの探索で見つけることを考えた。しかし、そのためのOracleを量子回路で作ることは、現状では困難と判断した。そこで、別の方法として、VQA(Variational Quantum Algoritm)を用いた。この方法は、Groverのように「解であるか否か」を判定するのではなく、「最も長方形に近い状態」に量子状態をガイドする。2つの線分が長方形を成すための必要十分条件は、(1)対角線となる線分の長さが一致し、かつ、(2)対角線の中点同士が重なることである。
 VQAで求めた長方形の例をFig.3に示した。VQAで使う最適化方法や、Ansatzの情報は図の上部に示した。Ansatzの呼び出しは、わずか50回程度で、ほぼ完璧な長方形が見つかった。
The animation showing how the rectangle is found is available here.
長方形が見つかるまでのアニメーションはこちらにあります。

References:

2026年3月19日木曜日

量子コンピューティングの学びに関する短い講演

 神奈川工科大学で「ITを活用した教育研究シンポジウム」(2026-3-18)が開催されました。今回は、第20回という記念すべきイベントとなりました。先進AIに関する、オーガナイズドセッションも設けられました。
中央左は、3Dプリンタによるロゴ(門田和雄教授ご提供)

 ここで、下図のタイトルで短い講演を行いました。量子力学100年、量子コンピューティング40年、量子クラウドサービス10年というこの時代。How Quantum Era Crept Up While You Were Busy Watching AI the Whole Year(年中AIに夢中になっている間に、量子の時代は忍び寄ってきた)という、SNS投稿もありました。私の今回の講演タイトルは、"AI時代に量子コンピューティングを学ぶ"というものです。
 大勢の方々に聴いていただき、ありがとうございました。短い時間ながら、以下のような質疑やコメントもありとても有意地でした。
-----------------------------------------------------------------
ある種のタンパク質に「量子もつれ」の電子対が作られる研究をしている。
数学が得意でない学生は、量子コンピューティングをどのように学ぶか。
初心者は量子コンピュータ実機を使うことに強い関心はあるのか。
量子カーネルによって、こんなにうまく分類できるものなのか。
-----------------------------------------------------------------

 誰かこの講演の写真を撮ってくれたかな、と思ってネットを調べたら、ここにありましたので、以下に引用させていただきます。

 この講演の練習用に作成したパワーポイントビデオは以下にあります。実講演とは若干異なりますが、大筋は変わりません。ご参考までに。

 以下に、いくつかのスライドを抜粋して載せます。




2026年3月14日土曜日

新刊洋書"Quantum Algorithms and Applications"に書評

 本日(2026-03-14)"量子アルゴリズムと応用"と題する分厚い専門書(洋書)が、下記の通り発売になりました。その中に、私のレビュー(書評)を載せていただきました。これだけの大著を完成させた著者のDr. Peter Y. Leeらに大いなる敬意を表したい。

書名:Quantum Algorithms and Applications
著者:Dr. Peter Y. Lee (Ph.D., Princeton University), Dr. Ran Cheng, Dr. Huiwen Ji
出版:Polaris QCI Publishing, March 2026(全630ページ)
販売:Amazon(ここです)

 上記は電子版(Kindle版)です。Kindle版の先頭50ページほどは無料でダウンロードできます。紙版は、分厚くなったためか、Vol.1とVol.2の2分冊になっているので、購入する場合は注意が必要です。
謝辞にも神奈川工科大学名を載せていただきました
書評を掲載していただきました
[小生の書評]
This book begins with a review of the fundamental concepts of quantum algorithms, followed by detailed explanations of key techniques such as the Quantum Fourier Transform (QFT) and Quantum Phase Estimation (QPE). It then bridges these foundations to Shor’s factoring algorithm. After demonstrating Shor’s algorithm through concrete examples, the discussion expands into the more general framework of Hidden Subgroup Problems.

The book also highlights the importance of Hamiltonian simulation, explaining time evolution as governed by the Schrödinger equation. And Variational algorithms based on Ansatz are treated with a rigor and depth that is particularly commendable.

Unlike many CS-oriented books, this book devotes substantial space to simulations in physics and chemistry. The Hamiltonian introduced earlier plays a central role here as well. In doing so, the book provides a concrete and efficient approach to simulating nature, staying true to the vision originally envisioned by Feynman.

In addition, readers can explore modern applications such as quantum optimization and quantum machine learning. Together with the other two volumes in the Scaffolding series, this book is likely to become a definitive reference in quantum computing for researchers, engineers, and students alike.

- Yamamoto Fujio
   Professor Emeritus, Kanagawa Institute of Technology, Japan

---------  和文 ---------
 本書は、先頭部分で、量子アルゴリズムの基本概念を復習し、続けて、量子フーリエ変換(QFT)や量子位相l推定(QPE)などの重要なアルゴリズムを詳しく説明している。それらを、Shorの因数分解アルゴリズムにつなげている。Shorのアルゴリズムについては、具体例を使って詳しく説明した後、それをさらに一般化する隠れ部分群問題(Hidden Subgroup problems)にまで言及している。

 また、ハミルトニアン(Hamiltonian simulation)の重要性を示し、シュレディンガー方程式に則って、それを時間発展させる説明が含まれる。Ansatz(パラメータ付き仮説量子回路)を使った変分アルゴリズム(Variational Algorithms)も丁寧に扱われているのは素晴らしい。

 他のコンピュータサイエンス寄りのテキストにはあまり出てこないような、物理と化学のシミュレーションにも多くのページを費やしている。その前に説明されていたハミルトニアンが、ここでも、うまく機能している。これは、まさに、ファインマン(Feynman)が当初構想したような自然界のシミュレーションを効率的に実現する具体的な方法を与えてくれる。

 これ以外に、量子最適化(Quantum Optimization)や量子機械学習(Quantum Machine Learning)など、最新の応用を知ることができる。この本を含む、Scaffoldingシリーズの3冊は、研究者、技術者、学生にとって、量子コンピューティングにおける新たなバイブルとなるであろう。

Fujio Yamamoto
Professor Emeritus, Kanagawa Institute of Technology, Japan
------------------------

2026年2月20日金曜日

App Inventorで鼻炎スプレイ噴射間隔管理アプリ

 本日(2026-2-20)以降、花粉飛散が増加するとのニュース。耳鼻科にかかっているが、あまり良くならない。そこで、どうしても、市販の即効性点鼻スプレイ(第2類医薬品)に頼る。しかし、常用は、組織を傷める傾向なので良くないと医者に言われた。実際、説明書にも、3時間以上間隔を空けて使用のこと、と記されている。

 でも、いつ噴射したか忘れてしまう。これまでは、ノートに書いて間隔を管理していたが、面倒になった。それなら、スマホアプリを作ればいいじゃないの?

 そうです、それに答えてくれのが、MT App Inventorです。今までの作成経験もあり、サクッとすぐに作れた。デザインにも少し気を配った。単機能だが、私にとって、これぞ実用アプリだ!
🔵簡単だが、以下の項目も含むので、初級演習課題、体験学習に向いているかも?

・電源を切っても、前回日時を保存するためのTinyDB
・2つの日時の間隔、x時間後の日時の計算のためのブロック
・噴射可能時間になった時に初めて[噴射]ボタンが表示される
・不用意に[噴射]ボタンが押されないように、long clickを活用
・WebViewerでリアルタイム花粉情報を表示(ウエザーニュース)
・初期設定をどうする
・拡張として:噴射経過をリストで表示するのも有用


2026年2月16日月曜日

量子カーネル(SVC法)ってどうなの?

【要旨】古典/量子カーネル(+SVC)の基本的な理解を深めるため、両者のクラス分け(分類)性能を比較した。現状では、多くの場合、古典カーネルが高い精度を示す。しかし、特殊なAd-hocデータに対しては、古典カーネルは対応できない反面、量子カーネルは完璧な分類結果を示した。ここに、量子カーネルの可能性を見ることができる。

🟢量子カーネルの概要
 まず、量子カーネルの概要を図1に示す。量子特性(重ね合せ、もつれ、位相、干渉)を生かしたFeature Mapと呼ばれる量子回路を用いることが特徴である。これによって、元の2次元データの座標を、高次元(この例では4次元)の量子状態ベクトルへ変換する。そして、その空間でのデータ間類似度を計算する。これも、量子回路で実行される。その情報とラベル情報を使って、古典的なSVC学習器を学習させる。

 Feature Mapにはいくつか種類があるが、ここでは、有名なZZFeature Mapというものを使う。その狙いは、一言で言えば、「古典的には表現困難な非線形の相関を捉える」ことである。従来の古典的な類似度の計算では、座標データが使われるが、このマッピングでは、座標データは量子の位相情報も埋め込んだ情報に変換されるので、位相の近似性も反映した学習となるはずである。
図1 量子カーネルの概要

🟢 実データ(金融 default)の分類
 金融defaultに関する実データ(Javier Mancilla Montero, PhDによる)の分類を試みる。ここに、1,000人の顧客の情報がある。各人には20個の調査項目の値とdefault(債務不履行)か否かのラベルが付いている。この生データは、20次元データなので、主成分分析により次元削減を行う。この例では2次元とした。Feature Mapでは、項目(特徴量)ごとに量子ビットが必要なため、そのようにするのが通例である。

 図2右上は、分類にかける状態である。その下に、古典カーネルによる分離結果を示した。精度0.94で、defaultか否かの境界線が引かれている。一方、その左に、量子カーネルによる結果がある。境界線はやや異なるが、量子カーネルの場合も同様に高い性能を示した。
図2 金融defaultの実データ1,000件の分類
 
 これ以外の実データセットとして(詳細は略すが)、腫瘍(特徴量30個)のサンプル569件がある。その良性 (Benign) /悪性 (Malignant) 分類問題でも、古典カーネル、量子カーネルとも精度0.90を超える結果出している。これらの分類問題では、長年の実績を持つ古典カーネルを使えば十分のように見える。しかし、全く新しい方法である量子カーネルも、実問題に対して同程度の分類性能を示したことは、注目すべきではないか。

🟢人工的なデータセット(Ad-hocデータ)の分類
 次に、量子カーネル(特に、ZZFeature Map)を評価するために作られたAd-hocデータセット(こちらを参照)で試みる。図3右上をご覧いただきたい。赤と青の点が、合計720個ランダムに散在している。だが、何か規則性もあるようだ。実際、データ点数を増やして行くと、赤青の市松模様に近づく。

 まず、これを古典カーネルで分類した。図3右下の通り、このような単純な境界線しか引くことができなかった。これでは、精度は50%台にとどまる。SVCのいくつかのパラメータを変更しても、ほとんどこれと変わらない。
図3 Ad-hocデータセットの古典カーネルによる分類

 次に、量子カーネルを適用した。その結果が図4である。図4右下の通り、正解率100%となる完璧な境界線が引かれた。その左側の図は、この境界線が引かれた時の、境界関数の山と谷の等高線をカラーで示したものである。
図4 Ad-hocデータセットの量子カーネルによる分類

 このデータセットは、ad-hocという名の通り、量子の空間(ヒルベルト空間)で綺麗に分離できるデータを、通常の2次元平面に写像して作ったものなので、当然、量子カーネルで完全に分離できたのである。

 そうであっても、この結果は、量子重ね合せ、位相、もつれを巧みに利用したZZFeature Mapの効果なのだと言える。特殊なデータセットではあるが、古典カーネルでは困難な、新たな領域を探求できる量子カーネルの可能性を示しているようだ!

2026年1月25日日曜日

ビジュアル観察:機械学習カーネル法と代数多様体の特異点解消

 少し大袈裟なタイトルかも知れない。「機械学習SVCにおけるカーネル法」と「代数多様体の特異点解消」の考え方に共通点があるように思われたので、ごく簡単な一例でその関係性をビジュアルに観察した。

🟢一般向け数学講座ビデオ
 きっかけは、石井志保子東大名誉教授による一般向け数学講座「代数多様体の爆発(Blow up)」 (こちらのYoutubeビデオ)を見たことである。易しく、とても分かりやすく、素晴らしいと感じた。この講座には、当然ながら、機械学習の話は出てこない。だが、小生が感じたことを以下に記したい。

🟢機械学習SVC(Support Vector Classifier)のカーネル法
 まず、Fig.1は、よく知られたSVCを利用する簡単な適用例である。Fig.1(a)は、ある曲線に載った2Dデータで、赤青にラベル付されている。ご覧の通り交差した配置なので、ここで、線形に"スパッ"と赤青にクラス分けすることはできない。しかし、カーネル法という方法で、2Dデータを高次元(この場合は3D)に持ち上げ、そこで学習させると、Fig.1(b)に示した緑色の平面で線形分離できるようになる。

🟢1次元代数多様体の特異点をBlowupで解消させる
 ここからは、上記の解説ビデオに基づく話になる。ただし、Fig.2とFig.3は小生が独自に作成したものである。
 簡単な1次元代数多様体をFig.2(a)に示した。原点が特異点になっていることに注意されたい。ここでは、機械学習のような分類問題ではなく、この特異点を解消して滑らかな曲線にしたい。そこで、Fig.2(b)に示すように、blowup(爆発)という方法で、曲線を2Dから3Dへ持ち上げる。すると、赤い点の特異点が青い点2つに分離されて、滑らかな曲線となる。
 このBlowupという方法をFig.3に示した。xy平面において、原点を通るあらゆる直線について、平面での傾きをZ軸の高さとして、そのまま持ち上げる方法である。
🟢カーネル法とBlowupの共通点
 上記に述べた2つは、データ分類のためのカーネル法と、特異点を解消するためのBlowupである。両者の目的は異なるが、「2Dデータを高次元へ持ち上げて問題を解決する」という共通のアイディアがあるように思われる。
 別の見方をすれば、(このビデオで言及されていたことだが)元々はある空間において、「明確に分類されていた」、あるいは「特異点のない滑らかな曲線であった」のだが、2Dへ写像したために、データのクラスが混在したり、どこかが潰れて特異点ができた。それを、元の空間へ戻して、本来の姿を復元させるという共通点があるのではないか。

🟢感 想 
 機械学習や量子コンピューティングは、数学の分野(多様体論や圏論など)とまだまだ深い関係がありそうだ。少しづつ馴染んで行きたいものである。
 また、別の話だが、Fig.1〜Fig.3を描くプログラムコードは、生成AI(GeminiやChatGPT)の助けを借りて、ほとんど自動的に素早く作ることができた。時代は変わったとつくづく思う次第である。