Full-paper Knowledge Units · saved output

THE 2-ADIC VALUATION OF STIRLING NUMBERS

Gemma 4 12B IT · KU LoRA rank 128 · 1,000-word source chunks · guarded TranslateGemma 4B back-translation

Complete extractionLongest literal run: 15 words

Source title: THE 2-ADIC VALUATION OF STIRLING NUMBERS
Source authors: Tewodros Amdeberhan; Dante V Manna; Victor H Moll
KU document title: THE 2-ADIC VALUATION OF STIRLING NUMBERS
KU document author field: Not populated by the original extractor
Style annotation: No dedicated document-style field in this schema
KU sequence: 4 of 4 expected chunks
Attribution provenance: Source registry metadata shown for attribution; not added to the QA context

This condition scores 84.0% (168/200) across all 20 evaluation papers. The example page does not imply that every claim in this individual paper is correct.

Gemma 4 12B IT · KU LoRA rank 128 · 500 words Gemma 4 12B IT · KU LoRA rank 128 · 1,000 words Gemma 4 E4B IT · KU LoRA rank 128 · 500 words Gemma 4 E4B IT · KU LoRA rank 128 · 1,000 words Qwen 3.8 27B FP8 · teacher · 500 words Qwen 3.8 27B FP8 · teacher · 1,000 words

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

Jump to KU: 1 2 3 4

KU 1 · source words 1–978

15 entities · 19 relationships · 0 preceding KUs available during extraction

Recorded context summary

The text introduces the 2-adic valuation of Stirling numbers of the second kind and reviews related results in p-adic analysis. It defines the p-adic valuation, the p-adic metric, and the ring of p-adic integers. The authors present a conjecture regarding the 2-adic valuation of Stirling numbers based on an algorithm involving specific sets of integers.

Tewodros Amdeberhan

person · ID: tewodros_amdeberhan

role: author

Relationships

co_authored → Dante V Manna
co_authored → Victor H Moll

Dante V Manna

person · ID: dante_v_manna

role: author

Relationships

co_authored → Tewodros Amdeberhan
co_authored → Victor H Moll

Victor H Moll

person · ID: victor_h_moll

role: author

Relationships

co_authored → Tewodros Amdeberhan
co_authored → Dante V Manna

p-adic valuation

concept · ID: p_adic_valuation

notation: ν_p(m)
definition: highest power of p that divides m

Relationships

applied_to → Stirling numbers of the second kind
extended_to → Rational numbers (Q)

Stirling numbers of the second kind

concept · ID: stirling_numbers_of_the_second_kind

notation: S(n, k)
definition: number of ways to partition a set of n elements into exactly k nonempty subsets

Relationships

subject_of_analysis → 2-adic valuation

Legendre's identity

method · ID: legendre_s_identity

formula: ν_p(m!) = (m - s_p(m)) / (p - 1)
s_p(m): sum of base p digits of m

Relationships

provides_proof_for → Kummer's identity

Kummer's identity

method · ID: kummer_s_identity

formula: ν_2(m choose k) = s_2(k) + s_2(m - k) - s_2(m)

Relationships

proven_by → Legendre's identity

p-adic metric

measurement · ID: p_adic_metric

formula: |r|_p = p^(-ν_p(r))
property: satisfies ultrametric inequality

Relationships

defines → p-adic numbers (Q_p)

ring of p-adic integers

concept · ID: ring_of_p_adic_integers

notation: Z_p
definition: set of x in Q_p such that |x|_p <= 1

Relationships

analogous_to → integers (Z) inside rational numbers (Q)

J. Little

person · ID: j_little

role: researcher

Relationships

established → Corollary 1.3

Corollary 1.3

other · ID: corollary_1_3

formula: ν_2(A_{l,m}) = 3l - s_2(m + l) + s_2(m - l)
model_entity_type: finding

Relationships

describes_valuation_of → A_{l,m}

H. Cohen

person · ID: h_cohen

role: researcher

Relationships

proved_results_on → partial sums of polylogarithmic series

polylogarithmic series

concept · ID: polylogarithmic_series

notation: Li_k(x)
formula: sum_{j=1}^infinity x^j / j^k

Relationships

