We investigate the graph isomorphism (GI) in some cospectral networks. Two graph are isomorphic when they are related to each other by a relabeling of the graph vertices. We want to investigate the GI in two scalable (n + 2)-regular graphs G4(n; n + 2) and G5(n; n + 2), analytically by using the multiparticle quantum walk. These two graphs are a pair of non-isomorphic connected cospectral regular graphs for any positive integer n. In order to investigation GI in these two graphs, we rewrite the adjacency matrices of graphs in the antisymmetric fermionic basis and show that they are different for thesepairs of graphs. So the multiparticle quantum walk is able to distinguish pairs of non- isomorph graphs. Also we construct two new graphs T4(n; n + 2) and T5(n; n + 2) and repeat the same process of G4 and G5 to study the GI problem by using multiparticle quantum walk. Then we study GI by using the entanglement entropy. To this aim, we calculate entanglement entropy between two parts of network. In our model the nodes are considered as identical quantum harmonic oscillators. The entanglement entropy between two special parts of G4(n; n+2) and G5(n; n+2) are calculated analytically. It is shown that the entanglement entropy can distinguish pairs of non-isomorphic cospectral graphs too.
We investigate the graph isomorphism (GI) in some cospectral networks. Two graph are isomorphic when they are related to each other by a relabeling of the graph vertices. We want to investigate the GI in two scalable (n + 2)-regular graphs G4(n; n + 2) and G5(n; n + 2), analytically by using the multiparticle quantum walk. These two graphs are a pair of non-isomorphic connected cospectral regular graphs for any positive integer n. In order to investigation GI in these two graphs, we rewrite the adjacency matrices of graphs in the antisymmetric fermionic basis and show that they are different for thesepairs of graphs. So the multiparticle quantum walk is able to distinguish pairs of non- isomorph graphs. Also we construct two new graphs T4(n; n + 2) and T5(n; n + 2) and repeat the same process of G4 and G5 to study the GI problem by using multiparticle quantum walk. Then we study GI by using the entanglement entropy. To this aim, we calculate entanglement entropy between two parts of network. In our model the nodes are considered as identical quantum harmonic oscillators. The entanglement entropy between two special parts of G4(n; n+2) and G5(n; n+2) are calculated analytically. It is shown that the entanglement entropy can distinguish pairs of non-isomorphic cospectral graphs too.
We investigate the quantum networks that their nodes are considered as quantum harmonic oscillators. The entanglement of the ground state can be used to quantify the amount of information one part of a network shares with the other part of the system. The networks which we studied in this paper, are called strongly regular graphs (SRG). These kinds of graphs have some special properties like they have three strata in the stratification basis. The Schur complement method is used to calculate the Schmidt numbers and entanglement entropy between two parts of graph. We could obtain analytically, all blocks of adjacency matrix in several scalable sets of strongly regular graphs. Also the entanglement entropy in the large coupling limit is considered in these graphs and the relationship between entanglement entropy and the ratio of size of boundary to size of the system is found. After that, area-law is studied to show that there are no entanglement entropy for the highest size of system. Then, the graph isomorphism problem is considered in SRGs by using the entanglement entropies in some partitioning of graph. Two SRGs with the same parameters: are isomorphic if they can be made identical by relabeling their vertices. So the adjacency matrices of two isomorphic SRGs become identical by replacing of rows and columns. The non-isomorph SRGs could be distinguished by using the elements of blocks of adjacency matrices in the stratification basis, numerically.
Abstract In this paper, the entanglement entropy is investigated in the ground state of a spinless free fermion Hamiltonian where its hopping matrix is given by the adjacency matrix of the graph. The bipartite entanglement entropy is calculated from the eigenvalues of the correlation matrix. The entanglement entropy and mutual information are calculated for some scalable graphs including a complete graph and three sets of strongly regular graphs (SRGs). In addition, the volume law scaling has been shown for these graphs. Then, we use the entanglement entropy as a tool for studying the graph isomorphism problem in some non-isomorphic pairs of graphs in order to distinguish them from each other. Two graphs are isomorphic when they are related to each other by relabeling the graph vertices. We study the graph isomorphism in non-isomorphic SRGs, distance-regular graphs and pseudo distance-regular graphs. Most pairs of non-isomorphic SRGs can be distinguished from each other by using fermionic entanglement entropy.
We show that the quantum dynamics of interacting and noninteracting quantum particles are fundamentally different in the context of solving a particular computational problem. Specifically, we consider the graph isomorphism problem, in which one wishes to determine whether two graphs are isomorphic (related to each other by a relabeling of the graph vertices), and focus on a class of graphs with particularly high symmetry called strongly regular graphs (SRGs). We study the Green's functions that characterize the dynamical evolution single-particle and two-particle quantum walks on pairs of nonisomorphic SRGs and show that interacting particles can distinguish nonisomorphic graphs that noninteracting particles cannot. We obtain the following specific results. (1) We prove that quantum walks of two noninteracting particles, fermions or bosons, cannot distinguish certain pairs of nonisomorphic SRGs. (2) We demonstrate numerically that two interacting bosons are more powerful than single particles and two noninteracting particles, in that quantum walks of interacting bosons distinguish all nonisomorphic pairs of SRGs that we examined. By utilizing high-throughput computing to perform over 500 million direct comparisons between evolution operators, we checked all tabulated pairs of nonisomorphic SRGs, including graphs with up to 64 vertices. (3) By performing a short-time expansion of the evolution operator, we derive distinguishing operators that provide analytic insight into the power of the interacting two-particle quantum walk.
We investigate the quantum dynamics of particles on graphs (``quantum random walks''), with the aim of developing quantum algorithms for determining if two graphs are isomorphic (related to each other by a relabeling of vertices). We focus on quantum random walks of multiple noninteracting particles on strongly regular graphs (SRGs), a class of graphs with high symmetry that is known to have pairs of graphs that are hard to distinguish. Previous work has already demonstrated analytically that two-particle noninteracting quantum walks cannot distinguish nonisomorphic SRGs of the same family. Here, we demonstrate numerically that three-particle noninteracting quantum walks have significant, but not universal, distinguishing power for pairs of SRGs, proving a fundamental difference between the distinguishing power of two-particle and three-particle noninteracting walks. We show analytically why this distinguishing power is possible, whereas it is forbidden for two-particle noninteracting walks. Based on sampling of SRGs with up to 64 vertices, we find no difference in the distinguishing power of bosonic and fermionic walks. In addition, we find that the four-fermion noninteracting walk has greater distinguishing power than the three-particle walk on SRGs, showing that increasing the particle number increases the distinguishing power. However, we also show analytically that no noninteracting walk with a fixed number of particles can distinguish all SRGs, thus demonstrating a potential fundamental difference in the distinguishing power of interacting versus noninteracting walks.
Graph isomorphism is an essential problem in graph theory and widely used in a variety of applications. With graph size increasing, graph isomorphism become difficult for classical computation since there is no polynomial algorithm for general graphs yet. Considering the advantages of quantum computation over classical computation in various tasks, quantum graph isomorphism algorithms have been studied to explore the potentials of quantum computation in graph isomorphism. In this work, we propose a graph isomorphism algorithm based on continuous-time quantum walks, where we construct the graph certificates from the output probabilities of continuous-time quantum walks on the tested graphs with added self-loops to graph vertices, and distinguish graphs by comparing the graph certificates. Numerous tests on diverse graph classes demonstrate the effectiveness of the proposed GI algorithm, which is not limited to a specific topological structure graph. Moreover, we test the proposed algorithm on classes of strongly regular graphs, and the results show that the distinguishing ability of the algorithm can be improved with the increasement of the added self-loops to distinct vertices.
We introduce a nonlocal game that captures and extends the notion of graph isomorphism. This game can be won in the classical case if and only if the two input graphs are isomorphic. Thus, by considering quantum strategies we are able to define the notion of quantum isomorphism. We also consider the case of more general non-signalling strategies, and show that such a strategy exists if and only if the graphs are fractionally isomorphic. We prove several necessary conditions for quantum isomorphism, including cospectrality, and provide a construction for producing pairs of non-isomorphic graphs that are quantum isomorphic. We then show that both classical and quantum isomorphism can be reformulated as feasibility programs over the completely positive and completely positive semidefinite cones respectively. This leads us to considering relaxations of (quantum) isomorphism arrived at by relaxing the cone to either the doubly nonnegative (DNN) or positive semidefinite (PSD) cones. We show that DNN-isomorphism is equivalent to the previous defined notion of graph equivalence, a polynomial-time decidable relation that is related to coherent algebras. We also show that PSD-isomorphism implies several types of cospectrality, and that it is equivalent to cospectrality for connected 1-walk-regular graphs. Finally, we show that all of the above mentioned relations form a strict hierarchy of weaker and weaker relations, with non-singalling/fractional isomorphism being the weakest. The techniques used are an interesting mix of algebra, combinatorics, and quantum information.