{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2013:S73U22MRS3OUG7JMNKQADTKTUX","short_pith_number":"pith:S73U22MR","canonical_record":{"source":{"id":"1310.4852","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.GR","submitted_at":"2013-10-17T20:52:14Z","cross_cats_sorted":["cs.FL"],"title_canon_sha256":"0d977a44aa81efb763c8804318fa269d4002830fbd153ce10eca1fc20f69f5e4","abstract_canon_sha256":"95e8f5b05730826ae03eadca06b358a67c6498bb028c976c4803fe0d1d814fcb"},"schema_version":"1.0"},"canonical_sha256":"97f74d699196dd437d2c6aa001cd53a5e749cbf8412665b90d8154f2b5ffc666","source":{"kind":"arxiv","id":"1310.4852","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1310.4852","created_at":"2026-05-18T01:30:49Z"},{"alias_kind":"arxiv_version","alias_value":"1310.4852v1","created_at":"2026-05-18T01:30:49Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1310.4852","created_at":"2026-05-18T01:30:49Z"},{"alias_kind":"pith_short_12","alias_value":"S73U22MRS3OU","created_at":"2026-05-18T12:27:59Z"},{"alias_kind":"pith_short_16","alias_value":"S73U22MRS3OUG7JM","created_at":"2026-05-18T12:27:59Z"},{"alias_kind":"pith_short_8","alias_value":"S73U22MR","created_at":"2026-05-18T12:27:59Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2013:S73U22MRS3OUG7JMNKQADTKTUX","target":"record","payload":{"canonical_record":{"source":{"id":"1310.4852","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.GR","submitted_at":"2013-10-17T20:52:14Z","cross_cats_sorted":["cs.FL"],"title_canon_sha256":"0d977a44aa81efb763c8804318fa269d4002830fbd153ce10eca1fc20f69f5e4","abstract_canon_sha256":"95e8f5b05730826ae03eadca06b358a67c6498bb028c976c4803fe0d1d814fcb"},"schema_version":"1.0"},"canonical_sha256":"97f74d699196dd437d2c6aa001cd53a5e749cbf8412665b90d8154f2b5ffc666","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T01:30:49.424756Z","signature_b64":"sJTsfeXCS2k1dFGjXRxGG/DemKeui2vbFSSNZX5aySYKOFjD6fYVt+Sn1v7YY7Xp5l0RJ00nCYJbZ8LgAtQPDQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"97f74d699196dd437d2c6aa001cd53a5e749cbf8412665b90d8154f2b5ffc666","last_reissued_at":"2026-05-18T01:30:49.424098Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T01:30:49.424098Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1310.4852","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:30:49Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"pZHdUOktc00+NBMgj+eMrdqGf1ZAM/4DtKQLZfPFhzP15J2vM4FFA4PtJJcIK03kEcn2E1SY4ZlusPu5PfY9CA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-07T11:00:39.731875Z"},"content_sha256":"10515a62bfa96d4f350a6102124c7c3fd48a30dfcf2d46a26a4540369ba8bbc8","schema_version":"1.0","event_id":"sha256:10515a62bfa96d4f350a6102124c7c3fd48a30dfcf2d46a26a4540369ba8bbc8"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2013:S73U22MRS3OUG7JMNKQADTKTUX","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Automaton semigroup constructions","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.FL"],"primary_cat":"math.GR","authors_text":"Alan J. Cain, Tara Brough","submitted_at":"2013-10-17T20:52:14Z","abstract_excerpt":"The aim of this paper is to investigate whether the class of automaton semigroups is closed under certain semigroup constructions. We prove that the free product of two automaton semigroups that contain left identities is again an automaton semigroup. We also show that the class of automaton semigroups is closed under the combined operation of 'free product followed by adjoining an identity'. We present an example of a free product of finite semigroups that we conjecture is not an automaton semigroup. Turning to wreath products, we consider two slight generalizations of the concept of an autom"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1310.4852","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:30:49Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"fC2aMSTm9c+lwJtH96LbUc4jJ0I79dv9B0LDcnQ9f2kvZj+VSBNJAL0OS/bfpxrzrjQZzf2EKr/TcMQxnVtBAA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-07T11:00:39.732215Z"},"content_sha256":"889718c3aeba36b0821d6bb72d429fa67716b27e557af30a44adf75453410608","schema_version":"1.0","event_id":"sha256:889718c3aeba36b0821d6bb72d429fa67716b27e557af30a44adf75453410608"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/S73U22MRS3OUG7JMNKQADTKTUX/bundle.json","state_url":"https://pith.science/pith/S73U22MRS3OUG7JMNKQADTKTUX/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/S73U22MRS3OUG7JMNKQADTKTUX/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-07T11:00:39Z","links":{"resolver":"https://pith.science/pith/S73U22MRS3OUG7JMNKQADTKTUX","bundle":"https://pith.science/pith/S73U22MRS3OUG7JMNKQADTKTUX/bundle.json","state":"https://pith.science/pith/S73U22MRS3OUG7JMNKQADTKTUX/state.json","well_known_bundle":"https://pith.science/.well-known/pith/S73U22MRS3OUG7JMNKQADTKTUX/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2013:S73U22MRS3OUG7JMNKQADTKTUX","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":"95e8f5b05730826ae03eadca06b358a67c6498bb028c976c4803fe0d1d814fcb","cross_cats_sorted":["cs.FL"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.GR","submitted_at":"2013-10-17T20:52:14Z","title_canon_sha256":"0d977a44aa81efb763c8804318fa269d4002830fbd153ce10eca1fc20f69f5e4"},"schema_version":"1.0","source":{"id":"1310.4852","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1310.4852","created_at":"2026-05-18T01:30:49Z"},{"alias_kind":"arxiv_version","alias_value":"1310.4852v1","created_at":"2026-05-18T01:30:49Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1310.4852","created_at":"2026-05-18T01:30:49Z"},{"alias_kind":"pith_short_12","alias_value":"S73U22MRS3OU","created_at":"2026-05-18T12:27:59Z"},{"alias_kind":"pith_short_16","alias_value":"S73U22MRS3OUG7JM","created_at":"2026-05-18T12:27:59Z"},{"alias_kind":"pith_short_8","alias_value":"S73U22MR","created_at":"2026-05-18T12:27:59Z"}],"graph_snapshots":[{"event_id":"sha256:889718c3aeba36b0821d6bb72d429fa67716b27e557af30a44adf75453410608","target":"graph","created_at":"2026-05-18T01:30:49Z","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":"The aim of this paper is to investigate whether the class of automaton semigroups is closed under certain semigroup constructions. We prove that the free product of two automaton semigroups that contain left identities is again an automaton semigroup. We also show that the class of automaton semigroups is closed under the combined operation of 'free product followed by adjoining an identity'. We present an example of a free product of finite semigroups that we conjecture is not an automaton semigroup. Turning to wreath products, we consider two slight generalizations of the concept of an autom","authors_text":"Alan J. Cain, Tara Brough","cross_cats":["cs.FL"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.GR","submitted_at":"2013-10-17T20:52:14Z","title":"Automaton semigroup constructions"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1310.4852","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:10515a62bfa96d4f350a6102124c7c3fd48a30dfcf2d46a26a4540369ba8bbc8","target":"record","created_at":"2026-05-18T01:30:49Z","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":"95e8f5b05730826ae03eadca06b358a67c6498bb028c976c4803fe0d1d814fcb","cross_cats_sorted":["cs.FL"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.GR","submitted_at":"2013-10-17T20:52:14Z","title_canon_sha256":"0d977a44aa81efb763c8804318fa269d4002830fbd153ce10eca1fc20f69f5e4"},"schema_version":"1.0","source":{"id":"1310.4852","kind":"arxiv","version":1}},"canonical_sha256":"97f74d699196dd437d2c6aa001cd53a5e749cbf8412665b90d8154f2b5ffc666","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"97f74d699196dd437d2c6aa001cd53a5e749cbf8412665b90d8154f2b5ffc666","first_computed_at":"2026-05-18T01:30:49.424098Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T01:30:49.424098Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"sJTsfeXCS2k1dFGjXRxGG/DemKeui2vbFSSNZX5aySYKOFjD6fYVt+Sn1v7YY7Xp5l0RJ00nCYJbZ8LgAtQPDQ==","signature_status":"signed_v1","signed_at":"2026-05-18T01:30:49.424756Z","signed_message":"canonical_sha256_bytes"},"source_id":"1310.4852","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:10515a62bfa96d4f350a6102124c7c3fd48a30dfcf2d46a26a4540369ba8bbc8","sha256:889718c3aeba36b0821d6bb72d429fa67716b27e557af30a44adf75453410608"],"state_sha256":"0716c25b5dff95df30e80b005fc5890d40157113021da6edc18943e50516e168"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"yo9Cxas9ThDK/C5kBllv4qfYW0ApNiESsGdC4Cf+oDR9mVsS74Q4fq8oZNGCBtTqRT+wOHZuizkr8H+zvo+vBw==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-07T11:00:39.734371Z","bundle_sha256":"8addf70eff18305a64632b6229a517617b5a8b12cc8e696206ad0b9d135afccd"}}