Abstract
In this work we introduce the concept of a quantum walk on a hypergraph. We show that the staggered quantum walk model is a special case of a quantum walk on a hypergraph.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
Quantum walks may be seen as an extension of the classical random walks into the quantum realm. There is, however, one key difference. In the classical setting the randomness is built-into the process. In the quantum case, the entire process is unitary, hence deterministic and even reversible. The randomness comes only from the random nature of quantum measurements.
During the last two decades the field of quantum walks has received a lot of attention from the scientific community. One of the earliest studies are the works by Aharonov [1] and Kempe [2]. Soon afterwards the possibility for algorithmic applications was shown [3]. One notable application is the fact that Grover’s search algorithm [4] can be represented as a quantum walk. Another approach to database lookup is the quantum spatial search algorithm [5]. Finally, nontrivial results in the field of quantum games can be obtained even with a simple walk on a cycle [6], and some more exotic problems like the Parrondo paradox can be modeled as a quantum walk [7].
Since these seminal works a lot of different approaches to the concept of a quantum walk have emerged. We should note here the open quantum walk model [8, 9]. This model can be summarized as follows. Imagine we have a particle moving on a graph. The particle has a quantum state associated with it. With each transition from one vertex to another, the state is modified according to some quantum operation. The only restriction here is that all the operations associated with some vertex must sum to a proper quantum channel. There was a lot effort put into studying this approach. We should mention here various asymptotic results for this model [10, 11], hitting times studies [12] and potential applications of this model in quantum modeling of biological structures [13]
Another model which deserves mention is the quantum stochastic walk [14]. This approach is based on the Gorini-Kossakowski-Sudarshan-Lindblad [15, 16] master equation. It allows to smoothly interpolate between classical and quantum walks as well as gives raise to some new dynamics. The asymptotic behavior of this model has been extensively studied [17, 18].
Finally, there has been a lot of effort put into the extension of the standard unitary quantum walk. Let us note here the Szegedy walk model [19] which allows for quantization of arbitrary Markov chain based algorithms. One of the most prominent example of usage of this model is the quantum Page Rank algorithm [20]. Another example of such modification is the staggered walk model introduced by Portugal et al. [21,22,23]. This model has applications in quantum search algorithms [24].
In this work we introduce a novel concept - quantum walks on hypergraphs. Our main motivation is presented in Table 1. In there, we show how the currently developed quantum walk models are constructed. The goal of this work is to fill the part represented by the question mark. For this purpose we introduce a model of a quantum walk on a hypergraph. For the sake of brevity we will call this the hyperwalk model. Next, we introduce methods of comparing models of quantum walks. These are shown in Definition 5 and Definition 6. This allows us to arrive at the main result of this work, shown in Theorem 1 which states that the hyperwalk model indeed introduces new dynamics.
This work is organized as follows. In Section 2 we recall well-established quantum walk models. Section 3 introduces our model–quantum walk on a hypergraph, which for the sake of brevity we will call a hyperwalk. Next, in Section 4 how our model relates to other quantum walks. Finally, in Section 5 final conclusions are drawn.
2 Walks
2.1 The Coined Quantum Walk
Here we introduce the coined quantum walk model. We start with a simple walk on a cycle. Later we we will discuss the scattering walk model which will allow to extend the concepts presented here to arbitrary graphs.
In the simplest case of a discrete time coined quantum walk on a cycle the model is defined using a bipartite system \(\mathcal {H}_{C}\otimes \mathcal {H}_{P}\). Here \(\mathcal {H}_{C}\) is a two-dimensional Hilbert space with basis {|0〉,|1〉}, called the coin space, and \(\mathcal {H}_{P} =\text {span}(\left \{|{n}\rangle : n \in \{0,\ldots ,N-1\} \right \})\) is the position space. Let us introduce two unitary operations: C, a coin operator acting on the space \(\mathcal {H}_{C}\) and S, a shift operator acting on the space \(\mathcal {H}_{C}\otimes \mathcal {H}_{P}\). Every step of the evolution, U, is a composition of the coin and shift operators
where \({|\psi _{0}\rangle }\in \mathcal {H}_{\mathcal {C}}\otimes \mathcal {H}_{\mathcal {P}}\) is some initial state. In this setup, the shift operator is defined by
where N is the length of the cycle. The unitary transformation C is arbitrary. By modifying the coin operator we can get different dynamics and probability distribution in the quantum walk.
Example 1
Consider the coin operator
This operator is balanced, because after first step we have
After measuring this state in the standard basis of \(\mathcal {H}_{C} \otimes \mathcal {H}_{P}\) we get one of two states {|0〉⊗|1〉, |1〉⊗|N − 1〉} each with probability equal to \(\frac {1}{2}\).
The probability distributions for this particular model after the first few steps are shown in Table 2. As the initial state we choose |ψ0〉 = |00〉, the cycle length is N = 7.
2.2 Scattering Quantum Walk
Let’s consider a graph G = (V, E) [25], where V is a set of vertices and E ⊆ V × V is a set of edges. We say an element i ∈ V is connected with element j ∈ V when (i, j) ∈ E. We will denote this by i ∼ j. In order to model a coined quantum walk on a graph which is not regular, we must modify this simple approach considerably. This can be achieved via the scattering walk approach. In this case, we introduce separate coin operators for every vertex v of the graph G. Let us denote the degree fo each vertex i as di. We introduce a coin operator Ci for each vertex. Hence the entire coin operator is vertex as di, we have that each coin operator Ci acts on \(\mathbb {C}^{d_{i}}\). The entire space is
The shift operator performs the scattering on a vertex i given by formula
Let us consider a particle coming to vertex j from some vertex i, i.e. moving along the edge (i, j). It becomes scattered after the shift operation, meaning that with equal probability it gets transfered to all other edges outgoing from j and gets reflected back to i along the (j, i) edge, provided it exists in G. Such a walk is defined by unitary operation U, that for every vertex i fullfils [26]
Of course unitarity requires |ri|2 + (deg(vi) − 1)|ti|2 = 1 and the entire evolution is given by this formula. In the case of a directed graph G, we need to remember that each edge (i, j) can be seen as two directed edges.
For regular structures, i.e. all the degrees of all vertices are equal, this simplifies to
where C0 is the coin operator for vertex v0, Let consider as an example the simple case when ri = 1 for every i. In this case the shift operator for each edge subspace \(\mathcal {X}_{i,j}=\text {span}(\{|{i,j}\rangle , |{j,i}\rangle \})\) acts as σx - Pauli-X operator. Using a different basis, we may write the space \(\mathcal {X}\) as \(\mathcal {X}_{E}=\bigoplus _{i\sim j}\mathcal {X}_{i,j}\). Then, the shift operator takes the form
The shift operator is a block operator in
and the coin operator is a block operator in
Example 2
Let us introduce the following example. Consider the scattering quantum walk on a complete bipartite graph K3,2, where V = V1 ∪ V2 = {1,2,3}∪{a, b}. We define the coin operator as
where Fn is n–dimensional Fourier matrix. The shift operator is defined by (6). To illustrate behavior of scattering quantum walk for first five steps with the initial state |ψ0〉 = |1,a〉, we present the probability distribution of each step in Table 3.
Additionally we allow cases in which the operator C changes in time in a cyclic manner and call such model a generalized coined walk model.
2.3 The Szegedy Walk Model
The Szegedy walk model was first introduced in [19] as a model which allows quantization of arbitrary Markov chain based algorithms. The model is as follows. We start with undirected graph GC = G(V, E) and we set a bipartite graph GS = G(V ∪ V′,F) where V′ is the same as V with all elements primed. As for the edges we have (i, j′) ∈ F if and only if (i, j) ∈ E. The evolution is given by the unitary operators U1,U2U1,U1U2U1,… acting on the space span({|x, y′〉 : x ∈ V, y′∈ V′}).
We define reflections
and unit vectors
where av, w are complex constants.
Usually, the unitary operators driving the evolution for the Szegedy walk model are chosen as presented above. In our work, we assume that unitary operators can be chosen arbitrary with only assumption of respecting the graph structure i.e. the movement between not connected vertices is forbidden.
2.4 The Staggered Walk
To formally introduce the staggered walk model, we first introduce the following definitions. We will follow the definitions introduced by Portugal et al. [21]
Definition 1
A partition of a set A is a collection α = {pk}k of subsets of A, pk ⊂ A, such that \(\bigcup _{k} p_{k} = A\) and \(p_{k} \cap p_{k^{\prime }}=\emptyset \) for k≠k′.
Definition 2
A partition of a graph G = (V, E) is a partition of V such that each pk forms a clique or is a single vertex. We will call pk a polygon.
Note that this definition allows for a polygon to contain a single vertex. The staggered quantum walk on a graph is defined using at least one graph partition.
Definition 3
Given a graph G(V, E) and its n partitions α1,…,αn, αk = {pk, i}i, for k = 1,…,n, the staggered quantum walk is defined by the evolution operator \(U \in {\mathrm {U}}(\mathcal {X}^{V})\), where \(\mathcal {X}^{V} = {\mathbb {C}}^{|V|}\):
where
The states |dk, i〉 are:
where ak, j are complex amplitudes.
For the staggered quantum walk model we assume, that unitary operators can be also chosen arbitrarily.
3 Hyperwalk Model
In this section we introduce the concept of quantum walks on hypergraph networks along with some intuitions and call it the quantum hyperwalk model. We denote hypergraph by H = (V, E) [27], where V is a set of vertices as in the traditional graph case and E is the set of hyperedges defined as a collection of subsets of vertices E ⊆ 2V.
Now we want to emphasize that the coined quantum walk model can be described as a composition of two operators that take block operator form with respect to two different partitions of the computational basis. The main restriction in the model is that the partitions corresponding to the edges of the graph always consists of sets with two basis states. We aim at loosening this restriction and developing a quantum walk model suitable for hypergraphs in the sense that a partition of a hypergraph H = (V, E) is a tesselation of the basis states {|v, e〉 : v ∈ V, e ∈ E}.
Definition 4
We define a hyperwalk on a hypergraph H(V, E) as a composition UEUV of two unitary operators: UV and UE on the space \(\mathcal {X}=\text {span}(\{{|v,e\rangle }: e \in E\wedge v \in e\})\), where
for Cv being a coin operator for a fixed vertex v acting on span({|v, e〉}e∈E) and Se being a shift operator for a fixed edge e acting on span({|v, e〉}v∈e).
We also introduce a generalized version of this model. By a generalized hyperwalk we mean an instance of a hyperwalk for which the underlying unitaries change over time.
Here we present an example of construction of such walk.
Example 3
We define for \({|\psi _{v}\rangle }=\frac {1}{\sqrt {\deg {(v)}}} \sum \limits _{\{e: v \in e\}}{|v,e\rangle }\) and \( =\frac {1}{\sqrt {|e|}}{\sum }_{v \in e}{|v,e\rangle }\). This is a hypergraph generalization of the Grover’s walk. Let us note that for a 2-regular hypergraph, i.e. an ordinary graph, we obtain Se which are two dimensional Grover’s diffusion operator that are equal to σx. This shows that our model recovers the proper behaviour for a hypergraph which reduces to an ordinary graph.
Example 4
The idea of a hyperwalk gives the possibility to implement walks on directed graphs. The basic way to ensure that computation performed with use of directed connections is reversible (unitary) is to ensure that for each vertex the number of directed inputs and outputs is the same. In order to satisfy this condition for a finite graph the directed connections must contain loops, which may be seen as hyperedges. Thus, we define a quantum walk with directed edges as
where E is a set of edges defined as ordered sequences of vertices. In the case of 2-element edges we recover the canonical shift operator. For a hyperedge we obtain cyclic shift among the loop constructed by this edge.
Example 5
Assume we have hypergraph introduced as in Fig. 1. We consider the hyperwalk on this hypergraph. We choose the coin operator as
where Fn is the n–dimensional Fourier matrix. The shift operator is
where U is a permutation matrix which permutes second the and third columns. We illustrate behavior of hyperwalk for the first five steps with the initial state |ψ0〉 = |A, a〉 . The resulting probability distribution after each step are shown in Table 4.
The hyperwalk model can be seen as a natural generalization of the coined walk model. This generality comes from two facts. First of all, by using hyperedges, it is possible to construct higher dimensional space of basis states than in coined walk. Second, loosening the restriction of shift operator to be a permutation matrix, gives us additional dynamics in the constructed space.
4 Relations Between Models
It is crucial that the hyperwalk allows us to model quantum walks discussed in previous sections. Additionally, we would like to keep the number of basis states as small as possible. This is the purpose of this section: to compare walk models discussed in the previous sections. In order to achieve this we introduce two alternative definitions of comparing walks and next we present our results of comparing quantum walk models. Our main results are shown in Theorem 1.
To clarify notation let QWA(G,|ψ〉,n) denote the state after n iterations of discrete-time quantum walk model A on graph G with initial an state |ψ〉. We also use the notation \(\mathcal {P}\) for measurement on vertices, where the probability of finding state |ψ〉 in vertex v is denoted by \(\mathcal {P}(|{\psi }\rangle )(v)\).
Definition 5
Given two walk models A and B, we say that model A is an instance of model B (A ⪯ B) when for every GA(V1,E1), measurement \(\mathcal {P}_{A}\) on vertices V1 and initial state |ψA〉, there exists GB(V2,E2), where V1 ⊂ V2, measurement \(\mathcal {P}_{B} \) on vertices V2 and initial state |ψB〉, such that for all \(n_{0}\in \mathbb {N}_{0}\), exists \(n_{1} \in \mathbb {N}_{0}\), such that we have
This definition allows to model a given quantum walk model with another model. Unfortunately, that means it allows us to find equivalence between walk models, which are very loosely based on the underlying structure. Some examples of equivalence of walk models which can be derived from this definition are presented below.
-
1.
Szegedy ⪯ coined and coined ⪰ Szegedy: In the coined walk model we are given a set of basis states |i, j〉, where i, j ∈ V if (i, j) ∈ E and in Szegedy walk model our basis states are \({|i,j^{\prime }\rangle }\) if (i, j) ∈ E. There exists a bijection Ξ, that is defined as \({\Xi } ({|i,j\rangle }) = {|i,j^{\prime }\rangle }\). Now we can assume, that if C is a given operator we take U1 = C and U2 is constructed as in definition of Szegedy walk model. If U1 is given then we put C = U1. Then, as we can observe, the equalities are satisfied
$$ {\Xi}(SCSC{|\psi\rangle})=U_{2} {\Xi} (SC {|\psi\rangle})=U_{2} U_{1} {\Xi}({|\psi\rangle}). $$(24)The above follows from the fact both space are the same up to labeling. This observation implies that measurements are connected by \(P_{Sz}={\Xi }(P_{C})\), hence they are the same.
-
2.
hyperwalk ⪯ coined: For a given hypergraph H(V, E) with the evolution operator \(U_{H}=U^{E}U^{V}\), an initial state |ψ0〉H = |v, e〉 and a measurement \(\mathcal {P}_{H}({|\psi \rangle })(v)=\sum \limits _{e \in E} |{\langle {v,e}|{\psi }\rangle }|^{2}\), we create a bipartite graph G(V1 ∪ V2,F), where the sets \(V_{1}=V\) and \(V_{2}=E\) are the partitions of a bipartite graph, and (v, e) ∈ F if and only if v ∈ V1 is contained in an edge e1 ∈ E. We construct a space with the basis vectors {|v, e〉,|e, v〉 : v ∈ V, e ∈ E}. We define the shift operator in standard form
$$ \begin{array}{@{}rcl@{}} &&S{|v,e\rangle}={|e,v\rangle} \\ &&S{|e,v\rangle}={|v,e\rangle}, \end{array} $$(25)and the coin operator as
$$ C=U^{V} \oplus U^{E}. $$(26)Consequently, the evolution in quantum coined walk model with the initial state |ψ0〉C = |v, e〉 is given by
$$ \begin{array}{@{}rcl@{}} &&U_{C}=SCSC=SC({{|1\rangle}{\langle0|}}\otimes U^{V}+{{|0\rangle}{\langle1|}}\otimes V^{E}) \\ &&=S({{|1\rangle}{\langle0|}}\otimes U^{E}U^{V}+{{|0\rangle}{\langle1|}}\otimes U^{V}U^{E})= U^{E}U^{V} \oplus U^{V}U^{E}. \end{array} $$(27)Then the measurement should be \(\mathcal {P}_{C}({|\psi \rangle })(v)=\sum \limits _{e \in E} |{\langle {v,e}|{\psi }\rangle }|^{2}\) and now it is clear that \(\mathcal {P}_{H}({U_{H}^{n}}{|\psi _{0}\rangle }_{H})=\mathcal {P}_{C}({U_{C}^{n}}{|\psi _{0}\rangle }_{C})\).
-
3.
generalized hyperwalk ⪯ staggered: We are given hypergraph H(V, E) with the evolution operator \(U_{G_{H},k}={U^{E}_{k}}{U^{V}_{k}}\),for \(k \in \{ 1, \ldots , K \} \), an initial state \({|\psi _{0}\rangle }_{G_{H}} = {|v,e\rangle }\) and a measurement \(\mathcal {P}_{G_{H}}({|\psi \rangle })(v)=\sum \limits _{e \in E} |{\langle {v,e}|{\psi }\rangle }|^{2}\). Let us note that we can consider an N dimensional system for staggered walk, where N is the number of basis states in generalized hyperwalk. We can set W = {|v, e〉 : v ∈ V, e ∈ E, v ∈ e} as a set of vertices for graph, which defined staggered walk on it and take initial state \(|{\psi _{0}}\rangle _{S}=|{\psi _{0}}\rangle _{G_{H}}\). We introduce such tessellations for which the unitary matrices \({U^{E}_{i}},{U^{V}_{j}}\) can be treated as evolution operators. The measurement on the staggered walk model works on proper group of vertices i.e. \(\mathcal {P}_{S}({|\psi \rangle })(v)=\sum \limits _{{|v,e\rangle } \in W} |{\langle {v,e}|{\psi }\rangle }|^{2}\). It is clear that we obtain the same evolution, because as introduced is this case base states in staggered walk are the same as in generalized hyperwalk model.
-
4.
staggered ⪯ generalized coined: We are given graph G(V, E) with N vertices, V = {1,…,N}, k tessellations and unitaries \(U_{1}, \ldots , U_{k}\). We take an initial state \({|v_{0}\rangle }_{S}\) and measurement \(\mathcal {P}_{S}({|\psi \rangle })(v)=|{\langle {v}|{\psi }\rangle }|^{2}\). We construct a new graph by adding to the set V one vertex ti, j for each polygon j in each tessellation i. We connect every newly added vertex associated with some polygon to vertices included in this polygon. Let us denote the basis states by {|v, ti〉,|ti,v〉}, where v ≤ N, i ≤ k − 1. Here, we omitted the second index in vertices ti, j, because parameters v and i are sufficient to determine vertex ti uniquely in state |v, ti〉. The generalized coined walk on this graph will be represented by \(SCSC_{k-1}{\ldots } SCSC_{0}\). Here, S is the standard shift operator, C is defined by
$$ \begin{array}{@{}rcl@{}} &&C{|v,t_{i}\rangle}={|v,t_{(i+1)_{k}}\rangle}, \\ &&C{|t_{i},v\rangle}={|t_{i},v\rangle}. \end{array} $$(28)and Ci is defined as
$$ \begin{array}{@{}rcl@{}} C_{i}{|v,t_{j}\rangle}&=&{|v,t_{j}\rangle}, \\ C_{i}{|t_{j},v\rangle}&=&{|t_{j},v\rangle}, \quad j \not= i \\ C_{i} {|t_{i},v\rangle}&=& \sum\limits_{w \in V} {\langle w|}U_{i+1}{|v\rangle} {|t_{i},w\rangle}. \end{array} $$(29)The initial state can be chosen to be \({|\psi _{0}\rangle }_{G_{C}}= {|t_{0},v_{0}\rangle }\) and the measurement of vertex v is \(\mathcal {P}_{G_{C}}({|\psi \rangle })(v)={\sum }_{{|t_{i},v\rangle }} |{\langle {t_{i},v}|{\psi }\rangle }|^{2}\). To see the equality between both measurements, we start with \({|v_{0}\rangle }_{S}\) and after the first step we obtain \(U_{1}{|v_{0}\rangle }_{S}\) in the staggered walk model. Assuming that the first step in the generalized coined walk is given by \(SCSC_{0}\), we get
$$ \begin{array}{@{}rcl@{}} SCSC_{0}{|t_{0},v_{0}\rangle}_{G_{C}}&=&SCS\sum\limits_{w \in V}{\langle w|}U_{1}{|v_{0}\rangle}_{S}{|t_{0},w\rangle}=SC\sum\limits_{w \in V}{\langle w|}U_{1}{|v_{0}\rangle}_{S}{|w,t_{0}\rangle} \\ &=&S\sum\limits_{w \in V}{\langle w|}U_{1}{|v_{0}\rangle}_{S}{|w,t_{1}\rangle}=\sum\limits_{w \in V}{\langle w|}U_{1}{|v_{0}\rangle}_{S}{|t_{1},w\rangle}. \end{array} $$(30)Then \({\langle w|}U_{1}{|v_{0}\rangle }_{S}={\langle t_{1},w|}SCSC_{0}{|t_{0},v_{0}\rangle }_{G_{C}}\), so finally we get
$$\mathcal{P}_{G_{C}}(SCSC_{k-1} {\ldots} SCSC_{0} {|t_{0},v_{0}\rangle}_{G_{C}})(v)=\mathcal{P}_{S}(U_{k} {\ldots} U_{1}{|v_{0}\rangle}_{S})(v).$$ -
5.
generalized coined ⪯ coined: For a given graph G with N vertices,{1,…,N} with changing in time coins \(C_{0},\ldots ,C_{k-1}\), an initial state \(|{\psi _{0}}\rangle =|{v,w}\rangle \) and a measurement \(\mathcal {P}_{G_{C}}({|\psi _{0}\rangle })(v)={\sum }_{w \in V} |{\langle {v,w}|{\psi _{0}}\rangle }|^{2}\). We introduce a new graph with kN vertices v(i), where v ≤ N, \(i \in 0,\ldots , k-1\). In this graph we have connections only between vertices \(v^{(i)}, w^{(i+1)_{k}}\), for \(v ,w\le N, i \in 0,\ldots , k-1\) if and only if \(v\sim w\) in G. This generates new basis states \(\{{|v^{(i)},w^{(i+1)_{k}}\rangle },{|w^{(i+1)_{k}},v^{(i)}\rangle }\}\). In this model the initial state will be \({|v^{(0)},w^{(k-1)}\rangle }\) and the state will evolve to vertices with higher indexes and eventually come back to vertices with the index zero. This means, we define the coin operator as
$$ \begin{array}{@{}rcl@{}} &&C{|v^{(i)},w^{(i-1)_{k}}\rangle}=\sum\limits_{z \in V} {\langle v,z|}C_{i}{|v,w\rangle}{|v^{(i)},z^{(i+1)_{k}}\rangle}, \\ &&C{|v^{(i)}, w^{(i+1)_{k}}\rangle} = {|v^{(i)}, w^{(i-1)_{k}}\rangle}. \end{array} $$(31)The measurement on the vertex v is given on states associated with v(i) i.e. \(\mathcal {P}_{C}({|\psi _{0}\rangle })(v)= \sum \limits _{i} \sum \limits _{w \sim v} |{\langle {v^{(i)},w^{(i-1)_{k}}}|{\psi _{0}}\rangle }|^{2}\).
After the first iteration in the coined walk model we have
$$ \begin{array}{@{}rcl@{}} SC{|\psi_{0}\rangle}=SC{|v^{(0)},w^{(k-1)}\rangle}&=&S\sum\limits_{z \in V} {\langle v,z|}C_{0}{|v,w\rangle}{|v^{(0)},z^{(1)}\rangle}\\ &=&\sum\limits_{z \in V} {\langle v,z|}C_{0}{|v,w\rangle}{|z^{(1)},v^{(0)}\rangle}. \end{array} $$(32)On the other hand, considering the generalized coined walk model gives us
$$ SC_{0}{|\psi_{0}\rangle}=SC_{0}{|v,w\rangle}=\sum\limits_{z \in V} {\langle v,z|}C_{0}{|v,w\rangle}{|z,v\rangle}. $$(33)We can observe, that the both models give us the same evolution, which implies that the measurement outcomes will be exactly the same.
As it can be seen, according to this definition the models are equivalent. This result should not be surprising, as we are allowed to compare models A and B on graphs with different structures. For the case, when A ⪯ B, the quantum walk model B does not have to express the idea of random walk on graph GA.
For example if we want to change generalized hyperwalk with 2 different distributions on the graph shown in Fig. 1 into the Szegedy walk, we need to take graph with 336 vertices. According to the previous discussion changing the generalized hyperwalk to a staggered walk costs 7 vertices. We see that if we want to put this model to generalized coined walk we should take a graph with 21 nodes and 8 coin operators. In the next step, it is necessary to model coined walk on a graph with 8 × 21 = 168 vertices. The last step is cloning of the vertices to obtain Szegedy walk, so we end up with 336 nodes required. Of course there still can exist methods to achieve this result with a smaller number of vertices, but this example is introduced to show problems which can appear. That is why we introduce a new concept of comparing two quantum models.
Definition 6
Let A and B be two models of a quantum walk. We say that model A is strongly an instance of model B (A ≺ B) when for all graphs GA(V, E) there exists a graph GB, such that the number of basis states in model B is no greater then the number of basis states in model A. Moreover, for all initial states |ψA〉 there exists an initial state |ψB〉, such that for all \(n\in \mathbb {N}_{0}\) and v ∈ V, we have
Based on this definition, we show that every staggered walk is an instance of a generalized hyperwalk. Furthermore, we do not need to deeply change the structure of the initial graph in order to obtain this behavior.
Theorem 1
According to Definition 6 every staggered walk is an instance of the generalized hyperwalk.
Proof
For a given graph with the staggered walk, defined by unitary matrices U1,…,Un, we introduce a hypergraph with the same number of vertices and one hyperedge containing all vertices suitable for generalized hyperwalk. One can see that the spaces for both walks have the same dimensionality hence there exists a bijection between spaces on staggered and generalized coined walk models. So we can assume that the coin operator is constant and it is given by the identity matrix. The shift operator is changing in time in the same manner as the unitary operators U1,…,Un for each tessellations, namely \({U^{E}_{k}}:=U_{k}\). If the measurement for staggered walk is \(\mathcal {P}_{S}({|\psi \rangle })(v)=|{\langle {v}|{\psi }\rangle }|^{2}\), then we take \(\mathcal {P}_{GH}= |{\langle {v,e}|{\psi }\rangle }|^{2}\). □
5 Conclusions
In this work we introduced a model of quantum walks on hypergraphs and a generalized version of this model. By generalized we mean that the evolution operators associated with the walk might change in time. We introduced two non-equivalent definitions of the case when one quantum walk model is an instance of another model. The first definition of this equivalence allows us to heavily manipulate the underlying graph structure of the walk. Using this definition we shown that hyperwalk model is equivalent to a coin model and the same for the generalized version.
Next, we introduced a stronger version of the equivalence of walk models. In it, we enforce the graph to be a minimal graph necessary for a given model. In this regime we were able to show that a generalized hyperwalk introduces in fact new dynamics. This result completes Table 1 and shows that a quantum walk on a hypergraph is a generalization of the staggered walk model.
References
Aharonov, D., Ambainis, A., Kempe, J., Vazirani, U.: Quantum walks on graphs. In: Proceedings of the thirty-third annual ACM symposium on Theory of computing, pp. 50–59. ACM (2001)
Kempe, J.: Quantum random walks: an introductory overview. Contemp. Phys. 44(4), 307–327 (2003)
Ambainis, A.: Quantum walks and their algorithmic applications. Int. J. Quantum Inf. 1(04), 507–518 (2003)
Grover, L.K.: A fast quantum mechanical algorithm for database search. In: Proceedings of the twenty-eighth annual ACM symposium on Theory of computing, pp. 212–219. ACM (1996)
Childs, A.M., Goldstone, J.: Spatial search by quantum walk, vol. 70 (2004)
Miszczak, J.A., Sadowski, P.: Quantum network exploration with a faulty sense of direction. Quantum Inf. Comput. 14(13&14), 1238–1250 (2014)
Pawela, Ł., Sładkowski, J.: Cooperative quantum Parrondo’s games. Physica D: Nonlinear Phenom. 256, 51–57 (2013)
Attal, S., Petruccione, F., Sinayskiy, I.: Open quantum walks on graphs. Phys. Lett. A 376(18), 1545–1548 (2012)
Attal, S., Petruccione, F., Sabot, C., Sinayskiy, I.: Open quantum random walks. J. Stat. Phys. 147(4), 832–852 (2012)
Attal, S., Guillotin-Plantard, N., Sabot, C.: Central Limit Theorems for Open Quantum Random Walks and Quantum Measurement Records. In: Annales Henri PoincarÉ, vol. 16, pp. 15–43. Springer (2015)
Sadowski, P., Pawela, Ł.: Central Limit theorem for reducible and irreducible open quantum walks. Quantum Inf. Process 15(7), 2725–2743 (2016)
Pawela, Ł., Gawron, P., Miszczak, J.A., Sadowski, P.: Generalized open quantum walks on Apollonian networks, vol. 10 (2015)
Chia, A., Tan, K., Kurzyński, P., Paterek, T., Kaszlikowski, D., et al.: Coherent chemical kinetics as quantum walks I: Reaction operators for radical pairs. Phys. Rev. E 93(3), 032407 (2016)
Whitfield, J.D., Rodríguez-rosario, C.A., Aspuru-guzik, A.: Quantum stochastic walks: A generalization of classical random walks and quantum walks, vol. 81 (2010)
Gorini, V., Kossakowski, A., Sudarshan, E.C.G.: Completely positive dynamical semigroups of n-level systems. J. Math. Phys. 17(5), 821–825 (1976)
Lindblad, G.: On the generators of quantum dynamical semigroups. Commun. Math. Phys. 48(2), 119–130 (1976)
Domino, K., Glos, A., Ostaszewski, M., Pawela, Ł., Sadowski, P.: Properties of quantum stochastic walks from the hurst exponent, arXiv preprint (2016)
Domino, K., Glos, A., Ostaszewski, M.: Superdiffusive quantum stochastic walk definable of arbitrary directed graph, arXiv:1701.04624 (2017)
Szegedy, M.: Quantum Speed-Up of Markov Chain Based Algorithms. In: 2004. Proceedings. 45Th Annual IEEE Symposium On Foundations of Computer Science, pp. 32–41. IEEE (2004)
Paparo, G.D., Martin-Delgado, M.: Google in a quantum network. Sci. Rep. 2, 444 (2012)
Portugal, R., Santos, R.A., Fernandes, T.D., Gonçalves, D.N.: The staggered quantum walk model. Quantum Inf. Process 15(1), 85–101 (2016)
Konno, N., Portugal, R., Sato, I., Segawa, E.: Partition-based discrete-time quantum walks. Quantum Inf. Process 17(4), 100 (2018)
Portugal, R., de Oliveira, M.C., Moqadam, J.K.: Staggered quantum walks with hamiltonians. Phys. Rev. A 95(1), 012328 (2017)
Tulsi, A.: Robust quantum spatial search. Quantum Inf. Process 15(7), 2675–2683 (2016)
Bollobás, B.: Modern graph theory, vol. 184. Springer Science & Business Media (2013)
Hillery, M., Bergou, J., Feldman, E.: Quantum walks based on an interferometric analogy. Phys. Rev. A 68(3), 032314 (2003)
Bretto, A.: Hypergraph theory, An introduction. Mathematical Engineering. Springer, Cham (2013)
Acknowledgments
This work was supported by the polish National Science Centre under project numbers 2015/17/B/ST6/01872 (ŁP and PL) and 2016/22/E/ST6/00062 (RK).
Author information
Authors and Affiliations
Corresponding author
Additional information
Publisher’s Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Rights and permissions
Open Access This article is distributed under the terms of the Creative Commons Attribution 4.0 International License (http://creativecommons.org/licenses/by/4.0/), which permits unrestricted use, distribution, and reproduction in any medium, provided you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license, and indicate if changes were made.
About this article
Cite this article
Sadowski, P., Pawela, Ł., Lewandowska, P. et al. Quantum Walks on Hypergraphs. Int J Theor Phys 58, 3382–3393 (2019). https://doi.org/10.1007/s10773-019-04212-6
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s10773-019-04212-6