Full-paper Knowledge Units · saved output
Qwen 3.8 27B FP8 · teacher · 500-word source chunks · guarded TranslateGemma 4B back-translation
Complete extractionLongest literal run: 15 wordsThis condition scores 90.0% (180/200) across all 20 evaluation papers. The example page does not imply that every claim in this individual paper is correct.
Every saved KU, entity, attribute and relationship is shown below, in original chunk order. Navigation follows the source sequence rather than publication dates. Adjacent summaries are reader navigation, not lookahead supplied to extraction. All KUs were generated before the paraphrasing stage. Download complete factual KU JSON.
Original paper: 10.1080/10586458.2008.10129026
6 entities · 5 relationships · 0 preceding KUs available during extraction
The text defines p-adic valuations and metrics, highlighting Legendre's formula for factorials and its application to Kummer's identity for binomial coefficients. It establishes the p-adic metric on rational numbers and defines the field of p-adic numbers and the ring of p-adic integers as the completion of the rationals.
extended_to → rational numbersprovides_proof_for → Kummer's identityderived_from → Legendre's formuladefines_completion_of → field of p-adic numberscontains → ring of p-adic integersNo relationships recorded.
{
"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": []
}15 entities · 12 relationships · 1 preceding KUs available during extraction
The text defines the sequence b_{l,m} arising from a definite integral and relates its 2-adic valuation to the coefficients A_{l,m}. It refers to the results of H. Cohen on the 2-adic valuations of partial sums of poly-logarithmic series. The paper introduces the Stirling numbers of the second kind and presents a main conjecture regarding their 2-adic valuation.
appears_in → definite integral N_{0,4}(a; m)No relationships recorded.
derived_from → b_{l,m}involves_polynomial → \alpha_linvolves_polynomial → \beta_lNo relationships recorded.
No relationships recorded.
No attributes recorded.
established → Corollary 1.3describes_valuation_of → A_{l,m}No attributes recorded.
proved_results_on → partial sums of polylogarithmic seriesNo relationships recorded.
is_partial_sum_of → polylogarithmic series Li_k(x)proved_by → H. Cohenproved_by → H. Cohenanalyzed_in → current paperconcerns → Stirling numbers of the second kind S(n, k)No relationships recorded.
{
"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 'sequence' for 'b_{l,m}'",
"normalized unsupported entity type 'mathematical_expression' for 'definite integral N_{0,4}(a; m)'",
"normalized unsupported entity type 'coefficient' for 'A_{l,m}'",
"normalized unsupported entity type 'polynomial' for '\\\\alpha_l'",
"normalized unsupported entity type 'polynomial' for '\\\\beta_l'",
"normalized unsupported entity type 'mathematical_result' for 'Corollary 1.3'",
"normalized unsupported entity type 'mathematical_series' for 'polylogarithmic series Li_k(x)'",
"normalized unsupported entity type 'mathematical_function' for 'L_k(n)'",
"normalized unsupported entity type 'mathematical_property' for '2-adic valuation of L_1(2^m)'",
"normalized unsupported entity type 'mathematical_property' for '2-adic valuation of L_2(2^m)'",
"normalized unsupported entity type 'mathematical_object' for 'Stirling numbers of the second kind S(n, k)'",
"normalized unsupported entity type 'mathematical_conjecture' for 'Main conjecture'",
"normalized unsupported entity type 'set' for 'C_{m,j}'"
]
}7 entities · 8 relationships · 2 preceding KUs available during extraction
The text defines the 2-adic valuation of Stirling number classes and introduces the concept of m-levels as a partition of integers. It presents a main conjecture regarding the structure of these levels, specifically identifying the first level with constant classes and the stable number of classes at higher levels. An example is provided for Stirling numbers of the second kind with k=11.
has_valuation_set → nu_2(C_{m,j})has_constant_value → constant of the classhas_constant_valuation → 0has_constant_valuation → 0splitting_rule → Each class C_{m-1,ij} splits into C_{m,ij} and C_{m,ij + 2^{m-1}}predicts_first_constant_level → m_0 - 1predicts_stable_class_count → 2^{m_0 - 2}conjecture_prediction → 3-level is first with constant classes; each subsequent level has exactly four classes{
"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": []
}8 entities · 2 relationships · 3 preceding KUs available during extraction
The text details the 2-adic valuation of Stirling numbers of the second kind, noting that the four classes at the 2-level have non-constant valuations. It presents explicit formulas, generating functions, and recurrences for these numbers, along with specific valuation results for powers of two and nearby integers. The section concludes by providing elementary formulas and valuation properties for Stirling numbers with small k values (1 to 4).
No relationships recorded.
No relationships recorded.
expansion_identity → x^n = sum_{k=0}^n S(n, k)(x-k+1)^kstates → nu_2(S(2^n, k)) = s_2(k) - 1No relationships recorded.
No relationships recorded.
No relationships recorded.
No relationships recorded.
{
"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_object' for 'Stirling numbers of the second kind S(n, k)'",
"normalized unsupported entity type 'mathematical_claim' for \"Lengyel's conjecture\"",
"normalized unsupported entity type 'function' for 's_2(k)'",
"normalized unsupported entity type 'mathematical_result' for \"De Wannemacker's inequality\"",
"normalized unsupported entity type 'mathematical_object' for 'S(n, 1)'",
"normalized unsupported entity type 'mathematical_object' for 'S(n, 3)'"
]
}4 entities · 6 relationships · 4 preceding KUs available during extraction
The text derives the 2-adic valuation of Stirling numbers of the second kind for k=3 and k=4 using recurrence relations and the ultrametric inequality. It establishes that the valuation for S(n, 3) is 0 for odd n and 1 for even n, while for S(n, 4) it is 1 for odd n and 0 for even n.
derived_from → recurrence (1.29)second_proof_uses → ultrametric inequalityequivalent_to → equation (1.6)leads_to_valuation → ν_2(3^(m+1))derived_from → equation (1.27)uses_recurrence → S(n, 4) = S(n -1, 3) + 4S(n -1, 4){
"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": []
}7 entities · 10 relationships · 5 preceding KUs available during extraction
The text derives the 2-adic valuation for Stirling numbers of the second kind with k=4 and introduces the analysis for k=5. It defines the m-level structure for k=5, identifying constant classes at the 2-level and reducing the valuation problem to specific congruence classes modulo 4. A proposition is provided proving that the valuation is 1 for indices that are multiples of 8.
derived_from → recurrence relation (2.16)depends_on → nu_2(S(n-1, 3)) = 1analyzed_via → m-levelssatisfies_proposition → Proposition 3.5confirms → main conjectureNo attributes recorded.
reduces_analysis_to → indices n ≡ 0 or 3 mod 4first_instance → i = 7sequence → {7, 39, 71, 103, ...}proven_by → modular arithmetic analysis of identity (3.14)derives → 5^(8i-1) ≡ 13{
"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 'finding' for 'Proposition 3.5'"
]
}10 entities · 11 relationships · 6 preceding KUs available during extraction
The text derives 2-adic valuation properties for the second-order Stirling numbers for k=5, in particular for indices that are congruent to 4, 3, and 7 modulo 8. It identifies the 3-stage classes for k=5 and describes the process of dividing them into 4-stage classes. The section concludes by introducing Stirling-like numbers defined by Lundell and a conjecture by Clarke relating their valuations to standard Stirling numbers.
has_2_adic_valuation → 1has_2_adic_valuation_at_least → 2states_valuation_bound → nu_2(S(8i + 4, 5)) >= 2implies_valuation_for_k_5 → nu_2(S(n, 5)) = 1 for n = a * 2^q with q >= 3has_2_adic_valuation → 1has_2_adic_valuation_at_least → 2illustrates → main conjecturesplits_into → C_{4,4}splits_into → C_{4,12}studied_by → Lundellproposed_by → Clarke{
"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 'Stirling numbers of the second kind S(8i, 5)'",
"normalized unsupported entity type 'mathematical_expression' for 'Stirling numbers of the second kind S(8i + 4, 5)'",
"normalized unsupported entity type 'mathematical_statement' for 'Proposition 3.6'",
"normalized unsupported entity type 'mathematical_theorem' for \"Lengyel's result\"",
"normalized unsupported entity type 'mathematical_expression' for 'Stirling numbers of the second kind S(8i + 3, 5)'",
"normalized unsupported entity type 'mathematical_expression' for 'Stirling numbers of the second kind S(8i + 7, 5)'",
"normalized unsupported entity type 'mathematical_structure' for '3-level for k=5'",
"normalized unsupported entity type 'mathematical_class' for 'C_{3,4}'",
"normalized unsupported entity type 'mathematical_sequence' for \"Lundell's Stirling-like numbers T_p(n, k)\"",
"normalized unsupported entity type 'mathematical_conjecture' for \"Clarke's conjecture\""
]
}11 entities · 14 relationships · 7 preceding KUs available during extraction
The text presents a theorem expressing the 2-adic valuation of Stirling numbers of the second kind for k=5 in terms of 2-adic zeros of a specific function, contingent on a prior conjecture. It notes that similar expressions exist for k=6 and k=7. The section outlines the proof strategy for the main conjecture at k=5 and introduces empirical approximations and graphical observations regarding the valuation behavior.
defines_valuation_for_even_n_as → -1 + v_2(n - u_0)defines_valuation_for_odd_n_as → -1 + v_2(n - u_1)has_zero → u_0has_zero → u_1belongs_to → 2Z_2belongs_to → 1 + 2Z_2No attributes recorded.
obtained_expressions_for → v_2(S(n, 6)) and v_2(S(n, 7))used_for_valuation_of → S(n, 6)used_for_valuation_of → S(n, 7)is_proven_in_section_4 → trueodd_elements_pattern → every third element is oddeven_indices_progression → 256m + 156shows_basic_function → v_2(n)display_oscillation_between → two consecutive values{
"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 'theorem' for 'Theorem 3.8'",
"normalized unsupported entity type 'function' for 'f_{0,5}(x)'",
"normalized unsupported entity type 'function' for 'f_{0,6}(x)'",
"normalized unsupported entity type 'function' for 'f_{0,7}(x)'",
"normalized unsupported entity type 'conjecture' for 'Main conjecture for k=5'",
"normalized unsupported entity type 'set' for 'I_1'",
"normalized unsupported entity type 'data_visualization' for 'Graph of v_2(S(n, 126))'",
"normalized unsupported entity type 'data_visualization' for 'Graphs of v_2(S(n, 195)) and v_2(S(n, 260))'"
]
}2 entities · 2 relationships · 8 preceding KUs available during extraction
The authors acknowledge a lack of explanation for certain observed features. They present a conjecture regarding the 2-adic valuation of Stirling numbers of the second kind, which has been proven for the case where k equals 5.
describes → 2-adic valuation of Stirling numbers S(n, k)No attributes recorded.
subject_of_conjecture → conjecture on 2-adic valuation of Stirling numbers{
"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": []
}