{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2023:DRYFLKSWN5CL6ATS3B3ONWBHGJ","short_pith_number":"pith:DRYFLKSW","canonical_record":{"source":{"id":"2309.10203","kind":"arxiv","version":3},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.CO","submitted_at":"2023-09-18T23:06:47Z","cross_cats_sorted":[],"title_canon_sha256":"8939db560139b27acdf78664f007c1c3db3e98129ffe77ba7692493d457daf17","abstract_canon_sha256":"92f25e7b7c138a6f266c53e8d0eb92b97ee4a19e91914e6591b23cf85f8e21bc"},"schema_version":"1.0"},"canonical_sha256":"1c7055aa566f44bf0272d876e6d82732796157653aec71e43c300765a3626e09","source":{"kind":"arxiv","id":"2309.10203","version":3},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2309.10203","created_at":"2026-07-05T10:33:30Z"},{"alias_kind":"arxiv_version","alias_value":"2309.10203v3","created_at":"2026-07-05T10:33:30Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2309.10203","created_at":"2026-07-05T10:33:30Z"},{"alias_kind":"pith_short_12","alias_value":"DRYFLKSWN5CL","created_at":"2026-07-05T10:33:30Z"},{"alias_kind":"pith_short_16","alias_value":"DRYFLKSWN5CL6ATS","created_at":"2026-07-05T10:33:30Z"},{"alias_kind":"pith_short_8","alias_value":"DRYFLKSW","created_at":"2026-07-05T10:33:30Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2023:DRYFLKSWN5CL6ATS3B3ONWBHGJ","target":"record","payload":{"canonical_record":{"source":{"id":"2309.10203","kind":"arxiv","version":3},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.CO","submitted_at":"2023-09-18T23:06:47Z","cross_cats_sorted":[],"title_canon_sha256":"8939db560139b27acdf78664f007c1c3db3e98129ffe77ba7692493d457daf17","abstract_canon_sha256":"92f25e7b7c138a6f266c53e8d0eb92b97ee4a19e91914e6591b23cf85f8e21bc"},"schema_version":"1.0"},"canonical_sha256":"1c7055aa566f44bf0272d876e6d82732796157653aec71e43c300765a3626e09","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T10:33:30.685107Z","signature_b64":"hcIa7TeUZRhjvGciruwtARVkXYA7F89d4WBraYTXsdbLeezu4Ar3ZhUgv0/DjwIkvY57hv92bFDQ5XAgTebnAg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"1c7055aa566f44bf0272d876e6d82732796157653aec71e43c300765a3626e09","last_reissued_at":"2026-07-05T10:33:30.684677Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T10:33:30.684677Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2309.10203","source_version":3,"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-05T10:33:30Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"z9VQfdNc3D7aQJeCBNUB3MdsyYn18/clahh1iJap7KCb5NLvgeMIPGjsEcjQHMuDx7fodhgNlQajXxvhKfExCg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-23T11:28:43.508255Z"},"content_sha256":"3e10edbffdbf640bc4a6df0eb0c9ebf5b2bb2db0ff7f9a69de59e2e8face1ada","schema_version":"1.0","event_id":"sha256:3e10edbffdbf640bc4a6df0eb0c9ebf5b2bb2db0ff7f9a69de59e2e8face1ada"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2023:DRYFLKSWN5CL6ATS3B3ONWBHGJ","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"The dimension of the feasible region of pattern densities","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"math.CO","authors_text":"Alexandru Malekshahian, Daniel Kral, Frederik Garbe, Raul Penaguiao","submitted_at":"2023-09-18T23:06:47Z","abstract_excerpt":"A classical result of Erd\\H{o}s, Lov\\'asz and Spencer from the late 1970s asserts that the dimension of the feasible region of densities of graphs with at most k vertices in large graphs is equal to the number of non-trivial connected graphs with at most k vertices. Indecomposable permutations play the role of connected graphs in the realm of permutations, and Glebov et al. showed that pattern densities of indecomposable permutations are independent, i.e., the dimension of the feasible region of densities of permutation patterns of size at most k is at least the number of non-trivial indecompo"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2309.10203","kind":"arxiv","version":3},"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/2309.10203/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-05T10:33:30Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"8Jk0/fewqH8CSHVPchjugeZcWxE9ssXCMFxag54GfLJ90DmKaWrI97YaHt9AXvSjgsDMGMM6jJVm1TDuxrCrCA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-23T11:28:43.509293Z"},"content_sha256":"780dced35d14a044e6141fb8b638b6496b276a4f87ab23d188581f900f4c28a7","schema_version":"1.0","event_id":"sha256:780dced35d14a044e6141fb8b638b6496b276a4f87ab23d188581f900f4c28a7"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/DRYFLKSWN5CL6ATS3B3ONWBHGJ/bundle.json","state_url":"https://pith.science/pith/DRYFLKSWN5CL6ATS3B3ONWBHGJ/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/DRYFLKSWN5CL6ATS3B3ONWBHGJ/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-08-23T11:28:43Z","links":{"resolver":"https://pith.science/pith/DRYFLKSWN5CL6ATS3B3ONWBHGJ","bundle":"https://pith.science/pith/DRYFLKSWN5CL6ATS3B3ONWBHGJ/bundle.json","state":"https://pith.science/pith/DRYFLKSWN5CL6ATS3B3ONWBHGJ/state.json","well_known_bundle":"https://pith.science/.well-known/pith/DRYFLKSWN5CL6ATS3B3ONWBHGJ/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2023:DRYFLKSWN5CL6ATS3B3ONWBHGJ","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":"92f25e7b7c138a6f266c53e8d0eb92b97ee4a19e91914e6591b23cf85f8e21bc","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.CO","submitted_at":"2023-09-18T23:06:47Z","title_canon_sha256":"8939db560139b27acdf78664f007c1c3db3e98129ffe77ba7692493d457daf17"},"schema_version":"1.0","source":{"id":"2309.10203","kind":"arxiv","version":3}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2309.10203","created_at":"2026-07-05T10:33:30Z"},{"alias_kind":"arxiv_version","alias_value":"2309.10203v3","created_at":"2026-07-05T10:33:30Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2309.10203","created_at":"2026-07-05T10:33:30Z"},{"alias_kind":"pith_short_12","alias_value":"DRYFLKSWN5CL","created_at":"2026-07-05T10:33:30Z"},{"alias_kind":"pith_short_16","alias_value":"DRYFLKSWN5CL6ATS","created_at":"2026-07-05T10:33:30Z"},{"alias_kind":"pith_short_8","alias_value":"DRYFLKSW","created_at":"2026-07-05T10:33:30Z"}],"graph_snapshots":[{"event_id":"sha256:780dced35d14a044e6141fb8b638b6496b276a4f87ab23d188581f900f4c28a7","target":"graph","created_at":"2026-07-05T10:33:30Z","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/2309.10203/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"A classical result of Erd\\H{o}s, Lov\\'asz and Spencer from the late 1970s asserts that the dimension of the feasible region of densities of graphs with at most k vertices in large graphs is equal to the number of non-trivial connected graphs with at most k vertices. Indecomposable permutations play the role of connected graphs in the realm of permutations, and Glebov et al. showed that pattern densities of indecomposable permutations are independent, i.e., the dimension of the feasible region of densities of permutation patterns of size at most k is at least the number of non-trivial indecompo","authors_text":"Alexandru Malekshahian, Daniel Kral, Frederik Garbe, Raul Penaguiao","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.CO","submitted_at":"2023-09-18T23:06:47Z","title":"The dimension of the feasible region of pattern densities"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2309.10203","kind":"arxiv","version":3},"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:3e10edbffdbf640bc4a6df0eb0c9ebf5b2bb2db0ff7f9a69de59e2e8face1ada","target":"record","created_at":"2026-07-05T10:33:30Z","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":"92f25e7b7c138a6f266c53e8d0eb92b97ee4a19e91914e6591b23cf85f8e21bc","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.CO","submitted_at":"2023-09-18T23:06:47Z","title_canon_sha256":"8939db560139b27acdf78664f007c1c3db3e98129ffe77ba7692493d457daf17"},"schema_version":"1.0","source":{"id":"2309.10203","kind":"arxiv","version":3}},"canonical_sha256":"1c7055aa566f44bf0272d876e6d82732796157653aec71e43c300765a3626e09","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"1c7055aa566f44bf0272d876e6d82732796157653aec71e43c300765a3626e09","first_computed_at":"2026-07-05T10:33:30.684677Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T10:33:30.684677Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"hcIa7TeUZRhjvGciruwtARVkXYA7F89d4WBraYTXsdbLeezu4Ar3ZhUgv0/DjwIkvY57hv92bFDQ5XAgTebnAg==","signature_status":"signed_v1","signed_at":"2026-07-05T10:33:30.685107Z","signed_message":"canonical_sha256_bytes"},"source_id":"2309.10203","source_kind":"arxiv","source_version":3}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:3e10edbffdbf640bc4a6df0eb0c9ebf5b2bb2db0ff7f9a69de59e2e8face1ada","sha256:780dced35d14a044e6141fb8b638b6496b276a4f87ab23d188581f900f4c28a7"],"state_sha256":"e22008fca4d47fd32bb747b4ab9244f2f3e02920d5f3a84c8c645cb2a9ef9d2b"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"3UrX65mtc45gHGZ8DeW2sNdNDWO2cTXksKnJIpuDeNN1DEfwzBebdh5xouMVZY7aNzez9HmPAq/kRWQHCuLaCw==","signed_message":"bundle_sha256_bytes","signed_at":"2026-08-23T11:28:43.514345Z","bundle_sha256":"732d12cc6844310d5a125219769f36ce0dd86c82e5ed2bbbc3d6ff080f31992b"}}