{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2013:4XG5GCRZO52XSMH4YZCTBCSXIN","short_pith_number":"pith:4XG5GCRZ","canonical_record":{"source":{"id":"1311.5031","kind":"arxiv","version":4},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.CO","submitted_at":"2013-11-20T12:14:17Z","cross_cats_sorted":["math.NT","math.RT"],"title_canon_sha256":"de20771f2dc9fc8bd1f6ebe224741604f11ca0bec765bdfa8539f0c3e4a10a7e","abstract_canon_sha256":"9b5ee144c7072b37c2a69125d2dae535dfdec1316d07c00dfdc433075d807a4e"},"schema_version":"1.0"},"canonical_sha256":"e5cdd30a3977757930fcc645308a57434a72f70c626e534cf5f33e8d44dbf1af","source":{"kind":"arxiv","id":"1311.5031","version":4},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1311.5031","created_at":"2026-05-18T00:39:14Z"},{"alias_kind":"arxiv_version","alias_value":"1311.5031v4","created_at":"2026-05-18T00:39:14Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1311.5031","created_at":"2026-05-18T00:39:14Z"},{"alias_kind":"pith_short_12","alias_value":"4XG5GCRZO52X","created_at":"2026-05-18T12:27:34Z"},{"alias_kind":"pith_short_16","alias_value":"4XG5GCRZO52XSMH4","created_at":"2026-05-18T12:27:34Z"},{"alias_kind":"pith_short_8","alias_value":"4XG5GCRZ","created_at":"2026-05-18T12:27:34Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2013:4XG5GCRZO52XSMH4YZCTBCSXIN","target":"record","payload":{"canonical_record":{"source":{"id":"1311.5031","kind":"arxiv","version":4},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.CO","submitted_at":"2013-11-20T12:14:17Z","cross_cats_sorted":["math.NT","math.RT"],"title_canon_sha256":"de20771f2dc9fc8bd1f6ebe224741604f11ca0bec765bdfa8539f0c3e4a10a7e","abstract_canon_sha256":"9b5ee144c7072b37c2a69125d2dae535dfdec1316d07c00dfdc433075d807a4e"},"schema_version":"1.0"},"canonical_sha256":"e5cdd30a3977757930fcc645308a57434a72f70c626e534cf5f33e8d44dbf1af","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T00:39:14.109159Z","signature_b64":"+GMK0zFnYXUNFz0uR7+BSOPzF/zE7+9tSFzVwC+tfjjwEtWtQYa/4mW2MjEr78ReNwmb+ciTR4Y9yAhlhvl+DA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"e5cdd30a3977757930fcc645308a57434a72f70c626e534cf5f33e8d44dbf1af","last_reissued_at":"2026-05-18T00:39:14.108343Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T00:39:14.108343Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1311.5031","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-18T00:39:14Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"rPOmPTKNkZqOLkbIANfreCOSfVN5eZTVdHXIPy+iYwVc/OiYSvIiYtrsRJa5NtW49BRA6QtfBO24L62wNn6SDA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-27T07:32:15.039607Z"},"content_sha256":"a37f334a4a1ece49528e31dffe7c0050ca62954c2135786aeb335a0e9c8a6216","schema_version":"1.0","event_id":"sha256:a37f334a4a1ece49528e31dffe7c0050ca62954c2135786aeb335a0e9c8a6216"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2013:4XG5GCRZO52XSMH4YZCTBCSXIN","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Boolean Witt vectors and an integral Edrei-Thoma theorem","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["math.NT","math.RT"],"primary_cat":"math.CO","authors_text":"Darij Grinberg, James Borger","submitted_at":"2013-11-20T12:14:17Z","abstract_excerpt":"A subtraction-free definition of the big Witt vector construction was recently given by the first author. This allows one to define the big Witt vectors of any semiring. Here we give an explicit combinatorial description of the big Witt vectors of the Boolean semiring. We do the same for two variants of the big Witt vector construction: the Schur Witt vectors and the $p$-typical Witt vectors. We use this to give an explicit description of the Schur Witt vectors of the natural numbers, which can be viewed as the classification of totally positive power series with integral coefficients, first o"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1311.5031","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-18T00:39:14Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"yd/Nuc05WkYYymjX6AJAGm5HtLmiISqYF9nBqge/fj/PO48bua09DMW1IwV2WbLaSR1CKVVsV8FW/CPc/5K1BQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-27T07:32:15.040276Z"},"content_sha256":"95fb8240d8bd7ee342eef334710eadd675de87cdc154f720b542f69cbfb764fc","schema_version":"1.0","event_id":"sha256:95fb8240d8bd7ee342eef334710eadd675de87cdc154f720b542f69cbfb764fc"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/4XG5GCRZO52XSMH4YZCTBCSXIN/bundle.json","state_url":"https://pith.science/pith/4XG5GCRZO52XSMH4YZCTBCSXIN/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/4XG5GCRZO52XSMH4YZCTBCSXIN/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-05-27T07:32:15Z","links":{"resolver":"https://pith.science/pith/4XG5GCRZO52XSMH4YZCTBCSXIN","bundle":"https://pith.science/pith/4XG5GCRZO52XSMH4YZCTBCSXIN/bundle.json","state":"https://pith.science/pith/4XG5GCRZO52XSMH4YZCTBCSXIN/state.json","well_known_bundle":"https://pith.science/.well-known/pith/4XG5GCRZO52XSMH4YZCTBCSXIN/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2013:4XG5GCRZO52XSMH4YZCTBCSXIN","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":"9b5ee144c7072b37c2a69125d2dae535dfdec1316d07c00dfdc433075d807a4e","cross_cats_sorted":["math.NT","math.RT"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.CO","submitted_at":"2013-11-20T12:14:17Z","title_canon_sha256":"de20771f2dc9fc8bd1f6ebe224741604f11ca0bec765bdfa8539f0c3e4a10a7e"},"schema_version":"1.0","source":{"id":"1311.5031","kind":"arxiv","version":4}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1311.5031","created_at":"2026-05-18T00:39:14Z"},{"alias_kind":"arxiv_version","alias_value":"1311.5031v4","created_at":"2026-05-18T00:39:14Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1311.5031","created_at":"2026-05-18T00:39:14Z"},{"alias_kind":"pith_short_12","alias_value":"4XG5GCRZO52X","created_at":"2026-05-18T12:27:34Z"},{"alias_kind":"pith_short_16","alias_value":"4XG5GCRZO52XSMH4","created_at":"2026-05-18T12:27:34Z"},{"alias_kind":"pith_short_8","alias_value":"4XG5GCRZ","created_at":"2026-05-18T12:27:34Z"}],"graph_snapshots":[{"event_id":"sha256:95fb8240d8bd7ee342eef334710eadd675de87cdc154f720b542f69cbfb764fc","target":"graph","created_at":"2026-05-18T00:39:14Z","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":"A subtraction-free definition of the big Witt vector construction was recently given by the first author. This allows one to define the big Witt vectors of any semiring. Here we give an explicit combinatorial description of the big Witt vectors of the Boolean semiring. We do the same for two variants of the big Witt vector construction: the Schur Witt vectors and the $p$-typical Witt vectors. We use this to give an explicit description of the Schur Witt vectors of the natural numbers, which can be viewed as the classification of totally positive power series with integral coefficients, first o","authors_text":"Darij Grinberg, James Borger","cross_cats":["math.NT","math.RT"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.CO","submitted_at":"2013-11-20T12:14:17Z","title":"Boolean Witt vectors and an integral Edrei-Thoma theorem"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1311.5031","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:a37f334a4a1ece49528e31dffe7c0050ca62954c2135786aeb335a0e9c8a6216","target":"record","created_at":"2026-05-18T00:39:14Z","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":"9b5ee144c7072b37c2a69125d2dae535dfdec1316d07c00dfdc433075d807a4e","cross_cats_sorted":["math.NT","math.RT"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.CO","submitted_at":"2013-11-20T12:14:17Z","title_canon_sha256":"de20771f2dc9fc8bd1f6ebe224741604f11ca0bec765bdfa8539f0c3e4a10a7e"},"schema_version":"1.0","source":{"id":"1311.5031","kind":"arxiv","version":4}},"canonical_sha256":"e5cdd30a3977757930fcc645308a57434a72f70c626e534cf5f33e8d44dbf1af","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"e5cdd30a3977757930fcc645308a57434a72f70c626e534cf5f33e8d44dbf1af","first_computed_at":"2026-05-18T00:39:14.108343Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T00:39:14.108343Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"+GMK0zFnYXUNFz0uR7+BSOPzF/zE7+9tSFzVwC+tfjjwEtWtQYa/4mW2MjEr78ReNwmb+ciTR4Y9yAhlhvl+DA==","signature_status":"signed_v1","signed_at":"2026-05-18T00:39:14.109159Z","signed_message":"canonical_sha256_bytes"},"source_id":"1311.5031","source_kind":"arxiv","source_version":4}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:a37f334a4a1ece49528e31dffe7c0050ca62954c2135786aeb335a0e9c8a6216","sha256:95fb8240d8bd7ee342eef334710eadd675de87cdc154f720b542f69cbfb764fc"],"state_sha256":"fd71b42c1d2d07963f06680c7882d74245b28156921ab4cfdefcfe77fcdda443"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"RPnun0s3l8Zn7PE15wv/8bDMl2yfqV5iLu1R2157nfurC1MPaIT7p00tKnJl4QYsrEzl09X4X+9T9I4nXfWFCQ==","signed_message":"bundle_sha256_bytes","signed_at":"2026-05-27T07:32:15.043673Z","bundle_sha256":"b667c50fbad2cc7d4e2906728e4b77318bc015a0dfd274ef46a5f33eafb35251"}}