Showing 1–3 of 3 results for author: Myklebust, T G

Quantum Walks on Generalized Quadrangles

Authors: Chris Godsil, Krystal Guo, Tor G. J. Myklebust

Abstract: We study the transition matrix of a quantum walk on strongly regular graphs. It is proposed by Emms, Hancock, Severini and Wilson in 2006, that the spectrum of $S^+(U^3)$, a matrix based on the amplitudes of walks in the quantum walk, distinguishes strongly regular graphs. We probabilistically compute the spectrum of the line intersection graphs of two non-isomorphic generalized quadrangles of ord… ▽ More We study the transition matrix of a quantum walk on strongly regular graphs. It is proposed by Emms, Hancock, Severini and Wilson in 2006, that the spectrum of $S^+(U^3)$, a matrix based on the amplitudes of walks in the quantum walk, distinguishes strongly regular graphs. We probabilistically compute the spectrum of the line intersection graphs of two non-isomorphic generalized quadrangles of order $(5^2,5)$ under this matrix and thus provide strongly regular counter-examples to the conjecture. △ Less

Submitted 5 November, 2015; originally announced November 2015.

Comments: 5 pages

MSC Class: 05C50; 81P68

Computing accurate Horner form approximations to special functions in finite precision arithmetic

Authors: Tor G. J. Myklebust

Abstract: In various applications, computers are required to compute approximations to univariate elementary and special functions such as $\exp$ and $\arctan$ to modest accuracy. This paper proposes a new heuristic for automating the design of such implementations. This heuristic takes a certain restricted specification of program structure and the desired error properties as input and takes explicit accou… ▽ More In various applications, computers are required to compute approximations to univariate elementary and special functions such as $\exp$ and $\arctan$ to modest accuracy. This paper proposes a new heuristic for automating the design of such implementations. This heuristic takes a certain restricted specification of program structure and the desired error properties as input and takes explicit account of roundoff error during evaluation. △ Less

Submitted 13 August, 2015; originally announced August 2015.

Comments: 10 pages, 6 figures

MSC Class: 33F05 ACM Class: G.1.2

Solving maximum cut problems by simulated annealing

Authors: Tor G. J. Myklebust

Abstract: This paper gives a straightforward implementation of simulated annealing for solving maximum cut problems and compares its performance to that of some existing heuristic solvers. The formulation used is classical, dating to a 1989 paper of Johnson, Aragon, McGeoch, and Schevon. This implementation uses no structure peculiar to the maximum cut problem, but its low per-iteration cost allows it to fi… ▽ More This paper gives a straightforward implementation of simulated annealing for solving maximum cut problems and compares its performance to that of some existing heuristic solvers. The formulation used is classical, dating to a 1989 paper of Johnson, Aragon, McGeoch, and Schevon. This implementation uses no structure peculiar to the maximum cut problem, but its low per-iteration cost allows it to find better solutions than were previously known for 40 of the 89 standard maximum cut instances tested within a few minutes of computation. △ Less

Submitted 9 May, 2015; originally announced May 2015.

Comments: 9 pages, 5 figures

MSC Class: 90C59 ACM Class: F.2.2; I.2.8