{"id":"a3c98a80-21e9-4402-a344-e00d0ea411e4","arxiv_id":"1907.03794","paper_version":1,"verdict":"UNVERDICTED","confidence":"LOW","novelty_score":7.0,"correctness_risk":"unknown","formal_verification":"none","parameter_count":0,"one_line_summary":"Period integrals on toric degenerations are expressed via tropical 1-cycles in the intersection complex, proving the Gross-Siebert mirror map is trivial and that the formal families are analytic and versal.","lead":"The paper gives an explicit formula for period integrals of the holomorphic volume form on degenerating Calabi-Yau families built from wall structures, using cycles from tropical 1-cycles. A smart generalist might read it to see how formal mirror-symmetry constructions can be shown to extend to analytic families without extra reparametrization.","discovery_kind":"new_method","skeptic_critique":{"model":"grok-4.3","headline":"No significant objection identified","rationale":"Reader's weakest_assumption is precisely the step that would need to fail for the strongest_claim to be false, but the paper supplies an explicit technical framework (periods with logarithmic poles) that directly justifies the cycle construction. No further load-bearing gap appears.","tokens_in":1632,"tokens_out":256,"duration_ms":9987,"concrete_test":"Re-derive the period expression in the applications section starting from the logarithmic residue formula (developed for normal-crossing deformations) and confirm it reduces exactly to the tropical cycle integral without invoking extra wall-crossing corrections; if the reduction holds identically, the trivial mirror map follows.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The central claim (trivial mirror map via period integrals computed from tropical 1-cycles) is supported by the developed theory of logarithmic period integrals on finite-order deformations of normal-crossing spaces. The construction maps tropical cycles in the intersection complex directly to integration cycles for the canonical volume form, with the triviality following from the resulting period expressions matching the standard toric case without reparametrization. No internal inconsistency or unsupported step is visible in the argument flow from the technical results to the applications.","agreement_with_reader":"agree"},"referee_report":{"model":"grok-4.3","summary":"The manuscript develops a theory of period integrals with logarithmic poles on finite-order deformations of normal-crossing analytic spaces. It constructs integration cycles from tropical 1-cycles in the intersection complex of the central fiber to give a simple expression for the integral of the canonical holomorphic volume form in degenerating families built from wall structures with toric central fibers. This yields a proof that the mirror map for the canonical formal families of Calabi-Yau varieties (Gross and the second author) is trivial, that the families complete to analytic families without reparametrization, and that they are formally versal as logarithmic deformations. Additional applications include canonical one-parameter type-III degenerations of K3 surfaces with prescribed Picard groups.","tokens_in":1738,"tokens_out":368,"duration_ms":27026,"significance":"If the constructions hold, the work supplies a parameter-free derivation of period integrals via tropical cycles that directly implies triviality of the mirror map and analyticity without reparametrization; these are strong, falsifiable statements in mirror symmetry. The new theory of logarithmic period integrals on finite-order deformations is of independent interest and extends the toolkit for studying degenerations of Calabi-Yau varieties. The explicit mapping from tropical 1-cycles to integration cycles for the canonical volume form is a notable technical strength.","major_comments":[],"minor_comments":[{"comment":"The introduction could more explicitly cross-reference the prior constructions of Gross and the second author when stating the triviality result, to make the logical dependence on wall structures clearer.","section":"Introduction"},{"comment":"Notation for the intersection complex and the correspondence between tropical cycles and integration cycles would benefit from a short summary table or diagram early in the technical sections.","section":null}],"recommendation":"minor_revision","confidential_remarks":null},"author_rebuttal":{"model":"grok-4.3","summary":"We thank the referee for their positive summary, significance assessment, and recommendation of minor revision. No major comments were provided in the report, so there are no specific points requiring point-by-point response or revision.","responses":[],"tokens_in":1238,"tokens_out":60,"duration_ms":11860,"standing_objections":[]},"desk_editor":{"model":"grok-4.3","letter":"The main advance is the direct expression for the integrals of the canonical volume form via tropical 1-cycles pulled from the intersection complex of the central fiber. This construction comes out of the wall structures and immediately yields that the mirror map on the Gross-Siebert canonical families is the identity. They also get analyticity of the families and formal versality in the logarithmic category as consequences, plus some concrete K3 examples with prescribed Picard groups. The supporting theory of logarithmic period integrals on finite-order deformations of normal-crossing spaces is developed along the way and looks reusable on its own. What the paper does cleanly is map the tropical data straight to the integration cycles without intermediate fitting steps that appeared in earlier treatments. The argument flow from wall structures to the period expressions to the triviality statement is presented as a derivation rather than a reduction to a fitted quantity. The soft spot is the verification that the constructed cycles actually compute the periods of the holomorphic volume form on the degenerating family; that step rests on the new logarithmic theory, so the details of how the finite-order approximations control the integrals and how choices in the tropical cycles are shown to be independent matter. No internal inconsistency is visible from the abstract and stress-test description. This is for readers already working inside the Gross-Siebert program or log mirror symmetry who want explicit formulas and the analyticity result. It deserves a serious referee because the claims are specific, the construction is new, and the technical development stands separately from the applications.","headline":"Ruddat and Siebert give an explicit tropical-cycle formula for the periods that directly shows the Gross-Siebert mirror map is trivial and the families are analytic without reparametrization.","tokens_in":2223,"tokens_out":379,"would_cite":true,"duration_ms":14302,"reading_group":"yes","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":{"model":"grok-4.3","evidence":[{"relation":"unclear","rs_module":"IndisputableMonolith/Cost/FunctionalEquation.lean","rs_theorem":"washburn_uniqueness_aczel","paper_passage":"Theorem 1.7: exp(1/(2π√−1)^{n−1} ∫_β Ω) = exp(R(βtrop)) · ⟨s, βtrop⟩ · t^{⟨c1(ϕ),βtrop⟩}"},{"relation":"unclear","rs_module":"IndisputableMonolith/Foundation/RealityFromDistinction.lean","rs_theorem":"reality_from_one_distinction","paper_passage":"Construction of n-cycles from tropical 1-cycles βtrop ∈ Z¹(B∖(Δ²∪A), Λ) via degenerate momentum map μ and adapted affine structure"}],"headline":"Tropical period integrals and wall structures in mirror symmetry use unrelated machinery","alignment":"orthogonal","rationale":"The paper's core results (Theorem 1.7 on exp(∫β Ω) expressed via Ronkin functions R(βtrop), gluing data pairings ⟨s, βtrop⟩ and c1(ϕ) pairings; Theorem 1.9 on analytic completion of canonical toric degenerations) rely on tropical 1-cycles in adapted affine structures on B∖(Δ²∪A), degenerate momentum maps, and logarithmic period integrals on normal-crossing spaces. These structures have no isomorphism or echo with RS primitives (distinction forcing, J-cost functional equation, φ-ladder, 8-tick periodicity, or 3D emergence). No parameter-free derivation of constants or recognition-cost reasoning appears. The domain (toric degenerations, canonical coordinates in mirror symmetry) lies outside RS theorems.","tokens_in":63039,"confidence":"high","tokens_out":409,"duration_ms":8459,"cache_read_input_tokens":38528,"cache_creation_input_tokens":0},"lean_confirmation":null,"pith_extraction":{"msc":[],"pacs":[],"model":"grok-4.3","headline":"The mirror map for canonical formal families of Calabi-Yau varieties is trivial.","keywords":["period integrals","wall structures","tropical cycles","mirror symmetry","toric degenerations","Calabi-Yau varieties","K3 surfaces","logarithmic deformations"],"falsifier":"An explicit numerical mismatch between a period integral computed directly on a concrete toric degeneration and the value obtained from the corresponding tropical 1-cycle.","tokens_in":2533,"feed_emoji":"","tokens_out":648,"duration_ms":14865,"temperature":0.7,"pith_summary":"The paper gives a direct way to compute integrals of the canonical holomorphic volume form over degenerating families built from wall structures whose central fiber is a union of toric varieties. The integrals are taken over cycles that come from tropical 1-cycles inside the intersection complex of that central fiber. This computation immediately shows that the mirror map attached to the Gross-Siebert canonical formal families is the identity. The same method also proves that the formal families are the completion of an analytic family without any further change of coordinates and that they are formally versal as logarithmic deformations. Additional applications produce canonical one-parameter type-III degenerations of K3 surfaces whose Picard groups are prescribed in advance.","feed_headline":"Mirror map for canonical Calabi-Yau families is trivial","feed_subtitle":"Tropical 1-cycles compute the period integrals, so no reparametrization is needed and the families are analytic.","key_machinery":"Cycles constructed from tropical 1-cycles in the intersection complex of the central fiber, which compute the period integrals of the canonical volume form.","core_discovery":"A simple expression equates the period integrals of the canonical holomorphic volume form on the degenerating families to integrals of a meromorphic form against cycles built from tropical 1-cycles in the intersection complex; this identity proves the mirror map of the Gross-Siebert canonical formal families is trivial, shows the families arise as completions of analytic families without reparametrization, and establishes that they are formally versal logarithmic deformations.","pith_inferences":["The same tropical-cycle method may apply to other period computations in mirror symmetry beyond the Gross-Siebert setting.","Analyticity without reparametrization suggests that formal mirror constructions can be realized over the complex numbers in a canonical way.","The new theory of logarithmic period integrals on finite-order deformations could extend to higher-dimensional or non-toric central fibers."],"forward_implications":["The mirror map for the Gross-Siebert canonical formal Calabi-Yau families is the identity.","These families complete to analytic families without coordinate reparametrization.","The families are formally versal as deformations of logarithmic schemes.","Canonical one-parameter type-III degenerations of K3 surfaces exist with any prescribed Picard lattice."],"fun_headline_variants":["Tropical 1-cycles compute Calabi-Yau period integrals","Trivial mirror map for canonical formal families","Analytic completion of toric degenerations shown","Versal log deformations from tropical cycles"],"cache_read_input_tokens":2112,"weakest_assumption_plain":"The cycles built from tropical 1-cycles correctly reproduce the period integrals of the canonical holomorphic volume form on the families.","fun_headline_variants_meta":{"raw":{"variants":["Tropical 1-cycles compute Calabi-Yau period integrals","Trivial mirror map for canonical formal families","Analytic completion of toric degenerations shown","Versal log deformations from tropical cycles"]},"model":"grok-4.3","cost_usd":0.007767,"raw_usage":{"total_tokens":3519,"prompt_tokens":609,"num_sources_used":0,"completion_tokens":58,"cost_in_usd_ticks":77674500,"prompt_tokens_details":{"text_tokens":609,"audio_tokens":0,"image_tokens":0,"cached_tokens":256},"completion_tokens_details":{"audio_tokens":0,"reasoning_tokens":2852,"accepted_prediction_tokens":0,"rejected_prediction_tokens":0}},"tokens_in":609,"tokens_out":58,"duration_ms":18142,"temperature":1.0,"reasoning_tokens":2852,"cache_read_input_tokens":256,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-05-25T00:44:50.495745+00:00","model_set":{"reader":"grok-4.3"},"falsifier":"An explicit numerical mismatch between a period integral computed directly on a concrete toric degeneration and the value obtained from the corresponding tropical 1-cycle.","supporting_citations":[],"review_version":1}