Operational Algorithms for Separable Qubit X States

Abstract

This work motivates and applies operational methodology to simulation of quantum statistics of separable qubit X states. Three operational algorithms for evaluating separability probability distributions are put forward. Building on previous findings, the volume function characterizing the separability distribution is determined via quantum measurements of multi-qubit observables. Three measuring states, one for each algorithm are generated via (i) a multi-qubit channel map, (ii) a unitary operator generated by a Hamiltonian describing a non-uniform hypergraph configuration of interactions among 12 qubits, and (iii) a quantum walk CP map in a extended state space. Higher order CZ gates are the only tools of the algorithms hence the work associates itself computationally with the Instantaneous Quantum Polynomial-time Circuits (IQP), while wrt possible implementation the work relates to the Lechner-Hauke-Zoller (LHZ) architecture of higher order coupling. Finally some uncertainty aspects of the quantum measurement observables are discussed together with possible extensions to non-qubit separable bipartite systems.

1. Introduction

The framework and previous work: An extensive literature exist of mainly numerical studies of the quantum entanglement found in the density matrices of bipartite quantum systems, via certain matrix distance measures. The starting kick of this research project is a seminal paper of 1998 by Życzkowski et al. [1], where the “separability probability” is introduced as a measure of how often a randomly chosen quantum bipartite system splits into two classically correlated parts. Promoting the manifold of parameters determining the density matrices of the total and the reduced quantum systems into a statistical event space endowed with a distance measure, the “separability probability” can be cast into a geometric probability given e.g., by the ratio of the corresponding volume of separable marginal systems to the total volume of bipartite system in the manifold of parameters.

In this work employing the Hilbert–Schmidt (HS) measure, bipartite systems of $2\times 2$ dimensionality are investigated analytically. The manifold of parameters characterizing a special class of bipartite systems, the so-called two-qubits X mixed states, is a real 7D manifold. Specifically, the density matrices of the marginal systems A and B, described by their corresponding Bloch vector lengths (ball radii) $r_A,r_B$ and the respective volumes have been investigated analytically and numerically. The a priori marginal separability probability function has been determined to be

$$p_{sep}^{\left(\alpha \right)}\left(r\right)=\frac{V_{HS,sep}^{\left(\alpha \right)}\left(r\right)}{V_{\left(HS\right)}^{\left(\alpha \right)}\left(r\right)},$$

for cases of general coupled qubits ($\alpha =2\times 2$) and of the special type of X density matrix ($\alpha =X$). Remarkably constant values for the a priori probabilities have been conjectured and have been corroborated or proved by numerical work or analytic derivations. Analytic calculations in e.g., [2], show that in terms of the radial volume function $f\left(r\right)={(1-r^2)}^3,$ the scaled volume functions $V_{HS,sep}^{\left(\alpha \right)}\propto f\left(r\right)$ and $V_{HS}^{\left(\alpha \right)}\propto f\left(r\right),$ in the case of X states are explicitly

$$\begin{array}{ccc}\hfill V_{HS,sep}^{\left(X\right)}\left(r\right)& =& \frac{4{\pi }^2}{45}{(1-r^2)}^3,\hfill \end{array}$$

(1)

$$\begin{array}{ccc}\hfill V_{\left(HS\right)}^{\left(X\right)}\left(r\right)& =& \frac{2{\pi }^2}{9}{(1-r^2)}^3,\hfill \end{array}$$

(2)

so the probability distribution $p_{sep}^{\left(X\right)}\left(r\right)$ reads

$$p_{sep}^{\left(X\right)}\left(r\right)=\frac{2}{5},p_{nosep}^{\left(X\right)}\left(r\right)=\frac{3}{5},r\in [0,1)\mathrm{and}{p}_{sep}^{\left(X\right)}\left(1\right)=1.$$

This remarkable constant probability within the interval $r\in [0,1)$ has verified previous numerical and analytic conjectures—see, e.g., [3]. Similarly for the general bipartite systems of $2\times 2$ systems, it is known that $p_{sep}^{(2\times 2)}\left(r\right)=\frac{2}{5},r\in [0,1).$ Despite numerous numerical and, to a lesser extent, analytic works in this field over the last years, hardly anything has been done with respect to its operational and quantum simulation aspects of those probability distributions.

Outline of paper’s contribution: This work starts providing a motivation for applying operational methodology to simulation quantum statistics of separable states. It proceeds to puts forward three operational algorithms for evaluating separability probability distributions for X states of qubits. Specifically, it is shown that the volume function which determines the separability distribution can be obtained via quantum measurements of certain respective multi-qubit observables.

There are three measuring states, one for each operational algorithm. These states are generated from the original X states under investigation respectively via (i) a multi-qubit channel map, (ii) a unitary operator generated by a Hamiltonian describing a non-uniform hypergraph [4,5,6,7], configuration of interactions among 12 qubits, and (iii) a quantum walk completely positive (CP) map in an extended state space. All three proposed algorithms are based on an 12-qubit lattice system with an underlying interaction scheme described by a hypergraph.

Two important connections of the paper with some related research fields as emphasized. First: The building blocks of the algorithms are higher order controlled-not CZ diagonal gates [8,9,10,11,12,13]. This fact suggests that the formalism and the computational tasks carried out by the algorithms associate them with the field of the so-called Instantaneous Quantum Polynomial-time Circuits (IQP) [14,15,16,17,18,19,20,21]; Second: wrt possible implementation, the work relates itself to the LHZ quantum computation architecture of higher order coupling [22,23].

Structure of the paper: The present introductory chapter concludes offering a motivation of the attempted operational approach to the separability statistics. Section 2 provides all the needed elements for X states and their quantum mechanical aspects that will allow for building up in the sequel the operational framework. The next three Section 3, Section 4 and Section 5 provide respectively the necessary background and formulation of the three simulation algorithms for the distribution of separability. Section 6 is a brief one that presents some important aspects regarding the computation methodology and implementation possibilities of the algorithms. Section 7 is a closing discussion on the overall operational methodology and on the prospects of applying paper’s ideas to general Bloch vector components functions. Finally, in three appendices, material is included concerning, (Appendix A), the matrix analysis aspects and the proof of the main proposition; (Appendix B) aspects of uncertainties of the quantum measurements presented in previous chapters, while Appendix C shows the underlying hypergraph structure of volume operator and the associated Hamiltonian. In the opening of each chapter, a brief outline of its content is provided.

