The non-unit conjecture for Misiurewicz parameters

Robert L. Benedetto; Vefa Goksel

REVIEW 3 major objections 3 minor 14 references

The non-unit conjecture for Misiurewicz parameters

T0 review · 3 major / 3 minor · reviewed 2026-08-07 · deepseek-v4-flash

Challenge this review Re-run · record.json Download PDF Read on arXiv ↗

Pith's one-line read Differences of Misiurewicz parameters are never algebraic units for prime periods up to 1024, assuming irreducibility.

desk verdict Conditional but genuinely new extension of the non-unit result to all small prime periods; the unshipped Magma base cases are the only real worry. read the letter →

arxiv 2506.05254 v2 pith:5QDKWQQW submitted 2025-06-05 math.NT

Robert L. Benedetto , Vefa Goksel This is my paper

classification math.NT MSC 37P1511R0937P20

keywords Misiurewiczparametersmultiplierpolynomialsalgebraicunitsp-specialarithmeticdynamicsirreducibilitysingularmoduliquadraticmaps

verification ladder T0 review T1 audit T2 compute T3 formal

The pith

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The reading

Misiurewicz parameters are the complex numbers $c$ for which the orbit of the critical point $0$ under $z^2+c$ lands on a periodic cycle after finitely many steps; they are the dynamical analogue of singular moduli on modular curves. The paper attacks the conjecture that a difference of two Misiurewicz parameters can never be an algebraic unit. The main theorem shows that for every $m \ge 2$, every prime $p \le 1024$, and every $n$ that is a multiple of $p$ different from $p$, the value $G_{m,p}(c_0)$ at a root $c_0$ of $G_{m,n}$ is not an algebraic unit, provided the two Misiurewicz polynomials $G_{m,p}$ and $G_{m,n}$ are irreducible over $\mathbb{Q}$. The proof works by proving that the associated multiplier polynomials are $2$-special — a condition on the $2$-adic valuations of their coefficients that forces the relevant resultants to be nontrivial — and then propagating this property from $m$ to $m+1$. If the widely believed irreducibility conjecture is eventually confirmed, the non-unit statement would hold unconditionally for all these pairs.

What carries the argument

The central objects are the Misiurewicz polynomials $G_{m,n} \in \mathbb{Z}[c]$ (whose roots are the parameters $c$ for which $0$ is strictly preperiodic of type $(m,n)$ under $z^2+c$) and their associated multiplier polynomials $P_{m,n}(x) \in \mathbb{Z}[x]$ (whose roots are the multipliers of the cycles at those parameters). The load-bearing notion is $p$-specialness: a monic integer polynomial whose second coefficient has $p$-adic valuation strictly above $v_p(2)$ and whose remaining non-leading coefficients have even larger $p$-adic valuation. The proof's engine is an induction that makes $P_{m,p}$ $2$-special for every $m$: a trace formula expresses the coefficient sum of $P_{m,p}$ in closed form; a coefficient identity compares the tail coefficients of $(P_{m,n})^2$ and $P_{m+1,n}$; and an induction step transmits $2$-specialness from $m$ to $m+1$ once a valuation bound on the trace holds. The base of the induction is $m=2$, where an explicit formula gives $\operatorname{tr}(P_{2,p}) = 2^{2p} - 2^{p+1}$, plus a small set of direct computer checks.

What would settle it

Compute the $2$-adic valuations of the relevant traces independently for all primes $3 \le p \le 1021$ and $2 \le m \le 10$; if any value violates the bound claimed in the paper, the induction in the proof of Theorem 1.3 collapses. Alternatively, find $m$ and a prime $p \le 1024$ with irreducible $G_{m,p}$ and $G_{m,n}$ for which $G_{m,p}(c_0)$ actually is an algebraic unit, which would disprove the theorem itself.

Watch

Extended reading notes

Core claim

