{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2014:XCGVQJUAVOE7LWDUEPDQ55MEJN","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":"8737a665d1d46d791c3e21cc38c8e5ffa02b8fea18d0da1fb58e32dedde158ba","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.CO","submitted_at":"2014-07-31T10:01:50Z","title_canon_sha256":"2a2b2dfde4eab0072fcc81893d679a699b6ce5b37300ebc75891219adc4c7815"},"schema_version":"1.0","source":{"id":"1407.8336","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1407.8336","created_at":"2026-05-18T02:46:05Z"},{"alias_kind":"arxiv_version","alias_value":"1407.8336v1","created_at":"2026-05-18T02:46:05Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1407.8336","created_at":"2026-05-18T02:46:05Z"},{"alias_kind":"pith_short_12","alias_value":"XCGVQJUAVOE7","created_at":"2026-05-18T12:28:57Z"},{"alias_kind":"pith_short_16","alias_value":"XCGVQJUAVOE7LWDU","created_at":"2026-05-18T12:28:57Z"},{"alias_kind":"pith_short_8","alias_value":"XCGVQJUA","created_at":"2026-05-18T12:28:57Z"}],"graph_snapshots":[{"event_id":"sha256:81cfd8c80b8a9f0fbf9ba5dee7b1542f04e568666cab2db3860d6a518a3473de","target":"graph","created_at":"2026-05-18T02:46:05Z","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":"For a graph $G$, let $\\nu_s(G)$ be the induced matching number of $G$. We prove the sharp bound $\\nu_s(G)\\geq \\frac{n(G)}{9}$ for every graph $G$ of maximum degree at most $4$ and without isolated vertices that does not contain a certain blown up $5$-cycle as a component. This result implies a consequence of the well known conjecture of Erd\\H{o}s and Ne\\v{s}et\\v{r}il, saying that the strong chromatic index $\\chi_s'(G)$ of a graph $G$ is at most $\\frac{5}{4}\\Delta(G)^2$, because $\\nu_s(G)\\geq \\frac{m(G)}{\\chi_s'(G)}$ and $n(G)\\geq \\frac{m(G)\\Delta(G)}{2}$. Furthermore, it is shown that there is","authors_text":"Felix Joos","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.CO","submitted_at":"2014-07-31T10:01:50Z","title":"Induced Matchings in Graphs of Maximum Degree 4"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1407.8336","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:bd3bec0972657035bf83427a1e08118d972a8d2b315c9190f75db9991cb09969","target":"record","created_at":"2026-05-18T02:46:05Z","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":"8737a665d1d46d791c3e21cc38c8e5ffa02b8fea18d0da1fb58e32dedde158ba","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.CO","submitted_at":"2014-07-31T10:01:50Z","title_canon_sha256":"2a2b2dfde4eab0072fcc81893d679a699b6ce5b37300ebc75891219adc4c7815"},"schema_version":"1.0","source":{"id":"1407.8336","kind":"arxiv","version":1}},"canonical_sha256":"b88d582680ab89f5d87423c70ef5844b76211bbd76a934ccfac57cd92858e0ee","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"b88d582680ab89f5d87423c70ef5844b76211bbd76a934ccfac57cd92858e0ee","first_computed_at":"2026-05-18T02:46:05.380398Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T02:46:05.380398Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"qfc2OyfqEq7ju75eP7L8AnfL7JcmJgLeCRPrkRBt6mqW/MduZbmiqUbJK78WUIFf6/NqhiPdczio1gKDe2FQDA==","signature_status":"signed_v1","signed_at":"2026-05-18T02:46:05.381022Z","signed_message":"canonical_sha256_bytes"},"source_id":"1407.8336","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:bd3bec0972657035bf83427a1e08118d972a8d2b315c9190f75db9991cb09969","sha256:81cfd8c80b8a9f0fbf9ba5dee7b1542f04e568666cab2db3860d6a518a3473de"],"state_sha256":"170828fbc416c9ca084b04cd1630f7def1bc22d73c67c5ec78f819ad3c10a393"}