Motivation of this work: Let a physical phenomenon conjectured to be described statistically by e.g., a Poisson distribution over natural numbers with a fixed mean value. If a realistic statistical experiment is difficult to be set up, sampled and investigated, one could come up with the idea of building an hitherto unknown simulator e.g., a laser coherent light beam generator. This concept-device could in some way serve the purpose of a quantum simulator i.e., it could be considered as an experimental and theoretical device for simulating the above phenomenon and corroborate or falsify its initial statistical conjecture. This is so, since it is a standard knowledge that a laser beam is generated from an initial state of thermal light photons with Maxwell–Boltzmann energy distribution and that, beyond the lasing threshold, theory and experiment prove the occurrence of a phase transition form thermal photons to photons with energy following Poissonian statistics [24]. The theoretical requirements of such laser light simulator would include developing a set of landmark operations in open quantum systems such as coupling and de-coupling between quantum system and quantum environment, quantum master equation solutions, in terms of CP maps, of the light density matrix, statistical correlations of the laser light beam, distinct thermodynamic features developed during the lasing transition, etc. The laser quantum simulation could additionally provide checks and simulations of statistical questions of interest, questions concerning required resources for the feasibility of the initial statistical conjecture i.e., questions pertaining to the energy, entropy and work resources of the phenomenon, as well as their transformations. Note that here we should distinguish between resources of the initial physical system and those of the simulating quantum system. It is in fact the latter ones i.e., the resources of quantum simulation that would constitute a novel important aspect to be addressed in the field of quantum simulations.

Based on the analogous situation of the laser quantum simulation, similar general ideas can be specified in the present case of simulating the statistics of separable X states. To this end, this work puts forward some hitherto unknown simulator that employs a lattice of 12 qubits and provides versions of some operational algorithms that derive the conjectured probability distribution of pairs of separable qubits in an X form density matrix.

As detailed below, the algorithms describe both closed Hamiltonian systems and also open system operations. More generally, the operational algorithmic methodology put forward here is in fact grounded in a well developed operational methodology of constructing quantum observables and quantum measurements with desired properties—see, e.g., [25] for a general theory, [26] for related quantum optical problems, and [27,28] for problems formulated in quantum mechanical phase space.

2. X States Operational Framework

Chapter’s outline: The X state density matrix is introduced and its Bloch vector components and relevant polynomials thereof are expressed by expectation values of generalized multi-qubit observables. The volume operator and its components are introduced.

The two-qubit density matrix of the so-called “X state” is a special case of bipartite state and reads [29,30,31],

$${\rho }_X=\left(\begin{array}{cc}{\rho }_{11}& {\rho }_{14}\\ {\rho }_{22}& {\rho }_{23}\\ {\rho }_{32}& {\rho }_{33}\\ {\rho }_{41}& {\rho }_{44}\end{array}\right).$$

More specifically, on the basis of 16 elements formed by all possible tensor products of Pauli and unit matrix between themselves,

$$\{\mathbb{I}\otimes \mathbb{I},X\otimes \mathbb{I},Y\otimes \mathbb{I},Z\otimes \mathbb{I},\mathbb{I}\otimes X,\mathbb{I}\otimes Y,\mathbb{I}\otimes Z,X\otimes X,Y\otimes Y,Z\otimes Z,X\otimes Y,\dots ,Y\otimes Z\}.$$

The X-density reads

$$\begin{array}{ccc}\hfill {\rho }_X& =& \frac{1}{4}(\mathbb{I}\otimes \mathbb{I}+a_{z}Z\otimes \mathbb{I}+b_z\mathbb{I}\otimes Z+c_{xx}X\otimes X+c_{xy}X\otimes Y\hfill \\ & & +c_{yx}Y\otimes X+c_{yy}Y\otimes Y+c_{zz}Z\otimes Z).\hfill \end{array}$$

The expansion coefficients are linearly related to the original ${\rho }_{ij}$ matrix elements and, in order to determine them forming the density matrix, we introduce the inner product for $2\times 2$ matrices as $〈A,B〉\equiv Tr\left(A{B}^{†}\right).$ Verify that $〈\mathbb{I}\otimes \mathbb{I},{\rho }_X〉=Tr(\mathbb{I}\otimes \mathbb{I}{\rho }_X)=1$ and compute the $a_z$ coefficient as $〈Z\otimes \mathbb{I},{\rho }_X〉=Tr(Z\otimes \mathbb{I}{\rho }_X)=a_z={\rho }_{11}+{\rho }_{22}-{\rho }_{33}-{\rho }_{44}\equiv r,$ and similarly for the rest of the coefficients.

With the polynomial volume function $f\left(r\right)$ of a previous chapter in mind and in order to be able to express powers of variable r as inner products of density matrix with various products of Pauli matrices, we proceed to embed those matrices into an n-fold tensor product of Pauli algebra as follows. Using the generic notation $S_a,a=1,2,3$ for all Pauli matrices, respectively $X\equiv {\sigma }_x,Y\equiv {\sigma }_y,Z\equiv {\sigma }_z,$ we introduce their embedding as a map from ${\mathbb{C}}^{2\times 2}\ni S_a$ into the n-fold matrix product space ${\left({\mathbb{C}}^{2\times 2}\right)}^{\otimes n}\ni S_a^i,$ by means of the correspondence $S_a\to S_a^i,$ where

$$S_a^i\equiv S_a^{\otimes (i-1)}\otimes S_a\otimes S_a^{\otimes (n-i)},$$

for $i=1,2,\dots ,n.$

Next, recall the identity $TrATrB=Tr\left(A\otimes B\right),$ which further implies that

$$〈A,\rho 〉〈B,\rho 〉=〈A\otimes B,\rho \otimes \rho 〉,$$

and more generally

$$〈A_1,\rho 〉\cdots 〈A_n,\rho 〉=〈A_1\otimes \cdots \otimes A_n,{\rho }^{\otimes n}〉.$$

Then, referring to Equations (1) and (2), and applying the previous identities, we compute that, for the density matrix ${\rho }_X$, the following identities are valid (for notational simplicity, the X index is omitted hereafter),

$$1-r^2=〈{\mathbb{I}}^{\otimes 4}-Z\otimes \mathbb{I}\otimes Z\otimes \mathbb{I},\rho \otimes \rho 〉,$$

and