partial_sum_valuation_studied_by → H. Cohen

Main conjecture

concept · ID: main_conjecture

description: description of the function ν_2(S(n, k)) based on an algorithm

Relationships

special_case_established_for → k = 5

C_{m,j}

concept · ID: c_m_j

definition: set of integers {2^m * i + j : i in N such that 2^m * i + j >= k}

Relationships

used_in → Main conjecture

Source positions, MinHash and extraction warnings

{
  "source": {
    "chunk_index": 0,
    "start_word": 0,
    "end_word": 978,
    "word_count": 978,
    "sha256": "6b838938ab71be91ad1bea519883c0a2d6d010303c1059bcbbde3463e8a04736",
    "sentence_minhash": [
      84989070151237717,
      1306423125707224,
      132898077708225042,
      53442166147602330,
      148925132169520149,
      139865850146007968,
      149017575652778032,
      34584616103928807,
      21579496338166870,
      76931577636070685,
      78280491562202942,
      171596837418463449,
      12488864069851856,
      58558631451210278,
      303264414993015767,
      658790404649858
    ]
  },
  "extraction_warnings": [
    "normalized unsupported entity type 'finding' for 'Corollary 1.3'"
  ]
}

Previous KU: Start of paper

Next KU: The text defines the 2-adic valuation of Stirling numbers of the second kind using classes modulo $2^m$ and introduces the concept of $m$-levels. It presents a main conjecture regarding the first level with constant classes and the subsequent behavior of class splitting. The passage also reviews specific formulas, recurrences, and known results for small $k$ and special cases of $n$.

KU 2 · source words 979–1,977

10 entities · 10 relationships · 1 preceding KUs available during extraction

Recorded context summary

The text defines the 2-adic valuation of Stirling numbers of the second kind using classes modulo $2^m$ and introduces the concept of $m$-levels. It presents a main conjecture regarding the first level with constant classes and the subsequent behavior of class splitting. The passage also reviews specific formulas, recurrences, and known results for small $k$ and special cases of $n$.

Stirling numbers of the second kind

other · ID: stirling_numbers_of_the_second_kind

notation: S(n, k)
recurrence: S(n, k) = S(n-1, k-1) + kS(n-1, k)
explicit_formula: S(n, k) = (1/k!) * sum_{i=0}^{k-1} (-1)^i * (k choose i) * (k-i)^n
generating_function: sum_{n=1}^infinity S(n, k)x^n = (1/(1-x)(1-2x)...(1-kx))
model_entity_type: mathematical_object

Relationships

has_valuation → 2-adic valuation

2-adic valuation

other · ID: 2_adic_valuation

notation: nu_2
domain: Stirling numbers of the second kind
model_entity_type: mathematical_function

Relationships

defined_on → classes C_{m,j}

classes C_{m,j}

other · ID: classes_c_m_j

definition: partition of {n in N : n >= k} into classes modulo 2^m
constant_condition: nu_2(C_{m,j}) consists of a single value
model_entity_type: mathematical_set

Relationships

splits_into → C_{m,ij} and C_{m,ij+2^{m-1}}

m-level

other · ID: m_level

definition: inductive concept where 1-level consists of even and odd integers >= k
splitting_rule: each class in (m-1)-level splits into two classes modulo 2^m
model_entity_type: mathematical_concept

Relationships

contains → classes C_{m,j}

Main Conjecture

other · ID: main_conjecture

m0_definition: m0 is the smallest integer such that 2^{m0-1} < k <= 2^{m0}
first_constant_level: m0-1
subsequent_level_size: 2^{m0-2} classes for m >= m0
model_entity_type: mathematical_conjecture

Relationships

predicts → 2-adic valuation of Stirling numbers of the second kind

De Wannemacker's result

other · ID: de_wannemacker_s_result

inequality: nu_2(S(n, k)) >= s_2(k) - s_2(n)
special_case: nu_2(S(2^n, k)) = s_2(k) - 1
model_entity_type: mathematical_theorem

Relationships

proved_by → De Wannemacker

Legendre's identity

other · ID: legendre_s_identity

formula: nu_2(S(2^n, k)) = nu_2((2^k-1)/k!)
model_entity_type: mathematical_identity

