{"id":"fdc47cfa-7932-48d5-bd6b-0bcb84660a95","arxiv_id":"2607.15670","paper_version":1,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":5.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":1,"one_line_summary":"Taishi strip singularities in Levi-Yamilov KdV, potential mKdV and sine-Gordon lattices interact with oblique singularity lines according to Box & Ball cellular-automaton rules.","lead":"The paper shows that three integrable lattice equations—Levi-Yamilov KdV, potential mKdV, and a sine-Gordon variant—all host 'taishi' strip singularities whose collisions with oblique singular lines follow the same box-and-ball cellular automaton rules previously found for discrete KdV. It is a compact generalization of a recent self-developed singularity framework.","discovery_kind":"new_application","skeptic_critique":{"model":"deepseek-v4-flash","headline":"Weight-additivity and effective-weight factors are asserted, not derived; the claimed BBS universality depends on them.","rationale":"The reader's weakest_assumption is precisely the weight-additivity/effective-weight reduction, and that is the single most load-bearing concern in the paper. The abstract's strong claim — that in all cases the interaction is 'just the dynamics governing a Box & Ball cellular automaton' — requires that the mapping from physical singularity weights to BBS box contents be exact and compositionally consistent. If the reduction is false, the examples are just coincidences for low weights and the universality claim collapses. The paper states the reduction but does not derive it; the evidence is a handful of figures for low weights. This is not an internal inconsistency, but a gap that makes the result conditional. The suggested test is concrete and can settle the matter. Since the reader already assigned CONDITIONAL, our assessment does not change the verdict.","tokens_in":9678,"tokens_out":2753,"duration_ms":26878,"concrete_test":"For each of equations (6), (11), and (16), perform a systematic symbolic perturbation check: encode the oblique line with value 1 + O(ε^q) (or the relevant singular value) and the taishi strip with product 1 + O(ε^p), then evolve the equation through the interaction to compute the output taishi weights as functions of the input weights. Verify that a single interaction with a weight-q line produces the same output as q successive interactions with weight-1 lines (with lines separated so interactions do not overlap), for q=2,3,4. Also compute the effective weight factor for each equation and confirm it is exactly 1 or 2. If any discrepancy appears, the BBS encoding is not universal; if all checks pass, the additivity reduction is empirically supported for the tested weights.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The central claim is that all studied equations share the same taishi/oblique-line interaction, encoded by Box & Ball dynamics. The load-bearing premise is the reduction stated in §2 before Fig. 5: 'the end result of an interaction of a taishi with an oblique line of weight q is the same as q interactions with an oblique line of weight 1', together with the per-equation effective-weight factors introduced in §1 and §3 ('It is as if the line of infinities had an effective weight of 2' for d-KdV; 'the effective weight of the oblique line is twice its formal weight' for potential mKdV, while Levi-Yamilov equations have effective weight equal to formal weight). The symbolic-dynamics update rule (5) uses the formal taishi weights directly; if additivity fails for q≥2, or if the effective factor is incorrect, the claimed 'just the dynamics governing a Box & Ball cellular automaton' would not hold. The paper offers examples for q=1,2,3 and some fusion/fission events, but no general derivation and no independent verification. The additivity statement is asserted in §2 and repeated in §3 ('it suffices to consider interactions with a line of weight 1'), while the effective weight is justified only by the observed 'double shift' in §3, not computed from the equation. This is an addressable gap: a proof or systematic check would secure the universality claim; without it, the conclusion is conditional.","agreement_with_reader":"agree"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper studies singularities of three integrable lattice equations: the Levi-Yamilov KdV equation (Eq. 6), the potential mKdV equation (Eq. 11), and a sine-Gordon variant (Eq. 16), alongside the previously studied d-KdV (Eq. 1) and Levi-Yamilov mKdV (Eq. 4). For each equation the authors identify three singularity types: confined singularities, oblique infinite lines, and strip-like taishi singularities. Using Miura transformations they derive taishi propagation conditions, and present figures showing how taishi interact with oblique singular lines. The central claim is that these interactions are all encoded by the same Box & Ball cellular automaton update rule (Eq. 5), with only a per-equation effective-weight factor differing: weight 2 for d-KdV and potential mKdV, and weight 1 for the Levi-Yamilov equations. The paper concludes that the BBS symbolic dynamics are universal for the studied class of equations.","tokens_in":10022,"tokens_out":4775,"duration_ms":47627,"significance":"If the universality claim is correct, the paper establishes that the taishi phenomenon is not an isolated curiosity of d-KdV but a generic feature of several integrable square-lattice equations, and that singularity interactions are governed by the same BBS dynamics as soliton interactions in ultradiscrete systems. The paper's strengths include explicit Miura transformations, clearly displayed taishi conditions, and detailed figures showing interactions for weights 1, 2, and 3; the BBS interpretation is concrete and testable. However, the central claim rests on an additivity/effective-weight reduction that is asserted rather than proved, and the sine-Gordon case is substantially less developed than the others. With the missing derivation or a systematic verification supplied, the paper would be a valuable contribution to the singularity-structure literature.","major_comments":[{"comment":"The load-bearing reduction 'the end result of an interaction of a taishi with an oblique line of weight q is the same as q interactions with an oblique line of weight 1' is asserted, and then used to claim that 'it suffices to consider interactions with a line of weight 1.' The effective-weight assignments for d-KdV (weight 2) and potential mKdV (twice the formal weight) are similarly justified only by the observed double shift. Since the BBS encoding (5) is written in terms of formal weights, this is a nontrivial mapping from the lattice equation to the automaton. Only examples with q=1,2,3 are provided. Please supply a derivation, a systematic asymptotic verification for general q, or explicitly restrict the universality claim to the verified cases.","section":"§2 (before Fig. 5) and §3 (before Fig. 9)"},{"comment":"The sine-Gordon taishi condition is presented without derivation ('We shall not go into the details of its derivation'), and no higher-weight interactions or singular rule are given for this equation. Since the abstract and Section 5 claim the same BBS dynamics for 'all the equations we study,' this equation must meet the same evidentiary standard as the others. Please include the derivation of (19) (or a precise reference to the Miura argument), and at least one example with a weight-q oblique line to verify the claimed BBS encoding.","section":"§4, Eq. (19)"},{"comment":"The Discussion states that the symbolic-dynamics prescription 'is essentially the same for all equations studied.' This universality statement goes beyond the evidence in the manuscript: the paper documents a handful of interaction examples per equation, not a general proof. The conclusion should either be formulated as a conjecture supported by strong evidence, or the missing general argument must be supplied. In particular, the physical origin of the effective-weight factors should be explained, as they are not derived from the equations.","section":"§5 Discussion"}],"minor_comments":[{"comment":"The description of the BBS carrier and the update rule (5) is somewhat compressed. Please specify the direction of time, the initialization/termination of the carrier, and how W^m_1 differs from W^m_0; this will make the connection to [9] easier to check.","section":"§1, Eq. (5)"},{"comment":"The phrase 'It is easy to derive' for the singular rule would be more useful if the derivation were displayed, even briefly, since this relation is used for the interaction analysis.","section":"§2, Eq. (10)"},{"comment":"The notation '0^2' is introduced in the caption, but the surrounding text also says 'weight equal to 2.' Please define this notation explicitly and use it consistently.","section":"§4, Fig. 14 caption"},{"comment":"The paper heavily relies on prior work [6,13,14]. A short paragraph summarizing which results are new here and which are imported would help the reader distinguish novelty from context.","section":"General"}],"recommendation":"major_revision","confidential_remarks":"This is a well-written exploratory paper from a group that has made important contributions to singularity analysis. The main risk is the gap between the strong general claim in the abstract and the unproved additivity/effective-weight assumption. The authors should be encouraged either to prove the reduction or to soften the claimed universality to a conjecture supported by numerical/analytic examples. With that change, the paper would be acceptable."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"What you should know: this is a genuinely new extension of the taishi framework to three lattice equations — Levi-Yamilov KdV, potential mKdV, and the Heredero sine-Gordon variant — with explicit taishi conditions and interaction diagrams showing the same Box & Ball encoding as in the authors' earlier d-KdV and mKdV papers. The Miura-based derivations of the taishi conditions are sound and checkable, and the paper is honestly written about what it does and does not show. The soft spot is exactly where the stress-test indicates: the weight-additivity reduction, 'interaction with a line of weight q is the same as q interactions with a line of weight 1', and the per-equation effective-weight factors, are asserted on the basis of examples, not derived from the equations. The BBS universality claim depends on those rules.\n\nThe new pieces: taishi condition (9) for Levi-Yamilov KdV and the singular rule (10); taishi condition (15) for potential mKdV; taishi condition (19) for the sine-Gordon equation; the observation that the Miura to Levi-Yamilov mKdV produces a second oblique line of -1/k, explaining the double shift. Also nice is the completion of the Miura (7) for Levi-Yamilov KdV. The figures are clear and the weight bookkeeping in the q=1,2,3 examples is consistent. I verified the derivation of (9) from (7a) and (8); it is straightforward, as claimed.\n\nThe soft spots, in proportion: the additivity and effective-weight assertions are load-bearing for the abstract's universality claim. For q=1,2,3 the figures support them, but there is no general argument or independent computational check. The sine-Gordon taishi condition (19) is stated without derivation ('we shall not go into the details'), and the singular rule (10) is 'easy to derive' but not shown. These are addressable. The paper also leans entirely on the authors' prior work for the BBS rule itself; that is not by itself a flaw, since the rule is concrete and checkable, but it means the universality claim rests on a self-contained but unproven framework.\n\nI don't think the stress-test is wrong. The central equations are not circular — the taishi conditions come from Miura maps and are verified directly — but the step from those conditions to the universal BBS dynamics is a conjecture supported by examples. That is the conditional part.\n\nFor whom: anyone working on singularity analysis of discrete integrable systems, or on BBS/cellular automaton encodings. It deserves a serious referee. I would send it to review, with the request that the authors either prove the weight-additivity reduction for the stated equations or provide a systematic verification (e.g., symbolic computation for a range of weights and positions), and that they supply the derivation of the sine-Gordon condition. With those gaps filled, the paper would be solid.\n\nRecommendation: engage, and require the missing derivation.","headline":"Extends the taishi story to three more lattice equations with clean Miura-based conditions, but the universal BBS encoding rests on an asserted weight-additivity rule that needs proof or systematic verification.","tokens_in":10509,"tokens_out":4451,"would_cite":true,"duration_ms":36438,"reading_group":"yes","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":[],"pacs":[],"model":"deepseek-v4-flash","headline":"The taishi, a strip-shaped singularity, is shown to be a universal feature of several integrable lattice equations, with interactions governed by the Box & Ball cellular automaton.","keywords":["taishi","lattice equations","singularity structure","Box & Ball cellular automaton","discrete KdV","modified KdV","sine-Gordon","integrable systems"],"falsifier":"A concrete check: take the potential mKdV equation (11), prepare a taishi of weight 1 and an oblique zero-line of formal weight 2, and iterate numerically. If the effective weight is truly 2 (as for d-KdV), the resulting weight redistribution should match two successive weight-1 interactions; if not, the BBS encoding fails. Alternatively, for the Levi-Yamilov KdV, test a line of formal weight 3 and compare with three weight-1 interactions.","tokens_in":9585,"feed_emoji":"🧩","tokens_out":3378,"duration_ms":27975,"temperature":0.7,"pith_summary":"This paper claims that the strip-like singularity known as the taishi is not peculiar to the discrete KdV equation but appears in three further integrable lattice equations: the Levi-Yamilov KdV, the potential mKdV, and a sine-Gordon variant. In every case the interaction of a taishi with an infinite oblique line of singularities follows the same symbolic dynamics, exactly the update rule of a Box & Ball cellular automaton with a unit-capacity carrier. The paper identifies the per-equation difference: some equations require applying the update procedure once, others twice, encoded by an 'effective weight' of the oblique line. If true, the result shows that singularity interactions in these systems are governed by a single universal combinatorial dynamics.","feed_headline":"A single strip singularity rules four integrable lattices","feed_subtitle":"In four lattice equations, taishi collisions obey one symbolic-dynamics rule","key_machinery":"The taishi: a pair of adjacent horizontal lattice lines on which the dependent variable satisfies a product (or sum) condition that propagates in the horizontal direction, creating an infinite strip. Interactions are quantified by weights — orders of the singular values as powers of a small parameter epsilon. The symbolic dynamics rule, equivalent to the Box & Ball update V^{m+1}_0 = min[W^m_0, 1 - V^m_0], W^m_1 = W^m_0 + (V^m_0 - V^{m+1}_0), carries the argument by collapsing the complicated interaction patterns into a single combinatorial update.","core_discovery":"The central discovery is that all four lattice equations admit exactly three types of singularities — finite confined ones, infinite oblique lines, and the strip-like taishi — and that when a taishi meets an oblique line, the redistribution of singularity weights is described by a simple rule: starting from the lowest non-empty strip of the taishi, move upward, subtract one unit of weight from each non-empty strip encountered, and add one unit to the strip immediately above, continuing until no non-empty strips remain. This rule is exactly the Takahashi–Matsukidaira Box & Ball system with an infinite-capacity column of boxes and a carrier of capacity one. For the discrete KdV and potential m","pith_inferences":["A testable extension: applying the same weight-tracking analysis to a non-integrable lattice equation (e.g., a deformation of d-KdV) should fail to produce the BBS rule, potentially offering a new integrability detector based solely on singularity typology.","The paper leaves implicit that the effective-weight factor may itself be derivable from the Miura transformation; verifying this correspondence for the sine-Gordon variant would strengthen the universality claim.","If the symbolic dynamics are robust, they could be used to predict the outcome of multi-taishi interactions without iterating the lattice equation, e.g., to compute scattering shifts for arbitrary weight distributions.","The suggested bilinear reformulation via the Hirota–Miwa equation is the natural next step: if the BBS rule emerges from the tau-function formalism, the universality would extend to higher-dimensional lattice equations."],"forward_implications":["If the claim holds, singularity analysis of integrable lattice equations can be reduced to a single cellular-automaton dynamics, providing a uniform description of taishi interactions.","The effective-weight factor (1 or 2) becomes a characteristic invariant distinguishing families of lattice equations sharing the same BBS dynamics.","The result predicts that any integrable lattice equation obtained by reduction of the Hirota–Miwa equation will exhibit a taishi governed by the same symbolic dynamics.","The link between singularity interactions and the ultradiscrete modified KdV equation suggests a direct connection between singularity structures and soliton cellular automata.","Fusion and fission of taishi observed in the paper mirror soliton scattering in the BBS, so the paper's framework offers a concrete model of how local singularity dynamics encode global integrable behaviour."],"fun_headline_variants":["Taishi interplay: one rule for four lattice solvers","Strip singularities collide: Box-Ball rule unifies four equations","Three singularity types, one taishi collision law","Taishi meets line: a single automaton rule explains all","Four integrable lattices, one taishi rule"],"cache_read_input_tokens":2304,"weakest_assumption_plain":"The claim rests on the rule that a taishi interacting with an oblique line of weight q gives the same result as q interactions with a line of weight 1, together with the per-equation effective weights (1 or 2); the paper states this rule but does not derive it from the equations.","fun_headline_variants_meta":{"raw":{"variants":["Taishi interplay: one rule for four lattice solvers","Strip singularities collide: Box-Ball rule unifies four equations","Three singularity types, one taishi collision law","Taishi meets line: a single automaton rule explains all","Four integrable lattices, one taishi rule"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000205,"raw_usage":{"total_tokens":1173,"prompt_tokens":631,"completion_tokens":542,"prompt_tokens_details":{"cached_tokens":256},"prompt_cache_hit_tokens":256,"prompt_cache_miss_tokens":375,"completion_tokens_details":{"reasoning_tokens":471}},"tokens_in":375,"tokens_out":542,"duration_ms":5192,"temperature":1.0,"reasoning_tokens":471,"cache_read_input_tokens":256,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-01T22:37:01.433297+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"A concrete check: take the potential mKdV equation (11), prepare a taishi of weight 1 and an oblique zero-line of formal weight 2, and iterate numerically. If the effective weight is truly 2 (as for d-KdV), the resulting weight redistribution should match two successive weight-1 interactions; if not, the BBS encoding fails. Alternatively, for the Levi-Yamilov KdV, test a line of formal weight 3 and compare with three weight-1 interactions.","supporting_citations":[],"review_version":1}