{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2015:46YV4QLZXYC6KGP2ZYZS4D63OM","short_pith_number":"pith:46YV4QLZ","schema_version":"1.0","canonical_sha256":"e7b15e4179be05e519face332e0fdb730d6d86dae10bb7d73010a5d5964531d9","source":{"kind":"arxiv","id":"1506.04406","version":3},"attestation_state":"computed","paper":{"title":"A Formula for the M\\\"obius function of the Permutation Poset Based on a Topological Decomposition","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"math.CO","authors_text":"Jason P. Smith","submitted_at":"2015-06-14T15:34:02Z","abstract_excerpt":"We present a two term formula for the M\\\"obius function of intervals in the poset of all permutations, ordered by pattern containment. The first term in this formula is the number of so called normal occurrences of one permutation in another. Our definition of normal occurrences is similar to those that have appeared in several variations in the literature on the M\\\"obius function of this and other posets, but simpler than most of them. The second term in the formula is complicated, but we conjecture that it equals zero for a significant proportion of intervals. We present some cases where the"},"verification_status":{"content_addressed":true,"pith_receipt":true,"author_attested":false,"weak_author_claims":0,"strong_author_claims":0,"externally_anchored":false,"storage_verified":false,"citation_signatures":0,"replication_records":0,"graph_snapshot":true,"references_resolved":false,"formal_links_present":false},"canonical_record":{"source":{"id":"1506.04406","kind":"arxiv","version":3},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.CO","submitted_at":"2015-06-14T15:34:02Z","cross_cats_sorted":[],"title_canon_sha256":"2f437eca2ab419d337eb3d6df29fddda66793c955f457f4dc0a6c8bfc561d9de","abstract_canon_sha256":"993ec100c61beae2fd750b9d231e5390e194b6d3497455686a02eba4953b2020"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T00:44:10.099963Z","signature_b64":"U4LCoCQNfTsQOg4FzhsW/ZPB1W5453soLL0lGO0w7CyIFBYyl6mIqou6z1EhUcpTieo1au2KYEzjLvY5OuKPDw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"e7b15e4179be05e519face332e0fdb730d6d86dae10bb7d73010a5d5964531d9","last_reissued_at":"2026-05-18T00:44:10.099446Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T00:44:10.099446Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"A Formula for the M\\\"obius function of the Permutation Poset Based on a Topological Decomposition","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"math.CO","authors_text":"Jason P. Smith","submitted_at":"2015-06-14T15:34:02Z","abstract_excerpt":"We present a two term formula for the M\\\"obius function of intervals in the poset of all permutations, ordered by pattern containment. The first term in this formula is the number of so called normal occurrences of one permutation in another. Our definition of normal occurrences is similar to those that have appeared in several variations in the literature on the M\\\"obius function of this and other posets, but simpler than most of them. The second term in the formula is complicated, but we conjecture that it equals zero for a significant proportion of intervals. We present some cases where the"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1506.04406","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":""},"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"},"aliases":[{"alias_kind":"arxiv","alias_value":"1506.04406","created_at":"2026-05-18T00:44:10.099526+00:00"},{"alias_kind":"arxiv_version","alias_value":"1506.04406v3","created_at":"2026-05-18T00:44:10.099526+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1506.04406","created_at":"2026-05-18T00:44:10.099526+00:00"},{"alias_kind":"pith_short_12","alias_value":"46YV4QLZXYC6","created_at":"2026-05-18T12:29:05.191682+00:00"},{"alias_kind":"pith_short_16","alias_value":"46YV4QLZXYC6KGP2","created_at":"2026-05-18T12:29:05.191682+00:00"},{"alias_kind":"pith_short_8","alias_value":"46YV4QLZ","created_at":"2026-05-18T12:29:05.191682+00:00"}],"events":[],"event_summary":{},"paper_claims":[],"inbound_citations":{"count":0,"internal_anchor_count":0,"sample":[]},"formal_canon":{"evidence_count":0,"sample":[],"anchors":[]},"links":{"html":"https://pith.science/pith/46YV4QLZXYC6KGP2ZYZS4D63OM","json":"https://pith.science/pith/46YV4QLZXYC6KGP2ZYZS4D63OM.json","graph_json":"https://pith.science/api/pith-number/46YV4QLZXYC6KGP2ZYZS4D63OM/graph.json","events_json":"https://pith.science/api/pith-number/46YV4QLZXYC6KGP2ZYZS4D63OM/events.json","paper":"https://pith.science/paper/46YV4QLZ"},"agent_actions":{"view_html":"https://pith.science/pith/46YV4QLZXYC6KGP2ZYZS4D63OM","download_json":"https://pith.science/pith/46YV4QLZXYC6KGP2ZYZS4D63OM.json","view_paper":"https://pith.science/paper/46YV4QLZ","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=1506.04406&json=true","fetch_graph":"https://pith.science/api/pith-number/46YV4QLZXYC6KGP2ZYZS4D63OM/graph.json","fetch_events":"https://pith.science/api/pith-number/46YV4QLZXYC6KGP2ZYZS4D63OM/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/46YV4QLZXYC6KGP2ZYZS4D63OM/action/timestamp_anchor","attest_storage":"https://pith.science/pith/46YV4QLZXYC6KGP2ZYZS4D63OM/action/storage_attestation","attest_author":"https://pith.science/pith/46YV4QLZXYC6KGP2ZYZS4D63OM/action/author_attestation","sign_citation":"https://pith.science/pith/46YV4QLZXYC6KGP2ZYZS4D63OM/action/citation_signature","submit_replication":"https://pith.science/pith/46YV4QLZXYC6KGP2ZYZS4D63OM/action/replication_record"}},"created_at":"2026-05-18T00:44:10.099526+00:00","updated_at":"2026-05-18T00:44:10.099526+00:00"}