Construction of the Lovas-Andai Two-Qubit Function χ~2(ε)=31ε2(4−ε2) Verifies the 338-Hilbert Schmidt Separability Probability Conjecture
We investigate relationships between two forms of Hilbert-Schmidt two-re[al]bit and two-qubit functions''--those recently advanced by Lovas and Andai (arXiv:1610.01410), and those earlier presented by Slater ({\it J. Phys. A} {\bf{40}} [2007] 14279). In the Lovas-Andai framework, the independent variable ε∈[0,1] is the ratio σ(V) of the singular values of the 2×2 matrix V=D21/2D1−1/2 formed from the two 2×2 diagonal blocks (D1,D2) of a randomly generated 4×4 density matrix D. In the Slater setting, the independent variable μ is the diagonal-entry ratio d22d33d11d44--with, importantly, μ=ε or μ=ε1 when both D1 and D2 are themselves diagonal. Lovas and Andai established that their two-rebit function χ~1(ε) (≈ε) yields the previously conjectured Hilbert-Schmidt separability probability of 6429. We are able, in the Slater framework (using cylindrical algebraic decompositions [CAD] to enforce positivity constraints), to reproduce this result. Further, we similarly obtain its new (much simpler) two-qubit counterpart, χ~2(ε)=31ε2(4−ε2). Verification of the companion conjecture of a Hilbert-Schmidt separability probability of 338 immediately follows in the Lovas-Andai framework. We obtain the formulas for χ~1(ε) and χ~2(ε) by taking D1 and D2 to be diagonal, allowing us to proceed in lower (7 and 11), rather than the full (9 and 15) dimensions occupied by the convex sets of two-rebit and two-qubit states. The CAD's themselves involve 4 and 8 variables, in addition to μ=ε. We also investigate extensions of these analyses to rebit-retrit and qubit-qutrit (6×6) settings.
An adaptation of Kieu's hypercomputational quantum algorithm (KHQA) is presented. The method that was used was to replace the Weyl–Heisenberg algebra by other dynamical algebra of low dimension that admits infinite-dimensional irreducible representations with naturally defined generalized coherent states. We have selected the Lie algebra , because this algebra possesses the necessary characteristics to realize the hypercomputation and also because such algebra has been identified as the dynamical algebra associated with many relatively simple quantum systems. In addition to an algebraic adaptation of KHQA over the algebra , we presented an adaptation of KHQA over some concrete physical referents: the infinite square well, the infinite cylindrical well, the perturbed infinite cylindrical well, the Pöschl–Teller potentials, the Holstein–Primakoff system and the Laguerre oscillator. We conclude that it is possible to have many physical systems within condensed matter and quantum optics in which it is possible to consider an implementation of KHQA.