{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2014:N5M7AVHBOPLTXHS6443AU3UMNN","short_pith_number":"pith:N5M7AVHB","canonical_record":{"source":{"id":"1408.0522","kind":"arxiv","version":4},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.RA","submitted_at":"2014-08-03T18:31:45Z","cross_cats_sorted":[],"title_canon_sha256":"c2c42363f43f2bb7948c424f9850602e5bb021f936ffb39dd3eeebc11477ba88","abstract_canon_sha256":"ffde921439fcb1021e09a64af013b439384fff2a8e40eefe7eda807f61998d4f"},"schema_version":"1.0"},"canonical_sha256":"6f59f054e173d73b9e5ee7360a6e8c6b527c6e0f2ba57ef3e1d967f8730435a1","source":{"kind":"arxiv","id":"1408.0522","version":4},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1408.0522","created_at":"2026-05-18T01:35:22Z"},{"alias_kind":"arxiv_version","alias_value":"1408.0522v4","created_at":"2026-05-18T01:35:22Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1408.0522","created_at":"2026-05-18T01:35:22Z"},{"alias_kind":"pith_short_12","alias_value":"N5M7AVHBOPLT","created_at":"2026-05-18T12:28:41Z"},{"alias_kind":"pith_short_16","alias_value":"N5M7AVHBOPLTXHS6","created_at":"2026-05-18T12:28:41Z"},{"alias_kind":"pith_short_8","alias_value":"N5M7AVHB","created_at":"2026-05-18T12:28:41Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2014:N5M7AVHBOPLTXHS6443AU3UMNN","target":"record","payload":{"canonical_record":{"source":{"id":"1408.0522","kind":"arxiv","version":4},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.RA","submitted_at":"2014-08-03T18:31:45Z","cross_cats_sorted":[],"title_canon_sha256":"c2c42363f43f2bb7948c424f9850602e5bb021f936ffb39dd3eeebc11477ba88","abstract_canon_sha256":"ffde921439fcb1021e09a64af013b439384fff2a8e40eefe7eda807f61998d4f"},"schema_version":"1.0"},"canonical_sha256":"6f59f054e173d73b9e5ee7360a6e8c6b527c6e0f2ba57ef3e1d967f8730435a1","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T01:35:22.672067Z","signature_b64":"1+8fCOmFGWcUyARD59bRQegIP9p6eIrG/VoXkTqs0SpQVMC8oOS1bPPdaZdhX8cNr9NZwSCW9erqVlPhialkDw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"6f59f054e173d73b9e5ee7360a6e8c6b527c6e0f2ba57ef3e1d967f8730435a1","last_reissued_at":"2026-05-18T01:35:22.671110Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T01:35:22.671110Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1408.0522","source_version":4,"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-18T01:35:22Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"T5rVwfx40XCTsulm2CGDtEAkYaZYjty4WxN8fUnXWGxV4LU3cMRhYt06sfPeHSCC62tXNbYaKkz/6WdCDXmUDQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-26T09:12:32.989329Z"},"content_sha256":"9832f0d13c868bcd42b3d89316c06a5ee9fb009c99ba939a9ead2c2c01ddfbad","schema_version":"1.0","event_id":"sha256:9832f0d13c868bcd42b3d89316c06a5ee9fb009c99ba939a9ead2c2c01ddfbad"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2014:N5M7AVHBOPLTXHS6443AU3UMNN","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Witt's Extension Theorem for Quadratic Spaces over Semiperfect Rings","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"math.RA","authors_text":"Uriya A. First","submitted_at":"2014-08-03T18:31:45Z","abstract_excerpt":"We prove that every isometry of between (not-necessarily orthogonal) summands of a unimodular quadratic space over a semiperfect ring can be extended an isometry of the whole quadratic space. The same result was proved by Reiter for the broader class of semilocal rings, but with certain restrictions on the base modules, which cannot be removed in general. Our result implies that unimodular quadratic spaces over semiperfect rings cancel from orthogonal sums. This improves a cancellation result of Quebbemann, Scharlau and Schulte, which applies to quadratic spaces over hermitian categories. Comb"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1408.0522","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"},"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-18T01:35:22Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"zfjTy/OVG4nY024srbbv3gTOq2QOVZ228yoKwLcXxWhk59FQHFVGpJh58bENn8ub7dtD16ViSU8mfGjhK5KzBA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-26T09:12:32.989689Z"},"content_sha256":"51b14de1acefda62024c6a3f11039480c9cd1daef1e1f94ec19d8d4ccfb192ee","schema_version":"1.0","event_id":"sha256:51b14de1acefda62024c6a3f11039480c9cd1daef1e1f94ec19d8d4ccfb192ee"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/N5M7AVHBOPLTXHS6443AU3UMNN/bundle.json","state_url":"https://pith.science/pith/N5M7AVHBOPLTXHS6443AU3UMNN/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/N5M7AVHBOPLTXHS6443AU3UMNN/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-26T09:12:32Z","links":{"resolver":"https://pith.science/pith/N5M7AVHBOPLTXHS6443AU3UMNN","bundle":"https://pith.science/pith/N5M7AVHBOPLTXHS6443AU3UMNN/bundle.json","state":"https://pith.science/pith/N5M7AVHBOPLTXHS6443AU3UMNN/state.json","well_known_bundle":"https://pith.science/.well-known/pith/N5M7AVHBOPLTXHS6443AU3UMNN/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2014:N5M7AVHBOPLTXHS6443AU3UMNN","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":"ffde921439fcb1021e09a64af013b439384fff2a8e40eefe7eda807f61998d4f","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.RA","submitted_at":"2014-08-03T18:31:45Z","title_canon_sha256":"c2c42363f43f2bb7948c424f9850602e5bb021f936ffb39dd3eeebc11477ba88"},"schema_version":"1.0","source":{"id":"1408.0522","kind":"arxiv","version":4}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1408.0522","created_at":"2026-05-18T01:35:22Z"},{"alias_kind":"arxiv_version","alias_value":"1408.0522v4","created_at":"2026-05-18T01:35:22Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1408.0522","created_at":"2026-05-18T01:35:22Z"},{"alias_kind":"pith_short_12","alias_value":"N5M7AVHBOPLT","created_at":"2026-05-18T12:28:41Z"},{"alias_kind":"pith_short_16","alias_value":"N5M7AVHBOPLTXHS6","created_at":"2026-05-18T12:28:41Z"},{"alias_kind":"pith_short_8","alias_value":"N5M7AVHB","created_at":"2026-05-18T12:28:41Z"}],"graph_snapshots":[{"event_id":"sha256:51b14de1acefda62024c6a3f11039480c9cd1daef1e1f94ec19d8d4ccfb192ee","target":"graph","created_at":"2026-05-18T01:35:22Z","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 prove that every isometry of between (not-necessarily orthogonal) summands of a unimodular quadratic space over a semiperfect ring can be extended an isometry of the whole quadratic space. The same result was proved by Reiter for the broader class of semilocal rings, but with certain restrictions on the base modules, which cannot be removed in general. Our result implies that unimodular quadratic spaces over semiperfect rings cancel from orthogonal sums. This improves a cancellation result of Quebbemann, Scharlau and Schulte, which applies to quadratic spaces over hermitian categories. Comb","authors_text":"Uriya A. First","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.RA","submitted_at":"2014-08-03T18:31:45Z","title":"Witt's Extension Theorem for Quadratic Spaces over Semiperfect Rings"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1408.0522","kind":"arxiv","version":4},"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:9832f0d13c868bcd42b3d89316c06a5ee9fb009c99ba939a9ead2c2c01ddfbad","target":"record","created_at":"2026-05-18T01:35:22Z","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":"ffde921439fcb1021e09a64af013b439384fff2a8e40eefe7eda807f61998d4f","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.RA","submitted_at":"2014-08-03T18:31:45Z","title_canon_sha256":"c2c42363f43f2bb7948c424f9850602e5bb021f936ffb39dd3eeebc11477ba88"},"schema_version":"1.0","source":{"id":"1408.0522","kind":"arxiv","version":4}},"canonical_sha256":"6f59f054e173d73b9e5ee7360a6e8c6b527c6e0f2ba57ef3e1d967f8730435a1","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"6f59f054e173d73b9e5ee7360a6e8c6b527c6e0f2ba57ef3e1d967f8730435a1","first_computed_at":"2026-05-18T01:35:22.671110Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T01:35:22.671110Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"1+8fCOmFGWcUyARD59bRQegIP9p6eIrG/VoXkTqs0SpQVMC8oOS1bPPdaZdhX8cNr9NZwSCW9erqVlPhialkDw==","signature_status":"signed_v1","signed_at":"2026-05-18T01:35:22.672067Z","signed_message":"canonical_sha256_bytes"},"source_id":"1408.0522","source_kind":"arxiv","source_version":4}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:9832f0d13c868bcd42b3d89316c06a5ee9fb009c99ba939a9ead2c2c01ddfbad","sha256:51b14de1acefda62024c6a3f11039480c9cd1daef1e1f94ec19d8d4ccfb192ee"],"state_sha256":"92b43158290e05cda2d42156c1380ae3c10a9eac96a2483fa4bc162a9d6d5114"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"5RXYnSu/tAcye6uLwWzZ0Jfvkop1/KPUib02pMXUQkSGrJLzlJu8F/OnfBTCVHHxY3C/XQdo/k3/Q/PoUytuAw==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-26T09:12:32.991764Z","bundle_sha256":"5e35af386e7fcd779ece5a849d6fb86d664a387782c73890b7342954c52b732d"}}