Full-paper Knowledge Units · saved output

THE 2-ADIC VALUATION OF STIRLING NUMBERS

Gemma 4 E4B IT · KU LoRA rank 128 · 500-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: 9 of 9 expected chunks
Attribution provenance: Source registry metadata shown for attribution; not added to the QA context

This condition scores 82.5% (165/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 5 6 7 8 9

KU 1 · source words 1–463

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

Recorded 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.

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_for → integers
related_to → Stirling numbers of the second kind

p-adic valuation

concept · ID: p_adic_valuation

definition: The highest power of a prime p that divides an integer m
notation: ν p (m)

Relationships

defined_for → integers
generalized_to → rational numbers

Legendre's formula

method · ID: legendre_s_formula

formula: ν p (m!) = m - s p (m) p - 1
source: Legendre [8]

Relationships

calculates → p-adic valuation of factorials
implies → Kummer's identity

s p (m)

concept · ID: s_p_m

definition: The sum of the base digits of m

Relationships

used_in → Legendre's formula

Kummer's identity

concept · ID: kummer_s_identity

formula: ν 2 m k = s 2 (k) + s 2 (m - k) - s 2 (m)

Relationships

derived_from → Legendre's formula

p-adic metric

method · ID: p_adic_metric

definition: |r|_p := p - ν p (r)
property: ultrametric inequality

Relationships

defined_for → rational numbers
satisfies → ultrametric inequality

p-adic numbers

concept · ID: p_adic_numbers

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

Relationships

contains → rational numbers

p-adic integers

concept · ID: p_adic_integers

notation: Z p
definition: Set of elements in Q p with p-adic norm less than or equal to 1

Relationships

analogous_to → integers in Q

Source positions, MinHash and extraction warnings

{
  "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": []
}

Previous KU: Start of paper

Next KU: 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.

KU 2 · source words 464–950

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

Recorded 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.

Stirling numbers of the second kind

concept · ID: stirling_numbers_of_the_second_kind

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

Relationships

analyzed_for → 2-adic valuation
defined_for → n in N and 0 <= k <= n

2-adic valuation of A(l, m)

other · ID: 2_adic_valuation_of_a_l_m

formula: ν_2(A(l, m)) = 3l - s_2(m + l) + s_2(m - l)
model_entity_type: mathematical_result

Relationships

established_by → J. Little

coefficients A(l, m)

other · ID: coefficients_a_l_m

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

defined_by → b(l, m)
has_polynomials → α_l and β_l

polynomials α_l and β_l

other · ID: polynomials_l_and_l

coefficients: integer coefficients
degree_of_α_l: l
degree_of_β_l: l-1
model_entity_type: mathematical_object

Relationships

used_in → coefficients A(l, m)

Main conjecture

other · ID: main_conjecture

subject: function ν_2(S(n, k))
status: described by an algorithm
model_entity_type: mathematical_hypothesis

Relationships

special_case_established → k = 5

H. Cohen's results

other · ID: h_cohen_s_results

subject: partial sums of polylogarithmic series
notation: L_k(n)
model_entity_type: mathematical_result

Relationships

established_for → ν_2(L_1(2m)) and ν_2(L_2(2m))

polylogarithmic series

other · ID: polylogarithmic_series

notation: Li_k(x)
definition: sum j=1 x^j / j^k
model_entity_type: mathematical_concept

Relationships

partial_sum_notation → L_k(n)

2-adic valuation of L_1(2m)

other · ID: 2_adic_valuation_of_l_1_2m

formula: 2m + 2m - 4
model_entity_type: mathematical_result

Relationships

valid_for → m >= 4

2-adic valuation of L_2(2m)

other · ID: 2_adic_valuation_of_l_2_2m

formula: 2m + m - 1
model_entity_type: mathematical_result

Relationships

valid_for → m >= 4

set C_m,j

other · ID: set_c_m_j

definition: {2^m i + j : i in N such that 2^m i + j >= k}
model_entity_type: mathematical_set

Relationships

No relationships recorded.

Source positions, MinHash and extraction warnings

{
  "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'"
  ]
}

