Full-paper Knowledge Units · saved output

THE 2-ADIC VALUATION OF STIRLING NUMBERS

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

Complete extractionLongest literal run: 26 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 78.0% (156/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

18 entities · 18 relationships · 0 preceding KUs available during extraction

Recorded context summary

The paper analyzes the 2-adic valuations of Stirling numbers of the second kind, building upon established results for factorials and other integer sequences. It defines the 2-adic valuation and the p-adic metric, and introduces a main conjecture regarding the function ν 2 (S(n, k)).

Tewodros Amdeberhan

person · ID: tewodros_amdeberhan

role: author

Relationships

authored → The 2-Adic Valuation of Stirling Numbers

Dante V Manna

person · ID: dante_v_manna

role: author

Relationships

authored → The 2-Adic Valuation of Stirling Numbers

Victor H Moll

person · ID: victor_h_moll

role: author

Relationships

authored → The 2-Adic Valuation of Stirling Numbers

2-adic valuation

concept · ID: 2_adic_valuation

definition: The highest power of 2 that divides an integer m
notation: ν 2 (m)

Relationships

defined_by → p-adic valuation

p-adic valuation

concept · ID: p_adic_valuation

definition: The exponent n such that m = a * p^n, where a is not divisible by p
notation: ν p (m)

Relationships

extended_to → Q

Legendre's formula

method · ID: legendre_s_formula

formula: ν p (m!) = m - s_p (m) / (p - 1)
specific_case: ν 2 (m!) = m - s_2 (m)

Relationships

established_by → Legendre

s_p (m)

concept · ID: s_p_m

definition: The sum of the base digits of m

Relationships

used_in → Legendre's formula

p-adic metric

concept · ID: p_adic_metric

definition: |r|_p := p^(-ν_p(r)) for r in Q
property: satisfies ultrametric inequality

Relationships

defined_on → Q

p-adic numbers

concept · ID: p_adic_numbers

notation: Q_p
definition: Completion of Q under the p-adic metric

Relationships

contains → p-adic integers

p-adic integers

concept · ID: p_adic_integers

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

Relationships

role → Z inside Q_p

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

analyzed_by → The 2-Adic Valuation of Stirling Numbers

A_l,m

concept · ID: a_l_m

definition: l! m! / 2^(m-l) * b_l,m
structure: Sum of terms involving alpha_l(m) and beta_l(m)

Relationships

related_to → b_l,m

b_l,m

concept · ID: b_l_m

definition: Summation involving 2^k and m-k
context: Appeared in evaluation of definite integral

Relationships

related_to → A_l,m

J. Little

person · ID: j_little

role: researcher

Relationships

established → Corollary 1.3

Corollary 1.3

other · ID: corollary_1_3

statement: ν 2 (A_l,m) = 3l - s_2 (m + l) + s_2 (m - l)
model_entity_type: theorem

Relationships

established_by → J. Little

H. Cohen

person · ID: h_cohen

role: researcher

Relationships

studied → partial sums of polylogarithmic series

L_k(n)

concept · ID: l_k_n

definition: Summation of 1/j^k for j from 1 to n
notation: L_k(n)

Relationships

studied_by → H. Cohen

Main conjecture

other · ID: main_conjecture

description: Describes an algorithm to determine ν 2 (S(n, k))
model_entity_type: theorem

Relationships

established_for → k = 5

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 'theorem' for 'Corollary 1.3'",
    "normalized unsupported entity type 'theorem' for 'Main conjecture'"
  ]
}

Previous KU: Start of paper

Next KU: The text introduces the concept of m-level classes for Stirling numbers of the second kind, defining a main conjecture regarding the 2-adic valuation of these numbers. It provides explicit formulas and recurrence relations for Stirling numbers, and establishes specific results for the 2-adic valuation of S(2n, k) and S(2n+1, k+1).

KU 2 · source words 979–1,977

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

Recorded context summary

The text introduces the concept of m-level classes for Stirling numbers of the second kind, defining a main conjecture regarding the 2-adic valuation of these numbers. It provides explicit formulas and recurrence relations for Stirling numbers, and establishes specific results for the 2-adic valuation of S(2n, k) and S(2n+1, k+1).

2-adic valuation of Stirling numbers of the second kind