$$\begin{array}{ccc}\hfill {(1-r^2)}^3& =& 〈{\mathbb{I}}^{\otimes 12}-3{\mathbb{I}}^{\otimes 8}\otimes Z\otimes \mathbb{I}\otimes Z\otimes \mathbb{I}+3{\mathbb{I}}^{\otimes 4}\otimes Z\otimes \mathbb{I}\otimes Z\otimes \mathbb{I}\otimes Z\otimes \mathbb{I}\otimes Z\otimes \mathbb{I}\hfill \\ & & -Z\otimes \mathbb{I}\otimes Z\otimes \mathbb{I}\otimes Z\otimes \mathbb{I}\otimes Z\otimes \mathbb{I}\otimes Z\otimes \mathbb{I}\otimes Z\otimes \mathbb{I},{\rho }^{\otimes 6}〉.\hfill \end{array}$$

Next, define the unitary volume operator $\widehat{V}:{\left({\mathbb{C}}^{4\times 4}\right)}^{\otimes 6}\to {\left({\mathbb{C}}^{4\times 4}\right)}^{\otimes 6}$ acting on the Hilbert space of six bipartite X states ${\left({\mathbb{C}}^{4\times 4}\right)}^{\otimes 6}$ and reads explicitly,

$$\begin{array}{ccc}\hfill \widehat{V}& \equiv & {\mathbb{I}}^{\otimes 12}-3{\mathbb{I}}^{\otimes 8}\otimes Z\otimes \mathbb{I}\otimes Z\otimes \mathbb{I}+3{\mathbb{I}}^{\otimes 4}\otimes Z\otimes \mathbb{I}\otimes Z\otimes \mathbb{I}\otimes Z\otimes \mathbb{I}\otimes Z\otimes \mathbb{I}\hfill \\ & & -Z\otimes \mathbb{I}\otimes Z\otimes \mathbb{I}\otimes Z\otimes \mathbb{I}\otimes Z\otimes \mathbb{I}\otimes Z\otimes \mathbb{I}\otimes Z\otimes \mathbb{I}.\hfill \end{array}$$

Recall the volume functions issued in Equations (1) and (2) to compute that

$$V_{HS}^{\left(X\right)}\left(r\right)=\frac{{\pi }^2}{2304}〈\widehat{V},{\rho }^{\otimes 6}\left(r\right)〉.$$

(3)

Furthermore, by simplifying $A\otimes B$ to $AB,$ the volume operator reads

$$\widehat{V}={\mathbb{I}}^{\otimes 12}-3Z^9{Z}^{11}+3Z^5{Z}^7{Z}^9{Z}^{11}-Z^1{Z}^3{Z}^5{Z}^7{Z}^9{Z}^{11}.$$

(4)

Proceeding next by defining variables $a={\mathbb{I}}^{\otimes 4}$ and $b=Z\otimes \mathbb{I}\otimes Z\otimes \mathbb{I}\equiv Z^1{Z}^3,$ and applying the identity ${(a-b)}^{\otimes 3}=a^{\otimes 3}-3a^{\otimes 2}\otimes b+3a\otimes b^{\otimes 2}-b^{\otimes 3},$ and various rules of tensor products, we verify that the radial function is obtained as $f\left(r\right)=〈\widehat{V},{\rho }^{\otimes 6}〉$ or explicitly as

$$〈\widehat{V},{\rho }^{\otimes 6}〉=〈{\mathbb{I}}^{\otimes 12}-3Z^9{Z}^{11}+3Z^5{Z}^7{Z}^9{Z}^{11}-Z^1{Z}^3{Z}^5{Z}^7{Z}^9{Z}^{11},{\rho }^{\otimes 6}〉.$$

The following decomposing of volume operator will be useful: $\widehat{V}={\sum }_{a=1}^4{\lambda }_a{\widehat{V}}_a,$ with $\lambda ={\left({\lambda }_a\right)}_{a=1}^4=(1,-3,3,-1),$ and the obvious identifications

$$\begin{array}{ccc}\hfill {\widehat{V}}_1& =& {\mathbb{I}}^{\otimes 12},\hfill \\ \hfill {\widehat{V}}_2& =& Z^9{Z}^{11},\hfill \\ \hfill {\widehat{V}}_3& =& Z^5{Z}^7{Z}^9{Z}^{11},\hfill \\ \hfill {\widehat{V}}_4& =& Z^1{Z}^3{Z}^5{Z}^7{Z}^9{Z}^{11},\hfill \end{array}$$

(5)

where each operator satisfies the properties of being an involution, unitary and Hermitian i.e., ${\widehat{V}}_a^2={\mathbb{I}}^{\otimes 12},$ ${\widehat{V}}_a^{†}={\widehat{V}}_a.$

Then, finally function $f\left(r\right)$ is expressed as

$$f\left(r\right)=〈\widehat{V},{\rho }^{\otimes 6}〉=〈{\widehat{V}}_1,{\rho }^{\otimes 6}〉-3〈{\widehat{V}}_2,{\rho }^{\otimes 6}〉+3〈{\widehat{V}}_3,{\rho }^{\otimes 6}〉-〈{\widehat{V}}_4,{\rho }^{\otimes 6}〉.$$

Further properties concerning the graph structure of the volume operator have been placed at the end of paper in Appendix C entitled: Hypergraphs and volume operator.

3. CZ Gates, Volume Observables and Function

Chapter’s outline: The aim of this central chapter is to provide the first operational algorithm of the separability probability distribution. To this end, all background material (cf. shifted CZ gates Hankel, Toeplitz, Fourier, Hadamard matrices and their interrelations), as well as relevant concepts and definitions, are introduced in order to establish the relation $f\left(r\right)=\langle \widehat{V},{\rho }^{\otimes 6}\rangle =\langle \mathcal{R}\left(U^{cz}\right),{\rho }^{\otimes 6}\rangle =\langle U^{cz},{\mathcal{R}}^{*}\left({\rho }^{\otimes 6}\right)\rangle .$ This relation describes the fact that the volume function is obtained as an expectation value of the volume observable, which in turn is shown to be derived from a unitary map $\mathcal{R}$ or its dual map ${\mathcal{R}}^{*}.$

Preliminaries: Let the projectors $P_k=\left|k\right.〉\left.〈k\right|,$$k\in \left[N\right],$ where $\left[N\right]=\{1,2,\dots ,N=2^n\},$ in ${\mathbb{C}}^N$ space. Denote by $k=(k_1,\dots ,k_n),$ and $l=(l_1,\dots ,l_n)$ the decimal and binary decomposition of indices $k,l\in \Lambda ,$ where $\Lambda \equiv {\{0,1\}}^n,$ and by $k·l=k_1{l}_1+\cdots +k_n{l}_n$ and $k+l=(k_1+l_1,\cdots ,k_n+l_n),$ their $mod2$ element-wise inner product and sum, respectively.

