Challenges
Datasets
Workspaces
Papers
Discussions
Leaderboard
Log inSign up
Challenges
Datasets
Workspaces
Papers
Discussions
Leaderboard
Blog
Job Board
Q3AS

© 2026 Aqora Quantum S.A.S.

TermsPrivacyLegal Notice

Symmetry Fixes the Ratios, Dynamics Fixes the Scale ── The Three Layers the Wigner-Eckart Theorem Separates: Forced Geometry, Measured Dynamics, Chosen Phase ── [Paper 140]

Yuuki Yamagishi

Published Aug 24, 2026• 0 citations
Publisher

Abstract

Symmetry fixes the ratios, dynamics fixes the scale - a census of the Wigner-Eckart theorem. The Wigner-Eckart theorem splits a matrix element of a tensor operator into a Clebsch-Gordan coefficient and a reduced matrix element. This paper writes that this split is not the corpus's split into convention and fact, and that there are in truth three layers, not two. NO NEW MATHEMATICAL THEOREM AND NO NEW PHYSICAL LAW IS CLAIMED. Wigner, Eckart, the Clebsch-Gordan coefficients and the Condon-Shortley phase convention are all standard. The coefficient values were computed here with sympy's Clebsch-Gordan implementation. First, the counting is the whole of the claim. The matrix elements run over three magnetic quantum numbers, so their number is fixed by the dimensions of the multiplets and the rank: twenty-seven when both angular momenta are one and the rank is one, twenty-four for three halves and one half at rank one, forty-five for two and one at rank one, and a hundred and twenty-five for two and two at rank two. The theorem collapses all of them to a single number. Everything else is a Clebsch-Gordan coefficient, a number the group decides. Second, the ratios are fixed with no free parameter. Computing all twenty-seven coefficients for the case where both angular momenta are one and the rank is one, six are nonzero, and each is the square root of two over two with one sign or the other. All are therefore fixed multiples of one another, and not one free parameter enters the ratios. Moreover a selection rule appears that could not have been anticipated. The coefficient with all three magnetic quantum numbers zero vanishes, so within the multiplet of angular momentum one the matrix element joining the two states of zero magnetic quantum number through the zero component of a vector operator is zero. It vanishes although the rule on magnetic quantum numbers is satisfied. Knowing only that rule, this zero cannot be predicted; the theorem gives not only which transitions are allowed but where an allowed one nevertheless vanishes. Third, the selection rules are the theorem's zero set. Listing the coefficients at zero magnetic quantum number for a rank-one tensor operator: from angular momentum zero to zero the coefficient vanishes and the transition is forbidden; from zero to one it is one and allowed; from one to two it is the square root of six over three and allowed; from one to three it vanishes and is forbidden. That a transition from zero to zero is forbidden for a vector operator is exactly the coefficient vanishing there. A selection rule is thus not an extra assumption but the statement about ratios read where the coefficient is zero; the rule and the ratio are one statement read in two places. One caution: from one to one the transition is allowed by the rule on angular momentum, yet the coefficient vanishes at zero magnetic quantum number. The rule about the angular momentum and the rule about the magnetic quantum number are separate statements (Paper 17). Fourth, and this is the core. There are three layers, not two. Multiplying the reduced matrix element by an arbitrary phase makes the individual matrix elements move with that phase while it cancels in every ratio (confirmed here symbolically). So there are three layers: the Clebsch-Gordan coefficient, a forced geometry decided by the group; the size of the reduced matrix element, a dynamics decided by measurement; and its phase and sign, a convention we choose (Condon-Shortley). What matters here is that what Wigner-Eckart separates is not convention from fact. The Clebsch-Gordan coefficient and the reduced matrix element are both facts, one decided by the group and the other by measurement, and the separator is not whether we chose it but what the answer depends on. The convention exists separately, as a third layer, and applying the corpus's dichotomy directly would miss it. Only the ratios reach observation, and the phase disappears there. Paper 112 called the roll on the shape in which a region is allotted and inside it there is freedom, across six distinct roots; here too the frame is allotted and only one number inside is free, though the address differs, there the freedom of states and here the freedom of a coupling strength. Fifth, the theorem gives no magnitude whatever. The reduced matrix element is entirely undetermined by symmetry, and the group says nothing about whether a transition is strong or weak; it says only how the strengths within a multiplet are related. The same shape appears here for a third time. Paper 129 said that the one half comes from mathematics and Planck's constant from physics, and Paper 131 that the natural logarithm of two is a convention while the temperature is physics. Here the ratios come from symmetry and the scale from dynamics. All three are the same shape: the form and the scale arrive from different places. This is not to say the result is light. That the ratios are completely fixed is itself a strong prediction: one measurement determines the whole multiplet, and a measurement departing from the ratios throws the symmetry assumption into doubt. The statement is shaped so as to be refutable. IMPORTANT (scope): a census of established standard material (Layer 2). Every work cited is standard. What is not claimed: any new mathematical theorem (there is none) / any new physical law (there is none) / that the Wigner-Eckart theorem is in error (it is not) / that symmetry is powerless (it is not; fixing every ratio is a strong prediction). What is added: making explicit that the symmetry-dynamics split is not the convention-fact split, counting the phase as a third layer, confirming the invariance of ratios symbolically, and exhibiting a selection rule invisible in advance. What remains: 'symmetry explains the spectrum' is half a sentence. What symmetry explains is the ratios within a multiplet and not the size of any one of them, and in reading a ratio one should check that the third layer, the phase, has cancelled. Only two of the three layers ever reach observation. On the making of this work: The ideas and content of this work stem from the author's own considerations. Assistance from an AI (a large language model) was used for structuring, English translation, and checking the algebra. Any remaining errors or misinterpretations are solely the author's. Feedback and corrections are sincerely appreciated. ----- 対称性は比を決め、力学は尺度を決める——ウィグナー=エッカートの定理の点呼。 ウィグナー=エッカートの定理は、テンソル演算子の行列要素をクレブシュ=ゴルダン係数と換算行列要素の積に分ける。本稿は、この分け方が体系の「規約と事実」の分け方とは別のものであること、そして実は層が三つあることを書く。新しい数学定理も新しい物理法則も主張しない。ウィグナー、エッカート、クレブシュ=ゴルダン係数、コンドン=ショートリーの位相規約は、いずれも標準的な内容である。係数の数値は sympy のクレブシュ=ゴルダン実装により本稿で計算した。 第一に、数の勘定が主張の全部である。行列要素は三つの磁気量子数で走るから、その総数は多重項の次元と階数から決まる。角運動量がどちらも 1、階数が 1 なら 27 個、二分の三と二分の一で階数 1 なら 24 個、2 と 1 で階数 1 なら 45 個、2 と 2 で階数 2 なら 125 個である。定理はそれらをすべて 1 個に潰す。残りはすべてクレブシュ=ゴルダン係数、すなわち群が決める数である。 第二に、比は自由な媒介変数なしに決まる。角運動量がどちらも 1、階数 1 の場合について 27 個の係数を計算したところ、非零は 6 個であり、いずれも二分のルート二とその符号を変えたものであった。すなわちすべてが互いの固定倍であり、比には自由な媒介変数が一つも入らない。さらに、あらかじめは見えない選択則が出てくる。三つの磁気量子数がすべてゼロのときの係数はゼロであり、したがって角運動量 1 の多重項の中で、磁気量子数ゼロの状態どうしをベクトル演算子のゼロ成分で結ぶ行列要素は消える。磁気量子数の規則は満たしているのに消えるのである。磁気量子数の規則だけを知っていても、この零点は予想できない。定理は「どれが許されるか」だけでなく「許されているのにゼロになるのはどこか」まで与えている。 第三に、選択則は定理の零集合である。階数 1 のテンソル演算子について磁気量子数ゼロでの係数を並べると、始状態も終状態も角運動量ゼロなら係数はゼロで禁止、ゼロから 1 なら 1 で許可、1 から 2 なら三分のルート六で許可、1 から 3 なら係数がゼロで禁止である。すなわち角運動量ゼロからゼロへの遷移がベクトル演算子で禁じられるのは、係数がそこでゼロだからである。選択則は追加の仮定ではない。それは比の言明を、係数がゼロになる場所で読んだものである。規則と比は同じ一つの言明であり、読む場所が違うだけである。ただし注意すべきことがある。1 から 1 の場合は角運動量の規則では許されているのに、磁気量子数ゼロでだけ係数が消える。角運動量についての規則と磁気量子数についての規則は、別の言明である(論文17)。 第四に、これが本稿の芯である。層は二つではなく三つある。換算行列要素に任意の位相を掛けると、個々の行列要素はその位相とともに動くが、比では位相が消える(本稿で記号計算により確認)。すなわち層は三つある——クレブシュ=ゴルダン係数は群が決める強制された幾何、換算行列要素の大きさは測定が決める力学、そしてその位相と符号はこちらが選ぶ規約(コンドン=ショートリー)である。ここで重要なのは、ウィグナー=エッカートが分けているのは「規約と事実」ではないということである。クレブシュ=ゴルダン係数も換算行列要素も、どちらも事実である——片方は群が決め、片方は測定が決める。分離子は「こちらが選んだかどうか」ではなく「答えが何に依存するか」である。そして規約は第三の層として、別に存在する。体系の二分法をそのまま当てると、この三つ目を見落とす。観測に出るのは比だけであり、位相はそこで消える。なお論文112 は「枠が配られ、中では自由」という形を六つの別根で点呼したが、ここでも枠は配られており、中の一つの数だけが自由である。ただし住所は違う——そこでの自由は状態の自由、ここでの自由は結合の強さである。 第五に、定理は大きさを一切与えない。換算行列要素は対称性によって全く決まらず、群はその遷移が強いか弱いかを一言も教えない。教えるのは多重項の中での強さの関係だけである。ここに同じ形が三度目に現れる。論文129 は二分の一は数学が出しプランク定数は物理が出すと述べ、論文131 は ln2 は規約で温度が物理だと述べた。本稿では、比は対称性が出し、尺度は力学が出す。三つとも「形と目盛りが別のところから来る」という同じ形である。ただしこれは軽い話ではない。比が完全に決まることは、それ自体が強い予言である。一つの測定が多重項の全部を決めるのであり、測定が比から外れれば対称性の仮定が疑われる——反証可能な形をしている。 重要(射程):確立された標準的事実の点呼(第2層)。挙げた文献はいずれも標準的な内容である。示さないこと:新しい数学定理(一つもない)/新しい物理法則(一つもない)/ウィグナー=エッカートの定理に誤りがあること(ない)/対称性が無力であること(無力ではない。比を完全に決めるのは強い予言である)。加えたもの:対称性と力学の分離が規約と事実の分離ではないと明示したこと、位相という第三層を数えたこと、比の不変性を記号計算で確かめたこと、あらかじめは見えない選択則を挙げたこと。残るもの:「対称性がスペクトルを説明する」は半分の文である。対称性が説明するのは多重項の中の比であって、そのどれ一つの大きさでもない。そして比を読むときには、位相という第三の層が消えていることを確かめておく必要がある——観測に出るのは、三つの層のうち二つだけである。 作成にあたって:本稿の着想と内容は、著者自身の考察に基づくものです。文章の構成整理や英訳、数式の確認には AI(大規模言語モデル)の助力を得ました。最終的な内容の解釈や誤りがあれば、それらはすべて著者の責に帰します。お気づきの点があれば、ご教示いただければ幸いです。

