Small degree Salem numbers with trace -3

Jean-Marc Sac-Épée

2024-04-04

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.

Number Theory

What problem does this paper attempt to address?

There are Salem numbers with trace $-3$ and every degree at least $34$

Giacomo Cherubini,Pavlo Yatsyna

2024-03-25

Abstract:We prove that there exist Salem numbers with trace $-3$ and every even degree $\geq 34$. Our proof combines a theoretical approach, which allows us to treat all sufficiently large degrees, with a numerical search for small degrees. Since it is known that there are no Salem numbers of trace $-3$ and degree $\leq 30$, our result is optimal up to possibly the single value $32$, for which it is expected there are no such numbers.

Number Theory
There are Salem Numbers with Trace –3 and Every Degree At Least 34

Giacomo Cherubini,Pavlo Yatsyna,Giacomo CherubiniPavlo Yatsynaa Faculty of Mathematics and Physics,Department of Algebra,Charles University,Praha 8,Czech Republicb Istituto Nazionale di Alta Matematica "Francesco Severi",Research Unit Dipartimento di Matematica "Guido Castelnuovo",Sapienza Università di Roma,Roma,Italyc Department of Mathematics and Systems Analysis,Aalto University,Espoo,Finland

DOI: https://doi.org/10.1080/10586458.2024.2337223

2024-04-15

Experimental Mathematics

Abstract:We prove that there exist Salem numbers with trace –3 and every even degree ≥34 . Our proof combines a theoretical approach, which allows us to treat all sufficiently large degrees, with a numerical search for small degrees. Since it is known that there are no Salem numbers of trace –3 and degree ≤30 , our result is optimal up to possibly the single value 32, for which it is expected there are no such numbers.

mathematics
Salem numbers less than the plastic constant

Jean-Marc Sac-Épée

2024-09-17

Abstract:A list of Salem numbers less than $1.3$ is available on M. Mossinghoff's website (\cite{MossinghoffList}). This list is certified complete up to degree $44$ in \cite{MossinghoffRhinWu2008}, and it includes only one Salem number of degree $46$. The objective of the present work is to advance the understanding of Salem numbers by extending the list \cite{MossinghoffList} through the provision of a list of Salem numbers less than the plastic constant, denoted by $\eta$, which is approximately equal to $1.324718$. The algorithmic approach used is based on Integer Linear Programming.

Number Theory
On Salem numbers which are exceptional units II

Toufik Zaimi

2024-02-12

Abstract:We show that for any natural number $n$ satisfying $n\equiv 4 \mod 8$ and $n\not\equiv 0 \mod 5$, and for any odd integer $t\geq \frac{n+6}{2}$ there are infinitely many Salem numbers ${\alpha}$ of degree $2t$ such that ${\alpha}^n-1$ is a unit. This result, obtained using a generalization of a construction due to Gross and McMullen [5], partially completes the main result of [7].

Number Theory
A Non-Trivial Minoration for the Set of Salem Numbers

Jean-Louis Verger-Gaugry

2024-01-11

Abstract:The set of Salem numbers is proved to be bounded from below by $\theta_{31}^{-1}= 1.08544\ldots$ where $\theta_{n}$, $ n \geq 2$, is the unique root in $(0,1)$ of the trinomial $-1+x+x^n$. Lehmer's number $1.176280\ldots$ belongs to the interval $(\theta_{12}^{-1}, \theta_{11}^{-1})$. We conjecture that there is no Salem number in $(\theta_{31}^{-1}, \theta_{12}^{-1}) = (1.08544\ldots, 1.17295\ldots)$. For proving the Main Theorem, the algebraic and analytic properties of the dynamical zeta function of the Rényi-Parry numeration system are used, with real bases running over the set of real reciprocal algebraic integers, and variable tending to 1.

Number Theory
A Proof of the Conjecture of Lehmer and of the Conjecture of Schinzel-Zassenhaus

Jean-Louis Verger-Gaugry