The paper's central claim is Theorem 1.3: fix $m \ge 2$, let $p$ be a prime at most $1024$, let $n$ be a positive multiple of $p$ different from $p$, and let $c_0$ be a root of $G_{m,n}$. If $G_{m,p}$ and $G_{m,n}$ are irreducible over $\mathbb{Q}$, then $G_{m,p}(c_0)$ is not an algebraic unit. The argument works by showing that the multiplier polynomial $P_{m,p}$ — whose roots are the multipliers of the periodic cycles of the maps $z^2+c$ as $c$ runs over roots of $G_{m,p}$ — is $2$-special in the sense of the paper's Definition 2.3: the $2$-adic valuation of its second coefficient exceeds $v_2(2)$, and all other non-leading coefficients have even larger valuation. By the authors' earlier result, $2$-specialness of $P_{m,p}$ forces the resultant with every cyclotomic polynomial to exceed $1$ in absolute value, and that implies the non-unit conclusion. The main new work is an induction on $m$: a trace formula and a coefficient-matching identity show that the required valuation bounds propagate from $m$ to $m+1$ once they hold for $m \le 10$, and the base cases are verified by an explicit formula for $m=2$ together with a finite computation for all primes $3 \le p \le 1021$ and $2 \le m \le 10$.

Load-bearing premise

The whole induction rests on a large finite computer calculation, only partially reproduced in the paper, that bounds the $2$-adic valuation of certain traces for every prime up to $1021$ and every $m$ from $2$ to $10$; if any of those computed values were wrong, the chain that makes all multiplier polynomials $2$-special would break.

Editorial extensions

If this is right

For every $m \ge 2$ and every prime $p \le 1024$, once $G_{m,p}$ and $G_{m,n}$ are irreducible, the value $G_{m,p}(c_0)$ at a root of $G_{m,n}$ is never an algebraic unit, settling the dynamical unit question for all such pairs.
If in addition $G_{m,p}$ stays irreducible over the field $\mathbb{Q}(c_0)$, then the actual difference between a root of $G_{m,n}$ and a root of $G_{m,p}$ is not an algebraic unit, giving the exact dynamical analogue of the singular-moduli non-unit theorem.
This is a substantial extension of the authors' earlier result, which covered only periods $1$ and $2$; the new theorem covers every prime period up to $1024$.
Should the irreducibility conjecture for all $G_{m,n}$ be proved, the conditional non-unit statement becomes unconditional, with the range of $p$ limited only by the verified trace computations.

Reading between the lines

Editorial extensions of the paper, not claims the author makes directly.

The bound $1024$ is a computational cutoff, not a conceptual one: the induction that proves $2$-specialness is uniform in $p$, so redoing the finite trace-valuation check for larger primes would extend the theorem to any desired range.
The $p$-special machinery is defined for any prime, and the same trace-valuation comparison might work for an odd prime $q$: determining whether the $q$-adic valuations of the same traces obey an analogous bound would reveal whether the non-unit phenomenon is purely $2$-adic in this family.
The structural similarity with the singular-moduli non-unit theorem suggests a general principle for one-dimensional arithmetic families: special points are never connected by unit differences, a phenomenon that might extend to higher-degree dynamical families once the appropriate multiplier polynomials are understood.

Share X Bluesky LinkedIn Reddit HN

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, and a circularity audit.

Desk Editor's Note

read the letter

This is a real extension, not a repackaging. The trace relation in Theorem 3.1 and the induction via 2-specialness are new, and they push the non-unit result from periods 1 and 2 to every prime p up to 1021. The theorem is conditional on irreducibility, which is stated clearly, so the conditional status is not a hidden flaw.

What the paper does well: the proof structure is transparent. The new trace relation is a solid piece of algebra, and the propagation argument (Corollary 3.2 plus the trace-bound induction) is elegant. The paper is honest about what depends on computation and what depends on the irreducibility conjecture. The base cases are finite and checkable, and the authors give a table with enough entries to make the pattern plausible.

Soft spots: the load-bearing computational base is not shipped. Inequality (23) is verified by Magma for all primes 3<=p<=1021 and 2<=m<=10, but only a subset of the valuations appears in Table 1, and no code or full data is available. Theorem 4.1 also relies on 27 direct Magma checks of 2-specialness, including P_{6,11}, which is huge. If any of those computations is wrong, the induction that produces 2-special P_{m,p} for all m collapses, and with it Theorem 1.3. This is the one place a referee should push. The irreducibility hypotheses are explicit, so they are fine, but they mean the main theorem is conditional on an open conjecture. The paper itself notes that the full data would take too much space, which is understandable, but for a statement that depends on thousands of machine computations, shipping code or a data file is the norm.