Let $\left|k\right.〉={⨂}_{l=1}^n\left|k_l\right.〉$ and consider the projectors $P_{k_l}=\left|k_l\right.〉\left.〈k_l\right|=\frac{1}{2}(\mathbb{I}+{(-1)}^{k_l}Z).$ The reference controlled-phase gate $CZ$ gate $U^{cz}=e^{i\pi P},$ uses the projector $P_{k=N-1}\equiv P,$ acts on the space of n qubits and is labelled by n-plet of binary indices $(k_1=1,\dots ,k_n=1).$ For general index $k\in \left[N\right]$, the $CZ$ gate operator $U_k^{cz}=e^{i\pi P_k}$ can be considered to act in multi-qubit states as follows:

$$U_k^{cz}\left|k_1,\dots ,k_{n-1},k_n\right.〉={(-1)}^{k_1\dots k_n}\left|k_1,\dots ,k_{n-1},k_n\right.〉.$$

States $\left|k_1,\dots ,k_{n-1}\right.〉$ may be regarded as control qubit states and $\left|k_n\right.〉$ as the target qubit state, so the gate’s action is determined by the choice of values $k_i=1,i=1,\dots ,n.$

To allow for free choice of the values of the n-plet index on which the conditional $e^{i\pi }=-1$ phase will be acted in a CZ gate, we need to introduce first the set of so-called X-shifted CZgates. This is done in the proposition below where the family ${\mathcal{F}}_k^{cz}$ of N commuting X-shifted CZgates $U_{k+l}^{cz}$ are defined. Shifted CZ are related linearly to words $Z^m$ and vice versa, so volume operators ${\widehat{V}}_a$ and $\widehat{V}$ via their linear relation to $Z^m$ words, Equation (5), are in turn related to shifted CZ gates.

The proposition proceeds by showing that all shifted CZ gates $U_{k+l}^{cz}$ are generated via a unitary channel map $\mathcal{R},$ from the reference gate $U^{cz}.$ This allows for expressing volume operators ${\widehat{V}}_a$, $\widehat{V}$ via map $\mathcal{R}$ acting on $U^{cz},$ which is then trace contracted with a state density matrix i.e., $f\left(r\right)=\langle \mathcal{R}\left(U^{cz}\right),{\rho }^{\otimes 6}\rangle ,$ to provide the targeted volume function. By duality (defined precisely below), the volume function is obtained by operating with dual map ${\mathcal{R}}^{*}$ on $\rho$ instead with of $\mathcal{R}$ acting on $U^{cz}$ i.e., $f\left(r\right)=\langle M_1,{\mathcal{R}}^{*}\left({\rho }^{\otimes 6}\right)\rangle ,$ where now the CZ gate has been identified with an operator observable i.e., $M_1\equiv U^{cz}.$ Hence, the volume function is obtained as the mean value of the quantum measurement of the generalized observable $M_1,$ in state ${\rho }^{\otimes 6}.$ This alternative way of evaluating volume functions strengthens the operational character of the process of dealing with volumes of separable states as a form of generalized quantum measurement.

We next proceed with the

Proposition 1.

The projection operators $P_k$ and the words $Z^m\equiv Z^{m_1}\otimes \cdots \otimes Z^{m_n}$ of letter Z are related by the Hadamard transform in the direct and the inverse way as $P_m=\frac{1}{N}{\sum }_{r\in \Lambda }{(-1)}^{m·r}{Z}^r$ and $Z^m={\sum }_{k\in \Lambda }{(-1)}^{m·r}{P}_r$ for $r,m\in \Lambda ,$ respectively. From the $C{Z}_k$ gates expressed as $U_k^{cz}=e^{i\pi P_k},$ the family of X-shifted $CZ$ gates

$${\mathcal{F}}_k^{cz}\equiv \{U_{k+l}^{cz}=X^l{U}_k^{cz}{\left(X^T\right)}^l,l\in \Lambda \}$$

is generated by its members, which, in terms of projectors, read explicitly

$$U_{k+l}^{cz}=\sum _{m\in \Lambda }{(-1)}^{(k_1+l_1+m_1+1)\cdots (k_n+l_n+m_n+1)}{P}_{m_1\cdots m_n}.$$

The effect of index shifting ($k\to k+l)$ on gates is to allow a conditional placing of a minus sign at position $k+l\in \Lambda ;$ as a consequence, shifted gates have the spectral decomposition

$$U_{k+l}^{cz}=-\left|k+l\right.〉\left.〈k+l\right|+\sum _{m\in \Lambda \backslash (k+l)}\left|m\right.〉\left.〈m\right|.$$

For zero shift $l=0$ and $k=N-1$, the gate $U_{N-1+0}^{cz}\equiv U^{cz}$ is identified with the usual $CZ$ gate in the computational basis. Shifted $CZ$ gates are linearly related to words $Z^r$ as

$$U_{k+l}^{cz}=\sum _{r\in \Lambda }{C}_{k+l,r}{Z}^r,$$

via the orthogonal matrix $C=AH,$ where the product is between Hankel A and Hadamard H matrices and the C matrix elements explicitly read

$$C_{k+l,r}={\left(AH\right)}_{k+l,r}=\frac{1}{2^n}\sum _{m\in \Lambda }{(-1)}^{(k_1+l_1+m_1+1)\cdots (k_n+l_n+m_n+1)+m_1{r}_1+\cdots +m_n{r}_n}.$$

Conversely the $Z^r,$ $r\in \Lambda ,$ words relate to the $CZ$ shifted gates as

$$Z^r=\sum _{k+l\in \Lambda }{C}_{k+l,r}^{†}{U}_{k+l}^{cz}.$$

This in turn, by virtue of Equation (5), allows the volume operators $\{{\widehat{V}}_a=Z^{l_a};a\in \{1,2,3,4\},l_a={\left\{l_{a_m}\right\}}_{m=1}^n\},$ to be expressed in terms of $CZ$ gates

$${\widehat{V}}_a=\sum _{k+l\in \Lambda }{C}_{k+l,l_a}^{†}{U}_{k+l}^{cz}.$$

(6)

A further reduction results by first generating each and all of the components ${\widehat{V}}_a,a=1,2,3,4$, of volume operator from the single reference gate $U^{cz}$ via the action $U^{cz}\to {\widehat{V}}_a={\mathcal{R}}_a\left(U^{cz}\right),$ of unitary maps ${\mathcal{R}}_a$ which are defined as