DOI: https://doi.org/10.48550/arXiv.1709.03771

2017-09-12

Abstract:The conjecture of Lehmer is proved to be true. The proof mainly relies upon: (i) the properties of the Parry Upper functions $f_{house(\alpha)}(z)$ associated with the dynamical zeta functions $\zeta_{house(\alpha)}(z)$ of the Rényi--Parry arithmetical dynamical systems, for $\alpha$ an algebraic integer $\alpha$ of house "$house(\alpha)$" greater than 1, (ii) the discovery of lenticuli of poles of $\zeta_{house(\alpha)}(z)$ which uniformly equidistribute at the limit on a limit "lenticular" arc of the unit circle, when $house(\alpha)$ tends to $1^+$, giving rise to a continuous lenticular minorant ${\rm M}_{r}(house(\alpha))$ of the Mahler measure ${\rm M}(\alpha)$, (iii) the Poincaré asymptotic expansions of these poles and of this minorant ${\rm M}_{r}(house(\alpha))$ as a function of the dynamical degree. With the same arguments the conjecture of Schinzel-Zassenhaus is proved to be true. An inequality improving those of Dobrowolski and Voutier ones is obtained. The set of Salem numbers is shown to be bounded from below by the Perron number $\theta_{31}^{-1} = 1.08545\ldots$, dominant root of the trinomial $-1 - z^{30} + z^{31}$. Whether Lehmer's number is the smallest Salem number remains open. A lower bound for the Weil height of nonzero totally real algebraic numbers, $\neq \pm 1$, is obtained (Bogomolov property). For sequences of algebraic integers of Mahler measure smaller than the smallest Pisot number, whose houses have a dynamical degree tending to infinity, the Galois orbit measures of conjugates are proved to converge towards the Haar measure on $|z|=1$ (limit equidistribution).

Number Theory
New Lower Bounds for the Schur-Siegel-Smyth Trace Problem

Bryce Joseph Orloski,Naser Talebizadeh Sardari,Alexander Smith

2024-09-25

Abstract:We derive and implement a new way to find lower bounds on the smallest limiting trace-to-degree ratio of totally positive algebraic integers and improve the previously best known bound to 1.80203. Our method adds new constraints to Smyth's linear programming method to decrease the number of variables required in the new problem of interest. This allows for faster convergence recovering Schur's bound in the simplest case and Siegel's bound in the second simplest case of our new family of bounds. We also prove the existence of a unique optimal solution to our newly phrased problem and express the optimal solution in terms of polynomials. Lastly, we solve this new problem numerically with a gradient descent algorithm to attain the new bound 1.80203.

Number Theory,Probability
Trace field degrees in the Torelli group

Erwan Lanneau,Livio Liechti

2024-05-27

Abstract:We show that for $g\ge 2$, all integers $1 \le d \le 3g-3$ arise as trace field degrees of pseudo-Anosov mapping classes in the Torelli group of the closed orientable surface of genus $g$. Our method uses the Thurston-Veech construction of pseudo-Anosov maps, and we provide examples where the stretch factor has algebraic degree any even number between two and $6g-6$. This validates a claim by Thurston from the 1980s.

Geometric Topology,Dynamical Systems
Automorphisms of K3 surfaces, signatures, and isometries of lattices

Eva Bayer-Fluckiger

2024-05-01

Abstract:Every Salem numbers of degree 4,6,8,12,14 or 16 is the dynamical degree of an automorphism of a non-projective K3 surface. We define a notion of signature of an automorphism, and use it to give a necessary and sufficient condition for Salem numbers of degree 10 and 18 to be realized as the dynamical degree of such an automorphism. The first part of the paper contains results on isometries of lattices.

Number Theory,Algebraic Geometry,Complex Variables,Dynamical Systems
Multiplicities in the length spectrum and growth rate of Salem numbers

Alexandr Grebennikov

DOI: https://doi.org/10.1007/s00574-024-00398-4

2024-07-02

