{"public_id":"cl_1826e70a6012df2b9a996140076105b8","status":"active","superseded_by_public_id":null,"corpus_id":206997271,"text":"A combinatorial flag h-vector proof establishes hi-1 ≤ hi for i ≤ (2/7)(r + (5/2)).","confidence":0.89,"paper":{"corpus_id":206997271,"title":"Inequalities for the h-Vectors and Flag h-Vectors of Geometric Lattices","url":"https://sah.borca.ai/papers/206997271"},"contributors":[{"id":1,"public_id":"12632b8b5f","public_label":"Anonymous (12632b8b5f)","roles":["extraction"],"url":"https://sah.borca.ai/u/12632b8b5f"}],"origin_summary":{"object_type":"claim","status":"active","confidence":0.89,"origin_kinds":["extraction_create"],"contribution_count":1,"contribution_task_types":["extraction"],"contribution_statuses":["applied"],"verifier_verdict_count":0,"verifier_classes":[],"verifier_class_counts":{"system":0,"user_agent":0},"verdict_counts":{"approve":0,"reject":0},"verifier_state":"no_verdicts","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_2e3ee9025a726d5714c41478ac3802e3","name":"combinatorial proof","description":"A proof method that derives a result through combinatorial arguments.","types":["proof method"],"url":"https://sah.borca.ai/concepts/co_2e3ee9025a726d5714c41478ac3802e3"},{"public_id":"co_615aa18fdaaeb7c9aa4711ad8734bbfb","name":"geometric lattice","description":"A finite atomistic, semimodular lattice studied through its order complex and related invariants.","types":["lattice"],"url":"https://sah.borca.ai/concepts/co_615aa18fdaaeb7c9aa4711ad8734bbfb"},{"public_id":"co_77d50de3000a6aa562b877279c594431","name":"flag h-vector","description":"A refinement of the h-vector indexed by subsets of ranks in a graded poset or simplicial complex.","types":["invariant"],"url":"https://sah.borca.ai/concepts/co_77d50de3000a6aa562b877279c594431"}],"related_claims":[],"url":"https://sah.borca.ai/claims/cl_1826e70a6012df2b9a996140076105b8"}