2026年7月12日日曜日

ピタゴラスの定理のアニメーション

 多くの人に馴染みがあるピタゴラスの定理(中学校では3平方の定理と呼ぶらしい)の証明は多数あります。ここでは、「ペリガルの分解」を使います。3辺のうち、2番目に長い辺bで作られる正方形の中心pを求め、それを通る直線を2本引く。1本目は、斜辺cと並行に。2本目は斜辺cと垂直になるように。それで決まる4個の四角形と辺aで作られる正方形からなる5個のピースを、並行移動により、斜辺cで作られる正方形に埋め込む。これだけですが、以下のアニメーションは不思議さが残り、楽しめるでしょう!
 東京理科大学の数学体験館には、ピタゴラスの定理を視覚的に示す動く模型があります。秋山仁教授も解説しています。上記とは少し方法は異なるようですが、似ています。
 なお、下図のようなGarfield(第20代米国大統領になった人)の方法もあります。上記のアニメーションの方法よりも(少し計算が必要ですが)直感的ですね。右側の台形の面積を2通りに計算してそれが等しいことを使ったものです。上記のペリガル分解では、図形の並行移動しか使っていませんが、このGarfieldは、図形の複製、回転、移動を使っている点が異なります。

    情報工学や量子コンピューティングでも、このような常設展示室を作って、触って、動かして理解できるようにすれば良いのではないかなあ。私自身は既に現職ではないので、作るとしたら"バーチャル体験館"になりますが、これまでの作品を見直して再構築も。ただし、何時になるは分かりませんが。例えば、以下のような過去記事などが候補です。


2026年7月1日水曜日

Experimental Quantum State Tomography Using SIC-POVM

 AbstractQuantum state tomography is a technique for determining an unknown quantum state. One approach to implementing it is through a Positive Operator-Valued Measure (POVM). In this method, many identical copies of an unknown quantum state are prepared and measured to reconstruct the state. A POVM provides a more general framework for quantum measurement than the standard projective measurement on an orthonormal basis. In this article, we implement a SIC-POVM, one particular class of POVMs, for a single qubit on an IBM Quantum processor (ibm_kingston). The experimental results demonstrate that several unknown quantum states can be reconstructed with high accuracy.

🟢 Overview of SIC-POVM
SIC-POVM stands for "Symmetric Informationally Complete Positive Operator-Valued Measure". The general theory of POVMs is described in References [1], [2], and [3], while Reference [3] provides a detailed discussion of SIC-POVMs. For a quantum system of dimension d, a SIC-POVM consists of d2 projection operators,  
        E= |ψi><ψi|/d
and  satisfies the following formula:
        |<ψij>|= 1/(d+1)   (i ≠ j)
Here, |ψi> represents a pure quantum state on the Bloch sphere.

For a single qubit (d = 2), the SIC-POVM consists of four state vectors. The squared inner product between any pair of distinct vectors is therefore 1/3. A specific example is shown in Fig.1. For convenience, it is customary to choose the first state as |ψ1> = |0>, and the four vertices corresponding to these state vectors form a geometrically elegant regular tetrahedron inscribed in the Bloch sphere.


🟢 Implementing Quantum State Tomography
An unknown quantum state cannot be reconstructed using only the conventional Z-basis measurement. For example, if measurements along the Z axis yield |0> and |1> with equal probabilities of 50%, multiple quantum states are consistent with those results. Additional measurements along the X and Y axes are therefore required.

A SIC-POVM, in contrast, can be regarded as a special measurement device with four output channels. When a large number of identical copies of an unknown qubit are sent into this device, each output channel records a certain number of detection events. The relative frequencies (probability distribution) represent the overlap between the unknown quantum state and each of the four SIC-POVM state vectors. If the state corresponding to the i-th SIC-POVM element is denoted by |ψi>, the measurement probability becomes as follows:
        P= (1/2)|<ψi|Unknown state >|2

A particularly attractive feature of SIC-POVM tomography is that these four probabilities directly determine the Cartesian coordinates (X,Y,Z) of the unknown state on the Bloch sphere through the following equations:
X = √2(2P2 - P3 - P4)
Y = √6(P3 - P4)
Z = 4P1 - 1

🟢 Performing SIC-POVM Measurements on an IBM Quantum 
If a known quantum state is simply treated as an unknown one, reconstructing it using the SIC-POVM formulas presents no theoretical difficulty. Implementing the procedure on an actual quantum computer or a quantum circuit simulator, however, requires some additional consideration.

On a real quantum processor, the probability is not obtained by directly calculating the inner product between the state vector and a measurement vector. Instead, many identical copies of the quantum state are prepared and measured repeatedly. The measurement probabilities are then estimated from the observed frequencies according to Born's rule.

Most quantum computers, however, can perform only projective measurements in the computational (Z) basis. As shown in Fig. 1, three of the four SIC-POVM measurement directions point diagonally toward the southern hemisphere of the Bloch sphere rather than along the Z axis.

To overcome this limitation, an appropriate unitary rotation is applied immediately before measurement so that the desired SIC-POVM measurement direction is mapped onto the Z axis. A standard Z-basis measurement is then performed, yielding the measurement probability corresponding to that SIC-POVM element. The present experiment follows exactly this procedure.

🟢 Two Quantum States Treated as Unknown
In our experiment, the two known quantum states shown in Fig. 2 were deliberately treated as if they were unknown. Both are pure states located on the surface of the Bloch sphere. In Case 1, the state lies on the equator with a phase angle of 0. In Case 2, the state is located in the southern hemisphere with a phase angle of π/3. We expected that the state in Case 1 would be easier to reconstruct than that in Case 2.

It should be emphasized that the parameters used to define these "unknown" states (θ and φ) were not used anywhere in the reconstruction process. Only the four SIC-POVM measurement directions were used. Consequently, the same procedure would work equally well for a genuinely unknown input quantum state.

🟢 Reconstruction Results
Table1 summarizes the results obtained for both cases using the Qiskit simulator and the IBM Quantum processor (ibm_kingston). The table lists the Cartesian coordinates (X,Y,Z) of the original quantum states treated as unknown, together with the measured probabilities (P1, P2, P3, P4) obtained from both the simulator and the real quantum hardware.

The reconstructed Cartesian coordinates (X, Y, Z) deserve particular attention. As expected, the quantum state in Case 1 was reproduced almost perfectly by the IBM Quantum processor. The state in Case 2 was also reconstructed with a high degree of accuracy, demonstrating that SIC-POVM-based quantum state tomography can successfully identify unknown single-qubit states even on present-day quantum hardware.

【References on POVM】
[1] Peter Y. Lee, Huiwen Ji, Ran Cheng, "Quantum Computing and Information", 2nd Edition, Polaris QCI Publishing, 2025.
(especially, 3.5 Application to Quantum State Tomography, and Chapter12(Density Operators and Quantum Channels))

[2] Michael A. Nielsen and Isaac L. Chuang, "Quantum Computation and Quantum Information", Version 13, Cambridge University Press, 2023.
(2.2.6 POVM measurements)

[3] John Watrous, "General formulation of quantum information" in IBM Quantum Platform Learning.
https://quantum.cloud.ibm.com/learning/en/courses/general-formulation-of-quantum-information/general-measurements/introduction