Hostname: page-component-76fb5796d-22dnz Total loading time: 0 Render date: 2024-04-29T21:07:48.895Z Has data issue: false hasContentIssue false

GENERAL FORMS FOR MINIMAL SPECTRAL VALUES FOR A CLASS OF QUADRATIC PISOT NUMBERS

Published online by Cambridge University Press:  24 March 2003

PETER BORWEIN
Affiliation:
Department of Mathematics and Statistics, Simon Fraser University, Burnaby, British Columbia, Canada V5A 1S6 pborwein@cecm.math.sfu.ca
KEVIN G. HARE
Affiliation:
Department of Mathematics and Statistics, Simon Fraser University, Burnaby, British Columbia, Canada V5A 1S6 kghare@cecm.math.sfu.ca
Get access

Abstract

This paper studies the spectrum that results when all height one polynomials are evaluated at a Pisot number. This continues the research theme initiated by Erdős, Joó and Komornik in 1990. Of particular interest is the minimal non-zero value of this spectrum. Formally, this value is denoted as $l^1(q)$ , and this definition is extended to all height $m$ polynomials as \[ l^m(q):= \inf(\vert y\vert: y = \epsilon_0 + \epsilon_1 q^1 + \cdots + \epsilon_n q^n,\, \epsilon_i \in {\bb Z},\, \vert\epsilon_i\vert \leqslant m,\, y \ne 0). \] A recent result in 2000, of Komornik, Loreti and Pedicini gives a complete description of $l^m(q)$ when $q$ is the Golden ratio. This paper extends this result to include all unit quadratic Pisot numbers. A main theorem is as follows.

THEOREM. Let $q$ be a quadratic Pisot number that satisfies a polynomial of the form $p(x) = x^2 - ax \pm 1$ , with conjugate $r$ . Let $q$ have convergents $\{C_k/D_k\}$ and let $k$ be the maximal integer such that \[ \vert D_k r - C_k\vert \leqslant m \frac{1}{1-\vert r\vert}; \] then \[ l^m (q) = \vert D_k q - C_k \vert. \]

A value related to $l(q)$ is $a(q)$ , the minimal non-zero value when all ${\pm}1$ polynomials are evaluated at $q$ . Formally, this is \[ a(q) := \inf(\vert y\vert: y = \epsilon_0 + \epsilon_1 q^2 + \cdots + \epsilon_n q^n,\, \epsilon_i = {\pm} 1,\, y \ne 0). \] An open question concerning how often $a(q) = l(q)$ is also answered in this paper.

Type
NOTES AND PAPERS
Copyright
© The London Mathematical Society 2003

Access options

Get access to the full version of this content by using one of the access options below. (Log in options will check for institutional or personal access. Content may require purchase if you do not have access.)

Footnotes

Research of K. G. Hare supported by MITACS and by NSERC of Canada, and P. Borwein supported by MITACS and by NSERC of Canada.