Source author record

Chris Smyth

Chris Smyth appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.

ResearcherUnclaimed source record

math.NT math.CO math.LO

Catalog footprint

What is connected

5works

3topics

4close collaborators

Actions

Connect this record

Open graph Browse works

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.

preprint2020arXiv

Symmetrizable integer matrices having all their eigenvalues in the interval [-2,2]

The adjacency matrices of graphs form a special subset of the set of all integer symmetric matrices. The description of which graphs have all their eigenvalues in the interval [-2,2] (i.e., those having spectral radius at most 2) has been known for several decades. In 2007 we extended this classification to arbitrary integer symmetric matrices. In this paper we turn our attention to symmetrizable matrices. We classify the connected nonsymmetric but symmetrizable matrices which have entries in $\Z$ that are maximal with respect to having all their eigenvalues in [-2,2]. This includes a spectral characterisation of the affine and finite Dynkin diagrams that are not simply laced (much as the graph result gives a spectral characterisation of the simply laced ones).

preprint2020arXiv

The Cassels heights of cyclotomic integers

We study the set $\mathscr C$ of mean square values of the moduli of the conjugates of cyclotomic integers $β$. For its $k$th derived set $\mathscr C^{(k)}$, we show that $\mathscr C^{(k)}=(k+1)\mathscr C\,\, (k\ge 0)$, so that also ${\mathscr C}^{(k)}+{\mathscr C}^{(\ell)}={\mathscr C}^{(k+\ell+1)}\,\,(k,\ell\ge 0)$. We also calculate the order type of $\mathscr C$, and show that it is the same as that of the set of PV numbers. Furthermore, we describe precisely the restricted set $\mathscr C_p$ where the $β$ are confined to the ring $\mathbb Z[ω_p]$, where $p$ is an odd prime and $ω_p$ is a primitive $p$th root of unity. In order to do this, we prove that both of the quadratic polynomials $a^2+ab+b^2+c^2+a+b+c$ and $a^2+b^2+c^2+ab+bc+ca+a+b+c$ are universal.

preprint2015arXiv

Survey article: Seventy years of Salem numbers

I survey results about, and recent applications of, Salem numbers.

preprint2014arXiv

Bounding the Number of Maximal Torsion Cosets on Subvarieties of Algebraic Tori

We obtain bounds on the number of maximal torsion cosets for algebraic subvarieties of n-tori, defined over the rationals, using model theoretic methods.

preprint2004arXiv

There are Salem numbers of every trace

We show that there are Salem numbers of every trace. The nontrivial part of this result is for Salem numbers of negative trace. The proof has two main ingredients. The first is a novel construction, using pairs of polynomials whose zeros interlace on the unit circle, of polynomials of specified negative trace having one factor a Salem polynomial, with any other factors being cyclotomic. The second is an upper bound for the exponent of a maximal torsion coset of an algebraic torus in a variety defined over the rationals. This second result, which may be of independent interest, enables us to refine our construction to avoid getting cyclotomic factors, giving a Salem polynomial of any specified trace, with a trace-dependent bound for its degree. We show also how our interlacing construction can be easily adapted to produce Pisot polynomials, giving a simpler, and more explicit, construction for Pisot numbers of arbitrary trace than previously known.