Abstract:We prove that mean multiplicities in the length spectrum of a non-compact arithmetic hyperbolic orbifold of dimension $n \geqslant 4$ have exponential growth rate $$ \langle g(L) \rangle \geqslant c \frac{e^{([n/2] - 1)L}}{L^{1 + \delta_{5, 7}(n) }}, $$ extending the analogous result for even dimensions of Belolipetsky, Lalín, Murillo and Thompson. Our proof is based on the study of (square-rootable) Salem numbers. As a counterpart, we also prove an asymptotic formula for the distribution of square-rootable Salem numbers by adapting the argument of Götze and Gusakova. It shows that one can not obtain a better estimate on mean multiplicities using our approach.

Geometric Topology,Number Theory
Θ-Congruent Numbers, Tiling Numbers and the Selmer Rank of Related Elliptic Curves: Odd N

Qiuyue Liu,Jing Yang,Keqin Feng

2020-01-01

Abstract:Several discrete geometry problems are closely related to the arithmetic theory of elliptic curves defined on the rational fields ℚ. In this paper we consider the θ-congruent number for θ=π/3 and 2π/3 and tiling number n. For the case that n⩾ 2 is square-free odd integer, we determine all n such that the Selmer rank of elliptic curve E_n,π/3: y^2=x(x-n)(x+3n) or/and E_n,2π/3: y^2=x(x+n)(x-3n) is zero. From this, we provide several series of non θ-congruent numbers for θ=π/3 and 2π/3, and non tiling numbers n with arbitrary many of prime divisors.
Arithmetic exponent pairs for algebraic trace functions and applications

Jie Wu,Ping Xi

DOI: https://doi.org/10.2140/ant.2021.15.2123

2016-01-01

Abstract:We study short sums of algebraic trace functions via the $q$-analogue of van der Corput method, and develop methods of arithmetic exponent pairs that coincide with the classical case while the moduli has sufficiently good factorizations. As an application, we prove a quadratic analogue of Brun-Titchmarsh theorem on average, bounding the number of primes $pleqslant X$ with $p^2+1equiv0pmod q$. The other two applications include a larger level of distribution of divisor functions in arithmetic progressions and a sub-Weyl subconvex bound of Dirichlet $L$-functions studied previously by Irving.
Large Salem Sets Avoiding Nonlinear Configurations

Jacob Denson

2024-10-31

Abstract:We construct large Salem sets avoiding patterns, complementing previous constructions of pattern avoiding sets with large Hausdorff dimension. For a (possibly uncountable) family of uniformly Lipschitz functions $\{ f_i : (\mathbb{T}^d)^{n-2} \to \mathbb{T}^d \}$, we obtain a Salem subset of $\mathbb{T}^d$ with dimension $d/(n-1)$ avoiding nontrivial solutions to the equation $x_n - x_{n-1} = f_i(x_1,\dots,x_{n-2})$. For a countable family of smooth functions $\{ f_i : (\mathbb{T}^d)^{n-1} \to \mathbb{T}^d \}$ satisfying a modest geometric condition, we obtain a Salem subset of $\mathbb{T}^d$ with dimension $d/(n-3/4)$ avoiding nontrivial solutions to the equation $x_n = f(x_1,\dots,x_{n-1})$. For a set $Z \subset \mathbb{T}^{dn}$ which is the countable union of a family of sets, each with lower Minkowski dimension $s$, we obtain a Salem subset of $\mathbb{T}^d$ of dimension $(dn - s)/(n - 1/2)$ whose Cartesian product does not intersect $Z$ except at points with non-distinct coordinates.

Classical Analysis and ODEs
The trace of the local $\mathbf{A}^1$-degree

Thomas Brazelton,Robert Burklund,Stephen McKean,Michael Montoro,Morgan Opie

DOI: https://doi.org/10.4310/HHA.2021.v23.n1.a13

2020-05-12

