Table of Contents
Fetching ...

Pulsation of quantum walk between two arbitrary graphs with weakly connected bridge

Taisuke Hosaka, Etsuo Segawa

TL;DR

The paper addresses pulsation in a Grover walk on a finite graph composed of two arbitrary subgraphs connected by a weak bridge of strength $\epsilon$. Using spectral perturbation and Kato reduction, it derives explicit asymptotics for the time-averaged transfer probabilities $\mu_t(H_1)$ and $\mu_t(H_2)$, showing that their evolution depends only on the edge counts $|A_1|$ and $|A_2|$ and not on graph structure, and establishing a period $\tau(\epsilon)$ that scales as $\tau(\epsilon)=\left\lfloor\frac{\pi}{\sqrt{2}}\sqrt{R_{\mathrm{eff}}(|A_1|,|A_2|)}\,\epsilon^{-1/2}\right\rfloor$ with $R_{\mathrm{eff}}^{-1}=1/|A_1|+1/|A_2|$. Notably, when $|A_1|=|A_2|$, the walker is transferred almost completely between the graphs. These results reveal a universal pulsation phenomenon for quantum walks on finite graphs and connect to tunneling-like transport and effective resistances in electrical networks.

Abstract

We consider the Grover walk on a finite graph composed of two arbitrary simple graphs connected by one edge, referred to as a bridge. The parameter $ε>0$ assigned at the bridge represents the strength of connectivity: if $ε=0$, then the graph is completely separated. We show that for sufficiently small values of $ε$, a phenomenon called pulsation occurs. The pulsation is characterized by the periodic transfer of the quantum walker between the two graphs. An asymptotic expression with respect to small $ε$ for the probability of finding the walker on either of the two graphs is derived. This expression reveals that the pulsation depends solely on the number of edges in each graph, regardless of their structure. In addition, we obtain that the quantum walker is transferred periodically between the two graphs, with a period of order $O(ε^{-1/2})$. Furthermore, when the number of edges of two graphs is equal, the quantum walker is almost completely transferred.

Pulsation of quantum walk between two arbitrary graphs with weakly connected bridge

TL;DR

The paper addresses pulsation in a Grover walk on a finite graph composed of two arbitrary subgraphs connected by a weak bridge of strength . Using spectral perturbation and Kato reduction, it derives explicit asymptotics for the time-averaged transfer probabilities and , showing that their evolution depends only on the edge counts and and not on graph structure, and establishing a period that scales as with . Notably, when , the walker is transferred almost completely between the graphs. These results reveal a universal pulsation phenomenon for quantum walks on finite graphs and connect to tunneling-like transport and effective resistances in electrical networks.

Abstract

We consider the Grover walk on a finite graph composed of two arbitrary simple graphs connected by one edge, referred to as a bridge. The parameter assigned at the bridge represents the strength of connectivity: if , then the graph is completely separated. We show that for sufficiently small values of , a phenomenon called pulsation occurs. The pulsation is characterized by the periodic transfer of the quantum walker between the two graphs. An asymptotic expression with respect to small for the probability of finding the walker on either of the two graphs is derived. This expression reveals that the pulsation depends solely on the number of edges in each graph, regardless of their structure. In addition, we obtain that the quantum walker is transferred periodically between the two graphs, with a period of order . Furthermore, when the number of edges of two graphs is equal, the quantum walker is almost completely transferred.

Paper Structure

This paper contains 6 sections, 7 theorems, 48 equations, 4 figures.

Key Result

Theorem 4.1

For sufficiently small $\epsilon$, it is following that where $\theta(\epsilon)$ is the declination of the eigenvalue of $U(\epsilon)$ that has the largest real part except $1$ given by

Figures (4)

  • Figure 1: The solid and doted curves correspond to $\mu_t(H_1)$ and $\mu_t(H_2)$ with $\epsilon=0.01$, respectively. $H_1=H_2=K_5$
  • Figure 2: $H_1=K_5, H_2=K_3$
  • Figure 3: $H_1=K_3, H_2=K_5$
  • Figure 5: The solid and doted curves correspond to $\mu_t(K_6)$ and $\mu_t(C_{15})$ with $\epsilon=0.01$, respectively.

Theorems & Definitions (9)

  • Remark 2.1
  • Theorem 4.1
  • Theorem 4.2
  • Corollary 4.1
  • Lemma 5.1
  • Proposition 5.1: HKSS
  • proof
  • Lemma 5.2
  • Lemma 5.3