{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2025:FAHDTUU3OWI4SWZHHH26XC5PYS","short_pith_number":"pith:FAHDTUU3","canonical_record":{"source":{"id":"2502.03702","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.DS","submitted_at":"2025-02-06T01:24:32Z","cross_cats_sorted":[],"title_canon_sha256":"22433ca5afb4b9dffa052e03d21f423c21ebcae27b0d66fd3f1b5d4522b4932a","abstract_canon_sha256":"957bbf28259d5459e7bcc42acc277633dadc28fb48cb7bcafc01081e2f35ffaf"},"schema_version":"1.0"},"canonical_sha256":"280e39d29b7591c95b2739f5eb8bafc490fe51f4611120da7013637ed0d38559","source":{"kind":"arxiv","id":"2502.03702","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2502.03702","created_at":"2026-07-05T10:10:13Z"},{"alias_kind":"arxiv_version","alias_value":"2502.03702v1","created_at":"2026-07-05T10:10:13Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2502.03702","created_at":"2026-07-05T10:10:13Z"},{"alias_kind":"pith_short_12","alias_value":"FAHDTUU3OWI4","created_at":"2026-07-05T10:10:13Z"},{"alias_kind":"pith_short_16","alias_value":"FAHDTUU3OWI4SWZH","created_at":"2026-07-05T10:10:13Z"},{"alias_kind":"pith_short_8","alias_value":"FAHDTUU3","created_at":"2026-07-05T10:10:13Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2025:FAHDTUU3OWI4SWZHHH26XC5PYS","target":"record","payload":{"canonical_record":{"source":{"id":"2502.03702","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.DS","submitted_at":"2025-02-06T01:24:32Z","cross_cats_sorted":[],"title_canon_sha256":"22433ca5afb4b9dffa052e03d21f423c21ebcae27b0d66fd3f1b5d4522b4932a","abstract_canon_sha256":"957bbf28259d5459e7bcc42acc277633dadc28fb48cb7bcafc01081e2f35ffaf"},"schema_version":"1.0"},"canonical_sha256":"280e39d29b7591c95b2739f5eb8bafc490fe51f4611120da7013637ed0d38559","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T10:10:13.960694Z","signature_b64":"y3+ADhWLqQHtiJ2loBm7II3BEfKlr6KiXI75lASO05z52mxy4rEicr9EJTipV4DItNmzIrExQkPr2vOBIo/6Dw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"280e39d29b7591c95b2739f5eb8bafc490fe51f4611120da7013637ed0d38559","last_reissued_at":"2026-07-05T10:10:13.960287Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T10:10:13.960287Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2502.03702","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-07-05T10:10:13Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"/m8JJzlGeQ2hfd4mTNUarqZitWgCrzIwh7PN4vBK9WlgNDDdN9Xai8ruQf0HbE7Dee9ltV3/PFNpLQS1JDJOAw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-12T14:26:12.337902Z"},"content_sha256":"7aca9242f94fabd6c9e0db215efc3e3556469e2153663c9e6163a7c3d3339037","schema_version":"1.0","event_id":"sha256:7aca9242f94fabd6c9e0db215efc3e3556469e2153663c9e6163a7c3d3339037"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2025:FAHDTUU3OWI4SWZHHH26XC5PYS","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Tensor Decomposition Meets Knowledge Compilation: A Study Comparing Tensor Trains with OBDDs","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.DS","authors_text":"Kengo Nakamura, Masaaki Nishino, Norihito Yasuda, Ryoma Onaka","submitted_at":"2025-02-06T01:24:32Z","abstract_excerpt":"A knowledge compilation map analyzes tractable operations in Boolean function representations and compares their succinctness. This enables the selection of appropriate representations for different applications. In the knowledge compilation map, all representation classes are subsets of the negation normal form (NNF). However, Boolean functions may be better expressed by a representation that is different from that of the NNF subsets. In this study, we treat tensor trains as Boolean function representations and analyze their succinctness and tractability. Our study is the first to evaluate th"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2502.03702","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/2502.03702/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"},"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-07-05T10:10:13Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"1259i/bR6e1IMpuMyBnFyzPhJQZbnnEo+ryK/wk0fvydEKvBBZ6WlfgvCboDA7eAKNhfFcb1jpN8qrA74ifyAw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-12T14:26:12.338415Z"},"content_sha256":"ada1bd44cbda0ef85cdc32276ff6e647b99e0719a0af65942f34e83f1527d652","schema_version":"1.0","event_id":"sha256:ada1bd44cbda0ef85cdc32276ff6e647b99e0719a0af65942f34e83f1527d652"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/FAHDTUU3OWI4SWZHHH26XC5PYS/bundle.json","state_url":"https://pith.science/pith/FAHDTUU3OWI4SWZHHH26XC5PYS/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/FAHDTUU3OWI4SWZHHH26XC5PYS/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-08-12T14:26:12Z","links":{"resolver":"https://pith.science/pith/FAHDTUU3OWI4SWZHHH26XC5PYS","bundle":"https://pith.science/pith/FAHDTUU3OWI4SWZHHH26XC5PYS/bundle.json","state":"https://pith.science/pith/FAHDTUU3OWI4SWZHHH26XC5PYS/state.json","well_known_bundle":"https://pith.science/.well-known/pith/FAHDTUU3OWI4SWZHHH26XC5PYS/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2025:FAHDTUU3OWI4SWZHHH26XC5PYS","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":"957bbf28259d5459e7bcc42acc277633dadc28fb48cb7bcafc01081e2f35ffaf","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.DS","submitted_at":"2025-02-06T01:24:32Z","title_canon_sha256":"22433ca5afb4b9dffa052e03d21f423c21ebcae27b0d66fd3f1b5d4522b4932a"},"schema_version":"1.0","source":{"id":"2502.03702","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2502.03702","created_at":"2026-07-05T10:10:13Z"},{"alias_kind":"arxiv_version","alias_value":"2502.03702v1","created_at":"2026-07-05T10:10:13Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2502.03702","created_at":"2026-07-05T10:10:13Z"},{"alias_kind":"pith_short_12","alias_value":"FAHDTUU3OWI4","created_at":"2026-07-05T10:10:13Z"},{"alias_kind":"pith_short_16","alias_value":"FAHDTUU3OWI4SWZH","created_at":"2026-07-05T10:10:13Z"},{"alias_kind":"pith_short_8","alias_value":"FAHDTUU3","created_at":"2026-07-05T10:10:13Z"}],"graph_snapshots":[{"event_id":"sha256:ada1bd44cbda0ef85cdc32276ff6e647b99e0719a0af65942f34e83f1527d652","target":"graph","created_at":"2026-07-05T10:10:13Z","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/2502.03702/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"A knowledge compilation map analyzes tractable operations in Boolean function representations and compares their succinctness. This enables the selection of appropriate representations for different applications. In the knowledge compilation map, all representation classes are subsets of the negation normal form (NNF). However, Boolean functions may be better expressed by a representation that is different from that of the NNF subsets. In this study, we treat tensor trains as Boolean function representations and analyze their succinctness and tractability. Our study is the first to evaluate th","authors_text":"Kengo Nakamura, Masaaki Nishino, Norihito Yasuda, Ryoma Onaka","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.DS","submitted_at":"2025-02-06T01:24:32Z","title":"Tensor Decomposition Meets Knowledge Compilation: A Study Comparing Tensor Trains with OBDDs"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2502.03702","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:7aca9242f94fabd6c9e0db215efc3e3556469e2153663c9e6163a7c3d3339037","target":"record","created_at":"2026-07-05T10:10:13Z","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":"957bbf28259d5459e7bcc42acc277633dadc28fb48cb7bcafc01081e2f35ffaf","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.DS","submitted_at":"2025-02-06T01:24:32Z","title_canon_sha256":"22433ca5afb4b9dffa052e03d21f423c21ebcae27b0d66fd3f1b5d4522b4932a"},"schema_version":"1.0","source":{"id":"2502.03702","kind":"arxiv","version":1}},"canonical_sha256":"280e39d29b7591c95b2739f5eb8bafc490fe51f4611120da7013637ed0d38559","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"280e39d29b7591c95b2739f5eb8bafc490fe51f4611120da7013637ed0d38559","first_computed_at":"2026-07-05T10:10:13.960287Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T10:10:13.960287Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"y3+ADhWLqQHtiJ2loBm7II3BEfKlr6KiXI75lASO05z52mxy4rEicr9EJTipV4DItNmzIrExQkPr2vOBIo/6Dw==","signature_status":"signed_v1","signed_at":"2026-07-05T10:10:13.960694Z","signed_message":"canonical_sha256_bytes"},"source_id":"2502.03702","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:7aca9242f94fabd6c9e0db215efc3e3556469e2153663c9e6163a7c3d3339037","sha256:ada1bd44cbda0ef85cdc32276ff6e647b99e0719a0af65942f34e83f1527d652"],"state_sha256":"c061ef5f818bebb65f684a4703ed214daaecdf75c198b00b5e9e2665d8e38eba"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"BwOGAHVaabimm6bxU98XqOp72fEVNTn6KZhrIpC1NllqF4cGYxWuwQRBzcw5Pn1t8Ds/YSWBcs6g/y7bDH1WAQ==","signed_message":"bundle_sha256_bytes","signed_at":"2026-08-12T14:26:12.342980Z","bundle_sha256":"e84100604ef73fea00d42482a031a6687472867cab9333f9193897fec2a4e743"}}