PDF
\(\newcommand{\footnotename}{footnote}\) \(\def \LWRfootnote {1}\) \(\newcommand {\footnote }[2][\LWRfootnote ]{{}^{\mathrm {#1}}}\) \(\newcommand {\footnotemark }[1][\LWRfootnote ]{{}^{\mathrm {#1}}}\) \(\let \LWRorighspace \hspace \) \(\renewcommand {\hspace }{\ifstar \LWRorighspace \LWRorighspace }\) \(\newcommand {\mathnormal }[1]{{#1}}\) \(\newcommand \ensuremath [1]{#1}\) \(\newcommand {\LWRframebox }[2][]{\fbox {#2}} \newcommand {\framebox }[1][]{\LWRframebox } \) \(\newcommand {\setlength }[2]{}\) \(\newcommand {\addtolength }[2]{}\) \(\newcommand {\setcounter }[2]{}\) \(\newcommand {\addtocounter }[2]{}\) \(\newcommand {\arabic }[1]{}\) \(\newcommand {\number }[1]{}\) \(\newcommand {\noalign }[1]{\text {#1}\notag \\}\) \(\newcommand {\cline }[1]{}\) \(\newcommand {\directlua }[1]{\text {(directlua)}}\) \(\newcommand {\luatexdirectlua }[1]{\text {(directlua)}}\) \(\newcommand {\protect }{}\) \(\def \LWRabsorbnumber #1 {}\) \(\def \LWRabsorbquotenumber "#1 {}\) \(\newcommand {\LWRabsorboption }[1][]{}\) \(\newcommand {\LWRabsorbtwooptions }[1][]{\LWRabsorboption }\) \(\def \mathchar {\ifnextchar "\LWRabsorbquotenumber \LWRabsorbnumber }\) \(\def \mathcode #1={\mathchar }\) \(\let \delcode \mathcode \) \(\let \delimiter \mathchar \) \(\def \oe {\unicode {x0153}}\) \(\def \OE {\unicode {x0152}}\) \(\def \ae {\unicode {x00E6}}\) \(\def \AE {\unicode {x00C6}}\) \(\def \aa {\unicode {x00E5}}\) \(\def \AA {\unicode {x00C5}}\) \(\def \o {\unicode {x00F8}}\) \(\def \O {\unicode {x00D8}}\) \(\def \l {\unicode {x0142}}\) \(\def \L {\unicode {x0141}}\) \(\def \ss {\unicode {x00DF}}\) \(\def \SS {\unicode {x1E9E}}\) \(\def \dag {\unicode {x2020}}\) \(\def \ddag {\unicode {x2021}}\) \(\def \P {\unicode {x00B6}}\) \(\def \copyright {\unicode {x00A9}}\) \(\def \pounds {\unicode {x00A3}}\) \(\let \LWRref \ref \) \(\renewcommand {\ref }{\ifstar \LWRref \LWRref }\) \( \newcommand {\multicolumn }[3]{#3}\) \(\require {textcomp}\) \(\newcommand {\intertext }[1]{\text {#1}\notag \\}\) \(\let \Hat \hat \) \(\let \Check \check \) \(\let \Tilde \tilde \) \(\let \Acute \acute \) \(\let \Grave \grave \) \(\let \Dot \dot \) \(\let \Ddot \ddot \) \(\let \Breve \breve \) \(\let \Bar \bar \) \(\let \Vec \vec \)

Inverse Eigenvalue Difference Problems Arising in Quantum Sensing

Boaz Ilan, Roummel Marcia, Michael Scheibner, and Kyle Wright

Abstract

This research is motivated by the emerging field of quantum sensing, which facilitates high-resolution sensing of gravitation, acoustic waves, and electromagnetic fields [1, 3, 4]. The discrete energy levels of coupled quantum dots (QDs) can be represented as eigenvalues of a quantum Hamiltonian matrix, whose entries are defined as polynomials of an applied electric field [2, 5]. Our aim is to recover the coefficients of these polynomials, which correspond to intrinsic physical constants, such as spin-coupling strength. The eigenvalue differences can be obtained from experimental measurements for varying electric field values. Standard inverse eigenvalue problems (IEP) seek to recover a constant matrix from the eigenvalues. In contrast, here the matrix elements are functions of a “tunable” parameter (the applied electric field) and only the differences between the eigenvalues are known. We formulate this as an inverse eigenvalue difference problem (IEDP).

Problem formulation. The steady-state energy levels of coupled QDs correspond to eigenvalues of quantum Hamiltonians. Specifically, the ground state of this system can be described by a \(3\times 3\) real symmetric matrix [2] of the form

\begin{align} \label {eq:general_G(F)} G(F) = \begin{bmatrix} g_1(F) & y_0 & y_1 \\ y_0 & g_2(F) & y_2 \\ y_1 & y_2 & g_3(F) \end {bmatrix}, \end{align} where the diagonal elements depend quadratically on the applied electric field, \(F \in \mathbb {R}\), as

\begin{align} \label {eq:g_i} g_i(F) = \alpha _i + \beta _i F + \gamma _i F^2, \quad i=1,2,3~, \end{align} where the coefficients \(\{\alpha _i,\beta _i,\gamma _i\}\) are real. We note that the assumption that the off-diagonal elements are independent of \(F\) is a good approximation for weak electric fields and for weak tunnel coupling between the QDs. We shall further assume that \(y_1 = y_0\) and \(y_2 = 0\), which corresponds to symmetries between QDs.

Since \(G(F)\) is symmetric, its eigenvalues are real. We denote its eigenvalues by \(\{ \xi _1(F), \xi _2(F), \xi _3(F) \}\). The physical measurements can be used to determine the differences between the eigenvalues of \(G\). Thus, the measured data is provided over a set of \(n\) values of \(F\in \mathbb {R}\), denoted by \(\{F_k\}_{k=1}^n\). The eigenvalue differences are denoted by

\begin{align} \label {eq:D21} D_{2,1}(F) \equiv \xi _2(F) - \xi _1(F), \\ \label {eq:D31} D_{3,1}(F) \equiv \xi _3(F) - \xi _1(F),\\ \label {eq:D32} D_{3,2}(F) \equiv \xi _3(F) - \xi _2(F). \end{align} Note that \(D_{3,2}(F) = D_{3,1}(F) - D_{2,1}(F).\) Hence, we consider the measured dataset to be

\begin{align} \label {eq:M} M &= \big \{ F_k, D_{2,1}(F_k), D_{3,1}(F_k) \big \}_{k=1}^{n}~. \end{align}

Our objective is to recover the coefficients that define \(G(F)\). We can prove that, without loss of generality, one can set \(g_1(F) = 0\). This has the effect of eliminating an arbitrary shift in the diagonal elements and in the eigenvalues of \(G(F)\) that would satisfy the dataset \(M\). We shall do so henceforth and redefine \(G\) as

\begin{align} \label {eq:G3(F)} G(F) = \begin{bmatrix} 0 & y_0 & y_0 \\ y_0 & g_2(F) & 0 \\ y_0 & 0 & g_3(F) \end {bmatrix}~. \end{align} We denote the vector of coefficients as \(\mathbf {p} = [ y_0, \alpha _2, \beta _2, \gamma _2, \alpha _3, \beta _3, \gamma _3 ]\in \mathbb {R}^7\). In this work, we seek to solve the following:

Inverse Eigenvalue Difference Problem (IEDP)

Given the eigenvalue difference dataset \(M\) in (6), find coefficients \(\mathbf {p}\), such that \(G(F)\) in (7) generates \(M\).

In particular, our work addresses two inter-related questions:

References