We establish a thorough treatment of reduced-state synchronization for qubit networks with the aim of driving the qubits’ reduced states to a common trajectory. The evolution of the quantum network’s state is described by a master equation, where the network Hamiltonian is either a direct sum or a tensor product of identical qubit Hamiltonians, and the coupling terms are given by a set of permutation operators over the network. The permutations introduce naturally quantum directed interactions. We show that reduced-state synchronization is achieved if and only if the quantum interaction graphs corresponding to the permutation operators form a strongly connected union graph. The proof is based on an algebraic analysis making use of the Perron-Frobenius theorem for non-negative matrices. The convergence rate and the limiting orbit are explicitly characterized. Numerical examples are provided illustrating the obtained results. Further, we investigate the missing symmetry in the reduced-state synchronization from a graphical point of view. The information-flow hierarchy in quantum permutation operators is characterized by different layers of information-induced graphs. We show that the quantum synchronization equation is by nature equivalent to several parallel cut-balanced consensus processes, and a necessary and sufficient condition is obtained for quantum reduced-state synchronization under switching interactions applying recent work of Hendrickx and Tsitsiklis.
Developments in continuous-time quantum consensus seeking were made in @cite_12 @cite_13 @cite_4 for Markovian quantum dynamics governed by master equations @cite_11 . In @cite_12 , using a group-theoretic analysis, the authors proposed a consensus master equation involving permutation operators and showed that a symmetric state consensus can be achieved under such evolutions. In @cite_4 , a graphical method was systematically introduced for building the connection between the quantum consensus dynamics and its classical analogue by splitting the evolution of the entries in the network density operator. The idea of breaking down large density operators of multiple qubits can in fact be traced back to @cite_19 using Stokes tensors. A type of quantum synchronization was also shown in the sense that the network trajectory tends to an orbit determined by the network Hamiltonian and the symmetrization of the initial state, which implies that all quantum nodes asymptotically reach the same orbit @cite_4 . For research on quantum network control and information processing we refer to @cite_18 @cite_26 @cite_17 ; for a survey for quantum control theory we refer to @cite_10 .
@cite_18 @cite_26 @cite_4 @cite_10 @cite_17 @cite_19 @cite_13 @cite_12 @cite_11
2058750992 2963271519 1561685552 1972462360 1864664928 2121957834 2171153629 2504500777 2135097535
In this paper, we investigate the convergence of the state of a quantum network to a consensus (symmetric) state. The state evolution of the quantum network with continuous-time swapping operators can be described by a Lindblad master equation, which also introduces an underlying interaction graph for the network. For a fixed quantum interaction graph, we prove that the state of a quantum network with continuous-time Markovian dynamics converges to a consensus state, with convergence rate given by the smallest nonzero eigenvalue of a matrix serving as the Laplacian of the quantum interaction graph. We show that this convergence rate can be optimized via standard convex programming given a fixed amount of edge weights. For switching quantum interaction graphs, we establish necessary and sufficient conditions for exponential quantum consensus and asymptotic quantum consensus, respectively. The convergence analysis is based on a bridge built between the proposed quantum consensus scheme and classical consensus dynamics, in that quantum consensus of n qubits naturally defines a consensus process on an induced classical graph with 22n nodes. Existing consensus results on classical networks can thus be adopted to establish the quantum consensus convergence. AbstractIn this paper we propose a continuous-time, dissipative Markov dynamics that asymp-totically drives a network of n-dimensional quantum systems to the set of states that areinvariant under the action of the subsystem permutation group. The Lindblad-type gen-erator of the dynamics is built with two-body subsystem swap operators, thus satisfyinglocality constraints, and preserve symmetric observables. The potential use of the pro-posed generator in combination with local control and measurement actions is illustratedwith two applications: the generation of a global pure state and the estimation of thenetwork size. 1 INTRODUCTION Classical consensus algorithms and the related distributed control problems have recentlygenerated an impressive body of literature, motivated by applications in distributed com-putation and multi-agent coordination, see e.g. [1, 2, 3, 4, 5, 6, 7, 8, 9]. We have recentlyrecast the problem, and a class of algorithms for its solution, as a dynamical symmetriza-tion problem in a group-theoretic framework [10]. This allows to extend the use of simpleand robust algorithms, e.g. of gossip type [11], to new settings and applications. Amongthese, we have studied a quantum version of consensus problems and its applications [12],which can be seen as symmetrization with respect to the subsystem-permutation group, aswell as control methods like quantum dynamical decoupling [13], in which we generally donot have a multipartite structure and symmetrization is attained with respect to other ﬁnitegroups. The emerging dynamics are intrinsically in discrete time, and suitable for sequentialimplementation in dissipative quantum simulators [14]. In this paper, we propose and study a master-equation based approach to drive a quantum network with @math qubits to a consensus (symmetric) state introduced by The state evolution of the quantum network is described by a Lindblad master equation with the Lindblad terms generated by continuous-time swapping operators, which also introduce an underlying interaction graph. We establish a graphical method that bridges the proposed quantum consensus scheme and classical consensus dynamics by studying an induced graph (with @math nodes) of the quantum interaction graph (with @math qubits). A fundamental connection is then shown that quantum consensus over the quantum graph is equivalent to componentwise classical consensus over the induced graph, which allows various existing works on classical consensus to be applicable to the quantum setting. Some basic scaling and structural properties of the quantum induced graph are established via combinatorial analysis. Necessary and sufficient conditions for exponential and asymptotic quantum consensus are obtained, respectively, for switching quantum interaction graphs. As a quantum analogue of classical synchronization of coupled oscillators, quantum synchronization conditions are also presented, in which the reduced states of all qubits tend to a common trajectory. This paper extends the consensus framework, widely studied in the literature on distributed computing and control algorithms, to networks of quantum systems. We define consensus situations on the basis of invariance and symmetry properties, finding four different generalizations of classical consensus states. This new viewpoint can be directly used to study consensus for probability distributions, as these can be seen as a particular case of quantum statistical states: in this light, our analysis is also relevant for classical problems. We then extend the gossip consensus algorithm to the quantum setting and prove it converges to symmetric states while preserving the expectation of permutation-invariant global observables. Applications of the framework and the algorithms to estimation and control problems on quantum networks are discussed. Quantum information theory is a multidisciplinary field whose objective is to understand what happens when information is stored in the state of a quantum system. Quantum mechanics provides us with a new resource, called quantum entanglement, which can be exploited to achieve novel tasks such as teleportation and superdense coding. Current technologies allow the transmission of entangled photon pairs across distances up to roughly 100 kilometers. For longer distances, noise arising from various sources degrade the transmission of entanglement to the point that it becomes impossible to use the entanglement as a resource for future tasks. One strategy for dealing with this difficulty is to employ quantum repeaters, stations intermediate between the sender and receiver that can participate in the process of entanglement distillation, thereby improving on what the sender and receiver could do on their own. Motivated by the problem of designing quantum repeaters, we study entanglement distillation between two parties, Alice and Bob, starting from a mixed state and with the help of repeater stations. We extend the notion of entanglement of assistance to arbitrary tripartite states and exhibit a protocol, based on a random coding strategy, for extracting pure entanglement. We use these results to find achievable rates for the more general scenario, where many spatially separated repeaters help two recipients distill entanglement. We also study multiparty quantum communication protocols in a more general context. We give a new protocol for the task of multiparty state merging. The previous multiparty state merging protocol required the use of time-sharing, an impossible strategy when a single copy of the input state is available to the parties. Our protocol does not require time-sharing for distributed compression of two senders. In the one-shot regime, we can achieve multiparty state merging with entanglement costs not restricted to corner points of the entanglement cost region. Our analysis of the entanglement cost is performed using (smooth) min- and max-entropies. We illustrate the benefits of our approach by looking at different examples. Standard security proofs of quantum-key-distribution (QKD) protocols often rely on symmetry arguments. In this paper, we prove the security of a three-state protocol that does not possess rotational symmetry. The three-state QKD protocol we consider involves three qubit states, where the first two states @math and @math can contribute to key generation, and the third state @math is for channel estimation. This protocol has been proposed and implemented experimentally in some frequency-based QKD systems where the three states can be prepared easily. Thus, by founding on the security of this three-state protocol, we prove that these QKD schemes are, in fact, unconditionally secure against any attacks allowed by quantum mechanics. The main task in our proof is to upper bound the phase error rate of the qubits given the bit error rates observed. Unconditional security can then be proved not only for the ideal case of a single-photon source and perfect detectors, but also for the realistic case of a phase-randomized weak coherent light source and imperfect threshold detectors. Our result in the phase error rate upper bound is independent of the loss in the channel. Also, we compare the three-state protocol with the Bennett-Brassard 1984 (BB84) protocol. For the single-photon source case, our result proves that the BB84 protocol strictly tolerates a higher quantum bit error rate than the three-state protocol, while for the coherent-source case, the BB84 protocol achieves a higher key generation rate and secure distance than the three-state protocol when a decoy-state method is used. The paper studies asynchronous consensus problems of continuous-time multi-agent systems with discontinuous information transmission. The proposed consensus control strategy is implemented based on the state information of each agent's neighbors at some discrete times. The asynchrony means that each agent's update times, at which the agent adjusts its dynamics, are independent of others'. Furthermore, it is assumed that the communication topology among agents is time-dependent and the information transmission is with bounded time-varying delays. If the union of the communication topology across any time interval with some given length contains a spanning tree, the consensus problem is shown to be solvable. The analysis tool developed in this paper is based on nonnegative matrix theory and graph theory. The main contribution of this paper is to provide a valid distributed consensus algorithm that overcomes the difficulties caused by unreliable communication channels, such as intermittent information transmission, switching communication topology, and time-varying communication delays, and therefore has its obvious practical applications. Simulation examples are provided to demonstrate the effectiveness of the theoretical results. We use Pontryagin's minimum principle to optimize variational quantum algorithms. We show that for a fixed computation time, the optimal evolution has a bang-bang (square pulse) form, both for closed and open quantum systems with Markovian decoherence. Our findings support the choice of evolution ansatz in the recently proposed Quantum Approximate Optimization Algorithm. Focusing on the Sherrington-Kirkpatrick spin-glass as an example, we find a system-size independent distribution of the duration of pulses, with characteristic time scale set by the inverse of the coupling constants in the Hamiltonian. The optimality of the bang-bang protocols and the characteristic time scale of the pulses provide an efficient parameterization of the protocol and inform the search for effective hybrid (classical and quantum) schemes for tackling combinatorial optimization problems. For the particular systems we study, we find numerically that the optimal nonadiabatic bang-bang protocols outperform conventional quantum annealing in the presence of weak white additive external noise and weak coupling to a thermal bath modeled with the Redfield master equation. We consider stationary consensus protocols for networks of dynamic agents with fixed topologies. At each time instant, each agent knows only its and its neighbors’ state, but must reach consensus on a group decision value that is function of all the agents’ initial state. We show that the agents can reach consensus if the value of such a function is time-invariant when computed over the agents’ state trajectories. We use this basic result to introduce a non-linear protocol design rule allowing consensus on a quite general set of values. Such a set includes, e.g., any generalized mean of order p of the agents’ initial states. As a second contribution we show that our protocol design is the solution of individual optimizations performed by the agents. This notion suggests a game theoretic interpretation of consensus problems as mechanism design problems. Under this perspective a supervisor entails the agents to reach a consensus by imposing individual objectives. We prove that such objectives can be chosen so that rational agents have a unique optimal protocol, and asymptotically reach consensus on a desired group decision value. We use a Lyapunov approach to prove that the asymptotical consensus can be reached when the communication links between nearby agents define a time-invariant undirected network. Finally we perform a simulation study concerning the vertical alignment maneuver of a team of unmanned air vehicles.