{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2015:TVU5Y5FA2A3DD6FCDOF4VRIRJF","short_pith_number":"pith:TVU5Y5FA","canonical_record":{"source":{"id":"1512.08747","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.HO","submitted_at":"2015-12-28T01:03:04Z","cross_cats_sorted":[],"title_canon_sha256":"ad31313bb03aab92c0b4b3a1abddcbd44a86143656d584906b994e0f36c6db99","abstract_canon_sha256":"684264ef03172911c80f6cd9fdc7ce9571acd301c4cdfe0fd9947344d502de8d"},"schema_version":"1.0"},"canonical_sha256":"9d69dc74a0d03631f8a21b8bcac51149412c2ab8a9f265edcf51fcd295c37142","source":{"kind":"arxiv","id":"1512.08747","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1512.08747","created_at":"2026-05-18T01:23:34Z"},{"alias_kind":"arxiv_version","alias_value":"1512.08747v1","created_at":"2026-05-18T01:23:34Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1512.08747","created_at":"2026-05-18T01:23:34Z"},{"alias_kind":"pith_short_12","alias_value":"TVU5Y5FA2A3D","created_at":"2026-05-18T12:29:42Z"},{"alias_kind":"pith_short_16","alias_value":"TVU5Y5FA2A3DD6FC","created_at":"2026-05-18T12:29:42Z"},{"alias_kind":"pith_short_8","alias_value":"TVU5Y5FA","created_at":"2026-05-18T12:29:42Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2015:TVU5Y5FA2A3DD6FCDOF4VRIRJF","target":"record","payload":{"canonical_record":{"source":{"id":"1512.08747","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.HO","submitted_at":"2015-12-28T01:03:04Z","cross_cats_sorted":[],"title_canon_sha256":"ad31313bb03aab92c0b4b3a1abddcbd44a86143656d584906b994e0f36c6db99","abstract_canon_sha256":"684264ef03172911c80f6cd9fdc7ce9571acd301c4cdfe0fd9947344d502de8d"},"schema_version":"1.0"},"canonical_sha256":"9d69dc74a0d03631f8a21b8bcac51149412c2ab8a9f265edcf51fcd295c37142","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T01:23:34.979783Z","signature_b64":"1jb26O4/PdkJnezRXQhdMFB9DxXWsKut4m+72GQsyCDCveBFEVt1aJMd03ftmRAET/HDNbtx2xquBDKoQqgXBw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"9d69dc74a0d03631f8a21b8bcac51149412c2ab8a9f265edcf51fcd295c37142","last_reissued_at":"2026-05-18T01:23:34.979191Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T01:23:34.979191Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1512.08747","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-18T01:23:34Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"bKv5UsbKME3hHjq4Ix1U9Mua4K2xahDk5SfkIf9keP/otZ1chI82l8KAbt0ZEf2bgCFPu7v1L3O7u4py/KeqBw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-11T07:30:36.836253Z"},"content_sha256":"7dba01a07c4c08b5382b041e0643cb4fdb1a9103e69979fa38dd4c7242fb6561","schema_version":"1.0","event_id":"sha256:7dba01a07c4c08b5382b041e0643cb4fdb1a9103e69979fa38dd4c7242fb6561"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2015:TVU5Y5FA2A3DD6FCDOF4VRIRJF","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Yet Another Proof of Sylvester's Determinant Identity","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"math.HO","authors_text":"Jan Vrbik, Paul Vrbik","submitted_at":"2015-12-28T01:03:04Z","abstract_excerpt":"In 1857 Sylvester stated a result on determinants without proof that was recognized as important over the subsequent century. Thus it was a surprise to Akritas, Akritas and Malaschonok when they found only one English proof - given by Bareiss 111 years later! To rectify the gap in the literature these authors collected and translated six additional proofs: four from German and two from Russian. These proofs range from long and \"readily understood by high school students\" to elegant but high level.\n  We add our own proof to this collection which exploits the product rule and the fact that takin"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1512.08747","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-18T01:23:34Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"xrFH88or4RhxtcRHp5RnnFyuf9Qk5qkM2Z5FThlEdES8+iI4V3EDCqAYN5tnWNkmbZAjSQbxYLdv6uk8MVyBAw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-11T07:30:36.837027Z"},"content_sha256":"e1f9e4f8d6c81ab237b354af610a192260cb42c358996a7e739685da25529bb0","schema_version":"1.0","event_id":"sha256:e1f9e4f8d6c81ab237b354af610a192260cb42c358996a7e739685da25529bb0"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/TVU5Y5FA2A3DD6FCDOF4VRIRJF/bundle.json","state_url":"https://pith.science/pith/TVU5Y5FA2A3DD6FCDOF4VRIRJF/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/TVU5Y5FA2A3DD6FCDOF4VRIRJF/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-11T07:30:36Z","links":{"resolver":"https://pith.science/pith/TVU5Y5FA2A3DD6FCDOF4VRIRJF","bundle":"https://pith.science/pith/TVU5Y5FA2A3DD6FCDOF4VRIRJF/bundle.json","state":"https://pith.science/pith/TVU5Y5FA2A3DD6FCDOF4VRIRJF/state.json","well_known_bundle":"https://pith.science/.well-known/pith/TVU5Y5FA2A3DD6FCDOF4VRIRJF/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2015:TVU5Y5FA2A3DD6FCDOF4VRIRJF","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":"684264ef03172911c80f6cd9fdc7ce9571acd301c4cdfe0fd9947344d502de8d","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.HO","submitted_at":"2015-12-28T01:03:04Z","title_canon_sha256":"ad31313bb03aab92c0b4b3a1abddcbd44a86143656d584906b994e0f36c6db99"},"schema_version":"1.0","source":{"id":"1512.08747","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1512.08747","created_at":"2026-05-18T01:23:34Z"},{"alias_kind":"arxiv_version","alias_value":"1512.08747v1","created_at":"2026-05-18T01:23:34Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1512.08747","created_at":"2026-05-18T01:23:34Z"},{"alias_kind":"pith_short_12","alias_value":"TVU5Y5FA2A3D","created_at":"2026-05-18T12:29:42Z"},{"alias_kind":"pith_short_16","alias_value":"TVU5Y5FA2A3DD6FC","created_at":"2026-05-18T12:29:42Z"},{"alias_kind":"pith_short_8","alias_value":"TVU5Y5FA","created_at":"2026-05-18T12:29:42Z"}],"graph_snapshots":[{"event_id":"sha256:e1f9e4f8d6c81ab237b354af610a192260cb42c358996a7e739685da25529bb0","target":"graph","created_at":"2026-05-18T01:23:34Z","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":"In 1857 Sylvester stated a result on determinants without proof that was recognized as important over the subsequent century. Thus it was a surprise to Akritas, Akritas and Malaschonok when they found only one English proof - given by Bareiss 111 years later! To rectify the gap in the literature these authors collected and translated six additional proofs: four from German and two from Russian. These proofs range from long and \"readily understood by high school students\" to elegant but high level.\n  We add our own proof to this collection which exploits the product rule and the fact that takin","authors_text":"Jan Vrbik, Paul Vrbik","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.HO","submitted_at":"2015-12-28T01:03:04Z","title":"Yet Another Proof of Sylvester's Determinant Identity"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1512.08747","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:7dba01a07c4c08b5382b041e0643cb4fdb1a9103e69979fa38dd4c7242fb6561","target":"record","created_at":"2026-05-18T01:23:34Z","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":"684264ef03172911c80f6cd9fdc7ce9571acd301c4cdfe0fd9947344d502de8d","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.HO","submitted_at":"2015-12-28T01:03:04Z","title_canon_sha256":"ad31313bb03aab92c0b4b3a1abddcbd44a86143656d584906b994e0f36c6db99"},"schema_version":"1.0","source":{"id":"1512.08747","kind":"arxiv","version":1}},"canonical_sha256":"9d69dc74a0d03631f8a21b8bcac51149412c2ab8a9f265edcf51fcd295c37142","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"9d69dc74a0d03631f8a21b8bcac51149412c2ab8a9f265edcf51fcd295c37142","first_computed_at":"2026-05-18T01:23:34.979191Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T01:23:34.979191Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"1jb26O4/PdkJnezRXQhdMFB9DxXWsKut4m+72GQsyCDCveBFEVt1aJMd03ftmRAET/HDNbtx2xquBDKoQqgXBw==","signature_status":"signed_v1","signed_at":"2026-05-18T01:23:34.979783Z","signed_message":"canonical_sha256_bytes"},"source_id":"1512.08747","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:7dba01a07c4c08b5382b041e0643cb4fdb1a9103e69979fa38dd4c7242fb6561","sha256:e1f9e4f8d6c81ab237b354af610a192260cb42c358996a7e739685da25529bb0"],"state_sha256":"49bc65bd4054ec5f38525190710e37c2da655335dc32af4670bf0f0c11ce0f19"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"HcZjW3ZisnaGJdjKihWMqXldysqGL0THanmshaImJFqKwFLuG3VkxYrf5L+za3HKhJXtDYQmjQ/+4J4VLByxDQ==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-11T07:30:36.841567Z","bundle_sha256":"9e43899d5a0371039f739127d881b11f8a31109fd5545c935007abc85fd00838"}}