Abstract:The contribution of this work is to provide tables of Salem numbers with trace -3 and small degrees, namely degrees 2d = 34, 36, 38, and 40. The implemented method also generates a list of totally positive polynomials of degrees d = 17, 18, 19, and 20, with trace 2d - 3, a single root strictly greater than 4, and all other roots strictly between 0 and 4.
What problem does this paper attempt to address?
The problem that this paper attempts to solve is to provide specific examples of Salem numbers with specific properties, especially Salem numbers with a trace of -3 and a relatively small degree (i.e., degrees of 34, 36, 38, and 40). In addition, this method also generates a series of totally positive polynomials. These polynomials have degrees of 17, 18, 19, and 20 respectively, a trace of \(2d - 3\), and have one root strictly greater than 4, while all other roots are strictly between 0 and 4.
### Background and Problem Description
**Salem numbers** are a special class of algebraic integers, which are defined as follows:
- A Salem number is a real algebraic integer strictly greater than 1.
- The modulus of all its conjugates is less than or equal to 1, and at least one conjugate has a modulus equal to 1.
- Its minimal polynomial (called the Salem polynomial) is self - reciprocal, that is, it satisfies \(x^d P\left(\frac{1}{x}\right)=P(x)\), where \(d\) is the degree of the polynomial.
The trace of a Salem number refers to the sum of the roots of its minimal polynomial. For a polynomial \(P(x)=\sum_{k = 0}^{d}a_k x^k\), where \(a_d = 1\), the trace is equal to \(-a_{d - 1}\).
### Research Motivation
In the past few decades, much research has been devoted to finding Salem numbers with different traces. Although it is known that Salem numbers with any positive trace exist, the situation for negative traces is much more complicated. For example:
- In 2004, J. McKee and C.J. Smyth provided Salem numbers with a trace of - 2.
- In 2005, they proved the existence of Salem numbers with all negative traces.
- In 2011, J. McKee provided a specific example of a Salem number with a trace of -3 and a degree of 54.
- In 2014, G. Cherubini and P. Yatsyna proved the existence of Salem numbers with a trace of -3 and each even degree \(\geq34\), and provided specific examples of degrees from 34 to 52, as well as an example of degree 58.
### Contributions of This Paper
The main contributions of this paper are to generate a new set of Salem numbers through an optimization algorithm, specifically including:
- Salem numbers with degrees of 34, 36, 38, and 40 and a trace of -3.
- Generate a series of totally positive polynomials. These polynomials have degrees of 17, 18, 19, and 20 respectively, a trace of \(2d - 3\), and satisfy specific root conditions.
Through these results, the author hopes to supplement and improve the research on Salem numbers with a trace of -3 in the existing literature, especially in the case of smaller degrees.
### Method Overview
To find these Salem numbers, the author used an integer linear optimization method. The specific steps include:
1. **Variable Transformation**: Transform the Salem polynomial into a single - variable polynomial \(Q\) with integer coefficients through the variable transformation \(z=x+\frac{1}{x}+2\).
2. **Auxiliary Function Method**: Use an explicit auxiliary function to locate the zeros of the polynomial. This method was introduced by C.J. Smyth and is used to study the absolute trace of totally positive algebraic integers.
3. **Random Sampling**: Randomly sample multiple real numbers within a given interval as the roots of the polynomial, and then reconstruct the polynomial to propose reliable integer - coefficient boundaries.
4. **Optimization Solution**: Use the JuMP modeling language and the Gurobi optimization library to construct and solve the optimization problem to find polynomials that satisfy the constraint conditions.
Through these methods, the author successfully generated multiple Salem numbers that satisfy the conditions and showed their specific forms and properties.
### Conclusion
The improvement of the optimization algorithm proposed in this paper enables the author to find results that were previously difficult to obtain. The author hopes that these results can help improve the research on Salem numbers with a trace of -3, especially the integrity in the cases of degrees 34, 36, and possibly 38.