DOI
10.5281/zenodo.22081997

Related papers

Wigner-Eckart Theorem: Separating Geometry from Physics in Tensor Matrix Elements — E8 Intelligence Research

Andrew Stewart Caldin

FINDING: Wigner-Eckart theorem separates geometric (Clebsch-Gordan) from physical (reduced matrix element) content of tensor operator matrix elements in quantum systems. | MATH: \(\langle \alpha', j' m' | T^{(k)}_q | \alpha, j m \rangle = \langle j m; k q | j' m' \rangle \frac{\langle \alpha' j' \| T^{(k)} \| \alpha j \rangle}{\sqrt{2j'+1}}\) where \(\langle j m; k q | j' m' \rangle\) is Clebsch-Gordan coefficient, \(T^{(k)}_q\) is rank-\(k\) spherical tensor operator. | CONNECTION: Clebsch-Gordan coefficients encode \(SO(3)\) symmetry and are directly related to Wigner 3-j symbols, which exhibit symmetries linked to tetrahedral, octahedral, and icosahedral point groups (crystallographic symmetry). The ratio structure of 3-j symbols involves factorials of angular momenta, but no explicit golden ratio constants (0.618, 1.618) appear in the theorem itself. Base-60 appears in historical angular measurement but not in this formalism. | DEPTH: 7 — The theorem is a cornerstone of quantum mec Author: Andrew Stewart Caldin, Independent Researcher, UK. Part of the E8 Intelligence Research series. Platform: e8intelligence.com

•Aug 13, 2026•0 citations

Angular momentum coupling, the Wigner–Eckart theorem and the hydrogen spectrum, formally verified in Lean 4

Daniel Leonforte

