{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2019:5QWI23EJXF4PHDOOSPX2XW5A5K","short_pith_number":"pith:5QWI23EJ","canonical_record":{"source":{"id":"1905.04892","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.CO","submitted_at":"2019-05-13T07:33:35Z","cross_cats_sorted":[],"title_canon_sha256":"3f51413b90fa84d71b072689118ffbaf9efd0c4a0814c5e999408c0ca6c33cb9","abstract_canon_sha256":"c10aae1e277cf5333103c20d422f5ad04e9c97a98e184b27de6e1d4bf32b5d47"},"schema_version":"1.0"},"canonical_sha256":"ec2c8d6c89b978f38dce93efabdba0eaa4a82cc2fde86702a8247d6d4c10b85d","source":{"kind":"arxiv","id":"1905.04892","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1905.04892","created_at":"2026-05-17T23:46:23Z"},{"alias_kind":"arxiv_version","alias_value":"1905.04892v1","created_at":"2026-05-17T23:46:23Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1905.04892","created_at":"2026-05-17T23:46:23Z"},{"alias_kind":"pith_short_12","alias_value":"5QWI23EJXF4P","created_at":"2026-05-18T12:33:10Z"},{"alias_kind":"pith_short_16","alias_value":"5QWI23EJXF4PHDOO","created_at":"2026-05-18T12:33:10Z"},{"alias_kind":"pith_short_8","alias_value":"5QWI23EJ","created_at":"2026-05-18T12:33:10Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2019:5QWI23EJXF4PHDOOSPX2XW5A5K","target":"record","payload":{"canonical_record":{"source":{"id":"1905.04892","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.CO","submitted_at":"2019-05-13T07:33:35Z","cross_cats_sorted":[],"title_canon_sha256":"3f51413b90fa84d71b072689118ffbaf9efd0c4a0814c5e999408c0ca6c33cb9","abstract_canon_sha256":"c10aae1e277cf5333103c20d422f5ad04e9c97a98e184b27de6e1d4bf32b5d47"},"schema_version":"1.0"},"canonical_sha256":"ec2c8d6c89b978f38dce93efabdba0eaa4a82cc2fde86702a8247d6d4c10b85d","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-17T23:46:23.171847Z","signature_b64":"dH35/cnVzozNNQiEWfxMKEpxZASWk7IMysBEmpXw2TPJBW0iLT5JlnErrUw49I9l2YI53H+NIrgwmcckbPqsAA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"ec2c8d6c89b978f38dce93efabdba0eaa4a82cc2fde86702a8247d6d4c10b85d","last_reissued_at":"2026-05-17T23:46:23.171240Z","signature_status":"signed_v1","first_computed_at":"2026-05-17T23:46:23.171240Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1905.04892","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-17T23:46:23Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"cZd07BoygZkVp4+kNKOqy8od0A+dW+xnPwej8vuauxaSOpRFNPL/0rohIq5cuJ/zZvkQI3JRQERMM+MibFB7BA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-24T03:09:49.565561Z"},"content_sha256":"8cdf8897db599e846141479a67f7343c38b1c879005cbc7a6403d266b36a2dac","schema_version":"1.0","event_id":"sha256:8cdf8897db599e846141479a67f7343c38b1c879005cbc7a6403d266b36a2dac"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2019:5QWI23EJXF4PHDOOSPX2XW5A5K","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"A Hales--Jewett type property of finite solvable groups","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"math.CO","authors_text":"Athens, Department of Mathematics, Faculty of Applied Sciences, Greece), Miltiadis Karamanlis (1) ((1) National Technical University of Athens, Vassilis Kanellopoulos (1)","submitted_at":"2019-05-13T07:33:35Z","abstract_excerpt":"A conjecture of Leader, Russell and Walters in Euclidean Ramsey theory says that a finite set is Ramsey if and only if it is congruent to a subset of a set whose symmetry group acts transitively. As they have shown the ``if\" direction of their conjecture follows if all finite groups have a Hales--Jewett type property. In this paper, we show that this property is satisfied in the case of finite solvable groups. Our result can be used to recover the work of K\\v{r}\\'i\\v{z} in Euclidean Ramsey theory."},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1905.04892","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-17T23:46:23Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"dCyH58EGmYZUtHDyjGkCqguNZNDPiQoVyuX+T63kFPQ7n+Au13syzaFUV9PtwEZlmZvdS4ILDQ7pM59QSFOLCw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-24T03:09:49.565938Z"},"content_sha256":"c71ac0d93b198960ba0a03124c217150f0017c73772e2189bea53d9981849356","schema_version":"1.0","event_id":"sha256:c71ac0d93b198960ba0a03124c217150f0017c73772e2189bea53d9981849356"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/5QWI23EJXF4PHDOOSPX2XW5A5K/bundle.json","state_url":"https://pith.science/pith/5QWI23EJXF4PHDOOSPX2XW5A5K/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/5QWI23EJXF4PHDOOSPX2XW5A5K/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-24T03:09:49Z","links":{"resolver":"https://pith.science/pith/5QWI23EJXF4PHDOOSPX2XW5A5K","bundle":"https://pith.science/pith/5QWI23EJXF4PHDOOSPX2XW5A5K/bundle.json","state":"https://pith.science/pith/5QWI23EJXF4PHDOOSPX2XW5A5K/state.json","well_known_bundle":"https://pith.science/.well-known/pith/5QWI23EJXF4PHDOOSPX2XW5A5K/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2019:5QWI23EJXF4PHDOOSPX2XW5A5K","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":"c10aae1e277cf5333103c20d422f5ad04e9c97a98e184b27de6e1d4bf32b5d47","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.CO","submitted_at":"2019-05-13T07:33:35Z","title_canon_sha256":"3f51413b90fa84d71b072689118ffbaf9efd0c4a0814c5e999408c0ca6c33cb9"},"schema_version":"1.0","source":{"id":"1905.04892","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1905.04892","created_at":"2026-05-17T23:46:23Z"},{"alias_kind":"arxiv_version","alias_value":"1905.04892v1","created_at":"2026-05-17T23:46:23Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1905.04892","created_at":"2026-05-17T23:46:23Z"},{"alias_kind":"pith_short_12","alias_value":"5QWI23EJXF4P","created_at":"2026-05-18T12:33:10Z"},{"alias_kind":"pith_short_16","alias_value":"5QWI23EJXF4PHDOO","created_at":"2026-05-18T12:33:10Z"},{"alias_kind":"pith_short_8","alias_value":"5QWI23EJ","created_at":"2026-05-18T12:33:10Z"}],"graph_snapshots":[{"event_id":"sha256:c71ac0d93b198960ba0a03124c217150f0017c73772e2189bea53d9981849356","target":"graph","created_at":"2026-05-17T23:46:23Z","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 conjecture of Leader, Russell and Walters in Euclidean Ramsey theory says that a finite set is Ramsey if and only if it is congruent to a subset of a set whose symmetry group acts transitively. As they have shown the ``if\" direction of their conjecture follows if all finite groups have a Hales--Jewett type property. In this paper, we show that this property is satisfied in the case of finite solvable groups. Our result can be used to recover the work of K\\v{r}\\'i\\v{z} in Euclidean Ramsey theory.","authors_text":"Athens, Department of Mathematics, Faculty of Applied Sciences, Greece), Miltiadis Karamanlis (1) ((1) National Technical University of Athens, Vassilis Kanellopoulos (1)","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.CO","submitted_at":"2019-05-13T07:33:35Z","title":"A Hales--Jewett type property of finite solvable groups"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1905.04892","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:8cdf8897db599e846141479a67f7343c38b1c879005cbc7a6403d266b36a2dac","target":"record","created_at":"2026-05-17T23:46:23Z","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":"c10aae1e277cf5333103c20d422f5ad04e9c97a98e184b27de6e1d4bf32b5d47","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.CO","submitted_at":"2019-05-13T07:33:35Z","title_canon_sha256":"3f51413b90fa84d71b072689118ffbaf9efd0c4a0814c5e999408c0ca6c33cb9"},"schema_version":"1.0","source":{"id":"1905.04892","kind":"arxiv","version":1}},"canonical_sha256":"ec2c8d6c89b978f38dce93efabdba0eaa4a82cc2fde86702a8247d6d4c10b85d","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"ec2c8d6c89b978f38dce93efabdba0eaa4a82cc2fde86702a8247d6d4c10b85d","first_computed_at":"2026-05-17T23:46:23.171240Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-17T23:46:23.171240Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"dH35/cnVzozNNQiEWfxMKEpxZASWk7IMysBEmpXw2TPJBW0iLT5JlnErrUw49I9l2YI53H+NIrgwmcckbPqsAA==","signature_status":"signed_v1","signed_at":"2026-05-17T23:46:23.171847Z","signed_message":"canonical_sha256_bytes"},"source_id":"1905.04892","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:8cdf8897db599e846141479a67f7343c38b1c879005cbc7a6403d266b36a2dac","sha256:c71ac0d93b198960ba0a03124c217150f0017c73772e2189bea53d9981849356"],"state_sha256":"0b7a736ddbd2b7bacd7d07a704eca2390fde3700e76e0903f634709099604222"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"ugbpt49kqbLsf9yfX7Ski7Ltoq7n00IHN4pxxOzLcWebNchUdx78nugaRJmjLNTDwAaY27z3Qa0u3Yv+zGU6AQ==","signed_message":"bundle_sha256_bytes","signed_at":"2026-05-24T03:09:49.568990Z","bundle_sha256":"9c3c6b0a35f22ef93a078a6a5b905906798fa5d6b2a013410b83f80fe714f641"}}