{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2025:AHJT64ZUA5DLVXS26UJPD7WBLH","short_pith_number":"pith:AHJT64ZU","canonical_record":{"source":{"id":"2506.06264","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.AG","submitted_at":"2025-06-06T17:46:43Z","cross_cats_sorted":[],"title_canon_sha256":"4429cef0e299e1b3aa8bb9d9eaf3f2972c367e3a6c54750b014f974a29489b26","abstract_canon_sha256":"e35e27b22b72248a603f517cfd813fc7b836d2a1b735c3e1a3cdbbd3d0c1ceb9"},"schema_version":"1.0"},"canonical_sha256":"01d33f73340746bade5af512f1fec159dc79e863ef1ce29da35ab38ba87036cb","source":{"kind":"arxiv","id":"2506.06264","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2506.06264","created_at":"2026-07-05T11:17:28Z"},{"alias_kind":"arxiv_version","alias_value":"2506.06264v1","created_at":"2026-07-05T11:17:28Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2506.06264","created_at":"2026-07-05T11:17:28Z"},{"alias_kind":"pith_short_12","alias_value":"AHJT64ZUA5DL","created_at":"2026-07-05T11:17:28Z"},{"alias_kind":"pith_short_16","alias_value":"AHJT64ZUA5DLVXS2","created_at":"2026-07-05T11:17:28Z"},{"alias_kind":"pith_short_8","alias_value":"AHJT64ZU","created_at":"2026-07-05T11:17:28Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2025:AHJT64ZUA5DLVXS26UJPD7WBLH","target":"record","payload":{"canonical_record":{"source":{"id":"2506.06264","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.AG","submitted_at":"2025-06-06T17:46:43Z","cross_cats_sorted":[],"title_canon_sha256":"4429cef0e299e1b3aa8bb9d9eaf3f2972c367e3a6c54750b014f974a29489b26","abstract_canon_sha256":"e35e27b22b72248a603f517cfd813fc7b836d2a1b735c3e1a3cdbbd3d0c1ceb9"},"schema_version":"1.0"},"canonical_sha256":"01d33f73340746bade5af512f1fec159dc79e863ef1ce29da35ab38ba87036cb","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T11:17:28.367490Z","signature_b64":"tuk9Wi13unZVPVumOy5bkEb7JySyCEoIDQ+OJji8mlZK4tIq8wxAdnSD61Infxcp5UjVdO1McPY5kDDxJFLwDg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"01d33f73340746bade5af512f1fec159dc79e863ef1ce29da35ab38ba87036cb","last_reissued_at":"2026-07-05T11:17:28.367061Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T11:17:28.367061Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2506.06264","source_version":1,"attestation_state":"computed"},"signer":{"signer_id":"pith.science","signer_type":"pith_registry","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"created_at":"2026-07-05T11:17:28Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"2qKaq+kxu/u2OutstDt1olSlMDUBHQOQl4zi1/c4Nx/XppxSC12+/8h/qMDmhsfN3ypsgbl4ld3Zq2m9tT1XCA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-06T17:49:18.748307Z"},"content_sha256":"aa443aedbff372be410f266fd63886049909694859318ef5c5c473ba0d4ff64f","schema_version":"1.0","event_id":"sha256:aa443aedbff372be410f266fd63886049909694859318ef5c5c473ba0d4ff64f"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2025:AHJT64ZUA5DLVXS26UJPD7WBLH","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"The SagbiHomotopy.jl package for solving polynomial systems","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"math.AG","authors_text":"Barbara Betti, Viktoriia Borovik","submitted_at":"2025-06-06T17:46:43Z","abstract_excerpt":"We present the Julia package SagbiHomotopy.jl for solving systems of polynomial equations using numerical homotopy continuation. The package introduces an optimal choice of a start system based on SAGBI homotopies. For square horizontally parameterized systems, where each equation is a linear combination of a given set of polynomials, SAGBI homotopies significantly reduce the number of solution paths to track compared to polyhedral homotopies currently used by default in most software for numerical homotopy continuation. We illustrate our framework with a variety of examples, including problem"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2506.06264","kind":"arxiv","version":1},"verdict":{"id":null,"model_set":{},"created_at":null,"strongest_claim":"","one_line_summary":"","pipeline_version":null,"weakest_assumption":"","pith_extraction_headline":""},"integrity":{"clean":true,"summary":{"advisory":0,"critical":0,"by_detector":{},"informational":0},"endpoint":"/pith/2506.06264/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":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"author_claims":{"count":0,"strong_count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"builder_version":"pith-number-builder-2026-05-17-v1"},"verdict_id":null},"signer":{"signer_id":"pith.science","signer_type":"pith_registry","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"created_at":"2026-07-05T11:17:28Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"kFPbwfWVk11SbXdptk29/SHi5IzXU1kr6aUVx5vv0uUUpji7Yt3sdN7YMzZ0Cbd+u0LO7uX1kBkXLdZClLV3Dw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-06T17:49:18.749062Z"},"content_sha256":"91e8bf570beaf2805560c14a91e7dda87edde9685c8af128f433a784da310960","schema_version":"1.0","event_id":"sha256:91e8bf570beaf2805560c14a91e7dda87edde9685c8af128f433a784da310960"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/AHJT64ZUA5DLVXS26UJPD7WBLH/bundle.json","state_url":"https://pith.science/pith/AHJT64ZUA5DLVXS26UJPD7WBLH/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/AHJT64ZUA5DLVXS26UJPD7WBLH/bundle.json","status":"primary"}],"public_keys":[{"key_id":"pith-v1-2026-05","algorithm":"ed25519","format":"raw","public_key_b64":"stVStoiQhXFxp4s2pdzPNoqVNBMojDU/fJ2db5S3CbM=","public_key_hex":"b2d552b68890857171a78b36a5dccf368a953413288c353f7c9d9d6f94b709b3","fingerprint_sha256_b32_first128bits":"RVFV5Z2OI2J3ZUO7ERDEBCYNKS","fingerprint_sha256_hex":"8d4b5ee74e4693bcd1df2446408b0d54","rotates_at":null,"url":"https://pith.science/pith-signing-key.json","notes":"Pith uses this Ed25519 key to sign canonical record SHA-256 digests. Verify with: ed25519_verify(public_key, message=canonical_sha256_bytes, signature=base64decode(signature_b64))."}],"merge_version":"pith-open-graph-merge-v1","built_at":"2026-08-06T17:49:18Z","links":{"resolver":"https://pith.science/pith/AHJT64ZUA5DLVXS26UJPD7WBLH","bundle":"https://pith.science/pith/AHJT64ZUA5DLVXS26UJPD7WBLH/bundle.json","state":"https://pith.science/pith/AHJT64ZUA5DLVXS26UJPD7WBLH/state.json","well_known_bundle":"https://pith.science/.well-known/pith/AHJT64ZUA5DLVXS26UJPD7WBLH/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2025:AHJT64ZUA5DLVXS26UJPD7WBLH","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":"e35e27b22b72248a603f517cfd813fc7b836d2a1b735c3e1a3cdbbd3d0c1ceb9","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.AG","submitted_at":"2025-06-06T17:46:43Z","title_canon_sha256":"4429cef0e299e1b3aa8bb9d9eaf3f2972c367e3a6c54750b014f974a29489b26"},"schema_version":"1.0","source":{"id":"2506.06264","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2506.06264","created_at":"2026-07-05T11:17:28Z"},{"alias_kind":"arxiv_version","alias_value":"2506.06264v1","created_at":"2026-07-05T11:17:28Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2506.06264","created_at":"2026-07-05T11:17:28Z"},{"alias_kind":"pith_short_12","alias_value":"AHJT64ZUA5DL","created_at":"2026-07-05T11:17:28Z"},{"alias_kind":"pith_short_16","alias_value":"AHJT64ZUA5DLVXS2","created_at":"2026-07-05T11:17:28Z"},{"alias_kind":"pith_short_8","alias_value":"AHJT64ZU","created_at":"2026-07-05T11:17:28Z"}],"graph_snapshots":[{"event_id":"sha256:91e8bf570beaf2805560c14a91e7dda87edde9685c8af128f433a784da310960","target":"graph","created_at":"2026-07-05T11:17:28Z","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/2506.06264/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"We present the Julia package SagbiHomotopy.jl for solving systems of polynomial equations using numerical homotopy continuation. The package introduces an optimal choice of a start system based on SAGBI homotopies. For square horizontally parameterized systems, where each equation is a linear combination of a given set of polynomials, SAGBI homotopies significantly reduce the number of solution paths to track compared to polyhedral homotopies currently used by default in most software for numerical homotopy continuation. We illustrate our framework with a variety of examples, including problem","authors_text":"Barbara Betti, Viktoriia Borovik","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.AG","submitted_at":"2025-06-06T17:46:43Z","title":"The SagbiHomotopy.jl package for solving polynomial systems"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2506.06264","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:aa443aedbff372be410f266fd63886049909694859318ef5c5c473ba0d4ff64f","target":"record","created_at":"2026-07-05T11:17:28Z","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":"e35e27b22b72248a603f517cfd813fc7b836d2a1b735c3e1a3cdbbd3d0c1ceb9","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.AG","submitted_at":"2025-06-06T17:46:43Z","title_canon_sha256":"4429cef0e299e1b3aa8bb9d9eaf3f2972c367e3a6c54750b014f974a29489b26"},"schema_version":"1.0","source":{"id":"2506.06264","kind":"arxiv","version":1}},"canonical_sha256":"01d33f73340746bade5af512f1fec159dc79e863ef1ce29da35ab38ba87036cb","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"01d33f73340746bade5af512f1fec159dc79e863ef1ce29da35ab38ba87036cb","first_computed_at":"2026-07-05T11:17:28.367061Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T11:17:28.367061Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"tuk9Wi13unZVPVumOy5bkEb7JySyCEoIDQ+OJji8mlZK4tIq8wxAdnSD61Infxcp5UjVdO1McPY5kDDxJFLwDg==","signature_status":"signed_v1","signed_at":"2026-07-05T11:17:28.367490Z","signed_message":"canonical_sha256_bytes"},"source_id":"2506.06264","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:aa443aedbff372be410f266fd63886049909694859318ef5c5c473ba0d4ff64f","sha256:91e8bf570beaf2805560c14a91e7dda87edde9685c8af128f433a784da310960"],"state_sha256":"c5aef56e3d0aa5f463f699aae67d8ded01b46e2777a00f9a555e41f0b69d6731"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"+9aJRmFPPb67dDXdpll7LN7Sb7ShPrlBd2JdsIN51/5XjQQEfSlrorRwCkxazXpOXazFpRU8lS4DDAkgyNlxBg==","signed_message":"bundle_sha256_bytes","signed_at":"2026-08-06T17:49:18.754568Z","bundle_sha256":"14d2f7cb7f8e64e43fcd137cecd8f5678423bd0f3ffc7e9adecb63fd4e78e820"}}