There are no two non-real conjugates of a Pisot number with the same imaginary part

TL;DR

This paper proves uniqueness and non-existence results for additive relations among conjugates of Pisot numbers, showing specific configurations are impossible or unique, thereby deepening understanding of their algebraic properties.

Contribution

It establishes the uniqueness of a specific Pisot number with a four-term additive relation among conjugates and proves the non-existence of certain other additive relations.

Findings

The number b1=(1+\u221a{3+27;7;5})/2 is the only Pisot number with four conjugates satisfying \u03b1_1+7;7;7;7;=7;7;7;7;+7;7;7;7;.

The paper shows no two non-real conjugates of a Pisot number can have the same imaginary part.

It proves that roots of Siegel's polynomial are the only solutions to 7;7;7;+7;7;7;+7;7;7;=0 in conjugates of Pisot numbers.

Abstract

We show that the number $\alpha=(1+\sqrt{3+2\sqrt{5}})/2$ with minimal polynomial $x^4-2x^3+x-1$ is the only Pisot number whose four distinct conjugates $\alpha_1,\alpha_2,\alpha_3,\alpha_4$ satisfy the additive relation $\alpha_1+\alpha_2=\alpha_3+\alpha_4$. This implies that there exists no two non-real conjugates of a Pisot number with the same imaginary part and also that at most two conjugates of a Pisot number can have the same real part. On the other hand, we prove that similar four term equations $\alpha_1 = \alpha_2 + \alpha_3+\alpha_4$ or $\alpha_1 + \alpha_2 + \alpha_3 + \alpha_4 =0$ cannot be solved in conjugates of a Pisot number $\alpha$. We also show that the roots of the Siegel's polynomial $x^3-x-1$ are the only solutions to the three term equation $\alpha_1+\alpha_2+\alpha_3=0$ in conjugates of a Pisot number. Finally, we prove that there exists no Pisot number whose conjugates satisfy the relation $\alpha_1=\alpha_2+\alpha_3$.