Previous KU: 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.

Next KU: 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.

KU 3 · source words 951–1,433

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

Recorded 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.

C_m,j

concept · ID: c_m_j

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

splits_into → C_m,ij and C_m,ij + 2^m-1
constant_if → ν_2(C_m,j) consists of a single value

m-level

concept · ID: m_level

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

defined_by → C_m,ij

m_0

measurement · ID: m_0

definition: Integer such that 2^(m_0-1) < k <= 2^m_0.
role: Determines the first level with constant classes.

Relationships

determines_first_constant_level → m_0 - 1

Main Conjecture

other · ID: main_conjecture

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

applies_to → Stirling numbers of the second kind S(n, k)

S(n, k)

other · ID: s_n_k

description: Stirling numbers of the second kind.
valuation_studied: ν_2(S(n, k))
model_entity_type: mathematical_function

Relationships

partitioned_by → C_m,j

Corollary 3.2

other · ID: corollary_3_2

finding: ν_2(S(4i + 1, 5)) = 0, independently of i.
model_entity_type: theorem

Relationships

implies_constant_class → C_2,1

Source positions, MinHash and extraction warnings

{
  "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'"
  ]
}

Previous KU: 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.

Next KU: 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.

KU 4 · source words 1,434–1,927

12 entities · 14 relationships · 3 preceding KUs available during extraction

Recorded 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.

C_2,0, C_2,1, C_2,2, C_2,3

concept · ID: c_2_0_c_2_1_c_2_2_c_2_3

2-adic_valuation: non-constant

Relationships

form → 2-level

C_3,3, C_3,5, C_3,4, C_3,6

concept · ID: c_3_3_c_3_5_c_3_4_c_3_6

2-adic_valuation: constant

Relationships

illustrate → 3-level

S(n, k)

other · ID: s_n_k

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

generated_by → 1 / ((1-x)(1-2x)...(1-kx))
satisfies_recurrence → S(n-1, k-1) + k*S(n-1, k)

Legyel

person · ID: legyel

contribution: conjectured special case of 2-adic valuation of S(n, k)

Relationships

conjectured → nu_2(S(2n, k)) = s_2(k) - 1

De Wannemacker

person · ID: de_wannemacker

contribution: proved special case of 2-adic valuation of S(n, k)

Relationships

proved → nu_2(S(2n, k)) = s_2(k) - 1

s_2(k)

other · ID: s_2_k

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

Relationships

used_in → nu_2(S(2n, k)) = s_2(k) - 1

nu_2(S(2n, k))

other · ID: nu_2_s_2n_k

value: s_2(k) - 1
independence: independent of n
model_entity_type: mathematical_expression

Relationships

derived_from → nu_2(2k-1/k!)

nu_2(S(2n+1, k+1))

other · ID: nu_2_s_2n_1_k_1

value: s_2(k) - 1
model_entity_type: mathematical_expression

Relationships

companion_to → nu_2(S(2n, k))

nu_2(S(2n+2, k+2))

other · ID: nu_2_s_2n_2_k_2

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

established_by → De Wannemacker

nu_2(S(n, k))

other · ID: nu_2_s_n_k

lower_bound: s_2(k) - s_2(n)
condition: 0 <= k <= n
model_entity_type: mathematical_expression

Relationships

established_by → De Wannemacker

S(n, 1)

other · ID: s_n_1

value: 1
condition: for all n in N
model_entity_type: mathematical_function

Relationships

used_in → S(n, 3)

S(n, 3)

other · ID: s_n_3

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

nu_2_value_if_n_is_odd → 0
nu_2_value_if_n_is_even → 1

Source positions, MinHash and extraction warnings

{
  "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)'"
  ]
}

Previous KU: 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.

Next KU: 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.

KU 5 · source words 1,928–2,426

5 entities · 7 relationships · 4 preceding KUs available during extraction

Recorded 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.

S(n, 3)

other · ID: s_n_3

odd_n_valuation: 0
even_n_valuation: 1
model_entity_type: mathematical_sequence

Relationships

