Dynabase


Type

Status of Problems

What each rating means is explained on the Mathematical Background page.

Rational Preperiodic

Degree Problem ℚ[K:ℚ] = 2
PolynomialNon-polynomialPolynomialNon-polynomial
2 Many points conjecturalPoonen1998experimentalVishkautsan2026experimentalWR1994, Poonen1998, Doyle2014, Doyle2018, Doyle2020open
Long cycles conjecturalPoonen1998experimentalBCHKW2014experimentalStoll2008, Hutz2013, Doyle2014, Doyle2018open
Long tails conjecturalPoonen1998experimentalBCHKW2014experimentalDoyle2014, Doyle2018open
3 Many points experimentalBenedetto2009, DoHy2025openopenopen
Long cycles experimentalBenedetto2009, Hutz2026openopenopen
Long tails experimentalBenedetto2009, Hutz2026openopenopen
4 Many points experimentalDoHy2025openopenopen
Long cycles experimentalHutz2026openopenopen
Long tails experimentalHutz2026openopenopen
5 Many points experimentalDoHy2025openopenopen
Long cycles experimentalHutz2026openopenopen
Long tails experimentalHutz2026openopenopen
6 Many points experimentalDoHy2025openopenopen
Long cycles experimentalHutz2026openopenopen
Long tails experimentalHutz2026openopenopen
7 Many points experimentalDoHy2025openopenopen
Long cycles experimentalHutz2026openopenopen
Long tails experimentalHutz2026openopenopen
8 Many points experimentalDoHy2025openopenopen
Long cycles experimentalHutz2026openopenopen
Long tails experimentalHutz2026openopenopen
9 Many points experimentalDoHy2025openopenopen
Long cycles experimentalHutz2026openopenopen
Long tails experimentalHutz2026openopenopen
10 Many points experimentalDoHy2025openopenopen
Long cycles experimentalHutz2026openopenopen
Long tails experimentalHutz2026openopenopen
11 Many points experimentalDoHy2025openopenopen
Long cycles experimentalHutz2026openopenopen
Long tails experimentalHutz2026openopenopen
12 Many points experimentalDoHy2025openopenopen
Long cycles experimentalHutz2026openopenopen
Long tails experimentalHutz2026openopenopen
13 Many points experimentalDoHy2025openopenopen
Long cycles experimentalHutz2026openopenopen
Long tails experimentalHutz2026openopenopen
14 Many points openopenopenopen
Long cycles openopenopenopen
Long tails openopenopenopen
15 Many points openopenopenopen
Long cycles openopenopenopen
Long tails openopenopenopen

Postcritically Finite

Degree ℚ[K:ℚ] = 2
PolynomialNon-polynomialPolynomialNon-polynomial
2 provenIngram2012provenLukas2014openopen
3 provenIngram2012, AMT2020openopenopen
4 provenFraser2024openopenopen
5 openopenopenopen
6 openopenopenopen
7 openopenopenopen
8 openopenopenopen
9 openopenopenopen
10 openopenopenopen
11 openopenopenopen
12 openopenopenopen
13 openopenopenopen
14 openopenopenopen
15 openopenopenopen

Small Height Ratio

Degree ℚ[K:ℚ] = 2
PolynomialNon-polynomialPolynomialNon-polynomial
2 experimentalBCHKW2014, Hutz2026experimentalBCHKW2014, Hutz2026openopen
3 experimentalBenedetto2009, Hutz2026experimentalHutz2026openopen
4 experimentalHutz2026experimentalHutz2026openopen
5 experimentalHutz2026experimentalHutz2026openopen
6 experimentalHutz2026openopenopen
7 experimentalHutz2026openopenopen
8 experimentalHutz2026openopenopen
9 experimentalHutz2026openopenopen
10 experimentalHutz2026openopenopen
11 experimentalHutz2026openopenopen
12 experimentalHutz2026openopenopen
13 openopenopenopen
14 openopenopenopen
15 openopenopenopen

Automorphism Groups

Degree ℚ[K:ℚ] = 2
PolynomialNon-polynomialPolynomialNon-polynomial
2 proven1 groupFN1997proven2 groupsMilnor1993open0 groupsopen0 groups
3 proven2 groupsFN1997proven5 groupsGHJSX2021open0 groupsopen0 groups
4 proven2 groupsFN1997proven5 groupsGHJSX2021open0 groupsopen0 groups
5 proven3 groupsFN1997open2 groupsopen0 groupsopen0 groups
6 proven2 groupsFN1997open1 groupopen0 groupsopen0 groups
7 proven4 groupsFN1997open1 groupopen0 groupsopen0 groups
8 proven2 groupsFN1997open0 groupsopen0 groupsopen0 groups
9 proven4 groupsFN1997open0 groupsopen0 groupsopen0 groups
10 proven3 groupsFN1997open0 groupsopen0 groupsopen0 groups
11 uncomputed0 groupsopen1 groupopen0 groupsopen0 groups
12 uncomputed0 groupsopen0 groupsopen0 groupsopen0 groups
13 uncomputed0 groupsopen0 groupsopen0 groupsopen0 groups
14 uncomputed0 groupsopen0 groupsopen0 groupsopen0 groups
15 uncomputed0 groupsopen0 groupsopen0 groupsopen0 groups

Automorphism Groups: Smallest Degree of Each Group

Dimension 1. For each automorphism group with a map in the database, the smallest degree of a map whose automorphism group is exactly that group, or open if there is none yet. For polynomials over ℚ the automorphism groups are completely classified (FN1997; see Mathematical Background), so that column gives the smallest possible degree, or none if no polynomial has that group. Groups are named as in GAP: Dn is dihedral of order 2n (D3 is written S3).

Group Order ℚ[K:ℚ] = 2
PolynomialNon-polynomialPolynomialNon-polynomial
C2 2 22openopen
C3 3 43openopen
C2 × C2 4 33openopen
C4 4 54openopen
C5 5 6openopenopen
C6 6 7openopenopen
S3 6 42openopen
C7 7 8openopenopen
C8 8 9openopenopen
D4 8 53openopen
C9 9 10openopenopen
D5 10 64openopen
A4 12 none3openopen
D6 12 75openopen
D7 14 86openopen
D8 16 97openopen
D9 18 10openopenopen
S4 24 none5openopen
A5 60 none11openopen