Abstract:We prove that the local $\mathbb{A}^1$-degree of a polynomial function at an isolated zero with finite separable residue field is given by the trace of the local $\mathbb{A}^1$-degree over the residue field. This fact was originally suggested by Morel's work on motivic transfers and by Kass and Wickelgren's work on the Scheja-Storch bilinear form. As a corollary, we generalize a result of Kass and Wickelgren's relating the Scheja-Storch form and the local $\mathbb{A}^1$-degree.

Algebraic Topology,Algebraic Geometry
Most odd-degree binary forms fail to primitively represent a square

Swaminathan,Ashvin A.

DOI: https://doi.org/10.1112/s0010437x23007649

2024-02-09

Compositio Mathematica

Abstract:Let be a separable integral binary form of odd degree . A result of Darmon and Granville known as 'Faltings plus epsilon' implies that the degree- superelliptic equation has finitely many primitive integer solutions. In this paper, we consider the family of degree- superelliptic equations with fixed leading coefficient , ordered by height. For every sufficiently large , we prove that among equations in the family , more than are insoluble, and more than are everywhere locally soluble but fail the Hasse principle due to the Brauer–Manin obstruction. We further show that these proportions rise to at least and <img class="inline-graphic mathjax-alternative mathjax-alt-graphic mathjax-off" src="http://static.cambridge.org/binary/version/id/urn:c -Abstract Truncated-

mathematics
Small solutions of generic ternary quadratic congruences to general moduli

Stephan Baier,Aishik Chattopadhyay

2024-09-01

Abstract:We study small non-trivial solutions of quadratic congruences of the form $x_1^2+\alpha_2x_2^2+\alpha_3x_3^2\equiv 0 \bmod{q}$, with $q$ being an odd natural number, in an average sense. This extends previous work of the authors in which they considered the case of prime power moduli $q$. Above, $\alpha_2$ is arbitrary but fixed and $\alpha_3$ is variable, and we assume that $(\alpha_2\alpha_3,q)=1$. We show that for all $\alpha_3$ modulo $q$ which are coprime to $q$ except for a small number of $\alpha_3$'s, an asymptotic formula for the number of solutions $(x_1,x_2,x_3)$ to the congruence $x_1^2+\alpha_2x_2^2+\alpha_3x_3^2\equiv 0 \bmod{q}$ with $\max\{|x_1|,|x_2|,|x_3|\}\le N$ and $(x_3,q)=1$ holds if $N\ge q^{11/24+\varepsilon}$ and $q$ is large enough. It is of significance that we break the barrier 1/2 in the above exponent. Key tools in our work are Burgess's estimate for character sums over short intervals and Heath-Brown's estimate for character sums with binary quadratic forms over small regions whose proofs depend on the Riemann hypothesis for curves over finite fields. We also formulate a refined conjecture about the size of the smallest solution of a ternary quadratic congruence, using information about the Diophantine properties of its coefficients.

Number Theory
One class of functions with arguments in negative bases

Symon Serbenyuk

DOI: https://doi.org/10.1007/s00010-023-00992-9

2023-03-13

Abstract:The present research deals with generalizations of the Salem function with arguments defined in terms of certain alternating expansions of real numbers. The special attention is given to modelling such functions by systems of functional equations.

General Mathematics
On a Ramanujan-type series associated with the Heegner number 163

John M. Campbell

2024-02-13

Abstract:Using the Wolfram NumberTheory package and the Recognize command, together with numerical estimates involving the elliptic lambda and elliptic alpha functions, Bagis and Glasser, in 2013, introduced a conjectural Ramanujan-type series related to the class number $h(-d) = 1$ for a quadratic form with discriminant $d = 163$. This conjectured series is of level one and has positive terms, and recalls the Chudnovsky brothers' alternating series of the same level, given the connection between the Chudnovsky-Chudnovsky formula and the Heegner number $d = 163$ such that $\mathbb{Q}\left( \sqrt{-d} \right)$ has class number one. We prove Bagis and Glasser's conjecture by proving evaluations for $\lambda^{\ast}(163)$ and $\alpha(163)$, which we derive using the Chudnovsky brothers' formula together with the analytic continuation of a formula due to the Borwein brothers for Ramanujan-type series of level one. As a byproduct of our method, we obtain an infinite family of Ramanujan-type series for $\frac{1}{\pi}$ generalizing the Chudnovsky algorithm.

