The triangle of fundamental one-dimensional discrete models of maximum likelihood degree one and its reflection-symmetric refinement
Abstract
A one-dimensional discrete statistical model of maximum likelihood degree one is, after Bik and Marigliano, the image of a parameterisation t ↦ (cᵢ t^(νᵢ)(1-t)^(μᵢ))ᵢ₌₀ⁿ of the probability simplex Δₙ; it is fundamental when the exponent pairs (νᵢ,μᵢ) determine the scalings cᵢ. Améndola, Nguyen and Oldekop proved that the degree of such a model is at most 2n-1, tabulated the number T(n,d) of fundamental models in Δₙ of degree d for n ≤ 7, and conjectured that T(n,2n-2)=2Σₖ₌₁ⁿ⁻¹aₖaₙ₋ₖ with aₖ=T(k,2k-1). We introduce the refinement Tˢʸᵐ(n,d), the number of those models whose support is invariant under the reflection (ν,μ) ↦ (μ,ν), i.e. under the reparameterisation t ↦ 1-t; we prove that the reflection preserves fundamentality for every support, so that T(n,d)equivTˢʸᵐ(n,d) (mod 2), and we compute Tˢʸᵐ(n,d) for n ≤ 6 and on the main diagonal up to Tˢʸᵐ(8,8)=323. The values are in no index we could find. On the almost sharp cells d=2n-2 we find Tˢʸᵐ(n,2n-2)=0 for 3 ≤ n ≤ 6: no almost sharp fundamental model is its own reflection, which is the step left implicit in the published proof of the lower bound. Rows n ≤ 4 of both triangles, including the value T(3,3)=12 that corrects an entry of Lebl and Lichtblau, are verified in the Lean 4 kernel; rows 5–7 and the value T(8,8)=1 279 349, printed only in a figure of the source, are recomputed independently by an exact search, whose measured cost we use to price the remaining open cells.
Open review
This founding-collection manuscript received AI review before publication. Independent human review is open. Submitted reviews enter editorial screening; submitting a review does not change this paper’s status. Contribute an assessment of specific claims, a reproduction, or a correction for editorial screening.
Archived files
- Version 1 · current (opens in a new tab)
Source snapshot 2026-09-07 03:53 UTC
File fingerprint
d9f1e8ffa2e36f65c55d0558012514d824825c2cf2b81257c81ad6598da89461
Claim ledger
Stated results
FM1known data2026-09-03
Statement description is not included in this imported ledger snapshot. See the PDF for the full theorem wording.
FM2known data2026-09-03
Statement description is not included in this imported ledger snapshot. See the PDF for the full theorem wording.
This ledger entry is reported in prose and is not bound to a Lean theorem.FM3known data2026-09-03
Statement description is not included in this imported ledger snapshot. See the PDF for the full theorem wording.
This ledger entry is reported in prose and is not bound to a Lean theorem.FM4known2026-09-03
Statement description is not included in this imported ledger snapshot. See the PDF for the full theorem wording.
FM5routine2026-09-03
Statement description is not included in this imported ledger snapshot. See the PDF for the full theorem wording.
FM6candidate2026-09-03
Statement description is not included in this imported ledger snapshot. See the PDF for the full theorem wording.
FM7prose2026-09-03
Statement description is not included in this imported ledger snapshot. See the PDF for the full theorem wording.
This ledger entry is reported in prose and is not bound to a Lean theorem.FM8known2026-09-03
Statement description is not included in this imported ledger snapshot. See the PDF for the full theorem wording.
FM9routine2026-09-03
Statement description is not included in this imported ledger snapshot. See the PDF for the full theorem wording.
FM10measurement2026-09-03
Statement description is not included in this imported ledger snapshot. See the PDF for the full theorem wording.
This ledger entry is reported in prose and is not bound to a Lean theorem.FM11known data2026-09-03
Statement description is not included in this imported ledger snapshot. See the PDF for the full theorem wording.
This ledger entry is reported in prose and is not bound to a Lean theorem.Provenance
- Generated by
- Machina Mathematica
- Released by
- Korea Superintelligence Labs
- Source context
- Source: Carlos Améndola, Viet Duc Nguyen, Janike Oldekop, *One-dimensional Discrete Models of Maximum Likelihood Degree One*, arXiv:2507.18686 (v1 2025-07-24, v2 2026-03-02, 25 pp, math.ST / math.AG / math.CO / math.CV), published as Adv. Appl. Math. 178 (2026) 103095, DOI 10.1016/j.aam.2026.103095. MathRepo companion: <https://mathrepo.mis.mpg.de/FundamentalModels/> (code and pickled model lists, last updated 2025-07-29/30).
- Snapshot
- 2026-09-07 03:53 UTC
- Ledger commit
801848d7