1. Introduction
Entanglement distillation is a critical aspect of quantum information systems. The key idea of entanglement distillation is to preserve or restore the quality of diluted entanglement states of quantum information transmitted over large distances. Decoherence effects during transmission causes the dilution of entanglement states. Past theoretical and experimental research works have focused on the studies of quantum distillation frameworks [
1,
2,
3]. Recently, pairs of single photons (entangled in multiple degrees of freedom) were used to experimentally determine the domain of distillable states and their relative fidelity [
4]. In Ecker et al., (2021) [
4] comparative studies were also done on various distillation schemes to gain a deeper understanding in terms of resilient quantum network design. A proof-of-concept experiment was recently conducted to study the application of filtering protocols (in atomic ensembles) for constructing quantum repeater nodes [
5]. The experiment was conducted in a crystal (rare-earth-ion-doped). In that setting, the entanglement states were prepared. The relationship between bit thread, entanglement distillation, and entanglement purification (in the holographic framework) was recently studied [
6]. In Lin et al., (2021) [
6], a bit thread interpretation of the one-shot entanglement distillation tensor network was provided. It was shown that the holographic entanglement purification process could be viewed as a special case of a type of surface growth scheme. The objective of the study in Lin et al., (2021) [
6] was to develop an accurate framework for describing physical entanglement structures. Another interesting work is seen in the theoretical investigation of entanglement distillability presented in Qian et al., (2021) [
7]. In that work, the authors studied the mentioned subject with regards to the undistillability conjecture of specific Werner states - where they gained deeper understanding of the distillability problem. Recent developments of entanglement distillation are seen in Kondra et al., (2021) [
8], He et al., (2021) [
9], Gour and Scandolo, (2021) [
10], Yan et al., (2022) [
11], Shchukin and van Loock, (2022) [
12] and Riera-Sàbat et al., (2021) [
13].
In the past few years, much research works in quantum information systems have been directed towards optimization. This can be seen in the work of Gyongyosi and Imre (2020) [
14]. In that work, the optimization of the read-out procedure of local unitaries of a high-retrieval efficiency quantum memory was done. The authors also studied the retrieval efficiency of quantum memory and the signal-to-noise ratio. A similar work is seen in Gyongyosi et al., (2020) [
15]; where an approach for obtaining the optimal quantum state and computational path evaluation for gate-model quantum computing devices was proposed. Efficient algorithms for attaining generation time and transmission fidelity of entangled pairs between the end nodes of quantum chains is seen in Brand et al., (2020) [
16].
Quantum state tomography (QST) is an effective method to reconstruct or estimate quantum states from measurements of identical quantum states. This directly impacts the development of reliable quantum resources as well as quantum devices for quantum information processing. A recent interesting study on information gain in QST is seen in the work of Sahu et al., (2022) [
17]. In that work, the authors discuss the effects of chaotic dynamics on the information transfer during QST. Their investigations also uncovered operational insights into the mechanisms of fidelity gain during actual quantum information tomography protocols. In Schmale et al., (2022) [
18], the authors improve the accuracy of observables measurement from tomographic data. This was done by using a QST scheme that approximates a probability distribution over a measurement (informationally complete) within a variational manifold characterized by a convolutional neural network. In that work, the authors regenerated high- classical fidelity states which performed more efficiently as compared to standard techniques (e.g., maximum likelihood estimation). Another recent approach in QST is observed in the work of Farooq et al., (2022) [
19]. In that work, the authors developed a formulation for pure quantum state reconstruction via eigenvalue decomposition. In Farooq et al., (2022) [
19], the authors demonstrated that the proposed approach is robust against depolarizing noise (high-strength white noise) - where the quantum states were reconstructed accurately similar to the noiseless case. A computational-focused strategy for QST is seen in the work Ahmad et al., (2022) [
20]. In that research, the authors proposed a simultaneous perturbation stochastic approximation algorithm with high-speed convergence. The central idea in that work was to develop a computational technique for estimating quantum states under limited computational conditions using a Barzilai–Borwein two-point step size gradient method. In Choi (2022) [
21], a low-complexity effective QST scheme was proposed. The proposed scheme requires the measurement of only three observables for systems of any scale. The key concept is coupling of the system and the ‘pointer’ of single qubit. In that work, the authors also developed a similarly scalable efficient maximum likelihood computational framework for approximating states from incomplete statistical data.
Complex nonlinear dynamical systems have been successfully modeled using chaotic maps such as coupled map lattices (CML). For instance, in Lu et al., (2022) [
22] an urban rail transit system under cascading failure was modeled with respect to network vulnerability using CMLs. In that work, the authors quantified the relation between passenger flow and the perturbation index. In addition to investigations of the anti-risk resistance capability of stations, the dependency of cascading failures on location and type of stations were identified. In Stenzinger and Tragtenberg, (2022) [
23], CMLs were for a biomedical-focused application. In that work, the authors utilized spatiotemporal chaos in the CML to simulate cardiac reentry. Among their key research findings were clinical manifestations of certain types of tachycardia in the electrocardiogram as well as a novel type of dynamical pattern (with wavefronts comprised of harmonized bursts and cardiac plateaus). In Wang and Liu, (2021) [
24], a one-dimensional, two-parameter with a wide-range system mixed coupled map lattice model was proposed for image encryption. The authors of that work performed simulations to establish the effectiveness of the proposed encryption algorithm for grayscale and color images. In addition, they also carried out security tests to ensure that the proposed method could hold against conventional security attacks. CMLs have also been recently employed in the field of wireless communication. For instance, in Xie et al., (2022) [
25], a CML model was developed to assess the vulnerability of unmanned aerial vehicle (UAV) network. The authors in that work showed that precision interference on critical UAV nodes could inflict significant damage to the entire UAV network. In addition, the authors in Xie et al., (2022) [
25] also discovered that network vulnerability increases with the intensity of external interference.
This work reformulates the practical entanglement distillation problem as a bilevel optimization model. This work extends the practical entanglement distillation problem to account for approximating the quantum state (density matrix) using QST using fuzzy relations. The bilevel practical entanglement distillation optimization problem is then solved using the combined CML and the dual annealing approach. The central idea is to leverage on the complex behavior of the CML to enhance the optimization capabilities of the dual annealing algorithm. This paper is organized as follows: the second section describes the model formulation for the bilevel practical entanglement distillation problem. In this section, the novel QST formulation using fuzzy relations is presented. The third section discusses the CML and its hybridization with the dual annealing algorithm. The fourth section presents analysis on the results generated by the numerical experiments. This paper concludes with some final remarks and recommendations for future research works.
2. Entanglement Distillation with Fuzzy Relations for QST
In this work, a bipartite entanglement distillation model is considered – where the central idea is to convert a state,
(density matrix form) into a state which is close to a maximally entangled state utilizing only local operations and classical communication. This communication takes place between two nodes of a communication network
A and
B. This can be represented mathematically as follows:
where
is the fidelity – i.e., closeness of the converted state to the maximally entangled state.
A and
B are the input registers while
and
are the output registers.
is the dimension of the quantum state and
is the converted state (
).
is the maximally entangled state across output registers
and
. Therefore, as an example if the dimension,
, then
would be as follows:
In contrast to theoretical entanglement distillation, practical entanglement distillation frameworks allow for the possibility of failure [
26]. Therefore, the fidelity parameter would only be relevant to the analysis if the entanglement distillation is a success. This then creates a multilevel scenario with the probability of distillation success,
is cascaded by the fidelity parameter,
F. Since the local quantum memory utilized to store the quantum entanglement is imperfect/non-ideal, this entanglement cannot be preserved for an arbitrary amount of time. Hence, the probability of distillation success,
would control the rate at which high-fidelity entanglement between the different nodes in the network is aimed at.
Practical entanglement distillation uses schemes involving the application of local operation and measurement on
A and
B registers. This is then followed by a measurement outcome (single exchange) using classical communication to determine distillation success/failure. In this work, the practical quantum distillation scheme presented in Rozpędek et al., (2018) [
27] is considered. The central idea is to search for the following optimal parameters: (i) output dimension,
d, (ii) input state,
as well as (iii) quantum channels (i.e., quantum operations). To optimize quantum operations, Choi isomorphism could be utilized - where a one-to-one correspondence between quantum channels and quantum states is established (with certain properties) (Jiang et al., 2013). This way, the isomorphism would carry over all the information from the original channel to the Choi state. Following the problem formulation in Rozpędek et al., (2018) [
27], the bilevel optimization formulation of entangle distillation is follows:
subject to,
such that,
where
and
are Choi state equivalent for output registers
A and
B. Similarly,
and
are matrices depicting Choi states which correspond to quantum channels. The symbol
represents the Kronecker product and the dimensions of the identity matrices,
and
depend on the dimensions of the registers
and
.
In designing practical quantum information processing systems, quantum state tomography (QST) is employed to approximate a certain state of the density matrix. This is done by using measurement results of repeated state preparation. Unfortunately, QST becomes very challenging as the system scales up in terms of size - i.e., dimensions,
. Current methods for QST formulation include linear inversion, maximum likelihood, Bayesian, hybrid Bayesian-Monte Carlo and neural network approaches [
28,
29]. In this work, a fuzzy approach is developed and employed for QST. In Recasens, (2022) [
30] it was demonstrated that symmetric positive semi-definite matrices could be constructed from the application of fuzzy relations on certain sets (fuzzy subsets). Consider sets:
and
with both having cardinality of
and
are fuzzy subsets of
and
with the additive generator of the
-norm being:
Then the following matrix is constructed:
In the case of estimating the density matrix,
in equations (2) and (3),
is considered as symmetric and positive semi-definite with the additional normalization condition:
. In this view, the
and
are fuzzy sets that act as pseudo-likelihood functions obtained from measurement data (empirical). Since
and
are quantum states
for
, it can be stated that
. The measurements of these quantum states in the form of fuzzy memberships may not be equal:
and the normalization condition:
holds. Using the simplified notations for the pseudolikelihood measurements
and
, Equation (4) then becomes:
. An interesting result is obtained from the symmetric semi-definite density matrix construction when the differential form of equation (4) is obtained:
Equation (5) is then obtained by taking the partial differential for the density matrix in equation (4) and assuming
and
to be continuous parameters. Similarly, the analysis is extended to seek for an analogue to approximate the factor in equation (5) using the binomial formula and Maclaurin series:
Therefore, a generalized partial differential equation (PDE) independent of scale (i.e., cardinality or dimension) is obtained:
The measurements
and
are treated as continuous parameters and the solution to the scale-free exact solution to the PDE in equation (7) is obtained:
where
is a constant. Considering
and
to be subsequent measurements, pseudo-likelihood measurements is conjectured to have the Markov property such that:
where
is an
transition or stochastic matrix. With this conjecture, the density matrix,
is approximated using data from the current pseudo-likelihood measurement,
and the previous pseudo-likelihood function,
. The current pseudo-likelihood measurement,
could be generated using the stochastic matrix,
as in equation (9). QST is highly efficient when estimating density matrices,
for small quantum systems. However, as the system scales-up and
increases in dimensions, effective QST becomes a challenging feat [
28]. The fuzzy formulation for pseudo-likelihood relations presented in equations (4)-(9) aim to enable effective estimation of density matrices,
at larger scales. Treating density matrices,
as symmetric and positive semi-definite are critical requirements for this analysis.
3. Chaotic Dual Annealing Optimization
In recent times, optimization problems have grown in terms of complexity – i.e., nonlinearity, nonconvexity, multilevel and uncertainty in parameters. This directly results in stagnation in the solution method upon implementation – where the algorithmic technique gets trapped in a local optimum. This causes the task of optimizing such problems to become exceedingly difficult. An effective approach to tackle such issues is the utilization of stochastic optimization approaches. One such approach is simulated annealing (SA) [
31]. SA is based on the idea of the physical concept of annealing where a solid is repeatedly heated and cooled until reaches a configurational state of minimal energy. In this work we use the dual annealing optimization approach - which is a coupled technique inspired by the classical simulated annealing as well as the fast simulated annealing approaches [
32]. The dual annealing optimization approach used in this work implements a distorted Cauchy-Lorentz visiting distribution,
with
(the distribution’s shape controlling parameter):
where
and
are constants,
is artificial time,
is the trial jump distance and
is the artificial temperature. The candidate solution’s acceptance probability is set by defining an acceptance parameter,
is determined as follows:
The decrements of the artificial temperature,
is given by the following relation:
In this work, the dual annealing technique is coupled with coupled map lattices (CML) to enhance its optimization capability by simulating chaotic non-linear dynamics. CMLs have applications in diverse fields of research and implementation: system identification, process modeling, design optimization, internet of things (IoT) and cryptography [
24,
33,
34,
35]. For a specific discreet-time dynamical map, CMLs consist of discreet interacting elements. These elements make up a multidimensional dynamical system. Hence, the CML model could be designed to simulate a dynamical system - where its macroscopic field variables are defined on a lattice. Independent processes then decompose the dynamical system. In this sense, each process represents a procedure in the CML. Nonlinear transformations are generated using each state variable (i.e., Lattice points) and coupling terms, which are executed iteratively. Since CMLs commonly generate chaotic behavior, a logistic map is introduced in this work to induce such dynamics by setting the constant,
. The logistic map is given as follows:
where
is the iteration count. The recursive map for CML is as follows:
where
s is the index for the vertices on the lattice and the coupling parameter,
. The second term in CML recursive map is for the neighboring lattice points. In this work a unidirectional coupling approach is taken with the convex map. The proposed techniques that combine the CML and the dual annealing optimization approaches is given in the algorithm below:
Algorithm: Combined Coupled Map Lattice and Dual Annealing Optimization Approach |
START |
1. Initialize dual annealing parameters: maximum iterations. |
2. Initialize CML parameters: Logistic map parameter, number of lattice vertices (N), coupling parameter (). |
3. Solve using dual annealing algorithm to find optimal quantum state, and Choi states: and
|
4.Initiate and run CML simulation. |
5. IF Iteration=1: |
Randomly initialize lattice values,
|
6. IF Iteration>1 and fitness function = 1: |
Back-substitute the improved computed lattice values |
7. IF Iteration>1 and fitness function = 0: |
Back-substitute the lattice values from the previous iteration () |
(so it does not lead the CML algorithm towards non-optimal regions) |
8. Compute new lattice values () using CML (with logistic map) |
9. Check fitness of solution candidates (binary decision function) |
10. IF Candidate solution is improved: |
10.1. Fitness function is Satisfied: |
Fitness = 1, HALT PROGRAM |
10.2. Fitness function is NOT Satisfied: |
Fitness = 1, Repeat Step 4 |
11. IF Candidate solution is NOT improved: |
11.1. Fitness is Satisfied: |
Fitness function = 0, HALT PROGRAM |
11.2. Fitness is NOT Satisfied: |
Fitness function = 0, Repeat Step 5 |
12. Determine statistical moments on CML simulation data – mean and variance. |
13. Using statistical moments on a Gaussian distribution, simulate random values for quantum state . |
14. Using standard PRNG, simulate random values for Choi states: and . |
15. Solve for F in the upper-level problem. |
16. Re-initialize Stackelberg game framework until fitness function cannot be further improved. |
END |
The bilevel optimization problem presented in Equation (3) is solved within a Stackelberg game-theoretic framework [
34]. The fidelity objective function,
F is the upper level/leader while the probability of success,
lower level/follower. The leader’s strategy is to optimize the objective of the sub-problem (
. This influences the follower’s strategy – optimizing the objective (
F). The numerical framework iteratively solves every level of the optimization problem as a Stackelberg game reaches the optimal solution. In this work, the entanglement distillation problem was solved using: Combined Coupled Map Lattice and Dual Annealing technique (CML-DA) technique and dual annealing method using pseudo-random number generators (PRNG-DA). The sub-problem problem is solved using DA-PRNG approach by searching for the optimal dimension,
d that maximizes,
. The quantum state,
and the Choi states:
and
are generated using the PRNG. Consequently, using the obtained dimension,
d, the density state
and
, the upper-level problem is solved by searching for the best Choi states:
and
using the PRNG. As for the proposed CML-DA technique, the Stackelberg framework is employed, and each level of the problem is solved iteratively. In the CML-DA approach, the quantum state of the qubit before conversion (
) is estimated using the CML and PRNG techniques. The parameter settings employed for the numerical experiments in this work for both the CML and DA techniques are given in
Table 1 and
Table 2:
4. Computational Analysis
The Stackelberg game-theoretic framework was utilized for the entanglement distillation problem with a QST using fuzzy relations to estimate the quantum state. The pseudolikelihood measurements were simulated and the optimization problem was then solved using: the combined CML and dual annealing technique (CML-DA) and the conventional dual annealing approach with pseudo-random number generators (PRNG-DA). The numerical experiments were performed using the Python programming language on Google Collaboratory platform on a cloud with Python 3 Google Compute Engine (RAM 12.68 GB and Disk space:107.72 GB). Each technique was executed with a total of 40 times - where each time the technique was run 3 times and the best solution was taken for each execution. Therefore, both techniques were individually executed a total of 120 times. The computational results obtained using both techniques were measured using the weighted hypervolume indicator for the bilevel problem:
where the optimal solution candidate is
and the nadir point is
). The weights
and
enables the relative importance of the contribution of the upper-level problem (1) and lower-level problem (2). In these experiments the weights:
and
The nadir point is for the upper-level problem (or fidelity objective) (1) and lower-level subproblem (or probability of success) (2) is
). The larger the value of the wHVI metric, the better the optimization performance. The rated individual solutions obtained using the PRNG-DA approach is given in
Table 3 and the optimal quantum state of the best solution (pure state density matrix) is shown in
Figure 1:
The individual solutions obtained using the CML-DA technique is ranked and shown in
Table 4. The generated optimal quantum state (pure density matrix) for the individual best solution is given in
Figure 2:
The best individual solutions reached by the PRNG-DA and CML-DA techniques have a quantum state,
with the dimensions:
and
respectively. The difference in terms of the level of optimality reached by the individual best solutions measured using the wHVI was about
. The scatter plot in
Figure 3 shows the spread of the individual solutions generated using the PRNG-DA and CML-DA:
In
Figure 3, it can be seen the shaded area highlights the optimal region in the objective space – where the optimality of the fidelity objective is given more importance as compared to the cascaded objective function: probability of success. Thus, more solutions generated by the CML-DA technique fall into the optimal region as compared to the PRNG-DA approach. This is reflected in the value of the overall optimality of the solutions measured using the weighted HVI. The overall optimality of the CML-DA and PRNG-DA approaches are 27.109 and 25.718 respectively. The CML-DA outperforms the PRNG-DA in terms of overall optimization performance by approximately 5.267%. The key factor influencing the techniques in this study is the CML component. The chaotic dynamics exhibited by the CML enables wide-range dynamical behavior as compared the standard PRNG. This boosts the performance of the CML-DA approach enabling it to perform a more thorough search of the objective landscape as compared to standard techniques (PRNG-based approaches). The CML is thus able to adapt better to the multilevel structure of the optimization problem and avoiding scenarios that may cause stagnation. In other words, the CML manages to escape local optima traps in the objective space. The programs developed using the mentioned computational techniques did not encounter convergent issues and performed smoothly during execution. The execution time taken for overall solution generation using the CML-DA technique was 156.804 seconds while the PRNG-DA approach took about 27 seconds. Thus, the trade-off experienced by the CML-DA in terms of optimization efficiency is the execution time as compared to the PRNG-DA approach. The additional algorithmic complexity embedded in the CML chaotic simulator comes with an additional computational cost. Nevertheless, both techniques showed stable performance when solving the entanglement distillation problem with the fuzzy relations for QST.