Who it is for: arithmetic dynamicists working on dynamical Andre-Oort, Misiurewicz parameters, and algebraic units. It is written clearly and the math is serious. The result is conditional, but the conditional statement is new and meaningful. If the computations check out, the theorem extends the program in a substantial way.

Recommendation: send to peer review. The referee should ask for the code or full trace data before accepting, but the paper deserves a serious referee. The missing data is fixable, and the central argument holds up if the computational base is sound.

Referee Report

3 major / 3 minor

Summary. Benedetto and Goksel prove, under explicit irreducibility assumptions on Misiurewicz polynomials, that G_{m,p}(c0) is not an algebraic unit for every root c0 of G_{m,n}, whenever p is a prime at most 1024, n is a positive multiple of p with n != p, and m >= 2. The proof uses the notion of p-specialness from their earlier work, a trace formula for the multiplier polynomials P_{m,p}, a coefficient/trace relation comparing (P_{m,n})^2 with P_{m+1,n}, and an induction over m showing that P_{m,p} is 2-special for all m. The base of the induction is a set of Magma computations of 2-adic trace valuations and 27 exceptional 2-specialness checks.

Significance. If correct, Theorem 1.3 gives infinitely many parameter pairs (m,n) for each prime period p <= 1024 for which the difference of two Misiurewicz parameters is not an algebraic unit, conditional on the stated irreducibility conjecture. This is a substantive extension of the authors' earlier cases ell = 1,2 and provides a dynamical analogue of Li's theorem on singular moduli. The proof is arithmetic and has no fitted parameters; the irreducibility conditions are explicitly isolated rather than hidden. The main obstacle to verification is the computational base, whose completeness and reproducibility are essential to the induction.

major comments (3)

[Section 4, Eq. (23) and Theorem 4.1] The induction proving Theorem 1.3 rests on two asserted Magma computations: the verification of v2(tr(P_{m,p})) < m + 3p/2 for all primes 3 <= p <= 1021 and all integers 2 <= m <= 10, and the 27 direct checks of 2-specialness of P_{m+1,n} in the exceptional cases listed in Theorem 4.1. Neither the code nor the full data is shipped; Table 1 contains only a small subset of the trace valuations, and the 27 checks are asserted without stating a verification protocol. Because any error in these computations collapses the induction producing 2-special P_{m,p} for all m, and with it the resultant bound driving Proposition 2.2, I cannot verify the base of the induction from the manuscript as it stands. Please include the Magma code or a complete machine-readable table of the valuations, and explain how the 27 checks, including the large-degree case P_{6,11}, were performed.
[Section 4, proof of Theorem 4.1] The displayed difference (2/3)(2^{m-1}-m-3) - (2m+2) = (2/3)(2^{m-1}-4m-6) is asserted to be negative for m >= 6. This is backwards: for m = 6 the expression equals 4/3, and it is positive for all m >= 6. The subsequent conclusion that inequality (19) holds for all m >= 6 requires the difference to be nonnegative, so the written proof contains a sign error at a load-bearing step. The intended argument is clear, but the text must be corrected.
[Section 4, proof of Theorem 1.3, Eq. (22)] Equation (22) is invoked for all 2 <= m <= 10, but Theorem 2.10 is stated for m >= 3. The m = 2 case is supplied separately in Remark 2.11, but the proof of Theorem 1.3 does not explicitly say that it uses Remark 2.11 for the m = 2 trace computations. Please state this explicitly so the reader can see how the claimed base cases are covered.

minor comments (3)

[Definition 2.1] The word 'polymomial' should be 'polynomial'.
[Table 1 and Section 5] The caption says the entries are 'relative to m+p', but the text explains that the relevant bound used in the proof is m + 3p/2. Please state explicitly that all tabulated entries, including the boldface ones where the sharper bound v2 <= m+p fails, do satisfy the required inequality (23).
[Theorem 4.1, exceptional cases] The parenthetical remark says that [3, Theorem 1.7] covers 'the six cases above with n=1,2'; this count is correct because m=5 has no n=1,2 cases, but the sentence could be phrased more clearly to avoid confusion with the eight total n=1,2 combinations over m=2,3,4,5.

Circularity Check

0 steps flagged · score 1.0 of 10

