{"id":"d399f71b-9b84-4a74-be4e-0ff5e8d364e0","arxiv_id":"2507.07038","paper_version":1,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":5.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"Rational-angle a^4b pentagonal sphere tilings are exactly three families: a 12-tile tetrahedral subdivision, a 4m-tile symmetric family with flips, and a 20-tile non-symmetric case.","lead":"This paper lists every way to tile a sphere with identical five-sided tiles when four edges share one length, the fifth edge has another, and all corner angles are rational numbers in degrees. It completes a long-running classification series, giving a shorter proof, explicit tile data, and 3D pictures of the resulting tilings.","discovery_kind":"replication","skeptic_critique":{"model":"deepseek-v4-flash","headline":"The completeness of the theorem rests on dozens of unverified 'no cyclotomic root' claims in the Appendix; one missed cyclotomic factor would add an unlisted rational angle solution, so the classification is not yet auditable.","rationale":"The main theorem is a completeness classification. The derivation from Lemma 8 to Eq. (2.6) is sound, the angle sums of the listed families check out, and the tiling constructions are plausible. The weakest point is not the geometry but the computational completeness step: the Appendix reduces 258 vertex-type cases to 43 rational angle solutions, and the overwhelming majority of cases are dismissed by terse 'None' entries asserting that a polynomial has no roots of unity. Because a root of unity corresponds to a rational angle solution, any single false assertion would invalidate the 'all' in the theorem. The paper ships no code, no certificates, and often omits the intermediate angle substitutions, so a referee cannot audit this step. This matches the reader's weakest_assumption, focused on the no-cyclotomic-root claims. I see no internal contradiction in the presented geometry; the concern is about verifiability, which is why CONDITIONAL (unchanged) is appropriate rather than ACCEPT.","tokens_in":79724,"tokens_out":15292,"duration_ms":161971,"concrete_test":"Run an independent certified cyclotomic-root computation on every resultant polynomial in the Appendix that is marked 'None', implementing the Bradford–Davenport algorithm from §3.1 in a different CAS (e.g., PARI/GP's polcyclofactors or SageMath's cyclotomic_part); if any such polynomial has a cyclotomic root, the Theorem's list is incomplete.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The central claim is an 'all' statement, and its completeness is gated by the repeated computational assertions, spread through the Appendix, that certain resultant polynomials have no cyclotomic roots. These assertions are not backed by factorizations, certificates, or code. For example, in the Appendix's Case {αδϵ, β2γ}, Subcase 10 prints a resultant polynomial spanning several pages and answers 'None'; the polynomial is not factored and no certificate is given that it has no root of unity. Since any root of unity in such a resultant would yield a rational angle quintuple satisfying the linear vertex constraints and Eq. (2.6), a single missed cyclotomic factor would add a prototile not listed in the Theorem. The paper's §3.1 describes a correct algorithm, but without publishing the actual gcd computations or using a verified implementation, the classification is not independently reproducible. A second-order gap is that for most 'None' entries the linear angle substitutions from vertex type to the trigonometric equation (2.6) are not shown, so even the polynomial being tested cannot be checked from the text alone.","agreement_with_reader":"agree"},"referee_report":{"model":"deepseek-v4-flash","summary":"This manuscript completes the classification of edge-to-edge spherical tilings by congruent pentagons with edge combination a^4b and all angles rational in degrees. The main theorem asserts three families: a one-parameter symmetric subdivision of the tetrahedron with 12 tiles; a sequence of unique symmetric pentagons admitting symmetric 3-layer earth map tilings with 4m tiles for m≥4, with standard flip modifications for odd m; and a unique non-symmetric degenerate pentagon admitting two 20-tile tilings. The proof route is to derive the trigonometric identity Eq. (2.6) from known identities, convert the search for rational angle solutions into a search for cyclotomic points on polynomials, enumerate the possible a^2b-vertex types from the companion paper [14], and solve the resulting systems by resultants and the Bradford–Davenport root-of-unity test. The final sections summarize the broader classification of monohedral pentagonal spherical tilings and list induced non-edge-to-edge quadrilateral tilings.","tokens_in":79851,"tokens_out":5601,"duration_ms":65723,"significance":"If the classification is correct, it closes the rational-angle a^4b case and, together with the companion papers, completes the classification of monohedral pentagonal tilings of the sphere. The paper provides explicit prototile data, counts of tilings, and 3D pictures, and it derives several new non-edge-to-edge quadrilateral tilings from degenerate pentagons. The explicit angle and edge-length formulas, such as the symmetric family with angle sum 3+4/f and the closed forms for cos a and cos b, are concrete and checkable. The main weakness is not in the derivation of Eq. (2.6) but in the auditability of the massive computational case analysis that underpins the word 'all' in the theorem.","major_comments":[{"comment":"The completeness of the Theorem rests on dozens of unverified assertions in the Appendix that certain resultant polynomials have no cyclotomic roots. For example, in the Appendix's Case {αδϵ, β2γ}, Subcase 10, a resultant polynomial spanning several pages is printed and followed only by 'None', with no factorization, no trace of the Bradford–Davenport test, and no certificate or code. Since any root of unity in such a resultant would yield a rational angle quintuple satisfying the linear vertex constraints and Eq. (2.6), a single missed cyclotomic factor would add a prototile not listed in the Theorem. The same issue occurs in Example 3.1, items (1), (5), and (7). Please supply an executable script or certified factorizations for every 'None' answer, or at least factor the printed polynomials into cyclotomic and non-cyclotomic parts.","section":"Theorem, §4, Appendix"},{"comment":"The classification is also conditional on the completeness of the vertex-type enumeration in [14], which is not reproduced in this manuscript. The sentence 'Per [14] ... the 258 vertex combinations yield 43 rational pentagons' transfers a large and essential part of the 'all' statement to an overlapping-author preprint. Because the current theorem is an absolute classification, the precise logical dependence should be stated, and ideally the relevant enumeration should be summarized or independently verified.","section":"§4 (opening), [14, Tables 4-6, 10-12, 14, 21, 23, 28, 30]"},{"comment":"For polynomials with coefficients in cyclotomic fields, the reduction to Q[x] is not shown. In Example 3.2 the norm N(L) is displayed, but the specialized univariate polynomial N(L)(x, e^{iπ/5}) is not given; the text only asserts that it has no cyclotomic root. In Example 3.3, the text says that solving all 15 resultants yields four rational angle sets, but only one resultant is displayed and the remaining computations are relegated to raw, unfactored form in the Appendix. Without these intermediate data, the claimed absence of cyclotomic points cannot be checked from the manuscript alone, even in principle.","section":"Example 3.2, Example 3.3, and Appendix cases with coefficients in Q(ζ_n)"}],"minor_comments":[{"comment":"The Contradiction column lacks line breaks; entries such as 'No rational solutionαδϵ, βδϵ, γϵ2' run together and should be reformatted for readability.","section":"Table 1"},{"comment":"The sentence 'The proof’s last line is verifiable symbolically (e.g., Maple)' should be replaced by the actual identity or an explicit computer-algebra check, since the displayed derivation omits the final simplification.","section":"Lemma 8"},{"comment":"The terminology 'rational angles in degree' and 'with any irrational angle' should be clarified: the main theorem concerns angles that are rational multiples of π, while [14] treats the complementary case; the current wording can be misread.","section":"Introduction and §3"},{"comment":"The twelve simple pentagons in Figure 6 are not always cross-referenced to the specific rows of Tables 2–6 that produce them; adding such cross-references would aid verification.","section":"Figure 6 and Section 4 tables"},{"comment":"Many Appendix blocks do not state the variable substitutions used to obtain the displayed polynomial; adding a one-line definition of x and y for each case would make the computations reproducible from the text.","section":"Appendix"}],"recommendation":"major_revision","confidential_remarks":"The mathematical framework appears sound and the missing computational evidence is, in principle, supplyable, which is why I recommend major revision rather than rejection. I would ask the editor to require a supplementary computational archive or a fully verified factorization appendix before acceptance, and to confirm that the dependence on [14] is stable and citable."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Two things you should know before reading closely. First, this is not a brand-new classification: the authors say plainly that the 174-page preprint [6] already completed the a^4b case, and the present paper is a verification by a different method, plus full geometric data, 3D pictures, and counts of tilings. Second, the completeness of the main theorem rests on dozens of 'None' entries in the Appendix where a resultant polynomial is printed and the authors assert it has no cyclotomic root, without giving factorizations, certificates, or code.\n\nThe genuine strengths are real. Lemma 8's reduction of the three trig equations to a single identity (2.6) is clean, and the proof of the degenerate case is symbolically checkable. The worked examples in Section 3—especially Example 3.1 with explicit factorizations and cyclotomic roots—are helpful and make the method understandable. The paper is also honest about what is new: it positions itself explicitly as an independent check, and the three listed new results are geometric data, pictures, and counting. I did not find an error in the angle formulas or the stated tiling constructions; the angle-sum checks for the symmetric family, for instance, work out.\n\nThe soft spot is the one the stress-test note flags, and it is real. The theorem says 'all', and completeness is gated by assertions that certain resultants have no roots of unity. The paper describes a correct algorithm and prints some factored resultants in the examples, but for most cases in the Appendix it prints a polynomial and 'None' with no factorization and no certificate. The huge Subcase 10 in the three-variable case is a good example: several pages of polynomial, then 'None'. A single missed cyclotomic factor would add an unlisted rational-angle prototile. This is not a flaw in the mathematical strategy; it is an auditability gap. I would not call the central claim wrong—the derivation of the listed families is sound and the reliance on [14] for vertex-type enumeration is explicit and part of the series, so that is a smaller concern—but a complete classification should ship the computational evidence, or at least a reduced set of certificates.\n\nWho should read this: anyone working on monohedral spherical tilings or on classification arguments that mix angle combinatorics with cyclotomic computations. It deserves a serious referee; desk rejection would be wrong. My recommendation would be to accept it for review and require the authors to provide the computational scripts or certificates for the 'None' claims before final acceptance.","headline":"This is a verification of the a^4b classification from [6] by a different cyclotomic method, with added geometric data and pictures; the argument is credible but the 'all' statement depends on unverified CAS claims of no cyclotomic roots.","tokens_in":80454,"tokens_out":2353,"would_cite":true,"duration_ms":33594,"reading_group":"maybe","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["52C20","05B45","11R18","11Y50","14Q25"],"pacs":[],"model":"deepseek-v4-flash","headline":"The paper proves a complete classification of edge-to-edge tilings of the sphere by congruent $a^4b$ pentagons with all angles rational in degrees, with three explicit families.","keywords":["spherical tiling","almost equilateral pentagon","edge combination a4b","classification","trigonometric Diophantine equation","root of unity","rational angles","earth map tiling"],"falsifier":"Re-run the appendix's cyclotomic-root computations with independent computer algebra and certified gcd tests; a single factor declared 'no cyclotomic root' that actually has one, followed through the corresponding linear angle constraints to a simple pentagon with $f\\ge12$ even and $\\beta\\neq\\gamma$, $\\delta\\neq\\epsilon$, would be a counterexample. Conversely, an exhaustive search over rational angles up to a chosen denominator that found an $a^4b$ tiling outside the three classes would refute the theorem.","tokens_in":79454,"feed_emoji":"🌐","tokens_out":11077,"duration_ms":102210,"temperature":0.7,"pith_summary":"This paper closes the rational-angle case in the classification of edge-to-edge tilings of the sphere by congruent pentagons with four equal sides and one different side (edge combination $a^4b$). Treating rational as meaning that all five angles are rational multiples of $\\pi$ (equivalently rational in degrees), the authors prove that the complete list consists of three classes: a one-parameter family of symmetric 12-tile pentagonal subdivisions of the tetrahedron; an infinite sequence of unique symmetric pentagons admitting symmetric three-band 'earth map' tilings with $f=4m$ tiles for every $m\\ge4$, with two extra flip modifications for odd $m$; and one non-symmetric degenerate pentagon (one angle $\\pi$) with two 20-tile tilings. This matters because it finishes the last edge-combination case with rational angles and, together with the companion general-angle paper and earlier classifications, completes the full classification of monohedral pentagonal tilings of the sphere. It also produces new non-edge-to-edge quadrilateral tilings from the degenerate pentagon.","feed_headline":"All rational a4b pentagon tilings of the sphere are listed","feed_subtitle":"The complete list: a 12-tile family, a 4m-tile sequence, and a lone 20-tile case.","key_machinery":"The argument is carried by a small collection of tiling lemmas plus an algebraic reduction. The parity lemma forces the number of ab-angles at every vertex to be even; the balance lemma restricts how the angles $\\delta$ and $\\epsilon$ can cluster; and the special-tile lemma guarantees a tile whose five vertices are nearly all of degree 3. From these, the adjacent-angle deduction (AAD) technique bookkeeps forced angle and edge arrangements around vertices and rules out countless configurations. The pivotal analytical tool is equation (2.6), a trigonometric identity that every $a^4b$-tiling's angles must satisfy; substituting $x=e^{i\\theta}$ turns it into a polynomial whose rational-angle solutions are exactly cyclotomic points. The authors solve these by factoring over cyclotomic fields, taking norms to $\\mathbb{Q}[x]$, applying the standard gcd tests on $f(x),f(-x),f(x^2),f(-x^2)$ to decide whether any factor is cyclotomic, and computing resultants to reduce two- and three-variable polynomials to one variable. The case analysis organizes the 258 vertex-type combinations inherited from the companion paper into three-$a^2b$-vertex, two-$a^2b$-vertex, and one-$a^2b$-vertex cases, where an $a^2b$-vertex is a vertex at which two $a$-edges and one $b$-edge meet; after filtering by simplicity and by the parity, balance, and AAD constraints, only the listed pentagons survive.","core_discovery":"On the paper's own terms, the central result is an exhaustive list. Every edge-to-edge tiling of the sphere by congruent $a^4b$ pentagons with rational angles falls into exactly one of: (1) the one-parameter family of symmetric $a^4b$-pentagonal subdivisions of the tetrahedron with 12 tiles; (2) for each $m\\ge4$, the unique symmetric pentagon with angles $(\\frac8f,1-\\frac4f,1-\\frac4f,\\frac12+\\frac2f,\\frac12+\\frac2f)\\pi$, $f=4m$, with side cosines $\\cos a=1-2\\left(\\frac{\\sqrt5-1}{4}\\cos\\frac{4\\pi}{f}\\right)^2$ and $\\cos b=2\\left(\\frac{(3-\\sqrt5)\\cos^2\\frac{4\\pi}{f}+\\sqrt5-2}{\\cos\\frac{4\\pi}{f}}\\right)^2-1$, each admitting a symmetric 3-layer earth map tiling, plus two standard flip modifications when $m$ is odd; and (3) the unique non-symmetric degenerate pentagon with angles $(10,12,6,5,15)\\pi/15$, $\\cos a=\\frac{\\sqrt6(5+\\sqrt5)^{3/2}}{60}$, $\\cos b=\\frac{\\sqrt5}{3}$, admitting a 20-tile non-symmetric earth map tiling and a unique flip modification. The authors further report that among the 43 rational pentagons satisfying the basic combinatorial constraints inherited from the 258 vertex-type cases, only 12 are simple and only this last non-symmetric pentagon admits tilings beyond the symmetric families.","pith_inferences":["If the completeness proof is right, the rational-angle constraint is extremely selective: from 258 vertex-type combinations and 43 candidate pentagons only one non-symmetric simple pentagon survives to admit tilings, suggesting that rational angles almost never coexist with non-symmetric $a^4b$ geometry.","The same norm-to-$\\mathbb{Q}$ and resultant pipeline could be run fully automatically with independently generated certificates, turning the appendix's repeated 'no cyclotomic root' checks into a formally checkable proof object.","The method should transfer to the remaining edge combinations: one could ask whether rational-angle tilings for $a^2b^2c$, $a^3bc$, $a^3b^2$, and $a^5$ satisfy comparably sparse classification statements, and whether degeneration of those families produces further quadrilateral tilings."],"forward_implications":["The classification is exhaustive: any edge-to-edge tiling of the sphere by congruent rational-angle $a^4b$ pentagons must appear in one of the three listed classes.","Combined with the companion general-angle paper, the rational and irrational $a^4b$ cases together close the $a^4b$ problem and provide a shorter independent verification of the earlier long preprint.","Every prototile in the list carries explicit angle and side-length data, so the total number of distinct tilings for each rational-angle prototile can be counted from the displayed vertex-type data.","Because the only non-symmetric rational pentagon has one angle $\\pi$, degenerating it yields new non-edge-to-edge quadrilateral tilings of the sphere."],"supporting_citations":[{"why":"Supplies the 258 $a^2b$-vertex combinations and the general-angle classification that this paper filters for rational angles.","marker":"[14]"},{"why":"Provides the initial tiling formulas, the special-tile lemma, and the adjacent-angle deduction technique.","marker":"[15]"},{"why":"Supplies the parity lemma and balance lemma that drive the vertex-type exclusions.","marker":"[16]"},{"why":"Gives the cyclotomic-factor algorithm used to certify that listed resultants have no roots of unity.","marker":"[5]"},{"why":"Gives the two-variable cyclotomic-points algorithm used for the bivariate polynomials.","marker":"[4]"},{"why":"Extends cyclotomic-root solving to multivariate polynomials, used for the single three-variable case.","marker":"[3]"},{"why":"Classifies the symmetric quadrilateral prototiles that yield the first two symmetric pentagon classes.","marker":"[11]"},{"why":"Classifies the rational-angle quadrilateral tilings needed for the symmetric pentagon cases.","marker":"[12]"},{"why":"Completes the general-angle quadrilateral classification used for symmetric $a^4b$ pentagons.","marker":"[13]"}],"fun_headline_variants":["All rational a4b pentagon tilings classified","Complete list of sphere tilings by congruent pentagons","Exhaustive classification of a4b rational pentagon tilings","Sphere tilings by rational a4b pentagons: full catalog"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The theorem's 'all' rests on the completeness of the 258 vertex-type enumeration taken from the companion paper and on the correctness of dozens of computer algebra claims that certain resultants and factors have no cyclotomic roots; if either assumption fails, an unlisted tiling could exist.","fun_headline_variants_meta":{"raw":{"variants":["All rational a4b pentagon tilings classified","Complete list of sphere tilings by congruent pentagons","Exhaustive classification of a4b rational pentagon tilings","Sphere tilings by rational a4b pentagons: full catalog"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000593,"raw_usage":{"total_tokens":2842,"prompt_tokens":1073,"completion_tokens":1769,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":689,"completion_tokens_details":{"reasoning_tokens":1698}},"tokens_in":689,"tokens_out":1769,"duration_ms":12463,"temperature":1.0,"reasoning_tokens":1698,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-06T18:49:23.440247+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Re-run the appendix's cyclotomic-root computations with independent computer algebra and certified gcd tests; a single factor declared 'no cyclotomic root' that actually has one, followed through the corresponding linear angle constraints to a simple pentagon with $f\\ge12$ even and $\\beta\\neq\\gamma$, $\\delta\\neq\\epsilon$, would be a counterexample. Conversely, an exhaustive search over rational angles up to a chosen denominator that found an $a^4b$ tiling outside the three classes would refute the theorem.","supporting_citations":[{"cited_title":"Tilings of the sphere by congruent pentagons IV: Edge combination $a^4b$ with general angles","cited_arxiv_id":"2412.08492","evidence_quote":"Supplies the 258 $a^2b$-vertex combinations and the general-angle classification that this paper filters for rational angles."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Provides the initial tiling formulas, the special-tile lemma, and the adjacent-angle deduction technique."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Supplies the parity lemma and balance lemma that drive the vertex-type exclusions."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Gives the cyclotomic-factor algorithm used to certify that listed resultants have no roots of unity."},{"cited_title":"Beukers, C","cited_arxiv_id":null,"evidence_quote":"Gives the two-variable cyclotomic-points algorithm used for the bivariate polynomials."},{"cited_title":"Aliev, C","cited_arxiv_id":null,"evidence_quote":"Extends cyclotomic-root solving to multivariate polynomials, used for the single three-variable case."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Classifies the symmetric quadrilateral prototiles that yield the first two symmetric pentagon classes."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Classifies the rational-angle quadrilateral tilings needed for the symmetric pentagon cases."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Completes the general-angle quadrilateral classification used for symmetric $a^4b$ pentagons."}],"review_version":1}