$$T\to {\mathcal{R}}_a\left(T\right):=\sum _{k+l\in \Lambda }{C}_{k+l,l_a}^{†}{X}^{k+l+1}T{X}^{k+l+1}.$$

Explicitly, the volume operators ${\widehat{V}}_a=Z^{l_a}\equiv Z^{l_{a_1}}\otimes \cdots \otimes Z^{l_{a_n}}$ are described by using the labelling map $a\to l_a=(l_{a_1},l_{a_2},\dots ,l_{a_n}),$ which leads to the following four index correspondences for each one of them (only the non zero $l_{a_i}$’s are provided): For ${\widehat{V}}_1=\mathbb{I},$ ${\left\{l_{1_m}=0\right\}}_{m=1}^n;$ for ${\widehat{V}}_2$, the non zero components are $l_{2_1=9}=l_{2_2=11}=1;$ for ${\widehat{V}}_3$, the non zero indices are $l_{3_1=5}=l_{3_2=7}=l_{3_3=9}=l_{3_4=11}=1,$ and finally, for ${\widehat{V}}_4$, the non zero indices are $l_{4_1=1}=l_{4_2=3}=l_{4_3=5}=l_{4_4=7}=l_{4_5=9}=l_{4_6=11}=1.$

The total volume operator $\widehat{V}$ is eventually obtained via the action of map $\mathcal{R}:{\mathbb{C}}^{N\times N}\to {\mathbb{C}}^{N\times N}$ on the reference gate, i.e., $\widehat{V}=:\mathcal{R}\left(U^{cz}\right),$ where map $\mathcal{R}$ is a weighted sum of ${\mathcal{R}}_a$ maps, which explicitly reads $T\to \mathcal{R}\left(T\right):={\sum }_{a=1}^4{\lambda }_a{\mathcal{R}}_a\left(T\right),$ with weights $\lambda ={\left({\lambda }_a\right)}_{a=1}^4=(1,-3,3,-1).$

By means of the later result and the previous identification $M_1\equiv U^{cz},$ the evaluation of volume function $f\left(r\right)$ is cast in the suggestive form

$$f\left(r\right)=\langle \mathcal{R}\left(U^{cz}\right),{\rho }^{\otimes 6}\rangle =\langle U^{cz},{\mathcal{R}}^{*}\left({\rho }^{\otimes 6}\right)\rangle =\langle M_1,{\rho }_1\rangle \equiv {〈M_1〉}_{{\rho }_1},$$

(7)

where ${\rho }_1\equiv {\mathcal{R}}^{*}\left({\rho }^{\otimes 6}\right)$ and map ${\mathcal{R}}^{*}$ the dual of $\mathcal{R}$ has been utilized.

Finally, via the expression $U^{cz}=\mathbb{I}-2P_{N-1}=P_{N-1}^{⊺}-P_{N-1}$ of CZ gate, the volume function evaluates to

$$f\left(r\right)=\sum _{a=1}^4{\lambda }_a\{Tr\left[{\mathcal{R}}_a^{*}\left({\rho }^{\otimes 6}\right)\right]-2\left.〈N-1\right|{\mathcal{R}}_a^{*}\left({\rho }^{\otimes 6}\right)\left|N-1\right.〉\}.$$

(8)

The proof is deferred to Appendix A.

4. Hypergraph Hamiltonian Coupling

Chapter’s outline: The aim of this chapter is to provide the second operational algorithm of the separability probability distribution. This volumetric radial distribution is shown to be expressed by means of the expectation value of a quantum observable $M_2$ on an appropriate state. This state is a U evolved density matrix describing a multiple of copies of X states. The Hamiltonian $H_V$ generating unitary U and its hypergraph coupling structure are determined.

The preceding analysis will be utilized to provide an operational implementation of the volume function $〈{\widehat{V}}_{l_a},{\rho }^{\otimes 6}〉$ via a unitary operator $U\equiv e^{i{H}_V}$ and its generating Hamiltonian $H_V,$ both acting in an extended Hilbert space to that of the density matrix of the 12 qubits, as follows: Let us first introduce the conditional unitary operator

$$U=\sum _{a=1}^4{P}_a\otimes {\widehat{V}}_a,$$

(9)

and an auxiliary density matrix ${\rho }_{aux}$ acting on an auxiliary 2-qubit Hilbert space $H_{aux}\approx {\mathbb{C}}^4.$ The initial composite system density matrix ${\rho }_{aux}\otimes {\rho }^{\otimes 6}$ evolves as

$${\rho }_{aux}\otimes {\rho }^{\otimes 6}\to U{\rho }_{aux}\otimes {\rho }^{\otimes 6}{U}^{†}\equiv {\rho }_2.$$

Next, introduce the correlating observable

$$M_2=\sum _{b=1}^4{\mu }_b{P}_b\otimes {\widehat{V}}_b,$$

(10)

where the real coefficient $\mu ={\left({\mu }_a\right)}_{a=1}^4$ should be determined.

Performing the volumetric quantum measurement via $M_2$ on the evolved state ${\rho }_2,$ we demand that the mean value of the measurement equals the volume function i.e.,

$${〈M_2〉}_{{\rho }_2}\equiv \langle M_2,{\rho }_2\rangle =Tr\left(M_2{\rho }_2\right)=f\left(r\right).$$

(11)

This is achieved by choosing values for the diagonal elements of the auxiliary density matrix ${\rho }_1$ to be the probabilities $p={(p_a=〈a|{\rho }_{aux}|a〉)}_{a=1}^4,$ which together with the terms of the sequence $\mu$ should satisfy the constraint ${\left(p_a{\mu }_a\right)}_{a=1}^4=(1,-3,3,-1).$ A possible choice for p is the uniform distribution i.e., $p_a=\frac{1}{4}$ and for the coefficients $\mu ={\left({\mu }_a\right)}_{a=1}^4=(4,-12,12,-4)=4\lambda .$

Furthermore, modifying numerically observable $M_2$ into $M_{HS}^{\left(X\right)}\equiv \frac{2{\pi }^2}{9}{M}_2$ and $M_{HS,sep}^{\left(X\right)}\equiv \frac{4{\pi }^2}{45}{M}_2,$ yields the exact results of the volumetric quantum measurements of these operators respectively as

$$\begin{array}{ccc}\hfill 〈M_{HS}^{\left(X\right)}〉& \equiv & Tr(M_{HS}^{\left(X\right)}·{\rho }_2)=V_{HS}^{\left(X\right)}\left(r\right),\hfill \\ \hfill 〈M_{HS,sep}^{\left(X\right)}〉& \equiv & Tr(M_{HS,sep}^{\left(X\right)}·{\rho }_2)=V_{HS,sep}^{\left(X\right)}\left(r\right),\hfill \end{array}$$