derived_from_recurrence → S(n-1, 3) + 3 * 2^(n-2) - 4 + 3 * 2 * S(n-2, 3)
valuation_derived_from → 3^(n-1) + 1 - 2^n

S(n, 4)

other · ID: s_n_4

odd_n_valuation: 1
even_n_valuation: 0
model_entity_type: mathematical_sequence

Relationships

derived_from_recurrence → S(n-1, 3) + 4 * S(n-1, 4)
formula → 1/6 * (4^n - 3^n - 3 * 2^(n+1) - 1)

ultrametric inequality

other · ID: ultrametric_inequality

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

equivalent_to → 1/6 * (4^n - 3^n - 3 * 2^(n+1) - 1)

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

yields_valuation → nu_2(3^(m+1))

nu_2(3^(m+1))

other · ID: nu_2_3_m_1

odd_m_value: 2
even_m_value: 1
model_entity_type: mathematical_valuation

Relationships

derived_from → ultrametric inequality

Source positions, MinHash and extraction warnings

{
  "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))'"
  ]
}

Previous KU: 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.

Next KU: 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.

KU 6 · source words 2,427–2,922

9 entities · 10 relationships · 5 preceding KUs available during extraction

Recorded 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.

S(n, 4)

other · ID: s_n_4

2-adic_valuation: 1
model_entity_type: mathematical_function

Relationships

derived_from → S(n-1, 3) and S(n-1, 4)

S(n, 5)

other · ID: s_n_5

explicit_formula: 1/24 * (5^(n-1) - 4^n + 2*3^n - 2^(n+1) + 1)
model_entity_type: mathematical_function

Relationships

has_2-level_classes → C_2,0 and C_2,3
has_constant_class → C_3,0

C_m,j

other · ID: c_m_j

definition: Partitions of integers n >= k based on their 2-adic valuation of Stirling numbers S(n, k)
model_entity_type: mathematical_concept

Relationships

splits_into → C_2,0, C_2,1, C_2,2, C_2,3

m_0

other · ID: m_0

value: 3
condition: 2^2 < 5 <= 2^3
model_entity_type: mathematical_parameter

Relationships

defines_first_constant_level → m_0 - 1 = 2

exceptional index

other · ID: exceptional_index

definition: Index i where q_4i = q_4i+3
model_entity_type: mathematical_concept

Relationships

first_example → i = 7

q_n

other · ID: q_n

definition: ν_2(S(n, 5))
model_entity_type: mathematical_function

Relationships

defined_for → n = 4i or n = 4i+3

i

other · ID: i

condition: i >= 2
model_entity_type: mathematical_parameter

Relationships

defines_sequence → X = {q_4i, q_4i+3}

X

other · ID: x

initial_values: 1, 1, 3, 3, 1, 1, 2, 2, 1, 1, 6, 7, 1, 1
model_entity_type: mathematical_sequence

Relationships

contains → q_4i and q_4i+3

Proposition 3.5

other · ID: proposition_3_5

statement: ν_2(S(8i, 5)) = 1 for all i >= 1
model_entity_type: mathematical_theorem

Relationships

proven_by → analyzing identity (3.14) modulo 32

Source positions, MinHash and extraction warnings

{
  "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'"
  ]
}

Previous KU: 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.

Next KU: 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.

KU 7 · source words 2,923–3,404

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

Recorded 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.

S(8i, 5)

other · ID: s_8i_5

2-adic_valuation: 1
form: 3S(8i, 5) = 2(2t + 1)
model_entity_type: mathematical_expression

Relationships

derived_from → congruence 3.15

S(8i + 4, 5)

other · ID: s_8i_4_5

2-adic_valuation: >= 2
form: 24S(8i + 4, 5) = 32t
model_entity_type: mathematical_expression

Relationships

derived_from → congruence 3.17

C_3,4

other · ID: c_3_4

splitting: C_4,4 and C_4,12
data_pattern: even index values are 2
model_entity_type: mathematical_class

Relationships

part_of → 3-level

C_3,7

other · ID: c_3_7

model_entity_type: mathematical_class

Relationships

part_of → 3-level

3-level

other · ID: 3_level

