<?xml version="1.0" encoding="UTF-8"?>
<!DOCTYPE article PUBLIC "-//NLM//DTD JATS (Z39.96) Journal Publishing DTD v1.4 20241031//EN" "JATS-journalpublishing1-4.dtd">
<article xmlns:mml="http://www.w3.org/1998/Math/MathML" xmlns:xlink="http://www.w3.org/1999/xlink" article-type="research-article" dtd-version="1.4" xml:lang="en">
  <front>
    <journal-meta>
      <journal-id journal-id-type="publisher-id">jqis</journal-id>
      <journal-title-group>
        <journal-title>Journal of Quantum Information Science</journal-title>
      </journal-title-group>
      <issn pub-type="epub">2162-576X</issn>
      <issn pub-type="ppub">2162-5751</issn>
      <publisher>
        <publisher-name>Scientific Research Publishing</publisher-name>
      </publisher>
    </journal-meta>
    <article-meta>
      <article-id pub-id-type="doi">10.4236/jqis.2026.162008</article-id>
      <article-id pub-id-type="publisher-id">jqis-151914</article-id>
      <article-categories>
        <subj-group>
          <subject>Article</subject>
        </subj-group>
        <subj-group>
          <subject>Physics</subject>
          <subject>Mathematics</subject>
        </subj-group>
      </article-categories>
      <title-group>
        <article-title>Beyond Quantum Mechanics: Local QM Space-Time Algebra Prediction of the Singlet State</article-title>
      </title-group>
      <contrib-group>
        <contrib contrib-type="author">
          <name name-style="western">
            <surname>III</surname>
            <given-names>Carl F. Diether</given-names>
          </name>
          <xref ref-type="aff" rid="aff1">1</xref>
        </contrib>
      </contrib-group>
      <aff id="aff1"><label>1</label> Einstein Centre for Local-Realistic Physics, Santa Rosa, CA, USA </aff>
      <author-notes>
        <fn fn-type="conflict" id="fn-conflict">
          <p>The author declares no conflicts of interest regarding the publication of this paper.</p>
        </fn>
      </author-notes>
      <pub-date pub-type="epub">
        <day>10</day>
        <month>06</month>
        <year>2026</year>
      </pub-date>
      <pub-date pub-type="collection">
        <month>06</month>
        <year>2026</year>
      </pub-date>
      <volume>16</volume>
      <issue>02</issue>
      <fpage>226</fpage>
      <lpage>239</lpage>
      <history>
        <date date-type="received">
          <day>03</day>
          <month>04</month>
          <year>2026</year>
        </date>
        <date date-type="accepted">
          <day>14</day>
          <month>06</month>
          <year>2026</year>
        </date>
        <date date-type="published">
          <day>17</day>
          <month>06</month>
          <year>2026</year>
        </date>
      </history>
      <permissions>
        <copyright-statement>© 2026 by the authors and Scientific Research Publishing Inc.</copyright-statement>
        <copyright-year>2026</copyright-year>
        <license license-type="open-access">
          <license-p> This article is an open access article distributed under the terms and conditions of the Creative Commons Attribution (CC BY) license ( <ext-link ext-link-type="uri" xlink:href="https://creativecommons.org/licenses/by/4.0/">https://creativecommons.org/licenses/by/4.0/</ext-link> ). </license-p>
        </license>
      </permissions>
      <self-uri content-type="doi" xlink:href="https://doi.org/10.4236/jqis.2026.162008">https://doi.org/10.4236/jqis.2026.162008</self-uri>
      <abstract>
        <p>I derive the quantum mechanical prediction <inline-formula><mml:math></mml:math></inline-formula></p>
        <p>−a⋅b</p>
        <p>for the singlet spin state using local measurement functions within the Space-Time Algebra (STA) framework. I establish a compact and computationally tractable STA representation of the two-particle singlet state, <inline-formula><mml:math></mml:math></inline-formula></p>
        <p>Ψ=</p>
        <p>1</p>
        <p>2</p>
        <p>(</p>
        <p>I</p>
        <p>σ</p>
        <p>2</p>
        <p>(</p>
        <p>1</p>
        <p>)</p>
        <p>−I</p>
        <p>σ</p>
        <p>2</p>
        <p>(</p>
        <p>2</p>
        <p>)</p>
        <p>)</p>
        <p>, which is simpler than previously published forms but is not required for the correlation calculation. The analysis shows that STA naturally generates both scalar dot-product terms <inline-formula><mml:math></mml:math></inline-formula></p>
        <p>(</p>
        <p>a⋅</p>
        <p>s</p>
        <p>1</p>
        <p>)</p>
        <p>and <inline-formula><mml:math></mml:math></inline-formula></p>
        <p>(</p>
        <p>s</p>
        <p>2</p>
        <p>⋅b</p>
        <p>)</p>
        <p>and bivector wedge-product terms</p>
        <p><inline-formula><mml:math></mml:math></inline-formula></p>
        <p>(</p>
        <p>a∧</p>
        <p>s</p>
        <p>1</p>
        <p>)</p>
        <p>and <inline-formula><mml:math></mml:math></inline-formula></p>
        <p>(</p>
        <p>s</p>
        <p>2</p>
        <p>∧b</p>
        <p>)</p>
        <p>from local spin-detector interactions, whereas standard quantum mechanics retains only the scalar contributions through expectation-value projection. Because the standard quantum formalism represents correlations via operator expectation values, the antisymmetric (cross-product) contributions are averaged out at the level of observables. In contrast, the STA formulation keeps these bivector terms explicit in the intermediate geometric products, raising the question of whether potentially meaningful geometric structure is being hidden by the quantum averaging procedure. I verify the analytical derivation using computational simulations in Mathematica with a Clifford algebra package, confirming that local measurement functions reproduce the standard quantum correlation <inline-formula><mml:math></mml:math></inline-formula></p>
        <p>−cosθ</p>
        <p>, where <inline-formula><mml:math></mml:math></inline-formula></p>
        <p>θ</p>
        <p>is the angle between measurement directions <inline-formula><mml:math></mml:math></inline-formula></p>
        <p>a</p>
        <p>and <inline-formula><mml:math></mml:math></inline-formula></p>
        <p>b</p>
        <p>. The correlation <inline-formula><mml:math></mml:math></inline-formula></p>
        <p>−a⋅b</p>
        <p>is the scalar coordinate of 3-sphere rotors.</p>
      </abstract>
      <kwd-group kwd-group-type="author-generated" xml:lang="en">
        <kwd>Space-Time Algebra</kwd>
        <kwd>Quantum Mechanics</kwd>
        <kwd>Locality</kwd>
        <kwd>Singlet State</kwd>
        <kwd>Bell’s Theorem</kwd>
      </kwd-group>
    </article-meta>
  </front>
  <body>
    <sec id="sec1">
      <title>1. Introduction</title>
      <p>The Einstein-Podolsky-Rosen-Bohm (EPR-Bohm) experiment remains the clearest setting in which quantum mechanics (QM) predicts correlations that appear to defy locality [<xref ref-type="bibr" rid="B1">1</xref>][<xref ref-type="bibr" rid="B2">2</xref>]. In the standard formulation, these correlations arise from the singlet wavefunction of two spin 1/2 particles, expressed in the Pauli basis as </p>
      <disp-formula id="FD1">
        <label>(1)</label>
        <mml:math>
          <mml:mrow>
            <mml:mrow>
              <mml:mo>|</mml:mo>
              <mml:mrow>
                <mml:msub>
                  <mml:mtext>Ψ</mml:mtext>
                  <mml:mstyle mathvariant="bold" mathsize="normal">
                    <mml:mi>n</mml:mi>
                  </mml:mstyle>
                </mml:msub>
              </mml:mrow>
              <mml:mo>〉</mml:mo>
            </mml:mrow>
            <mml:mo>=</mml:mo>
            <mml:mfrac>
              <mml:mn>1</mml:mn>
              <mml:mrow>
                <mml:msqrt>
                  <mml:mn>2</mml:mn>
                </mml:msqrt>
              </mml:mrow>
            </mml:mfrac>
            <mml:mrow>
              <mml:mo>(</mml:mo>
              <mml:mrow>
                <mml:msub>
                  <mml:mrow>
                    <mml:mrow>
                      <mml:mo>|</mml:mo>
                      <mml:mrow>
                        <mml:mstyle mathvariant="bold" mathsize="normal">
                          <mml:mi>n</mml:mi>
                        </mml:mstyle>
                        <mml:mo>,</mml:mo>
                        <mml:mo>+</mml:mo>
                      </mml:mrow>
                      <mml:mo>〉</mml:mo>
                    </mml:mrow>
                  </mml:mrow>
                  <mml:mn>1</mml:mn>
                </mml:msub>
                <mml:msub>
                  <mml:mrow>
                    <mml:mrow>
                      <mml:mo>|</mml:mo>
                      <mml:mrow>
                        <mml:mstyle mathvariant="bold" mathsize="normal">
                          <mml:mi>n</mml:mi>
                        </mml:mstyle>
                        <mml:mo>,</mml:mo>
                        <mml:mo>−</mml:mo>
                      </mml:mrow>
                      <mml:mo>〉</mml:mo>
                    </mml:mrow>
                  </mml:mrow>
                  <mml:mn>2</mml:mn>
                </mml:msub>
                <mml:mo>−</mml:mo>
                <mml:msub>
                  <mml:mrow>
                    <mml:mrow>
                      <mml:mo>|</mml:mo>
                      <mml:mrow>
                        <mml:mstyle mathvariant="bold" mathsize="normal">
                          <mml:mi>n</mml:mi>
                        </mml:mstyle>
                        <mml:mo>,</mml:mo>
                        <mml:mo>−</mml:mo>
                      </mml:mrow>
                      <mml:mo>〉</mml:mo>
                    </mml:mrow>
                  </mml:mrow>
                  <mml:mn>1</mml:mn>
                </mml:msub>
                <mml:msub>
                  <mml:mrow>
                    <mml:mrow>
                      <mml:mo>|</mml:mo>
                      <mml:mrow>
                        <mml:mstyle mathvariant="bold" mathsize="normal">
                          <mml:mi>n</mml:mi>
                        </mml:mstyle>
                        <mml:mo>,</mml:mo>
                        <mml:mo>+</mml:mo>
                      </mml:mrow>
                      <mml:mo>〉</mml:mo>
                    </mml:mrow>
                  </mml:mrow>
                  <mml:mn>2</mml:mn>
                </mml:msub>
              </mml:mrow>
              <mml:mo>)</mml:mo>
            </mml:mrow>
            <mml:mo>,</mml:mo>
          </mml:mrow>
        </mml:math>
      </disp-formula>
      <p>where the eigenstates of <inline-formula><mml:math><mml:mrow><mml:mi> σ </mml:mi><mml:mo> ⋅ </mml:mo><mml:mstyle mathvariant="bold" mathsize="normal"><mml:mi> n </mml:mi></mml:mstyle></mml:mrow></mml:math></inline-formula> encode the “up” and “down” spin orientations [<xref ref-type="bibr" rid="B3">3</xref>]. This global two-particle state is then used to compute the joint expectation value </p>
      <disp-formula id="FD2">
        <label>(2)</label>
        <mml:math>
          <mml:mrow>
            <mml:msub>
              <mml:mi>E</mml:mi>
              <mml:mrow>
                <mml:mi>q</mml:mi>
                <mml:mo>.</mml:mo>
                <mml:mi>m</mml:mi>
                <mml:mo>.</mml:mo>
              </mml:mrow>
            </mml:msub>
            <mml:mrow>
              <mml:mo>(</mml:mo>
              <mml:mrow>
                <mml:mstyle mathvariant="bold" mathsize="normal">
                  <mml:mi>a</mml:mi>
                </mml:mstyle>
                <mml:mo>,</mml:mo>
                <mml:mstyle mathvariant="bold" mathsize="normal">
                  <mml:mi>b</mml:mi>
                </mml:mstyle>
              </mml:mrow>
              <mml:mo>)</mml:mo>
            </mml:mrow>
            <mml:mo>=</mml:mo>
            <mml:mrow>
              <mml:mo>〈</mml:mo>
              <mml:mrow>
                <mml:msub>
                  <mml:mi>Ψ</mml:mi>
                  <mml:mstyle mathvariant="bold" mathsize="normal">
                    <mml:mi>n</mml:mi>
                  </mml:mstyle>
                </mml:msub>
              </mml:mrow>
              <mml:mo>|</mml:mo>
            </mml:mrow>
            <mml:msub>
              <mml:mi>σ</mml:mi>
              <mml:mn>1</mml:mn>
            </mml:msub>
            <mml:mo>⋅</mml:mo>
            <mml:mstyle mathvariant="bold" mathsize="normal">
              <mml:mi>a</mml:mi>
            </mml:mstyle>
            <mml:mo>⊗</mml:mo>
            <mml:msub>
              <mml:mi>σ</mml:mi>
              <mml:mn>2</mml:mn>
            </mml:msub>
            <mml:mo>⋅</mml:mo>
            <mml:mstyle mathvariant="bold" mathsize="normal">
              <mml:mi>b</mml:mi>
            </mml:mstyle>
            <mml:mrow>
              <mml:mo>|</mml:mo>
              <mml:mrow>
                <mml:msub>
                  <mml:mi>Ψ</mml:mi>
                  <mml:mstyle mathvariant="bold" mathsize="normal">
                    <mml:mi>n</mml:mi>
                  </mml:mstyle>
                </mml:msub>
              </mml:mrow>
              <mml:mo>〉</mml:mo>
            </mml:mrow>
            <mml:mo>=</mml:mo>
            <mml:mo>−</mml:mo>
            <mml:mstyle mathvariant="bold" mathsize="normal">
              <mml:mi>a</mml:mi>
            </mml:mstyle>
            <mml:mo>⋅</mml:mo>
            <mml:mstyle mathvariant="bold" mathsize="normal">
              <mml:mi>b</mml:mi>
            </mml:mstyle>
            <mml:mo>,</mml:mo>
          </mml:mrow>
        </mml:math>
      </disp-formula>
      <p>which agrees with experiment.</p>
      <p>However, this textbook derivation relies on an assumption that is rarely examined: the singlet state is treated as a physically meaningful entity even after the two particles have separated and been independently detected. If detection eliminates the two-particle state—as is normally asserted—then the standard derivation applies a global object in a context where it no longer exists. The correlation is obtained, but the physical mechanism is left obscure.</p>
      <p>This motivates a shift from global probabilistic reasoning to a <italic>local geometric description</italic> of spin and measurement. Geometric Algebra (GA) provides such a framework. Christian has shown that the topology of the 3-sphere and the algebra of bivectors can reproduce the singlet correlation using strictly local measurement functions [<xref ref-type="bibr" rid="B4">4</xref>][<xref ref-type="bibr" rid="B5">5</xref>]. His construction demonstrates that the correlation <inline-formula><mml:math><mml:mrow><mml:mo> − </mml:mo><mml:mo></mml:mo><mml:mstyle mathvariant="bold" mathsize="normal"><mml:mi> a </mml:mi></mml:mstyle><mml:mo> ⋅ </mml:mo><mml:mstyle mathvariant="bold" mathsize="normal"><mml:mi> b </mml:mi></mml:mstyle></mml:mrow></mml:math></inline-formula> can arise from real geometric structure rather than nonlocal influences. Yet his model does not explicitly develop the STA spinor formalism or construct a two-particle rotor within Space-Time Algebra, so the connection between the geometric picture and the standard spinor framework remains lacking.</p>
      <p>Space-Time Algebra [<xref ref-type="bibr" rid="B6">6</xref>][<xref ref-type="bibr" rid="B7">7</xref>] provides the missing bridge. In STA, spinors are real geometric objects—rotors acting on spacetime bivectors—and the Pauli algebra appears naturally as the spatial subalgebra of the Dirac algebra. This allows one to express spin, measurement, and correlation entirely in terms of real geometric quantities. The singlet rotor </p>
      <disp-formula id="FD3">
        <label>(3)</label>
        <mml:math>
          <mml:mrow>
            <mml:msub>
              <mml:mi>Ψ</mml:mi>
              <mml:mrow>
                <mml:mtext>STA</mml:mtext>
              </mml:mrow>
            </mml:msub>
            <mml:mo>=</mml:mo>
            <mml:mfrac>
              <mml:mn>1</mml:mn>
              <mml:mn>2</mml:mn>
            </mml:mfrac>
            <mml:mrow>
              <mml:mo>(</mml:mo>
              <mml:mrow>
                <mml:mi>I</mml:mi>
                <mml:msubsup>
                  <mml:mi>σ</mml:mi>
                  <mml:mn>2</mml:mn>
                  <mml:mrow>
                    <mml:mrow>
                      <mml:mo>(</mml:mo>
                      <mml:mn>1</mml:mn>
                      <mml:mo>)</mml:mo>
                    </mml:mrow>
                  </mml:mrow>
                </mml:msubsup>
                <mml:mo>−</mml:mo>
                <mml:mi>I</mml:mi>
                <mml:msubsup>
                  <mml:mi>σ</mml:mi>
                  <mml:mn>2</mml:mn>
                  <mml:mrow>
                    <mml:mrow>
                      <mml:mo>(</mml:mo>
                      <mml:mn>2</mml:mn>
                      <mml:mo>)</mml:mo>
                    </mml:mrow>
                  </mml:mrow>
                </mml:msubsup>
              </mml:mrow>
              <mml:mo>)</mml:mo>
            </mml:mrow>
            <mml:mo>,</mml:mo>
          </mml:mrow>
        </mml:math>
      </disp-formula>
      <p>encodes the antisymmetry of the two-particle system, but—crucially—it is <italic>not required</italic> for the correlation calculation. Rotational invariance and conservation of angular momentum suffice.</p>
      <p>In this paper, I develop a fully local STA formulation of the EPR-Bohm experiment. The key ingredients are: </p>
      <p>1) real spin bivectors associated with each particle, generated locally from a Pauli rotor on <inline-formula><mml:math><mml:mrow><mml:msup><mml:mi> S </mml:mi><mml:mn> 3 </mml:mn></mml:msup></mml:mrow></mml:math></inline-formula> , </p>
      <p>2) local measurement functions depending only on the detector direction and the particle’s spin bivector, </p>
      <p>3) a uniform distribution of Pauli rotors reflecting the rotational symmetry of the singlet. </p>
      <p>From these elements, the correlation </p>
      <disp-formula id="FD4">
        <label>(4)</label>
        <mml:math>
          <mml:mrow>
            <mml:msub>
              <mml:mi>E</mml:mi>
              <mml:mrow>
                <mml:mtext>STA</mml:mtext>
              </mml:mrow>
            </mml:msub>
            <mml:mrow>
              <mml:mo>(</mml:mo>
              <mml:mrow>
                <mml:mstyle mathvariant="bold" mathsize="normal">
                  <mml:mi>a</mml:mi>
                </mml:mstyle>
                <mml:mo>,</mml:mo>
                <mml:mstyle mathvariant="bold" mathsize="normal">
                  <mml:mi>b</mml:mi>
                </mml:mstyle>
              </mml:mrow>
              <mml:mo>)</mml:mo>
            </mml:mrow>
            <mml:mo>=</mml:mo>
            <mml:msub>
              <mml:mrow>
                <mml:mrow>
                  <mml:mo>〈</mml:mo>
                  <mml:mrow>
                    <mml:mo>−</mml:mo>
                    <mml:mrow>
                      <mml:mo>(</mml:mo>
                      <mml:mrow>
                        <mml:mstyle mathvariant="bold" mathsize="normal">
                          <mml:mi>a</mml:mi>
                          <mml:mi>b</mml:mi>
                        </mml:mstyle>
                      </mml:mrow>
                      <mml:mo>)</mml:mo>
                    </mml:mrow>
                  </mml:mrow>
                  <mml:mo>〉</mml:mo>
                </mml:mrow>
              </mml:mrow>
              <mml:mn>0</mml:mn>
            </mml:msub>
            <mml:mo>=</mml:mo>
            <mml:mo>−</mml:mo>
            <mml:mstyle mathvariant="bold" mathsize="normal">
              <mml:mi>a</mml:mi>
            </mml:mstyle>
            <mml:mo>⋅</mml:mo>
            <mml:mstyle mathvariant="bold" mathsize="normal">
              <mml:mi>b</mml:mi>
            </mml:mstyle>
          </mml:mrow>
        </mml:math>
      </disp-formula>
      <p>is obtained without invoking a nonlocal two-particle state at the time of measurement like in quantum mechanics. As shown in <bold>Appendix A</bold> where I demonstrate that local measurement functions are a necessity.</p>
      <p>This approach clarifies the geometric origin of the singlet correlation and shows that the probabilistic formalism of QM is not fundamental to the phenomenon. Instead, the correlation emerges from <italic>local interactions between real geometric quantities</italic>. The implications for locality, realism, and the interpretation of Bell’s theorem are discussed in the concluding section [<xref ref-type="bibr" rid="B8">8</xref>].</p>
      <p>A further geometric insight comes from the fact that the even subalgebra of STA, which contains all spatial rotors, is isomorphic to the unit quaternions and therefore topologically a 3-sphere, <inline-formula><mml:math><mml:mrow><mml:msup><mml:mi> S </mml:mi><mml:mn> 3 </mml:mn></mml:msup></mml:mrow></mml:math></inline-formula> . The geometric product of two unit bivectors, such as <inline-formula><mml:math><mml:mrow><mml:mrow><mml:mo> ( </mml:mo><mml:mrow><mml:mstyle mathvariant="bold" mathsize="normal"><mml:mi> a </mml:mi></mml:mstyle><mml:msub><mml:mstyle mathvariant="bold" mathsize="normal"><mml:mi> s </mml:mi></mml:mstyle><mml:mn> 1 </mml:mn></mml:msub></mml:mrow><mml:mo> ) </mml:mo></mml:mrow></mml:mrow></mml:math></inline-formula> , produces a unit rotor of the form <inline-formula><mml:math><mml:mrow><mml:mi> α </mml:mi><mml:mo> + </mml:mo><mml:mi> B </mml:mi></mml:mrow></mml:math></inline-formula> , where <inline-formula><mml:math><mml:mi> α </mml:mi></mml:math></inline-formula> is a scalar and <inline-formula><mml:math><mml:mi> B </mml:mi></mml:math></inline-formula> is a bivector, and the normalization condition <inline-formula><mml:math><mml:mrow><mml:mi> R </mml:mi><mml:mover accent="true"><mml:mi> R </mml:mi><mml:mo> ˜ </mml:mo></mml:mover><mml:mo> = </mml:mo><mml:mn> 1 </mml:mn></mml:mrow></mml:math></inline-formula> places this rotor on <inline-formula><mml:math><mml:mrow><mml:msup><mml:mi> S </mml:mi><mml:mn> 3 </mml:mn></mml:msup></mml:mrow></mml:math></inline-formula> . Thus the local geometric action used in this work implicitly resides on the same <inline-formula><mml:math><mml:mrow><mml:msup><mml:mi> S </mml:mi><mml:mn> 3 </mml:mn></mml:msup></mml:mrow></mml:math></inline-formula> structure that underlies quaternionic models of spin, including those developed by Christian, while embedding the construction directly within the spacetime framework of STA. Although vectors in STA are represented by bivectors, they are nevertheless conventionally denoted using boldface type. For an in-depth discussion of the physical meaning of the 3-sphere topology and the quaternions employed in our measurement functions, please consult the references cited above and [<xref ref-type="bibr" rid="B9">9</xref>]-[<xref ref-type="bibr" rid="B12">12</xref>].</p>
    </sec>
    <sec id="sec2">
      <title>2. Formulation of STA Local Measurement Functions</title>
      <p>To analyze singlet correlations within a strictly local framework, we will construct explicit measurement functions using the tools of Space-Time Algebra. Unlike the Hilbert-space formalism, STA represents particle spins as bivectors and encodes rotations through rotors acting within the even sub-algebra. This provides a natural geometric setting in which locality can be expressed directly at the level of the measurement maps themselves.</p>
      <p><bold>Pauli quaternion rotor.</bold> A central geometric insight of this work is that each particle carries a <italic>local internal rotor</italic>—a unit element of the even subalgebra of STA—that determines its spin orientation. This rotor, <inline-formula><mml:math><mml:mrow><mml:mi> R </mml:mi><mml:mo> = </mml:mo><mml:mi> α </mml:mi><mml:mo> + </mml:mo><mml:msub><mml:mi> β </mml:mi><mml:mn> 1 </mml:mn></mml:msub><mml:msub><mml:mi> B </mml:mi><mml:mn> 1 </mml:mn></mml:msub><mml:mo> + </mml:mo><mml:msub><mml:mi> β </mml:mi><mml:mn> 2 </mml:mn></mml:msub><mml:msub><mml:mi> B </mml:mi><mml:mn> 2 </mml:mn></mml:msub><mml:mo> + </mml:mo><mml:msub><mml:mi> β </mml:mi><mml:mn> 3 </mml:mn></mml:msub><mml:msub><mml:mi> B </mml:mi><mml:mn> 3 </mml:mn></mml:msub></mml:mrow></mml:math></inline-formula> with <inline-formula><mml:math><mml:mrow><mml:msup><mml:mi> α </mml:mi><mml:mn> 2 </mml:mn></mml:msup><mml:mo> + </mml:mo><mml:msubsup><mml:mi> β </mml:mi><mml:mn> 1 </mml:mn><mml:mn> 2 </mml:mn></mml:msubsup><mml:mo> + </mml:mo><mml:msubsup><mml:mi> β </mml:mi><mml:mn> 2 </mml:mn><mml:mn> 2 </mml:mn></mml:msubsup><mml:mo> + </mml:mo><mml:msubsup><mml:mi> β </mml:mi><mml:mn> 3 </mml:mn><mml:mn> 2 </mml:mn></mml:msubsup><mml:mo> = </mml:mo><mml:mn> 1 </mml:mn></mml:mrow></mml:math></inline-formula> , is generated by the three spatial Pauli-rotor bivectors <inline-formula><mml:math><mml:mrow><mml:msub><mml:mi> B </mml:mi><mml:mi> i </mml:mi></mml:msub></mml:mrow></mml:math></inline-formula> and therefore lies on the 3-sphere <inline-formula><mml:math><mml:mrow><mml:msup><mml:mi> S </mml:mi><mml:mn> 3 </mml:mn></mml:msup></mml:mrow></mml:math></inline-formula> . A normalized Pauli spinor contains precisely such a unit rotor in its even multivector part, so the internal configuration space relevant for spin is naturally the 3-sphere <inline-formula><mml:math><mml:mrow><mml:mtext> Spin </mml:mtext><mml:mrow><mml:mo> ( </mml:mo><mml:mn> 3 </mml:mn><mml:mo> ) </mml:mo></mml:mrow><mml:mo> ≅ </mml:mo><mml:mi> S </mml:mi><mml:mi> U </mml:mi><mml:mrow><mml:mo> ( </mml:mo><mml:mn> 2 </mml:mn><mml:mo> ) </mml:mo></mml:mrow><mml:mo> ≅ </mml:mo><mml:msup><mml:mi> S </mml:mi><mml:mn> 3 </mml:mn></mml:msup></mml:mrow></mml:math></inline-formula> . In this sense, the rotor <inline-formula><mml:math><mml:mi> R </mml:mi></mml:math></inline-formula> may be identified with the Pauli rotor extracted from the spinor, and the points on the 3-sphere are the coordinates <inline-formula><mml:math><mml:mrow><mml:mrow><mml:mo> ( </mml:mo><mml:mrow><mml:mi> α </mml:mi><mml:mo> , </mml:mo><mml:msub><mml:mi> β </mml:mi><mml:mn> 1 </mml:mn></mml:msub><mml:mo> , </mml:mo><mml:msub><mml:mi> β </mml:mi><mml:mn> 2 </mml:mn></mml:msub><mml:mo> , </mml:mo><mml:msub><mml:mi> β </mml:mi><mml:mn> 3 </mml:mn></mml:msub></mml:mrow><mml:mo> ) </mml:mo></mml:mrow></mml:mrow></mml:math></inline-formula> . The spin bivector is obtained by the local geometric action <inline-formula><mml:math><mml:mrow><mml:msub><mml:mi> s </mml:mi><mml:mn> 1 </mml:mn></mml:msub><mml:mo> = </mml:mo><mml:mi> R </mml:mi><mml:msub><mml:mi> σ </mml:mi><mml:mn> 3 </mml:mn></mml:msub><mml:mover accent="true"><mml:mi> R </mml:mi><mml:mo> ˜ </mml:mo></mml:mover></mml:mrow></mml:math></inline-formula> , which produces a unit timelike bivector in the physical spin subspace. Thus the electron’s internal configuration space is naturally a 3-sphere, and the distribution of spin orientations inherited from the singlet state corresponds to a uniform distribution of Pauli rotors on <inline-formula><mml:math><mml:mrow><mml:msup><mml:mi> S </mml:mi><mml:mn> 3 </mml:mn></mml:msup></mml:mrow></mml:math></inline-formula> .</p>
      <p>The unit bivectors <inline-formula><mml:math><mml:mrow><mml:msub><mml:mstyle mathvariant="bold" mathsize="normal"><mml:mi> s </mml:mi></mml:mstyle><mml:mn> 1 </mml:mn></mml:msub></mml:mrow></mml:math></inline-formula> and <inline-formula><mml:math><mml:mrow><mml:msub><mml:mstyle mathvariant="bold" mathsize="normal"><mml:mi> s </mml:mi></mml:mstyle><mml:mn> 2 </mml:mn></mml:msub></mml:mrow></mml:math></inline-formula> represent the intrinsic spin directions of the two particles in the Space-Time Algebra framework. Under the metric signature <inline-formula><mml:math><mml:mrow><mml:mrow><mml:mo> ( </mml:mo><mml:mrow><mml:mn> 1 </mml:mn><mml:mo> , </mml:mo><mml:mn> 3 </mml:mn></mml:mrow><mml:mo> ) </mml:mo></mml:mrow></mml:mrow></mml:math></inline-formula> , these bivectors satisfy <inline-formula><mml:math><mml:mrow><mml:msubsup><mml:mstyle mathvariant="bold" mathsize="normal"><mml:mi> s </mml:mi></mml:mstyle><mml:mi> i </mml:mi><mml:mn> 2 </mml:mn></mml:msubsup><mml:mo> = </mml:mo><mml:mn> 1 </mml:mn></mml:mrow></mml:math></inline-formula> for unit bivectors. They are explicit geometric objects within the STA framework and not “hidden variables” in the usual sense of Bell’s terminology. An introductory version of this geometric approach, employing explicit spin vectors in a local framework, was presented in [<xref ref-type="bibr" rid="B13">13</xref>] and Christian’s work [<xref ref-type="bibr" rid="B4">4</xref>]. The present formulation extends that work by introducing explicit STA measurement maps <inline-formula><mml:math><mml:mrow><mml:mi> A </mml:mi><mml:mrow><mml:mo> ( </mml:mo><mml:mrow><mml:mstyle mathvariant="bold" mathsize="normal"><mml:mi> a </mml:mi></mml:mstyle><mml:mo> , </mml:mo><mml:msub><mml:mstyle mathvariant="bold" mathsize="normal"><mml:mi> s </mml:mi></mml:mstyle><mml:mn> 1 </mml:mn></mml:msub></mml:mrow><mml:mo> ) </mml:mo></mml:mrow></mml:mrow></mml:math></inline-formula> and <inline-formula><mml:math><mml:mrow><mml:mi> B </mml:mi><mml:mrow><mml:mo> ( </mml:mo><mml:mrow><mml:mstyle mathvariant="bold" mathsize="normal"><mml:mi> b </mml:mi></mml:mstyle><mml:mo> , </mml:mo><mml:msub><mml:mstyle mathvariant="bold" mathsize="normal"><mml:mi> s </mml:mi></mml:mstyle><mml:mn> 2 </mml:mn></mml:msub></mml:mrow><mml:mo> ) </mml:mo></mml:mrow></mml:mrow></mml:math></inline-formula> and by carrying the full multivector structure through the correlation calculation. Following the conservation of total spin angular momentum in the singlet state (as shown in <bold>Appendix C</bold>), these satisfy </p>
      <disp-formula id="FD5">
        <label>(5)</label>
        <mml:math>
          <mml:mrow>
            <mml:msub>
              <mml:mstyle mathvariant="bold" mathsize="normal">
                <mml:mi>s</mml:mi>
              </mml:mstyle>
              <mml:mn>1</mml:mn>
            </mml:msub>
            <mml:mo>+</mml:mo>
            <mml:msub>
              <mml:mstyle mathvariant="bold" mathsize="normal">
                <mml:mi>s</mml:mi>
              </mml:mstyle>
              <mml:mn>2</mml:mn>
            </mml:msub>
            <mml:mo>=</mml:mo>
            <mml:mn>0</mml:mn>
            <mml:mo>,</mml:mo>
            <mml:mtext>
               
            </mml:mtext>
            <mml:mtext>
               
            </mml:mtext>
            <mml:mtext>so</mml:mtext>
            <mml:mtext>
               
            </mml:mtext>
            <mml:mtext>that</mml:mtext>
            <mml:mtext>
               
            </mml:mtext>
            <mml:msub>
              <mml:mstyle mathvariant="bold" mathsize="normal">
                <mml:mi>s</mml:mi>
              </mml:mstyle>
              <mml:mn>1</mml:mn>
            </mml:msub>
            <mml:mo>=</mml:mo>
            <mml:mo>−</mml:mo>
            <mml:msub>
              <mml:mstyle mathvariant="bold" mathsize="normal">
                <mml:mi>s</mml:mi>
              </mml:mstyle>
              <mml:mn>2</mml:mn>
            </mml:msub>
            <mml:mo>.</mml:mo>
          </mml:mrow>
        </mml:math>
      </disp-formula>
      <p>We now formulate local measurement functions, similar in spirit to those introduced by Bell [<xref ref-type="bibr" rid="B8">8</xref>], but expressed entirely within STA. The detector orientations <inline-formula><mml:math><mml:mstyle mathvariant="bold" mathsize="normal"><mml:mi> a </mml:mi></mml:mstyle></mml:math></inline-formula> and <inline-formula><mml:math><mml:mstyle mathvariant="bold" mathsize="normal"><mml:mi> b </mml:mi></mml:mstyle></mml:math></inline-formula> are represented by bivectors, which act locally on the spin bivectors. Upon detection, the incoming spin bivectors align with the detector directions, so that <inline-formula><mml:math><mml:mrow><mml:msub><mml:mstyle mathvariant="bold" mathsize="normal"><mml:mi> s </mml:mi></mml:mstyle><mml:mn> 1 </mml:mn></mml:msub><mml:mo> → </mml:mo><mml:mstyle mathvariant="bold" mathsize="normal"><mml:mi> a </mml:mi></mml:mstyle></mml:mrow></mml:math></inline-formula> and <inline-formula><mml:math><mml:mrow><mml:msub><mml:mstyle mathvariant="bold" mathsize="normal"><mml:mi> s </mml:mi></mml:mstyle><mml:mn> 2 </mml:mn></mml:msub><mml:mo> → </mml:mo><mml:mstyle mathvariant="bold" mathsize="normal"><mml:mi> b </mml:mi></mml:mstyle></mml:mrow></mml:math></inline-formula> at their respective measurement sites. In the interaction of two vectors, the resultant contains both a scalar part <inline-formula><mml:math><mml:mrow><mml:mrow><mml:mo> ( </mml:mo><mml:mrow><mml:mstyle mathvariant="bold" mathsize="normal"><mml:mi> u </mml:mi></mml:mstyle><mml:mo> ⋅ </mml:mo><mml:mstyle mathvariant="bold" mathsize="normal"><mml:mi> v </mml:mi></mml:mstyle></mml:mrow><mml:mo> ) </mml:mo></mml:mrow></mml:mrow></mml:math></inline-formula> and a bivector part <inline-formula><mml:math><mml:mrow><mml:mrow><mml:mo> ( </mml:mo><mml:mrow><mml:mstyle mathvariant="bold" mathsize="normal"><mml:mi> u </mml:mi></mml:mstyle><mml:mo> ∧ </mml:mo><mml:mstyle mathvariant="bold" mathsize="normal"><mml:mi> v </mml:mi></mml:mstyle></mml:mrow><mml:mo> ) </mml:mo></mml:mrow></mml:mrow></mml:math></inline-formula> , the latter corresponding to the usual cross product <inline-formula><mml:math><mml:mrow><mml:mstyle mathvariant="bold" mathsize="normal"><mml:mi> u </mml:mi></mml:mstyle><mml:mo> × </mml:mo><mml:mstyle mathvariant="bold" mathsize="normal"><mml:mi> v </mml:mi></mml:mstyle><mml:mo> = </mml:mo><mml:mstyle mathvariant="bold" mathsize="normal"><mml:mi> r </mml:mi></mml:mstyle></mml:mrow></mml:math></inline-formula> . In quaternion language this is written as a single entity <inline-formula><mml:math><mml:mrow><mml:mstyle mathvariant="bold" mathsize="normal"><mml:mi> q </mml:mi></mml:mstyle><mml:mrow><mml:mo> ( </mml:mo><mml:mrow><mml:mstyle mathvariant="bold" mathsize="normal"><mml:mi> u </mml:mi></mml:mstyle><mml:mo> ⋅ </mml:mo><mml:mstyle mathvariant="bold" mathsize="normal"><mml:mi> v </mml:mi></mml:mstyle><mml:mo> , </mml:mo><mml:mstyle mathvariant="bold" mathsize="normal"><mml:mi> r </mml:mi></mml:mstyle></mml:mrow><mml:mo> ) </mml:mo></mml:mrow></mml:mrow></mml:math></inline-formula> . In geometric algebra this is naturally expressed as the multivector product, <inline-formula><mml:math><mml:mrow><mml:mstyle mathvariant="bold" mathsize="normal"><mml:mi> u </mml:mi><mml:mi> v </mml:mi></mml:mstyle><mml:mo> = </mml:mo><mml:mstyle mathvariant="bold" mathsize="normal"><mml:mi> u </mml:mi></mml:mstyle><mml:mo> ⋅ </mml:mo><mml:mstyle mathvariant="bold" mathsize="normal"><mml:mi> v </mml:mi></mml:mstyle><mml:mo> + </mml:mo><mml:mstyle mathvariant="bold" mathsize="normal"><mml:mi> u </mml:mi></mml:mstyle><mml:mo> ∧ </mml:mo><mml:mstyle mathvariant="bold" mathsize="normal"><mml:mi> v </mml:mi></mml:mstyle></mml:mrow></mml:math></inline-formula> , as discussed in [<xref ref-type="bibr" rid="B7">7</xref>]. Employing this structure together with Equation (5), we define </p>
      <disp-formula id="FD6">
        <label>(6)</label>
        <mml:math>
          <mml:mrow>
            <mml:msub>
              <mml:mstyle mathvariant="bold" mathsize="normal">
                <mml:mi>r</mml:mi>
              </mml:mstyle>
              <mml:mstyle mathvariant="bold" mathsize="normal">
                <mml:mi>a</mml:mi>
              </mml:mstyle>
            </mml:msub>
            <mml:mo>:</mml:mo>
            <mml:mo>=</mml:mo>
            <mml:mstyle mathvariant="bold" mathsize="normal">
              <mml:mi>a</mml:mi>
            </mml:mstyle>
            <mml:mo>×</mml:mo>
            <mml:msub>
              <mml:mstyle mathvariant="bold" mathsize="normal">
                <mml:mi>s</mml:mi>
              </mml:mstyle>
              <mml:mn>1</mml:mn>
            </mml:msub>
            <mml:mo>,</mml:mo>
          </mml:mrow>
        </mml:math>
      </disp-formula>
      <disp-formula id="FD7">
        <label>(7)</label>
        <mml:math>
          <mml:mrow>
            <mml:msub>
              <mml:mstyle mathvariant="bold" mathsize="normal">
                <mml:mi>r</mml:mi>
              </mml:mstyle>
              <mml:mstyle mathvariant="bold" mathsize="normal">
                <mml:mi>b</mml:mi>
              </mml:mstyle>
            </mml:msub>
            <mml:mo>:</mml:mo>
            <mml:mo>=</mml:mo>
            <mml:msub>
              <mml:mstyle mathvariant="bold" mathsize="normal">
                <mml:mi>s</mml:mi>
              </mml:mstyle>
              <mml:mn>2</mml:mn>
            </mml:msub>
            <mml:mo>×</mml:mo>
            <mml:mstyle mathvariant="bold" mathsize="normal">
              <mml:mi>b</mml:mi>
            </mml:mstyle>
            <mml:mo>,</mml:mo>
          </mml:mrow>
        </mml:math>
      </disp-formula>
      <disp-formula id="FD8">
        <label>(8)</label>
        <mml:math>
          <mml:mrow>
            <mml:msub>
              <mml:mi>μ</mml:mi>
              <mml:mstyle mathvariant="bold" mathsize="normal">
                <mml:mi>a</mml:mi>
              </mml:mstyle>
            </mml:msub>
            <mml:mo>:</mml:mo>
            <mml:mo>=</mml:mo>
            <mml:mi>sgn</mml:mi>
            <mml:mrow>
              <mml:mo>(</mml:mo>
              <mml:mrow>
                <mml:mstyle mathvariant="bold" mathsize="normal">
                  <mml:mi>a</mml:mi>
                </mml:mstyle>
                <mml:mo>⋅</mml:mo>
                <mml:msub>
                  <mml:mstyle mathvariant="bold" mathsize="normal">
                    <mml:mi>s</mml:mi>
                  </mml:mstyle>
                  <mml:mn>1</mml:mn>
                </mml:msub>
              </mml:mrow>
              <mml:mo>)</mml:mo>
            </mml:mrow>
            <mml:mstyle mathvariant="bold" mathsize="normal">
              <mml:mi>a</mml:mi>
            </mml:mstyle>
            <mml:mo>,</mml:mo>
          </mml:mrow>
        </mml:math>
      </disp-formula>
      <disp-formula id="FD9">
        <label>(9)</label>
        <mml:math>
          <mml:mrow>
            <mml:msub>
              <mml:mi>μ</mml:mi>
              <mml:mstyle mathvariant="bold" mathsize="normal">
                <mml:mi>b</mml:mi>
              </mml:mstyle>
            </mml:msub>
            <mml:mo>:</mml:mo>
            <mml:mo>=</mml:mo>
            <mml:mi>sgn</mml:mi>
            <mml:mrow>
              <mml:mo>(</mml:mo>
              <mml:mrow>
                <mml:mstyle mathvariant="bold" mathsize="normal">
                  <mml:mi>b</mml:mi>
                </mml:mstyle>
                <mml:mo>⋅</mml:mo>
                <mml:msub>
                  <mml:mstyle mathvariant="bold" mathsize="normal">
                    <mml:mi>s</mml:mi>
                  </mml:mstyle>
                  <mml:mn>2</mml:mn>
                </mml:msub>
              </mml:mrow>
              <mml:mo>)</mml:mo>
            </mml:mrow>
            <mml:mstyle mathvariant="bold" mathsize="normal">
              <mml:mi>b</mml:mi>
            </mml:mstyle>
            <mml:mo>.</mml:mo>
          </mml:mrow>
        </mml:math>
      </disp-formula>
      <p>In STA, the detector orientations and spins are represented by the bivectors </p>
      <disp-formula id="FD10">
        <mml:math>
          <mml:mrow>
            <mml:mstyle mathvariant="bold" mathsize="normal">
              <mml:mi>a</mml:mi>
            </mml:mstyle>
            <mml:mo>=</mml:mo>
            <mml:msub>
              <mml:mi>a</mml:mi>
              <mml:mi>x</mml:mi>
            </mml:msub>
            <mml:msub>
              <mml:mi>σ</mml:mi>
              <mml:mn>1</mml:mn>
            </mml:msub>
            <mml:mo>+</mml:mo>
            <mml:msub>
              <mml:mi>a</mml:mi>
              <mml:mi>y</mml:mi>
            </mml:msub>
            <mml:msub>
              <mml:mi>σ</mml:mi>
              <mml:mn>2</mml:mn>
            </mml:msub>
            <mml:mo>+</mml:mo>
            <mml:msub>
              <mml:mi>a</mml:mi>
              <mml:mi>z</mml:mi>
            </mml:msub>
            <mml:msub>
              <mml:mi>σ</mml:mi>
              <mml:mn>3</mml:mn>
            </mml:msub>
            <mml:mo>,</mml:mo>
          </mml:mrow>
        </mml:math>
      </disp-formula>
      <disp-formula id="FD11">
        <mml:math>
          <mml:mrow>
            <mml:mstyle mathvariant="bold" mathsize="normal">
              <mml:mi>b</mml:mi>
            </mml:mstyle>
            <mml:mo>=</mml:mo>
            <mml:msub>
              <mml:mi>b</mml:mi>
              <mml:mi>x</mml:mi>
            </mml:msub>
            <mml:msub>
              <mml:mi>σ</mml:mi>
              <mml:mn>1</mml:mn>
            </mml:msub>
            <mml:mo>+</mml:mo>
            <mml:msub>
              <mml:mi>b</mml:mi>
              <mml:mi>y</mml:mi>
            </mml:msub>
            <mml:msub>
              <mml:mi>σ</mml:mi>
              <mml:mn>2</mml:mn>
            </mml:msub>
            <mml:mo>+</mml:mo>
            <mml:msub>
              <mml:mi>b</mml:mi>
              <mml:mi>z</mml:mi>
            </mml:msub>
            <mml:msub>
              <mml:mi>σ</mml:mi>
              <mml:mn>3</mml:mn>
            </mml:msub>
            <mml:mo>,</mml:mo>
          </mml:mrow>
        </mml:math>
      </disp-formula>
      <disp-formula id="FD12">
        <label>(10)</label>
        <mml:math>
          <mml:mrow>
            <mml:msub>
              <mml:mstyle mathvariant="bold" mathsize="normal">
                <mml:mi>s</mml:mi>
              </mml:mstyle>
              <mml:mi>i</mml:mi>
            </mml:msub>
            <mml:mo>=</mml:mo>
            <mml:msub>
              <mml:mi>s</mml:mi>
              <mml:mi>i</mml:mi>
            </mml:msub>
            <mml:mi>x</mml:mi>
            <mml:msub>
              <mml:mi>σ</mml:mi>
              <mml:mn>1</mml:mn>
            </mml:msub>
            <mml:mo>+</mml:mo>
            <mml:msub>
              <mml:mi>s</mml:mi>
              <mml:mi>i</mml:mi>
            </mml:msub>
            <mml:mi>y</mml:mi>
            <mml:msub>
              <mml:mi>σ</mml:mi>
              <mml:mn>2</mml:mn>
            </mml:msub>
            <mml:mo>+</mml:mo>
            <mml:msub>
              <mml:mi>s</mml:mi>
              <mml:mi>i</mml:mi>
            </mml:msub>
            <mml:mi>z</mml:mi>
            <mml:msub>
              <mml:mi>σ</mml:mi>
              <mml:mn>3</mml:mn>
            </mml:msub>
            <mml:mo>.</mml:mo>
          </mml:mrow>
        </mml:math>
      </disp-formula>
      <p>with <inline-formula><mml:math><mml:mrow><mml:msub><mml:mi> σ </mml:mi><mml:mi> i </mml:mi></mml:msub><mml:mo> = </mml:mo><mml:msub><mml:mi> γ </mml:mi><mml:mi> i </mml:mi></mml:msub><mml:msub><mml:mi> γ </mml:mi><mml:mn> 0 </mml:mn></mml:msub></mml:mrow></mml:math></inline-formula> and <inline-formula><mml:math><mml:mrow><mml:msup><mml:mstyle mathvariant="bold" mathsize="normal"><mml:mi> a </mml:mi></mml:mstyle><mml:mn> 2 </mml:mn></mml:msup><mml:mo> = </mml:mo><mml:msup><mml:mstyle mathvariant="bold" mathsize="normal"><mml:mi> b </mml:mi></mml:mstyle><mml:mn> 2 </mml:mn></mml:msup><mml:mo> = </mml:mo><mml:msubsup><mml:mstyle mathvariant="bold" mathsize="normal"><mml:mi> s </mml:mi></mml:mstyle><mml:mi> i </mml:mi><mml:mn> 2 </mml:mn></mml:msubsup><mml:mo> = </mml:mo><mml:mn> 1 </mml:mn></mml:mrow></mml:math></inline-formula> . With the spins <inline-formula><mml:math><mml:mrow><mml:msub><mml:mstyle mathvariant="bold" mathsize="normal"><mml:mi> s </mml:mi></mml:mstyle><mml:mi> i </mml:mi></mml:msub></mml:mrow></mml:math></inline-formula> , generated by the Pauli rotor from points on <inline-formula><mml:math><mml:mrow><mml:msup><mml:mi> S </mml:mi><mml:mn> 3 </mml:mn></mml:msup></mml:mrow></mml:math></inline-formula> .</p>
      <p>For reference, we display both the standard quantum-mechanical (QM) and (STA) forms of the spin states: </p>
      <disp-formula id="FD13">
        <label>(11)</label>
        <mml:math>
          <mml:mrow>
            <mml:msub>
              <mml:mrow>
                <mml:mrow>
                  <mml:mo>|</mml:mo>
                  <mml:mi>ϕ</mml:mi>
                  <mml:mo>〉</mml:mo>
                </mml:mrow>
              </mml:mrow>
              <mml:mrow>
                <mml:mtext>QM</mml:mtext>
              </mml:mrow>
            </mml:msub>
            <mml:mo>:</mml:mo>
            <mml:mo>=</mml:mo>
            <mml:mfrac>
              <mml:mn>1</mml:mn>
              <mml:mrow>
                <mml:msqrt>
                  <mml:mn>2</mml:mn>
                </mml:msqrt>
              </mml:mrow>
            </mml:mfrac>
            <mml:mrow>
              <mml:mo>(</mml:mo>
              <mml:mrow>
                <mml:msub>
                  <mml:mrow>
                    <mml:mrow>
                      <mml:mo>|</mml:mo>
                      <mml:mo>+</mml:mo>
                      <mml:mo>〉</mml:mo>
                    </mml:mrow>
                  </mml:mrow>
                  <mml:mn>1</mml:mn>
                </mml:msub>
                <mml:mo>+</mml:mo>
                <mml:msub>
                  <mml:mrow>
                    <mml:mrow>
                      <mml:mo>|</mml:mo>
                      <mml:mo>−</mml:mo>
                      <mml:mo>〉</mml:mo>
                    </mml:mrow>
                  </mml:mrow>
                  <mml:mn>1</mml:mn>
                </mml:msub>
              </mml:mrow>
              <mml:mo>)</mml:mo>
            </mml:mrow>
            <mml:mo>,</mml:mo>
            <mml:mtext>
               
            </mml:mtext>
            <mml:mtext>
               
            </mml:mtext>
            <mml:msub>
              <mml:mi>ϕ</mml:mi>
              <mml:mrow>
                <mml:mtext>STA</mml:mtext>
              </mml:mrow>
            </mml:msub>
            <mml:mo>:</mml:mo>
            <mml:mo>=</mml:mo>
            <mml:mfrac>
              <mml:mn>1</mml:mn>
              <mml:mrow>
                <mml:msqrt>
                  <mml:mn>2</mml:mn>
                </mml:msqrt>
              </mml:mrow>
            </mml:mfrac>
            <mml:mrow>
              <mml:mo>(</mml:mo>
              <mml:mrow>
                <mml:mn>1</mml:mn>
                <mml:mo>−</mml:mo>
                <mml:mi>I</mml:mi>
                <mml:msubsup>
                  <mml:mi>σ</mml:mi>
                  <mml:mn>2</mml:mn>
                  <mml:mrow>
                    <mml:mrow>
                      <mml:mo>(</mml:mo>
                      <mml:mn>1</mml:mn>
                      <mml:mo>)</mml:mo>
                    </mml:mrow>
                  </mml:mrow>
                </mml:msubsup>
              </mml:mrow>
              <mml:mo>)</mml:mo>
            </mml:mrow>
            <mml:mo>,</mml:mo>
          </mml:mrow>
        </mml:math>
      </disp-formula>
      <disp-formula id="FD14">
        <label>(12)</label>
        <mml:math>
          <mml:mrow>
            <mml:msub>
              <mml:mrow>
                <mml:mrow>
                  <mml:mo>|</mml:mo>
                  <mml:mi>χ</mml:mi>
                  <mml:mo>〉</mml:mo>
                </mml:mrow>
              </mml:mrow>
              <mml:mrow>
                <mml:mtext>QM</mml:mtext>
              </mml:mrow>
            </mml:msub>
            <mml:mo>:</mml:mo>
            <mml:mo>=</mml:mo>
            <mml:mfrac>
              <mml:mn>1</mml:mn>
              <mml:mrow>
                <mml:msqrt>
                  <mml:mn>2</mml:mn>
                </mml:msqrt>
              </mml:mrow>
            </mml:mfrac>
            <mml:mrow>
              <mml:mo>(</mml:mo>
              <mml:mrow>
                <mml:msub>
                  <mml:mrow>
                    <mml:mrow>
                      <mml:mo>|</mml:mo>
                      <mml:mo>−</mml:mo>
                      <mml:mo>〉</mml:mo>
                    </mml:mrow>
                  </mml:mrow>
                  <mml:mn>2</mml:mn>
                </mml:msub>
                <mml:mo>+</mml:mo>
                <mml:msub>
                  <mml:mrow>
                    <mml:mrow>
                      <mml:mo>|</mml:mo>
                      <mml:mo>+</mml:mo>
                      <mml:mo>〉</mml:mo>
                    </mml:mrow>
                  </mml:mrow>
                  <mml:mn>2</mml:mn>
                </mml:msub>
              </mml:mrow>
              <mml:mo>)</mml:mo>
            </mml:mrow>
            <mml:mo>,</mml:mo>
            <mml:mtext>
               
            </mml:mtext>
            <mml:mtext>
               
            </mml:mtext>
            <mml:msub>
              <mml:mi>χ</mml:mi>
              <mml:mrow>
                <mml:mtext>STA</mml:mtext>
              </mml:mrow>
            </mml:msub>
            <mml:mo>:</mml:mo>
            <mml:mo>=</mml:mo>
            <mml:mfrac>
              <mml:mn>1</mml:mn>
              <mml:mrow>
                <mml:msqrt>
                  <mml:mn>2</mml:mn>
                </mml:msqrt>
              </mml:mrow>
            </mml:mfrac>
            <mml:mrow>
              <mml:mo>(</mml:mo>
              <mml:mrow>
                <mml:mo>−</mml:mo>
                <mml:mi>I</mml:mi>
                <mml:msubsup>
                  <mml:mi>σ</mml:mi>
                  <mml:mn>2</mml:mn>
                  <mml:mrow>
                    <mml:mrow>
                      <mml:mo>(</mml:mo>
                      <mml:mn>2</mml:mn>
                      <mml:mo>)</mml:mo>
                    </mml:mrow>
                  </mml:mrow>
                </mml:msubsup>
                <mml:mo>+</mml:mo>
                <mml:mn>1</mml:mn>
              </mml:mrow>
              <mml:mo>)</mml:mo>
            </mml:mrow>
            <mml:mo>.</mml:mo>
          </mml:mrow>
        </mml:math>
      </disp-formula>
      <p>However, the STA <inline-formula><mml:math><mml:mi> ϕ </mml:mi></mml:math></inline-formula> and <inline-formula><mml:math><mml:mi> χ </mml:mi></mml:math></inline-formula> rotors are not used or needed for the STA product calculation, but we show calculations using them in <bold>Appendix B</bold>. We now define the local measurement functions. </p>
      <disp-formula id="FD15">
        <label>(13)</label>
        <mml:math>
          <mml:mtable>
            <mml:mtr>
              <mml:mtd>
                <mml:mi>A</mml:mi>
                <mml:mrow>
                  <mml:mo>(</mml:mo>
                  <mml:mrow>
                    <mml:mstyle mathvariant="bold" mathsize="normal">
                      <mml:mi>a</mml:mi>
                    </mml:mstyle>
                    <mml:mo>,</mml:mo>
                    <mml:msub>
                      <mml:mstyle mathvariant="bold" mathsize="normal">
                        <mml:mi>s</mml:mi>
                      </mml:mstyle>
                      <mml:mn>1</mml:mn>
                    </mml:msub>
                  </mml:mrow>
                  <mml:mo>)</mml:mo>
                </mml:mrow>
                <mml:mo>:</mml:mo>
                <mml:mo>=</mml:mo>
                <mml:munder>
                  <mml:mrow>
                    <mml:mtext>lim</mml:mtext>
                  </mml:mrow>
                  <mml:mrow>
                    <mml:msub>
                      <mml:mstyle mathvariant="bold" mathsize="normal">
                        <mml:mi>s</mml:mi>
                      </mml:mstyle>
                      <mml:mn>1</mml:mn>
                    </mml:msub>
                    <mml:mo>→</mml:mo>
                    <mml:msub>
                      <mml:mi>μ</mml:mi>
                      <mml:mstyle mathvariant="bold" mathsize="normal">
                        <mml:mi>a</mml:mi>
                      </mml:mstyle>
                    </mml:msub>
                  </mml:mrow>
                </mml:munder>
                <mml:mrow>
                  <mml:mo>[</mml:mo>
                  <mml:mrow>
                    <mml:mrow>
                      <mml:mo>〈</mml:mo>
                      <mml:mrow>
                        <mml:msub>
                          <mml:mi>ϕ</mml:mi>
                          <mml:mrow>
                            <mml:mtext>QM</mml:mtext>
                          </mml:mrow>
                        </mml:msub>
                      </mml:mrow>
                      <mml:mo>|</mml:mo>
                    </mml:mrow>
                    <mml:mrow>
                      <mml:mo>(</mml:mo>
                      <mml:mrow>
                        <mml:mi>σ</mml:mi>
                        <mml:mo>⋅</mml:mo>
                        <mml:mstyle mathvariant="bold" mathsize="normal">
                          <mml:mi>a</mml:mi>
                        </mml:mstyle>
                      </mml:mrow>
                      <mml:mo>)</mml:mo>
                    </mml:mrow>
                    <mml:mrow>
                      <mml:mo>(</mml:mo>
                      <mml:mrow>
                        <mml:mi>σ</mml:mi>
                        <mml:mo>⋅</mml:mo>
                        <mml:msub>
                          <mml:mstyle mathvariant="bold" mathsize="normal">
                            <mml:mi>s</mml:mi>
                          </mml:mstyle>
                          <mml:mn>1</mml:mn>
                        </mml:msub>
                      </mml:mrow>
                      <mml:mo>)</mml:mo>
                    </mml:mrow>
                    <mml:mrow>
                      <mml:mo>|</mml:mo>
                      <mml:mrow>
                        <mml:msub>
                          <mml:mi>ϕ</mml:mi>
                          <mml:mrow>
                            <mml:mtext>QM</mml:mtext>
                          </mml:mrow>
                        </mml:msub>
                      </mml:mrow>
                      <mml:mo>〉</mml:mo>
                    </mml:mrow>
                    <mml:mo>+</mml:mo>
                    <mml:msub>
                      <mml:mi>I</mml:mi>
                      <mml:mn>3</mml:mn>
                    </mml:msub>
                    <mml:msub>
                      <mml:mstyle mathvariant="bold" mathsize="normal">
                        <mml:mi>r</mml:mi>
                      </mml:mstyle>
                      <mml:mstyle mathvariant="bold" mathsize="normal">
                        <mml:mi>a</mml:mi>
                      </mml:mstyle>
                    </mml:msub>
                  </mml:mrow>
                  <mml:mo>]</mml:mo>
                </mml:mrow>
                <mml:mtext>
                   
                </mml:mtext>
                <mml:mtext>
                   
                </mml:mtext>
                <mml:mrow>
                  <mml:mo>(</mml:mo>
                  <mml:mrow>
                    <mml:mtext>QM</mml:mtext>
                    <mml:mtext>
                       
                    </mml:mtext>
                    <mml:mtext>form</mml:mtext>
                  </mml:mrow>
                  <mml:mo>)</mml:mo>
                </mml:mrow>
              </mml:mtd>
            </mml:mtr>
            <mml:mtr>
              <mml:mtd>
                <mml:mo>:</mml:mo>
                <mml:mo>=</mml:mo>
                <mml:munder>
                  <mml:mrow>
                    <mml:mtext>lim</mml:mtext>
                  </mml:mrow>
                  <mml:mrow>
                    <mml:msub>
                      <mml:mstyle mathvariant="bold" mathsize="normal">
                        <mml:mi>s</mml:mi>
                      </mml:mstyle>
                      <mml:mn>1</mml:mn>
                    </mml:msub>
                    <mml:mo>→</mml:mo>
                    <mml:msub>
                      <mml:mi>μ</mml:mi>
                      <mml:mstyle mathvariant="bold" mathsize="normal">
                        <mml:mi>a</mml:mi>
                      </mml:mstyle>
                    </mml:msub>
                  </mml:mrow>
                </mml:munder>
                <mml:mrow>
                  <mml:mo>[</mml:mo>
                  <mml:mrow>
                    <mml:mrow>
                      <mml:mo>(</mml:mo>
                      <mml:mrow>
                        <mml:msub>
                          <mml:mi>σ</mml:mi>
                          <mml:mi>i</mml:mi>
                        </mml:msub>
                        <mml:mo>⋅</mml:mo>
                        <mml:mstyle mathvariant="bold" mathsize="normal">
                          <mml:mi>a</mml:mi>
                        </mml:mstyle>
                      </mml:mrow>
                      <mml:mo>)</mml:mo>
                    </mml:mrow>
                    <mml:mrow>
                      <mml:mo>(</mml:mo>
                      <mml:mrow>
                        <mml:msub>
                          <mml:mi>σ</mml:mi>
                          <mml:mi>i</mml:mi>
                        </mml:msub>
                        <mml:mo>⋅</mml:mo>
                        <mml:msub>
                          <mml:mstyle mathvariant="bold" mathsize="normal">
                            <mml:mi>s</mml:mi>
                          </mml:mstyle>
                          <mml:mn>1</mml:mn>
                        </mml:msub>
                      </mml:mrow>
                      <mml:mo>)</mml:mo>
                    </mml:mrow>
                  </mml:mrow>
                  <mml:mo>]</mml:mo>
                </mml:mrow>
                <mml:mtext>
                   
                </mml:mtext>
                <mml:mtext>
                   
                </mml:mtext>
                <mml:mrow>
                  <mml:mo>(</mml:mo>
                  <mml:mrow>
                    <mml:mtext>STA</mml:mtext>
                    <mml:mtext>
                       
                    </mml:mtext>
                    <mml:mtext>form</mml:mtext>
                  </mml:mrow>
                  <mml:mo>)</mml:mo>
                </mml:mrow>
              </mml:mtd>
            </mml:mtr>
            <mml:mtr>
              <mml:mtd>
                <mml:mo>=</mml:mo>
                <mml:munder>
                  <mml:mrow>
                    <mml:mtext>lim</mml:mtext>
                  </mml:mrow>
                  <mml:mrow>
                    <mml:msub>
                      <mml:mstyle mathvariant="bold" mathsize="normal">
                        <mml:mi>s</mml:mi>
                      </mml:mstyle>
                      <mml:mn>1</mml:mn>
                    </mml:msub>
                    <mml:mo>→</mml:mo>
                    <mml:msub>
                      <mml:mi>μ</mml:mi>
                      <mml:mstyle mathvariant="bold" mathsize="normal">
                        <mml:mi>a</mml:mi>
                      </mml:mstyle>
                    </mml:msub>
                  </mml:mrow>
                </mml:munder>
                <mml:mrow>
                  <mml:mo>[</mml:mo>
                  <mml:mrow>
                    <mml:mrow>
                      <mml:mo>(</mml:mo>
                      <mml:mrow>
                        <mml:mstyle mathvariant="bold" mathsize="normal">
                          <mml:mi>a</mml:mi>
                        </mml:mstyle>
                        <mml:msub>
                          <mml:mstyle mathvariant="bold" mathsize="normal">
                            <mml:mi>s</mml:mi>
                          </mml:mstyle>
                          <mml:mn>1</mml:mn>
                        </mml:msub>
                      </mml:mrow>
                      <mml:mo>)</mml:mo>
                    </mml:mrow>
                  </mml:mrow>
                  <mml:mo>]</mml:mo>
                </mml:mrow>
              </mml:mtd>
            </mml:mtr>
            <mml:mtr>
              <mml:mtd>
                <mml:mo>=</mml:mo>
                <mml:munder>
                  <mml:mrow>
                    <mml:mtext>lim</mml:mtext>
                  </mml:mrow>
                  <mml:mrow>
                    <mml:msub>
                      <mml:mstyle mathvariant="bold" mathsize="normal">
                        <mml:mi>s</mml:mi>
                      </mml:mstyle>
                      <mml:mn>1</mml:mn>
                    </mml:msub>
                    <mml:mo>→</mml:mo>
                    <mml:msub>
                      <mml:mi>μ</mml:mi>
                      <mml:mstyle mathvariant="bold" mathsize="normal">
                        <mml:mi>a</mml:mi>
                      </mml:mstyle>
                    </mml:msub>
                  </mml:mrow>
                </mml:munder>
                <mml:mrow>
                  <mml:mo>[</mml:mo>
                  <mml:mrow>
                    <mml:mstyle mathvariant="bold" mathsize="normal">
                      <mml:mi>a</mml:mi>
                    </mml:mstyle>
                    <mml:mo>⋅</mml:mo>
                    <mml:msub>
                      <mml:mstyle mathvariant="bold" mathsize="normal">
                        <mml:mi>s</mml:mi>
                      </mml:mstyle>
                      <mml:mn>1</mml:mn>
                    </mml:msub>
                    <mml:mo>+</mml:mo>
                    <mml:mstyle mathvariant="bold" mathsize="normal">
                      <mml:mi>a</mml:mi>
                    </mml:mstyle>
                    <mml:mo>∧</mml:mo>
                    <mml:msub>
                      <mml:mstyle mathvariant="bold" mathsize="normal">
                        <mml:mi>s</mml:mi>
                      </mml:mstyle>
                      <mml:mn>1</mml:mn>
                    </mml:msub>
                  </mml:mrow>
                  <mml:mo>]</mml:mo>
                </mml:mrow>
              </mml:mtd>
            </mml:mtr>
            <mml:mtr>
              <mml:mtd>
                <mml:mo>=</mml:mo>
                <mml:mtext>sgn</mml:mtext>
                <mml:mrow>
                  <mml:mo>(</mml:mo>
                  <mml:mrow>
                    <mml:mstyle mathvariant="bold" mathsize="normal">
                      <mml:mi>a</mml:mi>
                    </mml:mstyle>
                    <mml:mo>⋅</mml:mo>
                    <mml:msub>
                      <mml:mstyle mathvariant="bold" mathsize="normal">
                        <mml:mi>s</mml:mi>
                      </mml:mstyle>
                      <mml:mn>1</mml:mn>
                    </mml:msub>
                  </mml:mrow>
                  <mml:mo>)</mml:mo>
                </mml:mrow>
                <mml:mo>=</mml:mo>
                <mml:mo>±</mml:mo>
                <mml:mn>1.</mml:mn>
              </mml:mtd>
            </mml:mtr>
          </mml:mtable>
        </mml:math>
      </disp-formula>
      <disp-formula id="FD16">
        <label>(14)</label>
        <mml:math>
          <mml:mtable>
            <mml:mtr>
              <mml:mtd>
                <mml:mi>B</mml:mi>
                <mml:mrow>
                  <mml:mo>(</mml:mo>
                  <mml:mrow>
                    <mml:mstyle mathvariant="bold" mathsize="normal">
                      <mml:mi>b</mml:mi>
                    </mml:mstyle>
                    <mml:mo>,</mml:mo>
                    <mml:msub>
                      <mml:mstyle mathvariant="bold" mathsize="normal">
                        <mml:mi>s</mml:mi>
                      </mml:mstyle>
                      <mml:mn>2</mml:mn>
                    </mml:msub>
                  </mml:mrow>
                  <mml:mo>)</mml:mo>
                </mml:mrow>
                <mml:mo>:</mml:mo>
                <mml:mo>=</mml:mo>
                <mml:munder>
                  <mml:mrow>
                    <mml:mtext>lim</mml:mtext>
                  </mml:mrow>
                  <mml:mrow>
                    <mml:msub>
                      <mml:mi>s</mml:mi>
                      <mml:mn>2</mml:mn>
                    </mml:msub>
                    <mml:mo>→</mml:mo>
                    <mml:msub>
                      <mml:mi>μ</mml:mi>
                      <mml:mi>b</mml:mi>
                    </mml:msub>
                  </mml:mrow>
                </mml:munder>
                <mml:mrow>
                  <mml:mo>[</mml:mo>
                  <mml:mrow>
                    <mml:mrow>
                      <mml:mo>〈</mml:mo>
                      <mml:mrow>
                        <mml:msub>
                          <mml:mi>χ</mml:mi>
                          <mml:mrow>
                            <mml:mtext>QM</mml:mtext>
                          </mml:mrow>
                        </mml:msub>
                      </mml:mrow>
                      <mml:mo>|</mml:mo>
                    </mml:mrow>
                    <mml:mrow>
                      <mml:mo>|</mml:mo>
                      <mml:mrow>
                        <mml:mrow>
                          <mml:mo>(</mml:mo>
                          <mml:mrow>
                            <mml:mi>σ</mml:mi>
                            <mml:mo>⋅</mml:mo>
                            <mml:msub>
                              <mml:mstyle mathvariant="bold" mathsize="normal">
                                <mml:mi>s</mml:mi>
                              </mml:mstyle>
                              <mml:mn>2</mml:mn>
                            </mml:msub>
                          </mml:mrow>
                          <mml:mo>)</mml:mo>
                        </mml:mrow>
                        <mml:mrow>
                          <mml:mo>(</mml:mo>
                          <mml:mrow>
                            <mml:mi>σ</mml:mi>
                            <mml:mo>⋅</mml:mo>
                            <mml:mstyle mathvariant="bold" mathsize="normal">
                              <mml:mi>b</mml:mi>
                            </mml:mstyle>
                          </mml:mrow>
                          <mml:mo>)</mml:mo>
                        </mml:mrow>
                      </mml:mrow>
                      <mml:mo>|</mml:mo>
                    </mml:mrow>
                    <mml:mrow>
                      <mml:mo>|</mml:mo>
                      <mml:mrow>
                        <mml:msub>
                          <mml:mi>χ</mml:mi>
                          <mml:mrow>
                            <mml:mtext>QM</mml:mtext>
                          </mml:mrow>
                        </mml:msub>
                      </mml:mrow>
                      <mml:mo>〉</mml:mo>
                    </mml:mrow>
                    <mml:mo>+</mml:mo>
                    <mml:msub>
                      <mml:mi>I</mml:mi>
                      <mml:mn>3</mml:mn>
                    </mml:msub>
                    <mml:msub>
                      <mml:mstyle mathvariant="bold" mathsize="normal">
                        <mml:mi>r</mml:mi>
                      </mml:mstyle>
                      <mml:mstyle mathvariant="bold" mathsize="normal">
                        <mml:mi>b</mml:mi>
                      </mml:mstyle>
                    </mml:msub>
                  </mml:mrow>
                  <mml:mo>]</mml:mo>
                </mml:mrow>
                <mml:mtext>
                   
                </mml:mtext>
                <mml:mtext>
                   
                </mml:mtext>
                <mml:mrow>
                  <mml:mo>(</mml:mo>
                  <mml:mrow>
                    <mml:mtext>QM</mml:mtext>
                    <mml:mtext>
                       
                    </mml:mtext>
                    <mml:mtext>form</mml:mtext>
                  </mml:mrow>
                  <mml:mo>)</mml:mo>
                </mml:mrow>
              </mml:mtd>
            </mml:mtr>
            <mml:mtr>
              <mml:mtd>
                <mml:mo>:</mml:mo>
                <mml:mo>=</mml:mo>
                <mml:munder>
                  <mml:mrow>
                    <mml:mtext>lim</mml:mtext>
                  </mml:mrow>
                  <mml:mrow>
                    <mml:msub>
                      <mml:mstyle mathvariant="bold" mathsize="normal">
                        <mml:mi>s</mml:mi>
                      </mml:mstyle>
                      <mml:mn>2</mml:mn>
                    </mml:msub>
                    <mml:mo>→</mml:mo>
                    <mml:msub>
                      <mml:mi>μ</mml:mi>
                      <mml:mstyle mathvariant="bold" mathsize="normal">
                        <mml:mi>b</mml:mi>
                      </mml:mstyle>
                    </mml:msub>
                  </mml:mrow>
                </mml:munder>
                <mml:mrow>
                  <mml:mo>[</mml:mo>
                  <mml:mrow>
                    <mml:mrow>
                      <mml:mo>(</mml:mo>
                      <mml:mrow>
                        <mml:msub>
                          <mml:mi>σ</mml:mi>
                          <mml:mi>i</mml:mi>
                        </mml:msub>
                        <mml:mo>⋅</mml:mo>
                        <mml:msub>
                          <mml:mstyle mathvariant="bold" mathsize="normal">
                            <mml:mi>s</mml:mi>
                          </mml:mstyle>
                          <mml:mn>2</mml:mn>
                        </mml:msub>
                      </mml:mrow>
                      <mml:mo>)</mml:mo>
                    </mml:mrow>
                    <mml:mrow>
                      <mml:mo>(</mml:mo>
                      <mml:mrow>
                        <mml:msub>
                          <mml:mi>σ</mml:mi>
                          <mml:mi>i</mml:mi>
                        </mml:msub>
                        <mml:mo>⋅</mml:mo>
                        <mml:mstyle mathvariant="bold" mathsize="normal">
                          <mml:mi>b</mml:mi>
                        </mml:mstyle>
                      </mml:mrow>
                      <mml:mo>)</mml:mo>
                    </mml:mrow>
                  </mml:mrow>
                  <mml:mo>]</mml:mo>
                </mml:mrow>
                <mml:mtext>
                   
                </mml:mtext>
                <mml:mtext>
                   
                </mml:mtext>
                <mml:mrow>
                  <mml:mo>(</mml:mo>
                  <mml:mrow>
                    <mml:mtext>STA</mml:mtext>
                    <mml:mtext>
                       
                    </mml:mtext>
                    <mml:mtext>form</mml:mtext>
                  </mml:mrow>
                  <mml:mo>)</mml:mo>
                </mml:mrow>
              </mml:mtd>
            </mml:mtr>
            <mml:mtr>
              <mml:mtd>
                <mml:mo>=</mml:mo>
                <mml:munder>
                  <mml:mrow>
                    <mml:mtext>lim</mml:mtext>
                  </mml:mrow>
                  <mml:mrow>
                    <mml:msub>
                      <mml:mstyle mathvariant="bold" mathsize="normal">
                        <mml:mi>s</mml:mi>
                      </mml:mstyle>
                      <mml:mn>2</mml:mn>
                    </mml:msub>
                    <mml:mo>→</mml:mo>
                    <mml:msub>
                      <mml:mi>μ</mml:mi>
                      <mml:mstyle mathvariant="bold" mathsize="normal">
                        <mml:mi>b</mml:mi>
                      </mml:mstyle>
                    </mml:msub>
                  </mml:mrow>
                </mml:munder>
                <mml:mrow>
                  <mml:mo>[</mml:mo>
                  <mml:mrow>
                    <mml:mrow>
                      <mml:mo>(</mml:mo>
                      <mml:mrow>
                        <mml:msub>
                          <mml:mstyle mathvariant="bold" mathsize="normal">
                            <mml:mi>s</mml:mi>
                          </mml:mstyle>
                          <mml:mn>2</mml:mn>
                        </mml:msub>
                        <mml:mstyle mathvariant="bold" mathsize="normal">
                          <mml:mi>b</mml:mi>
                        </mml:mstyle>
                      </mml:mrow>
                      <mml:mo>)</mml:mo>
                    </mml:mrow>
                  </mml:mrow>
                  <mml:mo>]</mml:mo>
                </mml:mrow>
              </mml:mtd>
            </mml:mtr>
            <mml:mtr>
              <mml:mtd>
                <mml:mo>=</mml:mo>
                <mml:munder>
                  <mml:mrow>
                    <mml:mtext>lim</mml:mtext>
                  </mml:mrow>
                  <mml:mrow>
                    <mml:msub>
                      <mml:mstyle mathvariant="bold" mathsize="normal">
                        <mml:mi>s</mml:mi>
                      </mml:mstyle>
                      <mml:mn>2</mml:mn>
                    </mml:msub>
                    <mml:mo>→</mml:mo>
                    <mml:msub>
                      <mml:mi>μ</mml:mi>
                      <mml:mstyle mathvariant="bold" mathsize="normal">
                        <mml:mi>b</mml:mi>
                      </mml:mstyle>
                    </mml:msub>
                  </mml:mrow>
                </mml:munder>
                <mml:mrow>
                  <mml:mo>[</mml:mo>
                  <mml:mrow>
                    <mml:msub>
                      <mml:mstyle mathvariant="bold" mathsize="normal">
                        <mml:mi>s</mml:mi>
                      </mml:mstyle>
                      <mml:mn>2</mml:mn>
                    </mml:msub>
                    <mml:mo>⋅</mml:mo>
                    <mml:mstyle mathvariant="bold" mathsize="normal">
                      <mml:mi>b</mml:mi>
                    </mml:mstyle>
                    <mml:mo>+</mml:mo>
                    <mml:msub>
                      <mml:mstyle mathvariant="bold" mathsize="normal">
                        <mml:mi>s</mml:mi>
                      </mml:mstyle>
                      <mml:mn>2</mml:mn>
                    </mml:msub>
                    <mml:mo>∧</mml:mo>
                    <mml:mstyle mathvariant="bold" mathsize="normal">
                      <mml:mi>b</mml:mi>
                    </mml:mstyle>
                  </mml:mrow>
                  <mml:mo>]</mml:mo>
                </mml:mrow>
              </mml:mtd>
            </mml:mtr>
            <mml:mtr>
              <mml:mtd>
                <mml:mo>=</mml:mo>
                <mml:mtext>sgn</mml:mtext>
                <mml:mrow>
                  <mml:mo>(</mml:mo>
                  <mml:mrow>
                    <mml:msub>
                      <mml:mstyle mathvariant="bold" mathsize="normal">
                        <mml:mi>s</mml:mi>
                      </mml:mstyle>
                      <mml:mn>2</mml:mn>
                    </mml:msub>
                    <mml:mo>⋅</mml:mo>
                    <mml:mstyle mathvariant="bold" mathsize="normal">
                      <mml:mi>b</mml:mi>
                    </mml:mstyle>
                  </mml:mrow>
                  <mml:mo>)</mml:mo>
                </mml:mrow>
                <mml:mo>=</mml:mo>
                <mml:mo>∓</mml:mo>
                <mml:mn>1.</mml:mn>
              </mml:mtd>
            </mml:mtr>
          </mml:mtable>
        </mml:math>
      </disp-formula>
      <p>Here <inline-formula><mml:math><mml:mi> I </mml:mi></mml:math></inline-formula> or <inline-formula><mml:math><mml:mrow><mml:msub><mml:mi> I </mml:mi><mml:mn> 4 </mml:mn></mml:msub><mml:mo> = </mml:mo><mml:msub><mml:mi> γ </mml:mi><mml:mn> 0 </mml:mn></mml:msub><mml:msub><mml:mi> γ </mml:mi><mml:mn> 1 </mml:mn></mml:msub><mml:msub><mml:mi> γ </mml:mi><mml:mn> 2 </mml:mn></mml:msub><mml:msub><mml:mi> γ </mml:mi><mml:mn> 3 </mml:mn></mml:msub></mml:mrow></mml:math></inline-formula> is the pseudoscalar of Space-Time Algebra and <inline-formula><mml:math><mml:mrow><mml:msub><mml:mi> I </mml:mi><mml:mn> 3 </mml:mn></mml:msub><mml:mo> = </mml:mo><mml:msub><mml:mi> e </mml:mi><mml:mi> x </mml:mi></mml:msub><mml:msub><mml:mi> e </mml:mi><mml:mi> y </mml:mi></mml:msub><mml:msub><mml:mi> e </mml:mi><mml:mi> z </mml:mi></mml:msub></mml:mrow></mml:math></inline-formula> is the pseudoscalar of the three-dimensional geometric algebra used in the QM formulation [<xref ref-type="bibr" rid="B7">7</xref>]. In the pure STA formulation, the bivector terms <inline-formula><mml:math><mml:mrow><mml:mstyle mathvariant="bold" mathsize="normal"><mml:mi> a </mml:mi></mml:mstyle><mml:mo> ∧ </mml:mo><mml:msub><mml:mstyle mathvariant="bold" mathsize="normal"><mml:mi> s </mml:mi></mml:mstyle><mml:mn> 1 </mml:mn></mml:msub></mml:mrow></mml:math></inline-formula> and <inline-formula><mml:math><mml:mrow><mml:msub><mml:mstyle mathvariant="bold" mathsize="normal"><mml:mi> s </mml:mi></mml:mstyle><mml:mn> 2 </mml:mn></mml:msub><mml:mo> ∧ </mml:mo><mml:mstyle mathvariant="bold" mathsize="normal"><mml:mi> b </mml:mi></mml:mstyle></mml:mrow></mml:math></inline-formula> arise naturally from the geometric product without requiring the addition of <inline-formula><mml:math><mml:mrow><mml:msub><mml:mi> I </mml:mi><mml:mn> 3 </mml:mn></mml:msub><mml:msub><mml:mstyle mathvariant="bold" mathsize="normal"><mml:mi> r </mml:mi></mml:mstyle><mml:mstyle mathvariant="bold" mathsize="normal"><mml:mi> a </mml:mi></mml:mstyle></mml:msub></mml:mrow></mml:math></inline-formula> and <inline-formula><mml:math><mml:mrow><mml:msub><mml:mi> I </mml:mi><mml:mn> 3 </mml:mn></mml:msub><mml:msub><mml:mstyle mathvariant="bold" mathsize="normal"><mml:mi> r </mml:mi></mml:mstyle><mml:mstyle mathvariant="bold" mathsize="normal"><mml:mi> b </mml:mi></mml:mstyle></mml:msub></mml:mrow></mml:math></inline-formula> , as demonstrated in the computational implementation of Section IV. In the QM framework, <inline-formula><mml:math><mml:mrow><mml:mi> σ </mml:mi><mml:mo> ⋅ </mml:mo><mml:mstyle mathvariant="bold" mathsize="normal"><mml:mi> a </mml:mi></mml:mstyle></mml:mrow></mml:math></inline-formula> and <inline-formula><mml:math><mml:mrow><mml:mi> σ </mml:mi><mml:mo> ⋅ </mml:mo><mml:mstyle mathvariant="bold" mathsize="normal"><mml:mi> b </mml:mi></mml:mstyle></mml:mrow></mml:math></inline-formula> represent the detectors used by Alice and Bob, respectively, each carrying no angular momentum at the instant of detection. In the STA framework, the bivectors <inline-formula><mml:math><mml:mstyle mathvariant="bold" mathsize="normal"><mml:mi> a </mml:mi></mml:mstyle></mml:math></inline-formula> and <inline-formula><mml:math><mml:mstyle mathvariant="bold" mathsize="normal"><mml:mi> b </mml:mi></mml:mstyle></mml:math></inline-formula> represent these same detector orientations, and the measurement interaction is encoded through the geometric products <inline-formula><mml:math><mml:mrow><mml:mstyle mathvariant="bold" mathsize="normal"><mml:mi> a </mml:mi></mml:mstyle><mml:msub><mml:mstyle mathvariant="bold" mathsize="normal"><mml:mi> s </mml:mi></mml:mstyle><mml:mn> 1 </mml:mn></mml:msub></mml:mrow></mml:math></inline-formula> and <inline-formula><mml:math><mml:mrow><mml:msub><mml:mstyle mathvariant="bold" mathsize="normal"><mml:mi> s </mml:mi></mml:mstyle><mml:mn> 2 </mml:mn></mml:msub><mml:mstyle mathvariant="bold" mathsize="normal"><mml:mi> b </mml:mi></mml:mstyle></mml:mrow></mml:math></inline-formula> . The quantity <inline-formula><mml:math><mml:mrow><mml:mi> σ </mml:mi><mml:mo> ⋅ </mml:mo><mml:msub><mml:mstyle mathvariant="bold" mathsize="normal"><mml:mi> s </mml:mi></mml:mstyle><mml:mn> 1 </mml:mn></mml:msub><mml:mo> = </mml:mo><mml:mo> − </mml:mo><mml:mi> σ </mml:mi><mml:mo> ⋅ </mml:mo><mml:msub><mml:mstyle mathvariant="bold" mathsize="normal"><mml:mi> s </mml:mi></mml:mstyle><mml:mn> 2 </mml:mn></mml:msub></mml:mrow></mml:math></inline-formula> in QM (or equivalently <inline-formula><mml:math><mml:mrow><mml:msub><mml:mstyle mathvariant="bold" mathsize="normal"><mml:mi> s </mml:mi></mml:mstyle><mml:mn> 1 </mml:mn></mml:msub><mml:mo> = </mml:mo><mml:mo> − </mml:mo><mml:msub><mml:mstyle mathvariant="bold" mathsize="normal"><mml:mi> s </mml:mi></mml:mstyle><mml:mn> 2 </mml:mn></mml:msub></mml:mrow></mml:math></inline-formula> in STA) denotes the spin of the fermions received by the detectors and forms the basis of the EPRB experiment. The limit-replacement expressions serve as idealized models of the polarizers at the detection stations by aligning the particle’s spin direction with the polarizer direction, while <inline-formula><mml:math><mml:mrow><mml:mrow><mml:mo> | </mml:mo><mml:mrow><mml:msub><mml:mi> ϕ </mml:mi><mml:mrow><mml:mtext> QM </mml:mtext></mml:mrow></mml:msub></mml:mrow><mml:mo> 〉 </mml:mo></mml:mrow></mml:mrow></mml:math></inline-formula> and <inline-formula><mml:math><mml:mrow><mml:mrow><mml:mo> | </mml:mo><mml:mrow><mml:msub><mml:mi> χ </mml:mi><mml:mrow><mml:mtext> QM </mml:mtext></mml:mrow></mml:msub></mml:mrow><mml:mo> 〉 </mml:mo></mml:mrow></mml:mrow></mml:math></inline-formula> denote the wavefunctions of the individual particles.</p>
      <p>In the subsequent stage of the <italic>A</italic> and <italic>B</italic> functions, the multivector structure emerges explicitly from the geometric product. The cross-product (bivector) terms vanish in the matrix-based expectation-value calculation due to averaging, even though they do not vanish in ordinary local vector algebra. We therefore regard these bivector contributions as non-observable components that must nevertheless be retained in the full geometric calculation in order to obtain the correct predictions. In STA, the geometric product of two unit spatial bivectors lies in the even subalgebra, whose unit elements form the rotor group <inline-formula><mml:math><mml:mrow><mml:mtext> Spin </mml:mtext><mml:mrow><mml:mo> ( </mml:mo><mml:mn> 3 </mml:mn><mml:mo> ) </mml:mo></mml:mrow><mml:mo> ≅ </mml:mo><mml:mi> S </mml:mi><mml:mi> U </mml:mi><mml:mrow><mml:mo> ( </mml:mo><mml:mn> 2 </mml:mn><mml:mo> ) </mml:mo></mml:mrow><mml:mo> ≅ </mml:mo><mml:msup><mml:mi> S </mml:mi><mml:mn> 3 </mml:mn></mml:msup></mml:mrow></mml:math></inline-formula> , so the rotor actions <inline-formula><mml:math><mml:mrow><mml:mrow><mml:mo> ( </mml:mo><mml:mrow><mml:mstyle mathvariant="bold" mathsize="normal"><mml:mi> a </mml:mi></mml:mstyle><mml:msub><mml:mstyle mathvariant="bold" mathsize="normal"><mml:mi> s </mml:mi></mml:mstyle><mml:mn> 1 </mml:mn></mml:msub></mml:mrow><mml:mo> ) </mml:mo></mml:mrow></mml:mrow></mml:math></inline-formula> and <inline-formula><mml:math><mml:mrow><mml:mrow><mml:mo> ( </mml:mo><mml:mrow><mml:msub><mml:mstyle mathvariant="bold" mathsize="normal"><mml:mi> s </mml:mi></mml:mstyle><mml:mn> 2 </mml:mn></mml:msub><mml:mstyle mathvariant="bold" mathsize="normal"><mml:mi> b </mml:mi></mml:mstyle></mml:mrow><mml:mo> ) </mml:mo></mml:mrow></mml:mrow></mml:math></inline-formula> naturally reside on a 3-sphere.</p>
    </sec>
    <sec id="sec3">
      <title>3. Product Expectation Value Calculation Using Space-Time Algebra</title>
      <p>The product expectation value is computed by evaluating <inline-formula><mml:math><mml:mrow><mml:mi> A </mml:mi><mml:mrow><mml:mo> ( </mml:mo><mml:mrow><mml:mstyle mathvariant="bold" mathsize="normal"><mml:mi> a </mml:mi></mml:mstyle><mml:mo> , </mml:mo><mml:msub><mml:mstyle mathvariant="bold" mathsize="normal"><mml:mi> s </mml:mi></mml:mstyle><mml:mn> 1 </mml:mn></mml:msub></mml:mrow><mml:mo> ) </mml:mo></mml:mrow><mml:mi> B </mml:mi><mml:mrow><mml:mo> ( </mml:mo><mml:mrow><mml:mstyle mathvariant="bold" mathsize="normal"><mml:mi> b </mml:mi></mml:mstyle><mml:mo> , </mml:mo><mml:msub><mml:mstyle mathvariant="bold" mathsize="normal"><mml:mi> s </mml:mi></mml:mstyle><mml:mn> 2 </mml:mn></mml:msub></mml:mrow><mml:mo> ) </mml:mo></mml:mrow></mml:mrow></mml:math></inline-formula> for each emitted pair and then averaging over the isotropic singlet distribution. The correlation is then computed entirely within the even subalgebra of STA. Using the limit-replacement definitions of the measurement functions, the calculation proceeds as follows: </p>
      <disp-formula id="FD17">
        <label>(15)</label>
        <mml:math display="inline">
          <mml:mrow>
            <mml:mtable columnalign="left">
              <mml:mtr columnalign="left">
                <mml:mtd columnalign="left">
                  <mml:mrow>
                    <mml:mi>E</mml:mi>
                    <mml:mrow>
                      <mml:mo>(</mml:mo>
                      <mml:mrow>
                        <mml:mstyle mathvariant="bold" mathsize="normal">
                          <mml:mi>a</mml:mi>
                        </mml:mstyle>
                        <mml:mo>,</mml:mo>
                        <mml:mstyle mathvariant="bold" mathsize="normal">
                          <mml:mi>b</mml:mi>
                        </mml:mstyle>
                      </mml:mrow>
                      <mml:mo>)</mml:mo>
                    </mml:mrow>
                    <mml:mo>=</mml:mo>
                    <mml:munder>
                      <mml:mrow>
                        <mml:mi>lim</mml:mi>
                      </mml:mrow>
                      <mml:mrow>
                        <mml:mi>n</mml:mi>
                        <mml:mo>≫</mml:mo>
                        <mml:mn>1</mml:mn>
                      </mml:mrow>
                    </mml:munder>
                    <mml:mrow>
                      <mml:mo>[</mml:mo>
                      <mml:mrow>
                        <mml:mfrac>
                          <mml:mn>1</mml:mn>
                          <mml:mi>n</mml:mi>
                        </mml:mfrac>
                        <mml:munderover>
                          <mml:mstyle mathsize="140%" displaystyle="true">
                            <mml:mo>∑</mml:mo>
                          </mml:mstyle>
                          <mml:mrow>
                            <mml:mi>k</mml:mi>
                            <mml:mo>=</mml:mo>
                            <mml:mn>1</mml:mn>
                          </mml:mrow>
                          <mml:mi>n</mml:mi>
                        </mml:munderover>
                        <mml:mtext>
                           
                        </mml:mtext>
                        <mml:mi>A</mml:mi>
                        <mml:mrow>
                          <mml:mo>(</mml:mo>
                          <mml:mrow>
                            <mml:msup>
                              <mml:mstyle mathvariant="bold" mathsize="normal">
                                <mml:mi>a</mml:mi>
                              </mml:mstyle>
                              <mml:mi>k</mml:mi>
                            </mml:msup>
                            <mml:mo>,</mml:mo>
                            <mml:msubsup>
                              <mml:mstyle mathvariant="bold" mathsize="normal">
                                <mml:mi>s</mml:mi>
                              </mml:mstyle>
                              <mml:mn>1</mml:mn>
                              <mml:mi>k</mml:mi>
                            </mml:msubsup>
                          </mml:mrow>
                          <mml:mo>)</mml:mo>
                        </mml:mrow>
                        <mml:mi>B</mml:mi>
                        <mml:mrow>
                          <mml:mo>(</mml:mo>
                          <mml:mrow>
                            <mml:msup>
                              <mml:mstyle mathvariant="bold" mathsize="normal">
                                <mml:mi>b</mml:mi>
                              </mml:mstyle>
                              <mml:mi>k</mml:mi>
                            </mml:msup>
                            <mml:mo>,</mml:mo>
                            <mml:msubsup>
                              <mml:mstyle mathvariant="bold" mathsize="normal">
                                <mml:mi>s</mml:mi>
                              </mml:mstyle>
                              <mml:mn>2</mml:mn>
                              <mml:mi>k</mml:mi>
                            </mml:msubsup>
                          </mml:mrow>
                          <mml:mo>)</mml:mo>
                        </mml:mrow>
                      </mml:mrow>
                      <mml:mo>]</mml:mo>
                    </mml:mrow>
                    <mml:mo>,</mml:mo>
                  </mml:mrow>
                </mml:mtd>
                <mml:mtd columnalign="left">
                  <mml:mrow>
                    <mml:mtext>
                       
                    </mml:mtext>
                    <mml:mtext>
                       
                    </mml:mtext>
                    <mml:mtext>
                       
                    </mml:mtext>
                    <mml:mtext>
                       
                    </mml:mtext>
                    <mml:mtext>
                       
                    </mml:mtext>
                    <mml:mtext>
                       
                    </mml:mtext>
                    <mml:mtext>
                       
                    </mml:mtext>
                    <mml:mtext>
                       
                    </mml:mtext>
                    <mml:mtext>
                       
                    </mml:mtext>
                    <mml:mtext>
                       
                    </mml:mtext>
                    <mml:mtext>
                       
                    </mml:mtext>
                    <mml:mtext>
                       
                    </mml:mtext>
                    <mml:mtext>
                       
                    </mml:mtext>
                    <mml:mtext>
                       
                    </mml:mtext>
                    <mml:mtext>
                       
                    </mml:mtext>
                    <mml:mtext>
                       
                    </mml:mtext>
                    <mml:mtext>
                       
                    </mml:mtext>
                    <mml:mtext>
                       
                    </mml:mtext>
                    <mml:mo stretchy="false">(</mml:mo>
                    <mml:mn>15</mml:mn>
                    <mml:mo stretchy="false">)</mml:mo>
                  </mml:mrow>
                </mml:mtd>
              </mml:mtr>
              <mml:mtr columnalign="left">
                <mml:mtd columnalign="left">
                  <mml:mrow>
                    <mml:mtext>
                       
                    </mml:mtext>
                    <mml:mtext>
                       
                    </mml:mtext>
                    <mml:mtext>
                       
                    </mml:mtext>
                    <mml:mtext>
                       
                    </mml:mtext>
                    <mml:mtext>
                       
                    </mml:mtext>
                    <mml:mtext>
                       
                    </mml:mtext>
                    <mml:mtext>
                       
                    </mml:mtext>
                    <mml:mtext>
                       
                    </mml:mtext>
                    <mml:mtext>
                       
                    </mml:mtext>
                    <mml:mtext>
                       
                    </mml:mtext>
                    <mml:mtext>
                       
                    </mml:mtext>
                    <mml:mo>=</mml:mo>
                    <mml:munder>
                      <mml:mrow>
                        <mml:mi>lim</mml:mi>
                      </mml:mrow>
                      <mml:mrow>
                        <mml:mi>n</mml:mi>
                        <mml:mo>≫</mml:mo>
                        <mml:mn>1</mml:mn>
                      </mml:mrow>
                    </mml:munder>
                    <mml:mrow>
                      <mml:mo>[</mml:mo>
                      <mml:mrow>
                        <mml:mfrac>
                          <mml:mn>1</mml:mn>
                          <mml:mi>n</mml:mi>
                        </mml:mfrac>
                        <mml:munderover>
                          <mml:mstyle mathsize="140%" displaystyle="true">
                            <mml:mo>∑</mml:mo>
                          </mml:mstyle>
                          <mml:mrow>
                            <mml:mi>k</mml:mi>
                            <mml:mo>=</mml:mo>
                            <mml:mn>1</mml:mn>
                          </mml:mrow>
                          <mml:mi>n</mml:mi>
                        </mml:munderover>
                        <mml:mrow>
                          <mml:mo>(</mml:mo>
                          <mml:mrow>
                            <mml:munder>
                              <mml:mrow>
                                <mml:mi>lim</mml:mi>
                              </mml:mrow>
                              <mml:mrow>
                                <mml:msub>
                                  <mml:mstyle mathvariant="bold" mathsize="normal">
                                    <mml:mi>s</mml:mi>
                                  </mml:mstyle>
                                  <mml:mn>1</mml:mn>
                                </mml:msub>
                                <mml:mo>→</mml:mo>
                                <mml:msub>
                                  <mml:mstyle mathvariant="bold" mathsize="normal">
                                    <mml:mi>μ</mml:mi>
                                  </mml:mstyle>
                                  <mml:mi>a</mml:mi>
                                </mml:msub>
                              </mml:mrow>
                            </mml:munder>
                            <mml:mrow>
                              <mml:mo>[</mml:mo>
                              <mml:mrow>
                                <mml:mstyle mathvariant="bold" mathsize="normal">
                                  <mml:mi>a</mml:mi>
                                </mml:mstyle>
                                <mml:msub>
                                  <mml:mstyle mathvariant="bold" mathsize="normal">
                                    <mml:mi>s</mml:mi>
                                  </mml:mstyle>
                                  <mml:mn>1</mml:mn>
                                </mml:msub>
                              </mml:mrow>
                              <mml:mo>]</mml:mo>
                            </mml:mrow>
                          </mml:mrow>
                          <mml:mo>)</mml:mo>
                        </mml:mrow>
                        <mml:mrow>
                          <mml:mo>(</mml:mo>
                          <mml:mrow>
                            <mml:munder>
                              <mml:mrow>
                                <mml:mi>lim</mml:mi>
                              </mml:mrow>
                              <mml:mrow>
                                <mml:msub>
                                  <mml:mstyle mathvariant="bold" mathsize="normal">
                                    <mml:mi>s</mml:mi>
                                  </mml:mstyle>
                                  <mml:mn>2</mml:mn>
                                </mml:msub>
                                <mml:mo>→</mml:mo>
                                <mml:msub>
                                  <mml:mi>μ</mml:mi>
                                  <mml:mstyle mathvariant="bold" mathsize="normal">
                                    <mml:mi>b</mml:mi>
                                  </mml:mstyle>
                                </mml:msub>
                              </mml:mrow>
                            </mml:munder>
                            <mml:mrow>
                              <mml:mo>[</mml:mo>
                              <mml:mrow>
                                <mml:msub>
                                  <mml:mstyle mathvariant="bold" mathsize="normal">
                                    <mml:mi>s</mml:mi>
                                  </mml:mstyle>
                                  <mml:mn>2</mml:mn>
                                </mml:msub>
                                <mml:mstyle mathvariant="bold" mathsize="normal">
                                  <mml:mi>b</mml:mi>
                                </mml:mstyle>
                              </mml:mrow>
                              <mml:mo>]</mml:mo>
                            </mml:mrow>
                          </mml:mrow>
                          <mml:mo>)</mml:mo>
                        </mml:mrow>
                      </mml:mrow>
                      <mml:mo>]</mml:mo>
                    </mml:mrow>
                  </mml:mrow>
                </mml:mtd>
                <mml:mtd columnalign="left">
                  <mml:mrow>
                    <mml:mtext>
                       
                    </mml:mtext>
                    <mml:mtext>
                       
                    </mml:mtext>
                    <mml:mtext>
                       
                    </mml:mtext>
                    <mml:mtext>
                       
                    </mml:mtext>
                    <mml:mtext>
                       
                    </mml:mtext>
                    <mml:mtext>
                       
                    </mml:mtext>
                    <mml:mtext>
                       
                    </mml:mtext>
                    <mml:mtext>
                       
                    </mml:mtext>
                    <mml:mtext>
                       
                    </mml:mtext>
                    <mml:mtext>
                       
                    </mml:mtext>
                    <mml:mtext>
                       
                    </mml:mtext>
                    <mml:mtext>
                       
                    </mml:mtext>
                    <mml:mtext>
                       
                    </mml:mtext>
                    <mml:mtext>
                       
                    </mml:mtext>
                    <mml:mtext>
                       
                    </mml:mtext>
                    <mml:mtext>
                       
                    </mml:mtext>
                    <mml:mtext>
                       
                    </mml:mtext>
                    <mml:mtext>
                       
                    </mml:mtext>
                    <mml:mo stretchy="false">(</mml:mo>
                    <mml:mn>16</mml:mn>
                    <mml:mo stretchy="false">)</mml:mo>
                  </mml:mrow>
                </mml:mtd>
              </mml:mtr>
              <mml:mtr columnalign="left">
                <mml:mtd columnalign="left">
                  <mml:mrow>
                    <mml:mtext>
                       
                    </mml:mtext>
                    <mml:mtext>
                       
                    </mml:mtext>
                    <mml:mtext>
                       
                    </mml:mtext>
                    <mml:mtext>
                       
                    </mml:mtext>
                    <mml:mtext>
                       
                    </mml:mtext>
                    <mml:mtext>
                       
                    </mml:mtext>
                    <mml:mtext>
                       
                    </mml:mtext>
                    <mml:mtext>
                       
                    </mml:mtext>
                    <mml:mtext>
                       
                    </mml:mtext>
                    <mml:mtext>
                       
                    </mml:mtext>
                    <mml:mtext>
                       
                    </mml:mtext>
                    <mml:mo>=</mml:mo>
                    <mml:munder>
                      <mml:mrow>
                        <mml:mi>lim</mml:mi>
                      </mml:mrow>
                      <mml:mrow>
                        <mml:mi>n</mml:mi>
                        <mml:mo>≫</mml:mo>
                        <mml:mn>1</mml:mn>
                      </mml:mrow>
                    </mml:munder>
                    <mml:mrow>
                      <mml:mo>[</mml:mo>
                      <mml:mrow>
                        <mml:mfrac>
                          <mml:mn>1</mml:mn>
                          <mml:mi>n</mml:mi>
                        </mml:mfrac>
                        <mml:munderover>
                          <mml:mstyle mathsize="140%" displaystyle="true">
                            <mml:mo>∑</mml:mo>
                          </mml:mstyle>
                          <mml:mrow>
                            <mml:mi>k</mml:mi>
                            <mml:mo>=</mml:mo>
                            <mml:mn>1</mml:mn>
                          </mml:mrow>
                          <mml:mi>n</mml:mi>
                        </mml:munderover>
                        <mml:munder>
                          <mml:mrow>
                            <mml:mi>lim</mml:mi>
                          </mml:mrow>
                          <mml:mrow>
                            <mml:mtable>
                              <mml:mtr>
                                <mml:mtd>
                                  <mml:mrow>
                                    <mml:msub>
                                      <mml:mstyle mathvariant="bold" mathsize="normal">
                                        <mml:mi>s</mml:mi>
                                      </mml:mstyle>
                                      <mml:mn>1</mml:mn>
                                    </mml:msub>
                                    <mml:mo>→</mml:mo>
                                    <mml:msub>
                                      <mml:mstyle mathvariant="bold" mathsize="normal">
                                        <mml:mi>μ</mml:mi>
                                      </mml:mstyle>
                                      <mml:mi>a</mml:mi>
                                    </mml:msub>
                                  </mml:mrow>
                                </mml:mtd>
                              </mml:mtr>
                              <mml:mtr>
                                <mml:mtd>
                                  <mml:mrow>
                                    <mml:msub>
                                      <mml:mstyle mathvariant="bold" mathsize="normal">
                                        <mml:mi>s</mml:mi>
                                      </mml:mstyle>
                                      <mml:mn>2</mml:mn>
                                    </mml:msub>
                                    <mml:mo>→</mml:mo>
                                    <mml:msub>
                                      <mml:mi>μ</mml:mi>
                                      <mml:mstyle mathvariant="bold" mathsize="normal">
                                        <mml:mi>b</mml:mi>
                                      </mml:mstyle>
                                    </mml:msub>
                                  </mml:mrow>
                                </mml:mtd>
                              </mml:mtr>
                            </mml:mtable>
                          </mml:mrow>
                        </mml:munder>
                        <mml:mrow>
                          <mml:mo>{</mml:mo>
                          <mml:mrow>
                            <mml:mrow>
                              <mml:mo>(</mml:mo>
                              <mml:mrow>
                                <mml:mstyle mathvariant="bold" mathsize="normal">
                                  <mml:mi>a</mml:mi>
                                </mml:mstyle>
                                <mml:msub>
                                  <mml:mstyle mathvariant="bold" mathsize="normal">
                                    <mml:mi>s</mml:mi>
                                  </mml:mstyle>
                                  <mml:mn>1</mml:mn>
                                </mml:msub>
                              </mml:mrow>
                              <mml:mo>)</mml:mo>
                            </mml:mrow>
                            <mml:mrow>
                              <mml:mo>(</mml:mo>
                              <mml:mrow>
                                <mml:msub>
                                  <mml:mstyle mathvariant="bold" mathsize="normal">
                                    <mml:mi>s</mml:mi>
                                  </mml:mstyle>
                                  <mml:mn>2</mml:mn>
                                </mml:msub>
                                <mml:mstyle mathvariant="bold" mathsize="normal">
                                  <mml:mi>b</mml:mi>
                                </mml:mstyle>
                              </mml:mrow>
                              <mml:mo>)</mml:mo>
                            </mml:mrow>
                          </mml:mrow>
                          <mml:mo>}</mml:mo>
                        </mml:mrow>
                      </mml:mrow>
                      <mml:mo>]</mml:mo>
                    </mml:mrow>
                  </mml:mrow>
                </mml:mtd>
                <mml:mtd columnalign="left">
                  <mml:mrow>
                    <mml:mtext>
                       
                    </mml:mtext>
                    <mml:mtext>
                       
                    </mml:mtext>
                    <mml:mtext>
                       
                    </mml:mtext>
                    <mml:mtext>
                       
                    </mml:mtext>
                    <mml:mtext>
                       
                    </mml:mtext>
                    <mml:mtext>
                       
                    </mml:mtext>
                    <mml:mtext>
                       
                    </mml:mtext>
                    <mml:mtext>
                       
                    </mml:mtext>
                    <mml:mtext>
                       
                    </mml:mtext>
                    <mml:mtext>
                       
                    </mml:mtext>
                    <mml:mtext>
                       
                    </mml:mtext>
                    <mml:mtext>
                       
                    </mml:mtext>
                    <mml:mtext>
                       
                    </mml:mtext>
                    <mml:mtext>
                       
                    </mml:mtext>
                    <mml:mtext>
                       
                    </mml:mtext>
                    <mml:mtext>
                       
                    </mml:mtext>
                    <mml:mtext>
                       
                    </mml:mtext>
                    <mml:mtext>
                       
                    </mml:mtext>
                    <mml:mo stretchy="false">(</mml:mo>
                    <mml:mn>17</mml:mn>
                    <mml:mo stretchy="false">)</mml:mo>
                  </mml:mrow>
                </mml:mtd>
              </mml:mtr>
              <mml:mtr columnalign="left">
                <mml:mtd columnalign="left">
                  <mml:mrow>
                    <mml:mtext>
                       
                    </mml:mtext>
                    <mml:mtext>
                       
                    </mml:mtext>
                    <mml:mtext>
                       
                    </mml:mtext>
                    <mml:mtext>
                       
                    </mml:mtext>
                    <mml:mtext>
                       
                    </mml:mtext>
                    <mml:mtext>
                       
                    </mml:mtext>
                    <mml:mtext>
                       
                    </mml:mtext>
                    <mml:mtext>
                       
                    </mml:mtext>
                    <mml:mtext>
                       
                    </mml:mtext>
                    <mml:mtext>
                       
                    </mml:mtext>
                    <mml:mtext>
                       
                    </mml:mtext>
                    <mml:mo>=</mml:mo>
                    <mml:munder>
                      <mml:mrow>
                        <mml:mi>lim</mml:mi>
                      </mml:mrow>
                      <mml:mrow>
                        <mml:mi>n</mml:mi>
                        <mml:mo>≫</mml:mo>
                        <mml:mn>1</mml:mn>
                      </mml:mrow>
                    </mml:munder>
                    <mml:mrow>
                      <mml:mo>[</mml:mo>
                      <mml:mrow>
                        <mml:mfrac>
                          <mml:mn>1</mml:mn>
                          <mml:mi>n</mml:mi>
                        </mml:mfrac>
                        <mml:munderover>
                          <mml:mstyle mathsize="140%" displaystyle="true">
                            <mml:mo>∑</mml:mo>
                          </mml:mstyle>
                          <mml:mrow>
                            <mml:mi>k</mml:mi>
                            <mml:mo>=</mml:mo>
                            <mml:mn>1</mml:mn>
                          </mml:mrow>
                          <mml:mi>n</mml:mi>
                        </mml:munderover>
                        <mml:munder>
                          <mml:mrow>
                            <mml:mi>lim</mml:mi>
                          </mml:mrow>
                          <mml:mrow>
                            <mml:msub>
                              <mml:mstyle mathvariant="bold" mathsize="normal">
                                <mml:mi>s</mml:mi>
                              </mml:mstyle>
                              <mml:mn>1</mml:mn>
                            </mml:msub>
                            <mml:mo>→</mml:mo>
                            <mml:msub>
                              <mml:mstyle mathvariant="bold" mathsize="normal">
                                <mml:mi>μ</mml:mi>
                              </mml:mstyle>
                              <mml:mi>a</mml:mi>
                            </mml:msub>
                          </mml:mrow>
                        </mml:munder>
                        <mml:mrow>
                          <mml:mo>{</mml:mo>
                          <mml:mrow>
                            <mml:mo>−</mml:mo>
                            <mml:mrow>
                              <mml:mo>(</mml:mo>
                              <mml:mrow>
                                <mml:mstyle mathvariant="bold" mathsize="normal">
                                  <mml:mi>a</mml:mi>
                                </mml:mstyle>
                                <mml:msub>
                                  <mml:mstyle mathvariant="bold" mathsize="normal">
                                    <mml:mi>s</mml:mi>
                                  </mml:mstyle>
                                  <mml:mn>1</mml:mn>
                                </mml:msub>
                              </mml:mrow>
                              <mml:mo>)</mml:mo>
                            </mml:mrow>
                            <mml:mrow>
                              <mml:mo>(</mml:mo>
                              <mml:mrow>
                                <mml:msub>
                                  <mml:mstyle mathvariant="bold" mathsize="normal">
                                    <mml:mi>s</mml:mi>
                                  </mml:mstyle>
                                  <mml:mn>1</mml:mn>
                                </mml:msub>
                                <mml:mstyle mathvariant="bold" mathsize="normal">
                                  <mml:mi>b</mml:mi>
                                </mml:mstyle>
                              </mml:mrow>
                              <mml:mo>)</mml:mo>
                            </mml:mrow>
                          </mml:mrow>
                          <mml:mo>}</mml:mo>
                        </mml:mrow>
                      </mml:mrow>
                      <mml:mo>]</mml:mo>
                    </mml:mrow>
                  </mml:mrow>
                </mml:mtd>
                <mml:mtd columnalign="left">
                  <mml:mrow>
                    <mml:mtext>
                       
                    </mml:mtext>
                    <mml:mtext>
                       
                    </mml:mtext>
                    <mml:mtext>
                       
                    </mml:mtext>
                    <mml:mtext>
                       
                    </mml:mtext>
                    <mml:mtext>
                       
                    </mml:mtext>
                    <mml:mtext>
                       
                    </mml:mtext>
                    <mml:mtext>
                       
                    </mml:mtext>
                    <mml:mtext>
                       
                    </mml:mtext>
                    <mml:mtext>
                       
                    </mml:mtext>
                    <mml:mtext>
                       
                    </mml:mtext>
                    <mml:mtext>
                       
                    </mml:mtext>
                    <mml:mtext>
                       
                    </mml:mtext>
                    <mml:mtext>
                       
                    </mml:mtext>
                    <mml:mtext>
                       
                    </mml:mtext>
                    <mml:mtext>
                       
                    </mml:mtext>
                    <mml:mtext>
                       
                    </mml:mtext>
                    <mml:mtext>
                       
                    </mml:mtext>
                    <mml:mtext>
                       
                    </mml:mtext>
                    <mml:mo stretchy="false">(</mml:mo>
                    <mml:mn>18</mml:mn>
                    <mml:mo stretchy="false">)</mml:mo>
                  </mml:mrow>
                </mml:mtd>
              </mml:mtr>
              <mml:mtr columnalign="left">
                <mml:mtd columnalign="left">
                  <mml:mrow>
                    <mml:mtext>
                       
                    </mml:mtext>
                    <mml:mtext>
                       
                    </mml:mtext>
                    <mml:mtext>
                       
                    </mml:mtext>
                    <mml:mtext>
                       
                    </mml:mtext>
                    <mml:mtext>
                       
                    </mml:mtext>
                    <mml:mtext>
                       
                    </mml:mtext>
                    <mml:mtext>
                       
                    </mml:mtext>
                    <mml:mtext>
                       
                    </mml:mtext>
                    <mml:mtext>
                       
                    </mml:mtext>
                    <mml:mtext>
                       
                    </mml:mtext>
                    <mml:mtext>
                       
                    </mml:mtext>
                    <mml:mo>=</mml:mo>
                    <mml:munder>
                      <mml:mrow>
                        <mml:mi>lim</mml:mi>
                      </mml:mrow>
                      <mml:mrow>
                        <mml:mi>n</mml:mi>
                        <mml:mo>≫</mml:mo>
                        <mml:mn>1</mml:mn>
                      </mml:mrow>
                    </mml:munder>
                    <mml:mrow>
                      <mml:mo>[</mml:mo>
                      <mml:mrow>
                        <mml:mfrac>
                          <mml:mn>1</mml:mn>
                          <mml:mi>n</mml:mi>
                        </mml:mfrac>
                        <mml:munderover>
                          <mml:mstyle mathsize="140%" displaystyle="true">
                            <mml:mo>∑</mml:mo>
                          </mml:mstyle>
                          <mml:mrow>
                            <mml:mi>k</mml:mi>
                            <mml:mo>=</mml:mo>
                            <mml:mn>1</mml:mn>
                          </mml:mrow>
                          <mml:mi>n</mml:mi>
                        </mml:munderover>
                        <mml:mrow>
                          <mml:mo>{</mml:mo>
                          <mml:mrow>
                            <mml:mo>−</mml:mo>
                            <mml:mrow>
                              <mml:mo>(</mml:mo>
                              <mml:mrow>
                                <mml:mstyle mathvariant="bold" mathsize="normal">
                                  <mml:mi>a</mml:mi>
                                  <mml:mi>b</mml:mi>
                                </mml:mstyle>
                              </mml:mrow>
                              <mml:mo>)</mml:mo>
                            </mml:mrow>
                          </mml:mrow>
                          <mml:mo>}</mml:mo>
                        </mml:mrow>
                      </mml:mrow>
                      <mml:mo>]</mml:mo>
                    </mml:mrow>
                  </mml:mrow>
                </mml:mtd>
                <mml:mtd columnalign="left">
                  <mml:mrow>
                    <mml:mtext>
                       
                    </mml:mtext>
                    <mml:mtext>
                       
                    </mml:mtext>
                    <mml:mtext>
                       
                    </mml:mtext>
                    <mml:mtext>
                       
                    </mml:mtext>
                    <mml:mtext>
                       
                    </mml:mtext>
                    <mml:mtext>
                       
                    </mml:mtext>
                    <mml:mtext>
                       
                    </mml:mtext>
                    <mml:mtext>
                       
                    </mml:mtext>
                    <mml:mtext>
                       
                    </mml:mtext>
                    <mml:mtext>
                       
                    </mml:mtext>
                    <mml:mtext>
                       
                    </mml:mtext>
                    <mml:mtext>
                       
                    </mml:mtext>
                    <mml:mtext>
                       
                    </mml:mtext>
                    <mml:mtext>
                       
                    </mml:mtext>
                    <mml:mtext>
                       
                    </mml:mtext>
                    <mml:mtext>
                       
                    </mml:mtext>
                    <mml:mtext>
                       
                    </mml:mtext>
                    <mml:mtext>
                       
                    </mml:mtext>
                    <mml:mo stretchy="false">(</mml:mo>
                    <mml:mn>19</mml:mn>
                    <mml:mo stretchy="false">)</mml:mo>
                  </mml:mrow>
                </mml:mtd>
              </mml:mtr>
              <mml:mtr columnalign="left">
                <mml:mtd columnalign="left">
                  <mml:mrow>
                    <mml:mtext>
                       
                    </mml:mtext>
                    <mml:mtext>
                       
                    </mml:mtext>
                    <mml:mtext>
                       
                    </mml:mtext>
                    <mml:mtext>
                       
                    </mml:mtext>
                    <mml:mtext>
                       
                    </mml:mtext>
                    <mml:mtext>
                       
                    </mml:mtext>
                    <mml:mtext>
                       
                    </mml:mtext>
                    <mml:mtext>
                       
                    </mml:mtext>
                    <mml:mtext>
                       
                    </mml:mtext>
                    <mml:mtext>
                       
                    </mml:mtext>
                    <mml:mtext>
                       
                    </mml:mtext>
                    <mml:mo>=</mml:mo>
                    <mml:munder>
                      <mml:mrow>
                        <mml:mi>lim</mml:mi>
                      </mml:mrow>
                      <mml:mrow>
                        <mml:mi>n</mml:mi>
                        <mml:mo>≫</mml:mo>
                        <mml:mn>1</mml:mn>
                      </mml:mrow>
                    </mml:munder>
                    <mml:mrow>
                      <mml:mo>[</mml:mo>
                      <mml:mrow>
                        <mml:mfrac>
                          <mml:mn>1</mml:mn>
                          <mml:mi>n</mml:mi>
                        </mml:mfrac>
                        <mml:munderover>
                          <mml:mstyle mathsize="140%" displaystyle="true">
                            <mml:mo>∑</mml:mo>
                          </mml:mstyle>
                          <mml:mrow>
                            <mml:mi>k</mml:mi>
                            <mml:mo>=</mml:mo>
                            <mml:mn>1</mml:mn>
                          </mml:mrow>
                          <mml:mi>n</mml:mi>
                        </mml:munderover>
                        <mml:mrow>
                          <mml:mo>{</mml:mo>
                          <mml:mrow>
                            <mml:mo>−</mml:mo>
                            <mml:mstyle mathvariant="bold" mathsize="normal">
                              <mml:mi>a</mml:mi>
                            </mml:mstyle>
                            <mml:mo>⋅</mml:mo>
                            <mml:mstyle mathvariant="bold" mathsize="normal">
                              <mml:mi>b</mml:mi>
                            </mml:mstyle>
                            <mml:mo>−</mml:mo>
                            <mml:mrow>
                              <mml:mo>(</mml:mo>
                              <mml:mrow>
                                <mml:mstyle mathvariant="bold" mathsize="normal">
                                  <mml:mi>a</mml:mi>
                                </mml:mstyle>
                                <mml:mo>∧</mml:mo>
                                <mml:mstyle mathvariant="bold" mathsize="normal">
                                  <mml:mi>b</mml:mi>
                                </mml:mstyle>
                              </mml:mrow>
                              <mml:mo>)</mml:mo>
                            </mml:mrow>
                          </mml:mrow>
                          <mml:mo>}</mml:mo>
                        </mml:mrow>
                      </mml:mrow>
                      <mml:mo>]</mml:mo>
                    </mml:mrow>
                  </mml:mrow>
                </mml:mtd>
                <mml:mtd columnalign="left">
                  <mml:mrow>
                    <mml:mtext>
                       
                    </mml:mtext>
                    <mml:mtext>
                       
                    </mml:mtext>
                    <mml:mtext>
                       
                    </mml:mtext>
                    <mml:mtext>
                       
                    </mml:mtext>
                    <mml:mtext>
                       
                    </mml:mtext>
                    <mml:mtext>
                       
                    </mml:mtext>
                    <mml:mtext>
                       
                    </mml:mtext>
                    <mml:mtext>
                       
                    </mml:mtext>
                    <mml:mtext>
                       
                    </mml:mtext>
                    <mml:mtext>
                       
                    </mml:mtext>
                    <mml:mtext>
                       
                    </mml:mtext>
                    <mml:mtext>
                       
                    </mml:mtext>
                    <mml:mtext>
                       
                    </mml:mtext>
                    <mml:mtext>
                       
                    </mml:mtext>
                    <mml:mtext>
                       
                    </mml:mtext>
                    <mml:mtext>
                       
                    </mml:mtext>
                    <mml:mtext>
                       
                    </mml:mtext>
                    <mml:mtext>
                       
                    </mml:mtext>
                    <mml:mo stretchy="false">(</mml:mo>
                    <mml:mn>20</mml:mn>
                    <mml:mo stretchy="false">)</mml:mo>
                  </mml:mrow>
                </mml:mtd>
              </mml:mtr>
              <mml:mtr columnalign="left">
                <mml:mtd columnalign="left">
                  <mml:mrow>
                    <mml:mtext>
                       
                    </mml:mtext>
                    <mml:mtext>
                       
                    </mml:mtext>
                    <mml:mtext>
                       
                    </mml:mtext>
                    <mml:mtext>
                       
                    </mml:mtext>
                    <mml:mtext>
                       
                    </mml:mtext>
                    <mml:mtext>
                       
                    </mml:mtext>
                    <mml:mtext>
                       
                    </mml:mtext>
                    <mml:mtext>
                       
                    </mml:mtext>
                    <mml:mtext>
                       
                    </mml:mtext>
                    <mml:mtext>
                       
                    </mml:mtext>
                    <mml:mtext>
                       
                    </mml:mtext>
                    <mml:mo>=</mml:mo>
                    <mml:mo>−</mml:mo>
                    <mml:mstyle mathvariant="bold" mathsize="normal">
                      <mml:mi>a</mml:mi>
                    </mml:mstyle>
                    <mml:mo>⋅</mml:mo>
                    <mml:mstyle mathvariant="bold" mathsize="normal">
                      <mml:mi>b</mml:mi>
                    </mml:mstyle>
                    <mml:mo>+</mml:mo>
                    <mml:munder>
                      <mml:mrow>
                        <mml:mi>lim</mml:mi>
                      </mml:mrow>
                      <mml:mrow>
                        <mml:mi>n</mml:mi>
                        <mml:mo>≫</mml:mo>
                        <mml:mn>1</mml:mn>
                      </mml:mrow>
                    </mml:munder>
                    <mml:mrow>
                      <mml:mo>[</mml:mo>
                      <mml:mrow>
                        <mml:mfrac>
                          <mml:mn>1</mml:mn>
                          <mml:mi>n</mml:mi>
                        </mml:mfrac>
                        <mml:munderover>
                          <mml:mstyle mathsize="140%" displaystyle="true">
                            <mml:mo>∑</mml:mo>
                          </mml:mstyle>
                          <mml:mrow>
                            <mml:mi>k</mml:mi>
                            <mml:mo>=</mml:mo>
                            <mml:mn>1</mml:mn>
                          </mml:mrow>
                          <mml:mi>n</mml:mi>
                        </mml:munderover>
                        <mml:mo>−</mml:mo>
                        <mml:mrow>
                          <mml:mo>(</mml:mo>
                          <mml:mrow>
                            <mml:mstyle mathvariant="bold" mathsize="normal">
                              <mml:mi>a</mml:mi>
                            </mml:mstyle>
                            <mml:mo>∧</mml:mo>
                            <mml:mstyle mathvariant="bold" mathsize="normal">
                              <mml:mi>b</mml:mi>
                            </mml:mstyle>
                          </mml:mrow>
                          <mml:mo>)</mml:mo>
                        </mml:mrow>
                      </mml:mrow>
                      <mml:mo>]</mml:mo>
                    </mml:mrow>
                  </mml:mrow>
                </mml:mtd>
                <mml:mtd columnalign="left">
                  <mml:mrow>
                    <mml:mtext>
                       
                    </mml:mtext>
                    <mml:mtext>
                       
                    </mml:mtext>
                    <mml:mtext>
                       
                    </mml:mtext>
                    <mml:mtext>
                       
                    </mml:mtext>
                    <mml:mtext>
                       
                    </mml:mtext>
                    <mml:mtext>
                       
                    </mml:mtext>
                    <mml:mtext>
                       
                    </mml:mtext>
                    <mml:mtext>
                       
                    </mml:mtext>
                    <mml:mtext>
                       
                    </mml:mtext>
                    <mml:mtext>
                       
                    </mml:mtext>
                    <mml:mtext>
                       
                    </mml:mtext>
                    <mml:mtext>
                       
                    </mml:mtext>
                    <mml:mtext>
                       
                    </mml:mtext>
                    <mml:mtext>
                       
                    </mml:mtext>
                    <mml:mtext>
                       
                    </mml:mtext>
                    <mml:mtext>
                       
                    </mml:mtext>
                    <mml:mtext>
                       
                    </mml:mtext>
                    <mml:mtext>
                       
                    </mml:mtext>
                    <mml:mo stretchy="false">(</mml:mo>
                    <mml:mn>21</mml:mn>
                    <mml:mo stretchy="false">)</mml:mo>
                  </mml:mrow>
                </mml:mtd>
              </mml:mtr>
              <mml:mtr columnalign="left">
                <mml:mtd columnalign="left">
                  <mml:mrow>
                    <mml:mtext>
                       
                    </mml:mtext>
                    <mml:mtext>
                       
                    </mml:mtext>
                    <mml:mtext>
                       
                    </mml:mtext>
                    <mml:mtext>
                       
                    </mml:mtext>
                    <mml:mtext>
                       
                    </mml:mtext>
                    <mml:mtext>
                       
                    </mml:mtext>
                    <mml:mtext>
                       
                    </mml:mtext>
                    <mml:mtext>
                       
                    </mml:mtext>
                    <mml:mtext>
                       
                    </mml:mtext>
                    <mml:mtext>
                       
                    </mml:mtext>
                    <mml:mtext>
                       
                    </mml:mtext>
                    <mml:mo>=</mml:mo>
                    <mml:mo>−</mml:mo>
                    <mml:mstyle mathvariant="bold" mathsize="normal">
                      <mml:mi>a</mml:mi>
                    </mml:mstyle>
                    <mml:mo>⋅</mml:mo>
                    <mml:mstyle mathvariant="bold" mathsize="normal">
                      <mml:mi>b</mml:mi>
                    </mml:mstyle>
                    <mml:mo>.</mml:mo>
                  </mml:mrow>
                </mml:mtd>
                <mml:mtd columnalign="left">
                  <mml:mrow>
                    <mml:mtext>
                       
                    </mml:mtext>
                    <mml:mtext>
                       
                    </mml:mtext>
                    <mml:mtext>
                       
                    </mml:mtext>
                    <mml:mtext>
                       
                    </mml:mtext>
                    <mml:mtext>
                       
                    </mml:mtext>
                    <mml:mtext>
                       
                    </mml:mtext>
                    <mml:mtext>
                       
                    </mml:mtext>
                    <mml:mtext>
                       
                    </mml:mtext>
                    <mml:mtext>
                       
                    </mml:mtext>
                    <mml:mtext>
                       
                    </mml:mtext>
                    <mml:mtext>
                       
                    </mml:mtext>
                    <mml:mtext>
                       
                    </mml:mtext>
                    <mml:mtext>
                       
                    </mml:mtext>
                    <mml:mtext>
                       
                    </mml:mtext>
                    <mml:mtext>
                       
                    </mml:mtext>
                    <mml:mtext>
                       
                    </mml:mtext>
                    <mml:mtext>
                       
                    </mml:mtext>
                    <mml:mtext>
                       
                    </mml:mtext>
                    <mml:mo stretchy="false">(</mml:mo>
                    <mml:mn>22</mml:mn>
                    <mml:mo stretchy="false">)</mml:mo>
                  </mml:mrow>
                </mml:mtd>
              </mml:mtr>
            </mml:mtable>
          </mml:mrow>
        </mml:math>
      </disp-formula>
      <p>The steps above use only the STA definitions of the measurement functions and the singlet condition <inline-formula><mml:math><mml:mrow><mml:msub><mml:mstyle mathvariant="bold" mathsize="normal"><mml:mi> s </mml:mi></mml:mstyle><mml:mn> 2 </mml:mn></mml:msub><mml:mo> = </mml:mo><mml:mo> − </mml:mo><mml:msub><mml:mstyle mathvariant="bold" mathsize="normal"><mml:mi> s </mml:mi></mml:mstyle><mml:mn> 1 </mml:mn></mml:msub></mml:mrow></mml:math></inline-formula> . Equation (19) follows from <inline-formula><mml:math><mml:mrow><mml:msubsup><mml:mstyle mathvariant="bold" mathsize="normal"><mml:mi> s </mml:mi></mml:mstyle><mml:mn> 1 </mml:mn><mml:mn> 2 </mml:mn></mml:msubsup><mml:mo> = </mml:mo><mml:mn> 1 </mml:mn></mml:mrow></mml:math></inline-formula> for a unit spin bivector, which reduces <inline-formula><mml:math><mml:mrow><mml:mo> − </mml:mo><mml:mrow><mml:mo> ( </mml:mo><mml:mrow><mml:mstyle mathvariant="bold" mathsize="normal"><mml:mi> a </mml:mi></mml:mstyle><mml:msub><mml:mstyle mathvariant="bold" mathsize="normal"><mml:mi> s </mml:mi></mml:mstyle><mml:mn> 1 </mml:mn></mml:msub></mml:mrow><mml:mo> ) </mml:mo></mml:mrow><mml:mrow><mml:mo> ( </mml:mo><mml:mrow><mml:msub><mml:mstyle mathvariant="bold" mathsize="normal"><mml:mi> s </mml:mi></mml:mstyle><mml:mn> 1 </mml:mn></mml:msub><mml:mstyle mathvariant="bold" mathsize="normal"><mml:mi> b </mml:mi></mml:mstyle></mml:mrow><mml:mo> ) </mml:mo></mml:mrow></mml:mrow></mml:math></inline-formula> to <inline-formula><mml:math><mml:mrow><mml:mo> − </mml:mo><mml:mrow><mml:mo> ( </mml:mo><mml:mrow><mml:mstyle mathvariant="bold" mathsize="normal"><mml:mi> a </mml:mi><mml:mi> b </mml:mi></mml:mstyle></mml:mrow><mml:mo> ) </mml:mo></mml:mrow></mml:mrow></mml:math></inline-formula> . The geometric product <inline-formula><mml:math><mml:mrow><mml:mo> − </mml:mo><mml:mrow><mml:mo> ( </mml:mo><mml:mrow><mml:mstyle mathvariant="bold" mathsize="normal"><mml:mi> a </mml:mi><mml:mi> b </mml:mi></mml:mstyle></mml:mrow><mml:mo> ) </mml:mo></mml:mrow></mml:mrow></mml:math></inline-formula> contains both a scalar part <inline-formula><mml:math><mml:mrow><mml:mo> − </mml:mo><mml:mstyle mathvariant="bold" mathsize="normal"><mml:mi> a </mml:mi></mml:mstyle><mml:mo> ⋅ </mml:mo><mml:mstyle mathvariant="bold" mathsize="normal"><mml:mi> b </mml:mi></mml:mstyle></mml:mrow></mml:math></inline-formula> and a bivector part <inline-formula><mml:math><mml:mrow><mml:mo> − </mml:mo><mml:mrow><mml:mo> ( </mml:mo><mml:mrow><mml:mstyle mathvariant="bold" mathsize="normal"><mml:mi> a </mml:mi></mml:mstyle><mml:mo> ∧ </mml:mo><mml:mstyle mathvariant="bold" mathsize="normal"><mml:mi> b </mml:mi></mml:mstyle></mml:mrow><mml:mo> ) </mml:mo></mml:mrow></mml:mrow></mml:math></inline-formula> , but the bivector term averages to zero over the isotropic singlet distribution. However, it is actually impossible for the bivector term to exist since <inline-formula><mml:math><mml:mstyle mathvariant="bold" mathsize="normal"><mml:mi> a </mml:mi></mml:mstyle></mml:math></inline-formula> and <inline-formula><mml:math><mml:mstyle mathvariant="bold" mathsize="normal"><mml:mi> b </mml:mi></mml:mstyle></mml:math></inline-formula> are not local to each other; it is a mathematical artifact in this case. So, the correlation is purely scalar and equals <inline-formula><mml:math><mml:mrow><mml:mo> − </mml:mo><mml:mstyle mathvariant="bold" mathsize="normal"><mml:mi> a </mml:mi></mml:mstyle><mml:mo> ⋅ </mml:mo><mml:mstyle mathvariant="bold" mathsize="normal"><mml:mi> b </mml:mi></mml:mstyle></mml:mrow></mml:math></inline-formula> , in agreement with the quantum-mechanical prediction.</p>
    </sec>
    <sec id="sec4">
      <title>4. STA Computational Validation via Mathematica Simulations</title>
      <p>To complement the analytic derivation of the correlation <inline-formula><mml:math><mml:mrow><mml:mi> E </mml:mi><mml:mrow><mml:mo> ( </mml:mo><mml:mrow><mml:mstyle mathvariant="bold" mathsize="normal"><mml:mi> a </mml:mi></mml:mstyle><mml:mo> , </mml:mo><mml:mstyle mathvariant="bold" mathsize="normal"><mml:mi> b </mml:mi></mml:mstyle></mml:mrow><mml:mo> ) </mml:mo></mml:mrow><mml:mo> = </mml:mo><mml:mo> − </mml:mo><mml:mstyle mathvariant="bold" mathsize="normal"><mml:mi> a </mml:mi></mml:mstyle><mml:mo> ⋅ </mml:mo><mml:mstyle mathvariant="bold" mathsize="normal"><mml:mi> b </mml:mi></mml:mstyle></mml:mrow></mml:math></inline-formula> , we implemented a set of Mathematica simulations using the clifford.m package. These simulations numerically realize the local measurement maps of Section II and the product calculation of Section 3. The purpose of this section is not to simulate an experiment, but to verify that the STA multivector structure reproduces the analytic result when evaluated over a large ensemble of singlet pairs. The Mathematica simulations can be read or downloaded at [<xref ref-type="bibr" rid="B14">14</xref>].</p>
      <p>The simulations use the following physical inputs of the singlet state: 1) rotational invariance, implemented by sampling <inline-formula><mml:math><mml:mrow><mml:msub><mml:mstyle mathvariant="bold" mathsize="normal"><mml:mi> s </mml:mi></mml:mstyle><mml:mn> 1 </mml:mn></mml:msub></mml:mrow></mml:math></inline-formula> uniformly from the unit sphere using a Pauli rotor that converts from points on the 3-sphere, and 2) conservation of angular momentum, implemented by the constraint <inline-formula><mml:math><mml:mrow><mml:msub><mml:mstyle mathvariant="bold" mathsize="normal"><mml:mi> s </mml:mi></mml:mstyle><mml:mn> 2 </mml:mn></mml:msub><mml:mo> = </mml:mo><mml:mo> − </mml:mo><mml:msub><mml:mstyle mathvariant="bold" mathsize="normal"><mml:mi> s </mml:mi></mml:mstyle><mml:mn> 1 </mml:mn></mml:msub></mml:mrow></mml:math></inline-formula> . For each trial, independent detector directions <inline-formula><mml:math><mml:mstyle mathvariant="bold" mathsize="normal"><mml:mi> a </mml:mi></mml:mstyle></mml:math></inline-formula> and <inline-formula><mml:math><mml:mstyle mathvariant="bold" mathsize="normal"><mml:mi> b </mml:mi></mml:mstyle></mml:math></inline-formula> are generated, and the local measurement interactions are computed from the full multivector products <inline-formula><mml:math><mml:mrow><mml:mi> A </mml:mi><mml:mrow><mml:mo> ( </mml:mo><mml:mrow><mml:mstyle mathvariant="bold" mathsize="normal"><mml:mi> a </mml:mi></mml:mstyle><mml:mo> , </mml:mo><mml:msub><mml:mstyle mathvariant="bold" mathsize="normal"><mml:mi> s </mml:mi></mml:mstyle><mml:mn> 1 </mml:mn></mml:msub></mml:mrow><mml:mo> ) </mml:mo></mml:mrow><mml:mo> = </mml:mo><mml:msub><mml:mrow><mml:mi> lim </mml:mi></mml:mrow><mml:mrow><mml:msub><mml:mstyle mathvariant="bold" mathsize="normal"><mml:mi> s </mml:mi></mml:mstyle><mml:mn> 1 </mml:mn></mml:msub><mml:mo> → </mml:mo><mml:msub><mml:mi> μ </mml:mi><mml:mstyle mathvariant="bold" mathsize="normal"><mml:mi> a </mml:mi></mml:mstyle></mml:msub></mml:mrow></mml:msub><mml:mrow><mml:mo> [ </mml:mo><mml:mrow><mml:mstyle mathvariant="bold" mathsize="normal"><mml:mi> a </mml:mi></mml:mstyle><mml:msub><mml:mstyle mathvariant="bold" mathsize="normal"><mml:mi> s </mml:mi></mml:mstyle><mml:mn> 1 </mml:mn></mml:msub></mml:mrow><mml:mo> ] </mml:mo></mml:mrow></mml:mrow></mml:math></inline-formula> , <inline-formula><mml:math><mml:mrow><mml:mi> B </mml:mi><mml:mrow><mml:mo> ( </mml:mo><mml:mrow><mml:mstyle mathvariant="bold" mathsize="normal"><mml:mi> b </mml:mi></mml:mstyle><mml:mo> , </mml:mo><mml:msub><mml:mstyle mathvariant="bold" mathsize="normal"><mml:mi> s </mml:mi></mml:mstyle><mml:mn> 2 </mml:mn></mml:msub></mml:mrow><mml:mo> ) </mml:mo></mml:mrow><mml:mo> = </mml:mo><mml:msub><mml:mrow><mml:mi> lim </mml:mi></mml:mrow><mml:mrow><mml:msub><mml:mstyle mathvariant="bold" mathsize="normal"><mml:mi> s </mml:mi></mml:mstyle><mml:mn> 2 </mml:mn></mml:msub><mml:mo> → </mml:mo><mml:msub><mml:mi> μ </mml:mi><mml:mstyle mathvariant="bold" mathsize="normal"><mml:mi> b </mml:mi></mml:mstyle></mml:msub></mml:mrow></mml:msub><mml:mrow><mml:mo> [ </mml:mo><mml:mrow><mml:msub><mml:mstyle mathvariant="bold" mathsize="normal"><mml:mi> s </mml:mi></mml:mstyle><mml:mn> 2 </mml:mn></mml:msub><mml:mstyle mathvariant="bold" mathsize="normal"><mml:mi> b </mml:mi></mml:mstyle></mml:mrow><mml:mo> ] </mml:mo></mml:mrow></mml:mrow></mml:math></inline-formula> , as defined in Section 2. The scalar parts of these multivectors determine the measurement outcomes <inline-formula><mml:math><mml:mrow><mml:mi> A </mml:mi><mml:mo> , </mml:mo><mml:mi> B </mml:mi><mml:mo> = </mml:mo><mml:mo> ± </mml:mo><mml:mn> 1 </mml:mn></mml:mrow></mml:math></inline-formula> , while the full multivectors are retained for the product calculation of Section 3.</p>
      <sec id="sec4dot1">
        <title>4.1. 2D Detector Simulation</title>
        <p>Most real detectors (polarizers, Stern-Gerlach magnets, photon analyzers) act in a fixed measurement plane. We therefore implemented a 2D detector model in which <inline-formula><mml:math><mml:mstyle mathvariant="bold" mathsize="normal"><mml:mi> a </mml:mi></mml:mstyle></mml:math></inline-formula> and <inline-formula><mml:math><mml:mstyle mathvariant="bold" mathsize="normal"><mml:mi> b </mml:mi></mml:mstyle></mml:math></inline-formula> lie in the <italic>x</italic>-<italic>y</italic> plane perpendicular to the particle’s motion on the <italic>z</italic>-axis while the spin bivectors <inline-formula><mml:math><mml:mrow><mml:msub><mml:mstyle mathvariant="bold" mathsize="normal"><mml:mi> s </mml:mi></mml:mstyle><mml:mn> 1 </mml:mn></mml:msub></mml:mrow></mml:math></inline-formula> and <inline-formula><mml:math><mml:mrow><mml:msub><mml:mstyle mathvariant="bold" mathsize="normal"><mml:mi> s </mml:mi></mml:mstyle><mml:mn> 2 </mml:mn></mml:msub></mml:mrow></mml:math></inline-formula> remain fully 3D and satisfy <inline-formula><mml:math><mml:mrow><mml:msub><mml:mstyle mathvariant="bold" mathsize="normal"><mml:mi> s </mml:mi></mml:mstyle><mml:mn> 2 </mml:mn></mml:msub><mml:mo> = </mml:mo><mml:mo> − </mml:mo><mml:msub><mml:mstyle mathvariant="bold" mathsize="normal"><mml:mi> s </mml:mi></mml:mstyle><mml:mn> 1 </mml:mn></mml:msub></mml:mrow></mml:math></inline-formula> . This allows the relative detector angle <inline-formula><mml:math><mml:mi> θ </mml:mi></mml:math></inline-formula> to be varied directly from −360˚ to +360˚ without geometric sampling bias.</p>
        <p>For each of <inline-formula><mml:math><mml:mrow><mml:mi> m </mml:mi><mml:mo> = </mml:mo><mml:mn> 300000 </mml:mn></mml:mrow></mml:math></inline-formula> trials, the following steps are performed: </p>
        <p>1) Generate four coordinates for a point on <inline-formula><mml:math><mml:mrow><mml:msup><mml:mi> S </mml:mi><mml:mn> 3 </mml:mn></mml:msup></mml:mrow></mml:math></inline-formula> . </p>
        <p>2) Construct a <inline-formula><mml:math><mml:mrow><mml:msup><mml:mi> S </mml:mi><mml:mn> 3 </mml:mn></mml:msup></mml:mrow></mml:math></inline-formula> Pauli quaternion rotor using the coordinates and three bivectors, <inline-formula><mml:math><mml:mrow><mml:msub><mml:mi> B </mml:mi><mml:mn> 1 </mml:mn></mml:msub><mml:mo> = </mml:mo><mml:mo> − </mml:mo><mml:msub><mml:mi> I </mml:mi><mml:mn> 4 </mml:mn></mml:msub><mml:msub><mml:mi> σ </mml:mi><mml:mn> 1 </mml:mn></mml:msub></mml:mrow></mml:math></inline-formula> , <inline-formula><mml:math><mml:mrow><mml:msub><mml:mi> B </mml:mi><mml:mn> 2 </mml:mn></mml:msub><mml:mo> = </mml:mo><mml:mo> − </mml:mo><mml:msub><mml:mi> I </mml:mi><mml:mn> 4 </mml:mn></mml:msub><mml:msub><mml:mi> σ </mml:mi><mml:mn> 2 </mml:mn></mml:msub></mml:mrow></mml:math></inline-formula> , and <inline-formula><mml:math><mml:mrow><mml:msub><mml:mi> B </mml:mi><mml:mn> 3 </mml:mn></mml:msub><mml:mo> = </mml:mo><mml:mo> − </mml:mo><mml:msub><mml:mi> I </mml:mi><mml:mn> 4 </mml:mn></mml:msub><mml:msub><mml:mi> σ </mml:mi><mml:mn> 3 </mml:mn></mml:msub></mml:mrow></mml:math></inline-formula> . </p>
        <p>3) Generate random unit spin bivectors <inline-formula><mml:math><mml:mrow><mml:msub><mml:mstyle mathvariant="bold" mathsize="normal"><mml:mi> s </mml:mi></mml:mstyle><mml:mn> 1 </mml:mn></mml:msub></mml:mrow></mml:math></inline-formula> and <inline-formula><mml:math><mml:mrow><mml:msub><mml:mstyle mathvariant="bold" mathsize="normal"><mml:mi> s </mml:mi></mml:mstyle><mml:mn> 2 </mml:mn></mml:msub></mml:mrow></mml:math></inline-formula> using the <inline-formula><mml:math><mml:mrow><mml:msup><mml:mi> S </mml:mi><mml:mn> 3 </mml:mn></mml:msup></mml:mrow></mml:math></inline-formula> Pauli rotor as a Hopf fibration to <inline-formula><mml:math><mml:mrow><mml:msup><mml:mi> S </mml:mi><mml:mn> 2 </mml:mn></mml:msup></mml:mrow></mml:math></inline-formula> . </p>
        <p>4) Generate detector directions <inline-formula><mml:math><mml:mstyle mathvariant="bold" mathsize="normal"><mml:mi> a </mml:mi></mml:mstyle></mml:math></inline-formula> and <inline-formula><mml:math><mml:mstyle mathvariant="bold" mathsize="normal"><mml:mi> b </mml:mi></mml:mstyle></mml:math></inline-formula> uniformly in the <italic>x</italic>-<italic>y</italic> plane. </p>
        <p>5) Compute the multivector interactions <inline-formula><mml:math><mml:mrow><mml:mstyle mathvariant="bold" mathsize="normal"><mml:mi> a </mml:mi></mml:mstyle><mml:msub><mml:mstyle mathvariant="bold" mathsize="normal"><mml:mi> s </mml:mi></mml:mstyle><mml:mn> 1 </mml:mn></mml:msub></mml:mrow></mml:math></inline-formula> and <inline-formula><mml:math><mml:mrow><mml:msub><mml:mstyle mathvariant="bold" mathsize="normal"><mml:mi> s </mml:mi></mml:mstyle><mml:mn> 2 </mml:mn></mml:msub><mml:mstyle mathvariant="bold" mathsize="normal"><mml:mi> b </mml:mi></mml:mstyle></mml:mrow></mml:math></inline-formula> . </p>
        <p>6) Extract the scalar parts to assign <inline-formula><mml:math><mml:mrow><mml:mi> A </mml:mi><mml:mo> = </mml:mo><mml:mo> ± </mml:mo><mml:mn> 1 </mml:mn></mml:mrow></mml:math></inline-formula> and <inline-formula><mml:math><mml:mrow><mml:mi> B </mml:mi><mml:mo> = </mml:mo><mml:mo> ∓ </mml:mo><mml:mn> 1 </mml:mn></mml:mrow></mml:math></inline-formula> . </p>
        <p>7) Compute the full geometric product <inline-formula><mml:math><mml:mrow><mml:mi> A </mml:mi><mml:mrow><mml:mo> ( </mml:mo><mml:mrow><mml:mstyle mathvariant="bold" mathsize="normal"><mml:mi> a </mml:mi></mml:mstyle><mml:mo> , </mml:mo><mml:msub><mml:mstyle mathvariant="bold" mathsize="normal"><mml:mi> s </mml:mi></mml:mstyle><mml:mn> 1 </mml:mn></mml:msub></mml:mrow><mml:mo> ) </mml:mo></mml:mrow><mml:mi> B </mml:mi><mml:mrow><mml:mo> ( </mml:mo><mml:mrow><mml:mstyle mathvariant="bold" mathsize="normal"><mml:mi> b </mml:mi></mml:mstyle><mml:mo> , </mml:mo><mml:msub><mml:mstyle mathvariant="bold" mathsize="normal"><mml:mi> s </mml:mi></mml:mstyle><mml:mn> 2 </mml:mn></mml:msub></mml:mrow><mml:mo> ) </mml:mo></mml:mrow></mml:mrow></mml:math></inline-formula> . </p>
        <p>8) Bin the scalar part of the product according to the relative angle <inline-formula><mml:math><mml:mi> θ </mml:mi></mml:math></inline-formula> . </p>
        <p>The resulting correlation curve <inline-formula><mml:math><mml:mrow><mml:mi> E </mml:mi><mml:mrow><mml:mo> ( </mml:mo><mml:mi> θ </mml:mi><mml:mo> ) </mml:mo></mml:mrow></mml:mrow></mml:math></inline-formula> matches the analytic prediction <inline-formula><mml:math><mml:mrow><mml:mo> − </mml:mo><mml:mi> cos </mml:mi><mml:mi> θ </mml:mi></mml:mrow></mml:math></inline-formula> to numerical precision. The simulation data (blue) lie directly on top of the theoretical curve (magenta) as shown in <xref ref-type="fig" rid="fig1">Figure 1</xref>, and the cross-product (bivector) terms average to zero, in agreement with the analytic calculation of Section III. The spatial bivectors <inline-formula><mml:math><mml:mrow><mml:msub><mml:mi> B </mml:mi><mml:mi> i </mml:mi></mml:msub></mml:mrow></mml:math></inline-formula> of STA can be used to form and calculate quaternions.</p>
      </sec>
      <sec id="sec4dot2">
        <title>4.2. 3D Detector Confirmation</title>
        <p>To verify that the result is not an artifact of planar detectors, we also implemented a full 3D simulation in which <inline-formula><mml:math><mml:mstyle mathvariant="bold" mathsize="normal"><mml:mi> a </mml:mi></mml:mstyle></mml:math></inline-formula> and <inline-formula><mml:math><mml:mstyle mathvariant="bold" mathsize="normal"><mml:mi> b </mml:mi></mml:mstyle></mml:math></inline-formula> are sampled uniformly from the unit sphere. The same procedure is followed, with the relative angle <inline-formula><mml:math><mml:mi> θ </mml:mi></mml:math></inline-formula> computed from the numerical components of <inline-formula><mml:math><mml:mstyle mathvariant="bold" mathsize="normal"><mml:mi> a </mml:mi></mml:mstyle></mml:math></inline-formula> and <inline-formula><mml:math><mml:mstyle mathvariant="bold" mathsize="normal"><mml:mi> b </mml:mi></mml:mstyle></mml:math></inline-formula> . The resulting correlation again matches <inline-formula><mml:math><mml:mrow><mml:mo> − </mml:mo><mml:mstyle mathvariant="bold" mathsize="normal"><mml:mi> a </mml:mi></mml:mstyle><mml:mo> ⋅ </mml:mo><mml:mstyle mathvariant="bold" mathsize="normal"><mml:mi> b </mml:mi></mml:mstyle></mml:mrow></mml:math></inline-formula> as shown in <xref ref-type="fig" rid="fig2">Figure 2</xref>, and the bivector terms vanish on average. This confirms that the STA local measurement maps reproduce the singlet correlation in both 2D and 3D settings.</p>
        <fig id="fig1">
          <label>Figure 1</label>
          <graphic xlink:href="https://html.scirp.org/file/1300523-rId296.jpeg?20260617020107" />
        </fig>
        <p><bold>Figure</bold><bold>1</bold><bold>.</bold> Plot of product calculation from the 2D detector simulation or the short-cut singlet calculation.</p>
        <fig id="fig2">
          <label>Figure 2</label>
          <graphic xlink:href="https://html.scirp.org/file/1300523-rId297.jpeg?20260617020107" />
        </fig>
        <p><bold>Figure</bold><bold>2</bold><bold>.</bold>Plot of product calculation from the 3D simulation. Blue is the correlation data, magenta is the negative cosine curve for an exact match.</p>
      </sec>
      <sec id="sec4dot3">
        <title>4.3. Numerical Summary</title>
        <p>The simulations yield the following results:</p>
        <p><bold>Correlation.</bold> The scalar part of the STA product reproduces <inline-formula><mml:math><mml:mrow><mml:mi> E </mml:mi><mml:mrow><mml:mo> ( </mml:mo><mml:mi> θ </mml:mi><mml:mo> ) </mml:mo></mml:mrow><mml:mo> = </mml:mo><mml:mo> − </mml:mo><mml:mi> cos </mml:mi><mml:mi> θ </mml:mi></mml:mrow></mml:math></inline-formula> over the full 720˚ range.<bold>Individual averages.</bold> The measurement outcomes satisfy <inline-formula><mml:math><mml:mrow><mml:mrow><mml:mo> 〈 </mml:mo><mml:mi> A </mml:mi><mml:mo> 〉 </mml:mo></mml:mrow><mml:mo> ≈ </mml:mo><mml:mn> 0 </mml:mn></mml:mrow></mml:math></inline-formula> and <inline-formula><mml:math><mml:mrow><mml:mrow><mml:mo> 〈 </mml:mo><mml:mi> B </mml:mi><mml:mo> 〉 </mml:mo></mml:mrow><mml:mo> ≈ </mml:mo><mml:mn> 0 </mml:mn></mml:mrow></mml:math></inline-formula> , consistent with the singlet symmetry.<bold>Bivector terms.</bold> The bivector part of the product averages to zero, as predicted by the analytic calculation.<bold>Rotational invariance.</bold> Both the 2D and 3D simulations confirm that the STA model preserves the rotational invariance of the singlet state. </p>
      </sec>
      <sec id="sec4dot4">
        <title>4.4. Significance</title>
        <p>These simulations provide a direct computational validation of the analytic STA derivation. The correlation <inline-formula><mml:math><mml:mrow><mml:mo> − </mml:mo><mml:mstyle mathvariant="bold" mathsize="normal"><mml:mi> a </mml:mi></mml:mstyle><mml:mo> ⋅ </mml:mo><mml:mstyle mathvariant="bold" mathsize="normal"><mml:mi> b </mml:mi></mml:mstyle></mml:mrow></mml:math></inline-formula> emerges from purely local geometric operations, with no nonlocal influences or probabilistic assumptions. The agreement between the analytic and numerical results confirms that the STA measurement maps and multivector products faithfully reproduce the singlet correlation.</p>
      </sec>
    </sec>
    <sec id="sec5">
      <title>5. Conclusions</title>
      <p>The analytic and computational results presented in this work demonstrate that the singlet correlation <inline-formula><mml:math><mml:mrow><mml:mo> − </mml:mo><mml:mstyle mathvariant="bold" mathsize="normal"><mml:mi> a </mml:mi></mml:mstyle><mml:mo> ⋅ </mml:mo><mml:mstyle mathvariant="bold" mathsize="normal"><mml:mi> b </mml:mi></mml:mstyle></mml:mrow></mml:math></inline-formula> can be obtained from a fully local model formulated entirely within Space-Time Algebra. The key ingredients are the geometric representation of spin as a unit bivector, the conservation of angular momentum expressed by <inline-formula><mml:math><mml:mrow><mml:msub><mml:mstyle mathvariant="bold" mathsize="normal"><mml:mi> s </mml:mi></mml:mstyle><mml:mn> 2 </mml:mn></mml:msub><mml:mo> = </mml:mo><mml:mo> − </mml:mo><mml:msub><mml:mstyle mathvariant="bold" mathsize="normal"><mml:mi> s </mml:mi></mml:mstyle><mml:mn> 1 </mml:mn></mml:msub></mml:mrow></mml:math></inline-formula> , and the local measurement maps <inline-formula><mml:math><mml:mrow><mml:mi> A </mml:mi><mml:mrow><mml:mo> ( </mml:mo><mml:mrow><mml:mstyle mathvariant="bold" mathsize="normal"><mml:mi> a </mml:mi></mml:mstyle><mml:mo> , </mml:mo><mml:msub><mml:mstyle mathvariant="bold" mathsize="normal"><mml:mi> s </mml:mi></mml:mstyle><mml:mn> 1 </mml:mn></mml:msub></mml:mrow><mml:mo> ) </mml:mo></mml:mrow></mml:mrow></mml:math></inline-formula> and <inline-formula><mml:math><mml:mrow><mml:mi> B </mml:mi><mml:mrow><mml:mo> ( </mml:mo><mml:mrow><mml:mstyle mathvariant="bold" mathsize="normal"><mml:mi> b </mml:mi></mml:mstyle><mml:mo> , </mml:mo><mml:msub><mml:mstyle mathvariant="bold" mathsize="normal"><mml:mi> s </mml:mi></mml:mstyle><mml:mn> 2 </mml:mn></mml:msub></mml:mrow><mml:mo> ) </mml:mo></mml:mrow></mml:mrow></mml:math></inline-formula> defined by the limit-replacement interactions of Section 2. When these maps are combined through the STA product calculation of Section 3 and averaged over the rotationally invariant singlet distribution, the resulting correlation is precisely <inline-formula><mml:math><mml:mrow><mml:mo> − </mml:mo><mml:mstyle mathvariant="bold" mathsize="normal"><mml:mi> a </mml:mi></mml:mstyle><mml:mo> ⋅ </mml:mo><mml:mstyle mathvariant="bold" mathsize="normal"><mml:mi> b </mml:mi></mml:mstyle></mml:mrow></mml:math></inline-formula> .</p>
      <p>The STA formulation makes the locality of the model explicit. Each measurement depends only on the detector direction and the incoming spin bivector at that station; no global two-particle state persists after detection, and no nonlocal influence is required to produce the correlation. The bivector terms that arise in the geometric product vanish upon averaging, leaving only the scalar part that matches the quantum-mechanical prediction. This behavior is a direct consequence of the geometric structure of Nature and the isotropy of the singlet distribution.</p>
      <p>The Mathematica simulations of Section 4 confirm the analytic result [<xref ref-type="bibr" rid="B14">14</xref>]. The scalar part of the STA product reproduces the correlation curve <inline-formula><mml:math><mml:mrow><mml:mi> E </mml:mi><mml:mrow><mml:mo> ( </mml:mo><mml:mi> θ </mml:mi><mml:mo> ) </mml:mo></mml:mrow><mml:mo> = </mml:mo><mml:mo> − </mml:mo><mml:mi> cos </mml:mi><mml:mi> θ </mml:mi></mml:mrow></mml:math></inline-formula> to numerical precision, while the bivector components average to zero. The individual averages <inline-formula><mml:math display="inline"><mml:mrow><mml:mrow><mml:mo> 〈 </mml:mo><mml:mi> A </mml:mi><mml:mo> 〉 </mml:mo></mml:mrow></mml:mrow></mml:math></inline-formula> and <inline-formula><mml:math><mml:mrow><mml:mrow><mml:mo> 〈 </mml:mo><mml:mi> B </mml:mi><mml:mo> 〉 </mml:mo></mml:mrow></mml:mrow></mml:math></inline-formula> also vanish, as expected for the singlet state. These numerical results validate the analytic derivation and demonstrate that the STA measurement maps faithfully reproduce the singlet correlation in both 2D and 3D detector models.</p>
      <p>Taken together, the analytic and computational results show that the singlet correlation arises from local geometric interactions when the underlying physical quantities are represented by bivectors and their geometric products. This suggests that the usual inference from Bell’s theorem to nonlocality is not unavoidable [<xref ref-type="bibr" rid="B15">15</xref>]. Rather, it reflects the limitations of scalar hidden-variable models, not a fundamental feature of Nature. Whether this indicates an incompleteness in the standard quantum-mechanical description remains an open question, but the STA framework provides a coherent and physically transparent alternative in which locality, rotational invariance, and the singlet correlation coexist without contradiction.</p>
    </sec>
    <sec id="sec6">
      <title>Acknowledgements</title>
      <p>The author expresses gratitude to Joy Christian for his substantial contributions to this paper, offered through numerous discussions. The author also acknowledges the use of Microsoft Copilot and Claude AI for assistance with LaTeX preparation, notation consistency, mathematical checks, and minor editorial refinements; all scientific content and interpretations are the author’s own.</p>
    </sec>
    <sec id="sec7">
      <title>Appendix</title>
      <sec id="sec7dot1">
        <title>A. Singlet State Calculation Using Space-Time Algebra</title>
        <p>This appendix presents the explicit STA computation of the singlet state correlation using the Pauli bivector basis within Space-Time Algebra with no other “hidden” variables. The measurement directions <inline-formula><mml:math><mml:mstyle mathvariant="bold" mathsize="normal"><mml:mi> a </mml:mi></mml:mstyle></mml:math></inline-formula> and <inline-formula><mml:math><mml:mstyle mathvariant="bold" mathsize="normal"><mml:mi> b </mml:mi></mml:mstyle></mml:math></inline-formula> are bivectors, while the Pauli elements <inline-formula><mml:math><mml:mrow><mml:msub><mml:mi> σ </mml:mi><mml:mi> k </mml:mi></mml:msub></mml:mrow></mml:math></inline-formula> retain their standard bivector form. All calculations were performed in clifford.m with signature <inline-formula><mml:math><mml:mrow><mml:mrow><mml:mo> ( </mml:mo><mml:mrow><mml:mo> + </mml:mo><mml:mo> , </mml:mo><mml:mo> − </mml:mo><mml:mo> , </mml:mo><mml:mo> − </mml:mo><mml:mo> , </mml:mo><mml:mo> − </mml:mo></mml:mrow><mml:mo> ) </mml:mo></mml:mrow></mml:mrow></mml:math></inline-formula> .</p>
        <p><bold>Locality remark.</bold> The derivation presented here assumes that the bivectors <inline-formula><mml:math><mml:mstyle mathvariant="bold" mathsize="normal"><mml:mi> a </mml:mi></mml:mstyle></mml:math></inline-formula> and <inline-formula><mml:math><mml:mstyle mathvariant="bold" mathsize="normal"><mml:mi> b </mml:mi></mml:mstyle></mml:math></inline-formula> belong to the same Pauli subalgebra. This is appropriate only when <inline-formula><mml:math><mml:mstyle mathvariant="bold" mathsize="normal"><mml:mi> a </mml:mi></mml:mstyle></mml:math></inline-formula> and <inline-formula><mml:math><mml:mstyle mathvariant="bold" mathsize="normal"><mml:mi> b </mml:mi></mml:mstyle></mml:math></inline-formula> are regarded as co-located measurement directions. If the two measurements occur at spacelike separation, then identifying their observables within a single algebraic space implicitly introduces a nonlocal structure. The STA derivation of <inline-formula><mml:math><mml:mrow><mml:mo> − </mml:mo><mml:mstyle mathvariant="bold" mathsize="normal"><mml:mi> a </mml:mi></mml:mstyle><mml:mo> ⋅ </mml:mo><mml:mstyle mathvariant="bold" mathsize="normal"><mml:mi> b </mml:mi></mml:mstyle></mml:mrow></mml:math></inline-formula> therefore applies only under the assumption of a common measurement location.</p>
        <p>The single-particle Pauli bivectors in STA are </p>
        <disp-formula id="FD23">
          <label>(23)</label>
          <mml:math>
            <mml:mrow>
              <mml:msub>
                <mml:mi>σ</mml:mi>
                <mml:mn>1</mml:mn>
              </mml:msub>
              <mml:mo>=</mml:mo>
              <mml:msub>
                <mml:mi>γ</mml:mi>
                <mml:mn>1</mml:mn>
              </mml:msub>
              <mml:msub>
                <mml:mi>γ</mml:mi>
                <mml:mn>0</mml:mn>
              </mml:msub>
              <mml:mo>,</mml:mo>
              <mml:mtext>
                 
              </mml:mtext>
              <mml:mtext>
                 
              </mml:mtext>
              <mml:msub>
                <mml:mi>σ</mml:mi>
                <mml:mn>2</mml:mn>
              </mml:msub>
              <mml:mo>=</mml:mo>
              <mml:msub>
                <mml:mi>γ</mml:mi>
                <mml:mn>2</mml:mn>
              </mml:msub>
              <mml:msub>
                <mml:mi>γ</mml:mi>
                <mml:mn>0</mml:mn>
              </mml:msub>
              <mml:mo>,</mml:mo>
              <mml:mtext>
                 
              </mml:mtext>
              <mml:mtext>
                 
              </mml:mtext>
              <mml:msub>
                <mml:mi>σ</mml:mi>
                <mml:mn>3</mml:mn>
              </mml:msub>
              <mml:mo>=</mml:mo>
              <mml:msub>
                <mml:mi>γ</mml:mi>
                <mml:mn>3</mml:mn>
              </mml:msub>
              <mml:msub>
                <mml:mi>γ</mml:mi>
                <mml:mn>0</mml:mn>
              </mml:msub>
              <mml:mo>.</mml:mo>
            </mml:mrow>
          </mml:math>
        </disp-formula>
        <p>For the two-particle system we assign </p>
        <disp-formula id="FD24">
          <label>(24)</label>
          <mml:math>
            <mml:mrow>
              <mml:msub>
                <mml:mi>σ</mml:mi>
                <mml:mrow>
                  <mml:mn>1</mml:mn>
                  <mml:mi>p</mml:mi>
                  <mml:mn>1</mml:mn>
                </mml:mrow>
              </mml:msub>
              <mml:mo>=</mml:mo>
              <mml:msub>
                <mml:mi>σ</mml:mi>
                <mml:mn>1</mml:mn>
              </mml:msub>
              <mml:mo>,</mml:mo>
              <mml:mtext>
                 
              </mml:mtext>
              <mml:mtext>
                 
              </mml:mtext>
              <mml:msub>
                <mml:mi>σ</mml:mi>
                <mml:mrow>
                  <mml:mn>2</mml:mn>
                  <mml:mi>p</mml:mi>
                  <mml:mn>1</mml:mn>
                </mml:mrow>
              </mml:msub>
              <mml:mo>=</mml:mo>
              <mml:msub>
                <mml:mi>σ</mml:mi>
                <mml:mn>2</mml:mn>
              </mml:msub>
              <mml:mo>,</mml:mo>
              <mml:mtext>
                 
              </mml:mtext>
              <mml:mtext>
                 
              </mml:mtext>
              <mml:msub>
                <mml:mi>σ</mml:mi>
                <mml:mrow>
                  <mml:mn>3</mml:mn>
                  <mml:mi>p</mml:mi>
                  <mml:mn>1</mml:mn>
                </mml:mrow>
              </mml:msub>
              <mml:mo>=</mml:mo>
              <mml:msub>
                <mml:mi>σ</mml:mi>
                <mml:mn>3</mml:mn>
              </mml:msub>
              <mml:mo>,</mml:mo>
            </mml:mrow>
          </mml:math>
        </disp-formula>
        <p>and the particle-2 bivectors are the negatives, </p>
        <disp-formula id="FD25">
          <label>(25)</label>
          <mml:math>
            <mml:mrow>
              <mml:msub>
                <mml:mi>σ</mml:mi>
                <mml:mrow>
                  <mml:mi>k</mml:mi>
                  <mml:mi>p</mml:mi>
                  <mml:mn>2</mml:mn>
                </mml:mrow>
              </mml:msub>
              <mml:mo>=</mml:mo>
              <mml:mo>−</mml:mo>
              <mml:msub>
                <mml:mi>σ</mml:mi>
                <mml:mrow>
                  <mml:mi>k</mml:mi>
                  <mml:mi>p</mml:mi>
                  <mml:mn>1</mml:mn>
                </mml:mrow>
              </mml:msub>
              <mml:mo>.</mml:mo>
            </mml:mrow>
          </mml:math>
        </disp-formula>
        <p>Measurement directions <inline-formula><mml:math><mml:mstyle mathvariant="bold" mathsize="normal"><mml:mi> a </mml:mi></mml:mstyle></mml:math></inline-formula> and <inline-formula><mml:math><mml:mstyle mathvariant="bold" mathsize="normal"><mml:mi> b </mml:mi></mml:mstyle></mml:math></inline-formula> are encoded as bivectors: </p>
        <disp-formula id="FD26">
          <label>(26)</label>
          <mml:math>
            <mml:mtable columnalign="left">
              <mml:mtr>
                <mml:mtd>
                  <mml:mstyle mathvariant="bold" mathsize="normal">
                    <mml:mi>a</mml:mi>
                  </mml:mstyle>
                  <mml:mo>=</mml:mo>
                  <mml:msub>
                    <mml:mi>a</mml:mi>
                    <mml:mi>x</mml:mi>
                  </mml:msub>
                  <mml:msub>
                    <mml:mi>σ</mml:mi>
                    <mml:mrow>
                      <mml:mn>1</mml:mn>
                      <mml:mi>p</mml:mi>
                      <mml:mn>1</mml:mn>
                    </mml:mrow>
                  </mml:msub>
                  <mml:mo>+</mml:mo>
                  <mml:msub>
                    <mml:mi>a</mml:mi>
                    <mml:mi>y</mml:mi>
                  </mml:msub>
                  <mml:msub>
                    <mml:mi>σ</mml:mi>
                    <mml:mrow>
                      <mml:mn>2</mml:mn>
                      <mml:mi>p</mml:mi>
                      <mml:mn>1</mml:mn>
                    </mml:mrow>
                  </mml:msub>
                  <mml:mo>+</mml:mo>
                  <mml:msub>
                    <mml:mi>a</mml:mi>
                    <mml:mi>z</mml:mi>
                  </mml:msub>
                  <mml:msub>
                    <mml:mi>σ</mml:mi>
                    <mml:mrow>
                      <mml:mn>3</mml:mn>
                      <mml:mi>p</mml:mi>
                      <mml:mn>1</mml:mn>
                    </mml:mrow>
                  </mml:msub>
                  <mml:mo>,</mml:mo>
                </mml:mtd>
              </mml:mtr>
              <mml:mtr>
                <mml:mtd>
                  <mml:mstyle mathvariant="bold" mathsize="normal">
                    <mml:mi>b</mml:mi>
                  </mml:mstyle>
                  <mml:mo>=</mml:mo>
                  <mml:msub>
                    <mml:mi>b</mml:mi>
                    <mml:mi>x</mml:mi>
                  </mml:msub>
                  <mml:msub>
                    <mml:mi>σ</mml:mi>
                    <mml:mrow>
                      <mml:mn>1</mml:mn>
                      <mml:mi>p</mml:mi>
                      <mml:mn>2</mml:mn>
                    </mml:mrow>
                  </mml:msub>
                  <mml:mo>+</mml:mo>
                  <mml:msub>
                    <mml:mi>b</mml:mi>
                    <mml:mi>y</mml:mi>
                  </mml:msub>
                  <mml:msub>
                    <mml:mi>σ</mml:mi>
                    <mml:mrow>
                      <mml:mn>2</mml:mn>
                      <mml:mi>p</mml:mi>
                      <mml:mn>2</mml:mn>
                    </mml:mrow>
                  </mml:msub>
                  <mml:mo>+</mml:mo>
                  <mml:msub>
                    <mml:mi>b</mml:mi>
                    <mml:mi>z</mml:mi>
                  </mml:msub>
                  <mml:msub>
                    <mml:mi>σ</mml:mi>
                    <mml:mrow>
                      <mml:mn>3</mml:mn>
                      <mml:mi>p</mml:mi>
                      <mml:mn>2</mml:mn>
                    </mml:mrow>
                  </mml:msub>
                  <mml:mo>.</mml:mo>
                </mml:mtd>
              </mml:mtr>
            </mml:mtable>
          </mml:math>
        </disp-formula>
        <p>The two-term expression for the singlet rotor is </p>
        <disp-formula id="FD27">
          <label>(27)</label>
          <mml:math>
            <mml:mrow>
              <mml:msub>
                <mml:mi>ψ</mml:mi>
                <mml:mrow>
                  <mml:mtext>STA</mml:mtext>
                </mml:mrow>
              </mml:msub>
              <mml:mo>=</mml:mo>
              <mml:mfrac>
                <mml:mn>1</mml:mn>
                <mml:mn>2</mml:mn>
              </mml:mfrac>
              <mml:mrow>
                <mml:mo>(</mml:mo>
                <mml:mrow>
                  <mml:msub>
                    <mml:mi>I</mml:mi>
                    <mml:mn>4</mml:mn>
                  </mml:msub>
                  <mml:msub>
                    <mml:mi>σ</mml:mi>
                    <mml:mrow>
                      <mml:mn>2</mml:mn>
                      <mml:mi>p</mml:mi>
                      <mml:mn>2</mml:mn>
                    </mml:mrow>
                  </mml:msub>
                  <mml:mo>−</mml:mo>
                  <mml:msub>
                    <mml:mi>I</mml:mi>
                    <mml:mn>4</mml:mn>
                  </mml:msub>
                  <mml:msub>
                    <mml:mi>σ</mml:mi>
                    <mml:mrow>
                      <mml:mn>2</mml:mn>
                      <mml:mi>p</mml:mi>
                      <mml:mn>1</mml:mn>
                    </mml:mrow>
                  </mml:msub>
                </mml:mrow>
                <mml:mo>)</mml:mo>
              </mml:mrow>
              <mml:mo>.</mml:mo>
            </mml:mrow>
          </mml:math>
        </disp-formula>
        <p>However, the rotor is not needed for the calculation.</p>
        <p>Since <inline-formula><mml:math><mml:mstyle mathvariant="bold" mathsize="normal"><mml:mi> a </mml:mi></mml:mstyle></mml:math></inline-formula> and <inline-formula><mml:math><mml:mstyle mathvariant="bold" mathsize="normal"><mml:mi> b </mml:mi></mml:mstyle></mml:math></inline-formula> are encoded as bivectors via <inline-formula><mml:math><mml:mrow><mml:msub><mml:mi> σ </mml:mi><mml:mrow><mml:mi> p </mml:mi><mml:mn> 1 </mml:mn></mml:mrow></mml:msub></mml:mrow></mml:math></inline-formula> and <inline-formula><mml:math><mml:mrow><mml:msub><mml:mi> σ </mml:mi><mml:mrow><mml:mi> p </mml:mi><mml:mn> 2 </mml:mn></mml:mrow></mml:msub></mml:mrow></mml:math></inline-formula> respectively, the calculation is quite simple. </p>
        <disp-formula id="FD28">
          <label>(28)</label>
          <mml:math display="inline">
            <mml:mrow>
              <mml:mtable columnalign="left">
                <mml:mtr columnalign="left">
                  <mml:mtd columnalign="left">
                    <mml:mrow>
                      <mml:mi>E</mml:mi>
                      <mml:mrow>
                        <mml:mo>(</mml:mo>
                        <mml:mrow>
                          <mml:mstyle mathvariant="bold" mathsize="normal">
                            <mml:mi>a</mml:mi>
                          </mml:mstyle>
                          <mml:mo>,</mml:mo>
                          <mml:mstyle mathvariant="bold" mathsize="normal">
                            <mml:mi>b</mml:mi>
                          </mml:mstyle>
                        </mml:mrow>
                        <mml:mo>)</mml:mo>
                      </mml:mrow>
                      <mml:mo>=</mml:mo>
                      <mml:munder>
                        <mml:mrow>
                          <mml:mtext>lim</mml:mtext>
                        </mml:mrow>
                        <mml:mrow>
                          <mml:mi>n</mml:mi>
                          <mml:mo>≫</mml:mo>
                          <mml:mn>1</mml:mn>
                        </mml:mrow>
                      </mml:munder>
                      <mml:mrow>
                        <mml:mo>[</mml:mo>
                        <mml:mrow>
                          <mml:mfrac>
                            <mml:mn>1</mml:mn>
                            <mml:mi>n</mml:mi>
                          </mml:mfrac>
                          <mml:munderover>
                            <mml:mstyle mathsize="140%" displaystyle="true">
                              <mml:mo>∑</mml:mo>
                            </mml:mstyle>
                            <mml:mrow>
                              <mml:mi>k</mml:mi>
                              <mml:mo>=</mml:mo>
                              <mml:mn>1</mml:mn>
                            </mml:mrow>
                            <mml:mi>n</mml:mi>
                          </mml:munderover>
                          <mml:mrow>
                            <mml:mo>{</mml:mo>
                            <mml:mrow>
                              <mml:mrow>
                                <mml:mo>(</mml:mo>
                                <mml:mrow>
                                  <mml:mstyle mathvariant="bold" mathsize="normal">
                                    <mml:mi>a</mml:mi>
                                    <mml:mi>b</mml:mi>
                                  </mml:mstyle>
                                </mml:mrow>
                                <mml:mo>)</mml:mo>
                              </mml:mrow>
                            </mml:mrow>
                            <mml:mo>}</mml:mo>
                          </mml:mrow>
                        </mml:mrow>
                        <mml:mo>]</mml:mo>
                      </mml:mrow>
                    </mml:mrow>
                  </mml:mtd>
                  <mml:mtd columnalign="left">
                    <mml:mrow>
                      <mml:mtext>
                         
                      </mml:mtext>
                      <mml:mtext>
                         
                      </mml:mtext>
                      <mml:mtext>
                         
                      </mml:mtext>
                      <mml:mtext>
                         
                      </mml:mtext>
                      <mml:mtext>
                         
                      </mml:mtext>
                      <mml:mtext>
                         
                      </mml:mtext>
                      <mml:mtext>
                         
                      </mml:mtext>
                      <mml:mtext>
                         
                      </mml:mtext>
                      <mml:mtext>
                         
                      </mml:mtext>
                      <mml:mtext>
                         
                      </mml:mtext>
                      <mml:mtext>
                         
                      </mml:mtext>
                      <mml:mtext>
                         
                      </mml:mtext>
                      <mml:mtext>
                         
                      </mml:mtext>
                      <mml:mtext>
                         
                      </mml:mtext>
                      <mml:mtext>
                         
                      </mml:mtext>
                      <mml:mtext>
                         
                      </mml:mtext>
                      <mml:mtext>
                         
                      </mml:mtext>
                      <mml:mtext>
                         
                      </mml:mtext>
                      <mml:mtext>
                         
                      </mml:mtext>
                      <mml:mtext>
                         
                      </mml:mtext>
                      <mml:mtext>
                         
                      </mml:mtext>
                      <mml:mtext>
                         
                      </mml:mtext>
                      <mml:mtext>
                         
                      </mml:mtext>
                      <mml:mo stretchy="false">(</mml:mo>
                      <mml:mn>28</mml:mn>
                      <mml:mo stretchy="false">)</mml:mo>
                    </mml:mrow>
                  </mml:mtd>
                </mml:mtr>
                <mml:mtr columnalign="left">
                  <mml:mtd columnalign="left">
                    <mml:mrow>
                      <mml:mtext>
                         
                      </mml:mtext>
                      <mml:mtext>
                         
                      </mml:mtext>
                      <mml:mtext>
                         
                      </mml:mtext>
                      <mml:mtext>
                         
                      </mml:mtext>
                      <mml:mtext>
                         
                      </mml:mtext>
                      <mml:mtext>
                         
                      </mml:mtext>
                      <mml:mtext>
                         
                      </mml:mtext>
                      <mml:mtext>
                         
                      </mml:mtext>
                      <mml:mtext>
                         
                      </mml:mtext>
                      <mml:mtext>
                         
                      </mml:mtext>
                      <mml:mtext>
                         
                      </mml:mtext>
                      <mml:mo>=</mml:mo>
                      <mml:munder>
                        <mml:mrow>
                          <mml:mtext>lim</mml:mtext>
                        </mml:mrow>
                        <mml:mrow>
                          <mml:mi>n</mml:mi>
                          <mml:mo>≫</mml:mo>
                          <mml:mn>1</mml:mn>
                        </mml:mrow>
                      </mml:munder>
                      <mml:mrow>
                        <mml:mo>[</mml:mo>
                        <mml:mrow>
                          <mml:mfrac>
                            <mml:mn>1</mml:mn>
                            <mml:mi>n</mml:mi>
                          </mml:mfrac>
                          <mml:munderover>
                            <mml:mstyle mathsize="140%" displaystyle="true">
                              <mml:mo>∑</mml:mo>
                            </mml:mstyle>
                            <mml:mrow>
                              <mml:mi>k</mml:mi>
                              <mml:mo>=</mml:mo>
                              <mml:mn>1</mml:mn>
                            </mml:mrow>
                            <mml:mi>n</mml:mi>
                          </mml:munderover>
                          <mml:mrow>
                            <mml:mo>{</mml:mo>
                            <mml:mrow>
                              <mml:mo>−</mml:mo>
                              <mml:mstyle mathvariant="bold" mathsize="normal">
                                <mml:mi>a</mml:mi>
                              </mml:mstyle>
                              <mml:mo>⋅</mml:mo>
                              <mml:mstyle mathvariant="bold" mathsize="normal">
                                <mml:mi>b</mml:mi>
                              </mml:mstyle>
                              <mml:mo>−</mml:mo>
                              <mml:mrow>
                                <mml:mo>(</mml:mo>
                                <mml:mrow>
                                  <mml:mstyle mathvariant="bold" mathsize="normal">
                                    <mml:mi>a</mml:mi>
                                  </mml:mstyle>
                                  <mml:mo>∧</mml:mo>
                                  <mml:mstyle mathvariant="bold" mathsize="normal">
                                    <mml:mi>b</mml:mi>
                                  </mml:mstyle>
                                </mml:mrow>
                                <mml:mo>)</mml:mo>
                              </mml:mrow>
                            </mml:mrow>
                            <mml:mo>}</mml:mo>
                          </mml:mrow>
                        </mml:mrow>
                        <mml:mo>]</mml:mo>
                      </mml:mrow>
                    </mml:mrow>
                  </mml:mtd>
                  <mml:mtd columnalign="left">
                    <mml:mrow>
                      <mml:mtext>
                         
                      </mml:mtext>
                      <mml:mtext>
                         
                      </mml:mtext>
                      <mml:mtext>
                         
                      </mml:mtext>
                      <mml:mtext>
                         
                      </mml:mtext>
                      <mml:mtext>
                         
                      </mml:mtext>
                      <mml:mtext>
                         
                      </mml:mtext>
                      <mml:mtext>
                         
                      </mml:mtext>
                      <mml:mtext>
                         
                      </mml:mtext>
                      <mml:mtext>
                         
                      </mml:mtext>
                      <mml:mtext>
                         
                      </mml:mtext>
                      <mml:mtext>
                         
                      </mml:mtext>
                      <mml:mtext>
                         
                      </mml:mtext>
                      <mml:mtext>
                         
                      </mml:mtext>
                      <mml:mtext>
                         
                      </mml:mtext>
                      <mml:mtext>
                         
                      </mml:mtext>
                      <mml:mtext>
                         
                      </mml:mtext>
                      <mml:mtext>
                         
                      </mml:mtext>
                      <mml:mtext>
                         
                      </mml:mtext>
                      <mml:mtext>
                         
                      </mml:mtext>
                      <mml:mtext>
                         
                      </mml:mtext>
                      <mml:mtext>
                         
                      </mml:mtext>
                      <mml:mtext>
                         
                      </mml:mtext>
                      <mml:mtext>
                         
                      </mml:mtext>
                      <mml:mo stretchy="false">(</mml:mo>
                      <mml:mn>29</mml:mn>
                      <mml:mo stretchy="false">)</mml:mo>
                    </mml:mrow>
                  </mml:mtd>
                </mml:mtr>
                <mml:mtr columnalign="left">
                  <mml:mtd columnalign="left">
                    <mml:mrow>
                      <mml:mtext>
                         
                      </mml:mtext>
                      <mml:mtext>
                         
                      </mml:mtext>
                      <mml:mtext>
                         
                      </mml:mtext>
                      <mml:mtext>
                         
                      </mml:mtext>
                      <mml:mtext>
                         
                      </mml:mtext>
                      <mml:mtext>
                         
                      </mml:mtext>
                      <mml:mtext>
                         
                      </mml:mtext>
                      <mml:mtext>
                         
                      </mml:mtext>
                      <mml:mtext>
                         
                      </mml:mtext>
                      <mml:mtext>
                         
                      </mml:mtext>
                      <mml:mtext>
                         
                      </mml:mtext>
                      <mml:mo>=</mml:mo>
                      <mml:mo>−</mml:mo>
                      <mml:mstyle mathvariant="bold" mathsize="normal">
                        <mml:mi>a</mml:mi>
                      </mml:mstyle>
                      <mml:mo>⋅</mml:mo>
                      <mml:mstyle mathvariant="bold" mathsize="normal">
                        <mml:mi>b</mml:mi>
                      </mml:mstyle>
                      <mml:mo>+</mml:mo>
                      <mml:munder>
                        <mml:mrow>
                          <mml:mtext>lim</mml:mtext>
                        </mml:mrow>
                        <mml:mrow>
                          <mml:mi>n</mml:mi>
                          <mml:mo>≫</mml:mo>
                          <mml:mn>1</mml:mn>
                        </mml:mrow>
                      </mml:munder>
                      <mml:mrow>
                        <mml:mo>[</mml:mo>
                        <mml:mrow>
                          <mml:mfrac>
                            <mml:mn>1</mml:mn>
                            <mml:mi>n</mml:mi>
                          </mml:mfrac>
                          <mml:munderover>
                            <mml:mstyle mathsize="140%" displaystyle="true">
                              <mml:mo>∑</mml:mo>
                            </mml:mstyle>
                            <mml:mrow>
                              <mml:mi>k</mml:mi>
                              <mml:mo>=</mml:mo>
                              <mml:mn>1</mml:mn>
                            </mml:mrow>
                            <mml:mi>n</mml:mi>
                          </mml:munderover>
                          <mml:mo>−</mml:mo>
                          <mml:mrow>
                            <mml:mo>(</mml:mo>
                            <mml:mrow>
                              <mml:mstyle mathvariant="bold" mathsize="normal">
                                <mml:mi>a</mml:mi>
                              </mml:mstyle>
                              <mml:mo>∧</mml:mo>
                              <mml:mstyle mathvariant="bold" mathsize="normal">
                                <mml:mi>b</mml:mi>
                              </mml:mstyle>
                            </mml:mrow>
                            <mml:mo>)</mml:mo>
                          </mml:mrow>
                        </mml:mrow>
                        <mml:mo>]</mml:mo>
                      </mml:mrow>
                    </mml:mrow>
                  </mml:mtd>
                  <mml:mtd columnalign="left">
                    <mml:mrow>
                      <mml:mtext>
                         
                      </mml:mtext>
                      <mml:mtext>
                         
                      </mml:mtext>
                      <mml:mtext>
                         
                      </mml:mtext>
                      <mml:mtext>
                         
                      </mml:mtext>
                      <mml:mtext>
                         
                      </mml:mtext>
                      <mml:mtext>
                         
                      </mml:mtext>
                      <mml:mtext>
                         
                      </mml:mtext>
                      <mml:mtext>
                         
                      </mml:mtext>
                      <mml:mtext>
                         
                      </mml:mtext>
                      <mml:mtext>
                         
                      </mml:mtext>
                      <mml:mtext>
                         
                      </mml:mtext>
                      <mml:mtext>
                         
                      </mml:mtext>
                      <mml:mtext>
                         
                      </mml:mtext>
                      <mml:mtext>
                         
                      </mml:mtext>
                      <mml:mtext>
                         
                      </mml:mtext>
                      <mml:mtext>
                         
                      </mml:mtext>
                      <mml:mtext>
                         
                      </mml:mtext>
                      <mml:mtext>
                         
                      </mml:mtext>
                      <mml:mtext>
                         
                      </mml:mtext>
                      <mml:mtext>
                         
                      </mml:mtext>
                      <mml:mtext>
                         
                      </mml:mtext>
                      <mml:mtext>
                         
                      </mml:mtext>
                      <mml:mtext>
                         
                      </mml:mtext>
                      <mml:mo stretchy="false">(</mml:mo>
                      <mml:mn>30</mml:mn>
                      <mml:mo stretchy="false">)</mml:mo>
                    </mml:mrow>
                  </mml:mtd>
                </mml:mtr>
                <mml:mtr columnalign="left">
                  <mml:mtd columnalign="left">
                    <mml:mrow>
                      <mml:mtext>
                         
                      </mml:mtext>
                      <mml:mtext>
                         
                      </mml:mtext>
                      <mml:mtext>
                         
                      </mml:mtext>
                      <mml:mtext>
                         
                      </mml:mtext>
                      <mml:mtext>
                         
                      </mml:mtext>
                      <mml:mtext>
                         
                      </mml:mtext>
                      <mml:mtext>
                         
                      </mml:mtext>
                      <mml:mtext>
                         
                      </mml:mtext>
                      <mml:mtext>
                         
                      </mml:mtext>
                      <mml:mtext>
                         
                      </mml:mtext>
                      <mml:mtext>
                         
                      </mml:mtext>
                      <mml:mo>=</mml:mo>
                      <mml:mo>−</mml:mo>
                      <mml:mstyle mathvariant="bold" mathsize="normal">
                        <mml:mi>a</mml:mi>
                      </mml:mstyle>
                      <mml:mo>⋅</mml:mo>
                      <mml:mstyle mathvariant="bold" mathsize="normal">
                        <mml:mi>b</mml:mi>
                      </mml:mstyle>
                      <mml:mo>+</mml:mo>
                      <mml:mn>0</mml:mn>
                    </mml:mrow>
                  </mml:mtd>
                  <mml:mtd columnalign="left">
                    <mml:mrow>
                      <mml:mtext>
                         
                      </mml:mtext>
                      <mml:mtext>
                         
                      </mml:mtext>
                      <mml:mtext>
                         
                      </mml:mtext>
                      <mml:mtext>
                         
                      </mml:mtext>
                      <mml:mtext>
                         
                      </mml:mtext>
                      <mml:mtext>
                         
                      </mml:mtext>
                      <mml:mtext>
                         
                      </mml:mtext>
                      <mml:mtext>
                         
                      </mml:mtext>
                      <mml:mtext>
                         
                      </mml:mtext>
                      <mml:mtext>
                         
                      </mml:mtext>
                      <mml:mtext>
                         
                      </mml:mtext>
                      <mml:mtext>
                         
                      </mml:mtext>
                      <mml:mtext>
                         
                      </mml:mtext>
                      <mml:mtext>
                         
                      </mml:mtext>
                      <mml:mtext>
                         
                      </mml:mtext>
                      <mml:mtext>
                         
                      </mml:mtext>
                      <mml:mtext>
                         
                      </mml:mtext>
                      <mml:mtext>
                         
                      </mml:mtext>
                      <mml:mtext>
                         
                      </mml:mtext>
                      <mml:mtext>
                         
                      </mml:mtext>
                      <mml:mtext>
                         
                      </mml:mtext>
                      <mml:mtext>
                         
                      </mml:mtext>
                      <mml:mtext>
                         
                      </mml:mtext>
                      <mml:mo stretchy="false">(</mml:mo>
                      <mml:mn>31</mml:mn>
                      <mml:mo stretchy="false">)</mml:mo>
                    </mml:mrow>
                  </mml:mtd>
                </mml:mtr>
                <mml:mtr columnalign="left">
                  <mml:mtd columnalign="left">
                    <mml:mrow>
                      <mml:mtext>
                         
                      </mml:mtext>
                      <mml:mtext>
                         
                      </mml:mtext>
                      <mml:mtext>
                         
                      </mml:mtext>
                      <mml:mtext>
                         
                      </mml:mtext>
                      <mml:mtext>
                         
                      </mml:mtext>
                      <mml:mtext>
                         
                      </mml:mtext>
                      <mml:mtext>
                         
                      </mml:mtext>
                      <mml:mtext>
                         
                      </mml:mtext>
                      <mml:mtext>
                         
                      </mml:mtext>
                      <mml:mtext>
                         
                      </mml:mtext>
                      <mml:mtext>
                         
                      </mml:mtext>
                      <mml:mo>=</mml:mo>
                      <mml:mo>−</mml:mo>
                      <mml:mstyle mathvariant="bold" mathsize="normal">
                        <mml:mi>a</mml:mi>
                      </mml:mstyle>
                      <mml:mo>⋅</mml:mo>
                      <mml:mstyle mathvariant="bold" mathsize="normal">
                        <mml:mi>b</mml:mi>
                      </mml:mstyle>
                      <mml:mo>.</mml:mo>
                    </mml:mrow>
                  </mml:mtd>
                  <mml:mtd columnalign="left">
                    <mml:mrow>
                      <mml:mtext>
                         
                      </mml:mtext>
                      <mml:mtext>
                         
                      </mml:mtext>
                      <mml:mtext>
                         
                      </mml:mtext>
                      <mml:mtext>
                         
                      </mml:mtext>
                      <mml:mtext>
                         
                      </mml:mtext>
                      <mml:mtext>
                         
                      </mml:mtext>
                      <mml:mtext>
                         
                      </mml:mtext>
                      <mml:mtext>
                         
                      </mml:mtext>
                      <mml:mtext>
                         
                      </mml:mtext>
                      <mml:mtext>
                         
                      </mml:mtext>
                      <mml:mtext>
                         
                      </mml:mtext>
                      <mml:mtext>
                         
                      </mml:mtext>
                      <mml:mtext>
                         
                      </mml:mtext>
                      <mml:mtext>
                         
                      </mml:mtext>
                      <mml:mtext>
                         
                      </mml:mtext>
                      <mml:mtext>
                         
                      </mml:mtext>
                      <mml:mtext>
                         
                      </mml:mtext>
                      <mml:mtext>
                         
                      </mml:mtext>
                      <mml:mtext>
                         
                      </mml:mtext>
                      <mml:mtext>
                         
                      </mml:mtext>
                      <mml:mtext>
                         
                      </mml:mtext>
                      <mml:mtext>
                         
                      </mml:mtext>
                      <mml:mtext>
                         
                      </mml:mtext>
                      <mml:mo stretchy="false">(</mml:mo>
                      <mml:mn>32</mml:mn>
                      <mml:mo stretchy="false">)</mml:mo>
                    </mml:mrow>
                  </mml:mtd>
                </mml:mtr>
              </mml:mtable>
            </mml:mrow>
          </mml:math>
        </disp-formula>
        <p>in agreement with the quantum mechanical prediction. However, now that the STA calculation for the singlet has been made explicit, it is clear that it is physically wrong. It is physically wrong in exactly the same sense as the standard QM calculation. The spatial measurement bivectors <inline-formula><mml:math><mml:mstyle mathvariant="bold" mathsize="normal"><mml:mi> a </mml:mi></mml:mstyle></mml:math></inline-formula> and <inline-formula><mml:math><mml:mstyle mathvariant="bold" mathsize="normal"><mml:mi> b </mml:mi></mml:mstyle></mml:math></inline-formula> are defined at separated locations, so they cannot interact with each other in any physical model. Any calculation that treats <inline-formula><mml:math><mml:mstyle mathvariant="bold" mathsize="normal"><mml:mi> a </mml:mi></mml:mstyle></mml:math></inline-formula> and <inline-formula><mml:math><mml:mstyle mathvariant="bold" mathsize="normal"><mml:mi> b </mml:mi></mml:mstyle></mml:math></inline-formula> as if they coexist inside a single algebraic object in order to produce the correlation <inline-formula><mml:math><mml:mrow><mml:mo> − </mml:mo><mml:mstyle mathvariant="bold" mathsize="normal"><mml:mi> a </mml:mi></mml:mstyle><mml:mo> ⋅ </mml:mo><mml:mstyle mathvariant="bold" mathsize="normal"><mml:mi> b </mml:mi></mml:mstyle></mml:mrow></mml:math></inline-formula> is therefore unphysical. The correct description of the correlation must come from the local measurement functions, not from a nonlocal algebraic construction. As shown, <inline-formula><mml:math><mml:mrow><mml:mi> E </mml:mi><mml:mrow><mml:mo> ( </mml:mo><mml:mrow><mml:mstyle mathvariant="bold" mathsize="normal"><mml:mi> a </mml:mi></mml:mstyle><mml:mo> , </mml:mo><mml:mstyle mathvariant="bold" mathsize="normal"><mml:mi> b </mml:mi></mml:mstyle></mml:mrow><mml:mo> ) </mml:mo></mml:mrow><mml:mo> = </mml:mo><mml:mo> − </mml:mo><mml:mstyle mathvariant="bold" mathsize="normal"><mml:mi> a </mml:mi></mml:mstyle><mml:mo> ⋅ </mml:mo><mml:mstyle mathvariant="bold" mathsize="normal"><mml:mi> b </mml:mi></mml:mstyle></mml:mrow></mml:math></inline-formula> can be calculated directly from the geometric product of STA versions of <inline-formula><mml:math><mml:mstyle mathvariant="bold" mathsize="normal"><mml:mi> a </mml:mi></mml:mstyle></mml:math></inline-formula> and <inline-formula><mml:math><mml:mstyle mathvariant="bold" mathsize="normal"><mml:mi> b </mml:mi></mml:mstyle></mml:math></inline-formula> . The singlet state is only needed for rotational invariance and conservation of angular momentum.</p>
      </sec>
      <sec id="sec7dot2">
        <title>
          B. STA Rotor Calculations for Functions A and B Using
          <inline-formula>
            <mml:math display="inline">
              <mml:mi>ϕ</mml:mi>
            </mml:math>
          </inline-formula>
          and
          <inline-formula>
            <mml:math display="inline">
              <mml:mi>χ</mml:mi>
            </mml:math>
          </inline-formula>
        </title>
        <p>We show these calculations even though they are not needed. </p>
        <disp-formula id="FD33">
          <label>(33)</label>
          <mml:math>
            <mml:mrow>
              <mml:mi>ϕ</mml:mi>
              <mml:mo>=</mml:mo>
              <mml:mfrac>
                <mml:mn>1</mml:mn>
                <mml:mrow>
                  <mml:msqrt>
                    <mml:mn>2</mml:mn>
                  </mml:msqrt>
                </mml:mrow>
              </mml:mfrac>
              <mml:mrow>
                <mml:mo>(</mml:mo>
                <mml:mrow>
                  <mml:mn>1</mml:mn>
                  <mml:mo>−</mml:mo>
                  <mml:mi>I</mml:mi>
                  <mml:msubsup>
                    <mml:mi>σ</mml:mi>
                    <mml:mn>2</mml:mn>
                    <mml:mrow>
                      <mml:mrow>
                        <mml:mo>(</mml:mo>
                        <mml:mn>1</mml:mn>
                        <mml:mo>)</mml:mo>
                      </mml:mrow>
                    </mml:mrow>
                  </mml:msubsup>
                </mml:mrow>
                <mml:mo>)</mml:mo>
              </mml:mrow>
              <mml:mo>,</mml:mo>
            </mml:mrow>
          </mml:math>
        </disp-formula>
        <disp-formula id="FD34">
          <label>(34)</label>
          <mml:math>
            <mml:mrow>
              <mml:mover accent="true">
                <mml:mi>ϕ</mml:mi>
                <mml:mo>˜</mml:mo>
              </mml:mover>
              <mml:mo>=</mml:mo>
              <mml:mfrac>
                <mml:mn>1</mml:mn>
                <mml:mrow>
                  <mml:msqrt>
                    <mml:mn>2</mml:mn>
                  </mml:msqrt>
                </mml:mrow>
              </mml:mfrac>
              <mml:mrow>
                <mml:mo>(</mml:mo>
                <mml:mrow>
                  <mml:mn>1</mml:mn>
                  <mml:mo>+</mml:mo>
                  <mml:mi>I</mml:mi>
                  <mml:msubsup>
                    <mml:mi>σ</mml:mi>
                    <mml:mn>2</mml:mn>
                    <mml:mrow>
                      <mml:mrow>
                        <mml:mo>(</mml:mo>
                        <mml:mn>1</mml:mn>
                        <mml:mo>)</mml:mo>
                      </mml:mrow>
                    </mml:mrow>
                  </mml:msubsup>
                </mml:mrow>
                <mml:mo>)</mml:mo>
              </mml:mrow>
              <mml:mo>,</mml:mo>
            </mml:mrow>
          </mml:math>
        </disp-formula>
        <disp-formula id="FD35">
          <label>(35)</label>
          <mml:math>
            <mml:mtable>
              <mml:mtr>
                <mml:mtd>
                  <mml:mover accent="true">
                    <mml:mi>ϕ</mml:mi>
                    <mml:mo>˜</mml:mo>
                  </mml:mover>
                  <mml:mrow>
                    <mml:mo>(</mml:mo>
                    <mml:mrow>
                      <mml:mstyle mathvariant="bold" mathsize="normal">
                        <mml:mi>a</mml:mi>
                      </mml:mstyle>
                      <mml:msub>
                        <mml:mstyle mathvariant="bold" mathsize="normal">
                          <mml:mi>s</mml:mi>
                        </mml:mstyle>
                        <mml:mn>1</mml:mn>
                      </mml:msub>
                    </mml:mrow>
                    <mml:mo>)</mml:mo>
                  </mml:mrow>
                  <mml:mi>ϕ</mml:mi>
                  <mml:mo>=</mml:mo>
                  <mml:mfrac>
                    <mml:mn>1</mml:mn>
                    <mml:mn>2</mml:mn>
                  </mml:mfrac>
                  <mml:mrow>
                    <mml:mo>(</mml:mo>
                    <mml:mrow>
                      <mml:mn>1</mml:mn>
                      <mml:mo>+</mml:mo>
                      <mml:mi>I</mml:mi>
                      <mml:msubsup>
                        <mml:mi>σ</mml:mi>
                        <mml:mn>2</mml:mn>
                        <mml:mrow>
                          <mml:mrow>
                            <mml:mo>(</mml:mo>
                            <mml:mn>1</mml:mn>
                            <mml:mo>)</mml:mo>
                          </mml:mrow>
                        </mml:mrow>
                      </mml:msubsup>
                    </mml:mrow>
                    <mml:mo>)</mml:mo>
                  </mml:mrow>
                  <mml:mrow>
                    <mml:mo>(</mml:mo>
                    <mml:mrow>
                      <mml:mstyle mathvariant="bold" mathsize="normal">
                        <mml:mi>a</mml:mi>
                      </mml:mstyle>
                      <mml:msub>
                        <mml:mstyle mathvariant="bold" mathsize="normal">
                          <mml:mi>s</mml:mi>
                        </mml:mstyle>
                        <mml:mn>1</mml:mn>
                      </mml:msub>
                    </mml:mrow>
                    <mml:mo>)</mml:mo>
                  </mml:mrow>
                  <mml:mrow>
                    <mml:mo>(</mml:mo>
                    <mml:mrow>
                      <mml:mn>1</mml:mn>
                      <mml:mo>−</mml:mo>
                      <mml:mi>I</mml:mi>
                      <mml:msubsup>
                        <mml:mi>σ</mml:mi>
                        <mml:mn>2</mml:mn>
                        <mml:mrow>
                          <mml:mrow>
                            <mml:mo>(</mml:mo>
                            <mml:mn>1</mml:mn>
                            <mml:mo>)</mml:mo>
                          </mml:mrow>
                        </mml:mrow>
                      </mml:msubsup>
                    </mml:mrow>
                    <mml:mo>)</mml:mo>
                  </mml:mrow>
                </mml:mtd>
              </mml:mtr>
              <mml:mtr>
                <mml:mtd>
                  <mml:mo>=</mml:mo>
                  <mml:mfrac>
                    <mml:mn>1</mml:mn>
                    <mml:mn>2</mml:mn>
                  </mml:mfrac>
                  <mml:mrow>
                    <mml:mo>(</mml:mo>
                    <mml:mrow>
                      <mml:mstyle mathvariant="bold" mathsize="normal">
                        <mml:mi>a</mml:mi>
                      </mml:mstyle>
                      <mml:msub>
                        <mml:mstyle mathvariant="bold" mathsize="normal">
                          <mml:mi>s</mml:mi>
                        </mml:mstyle>
                        <mml:mn>1</mml:mn>
                      </mml:msub>
                      <mml:mo>−</mml:mo>
                      <mml:mstyle mathvariant="bold" mathsize="normal">
                        <mml:mi>a</mml:mi>
                      </mml:mstyle>
                      <mml:msub>
                        <mml:mstyle mathvariant="bold" mathsize="normal">
                          <mml:mi>s</mml:mi>
                        </mml:mstyle>
                        <mml:mn>1</mml:mn>
                      </mml:msub>
                      <mml:mi>I</mml:mi>
                      <mml:msubsup>
                        <mml:mi>σ</mml:mi>
                        <mml:mn>2</mml:mn>
                        <mml:mrow>
                          <mml:mrow>
                            <mml:mo>(</mml:mo>
                            <mml:mn>1</mml:mn>
                            <mml:mo>)</mml:mo>
                          </mml:mrow>
                        </mml:mrow>
                      </mml:msubsup>
                      <mml:mo>+</mml:mo>
                      <mml:mi>I</mml:mi>
                      <mml:msubsup>
                        <mml:mi>σ</mml:mi>
                        <mml:mn>2</mml:mn>
                        <mml:mrow>
                          <mml:mrow>
                            <mml:mo>(</mml:mo>
                            <mml:mn>1</mml:mn>
                            <mml:mo>)</mml:mo>
                          </mml:mrow>
                        </mml:mrow>
                      </mml:msubsup>
                      <mml:mstyle mathvariant="bold" mathsize="normal">
                        <mml:mi>a</mml:mi>
                      </mml:mstyle>
                      <mml:msub>
                        <mml:mstyle mathvariant="bold" mathsize="normal">
                          <mml:mi>s</mml:mi>
                        </mml:mstyle>
                        <mml:mn>1</mml:mn>
                      </mml:msub>
                      <mml:mo>−</mml:mo>
                      <mml:mi>I</mml:mi>
                      <mml:msubsup>
                        <mml:mi>σ</mml:mi>
                        <mml:mn>2</mml:mn>
                        <mml:mrow>
                          <mml:mrow>
                            <mml:mo>(</mml:mo>
                            <mml:mn>1</mml:mn>
                            <mml:mo>)</mml:mo>
                          </mml:mrow>
                        </mml:mrow>
                      </mml:msubsup>
                      <mml:mstyle mathvariant="bold" mathsize="normal">
                        <mml:mi>a</mml:mi>
                      </mml:mstyle>
                      <mml:msub>
                        <mml:mstyle mathvariant="bold" mathsize="normal">
                          <mml:mi>s</mml:mi>
                        </mml:mstyle>
                        <mml:mn>1</mml:mn>
                      </mml:msub>
                      <mml:mi>I</mml:mi>
                      <mml:msubsup>
                        <mml:mi>σ</mml:mi>
                        <mml:mn>2</mml:mn>
                        <mml:mrow>
                          <mml:mrow>
                            <mml:mo>(</mml:mo>
                            <mml:mn>1</mml:mn>
                            <mml:mo>)</mml:mo>
                          </mml:mrow>
                        </mml:mrow>
                      </mml:msubsup>
                    </mml:mrow>
                    <mml:mo>)</mml:mo>
                  </mml:mrow>
                  <mml:mo>,</mml:mo>
                </mml:mtd>
              </mml:mtr>
              <mml:mtr>
                <mml:mtd>
                  <mml:mo>=</mml:mo>
                  <mml:mfrac>
                    <mml:mn>1</mml:mn>
                    <mml:mn>2</mml:mn>
                  </mml:mfrac>
                  <mml:mrow>
                    <mml:mo>(</mml:mo>
                    <mml:mrow>
                      <mml:mstyle mathvariant="bold" mathsize="normal">
                        <mml:mi>a</mml:mi>
                      </mml:mstyle>
                      <mml:msub>
                        <mml:mstyle mathvariant="bold" mathsize="normal">
                          <mml:mi>s</mml:mi>
                        </mml:mstyle>
                        <mml:mn>1</mml:mn>
                      </mml:msub>
                      <mml:mo>−</mml:mo>
                      <mml:mstyle mathvariant="bold" mathsize="normal">
                        <mml:mi>a</mml:mi>
                      </mml:mstyle>
                      <mml:msub>
                        <mml:mstyle mathvariant="bold" mathsize="normal">
                          <mml:mi>s</mml:mi>
                        </mml:mstyle>
                        <mml:mn>1</mml:mn>
                      </mml:msub>
                      <mml:mi>I</mml:mi>
                      <mml:msubsup>
                        <mml:mi>σ</mml:mi>
                        <mml:mn>2</mml:mn>
                        <mml:mrow>
                          <mml:mrow>
                            <mml:mo>(</mml:mo>
                            <mml:mn>1</mml:mn>
                            <mml:mo>)</mml:mo>
                          </mml:mrow>
                        </mml:mrow>
                      </mml:msubsup>
                      <mml:mo>+</mml:mo>
                      <mml:mstyle mathvariant="bold" mathsize="normal">
                        <mml:mi>a</mml:mi>
                      </mml:mstyle>
                      <mml:msub>
                        <mml:mstyle mathvariant="bold" mathsize="normal">
                          <mml:mi>s</mml:mi>
                        </mml:mstyle>
                        <mml:mn>1</mml:mn>
                      </mml:msub>
                      <mml:mi>I</mml:mi>
                      <mml:msubsup>
                        <mml:mi>σ</mml:mi>
                        <mml:mn>2</mml:mn>
                        <mml:mrow>
                          <mml:mrow>
                            <mml:mo>(</mml:mo>
                            <mml:mn>1</mml:mn>
                            <mml:mo>)</mml:mo>
                          </mml:mrow>
                        </mml:mrow>
                      </mml:msubsup>
                      <mml:mo>+</mml:mo>
                      <mml:mstyle mathvariant="bold" mathsize="normal">
                        <mml:mi>a</mml:mi>
                      </mml:mstyle>
                      <mml:msub>
                        <mml:mstyle mathvariant="bold" mathsize="normal">
                          <mml:mi>s</mml:mi>
                        </mml:mstyle>
                        <mml:mn>1</mml:mn>
                      </mml:msub>
                    </mml:mrow>
                    <mml:mo>)</mml:mo>
                  </mml:mrow>
                  <mml:mo>,</mml:mo>
                </mml:mtd>
              </mml:mtr>
              <mml:mtr>
                <mml:mtd>
                  <mml:mo>=</mml:mo>
                  <mml:mstyle mathvariant="bold" mathsize="normal">
                    <mml:mi>a</mml:mi>
                  </mml:mstyle>
                  <mml:msub>
                    <mml:mstyle mathvariant="bold" mathsize="normal">
                      <mml:mi>s</mml:mi>
                    </mml:mstyle>
                    <mml:mn>1</mml:mn>
                  </mml:msub>
                  <mml:mo>.</mml:mo>
                </mml:mtd>
              </mml:mtr>
            </mml:mtable>
          </mml:math>
        </disp-formula>
        <disp-formula id="FD36">
          <label>(36)</label>
          <mml:math>
            <mml:mrow>
              <mml:mi>χ</mml:mi>
              <mml:mo>=</mml:mo>
              <mml:mfrac>
                <mml:mn>1</mml:mn>
                <mml:mrow>
                  <mml:msqrt>
                    <mml:mn>2</mml:mn>
                  </mml:msqrt>
                </mml:mrow>
              </mml:mfrac>
              <mml:mrow>
                <mml:mo>(</mml:mo>
                <mml:mrow>
                  <mml:mo>−</mml:mo>
                  <mml:mi>I</mml:mi>
                  <mml:msubsup>
                    <mml:mi>σ</mml:mi>
                    <mml:mn>2</mml:mn>
                    <mml:mrow>
                      <mml:mrow>
                        <mml:mo>(</mml:mo>
                        <mml:mn>2</mml:mn>
                        <mml:mo>)</mml:mo>
                      </mml:mrow>
                    </mml:mrow>
                  </mml:msubsup>
                  <mml:mo>+</mml:mo>
                  <mml:mn>1</mml:mn>
                </mml:mrow>
                <mml:mo>)</mml:mo>
              </mml:mrow>
              <mml:mo>,</mml:mo>
            </mml:mrow>
          </mml:math>
        </disp-formula>
        <disp-formula id="FD37">
          <label>(37)</label>
          <mml:math>
            <mml:mrow>
              <mml:mover accent="true">
                <mml:mi>χ</mml:mi>
                <mml:mo>˜</mml:mo>
              </mml:mover>
              <mml:mo>=</mml:mo>
              <mml:mfrac>
                <mml:mn>1</mml:mn>
                <mml:mrow>
                  <mml:msqrt>
                    <mml:mn>2</mml:mn>
                  </mml:msqrt>
                </mml:mrow>
              </mml:mfrac>
              <mml:mrow>
                <mml:mo>(</mml:mo>
                <mml:mrow>
                  <mml:mi>I</mml:mi>
                  <mml:msubsup>
                    <mml:mi>σ</mml:mi>
                    <mml:mn>2</mml:mn>
                    <mml:mrow>
                      <mml:mrow>
                        <mml:mo>(</mml:mo>
                        <mml:mn>2</mml:mn>
                        <mml:mo>)</mml:mo>
                      </mml:mrow>
                    </mml:mrow>
                  </mml:msubsup>
                  <mml:mo>+</mml:mo>
                  <mml:mn>1</mml:mn>
                </mml:mrow>
                <mml:mo>)</mml:mo>
              </mml:mrow>
              <mml:mo>,</mml:mo>
            </mml:mrow>
          </mml:math>
        </disp-formula>
        <disp-formula id="FD38">
          <label>(38)</label>
          <mml:math>
            <mml:mtable>
              <mml:mtr>
                <mml:mtd>
                  <mml:mover accent="true">
                    <mml:mi>χ</mml:mi>
                    <mml:mo>˜</mml:mo>
                  </mml:mover>
                  <mml:mrow>
                    <mml:mo>(</mml:mo>
                    <mml:mrow>
                      <mml:msub>
                        <mml:mstyle mathvariant="bold" mathsize="normal">
                          <mml:mi>s</mml:mi>
                        </mml:mstyle>
                        <mml:mn>2</mml:mn>
                      </mml:msub>
                      <mml:mstyle mathvariant="bold" mathsize="normal">
                        <mml:mi>b</mml:mi>
                      </mml:mstyle>
                    </mml:mrow>
                    <mml:mo>)</mml:mo>
                  </mml:mrow>
                  <mml:mi>χ</mml:mi>
                  <mml:mo>=</mml:mo>
                  <mml:mfrac>
                    <mml:mn>1</mml:mn>
                    <mml:mn>2</mml:mn>
                  </mml:mfrac>
                  <mml:mrow>
                    <mml:mo>(</mml:mo>
                    <mml:mrow>
                      <mml:mi>I</mml:mi>
                      <mml:msubsup>
                        <mml:mi>σ</mml:mi>
                        <mml:mn>2</mml:mn>
                        <mml:mrow>
                          <mml:mrow>
                            <mml:mo>(</mml:mo>
                            <mml:mn>2</mml:mn>
                            <mml:mo>)</mml:mo>
                          </mml:mrow>
                        </mml:mrow>
                      </mml:msubsup>
                      <mml:mo>+</mml:mo>
                      <mml:mn>1</mml:mn>
                    </mml:mrow>
                    <mml:mo>)</mml:mo>
                  </mml:mrow>
                  <mml:mrow>
                    <mml:mo>(</mml:mo>
                    <mml:mrow>
                      <mml:msub>
                        <mml:mstyle mathvariant="bold" mathsize="normal">
                          <mml:mi>s</mml:mi>
                        </mml:mstyle>
                        <mml:mn>2</mml:mn>
                      </mml:msub>
                      <mml:mstyle mathvariant="bold" mathsize="normal">
                        <mml:mi>b</mml:mi>
                      </mml:mstyle>
                    </mml:mrow>
                    <mml:mo>)</mml:mo>
                  </mml:mrow>
                  <mml:mrow>
                    <mml:mo>(</mml:mo>
                    <mml:mrow>
                      <mml:mo>−</mml:mo>
                      <mml:mi>I</mml:mi>
                      <mml:msubsup>
                        <mml:mi>σ</mml:mi>
                        <mml:mn>2</mml:mn>
                        <mml:mrow>
                          <mml:mrow>
                            <mml:mo>(</mml:mo>
                            <mml:mn>2</mml:mn>
                            <mml:mo>)</mml:mo>
                          </mml:mrow>
                        </mml:mrow>
                      </mml:msubsup>
                      <mml:mo>+</mml:mo>
                      <mml:mn>1</mml:mn>
                    </mml:mrow>
                    <mml:mo>)</mml:mo>
                  </mml:mrow>
                </mml:mtd>
              </mml:mtr>
              <mml:mtr>
                <mml:mtd>
                  <mml:mo>=</mml:mo>
                  <mml:mfrac>
                    <mml:mn>1</mml:mn>
                    <mml:mn>2</mml:mn>
                  </mml:mfrac>
                  <mml:mrow>
                    <mml:mo>(</mml:mo>
                    <mml:mrow>
                      <mml:msub>
                        <mml:mstyle mathvariant="bold" mathsize="normal">
                          <mml:mi>s</mml:mi>
                        </mml:mstyle>
                        <mml:mn>2</mml:mn>
                      </mml:msub>
                      <mml:mstyle mathvariant="bold" mathsize="normal">
                        <mml:mi>b</mml:mi>
                      </mml:mstyle>
                      <mml:mo>−</mml:mo>
                      <mml:msub>
                        <mml:mstyle mathvariant="bold" mathsize="normal">
                          <mml:mi>s</mml:mi>
                        </mml:mstyle>
                        <mml:mn>2</mml:mn>
                      </mml:msub>
                      <mml:mstyle mathvariant="bold" mathsize="normal">
                        <mml:mi>b</mml:mi>
                      </mml:mstyle>
                      <mml:mi>I</mml:mi>
                      <mml:msubsup>
                        <mml:mi>σ</mml:mi>
                        <mml:mn>2</mml:mn>
                        <mml:mrow>
                          <mml:mrow>
                            <mml:mo>(</mml:mo>
                            <mml:mn>2</mml:mn>
                            <mml:mo>)</mml:mo>
                          </mml:mrow>
                        </mml:mrow>
                      </mml:msubsup>
                      <mml:mo>+</mml:mo>
                      <mml:mi>I</mml:mi>
                      <mml:msubsup>
                        <mml:mi>σ</mml:mi>
                        <mml:mn>2</mml:mn>
                        <mml:mrow>
                          <mml:mrow>
                            <mml:mo>(</mml:mo>
                            <mml:mn>2</mml:mn>
                            <mml:mo>)</mml:mo>
                          </mml:mrow>
                        </mml:mrow>
                      </mml:msubsup>
                      <mml:msub>
                        <mml:mstyle mathvariant="bold" mathsize="normal">
                          <mml:mi>s</mml:mi>
                        </mml:mstyle>
                        <mml:mn>2</mml:mn>
                      </mml:msub>
                      <mml:mstyle mathvariant="bold" mathsize="normal">
                        <mml:mi>b</mml:mi>
                      </mml:mstyle>
                      <mml:mo>−</mml:mo>
                      <mml:mi>I</mml:mi>
                      <mml:msubsup>
                        <mml:mi>σ</mml:mi>
                        <mml:mn>2</mml:mn>
                        <mml:mrow>
                          <mml:mrow>
                            <mml:mo>(</mml:mo>
                            <mml:mn>2</mml:mn>
                            <mml:mo>)</mml:mo>
                          </mml:mrow>
                        </mml:mrow>
                      </mml:msubsup>
                      <mml:msub>
                        <mml:mstyle mathvariant="bold" mathsize="normal">
                          <mml:mi>s</mml:mi>
                        </mml:mstyle>
                        <mml:mn>2</mml:mn>
                      </mml:msub>
                      <mml:mstyle mathvariant="bold" mathsize="normal">
                        <mml:mi>b</mml:mi>
                      </mml:mstyle>
                      <mml:mi>I</mml:mi>
                      <mml:msubsup>
                        <mml:mi>σ</mml:mi>
                        <mml:mn>2</mml:mn>
                        <mml:mrow>
                          <mml:mrow>
                            <mml:mo>(</mml:mo>
                            <mml:mn>2</mml:mn>
                            <mml:mo>)</mml:mo>
                          </mml:mrow>
                        </mml:mrow>
                      </mml:msubsup>
                    </mml:mrow>
                    <mml:mo>)</mml:mo>
                  </mml:mrow>
                  <mml:mo>,</mml:mo>
                </mml:mtd>
              </mml:mtr>
              <mml:mtr>
                <mml:mtd>
                  <mml:mo>=</mml:mo>
                  <mml:mfrac>
                    <mml:mn>1</mml:mn>
                    <mml:mn>2</mml:mn>
                  </mml:mfrac>
                  <mml:mrow>
                    <mml:mo>(</mml:mo>
                    <mml:mrow>
                      <mml:msub>
                        <mml:mstyle mathvariant="bold" mathsize="normal">
                          <mml:mi>s</mml:mi>
                        </mml:mstyle>
                        <mml:mn>2</mml:mn>
                      </mml:msub>
                      <mml:mstyle mathvariant="bold" mathsize="normal">
                        <mml:mi>b</mml:mi>
                      </mml:mstyle>
                      <mml:mo>−</mml:mo>
                      <mml:msub>
                        <mml:mstyle mathvariant="bold" mathsize="normal">
                          <mml:mi>s</mml:mi>
                        </mml:mstyle>
                        <mml:mn>2</mml:mn>
                      </mml:msub>
                      <mml:mstyle mathvariant="bold" mathsize="normal">
                        <mml:mi>b</mml:mi>
                      </mml:mstyle>
                      <mml:mi>I</mml:mi>
                      <mml:msubsup>
                        <mml:mi>σ</mml:mi>
                        <mml:mn>2</mml:mn>
                        <mml:mrow>
                          <mml:mrow>
                            <mml:mo>(</mml:mo>
                            <mml:mn>2</mml:mn>
                            <mml:mo>)</mml:mo>
                          </mml:mrow>
                        </mml:mrow>
                      </mml:msubsup>
                      <mml:mo>+</mml:mo>
                      <mml:msub>
                        <mml:mstyle mathvariant="bold" mathsize="normal">
                          <mml:mi>s</mml:mi>
                        </mml:mstyle>
                        <mml:mn>2</mml:mn>
                      </mml:msub>
                      <mml:mstyle mathvariant="bold" mathsize="normal">
                        <mml:mi>b</mml:mi>
                      </mml:mstyle>
                      <mml:mi>I</mml:mi>
                      <mml:msubsup>
                        <mml:mi>σ</mml:mi>
                        <mml:mn>2</mml:mn>
                        <mml:mrow>
                          <mml:mrow>
                            <mml:mo>(</mml:mo>
                            <mml:mn>2</mml:mn>
                            <mml:mo>)</mml:mo>
                          </mml:mrow>
                        </mml:mrow>
                      </mml:msubsup>
                      <mml:mo>+</mml:mo>
                      <mml:msub>
                        <mml:mstyle mathvariant="bold" mathsize="normal">
                          <mml:mi>s</mml:mi>
                        </mml:mstyle>
                        <mml:mn>2</mml:mn>
                      </mml:msub>
                      <mml:mstyle mathvariant="bold" mathsize="normal">
                        <mml:mi>b</mml:mi>
                      </mml:mstyle>
                    </mml:mrow>
                    <mml:mo>)</mml:mo>
                  </mml:mrow>
                  <mml:mo>,</mml:mo>
                </mml:mtd>
              </mml:mtr>
              <mml:mtr>
                <mml:mtd>
                  <mml:mo>=</mml:mo>
                  <mml:msub>
                    <mml:mstyle mathvariant="bold" mathsize="normal">
                      <mml:mi>s</mml:mi>
                    </mml:mstyle>
                    <mml:mn>2</mml:mn>
                  </mml:msub>
                  <mml:mstyle mathvariant="bold" mathsize="normal">
                    <mml:mi>b</mml:mi>
                  </mml:mstyle>
                  <mml:mo>.</mml:mo>
                </mml:mtd>
              </mml:mtr>
            </mml:mtable>
          </mml:math>
        </disp-formula>
      </sec>
      <sec id="sec7dot3">
        <title>
          C. Derivation of
          <inline-formula>
            <mml:math display="inline">
              <mml:mrow>
                <mml:msub>
                  <mml:mi>s</mml:mi>
                  <mml:mn>2</mml:mn>
                </mml:msub>
                <mml:mo>=</mml:mo>
                <mml:mo>−</mml:mo>
                <mml:msub>
                  <mml:mi>s</mml:mi>
                  <mml:mn>1</mml:mn>
                </mml:msub>
              </mml:mrow>
            </mml:math>
          </inline-formula>
          Using the STA Singlet
        </title>
        <p>Work in the two-particle STA with Pauli bivectors <inline-formula><mml:math><mml:mrow><mml:msub><mml:mi> σ </mml:mi><mml:mrow><mml:mi> i </mml:mi><mml:mi> p </mml:mi><mml:mn> 1 </mml:mn></mml:mrow></mml:msub></mml:mrow></mml:math></inline-formula> and <inline-formula><mml:math><mml:mrow><mml:msub><mml:mi> σ </mml:mi><mml:mrow><mml:mi> i </mml:mi><mml:mi> p </mml:mi><mml:mn> 2 </mml:mn></mml:mrow></mml:msub></mml:mrow></mml:math></inline-formula> , <inline-formula><mml:math><mml:mrow><mml:mi> i </mml:mi><mml:mo> = </mml:mo><mml:mn> 1 </mml:mn><mml:mo> , </mml:mo><mml:mn> 2 </mml:mn><mml:mo> , </mml:mo><mml:mn> 3 </mml:mn></mml:mrow></mml:math></inline-formula> , satisfying </p>
        <disp-formula id="FD39">
          <label>(39)</label>
          <mml:math>
            <mml:mrow>
              <mml:msubsup>
                <mml:mi>σ</mml:mi>
                <mml:mrow>
                  <mml:mi>i</mml:mi>
                  <mml:mi>p</mml:mi>
                  <mml:mi>α</mml:mi>
                </mml:mrow>
                <mml:mn>2</mml:mn>
              </mml:msubsup>
              <mml:mo>=</mml:mo>
              <mml:mn>1</mml:mn>
              <mml:mo>,</mml:mo>
              <mml:mtext>
                 
              </mml:mtext>
              <mml:mtext>
                 
              </mml:mtext>
              <mml:msub>
                <mml:mi>σ</mml:mi>
                <mml:mrow>
                  <mml:mi>i</mml:mi>
                  <mml:mi>p</mml:mi>
                  <mml:mn>1</mml:mn>
                </mml:mrow>
              </mml:msub>
              <mml:msub>
                <mml:mi>σ</mml:mi>
                <mml:mrow>
                  <mml:mi>j</mml:mi>
                  <mml:mi>p</mml:mi>
                  <mml:mn>2</mml:mn>
                </mml:mrow>
              </mml:msub>
              <mml:mo>=</mml:mo>
              <mml:msub>
                <mml:mi>σ</mml:mi>
                <mml:mrow>
                  <mml:mi>j</mml:mi>
                  <mml:mi>p</mml:mi>
                  <mml:mn>2</mml:mn>
                </mml:mrow>
              </mml:msub>
              <mml:msub>
                <mml:mi>σ</mml:mi>
                <mml:mrow>
                  <mml:mi>i</mml:mi>
                  <mml:mi>p</mml:mi>
                  <mml:mn>1</mml:mn>
                </mml:mrow>
              </mml:msub>
              <mml:mo>,</mml:mo>
              <mml:mtext>
                 
              </mml:mtext>
              <mml:mtext>
                 
              </mml:mtext>
              <mml:mi>α</mml:mi>
              <mml:mo>=</mml:mo>
              <mml:mn>1</mml:mn>
              <mml:mo>,</mml:mo>
              <mml:mn>2.</mml:mn>
            </mml:mrow>
          </mml:math>
        </disp-formula>
        <p>Define the STA singlet object for the <inline-formula><mml:math><mml:mrow><mml:mi> i </mml:mi><mml:mo> = </mml:mo><mml:mn> 2 </mml:mn></mml:mrow></mml:math></inline-formula> direction by </p>
        <disp-formula id="FD40">
          <label>(40)</label>
          <mml:math>
            <mml:mrow>
              <mml:msub>
                <mml:mi>ψ</mml:mi>
                <mml:mrow>
                  <mml:mtext>STA</mml:mtext>
                </mml:mrow>
              </mml:msub>
              <mml:mo>=</mml:mo>
              <mml:mfrac>
                <mml:mn>1</mml:mn>
                <mml:mn>2</mml:mn>
              </mml:mfrac>
              <mml:mrow>
                <mml:mo>(</mml:mo>
                <mml:mrow>
                  <mml:msub>
                    <mml:mi>I</mml:mi>
                    <mml:mn>4</mml:mn>
                  </mml:msub>
                  <mml:msub>
                    <mml:mi>σ</mml:mi>
                    <mml:mrow>
                      <mml:mn>2</mml:mn>
                      <mml:mi>p</mml:mi>
                      <mml:mn>2</mml:mn>
                    </mml:mrow>
                  </mml:msub>
                  <mml:mo>−</mml:mo>
                  <mml:msub>
                    <mml:mi>I</mml:mi>
                    <mml:mn>4</mml:mn>
                  </mml:msub>
                  <mml:msub>
                    <mml:mi>σ</mml:mi>
                    <mml:mrow>
                      <mml:mn>2</mml:mn>
                      <mml:mi>p</mml:mi>
                      <mml:mn>1</mml:mn>
                    </mml:mrow>
                  </mml:msub>
                </mml:mrow>
                <mml:mo>)</mml:mo>
              </mml:mrow>
              <mml:mo>=</mml:mo>
              <mml:mfrac>
                <mml:mrow>
                  <mml:msub>
                    <mml:mi>I</mml:mi>
                    <mml:mn>4</mml:mn>
                  </mml:msub>
                </mml:mrow>
                <mml:mn>2</mml:mn>
              </mml:mfrac>
              <mml:mrow>
                <mml:mo>(</mml:mo>
                <mml:mrow>
                  <mml:msub>
                    <mml:mi>σ</mml:mi>
                    <mml:mrow>
                      <mml:mn>2</mml:mn>
                      <mml:mi>p</mml:mi>
                      <mml:mn>2</mml:mn>
                    </mml:mrow>
                  </mml:msub>
                  <mml:mo>−</mml:mo>
                  <mml:msub>
                    <mml:mi>σ</mml:mi>
                    <mml:mrow>
                      <mml:mn>2</mml:mn>
                      <mml:mi>p</mml:mi>
                      <mml:mn>1</mml:mn>
                    </mml:mrow>
                  </mml:msub>
                </mml:mrow>
                <mml:mo>)</mml:mo>
              </mml:mrow>
              <mml:mo>,</mml:mo>
            </mml:mrow>
          </mml:math>
        </disp-formula>
        <p>where <inline-formula><mml:math><mml:mrow><mml:msub><mml:mi> I </mml:mi><mml:mn> 4 </mml:mn></mml:msub></mml:mrow></mml:math></inline-formula> is the spacetime pseudoscalar, commuting with the Pauli bivectors.</p>
        <p>Compute the action of the total spin operator in the 2-direction on <inline-formula><mml:math><mml:mrow><mml:msub><mml:mi> ψ </mml:mi><mml:mrow><mml:mtext> STA </mml:mtext></mml:mrow></mml:msub></mml:mrow></mml:math></inline-formula> : </p>
        <disp-formula id="FD41">
          <label>(41)</label>
          <mml:math>
            <mml:mrow>
              <mml:mtable columnalign="left">
                <mml:mtr columnalign="left">
                  <mml:mtd columnalign="left">
                    <mml:mrow>
                      <mml:mrow>
                        <mml:mo>(</mml:mo>
                        <mml:mrow>
                          <mml:msub>
                            <mml:mi>σ</mml:mi>
                            <mml:mrow>
                              <mml:mn>2</mml:mn>
                              <mml:mi>p</mml:mi>
                              <mml:mn>1</mml:mn>
                            </mml:mrow>
                          </mml:msub>
                          <mml:mo>+</mml:mo>
                          <mml:msub>
                            <mml:mi>σ</mml:mi>
                            <mml:mrow>
                              <mml:mn>2</mml:mn>
                              <mml:mi>p</mml:mi>
                              <mml:mn>2</mml:mn>
                            </mml:mrow>
                          </mml:msub>
                        </mml:mrow>
                        <mml:mo>)</mml:mo>
                      </mml:mrow>
                      <mml:msub>
                        <mml:mi>ψ</mml:mi>
                        <mml:mrow>
                          <mml:mtext>STA</mml:mtext>
                        </mml:mrow>
                      </mml:msub>
                      <mml:mo>=</mml:mo>
                      <mml:mfrac>
                        <mml:mrow>
                          <mml:msub>
                            <mml:mi>I</mml:mi>
                            <mml:mn>4</mml:mn>
                          </mml:msub>
                        </mml:mrow>
                        <mml:mn>2</mml:mn>
                      </mml:mfrac>
                      <mml:mrow>
                        <mml:mo>(</mml:mo>
                        <mml:mrow>
                          <mml:msub>
                            <mml:mi>σ</mml:mi>
                            <mml:mrow>
                              <mml:mn>2</mml:mn>
                              <mml:mi>p</mml:mi>
                              <mml:mn>1</mml:mn>
                            </mml:mrow>
                          </mml:msub>
                          <mml:mo>+</mml:mo>
                          <mml:msub>
                            <mml:mi>σ</mml:mi>
                            <mml:mrow>
                              <mml:mn>2</mml:mn>
                              <mml:mi>p</mml:mi>
                              <mml:mn>2</mml:mn>
                            </mml:mrow>
                          </mml:msub>
                        </mml:mrow>
                        <mml:mo>)</mml:mo>
                      </mml:mrow>
                      <mml:mrow>
                        <mml:mo>(</mml:mo>
                        <mml:mrow>
                          <mml:msub>
                            <mml:mi>σ</mml:mi>
                            <mml:mrow>
                              <mml:mn>2</mml:mn>
                              <mml:mi>p</mml:mi>
                              <mml:mn>2</mml:mn>
                            </mml:mrow>
                          </mml:msub>
                          <mml:mo>−</mml:mo>
                          <mml:msub>
                            <mml:mi>σ</mml:mi>
                            <mml:mrow>
                              <mml:mn>2</mml:mn>
                              <mml:mi>p</mml:mi>
                              <mml:mn>1</mml:mn>
                            </mml:mrow>
                          </mml:msub>
                        </mml:mrow>
                        <mml:mo>)</mml:mo>
                      </mml:mrow>
                    </mml:mrow>
                  </mml:mtd>
                  <mml:mtd columnalign="left">
                    <mml:mrow>
                      <mml:mtext>
                         
                      </mml:mtext>
                      <mml:mtext>
                         
                      </mml:mtext>
                      <mml:mtext>
                         
                      </mml:mtext>
                      <mml:mtext>
                         
                      </mml:mtext>
                      <mml:mtext>
                         
                      </mml:mtext>
                      <mml:mtext>
                         
                      </mml:mtext>
                      <mml:mtext>
                         
                      </mml:mtext>
                      <mml:mtext>
                         
                      </mml:mtext>
                      <mml:mtext>
                         
                      </mml:mtext>
                      <mml:mo stretchy="false">(</mml:mo>
                      <mml:mn>41</mml:mn>
                      <mml:mo stretchy="false">)</mml:mo>
                    </mml:mrow>
                  </mml:mtd>
                </mml:mtr>
                <mml:mtr columnalign="left">
                  <mml:mtd columnalign="left">
                    <mml:mrow>
                      <mml:mtext>
                         
                      </mml:mtext>
                      <mml:mtext>
                         
                      </mml:mtext>
                      <mml:mtext>
                         
                      </mml:mtext>
                      <mml:mtext>
                         
                      </mml:mtext>
                      <mml:mtext>
                         
                      </mml:mtext>
                      <mml:mtext>
                         
                      </mml:mtext>
                      <mml:mtext>
                         
                      </mml:mtext>
                      <mml:mtext>
                         
                      </mml:mtext>
                      <mml:mtext>
                         
                      </mml:mtext>
                      <mml:mtext>
                         
                      </mml:mtext>
                      <mml:mtext>
                         
                      </mml:mtext>
                      <mml:mtext>
                         
                      </mml:mtext>
                      <mml:mtext>
                         
                      </mml:mtext>
                      <mml:mtext>
                         
                      </mml:mtext>
                      <mml:mtext>
                         
                      </mml:mtext>
                      <mml:mtext>
                         
                      </mml:mtext>
                      <mml:mtext>
                         
                      </mml:mtext>
                      <mml:mtext>
                         
                      </mml:mtext>
                      <mml:mtext>
                         
                      </mml:mtext>
                      <mml:mtext>
                         
                      </mml:mtext>
                      <mml:mtext>
                         
                      </mml:mtext>
                      <mml:mtext>
                         
                      </mml:mtext>
                      <mml:mtext>
                         
                      </mml:mtext>
                      <mml:mtext>
                         
                      </mml:mtext>
                      <mml:mtext>
                         
                      </mml:mtext>
                      <mml:mo>=</mml:mo>
                      <mml:mfrac>
                        <mml:mrow>
                          <mml:msub>
                            <mml:mi>I</mml:mi>
                            <mml:mn>4</mml:mn>
                          </mml:msub>
                        </mml:mrow>
                        <mml:mn>2</mml:mn>
                      </mml:mfrac>
                      <mml:mrow>
                        <mml:mo>(</mml:mo>
                        <mml:mrow>
                          <mml:msub>
                            <mml:mi>σ</mml:mi>
                            <mml:mrow>
                              <mml:mn>2</mml:mn>
                              <mml:mi>p</mml:mi>
                              <mml:mn>1</mml:mn>
                            </mml:mrow>
                          </mml:msub>
                          <mml:msub>
                            <mml:mi>σ</mml:mi>
                            <mml:mrow>
                              <mml:mn>2</mml:mn>
                              <mml:mi>p</mml:mi>
                              <mml:mn>2</mml:mn>
                            </mml:mrow>
                          </mml:msub>
                          <mml:mo>−</mml:mo>
                          <mml:msubsup>
                            <mml:mi>σ</mml:mi>
                            <mml:mrow>
                              <mml:mn>2</mml:mn>
                              <mml:mi>p</mml:mi>
                              <mml:mn>1</mml:mn>
                            </mml:mrow>
                            <mml:mn>2</mml:mn>
                          </mml:msubsup>
                          <mml:mo>+</mml:mo>
                          <mml:msubsup>
                            <mml:mi>σ</mml:mi>
                            <mml:mrow>
                              <mml:mn>2</mml:mn>
                              <mml:mi>p</mml:mi>
                              <mml:mn>2</mml:mn>
                            </mml:mrow>
                            <mml:mn>2</mml:mn>
                          </mml:msubsup>
                          <mml:mo>−</mml:mo>
                          <mml:msub>
                            <mml:mi>σ</mml:mi>
                            <mml:mrow>
                              <mml:mn>2</mml:mn>
                              <mml:mi>p</mml:mi>
                              <mml:mn>2</mml:mn>
                            </mml:mrow>
                          </mml:msub>
                          <mml:msub>
                            <mml:mi>σ</mml:mi>
                            <mml:mrow>
                              <mml:mn>2</mml:mn>
                              <mml:mi>p</mml:mi>
                              <mml:mn>1</mml:mn>
                            </mml:mrow>
                          </mml:msub>
                        </mml:mrow>
                        <mml:mo>)</mml:mo>
                      </mml:mrow>
                      <mml:mo>.</mml:mo>
                    </mml:mrow>
                  </mml:mtd>
                  <mml:mtd columnalign="left">
                    <mml:mrow>
                      <mml:mtext>
                         
                      </mml:mtext>
                      <mml:mtext>
                         
                      </mml:mtext>
                      <mml:mtext>
                         
                      </mml:mtext>
                      <mml:mtext>
                         
                      </mml:mtext>
                      <mml:mtext>
                         
                      </mml:mtext>
                      <mml:mtext>
                         
                      </mml:mtext>
                      <mml:mtext>
                         
                      </mml:mtext>
                      <mml:mtext>
                         
                      </mml:mtext>
                      <mml:mtext>
                         
                      </mml:mtext>
                      <mml:mo stretchy="false">(</mml:mo>
                      <mml:mn>42</mml:mn>
                      <mml:mo stretchy="false">)</mml:mo>
                    </mml:mrow>
                  </mml:mtd>
                </mml:mtr>
              </mml:mtable>
            </mml:mrow>
          </mml:math>
        </disp-formula>
        <p>Using <inline-formula><mml:math><mml:mrow><mml:msubsup><mml:mi> σ </mml:mi><mml:mrow><mml:mn> 2 </mml:mn><mml:mi> p </mml:mi><mml:mn> 1 </mml:mn></mml:mrow><mml:mn> 2 </mml:mn></mml:msubsup><mml:mo> = </mml:mo><mml:msubsup><mml:mi> σ </mml:mi><mml:mrow><mml:mn> 2 </mml:mn><mml:mi> p </mml:mi><mml:mn> 2 </mml:mn></mml:mrow><mml:mn> 2 </mml:mn></mml:msubsup><mml:mo> = </mml:mo><mml:mn> 1 </mml:mn></mml:mrow></mml:math></inline-formula> and <inline-formula><mml:math><mml:mrow><mml:msub><mml:mi> σ </mml:mi><mml:mrow><mml:mn> 2 </mml:mn><mml:mi> p </mml:mi><mml:mn> 1 </mml:mn></mml:mrow></mml:msub><mml:msub><mml:mi> σ </mml:mi><mml:mrow><mml:mn> 2 </mml:mn><mml:mi> p </mml:mi><mml:mn> 2 </mml:mn></mml:mrow></mml:msub><mml:mo> = </mml:mo><mml:msub><mml:mi> σ </mml:mi><mml:mrow><mml:mn> 2 </mml:mn><mml:mi> p </mml:mi><mml:mn> 2 </mml:mn></mml:mrow></mml:msub><mml:msub><mml:mi> σ </mml:mi><mml:mrow><mml:mn> 2 </mml:mn><mml:mi> p </mml:mi><mml:mn> 1 </mml:mn></mml:mrow></mml:msub></mml:mrow></mml:math></inline-formula> , this reduces to </p>
        <disp-formula id="FD43">
          <label>(43)</label>
          <mml:math>
            <mml:mrow>
              <mml:mrow>
                <mml:mo>(</mml:mo>
                <mml:mrow>
                  <mml:msub>
                    <mml:mi>σ</mml:mi>
                    <mml:mrow>
                      <mml:mn>2</mml:mn>
                      <mml:mi>p</mml:mi>
                      <mml:mn>1</mml:mn>
                    </mml:mrow>
                  </mml:msub>
                  <mml:mo>+</mml:mo>
                  <mml:msub>
                    <mml:mi>σ</mml:mi>
                    <mml:mrow>
                      <mml:mn>2</mml:mn>
                      <mml:mi>p</mml:mi>
                      <mml:mn>2</mml:mn>
                    </mml:mrow>
                  </mml:msub>
                </mml:mrow>
                <mml:mo>)</mml:mo>
              </mml:mrow>
              <mml:msub>
                <mml:mi>ψ</mml:mi>
                <mml:mrow>
                  <mml:mtext>STA</mml:mtext>
                </mml:mrow>
              </mml:msub>
              <mml:mo>=</mml:mo>
              <mml:mfrac>
                <mml:mrow>
                  <mml:msub>
                    <mml:mi>I</mml:mi>
                    <mml:mn>4</mml:mn>
                  </mml:msub>
                </mml:mrow>
                <mml:mn>2</mml:mn>
              </mml:mfrac>
              <mml:mrow>
                <mml:mo>(</mml:mo>
                <mml:mrow>
                  <mml:msub>
                    <mml:mi>σ</mml:mi>
                    <mml:mrow>
                      <mml:mn>2</mml:mn>
                      <mml:mi>p</mml:mi>
                      <mml:mn>1</mml:mn>
                    </mml:mrow>
                  </mml:msub>
                  <mml:msub>
                    <mml:mi>σ</mml:mi>
                    <mml:mrow>
                      <mml:mn>2</mml:mn>
                      <mml:mi>p</mml:mi>
                      <mml:mn>2</mml:mn>
                    </mml:mrow>
                  </mml:msub>
                  <mml:mo>−</mml:mo>
                  <mml:mn>1</mml:mn>
                  <mml:mo>+</mml:mo>
                  <mml:mn>1</mml:mn>
                  <mml:mo>−</mml:mo>
                  <mml:msub>
                    <mml:mi>σ</mml:mi>
                    <mml:mrow>
                      <mml:mn>2</mml:mn>
                      <mml:mi>p</mml:mi>
                      <mml:mn>2</mml:mn>
                    </mml:mrow>
                  </mml:msub>
                  <mml:msub>
                    <mml:mi>σ</mml:mi>
                    <mml:mrow>
                      <mml:mn>2</mml:mn>
                      <mml:mi>p</mml:mi>
                      <mml:mn>1</mml:mn>
                    </mml:mrow>
                  </mml:msub>
                </mml:mrow>
                <mml:mo>)</mml:mo>
              </mml:mrow>
              <mml:mo>=</mml:mo>
              <mml:mn>0.</mml:mn>
            </mml:mrow>
          </mml:math>
        </disp-formula>
        <p>By rotational symmetry of the Pauli bivectors, the same construction yields </p>
        <disp-formula id="FD44">
          <label>(44)</label>
          <mml:math>
            <mml:mrow>
              <mml:mrow>
                <mml:mo>(</mml:mo>
                <mml:mrow>
                  <mml:msub>
                    <mml:mi>σ</mml:mi>
                    <mml:mrow>
                      <mml:mi>i</mml:mi>
                      <mml:mi>p</mml:mi>
                      <mml:mn>1</mml:mn>
                    </mml:mrow>
                  </mml:msub>
                  <mml:mo>+</mml:mo>
                  <mml:msub>
                    <mml:mi>σ</mml:mi>
                    <mml:mrow>
                      <mml:mi>i</mml:mi>
                      <mml:mi>p</mml:mi>
                      <mml:mn>2</mml:mn>
                    </mml:mrow>
                  </mml:msub>
                </mml:mrow>
                <mml:mo>)</mml:mo>
              </mml:mrow>
              <mml:msub>
                <mml:mi>ψ</mml:mi>
                <mml:mrow>
                  <mml:mtext>STA</mml:mtext>
                </mml:mrow>
              </mml:msub>
              <mml:mo>=</mml:mo>
              <mml:mn>0</mml:mn>
              <mml:mo>,</mml:mo>
              <mml:mtext>
                 
              </mml:mtext>
              <mml:mtext>
                 
              </mml:mtext>
              <mml:mi>i</mml:mi>
              <mml:mo>=</mml:mo>
              <mml:mn>1</mml:mn>
              <mml:mo>,</mml:mo>
              <mml:mn>2</mml:mn>
              <mml:mo>,</mml:mo>
              <mml:mn>3.</mml:mn>
            </mml:mrow>
          </mml:math>
        </disp-formula>
        <p>Identify the local spin bivectors in the common physical 3D frame as </p>
        <disp-formula id="FD45">
          <label>(45)</label>
          <mml:math>
            <mml:mrow>
              <mml:msub>
                <mml:mstyle mathvariant="bold" mathsize="normal">
                  <mml:mi>s</mml:mi>
                </mml:mstyle>
                <mml:mn>1</mml:mn>
              </mml:msub>
              <mml:mo>≡</mml:mo>
              <mml:msub>
                <mml:mi>σ</mml:mi>
                <mml:mrow>
                  <mml:mi>i</mml:mi>
                  <mml:mi>p</mml:mi>
                  <mml:mn>1</mml:mn>
                </mml:mrow>
              </mml:msub>
              <mml:mo>,</mml:mo>
              <mml:mtext>
                 
              </mml:mtext>
              <mml:mtext>
                 
              </mml:mtext>
              <mml:msub>
                <mml:mstyle mathvariant="bold" mathsize="normal">
                  <mml:mi>s</mml:mi>
                </mml:mstyle>
                <mml:mn>2</mml:mn>
              </mml:msub>
              <mml:mo>≡</mml:mo>
              <mml:msub>
                <mml:mi>σ</mml:mi>
                <mml:mrow>
                  <mml:mi>i</mml:mi>
                  <mml:mi>p</mml:mi>
                  <mml:mn>2</mml:mn>
                </mml:mrow>
              </mml:msub>
              <mml:mo>,</mml:mo>
            </mml:mrow>
          </mml:math>
        </disp-formula>
        <p>so that (44) becomes </p>
        <disp-formula id="FD46">
          <label>(46)</label>
          <mml:math>
            <mml:mrow>
              <mml:mrow>
                <mml:mo>(</mml:mo>
                <mml:mrow>
                  <mml:msub>
                    <mml:mstyle mathvariant="bold" mathsize="normal">
                      <mml:mi>s</mml:mi>
                    </mml:mstyle>
                    <mml:mn>1</mml:mn>
                  </mml:msub>
                  <mml:mo>+</mml:mo>
                  <mml:msub>
                    <mml:mstyle mathvariant="bold" mathsize="normal">
                      <mml:mi>s</mml:mi>
                    </mml:mstyle>
                    <mml:mn>2</mml:mn>
                  </mml:msub>
                </mml:mrow>
                <mml:mo>)</mml:mo>
              </mml:mrow>
              <mml:msub>
                <mml:mi>ψ</mml:mi>
                <mml:mrow>
                  <mml:mtext>STA</mml:mtext>
                </mml:mrow>
              </mml:msub>
              <mml:mo>=</mml:mo>
              <mml:mn>0.</mml:mn>
            </mml:mrow>
          </mml:math>
        </disp-formula>
        <p>Since <inline-formula><mml:math><mml:mrow><mml:msub><mml:mi> ψ </mml:mi><mml:mrow><mml:mtext> STA </mml:mtext></mml:mrow></mml:msub><mml:mo> ≠ </mml:mo><mml:mn> 0 </mml:mn></mml:mrow></mml:math></inline-formula> , the only way for the product (46) to vanish is </p>
        <disp-formula id="FD47">
          <label>(47)</label>
          <mml:math>
            <mml:mrow>
              <mml:msub>
                <mml:mstyle mathvariant="bold" mathsize="normal">
                  <mml:mi>s</mml:mi>
                </mml:mstyle>
                <mml:mn>1</mml:mn>
              </mml:msub>
              <mml:mo>+</mml:mo>
              <mml:msub>
                <mml:mstyle mathvariant="bold" mathsize="normal">
                  <mml:mi>s</mml:mi>
                </mml:mstyle>
                <mml:mn>2</mml:mn>
              </mml:msub>
              <mml:mo>=</mml:mo>
              <mml:mn>0</mml:mn>
              <mml:mo>,</mml:mo>
            </mml:mrow>
          </mml:math>
        </disp-formula>
        <p>and therefore </p>
        <disp-formula id="FD48">
          <label>(48)</label>
          <mml:math>
            <mml:mrow>
              <mml:msub>
                <mml:mstyle mathvariant="bold" mathsize="normal">
                  <mml:mi>s</mml:mi>
                </mml:mstyle>
                <mml:mn>2</mml:mn>
              </mml:msub>
              <mml:mo>=</mml:mo>
              <mml:mo>−</mml:mo>
              <mml:msub>
                <mml:mstyle mathvariant="bold" mathsize="normal">
                  <mml:mi>s</mml:mi>
                </mml:mstyle>
                <mml:mn>1</mml:mn>
              </mml:msub>
              <mml:mo>.</mml:mo>
            </mml:mrow>
          </mml:math>
        </disp-formula>
      </sec>
    </sec>
  </body>
  <back>
    <ref-list>
      <title>References</title>
      <ref id="B1">
        <label>1.</label>
        <citation-alternatives>
          <mixed-citation publication-type="other">Bohm, D. and Aharonov, Y. (1957) Discussion of Experimental Proof for the Paradox of Einstein, Rosen, and Podolsky. <italic>Physical</italic><italic>Review</italic>, 108, 1070-1076. https://doi.org/10.1103/physrev.108.1070 <pub-id pub-id-type="doi">10.1103/physrev.108.1070</pub-id><ext-link ext-link-type="uri" xlink:href="https://doi.org/10.1103/physrev.108.1070">https://doi.org/10.1103/physrev.108.1070</ext-link></mixed-citation>
          <element-citation publication-type="other">
            <person-group person-group-type="author">
              <string-name>Bohm, D.</string-name>
              <string-name>Aharonov, Y.</string-name>
              <string-name>Einstein, R</string-name>
            </person-group>
            <year>1957</year>
            <article-title>Discussion of Experimental Proof for the Paradox of Einstein, Rosen, and Podolsky</article-title>
            <source>Physical Review</source>
            <volume>108</volume>
            <pub-id pub-id-type="doi">10.1103/physrev.108.1070</pub-id>
          </element-citation>
        </citation-alternatives>
      </ref>
      <ref id="B2">
        <label>2.</label>
        <citation-alternatives>
          <mixed-citation publication-type="other">Einstein, A., Podolsky, B. and Rosen, N. (1935) Can Quantum-Mechanical Description of Physical Reality Be Considered Complete? <italic>Physical</italic><italic>Review</italic>, 47, 777-780. https://doi.org/10.1103/physrev.47.777 <pub-id pub-id-type="doi">10.1103/physrev.47.777</pub-id><ext-link ext-link-type="uri" xlink:href="https://doi.org/10.1103/physrev.47.777">https://doi.org/10.1103/physrev.47.777</ext-link></mixed-citation>
          <element-citation publication-type="other">
            <person-group person-group-type="author">
              <string-name>Einstein, A.</string-name>
              <string-name>Podolsky, B.</string-name>
              <string-name>Rosen, N.</string-name>
            </person-group>
            <year>1935</year>
            <article-title>Can Quantum-Mechanical Description of Physical Reality Be Considered Complete? Physical Review, 47, 777-780</article-title>
            <pub-id pub-id-type="doi">10.1103/physrev.47.777</pub-id>
          </element-citation>
        </citation-alternatives>
      </ref>
      <ref id="B3">
        <label>3.</label>
        <citation-alternatives>
          <mixed-citation publication-type="journal">Greenberger, D.M., Horne, M.A., Shimony, A. and Zeilinger, A. (1990) Bell’s Theorem without Inequalities. <italic>American</italic><italic>Journal</italic><italic>of</italic><italic>Physics</italic>, 58, 1131-1143. https://doi.org/10.1119/1.16243 <pub-id pub-id-type="doi">10.1119/1.16243</pub-id><ext-link ext-link-type="uri" xlink:href="https://doi.org/10.1119/1.16243">https://doi.org/10.1119/1.16243</ext-link></mixed-citation>
          <element-citation publication-type="journal">
            <person-group person-group-type="author">
              <string-name>Greenberger, D.M.</string-name>
              <string-name>Horne, M.A.</string-name>
              <string-name>Shimony, A.</string-name>
              <string-name>Zeilinger, A.</string-name>
            </person-group>
            <year>1990</year>
            <article-title>Bell’s Theorem without Inequalities</article-title>
            <source>American Journal of Physics</source>
            <volume>58</volume>
            <pub-id pub-id-type="doi">10.1119/1.16243</pub-id>
          </element-citation>
        </citation-alternatives>
      </ref>
      <ref id="B4">
        <label>4.</label>
        <citation-alternatives>
          <mixed-citation publication-type="journal">Christian, J. (2018) Quantum Correlations Are Weaved by the Spinors of the Euclidean Primitives. <italic>Royal</italic><italic>Society</italic><italic>Open</italic><italic>Science</italic>, 5, Article ID: 180526. https://doi.org/10.1098/rsos.180526 <pub-id pub-id-type="doi">10.1098/rsos.180526</pub-id><pub-id pub-id-type="pmid">29893385</pub-id><ext-link ext-link-type="uri" xlink:href="https://doi.org/10.1098/rsos.180526">https://doi.org/10.1098/rsos.180526</ext-link></mixed-citation>
          <element-citation publication-type="journal">
            <person-group person-group-type="author">
              <string-name>Christian, J.</string-name>
            </person-group>
            <year>2018</year>
            <article-title>Quantum Correlations Are Weaved by the Spinors of the Euclidean Primitives</article-title>
            <source>Royal Society Open Science</source>
            <volume>5</volume>
            <fpage>180526</fpage>
            <elocation-id>ID</elocation-id>
            <pub-id pub-id-type="doi">10.1098/rsos.180526</pub-id>
            <pub-id pub-id-type="pmid">29893385</pub-id>
          </element-citation>
        </citation-alternatives>
      </ref>
      <ref id="B5">
        <label>5.</label>
        <citation-alternatives>
          <mixed-citation publication-type="other">Christian, J. (2019) Bell’s Theorem versus Local Realism in a Quaternionic Model of Physical Space. <italic>IEEE</italic><italic>Access</italic>, 7, 133388-133409. https://doi.org/10.1109/access.2019.2941275 <pub-id pub-id-type="doi">10.1109/access.2019.2941275</pub-id><ext-link ext-link-type="uri" xlink:href="https://doi.org/10.1109/access.2019.2941275">https://doi.org/10.1109/access.2019.2941275</ext-link></mixed-citation>
          <element-citation publication-type="other">
            <person-group person-group-type="author">
              <string-name>Christian, J.</string-name>
            </person-group>
            <year>2019</year>
            <article-title>Bell’s Theorem versus Local Realism in a Quaternionic Model of Physical Space</article-title>
            <source>IEEE Access</source>
            <volume>7</volume>
            <pub-id pub-id-type="doi">10.1109/access.2019.2941275</pub-id>
          </element-citation>
        </citation-alternatives>
      </ref>
      <ref id="B6">
        <label>6.</label>
        <citation-alternatives>
          <mixed-citation publication-type="book">Hestenes, D. (2015) Space-Time Algebra. 2nd Edition, Birkhäuser.</mixed-citation>
          <element-citation publication-type="book">
            <person-group person-group-type="author">
              <string-name>Hestenes, D.</string-name>
              <string-name>Edition, B</string-name>
            </person-group>
            <year>2015</year>
            <article-title>Space-Time Algebra</article-title>
            <source>2nd Edition</source>
          </element-citation>
        </citation-alternatives>
      </ref>
      <ref id="B7">
        <label>7.</label>
        <citation-alternatives>
          <mixed-citation publication-type="book">Doran, C. and Lasenby, A. (2003) Geometric Algebra for Physicists. Cambridge University Press. https://doi.org/10.1017/cbo9780511807497 <pub-id pub-id-type="doi">10.1017/cbo9780511807497</pub-id><ext-link ext-link-type="uri" xlink:href="https://doi.org/10.1017/cbo9780511807497">https://doi.org/10.1017/cbo9780511807497</ext-link></mixed-citation>
          <element-citation publication-type="book">
            <person-group person-group-type="author">
              <string-name>Doran, C.</string-name>
              <string-name>Lasenby, A.</string-name>
            </person-group>
            <year>2003</year>
            <article-title>Geometric Algebra for Physicists</article-title>
            <pub-id pub-id-type="doi">10.1017/cbo9780511807497</pub-id>
          </element-citation>
        </citation-alternatives>
      </ref>
      <ref id="B8">
        <label>8.</label>
        <citation-alternatives>
          <mixed-citation publication-type="other">Bell, J.S. (1964) On the Einstein Podolsky Rosen Paradox. <italic>Physics Physique Fizika</italic>, 1, 195-200. https://doi.org/10.1103/physicsphysiquefizika.1.195 <pub-id pub-id-type="doi">10.1103/physicsphysiquefizika.1.195</pub-id><ext-link ext-link-type="uri" xlink:href="https://doi.org/10.1103/physicsphysiquefizika.1.195">https://doi.org/10.1103/physicsphysiquefizika.1.195</ext-link></mixed-citation>
          <element-citation publication-type="other">
            <person-group person-group-type="author">
              <string-name>Bell, J.S.</string-name>
            </person-group>
            <year>1964</year>
            <article-title>On the Einstein Podolsky Rosen Paradox</article-title>
            <source>Physics Physique Fizika</source>
            <volume>1</volume>
            <pub-id pub-id-type="doi">10.1103/physicsphysiquefizika.1.195</pub-id>
          </element-citation>
        </citation-alternatives>
      </ref>
      <ref id="B9">
        <label>9.</label>
        <citation-alternatives>
          <mixed-citation publication-type="other">Christian, J. (2020) Dr. Bertlmann’s Socks in a Quaternionic World of Ambidextral Reality. <italic>IEEE</italic><italic>Access</italic>, 8, 191028-191048. https://doi.org/10.1109/access.2020.3031734 <pub-id pub-id-type="doi">10.1109/access.2020.3031734</pub-id><ext-link ext-link-type="uri" xlink:href="https://doi.org/10.1109/access.2020.3031734">https://doi.org/10.1109/access.2020.3031734</ext-link></mixed-citation>
          <element-citation publication-type="other">
            <person-group person-group-type="author">
              <string-name>Christian, J.</string-name>
            </person-group>
            <year>2020</year>
            <article-title>Dr</article-title>
            <source>Bertlmann’s Socks in a Quaternionic World of Ambidextral Reality. IEEE Access</source>
            <volume>8</volume>
            <pub-id pub-id-type="doi">10.1109/access.2020.3031734</pub-id>
          </element-citation>
        </citation-alternatives>
      </ref>
      <ref id="B10">
        <label>10.</label>
        <citation-alternatives>
          <mixed-citation publication-type="web">Christian, J. (2022) Local Origins of Quantum Correlations Rooted in Geometric Algebra. https://arxiv.org/abs/2205.11372</mixed-citation>
          <element-citation publication-type="web">
            <person-group person-group-type="author">
              <string-name>Christian, J.</string-name>
            </person-group>
            <year>2022</year>
            <article-title>Local Origins of Quantum Correlations Rooted in Geometric Algebra</article-title>
          </element-citation>
        </citation-alternatives>
      </ref>
      <ref id="B11">
        <label>11.</label>
        <citation-alternatives>
          <mixed-citation publication-type="journal">Christian, J. (2024) Symmetric Derivation of Singlet Correlations in a Quaternionic 3-Sphere Model. <italic>International</italic><italic>Journal</italic><italic>of</italic><italic>Theoretical</italic><italic>Physics</italic>, 63, Article No. 126. https://doi.org/10.1007/s10773-024-05639-2 <pub-id pub-id-type="doi">10.1007/s10773-024-05639-2</pub-id><ext-link ext-link-type="uri" xlink:href="https://doi.org/10.1007/s10773-024-05639-2">https://doi.org/10.1007/s10773-024-05639-2</ext-link></mixed-citation>
          <element-citation publication-type="journal">
            <person-group person-group-type="author">
              <string-name>Christian, J.</string-name>
            </person-group>
            <year>2024</year>
            <article-title>Symmetric Derivation of Singlet Correlations in a Quaternionic 3-Sphere Model</article-title>
            <source>International Journal of Theoretical Physics</source>
            <volume>63</volume>
            <elocation-id>No</elocation-id>
            <pub-id pub-id-type="doi">10.1007/s10773-024-05639-2</pub-id>
          </element-citation>
        </citation-alternatives>
      </ref>
      <ref id="B12">
        <label>12.</label>
        <citation-alternatives>
          <mixed-citation publication-type="journal">Christian, J. (2014) Macroscopic Observability of Spinorial Sign Changes under 2 <italic>π</italic> Rotations. <italic>International</italic><italic>Journal</italic><italic>of</italic><italic>Theoretical</italic><italic>Physics</italic>, 54, 2042-2067. https://doi.org/10.1007/s10773-014-2412-2 <pub-id pub-id-type="doi">10.1007/s10773-014-2412-2</pub-id><ext-link ext-link-type="uri" xlink:href="https://doi.org/10.1007/s10773-014-2412-2">https://doi.org/10.1007/s10773-014-2412-2</ext-link></mixed-citation>
          <element-citation publication-type="journal">
            <person-group person-group-type="author">
              <string-name>Christian, J.</string-name>
            </person-group>
            <year>2014</year>
            <article-title>Macroscopic Observability of Spinorial Sign Changes under 2π Rotations</article-title>
            <source>International Journal of Theoretical Physics</source>
            <volume>54</volume>
            <pub-id pub-id-type="doi">10.1007/s10773-014-2412-2</pub-id>
          </element-citation>
        </citation-alternatives>
      </ref>
      <ref id="B13">
        <label>13.</label>
        <citation-alternatives>
          <mixed-citation publication-type="journal">Diether III, C.F.D. (2025) Local Quantum Mechanical Prediction of the Singlet State Using Geometric Algebra. <italic>Journal</italic><italic>of</italic><italic>Quantum</italic><italic>Information</italic><italic>Science</italic>, 15, 147-158. https://doi.org/10.4236/jqis.2025.154010 <pub-id pub-id-type="doi">10.4236/jqis.2025.154010</pub-id><ext-link ext-link-type="uri" xlink:href="https://doi.org/10.4236/jqis.2025.154010">https://doi.org/10.4236/jqis.2025.154010</ext-link></mixed-citation>
          <element-citation publication-type="journal">
            <person-group person-group-type="author">
              <string-name>III, C.F.D.</string-name>
            </person-group>
            <year>2025</year>
            <article-title>Local Quantum Mechanical Prediction of the Singlet State Using Geometric Algebra</article-title>
            <source>Journal of Quantum Information Science</source>
            <volume>15</volume>
            <pub-id pub-id-type="doi">10.4236/jqis.2025.154010</pub-id>
          </element-citation>
        </citation-alternatives>
      </ref>
      <ref id="B14">
        <label>14.</label>
        <citation-alternatives>
          <mixed-citation publication-type="other">Diether III, C.F. (2026) Beyond Quantum Mechanics: Local QM Space-Time Algebra Prediction of the Singlet State—Computational Notebooks and Simulations Package. Zenodo. https://doi.org/10.5281/zenodo.18774000 <pub-id pub-id-type="doi">10.5281/zenodo.18774000</pub-id><ext-link ext-link-type="uri" xlink:href="https://doi.org/10.5281/zenodo.18774000">https://doi.org/10.5281/zenodo.18774000</ext-link></mixed-citation>
          <element-citation publication-type="other">
            <person-group person-group-type="author">
              <string-name>III, C.F.</string-name>
            </person-group>
            <year>2026</year>
            <article-title>Beyond Quantum Mechanics: Local QM Space-Time Algebra Prediction of the Singlet State—Computational Notebooks and Simulations Package</article-title>
            <pub-id pub-id-type="doi">10.5281/zenodo.18774000</pub-id>
          </element-citation>
        </citation-alternatives>
      </ref>
      <ref id="B15">
        <label>15.</label>
        <citation-alternatives>
          <mixed-citation publication-type="book">Bell, J.S. and Aspect, A. (2004) Speakable and Unspeakable in Quantum Mechanics. 2nd Edition, Cambridge University Press. https://doi.org/10.1017/cbo9780511815676 <pub-id pub-id-type="doi">10.1017/cbo9780511815676</pub-id><ext-link ext-link-type="uri" xlink:href="https://doi.org/10.1017/cbo9780511815676">https://doi.org/10.1017/cbo9780511815676</ext-link></mixed-citation>
          <element-citation publication-type="book">
            <person-group person-group-type="author">
              <string-name>Bell, J.S.</string-name>
              <string-name>Aspect, A.</string-name>
              <string-name>Edition, C</string-name>
            </person-group>
            <year>2004</year>
            <article-title>Speakable and Unspeakable in Quantum Mechanics</article-title>
            <source>2nd Edition</source>
            <pub-id pub-id-type="doi">10.1017/cbo9780511815676</pub-id>
          </element-citation>
        </citation-alternatives>
      </ref>
    </ref-list>
  </back>
</article>