concept · ID: 2_adic_valuation_of_stirling_numbers_of_the_second_kind

notation: ν 2 (S(n, k))
definition: The 2-adic valuation of Stirling numbers of the second kind
main_conjecture: The first index for which there is a constant class is m0 - 1, where 2^(m0-1) < k <= 2^m0. For m >= m0, the m-level consists of 2^(m0-2) classes, each producing a single non-constant class for the (m+1)-level.

Relationships

defined_by → classes C m,j
related_to → m-level

m-level

concept · ID: m_level

definition: A partition of {n in N : n >= k} into classes modulo 2^m
structure: Each class C m-1,ij is divided into two classes modulo 2^m: C m,ij and C m,ij + 2^(m-1).

Relationships

contains → classes C m,j

constant class

concept · ID: constant_class

definition: A class C m,j, where ν 2 (C m,j) represents a single value.
constant_value: The single value in ν 2 (C m,j)

Relationships

first_occurrence_at → m0 - 1

m0

measurement · ID: m0

definition: The smallest integer such that 2^(m0-1) < k <= 2^m0.

Relationships

determines → m0 - 1

Stirling numbers of the second kind

other · ID: stirling_numbers_of_the_second_kind

notation: S(n, k)
generating_function: 1 / ((1-x)(1-2x)...(1-kx)) = sum_{n=1}^infinity S(n, k)x^n
recurrence_relation: 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 * C(k, i) * (k-i)^n
model_entity_type: mathematical_object

Relationships

has_2-adic_valuation → ν 2 (S(n, k))

Legendre's result

other · ID: legendre_s_result

statement: ν 2 (S(2n, k)) = ν 2 ((2k-1)/k!)
model_entity_type: theorem

Relationships

derived_from → Legendre's formula

Legyel's conjecture

other · ID: legyel_s_conjecture

statement: ν 2 (S(2n, k)) = s_2(k) - 1, independently of n.
model_entity_type: theorem

Relationships

proved_by → De Wannemacker

De Wannemacker's inequality

other · ID: de_wannemacker_s_inequality

statement: ν 2 (S(n, k)) >= s_2(k) - s_2(n), for 0 <= k <= n.
model_entity_type: theorem

Relationships

established_by → De Wannemacker

s_2(k)

measurement · ID: s_2_k

definition: The sum of the binary digits of k.

Relationships

used_in → ν 2 (S(2n, k))

S(n, 3)

other · ID: s_n_3

formula: 1/2^(3n-1-2n+1)
2-adic_valuation: 0 if n is odd, 1 if n is even.
model_entity_type: mathematical_object

Relationships

derived_from → recurrence relation

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 'theorem' for \"Legendre's result\"",
    "normalized unsupported entity type 'theorem' for \"Legyel's conjecture\"",
    "normalized unsupported entity type 'theorem' for \"De Wannemacker's inequality\"",
    "normalized unsupported entity type 'mathematical_object' for 'S(n, 3)'"
  ]
}

Previous KU: The paper analyzes the 2-adic valuations of Stirling numbers of the second kind, building upon established results for factorials and other integer sequences. It defines the 2-adic valuation and the p-adic metric, and introduces a main conjecture regarding the function ν 2 (S(n, k)).

Next KU: The text provides a second proof for the 2-adic valuation of S(n, 3) using the ultrametric inequality, establishing that ν 2 (S(n, 3)) is 1 when n is even. It then presents explicit formulas and valuation results for S(n, 4) and S(n, 5), noting that S(n, 5) exhibits complex behavior with exceptional indices where the 2-adic valuations differ.

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

8 entities · 8 relationships · 2 preceding KUs available during extraction

Recorded context summary

The text provides a second proof for the 2-adic valuation of S(n, 3) using the ultrametric inequality, establishing that ν 2 (S(n, 3)) is 1 when n is even. It then presents explicit formulas and valuation results for S(n, 4) and S(n, 5), noting that S(n, 5) exhibits complex behavior with exceptional indices where the 2-adic valuations differ.

2-adic valuation of S(n, 3)

measurement · ID: 2_adic_valuation_of_s_n_3

n_odd: 0
n_even: 1

Relationships

derived_from → ultrametric inequality

ultrametric inequality

