{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2024:P6JTFHK5COGLGYMLQOK2POT2AK","short_pith_number":"pith:P6JTFHK5","schema_version":"1.0","canonical_sha256":"7f93329d5d138cb3618b8395a7ba7a02858356c2a804a1adbf546f295d0d3b2f","source":{"kind":"arxiv","id":"2411.17778","version":1},"attestation_state":"computed","paper":{"title":"BiSC: An algorithm for discovering generalized permutation patterns","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":[],"primary_cat":"math.CO","authors_text":"Henning Ulfarsson","submitted_at":"2024-11-26T10:11:57Z","abstract_excerpt":"Theorems relating permutations with objects in other fields of mathematics are often stated in terms of avoided patterns. Examples include various classes of Schubert varieties from algebraic geometry (Billey and Abe 2013), commuting functions in analysis (Baxter 1964), beta-shifts in dynamical systems (Elizalde 2011) and homology of representations (Sundaram 1994). We present a new algorithm, BiSC, that, given any set of permutations, outputs a conjecture for describing the set in terms of avoided patterns. The algorithm automatically conjectures the statements of known theorems such as the d"},"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":"2411.17778","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"math.CO","submitted_at":"2024-11-26T10:11:57Z","cross_cats_sorted":[],"title_canon_sha256":"26aa64f82e1300b950b55bb845a66b5de170d34f1e25faaa45a4e997061bfe51","abstract_canon_sha256":"b12e014fa1df16fb2e2fa4e1226aebf860089ba05a3dd5be2c1257227446a7e7"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T09:41:06.636766Z","signature_b64":"g9A79MRvd32aFcg4snZaBsUHiN/3tbrFaltBlfuB8isKNRj1+d1D9AhmZAlVsumo/QSnUZIMei4a02GAHJpACw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"7f93329d5d138cb3618b8395a7ba7a02858356c2a804a1adbf546f295d0d3b2f","last_reissued_at":"2026-07-05T09:41:06.636242Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T09:41:06.636242Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"BiSC: An algorithm for discovering generalized permutation patterns","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":[],"primary_cat":"math.CO","authors_text":"Henning Ulfarsson","submitted_at":"2024-11-26T10:11:57Z","abstract_excerpt":"Theorems relating permutations with objects in other fields of mathematics are often stated in terms of avoided patterns. Examples include various classes of Schubert varieties from algebraic geometry (Billey and Abe 2013), commuting functions in analysis (Baxter 1964), beta-shifts in dynamical systems (Elizalde 2011) and homology of representations (Sundaram 1994). We present a new algorithm, BiSC, that, given any set of permutations, outputs a conjecture for describing the set in terms of avoided patterns. The algorithm automatically conjectures the statements of known theorems such as the d"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2411.17778","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":""},"integrity":{"clean":true,"summary":{"advisory":0,"critical":0,"by_detector":{},"informational":0},"endpoint":"/pith/2411.17778/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"},"aliases":[{"alias_kind":"arxiv","alias_value":"2411.17778","created_at":"2026-07-05T09:41:06.636301+00:00"},{"alias_kind":"arxiv_version","alias_value":"2411.17778v1","created_at":"2026-07-05T09:41:06.636301+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2411.17778","created_at":"2026-07-05T09:41:06.636301+00:00"},{"alias_kind":"pith_short_12","alias_value":"P6JTFHK5COGL","created_at":"2026-07-05T09:41:06.636301+00:00"},{"alias_kind":"pith_short_16","alias_value":"P6JTFHK5COGLGYML","created_at":"2026-07-05T09:41:06.636301+00:00"},{"alias_kind":"pith_short_8","alias_value":"P6JTFHK5","created_at":"2026-07-05T09:41:06.636301+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/P6JTFHK5COGLGYMLQOK2POT2AK","json":"https://pith.science/pith/P6JTFHK5COGLGYMLQOK2POT2AK.json","graph_json":"https://pith.science/api/pith-number/P6JTFHK5COGLGYMLQOK2POT2AK/graph.json","events_json":"https://pith.science/api/pith-number/P6JTFHK5COGLGYMLQOK2POT2AK/events.json","paper":"https://pith.science/paper/P6JTFHK5"},"agent_actions":{"view_html":"https://pith.science/pith/P6JTFHK5COGLGYMLQOK2POT2AK","download_json":"https://pith.science/pith/P6JTFHK5COGLGYMLQOK2POT2AK.json","view_paper":"https://pith.science/paper/P6JTFHK5","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=2411.17778&json=true","fetch_graph":"https://pith.science/api/pith-number/P6JTFHK5COGLGYMLQOK2POT2AK/graph.json","fetch_events":"https://pith.science/api/pith-number/P6JTFHK5COGLGYMLQOK2POT2AK/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/P6JTFHK5COGLGYMLQOK2POT2AK/action/timestamp_anchor","attest_storage":"https://pith.science/pith/P6JTFHK5COGLGYMLQOK2POT2AK/action/storage_attestation","attest_author":"https://pith.science/pith/P6JTFHK5COGLGYMLQOK2POT2AK/action/author_attestation","sign_citation":"https://pith.science/pith/P6JTFHK5COGLGYMLQOK2POT2AK/action/citation_signature","submit_replication":"https://pith.science/pith/P6JTFHK5COGLGYMLQOK2POT2AK/action/replication_record"}},"created_at":"2026-07-05T09:41:06.636301+00:00","updated_at":"2026-07-05T09:41:06.636301+00:00"}