Source author record

Etsuo Segawa

Etsuo Segawa appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.

ResearcherUnclaimed source record

Catalog footprint

What is connected

32works
8topics
4close collaborators

Actions

Connect this record

Log in to claim

Research graph

See the researcher in context

Open full explorer

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.

Published work

32 published item(s)

preprint2022arXiv

Comfortable place for quantum walkers on finite path

We consider the stationary state of a quantum walk on the finite path, where the sink and source are set at the left and right boundaries. The quantum coin is uniformly placed at every vertex of the path graph. At every time step, a new quantum walker penetrates into the internal from the left boundary and also some existing quantum walkers in the internal goes out to the sinks located in the left and right boundaries. The square modulus of the stationary state at each vertex is regarded as the comfortability for a quantum walker to this vertex in this paper. We show the weak convergence theorem for the scaled limit distribution of the comfortability in the limit of the length of the path.

preprint2022arXiv

Design for implementation of discrete-time quantum walk with circulant matrix on graph by optical polarizing elements

In this paper, we introduce a quantum walk whose local scattering at each vertex is denoted by a unitary circulant matrix; namely the circulant quantum walk. We also introduce another quantum walk induced by the circulant quantum walk; namely the optical quantum walk, whose underlying graph is a $2$-regular directed graph and obtained by blowing up the original graph in some way. We propose a design of an optical circuit which implements the stationary state of the optical quantum walk. We show that if the induced optical quantum walk does not have $+1$ eigenvalue, then the stationary state of the optical quantum walk gives that of the original circulant quantum walk. From this result, we give a useful condition for the setting of the circulant quantum walks which can be implemented by this optical circuit.

preprint2022arXiv

Toward fixed point and pulsation quantum search on graphs driven by quantum walks with in- and out-flows: a trial to the complete graph

We treat a quantum walk model with in- and out- flows at every time step from the outside. We show that this quantum walk can find the marked vertex of the complete graph with a high probability in the stationary state. In exchange of the stability, the convergence time is estimated by $O(N\log N)$, where $N$ is the number of vertices. However until the time step $O(N)$, we show that there is a pulsation with the periodicity $O(\sqrt{N})$. We find the marked vertex with a high relative probability in this pulsation phase. This means that we have two chances to find the marked vertex with a high relative probability; the first chance visits in the pulsation phase at short time step $O(\sqrt{N})$ while the second chance visits in the stable phase after long time step $O(N\log N)$. The proofs are based on Kato's perturbation theory.

preprint2021arXiv

Quantum walks defined by digraphs and generalized Hermitian adjacency matrices

We propose a quantum walk defined by digraphs (mixed graphs). This is like Grover walk that is perturbed by a certain complex-valued function defined by digraphs. The discriminant of this quantum walk is a matrix that is a certain normalization of generalized Hermitian adjacency matrices. Furthermore, we give definitions of the positive and negative supports of the transfer matrix, and clarify explicit formulas of their supports of the square. In addition, we give tables by computer on the identification of digraphs by their eigenvalues.

preprint2020arXiv

A crossover between open quantum random walks to quantum walks

We propose an intermediate walk continuously connecting an open quantum random walk and a quantum walk with parameters $M\in \mathbb{N}$ controlling a decoherence effect; if $M=1$, the walk coincides with an open quantum random walk, while $M=\infty$, the walk coincides with a quantum walk. We define a measure which recovers usual probability measures on $\mathbb{Z}$ for $M=\infty$ and $M=1$ and we observe intermediate behavior through numerical simulations for varied positive values $M$. In the case for $M=2$, we analytically show that a typical behavior of quantum walks appears even in a small gap of the parameter from the open quantum random walk. More precisely, we observe both the ballistically moving towards left and right sides and localization of this walker simultaneously. The analysis is based on Kato's perturbation theory for linear operator. We futher analyze this limit theorem in more detail and show that the above three modes are described by Gaussian distributions.

preprint2020arXiv

Eigenvalues of quantum walk induced by recurrence properties of the underlying birth and death process: application to computation of an edge state

In this paper, we consider an extended coined Szegedy model and discuss the existence of the point spectrum of induced quantum walks in terms of recurrence properties of the underlying birth and death process. We obtain that if the underlying random walk is not null recurrent, then the point spectrum exists in the induced quantum walks. As an application, we provide a simple computational way of the dispersion relation of the edge state part for the topological phase model driven by quantum walk using the recurrence properties of underlying birth and death process.

