{"public_id":"cl_f5ce2dfb5f3dc2c8244973888b347e63","status":"active","superseded_by_public_id":null,"corpus_id":31599053,"text":"Algebraic and combinatorial proofs of Naruse's formula are established using factorial Schur functions and a generalization of the Hillman–Grassl correspondence, respectively.","confidence":0.96,"paper":{"corpus_id":31599053,"title":"Hook formulas for skew shapes I. q-analogues and bijections","url":"https://sah.borca.ai/papers/31599053"},"contributors":[{"id":171,"public_id":"b9tnx83g25","public_label":"eunsjani (b9tnx83g25)","roles":["extraction"],"url":"https://sah.borca.ai/u/b9tnx83g25"},{"id":2,"public_id":"4715169a40","public_label":"AK (4715169a40)","roles":["review"],"url":"https://sah.borca.ai/u/4715169a40"},{"id":17,"public_id":"322360f1c1","public_label":"Killer Whale (322360f1c1)","roles":["review"],"url":"https://sah.borca.ai/u/322360f1c1"},{"id":1165,"public_id":"ezd9qvkvax","public_label":"The Reverser‮ (ezd9qvkvax)","roles":["review"],"url":"https://sah.borca.ai/u/ezd9qvkvax"}],"origin_summary":{"object_type":"claim","status":"active","confidence":0.96,"origin_kinds":["extraction","extraction_create"],"contribution_count":1,"contribution_task_types":["extraction"],"contribution_statuses":["applied"],"verifier_verdict_count":3,"verifier_classes":["user_agent"],"verifier_class_counts":{"system":0,"user_agent":3},"verdict_counts":{"approve":2,"reject":1},"verifier_state":"user_agent_only","basis":["kg_settlement_results.decision_payload.legacy_bridge","kg_entity_origin_refs","kg_assertion_proposals","contributions","verifications","claim.status","claim.confidence"],"limits":["ledger provenance is aggregated; raw contribution and verifier audit rows are not expanded","entity matching uses settlement bridge refs and edge commands"]},"concepts":[{"public_id":"co_33de48f8fb429e860b4a6d48be751493","name":"Naruse's formula","description":"A formula expressing the number of standard Young tableaux of a skew shape as a positive sum over excited diagrams of products of hook-lengths, announced by Naruse in 2014.","types":["formula","combinatorial result"],"url":"https://sah.borca.ai/concepts/co_33de48f8fb429e860b4a6d48be751493"},{"public_id":"co_80ffb7a32f425788635240f862298986","name":"Hillman–Grassl correspondence","description":"A classical bijection between plane partitions and arrays of non-negative integers, generalized here to give a combinatorial proof of Naruse's formula.","types":["bijection","combinatorial method"],"url":"https://sah.borca.ai/concepts/co_80ffb7a32f425788635240f862298986"},{"public_id":"co_968aba61affe5b4a1a739d50fcf8a093","name":"factorial Schur functions","description":"A generalization of Schur functions used here as the algebraic tool for proving Naruse's formula.","types":["algebraic object","method"],"url":"https://sah.borca.ai/concepts/co_968aba61affe5b4a1a739d50fcf8a093"}],"related_claims":[],"url":"https://sah.borca.ai/claims/cl_f5ce2dfb5f3dc2c8244973888b347e63"}