{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2025:NQQFJBEO5PCKTDEUEM5DVWLUKN","short_pith_number":"pith:NQQFJBEO","schema_version":"1.0","canonical_sha256":"6c2054848eebc4a98c94233a3ad974534134fa502a72ad324a1d698e2a5e7100","source":{"kind":"arxiv","id":"2508.02941","version":4},"attestation_state":"computed","paper":{"title":"Tropical cluster varieties of type C","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"The tropicalization of a cluster variety of finite type C is the space of axially symmetric phylogenetic trees.","cross_cats":["math.CO"],"primary_cat":"math.AG","authors_text":"Igor Makhlin","submitted_at":"2025-08-04T22:41:50Z","abstract_excerpt":"We explicitly describe the tropicalization of a cluster variety of finite type C, realizing it as the space of axially symmetric phylogenetic trees. We also find all occurring sign patterns of coordinates, for both the cluster variety and the cluster configuration space. We show that each of the corresponding signed tropicalizations is, combinatorially, dual to either a cyclohedron or an associahedron. As additional results, we construct Gr\\\"obner and tropical bases for the defining ideals of both varieties, and classify the arising toric degenerations."},"verification_status":{"content_addressed":true,"pith_receipt":true,"author_attested":false,"weak_author_claims":0,"strong_author_claims":0,"externally_anchored":false,"storage_verified":false,"citation_signatures":0,"replication_records":0,"graph_snapshot":true,"references_resolved":false,"formal_links_present":true},"canonical_record":{"source":{"id":"2508.02941","kind":"arxiv","version":4},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.AG","submitted_at":"2025-08-04T22:41:50Z","cross_cats_sorted":["math.CO"],"title_canon_sha256":"b773400665dcda4a13c4c6c0aa48a6e5c6e8ce7aed05194a44d9541b801a85a8","abstract_canon_sha256":"e9ad0b3b179494dd0e14a7ac1277dbb33a0cf412e72c853a58d98569aa102912"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-06-10T01:08:29.071474Z","signature_b64":"HmSP59C8OhX7BdKib22Re10QkDhfglVEfsRV28yXCkhxieGQ6Zqjs8LCWstRS06E8/OGo+sWRmc1yqnT1OGBAg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"6c2054848eebc4a98c94233a3ad974534134fa502a72ad324a1d698e2a5e7100","last_reissued_at":"2026-06-10T01:08:29.070536Z","signature_status":"signed_v1","first_computed_at":"2026-06-10T01:08:29.070536Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"Tropical cluster varieties of type C","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"The tropicalization of a cluster variety of finite type C is the space of axially symmetric phylogenetic trees.","cross_cats":["math.CO"],"primary_cat":"math.AG","authors_text":"Igor Makhlin","submitted_at":"2025-08-04T22:41:50Z","abstract_excerpt":"We explicitly describe the tropicalization of a cluster variety of finite type C, realizing it as the space of axially symmetric phylogenetic trees. We also find all occurring sign patterns of coordinates, for both the cluster variety and the cluster configuration space. We show that each of the corresponding signed tropicalizations is, combinatorially, dual to either a cyclohedron or an associahedron. As additional results, we construct Gr\\\"obner and tropical bases for the defining ideals of both varieties, and classify the arising toric degenerations."},"claims":{"count":4,"items":[{"kind":"strongest_claim","text":"We explicitly describe the tropicalization of a cluster variety of finite type C, realizing it as the space of axially symmetric phylogenetic trees. We also find all occurring sign patterns of coordinates, for both the cluster variety and the cluster configuration space. We show that each of the corresponding signed tropicalizations is, combinatorially, dual to either a cyclohedron or an associahedron.","source":"verdict.strongest_claim","status":"machine_extracted","claim_id":"C1","attestation":"unclaimed"},{"kind":"weakest_assumption","text":"The realization as axially symmetric phylogenetic trees and the duality statements depend on the precise combinatorial definitions of axial symmetry and the sign patterns being compatible with the tropical structure of type C cluster varieties, as invoked in the main constructions (abstract and introduction).","source":"verdict.weakest_assumption","status":"machine_extracted","claim_id":"C2","attestation":"unclaimed"},{"kind":"one_line_summary","text":"Tropicalization of finite type C cluster varieties is realized as axially symmetric phylogenetic trees, with signed versions dual to cyclohedra or associahedra; Groebner bases and toric degenerations are also constructed.","source":"verdict.one_line_summary","status":"machine_extracted","claim_id":"C3","attestation":"unclaimed"},{"kind":"headline","text":"The tropicalization of a cluster variety of finite type C is the space of axially symmetric phylogenetic trees.","source":"verdict.pith_extraction.headline","status":"machine_extracted","claim_id":"C4","attestation":"unclaimed"}],"snapshot_sha256":"4eb58015a8b2a750496999f6fab0e04b76abe11dc0dce2d6dc9c191056d37b5d"},"source":{"id":"2508.02941","kind":"arxiv","version":4},"verdict":{"id":"fdee5987-c23d-49d1-8e6f-45f49cbb553e","model_set":{"reader":"grok-4.3"},"created_at":"2026-05-19T00:15:50.158053Z","strongest_claim":"We explicitly describe the tropicalization of a cluster variety of finite type C, realizing it as the space of axially symmetric phylogenetic trees. We also find all occurring sign patterns of coordinates, for both the cluster variety and the cluster configuration space. We show that each of the corresponding signed tropicalizations is, combinatorially, dual to either a cyclohedron or an associahedron.","one_line_summary":"Tropicalization of finite type C cluster varieties is realized as axially symmetric phylogenetic trees, with signed versions dual to cyclohedra or associahedra; Groebner bases and toric degenerations are also constructed.","pipeline_version":"pith-pipeline@v0.9.0","weakest_assumption":"The realization as axially symmetric phylogenetic trees and the duality statements depend on the precise combinatorial definitions of axial symmetry and the sign patterns being compatible with the tropical structure of type C cluster varieties, as invoked in the main constructions (abstract and introduction).","pith_extraction_headline":"The tropicalization of a cluster variety of finite type C is the space of axially symmetric phylogenetic trees."},"integrity":{"clean":true,"summary":{"advisory":0,"critical":0,"by_detector":{},"informational":0},"endpoint":"/pith/2508.02941/integrity.json","findings":[],"available":true,"detectors_run":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938"},"references":{"count":0,"sample":[],"resolved_work":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57","internal_anchors":0},"formal_canon":{"evidence_count":2,"snapshot_sha256":"7f5f51fe78170337651ee3e49368199f65cbad28e0d39aaf1c75369a8ded231a"},"author_claims":{"count":0,"strong_count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"builder_version":"pith-number-builder-2026-05-17-v1"},"aliases":[{"alias_kind":"arxiv","alias_value":"2508.02941","created_at":"2026-06-10T01:08:29.070647+00:00"},{"alias_kind":"arxiv_version","alias_value":"2508.02941v4","created_at":"2026-06-10T01:08:29.070647+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2508.02941","created_at":"2026-06-10T01:08:29.070647+00:00"},{"alias_kind":"pith_short_12","alias_value":"NQQFJBEO5PCK","created_at":"2026-06-10T01:08:29.070647+00:00"},{"alias_kind":"pith_short_16","alias_value":"NQQFJBEO5PCKTDEU","created_at":"2026-06-10T01:08:29.070647+00:00"},{"alias_kind":"pith_short_8","alias_value":"NQQFJBEO","created_at":"2026-06-10T01:08:29.070647+00:00"}],"events":[],"event_summary":{},"paper_claims":[],"inbound_citations":{"count":0,"internal_anchor_count":0,"sample":[]},"formal_canon":{"evidence_count":2,"sample":[],"anchors":[]},"links":{"html":"https://pith.science/pith/NQQFJBEO5PCKTDEUEM5DVWLUKN","json":"https://pith.science/pith/NQQFJBEO5PCKTDEUEM5DVWLUKN.json","graph_json":"https://pith.science/api/pith-number/NQQFJBEO5PCKTDEUEM5DVWLUKN/graph.json","events_json":"https://pith.science/api/pith-number/NQQFJBEO5PCKTDEUEM5DVWLUKN/events.json","paper":"https://pith.science/paper/NQQFJBEO"},"agent_actions":{"view_html":"https://pith.science/pith/NQQFJBEO5PCKTDEUEM5DVWLUKN","download_json":"https://pith.science/pith/NQQFJBEO5PCKTDEUEM5DVWLUKN.json","view_paper":"https://pith.science/paper/NQQFJBEO","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=2508.02941&json=true","fetch_graph":"https://pith.science/api/pith-number/NQQFJBEO5PCKTDEUEM5DVWLUKN/graph.json","fetch_events":"https://pith.science/api/pith-number/NQQFJBEO5PCKTDEUEM5DVWLUKN/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/NQQFJBEO5PCKTDEUEM5DVWLUKN/action/timestamp_anchor","attest_storage":"https://pith.science/pith/NQQFJBEO5PCKTDEUEM5DVWLUKN/action/storage_attestation","attest_author":"https://pith.science/pith/NQQFJBEO5PCKTDEUEM5DVWLUKN/action/author_attestation","sign_citation":"https://pith.science/pith/NQQFJBEO5PCKTDEUEM5DVWLUKN/action/citation_signature","submit_replication":"https://pith.science/pith/NQQFJBEO5PCKTDEUEM5DVWLUKN/action/replication_record"}},"created_at":"2026-06-10T01:08:29.070647+00:00","updated_at":"2026-06-10T01:08:29.070647+00:00"}