preprint2020arXiv

Electric circuit induced by quantum walk

We consider the Szegedy walk on graphs adding infinite length tails to a finite internal graph. We assume that on these tails, the dynamics is given by the free quantum walk. We set the $\ell^\infty$-category initial state so that the internal graph receives time independent input from the tails, say $\boldsymbolα_{in}$, at every time step. We show that the response of the Szegedy walk to the input, which is the output, say $\boldsymbolβ_{out}$, from the internal graph to the tails in the long time limit, is drastically changed depending on the reversibility of the underlying random walk. If the underlying random walk is reversible, we have $\boldsymbolβ_{out}=\mathrm{Sz}(\boldsymbol{m}_{δE})\boldsymbolα_{in}$, where the unitary matrix $\mathrm{Sz}(\boldsymbol{m}_{δE})$ is the reflection matrix to the unit vector $\boldsymbol{m}_{δE}$ which is determined by the boundary of the internal graph $δE$. Then the global dynamics so that the internal graph is regarded as one vertex recovers the local dynamics of the Szegedy walk in the long time limit. Moreover if the underlying random walk of the Szegedy walk is reversible, then we obtain that the stationary state is expressed by a linear combination of the reversible measure and the electric current on the electric circuit determined by the internal graph and the random walk's reversible measure. On the other hand, if the underlying random walk is not reversible, then the unitary matrix is just a phase flip; that is, $\boldsymbolβ_{out}=-\boldsymbolα_{in}$, and the stationary state is similar to the current flow but satisfies a different type of the Kirchhoff laws.

preprint2020arXiv

Quantum search of matching on signed graphs

We construct a quantum searching model of a signed edge driven by a quantum walk. The time evolution operator of this quantum walk provides a weighted adjacency matrix induced by the assignment of sign to each edge. This sign can be regarded as so called the edge coloring. Then as an application, under an arbitrary edge coloring which gives a matching on a complete graph, we consider a quantum search of a colored edge from the edge set of a complete graph. We show that this quantum walk finds a colored edge within the time complexity of $O(n^{\frac{2-α}{2}})$ with probability $1-o(1)$ while the corresponding random walk on the line graph finds them within the time complexity of $O(n^{2-α})$ if we set the number of the edges of the matching by $O(n^α)$ for $0 \le α\le 1$.

preprint2019arXiv

Dynamical system induced by quantum walk

We consider the Grover walk model on a connected finite graph with two infinite length tails and we set an $\ell^\infty$-infinite external source from one of the tails as the initial state. We show that for any connected internal graph, a stationary state exists, moreover a perfect transmission to the opposite tail always occurs in the long time limit. We also show that the lower bound of the norm of the stationary measure restricted to the internal graph is proportion to the number of edges of this graph. Furthermore when we add more tails (e.g., $r$-tails) to the internal graph, then we find that from the temporal and spatial global view point, the scattering to each tail in the long time limit coincides with the local one-step scattering manner of the Grover walk at a vertex whose degree is $(r+1)$.

preprint2016arXiv

A note on the spectral mapping theorem of quantum walk models

We discuss the description of eigenspace of a quantum walk model $U$ with an associating linear operator $T$ in abstract settings of quantum walk including the Szegedy walk on graphs. In particular, we provide the spectral mapping theorem of $U$ without the spectral decomposition of $T$. Arguments in this direction reveal the eigenspaces of $U$ characterized by the generalized kernels of linear operators given by $T$.

preprint2016arXiv

Generator of an abstract quantum walk

We consider an abstract quantum walk defined by a unitary evolution operator $U$, which acts on a Hilbert space decomposed into a direct sum of Hilbert spaces $\{\mathcal{H}_v \}_{v \in V}$. We show that such $U$ naturally defines a directed graph $G_U$ and the probability of finding a quantum walker on $G_U$. The asymptotic property of an abstract quantum walker is governed by the generator $H$ of $U$ such that $U^n = e^{inH}$. We derive the generator of an evolution of the form $U = S(2d_A^* d_A -1)$, a generalization of the Szegedy evolution operator. Here $d_A$ is a boundary operator and $S$ a shift operator.

preprint2016arXiv

Spectral mapping theorem of an abstract quantum walk