Relationships

relates_to → 2-adic valuation of Stirling numbers of the second kind

s_2(k)

other · ID: s_2_k

definition: sum of the binary digits of k
model_entity_type: mathematical_function

Relationships

used_in → De Wannemacker's result

Stirling numbers of order 1

other · ID: stirling_numbers_of_order_1

value: S(n, 1) = 1 for all n in N
model_entity_type: mathematical_object

Relationships

used_in → Lemma 2.1

Lemma 2.1

other · ID: lemma_2_1

content: nu_2(S(n, 3)) = 0 if n is odd, 1 if n is even
model_entity_type: mathematical_lemma

Relationships

applies_to → Stirling numbers of the second kind

Source positions, MinHash and extraction warnings

{
  "source": {
    "chunk_index": 1,
    "start_word": 978,
    "end_word": 1977,
    "word_count": 999,
    "sha256": "662c917d0dcd810271149f29681749e3f16fc7e8e9ea6278305ee9fb43f8b06b",
    "sentence_minhash": [
      315931021563575867,
      1306423125707224,
      23103724853578534,
      141557533923110381,
      146627570953161212,
      428209587723997907,
      149017575652778032,
      113181735942458166,
      228439795799410229,
      76931577636070685,
      78280491562202942,
      139309872259060027,
      154708990195788138,
      906306679132868,
      139254418913316130,
      37319280976767778
    ]
  },
  "extraction_warnings": [
    "normalized unsupported entity type 'mathematical_object' for 'Stirling numbers of the second kind'",
    "normalized unsupported entity type 'mathematical_function' for '2-adic valuation'",
    "normalized unsupported entity type 'mathematical_set' for 'classes C_{m,j}'",
    "normalized unsupported entity type 'mathematical_concept' for 'm-level'",
    "normalized unsupported entity type 'mathematical_conjecture' for 'Main Conjecture'",
    "normalized unsupported entity type 'mathematical_theorem' for \"De Wannemacker's result\"",
    "normalized unsupported entity type 'mathematical_identity' for \"Legendre's identity\"",
    "normalized unsupported entity type 'mathematical_function' for 's_2(k)'",
    "normalized unsupported entity type 'mathematical_object' for 'Stirling numbers of order 1'",
    "normalized unsupported entity type 'mathematical_lemma' for 'Lemma 2.1'"
  ]
}

Previous KU: The text introduces the 2-adic valuation of Stirling numbers of the second kind and reviews related results in p-adic analysis. It defines the p-adic valuation, the p-adic metric, and the ring of p-adic integers. The authors present a conjecture regarding the 2-adic valuation of Stirling numbers based on an algorithm involving specific sets of integers.

Next KU: The text provides proofs for the 2-adic valuation of Stirling numbers of the second kind for orders 3, 4, and 5. It establishes specific formulas and inductive steps to determine these valuations based on the parity of n. For order 5, it introduces the concept of exceptional indices and proves a specific valuation for multiples of 8.

KU 3 · source words 1,978–2,971

7 entities · 12 relationships · 2 preceding KUs available during extraction

Recorded context summary

The text provides proofs for the 2-adic valuation of Stirling numbers of the second kind for orders 3, 4, and 5. It establishes specific formulas and inductive steps to determine these valuations based on the parity of n. For order 5, it introduces the concept of exceptional indices and proves a specific valuation for multiples of 8.

Stirling numbers of the second kind

concept · ID: stirling_numbers_of_the_second_kind

notation: S(n, k)

Relationships

has_valuation_for_order_3 → S(n, 3)
has_valuation_for_order_4 → S(n, 4)
has_valuation_for_order_5 → S(n, 5)

S(n, 3)

measurement · ID: s_n_3

valuation_if_n_odd: 0
valuation_if_n_even: 1

Relationships

defined_by_recurrence → S(n, 3) = 2^{n-1} + 3 * 2^{n-2} - 4 + 3/2 * S(n-2, 3)
valuation_derived_from → ultrametric inequality

S(n, 4)

measurement · ID: s_n_4

valuation_if_n_odd: 1
valuation_if_n_even: 0

Relationships