Number Theory
Squares with three digits

Michael Geißer,Theresa Körner,Sascha Kurz,Anne Zahn

DOI: https://doi.org/10.48550/arXiv.2112.00444

2022-01-10

Abstract:We consider integers whose squares have just three decimal digits. Examples are e.g. given by $2108436491907081488939581538^2 = 4445504440405440505004450045555054500055550554550445444$ and $10100000000010401000000000101^2 = 102010000000210100200000110221001000002101002000000010201$. The aim of this paper is to summarize the current knowledge on squares with three digits, scattered around webpages and newsgroup postings, and to add a few new insights. While we will mostly focus on the base $B=10$, several results are presented for general values of $B$. The used mathematical tools are completely elementary. However, we give complete proofs of all statements or explicitly state them as conjectures.

Number Theory,Combinatorics
Sum-of-squares certificates for Vizing's conjecture via determining Gröbner bases

Elisabeth Gaar,Melanie Siebenhofer

DOI: https://doi.org/10.1016/j.jsc.2023.102236

IF: 0.97

2024-01-01

Journal of Symbolic Computation

Abstract:The famous open Vizing conjecture claims that the domination number of the Cartesian product graph of two graphs G and H is at least the product of the domination numbers of G and H. Recently Gaar, Krenn, Margulies and Wiegele used the graph class G of all graphs with n G vertices and domination number k G and reformulated Vizing's conjecture as the problem that for all graph classes G and H the Vizing polynomial is sum-of-squares (SOS) modulo the Vizing ideal. By solving semidefinite programs (SDPs) and clever guessing they derived SOS-certificates for some values of k G , n G , k H , and n H . In this paper, we consider their approach for k G = k H = 1 . For this case we are able to derive the unique reduced Gröbner basis of the Vizing ideal. Based on this, we deduce the minimum degree ( n G + n H − 1 ) / 2 of an SOS-certificate for Vizing's conjecture, which is the first result of this kind. Furthermore, we present a method to find certificates for graph classes G and H with n G + n H − 1 = d for general d, which is again based on solving SDPs, but does not depend on guessing and depends on much smaller SDPs. We implement our new method in SageMath and give new SOS-certificates for all graph classes G and H with k G = k H = 1 and n G + n H ≤ 15 .

mathematics, applied,computer science, theory & methods

Small degree Salem numbers with trace -3

There are Salem numbers with trace $-3$ and every degree at least $34$

There are Salem Numbers with Trace –3 and Every Degree At Least 34

Salem numbers less than the plastic constant

On Salem numbers which are exceptional units II

A Non-Trivial Minoration for the Set of Salem Numbers

A Proof of the Conjecture of Lehmer and of the Conjecture of Schinzel-Zassenhaus

New Lower Bounds for the Schur-Siegel-Smyth Trace Problem

Trace field degrees in the Torelli group

Automorphisms of K3 surfaces, signatures, and isometries of lattices

Multiplicities in the length spectrum and growth rate of Salem numbers

Θ-Congruent Numbers, Tiling Numbers and the Selmer Rank of Related Elliptic Curves: Odd N

Arithmetic exponent pairs for algebraic trace functions and applications

Large Salem Sets Avoiding Nonlinear Configurations

The trace of the local $\mathbf{A}^1$-degree

Most odd-degree binary forms fail to primitively represent a square

Small solutions of generic ternary quadratic congruences to general moduli

One class of functions with arguments in negative bases

On a Ramanujan-type series associated with the Heegner number 163

Squares with three digits

Sum-of-squares certificates for Vizing's conjecture via determining Gröbner bases