图的循环带宽的Harper型下界

设Ｇ为具有ｎ个顶点的图，Ｚｎ为模ｎ整数加群．从Ｇ的顶点集到Ｚｎ的任一双射ｆ称为Ｇ的一个循环标号．ｆ的循环带宽Ｂｃ（Ｇ，ｆ）定义为ｍａｘ（ｕ，ｖ）∈Ｅ（Ｇ）ｄ（ｆ（ｕ），ｆ（ｖ）），其中对任意ｘ，ｙ∈Ｚｎ，ｄ（ｘ，ｙ）＝ｍｉｎ｛｜ｘ－ｙ｜，ｎ－｜ｘ－ｙ｜｝．Ｇ的循环带宽Ｂｃ（Ｇ）是指对Ｇ的所有循环标号ｆ的循环带宽的最小值．借鉴关于带宽的已有结论，深入讨论循环带宽的Ｈａｒｐｅｒ型下界，所得结果将有助于确定一些特殊图的循环带宽     

Characterizing localization properties of two spinless electrons in a one-dimensional Harper model with concurrence

By mapping the Fock space of many local fermionic modes isomorphically onto a many-qubit space and using the measure of concurrence, this paper studies numerically the mode entanglement of two spinless electrons with on-site interaction U moving in the one-dimensional Harper model. Generally speaking, for electrons in extended regimes （potential parameter λ 〈 2）, the spectrum-averaged concurrence N（C） first decreases slowly as A increases until its local minimum, then increases with λ until its peak at λ = 2, while for electrons in localized regimes （λ 〉 2）, N（C） decreases drastically as λ increases. The functions of N（C） versus λ are different for electrons in extended and localized regimes. The maximum of N（C） occurs at the point λ= 2, which is the critical value in the one-dimensional singleparticle Harper model. From these studies it can distinguish extended, localized and critical regimes for the two-particle system. It is also found for the same λ that the interaction U always induce the decreases of concurrence, i.e., the concurrence can reflect the localization effect due to the interaction. All these provide us a new quantity to understand the localization properties of eigenstates of two interacting particles.     

量子Harper模型的量子计算鲁棒性与耗散退相干

运用量子轨迹和量子Monte Carlo仿真的方法,研究耗散退相干对周期驱动的量子Harper (quantum kicked Harper, QKH)模型量子计算的影响.数值仿真结果表明,一定强度的耗散干扰将破坏QKH特征状态的动态局域化以及相空间的随机网结构.以相位阻尼信道噪声模型为例分析了保真度的衰减规律以及可信计算时间尺度.与静态干扰相比,在干扰强度小于某一阈值时,耗散干扰下的可信计算时间尺度随量子比特的增加而快速下降;而在干扰强度大于该阈值时,静态干扰下的可信计算时间尺度下降更快. 关键词： 量子计算 量子Harper模型 主方程 量子Monte Carlo方法     

Uniqueness in Harper’s vertex-isoperimetric theorem

For a set $A\subseteq Q_n={\left\{0,1\right\}}^n$ the $t$-neighbourhood of $A$ is $N^t\left(A\right)=\left\{x:d\left(x,A\right)\le t\right\}$, where $d$ denotes the usual graph distance on $Q_n$. Harper’s vertex-isoperimetric theorem states that among the subsets $A\subseteq Q_n$ of given size, the size of the $t$-neighbourhood is minimised when $A$ is taken to be an initial segment of the simplicial order. Aubrun and Szarek asked the following question: if $A\subseteq Q_n$ is a subset of given size for which the sizes of both $N^t\left(A\right)$ and $N^t\left(A^c\right)$ are minimal for all $t>0$, does it follow that $A$ is isomorphic to an initial segment of the simplicial order?Our aim is to give a counterexample. Surprisingly it turns out that there is no counterexample that is a Hamming ball, meaning a set that lies between two consecutive exact Hamming balls, i.e. a set $A$ with $B\left(x,r\right)\subseteq A\subseteq B\left(x,r+1\right)$ for some $x\in Q_n$. We go further to classify all the sets $A\subseteq Q_n$ for which the sizes of both $N^t\left(A\right)$ and $N^t\left(A^c\right)$ are minimal for all $t>0$ among the subsets of $Q_n$ of given size. We also prove that, perhaps surprisingly, if $A\subseteq Q_n$ for which the sizes of $N\left(A\right)$ and $N\left(A^c\right)$ are minimal among the subsets of $Q_n$ of given size, then the sizes of both $N^t\left(A\right)$ and $N^t\left(A^c\right)$ are also minimal for all $t>0$ among the subsets of $Q_n$ of given size. Hence the same classification also holds when we only require $N\left(A\right)$ and $N\left(A^c\right)$ to have minimal size among the subsets $A\subseteq Q_n$ of given size.     