classes: C_3,4 and C_3,7
model_entity_type: mathematical_structure

Relationships

illustrates → main conjecture

main conjecture

other · ID: main_conjecture

property: each 2-level class produces a constant class and a second one in the 3-level
model_entity_type: mathematical_statement

Relationships

illustrated_by → 3-level

T_p(n, k)

other · ID: t_p_n_k

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

studied_by → Lundell

Clarke's conjecture

other · ID: clarke_s_conjecture

relation: nu_p(k! S(n, k)) = nu_p(T_p(n, k))
model_entity_type: mathematical_statement

Relationships

conjectured_by → Clarke

Source positions, MinHash and extraction warnings

{
  "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\""
  ]
}

Previous KU: 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.

Next KU: 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.

KU 8 · source words 3,405–3,892

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

Recorded 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.

nu_2(S(n, 5)) expression

other · ID: nu_2_s_n_5_expression

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

derived_from → zeros of f_0,5(x)

f_0,5(x)

other · ID: f_0_5_x

definition: 5 + 10 * 3^x + 5 * x
domain: ring of 2-adic integers Z_2
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(x)
location: u_0 in 2Z_2
model_entity_type: mathematical_constant

Relationships

used_in → nu_2(S(n, 5)) expression for even n

u_1

other · ID: u_1

property: other zero of f_0,5(x)
location: u_1 in 1 + 2Z_2
model_entity_type: mathematical_constant

Relationships

used_in → nu_2(S(n, 5)) expression for odd n

Clarke's similar expressions

other · ID: clarke_s_similar_expressions

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

obtained_by → Clarke

f_0,6(x)

other · ID: f_0_6_x

definition: -6 - 20 * 3^x - 6 * 5^x
model_entity_type: mathematical_function

Relationships

used_for → nu_2(S(n, 6))

f_0,7(x)

other · ID: f_0_7_x

definition: 7 + 35 * 3^x + 21 * 5^x + 7^x
model_entity_type: mathematical_function

Relationships

used_for → nu_2(S(n, 7))

Proof of main conjecture for k=5

other · ID: proof_of_main_conjecture_for_k_5

goal: prove main conjecture for k=5
m_0: 3
first_constant_level: 2
model_entity_type: mathematical_proof

Relationships

verifies → m_0 - 1 = 2 is the first level for constant classes

Approximations for nu_2(S(n, 5))

other · ID: approximations_for_nu_2_s_n_5

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

defined_by → I_1 = {x | 3^x mod 2^m}

I_1

other · ID: i_1

definition: {x | 3^x mod 2^m, m >= 0}
model_entity_type: set

Relationships

defines_exceptions_for → nu_2(S(m, 5)) = nu_2(f_1(m)) unless m in I_1

Exceptions in I_1

other · ID: exceptions_in_i_1

parity: every third element is odd
even_indices_progression: 2^5 * m + 156
model_entity_type: mathematical_property

Relationships

applies_to → I_1

Illustrative data on nu_2(S(n, k))

other · ID: illustrative_data_on_nu_2_s_n_k

features: Empty area below the graph, fundamental function nu_2(n) located within, oscillation between two consecutive values
model_entity_type: empirical_observation

Relationships

shows_behavior_of → nu_2(S(n, 126)) and nu_2(S(n, 195)) and nu_2(S(n, 260))

Source positions, MinHash and extraction warnings

{
  "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))'"
  ]
}

Previous KU: 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.

Next KU: 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.

KU 9 · source words 3,893–3,926

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

Recorded 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.

conjecture on 2-adic valuation of Stirling numbers

concept · ID: conjecture_on_2_adic_valuation_of_stirling_numbers

description: Describes the 2-adic valuation of Stirling numbers S(n, k)
status: Established for k=5

Relationships

established_for → k=5

Stirling numbers of the second kind

concept · ID: stirling_numbers_of_the_second_kind

symbol: S(n, k)

Relationships

subject_of → conjecture on 2-adic valuation of Stirling numbers

Source positions, MinHash and extraction warnings

{
  "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": []
}

Previous KU: 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.

Next KU: End of paper