arXiv subjects

Yusuke Higuchi

Publications and source records attributed to Yusuke Higuchi.

At least 19 recordsLinked to original sources

arXiv2025

Comfortability of quantum walks on embedded graphs on surfaces

The time evolutions of discrete-time quantum walks on graphs are determined by the local adjacency relations of the graphs. In this paper, first, we construct a discrete-time quantum walk model that reflects the embedding on the surface so that an underlying global geometric information is reflected. Second, we consider the scattering problem of this quantum walk model. We obtain the scattering matrix characterized by the faces on the surface and detect the orientablility of the embedding using scattering information. For the stationary state in the scattering problem, the comfortability is defined as the square norm of the stationary state restricted to the internal. This indicates how a quantum walker is stored in the internal under the embedding. Then we find that a quantum walker feels more comfortable on a surface with small genus in some natural setting. We illustrate our results with some interesting examples.

quant-ph↗

arXiv2024

Quantum walks on graphs embedded in orientable surfaces

A quantum walk model which reflects the $2$-cell embedding on the orientable closed surface of a graph in the dynamics is introduced. We show that the scattering matrix is obtained by finding the faces on the underlying surface which have the overlap to the boundary and the stationary state is obtained by counting two classes of the rooted spanning subgraphs of the dual graph on the underlying embedding.

quant-ph↗

arXiv2024

Characterization of Green's function of discrete Schr\"odinger operator on a finite graph by its spanning subgraphs

The Green's function of the discrete Sch\"odinger operator on a finite graph is considered. This setting reproduces Laplacian and signless Laplacian by adjusting appropriate potentials. We show two ways of the expression for the Green's function by using graph structures. The first way is based on the factor of the graph by subtrees which have uni-self-loops; the second way is based on that by odd unicycle graphs.

math-ph↗

arXiv2023

On symmetric spectra of Hermitian adjacency matrices for non-bipartite mixed graphs

We study the equivalence between bipartiteness and symmetry of spectra of mixed graphs, for $\theta$-Hermitian adjacency matrices defined by an angle $\theta \in (0, \pi]$. We show that this equivalence holds when, for example, an angle $\theta$ is an algebraic number, while it breaks down for any angle $\theta \in \mathbb{Q}\pi$. Furthermore, we construct a family of non-bipartite mixed graphs having the symmetric spectra for given $\theta \in \mathbb{Q}\pi$.

math.CO↗

arXiv2022

Circuit equation of Grover walk

We consider the Grover walk on the infinite graph in which an internal finite subgraph receives the inflow from the outside with some frequency and also radiates the outflow to the outside. To characterize the stationary state of this system, which is represented by a function on the arcs of the graph, we introduce a kind of discrete gradient operator twisted by the frequency. Then we obtain a circuit equation which shows that (i) the stationary state is described by the twisted gradient of a potential function which is a function on the vertices; (ii) the potential function satisfies the Poisson equation with respect to a generalized Laplacian matrix. Consequently, we characterize the scattering on the surface of the internal graph and the energy penetrating inside it. Moreover, for the complete graph as the internal graph, we illustrate the relationship of the scattering and the internal energy to the frequency and the number of tails.

quant-ph↗

arXiv2022

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.

math-ph↗

arXiv2022

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.

quant-ph↗

arXiv2022

A comfortable graph structure for Grover walk

We consider a Grover walk model on a finite internal graph, which is connected with a finite number of semi-infinite length paths and receives the alternative inflows along these paths at each time step. After the long time scale, we know that the behavior of such a Grover walk should be stable, that is, this model has a stationary state. In this paper our objectives are to give some characterization upon the scattering of the stationary state on the surface of the internal graph and upon the energy of this state in the interior. For the scattering, we concretely give a scattering matrix, whose form is changed depending on whether the internal graph is bipartite or not. On the other hand, we introduce a comfortability function of a graph for the quantum walk, which shows how many quantum walkers can stay in the interior, and we succeed in showing the comfortability of the walker in terms of combinatorial properties of the internal graph.

math-ph↗

arXiv2020

Dense Pixel-wise Micro-motion Estimation of Object Surface by using Low Dimensional Embedding of Laser Speckle Pattern

This paper proposes a method of estimating micro-motion of an object at each pixel that is too small to detect under a common setup of camera and illumination. The method introduces an active-lighting approach to make the motion visually detectable. The approach is based on speckle pattern, which is produced by the mutual interference of laser light on object's surface and continuously changes its appearance according to the out-of-plane motion of the surface. In addition, speckle pattern becomes uncorrelated with large motion. To compensate such micro- and large motion, the method estimates the motion parameters up to scale at each pixel by nonlinear embedding of the speckle pattern into low-dimensional space. The out-of-plane motion is calculated by making the motion parameters spatially consistent across the image. In the experiments, the proposed method is compared with other measuring devices to prove the effectiveness of the method.

eess.IV↗

arXiv2020

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{\alpha}_{in}$, at every time step. We show that the response of the Szegedy walk to the input, which is the output, say $\boldsymbol{\beta}_{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{\beta}_{out}=\mathrm{Sz}(\boldsymbol{m}_{\delta E})\boldsymbol{\alpha}_{in}$, where the unitary matrix $\mathrm{Sz}(\boldsymbol{m}_{\delta E})$ is the reflection matrix to the unit vector $\boldsymbol{m}_{\delta E}$ which is determined by the boundary of the internal graph $\delta 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{\beta}_{out}=-\boldsymbol{\alpha}_{in}$, and the stationary state is similar to the current flow but satisfies a different type of the Kirchhoff laws.

quant-ph↗

arXiv2018

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)$.

math-ph↗

arXiv2018

Eigenbasis of the Evolution Operator of 2-Tessellable Quantum Walks

Staggered quantum walks on graphs are based on the concept of graph tessellation and generalize some well-known discrete-time quantum walk models. In this work, we address the class of 2-tessellable quantum walks with the goal of obtaining an eigenbasis of the evolution operator. By interpreting the evolution operator as a quantum Markov chain on an underlying multigraph, we define the concept of quantum detailed balance, which helps to obtain the eigenbasis. A subset of the eigenvectors is obtained from the eigenvectors of the double discriminant matrix of the quantum Markov chain. To obtain the remaining eigenvectors, we have to use the quantum detailed balance conditions. If the quantum Markov chain has a quantum detailed balance, there is an eigenvector for each fundamental cycle of the underlying multigraph. If the quantum Markov chain does not have a quantum detailed balance, we have to use two fundamental cycles linked by a path in order to find the remaining eigenvectors. We exemplify the process of obtaining the eigenbasis of the evolution operator using the kagome lattice (the line graph of the hexagonal lattice), which has symmetry properties that help in the calculation process.

quant-ph↗

arXiv2017

Quantum walks induced by Dirichlet random walks on infinite trees

We consider the Grover walk on infinite trees from the view point of spectral analysis. From the previous works, infinite regular trees provide localization. In this paper, we give the complete characterization of the eigenspace of this Grover walk, which involves localization of its behavior and recovers the previous works. Our result suggests that the Grover walk on infinite trees may be regarded as a limit of the quantum walk induced by the isotropic random walk with the Dirichlet boundary condition at the $n$-th depth rather than one with the Neumann boundary condition.

quant-ph↗

arXiv2015

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\'nski lattice, which is pure point and has a Cantor-like structure.

math-ph↗

arXiv2015

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.

quant-ph↗

arXiv2013

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.

math.PR↗

arXiv2012

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.

math-ph↗

arXiv2012

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.

math-ph↗