On the spectrum of a random walk on the discrete Heisenberg group and the norm of Harper''s operator

Harper's operator is the self-adjoint operator on defined by

Full-size image

. We first show that the determination of the spectrum of the transition operator on the Cayley graph of the discrete Heisenberg group in its standard presentation, is equivalent to the following upper bond on the norm of H_θ,: H_{θ,≤ 2(1 + √2 + cos(2πθ))}. We then prove this bound by reducing it to a problem on periodic Jacobi matrices, viewing H_θ, as the image of H_θ = U_θ + _θ^* + V_θ + V_θ^* in a suitable representation of the rotation algebra A_θ. We also use powers of H_θ to obtain various upper and lower bounds on H_θ = maxH_θ,. We show that “Fourier coefficients” of H_θ^k in A_θ have a combinatorial interpretation in terms of paths in the square lattice ². This allows us to give some applications to asymptotics of lattice paths combinatorics.     

Finite systems,fractional Fourier transforms and their finite phase spaces

Various harmonic oscillator models define — in a sense to be explained here — fractional Fourier transforms (up to a phase). The fractionalization of the Fourier integral transform is well understood; the finite case is less. There are several discrete and finite oscillator models that contract to the continuous, integral model. The Ankara model can be thought as a ring of point masses joined by springs to their equilibrium positions and to each other; the Cuernavaca model uses the su(2) algebra with a distinct physical interpretation. Presented at the International Colloquium “Integrable Systems and Quantum Symmetries”, Prague, 16–18 June 2005.     

On the Discriminant of Harper's Equation

The spectrum of Harper's equation is determined by the discriminant, which is a certain polynomial of degree Q if the commensurability parameter of Harper's equation is P/Q, where P, Q are coprime positive integers. A simple expression is indicated for the derivative of the discriminant at zero energy for odd Q. Three dominant terms of the asymptotics of this derivative are calculated for the case of an arbitrary P as Q increases. The result gives a lower bound on the width of the centermost band of Harper's equation and shows the effects of band clustering.     

两种扩展Harper模型的波包动力学

本文通过二次矩M₂(t)和概率分布W_n(t)数值地研究了两种扩展Harper模型的波包动力学,得到了这两种模型中各个相、各条临界线以及三相点的波包扩散情况.对于第一种扩展Harper模型,发现两个金属相中波包是弹道扩散的,在绝缘体相中波包不扩散,而在三相点以及各条临界线上波包是反常扩散的.同时,发现金属相—金属相转变的临界线上的波包动力学行为与金属相—绝缘体相转变的临界线上的相同,但三相点的动力学行为与各临 关键词： 金属绝缘体转变 扩展Harper模型 波包动力学     

Theoretical formulation of finite-dimensional discrete phase spaces: II. On the uncertainty principle for Schwinger unitary operators

We introduce a self-consistent theoretical framework associated with the Schwinger unitary operators whose basic mathematical rules embrace a new uncertainty principle that generalizes and strengthens the Massar–Spindel inequality. Among other remarkable virtues, this quantum-algebraic approach exhibits a sound connection with the Wiener–Khinchin theorem for signal processing, which permits us to determine an effective tighter bound that not only imposes a new subtle set of restrictions upon the selective process of signals and wavelet bases, but also represents an important complement for property testing of unitary operators. Moreover, we establish a hierarchy of tighter bounds, which interpolates between the tightest bound and the Massar–Spindel inequality, as well as its respective link with the discrete Weyl function and tomographic reconstructions of finite quantum states. We also show how the Harper Hamiltonian and discrete Fourier operators can be combined to construct finite ground states which yield the tightest bound of a given finite-dimensional state vector space. Such results touch on some fundamental questions inherent to quantum mechanics and their implications in quantum information theory.     

Approximating Spectral Invariants of Harper Operators on Graphs

We study Harper operators and the closely related discrete magnetic Laplacians (DML) on a graph with a free action of a discrete group, as defined by Sunada (Sun). A main result in this paper is that the spectral density function of DMLs associated to rational weight functions on graphs with a free action of an amenable discrete group can be approximated by the average spectral density function of the DMLs on a regular exhaustion, with either Dirichlet or Neumann boundary conditions. This then gives a criterion for the existence of gaps in the spectrum of the DML, as well as other interesting spectral properties of such DMLs. The technique used incorporates some results of algebraic number theory.