{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2013:SEV5LGZYQNNFRAR6WWRF7SS6UV","short_pith_number":"pith:SEV5LGZY","canonical_record":{"source":{"id":"1304.3316","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.PR","submitted_at":"2013-04-11T14:23:06Z","cross_cats_sorted":[],"title_canon_sha256":"db368caf0947e89ee098a4b1a7932a88e44e76df784f34c40429c73cc52f3b1f","abstract_canon_sha256":"2d3d84c4c2323c9b96bfab2abd30333b5c51aa9206d479475e2de00e9cf50218"},"schema_version":"1.0"},"canonical_sha256":"912bd59b38835a58823eb5a25fca5ea57a9b3cf1b87b97e8862acc191a4fea17","source":{"kind":"arxiv","id":"1304.3316","version":2},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1304.3316","created_at":"2026-05-18T02:48:27Z"},{"alias_kind":"arxiv_version","alias_value":"1304.3316v2","created_at":"2026-05-18T02:48:27Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1304.3316","created_at":"2026-05-18T02:48:27Z"},{"alias_kind":"pith_short_12","alias_value":"SEV5LGZYQNNF","created_at":"2026-05-18T12:27:59Z"},{"alias_kind":"pith_short_16","alias_value":"SEV5LGZYQNNFRAR6","created_at":"2026-05-18T12:27:59Z"},{"alias_kind":"pith_short_8","alias_value":"SEV5LGZY","created_at":"2026-05-18T12:27:59Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2013:SEV5LGZYQNNFRAR6WWRF7SS6UV","target":"record","payload":{"canonical_record":{"source":{"id":"1304.3316","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.PR","submitted_at":"2013-04-11T14:23:06Z","cross_cats_sorted":[],"title_canon_sha256":"db368caf0947e89ee098a4b1a7932a88e44e76df784f34c40429c73cc52f3b1f","abstract_canon_sha256":"2d3d84c4c2323c9b96bfab2abd30333b5c51aa9206d479475e2de00e9cf50218"},"schema_version":"1.0"},"canonical_sha256":"912bd59b38835a58823eb5a25fca5ea57a9b3cf1b87b97e8862acc191a4fea17","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T02:48:27.383674Z","signature_b64":"L6/fI4qEiHicklY02e+I3HdXlrIc8vjYorMx4NCg9lfG020E7lvF1eGVwTqsxi7JMsfSL55Kwa/+zbpujD9tAQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"912bd59b38835a58823eb5a25fca5ea57a9b3cf1b87b97e8862acc191a4fea17","last_reissued_at":"2026-05-18T02:48:27.382957Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T02:48:27.382957Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1304.3316","source_version":2,"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-18T02:48:27Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"EK94V4yX7DYv8obGYH9JxodigcDd9bwsjqHofFYufWzb2bAEtQbJoArz8hGlHu5QTSwGIdbq2GlY9xGQy4GnCw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-07-08T07:45:35.538233Z"},"content_sha256":"25a303d4eb7ddb22e8159c67b76adef6f0f0a4170cdabc70ac0a74a8621b6361","schema_version":"1.0","event_id":"sha256:25a303d4eb7ddb22e8159c67b76adef6f0f0a4170cdabc70ac0a74a8621b6361"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2013:SEV5LGZYQNNFRAR6WWRF7SS6UV","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Necessary conditions for the invariant measure of a random walk to be a sum of geometric terms","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"math.PR","authors_text":"Jasper Goseling, Richard J. Boucherie, Yanting Chen","submitted_at":"2013-04-11T14:23:06Z","abstract_excerpt":"We consider the invariant measure of homogeneous random walks in the quarter-plane. In particular, we consider measures that can be expressed as an infinite sum of geometric terms. We present necessary conditions for the invariant measure to be a sum of geometric terms. We demonstrate that, under a mild regularity condition, each geometric term must individually satisfy the balance equations in the interior of the state space. We show that the geometric terms in an invariant measure must be the union of finitely many pairwise-coupled sets of infinite cardinality. We further show that for the i"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1304.3316","kind":"arxiv","version":2},"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-18T02:48:27Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"CHndVaTRlYwHmxa6jB35T0G/fGJmJH0mAw/fHeJ7srLQ7wImWgplwOW7T1XRQF+Daw6EChIxwOPeJbdxnsfhDA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-07-08T07:45:35.538855Z"},"content_sha256":"bfca96e8cbb20af55bae2e3145033af4601faf73026c3895e8365a2d3c65df35","schema_version":"1.0","event_id":"sha256:bfca96e8cbb20af55bae2e3145033af4601faf73026c3895e8365a2d3c65df35"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/SEV5LGZYQNNFRAR6WWRF7SS6UV/bundle.json","state_url":"https://pith.science/pith/SEV5LGZYQNNFRAR6WWRF7SS6UV/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/SEV5LGZYQNNFRAR6WWRF7SS6UV/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-07-08T07:45:35Z","links":{"resolver":"https://pith.science/pith/SEV5LGZYQNNFRAR6WWRF7SS6UV","bundle":"https://pith.science/pith/SEV5LGZYQNNFRAR6WWRF7SS6UV/bundle.json","state":"https://pith.science/pith/SEV5LGZYQNNFRAR6WWRF7SS6UV/state.json","well_known_bundle":"https://pith.science/.well-known/pith/SEV5LGZYQNNFRAR6WWRF7SS6UV/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2013:SEV5LGZYQNNFRAR6WWRF7SS6UV","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":"2d3d84c4c2323c9b96bfab2abd30333b5c51aa9206d479475e2de00e9cf50218","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.PR","submitted_at":"2013-04-11T14:23:06Z","title_canon_sha256":"db368caf0947e89ee098a4b1a7932a88e44e76df784f34c40429c73cc52f3b1f"},"schema_version":"1.0","source":{"id":"1304.3316","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1304.3316","created_at":"2026-05-18T02:48:27Z"},{"alias_kind":"arxiv_version","alias_value":"1304.3316v2","created_at":"2026-05-18T02:48:27Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1304.3316","created_at":"2026-05-18T02:48:27Z"},{"alias_kind":"pith_short_12","alias_value":"SEV5LGZYQNNF","created_at":"2026-05-18T12:27:59Z"},{"alias_kind":"pith_short_16","alias_value":"SEV5LGZYQNNFRAR6","created_at":"2026-05-18T12:27:59Z"},{"alias_kind":"pith_short_8","alias_value":"SEV5LGZY","created_at":"2026-05-18T12:27:59Z"}],"graph_snapshots":[{"event_id":"sha256:bfca96e8cbb20af55bae2e3145033af4601faf73026c3895e8365a2d3c65df35","target":"graph","created_at":"2026-05-18T02:48:27Z","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 consider the invariant measure of homogeneous random walks in the quarter-plane. In particular, we consider measures that can be expressed as an infinite sum of geometric terms. We present necessary conditions for the invariant measure to be a sum of geometric terms. We demonstrate that, under a mild regularity condition, each geometric term must individually satisfy the balance equations in the interior of the state space. We show that the geometric terms in an invariant measure must be the union of finitely many pairwise-coupled sets of infinite cardinality. We further show that for the i","authors_text":"Jasper Goseling, Richard J. Boucherie, Yanting Chen","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.PR","submitted_at":"2013-04-11T14:23:06Z","title":"Necessary conditions for the invariant measure of a random walk to be a sum of geometric terms"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1304.3316","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:25a303d4eb7ddb22e8159c67b76adef6f0f0a4170cdabc70ac0a74a8621b6361","target":"record","created_at":"2026-05-18T02:48:27Z","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":"2d3d84c4c2323c9b96bfab2abd30333b5c51aa9206d479475e2de00e9cf50218","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.PR","submitted_at":"2013-04-11T14:23:06Z","title_canon_sha256":"db368caf0947e89ee098a4b1a7932a88e44e76df784f34c40429c73cc52f3b1f"},"schema_version":"1.0","source":{"id":"1304.3316","kind":"arxiv","version":2}},"canonical_sha256":"912bd59b38835a58823eb5a25fca5ea57a9b3cf1b87b97e8862acc191a4fea17","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"912bd59b38835a58823eb5a25fca5ea57a9b3cf1b87b97e8862acc191a4fea17","first_computed_at":"2026-05-18T02:48:27.382957Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T02:48:27.382957Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"L6/fI4qEiHicklY02e+I3HdXlrIc8vjYorMx4NCg9lfG020E7lvF1eGVwTqsxi7JMsfSL55Kwa/+zbpujD9tAQ==","signature_status":"signed_v1","signed_at":"2026-05-18T02:48:27.383674Z","signed_message":"canonical_sha256_bytes"},"source_id":"1304.3316","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:25a303d4eb7ddb22e8159c67b76adef6f0f0a4170cdabc70ac0a74a8621b6361","sha256:bfca96e8cbb20af55bae2e3145033af4601faf73026c3895e8365a2d3c65df35"],"state_sha256":"1890f0d8b9ab356e965f32447716509be7813bb72e4ea19c9fbc71aefc3c488a"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"Fe07wrtjJ3jlhM582BO+w73QFwmgugKKyu4Zq+3/WhImB7DpR8hZRddFn/prN63Q9b281xhvghCWF70vgZl6CQ==","signed_message":"bundle_sha256_bytes","signed_at":"2026-07-08T07:45:35.542079Z","bundle_sha256":"beb28ff2fabb8e31637f403b0f008783668046e35d9ad7d7c06060005a2b9f9f"}}