{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2022:M7AY234Z7KWJWCOP3XRISQJHXZ","short_pith_number":"pith:M7AY234Z","canonical_record":{"source":{"id":"2204.07849","kind":"arxiv","version":2},"metadata":{"license":"http://creativecommons.org/licenses/by-nc-nd/4.0/","primary_cat":"math.AC","submitted_at":"2022-04-16T17:57:54Z","cross_cats_sorted":["cs.FL"],"title_canon_sha256":"929fd9d1cd69191efbbe08f59b779ce95512a8a5a8bbe7038150775147988654","abstract_canon_sha256":"f145a798573596b2991b5e100b27e10a3f75a31eef799b43ae5539633d10b915"},"schema_version":"1.0"},"canonical_sha256":"67c18d6f99faac9b09cfdde2894127be42e3687fb8f907f16415eb102f1383b9","source":{"kind":"arxiv","id":"2204.07849","version":2},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2204.07849","created_at":"2026-07-05T04:18:18Z"},{"alias_kind":"arxiv_version","alias_value":"2204.07849v2","created_at":"2026-07-05T04:18:18Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2204.07849","created_at":"2026-07-05T04:18:18Z"},{"alias_kind":"pith_short_12","alias_value":"M7AY234Z7KWJ","created_at":"2026-07-05T04:18:18Z"},{"alias_kind":"pith_short_16","alias_value":"M7AY234Z7KWJWCOP","created_at":"2026-07-05T04:18:18Z"},{"alias_kind":"pith_short_8","alias_value":"M7AY234Z","created_at":"2026-07-05T04:18:18Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2022:M7AY234Z7KWJWCOP3XRISQJHXZ","target":"record","payload":{"canonical_record":{"source":{"id":"2204.07849","kind":"arxiv","version":2},"metadata":{"license":"http://creativecommons.org/licenses/by-nc-nd/4.0/","primary_cat":"math.AC","submitted_at":"2022-04-16T17:57:54Z","cross_cats_sorted":["cs.FL"],"title_canon_sha256":"929fd9d1cd69191efbbe08f59b779ce95512a8a5a8bbe7038150775147988654","abstract_canon_sha256":"f145a798573596b2991b5e100b27e10a3f75a31eef799b43ae5539633d10b915"},"schema_version":"1.0"},"canonical_sha256":"67c18d6f99faac9b09cfdde2894127be42e3687fb8f907f16415eb102f1383b9","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T04:18:18.839770Z","signature_b64":"hbq5o+P4CqGpL3zF/x8y6TKPOGY11gLLYXGexILaf69JfGHNoJxsFrk1V1MTTZFqw1K49EsLflCNUtcwkkHOCw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"67c18d6f99faac9b09cfdde2894127be42e3687fb8f907f16415eb102f1383b9","last_reissued_at":"2026-07-05T04:18:18.839385Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T04:18:18.839385Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2204.07849","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-07-05T04:18:18Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"sT86gaZyXBf6JXWXbDZvqfJlNceKy6X+pkBL46JBeEhPnFHNFT3dzW9l5MsO+1dWPp3x1tSyhNRkMED9wgdpDQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-07-18T18:01:22.328475Z"},"content_sha256":"85534dad9adbf96747c3f0c8157b644b2b903706303f5896cdea9941be13347c","schema_version":"1.0","event_id":"sha256:85534dad9adbf96747c3f0c8157b644b2b903706303f5896cdea9941be13347c"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2022:M7AY234Z7KWJWCOP3XRISQJHXZ","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Shift Invariant Algebras, Segre Products and Regular Languages","license":"http://creativecommons.org/licenses/by-nc-nd/4.0/","headline":"","cross_cats":["cs.FL"],"primary_cat":"math.AC","authors_text":"Aida Maraj, Uwe Nagel","submitted_at":"2022-04-16T17:57:54Z","abstract_excerpt":"Motivated by results on the rationality of equivariant Hilbert series of some hierarchical models in algebraic statistics we introduce the Segre product of formal languages and apply it to establish rationality of equivariant Hilbert series in new cases. To this end we show that the Segre product of two regular languages is again regular. We also prove that every filtration of algebras given as a tensor product of families of algebras with rational equivariant Hilbert series has a rational equivariant Hilbert series. The term equivariant is used broadly to include the action of the monoid of n"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2204.07849","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":""},"integrity":{"clean":true,"summary":{"advisory":0,"critical":0,"by_detector":{},"informational":0},"endpoint":"/pith/2204.07849/integrity.json","findings":[],"available":true,"detectors_run":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938"},"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-07-05T04:18:18Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"skwfXh7Wvggelk4VhfeCrhpE05Oq/AH7Dven7CKqyAM8zEkwM25UekxRm5LheA4oy2eozKE5hqp/BU2QBTowAg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-07-18T18:01:22.328842Z"},"content_sha256":"6a4714ce1d2995dba74f3c73ab566bc6daa4def9447564351d0d67d027991d50","schema_version":"1.0","event_id":"sha256:6a4714ce1d2995dba74f3c73ab566bc6daa4def9447564351d0d67d027991d50"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/M7AY234Z7KWJWCOP3XRISQJHXZ/bundle.json","state_url":"https://pith.science/pith/M7AY234Z7KWJWCOP3XRISQJHXZ/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/M7AY234Z7KWJWCOP3XRISQJHXZ/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-18T18:01:22Z","links":{"resolver":"https://pith.science/pith/M7AY234Z7KWJWCOP3XRISQJHXZ","bundle":"https://pith.science/pith/M7AY234Z7KWJWCOP3XRISQJHXZ/bundle.json","state":"https://pith.science/pith/M7AY234Z7KWJWCOP3XRISQJHXZ/state.json","well_known_bundle":"https://pith.science/.well-known/pith/M7AY234Z7KWJWCOP3XRISQJHXZ/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2022:M7AY234Z7KWJWCOP3XRISQJHXZ","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":"f145a798573596b2991b5e100b27e10a3f75a31eef799b43ae5539633d10b915","cross_cats_sorted":["cs.FL"],"license":"http://creativecommons.org/licenses/by-nc-nd/4.0/","primary_cat":"math.AC","submitted_at":"2022-04-16T17:57:54Z","title_canon_sha256":"929fd9d1cd69191efbbe08f59b779ce95512a8a5a8bbe7038150775147988654"},"schema_version":"1.0","source":{"id":"2204.07849","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2204.07849","created_at":"2026-07-05T04:18:18Z"},{"alias_kind":"arxiv_version","alias_value":"2204.07849v2","created_at":"2026-07-05T04:18:18Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2204.07849","created_at":"2026-07-05T04:18:18Z"},{"alias_kind":"pith_short_12","alias_value":"M7AY234Z7KWJ","created_at":"2026-07-05T04:18:18Z"},{"alias_kind":"pith_short_16","alias_value":"M7AY234Z7KWJWCOP","created_at":"2026-07-05T04:18:18Z"},{"alias_kind":"pith_short_8","alias_value":"M7AY234Z","created_at":"2026-07-05T04:18:18Z"}],"graph_snapshots":[{"event_id":"sha256:6a4714ce1d2995dba74f3c73ab566bc6daa4def9447564351d0d67d027991d50","target":"graph","created_at":"2026-07-05T04:18:18Z","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"},"integrity":{"available":true,"clean":true,"detectors_run":[],"endpoint":"/pith/2204.07849/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Motivated by results on the rationality of equivariant Hilbert series of some hierarchical models in algebraic statistics we introduce the Segre product of formal languages and apply it to establish rationality of equivariant Hilbert series in new cases. To this end we show that the Segre product of two regular languages is again regular. We also prove that every filtration of algebras given as a tensor product of families of algebras with rational equivariant Hilbert series has a rational equivariant Hilbert series. The term equivariant is used broadly to include the action of the monoid of n","authors_text":"Aida Maraj, Uwe Nagel","cross_cats":["cs.FL"],"headline":"","license":"http://creativecommons.org/licenses/by-nc-nd/4.0/","primary_cat":"math.AC","submitted_at":"2022-04-16T17:57:54Z","title":"Shift Invariant Algebras, Segre Products and Regular Languages"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2204.07849","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:85534dad9adbf96747c3f0c8157b644b2b903706303f5896cdea9941be13347c","target":"record","created_at":"2026-07-05T04:18:18Z","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":"f145a798573596b2991b5e100b27e10a3f75a31eef799b43ae5539633d10b915","cross_cats_sorted":["cs.FL"],"license":"http://creativecommons.org/licenses/by-nc-nd/4.0/","primary_cat":"math.AC","submitted_at":"2022-04-16T17:57:54Z","title_canon_sha256":"929fd9d1cd69191efbbe08f59b779ce95512a8a5a8bbe7038150775147988654"},"schema_version":"1.0","source":{"id":"2204.07849","kind":"arxiv","version":2}},"canonical_sha256":"67c18d6f99faac9b09cfdde2894127be42e3687fb8f907f16415eb102f1383b9","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"67c18d6f99faac9b09cfdde2894127be42e3687fb8f907f16415eb102f1383b9","first_computed_at":"2026-07-05T04:18:18.839385Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T04:18:18.839385Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"hbq5o+P4CqGpL3zF/x8y6TKPOGY11gLLYXGexILaf69JfGHNoJxsFrk1V1MTTZFqw1K49EsLflCNUtcwkkHOCw==","signature_status":"signed_v1","signed_at":"2026-07-05T04:18:18.839770Z","signed_message":"canonical_sha256_bytes"},"source_id":"2204.07849","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:85534dad9adbf96747c3f0c8157b644b2b903706303f5896cdea9941be13347c","sha256:6a4714ce1d2995dba74f3c73ab566bc6daa4def9447564351d0d67d027991d50"],"state_sha256":"f40c4347ccf9480db5f36b98b499b6e445ee7d1af752f9f1b172e30cb8570e48"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"T7HPX1JRK+oKpz49Qmi3YghsM208WEIE6zpzMPfuAyOC6Aqo8zKKWqzBJH2UiQ9en5yWozcNPtaUoKKDej/EAg==","signed_message":"bundle_sha256_bytes","signed_at":"2026-07-18T18:01:22.330957Z","bundle_sha256":"f0e09f41da46c800f0b079537883c1b20fb8bfc66a91d61665e2c6452faa7012"}}