{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2025:P5LPKJXHTTN54EKSIN4O2Y3MRX","merge_version":"pith-open-graph-merge-v1","event_count":2,"valid_event_count":2,"invalid_event_count":0,"equivocation_count":0,"current":{"canonical_record":{"metadata":{"abstract_canon_sha256":"2213c959a993c87e8ec13ea0a52ff26d3ecceb31605fe818b36bb2127cf103c5","cross_cats_sorted":["cs.CG","math.AG"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SC","submitted_at":"2025-03-15T22:18:01Z","title_canon_sha256":"794838c8e867233961fdc5d360d47f62239d896e1aeb4fedf9be44a80d5a59d2"},"schema_version":"1.0","source":{"id":"2503.12275","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2503.12275","created_at":"2026-07-05T10:32:09Z"},{"alias_kind":"arxiv_version","alias_value":"2503.12275v1","created_at":"2026-07-05T10:32:09Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2503.12275","created_at":"2026-07-05T10:32:09Z"},{"alias_kind":"pith_short_12","alias_value":"P5LPKJXHTTN5","created_at":"2026-07-05T10:32:09Z"},{"alias_kind":"pith_short_16","alias_value":"P5LPKJXHTTN54EKS","created_at":"2026-07-05T10:32:09Z"},{"alias_kind":"pith_short_8","alias_value":"P5LPKJXH","created_at":"2026-07-05T10:32:09Z"}],"graph_snapshots":[{"event_id":"sha256:9f7c52aabf70ca6f8c96ffca41cbcb0316b7ce7b32c0c0f68622bcbfa8d5ea7c","target":"graph","created_at":"2026-07-05T10:32:09Z","signer":{"key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signer_id":"pith.science","signer_type":"pith_registry"},"payload":{"graph_snapshot":{"author_claims":{"count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57","strong_count":0},"builder_version":"pith-number-builder-2026-05-17-v1","claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"formal_canon":{"evidence_count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"integrity":{"available":true,"clean":true,"detectors_run":[],"endpoint":"/pith/2503.12275/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"A semi-algebraic set is a subset of $\\mathbb{R}^n$ defined by a finite collection of polynomial equations and inequalities. In this paper, we investigate the problem of determining whether two points in such a set belong to the same connected component. We focus on the case where the defining equations and inequalities are invariant under the natural action of the symmetric group and where each polynomial has degree at most \\( d \\), with \\( d < n \\) (where \\( n \\) denotes the number of variables). Exploiting this symmetry, we develop and analyze algorithms for two key tasks. First, we present ","authors_text":"Cordian.Riener, Robin Schabert, Thi Xuan Vu","cross_cats":["cs.CG","math.AG"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SC","submitted_at":"2025-03-15T22:18:01Z","title":"Deciding Connectivity in Symmetric Semi-Algebraic Sets"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2503.12275","kind":"arxiv","version":1},"verdict":{"created_at":null,"id":null,"model_set":{},"one_line_summary":"","pipeline_version":null,"pith_extraction_headline":"","strongest_claim":"","weakest_assumption":""}},"verdict_id":null}}],"author_attestations":[],"timestamp_anchors":[],"storage_attestations":[],"citation_signatures":[],"replication_records":[],"corrections":[],"mirror_hints":[],"record_created":{"event_id":"sha256:732fa0f8f78752aeb26eb7eb2a63c3defa1fec46c7a976397ce362576bc26726","target":"record","created_at":"2026-07-05T10:32:09Z","signer":{"key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signer_id":"pith.science","signer_type":"pith_registry"},"payload":{"attestation_state":"computed","canonical_record":{"metadata":{"abstract_canon_sha256":"2213c959a993c87e8ec13ea0a52ff26d3ecceb31605fe818b36bb2127cf103c5","cross_cats_sorted":["cs.CG","math.AG"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SC","submitted_at":"2025-03-15T22:18:01Z","title_canon_sha256":"794838c8e867233961fdc5d360d47f62239d896e1aeb4fedf9be44a80d5a59d2"},"schema_version":"1.0","source":{"id":"2503.12275","kind":"arxiv","version":1}},"canonical_sha256":"7f56f526e79cdbde11524378ed636c8de5111986cf73a88b9e178f92d087a344","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"7f56f526e79cdbde11524378ed636c8de5111986cf73a88b9e178f92d087a344","first_computed_at":"2026-07-05T10:32:09.176114Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T10:32:09.176114Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"3S7HIEukvdy0X+rwH/3D7DidSr6zV/Y76rLOpzGAbo7C8pVHKh1fv6g/dlnxnNoiQLHlJ6d1l90VYIitBmIbDw==","signature_status":"signed_v1","signed_at":"2026-07-05T10:32:09.176593Z","signed_message":"canonical_sha256_bytes"},"source_id":"2503.12275","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:732fa0f8f78752aeb26eb7eb2a63c3defa1fec46c7a976397ce362576bc26726","sha256:9f7c52aabf70ca6f8c96ffca41cbcb0316b7ce7b32c0c0f68622bcbfa8d5ea7c"],"state_sha256":"e8f90de178857bcff1dc75b2381bf51a0fe62b1725a608d8c18270746e81f032"}