{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2011:LNZMTHHC2TGGQ4DD7OTBTRGECO","short_pith_number":"pith:LNZMTHHC","schema_version":"1.0","canonical_sha256":"5b72c99ce2d4cc687063fba619c4c4139101a0d8948294e5d865a164fad58eff","source":{"kind":"arxiv","id":"1106.4403","version":4},"attestation_state":"computed","paper":{"title":"Logic circuits from zero forcing","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.ET","math.CO","quant-ph"],"primary_cat":"cs.DM","authors_text":"Daniel Burgarth, Leslie Hogben, Michael Young, Simone Severini, Vittorio Giovannetti","submitted_at":"2011-06-22T09:28:41Z","abstract_excerpt":"We design logic circuits based on the notion of zero forcing on graphs; each gate of the circuits is a gadget in which zero forcing is performed. We show that such circuits can evaluate every monotone Boolean function. By using two vertices to encode each logical bit, we obtain universal computation. We also highlight a phenomenon of \"back forcing\" as a property of each function. Such a phenomenon occurs in a circuit when the input of gates which have been already used at a given time step is further modified by a computation actually performed at a later stage. Finally, we point out that zero"},"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":"1106.4403","kind":"arxiv","version":4},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.DM","submitted_at":"2011-06-22T09:28:41Z","cross_cats_sorted":["cs.ET","math.CO","quant-ph"],"title_canon_sha256":"a05aeca74c362e1c62e9afcb70b32832e7a8cd0f559710393467e42c281938fe","abstract_canon_sha256":"9045f8adb2c8efee483696e7f0e937017a065887a20168d10373b5bc10a2b2d0"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T00:53:03.168942Z","signature_b64":"DfQ2AcvPCdu5xtaQjITcIcIR2za85PAn/q8vLYmZ3qg118c4rhjKX/hMXjBl8C9eGaNOz8f3AAKkOfhd0CK0DA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"5b72c99ce2d4cc687063fba619c4c4139101a0d8948294e5d865a164fad58eff","last_reissued_at":"2026-05-18T00:53:03.168523Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T00:53:03.168523Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"Logic circuits from zero forcing","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.ET","math.CO","quant-ph"],"primary_cat":"cs.DM","authors_text":"Daniel Burgarth, Leslie Hogben, Michael Young, Simone Severini, Vittorio Giovannetti","submitted_at":"2011-06-22T09:28:41Z","abstract_excerpt":"We design logic circuits based on the notion of zero forcing on graphs; each gate of the circuits is a gadget in which zero forcing is performed. We show that such circuits can evaluate every monotone Boolean function. By using two vertices to encode each logical bit, we obtain universal computation. We also highlight a phenomenon of \"back forcing\" as a property of each function. Such a phenomenon occurs in a circuit when the input of gates which have been already used at a given time step is further modified by a computation actually performed at a later stage. Finally, we point out that zero"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1106.4403","kind":"arxiv","version":4},"verdict":{"id":null,"model_set":{},"created_at":null,"strongest_claim":"","one_line_summary":"","pipeline_version":null,"weakest_assumption":"","pith_extraction_headline":""},"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":"1106.4403","created_at":"2026-05-18T00:53:03.168586+00:00"},{"alias_kind":"arxiv_version","alias_value":"1106.4403v4","created_at":"2026-05-18T00:53:03.168586+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1106.4403","created_at":"2026-05-18T00:53:03.168586+00:00"},{"alias_kind":"pith_short_12","alias_value":"LNZMTHHC2TGG","created_at":"2026-05-18T12:26:34.985390+00:00"},{"alias_kind":"pith_short_16","alias_value":"LNZMTHHC2TGGQ4DD","created_at":"2026-05-18T12:26:34.985390+00:00"},{"alias_kind":"pith_short_8","alias_value":"LNZMTHHC","created_at":"2026-05-18T12:26:34.985390+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/LNZMTHHC2TGGQ4DD7OTBTRGECO","json":"https://pith.science/pith/LNZMTHHC2TGGQ4DD7OTBTRGECO.json","graph_json":"https://pith.science/api/pith-number/LNZMTHHC2TGGQ4DD7OTBTRGECO/graph.json","events_json":"https://pith.science/api/pith-number/LNZMTHHC2TGGQ4DD7OTBTRGECO/events.json","paper":"https://pith.science/paper/LNZMTHHC"},"agent_actions":{"view_html":"https://pith.science/pith/LNZMTHHC2TGGQ4DD7OTBTRGECO","download_json":"https://pith.science/pith/LNZMTHHC2TGGQ4DD7OTBTRGECO.json","view_paper":"https://pith.science/paper/LNZMTHHC","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=1106.4403&json=true","fetch_graph":"https://pith.science/api/pith-number/LNZMTHHC2TGGQ4DD7OTBTRGECO/graph.json","fetch_events":"https://pith.science/api/pith-number/LNZMTHHC2TGGQ4DD7OTBTRGECO/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/LNZMTHHC2TGGQ4DD7OTBTRGECO/action/timestamp_anchor","attest_storage":"https://pith.science/pith/LNZMTHHC2TGGQ4DD7OTBTRGECO/action/storage_attestation","attest_author":"https://pith.science/pith/LNZMTHHC2TGGQ4DD7OTBTRGECO/action/author_attestation","sign_citation":"https://pith.science/pith/LNZMTHHC2TGGQ4DD7OTBTRGECO/action/citation_signature","submit_replication":"https://pith.science/pith/LNZMTHHC2TGGQ4DD7OTBTRGECO/action/replication_record"}},"created_at":"2026-05-18T00:53:03.168586+00:00","updated_at":"2026-05-18T00:53:03.168586+00:00"}