{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2025:5MRYI3OYJHWCXX2AWW4PERN5XX","short_pith_number":"pith:5MRYI3OY","schema_version":"1.0","canonical_sha256":"eb23846dd849ec2bdf40b5b8f245bdbddb70081124a4dd5f5e5badd70c29823e","source":{"kind":"arxiv","id":"2508.07619","version":1},"attestation_state":"computed","paper":{"title":"Counting Martingales for Measure and Dimension in Complexity Classes","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.CC","authors_text":"Adewale Sekoni, Hadi Shafei, John M. Hitchcock","submitted_at":"2025-08-11T05:00:36Z","abstract_excerpt":"This paper makes two primary contributions. First, we introduce the concept of counting martingales and use it to define counting measures, counting dimensions, and counting strong dimensions. Second, we apply these new tools to strengthen previous circuit lower bounds.\n  Resource-bounded measure and dimension have traditionally focused on deterministic time and space bounds. We use counting complexity classes to develop resource-bounded counting measures and dimensions. Counting martingales are constructed using functions from the #P, SpanP, and GapP complexity classes. We show that counting "},"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":"2508.07619","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CC","submitted_at":"2025-08-11T05:00:36Z","cross_cats_sorted":[],"title_canon_sha256":"1d8c30cfa02798fe8e664aa9094dae2973d24bb149c06ca543d24da692e98343","abstract_canon_sha256":"568a31afb27cb2f10080f6cabd666197a5625c2d59e26be34f129ffd9f9444d4"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T11:51:49.293020Z","signature_b64":"K0WyZcMMws8ZNPIb9dwoCVjScYzVTQfaKDm81D+U4dQaFfAS+a9ZKFF+IAXYsi0wDyxNR0wdRvgQxPruwzeUBw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"eb23846dd849ec2bdf40b5b8f245bdbddb70081124a4dd5f5e5badd70c29823e","last_reissued_at":"2026-07-05T11:51:49.292564Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T11:51:49.292564Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"Counting Martingales for Measure and Dimension in Complexity Classes","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.CC","authors_text":"Adewale Sekoni, Hadi Shafei, John M. Hitchcock","submitted_at":"2025-08-11T05:00:36Z","abstract_excerpt":"This paper makes two primary contributions. First, we introduce the concept of counting martingales and use it to define counting measures, counting dimensions, and counting strong dimensions. Second, we apply these new tools to strengthen previous circuit lower bounds.\n  Resource-bounded measure and dimension have traditionally focused on deterministic time and space bounds. We use counting complexity classes to develop resource-bounded counting measures and dimensions. Counting martingales are constructed using functions from the #P, SpanP, and GapP complexity classes. We show that counting "},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2508.07619","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/2508.07619/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":"2508.07619","created_at":"2026-07-05T11:51:49.292619+00:00"},{"alias_kind":"arxiv_version","alias_value":"2508.07619v1","created_at":"2026-07-05T11:51:49.292619+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2508.07619","created_at":"2026-07-05T11:51:49.292619+00:00"},{"alias_kind":"pith_short_12","alias_value":"5MRYI3OYJHWC","created_at":"2026-07-05T11:51:49.292619+00:00"},{"alias_kind":"pith_short_16","alias_value":"5MRYI3OYJHWCXX2A","created_at":"2026-07-05T11:51:49.292619+00:00"},{"alias_kind":"pith_short_8","alias_value":"5MRYI3OY","created_at":"2026-07-05T11:51:49.292619+00:00"}],"events":[],"event_summary":{},"paper_claims":[],"inbound_citations":{"count":0,"internal_anchor_count":0,"sample":[]},"formal_canon":{"evidence_count":0,"sample":[],"anchors":[]},"links":{"html":"https://pith.science/pith/5MRYI3OYJHWCXX2AWW4PERN5XX","json":"https://pith.science/pith/5MRYI3OYJHWCXX2AWW4PERN5XX.json","graph_json":"https://pith.science/api/pith-number/5MRYI3OYJHWCXX2AWW4PERN5XX/graph.json","events_json":"https://pith.science/api/pith-number/5MRYI3OYJHWCXX2AWW4PERN5XX/events.json","paper":"https://pith.science/paper/5MRYI3OY"},"agent_actions":{"view_html":"https://pith.science/pith/5MRYI3OYJHWCXX2AWW4PERN5XX","download_json":"https://pith.science/pith/5MRYI3OYJHWCXX2AWW4PERN5XX.json","view_paper":"https://pith.science/paper/5MRYI3OY","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=2508.07619&json=true","fetch_graph":"https://pith.science/api/pith-number/5MRYI3OYJHWCXX2AWW4PERN5XX/graph.json","fetch_events":"https://pith.science/api/pith-number/5MRYI3OYJHWCXX2AWW4PERN5XX/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/5MRYI3OYJHWCXX2AWW4PERN5XX/action/timestamp_anchor","attest_storage":"https://pith.science/pith/5MRYI3OYJHWCXX2AWW4PERN5XX/action/storage_attestation","attest_author":"https://pith.science/pith/5MRYI3OYJHWCXX2AWW4PERN5XX/action/author_attestation","sign_citation":"https://pith.science/pith/5MRYI3OYJHWCXX2AWW4PERN5XX/action/citation_signature","submit_replication":"https://pith.science/pith/5MRYI3OYJHWCXX2AWW4PERN5XX/action/replication_record"}},"created_at":"2026-07-05T11:51:49.292619+00:00","updated_at":"2026-07-05T11:51:49.292619+00:00"}