defined_by_formula → S(n, 4) = 1/6 * (4^n - 3^n - 3 * 2^{n+1} - 1)
defined_by_recurrence → S(n, 4) = S(n-1, 3) + 4 * S(n-1, 4)

S(n, 5)

measurement · ID: s_n_5

valuation_for_8i: 1

Relationships

defined_by_formula → S(n, 5) = 1/24 * (5^n - 4^n + 2 * 3^n - 2^{n+1} + 1)
valuation_determined_by → m-levels

ultrametric inequality

method · ID: ultrametric_inequality

formula: v_2(x_1 + x_2) >= min{v_2(x_1), v_2(x_2)}
strictness_condition: strict unless v_2(x_1) = v_2(x_2)

Relationships

used_to_prove → v_2(S(n, 3))

exceptional index

concept · ID: exceptional_index

definition: index i where q_{4i} = q_{4i+3}
first_index: 7
sequence: {7, 39, 71, 103, ...}

Relationships

related_to → v_2(S(n, 5))

m-levels

concept · ID: m_levels

1-level_classes: {C_{1,0}, C_{1,1}}
2-level_classes: {C_{2,0}, C_{2,3}}
m_0: 3

Relationships

used_to_analyze → v_2(S(n, 5))

Source positions, MinHash and extraction warnings

{
  "source": {
    "chunk_index": 2,
    "start_word": 1977,
    "end_word": 2971,
    "word_count": 994,
    "sha256": "a7cfe97cca0170a66906ec3b15975b627583225344bbe3e9c875ea5c29b75502",
    "sentence_minhash": [
      21703368277289870,
      18551641988871988,
      69729176314767099,
      208823991573236229,
      148925132169520149,
      428209587723997907,
      84576184460003765,
      63183425104977485,
      113198931733945138,
      76931577636070685,
      78280491562202942,
      221655330234976794,
      12488864069851856,
      906306679132868,
      303264414993015767,
      112183611702210919
    ]
  },
  "extraction_warnings": []
}

Previous KU: The text defines the 2-adic valuation of Stirling numbers of the second kind using classes modulo $2^m$ and introduces the concept of $m$-levels. It presents a main conjecture regarding the first level with constant classes and the subsequent behavior of class splitting. The passage also reviews specific formulas, recurrences, and known results for small $k$ and special cases of $n$.

Next KU: The text proves that the 2-adic valuation of Stirling numbers of order 5 for specific indices is at least 2, using modular arithmetic and identities. It discusses the splitting of classes in the 2-adic valuation and introduces a conjecture by Clarke relating these valuations to the zeros of specific functions in the ring of 2-adic integers. The section concludes with empirical estimates and visual data that illustrate the behavior of these assessments for larger orders.

KU 4 · source words 2,972–3,926

13 entities · 17 relationships · 3 preceding KUs available during extraction

Recorded context summary

The text proves that the 2-adic valuation of Stirling numbers of order 5 for specific indices is at least 2, using modular arithmetic and identities. It discusses the splitting of classes in the 2-adic valuation and introduces a conjecture by Clarke relating these valuations to the zeros of specific functions in the ring of 2-adic integers. The section concludes with empirical estimates and visual data that illustrate the behavior of these assessments for larger orders.

Proposition 3.6

other · ID: proposition_3_6

statement: The Stirling numbers of order 5 satisfy ν_2(S(8i + 4, 5)) ≥ 2 for all i ≥ 1.
model_entity_type: theorem

Relationships

proves → ν_2(S(8i + 4, 5)) ≥ 2

Stirling numbers of order 5

other · ID: stirling_numbers_of_order_5

notation: S(n, 5)
model_entity_type: mathematical_object

Relationships

satisfies → Proposition 3.6
valuation_at_8i+4_is_at_least → 2

Lengyel's result

other · ID: lengyel_s_result

formula: ν_2(k!S(n, k)) = k - 1
conditions: n = a^2 q, a odd, q ≥ k - 2
model_entity_type: theorem

Relationships

implies_for_k_5 → ν_2(S(n, 5)) = 1 for n = a^2 q and q ≥ 3

Main Conjecture

other · ID: main_conjecture