Given two Hilbert spaces, $\mathcal{H}$ and $\mathcal{K}$, we introduce an abstract unitary operator $U$ on $\mathcal{H}$ and its discriminant $T$ on $\mathcal{K}$ induced by a coisometry from $\mathcal{H}$ to $\mathcal{K}$ and a unitary involution on $\mathcal{H}$. In a particular case, these operators $U$ and $T$ become the evolution operator of the Szegedy walk on a graph, possibly infinite, and the transition probability operator thereon. We show the spectral mapping theorem between $U$ and $T$ via the Joukowsky transform. Using this result, we have completely detemined the spectrum of the Grover walk on the Sierpiński lattice, which is pure point and has a Cantor-like structure.

preprint2015arXiv

Limit theorems of a two-phase quantum walk with one defect

We treat a position dependent quantum walk (QW) on the line which we assign two different time-evolution operators to positive and negative parts respectively. We call the model "the two-phase QW" here, which has been expected to be a mathematical model of the topological insulator. We obtain the stationary and time-averaged limit measures related to localization for the two-phase QW with one defect. This is the first result on localization for the two-phase QW. The analytical methods are mainly based on the splitted generating function of the solution for the eigenvalue problem, and the generating function of the weight of the passages of the model. In this paper, we call the methods "the splitted generating function method" and "the generating function method", respectively. The explicit expression of the stationary measure is asymmetric for the origin, and depends on the initial state and the choice of the parameters of the model. On the other hand, the time-averaged limit measure has a starting point symmetry and localization effect heavily depends on the initial state and the parameters of the model. Regardless of the strong effect of the initial state and the parameters, the time-averaged limit measure also suggests that localization can be always observed for our two-phase QW. Furthermore, our results imply that there is an interesting relation between the stationary and time-averaged limit measures when the parameters of the model have specific periodicities, which suggests that there is a possibility that we can analyze localization of the two-phase QW with one defect from the stationary measure.

preprint2015arXiv

Quantum walks on simplicial complexes

We construct a new type of quantum walks on simplicial complexes as a natural extension of the well-known Szegedy walk on graphs. One can numerically observe that our proposing quantum walks possess linear spreading and localization as in the case of the Grover walk on lattices. Moreover, our numerical simulation suggests that localization of our quantum walks reflect not only topological but also geometric structures. On the other hand, our proposing quantum walk contains an intrinsic problem concerning exhibition of nontrivial behavior, which is not seen in typical quantum walks such as Grover walks on graphs.

preprint2015arXiv

The spreading behavior of quantum walks induced by drifted random walks on some magnifier graph

In this paper, we consider the quantum walk on $\mathbb{Z}$ with attachment of one-length path periodically. This small modification to $\mathbb{Z}$ provides localization of the quantum walk. The eigenspace causing this localization is generated by finite length round trip paths. We find that the localization is due to the eigenvalues of an underlying random walk. Moreover we find that the transience of the underlying random walk provides a slow down of the pseudo velocity of the induced quantum walk and a different limit distribution from the Konno distribution.

preprint2014arXiv

A one-dimensional Hadamard walk with one defect

We consider a one-dimensional space-inhomogeneous discrete time quantum walk. This model is the Hadamard walk with one defect at the origin which is different from the model introduced by Wojcik et al. [14]. We obtain a stationary measure of the model by solving the eigenvalue problem and an asymptotic behaviour of the return probability by the path counting approach. Moreover, we get the time-averaged limit measure using the space-time generating function method. The measure is symmetric for the origin and independent of the initial coin state at the starting point. So localization depends only on the parameter which determines the model.

preprint2014arXiv

Localization of discrete time quantum walks on the glued trees

In this paper, we consider the time averaged distribution of discrete time quantum walks on the glued trees. In order to analyse the walks on the glued trees, we consider a reduction to the walks on path graphs. Using a spectral analysis of the Jacobi matrices defined by the corresponding random walks on the path graphs, we have spectral decomposition of the time evolution operator of the quantum walks. We find significant contributions of the eigenvalues $\pm 1$ of the Jacobi matrices to the time averaged limit distribution of the quantum walks. As a consequence we obtain lower bounds of the time averaged distribution.

preprint2014arXiv

Spectral and asymptotic properties of Grover walks on crystal lattice

