{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2024:MCMIXII4RQLQP25TBYJ4PTI7ZD","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":"8238492c0ef34beb0ae479ac5e054cf17d904c77236c2c8d8880a9e5b296522f","cross_cats_sorted":["cs.AI","cs.CC","math.AG"],"license":"http://creativecommons.org/licenses/by-nc-nd/4.0/","primary_cat":"cs.LG","submitted_at":"2024-08-21T17:08:05Z","title_canon_sha256":"78dc76ab8c601ab93e271ad024f801c0af2121d5b610e8c20231344bf4cf03ab"},"schema_version":"1.0","source":{"id":"2408.11778","kind":"arxiv","version":3}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2408.11778","created_at":"2026-07-05T11:08:59Z"},{"alias_kind":"arxiv_version","alias_value":"2408.11778v3","created_at":"2026-07-05T11:08:59Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2408.11778","created_at":"2026-07-05T11:08:59Z"},{"alias_kind":"pith_short_12","alias_value":"MCMIXII4RQLQ","created_at":"2026-07-05T11:08:59Z"},{"alias_kind":"pith_short_16","alias_value":"MCMIXII4RQLQP25T","created_at":"2026-07-05T11:08:59Z"},{"alias_kind":"pith_short_8","alias_value":"MCMIXII4","created_at":"2026-07-05T11:08:59Z"}],"graph_snapshots":[{"event_id":"sha256:ae639215664c25fbbfc91f47586803bc55370aef917343f32c61906274b09ed5","target":"graph","created_at":"2026-07-05T11:08: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/2408.11778/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Designing expressive generative models that support exact and efficient inference is a core question in probabilistic ML. Probabilistic circuits (PCs) offer a framework where this tractability-vs-expressiveness trade-off can be analyzed theoretically. Recently, squared PCs encoding subtractive mixtures via negative parameters have emerged as tractable models that can be exponentially more expressive than monotonic PCs, i.e., PCs with positive parameters only. In this paper, we provide a more precise theoretical characterization of the expressiveness relationships among these models. First, we ","authors_text":"Antonio Vergari, Lorenzo Loconte, Stefan Mengel","cross_cats":["cs.AI","cs.CC","math.AG"],"headline":"","license":"http://creativecommons.org/licenses/by-nc-nd/4.0/","primary_cat":"cs.LG","submitted_at":"2024-08-21T17:08:05Z","title":"Sum of Squares Circuits"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2408.11778","kind":"arxiv","version":3},"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:5ffb796dbc5bb8ac0089f0d260f3f7ad77fe88d66e0c6bace908d83a7248e5aa","target":"record","created_at":"2026-07-05T11:08: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":"8238492c0ef34beb0ae479ac5e054cf17d904c77236c2c8d8880a9e5b296522f","cross_cats_sorted":["cs.AI","cs.CC","math.AG"],"license":"http://creativecommons.org/licenses/by-nc-nd/4.0/","primary_cat":"cs.LG","submitted_at":"2024-08-21T17:08:05Z","title_canon_sha256":"78dc76ab8c601ab93e271ad024f801c0af2121d5b610e8c20231344bf4cf03ab"},"schema_version":"1.0","source":{"id":"2408.11778","kind":"arxiv","version":3}},"canonical_sha256":"60988ba11c8c1707ebb30e13c7cd1fc8e503ae6dc2b965e8e852edf9b0b3809d","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"60988ba11c8c1707ebb30e13c7cd1fc8e503ae6dc2b965e8e852edf9b0b3809d","first_computed_at":"2026-07-05T11:08:59.480321Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T11:08:59.480321Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"0Uqk9l6kaDJS4lUFJRD7EecRm5QpwRvElyzTU2M5z9bNIwYnh8EFQlN10hrQLNDfQiRU1m1VYXL063ZZ26ivBA==","signature_status":"signed_v1","signed_at":"2026-07-05T11:08:59.480824Z","signed_message":"canonical_sha256_bytes"},"source_id":"2408.11778","source_kind":"arxiv","source_version":3}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:5ffb796dbc5bb8ac0089f0d260f3f7ad77fe88d66e0c6bace908d83a7248e5aa","sha256:ae639215664c25fbbfc91f47586803bc55370aef917343f32c61906274b09ed5"],"state_sha256":"164eb7b07b899bd41c9dfbf3be4159237da77c83b1287d09b0f48a851bb0e54a"}