{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2018:FH3FFCQXX45PF5I3IE33O4OR42","short_pith_number":"pith:FH3FFCQX","canonical_record":{"source":{"id":"1811.05094","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.LO","submitted_at":"2018-11-13T04:07:56Z","cross_cats_sorted":["cs.SC","math.CO"],"title_canon_sha256":"340a23c079d158aa08c2a57907f662c123c3cdf2367e96f850763978d3b1284a","abstract_canon_sha256":"289fd2b85d1c07162f461c8931f1886add323376ea0c3b26c0ea162a1c19899f"},"schema_version":"1.0"},"canonical_sha256":"29f6528a17bf3af2f51b4137b771d1e6b3254188c1741338a741c0ed93ed5426","source":{"kind":"arxiv","id":"1811.05094","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1811.05094","created_at":"2026-05-17T23:39:25Z"},{"alias_kind":"arxiv_version","alias_value":"1811.05094v1","created_at":"2026-05-17T23:39:25Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1811.05094","created_at":"2026-05-17T23:39:25Z"},{"alias_kind":"pith_short_12","alias_value":"FH3FFCQXX45P","created_at":"2026-05-18T12:32:22Z"},{"alias_kind":"pith_short_16","alias_value":"FH3FFCQXX45PF5I3","created_at":"2026-05-18T12:32:22Z"},{"alias_kind":"pith_short_8","alias_value":"FH3FFCQX","created_at":"2026-05-18T12:32:22Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2018:FH3FFCQXX45PF5I3IE33O4OR42","target":"record","payload":{"canonical_record":{"source":{"id":"1811.05094","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.LO","submitted_at":"2018-11-13T04:07:56Z","cross_cats_sorted":["cs.SC","math.CO"],"title_canon_sha256":"340a23c079d158aa08c2a57907f662c123c3cdf2367e96f850763978d3b1284a","abstract_canon_sha256":"289fd2b85d1c07162f461c8931f1886add323376ea0c3b26c0ea162a1c19899f"},"schema_version":"1.0"},"canonical_sha256":"29f6528a17bf3af2f51b4137b771d1e6b3254188c1741338a741c0ed93ed5426","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-17T23:39:25.332340Z","signature_b64":"VgvUfbAEUaXwM2AUzorOkAzhtdzM6HHYWAGwdetjg91aPZopbBZatUKucu7hyJReaGSqoKdadZhWuI+x1nuZDg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"29f6528a17bf3af2f51b4137b771d1e6b3254188c1741338a741c0ed93ed5426","last_reissued_at":"2026-05-17T23:39:25.331708Z","signature_status":"signed_v1","first_computed_at":"2026-05-17T23:39:25.331708Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1811.05094","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-05-17T23:39:25Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"kicO6hgn/qLQ3WDWHWW+Le7FuCz6nIeke4wu1Q3NDPCCW1aR6g73499lMVipPny98g/98VVpaesfOLQEPo2yBQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-07T20:42:56.670588Z"},"content_sha256":"44435f529c9dd6e139931e0f5f2e95ff1e7fb1d642db3bc0918879d9c2242f56","schema_version":"1.0","event_id":"sha256:44435f529c9dd6e139931e0f5f2e95ff1e7fb1d642db3bc0918879d9c2242f56"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2018:FH3FFCQXX45PF5I3IE33O4OR42","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"A SAT+CAS Approach to Finding Good Matrices: New Examples and Counterexamples","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":["cs.SC","math.CO"],"primary_cat":"cs.LO","authors_text":"Curtis Bright, Dragomir Z. Djokovic, Ilias Kotsireas, Vijay Ganesh","submitted_at":"2018-11-13T04:07:56Z","abstract_excerpt":"We enumerate all circulant good matrices with odd orders divisible by 3 up to order 70. As a consequence of this we find a previously overlooked set of good matrices of order 27 and a new set of good matrices of order 57. We also find that circulant good matrices do not exist in the orders 51, 63, and 69, thereby finding three new counterexamples to the conjecture that such matrices exist in all odd orders. Additionally, we prove a new relationship between the entries of good matrices and exploit this relationship in our enumeration algorithm. Our method applies the SAT+CAS paradigm of combini"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1811.05094","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":""},"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-05-17T23:39:25Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"yoQ6AsMidookP7Jtmgl3hD2EDlNt9pXxXE5c3utGBvM30rOBrYkVY+VR95QNb63CKd+h6WOfHTs6+CDImz5YAQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-07T20:42:56.671220Z"},"content_sha256":"bdc658e099ced63402fa8ffde67a203188e85ba8df553ccd8e01ebe1dc0461bd","schema_version":"1.0","event_id":"sha256:bdc658e099ced63402fa8ffde67a203188e85ba8df553ccd8e01ebe1dc0461bd"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/FH3FFCQXX45PF5I3IE33O4OR42/bundle.json","state_url":"https://pith.science/pith/FH3FFCQXX45PF5I3IE33O4OR42/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/FH3FFCQXX45PF5I3IE33O4OR42/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-06-07T20:42:56Z","links":{"resolver":"https://pith.science/pith/FH3FFCQXX45PF5I3IE33O4OR42","bundle":"https://pith.science/pith/FH3FFCQXX45PF5I3IE33O4OR42/bundle.json","state":"https://pith.science/pith/FH3FFCQXX45PF5I3IE33O4OR42/state.json","well_known_bundle":"https://pith.science/.well-known/pith/FH3FFCQXX45PF5I3IE33O4OR42/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2018:FH3FFCQXX45PF5I3IE33O4OR42","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":"289fd2b85d1c07162f461c8931f1886add323376ea0c3b26c0ea162a1c19899f","cross_cats_sorted":["cs.SC","math.CO"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.LO","submitted_at":"2018-11-13T04:07:56Z","title_canon_sha256":"340a23c079d158aa08c2a57907f662c123c3cdf2367e96f850763978d3b1284a"},"schema_version":"1.0","source":{"id":"1811.05094","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1811.05094","created_at":"2026-05-17T23:39:25Z"},{"alias_kind":"arxiv_version","alias_value":"1811.05094v1","created_at":"2026-05-17T23:39:25Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1811.05094","created_at":"2026-05-17T23:39:25Z"},{"alias_kind":"pith_short_12","alias_value":"FH3FFCQXX45P","created_at":"2026-05-18T12:32:22Z"},{"alias_kind":"pith_short_16","alias_value":"FH3FFCQXX45PF5I3","created_at":"2026-05-18T12:32:22Z"},{"alias_kind":"pith_short_8","alias_value":"FH3FFCQX","created_at":"2026-05-18T12:32:22Z"}],"graph_snapshots":[{"event_id":"sha256:bdc658e099ced63402fa8ffde67a203188e85ba8df553ccd8e01ebe1dc0461bd","target":"graph","created_at":"2026-05-17T23:39:25Z","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"},"paper":{"abstract_excerpt":"We enumerate all circulant good matrices with odd orders divisible by 3 up to order 70. As a consequence of this we find a previously overlooked set of good matrices of order 27 and a new set of good matrices of order 57. We also find that circulant good matrices do not exist in the orders 51, 63, and 69, thereby finding three new counterexamples to the conjecture that such matrices exist in all odd orders. Additionally, we prove a new relationship between the entries of good matrices and exploit this relationship in our enumeration algorithm. Our method applies the SAT+CAS paradigm of combini","authors_text":"Curtis Bright, Dragomir Z. Djokovic, Ilias Kotsireas, Vijay Ganesh","cross_cats":["cs.SC","math.CO"],"headline":"","license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.LO","submitted_at":"2018-11-13T04:07:56Z","title":"A SAT+CAS Approach to Finding Good Matrices: New Examples and Counterexamples"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1811.05094","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:44435f529c9dd6e139931e0f5f2e95ff1e7fb1d642db3bc0918879d9c2242f56","target":"record","created_at":"2026-05-17T23:39:25Z","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":"289fd2b85d1c07162f461c8931f1886add323376ea0c3b26c0ea162a1c19899f","cross_cats_sorted":["cs.SC","math.CO"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.LO","submitted_at":"2018-11-13T04:07:56Z","title_canon_sha256":"340a23c079d158aa08c2a57907f662c123c3cdf2367e96f850763978d3b1284a"},"schema_version":"1.0","source":{"id":"1811.05094","kind":"arxiv","version":1}},"canonical_sha256":"29f6528a17bf3af2f51b4137b771d1e6b3254188c1741338a741c0ed93ed5426","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"29f6528a17bf3af2f51b4137b771d1e6b3254188c1741338a741c0ed93ed5426","first_computed_at":"2026-05-17T23:39:25.331708Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-17T23:39:25.331708Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"VgvUfbAEUaXwM2AUzorOkAzhtdzM6HHYWAGwdetjg91aPZopbBZatUKucu7hyJReaGSqoKdadZhWuI+x1nuZDg==","signature_status":"signed_v1","signed_at":"2026-05-17T23:39:25.332340Z","signed_message":"canonical_sha256_bytes"},"source_id":"1811.05094","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:44435f529c9dd6e139931e0f5f2e95ff1e7fb1d642db3bc0918879d9c2242f56","sha256:bdc658e099ced63402fa8ffde67a203188e85ba8df553ccd8e01ebe1dc0461bd"],"state_sha256":"e3d1d457b761b99c09d3ab50511db36fd4575f3cfe0658b10ab54c9a11681aa9"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"7L5MkB7urDx4YfpJKEQw6HTbaeUHem29jMNnCHX7D8iYzJ/xswCPwNwn/eb46GtTLqbosTQ8bAviivA71BnsBA==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-07T20:42:56.674936Z","bundle_sha256":"aaf8cfcfd3e2814db2139a0bec6d6b9d8896c3311084ecb26f35b9013ee909aa"}}