{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2015:OCAYXW3Y5PS5X755BIPHUB7BGD","short_pith_number":"pith:OCAYXW3Y","canonical_record":{"source":{"id":"1509.05957","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"math.GR","submitted_at":"2015-09-20T02:18:11Z","cross_cats_sorted":["cs.FL"],"title_canon_sha256":"c3f5af61239a021ba39f173ff6f7ade6e12538cbf9deadadbce72053a92834ba","abstract_canon_sha256":"9928e73f5b0100376576ae45e3e094080abfad8cc1c28aa75e16f730b827906f"},"schema_version":"1.0"},"canonical_sha256":"70818bdb78ebe5dbffbd0a1e7a07e130d7734b6585dbd21f3cb255ab3f800da0","source":{"kind":"arxiv","id":"1509.05957","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1509.05957","created_at":"2026-05-18T01:32:36Z"},{"alias_kind":"arxiv_version","alias_value":"1509.05957v1","created_at":"2026-05-18T01:32:36Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1509.05957","created_at":"2026-05-18T01:32:36Z"},{"alias_kind":"pith_short_12","alias_value":"OCAYXW3Y5PS5","created_at":"2026-05-18T12:29:34Z"},{"alias_kind":"pith_short_16","alias_value":"OCAYXW3Y5PS5X755","created_at":"2026-05-18T12:29:34Z"},{"alias_kind":"pith_short_8","alias_value":"OCAYXW3Y","created_at":"2026-05-18T12:29:34Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2015:OCAYXW3Y5PS5X755BIPHUB7BGD","target":"record","payload":{"canonical_record":{"source":{"id":"1509.05957","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"math.GR","submitted_at":"2015-09-20T02:18:11Z","cross_cats_sorted":["cs.FL"],"title_canon_sha256":"c3f5af61239a021ba39f173ff6f7ade6e12538cbf9deadadbce72053a92834ba","abstract_canon_sha256":"9928e73f5b0100376576ae45e3e094080abfad8cc1c28aa75e16f730b827906f"},"schema_version":"1.0"},"canonical_sha256":"70818bdb78ebe5dbffbd0a1e7a07e130d7734b6585dbd21f3cb255ab3f800da0","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T01:32:36.258977Z","signature_b64":"vOL23UYVcC/6CqjKdq991jNuL3Oi56cFObf2VSX6poGuGJGFO2f6N5EVC3F5aewJoUsUrg8nvUOGLaf+IF0KCA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"70818bdb78ebe5dbffbd0a1e7a07e130d7734b6585dbd21f3cb255ab3f800da0","last_reissued_at":"2026-05-18T01:32:36.258546Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T01:32:36.258546Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1509.05957","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-05-18T01:32:36Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"xUNLn2UIK8q4/59G+uDOSZnNVVrQrjIePW/tmbatJ0MkDkKHRdbJK4wJfLZnfrcRwy0+zKHvf133UFZ2nEIKCQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-27T01:50:02.500651Z"},"content_sha256":"9dee7f71e91bad27b4be500f96aa68e60cd4066217bc23cc2df6cf9e66286785","schema_version":"1.0","event_id":"sha256:9dee7f71e91bad27b4be500f96aa68e60cd4066217bc23cc2df6cf9e66286785"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2015:OCAYXW3Y5PS5X755BIPHUB7BGD","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Knapsack in graph groups, HNN-extensions and amalgamated products","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":["cs.FL"],"primary_cat":"math.GR","authors_text":"Georg Zetzsche, Markus Lohrey","submitted_at":"2015-09-20T02:18:11Z","abstract_excerpt":"It is shown that the knapsack problem, which was introduced by Myasnikov et al. for arbitrary finitely generated groups, can be solved in NP for graph groups. This result even holds if the group elements are represented in a compressed form by SLPs, which generalizes the classical NP-completeness result of the integer knapsack problem. We also prove general transfer results: NP-membership of the knapsack problem is passed on to finite extensions, HNN-extensions over finite associated subgroups, and amalgamated products with finite identified subgroups."},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1509.05957","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":""},"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-05-18T01:32:36Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"eSKAHdNfazkBKDxT8DLYHIWiGKIrjeXLvUm+5KzSBP6yAuVmwgtQIFEDElfaTx8PgLA4GdFX4gC+BibyfHEbDw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-27T01:50:02.501300Z"},"content_sha256":"0e8fe6ef73eb27a9ff12a20c4b750bbe966093e43c3dbd9550e1d73a95a7d006","schema_version":"1.0","event_id":"sha256:0e8fe6ef73eb27a9ff12a20c4b750bbe966093e43c3dbd9550e1d73a95a7d006"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/OCAYXW3Y5PS5X755BIPHUB7BGD/bundle.json","state_url":"https://pith.science/pith/OCAYXW3Y5PS5X755BIPHUB7BGD/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/OCAYXW3Y5PS5X755BIPHUB7BGD/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-05-27T01:50:02Z","links":{"resolver":"https://pith.science/pith/OCAYXW3Y5PS5X755BIPHUB7BGD","bundle":"https://pith.science/pith/OCAYXW3Y5PS5X755BIPHUB7BGD/bundle.json","state":"https://pith.science/pith/OCAYXW3Y5PS5X755BIPHUB7BGD/state.json","well_known_bundle":"https://pith.science/.well-known/pith/OCAYXW3Y5PS5X755BIPHUB7BGD/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2015:OCAYXW3Y5PS5X755BIPHUB7BGD","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":"9928e73f5b0100376576ae45e3e094080abfad8cc1c28aa75e16f730b827906f","cross_cats_sorted":["cs.FL"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"math.GR","submitted_at":"2015-09-20T02:18:11Z","title_canon_sha256":"c3f5af61239a021ba39f173ff6f7ade6e12538cbf9deadadbce72053a92834ba"},"schema_version":"1.0","source":{"id":"1509.05957","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1509.05957","created_at":"2026-05-18T01:32:36Z"},{"alias_kind":"arxiv_version","alias_value":"1509.05957v1","created_at":"2026-05-18T01:32:36Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1509.05957","created_at":"2026-05-18T01:32:36Z"},{"alias_kind":"pith_short_12","alias_value":"OCAYXW3Y5PS5","created_at":"2026-05-18T12:29:34Z"},{"alias_kind":"pith_short_16","alias_value":"OCAYXW3Y5PS5X755","created_at":"2026-05-18T12:29:34Z"},{"alias_kind":"pith_short_8","alias_value":"OCAYXW3Y","created_at":"2026-05-18T12:29:34Z"}],"graph_snapshots":[{"event_id":"sha256:0e8fe6ef73eb27a9ff12a20c4b750bbe966093e43c3dbd9550e1d73a95a7d006","target":"graph","created_at":"2026-05-18T01:32:36Z","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"},"paper":{"abstract_excerpt":"It is shown that the knapsack problem, which was introduced by Myasnikov et al. for arbitrary finitely generated groups, can be solved in NP for graph groups. This result even holds if the group elements are represented in a compressed form by SLPs, which generalizes the classical NP-completeness result of the integer knapsack problem. We also prove general transfer results: NP-membership of the knapsack problem is passed on to finite extensions, HNN-extensions over finite associated subgroups, and amalgamated products with finite identified subgroups.","authors_text":"Georg Zetzsche, Markus Lohrey","cross_cats":["cs.FL"],"headline":"","license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"math.GR","submitted_at":"2015-09-20T02:18:11Z","title":"Knapsack in graph groups, HNN-extensions and amalgamated products"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1509.05957","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:9dee7f71e91bad27b4be500f96aa68e60cd4066217bc23cc2df6cf9e66286785","target":"record","created_at":"2026-05-18T01:32:36Z","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":"9928e73f5b0100376576ae45e3e094080abfad8cc1c28aa75e16f730b827906f","cross_cats_sorted":["cs.FL"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"math.GR","submitted_at":"2015-09-20T02:18:11Z","title_canon_sha256":"c3f5af61239a021ba39f173ff6f7ade6e12538cbf9deadadbce72053a92834ba"},"schema_version":"1.0","source":{"id":"1509.05957","kind":"arxiv","version":1}},"canonical_sha256":"70818bdb78ebe5dbffbd0a1e7a07e130d7734b6585dbd21f3cb255ab3f800da0","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"70818bdb78ebe5dbffbd0a1e7a07e130d7734b6585dbd21f3cb255ab3f800da0","first_computed_at":"2026-05-18T01:32:36.258546Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T01:32:36.258546Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"vOL23UYVcC/6CqjKdq991jNuL3Oi56cFObf2VSX6poGuGJGFO2f6N5EVC3F5aewJoUsUrg8nvUOGLaf+IF0KCA==","signature_status":"signed_v1","signed_at":"2026-05-18T01:32:36.258977Z","signed_message":"canonical_sha256_bytes"},"source_id":"1509.05957","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:9dee7f71e91bad27b4be500f96aa68e60cd4066217bc23cc2df6cf9e66286785","sha256:0e8fe6ef73eb27a9ff12a20c4b750bbe966093e43c3dbd9550e1d73a95a7d006"],"state_sha256":"93139b1ddbdd1ff6be1597034a31355c0ca5f2c1e7aca1c7539e413060f0aa00"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"sB0QjNrcuiZAA1gTAsOfgSec88znNr0eoRG0bAZNc5ybIFRoNgKeoGDn5U1I9QB3sqYsBE1jGQQa4ToHHN/TCA==","signed_message":"bundle_sha256_bytes","signed_at":"2026-05-27T01:50:02.504923Z","bundle_sha256":"e09ad929d45037626f49b49ef4400255ab27cbeb32d9cbbe682f0cfbdb530360"}}