{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2008:27Q3LAV545VLJRZW3YCAGGPURL","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":"7ec3611e738648c0ffb8f8a0583bc3b7f44fcdfba8b32ae412b53f322d205bb4","cross_cats_sorted":[],"license":"","primary_cat":"cs.DM","submitted_at":"2008-01-22T16:35:15Z","title_canon_sha256":"9e73609f0c175337ccba695555fb992a3afe6efd25887f1f207d1fd4dcc3d478"},"schema_version":"1.0","source":{"id":"0801.3408","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"0801.3408","created_at":"2026-07-04T15:06:59Z"},{"alias_kind":"arxiv_version","alias_value":"0801.3408v1","created_at":"2026-07-04T15:06:59Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.0801.3408","created_at":"2026-07-04T15:06:59Z"},{"alias_kind":"pith_short_12","alias_value":"27Q3LAV545VL","created_at":"2026-07-04T15:06:59Z"},{"alias_kind":"pith_short_16","alias_value":"27Q3LAV545VLJRZW","created_at":"2026-07-04T15:06:59Z"},{"alias_kind":"pith_short_8","alias_value":"27Q3LAV5","created_at":"2026-07-04T15:06:59Z"}],"graph_snapshots":[{"event_id":"sha256:a3a20e55c6f73877de69a7b242d70d4cb5d7c60f90486bf040fa02a31641c31a","target":"graph","created_at":"2026-07-04T15:06:59Z","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"},"integrity":{"available":true,"clean":true,"detectors_run":[],"endpoint":"/pith/0801.3408/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Some 25 years ago Valiant introduced an algebraic model of computation in order to study the complexity of evaluating families of polynomials. The theory was introduced along with the complexity classes VP and VNP which are analogues of the classical classes P and NP. Families of polynomials that are difficult to evaluate (that is, VNP-complete) includes the permanent and hamiltonian polynomials. In a previous paper the authors together with P. Koiran studied the expressive power of permanent and hamiltonian polynomials of matrices of bounded treewidth, as well as the expressive power of perfe","authors_text":"Laurent Lyaudet (LIP), Uffe Flarup (IMADA)","cross_cats":[],"headline":"","license":"","primary_cat":"cs.DM","submitted_at":"2008-01-22T16:35:15Z","title":"On the expressive power of permanents and perfect matchings of matrices of bounded pathwidth/cliquewidth"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"0801.3408","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:f82f904d13c5270a95c40bd24ea02f8ac2c08c71a04f72f8f62fb97512e81850","target":"record","created_at":"2026-07-04T15:06:59Z","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":"7ec3611e738648c0ffb8f8a0583bc3b7f44fcdfba8b32ae412b53f322d205bb4","cross_cats_sorted":[],"license":"","primary_cat":"cs.DM","submitted_at":"2008-01-22T16:35:15Z","title_canon_sha256":"9e73609f0c175337ccba695555fb992a3afe6efd25887f1f207d1fd4dcc3d478"},"schema_version":"1.0","source":{"id":"0801.3408","kind":"arxiv","version":1}},"canonical_sha256":"d7e1b582bde76ab4c736de040319f48ad9b7592c3c3be0fc22b0d1a5a4792ac9","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"d7e1b582bde76ab4c736de040319f48ad9b7592c3c3be0fc22b0d1a5a4792ac9","first_computed_at":"2026-07-04T15:06:59.982854Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-04T15:06:59.982854Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"Swjj0b9c4WWM8kbkW4libC5Ml6QpsRBRW1RgqnLwWptj+mp8RKEgss+47Mo1umLOFOoYM0FgIAFRMGABc0WNAw==","signature_status":"signed_v1","signed_at":"2026-07-04T15:06:59.983216Z","signed_message":"canonical_sha256_bytes"},"source_id":"0801.3408","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:f82f904d13c5270a95c40bd24ea02f8ac2c08c71a04f72f8f62fb97512e81850","sha256:a3a20e55c6f73877de69a7b242d70d4cb5d7c60f90486bf040fa02a31641c31a"],"state_sha256":"94cd76e3cb9f6153bc26d137e14bbba22b6331d465077b9f9d32ab018aac13b3"}