We propose a twisted Szegedy walk for estimating the limit behavior of a discrete-time quantum walk on a crystal lattice, an infinite abelian covering graph, whose notion was introduced by [14]. First, we show that the spectrum of the twisted Szegedy walk on the quotient graph can be expressed by mapping the spectrum of a twisted random walk onto the unit circle. Secondly, we show that the spatial Fourier transform of the twisted Szegedy walk on a finite graph with appropriate parameters becomes the Grover walk on its infinite abelian covering graph. Finally, as an application, we show that if the Betti number of the quotient graph is strictly greater than one, then localization is ensured with some appropriated initial state. We also compute the limit density function for the Grover walk on $\mathbb{Z}^d$ with flip flop shift, which implies the coexistence of linear spreading and localization. We partially obtain the abstractive shape of the limit density function: the support is within the $d$-dimensional sphere of radius $1/\sqrt{d}$, and $2^d$ singular points reside on the sphere's surface.

preprint2014arXiv

Trapping and spreading properties of quantum walk in homological structure

We attempt to extract a homological structure of two kinds of graphs by the Grover walk. The first one consists of a cycle and two semi-infinite lines and the second one is assembled by a periodic embedding of the cycles in $\mathbb{Z}$. We show that both of them have essentially the same eigenvalues induced by the existence of cycles in the infinite graphs. The eigenspace of the homological structure appears as so called {\it localization} in the Grover walks, in that the walk is partially trapped by the homological structure. On the other hand, the difference of the absolutely continuous part of spectrum between them provides different behaviors. We characterize the behaviors by the density functions in the weak convergence theorem: the first one is the delta measure at the bottom while the second one is expressed by two kinds of continuous functions which have different finite supports $(-1/\sqrt{10},1/\sqrt{10})$ and $(-2/7,2/7)$, respectively.

preprint2013arXiv

A note on the discrete-time evolutions of quantum walk on a graph

For a quantum walk on a graph, there exist many kinds of operators for the discrete-time evolution. We give a general relation between the characteristic polynomial of the evolution matrix of a quantum walk on edges and that of a kind of transition matrix of a classical random walk on vertices. Furthermore we determine the structure of the positive support of the cube of some evolution matrix, which is said to be useful for isospectral problem in graphs, under a certain condition.

preprint2013arXiv

Limit measures of inhomogeneous discrete-time quantum walks in one dimension

We treat three types of measures of the quantum walk (QW) with the spatial perturbation at the origin, which was introduced by [1]: time averaged limit measure, weak limit measure, and stationary measure. From the first two measures, we see a coexistence of the ballistic and localized behaviors in the walk as a sequential result following [1,2]. We propose a universality class of QWs with respect to weak limit measure. It is shown that typical spatial homogeneous QWs with ballistic spreading belong to the universality class. We find that the walk treated here with one defect also belongs to the class. We mainly consider the walk starting from the origin. However when we remove this restriction, we obtain a stationary measure of the walk. As a consequence, by choosing parameters in the stationary measure, we get the uniform measure as a stationary measure of the Hadamard walk and a time averaged limit measure of the walk with one defect respectively.

preprint2013arXiv

One-dimensional quantum walks via generating function and the CGMV method

We treat a quantum walk (QW) on the line whose quantum coin at each vertex tends to be the identity as the distance goes to infinity. We obtain a limit theorem that this QW exhibits localization with not an exponential but a "power-law" decay around the origin and a "strongly" ballistic spreading called bottom localization in this paper. This limit theorem implies the weak convergence with linear scaling whose density has two delta measures at $x=0$ (the origin) and $x=1$ (the bottom) without continuous parts.

preprint2012arXiv

Limit Theorems for the Discrete-Time Quantum Walk on a Graph with Joined Half Lines

We consider a discrete-time quantum walk $W_{t,κ}$ at time $t$ on a graph with joined half lines $\mathbb{J}_κ$, which is composed of $κ$ half lines with the same origin. Our analysis is based on a reduction of the walk on a half line. The idea plays an important role to analyze the walks on some class of graphs with \textit{symmetric} initial states. In this paper, we introduce a quantum walk with an enlarged basis and show that $W_{t,κ}$ can be reduced to the walk on a half line even if the initial state is \textit{asymmetric}. For $W_{t,κ}$, we obtain two types of limit theorems. The first one is an asymptotic behavior of $W_{t,κ}$ which corresponds to localization. For some conditions, we find that the asymptotic behavior oscillates. The second one is the weak convergence theorem for $W_{t,κ}$. On each half line, $W_{t,κ}$ converges to a density function like the case of the one-dimensional lattice with a scaling order of $t$. The results contain the cases of quantum walks starting from the general initial state on a half line with the general coin and homogeneous trees with the Grover coin.