We describe a formalisation in Lean 4 and Mathlib, merged into physlib, of angular momentum coupling and of the non-relativistic hydrogen spectrum. Clebsch–Gordan coefficients are defined as values of a contravariant bilinear form on normalised lowering strings of explicit highest-weight vectors of sl2-modules over the reals; tensor products are decomposed without a complete reducibility theorem. We prove both orthogonality relations, the Condon–Shortley phase, a closed formula and Racah's formula, the latter by showing that two alternating binomial sums satisfy the same recursion. The 3j symbol is shown to be invariant up to sign under the row and column permutations and the transposition of its Regge square; recoupling coefficients of three angular momenta are independent of M and have orthonormal columns; the 6j symbol defined by recoupling equals, for non-zero outer spins, the sum over four 3j symbols, and this sum is invariant under all 24 vertex permutations of its tetrahedron. The Wigner–Eckart theorem is proved for sl2 standard modules, for irreducible angular momentum representations of non-zero spin, and in Clebsch–Gordan form, with the projection theorem, selection rules and a multipole sum rule. For hydrogen we prove the radial equation and expectation values for the Laguerre radial functions; quantisation E = −1/ν², without a power-series ansatz, for non-zero square-integrable solutions with E < 0 that vanish at the origin; bound states in d dimensions; Pauli's algebraic derivation for abstract operators; L·A = 0 for the regularised Laplace–Runge–Lenz operator; and the first-order fine-structure formula. All statements carry their Lean names at a fixed commit; physical input is listed explicitly. Rational 3j and 6j values checked in the Lean kernel (not yet merged) and an application to selection rules in ENSDF are reported.

•Oct 30, 2026•0 citations

The Angle Fixed by Coupling Angular Momenta Is a Triangle's Angle Before Any Limit Is Taken ── Taking the quantum magnitudes as the sides makes it the law of cosines itself, and the 4π cancels under normalization ── the separator is whether the distribution is written in solid angle or in cosine ── [Paper 1065]

Yuuki Yamagishi