concept · ID: ultrametric_inequality

form: ν 2 (x 1 + x 2 ) ≥ Min {ν 2 (x 1 ), ν 2 (x 2 ) }
strictness_condition: ν 2 (x 1 ) ≠ ν 2 (x 2 )

Relationships

equivalent_to → 1.6

powers of 3 modulo 8

other · ID: powers_of_3_modulo_8

formula: 3^m + 1 ≡ 2 + (-1)^(m+1) mod 8
basis: 3^(2k) ≡ 1 mod 8
model_entity_type: mathematical_property

Relationships

used_in → 2-adic valuation of S(n, 3)

2-adic valuation of S(n, 4)

measurement · ID: 2_adic_valuation_of_s_n_4

n_odd: 1
n_even: 0

Relationships

derived_from → recurrence relation 1.29 with k=4

Stirling numbers of order 5

other · ID: stirling_numbers_of_order_5

explicit_formula: S(n, 5) = 1/24 * (5^n - 4^n + 2*3^n - 2^(n+1) + 1)
valuation_behavior: Complex, defined by m-levels
model_entity_type: mathematical_sequence

Relationships

has_m_level_structure → 2-level {C 2,0, C 2,3}

m-level classes for S(n, 5)

concept · ID: m_level_classes_for_s_n_5

1-level_classes: {C 1,0, C 1,1}
2-level_classes: {C 2,0, C 2,3}
constant_classes: C 2,1 and C 2,2

Relationships

defines → m0 = 3

exceptional index for S(n, 5)

other · ID: exceptional_index_for_s_n_5

definition: i such that q(4i) = q(4i+3)
first_example: i = 7 (q(28)=6, q(31)=7)
model_entity_type: mathematical_property

Relationships

list_continues_with → {7, 39, 71, 103, ...}

2-adic valuation of S(8i, 5)

measurement · ID: 2_adic_valuation_of_s_8i_5

value: 1
condition: i ≥ 1

Relationships

derived_from → identity 3.14 modulo 32

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": [
    "normalized unsupported entity type 'mathematical_property' for 'powers of 3 modulo 8'",
    "normalized unsupported entity type 'mathematical_sequence' for 'Stirling numbers of order 5'",
    "normalized unsupported entity type 'mathematical_property' for 'exceptional index for S(n, 5)'"
  ]
}

Previous KU: The text introduces the concept of m-level classes for Stirling numbers of the second kind, defining a main conjecture regarding the 2-adic valuation of these numbers. It provides explicit formulas and recurrence relations for Stirling numbers, and establishes specific results for the 2-adic valuation of S(2n, k) and S(2n+1, k+1).

Next KU: The text proves that the 2-adic valuation of Stirling numbers of the second kind, S(n, 5), is at least 2 for specific indices, and establishes a main conjecture for k=5. It introduces a theorem linking the 2-adic valuation of S(n, 5) to the zeros of a specific polynomial in the 2-adic integers, under the assumption of a related conjecture. The text also presents empirical approximations and visual data illustrating the complex behavior of these valuations.

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

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

Recorded context summary

The text proves that the 2-adic valuation of Stirling numbers of the second kind, S(n, 5), is at least 2 for specific indices, and establishes a main conjecture for k=5. It introduces a theorem linking the 2-adic valuation of S(n, 5) to the zeros of a specific polynomial in the 2-adic integers, under the assumption of a related conjecture. The text also presents empirical approximations and visual data illustrating the complex behavior of these valuations.

Proposition 3.6

other · ID: proposition_3_6

statement: ν 2 (S(8i + 4, 5)) ≥ 2 for all i ≥ 1
model_entity_type: proposition

Relationships

applies_to → Stirling numbers of order 5

Identity (3.17)

other · ID: identity_3_17

form: 24S(8i + 4, 5) = 5 8i+3 -4 8i+4 + 2 • 3 8i+4 -2 8i+5 + 1 modulo 32
model_entity_type: mathematical_identity

Relationships

used_to_prove → Proposition 3.6

Proposition 3.5

other · ID: proposition_3_5

statement: ν 2 (S(n, 5)) = 1 for n = a2 q and q ≥ 3, where n = 8a • 2 q-3
model_entity_type: proposition