No significant circularity: the theorem is conditional on explicit irreducibility assumptions and finite Magma checks, with the central reduction resting on independent prior results rather than on the target conclusion.

full rationale

The derivation of Theorem 1.3 does not define its conclusion into its hypotheses. The central reduction (Proposition 2.2 plus Theorem 2.4) is imported from the authors' earlier papers [2,3], but those are separate published theorems, not restatements of the non-unit conjecture: they reduce unithood of G_{m,p}(c0) to non-triviality of a resultant, and that resultant is then established from 2-specialness rather than from the target. The irreducibility assumptions on G_{m,p} and G_{m,n} are explicit hypotheses and are not derived from the theorem, so the result is conditional in a stated way. The base-case verification of (23) and the 27 Magma checks are finite computations outside the theorem's conclusion; even though the full data and code are not shipped, a wrong computation would be a correctness or reproducibility failure, not a circularity. No parameter is fitted to the unit claim, no quantity is renamed, and no uniqueness theorem is invoked to force the choice. The self-citations are load-bearing in the proof but are independent input, not conclusions of the paper.

Assumptions & free parameters 0 free parameters · 3 assumptions · 0 invented entities

The theorem is conditional on irreducibility and on unshown computational checks; no fitted parameters or invented objects are introduced.

assumptions (3)

domain assumption G_{m,n} and G_{m,p} are irreducible over Q for the m,n,p appearing in Theorem 1.3.
Stated as a hypothesis in Theorem 1.3; a widely believed but unproved conjecture. The theorem is conditional on it.
domain assumption The Magma computations used in the proof are correct, including v2(tr(P_{m,p})) for every prime 3<=p<=1021 and 2<=m<=10, and the 27 direct 2-specialness checks in Theorem 4.1.
No code or full data is provided; only selected entries appear in Table 1.
standard math Previous results [3, Proposition 2.2; 3, Theorem 2.4; 3, Lemma 6.3; 3, Theorem 1.7; 7, Corollary 1.1] are correct.
These are published results by the same and other authors, used as black boxes.

how reviews work

0 comments

Cite this review

Pith. "Pith review of The non-unit conjecture for Misiurewicz parameters." pith.science (2026). https://pith.science/paper/5QDKWQQW

@misc{pith2026250605254,
  author       = {Pith},
  title        = {Pith review of: The non-unit conjecture for Misiurewicz parameters},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/5QDKWQQW}},
  note         = {Machine review of arXiv:2506.05254}
}

abstract

A Misiurewicz parameter is a complex number $c$ for which the orbit of the critical point $z=0$ under $z^2+c$ is strictly preperiodic. Such parameters play the same role as special points in dynamical moduli spaces that singular moduli (corresponding to CM elliptic curves) play as special points on modular curves. Building on our earlier work, we investigate whether the difference of two Misiurewicz parameters can be an algebraic unit. (The corresponding question for singular moduli was recently answered in the negative by Li.) We answer this dynamical question in many new cases under a widely believed irreducibility assumption.

Discussion (0). Sign in to comment.

Reference graph

Works this paper leans on

14 extracted references · 14 canonical work pages

[1]

Baker and L

M. Baker and L. DeMarco,Special curves and postcritically-finite polynomials, Forum of Mathematics, Pi 1, 2013

work page 2013
[2]

Benedetto and V

R.L. Benedetto and V . Goksel,Misiurewicz polynomials and dynamical units, Part I, Int. J. Number Theory, V ol. 19, No. 6, pp. 1249-1267 (2023)

work page 2023
[3]

Benedetto and V

R.L. Benedetto and V . Goksel,Misiurewicz polynomials and dynamical units, Part II, Res. number theory 10, 58 (2024)

work page 2024
[4]

X. Buff, A. Epstein, and S. Koch,Prefixed curves in moduli space, Amer. J. Math.144(2022), no. 6, 1485–1509

work page 2022
[5]

Buff,On postcritically finite unicritical polynomials, New York J

X. Buff,On postcritically finite unicritical polynomials, New York J. Math. 24, 1111–1122, 2018

work page 2018
[6]

Ghioca, H

D. Ghioca, H. Krieger, K.D. Nguyen, and H. Ye,The dynamical Andr ´e-Oort Conjecture: Unicritical poly- nomials, Duke Math. J. 166(1) (2017), 1–25

work page 2017
[7]

