{ "document_id": "fresh-arxiv-1599094", "source_sha256": "3f0f749365b45fbd1d9c3e2b1403c5416db6eae6d607388eb54cb3e3bf5bb327", "kind": "ku", "status": "generated", "result": { "schema_version": "1.0", "title": "THE 2-ADIC VALUATION OF STIRLING NUMBERS", "abstract_sha256": "", "mode": "sequential", "model": "trained", "config": { "mode": "sequential", "chunk_words": 500, "context_words": 0, "previous_units": 10, "canonicalize": false, "minhash_permutations": 16, "canonicalization_max_tokens": 4096, "parse_retries": 0 }, "knowledge_units": [ { "chunk_index": 0, "context_summary": "The paper analyzes the 2-adic valuations of Stirling numbers of the second kind. It reviews Legendre's formula for the 2-adic valuation of factorials and introduces the concept of p-adic numbers and integers. The authors define the 2-adic valuation for rational numbers and the associated ultrametric.", "entities": [ { "name": "Tewodros Amdeberhan", "entity_id": "tewodros_amdeberhan", "entity_type": "person", "aliases": [], "attributes": { "role": "author" }, "relationships": [ { "predicate": "authored", "target": "The 2-adic Valuation of Stirling Numbers", "attributes": {}, "target_id": null } ] }, { "name": "Dante V Manna", "entity_id": "dante_v_manna", "entity_type": "person", "aliases": [], "attributes": { "role": "author" }, "relationships": [ { "predicate": "authored", "target": "The 2-adic Valuation of Stirling Numbers", "attributes": {}, "target_id": null } ] }, { "name": "Victor H Moll", "entity_id": "victor_h_moll", "entity_type": "person", "aliases": [], "attributes": { "role": "author" }, "relationships": [ { "predicate": "authored", "target": "The 2-adic Valuation of Stirling Numbers", "attributes": {}, "target_id": null } ] }, { "name": "2-adic valuation", "entity_id": "2_adic_valuation", "entity_type": "concept", "aliases": [], "attributes": { "definition": "The highest power of 2 that divides an integer m", "notation": "ν 2 (m)" }, "relationships": [ { "predicate": "defined_for", "target": "integers", "attributes": {}, "target_id": null }, { "predicate": "related_to", "target": "Stirling numbers of the second kind", "attributes": {}, "target_id": null } ] }, { "name": "p-adic valuation", "entity_id": "p_adic_valuation", "entity_type": "concept", "aliases": [], "attributes": { "definition": "The highest power of a prime p that divides an integer m", "notation": "ν p (m)" }, "relationships": [ { "predicate": "defined_for", "target": "integers", "attributes": {}, "target_id": null }, { "predicate": "generalized_to", "target": "rational numbers", "attributes": {}, "target_id": null } ] }, { "name": "Legendre's formula", "entity_id": "legendre_s_formula", "entity_type": "method", "aliases": [], "attributes": { "formula": "ν p (m!) = m - s p (m) p - 1", "source": "Legendre [8]" }, "relationships": [ { "predicate": "calculates", "target": "p-adic valuation of factorials", "attributes": {}, "target_id": null }, { "predicate": "implies", "target": "Kummer's identity", "attributes": {}, "target_id": null } ] }, { "name": "s p (m)", "entity_id": "s_p_m", "entity_type": "concept", "aliases": [], "attributes": { "definition": "The sum of the base digits of m " }, "relationships": [ { "predicate": "used_in", "target": "Legendre's formula", "attributes": {}, "target_id": null } ] }, { "name": "Kummer's identity", "entity_id": "kummer_s_identity", "entity_type": "concept", "aliases": [], "attributes": { "formula": "ν 2 m k = s 2 (k) + s 2 (m - k) - s 2 (m)" }, "relationships": [ { "predicate": "derived_from", "target": "Legendre's formula", "attributes": {}, "target_id": null } ] }, { "name": "p-adic metric", "entity_id": "p_adic_metric", "entity_type": "method", "aliases": [], "attributes": { "definition": "|r|_p := p - ν p (r)", "property": "ultrametric inequality" }, "relationships": [ { "predicate": "defined_for", "target": "rational numbers", "attributes": {}, "target_id": null }, { "predicate": "satisfies", "target": "ultrametric inequality", "attributes": {}, "target_id": null } ] }, { "name": "p-adic numbers", "entity_id": "p_adic_numbers", "entity_type": "concept", "aliases": [], "attributes": { "notation": "Q p", "definition": "Completion of Q under the p-adic metric" }, "relationships": [ { "predicate": "contains", "target": "rational numbers", "attributes": {}, "target_id": null } ] }, { "name": "p-adic integers", "entity_id": "p_adic_integers", "entity_type": "concept", "aliases": [], "attributes": { "notation": "Z p", "definition": "Set of elements in Q p with p-adic norm less than or equal to 1" }, "relationships": [ { "predicate": "analogous_to", "target": "integers in Q", "attributes": {}, "target_id": null } ] } ], "source": { "chunk_index": 0, "start_word": 0, "end_word": 463, "word_count": 463, "sha256": "c35c92e822cd250557259c581851ba10ffdafb280f6d76455dc8c45b987b38e6", "sentence_minhash": [ 84989070151237717, 232593725413697090, 132898077708225042, 139222975235943620, 148925132169520149, 191301892190423406, 278146122074282937, 34584616103928807, 168666786016392573, 462224056308245964, 78280491562202942, 171596837418463449, 12488864069851856, 58558631451210278, 303264414993015767, 658790404649858 ] }, "extraction_warnings": [] }, { "chunk_index": 1, "context_summary": "The paper introduces the 2-adic valuation of Stirling numbers of the second kind, S(n, k), which count set partitions. It establishes a formula for the 2-adic valuation of related coefficients A(l, m) and presents a main conjecture for ν_2(S(n, k)). The text also references prior work on the 2-adic valuations of coefficients derived from a definite integral and partial sums of polylogarithmic series.", "entities": [ { "name": "Stirling numbers of the second kind", "entity_id": "stirling_numbers_of_the_second_kind", "entity_type": "concept", "aliases": [], "attributes": { "definition": "Number of ways to partition a set of n elements into exactly k nonempty subsets", "notation": "S(n, k)" }, "relationships": [ { "predicate": "analyzed_for", "target": "2-adic valuation", "attributes": {}, "target_id": null }, { "predicate": "defined_for", "target": "n in N and 0 <= k <= n", "attributes": {}, "target_id": null } ] }, { "name": "2-adic valuation of A(l, m)", "entity_id": "2_adic_valuation_of_a_l_m", "entity_type": "other", "aliases": [], "attributes": { "formula": "ν_2(A(l, m)) = 3l - s_2(m + l) + s_2(m - l)", "model_entity_type": "mathematical_result" }, "relationships": [ { "predicate": "established_by", "target": "J. Little", "attributes": {}, "target_id": null } ] }, { "name": "coefficients A(l, m)", "entity_id": "coefficients_a_l_m", "entity_type": "other", "aliases": [], "attributes": { "definition": "l! m! 2^(m-l) b(l, m)", "structure": "α_l(m) * sum(4k-1) - β_l(m) * sum(4k+1)", "model_entity_type": "mathematical_object" }, "relationships": [ { "predicate": "defined_by", "target": "b(l, m)", "attributes": {}, "target_id": null }, { "predicate": "has_polynomials", "target": "α_l and β_l", "attributes": {}, "target_id": null } ] }, { "name": "polynomials α_l and β_l", "entity_id": "polynomials_l_and_l", "entity_type": "other", "aliases": [], "attributes": { "coefficients": "integer coefficients", "degree_of_α_l": "l", "degree_of_β_l": "l-1", "model_entity_type": "mathematical_object" }, "relationships": [ { "predicate": "used_in", "target": "coefficients A(l, m)", "attributes": {}, "target_id": null } ] }, { "name": "Main conjecture", "entity_id": "main_conjecture", "entity_type": "other", "aliases": [], "attributes": { "subject": "function ν_2(S(n, k))", "status": "described by an algorithm", "model_entity_type": "mathematical_hypothesis" }, "relationships": [ { "predicate": "special_case_established", "target": "k = 5", "attributes": {}, "target_id": null } ] }, { "name": "H. Cohen's results", "entity_id": "h_cohen_s_results", "entity_type": "other", "aliases": [], "attributes": { "subject": "partial sums of polylogarithmic series", "notation": "L_k(n)", "model_entity_type": "mathematical_result" }, "relationships": [ { "predicate": "established_for", "target": "ν_2(L_1(2m)) and ν_2(L_2(2m))", "attributes": {}, "target_id": null } ] }, { "name": "polylogarithmic series", "entity_id": "polylogarithmic_series", "entity_type": "other", "aliases": [], "attributes": { "notation": "Li_k(x)", "definition": "sum j=1 x^j / j^k", "model_entity_type": "mathematical_concept" }, "relationships": [ { "predicate": "partial_sum_notation", "target": "L_k(n)", "attributes": {}, "target_id": null } ] }, { "name": "2-adic valuation of L_1(2m)", "entity_id": "2_adic_valuation_of_l_1_2m", "entity_type": "other", "aliases": [], "attributes": { "formula": "2m + 2m - 4", "model_entity_type": "mathematical_result" }, "relationships": [ { "predicate": "valid_for", "target": "m >= 4", "attributes": {}, "target_id": null } ] }, { "name": "2-adic valuation of L_2(2m)", "entity_id": "2_adic_valuation_of_l_2_2m", "entity_type": "other", "aliases": [], "attributes": { "formula": "2m + m - 1", "model_entity_type": "mathematical_result" }, "relationships": [ { "predicate": "valid_for", "target": "m >= 4", "attributes": {}, "target_id": null } ] }, { "name": "set C_m,j", "entity_id": "set_c_m_j", "entity_type": "other", "aliases": [], "attributes": { "definition": "{2^m i + j : i in N such that 2^m i + j >= k}", "model_entity_type": "mathematical_set" }, "relationships": [] } ], "source": { "chunk_index": 1, "start_word": 463, "end_word": 950, "word_count": 487, "sha256": "b044b78580005b2faa3551cfb25dbb62894399910f46864a90d4b6808bcbfc1d", "sentence_minhash": [ 167200217492106239, 1306423125707224, 151260943597763167, 53442166147602330, 148925132169520149, 139865850146007968, 149017575652778032, 141533163731829282, 21579496338166870, 76931577636070685, 78280491562202942, 565084831203707131, 51125582506972287, 58558631451210278, 303264414993015767, 200787641028370587 ] }, "extraction_warnings": [ "normalized unsupported entity type 'mathematical_result' for '2-adic valuation of A(l, m)'", "normalized unsupported entity type 'mathematical_object' for 'coefficients A(l, m)'", "normalized unsupported entity type 'mathematical_object' for 'polynomials α_l and β_l'", "normalized unsupported entity type 'mathematical_hypothesis' for 'Main conjecture'", "normalized unsupported entity type 'mathematical_result' for \"H. Cohen's results\"", "normalized unsupported entity type 'mathematical_concept' for 'polylogarithmic series'", "normalized unsupported entity type 'mathematical_result' for '2-adic valuation of L_1(2m)'", "normalized unsupported entity type 'mathematical_result' for '2-adic valuation of L_2(2m)'", "normalized unsupported entity type 'mathematical_set' for 'set C_m,j'" ] }, { "chunk_index": 2, "context_summary": "The text defines classes C_m,j as partitions of integers n >= k based on their 2-adic valuation of Stirling numbers S(n, k). It introduces the concept of m-level, where classes are split into two modulo 2^m. The main conjecture states that the first level with constant classes is m_0 - 1, where 2^(m_0-1) < k <= 2^m_0, and that subsequent levels maintain a constant number of classes.", "entities": [ { "name": "C_m,j", "entity_id": "c_m_j", "entity_type": "concept", "aliases": [], "attributes": { "definition": "Set of integers n >= k such that ν_2(S(n, k)) is constant for all n in the set.", "partition_property": "Forms a partition of {n ∈ N : n ≥ k} into classes modulo 2^m." }, "relationships": [ { "predicate": "splits_into", "target": "C_m,ij and C_m,ij + 2^m-1", "attributes": {}, "target_id": null }, { "predicate": "constant_if", "target": "ν_2(C_m,j) consists of a single value", "attributes": {}, "target_id": null } ] }, { "name": "m-level", "entity_id": "m_level", "entity_type": "concept", "aliases": [], "attributes": { "definition": "Inductive concept defining classes modulo 2^m.", "base_case": "m=1, consists of C_1,0 (even) and C_1,1 (odd) integers >= k." }, "relationships": [ { "predicate": "defined_by", "target": "C_m,ij", "attributes": {}, "target_id": null } ] }, { "name": "m_0", "entity_id": "m_0", "entity_type": "measurement", "aliases": [], "attributes": { "definition": "Integer such that 2^(m_0-1) < k <= 2^m_0.", "role": "Determines the first level with constant classes." }, "relationships": [ { "predicate": "determines_first_constant_level", "target": "m_0 - 1", "attributes": {}, "target_id": null } ] }, { "name": "Main Conjecture", "entity_id": "main_conjecture", "entity_type": "other", "aliases": [], "attributes": { "statement_1": "The first level with constant classes is m_0 - 1.", "statement_2": "For m >= m_0, the m-level has 2^(m_0-2) classes, each producing one non-constant class for the (m+1)-level.", "model_entity_type": "theorem" }, "relationships": [ { "predicate": "applies_to", "target": "Stirling numbers of the second kind S(n, k)", "attributes": {}, "target_id": null } ] }, { "name": "S(n, k)", "entity_id": "s_n_k", "entity_type": "other", "aliases": [], "attributes": { "description": "Stirling numbers of the second kind.", "valuation_studied": "ν_2(S(n, k))", "model_entity_type": "mathematical_function" }, "relationships": [ { "predicate": "partitioned_by", "target": "C_m,j", "attributes": {}, "target_id": null } ] }, { "name": "Corollary 3.2", "entity_id": "corollary_3_2", "entity_type": "other", "aliases": [], "attributes": { "finding": "ν_2(S(4i + 1, 5)) = 0, independently of i.", "model_entity_type": "theorem" }, "relationships": [ { "predicate": "implies_constant_class", "target": "C_2,1", "attributes": {}, "target_id": null } ] } ], "source": { "chunk_index": 2, "start_word": 950, "end_word": 1433, "word_count": 483, "sha256": "5c34c5f8eeb9668334091afa9e3626c620a7bed48e80e97edfd7e2a7fa4e1a92", "sentence_minhash": [ 315931021563575867, 1306423125707224, 23103724853578534, 141557533923110381, 146627570953161212, 428209587723997907, 627545230825494436, 152326886699586849, 228439795799410229, 76931577636070685, 78280491562202942, 139309872259060027, 164575269931903557, 906306679132868, 303264414993015767, 69242845566341429 ] }, "extraction_warnings": [ "normalized unsupported entity type 'theorem' for 'Main Conjecture'", "normalized unsupported entity type 'mathematical_function' for 'S(n, k)'", "normalized unsupported entity type 'theorem' for 'Corollary 3.2'" ] }, { "chunk_index": 3, "context_summary": "The text details the structure of the 2-level of classes C_m,j, where the first four classes have non-constant 2-adic valuations. It presents an explicit formula for Stirling numbers of the second kind and derives a special case for the 2-adic valuation of S(2n, k) and S(2n+1, k+1). The section concludes with the calculation of the 2-adic valuation for S(n, 1) and S(n, 3), based on the parity of n. ", "entities": [ { "name": "C_2,0, C_2,1, C_2,2, C_2,3", "entity_id": "c_2_0_c_2_1_c_2_2_c_2_3", "entity_type": "concept", "aliases": [], "attributes": { "2-adic_valuation": "non-constant" }, "relationships": [ { "predicate": "form", "target": "2-level", "attributes": {}, "target_id": null } ] }, { "name": "C_3,3, C_3,5, C_3,4, C_3,6", "entity_id": "c_3_3_c_3_5_c_3_4_c_3_6", "entity_type": "concept", "aliases": [], "attributes": { "2-adic_valuation": "constant" }, "relationships": [ { "predicate": "illustrate", "target": "3-level", "attributes": {}, "target_id": null } ] }, { "name": "S(n, k)", "entity_id": "s_n_k", "entity_type": "other", "aliases": [], "attributes": { "definition": "Stirling numbers of the second kind", "explicit_formula": "1/k! * sum_{i=0}^{k-1} (-1)^i * C(k, i) * (k-i)^n", "model_entity_type": "mathematical_function" }, "relationships": [ { "predicate": "generated_by", "target": "1 / ((1-x)(1-2x)...(1-kx))", "attributes": {}, "target_id": null }, { "predicate": "satisfies_recurrence", "target": "S(n-1, k-1) + k*S(n-1, k)", "attributes": {}, "target_id": null } ] }, { "name": "Legyel", "entity_id": "legyel", "entity_type": "person", "aliases": [], "attributes": { "contribution": "conjectured special case of 2-adic valuation of S(n, k)" }, "relationships": [ { "predicate": "conjectured", "target": "nu_2(S(2n, k)) = s_2(k) - 1", "attributes": {}, "target_id": null } ] }, { "name": "De Wannemacker", "entity_id": "de_wannemacker", "entity_type": "person", "aliases": [], "attributes": { "contribution": "proved special case of 2-adic valuation of S(n, k)" }, "relationships": [ { "predicate": "proved", "target": "nu_2(S(2n, k)) = s_2(k) - 1", "attributes": {}, "target_id": null } ] }, { "name": "s_2(k)", "entity_id": "s_2_k", "entity_type": "other", "aliases": [], "attributes": { "definition": "sum of the binary digits of k", "model_entity_type": "mathematical_function" }, "relationships": [ { "predicate": "used_in", "target": "nu_2(S(2n, k)) = s_2(k) - 1", "attributes": {}, "target_id": null } ] }, { "name": "nu_2(S(2n, k))", "entity_id": "nu_2_s_2n_k", "entity_type": "other", "aliases": [], "attributes": { "value": "s_2(k) - 1", "independence": "independent of n", "model_entity_type": "mathematical_expression" }, "relationships": [ { "predicate": "derived_from", "target": "nu_2(2k-1/k!)", "attributes": {}, "target_id": null } ] }, { "name": "nu_2(S(2n+1, k+1))", "entity_id": "nu_2_s_2n_1_k_1", "entity_type": "other", "aliases": [], "attributes": { "value": "s_2(k) - 1", "model_entity_type": "mathematical_expression" }, "relationships": [ { "predicate": "companion_to", "target": "nu_2(S(2n, k))", "attributes": {}, "target_id": null } ] }, { "name": "nu_2(S(2n+2, k+2))", "entity_id": "nu_2_s_2n_2_k_2", "entity_type": "other", "aliases": [], "attributes": { "value_if_nu_2_k_is_0": "s_2(k) - 1", "value_if_nu_2_k_plus_1_is_greater_than_1": "s_2(k+1) - 1", "model_entity_type": "mathematical_expression" }, "relationships": [ { "predicate": "established_by", "target": "De Wannemacker", "attributes": {}, "target_id": null } ] }, { "name": "nu_2(S(n, k))", "entity_id": "nu_2_s_n_k", "entity_type": "other", "aliases": [], "attributes": { "lower_bound": "s_2(k) - s_2(n)", "condition": "0 <= k <= n", "model_entity_type": "mathematical_expression" }, "relationships": [ { "predicate": "established_by", "target": "De Wannemacker", "attributes": {}, "target_id": null } ] }, { "name": "S(n, 1)", "entity_id": "s_n_1", "entity_type": "other", "aliases": [], "attributes": { "value": "1", "condition": "for all n in N", "model_entity_type": "mathematical_function" }, "relationships": [ { "predicate": "used_in", "target": "S(n, 3)", "attributes": {}, "target_id": null } ] }, { "name": "S(n, 3)", "entity_id": "s_n_3", "entity_type": "other", "aliases": [], "attributes": { "value_if_n_is_odd": "1/2 * (3n-1 - 2n + 1)", "value_if_n_is_even": "1/2 * (3n-1 - 2n + 1)", "model_entity_type": "mathematical_function" }, "relationships": [ { "predicate": "nu_2_value_if_n_is_odd", "target": "0", "attributes": {}, "target_id": null }, { "predicate": "nu_2_value_if_n_is_even", "target": "1", "attributes": {}, "target_id": null } ] } ], "source": { "chunk_index": 3, "start_word": 1433, "end_word": 1927, "word_count": 494, "sha256": "417ed48daae628ad76041e514fe3b418ff8253a109f600db6b6d8df52732fdfa", "sentence_minhash": [ 400955583959429622, 232593725413697090, 132898077708225042, 524444266118806316, 158278186834940345, 428209587723997907, 149017575652778032, 113181735942458166, 266927695903760850, 92715222163426349, 78280491562202942, 216759334017540668, 154708990195788138, 58558631451210278, 139254418913316130, 37319280976767778 ] }, "extraction_warnings": [ "normalized unsupported entity type 'mathematical_function' for 'S(n, k)'", "normalized unsupported entity type 'mathematical_function' for 's_2(k)'", "normalized unsupported entity type 'mathematical_expression' for 'nu_2(S(2n, k))'", "normalized unsupported entity type 'mathematical_expression' for 'nu_2(S(2n+1, k+1))'", "normalized unsupported entity type 'mathematical_expression' for 'nu_2(S(2n+2, k+2))'", "normalized unsupported entity type 'mathematical_expression' for 'nu_2(S(n, k))'", "normalized unsupported entity type 'mathematical_function' for 'S(n, 1)'", "normalized unsupported entity type 'mathematical_function' for 'S(n, 3)'" ] }, { "chunk_index": 4, "context_summary": "The text derives explicit formulas and 2-adic valuations for Stirling numbers of the second kind, S(n, 3) and S(n, 4). It proves that S(n, 3) is odd when n is odd and S(n, 3)/2 is odd when n is even, using recurrence relations and the ultrametric inequality. It also establishes that S(n, 4) is odd when n is even and even when n is odd.", "entities": [ { "name": "S(n, 3)", "entity_id": "s_n_3", "entity_type": "other", "aliases": [], "attributes": { "odd_n_valuation": "0", "even_n_valuation": "1", "model_entity_type": "mathematical_sequence" }, "relationships": [ { "predicate": "derived_from_recurrence", "target": "S(n-1, 3) + 3 * 2^(n-2) - 4 + 3 * 2 * S(n-2, 3)", "attributes": {}, "target_id": null }, { "predicate": "valuation_derived_from", "target": "3^(n-1) + 1 - 2^n", "attributes": {}, "target_id": null } ] }, { "name": "S(n, 4)", "entity_id": "s_n_4", "entity_type": "other", "aliases": [], "attributes": { "odd_n_valuation": "1", "even_n_valuation": "0", "model_entity_type": "mathematical_sequence" }, "relationships": [ { "predicate": "derived_from_recurrence", "target": "S(n-1, 3) + 4 * S(n-1, 4)", "attributes": {}, "target_id": null }, { "predicate": "formula", "target": "1/6 * (4^n - 3^n - 3 * 2^(n+1) - 1)", "attributes": {}, "target_id": null } ] }, { "name": "ultrametric inequality", "entity_id": "ultrametric_inequality", "entity_type": "other", "aliases": [], "attributes": { "form": "nu_2(x1 + x2) >= Min{nu_2(x1), nu_2(x2)}", "strictness_condition": "nu_2(x1) != nu_2(x2)", "model_entity_type": "mathematical_concept" }, "relationships": [ { "predicate": "equivalent_to", "target": "1/6 * (4^n - 3^n - 3 * 2^(n+1) - 1)", "attributes": {}, "target_id": null } ] }, { "name": "powers of 3 modulo 8", "entity_id": "powers_of_3_modulo_8", "entity_type": "other", "aliases": [], "attributes": { "formula": "3^(m+1) = 2 + (-1)^(m+1) mod 8", "basis": "3^(2k) = 1 mod 8", "model_entity_type": "mathematical_property" }, "relationships": [ { "predicate": "yields_valuation", "target": "nu_2(3^(m+1))", "attributes": {}, "target_id": null } ] }, { "name": "nu_2(3^(m+1))", "entity_id": "nu_2_3_m_1", "entity_type": "other", "aliases": [], "attributes": { "odd_m_value": "2", "even_m_value": "1", "model_entity_type": "mathematical_valuation" }, "relationships": [ { "predicate": "derived_from", "target": "ultrametric inequality", "attributes": {}, "target_id": null } ] } ], "source": { "chunk_index": 4, "start_word": 1927, "end_word": 2426, "word_count": 499, "sha256": "cd4964de3a924617672e36503a9171a4eb8cd5057189c7efde75779b299dafbf", "sentence_minhash": [ 400955583959429622, 232593725413697090, 132898077708225042, 524444266118806316, 148925132169520149, 428209587723997907, 149017575652778032, 113181735942458166, 266927695903760850, 92715222163426349, 78280491562202942, 221655330234976794, 164575269931903557, 161945415629665627, 303264414993015767, 112183611702210919 ] }, "extraction_warnings": [ "normalized unsupported entity type 'mathematical_sequence' for 'S(n, 3)'", "normalized unsupported entity type 'mathematical_sequence' for 'S(n, 4)'", "normalized unsupported entity type 'mathematical_concept' for 'ultrametric inequality'", "normalized unsupported entity type 'mathematical_property' for 'powers of 3 modulo 8'", "normalized unsupported entity type 'mathematical_valuation' for 'nu_2(3^(m+1))'" ] }, { "chunk_index": 5, "context_summary": "The text establishes that the 2-adic valuation of Stirling numbers of the second kind, S(n, 4), is 1. It then analyzes S(n, 5), showing that the 2-level of classes C_m,j is {C_2,0, C_2,3} and that C_3,0 is constant. The text defines exceptional indices where the 2-adic valuations of S(4i, 5) and S(4i+3, 5) differ, and proves that ν_2(S(8i, 5)) equals 1 for all i greater than or equal to 1.", "entities": [ { "name": "S(n, 4)", "entity_id": "s_n_4", "entity_type": "other", "aliases": [], "attributes": { "2-adic_valuation": 1, "model_entity_type": "mathematical_function" }, "relationships": [ { "predicate": "derived_from", "target": "S(n-1, 3) and S(n-1, 4)", "attributes": {}, "target_id": null } ] }, { "name": "S(n, 5)", "entity_id": "s_n_5", "entity_type": "other", "aliases": [], "attributes": { "explicit_formula": "1/24 * (5^(n-1) - 4^n + 2*3^n - 2^(n+1) + 1)", "model_entity_type": "mathematical_function" }, "relationships": [ { "predicate": "has_2-level_classes", "target": "C_2,0 and C_2,3", "attributes": {}, "target_id": null }, { "predicate": "has_constant_class", "target": "C_3,0", "attributes": {}, "target_id": null } ] }, { "name": "C_m,j", "entity_id": "c_m_j", "entity_type": "other", "aliases": [], "attributes": { "definition": "Partitions of integers n >= k based on their 2-adic valuation of Stirling numbers S(n, k)", "model_entity_type": "mathematical_concept" }, "relationships": [ { "predicate": "splits_into", "target": "C_2,0, C_2,1, C_2,2, C_2,3", "attributes": {}, "target_id": null } ] }, { "name": "m_0", "entity_id": "m_0", "entity_type": "other", "aliases": [], "attributes": { "value": 3, "condition": "2^2 < 5 <= 2^3", "model_entity_type": "mathematical_parameter" }, "relationships": [ { "predicate": "defines_first_constant_level", "target": "m_0 - 1 = 2", "attributes": {}, "target_id": null } ] }, { "name": "exceptional index", "entity_id": "exceptional_index", "entity_type": "other", "aliases": [], "attributes": { "definition": "Index i where q_4i = q_4i+3", "model_entity_type": "mathematical_concept" }, "relationships": [ { "predicate": "first_example", "target": "i = 7", "attributes": {}, "target_id": null } ] }, { "name": "q_n", "entity_id": "q_n", "entity_type": "other", "aliases": [], "attributes": { "definition": "ν_2(S(n, 5))", "model_entity_type": "mathematical_function" }, "relationships": [ { "predicate": "defined_for", "target": "n = 4i or n = 4i+3", "attributes": {}, "target_id": null } ] }, { "name": "i", "entity_id": "i", "entity_type": "other", "aliases": [], "attributes": { "condition": "i >= 2", "model_entity_type": "mathematical_parameter" }, "relationships": [ { "predicate": "defines_sequence", "target": "X = {q_4i, q_4i+3}", "attributes": {}, "target_id": null } ] }, { "name": "X", "entity_id": "x", "entity_type": "other", "aliases": [], "attributes": { "initial_values": "1, 1, 3, 3, 1, 1, 2, 2, 1, 1, 6, 7, 1, 1", "model_entity_type": "mathematical_sequence" }, "relationships": [ { "predicate": "contains", "target": "q_4i and q_4i+3", "attributes": {}, "target_id": null } ] }, { "name": "Proposition 3.5", "entity_id": "proposition_3_5", "entity_type": "other", "aliases": [], "attributes": { "statement": "ν_2(S(8i, 5)) = 1 for all i >= 1", "model_entity_type": "mathematical_theorem" }, "relationships": [ { "predicate": "proven_by", "target": "analyzing identity (3.14) modulo 32", "attributes": {}, "target_id": null } ] } ], "source": { "chunk_index": 5, "start_word": 2426, "end_word": 2922, "word_count": 496, "sha256": "0d62496118b4199595c37b0589956a6aef4a10dcfa50579d8d304cf08c0685ad", "sentence_minhash": [ 21703368277289870, 18551641988871988, 69729176314767099, 208823991573236229, 177359358208975170, 428209587723997907, 84576184460003765, 63183425104977485, 113198931733945138, 76931577636070685, 78280491562202942, 290193957775112232, 12488864069851856, 906306679132868, 303264414993015767, 117472307714712089 ] }, "extraction_warnings": [ "normalized unsupported entity type 'mathematical_function' for 'S(n, 4)'", "normalized unsupported entity type 'mathematical_function' for 'S(n, 5)'", "normalized unsupported entity type 'mathematical_concept' for 'C_m,j'", "normalized unsupported entity type 'mathematical_parameter' for 'm_0'", "normalized unsupported entity type 'mathematical_concept' for 'exceptional index'", "normalized unsupported entity type 'mathematical_function' for 'q_n'", "normalized unsupported entity type 'mathematical_parameter' for 'i'", "normalized unsupported entity type 'mathematical_sequence' for 'X'", "normalized unsupported entity type 'mathematical_theorem' for 'Proposition 3.5'" ] }, { "chunk_index": 6, "context_summary": "The text proves that the 2-adic valuation of Stirling numbers S(8i, 5) is 1, and that S(8i+4, 5) has a 2-adic valuation of at least 2. It establishes that the 3-level of classes C_m,j consists of C_3,4 and C_3,7, illustrating the main conjecture. The text also introduces the Stirling-like numbers T_p(n, k) and a conjecture relating their p-adic valuations to those of Stirling numbers.", "entities": [ { "name": "S(8i, 5)", "entity_id": "s_8i_5", "entity_type": "other", "aliases": [], "attributes": { "2-adic_valuation": 1, "form": "3S(8i, 5) = 2(2t + 1)", "model_entity_type": "mathematical_expression" }, "relationships": [ { "predicate": "derived_from", "target": "congruence 3.15", "attributes": {}, "target_id": null } ] }, { "name": "S(8i + 4, 5)", "entity_id": "s_8i_4_5", "entity_type": "other", "aliases": [], "attributes": { "2-adic_valuation": ">= 2", "form": "24S(8i + 4, 5) = 32t", "model_entity_type": "mathematical_expression" }, "relationships": [ { "predicate": "derived_from", "target": "congruence 3.17", "attributes": {}, "target_id": null } ] }, { "name": "C_3,4", "entity_id": "c_3_4", "entity_type": "other", "aliases": [], "attributes": { "splitting": "C_4,4 and C_4,12", "data_pattern": "even index values are 2", "model_entity_type": "mathematical_class" }, "relationships": [ { "predicate": "part_of", "target": "3-level", "attributes": {}, "target_id": null } ] }, { "name": "C_3,7", "entity_id": "c_3_7", "entity_type": "other", "aliases": [], "attributes": { "model_entity_type": "mathematical_class" }, "relationships": [ { "predicate": "part_of", "target": "3-level", "attributes": {}, "target_id": null } ] }, { "name": "3-level", "entity_id": "3_level", "entity_type": "other", "aliases": [], "attributes": { "classes": "C_3,4 and C_3,7", "model_entity_type": "mathematical_structure" }, "relationships": [ { "predicate": "illustrates", "target": "main conjecture", "attributes": {}, "target_id": null } ] }, { "name": "main conjecture", "entity_id": "main_conjecture", "entity_type": "other", "aliases": [], "attributes": { "property": "each 2-level class produces a constant class and a second one in the 3-level", "model_entity_type": "mathematical_statement" }, "relationships": [ { "predicate": "illustrated_by", "target": "3-level", "attributes": {}, "target_id": null } ] }, { "name": "T_p(n, k)", "entity_id": "t_p_n_k", "entity_type": "other", "aliases": [], "attributes": { "definition": "sum over j from 0 to k of (-1)^(k-j) * C(k, j) * C(j, j) * n^j, where j is omitted if divisible by p", "model_entity_type": "mathematical_concept" }, "relationships": [ { "predicate": "studied_by", "target": "Lundell", "attributes": {}, "target_id": null } ] }, { "name": "Clarke's conjecture", "entity_id": "clarke_s_conjecture", "entity_type": "other", "aliases": [], "attributes": { "relation": "nu_p(k! S(n, k)) = nu_p(T_p(n, k))", "model_entity_type": "mathematical_statement" }, "relationships": [ { "predicate": "conjectured_by", "target": "Clarke", "attributes": {}, "target_id": null } ] } ], "source": { "chunk_index": 6, "start_word": 2922, "end_word": 3404, "word_count": 482, "sha256": "682ff048a0604fbdfc038ce8a750d422cb2b72cde6e31f8dc32eecbbac7d0572", "sentence_minhash": [ 21703368277289870, 1306423125707224, 229329608839330056, 53442166147602330, 148925132169520149, 62667647458868521, 84576184460003765, 96292850158067112, 250103587932991025, 92715222163426349, 78280491562202942, 171596837418463449, 12488864069851856, 161945415629665627, 194885768149381016, 117472307714712089 ] }, "extraction_warnings": [ "normalized unsupported entity type 'mathematical_expression' for 'S(8i, 5)'", "normalized unsupported entity type 'mathematical_expression' for 'S(8i + 4, 5)'", "normalized unsupported entity type 'mathematical_class' for 'C_3,4'", "normalized unsupported entity type 'mathematical_class' for 'C_3,7'", "normalized unsupported entity type 'mathematical_structure' for '3-level'", "normalized unsupported entity type 'mathematical_statement' for 'main conjecture'", "normalized unsupported entity type 'mathematical_concept' for 'T_p(n, k)'", "normalized unsupported entity type 'mathematical_statement' for \"Clarke's conjecture\"" ] }, { "chunk_index": 7, "context_summary": "The text presents an expression for the 2-adic valuation of Stirling numbers of the second kind, S(n, 5), based on the zeros of a specific 2-adic function, f_0,5(x). It details the proof of the main conjecture for k=5, establishing that the first level of constant classes is m_0 - 1 = 2. This section also introduces empirical approximations for ν_2(S(n, 5)) and presents illustrative data that demonstrates the different behavior of ν_2(S(n, k)) for various values of k. ", "entities": [ { "name": "nu_2(S(n, 5)) expression", "entity_id": "nu_2_s_n_5_expression", "entity_type": "other", "aliases": [], "attributes": { "condition_n_even": "-1 + nu_2(n - u_0)", "condition_n_odd": "-1 + nu_2(n - u_1)", "assumption": "conjecture (3.28) holds", "model_entity_type": "mathematical_formula" }, "relationships": [ { "predicate": "derived_from", "target": "zeros of f_0,5(x)", "attributes": {}, "target_id": null } ] }, { "name": "f_0,5(x)", "entity_id": "f_0_5_x", "entity_type": "other", "aliases": [], "attributes": { "definition": "5 + 10 * 3^x + 5 * x", "domain": "ring of 2-adic integers Z_2", "model_entity_type": "mathematical_function" }, "relationships": [ { "predicate": "has_zeros", "target": "u_0 and u_1", "attributes": {}, "target_id": null } ] }, { "name": "u_0", "entity_id": "u_0", "entity_type": "other", "aliases": [], "attributes": { "property": "unique zero of f_0,5(x)", "location": "u_0 in 2Z_2", "model_entity_type": "mathematical_constant" }, "relationships": [ { "predicate": "used_in", "target": "nu_2(S(n, 5)) expression for even n", "attributes": {}, "target_id": null } ] }, { "name": "u_1", "entity_id": "u_1", "entity_type": "other", "aliases": [], "attributes": { "property": "other zero of f_0,5(x)", "location": "u_1 in 1 + 2Z_2", "model_entity_type": "mathematical_constant" }, "relationships": [ { "predicate": "used_in", "target": "nu_2(S(n, 5)) expression for odd n", "attributes": {}, "target_id": null } ] }, { "name": "Clarke's similar expressions", "entity_id": "clarke_s_similar_expressions", "entity_type": "other", "aliases": [], "attributes": { "applies_to": "nu_2(S(n, 6)) and nu_2(S(n, 7))", "derived_from": "zeros of f_0,6(x) and f_0,7(x)", "model_entity_type": "mathematical_result" }, "relationships": [ { "predicate": "obtained_by", "target": "Clarke", "attributes": {}, "target_id": null } ] }, { "name": "f_0,6(x)", "entity_id": "f_0_6_x", "entity_type": "other", "aliases": [], "attributes": { "definition": "-6 - 20 * 3^x - 6 * 5^x", "model_entity_type": "mathematical_function" }, "relationships": [ { "predicate": "used_for", "target": "nu_2(S(n, 6))", "attributes": {}, "target_id": null } ] }, { "name": "f_0,7(x)", "entity_id": "f_0_7_x", "entity_type": "other", "aliases": [], "attributes": { "definition": "7 + 35 * 3^x + 21 * 5^x + 7^x", "model_entity_type": "mathematical_function" }, "relationships": [ { "predicate": "used_for", "target": "nu_2(S(n, 7))", "attributes": {}, "target_id": null } ] }, { "name": "Proof of main conjecture for k=5", "entity_id": "proof_of_main_conjecture_for_k_5", "entity_type": "other", "aliases": [], "attributes": { "goal": "prove main conjecture for k=5", "m_0": 3, "first_constant_level": 2, "model_entity_type": "mathematical_proof" }, "relationships": [ { "predicate": "verifies", "target": "m_0 - 1 = 2 is the first level for constant classes", "attributes": {}, "target_id": null } ] }, { "name": "Approximations for nu_2(S(n, 5))", "entity_id": "approximations_for_nu_2_s_n_5", "entity_type": "other", "aliases": [], "attributes": { "derivation": "empirical", "support": "belief that 2-adic valuations can be approximated by simple integer combinations of 2-adic valuations of integers", "model_entity_type": "mathematical_approximation" }, "relationships": [ { "predicate": "defined_by", "target": "I_1 = {x | 3^x mod 2^m}", "attributes": {}, "target_id": null } ] }, { "name": "I_1", "entity_id": "i_1", "entity_type": "other", "aliases": [], "attributes": { "definition": "{x | 3^x mod 2^m, m >= 0}", "model_entity_type": "set" }, "relationships": [ { "predicate": "defines_exceptions_for", "target": "nu_2(S(m, 5)) = nu_2(f_1(m)) unless m in I_1", "attributes": {}, "target_id": null } ] }, { "name": "Exceptions in I_1", "entity_id": "exceptions_in_i_1", "entity_type": "other", "aliases": [], "attributes": { "parity": "every third element is odd", "even_indices_progression": "2^5 * m + 156", "model_entity_type": "mathematical_property" }, "relationships": [ { "predicate": "applies_to", "target": "I_1", "attributes": {}, "target_id": null } ] }, { "name": "Illustrative data on nu_2(S(n, k))", "entity_id": "illustrative_data_on_nu_2_s_n_k", "entity_type": "other", "aliases": [], "attributes": { "features": "Empty area below the graph, fundamental function nu_2(n) located within, oscillation between two consecutive values ", "model_entity_type": "empirical_observation" }, "relationships": [ { "predicate": "shows_behavior_of", "target": "nu_2(S(n, 126)) and nu_2(S(n, 195)) and nu_2(S(n, 260))", "attributes": {}, "target_id": null } ] } ], "source": { "chunk_index": 7, "start_word": 3404, "end_word": 3892, "word_count": 488, "sha256": "93b667b2027ce5554816d7d790bacf0e0d0983c24f82f71efcc86bc129e5c8ec", "sentence_minhash": [ 315931021563575867, 1306423125707224, 365220491043541866, 141557533923110381, 148925132169520149, 62667647458868521, 12025634198112669, 152326886699586849, 121868570449012213, 92715222163426349, 78280491562202942, 139309872259060027, 8649321992247620, 58558631451210278, 213007863687822379, 69242845566341429 ] }, "extraction_warnings": [ "normalized unsupported entity type 'mathematical_formula' for 'nu_2(S(n, 5)) expression'", "normalized unsupported entity type 'mathematical_function' for 'f_0,5(x)'", "normalized unsupported entity type 'mathematical_constant' for 'u_0'", "normalized unsupported entity type 'mathematical_constant' for 'u_1'", "normalized unsupported entity type 'mathematical_result' for \"Clarke's similar expressions\"", "normalized unsupported entity type 'mathematical_function' for 'f_0,6(x)'", "normalized unsupported entity type 'mathematical_function' for 'f_0,7(x)'", "normalized unsupported entity type 'mathematical_proof' for 'Proof of main conjecture for k=5'", "normalized unsupported entity type 'mathematical_approximation' for 'Approximations for nu_2(S(n, 5))'", "normalized unsupported entity type 'set' for 'I_1'", "normalized unsupported entity type 'mathematical_property' for 'Exceptions in I_1'", "normalized unsupported entity type 'empirical_observation' for 'Illustrative data on nu_2(S(n, k))'" ] }, { "chunk_index": 8, "context_summary": "The text concludes by stating that a conjecture describing the 2-adic valuation of Stirling numbers of the second kind, S(n, k), has been presented. This conjecture has been successfully established for the specific case where k equals 5.", "entities": [ { "name": "conjecture on 2-adic valuation of Stirling numbers", "entity_id": "conjecture_on_2_adic_valuation_of_stirling_numbers", "entity_type": "concept", "aliases": [], "attributes": { "description": "Describes the 2-adic valuation of Stirling numbers S(n, k)", "status": "Established for k=5" }, "relationships": [ { "predicate": "established_for", "target": "k=5", "attributes": {}, "target_id": null } ] }, { "name": "Stirling numbers of the second kind", "entity_id": "stirling_numbers_of_the_second_kind", "entity_type": "concept", "aliases": [], "attributes": { "symbol": "S(n, k)" }, "relationships": [ { "predicate": "subject_of", "target": "conjecture on 2-adic valuation of Stirling numbers", "attributes": {}, "target_id": null } ] } ], "source": { "chunk_index": 8, "start_word": 3892, "end_word": 3926, "word_count": 34, "sha256": "9c6c78245db4d0d49749fb99cdf7e47d348e153cc310dbd361faac5c22f62e8c", "sentence_minhash": [ 1186993754061830951, 252963467709525922, 427846247254264662, 839972970238381384, 248181445042138913, 428209587723997907, 510041251351664276, 432606846409385059, 671633213597356161, 2401279320804024734, 78280491562202942, 1060340779092222405, 66824309535235066, 909713818676360156, 1844043544238636957, 296703126451676242 ] }, "extraction_warnings": [] } ], "canonical_entities": [] }, "chunks_expected": 9, "chunks_generated": 9, "failed_chunks": [], "repair": { "accepted_windows": 4, "rolled_back": false, "original_context_sha256": "c5dd267211ccc0663cae081af6b97430949bcd71d87a82274316e63409f3aa90", "final_context_sha256": "4cf497371c962be54fa9851cee110fe92f370005ad7644353541a1dd2468e96a", "critical_values": { "passed": true, "checks": { "numbers": true, "quantities": true, "formulas": true, "mathematical_variables": true, "operators": true }, "before": { "numbers": [ "2", "2", "2", "2", "2", "2", "2", "2", "2", "1", "8", "2", "2", "2", "2", "1", "2", "2", "2", "2", "0", "2", "2", "1", "1", "1", "5", "2", "2", "1", "2", "2", "2", "2", "4", "4", "2", "2", "2", "1", "4", "2", "2", "2", "2", "1", "2", "1", "2", "2", "2", "1", "2", "1", "0", "1", "2", "1", "2", "1", "1", "2", "2", "1", "3.2", "1", "5", "0", "1", "2", "2", "2", "1", "1", "2", "1", "3", "0", "1", "2", "3", "2", "2", "3", "5", "4", "6", "2", "3", "1", "0", "1", "-1", "1", "1", "1", "1", "1", "1", "1", "2", "1", "2", "1", "1", "1", "1", "1", "1", "1", "2", "2", "1", "1", "1", "0", "1", "1", "3", "3", "1", "2", "1", "1", "1", "2", "1", "1", "0", "1", "2", "3", "4", "3", "3", "2", "4", "3", "0", "1", "1", "3", "3", "2", "2", "4", "3", "2", "2", "3", "3", "1", "1", "2", "4", "1", "0", "1", "3", "4", "1", "4", "1", "6", "4", "3", "3", "2", "1", "1", "1", "6", "4", "3", "3", "2", "1", "1", "3", "8", "3", "1", "2", "-1", "1", "8", "3", "1", "8", "3", "1", "3", "1", "2", "1", "2", "4", "1", "5", "2", "0", "3", "0", "2", "5", "3", "5", "5", "1", "1", "4", "2", "1", "1", "3", "1", "4", "5", "1", "24", "5", "1", "4", "2", "3", "2", "1", "1", "0", "3", "0", "2", "0", "1", "2", "3", "3", "2", "2", "5", "2", "3", "1", "2", "3", "7", "5", "3", "2", "3", "1", "1", "3", "3", "1", "1", "2", "2", "1", "1", "6", "7", "1", "1", "3", "3.5", "5", "1", "1", "3.14", "32", "2", "5", "1", "4", "5", "2", "2", "3", "4", "7", "5", "2", "1", "5", "2", "1", "3.15", "4", "5", "2", "2", "4", "5", "3.17", "4", "4", "12", "2", "3", "7", "3", "3", "4", "7", "2", "3", "3", "0", "-1", "2", "5", "2", "5", "5", "1", "2", "5", "5", "-1", "-1", "3.28", "5", "5", "5", "1E+1", "3", "5", "2", "5", "5", "5", "1", "5", "6", "7", "6", "7", "6", "-6", "2E+1", "3", "6", "5", "6", "7", "7", "35", "3", "21", "5", "7", "7", "5", "5", "3", "2", "1", "2", "5", "2", "2", "3", "2", "3", "2", "0", "5", "2", "5", "156", "126", "195", "2.6E+2", "2", "5", "2", "2", "5", "5", "2" ], "quantities": [ [ "2", "m" ], [ "2", "m" ], [ "2", "m" ], [ "2", "m" ], [ "2", "m" ], [ "2", "m" ], [ "2", "m" ], [ "2", "m" ] ], "formulas": [ "-6-2E+1*3^x-6*5^x", "0≤k", "0≤k", "1-2^n", "1-x", "1/2", "1/2", "1/24", "1/6", "1/6", "1/k", "1/k", "1=2", "1=2", "1=2", "2<5", "2^2", "2^3", "2^5*m156", "2^m", "2^m", "2^m", "2^m", "2^m", "2^m", "2^m", "2^m-1", "2^m_0", "2^m_0", "3*2", "3^x", "3^x", "4*S", "43*2*S", "4^n-3^n-3*2", "4^n-3^n-3*2", "4^n2*3^n-2", "51E+1*3^x5*x", "735*3^x21*5^x7^x", "A(l,m)", "A(l,m)", "A(l,m)", "A(l,m)", "A(l,m)", "C(j,j)", "C(k,i)", "C(k,j)", "S(2n,k)", "S(2n,k)", "S(2n,k)", "S(2n,k)", "S(2n,k)", "S(2n,k)", "S(2n1,k1)", "S(2n1,k1)", "S(2n2,k2)", "S(4i,5)", "S(4i1,5)", "S(4i3,5)", "S(8i,5)", "S(8i,5)", "S(8i,5)", "S(8i,5)", "S(8i4,5)", "S(8i4,5)", "S(m,5)", "S(n,1)", "S(n,1)", "S(n,126)", "S(n,195)", "S(n,2.6E+2)", "S(n,3)", "S(n,3)", "S(n,3)", "S(n,3)", "S(n,3)", "S(n,3)", "S(n,3)", "S(n,4)", "S(n,4)", "S(n,4)", "S(n,4)", "S(n,4)", "S(n,5)", "S(n,5)", "S(n,5)", "S(n,5)", "S(n,5)", "S(n,5)", "S(n,5)", "S(n,5)", "S(n,5)", "S(n,6)", "S(n,6)", "S(n,7)", "S(n,7)", "S(n,k)", "S(n,k)", "S(n,k)", "S(n,k)", "S(n,k)", "S(n,k)", "S(n,k)", "S(n,k)", "S(n,k)", "S(n,k)", "S(n,k)", "S(n,k)", "S(n,k)", "S(n,k)", "S(n,k)", "S(n,k)", "S(n,k)", "S(n,k)", "S(n,k)", "S(n,k)", "S(n-1,3)", "S(n-1,3)", "S(n-1,3)", "S(n-1,4)", "S(n-1,4)", "S(n-1,k)", "S(n-1,k-1)", "S(n-2,3)", "b(l,m)", "b(l,m)", "i*C", "i+j", "i+j", "i=0", "i=7", "i≥1", "i≥2", "j=1", "j≥k", "k*S", "k-1", "k-1", "k-i", "k-j", "k1", "k1", "k1", "k2", "k=5", "k=5", "k=5", "k=5", "k=5", "k=5", "k=s", "k≤2", "k≤2", "l-1", "m+l", "m+m-1", "m-4", "m-k", "m-l", "m-l", "m-s", "m1", "m1", "m1", "m1", "m1", "m2", "m=1", "m_0-1", "m_0-1", "m_0-1", "m_0-1", "m_0-1", "m_0-1", "m≥0", "m≥4", "m≥4", "m≥m_0", "n-1", "n-1", "n-1", "n-1", "n-1", "n-1", "n-1", "n-1", "n-1", "n-2", "n-2", "n-u_0", "n-u_1", "n1", "n1", "n1", "n=4", "n=4", "n^j", "n≥k", "n≥k", "n≥k", "n≥k", "p(m!)", "p(m)", "p(m)", "p(m)", "p(r)", "p-1", "p-ν", "q_4i3", "q_4i3", "q_4i3", "q_4i=q_4i", "s≥k", "x^j/j^k" ], "mathematical_variables": [ "C_1", "C_1", "C_2", "C_2", "C_2", "C_2", "C_2", "C_2", "C_2", "C_2", "C_2", "C_2", "C_2", "C_2", "C_2", "C_3", "C_3", "C_3", "C_3", "C_3", "C_3", "C_3", "C_3", "C_3", "C_3", "C_3", "C_3", "C_4", "C_4", "C_m", "C_m", "C_m", "C_m", "C_m", "C_m", "C_m", "C_m", "C_m", "C_m", "C_m", "C_m", "I_1", "I_1", "I_1", "I_1", "I_1", "L_1", "L_1", "L_2", "L_2", "L_k", "L_k", "T_p", "T_p", "T_p", "Z_2", "Z_2", "Z_2", "a_pattern", "c_valuation", "c_valuation", "c_valuation", "c_valuation", "c_valuation", "d_by", "d_by", "d_by", "d_by", "d_by", "d_by", "d_by", "d_by", "d_by", "d_by", "d_by", "d_by", "d_for", "d_for", "d_for", "d_for", "d_for", "d_for", "d_for", "d_for", "d_for", "d_for", "d_for", "d_for", "d_from", "d_from", "d_from", "d_from", "d_from", "d_from", "d_from", "d_from", "d_from_recurrence", "d_from_recurrence", "d_in", "d_in", "d_in", "d_in", "d_in", "d_in", "d_m_value", "d_n_valuation", "d_n_valuation", "d_to", "d_to", "e_case", "e_if_n_is_even", "e_if_n_is_odd", "e_if_nu_2_k_is_0", "e_if_nu_2_k_plus_1_is_greater_than_1", "e_of_α_l", "e_of_β_l", "f_0", "f_0", "f_0", "f_0", "f_0", "f_0", "f_0", "f_0", "f_0", "f_1", "i_k", "l_approximation", "l_case_established", "l_class", "l_class", "l_classes", "l_concept", "l_concept", "l_concept", "l_concept", "l_concept", "l_constant", "l_constant", "l_entity_type", "l_entity_type", "l_entity_type", "l_entity_type", "l_entity_type", "l_entity_type", "l_entity_type", "l_entity_type", "l_entity_type", "l_entity_type", "l_entity_type", "l_entity_type", "l_entity_type", "l_entity_type", "l_entity_type", "l_entity_type", "l_entity_type", "l_entity_type", "l_entity_type", "l_entity_type", "l_entity_type", "l_entity_type", "l_entity_type", "l_entity_type", "l_entity_type", "l_entity_type", "l_entity_type", "l_entity_type", "l_entity_type", "l_entity_type", "l_entity_type", "l_entity_type", "l_entity_type", "l_entity_type", "l_entity_type", "l_entity_type", "l_entity_type", "l_entity_type", "l_entity_type", "l_entity_type", "l_entity_type", "l_entity_type", "l_entity_type", "l_entity_type", "l_entity_type", "l_entity_type", "l_entity_type", "l_entity_type", "l_entity_type", "l_entity_type", "l_entity_type", "l_entity_type", "l_entity_type", "l_entity_type", "l_expression", "l_expression", "l_expression", "l_expression", "l_expression", "l_expression", "l_formula", "l_function", "l_function", "l_function", "l_function", "l_function", "l_function", "l_function", "l_function", "l_function", "l_function", "l_function", "l_hypothesis", "l_object", "l_object", "l_observation", "l_parameter", "l_parameter", "l_proof", "l_property", "l_property", "l_result", "l_result", "l_result", "l_result", "l_result", "l_sequence", "l_sequence", "l_sequence", "l_set", "l_statement", "l_statement", "l_structure", "l_sum_notation", "l_theorem", "l_valuation", "l_values", "m_0", "m_0", "m_0", "m_0", "m_0", "m_0", "m_0", "m_0", "m_0", "m_0", "m_0", "m_0", "m_0", "m_0", "m_0", "n_by", "n_derived_from", "n_indices_progression", "n_m_value", "n_n_even", "n_n_odd", "n_n_valuation", "n_n_valuation", "n_property", "n_studied", "n_to", "q_4i", "q_4i", "q_4i", "q_4i", "q_4i", "q_4i", "q_n", "r_bound", "s_2", "s_2", "s_2", "s_2", "s_2", "s_2", "s_2", "s_2", "s_2", "s_2", "s_2", "s_2", "s_2", "s_behavior_of", "s_condition", "s_constant_class", "s_constant_class", "s_exceptions_for", "s_first_constant_level", "s_first_constant_level", "s_into", "s_into", "s_polynomials", "s_recurrence", "s_sequence", "s_to", "s_to", "s_to", "s_to", "s_valuation", "s_zeros", "t_1", "t_2", "t_constant_level", "t_example", "t_formula", "t_formula", "t_id", "t_id", "t_id", "t_id", "t_id", "t_id", "t_id", "t_id", "t_id", "t_id", "t_id", "t_id", "t_id", "t_id", "t_id", "t_id", "t_id", "t_id", "t_id", "t_id", "t_id", "t_id", "t_id", "t_id", "t_id", "t_id", "t_id", "t_id", "t_id", "t_id", "t_id", "t_id", "t_id", "t_id", "t_id", "t_id", "t_id", "t_id", "t_id", "t_id", "t_id", "t_id", "t_id", "t_id", "t_id", "t_id", "t_id", "t_id", "t_id", "t_id", "t_id", "t_id", "t_id", "t_id", "t_id", "t_id", "t_id", "t_id", "t_id", "t_id", "t_id", "t_id", "t_id", "t_id", "t_id", "t_id", "t_id", "t_id", "t_id", "t_id", "t_id", "t_id", "t_id", "t_id", "t_id", "t_id", "t_id", "t_id", "t_id", "t_id", "t_id", "t_id", "t_id", "t_id", "t_id", "t_id", "t_if", "t_of", "t_of", "t_of", "t_summary", "t_summary", "t_summary", "t_summary", "t_summary", "t_summary", "t_summary", "t_summary", "t_summary", "t_to", "u_0", "u_0", "u_0", "u_0", "u_1", "u_1", "u_1", "u_1", "u_2", "u_2", "u_2", "u_2", "u_2", "u_2", "u_2", "u_2", "u_2", "u_2", "u_2", "u_2", "u_2", "u_2", "u_2", "u_2", "u_2", "u_2", "u_2", "u_2", "u_2", "u_2", "u_2", "u_2", "u_2", "u_2", "u_2", "u_2", "u_2", "u_2", "u_2", "u_2", "u_2", "u_2_value_if_n_is_even", "u_2_value_if_n_is_odd", "u_p", "u_p", "α", "α", "α", "β", "β", "β", "ν", "ν", "ν", "ν", "ν", "ν", "ν", "ν", "ν", "ν", "ν", "ν", "ν", "ν", "ν", "ν", "ν", "ν", "ν" ], "operators": [ "=", "=", "=", "<=", "<=", "=", "=", "=", ">=", ">=", ">=", ">=", "<", "<=", ">=", "∈", "≥", "=", ">=", "<", "<=", ">=", "=", "=", "=", "=", "=", "<=", "<=", ">=", "!=", "=", "=", ">=", "<", "<=", "=", "=", "=", "=", "=", ">=", "=", "=", ">=", "=", ">=", "=", "=", "=", "=", "=", "=", "=", "=", ">=", "=", "=", "=" ] }, "after": { "numbers": [ "2", "2", "2", "2", "2", "2", "2", "2", "2", "1", "8", "2", "2", "2", "2", "1", "2", "2", "2", "2", "0", "2", "2", "1", "1", "1", "5", "2", "2", "1", "2", "2", "2", "2", "4", "4", "2", "2", "2", "1", "4", "2", "2", "2", "2", "1", "2", "1", "2", "2", "2", "1", "2", "1", "0", "1", "2", "1", "2", "1", "1", "2", "2", "1", "3.2", "1", "5", "0", "1", "2", "2", "2", "1", "1", "2", "1", "3", "0", "1", "2", "3", "2", "2", "3", "5", "4", "6", "2", "3", "1", "0", "1", "-1", "1", "1", "1", "1", "1", "1", "1", "2", "1", "2", "1", "1", "1", "1", "1", "1", "1", "2", "2", "1", "1", "1", "0", "1", "1", "3", "3", "1", "2", "1", "1", "1", "2", "1", "1", "0", "1", "2", "3", "4", "3", "3", "2", "4", "3", "0", "1", "1", "3", "3", "2", "2", "4", "3", "2", "2", "3", "3", "1", "1", "2", "4", "1", "0", "1", "3", "4", "1", "4", "1", "6", "4", "3", "3", "2", "1", "1", "1", "6", "4", "3", "3", "2", "1", "1", "3", "8", "3", "1", "2", "-1", "1", "8", "3", "1", "8", "3", "1", "3", "1", "2", "1", "2", "4", "1", "5", "2", "0", "3", "0", "2", "5", "3", "5", "5", "1", "1", "4", "2", "1", "1", "3", "1", "4", "5", "1", "24", "5", "1", "4", "2", "3", "2", "1", "1", "0", "3", "0", "2", "0", "1", "2", "3", "3", "2", "2", "5", "2", "3", "1", "2", "3", "7", "5", "3", "2", "3", "1", "1", "3", "3", "1", "1", "2", "2", "1", "1", "6", "7", "1", "1", "3", "3.5", "5", "1", "1", "3.14", "32", "2", "5", "1", "4", "5", "2", "2", "3", "4", "7", "5", "2", "1", "5", "2", "1", "3.15", "4", "5", "2", "2", "4", "5", "3.17", "4", "4", "12", "2", "3", "7", "3", "3", "4", "7", "2", "3", "3", "0", "-1", "2", "5", "2", "5", "5", "1", "2", "5", "5", "-1", "-1", "3.28", "5", "5", "5", "1E+1", "3", "5", "2", "5", "5", "5", "1", "5", "6", "7", "6", "7", "6", "-6", "2E+1", "3", "6", "5", "6", "7", "7", "35", "3", "21", "5", "7", "7", "5", "5", "3", "2", "1", "2", "5", "2", "2", "3", "2", "3", "2", "0", "5", "2", "5", "156", "126", "195", "2.6E+2", "2", "5", "2", "2", "5", "5", "2" ], "quantities": [ [ "2", "m" ], [ "2", "m" ], [ "2", "m" ], [ "2", "m" ], [ "2", "m" ], [ "2", "m" ], [ "2", "m" ], [ "2", "m" ] ], "formulas": [ "-6-2E+1*3^x-6*5^x", "0≤k", "0≤k", "1-2^n", "1-x", "1/2", "1/2", "1/24", "1/6", "1/6", "1/k", "1/k", "1=2", "1=2", "1=2", "2<5", "2^2", "2^3", "2^5*m156", "2^m", "2^m", "2^m", "2^m", "2^m", "2^m", "2^m", "2^m-1", "2^m_0", "2^m_0", "3*2", "3^x", "3^x", "4*S", "43*2*S", "4^n-3^n-3*2", "4^n-3^n-3*2", "4^n2*3^n-2", "51E+1*3^x5*x", "735*3^x21*5^x7^x", "A(l,m)", "A(l,m)", "A(l,m)", "A(l,m)", "A(l,m)", "C(j,j)", "C(k,i)", "C(k,j)", "S(2n,k)", "S(2n,k)", "S(2n,k)", "S(2n,k)", "S(2n,k)", "S(2n,k)", "S(2n1,k1)", "S(2n1,k1)", "S(2n2,k2)", "S(4i,5)", "S(4i1,5)", "S(4i3,5)", "S(8i,5)", "S(8i,5)", "S(8i,5)", "S(8i,5)", "S(8i4,5)", "S(8i4,5)", "S(m,5)", "S(n,1)", "S(n,1)", "S(n,126)", "S(n,195)", "S(n,2.6E+2)", "S(n,3)", "S(n,3)", "S(n,3)", "S(n,3)", "S(n,3)", "S(n,3)", "S(n,3)", "S(n,4)", "S(n,4)", "S(n,4)", "S(n,4)", "S(n,4)", "S(n,5)", "S(n,5)", "S(n,5)", "S(n,5)", "S(n,5)", "S(n,5)", "S(n,5)", "S(n,5)", "S(n,5)", "S(n,6)", "S(n,6)", "S(n,7)", "S(n,7)", "S(n,k)", "S(n,k)", "S(n,k)", "S(n,k)", "S(n,k)", "S(n,k)", "S(n,k)", "S(n,k)", "S(n,k)", "S(n,k)", "S(n,k)", "S(n,k)", "S(n,k)", "S(n,k)", "S(n,k)", "S(n,k)", "S(n,k)", "S(n,k)", "S(n,k)", "S(n,k)", "S(n-1,3)", "S(n-1,3)", "S(n-1,3)", "S(n-1,4)", "S(n-1,4)", "S(n-1,k)", "S(n-1,k-1)", "S(n-2,3)", "b(l,m)", "b(l,m)", "i*C", "i+j", "i+j", "i=0", "i=7", "i≥1", "i≥2", "j=1", "j≥k", "k*S", "k-1", "k-1", "k-i", "k-j", "k1", "k1", "k1", "k2", "k=5", "k=5", "k=5", "k=5", "k=5", "k=5", "k=s", "k≤2", "k≤2", "l-1", "m+l", "m+m-1", "m-4", "m-k", "m-l", "m-l", "m-s", "m1", "m1", "m1", "m1", "m1", "m2", "m=1", "m_0-1", "m_0-1", "m_0-1", "m_0-1", "m_0-1", "m_0-1", "m≥0", "m≥4", "m≥4", "m≥m_0", "n-1", "n-1", "n-1", "n-1", "n-1", "n-1", "n-1", "n-1", "n-1", "n-2", "n-2", "n-u_0", "n-u_1", "n1", "n1", "n1", "n=4", "n=4", "n^j", "n≥k", "n≥k", "n≥k", "n≥k", "p(m!)", "p(m)", "p(m)", "p(m)", "p(r)", "p-1", "p-ν", "q_4i3", "q_4i3", "q_4i3", "q_4i=q_4i", "s≥k", "x^j/j^k" ], "mathematical_variables": [ "C_1", "C_1", "C_2", "C_2", "C_2", "C_2", "C_2", "C_2", "C_2", "C_2", "C_2", "C_2", "C_2", "C_2", "C_2", "C_3", "C_3", "C_3", "C_3", "C_3", "C_3", "C_3", "C_3", "C_3", "C_3", "C_3", "C_3", "C_4", "C_4", "C_m", "C_m", "C_m", "C_m", "C_m", "C_m", "C_m", "C_m", "C_m", "C_m", "C_m", "C_m", "I_1", "I_1", "I_1", "I_1", "I_1", "L_1", "L_1", "L_2", "L_2", "L_k", "L_k", "T_p", "T_p", "T_p", "Z_2", "Z_2", "Z_2", "a_pattern", "c_valuation", "c_valuation", "c_valuation", "c_valuation", "c_valuation", "d_by", "d_by", "d_by", "d_by", "d_by", "d_by", "d_by", "d_by", "d_by", "d_by", "d_by", "d_by", "d_for", "d_for", "d_for", "d_for", "d_for", "d_for", "d_for", "d_for", "d_for", "d_for", "d_for", "d_for", "d_from", "d_from", "d_from", "d_from", "d_from", "d_from", "d_from", "d_from", "d_from_recurrence", "d_from_recurrence", "d_in", "d_in", "d_in", "d_in", "d_in", "d_in", "d_m_value", "d_n_valuation", "d_n_valuation", "d_to", "d_to", "e_case", "e_if_n_is_even", "e_if_n_is_odd", "e_if_nu_2_k_is_0", "e_if_nu_2_k_plus_1_is_greater_than_1", "e_of_α_l", "e_of_β_l", "f_0", "f_0", "f_0", "f_0", "f_0", "f_0", "f_0", "f_0", "f_0", "f_1", "i_k", "l_approximation", "l_case_established", "l_class", "l_class", "l_classes", "l_concept", "l_concept", "l_concept", "l_concept", "l_concept", "l_constant", "l_constant", "l_entity_type", "l_entity_type", "l_entity_type", "l_entity_type", "l_entity_type", "l_entity_type", "l_entity_type", "l_entity_type", "l_entity_type", "l_entity_type", "l_entity_type", "l_entity_type", "l_entity_type", "l_entity_type", "l_entity_type", "l_entity_type", "l_entity_type", "l_entity_type", "l_entity_type", "l_entity_type", "l_entity_type", "l_entity_type", "l_entity_type", "l_entity_type", "l_entity_type", "l_entity_type", "l_entity_type", "l_entity_type", "l_entity_type", "l_entity_type", "l_entity_type", "l_entity_type", "l_entity_type", "l_entity_type", "l_entity_type", "l_entity_type", "l_entity_type", "l_entity_type", "l_entity_type", "l_entity_type", "l_entity_type", "l_entity_type", "l_entity_type", "l_entity_type", "l_entity_type", "l_entity_type", "l_entity_type", "l_entity_type", "l_entity_type", "l_entity_type", "l_entity_type", "l_entity_type", "l_entity_type", "l_entity_type", "l_expression", "l_expression", "l_expression", "l_expression", "l_expression", "l_expression", "l_formula", "l_function", "l_function", "l_function", "l_function", "l_function", "l_function", "l_function", "l_function", "l_function", "l_function", "l_function", "l_hypothesis", "l_object", "l_object", "l_observation", "l_parameter", "l_parameter", "l_proof", "l_property", "l_property", "l_result", "l_result", "l_result", "l_result", "l_result", "l_sequence", "l_sequence", "l_sequence", "l_set", "l_statement", "l_statement", "l_structure", "l_sum_notation", "l_theorem", "l_valuation", "l_values", "m_0", "m_0", "m_0", "m_0", "m_0", "m_0", "m_0", "m_0", "m_0", "m_0", "m_0", "m_0", "m_0", "m_0", "m_0", "n_by", "n_derived_from", "n_indices_progression", "n_m_value", "n_n_even", "n_n_odd", "n_n_valuation", "n_n_valuation", "n_property", "n_studied", "n_to", "q_4i", "q_4i", "q_4i", "q_4i", "q_4i", "q_4i", "q_n", "r_bound", "s_2", "s_2", "s_2", "s_2", "s_2", "s_2", "s_2", "s_2", "s_2", "s_2", "s_2", "s_2", "s_2", "s_behavior_of", "s_condition", "s_constant_class", "s_constant_class", "s_exceptions_for", "s_first_constant_level", "s_first_constant_level", "s_into", "s_into", "s_polynomials", "s_recurrence", "s_sequence", "s_to", "s_to", "s_to", "s_to", "s_valuation", "s_zeros", "t_1", "t_2", "t_constant_level", "t_example", "t_formula", "t_formula", "t_id", "t_id", "t_id", "t_id", "t_id", "t_id", "t_id", "t_id", "t_id", "t_id", "t_id", "t_id", "t_id", "t_id", "t_id", "t_id", "t_id", "t_id", "t_id", "t_id", "t_id", "t_id", "t_id", "t_id", "t_id", "t_id", "t_id", "t_id", "t_id", "t_id", "t_id", "t_id", "t_id", "t_id", "t_id", "t_id", "t_id", "t_id", "t_id", "t_id", "t_id", "t_id", "t_id", "t_id", "t_id", "t_id", "t_id", "t_id", "t_id", "t_id", "t_id", "t_id", "t_id", "t_id", "t_id", "t_id", "t_id", "t_id", "t_id", "t_id", "t_id", "t_id", "t_id", "t_id", "t_id", "t_id", "t_id", "t_id", "t_id", "t_id", "t_id", "t_id", "t_id", "t_id", "t_id", "t_id", "t_id", "t_id", "t_id", "t_id", "t_id", "t_id", "t_id", "t_id", "t_id", "t_id", "t_if", "t_of", "t_of", "t_of", "t_summary", "t_summary", "t_summary", "t_summary", "t_summary", "t_summary", "t_summary", "t_summary", "t_summary", "t_to", "u_0", "u_0", "u_0", "u_0", "u_1", "u_1", "u_1", "u_1", "u_2", "u_2", "u_2", "u_2", "u_2", "u_2", "u_2", "u_2", "u_2", "u_2", "u_2", "u_2", "u_2", "u_2", "u_2", "u_2", "u_2", "u_2", "u_2", "u_2", "u_2", "u_2", "u_2", "u_2", "u_2", "u_2", "u_2", "u_2", "u_2", "u_2", "u_2", "u_2", "u_2", "u_2_value_if_n_is_even", "u_2_value_if_n_is_odd", "u_p", "u_p", "α", "α", "α", "β", "β", "β", "ν", "ν", "ν", "ν", "ν", "ν", "ν", "ν", "ν", "ν", "ν", "ν", "ν", "ν", "ν", "ν", "ν", "ν", "ν" ], "operators": [ "=", "=", "=", "<=", "<=", "=", "=", "=", ">=", ">=", ">=", ">=", "<", "<=", ">=", "∈", "≥", "=", ">=", "<", "<=", ">=", "=", "=", "=", "=", "=", "<=", "<=", ">=", "!=", "=", "=", ">=", "<", "<=", "=", "=", "=", "=", "=", ">=", "=", "=", ">=", "=", ">=", "=", "=", "=", "=", "=", "=", "=", "=", ">=", "=", "=", "=" ] }, "numeric_content_present": true, "formula_content_present": true, "exact_text_unchanged": false, "interpretation": "Conservative preservation filter; changed signatures require review and can include harmless reordering or equivalent unit/algebra conversions" } }, "condition": "gemma4_r128_ku500_bt", "source_metadata": { "title": "THE 2-ADIC VALUATION OF STIRLING NUMBERS", "authors": [ "Tewodros Amdeberhan", "Dante V Manna", "Victor H Moll" ], "doi": "10.1080/10586458.2008.10129026", "year": "", "openalex_id": "https://openalex.org/W2044773284", "origin": "Existing disjoint 20-paper benchmark cohort", "metadata_added_for_attribution_only": true, "metadata_not_used_to_change_QA_context": true } }