Relationships

includes → values of n from Proposition 3.6

Proposition 3.7

other · ID: proposition_3_7

statement: ν 2 (S(8i + 3, 5)) = 1 and ν 2 (S(8i + 7, 5)) ≥ 2
model_entity_type: proposition

Relationships

part_of → 3-level classes

3-level classes

concept · ID: 3_level_classes

elements: C 3,4 and C 3,7

Relationships

illustrates → main conjecture

C 3,4

other · ID: c_3_4

splitting: C 4,4 and C 4,12
model_entity_type: class

Relationships

splits_into → C 4,4 and C 4,12

Congruence (3.26)

other · ID: congruence_3_26

form: 24S(2 m i + j, 5) ≡ 5 2 m i+j-1 -4 2 m i+j + 2 • 3 2 m i+j -2 2 m i+j+1 + 1 mod 2 m+2
model_entity_type: mathematical_identity

Relationships

used_to_prove → main conjecture for k=5

Lundell [11]

person · ID: lundell_11

contribution: Studied Stirling-like numbers T p (n, k)

Relationships

defined → Stirling-like numbers T p (n, k)

Clarke [5]

person · ID: clarke_5

contribution: Conjectured ν p (k! S(n, k)) = ν p (T (n, k))

Relationships

derived → expression for ν 2 (S(n, 5))

Theorem 3.8

other · ID: theorem_3_8

condition: Assumption that conjecture (3.28) holds
result: ν 2 (S(n, 5)) = -1 + ν 2 (n -u 0 ) if n is even, -1 + ν 2 (n -u 1 ) if n is odd
model_entity_type: theorem

Relationships

relies_on → conjecture (3.28)

f 0,5(x)

other · ID: f_0_5_x

form: 5 + 10 • 3 x + 5 x
model_entity_type: mathematical_function

Relationships

has_zeros → u 0 and u 1

u 0

other · ID: u_0

property: Unique zero of f 0,5 satisfying u 0 ∈ 2Z 2
model_entity_type: mathematical_constant

Relationships

used_in → Theorem 3.8

u 1

other · ID: u_1

property: Other zero of f 0,5 satisfying u 1 ∈ 1 + 2Z 2
model_entity_type: mathematical_constant

Relationships

used_in → Theorem 3.8

f 0,6(x)

other · ID: f_0_6_x

form: -6 -20 • 3 x -6 • 5 x
model_entity_type: mathematical_function

Relationships

has_zeros → related to ν 2 (S(n, 6))

f 0,7(x)

other · ID: f_0_7_x

form: 7 + 35 • 3 x + 21 • 5 x + 7 x
model_entity_type: mathematical_function

Relationships

has_zeros → related to ν 2 (S(n, 7))

I 1

other · ID: i_1

definition: I 1 = {x 1 (m) : m ≥ 0}
model_entity_type: set

Relationships

contains → exceptions to ν 2 (S(m, 5)) = ν 2 (f 1 (m))

Approximations

method · ID: approximations

basis: Empirically derived
goal: Approximating ν 2 (S(n, 5))

Relationships

supported_by → visual data

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 'proposition' for 'Proposition 3.6'",
    "normalized unsupported entity type 'mathematical_identity' for 'Identity (3.17)'",
    "normalized unsupported entity type 'proposition' for 'Proposition 3.5'",
    "normalized unsupported entity type 'proposition' for 'Proposition 3.7'",
    "normalized unsupported entity type 'class' for 'C 3,4'",
    "normalized unsupported entity type 'mathematical_identity' for 'Congruence (3.26)'",
    "normalized unsupported entity type 'theorem' for 'Theorem 3.8'",
    "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_function' for 'f 0,6(x)'",
    "normalized unsupported entity type 'mathematical_function' for 'f 0,7(x)'",
    "normalized unsupported entity type 'set' for 'I 1'"
  ]
}

Previous KU: The text provides a second proof for the 2-adic valuation of S(n, 3) using the ultrametric inequality, establishing that ν 2 (S(n, 3)) is 1 when n is even. It then presents explicit formulas and valuation results for S(n, 4) and S(n, 5), noting that S(n, 5) exhibits complex behavior with exceptional indices where the 2-adic valuations differ.

Next KU: End of paper