preprint2012arXiv

Localization of the Grover walks on spidernets and free Meixner laws

A spidernet is a graph obtained by adding large cycles to an almost regular tree and considered as an example having intermediate properties of lattices and trees in the study of discrete-time quantum walks on graphs. We introduce the Grover walk on a spidernet and its one-dimensional reduction. We derive an integral representation of the $n$-step transition amplitude in terms of the free Meixner law which appears as the spectral distribution. As an application we determine the class of spidernets which exhibit localization. Our method is based on quantum probabilistic spectral analysis of graphs.

preprint2012arXiv

Quantum graph walks I: mapping to quantum walks

We clarify that coined quantum walk is determined by only the choice of local quantum coins. To do so, we characterize coined quantum walks on graph by disjoint Euler circles with respect to symmetric arcs. In this paper, we introduce a new class of coined quantum walk by a special choice of quantum coins determined by corresponding quantum graph, called quantum graph walk. We show that a stationary state of quantum graph walk describes the eigenfunction of the quantum graph.

preprint2012arXiv

Quantum graph walks II: Quantum walks on graph coverings

We give a new determinant expression for the characteristic polynomial of the bond scattering matrix of a quantum graph G. Also, we give a decomposition formula for the characteristic polynomial of the bond scattering matrix of a regular covering of G. Furthermore, we define an L-function of G, and give a determinant expression of it. As a corollary, we express the characteristic polynomial of the bond scattering matrix of a regular covering of G by means of its L-functions. As an application, we introduce three types of quantum graph walks, and treat their relation.

preprint2012arXiv

Weak convergence of complex-valued measure for bi-product path space induced by quantum walk

In this paper, a complex-valued measure of bi-product path space induced by quantum walk is presented. In particular, we consider three types of conditional return paths in a power set of the bi-product path space (1) $Λ\times Λ$, (2) $Λ\times Λ'$ and (3) $Λ'\times Λ'$, where $Λ$ is the set of all $2n$-length ($n\in \mathbb{N}$) return paths and $Λ'(\subseteq Λ)$ is the set of all $2n$-length return paths going through $nx$ ($x\in [-1,1]$) at time $n$. We obtain asymptotic behaviors of the complex-valued measures for the situations (1)-(3) which imply two kinds of weak convergence theorems (Theorems 1 and 2). One of them suggests a weak limit of weak values.

preprint2011arXiv

Localization of discrete-time quantum walks on a half line via the CGMV method

We study discrete-time quantum walks on a half line by means of spectral analysis. Cantero et al. [1] showed that the CMV matrix, which gives a recurrence relation for the orthogonal Laurent polynomials on the unit circle [2], expresses the dynamics of the quantum walk. Using the CGMV method introduced by them, the name is taken from their initials, we obtain the spectral measure for the quantum walk. As a corollary, we give another proof for localization of the quantum walk on homogeneous trees shown by Chisaki et al. [3].

preprint2010arXiv

Emergence of Randomness and Arrow of Time in Quantum Walks

Quantum walks are powerful tools not only to construct the quantum speedup algorithms but also to describe specific models in physical processes. Furthermore, the discrete time quantum walk has been experimentally realized in various setups. We apply the concept of the quantum walk to the problems in quantum foundations. We show that randomness and the arrow of time in the quantum walk gradually emerge by periodic projective measurements from the mathematically obtained limit distribution under the time scale transformation.

preprint2009arXiv

Limit theorems for discrete-time quantum walks on trees

We consider a discrete-time quantum walk W_t given by the Grover transformation on the Cayley tree. We reduce W_t to a quantum walk X_t on a half line with a wall at the origin. This paper presents two types of limit theorems for X_t. The first one is X_t as t\to\infty, which corresponds to a localization in the case of an initial qubit state. The second one is X_t/t as t\to\infty, whose limit density is given by the Konno density function [1-4]. The density appears in various situations of discrete-time cases. The corresponding similar limit theorem was proved in [5] for a continuous-time case on the Cayley tree.