from which the probability distribution of the radial parameter is finally obtained i.e., $p_{sep}^{\left(X\right)}\left(r\right)=\frac{〈M_{HS}^{\left(X\right)}〉}{〈M_{HS,sep}^{\left(X\right)}〉}=\frac{2}{5},r\in [0,1).$

Next, we determine the Hamiltonian $H_V$ that generates the unitary U as $U=e^{i{H}_V}$ by invoking the identity,

$$exp(-\frac{i\pi }{2}(2r+1)(Z^{j_1}\otimes Z^{j_2}\otimes \cdots \otimes Z^{j_n}-{\mathbb{I}}_{2^n}))=Z^{j_1}\otimes Z^{j_2}\otimes \cdots \otimes Z^{j_n},$$

valid for $r\in \mathbb{Z},j_i=0,x,y,z,$ (where $Z_0\equiv \mathbb{I})$ [32], from which equivalent expressions for $V_a$’s are obtained i.e., ${\widehat{V}}_{l_a}=Z^{l_a}=e^{-\frac{i\pi }{2}(2r+1)Z^{l_a}},$ from which we choose ${\widehat{V}}_{l_a}=e^{\frac{i\pi }{2}{\widehat{V}}_{l_a}}.$ Then, the multi-spin Hamiltonian generator $H_V={\sum }_{a=1}^4{P}_a\otimes {\widehat{V}}_a$ of $U,$ i.e., $U\equiv e^{i{H}_V},$ reads explicitly

$$H_V=\frac{\pi }{2}(P_1\otimes {\mathbb{I}}^{\otimes 12}+P_2\otimes Z^9{Z}^{11}+P_3\otimes Z^5{Z}^7{Z}^9{Z}^{11}+P_4\otimes Z^1{Z}^3{Z}^5{Z}^7{Z}^9{Z}^{11}).$$

(12)

Referring to Appendix C: Hypergraphs and volume operator, we see that, similarly to the hypergraph structure of the volume operator, the resulting effective Hamiltonian operator of this chapter shares a similar hypergraph structure.

5. Quantum Walk Simulation of Separability

Chapter’s outline: The aim of this chapter is to provide the third and final operational algorithm of the separability probability distribution. To this end, a QW set up with quantum coin and walker systems is employed. Volume function is again obtained via a quantum measurement of a multi-qubit observable on a state that results after evolving an initial X density matrix with a conditional completely positive trace preserving (CPTP) map of the QW type. Decomposition of QW map into a CP map with volume operators as Kraus generators’ time local unitaries is provided. An overall comment comparing the three schemes generating separability statistics is provided.

Measurement theory: The quantum measurement content of the QW-based operational algorithm of separability statistics to be presented follows the generalized theory of quantum measurement. A brief outline of this theory follows: on a quantum system S in state $\rho$, a measurement is described by a (POVM) positive operator valued measure ${\left\{Q_k\right\}}_k.$ Each outcome indexed by k occurs with probability $p_k=Tr\left(Q_k\rho \right).$ The completely positive trace preserving map associated with the measurement reads

$$\rho \to \mathcal{D}\left(\rho \right)=\sum _k\left|k\right.〉{\left.〈k\right|}_C\otimes {\mathcal{D}}^{\left(k\right)}\left(\rho \right),$$

where C is a classical register (measuring device) that contains the outcomes of the measurement and

$${\mathcal{D}}^{\left(k\right)}\left(\rho \right)=\sum _i{S}_i^{\left(k\right)}\left(\rho \right)S_i^{\left(k\right)†}$$

is the post-measurement state of the initial $\rho$ corresponding to outcome $k.$ This post-measurement state is induced by a CPTP (completely positive trace preserving) map ${\mathcal{D}}^{\left(k\right)}$, generated by its Kraus generators ${\left\{S_i^{\left(k\right)}\right\}}_i,$ which in turn generate the POVM elements as $Q_k={\sum }_i{S}_i^{\left(k\right)†}{S}_i^{\left(k\right)}.$ The trace preservation of map $\mathcal{D}$ leads to the completeness of the POVM set i.e. ${\sum }_k{Q}_k=\mathbb{I}.$ Note that this scheme does not assume projectivity of each or orthogonality of different Q’s, so it is a generalization of the von Neumann projection measurement theory, in which special case the additional relations $Q_k^2=Q_k$ for all k’s are valid; see, e.g., [25].

The algorithm: An alternative QW based simulation of the volume function can be given by constructing a new state ${\rho }_2$ in place of ${\rho }_1$ of the preceding analysis, and also by replacing the unitary U acting in ${\mathbb{C}}^4\otimes {\mathbb{C}}^{2^{12}},$ by the extended unitary operator W acting in ${\mathbb{C}}^4\otimes {\mathbb{C}}^2\otimes {\mathbb{C}}^{2^{12}}.$ The three state spaces correspond respectively to the states for the auxiliary system, the coin system and the ’walker’ target system to which an intentional action is aimed.

Consider first the unitary operator

$$W=\sum _{a=1}^4{P}_a\otimes W_a,$$

where $W_a$ are unitary step operators for a quantum walk, as will be detailed below, written as

$$W_a=(P_0^{\prime }\otimes \mathbb{I}+P_1^{\prime }\otimes {\widehat{V}}_a)(H\otimes \mathbb{I})=\frac{1}{\sqrt{2}}\left(\begin{array}{cc}\mathbb{I}& \mathbb{I}\\ {\widehat{V}}_a& -{\widehat{V}}_a\end{array}\right).$$

Then, we compute ${\mathcal{E}}_a,$ the evolution unitary CP map for the a-th QW, where we choose the initial coin state to be ${\rho }_c=\left|1\right.〉\left.〈1\right|,$ as follows:

$$\begin{array}{ccc}\hfill T{r}_c\left[W_a({\rho }_c\otimes {\rho }^{\otimes 6})W_a^{†}\right]& =& \frac{1}{2}T{r}_c\left(\begin{array}{cc}\mathbb{I}& \mathbb{I}\\ {\widehat{V}}_a& -{\widehat{V}}_a\end{array}\right)\left(\begin{array}{cc}0& 0\\ 0& {\rho }^{\otimes 6}\end{array}\right)\left(\begin{array}{cc}\mathbb{I}& {\widehat{V}}_a^{†}\\ \mathbb{I}& -{\widehat{V}}_a^{†}\end{array}\right)\hfill \\ & =& \frac{1}{2}({\rho }^{\otimes 6}+{\widehat{V}}_a{\rho }^{\otimes 6}{\widehat{V}}_a^{†})\equiv {\mathcal{E}}_a\left({\rho }^{\otimes 6}\right).\hfill \end{array}$$