Coupling two angular momenta fixes the angle between them. There is a way of speaking according to which, in the limit of large spins, that angle approaches a uniform distribution on the sphere. This paper splits that statement in two and shows with numbers that only one half holds. No new theorem and no new physical law is claimed. Scope of this paper (scope note): No new theorem and no new physical law is claimed──the coupling of angular momenta, the formula for the cosine of the angle between them, the law of cosines and the positive semidefiniteness of a correlation matrix are all standard. No theorem of spin geometry is proved──the stronger claim, that three-dimensional angles emerge from measurement probabilities, is not entered. What is measured is the behaviour of the semiclassical angle formula. Area quantization is not derived──no counting of microstates of the kind quantum gravity attempts is carried out. No spacetime is built from a network of spins──only the geometry of the angles that coupling fixes is treated. The measurement probabilities themselves are not assembled──what is used in the second section is a weight that counts states, not a probability obtained by actually assembling the coupling coefficients. Why the quantum magnitude takes the form it does is not answered──the form of the eigenvalue is borrowed as a premise. The two are not called one root──the square of the circle constant that appears in the last section and the 4π of solid angle come from different places, and no mechanism by which moving one moves the other has been measured. Relation to earlier papers: Paper 67 read the 4π as a solid angle and showed it to be twice the circle constant times the Euler characteristic of the sphere──this paper places one site at which that 4π disappears inside a normalized probability. Paper 73 split the coefficient in black-hole entropy into the 4π of solid angle and a thermal factor, declaring that no counting of microstates would be performed──this paper keeps to that line, counting states only as a weight on the distribution of angles. Paper 140 showed that symmetry fixes ratios and dynamics fixes the scale, and that the coupling coefficients and the reduced matrix elements are both facts──what is used here is only the magnitude side of that coupling. Paper 104 set down the language for not conflating the several things called "spin"──the "spin" here is the magnitude of an angular momentum, not the algebraic object. Paper 300 showed that whether two things share a root is decidable──following that discipline, the two appearances of the circle constant are not called one root. What is added is measuring that weighting by the number of states brings the distribution to uniformity while dropping the weight does not, showing by the ratio of the two ways of writing that no 4π appears in that limit, confirming that the angles of a closed triple sum to exactly 2π before any limit is taken and that the reason is the law of cosines, and showing that the fraction of cosine triples realizable in three dimensions has a closed form. First, that the distribution approaches uniformity does hold──weighting by the number of states, the departure from uniformity is 0.301393728223 at magnitude 10 and 0.006535460601 at magnitude 640, while dropping the weight leaves it at 1.733502538071, unmoved. Second, and this is the core. No 4π appears in that limit──writing the same uniform distribution in solid angle gives density 0.079577471546 and writing it in cosine gives 0.500000000000, a ratio of exactly 6.283185307180. The 4π belongs to the way of writing and cancels under normalization. Third, there is exactly one place where the 4π survives──the unnormalized solid angle per state is 0.024495849151 at magnitude 256, which is 4π divided by the 513 states. Fourth, when three close, the angles sum to exactly 2π before any limit is taken──from magnitude 10 to 2560 the largest departure from 2π was 8.882×10⁻¹⁶. Fifth, the reason is that the coupling formula is the law of cosines itself──the difference from the law of cosines for a triangle whose sides are the quantum magnitudes is at most 1.209×10⁻¹⁶, and replacing the denominator by the bare magnitudes makes the sum 6.288190534258. Sixth, three cosines laid side by side need not be three-dimensional angles──the fraction of random triples that are realizable in three dimensions is 0.615545, agreeing with the closed form 0.616850275068 to 1.201 standard errors. What appears here is not 4π. Stated plainly──no theorem of spin geometry is proved. What is measured is the behaviour of the semiclassical angle formula, and the measurement probabilities themselves are not assembled. Closing: the angle fixed by coupling angular momenta is a triangle’s angle before any limit is taken. That the distribution approaches uniformity does hold──weighting by the number of states shrinks the departure from 0.301393728223 to 0.006535460601, while dropping the weight leaves it at 1.733502538071. But no 4π appears in that limit──the same distribution has density 0.079577471546 in solid angle and 0.500000000000 in cosine, a ratio of exactly 6.283185307180. The 4π survives only in a quantity that is not normalized──the solid angle per state is 0.024495849151 at magnitude 256. When three close, the angles sum to exactly 2π before any limit──the largest departure was 8.882×10⁻¹⁶. The reason is that the coupling formula is the law of cosines itself──the difference is at most 1.209×10⁻¹⁶, and replacing the denominator makes the sum 6.288190534258. Three cosines need not be three-dimensional angles──the fraction of random triples that pass is 0.615545, agreeing with the closed form 0.616850275068 to 1.201 standard errors. Stated plainly──no theorem of spin geometry is proved and no area quantization is derived. The measurement probabilities themselves are not assembled. The separator──whether the distribution is written in solid angle or in cosine. The former keeps the 4π, the latter cancels it, and the distribution is one and the same. On the making of this work: The ideas and content of this work stem from the author's own considerations. Assistance from an AI (a large language model) was used for structuring, English translation, and checking the algebra. Any remaining errors or misinterpretations are solely the author's. Feedback and corrections are sincerely appreciated. Keywords: coupling of angular momenta, spin network, solid angle, law of cosines, semiclassical limit, correlation matrix, separator. ----- 二つの角運動量を合わせると、そのなす角が決まる。大きなスピンの極限でその角が球面上の一様分布に近づく、という言い方がある。本稿はその言い方を二つに割り、片方だけが成り立つことを数で示す。新しい定理も法則も主張しない。 本稿の射程(射程注記):新しい定理も法則も主張しない──角運動量の合成、なす角の余弦の式、余弦定理、相関行列が半正定値であることは、いずれも標準的である。スピン幾何の定理を証明しない──測定の確率から三次元の角が出るという、より強い主張には踏み込まない。本稿が測るのは半古典の角の式の振る舞いまでである。面積の量子化を導かない──量子重力が試みるような微視状態の数え上げは行わない。スピンの網から時空を作らない──扱うのは合成が決める角の幾何だけである。測定の確率そのものは組んでいない──第2節で使うのは状態を数える重みであり、合成の係数を実際に組んで得た確率ではない。なぜ量子の大きさがあの形なのかには答えない──固有値の形は前提として借りる。二つを同根とは呼ばない──最後の節に出る円周率の二乗と、立体角の 4π は、別の場所から来ている。片方を動かして他方が動く仕組みは何も測っていない。既刊との関係:論文67 は 4π を立体角として読み、それが球面のオイラー標数の 2π 倍であることを示した──本稿はその 4π が、規格化された確率の中では消えてしまう場所を一つ置く。論文73 はブラックホール・エントロピーの係数を立体角の 4π と熱的な 2π に分け、微視状態の数え上げは行わないと断った──本稿もそこへは入らず、合成が決める角の幾何だけを測る。論文140 は対称性が比を決め力学が尺度を決めることを示し、合成の係数と換算行列要素はどちらも事実だと書いた──本稿が使うのは、その合成のうち大きさの側だけである。論文104 は計量を宿す代数を扱い、いくつもの「スピン」を混同しないための言葉を置いた──本稿の「スピン」は角運動量の大きさであって、代数の側のものではない。論文300 は同根か別根かは判定できると示した──その規律に従い、二つの円周率のあらわれを同根とは呼ばない。加えたのは、状態の数で重みを付けると分布が一様に寄り、外すと寄らないことを測ったこと、その極限に 4π が一度も現れないことを、書き方の比で示したこと、閉じた三つ組の角の和が極限を取る前からちょうど 2π であり、その理由が余弦定理であることを確かめたこと、三つの余弦が三次元の角になる割合に閉じた形が在ることを示したことである。 第一に、分布が一様に寄ることは成り立つ──状態の数で重みを付けると、一様からの隔たりは大きさ 10 で 0.301393728223、大きさ 640 で 0.006535460601 になる。重みを外すと 1.733502538071 のまま動かない。 第二に、これが本稿の芯である。その極限に 4π は現れない──同じ一様分布を立体角で書けば密度は 0.079577471546、余弦で書けば 0.500000000000 で、比はちょうど 6.283185307180 である。4π は書き方の側に付いていて、規格化すると消える。 第三に、4π が残る場所は一つだけである──規格化していない「状態あたりの立体角」は大きさ 256 で 0.024495849151 で、これは 4π を状態の数 513 で割った値である。 第四に、三つが閉じるとき、角の和は極限を取る前からちょうど 2π である──大きさ 10 から 2560 まで、2π からの隔たりの最大は 8.882×10⁻¹⁶ であった。 第五に、その理由は、合成の角の式が余弦定理そのものだからである──量子の大きさを辺に取った三角形の余弦定理との差は最大 1.209×10⁻¹⁶ で、分母を素の大きさに替えると和は 6.288190534258 になり崩れる。 第六に、三つの余弦を並べても三次元の角になるとは限らない──でたらめな三つ組が三次元の向きになる割合は 0.615545 で、閉じた形 0.616850275068 と標準誤差の 1.201 倍で合う。ここに出るのは 4π ではない。 正直に書く──スピン幾何の定理を証明しない。測るのは半古典の角の式の振る舞いまでであり、測定の確率そのものは組んでいない。 結び:角運動量の合成が決める角は、極限を取る前から三角形の角である。分布が一様に寄ることは成り立つ──状態の数で重みを付けると一様からの隔たりは 0.301393728223 から 0.006535460601 へ縮み、重みを外すと 1.733502538071 のまま動かない。だがその極限に 4π は現れない──同じ分布を立体角で書けば密度は 0.079577471546、余弦で書けば 0.500000000000 で、比はちょうど 6.283185307180 である。4π が残るのは規格化していない量だけである──状態あたりの立体角は大きさ 256 で 0.024495849151 になる。三つが閉じるときの角の和は極限を取る前からちょうど 2π である──隔たりの最大は 8.882×10⁻¹⁶ であった。理由は合成の角の式が余弦定理そのものだからである──余弦定理との差は最大 1.209×10⁻¹⁶ で、分母を替えると和は 6.288190534258 になり崩れる。三つの余弦を並べても三次元の角になるとは限らない──でたらめな三つ組が通る割合は 0.615545 で、閉じた形 0.616850275068 と標準誤差の 1.201 倍で合う。正直に書く──スピン幾何の定理を証明せず、面積の量子化も導かない。測定の確率そのものは組んでいない。分離子──分布を立体角で書くか、余弦で書くか。前者なら 4π が残り、後者なら消える。分布そのものは同じ一つである。 作成にあたって:本稿の着想と内容は、著者自身の考察に基づくものです。文章の構成整理や英訳、数式の確認には AI(大規模言語モデル)の助力を得ました。最終的な内容の解釈や誤りがあれば、それらはすべて著者の責に帰します。お気づきの点があれば、ご教示いただければ幸いです。 キーワード:角運動量の合成、スピンネットワーク、立体角、余弦定理、半古典の極限、相関行列、分離子。

•Sep 24, 2026•0 citations

Angular momentum and Heisenberg's correspondence principle

S C McFarlane

Heisenberg's form of the correspondence principle is applied to the matrix elements of tensor operators. A correspondence limit of the Wigner-Eckart theorem is obtained. It is shown that the Clebsch-Gordan coefficient tends in this limit to the product of a reduced rotation matrix element with a simple multiplicative factor. A similar, but not identical, expression has long been known as a formal limit obtaining when two of the three angular momenta involved become large. It is characteristic of correspondence principle expressions that the initial and final quantal states must be represented by some 'mean' classical orbit, the choice of which remains ambiguous. Here recursion relations are used to arrive at the optimal choice. In this way, a correspondence principle approximation to the Clebsch-Gordan coefficient is obtained which may be used with success far from the limit to which it nominally refers. This approximation is tested numerically against both exact and semiclassical computations.

