{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2010:OKZGYNMTSA6YAHGJQMNKCSQTKD","short_pith_number":"pith:OKZGYNMT","canonical_record":{"source":{"id":"1001.4252","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.NT","submitted_at":"2010-01-24T16:15:23Z","cross_cats_sorted":["cs.CC","math.AG"],"title_canon_sha256":"25dce2701aab8bb86cef3063796fa4571805f41cbadc5421cbef866eb68e7f73","abstract_canon_sha256":"9cb18d01b16d64bd0f15aa9eab090735661bf1eb89e7617293f9bd8f9bfaef7c"},"schema_version":"1.0"},"canonical_sha256":"72b26c3593903d801cc9831aa14a1350c76023623282c1fdacbada19306d465f","source":{"kind":"arxiv","id":"1001.4252","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1001.4252","created_at":"2026-05-18T04:36:51Z"},{"alias_kind":"arxiv_version","alias_value":"1001.4252v1","created_at":"2026-05-18T04:36:51Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1001.4252","created_at":"2026-05-18T04:36:51Z"},{"alias_kind":"pith_short_12","alias_value":"OKZGYNMTSA6Y","created_at":"2026-05-18T12:26:12Z"},{"alias_kind":"pith_short_16","alias_value":"OKZGYNMTSA6YAHGJ","created_at":"2026-05-18T12:26:12Z"},{"alias_kind":"pith_short_8","alias_value":"OKZGYNMT","created_at":"2026-05-18T12:26:12Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2010:OKZGYNMTSA6YAHGJQMNKCSQTKD","target":"record","payload":{"canonical_record":{"source":{"id":"1001.4252","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.NT","submitted_at":"2010-01-24T16:15:23Z","cross_cats_sorted":["cs.CC","math.AG"],"title_canon_sha256":"25dce2701aab8bb86cef3063796fa4571805f41cbadc5421cbef866eb68e7f73","abstract_canon_sha256":"9cb18d01b16d64bd0f15aa9eab090735661bf1eb89e7617293f9bd8f9bfaef7c"},"schema_version":"1.0"},"canonical_sha256":"72b26c3593903d801cc9831aa14a1350c76023623282c1fdacbada19306d465f","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T04:36:51.286993Z","signature_b64":"wFZxDbjqinnLpss6yZBvHtovhu9NhQm+bWedQL+fs2ae8xTTrp+z0UfZSxNW6wX1n+hXXF2ugkmH4/3zxKevAw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"72b26c3593903d801cc9831aa14a1350c76023623282c1fdacbada19306d465f","last_reissued_at":"2026-05-18T04:36:51.286596Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T04:36:51.286596Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1001.4252","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-18T04:36:51Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"9i16D7rOYNHvMAAHNCAQAFP1WhBBznbMBGj61sDWkArynDCsP++e9uiR2hoEGYfAyEOsw3B7ejZs9wYrpC+UAw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-25T21:02:32.277550Z"},"content_sha256":"ff0fd39556c7e0be3a44879816c90342daf01b4b695a5fdff0be511fb4941196","schema_version":"1.0","event_id":"sha256:ff0fd39556c7e0be3a44879816c90342daf01b4b695a5fdff0be511fb4941196"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2010:OKZGYNMTSA6YAHGJQMNKCSQTKD","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Near NP-Completeness for Detecting p-adic Rational Roots in One Variable","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.CC","math.AG"],"primary_cat":"math.NT","authors_text":"Ashraf Ibrahim, J. Maurice Rojas, Korben Rusek, Martin Avendano","submitted_at":"2010-01-24T16:15:23Z","abstract_excerpt":"We show that deciding whether a sparse univariate polynomial has a p-adic rational root can be done in NP for most inputs. We also prove a polynomial-time upper bound for trinomials with suitably generic p-adic Newton polygon. We thus improve the best previous complexity upper bound of EXPTIME. We also prove an unconditional complexity lower bound of NP-hardness with respect to randomized reductions for general univariate polynomials. The best previous lower bound assumed an unproved hypothesis on the distribution of primes in arithmetic progression. We also discuss how our results complement "},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1001.4252","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-18T04:36:51Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"te5/WK29vW9h4Asbb661FAfcrsKdf82/e7b6Mbf2Dmnflpho59nEYljdE5qzDPt0gHz/wwPxRKYam7L7XuXGCg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-25T21:02:32.278155Z"},"content_sha256":"84d2cac0ecd6a38475e0390d9910ee5517c537c7495f70ef8a1cc5b202453116","schema_version":"1.0","event_id":"sha256:84d2cac0ecd6a38475e0390d9910ee5517c537c7495f70ef8a1cc5b202453116"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/OKZGYNMTSA6YAHGJQMNKCSQTKD/bundle.json","state_url":"https://pith.science/pith/OKZGYNMTSA6YAHGJQMNKCSQTKD/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/OKZGYNMTSA6YAHGJQMNKCSQTKD/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-25T21:02:32Z","links":{"resolver":"https://pith.science/pith/OKZGYNMTSA6YAHGJQMNKCSQTKD","bundle":"https://pith.science/pith/OKZGYNMTSA6YAHGJQMNKCSQTKD/bundle.json","state":"https://pith.science/pith/OKZGYNMTSA6YAHGJQMNKCSQTKD/state.json","well_known_bundle":"https://pith.science/.well-known/pith/OKZGYNMTSA6YAHGJQMNKCSQTKD/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2010:OKZGYNMTSA6YAHGJQMNKCSQTKD","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":"9cb18d01b16d64bd0f15aa9eab090735661bf1eb89e7617293f9bd8f9bfaef7c","cross_cats_sorted":["cs.CC","math.AG"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.NT","submitted_at":"2010-01-24T16:15:23Z","title_canon_sha256":"25dce2701aab8bb86cef3063796fa4571805f41cbadc5421cbef866eb68e7f73"},"schema_version":"1.0","source":{"id":"1001.4252","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1001.4252","created_at":"2026-05-18T04:36:51Z"},{"alias_kind":"arxiv_version","alias_value":"1001.4252v1","created_at":"2026-05-18T04:36:51Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1001.4252","created_at":"2026-05-18T04:36:51Z"},{"alias_kind":"pith_short_12","alias_value":"OKZGYNMTSA6Y","created_at":"2026-05-18T12:26:12Z"},{"alias_kind":"pith_short_16","alias_value":"OKZGYNMTSA6YAHGJ","created_at":"2026-05-18T12:26:12Z"},{"alias_kind":"pith_short_8","alias_value":"OKZGYNMT","created_at":"2026-05-18T12:26:12Z"}],"graph_snapshots":[{"event_id":"sha256:84d2cac0ecd6a38475e0390d9910ee5517c537c7495f70ef8a1cc5b202453116","target":"graph","created_at":"2026-05-18T04:36:51Z","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":"We show that deciding whether a sparse univariate polynomial has a p-adic rational root can be done in NP for most inputs. We also prove a polynomial-time upper bound for trinomials with suitably generic p-adic Newton polygon. We thus improve the best previous complexity upper bound of EXPTIME. We also prove an unconditional complexity lower bound of NP-hardness with respect to randomized reductions for general univariate polynomials. The best previous lower bound assumed an unproved hypothesis on the distribution of primes in arithmetic progression. We also discuss how our results complement ","authors_text":"Ashraf Ibrahim, J. Maurice Rojas, Korben Rusek, Martin Avendano","cross_cats":["cs.CC","math.AG"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.NT","submitted_at":"2010-01-24T16:15:23Z","title":"Near NP-Completeness for Detecting p-adic Rational Roots in One Variable"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1001.4252","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:ff0fd39556c7e0be3a44879816c90342daf01b4b695a5fdff0be511fb4941196","target":"record","created_at":"2026-05-18T04:36:51Z","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":"9cb18d01b16d64bd0f15aa9eab090735661bf1eb89e7617293f9bd8f9bfaef7c","cross_cats_sorted":["cs.CC","math.AG"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.NT","submitted_at":"2010-01-24T16:15:23Z","title_canon_sha256":"25dce2701aab8bb86cef3063796fa4571805f41cbadc5421cbef866eb68e7f73"},"schema_version":"1.0","source":{"id":"1001.4252","kind":"arxiv","version":1}},"canonical_sha256":"72b26c3593903d801cc9831aa14a1350c76023623282c1fdacbada19306d465f","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"72b26c3593903d801cc9831aa14a1350c76023623282c1fdacbada19306d465f","first_computed_at":"2026-05-18T04:36:51.286596Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T04:36:51.286596Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"wFZxDbjqinnLpss6yZBvHtovhu9NhQm+bWedQL+fs2ae8xTTrp+z0UfZSxNW6wX1n+hXXF2ugkmH4/3zxKevAw==","signature_status":"signed_v1","signed_at":"2026-05-18T04:36:51.286993Z","signed_message":"canonical_sha256_bytes"},"source_id":"1001.4252","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:ff0fd39556c7e0be3a44879816c90342daf01b4b695a5fdff0be511fb4941196","sha256:84d2cac0ecd6a38475e0390d9910ee5517c537c7495f70ef8a1cc5b202453116"],"state_sha256":"13a5e4b2bb79d251393dcd3e87c2e9a3a74933deb020ea5f874b8f6bd0fa8b9e"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"h+0SezPcMZlxXpn91kv6jXwFmAlBsvP6mTd0SrL4AWUkfef71UbsiN5MwKQ7aNLKh4G5S3Kum48H4toGSWe+DQ==","signed_message":"bundle_sha256_bytes","signed_at":"2026-05-25T21:02:32.281746Z","bundle_sha256":"9903b649c5f17a8bd55e7ba2435bf4efe94abba793c452f6167602bc51b9c2d4"}}