SearcharxivSearch

arXiv subjects

B. Hanson

Publications and source records attributed to B. Hanson.

3 recordsLinked to original sources

Lipschitz one sets modulo sets of measure zero

We denote the local "little" and "big" Lipschitz functions of a function $f: {{\mathbb R}}\to {{\mathbb R}}$ by $ {\mathrm {lip}}f$ and $ {\mathrm {Lip}}f$. In this paper we continue our research concerning the following question. Given a set $E {\subset} {{\mathbb R}}$ is it possible to find a continuous function $f$ such that $ {\mathrm {lip}}f=\mathbf{1}_E$ or $ {\mathrm {Lip}}f=\mathbf{1}_E$? In giving some partial answers to this question uniform density type (UDT) and strong uniform density type (SUDT) sets play an important role. In this paper we show that modulo sets of zero Lebesgue measure any measurable set coincides with a ${\mathrm {Lip}} 1$ set. On the other hand, we prove that there exists a measurable SUDT set $E$ such that for any $G_\delta$ set $\widetilde{E}$ satisfying $|E\Delta\widetilde{E}|=0$ the set $\widetilde{E}$ does not have UDT. Combining these two results we obtain that there exists ${\mathrm {Lip}} 1$ sets not having UDT, that is, the converse of one of our earlier results does not hold.

math.CA

Nonreversal and nonrepeating quantum walks

We introduce a variation of the discrete time quantum walk, the nonreversal quantum walk, which does not step back onto a position which it has just occupied. This allows us to simulate a dimer and we achieve it by introducing a new type of coin operator. The nonrepeating walk, which never moves in the same direction in consecutive time steps, arises by a permutation of this coin operator. We describe the basic properties of both walks and prove that the even-order joint moments of the nonrepeating walker are independent of the initial condition, being determined by five parameters derived from the coin instead. Numerical evidence suggests that the same is the case for the nonreversal walk. This contrasts strongly with previously studied coins, such as the Grover operator, where the initial condition can be used to control the standard deviation of the walker.

quant-ph