{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2016:G7ZTP6DZCM7VOWKKTPVDJGJBYI","short_pith_number":"pith:G7ZTP6DZ","canonical_record":{"source":{"id":"1606.06399","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.DM","submitted_at":"2016-06-21T02:04:13Z","cross_cats_sorted":["cs.DS"],"title_canon_sha256":"ea7975601afe8d9e7a3376864730e76b56ef2939f699ac5e835fc882710b4f52","abstract_canon_sha256":"ec861f4903b26f3f580479559de7a25570c4ba964fcb3b5082ca3a9e9a1852a3"},"schema_version":"1.0"},"canonical_sha256":"37f337f879133f57594a9bea349921c21a9a55bd69ebdc71f3eb4c5bfb8cd2de","source":{"kind":"arxiv","id":"1606.06399","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1606.06399","created_at":"2026-05-18T01:12:11Z"},{"alias_kind":"arxiv_version","alias_value":"1606.06399v1","created_at":"2026-05-18T01:12:11Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1606.06399","created_at":"2026-05-18T01:12:11Z"},{"alias_kind":"pith_short_12","alias_value":"G7ZTP6DZCM7V","created_at":"2026-05-18T12:30:15Z"},{"alias_kind":"pith_short_16","alias_value":"G7ZTP6DZCM7VOWKK","created_at":"2026-05-18T12:30:15Z"},{"alias_kind":"pith_short_8","alias_value":"G7ZTP6DZ","created_at":"2026-05-18T12:30:15Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2016:G7ZTP6DZCM7VOWKKTPVDJGJBYI","target":"record","payload":{"canonical_record":{"source":{"id":"1606.06399","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.DM","submitted_at":"2016-06-21T02:04:13Z","cross_cats_sorted":["cs.DS"],"title_canon_sha256":"ea7975601afe8d9e7a3376864730e76b56ef2939f699ac5e835fc882710b4f52","abstract_canon_sha256":"ec861f4903b26f3f580479559de7a25570c4ba964fcb3b5082ca3a9e9a1852a3"},"schema_version":"1.0"},"canonical_sha256":"37f337f879133f57594a9bea349921c21a9a55bd69ebdc71f3eb4c5bfb8cd2de","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T01:12:11.016957Z","signature_b64":"pohSvOUr9HgDNoMXW4nh79CaLUbe/2ovQJ/5zE3jLhvHzQKVlXvLOpljCopDDMarYBzrTxqJh9t5Qd2eYcFfCQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"37f337f879133f57594a9bea349921c21a9a55bd69ebdc71f3eb4c5bfb8cd2de","last_reissued_at":"2026-05-18T01:12:11.016549Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T01:12:11.016549Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1606.06399","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:12:11Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"FaZJUz3dw+bdITFUMcUr1pnSLKmQ7cDp1TLDwXVp6ePSabKocFkvoIrqBItc/NyniYcoBoJLVdjJVnNB4TmJBw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-07-07T02:47:19.619843Z"},"content_sha256":"ad0aa36e9644c1867fb7bf2169d8e9f781475eecc75c2218adfe906dcaa8d59e","schema_version":"1.0","event_id":"sha256:ad0aa36e9644c1867fb7bf2169d8e9f781475eecc75c2218adfe906dcaa8d59e"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2016:G7ZTP6DZCM7VOWKKTPVDJGJBYI","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Uniqueness Trees: A Possible Polynomial Approach to the Graph Isomorphism Problem","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.DS"],"primary_cat":"cs.DM","authors_text":"Jonathan Gorard","submitted_at":"2016-06-21T02:04:13Z","abstract_excerpt":"This paper presents the novel `uniqueness tree' algorithm, as one possible method for determining whether two finite, undirected graphs are isomorphic. We prove that the algorithm has polynomial time complexity in the worst case, and that it will always detect the presence of an isomorphism whenever one exists. We also propose that the algorithm will equivalently discern the lack of an isomorphism whenever one does not exist, and some initial justifications are given for this proposition, although it cannot yet be rigorously proven. Finally, we present experimental evidence for both the effect"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1606.06399","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:12:11Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"/OWXHDNkZUg8k0e+2Z3M58LI48o6o9qUpVU5fEnMjuoQMrS/7GbLD0fsP5kO/dn4aRFhvP3r1soa9hnqrfxzBQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-07-07T02:47:19.620170Z"},"content_sha256":"faa73d203c950cc6a9d0bb5349ed85f4effb39ebdfc39f1271ec1e1d7b5470f5","schema_version":"1.0","event_id":"sha256:faa73d203c950cc6a9d0bb5349ed85f4effb39ebdfc39f1271ec1e1d7b5470f5"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/G7ZTP6DZCM7VOWKKTPVDJGJBYI/bundle.json","state_url":"https://pith.science/pith/G7ZTP6DZCM7VOWKKTPVDJGJBYI/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/G7ZTP6DZCM7VOWKKTPVDJGJBYI/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-07-07T02:47:19Z","links":{"resolver":"https://pith.science/pith/G7ZTP6DZCM7VOWKKTPVDJGJBYI","bundle":"https://pith.science/pith/G7ZTP6DZCM7VOWKKTPVDJGJBYI/bundle.json","state":"https://pith.science/pith/G7ZTP6DZCM7VOWKKTPVDJGJBYI/state.json","well_known_bundle":"https://pith.science/.well-known/pith/G7ZTP6DZCM7VOWKKTPVDJGJBYI/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2016:G7ZTP6DZCM7VOWKKTPVDJGJBYI","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":"ec861f4903b26f3f580479559de7a25570c4ba964fcb3b5082ca3a9e9a1852a3","cross_cats_sorted":["cs.DS"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.DM","submitted_at":"2016-06-21T02:04:13Z","title_canon_sha256":"ea7975601afe8d9e7a3376864730e76b56ef2939f699ac5e835fc882710b4f52"},"schema_version":"1.0","source":{"id":"1606.06399","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1606.06399","created_at":"2026-05-18T01:12:11Z"},{"alias_kind":"arxiv_version","alias_value":"1606.06399v1","created_at":"2026-05-18T01:12:11Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1606.06399","created_at":"2026-05-18T01:12:11Z"},{"alias_kind":"pith_short_12","alias_value":"G7ZTP6DZCM7V","created_at":"2026-05-18T12:30:15Z"},{"alias_kind":"pith_short_16","alias_value":"G7ZTP6DZCM7VOWKK","created_at":"2026-05-18T12:30:15Z"},{"alias_kind":"pith_short_8","alias_value":"G7ZTP6DZ","created_at":"2026-05-18T12:30:15Z"}],"graph_snapshots":[{"event_id":"sha256:faa73d203c950cc6a9d0bb5349ed85f4effb39ebdfc39f1271ec1e1d7b5470f5","target":"graph","created_at":"2026-05-18T01:12:11Z","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":"This paper presents the novel `uniqueness tree' algorithm, as one possible method for determining whether two finite, undirected graphs are isomorphic. We prove that the algorithm has polynomial time complexity in the worst case, and that it will always detect the presence of an isomorphism whenever one exists. We also propose that the algorithm will equivalently discern the lack of an isomorphism whenever one does not exist, and some initial justifications are given for this proposition, although it cannot yet be rigorously proven. Finally, we present experimental evidence for both the effect","authors_text":"Jonathan Gorard","cross_cats":["cs.DS"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.DM","submitted_at":"2016-06-21T02:04:13Z","title":"Uniqueness Trees: A Possible Polynomial Approach to the Graph Isomorphism Problem"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1606.06399","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:ad0aa36e9644c1867fb7bf2169d8e9f781475eecc75c2218adfe906dcaa8d59e","target":"record","created_at":"2026-05-18T01:12:11Z","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":"ec861f4903b26f3f580479559de7a25570c4ba964fcb3b5082ca3a9e9a1852a3","cross_cats_sorted":["cs.DS"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.DM","submitted_at":"2016-06-21T02:04:13Z","title_canon_sha256":"ea7975601afe8d9e7a3376864730e76b56ef2939f699ac5e835fc882710b4f52"},"schema_version":"1.0","source":{"id":"1606.06399","kind":"arxiv","version":1}},"canonical_sha256":"37f337f879133f57594a9bea349921c21a9a55bd69ebdc71f3eb4c5bfb8cd2de","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"37f337f879133f57594a9bea349921c21a9a55bd69ebdc71f3eb4c5bfb8cd2de","first_computed_at":"2026-05-18T01:12:11.016549Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T01:12:11.016549Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"pohSvOUr9HgDNoMXW4nh79CaLUbe/2ovQJ/5zE3jLhvHzQKVlXvLOpljCopDDMarYBzrTxqJh9t5Qd2eYcFfCQ==","signature_status":"signed_v1","signed_at":"2026-05-18T01:12:11.016957Z","signed_message":"canonical_sha256_bytes"},"source_id":"1606.06399","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:ad0aa36e9644c1867fb7bf2169d8e9f781475eecc75c2218adfe906dcaa8d59e","sha256:faa73d203c950cc6a9d0bb5349ed85f4effb39ebdfc39f1271ec1e1d7b5470f5"],"state_sha256":"4f1c914f380ed3599ce48b642c1d3645d280f4d0b2643c74a523ed7f643f1155"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"TnfylLLOymTbnhtVtzcQ40iFletsum1dcu+ib3LRpONP6U1xozPn5gaYwekEj4mQIxF98y4DzuDlpWtjRvlYBQ==","signed_message":"bundle_sha256_bytes","signed_at":"2026-07-07T02:47:19.622028Z","bundle_sha256":"ae26dd00b71cc43af7284124b2d88fde240228e90cdeef6653937be5ab8bfa67"}}