Journal of Physics B Atomic Molecular and Optical Physics•Oct 28, 1992•6 citations

Addition of Angular Momenta, Clebsch-Gordan Coefficients, Vector and Tensor Operators, Wigner-Eckart Theorem

P. R. Berman

UNITEXT for physics•Dec 10, 2017•0 citations

Reduction of General Matrix Elements in the Seniority Schemeby Using a Novel Relation for CG Coefficients

Masao Nomura

Reduction relations for shell-model matrix elements of general operators in normal products ( e.g. general many-body operators) are investigated in the framework of the seniority scheme of identical particles. A novel relation for Clebsch-Gordan (CG) coefficients is exploited to remove from reduction factors all the CG coefficients that result from Wigner-Eckart theorem in the quasi-spin space. Reduction factors in the final step have very simple dependence on the number of particles.

Journal of the Physical Society of Japan•Jun 15, 1991•1 citation
Symmetry fixes the ratios, dynamics fixes the scale - a census of the Wigner-Eckart theorem. The Wigner-Eckart theorem splits a matrix element of a tensor operator into a Clebsch-Gordan coefficient and a reduced matrix element. This paper writes that this split is not the corpus's split into convention and fact, and that there are in truth three layers, not two. NO NEW MATHEMATICAL THEOREM AND NO NEW PHYSICAL LAW IS CLAIMED. Wigner, Eckart, the Clebsch-Gordan coefficients and the Condon-Shortley phase convention are all standard. The coefficient values were computed here with sympy's Clebsch-Gordan implementation. First, the counting is the whole of the claim. The matrix elements run over three magnetic quantum numbers, so their number is fixed by the dimensions of the multiplets and the rank: twenty-seven when both angular momenta are one and the rank is one, twenty-four for three halves and one half at rank one, forty-five for two and one at rank one, and a hundred and twenty-five for two and two at rank two. The theorem collapses all of them to a single number. Everything else is a Clebsch-Gordan coefficient, a number the group decides. Second, the ratios are fixed with no free parameter. Computing all twenty-seven coefficients for the case where both angular momenta are one and the rank is one, six are nonzero, and each is the square root of two over two with one sign or the other. All are therefore fixed multiples of one another, and not one free parameter enters the ratios. Moreover a selection rule appears that could not have been anticipated. The coefficient with all three magnetic quantum numbers zero vanishes, so within the multiplet of angular momentum one the matrix element joining the two states of zero magnetic quantum number through the zero component of a vector operator is zero. It vanishes although the rule on magnetic quantum numbers is satisfied. Knowing only that rule, this zero cannot be predicted; the theorem gives not only which transitions are allowed but where an allowed one nevertheless vanishes. Third, the selection rules are the theorem's zero set. Listing the coefficients at zero magnetic quantum number for a rank-one tensor operator: from angular momentum zero to zero the coefficient vanishes and the transition is forbidden; from zero to one it is one and allowed; from one to two it is the square root of six over three and allowed; from one to three it vanishes and is forbidden. That a transition from zero to zero is forbidden for a vector operator is exactly the coefficient vanishing there. A selection rule is thus not an extra assumption but the statement about ratios read where the coefficient is zero; the rule and the ratio are one statement read in two places. One caution: from one to one the transition is allowed by the rule on angular momentum, yet the coefficient vanishes at zero magnetic quantum number. The rule about the angular momentum and the rule about the magnetic quantum number are separate statements (Paper 17). Fourth, and this is the core. There are three layers, not two. Multiplying the reduced matrix element by an arbitrary phase makes the individual matrix elements move with that phase while it cancels in every ratio (confirmed here symbolically). So there are three layers: the Clebsch-Gordan coefficient, a forced geometry decided by the group; the size of the reduced matrix element, a dynamics decided by measurement; and its phase and sign, a convention we choose (Condon-Shortley). What matters here is that what Wigner-Eckart separates is not convention from fact. The Clebsch-Gordan coefficient and the reduced matrix element are both facts, one decided by the group and the other by measurement, and the separator is not whether we chose it but what the answer depends on. The convention exists separately, as a third layer, and applying the corpus's dichotomy directly would miss it. Only the ratios reach observation, and the phase disappears there. Paper 112 called the roll on the shape in which a region is allotted and inside it there is freedom, across six distinct roots; here too the frame is allotted and only one number inside is free, though the address differs, there the freedom of states and here the freedom of a coupling strength. Fifth, the theorem gives no magnitude whatever. The reduced matrix element is entirely undetermined by symmetry, and the group says nothing about whether a transition is strong or weak; it says only how the strengths within a multiplet are related. The same shape appears here for a third time. Paper 129 said that the one half comes from mathematics and Planck's constant from physics, and Paper 131 that the natural logarithm of two is a convention while the temperature is physics. Here the ratios come from symmetry and the scale from dynamics. All three are the same shape: the form and the scale arrive from different places. This is not to say the result is light. That the ratios are completely fixed is itself a strong prediction: one measurement determines the whole multiplet, and a measurement departing from the ratios throws the symmetry assumption into doubt. The statement is shaped so as to be refutable. IMPORTANT (scope): a census of established standard material (Layer 2). Every work cited is standard. What is not claimed: any new mathematical theorem (there is none) / any new physical law (there is none) / that the Wigner-Eckart theorem is in error (it is not) / that symmetry is powerless (it is not; fixing every ratio is a strong prediction). What is added: making explicit that the symmetry-dynamics split is not the convention-fact split, counting the phase as a third layer, confirming the invariance of ratios symbolically, and exhibiting a selection rule invisible in advance. What remains: 'symmetry explains the spectrum' is half a sentence. What symmetry explains is the ratios within a multiplet and not the size of any one of them, and in reading a ratio one should check that the third layer, the phase, has cancelled. Only two of the three layers ever reach observation. On the making of this work: The ideas and content of this work stem from the author's own considerations. Assistance from an AI (a large language model) was used for structuring, English translation, and checking the algebra. Any remaining errors or misinterpretations are solely the author's. Feedback and corrections are sincerely appreciated. ----- 対称性は比を決め、力学は尺度を決める——ウィグナー=エッカートの定理の点呼。 ウィグナー=エッカートの定理は、テンソル演算子の行列要素をクレブシュ=ゴルダン係数と換算行列要素の積に分ける。本稿は、この分け方が体系の「規約と事実」の分け方とは別のものであること、そして実は層が三つあることを書く。新しい数学定理も新しい物理法則も主張しない。ウィグナー、エッカート、クレブシュ=ゴルダン係数、コンドン=ショートリーの位相規約は、いずれも標準的な内容である。係数の数値は sympy のクレブシュ=ゴルダン実装により本稿で計算した。 第一に、数の勘定が主張の全部である。行列要素は三つの磁気量子数で走るから、その総数は多重項の次元と階数から決まる。角運動量がどちらも 1、階数が 1 なら 27 個、二分の三と二分の一で階数 1 なら 24 個、2 と 1 で階数 1 なら 45 個、2 と 2 で階数 2 なら 125 個である。定理はそれらをすべて 1 個に潰す。残りはすべてクレブシュ=ゴルダン係数、すなわち群が決める数である。 第二に、比は自由な媒介変数なしに決まる。角運動量がどちらも 1、階数 1 の場合について 27 個の係数を計算したところ、非零は 6 個であり、いずれも二分のルート二とその符号を変えたものであった。すなわちすべてが互いの固定倍であり、比には自由な媒介変数が一つも入らない。さらに、あらかじめは見えない選択則が出てくる。三つの磁気量子数がすべてゼロのときの係数はゼロであり、したがって角運動量 1 の多重項の中で、磁気量子数ゼロの状態どうしをベクトル演算子のゼロ成分で結ぶ行列要素は消える。磁気量子数の規則は満たしているのに消えるのである。磁気量子数の規則だけを知っていても、この零点は予想できない。定理は「どれが許されるか」だけでなく「許されているのにゼロになるのはどこか」まで与えている。 第三に、選択則は定理の零集合である。階数 1 のテンソル演算子について磁気量子数ゼロでの係数を並べると、始状態も終状態も角運動量ゼロなら係数はゼロで禁止、ゼロから 1 なら 1 で許可、1 から 2 なら三分のルート六で許可、1 から 3 なら係数がゼロで禁止である。すなわち角運動量ゼロからゼロへの遷移がベクトル演算子で禁じられるのは、係数がそこでゼロだからである。選択則は追加の仮定ではない。それは比の言明を、係数がゼロになる場所で読んだものである。規則と比は同じ一つの言明であり、読む場所が違うだけである。ただし注意すべきことがある。1 から 1 の場合は角運動量の規則では許されているのに、磁気量子数ゼロでだけ係数が消える。角運動量についての規則と磁気量子数についての規則は、別の言明である(論文17)。 第四に、これが本稿の芯である。層は二つではなく三つある。換算行列要素に任意の位相を掛けると、個々の行列要素はその位相とともに動くが、比では位相が消える(本稿で記号計算により確認)。すなわち層は三つある——クレブシュ=ゴルダン係数は群が決める強制された幾何、換算行列要素の大きさは測定が決める力学、そしてその位相と符号はこちらが選ぶ規約(コンドン=ショートリー)である。ここで重要なのは、ウィグナー=エッカートが分けているのは「規約と事実」ではないということである。クレブシュ=ゴルダン係数も換算行列要素も、どちらも事実である——片方は群が決め、片方は測定が決める。分離子は「こちらが選んだかどうか」ではなく「答えが何に依存するか」である。そして規約は第三の層として、別に存在する。体系の二分法をそのまま当てると、この三つ目を見落とす。観測に出るのは比だけであり、位相はそこで消える。なお論文112 は「枠が配られ、中では自由」という形を六つの別根で点呼したが、ここでも枠は配られており、中の一つの数だけが自由である。ただし住所は違う——そこでの自由は状態の自由、ここでの自由は結合の強さである。 第五に、定理は大きさを一切与えない。換算行列要素は対称性によって全く決まらず、群はその遷移が強いか弱いかを一言も教えない。教えるのは多重項の中での強さの関係だけである。ここに同じ形が三度目に現れる。論文129 は二分の一は数学が出しプランク定数は物理が出すと述べ、論文131 は ln2 は規約で温度が物理だと述べた。本稿では、比は対称性が出し、尺度は力学が出す。三つとも「形と目盛りが別のところから来る」という同じ形である。ただしこれは軽い話ではない。比が完全に決まることは、それ自体が強い予言である。一つの測定が多重項の全部を決めるのであり、測定が比から外れれば対称性の仮定が疑われる——反証可能な形をしている。 重要(射程):確立された標準的事実の点呼(第2層)。挙げた文献はいずれも標準的な内容である。示さないこと:新しい数学定理(一つもない)/新しい物理法則(一つもない)/ウィグナー=エッカートの定理に誤りがあること(ない)/対称性が無力であること(無力ではない。比を完全に決めるのは強い予言である)。加えたもの:対称性と力学の分離が規約と事実の分離ではないと明示したこと、位相という第三層を数えたこと、比の不変性を記号計算で確かめたこと、あらかじめは見えない選択則を挙げたこと。残るもの:「対称性がスペクトルを説明する」は半分の文である。対称性が説明するのは多重項の中の比であって、そのどれ一つの大きさでもない。そして比を読むときには、位相という第三の層が消えていることを確かめておく必要がある——観測に出るのは、三つの層のうち二つだけである。 作成にあたって:本稿の着想と内容は、著者自身の考察に基づくものです。文章の構成整理や英訳、数式の確認には AI(大規模言語モデル)の助力を得ました。最終的な内容の解釈や誤りがあれば、それらはすべて著者の責に帰します。お気づきの点があれば、ご教示いただければ幸いです。
FINDING: Wigner-Eckart theorem separates geometric (Clebsch-Gordan) from physical (reduced matrix element) content of tensor operator matrix elements in quantum systems. | MATH: ⟨α′,j′m′∣Tq(k)∣α,jm⟩=⟨jm;kq∣j′m′⟩⟨α′j′∥T(k)∥αj⟩2j′+1\langle \alpha', j' m' | T^{(k)}_q | \alpha, j m \rangle = \langle j m; k q | j' m' \rangle \frac{\langle \alpha' j' \| T^{(k)} \| \alpha j \rangle}{\sqrt{2j'+1}}⟨α′,j′m′∣Tq(k)​∣α,jm⟩=⟨jm;kq∣j′m′⟩2j′+1​⟨α′j′∥T(k)∥αj⟩​ where ⟨jm;kq∣j′m′⟩\langle j m; k q | j' m' \rangle⟨jm;kq∣j′m′⟩ is Clebsch-Gordan coefficient, Tq(k)T^{(k)}_qTq(k)​ is rank-kkk spherical tensor operator. | CONNECTION: Clebsch-Gordan coefficients encode SO(3)SO(3)SO(3) symmetry and are directly related to Wigner 3-j symbols, which exhibit symmetries linked to tetrahedral, octahedral, and icosahedral point groups (crystallographic symmetry). The ratio structure of 3-j symbols involves factorials of angular momenta, but no explicit golden ratio constants (0.618, 1.618) appear in the theorem itself. Base-60 appears in historical angular measurement but not in this formalism. | DEPTH: 7 — The theorem is a cornerstone of quantum mec Author: Andrew Stewart Caldin, Independent Researcher, UK. Part of the E8 Intelligence Research series. Platform: e8intelligence.com
We describe a formalisation in Lean 4 and Mathlib, merged into physlib, of angular momentum coupling and of the non-relativistic hydrogen spectrum. Clebsch–Gordan coefficients are defined as values of a contravariant bilinear form on normalised lowering strings of explicit highest-weight vectors of sl2-modules over the reals; tensor products are decomposed without a complete reducibility theorem. We prove both orthogonality relations, the Condon–Shortley phase, a closed formula and Racah's formula, the latter by showing that two alternating binomial sums satisfy the same recursion. The 3j symbol is shown to be invariant up to sign under the row and column permutations and the transposition of its Regge square; recoupling coefficients of three angular momenta are independent of M and have orthonormal columns; the 6j symbol defined by recoupling equals, for non-zero outer spins, the sum over four 3j symbols, and this sum is invariant under all 24 vertex permutations of its tetrahedron. The Wigner–Eckart theorem is proved for sl2 standard modules, for irreducible angular momentum representations of non-zero spin, and in Clebsch–Gordan form, with the projection theorem, selection rules and a multipole sum rule. For hydrogen we prove the radial equation and expectation values for the Laguerre radial functions; quantisation E = −1/ν², without a power-series ansatz, for non-zero square-integrable solutions with E < 0 that vanish at the origin; bound states in d dimensions; Pauli's algebraic derivation for abstract operators; L·A = 0 for the regularised Laplace–Runge–Lenz operator; and the first-order fine-structure formula. All statements carry their Lean names at a fixed commit; physical input is listed explicitly. Rational 3j and 6j values checked in the Lean kernel (not yet merged) and an application to selection rules in ENSDF are reported.
Coupling two angular momenta fixes the angle between them. There is a way of speaking according to which, in the limit of large spins, that angle approaches a uniform distribution on the sphere. This paper splits that statement in two and shows with numbers that only one half holds. No new theorem and no new physical law is claimed. Scope of this paper (scope note): No new theorem and no new physical law is claimed──the coupling of angular momenta, the formula for the cosine of the angle between them, the law of cosines and the positive semidefiniteness of a correlation matrix are all standard. No theorem of spin geometry is proved──the stronger claim, that three-dimensional angles emerge from measurement probabilities, is not entered. What is measured is the behaviour of the semiclassical angle formula. Area quantization is not derived──no counting of microstates of the kind quantum gravity attempts is carried out. No spacetime is built from a network of spins──only the geometry of the angles that coupling fixes is treated. The measurement probabilities themselves are not assembled──what is used in the second section is a weight that counts states, not a probability obtained by actually assembling the coupling coefficients. Why the quantum magnitude takes the form it does is not answered──the form of the eigenvalue is borrowed as a premise. The two are not called one root──the square of the circle constant that appears in the last section and the 4π of solid angle come from different places, and no mechanism by which moving one moves the other has been measured. Relation to earlier papers: Paper 67 read the 4π as a solid angle and showed it to be twice the circle constant times the Euler characteristic of the sphere──this paper places one site at which that 4π disappears inside a normalized probability. Paper 73 split the coefficient in black-hole entropy into the 4π of solid angle and a thermal factor, declaring that no counting of microstates would be performed──this paper keeps to that line, counting states only as a weight on the distribution of angles. Paper 140 showed that symmetry fixes ratios and dynamics fixes the scale, and that the coupling coefficients and the reduced matrix elements are both facts──what is used here is only the magnitude side of that coupling. Paper 104 set down the language for not conflating the several things called "spin"──the "spin" here is the magnitude of an angular momentum, not the algebraic object. Paper 300 showed that whether two things share a root is decidable──following that discipline, the two appearances of the circle constant are not called one root. What is added is measuring that weighting by the number of states brings the distribution to uniformity while dropping the weight does not, showing by the ratio of the two ways of writing that no 4π appears in that limit, confirming that the angles of a closed triple sum to exactly 2π before any limit is taken and that the reason is the law of cosines, and showing that the fraction of cosine triples realizable in three dimensions has a closed form. First, that the distribution approaches uniformity does hold──weighting by the number of states, the departure from uniformity is 0.301393728223 at magnitude 10 and 0.006535460601 at magnitude 640, while dropping the weight leaves it at 1.733502538071, unmoved. Second, and this is the core. No 4π appears in that limit──writing the same uniform distribution in solid angle gives density 0.079577471546 and writing it in cosine gives 0.500000000000, a ratio of exactly 6.283185307180. The 4π belongs to the way of writing and cancels under normalization. Third, there is exactly one place where the 4π survives──the unnormalized solid angle per state is 0.024495849151 at magnitude 256, which is 4π divided by the 513 states. Fourth, when three close, the angles sum to exactly 2π before any limit is taken──from magnitude 10 to 2560 the largest departure from 2π was 8.882×10⁻¹⁶. Fifth, the reason is that the coupling formula is the law of cosines itself──the difference from the law of cosines for a triangle whose sides are the quantum magnitudes is at most 1.209×10⁻¹⁶, and replacing the denominator by the bare magnitudes makes the sum 6.288190534258. Sixth, three cosines laid side by side need not be three-dimensional angles──the fraction of random triples that are realizable in three dimensions is 0.615545, agreeing with the closed form 0.616850275068 to 1.201 standard errors. What appears here is not 4π. Stated plainly──no theorem of spin geometry is proved. What is measured is the behaviour of the semiclassical angle formula, and the measurement probabilities themselves are not assembled. Closing: the angle fixed by coupling angular momenta is a triangle’s angle before any limit is taken. That the distribution approaches uniformity does hold──weighting by the number of states shrinks the departure from 0.301393728223 to 0.006535460601, while dropping the weight leaves it at 1.733502538071. But no 4π appears in that limit──the same distribution has density 0.079577471546 in solid angle and 0.500000000000 in cosine, a ratio of exactly 6.283185307180. The 4π survives only in a quantity that is not normalized──the solid angle per state is 0.024495849151 at magnitude 256. When three close, the angles sum to exactly 2π before any limit──the largest departure was 8.882×10⁻¹⁶. The reason is that the coupling formula is the law of cosines itself──the difference is at most 1.209×10⁻¹⁶, and replacing the denominator makes the sum 6.288190534258. Three cosines need not be three-dimensional angles──the fraction of random triples that pass is 0.615545, agreeing with the closed form 0.616850275068 to 1.201 standard errors. Stated plainly──no theorem of spin geometry is proved and no area quantization is derived. The measurement probabilities themselves are not assembled. The separator──whether the distribution is written in solid angle or in cosine. The former keeps the 4π, the latter cancels it, and the distribution is one and the same. On the making of this work: The ideas and content of this work stem from the author's own considerations. Assistance from an AI (a large language model) was used for structuring, English translation, and checking the algebra. Any remaining errors or misinterpretations are solely the author's. Feedback and corrections are sincerely appreciated. Keywords: coupling of angular momenta, spin network, solid angle, law of cosines, semiclassical limit, correlation matrix, separator. ----- 二つの角運動量を合わせると、そのなす角が決まる。大きなスピンの極限でその角が球面上の一様分布に近づく、という言い方がある。本稿はその言い方を二つに割り、片方だけが成り立つことを数で示す。新しい定理も法則も主張しない。 本稿の射程(射程注記):新しい定理も法則も主張しない──角運動量の合成、なす角の余弦の式、余弦定理、相関行列が半正定値であることは、いずれも標準的である。スピン幾何の定理を証明しない──測定の確率から三次元の角が出るという、より強い主張には踏み込まない。本稿が測るのは半古典の角の式の振る舞いまでである。面積の量子化を導かない──量子重力が試みるような微視状態の数え上げは行わない。スピンの網から時空を作らない──扱うのは合成が決める角の幾何だけである。測定の確率そのものは組んでいない──第2節で使うのは状態を数える重みであり、合成の係数を実際に組んで得た確率ではない。なぜ量子の大きさがあの形なのかには答えない──固有値の形は前提として借りる。二つを同根とは呼ばない──最後の節に出る円周率の二乗と、立体角の 4π は、別の場所から来ている。片方を動かして他方が動く仕組みは何も測っていない。既刊との関係:論文67 は 4π を立体角として読み、それが球面のオイラー標数の 2π 倍であることを示した──本稿はその 4π が、規格化された確率の中では消えてしまう場所を一つ置く。論文73 はブラックホール・エントロピーの係数を立体角の 4π と熱的な 2π に分け、微視状態の数え上げは行わないと断った──本稿もそこへは入らず、合成が決める角の幾何だけを測る。論文140 は対称性が比を決め力学が尺度を決めることを示し、合成の係数と換算行列要素はどちらも事実だと書いた──本稿が使うのは、その合成のうち大きさの側だけである。論文104 は計量を宿す代数を扱い、いくつもの「スピン」を混同しないための言葉を置いた──本稿の「スピン」は角運動量の大きさであって、代数の側のものではない。論文300 は同根か別根かは判定できると示した──その規律に従い、二つの円周率のあらわれを同根とは呼ばない。加えたのは、状態の数で重みを付けると分布が一様に寄り、外すと寄らないことを測ったこと、その極限に 4π が一度も現れないことを、書き方の比で示したこと、閉じた三つ組の角の和が極限を取る前からちょうど 2π であり、その理由が余弦定理であることを確かめたこと、三つの余弦が三次元の角になる割合に閉じた形が在ることを示したことである。 第一に、分布が一様に寄ることは成り立つ──状態の数で重みを付けると、一様からの隔たりは大きさ 10 で 0.301393728223、大きさ 640 で 0.006535460601 になる。重みを外すと 1.733502538071 のまま動かない。 第二に、これが本稿の芯である。その極限に 4π は現れない──同じ一様分布を立体角で書けば密度は 0.079577471546、余弦で書けば 0.500000000000 で、比はちょうど 6.283185307180 である。4π は書き方の側に付いていて、規格化すると消える。 第三に、4π が残る場所は一つだけである──規格化していない「状態あたりの立体角」は大きさ 256 で 0.024495849151 で、これは 4π を状態の数 513 で割った値である。 第四に、三つが閉じるとき、角の和は極限を取る前からちょうど 2π である──大きさ 10 から 2560 まで、2π からの隔たりの最大は 8.882×10⁻¹⁶ であった。 第五に、その理由は、合成の角の式が余弦定理そのものだからである──量子の大きさを辺に取った三角形の余弦定理との差は最大 1.209×10⁻¹⁶ で、分母を素の大きさに替えると和は 6.288190534258 になり崩れる。 第六に、三つの余弦を並べても三次元の角になるとは限らない──でたらめな三つ組が三次元の向きになる割合は 0.615545 で、閉じた形 0.616850275068 と標準誤差の 1.201 倍で合う。ここに出るのは 4π ではない。 正直に書く──スピン幾何の定理を証明しない。測るのは半古典の角の式の振る舞いまでであり、測定の確率そのものは組んでいない。 結び:角運動量の合成が決める角は、極限を取る前から三角形の角である。分布が一様に寄ることは成り立つ──状態の数で重みを付けると一様からの隔たりは 0.301393728223 から 0.006535460601 へ縮み、重みを外すと 1.733502538071 のまま動かない。だがその極限に 4π は現れない──同じ分布を立体角で書けば密度は 0.079577471546、余弦で書けば 0.500000000000 で、比はちょうど 6.283185307180 である。4π が残るのは規格化していない量だけである──状態あたりの立体角は大きさ 256 で 0.024495849151 になる。三つが閉じるときの角の和は極限を取る前からちょうど 2π である──隔たりの最大は 8.882×10⁻¹⁶ であった。理由は合成の角の式が余弦定理そのものだからである──余弦定理との差は最大 1.209×10⁻¹⁶ で、分母を替えると和は 6.288190534258 になり崩れる。三つの余弦を並べても三次元の角になるとは限らない──でたらめな三つ組が通る割合は 0.615545 で、閉じた形 0.616850275068 と標準誤差の 1.201 倍で合う。正直に書く──スピン幾何の定理を証明せず、面積の量子化も導かない。測定の確率そのものは組んでいない。分離子──分布を立体角で書くか、余弦で書くか。前者なら 4π が残り、後者なら消える。分布そのものは同じ一つである。 作成にあたって:本稿の着想と内容は、著者自身の考察に基づくものです。文章の構成整理や英訳、数式の確認には AI(大規模言語モデル)の助力を得ました。最終的な内容の解釈や誤りがあれば、それらはすべて著者の責に帰します。お気づきの点があれば、ご教示いただければ幸いです。 キーワード:角運動量の合成、スピンネットワーク、立体角、余弦定理、半古典の極限、相関行列、分離子。
Heisenberg's form of the correspondence principle is applied to the matrix elements of tensor operators. A correspondence limit of the Wigner-Eckart theorem is obtained. It is shown that the Clebsch-Gordan coefficient tends in this limit to the product of a reduced rotation matrix element with a simple multiplicative factor. A similar, but not identical, expression has long been known as a formal limit obtaining when two of the three angular momenta involved become large. It is characteristic of correspondence principle expressions that the initial and final quantal states must be represented by some 'mean' classical orbit, the choice of which remains ambiguous. Here recursion relations are used to arrive at the optimal choice. In this way, a correspondence principle approximation to the Clebsch-Gordan coefficient is obtained which may be used with success far from the limit to which it nominally refers. This approximation is tested numerically against both exact and semiclassical computations.