Combinatorial necessary conditions for regular graphs to induce periodic quantum walks
Sho Kubota
备注：
20 pages, 5 tables. The revised version adds Section 6 and beyond. Further discussion on strongly regular graphs and several well-known families of distance regular graphs is provided
发表信息：
Linear Algebra and its Applications, Volume 673, Pages 259-279 (2023)
We derive combinatorial necessary conditions for discrete-time quantum walks defined by regular mixed graphs to be periodic. If the quantum walk is periodic, all the eigenvalues of the time evolution matrices must be algebraic integers. Focusing on this, we explore which ring the coefficients of the characteristic polynomials should belong to. On the other hand, the coefficients of the characteristic polynomials of $η$-Hermitian adjacency matrices have combinatorial implications. From these, we can find combinatorial implications in the coefficients of the characteristic polynomials of the time evolution matrices, and thus derive combinatorial necessary conditions for mixed graphs to be periodic. For example, if a $k$-regular mixed graph with $n$ vertices is periodic, then $2n/k$ must be an integer. As an application of this work, we determine periodicity of mixed complete graphs and mixed graphs with a prime number of vertices.
Localization phenomena of quantum walks makes the propagation dynamics of a walker strikingly different from that corresponding to classical random walks. In this paper, we study the localization phenomena of four-state discrete-time quantum walks on two-dimensional lattices with coin operators as one-parameter orthogonal matrices that are also permutative, a combinatorial structure of the Grover matrix. We show that the proposed walks localize at its initial position for canonical initial coin states when the coin belongs to classes which contain the Grover matrix that we consider in this pap…
We count the number of closed walks on a vertex in a regular tree using the Catalan's triangle and also the Borel's triangle, showing another combinatorial structure counted by these two array of numbers.
We work with combinatorial maps to represent graph embeddings into surfaces up to isotopy. The surface in which the graph is embedded is left implicit in this approach. The constructions herein are proof-relevant and stated with a subset of the language of homotopy type theory. This article presents a refinement of one characterisation of embeddings in the sphere, called spherical maps, of connected and directed multigraphs with discrete node sets. A combinatorial notion of homotopy for walks and the normal form of walks under a reduction relation is introduced. The first characterisation of s…
Sahi, Stokman, and Venkateswaran have constructed, for each positive integer $n$, a family of Laurent polynomials depending on parameters $q$ and $k$ (in addition to $\lfloor n/2\rfloor$ "metaplectic parameters"), such that the $n=1$ case recovers the nonsymmetric Macdonald polynomials and the $q\rightarrow\infty$ limit yields metaplectic Iwahori-Whittaker functions with arbitrary Gauss sum parameters. In this paper, we study these new polynomials, which we call SSV polynomials, in the case of $GL_r$. We apply a result of Ram and Yip in order to give a combinatorial formula for the SSV polynom…
A subshift of finite type over finitely many symbols can be described as a collection of all infinite walks on a digraph with at most a single edge from a vertex to another. The associated finite set $\F$ of forbidden words is a constraint which determines the language of the shift entirely. In this paper, in order to describe infinite walks on a multigraph, we introduce the notion of multiplicity of a word (finite walk) and define repeated words as those having multiplicity at least $2$. In general, for given collections $\F$ of forbidden words and $\R$ of repeated words with pre-assigned mul…
This work considers new entropy-based proofs of some known, or otherwise refined, combinatorial bounds for bipartite graphs. These include upper bounds on the number of the independent sets, lower bounds on the minimal number of colors in constrained edge coloring, and lower bounds on the number of walks of a given length in bipartite graphs. The proofs of these combinatorial results rely on basic properties of the Shannon entropy.
We consider the $1$-dimensional reflected Brownian motion and $3$-dimensional Bessel process and the general models. By decomposing the hitting times of consecutive sites into loops, we obtain identities, called loop identities, for the generating functions of the hitting times. After proving this decomposition both combinatorially and inductively, we consider the case that sites are equally distributed. Then, from loop identities, we derive expressions of Bernoulli and Euler polynomials, in terms of Euler polynomials of higher-orders.
We prove that every simple 2-connected subcubic graph on $n$ vertices with $n_2$ vertices of degree 2 has a TSP walk of length at most $\frac{5n+n_2}{4}-1$, confirming a conjecture of Dvořák, Král', and Mohar. This bound is best possible; there are infinitely many subcubic and cubic graphs whose minimum TSP walks have lengths $\frac{5n+n_2}{4}-1$ and $\frac{5n}{4} - 2$ respectively. We characterize the extremal subcubic examples meeting this bound. We also give a quadratic-time combinatorial algorithm for finding such a TSP walk. In particular, we obtain a $\frac{5}{4}$-approximation algorithm…
We identify a fundamental phenomenon of heterogeneous one dimensional random walks: the escape (traversal) time is maximized when the heterogeneity in transition probabilities forms a pyramid-like potential barrier. This barrier corresponds to a distinct arrangement of transition probabilities, sometimes referred to as the pendulum arrangement. We reduce this problem to a sum over products, combinatorial optimization problem, proving that this unique structure always maximizes the escape time. This general property may influence studies in epidemiology, biology, and computer science to better …
We study a number of combinatorial and algebraic structures arising from walks on the two-dimensional integer lattice. To a given step set $X\subseteq\mathbb Z^2$, there are two naturally associated monoids: $\mathscr F_X$, the monoid of all $X$-walks/paths; and $\mathscr A_X$, the monoid of all endpoints of $X$-walks starting from the origin $O$. For each $A\in\mathscr A_X$, write $π_X(A)$ for the number of $X$-walks from $O$ to $A$. Calculating the numbers $π_X(A)$ is a classical problem, leading to Fibonacci, Catalan, Motzkin, Delannoy and Schroder numbers, among many other well-studied seq…
Higher order random walks (HD-walks) on high dimensional expanders (HDX) have seen an incredible amount of study and application since their introduction by Kaufman and Mass [KM16], yet their broader combinatorial and spectral properties remain poorly understood. We develop a combinatorial characterization of the spectral structure of HD-walks on two-sided local-spectral expanders [DK17], which offer a broad generalization of the well-studied Johnson and Grassmann graphs. Our characterization, which shows that the spectra of HD-walks lie tightly concentrated in a few combinatorially structured…
