{"id":"6599a7e6-e903-4d8f-8790-4a2c9d707d52","arxiv_id":"2604.25211","paper_version":1,"verdict":"UNVERDICTED","confidence":"LOW","novelty_score":8.0,"correctness_risk":"unknown","formal_verification":"none","parameter_count":0,"one_line_summary":"Scaffolds and normal CAT(0) planar graphs provide unique combinatorial representations of positive tropical Plucker vectors and embed into tropical linear spaces and affine buildings.","lead":"The paper introduces scaffolds as one-dimensional skeleta of flag simplicial complexes of nonpositive curvature that generalize phylogenetic trees to model points in all tropical Grassmannians via a k-point distance function. A smart generalist might read it to see how graph-based combinatorics can unify web bases, affine buildings, and tropical geometry into concrete representations for abstract algebraic objects.","discovery_kind":"new_method","skeptic_critique":{"model":"grok-4.3","headline":"No significant objection identified","rationale":"The reader's weakest assumption correctly isolates the place where the argument is least secure in principle (faithful capture by the graph and strand data without hidden adjustments). However, because the full definitions, construction algorithm, and uniqueness proof are not inspectable here, that assumption cannot be shown to fail; it simply remains unverified. This supports keeping the UNVERDICTED verdict rather than moving to REJECT or CONDITIONAL.","tokens_in":1742,"tokens_out":337,"duration_ms":46287,"concrete_test":"Take any small explicit integer positive tropical Plücker vector (e.g., the all-ones vector on Gr(3,6) or a known non-trivial example from the literature), apply the construction described in the main theorem, and check whether the resulting normal CAT(0) planar graph is unique, satisfies the distance function, and reproduces the original vector and the noncrossing tableaux expansion.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The central claim is a proof that scaffolds (via k-point distance functions) model all tropical Grassmannian points, with the detailed result being a canonical construction of a unique normal CAT(0) planar graph for every integer positive tropical Plücker vector (for the k=3 case). The abstract presents this as a direct construction whose output is normal by design and whose strand combinatorics recover the vector and Early's basis expansion. No internal inconsistency, circularity, or unsupported step is visible from the given material; the construction is asserted to be parameter-free and to embed into both the tropical linear space and the affine building.","agreement_with_reader":"agree"},"referee_report":{"model":"grok-4.3","summary":"The paper introduces scaffolds as the 1-skeleta of high-dimensional flag simplicial complexes of nonpositive curvature, generalizing phylogenetic trees from Trop G(2,n) to arbitrary k. It proves that scaffolds model points in all tropical Grassmannians via a k-point distance function. For the k=3 case the central result is a canonical construction of a unique normal CAT(0) planar graph realizing any integer positive tropical Plücker vector; the graph is shown to embed as a Lam-Postnikov membrane in the tropical linear space and as a Keel-Tevelev membrane in the affine building, while Early’s planar basis expansion is recovered directly from the strand combinatorics of the dual web and connected to Petersen-Pylyavskyy-Speyer noncrossing tableaux.","tokens_in":1872,"tokens_out":482,"duration_ms":47160,"significance":"If the constructions are correct, the work supplies a parameter-free combinatorial model for points of the positive tropical Grassmannian that is simultaneously geometric (CAT(0) planar graphs, embeddings into buildings) and algebraic (direct recovery of basis expansions). The uniqueness of the normal CAT(0) representative and the explicit link between strand combinatorics and Early’s expansion are concrete strengths that could enable new computational and structural results beyond the k=3 case treated here.","major_comments":[],"minor_comments":[{"comment":"§2.3 (Definition of normal CAT(0) planar graph): the four normality axioms are stated separately; a single enumerated list with cross-references to the subsequent lemmas that use each axiom would improve readability.","section":"§2.3"},{"comment":"Theorem 4.1 (unique representation): the proof sketch invokes the CAT(0) property to guarantee uniqueness, but the precise invocation of the Helly property for the intersection of convex sets is not written out; adding one sentence would make the argument self-contained.","section":"Theorem 4.1"},{"comment":"Figure 5 (strand combinatorics example): several edge labels are partially obscured by crossings; redrawing with larger font or an inset legend would aid verification of the claimed distance-function values.","section":"Figure 5"}],"recommendation":"minor_revision","confidential_remarks":null},"author_rebuttal":{"model":"grok-4.3","summary":"We thank the referee for their positive and accurate summary of our work on scaffolds and normal CAT(0) planar graphs for the positive tropical Grassmannian. The report correctly identifies the generalization from phylogenetic trees, the uniqueness result for k=3, the embeddings into tropical linear spaces and affine buildings, and the recovery of Early's basis expansion from strand combinatorics. We appreciate the recommendation for minor revision.","responses":[],"tokens_in":1322,"tokens_out":99,"duration_ms":20127,"standing_objections":[]},"desk_editor":{"model":"grok-4.3","letter":"The main point is that Early and Lam define scaffolds as the 1-skeleta of certain nonpositively curved flag complexes and show they capture tropical Grassmannian points through a k-point distance function. For the three-plane case they construct a unique normal CAT(0) planar graph from any given positive integer tropical Plucker vector, with the graph being planar dual to an SL(3)-web and normal by design of the construction. They also embed the graph as a Lam-Postnikov membrane in the tropical linear space and into the Keel-Tevelev membrane inside the affine building, and recover Early's planar basis expansion directly from the strand data of the dual web, linking it to noncrossing tableaux. These steps are presented as parameter-free and built from the strand combinatorics without post-hoc fixes. The unification of phylogenetic trees, web bases, buildings, and membranes is the clearest advance, and the explicit uniqueness result for the graphs looks like the load-bearing claim. The stress-test finds no internal inconsistency or circularity in the setup, and the constructions appear to rest on standard CAT(0) properties plus the new definitions rather than fitted parameters. That said, the faithfulness of the strand combinatorics to the full Plucker vector and basis expansion still needs the detailed proofs to confirm there are no hidden conditions on the graphs. This work is for people already working in tropical combinatorics, positroids, or cluster algebra combinatorics who want explicit models that connect several existing objects. A reader who cares about concrete representations of tropical points or direct computations from webs will find usable constructions here. It deserves a serious referee to verify the uniqueness theorem and the embedding statements.","headline":"This paper gives scaffolds as a combinatorial model for points in higher tropical Grassmannians and proves a unique normal CAT(0) planar graph for every positive integer tropical Plucker vector in the k=3 case.","tokens_in":2373,"tokens_out":420,"would_cite":true,"duration_ms":28106,"reading_group":"yes","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":[],"pacs":[],"model":"grok-4.3","headline":"Any integer positive tropical Plucker vector has a unique representation as a normal CAT(0) planar graph.","keywords":["scaffolds","tropical Grassmannians","CAT(0) planar graphs","tropical Plucker vectors","strand combinatorics","affine buildings","positive tropical geometry"],"falsifier":"An integer positive tropical Plucker vector that either has no corresponding normal CAT(0) planar graph or is represented by more than one distinct such graph.","tokens_in":2637,"feed_emoji":"🌳","tokens_out":611,"duration_ms":59435,"temperature":0.7,"pith_summary":"The paper establishes that scaffolds generalize phylogenetic trees to model all tropical Grassmannians using a k-point distance function. For the tropical Grassmannian of three-planes, it introduces CAT(0) planar graphs as positive scaffolds. The central result is that these normal graphs provide a unique representation for every integer positive tropical Plucker vector. This links the combinatorics of SL(3)-webs and affine buildings to tropical geometry through planar graphs with nonpositive curvature.","feed_headline":"Unique CAT(0) graphs encode positive tropical Plucker vectors","feed_subtitle":"Normal planar graphs with nonpositive curvature give a canonical model for three-plane cases, generalizing trees.","key_machinery":"normal CAT(0) planar graphs, which are directed planar duals to SL(3)-webs and use strand combinatorics to encode distance data","core_discovery":"We prove that scaffolds model points in all tropical Grassmannians via a k-point distance function. For three-planes, we show that any given integer positive tropical Plucker vector has a unique representation by a normal CAT(0) planar graph. These graphs embed into the tropical linear space as a Lam-Postnikov membrane and into the Keel-Tevelev membrane in the affine building. The planar basis expansion is computed directly from the strand combinatorics of the dual web.","pith_inferences":["This approach could lead to graph-theoretic algorithms for problems in tropical geometry.","Generalizing the uniqueness to higher k would create a uniform combinatorial model across dimensions.","The curvature properties might connect to new results in discrete geometry or topology."],"forward_implications":["Scaffolds provide models for points in tropical Grassmannians of any rank using a k-point distance function.","The representation is unique for positive integer vectors in the three-plane case.","Basis expansions follow from the combinatorics of strands in the dual web.","The graphs embed canonically into both tropical linear spaces and affine buildings."],"fun_headline_variants":["CAT(0) planar graphs represent tropical Plucker vectors uniquely","Normal CAT(0) graphs model positive tropical three-plane cases","Scaffolds generalize trees to higher tropical Grassmannians","CAT(0) graphs embed as membranes in tropical linear spaces","Scaffolds model points in tropical Grassmannians via distance functions"],"cache_read_input_tokens":64,"weakest_assumption_plain":"The defined properties of normal CAT(0) planar graphs and their strand combinatorics are assumed to exactly match and capture all positive tropical Plucker vectors without omissions or extra conditions.","fun_headline_variants_meta":{"raw":{"variants":["CAT(0) planar graphs represent tropical Plucker vectors uniquely","Normal CAT(0) graphs model positive tropical three-plane cases","Scaffolds generalize trees to higher tropical Grassmannians","CAT(0) graphs embed as membranes in tropical linear spaces","Scaffolds model points in tropical Grassmannians via distance functions"]},"model":"grok-4.3","cost_usd":0.005435,"raw_usage":{"total_tokens":2634,"prompt_tokens":705,"num_sources_used":0,"completion_tokens":84,"cost_in_usd_ticks":54349500,"prompt_tokens_details":{"text_tokens":705,"audio_tokens":0,"image_tokens":0,"cached_tokens":256},"completion_tokens_details":{"audio_tokens":0,"reasoning_tokens":1845,"accepted_prediction_tokens":0,"rejected_prediction_tokens":0}},"tokens_in":705,"tokens_out":84,"duration_ms":25753,"temperature":1.0,"reasoning_tokens":1845,"cache_read_input_tokens":256,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-05-07T15:55:45.270512+00:00","model_set":{"reader":"grok-4.3"},"falsifier":"An integer positive tropical Plucker vector that either has no corresponding normal CAT(0) planar graph or is represented by more than one distinct such graph.","supporting_citations":[],"review_version":1}