description: Each class of the 2-level produces a constant class and a second one in the 3-level.
model_entity_type: conjecture

Relationships

illustrated_by → 3-level: {C_{3,4}, C_{3,7}}
verified_for → k = 5

Clarke's Conjecture

other · ID: clarke_s_conjecture

formula: ν_p(k!S(n, k)) = ν_p(T(n, k))
model_entity_type: conjecture

Relationships

derives → Theorem 3.8

Theorem 3.8

other · ID: theorem_3_8

condition: Assumes Clarke's Conjecture holds
formula_even: ν_2(S(n, 5)) = -1 + ν_2(n - u_0) if n is even
formula_odd: ν_2(S(n, 5)) = -1 + ν_2(n - u_1) if n is odd
model_entity_type: theorem

Relationships

defines_zeros → u_0, u_1

u_0

other · ID: u_0

definition: Unique zero of f_{0,5} satisfying u_0 ∈ 2Z_2
model_entity_type: mathematical_object

Relationships

used_in → Theorem 3.8

u_1

other · ID: u_1

definition: Other zero of f_{0,5} satisfying u_1 ∈ 1 + 2Z_2
model_entity_type: mathematical_object

Relationships

used_in → Theorem 3.8

f_{0,5}

other · ID: f_0_5

expression: 5 + 10 * 3^x + 5 * 5^x
model_entity_type: function

Relationships

has_zeros → u_0, u_1

Lundell

person · ID: lundell

reference: [11]

Relationships

studied → Stirling-like numbers T_p(n, k)

Clarke

person · ID: clarke

reference: [5]

Relationships

conjectured → Clarke's Conjecture
obtained_expressions_for → ν_2(S(n, 6)) and ν_2(S(n, 7))

I_1

other · ID: i_1

definition: {x_1(m) : m ≥ 0}
model_entity_type: set

Relationships

contains_exceptions_for → ν_2(S(m, 5)) = ν_2(f_1(m))
even_indices_on_progression → 256m + 156

Stirling-like numbers

other · ID: stirling_like_numbers

notation: T_p(n, k)
definition: k * sum_{j=0}^k (-1)^{k-j} (k choose j) j^n, where j is omitted if divisible by p
model_entity_type: mathematical_object

Relationships

studied_by → Lundell

Source positions, MinHash and extraction warnings

{
  "source": {
    "chunk_index": 3,
    "start_word": 2971,
    "end_word": 3926,
    "word_count": 955,
    "sha256": "f93cd1e57deb21c5150220aa5b7975014fa38823c9e286f9d55725340a234e4b",
    "sentence_minhash": [
      21703368277289870,
      1306423125707224,
      229329608839330056,
      53442166147602330,
      148925132169520149,
      62667647458868521,
      12025634198112669,
      96292850158067112,
      121868570449012213,
      92715222163426349,
      78280491562202942,
      139309872259060027,
      8649321992247620,
      58558631451210278,
      194885768149381016,
      69242845566341429
    ]
  },
  "extraction_warnings": [
    "normalized unsupported entity type 'theorem' for 'Proposition 3.6'",
    "normalized unsupported entity type 'mathematical_object' for 'Stirling numbers of order 5'",
    "normalized unsupported entity type 'theorem' for \"Lengyel's result\"",
    "normalized unsupported entity type 'conjecture' for 'Main Conjecture'",
    "normalized unsupported entity type 'conjecture' for \"Clarke's Conjecture\"",
    "normalized unsupported entity type 'theorem' for 'Theorem 3.8'",
    "normalized unsupported entity type 'mathematical_object' for 'u_0'",
    "normalized unsupported entity type 'mathematical_object' for 'u_1'",
    "normalized unsupported entity type 'function' for 'f_{0,5}'",
    "normalized unsupported entity type 'set' for 'I_1'",
    "normalized unsupported entity type 'mathematical_object' for 'Stirling-like numbers'"
  ]
}

Previous KU: The text provides proofs for the 2-adic valuation of Stirling numbers of the second kind for orders 3, 4, and 5. It establishes specific formulas and inductive steps to determine these valuations based on the parity of n. For order 5, it introduces the concept of exceptional indices and proves a specific valuation for multiples of 8.

Next KU: End of paper