Goksel,On the orbit of a post-critically finite polynomial of the formx d +c, Funct

V . Goksel,On the orbit of a post-critically finite polynomial of the formx d +c, Funct. Approx. Comment. Math.62 (1)(2020), 95–104

work page 2020
[8]

Goksel,A note on Misiurewicz polynomials, Journal de Th ´eorie des Nombres de Bordeaux, V olume 32 (2020), No

V . Goksel,A note on Misiurewicz polynomials, Journal de Th ´eorie des Nombres de Bordeaux, V olume 32 (2020), No. 2, p. 373–385

work page 2020

Show all 14 references

[9]

Gross, and D.B

B.H. Gross, and D.B. Zagier,On singular moduli, J. Reine Angew. Math. 355 (1984): 191-220

1984
[10]

B. Hutz, A. Towsley,Misiurewicz points for polynomial maps and transversality, New York J. Math. 21, 297–319, 2015

2015
[11]

Math., 157(5):1022–1035, 2021

Y Li,Singular units and isogenies between CM elliptic curves, Compos. Math., 157(5):1022–1035, 2021

2021
[12]

Milnor,Arithmetic of unicritical polynomial maps, Frontiers in Complex Dynamics: In Celebration of John Milnor’s 80th Birthday (2012), 15–23

J. Milnor,Arithmetic of unicritical polynomial maps, Frontiers in Complex Dynamics: In Celebration of John Milnor’s 80th Birthday (2012), 15–23

2012
[13]

Patra,Irreducibility of eventually 2-periodic curves in the moduli space of cubic polynomials, preprint (2023)

N. Patra,Irreducibility of eventually 2-periodic curves in the moduli space of cubic polynomials, preprint (2023). arXiv:2305.19944

2023 arXiv
[14]

Silverman,The Arithmetic of Dynamical Systems, Springer, New York, 2007

J.H. Silverman,The Arithmetic of Dynamical Systems, Springer, New York, 2007. THE NON-UNIT CONJECTURE FOR MISIUREWICZ PARAMETERS 19 (m, p) v2(tr(Pm,p)) m+p (m, p) v2(tr(Pm,p)) m+p (10,509) 512 519 (10,503) 511 513 (10,499) 509 509 (10,491) 496 501 (10,487) 500 497 (10,479) 486...

2007

Pith tools

Reviewed August 7, 2026 · model on record in the stance chip above.

[1] [1]

Baker and L

M. Baker and L. DeMarco,Special curves and postcritically-finite polynomials, Forum of Mathematics, Pi 1, 2013

work page 2013

[2] [2]

Benedetto and V

R.L. Benedetto and V . Goksel,Misiurewicz polynomials and dynamical units, Part I, Int. J. Number Theory, V ol. 19, No. 6, pp. 1249-1267 (2023)

work page 2023

[3] [3]

Benedetto and V

R.L. Benedetto and V . Goksel,Misiurewicz polynomials and dynamical units, Part II, Res. number theory 10, 58 (2024)

work page 2024

[4] [4]

X. Buff, A. Epstein, and S. Koch,Prefixed curves in moduli space, Amer. J. Math.144(2022), no. 6, 1485–1509

work page 2022

[5] [5]

Buff,On postcritically finite unicritical polynomials, New York J

X. Buff,On postcritically finite unicritical polynomials, New York J. Math. 24, 1111–1122, 2018

work page 2018

[6] [6]

Ghioca, H

D. Ghioca, H. Krieger, K.D. Nguyen, and H. Ye,The dynamical Andr ´e-Oort Conjecture: Unicritical poly- nomials, Duke Math. J. 166(1) (2017), 1–25

work page 2017

[7] [7]

Goksel,On the orbit of a post-critically finite polynomial of the formx d +c, Funct

V . Goksel,On the orbit of a post-critically finite polynomial of the formx d +c, Funct. Approx. Comment. Math.62 (1)(2020), 95–104

work page 2020

[8] [8]

Goksel,A note on Misiurewicz polynomials, Journal de Th ´eorie des Nombres de Bordeaux, V olume 32 (2020), No

V . Goksel,A note on Misiurewicz polynomials, Journal de Th ´eorie des Nombres de Bordeaux, V olume 32 (2020), No. 2, p. 373–385

work page 2020