{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2014:F6SRXFNKW26I2BWSK3OBAPOT4X","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":"34ea07c231223fef28e7ebafb4549584a77b23cf12f3e7b5cee585b63ec1c428","cross_cats_sorted":["math.KT"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.CT","submitted_at":"2014-06-03T18:53:12Z","title_canon_sha256":"cda9bc95d11fb91c48df633a53620cb7e0b1d641e22f84fb35555f76f9ef8f64"},"schema_version":"1.0","source":{"id":"1406.0815","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1406.0815","created_at":"2026-07-05T00:08:02Z"},{"alias_kind":"arxiv_version","alias_value":"1406.0815v2","created_at":"2026-07-05T00:08:02Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1406.0815","created_at":"2026-07-05T00:08:02Z"},{"alias_kind":"pith_short_12","alias_value":"F6SRXFNKW26I","created_at":"2026-07-05T00:08:02Z"},{"alias_kind":"pith_short_16","alias_value":"F6SRXFNKW26I2BWS","created_at":"2026-07-05T00:08:02Z"},{"alias_kind":"pith_short_8","alias_value":"F6SRXFNK","created_at":"2026-07-05T00:08:02Z"}],"graph_snapshots":[{"event_id":"sha256:cd4a23316c63452c6e1d3fab0f39060ff089ba529b33fcbc1fed00024d12ed89","target":"graph","created_at":"2026-07-05T00:08:02Z","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/1406.0815/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Several constructive homological methods based on noncommutative Gr\\\"obner bases are known to compute free resolutions of associative algebras. In particular, these methods relate the Koszul property for an associative algebra to the existence of a quadratic Gr\\\"obner basis of its ideal of relations. In this article, using a higher-dimensional rewriting theory approach, we give several improvements of these methods. We define polygraphs for associative algebras as higher-dimensional linear rewriting systems that generalise the notion of noncommutative Gr\\\"obner bases, and allow more possibilit","authors_text":"Eric Hoffbeck, Philippe Malbos, Yves Guiraud","cross_cats":["math.KT"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.CT","submitted_at":"2014-06-03T18:53:12Z","title":"Convergent presentations and polygraphic resolutions of associative algebras"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1406.0815","kind":"arxiv","version":2},"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:8062e2d75d1078c5d34ebfb4e4423e26be20176ec01f87813f1ced4b51dc1b53","target":"record","created_at":"2026-07-05T00:08:02Z","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":"34ea07c231223fef28e7ebafb4549584a77b23cf12f3e7b5cee585b63ec1c428","cross_cats_sorted":["math.KT"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.CT","submitted_at":"2014-06-03T18:53:12Z","title_canon_sha256":"cda9bc95d11fb91c48df633a53620cb7e0b1d641e22f84fb35555f76f9ef8f64"},"schema_version":"1.0","source":{"id":"1406.0815","kind":"arxiv","version":2}},"canonical_sha256":"2fa51b95aab6bc8d06d256dc103dd3e5faab9198a096b8299e1d57899e0e34d2","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"2fa51b95aab6bc8d06d256dc103dd3e5faab9198a096b8299e1d57899e0e34d2","first_computed_at":"2026-07-05T00:08:02.243483Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T00:08:02.243483Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"eirugBU3PxplyseKponUMYpb6YNmoYtgPK+dk540S6FKDXKRDcdExjjOkelgmkoXWPWYqGNx0YGMKYxZiEYSBw==","signature_status":"signed_v1","signed_at":"2026-07-05T00:08:02.243835Z","signed_message":"canonical_sha256_bytes"},"source_id":"1406.0815","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:8062e2d75d1078c5d34ebfb4e4423e26be20176ec01f87813f1ced4b51dc1b53","sha256:cd4a23316c63452c6e1d3fab0f39060ff089ba529b33fcbc1fed00024d12ed89"],"state_sha256":"d4a7e1d7626ae686d5b1d12204d9d8747d359abd30311871c6184f40da64f6d4"}