{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2026:42AVZWB6AT6UWKTQ4XJQZPGQ7A","short_pith_number":"pith:42AVZWB6","canonical_record":{"source":{"id":"2605.13622","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"math.AC","submitted_at":"2026-05-13T14:52:06Z","cross_cats_sorted":["cs.DM","math.CO"],"title_canon_sha256":"d31ee6ad4fdba43ef8d9b029e65e30da757a3080b0b267a732d604b4da970bbe","abstract_canon_sha256":"bded283c732ca6b6cf4020a48376c7a5d7244e167eb2a1bc53c332dd16d25992"},"schema_version":"1.0"},"canonical_sha256":"e6815cd83e04fd4b2a70e5d30cbcd0f835805ede35aeb2757b748c9e7f80a838","source":{"kind":"arxiv","id":"2605.13622","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2605.13622","created_at":"2026-05-18T02:44:17Z"},{"alias_kind":"arxiv_version","alias_value":"2605.13622v1","created_at":"2026-05-18T02:44:17Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2605.13622","created_at":"2026-05-18T02:44:17Z"},{"alias_kind":"pith_short_12","alias_value":"42AVZWB6AT6U","created_at":"2026-05-18T12:33:37Z"},{"alias_kind":"pith_short_16","alias_value":"42AVZWB6AT6UWKTQ","created_at":"2026-05-18T12:33:37Z"},{"alias_kind":"pith_short_8","alias_value":"42AVZWB6","created_at":"2026-05-18T12:33:37Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2026:42AVZWB6AT6UWKTQ4XJQZPGQ7A","target":"record","payload":{"canonical_record":{"source":{"id":"2605.13622","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"math.AC","submitted_at":"2026-05-13T14:52:06Z","cross_cats_sorted":["cs.DM","math.CO"],"title_canon_sha256":"d31ee6ad4fdba43ef8d9b029e65e30da757a3080b0b267a732d604b4da970bbe","abstract_canon_sha256":"bded283c732ca6b6cf4020a48376c7a5d7244e167eb2a1bc53c332dd16d25992"},"schema_version":"1.0"},"canonical_sha256":"e6815cd83e04fd4b2a70e5d30cbcd0f835805ede35aeb2757b748c9e7f80a838","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T02:44:17.863705Z","signature_b64":"BYohCM02nkvPgkJ2zfnfkg6moXgIdV3PIa2jc19p1B3S3rMwCxN+lEAacIQYC0fbpkWZmK67bD9sZV8hY/NTCg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"e6815cd83e04fd4b2a70e5d30cbcd0f835805ede35aeb2757b748c9e7f80a838","last_reissued_at":"2026-05-18T02:44:17.863236Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T02:44:17.863236Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2605.13622","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-18T02:44:17Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"TNlioGQ4A17kRVLZm2Gb9bUpKHkz8lp20xKiXX3ZYB8ABqFJbKBPMdUUa1K72RjqVPdSCslnGrrLySO+ZlaMAQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-05T10:11:44.800854Z"},"content_sha256":"7790a3833685e35b405506aa58fead8be8cc6290ef1ad86f5d514d338fecb558","schema_version":"1.0","event_id":"sha256:7790a3833685e35b405506aa58fead8be8cc6290ef1ad86f5d514d338fecb558"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2026:42AVZWB6AT6UWKTQ4XJQZPGQ7A","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Betti numbers for cochordal zero-divisor graphs of commutative rings","license":"http://creativecommons.org/licenses/by/4.0/","headline":"The layered zero-divisor graph of finite chain rings is cochordal, yielding a refined Betti number formula for its edge ideal.","cross_cats":["cs.DM","math.CO"],"primary_cat":"math.AC","authors_text":"Bilal Ahmad Rather","submitted_at":"2026-05-13T14:52:06Z","abstract_excerpt":"This paper studies the zero-divisor graphs attached to several finite chain-ring families and computes the homological invariants of their edge ideals by using cochordal constructible systems. We begin with a general layered graph $C(q,L)$, whose vertices are arranged according to valuation layers and whose adjacency is governed by the single rule $k+\\ell\\ge L$, form some integers $k$ and $\\ell$. This graph models the zero-divisor structure of a finite chain ring with residue field of order $q$ and nilpotency index $L$. We prove that $C(q,L)$ is cochordal, determine its type sequence, then cor"},"claims":{"count":4,"items":[{"kind":"strongest_claim","text":"We prove that C(q,L) is cochordal, determine its type sequence, then correct and refine the Betti formula of its edge ideal.","source":"verdict.strongest_claim","status":"machine_extracted","claim_id":"C1","attestation":"unclaimed"},{"kind":"weakest_assumption","text":"The layered graph C(q,L) with adjacency rule k + ℓ ≥ L accurately captures the zero-divisor relations in the finite chain ring with residue field of order q and nilpotency index L.","source":"verdict.weakest_assumption","status":"machine_extracted","claim_id":"C2","attestation":"unclaimed"},{"kind":"one_line_summary","text":"Cochordal zero-divisor graphs of chain rings admit refined Betti formulas yielding 2-linear resolutions for the studied quotient rings.","source":"verdict.one_line_summary","status":"machine_extracted","claim_id":"C3","attestation":"unclaimed"},{"kind":"headline","text":"The layered zero-divisor graph of finite chain rings is cochordal, yielding a refined Betti number formula for its edge ideal.","source":"verdict.pith_extraction.headline","status":"machine_extracted","claim_id":"C4","attestation":"unclaimed"}],"snapshot_sha256":"808fdc7f4a1c9301cb2d69bde7ed67c4b9850c203acf2a53d8227faa74accf22"},"source":{"id":"2605.13622","kind":"arxiv","version":1},"verdict":{"id":"df8c41eb-a1bb-44f1-81cc-e71a8fc4766b","model_set":{"reader":"grok-4.3"},"created_at":"2026-05-14T17:49:38.066878Z","strongest_claim":"We prove that C(q,L) is cochordal, determine its type sequence, then correct and refine the Betti formula of its edge ideal.","one_line_summary":"Cochordal zero-divisor graphs of chain rings admit refined Betti formulas yielding 2-linear resolutions for the studied quotient rings.","pipeline_version":"pith-pipeline@v0.9.0","weakest_assumption":"The layered graph C(q,L) with adjacency rule k + ℓ ≥ L accurately captures the zero-divisor relations in the finite chain ring with residue field of order q and nilpotency index L.","pith_extraction_headline":"The layered zero-divisor graph of finite chain rings is cochordal, yielding a refined Betti number formula for its edge ideal."},"references":{"count":47,"sample":[{"doi":"","year":2003,"title":"S. Akbari, H. R. Maimani and S. Yassemi, When a zero-divisor graph is planar or a completer-partite graph,J. Algebra270(2003) 169–180,https://doi.org/10.1016/ S0021-8693(03)00370-3","work_id":"9b55676f-84df-487b-995e-3750158def84","ref_index":1,"cited_arxiv_id":"","is_internal_anchor":false},{"doi":"10.1080/00927870802110888","year":2008,"title":"D. F. Anderson and A. Badawi, On the zero-divisor graph of a ring,Comm. Algebra36 (2008) 3073–3092,https://doi.org/10.1080/00927870802110888","work_id":"8dfb848b-b57b-4ca2-bb29-e38b2cb26cba","ref_index":2,"cited_arxiv_id":"","is_internal_anchor":false},{"doi":"10.1006/jabr.1998.7840","year":1999,"title":"D. F. Anderson and P. S. Livingston, The zero-divisor graph of a commutative ring,J. Algebra217(2) (1999) 434–447,https://doi.org/10.1006/jabr.1998.7840","work_id":"d1bd120e-4ada-415b-a1ee-82a44d15dd50","ref_index":3,"cited_arxiv_id":"","is_internal_anchor":false},{"doi":"10.1016/j.disc.2023.113580","year":2023,"title":"G. Arunkumara, P. J. Cameron, T. Kavaskar and T. Tamizh Chelvam, Induced subgraphs of zero-divisor graphs,Discrete Math.346(7) (2023), Art. No. 113580, https://doi.org/10.1016/j.disc.2023.113580. Bett","work_id":"220a6b93-a5d0-4731-b0d2-d71b176d152c","ref_index":4,"cited_arxiv_id":"","is_internal_anchor":false},{"doi":"","year":1957,"title":"M. Auslander and D. A. Buchsbaum, Homological dimension in local rings, Trans. Amer. Math. Soc.85(1957) 390–405,https://doi.org/10.1090/ S0002-9947-1957-0086822-7","work_id":"bf0893d0-054b-43a5-85d7-33f935f22dd5","ref_index":5,"cited_arxiv_id":"","is_internal_anchor":false}],"resolved_work":47,"snapshot_sha256":"7a5f6979b82058ee91fcaa90100b7899fb3908ba921b596afb600ff80bd91654","internal_anchors":1},"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":"df8c41eb-a1bb-44f1-81cc-e71a8fc4766b"},"signer":{"signer_id":"pith.science","signer_type":"pith_registry","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"created_at":"2026-05-18T02:44:17Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"lyrJAmWtpcMLZr8y+iPMfG5d41Y2DcsomIXjbO32syCakNaEMUOWCz7x5HeasyWcPmz1OGyRHKWSaZ7ZuisnCw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-05T10:11:44.801530Z"},"content_sha256":"104d80318362f1c3c91a6b835eb6a035283b2fdcaffaa6bffa4c96204d90b4d4","schema_version":"1.0","event_id":"sha256:104d80318362f1c3c91a6b835eb6a035283b2fdcaffaa6bffa4c96204d90b4d4"},{"event_type":"integrity_finding","subject_pith_number":"pith:2026:42AVZWB6AT6UWKTQ4XJQZPGQ7A","target":"integrity","payload":{"note":"Identifier '10.2298/fil2602739r' is syntactically valid but the DOI registry (doi.org) returned 404, and Crossref / OpenAlex / internal corpus also have no record. The cited work could not be located through any authoritative source.","snippet":"B. A. Rather and J. Wang, Homological invariants of edge ideals of power graphs of finite groups,Filomat40(2) (2026) 739–750,https://doi.org/10.2298/FIL2602739R","arxiv_id":"2605.13622","detector":"doi_compliance","evidence":{"doi":"10.2298/fil2602739r","arxiv_id":null,"ref_index":40,"raw_excerpt":"B. A. Rather and J. Wang, Homological invariants of edge ideals of power graphs of finite groups,Filomat40(2) (2026) 739–750,https://doi.org/10.2298/FIL2602739R","verdict_class":"cross_source","checked_sources":["crossref_by_doi","openalex_by_doi","doi_org_head"]},"severity":"critical","ref_index":40,"audited_at":"2026-05-19T06:21:10.192490Z","event_type":"pith.integrity.v1","detected_doi":"10.2298/fil2602739r","detector_url":"https://pith.science/pith-integrity-protocol#doi_compliance","external_url":null,"finding_type":"unresolvable_identifier","evidence_hash":"1210c386f96beb289c90c9819c37e5eb80e59d739f07cefbb5cc6977d7126f9e","paper_version":1,"verdict_class":"cross_source","resolved_title":null,"detector_version":"1.0.0","detected_arxiv_id":null,"integrity_event_id":125,"payload_sha256":"40e26982dd4241f6c80b64ebfcb7e83a039bcf14e7307ff352b8b67b37d1962c","signature_b64":"3kpXwdl0mlPKU9E/VHGfdcT7tA9zSjgsxpCn1VYGd+ZE4Req593Ea36mS4jD650uXQFcOwQ1JXn6YyEDary0Ag==","signing_key_id":"pith-v1-2026-05"},"signer":{"signer_id":"pith.science","signer_type":"pith_registry","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"created_at":"2026-05-19T06:21:52Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"UsPmH4z1VlAvgCc0PUjIBBAaVTCmKNpI2/veaMo2rIHma33Uq7fLJB9aW61roarJ4X13YbDNoeLD5QHCHb8HDw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-05T10:11:44.802438Z"},"content_sha256":"37c4904f3c5617614c35fc963be59f19fba00d7cdba50ee1fe134879eeab7ddc","schema_version":"1.0","event_id":"sha256:37c4904f3c5617614c35fc963be59f19fba00d7cdba50ee1fe134879eeab7ddc"},{"event_type":"integrity_finding","subject_pith_number":"pith:2026:42AVZWB6AT6UWKTQ4XJQZPGQ7A","target":"integrity","payload":{"note":"Identifier '10.1016/s0167-5060(08' is syntactically valid but the DOI registry (doi.org) returned 404, and Crossref / OpenAlex / internal corpus also have no record. The cited work could not be located through any authoritative source.","snippet":"V. Chvátal and P. L. Hammer, Aggregation of inequalities in integer programming, Ann. Discrete Math.1(1977), 145–162.https://doi.org/10.1016/S0167-5060(08) 70731-3","arxiv_id":"2605.13622","detector":"doi_compliance","evidence":{"doi":"10.1016/s0167-5060(08","arxiv_id":null,"ref_index":10,"raw_excerpt":"V. Chvátal and P. L. Hammer, Aggregation of inequalities in integer programming, Ann. Discrete Math.1(1977), 145–162.https://doi.org/10.1016/S0167-5060(08) 70731-3","verdict_class":"cross_source","checked_sources":["crossref_by_doi","openalex_by_doi","doi_org_head"]},"severity":"critical","ref_index":10,"audited_at":"2026-05-19T06:21:10.192490Z","event_type":"pith.integrity.v1","detected_doi":"10.1016/s0167-5060(08","detector_url":"https://pith.science/pith-integrity-protocol#doi_compliance","external_url":null,"finding_type":"unresolvable_identifier","evidence_hash":"2a6f4ad865c7d6b183a99230c50b3206f788c52bf765275de2f000f9b1dbed62","paper_version":1,"verdict_class":"cross_source","resolved_title":null,"detector_version":"1.0.0","detected_arxiv_id":null,"integrity_event_id":124,"payload_sha256":"cc042874cb9f27378c3efda28f50230e99518b64bcdf0eba394b059e29037892","signature_b64":"Tva7YoI+wAUtdf7UKJSgCadgrdHZe9rL0JiNNSBhaXfDrolOy+dOees+t7e6vwzNTf/7/Y2SIIQMP/chQbi/CA==","signing_key_id":"pith-v1-2026-05"},"signer":{"signer_id":"pith.science","signer_type":"pith_registry","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"created_at":"2026-05-19T06:21:52Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"Vs/ZZao0GgbLhkbM6X7uAGzp7jjnkoyBgYnlbYGdmx+gADgxKkMqijwkVTz/gkVSDaEENrG54XkWgvFDLEFADw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-05T10:11:44.802740Z"},"content_sha256":"74731fbf8f0c956e963a502254dfa370e5f2e676aaa8787e02f5cdbfe2d1eb51","schema_version":"1.0","event_id":"sha256:74731fbf8f0c956e963a502254dfa370e5f2e676aaa8787e02f5cdbfe2d1eb51"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/42AVZWB6AT6UWKTQ4XJQZPGQ7A/bundle.json","state_url":"https://pith.science/pith/42AVZWB6AT6UWKTQ4XJQZPGQ7A/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/42AVZWB6AT6UWKTQ4XJQZPGQ7A/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-05T10:11:44Z","links":{"resolver":"https://pith.science/pith/42AVZWB6AT6UWKTQ4XJQZPGQ7A","bundle":"https://pith.science/pith/42AVZWB6AT6UWKTQ4XJQZPGQ7A/bundle.json","state":"https://pith.science/pith/42AVZWB6AT6UWKTQ4XJQZPGQ7A/state.json","well_known_bundle":"https://pith.science/.well-known/pith/42AVZWB6AT6UWKTQ4XJQZPGQ7A/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2026:42AVZWB6AT6UWKTQ4XJQZPGQ7A","merge_version":"pith-open-graph-merge-v1","event_count":4,"valid_event_count":4,"invalid_event_count":0,"equivocation_count":1,"current":{"canonical_record":{"metadata":{"abstract_canon_sha256":"bded283c732ca6b6cf4020a48376c7a5d7244e167eb2a1bc53c332dd16d25992","cross_cats_sorted":["cs.DM","math.CO"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"math.AC","submitted_at":"2026-05-13T14:52:06Z","title_canon_sha256":"d31ee6ad4fdba43ef8d9b029e65e30da757a3080b0b267a732d604b4da970bbe"},"schema_version":"1.0","source":{"id":"2605.13622","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2605.13622","created_at":"2026-05-18T02:44:17Z"},{"alias_kind":"arxiv_version","alias_value":"2605.13622v1","created_at":"2026-05-18T02:44:17Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2605.13622","created_at":"2026-05-18T02:44:17Z"},{"alias_kind":"pith_short_12","alias_value":"42AVZWB6AT6U","created_at":"2026-05-18T12:33:37Z"},{"alias_kind":"pith_short_16","alias_value":"42AVZWB6AT6UWKTQ","created_at":"2026-05-18T12:33:37Z"},{"alias_kind":"pith_short_8","alias_value":"42AVZWB6","created_at":"2026-05-18T12:33:37Z"}],"graph_snapshots":[{"event_id":"sha256:104d80318362f1c3c91a6b835eb6a035283b2fdcaffaa6bffa4c96204d90b4d4","target":"graph","created_at":"2026-05-18T02:44:17Z","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":4,"items":[{"attestation":"unclaimed","claim_id":"C1","kind":"strongest_claim","source":"verdict.strongest_claim","status":"machine_extracted","text":"We prove that C(q,L) is cochordal, determine its type sequence, then correct and refine the Betti formula of its edge ideal."},{"attestation":"unclaimed","claim_id":"C2","kind":"weakest_assumption","source":"verdict.weakest_assumption","status":"machine_extracted","text":"The layered graph C(q,L) with adjacency rule k + ℓ ≥ L accurately captures the zero-divisor relations in the finite chain ring with residue field of order q and nilpotency index L."},{"attestation":"unclaimed","claim_id":"C3","kind":"one_line_summary","source":"verdict.one_line_summary","status":"machine_extracted","text":"Cochordal zero-divisor graphs of chain rings admit refined Betti formulas yielding 2-linear resolutions for the studied quotient rings."},{"attestation":"unclaimed","claim_id":"C4","kind":"headline","source":"verdict.pith_extraction.headline","status":"machine_extracted","text":"The layered zero-divisor graph of finite chain rings is cochordal, yielding a refined Betti number formula for its edge ideal."}],"snapshot_sha256":"808fdc7f4a1c9301cb2d69bde7ed67c4b9850c203acf2a53d8227faa74accf22"},"formal_canon":{"evidence_count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"paper":{"abstract_excerpt":"This paper studies the zero-divisor graphs attached to several finite chain-ring families and computes the homological invariants of their edge ideals by using cochordal constructible systems. We begin with a general layered graph $C(q,L)$, whose vertices are arranged according to valuation layers and whose adjacency is governed by the single rule $k+\\ell\\ge L$, form some integers $k$ and $\\ell$. This graph models the zero-divisor structure of a finite chain ring with residue field of order $q$ and nilpotency index $L$. We prove that $C(q,L)$ is cochordal, determine its type sequence, then cor","authors_text":"Bilal Ahmad Rather","cross_cats":["cs.DM","math.CO"],"headline":"The layered zero-divisor graph of finite chain rings is cochordal, yielding a refined Betti number formula for its edge ideal.","license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"math.AC","submitted_at":"2026-05-13T14:52:06Z","title":"Betti numbers for cochordal zero-divisor graphs of commutative rings"},"references":{"count":47,"internal_anchors":1,"resolved_work":47,"sample":[{"cited_arxiv_id":"","doi":"","is_internal_anchor":false,"ref_index":1,"title":"S. Akbari, H. R. Maimani and S. Yassemi, When a zero-divisor graph is planar or a completer-partite graph,J. Algebra270(2003) 169–180,https://doi.org/10.1016/ S0021-8693(03)00370-3","work_id":"9b55676f-84df-487b-995e-3750158def84","year":2003},{"cited_arxiv_id":"","doi":"10.1080/00927870802110888","is_internal_anchor":false,"ref_index":2,"title":"D. F. Anderson and A. Badawi, On the zero-divisor graph of a ring,Comm. Algebra36 (2008) 3073–3092,https://doi.org/10.1080/00927870802110888","work_id":"8dfb848b-b57b-4ca2-bb29-e38b2cb26cba","year":2008},{"cited_arxiv_id":"","doi":"10.1006/jabr.1998.7840","is_internal_anchor":false,"ref_index":3,"title":"D. F. Anderson and P. S. Livingston, The zero-divisor graph of a commutative ring,J. Algebra217(2) (1999) 434–447,https://doi.org/10.1006/jabr.1998.7840","work_id":"d1bd120e-4ada-415b-a1ee-82a44d15dd50","year":1999},{"cited_arxiv_id":"","doi":"10.1016/j.disc.2023.113580","is_internal_anchor":false,"ref_index":4,"title":"G. Arunkumara, P. J. Cameron, T. Kavaskar and T. Tamizh Chelvam, Induced subgraphs of zero-divisor graphs,Discrete Math.346(7) (2023), Art. No. 113580, https://doi.org/10.1016/j.disc.2023.113580. Bett","work_id":"220a6b93-a5d0-4731-b0d2-d71b176d152c","year":2023},{"cited_arxiv_id":"","doi":"","is_internal_anchor":false,"ref_index":5,"title":"M. Auslander and D. A. Buchsbaum, Homological dimension in local rings, Trans. Amer. Math. Soc.85(1957) 390–405,https://doi.org/10.1090/ S0002-9947-1957-0086822-7","work_id":"bf0893d0-054b-43a5-85d7-33f935f22dd5","year":1957}],"snapshot_sha256":"7a5f6979b82058ee91fcaa90100b7899fb3908ba921b596afb600ff80bd91654"},"source":{"id":"2605.13622","kind":"arxiv","version":1},"verdict":{"created_at":"2026-05-14T17:49:38.066878Z","id":"df8c41eb-a1bb-44f1-81cc-e71a8fc4766b","model_set":{"reader":"grok-4.3"},"one_line_summary":"Cochordal zero-divisor graphs of chain rings admit refined Betti formulas yielding 2-linear resolutions for the studied quotient rings.","pipeline_version":"pith-pipeline@v0.9.0","pith_extraction_headline":"The layered zero-divisor graph of finite chain rings is cochordal, yielding a refined Betti number formula for its edge ideal.","strongest_claim":"We prove that C(q,L) is cochordal, determine its type sequence, then correct and refine the Betti formula of its edge ideal.","weakest_assumption":"The layered graph C(q,L) with adjacency rule k + ℓ ≥ L accurately captures the zero-divisor relations in the finite chain ring with residue field of order q and nilpotency index L."}},"verdict_id":"df8c41eb-a1bb-44f1-81cc-e71a8fc4766b"}}],"author_attestations":[],"timestamp_anchors":[],"storage_attestations":[],"citation_signatures":[],"replication_records":[],"corrections":[],"mirror_hints":[],"record_created":{"event_id":"sha256:7790a3833685e35b405506aa58fead8be8cc6290ef1ad86f5d514d338fecb558","target":"record","created_at":"2026-05-18T02:44:17Z","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":"bded283c732ca6b6cf4020a48376c7a5d7244e167eb2a1bc53c332dd16d25992","cross_cats_sorted":["cs.DM","math.CO"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"math.AC","submitted_at":"2026-05-13T14:52:06Z","title_canon_sha256":"d31ee6ad4fdba43ef8d9b029e65e30da757a3080b0b267a732d604b4da970bbe"},"schema_version":"1.0","source":{"id":"2605.13622","kind":"arxiv","version":1}},"canonical_sha256":"e6815cd83e04fd4b2a70e5d30cbcd0f835805ede35aeb2757b748c9e7f80a838","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"e6815cd83e04fd4b2a70e5d30cbcd0f835805ede35aeb2757b748c9e7f80a838","first_computed_at":"2026-05-18T02:44:17.863236Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T02:44:17.863236Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"BYohCM02nkvPgkJ2zfnfkg6moXgIdV3PIa2jc19p1B3S3rMwCxN+lEAacIQYC0fbpkWZmK67bD9sZV8hY/NTCg==","signature_status":"signed_v1","signed_at":"2026-05-18T02:44:17.863705Z","signed_message":"canonical_sha256_bytes"},"source_id":"2605.13622","source_kind":"arxiv","source_version":1}}},"equivocations":[{"signer_id":"pith.science","event_type":"integrity_finding","target":"integrity","event_ids":["sha256:37c4904f3c5617614c35fc963be59f19fba00d7cdba50ee1fe134879eeab7ddc","sha256:74731fbf8f0c956e963a502254dfa370e5f2e676aaa8787e02f5cdbfe2d1eb51"]}],"invalid_events":[],"applied_event_ids":["sha256:7790a3833685e35b405506aa58fead8be8cc6290ef1ad86f5d514d338fecb558","sha256:104d80318362f1c3c91a6b835eb6a035283b2fdcaffaa6bffa4c96204d90b4d4"],"state_sha256":"db8823b837cc6cd760dc486aeaf6cf280c3e248589dad2e5d3de8815a13e1e65"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"huHImD62dKdDdV9up0dgW8NatmKmuhgQsL+RlIpPsN8qvbPpmgpSWooT5QPSWEq4iVfTVQ3pzg41eUSLMpiKCQ==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-05T10:11:44.805846Z","bundle_sha256":"f24bc370f6ea7853a44a26a17d39eed4f73ab81503195600e1945ed53fb44fd7"}}