Explicit computation of the total action of the unitary W generates, after partial tracing of the coin system, the QW CP map ${\mathcal{E}}_{qw}$ that eventually yields the target density matrix ${\rho }_2$, as follows (${\rho }_{aux}=\frac{1}{4}\mathbb{I}):$

$$\begin{array}{ccc}\hfill {\mathcal{E}}_{qw}\left({\rho }^{\otimes 6}\right)& \equiv & T{r}_{c}W({\rho }_{aux}\otimes {\rho }_c\otimes {\rho }^{\otimes 6})W^{†}=T{r}_c\sum _{a=1}^4\sum _{b=1}^4(P_a\otimes W_a)({\rho }_{aux}\otimes {\rho }_c\otimes {\rho }^{\otimes 6})(P_b\otimes W_b^{†})\hfill \\ & =& T{r}_c\sum _{a=1}^4\sum _{b=1}^4(\frac{1}{4}{P}_a\mathbb{I}{P}_b\otimes W_a({\rho }_c\otimes {\rho }^{\otimes 6})W_b^{†})\hfill \\ & =& \sum _{a=1}^4\frac{1}{4}{P}_a\otimes \frac{1}{2}({\rho }^{\otimes 6}+V_a{\rho }^{\otimes 6}{V}_a^{†})\equiv \frac{1}{4}\sum _{a=1}^4{P}_a\otimes {\mathcal{E}}_a\left({\rho }^{\otimes 6}\right)\equiv {\rho }_3.\hfill \end{array}$$

(13)

In the next and final step, we reach the volume function via quantum measurement with the observable $M_3=2{\sum }_{b=1}^4{\lambda }_b{P}_b\otimes {\widehat{V}}_b,$ in the state ${\rho }_3$ as $Tr\left(M_3{\rho }_3\right)=\langle M_3,{\rho }_3\rangle =f\left(r\right)\equiv {〈M_3〉}_{{\rho }_3}.$ Indeed,

