{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2014:HTZRXI46SEXFPMG5RGSOJO4NCV","short_pith_number":"pith:HTZRXI46","canonical_record":{"source":{"id":"1412.2949","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.GN","submitted_at":"2014-12-09T13:12:18Z","cross_cats_sorted":[],"title_canon_sha256":"bbde67121768117665572bdc16eda16e180cca9f13debddd437b84da0a4121a2","abstract_canon_sha256":"aa957012026cb9423c48b2c058c2309169b322a6e224106d7934b6352476b1bc"},"schema_version":"1.0"},"canonical_sha256":"3cf31ba39e912e57b0dd89a4e4bb8d15754d3f8114359d008df9f583092166d9","source":{"kind":"arxiv","id":"1412.2949","version":2},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1412.2949","created_at":"2026-05-18T02:23:26Z"},{"alias_kind":"arxiv_version","alias_value":"1412.2949v2","created_at":"2026-05-18T02:23:26Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1412.2949","created_at":"2026-05-18T02:23:26Z"},{"alias_kind":"pith_short_12","alias_value":"HTZRXI46SEXF","created_at":"2026-05-18T12:28:30Z"},{"alias_kind":"pith_short_16","alias_value":"HTZRXI46SEXFPMG5","created_at":"2026-05-18T12:28:30Z"},{"alias_kind":"pith_short_8","alias_value":"HTZRXI46","created_at":"2026-05-18T12:28:30Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2014:HTZRXI46SEXFPMG5RGSOJO4NCV","target":"record","payload":{"canonical_record":{"source":{"id":"1412.2949","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.GN","submitted_at":"2014-12-09T13:12:18Z","cross_cats_sorted":[],"title_canon_sha256":"bbde67121768117665572bdc16eda16e180cca9f13debddd437b84da0a4121a2","abstract_canon_sha256":"aa957012026cb9423c48b2c058c2309169b322a6e224106d7934b6352476b1bc"},"schema_version":"1.0"},"canonical_sha256":"3cf31ba39e912e57b0dd89a4e4bb8d15754d3f8114359d008df9f583092166d9","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T02:23:26.291719Z","signature_b64":"QkZJPcsgd6jX7JubJ9NMF2Y+AKqZBCE2YKQYFRMSYqgDUXX2FshakhWxE0gCr5qVj3jDCMSD8IpmGFMLPxFbCQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"3cf31ba39e912e57b0dd89a4e4bb8d15754d3f8114359d008df9f583092166d9","last_reissued_at":"2026-05-18T02:23:26.291030Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T02:23:26.291030Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1412.2949","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:23:26Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"Q2/hgT2zuD6W3+HHIybLKj15oQSXAx7J21syWFkTS6PgtYHYMr7VTnrtvoLXVSL2bVDJFVBHfyBcSvHjWfFuDw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-01T10:00:21.863433Z"},"content_sha256":"a5c36cff13cb2ab84cccc9bcb49a45537ee64cf92df1af23f624e4496838b42a","schema_version":"1.0","event_id":"sha256:a5c36cff13cb2ab84cccc9bcb49a45537ee64cf92df1af23f624e4496838b42a"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2014:HTZRXI46SEXFPMG5RGSOJO4NCV","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"On the Borel Complexity of Characterized Subgroups","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"math.GN","authors_text":"Daniele Impieri, Dikran Dikranjan","submitted_at":"2014-12-09T13:12:18Z","abstract_excerpt":"In a compact abelian group $X$, a characterized subgroup is a subgroup $H$ such that there exists a sequence of characters $\\vs=(v_n)$ of $X$ such that $H=\\{x\\in X:v_n(x)\\to 0 \\text{ in } \\T\\}$. Gabriyelyan proved for $X=\\T$, that $\\{x\\in\\T:n!x\\to 0 \\text{ in }\\T\\}$ is not an $F_\\sigma$-set. In this paper, we give a complete description of the $F_\\sigma$-subgroups of $\\T$ characterized by sequences of integers $\\vs=(v_n)$ such that $v_n|v_{n+1}$ for all $n\\in\\N$ (we show that these are exactly the countable characterized subgroups). Moreover in the general setting of compact metrizable abelian"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1412.2949","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:23:26Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"LlwKMkjPg4g7ofideKsiKKoARnhS+guUOS+mRqu+vk3dfH/1hAApQKwUmp3276XPYvEz73ITUmU3kg7zcU53CA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-01T10:00:21.863772Z"},"content_sha256":"c8fae9a9bbcdc0fc55bcca04cf14b35d03023de820fa7004e25ab8050a56b890","schema_version":"1.0","event_id":"sha256:c8fae9a9bbcdc0fc55bcca04cf14b35d03023de820fa7004e25ab8050a56b890"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/HTZRXI46SEXFPMG5RGSOJO4NCV/bundle.json","state_url":"https://pith.science/pith/HTZRXI46SEXFPMG5RGSOJO4NCV/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/HTZRXI46SEXFPMG5RGSOJO4NCV/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-01T10:00:21Z","links":{"resolver":"https://pith.science/pith/HTZRXI46SEXFPMG5RGSOJO4NCV","bundle":"https://pith.science/pith/HTZRXI46SEXFPMG5RGSOJO4NCV/bundle.json","state":"https://pith.science/pith/HTZRXI46SEXFPMG5RGSOJO4NCV/state.json","well_known_bundle":"https://pith.science/.well-known/pith/HTZRXI46SEXFPMG5RGSOJO4NCV/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2014:HTZRXI46SEXFPMG5RGSOJO4NCV","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":"aa957012026cb9423c48b2c058c2309169b322a6e224106d7934b6352476b1bc","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.GN","submitted_at":"2014-12-09T13:12:18Z","title_canon_sha256":"bbde67121768117665572bdc16eda16e180cca9f13debddd437b84da0a4121a2"},"schema_version":"1.0","source":{"id":"1412.2949","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1412.2949","created_at":"2026-05-18T02:23:26Z"},{"alias_kind":"arxiv_version","alias_value":"1412.2949v2","created_at":"2026-05-18T02:23:26Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1412.2949","created_at":"2026-05-18T02:23:26Z"},{"alias_kind":"pith_short_12","alias_value":"HTZRXI46SEXF","created_at":"2026-05-18T12:28:30Z"},{"alias_kind":"pith_short_16","alias_value":"HTZRXI46SEXFPMG5","created_at":"2026-05-18T12:28:30Z"},{"alias_kind":"pith_short_8","alias_value":"HTZRXI46","created_at":"2026-05-18T12:28:30Z"}],"graph_snapshots":[{"event_id":"sha256:c8fae9a9bbcdc0fc55bcca04cf14b35d03023de820fa7004e25ab8050a56b890","target":"graph","created_at":"2026-05-18T02:23:26Z","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 a compact abelian group $X$, a characterized subgroup is a subgroup $H$ such that there exists a sequence of characters $\\vs=(v_n)$ of $X$ such that $H=\\{x\\in X:v_n(x)\\to 0 \\text{ in } \\T\\}$. Gabriyelyan proved for $X=\\T$, that $\\{x\\in\\T:n!x\\to 0 \\text{ in }\\T\\}$ is not an $F_\\sigma$-set. In this paper, we give a complete description of the $F_\\sigma$-subgroups of $\\T$ characterized by sequences of integers $\\vs=(v_n)$ such that $v_n|v_{n+1}$ for all $n\\in\\N$ (we show that these are exactly the countable characterized subgroups). Moreover in the general setting of compact metrizable abelian","authors_text":"Daniele Impieri, Dikran Dikranjan","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.GN","submitted_at":"2014-12-09T13:12:18Z","title":"On the Borel Complexity of Characterized Subgroups"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1412.2949","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:a5c36cff13cb2ab84cccc9bcb49a45537ee64cf92df1af23f624e4496838b42a","target":"record","created_at":"2026-05-18T02:23:26Z","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":"aa957012026cb9423c48b2c058c2309169b322a6e224106d7934b6352476b1bc","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.GN","submitted_at":"2014-12-09T13:12:18Z","title_canon_sha256":"bbde67121768117665572bdc16eda16e180cca9f13debddd437b84da0a4121a2"},"schema_version":"1.0","source":{"id":"1412.2949","kind":"arxiv","version":2}},"canonical_sha256":"3cf31ba39e912e57b0dd89a4e4bb8d15754d3f8114359d008df9f583092166d9","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"3cf31ba39e912e57b0dd89a4e4bb8d15754d3f8114359d008df9f583092166d9","first_computed_at":"2026-05-18T02:23:26.291030Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T02:23:26.291030Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"QkZJPcsgd6jX7JubJ9NMF2Y+AKqZBCE2YKQYFRMSYqgDUXX2FshakhWxE0gCr5qVj3jDCMSD8IpmGFMLPxFbCQ==","signature_status":"signed_v1","signed_at":"2026-05-18T02:23:26.291719Z","signed_message":"canonical_sha256_bytes"},"source_id":"1412.2949","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:a5c36cff13cb2ab84cccc9bcb49a45537ee64cf92df1af23f624e4496838b42a","sha256:c8fae9a9bbcdc0fc55bcca04cf14b35d03023de820fa7004e25ab8050a56b890"],"state_sha256":"0749279438c7fa9a38afdd66c5ab8383dab345d93b7f223b997ea56e20a84288"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"YE/G9TJZbyDS4gqAzBHJeWjKGKclIxXTLLpiZBa3zNa9DjqoH/tHJaTXt9aKIvBsFpJ2W+yRHUZLJcc/jOR0Dg==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-01T10:00:21.865563Z","bundle_sha256":"cfffa22dbfe0a321e8c83a0b00ebdd34c25db0447cb9ec7591eb7b9c08220f56"}}