{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2025:G73LAJWVTNPGRSCEDIHLO3JVHJ","short_pith_number":"pith:G73LAJWV","schema_version":"1.0","canonical_sha256":"37f6b026d59b5e68c8441a0eb76d353a4ccd74adcd151688093e126deaf921fd","source":{"kind":"arxiv","id":"2506.18392","version":3},"attestation_state":"computed","paper":{"title":"A matrix criterion and algorithmic approach for the Peterson hit problem: Part I","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.SC","math.GT","math.RA"],"primary_cat":"math.AT","authors_text":"Dang Vo Phuc","submitted_at":"2025-06-23T08:27:44Z","abstract_excerpt":"The Peterson hit problem in algebraic topology is to explicitly determine the dimension of the quotient space $Q\\mathcal P_k = \\mathbb F_2\\otimes_{\\mathcal A}\\mathcal P_k$ in positive degrees, where $\\mathcal{P}_k$ denotes the polynomial algebra in $k$ variables over the field $\\mathbb{F}_2$, considered as an unstable module over the Steenrod algebra $\\mathcal{A}$. Current approaches to this problem still rely heavily on manual computations, which are highly prone to errors due to the intricate nature of the underlying calculations. To date, no efficient algorithm implemented in any computer a"},"verification_status":{"content_addressed":true,"pith_receipt":true,"author_attested":false,"weak_author_claims":0,"strong_author_claims":0,"externally_anchored":false,"storage_verified":false,"citation_signatures":0,"replication_records":0,"graph_snapshot":true,"references_resolved":false,"formal_links_present":false},"canonical_record":{"source":{"id":"2506.18392","kind":"arxiv","version":3},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.AT","submitted_at":"2025-06-23T08:27:44Z","cross_cats_sorted":["cs.SC","math.GT","math.RA"],"title_canon_sha256":"f1ab0395ba52ffef65f63431a415803445a8aa3f6a39b7a37330864bb201686b","abstract_canon_sha256":"d334fbcca852433d8d536da8b71f0b7d5a008d791188f95c5b91acca8bf2ddcd"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T11:36:33.397792Z","signature_b64":"1b6mNU3NXvhm9O3rhGGeqIY202A9dxFWEE3i+eqFXhiyAj7ROa48p7Eq3wK0djMz0qba5s1Hggad1e4ceA0CBg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"37f6b026d59b5e68c8441a0eb76d353a4ccd74adcd151688093e126deaf921fd","last_reissued_at":"2026-07-05T11:36:33.397301Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T11:36:33.397301Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"A matrix criterion and algorithmic approach for the Peterson hit problem: Part I","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.SC","math.GT","math.RA"],"primary_cat":"math.AT","authors_text":"Dang Vo Phuc","submitted_at":"2025-06-23T08:27:44Z","abstract_excerpt":"The Peterson hit problem in algebraic topology is to explicitly determine the dimension of the quotient space $Q\\mathcal P_k = \\mathbb F_2\\otimes_{\\mathcal A}\\mathcal P_k$ in positive degrees, where $\\mathcal{P}_k$ denotes the polynomial algebra in $k$ variables over the field $\\mathbb{F}_2$, considered as an unstable module over the Steenrod algebra $\\mathcal{A}$. Current approaches to this problem still rely heavily on manual computations, which are highly prone to errors due to the intricate nature of the underlying calculations. To date, no efficient algorithm implemented in any computer a"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2506.18392","kind":"arxiv","version":3},"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.18392/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"},"aliases":[{"alias_kind":"arxiv","alias_value":"2506.18392","created_at":"2026-07-05T11:36:33.397375+00:00"},{"alias_kind":"arxiv_version","alias_value":"2506.18392v3","created_at":"2026-07-05T11:36:33.397375+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2506.18392","created_at":"2026-07-05T11:36:33.397375+00:00"},{"alias_kind":"pith_short_12","alias_value":"G73LAJWVTNPG","created_at":"2026-07-05T11:36:33.397375+00:00"},{"alias_kind":"pith_short_16","alias_value":"G73LAJWVTNPGRSCE","created_at":"2026-07-05T11:36:33.397375+00:00"},{"alias_kind":"pith_short_8","alias_value":"G73LAJWV","created_at":"2026-07-05T11:36:33.397375+00:00"}],"events":[],"event_summary":{},"paper_claims":[],"inbound_citations":{"count":1,"internal_anchor_count":1,"sample":[{"citing_arxiv_id":"2507.10108","citing_title":"Computational Approaches to the Singer Transfer: Preimages in the Lambda Algebra and $G_k$-Invariant Theory","ref_index":14,"is_internal_anchor":true}]},"formal_canon":{"evidence_count":0,"sample":[],"anchors":[]},"links":{"html":"https://pith.science/pith/G73LAJWVTNPGRSCEDIHLO3JVHJ","json":"https://pith.science/pith/G73LAJWVTNPGRSCEDIHLO3JVHJ.json","graph_json":"https://pith.science/api/pith-number/G73LAJWVTNPGRSCEDIHLO3JVHJ/graph.json","events_json":"https://pith.science/api/pith-number/G73LAJWVTNPGRSCEDIHLO3JVHJ/events.json","paper":"https://pith.science/paper/G73LAJWV"},"agent_actions":{"view_html":"https://pith.science/pith/G73LAJWVTNPGRSCEDIHLO3JVHJ","download_json":"https://pith.science/pith/G73LAJWVTNPGRSCEDIHLO3JVHJ.json","view_paper":"https://pith.science/paper/G73LAJWV","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=2506.18392&json=true","fetch_graph":"https://pith.science/api/pith-number/G73LAJWVTNPGRSCEDIHLO3JVHJ/graph.json","fetch_events":"https://pith.science/api/pith-number/G73LAJWVTNPGRSCEDIHLO3JVHJ/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/G73LAJWVTNPGRSCEDIHLO3JVHJ/action/timestamp_anchor","attest_storage":"https://pith.science/pith/G73LAJWVTNPGRSCEDIHLO3JVHJ/action/storage_attestation","attest_author":"https://pith.science/pith/G73LAJWVTNPGRSCEDIHLO3JVHJ/action/author_attestation","sign_citation":"https://pith.science/pith/G73LAJWVTNPGRSCEDIHLO3JVHJ/action/citation_signature","submit_replication":"https://pith.science/pith/G73LAJWVTNPGRSCEDIHLO3JVHJ/action/replication_record"}},"created_at":"2026-07-05T11:36:33.397375+00:00","updated_at":"2026-07-05T11:36:33.397375+00:00"}