$$\begin{array}{ccc}\hfill Tr\left(M_3{\rho }_3\right)& =& \frac{1}{4}2Tr\sum _{a=1}^4\sum _{b=1}^4{\lambda }_b{P}_a{P}_b\otimes {\widehat{V}}_b{\mathcal{E}}_a\left({\rho }^{\otimes 6}\right)=\frac{1}{2}\sum _{a=1}^4{\lambda }_{a}Tr\left({\widehat{V}}_b{\mathcal{E}}_a\left({\rho }^{\otimes 6}\right)\right)\hfill \\ & =& \frac{1}{2}\sum _{a=1}^4{\lambda }_{a}Tr({\widehat{V}}_b\left(\frac{1}{2}({\rho }^{\otimes 6}+{\widehat{V}}_a{\rho }^{\otimes 6}{\widehat{V}}_a^{†})\right)\hfill \\ & =& \frac{1}{4}\sum _{a=1}^4{\lambda }_{a}Tr\left({\widehat{V}}_b{\rho }^{\otimes 6}\right)+\frac{1}{4}\sum _{a=1}^4{\lambda }_{a}Tr\left({\widehat{V}}_b{\widehat{V}}_a{\rho }^{\otimes 6}{\widehat{V}}_a^{†}\right)\hfill \\ & =& \frac{1}{2}〈{\rho }^{\otimes 6},\widehat{V}〉+\frac{1}{2}〈{\rho }^{\otimes 6},\widehat{V}〉\hfill \\ & =& \langle M_3,{\rho }_3\rangle \equiv {〈M_3〉}_{{\rho }_3}=f\left(r\right).\hfill \end{array}$$

(14)

Elaborating further on this QW-based alternative, we note that the observable $M_3$ is a form of controlled-phase operator and can be expressed equivalently as

$$M_3=\left(\begin{array}{cccc}{2\mathbb{I}}^{\otimes 12}& & & \\ & {-6\mathbb{I}}^{\otimes 8}{\otimes (Z\otimes \mathbb{I})}^{\otimes 2}& & \\ & & {6\mathbb{I}}^{\otimes 4}\otimes {(Z\otimes \mathbb{I})}^{\otimes 4}& \\ & & & -2{(Z\otimes \mathbb{I})}^{\otimes 6}\end{array}\right).$$

Referring to density matrix ${\rho }_3,$ we re-express the QW CP maps ${\mathcal{E}}_2,{\mathcal{E}}_3,{\mathcal{E}}_4$ in terms of only one of them i.e., of ${\mathcal{E}}_2\equiv \mathcal{E},$ which we recall here

$$\mathcal{E}\left({\rho }^{\otimes 6}\right)=\frac{1}{2}({\rho }^{\otimes 6}+\left(Z^9{Z}^{11}\right){\rho }^{\otimes 6}{\left(Z^9{Z}^{11}\right)}^{†})\equiv {\tilde{\rho }}_3.$$

(15)

Note that ${\tilde{\rho }}_3$ is an intermediate form of the initial multi X-state density matrix that will be transformed further until its final target form. However, first let us establish the property of expressing maps ${\mathcal{E}}_3,{\mathcal{E}}_4$ from ${\mathcal{E}}_2.$ To this end, observe that

$${\widehat{V}}_2\stackrel{Z^5{Z}^7}{\to }{\widehat{V}}_3\stackrel{Z^1{Z}^3}{\to }{\widehat{V}}_4,$$

i.e., the unitary ${\widehat{V}}_2$ can generate the two other unitary operators by appropriate multiplications. Since the generators of the maps ${\mathcal{E}}_2,{\mathcal{E}}_3,{\mathcal{E}}_4$ are given in terms of the ${\widehat{V}}_i$’s, it follows from the last equation above that only the CP map ${\mathcal{E}}_2\equiv \mathcal{E}$ with its Kraus generators $\{\mathbb{I}$, $Z^9{Z}^{11}\}$ needs be considered. This is so since the rest maps can be generated via local unitary transformation using local Z’s as the following scheme indicates

$$\begin{array}{cc}\hfill {\mathcal{E}}_1=& \hfill {\rho }^{\otimes 6},\hfill \\ \hfill {\mathcal{E}}_2=& \hfill \mathcal{E}\left({\rho }^{\otimes 6}\right),\hfill \\ \hfill {\mathcal{E}}_3=& \hfill \left(Z^5{Z}^7\right)\circ \mathcal{E}\left({\rho }^{\otimes 6}\right)\circ {\left(Z^5{Z}^7\right)}^{†},\hfill \\ \hfill {\mathcal{E}}_4=& \hfill \left(Z^1{Z}^3{Z}^5{Z}^7\right)\circ \mathcal{E}\left({\rho }^{\otimes 6}\right)\circ {\left(Z^1{Z}^3{Z}^5{Z}^7\right)}^{†}.\hfill \end{array}$$

This result eventually allows for re-expressing the target density matrix ${\mathcal{E}}_{qw}\left({\rho }^{\otimes 6}\right)\equiv {\rho }_3$ in the following suggestive way:

$$\begin{array}{ccc}\hfill {\rho }_3& =& \frac{1}{4}\left(\begin{array}{cccc}{\rho }^{\otimes 6}& & & \\ & {\mathcal{E}}_2{(\rho }^{\otimes 6})& & \\ & & {\mathcal{E}}_3{(\rho }^{\otimes 6})& \\ & & & {\mathcal{E}}_4{(\rho }^{\otimes 6})\end{array}\right)\hfill \\ & =& \frac{1}{4}\left(\begin{array}{cccc}& & & {\mathbb{I}}_{4^6}\\ & {\mathbb{I}}_{4^6}& & \\ & & Z^5{Z}^7& \\ & & & Z^1{Z}^3{Z}^5{Z}^7\end{array}\right){\mathbb{I}}_4\otimes {\tilde{\rho }}_3{\left(\begin{array}{cccc}& & & {\mathbb{I}}_{4^6}\\ & {\mathbb{I}}_{4^6}& & \\ & & Z^5{Z}^7& \\ & & & Z^1{Z}^3{Z}^5{Z}^7\end{array}\right)}^{†}.\hfill \end{array}$$

Factorizing the construction of density matrix ${\rho }_3,$ into a single two body CP map, cf. Equation (15), times local actions of Z matrices, reduces considerably the required resources for this operational approach to separability statistics.

Final comment: Summarizing the results of this and the previous two chapters, we see that the volume function has been obtained via quantum measurements respectively of the multi-qubit observables $M_1,M_2$ and $M_3$ in the respected states given by the density matrices ${\rho }_1,{\rho }_2$ and ${\rho }_3$ according to the following scheme $f\left(r\right)=Tr\left(M_1{\rho }_1\right)=Tr\left(M_2{\rho }_2\right)=Tr\left(M_3{\rho }_3\right),$ cf. Equations (7), (11) and (14). These states have been generated from the given separable X-states via either a multi-qubit X map, or by a Hamiltonian generated unitary action or alternatively by a unitary CP map of the QW type combined with additional local unitary actions. The three algorithms are based on the underlying hypergraph coupling structure of the 12-qubit lattice system that generates the measuring states ${\rho }_{1,2,3}.$ Though explicit mention of hypergraph state generation has not been made in this work, a more detailed analysis (not to be presented here) would reveal the role of hypergraph state quantum entanglement for the operational algorithms. Finally, the operational scheme put forward here is general enough to enable simulation of other distributions of radial functions beyond those employed in the question of separability statistics. Such other applications would be referred to Appendix B dealing with generalizations of the present approach.

6. Aspects of Computation and Implementation

Chapter’s outline: Relations regarding the presented operational approach to separability and the computation via IQP circuits are discussed in addition to possible connections to LHZ implementation architecture are provided.

Computation: Instantaneous Quantum Polynomial-time Computing (IQP) is a type of universal computation that utilizes quantum circuits made of gates that are diagonal in the Z-basis while the input–output states are usually X-basis states and results are obtained by measurements in this basis [14,15,16,17,18,19,20,21]. CZ gates embedded in multi-qubit spaces are the main building blocks of these circuits, the commutativity of which allows their implementation to be performed simultaneously or in any other time order, hence the name of IQP. The Hamiltonian dynamics generating such states would require little control over the time ordering of multiple-qubit interactions needed, hence rendering the physical implementation to more robust to errors. Further IQP circuits being diagonal are more robust to quantum noise than the off diagonal circuits are to decoherence, hence they hold an additional merit. Finally, diagonal gates are fault-tolerantly realizable by current technology e.g., in superconducting and semiconducting systems. Despite these advantages, IQP circuits have been applied to a limited number of applications e.g., to the random states generation and to hypergraph state entanglement. The present work is a novel application of diagonal circuits that combine hypergraph structures and operational methods for crafting states that their appropriate sampling would generate the elusive statistics of separable bipartite qubit systems in the X state. Some important questions regarding the potential advantage of quantum sampling over classical sampling would be addressed in the present operational framework concerning separable states, however, they fall outside the scope of this paper.

Implementation: Recent developments in physical implementation of higher order interactions of systems that encode quantum qubits have resulted into a well-developed quantum simulation toolbox involving Rydberg atoms, known as the Lechner–Hauke–Zoller (LHZ) architecture [22,23]. The set up allows one to build a prototype for a coherent adiabatic model with all-to-all Ising type interactions and therefore to provide a platform for realization of two, three, four-body and higher order interactions. The architecture can be physically realized on various physical platforms with local controllability, including cases such as superconducting qubits, NV-centers, quantum dots, and atomic systems. The 12-qubit lattice model of this work, implementing states and measurements that would simulate separable states would be an interesting problem to address within the LHZ architecture.

7. Conclusions

Quantum separability of multi-qubit states has been investigated in this work by devising operational ways to verify the statistics of the phenomenon. The algorithms suggested use generalized measurement theory and unitary in addition to non-unitary CP transformation in order to prepare the X states, the special type of separable states under study, for quantum measurement that would yield outcomes simulating separability statistics. Possible connections of the present formalism to the computational methodology with diagonal quantum circuits as well as to some main implementation architecture have been outlined. One out of the possible generalizations and ramifications of this work is worth being selected for a closing discussion topic. It has been clear from the methodology developed so far that polynomial functions of Bloch vector components could be the resulting functions of designed generalized quantum measurements of some new observables that would in turn require some designed transformation applied on initial X state density matrices. This line of investigation seems rather useful and would be developed to a tool that trades tensoring of multi-qubit states to polynomial and maybe analytic functions of Bloch vector components treated as independent variables. We aim to return to this point elsewhere.