Full-paper Knowledge Units · saved output

THE 2-ADIC VALUATION OF STIRLING NUMBERS

Gemma 4 12B 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 88.5% (177/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

10 entities · 12 relationships · 0 preceding KUs available during extraction

Recorded context summary

The text defines p-adic valuations and metrics, specifically focusing on the 2-adic valuation of factorials and binomial coefficients. It introduces the field of p-adic numbers and the ring of p-adic integers as completions of the rationals. The authors establish the foundation for analyzing the 2-adic valuation of Stirling numbers of the second kind.

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

THE 2-ADIC VALUATION OF STIRLING NUMBERS

other · ID: the_2_adic_valuation_of_stirling_numbers

subject: 2-adic valuations of Stirling numbers of the second kind

Relationships

No relationships recorded.

p-adic valuation

concept · ID: p_adic_valuation

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

Relationships

defined_for → positive integer m
requires → prime p
extended_to → rational numbers Q

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

special_case_for_p_2 → ν_2(m!) = m - s_2(m)
proves → Kummer's identity

Kummer's identity

concept · 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

concept · ID: p_adic_metric

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

Relationships

defined_on → rational numbers Q

p-adic numbers

concept · ID: p_adic_numbers

symbol: Q_p
definition: completion of Q under p-adic metric

Relationships

contains → ring of p-adic integers

ring of p-adic integers

concept · ID: ring_of_p_adic_integers

symbol: Z_p
definition: {x ∈ Q_p : |x|_p ≤ 1}

Relationships

analogous_to → integers Z inside Q_p

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 text introduces the 2-adic valuation of coefficients derived from a specific definite integral and cites results on polylogarithmic series sums. It defines Stirling numbers of the second kind and presents a conjecture regarding their 2-adic valuation. The authors describe an algorithm for determining this valuation and provide visual evidence of its complexity.

KU 2 · source words 464–950

12 entities · 15 relationships · 1 preceding KUs available during extraction

Recorded context summary

The text introduces the 2-adic valuation of coefficients derived from a specific definite integral and cites results on polylogarithmic series sums. It defines Stirling numbers of the second kind and presents a conjecture regarding their 2-adic valuation. The authors describe an algorithm for determining this valuation and provide visual evidence of its complexity.

b_{l,m}

other · ID: b_l_m

definition: m ∑_{k=l}^m 2^k 2^{2m-2k} m^{-k} m^{k-l} m^{k-l}
constraints: m ∈ N, 0 ≤ l ≤ m
model_entity_type: sequence

Relationships

appears_in → definite integral (1.8)
related_to → A_{l,m}

definite integral (1.8)

other · ID: definite_integral_1_8

formula: ∑_{0,4}(a;m) = ∛_{0}^∞ dx (x^4 + 2ax^2 + 1)^{m+1}
model_entity_type: mathematical_expression

Relationships

contains → b_{l,m}

A_{l,m}

other · ID: a_l_m

definition: l! m! 2^{m-l} b_{l,m}
decomposition: A_{l,m} = α_l(m) ∑_{k=1}^m (4k-1) - β_l(m) ∑_{k=1}^m (4k+1)
model_entity_type: coefficient

Relationships

has_2_adic_valuation → 3l - s_2(m+l) + s_2(m-l)
uses_polynomials → alpha_l, beta_l

alpha_l, beta_l

other · ID: alpha_l_beta_l

coefficients: integer
degree_alpha: l
degree_beta: l-1
model_entity_type: polynomial

Relationships

defines → A_{l,m}

J. Little

person · ID: j_little

No attributes recorded.

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: mathematical_result

Relationships

describes_valuation_of → A_{l,m}

H. Cohen

person · ID: h_cohen

No attributes recorded.

Relationships

proved_results_on → partial sums of polylogarithmic series

polylogarithmic series (1.16)

other · ID: polylogarithmic_series_1_16

formula: Li_k(x) := ∛_{j=1}^∞ x^j / j^k
model_entity_type: mathematical_series

Relationships

summed_by → L_k(n)

L_k(n)

other · ID: l_k_n

formula: L_k(n) := ∑_{j=1}^n (2^j / j)^k
model_entity_type: mathematical_sum

Relationships

has_2_adic_valuation_for_L1 → 2m + 2m - 4
condition
m ≥ 4, n=2m
has_2_adic_valuation_for_L2 → 2m + m - 1
condition
m ≥ 4, n=2m

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

other · ID: stirling_numbers_of_the_second_kind_s_n_k

definition: number of ways to partition a set of n elements into exactly k nonempty subsets
constraints: n ∈ N, 0 ≤ k ≤ n
model_entity_type: mathematical_concept

Relationships

analyzed_for → 2-adic valuation

Main conjecture

other · ID: main_conjecture

description: description of the function ν_2(S(n, k))
model_entity_type: mathematical_conjecture

Relationships

established_for_case → k = 5
visualized_for_cases → k = 75, k = 126

C_{m,j}

other · ID: c_m_j

definition: {2^m i + j : for i ∈ N such that 2^m i + j ≥ k}
model_entity_type: 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 'sequence' for 'b_{l,m}'",
    "normalized unsupported entity type 'mathematical_expression' for 'definite integral (1.8)'",
    "normalized unsupported entity type 'coefficient' for 'A_{l,m}'",
    "normalized unsupported entity type 'polynomial' for 'alpha_l, beta_l'",
    "normalized unsupported entity type 'mathematical_result' for 'Corollary 1.3'",
    "normalized unsupported entity type 'mathematical_series' for 'polylogarithmic series (1.16)'",
    "normalized unsupported entity type 'mathematical_sum' for 'L_k(n)'",
    "normalized unsupported entity type 'mathematical_concept' 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}'"
  ]
}

Previous KU: The text defines p-adic valuations and metrics, specifically focusing on the 2-adic valuation of factorials and binomial coefficients. It introduces the field of p-adic numbers and the ring of p-adic integers as completions of the rationals. The authors establish the foundation for analyzing the 2-adic valuation of Stirling numbers of the second kind.

Next KU: The text defines the classes C_{m,j} as a partition of integers greater than or equal to k into classes modulo 2^m. It introduces the concept of constant classes where the 2-adic valuation of Stirling numbers is invariant, and defines the m-level structure. The main hypothesis states that the initial constant classes appear on the m_0-1 level, and that subsequent levels have a constant number of classes.

KU 3 · source words 951–1,433

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

Recorded context summary

The text defines the classes C_{m,j} as a partition of integers greater than or equal to k into classes modulo 2^m. It introduces the concept of constant classes where the 2-adic valuation of Stirling numbers is invariant, and defines the m-level structure. The main hypothesis states that the initial constant classes appear on the m_0-1 level, and that subsequent levels have a constant number of classes.

C_{m,j}

other · ID: c_m_j

definition: {2^m i + j : i >= 0}
partition_of: {n in N : n >= k}
modulus: 2^m
model_entity_type: set

Relationships

defines_valuation_sequence → v_2(C_{m,j})

v_2(C_{m,j})

other · ID: v_2_c_m_j

definition: {v_2(S(2^m i + j, k)) : i in N and 2^m i + j >= k}
model_entity_type: sequence

Relationships

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

constant class

concept · ID: constant_class

condition: v_2(C_{m,j}) consists of a single value
constant_value_name: constant of the class C_{m,j}

Relationships

example_of → C_{2,1}
example_of → C_{2,2}

m-level

other · ID: m_level

base_case: 1-level consists of C_{1,0} and C_{1,1}
inductive_step: Each class C_{m-1,j} splits into two classes modulo 2^m
model_entity_type: structure

Relationships

contains → classes C_{m,j}

Conjecture 1.5

other · ID: conjecture_1_5

m_0_definition: 2^{m_0-1} < k <= 2^{m_0}
first_constant_level: m_0-1
classes_per_level_for_m_ge_m_0: 2^{m_0-2}
model_entity_type: conjecture

Relationships

predicts_first_constant_level → m_0-1
predicts_constant_class_count → 2^{m_0-2}

S(n, 11)

other · ID: s_n_11

k_value: 11
m_0_value: 4
model_entity_type: Stirling number

Relationships

first_constant_level_prediction → 3-level
classes_per_level_prediction → 4

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 'set' for 'C_{m,j}'",
    "normalized unsupported entity type 'sequence' for 'v_2(C_{m,j})'",
    "normalized unsupported entity type 'structure' for 'm-level'",
    "normalized unsupported entity type 'conjecture' for 'Conjecture 1.5'",
    "normalized unsupported entity type 'Stirling number' for 'S(n, 11)'"
  ]
}

Previous KU: The text introduces the 2-adic valuation of coefficients derived from a specific definite integral and cites results on polylogarithmic series sums. It defines Stirling numbers of the second kind and presents a conjecture regarding their 2-adic valuation. The authors describe an algorithm for determining this valuation and provide visual evidence of its complexity.

Next KU: The text identifies the 2-level as the set of classes with non-constant 2-adic valuations and describes the 3-level structure. It presents explicit formulas, generating functions, and recurrences for Stirling numbers of the second kind. This section contains detailed results regarding the 2-adic valuation of $S(2n, k)$ and $S(2n+1, k+1)$, including an inequality with a lower bound and simpler cases for small values of $k$.

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

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

Recorded context summary

The text identifies the 2-level as the set of classes with non-constant 2-adic valuations and describes the 3-level structure. It presents explicit formulas, generating functions, and recurrences for Stirling numbers of the second kind. This section contains detailed results regarding the 2-adic valuation of $S(2n, k)$ and $S(2n+1, k+1)$, including an inequality with a lower bound and simpler cases for small values of $k$.

2-level

concept · ID: 2_level

composition: classes C_{2,0}, C_{2,1}, C_{2,2}, C_{2,3}
property: non-constant 2-adic valuation

Relationships

contains → C_{2,0}
contains → C_{2,1}
contains → C_{2,2}
contains → C_{2,3}

3-level

concept · ID: 3_level

valuation_C_{3,3}: 0
valuation_C_{3,5}: 0
valuation_C_{3,4}: 1
valuation_C_{3,6}: 1

Relationships

illustrated_by → Figure 5

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

other · ID: stirling_numbers_of_the_second_kind_s_n_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 - x)(1 - 2x)...(1 - kx) / (1 - x)
recurrence_relation: S(n, k) = S(n-1, k-1) + k * S(n-1, k)
model_entity_type: mathematical_object

Relationships

valuation_for_even_n → v_2(S(2n, k)) = s_2(k) - 1
valuation_for_odd_n_plus_one → v_2(S(2n+1, k+1)) = s_2(k) - 1
lower_bound → v_2(S(n, k)) >= s_2(k) - s_2(n)

Lengyel's conjecture

other · ID: lengyel_s_conjecture

status: proved by De Wannemacker
statement: v_2(S(2n, k)) = s_2(k) - 1 independently of n
model_entity_type: mathematical_conjecture

Relationships

proved_by → De Wannemacker

De Wannemacker's inequality

other · ID: de_wannemacker_s_inequality

statement: v_2(S(n, k)) >= s_2(k) - s_2(n) for 0 <= k <= n
model_entity_type: mathematical_theorem

Relationships

established_by → De Wannemacker

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

defined_in → Lemma 2.1

Stirling numbers of order 3

other · ID: stirling_numbers_of_order_3

formula: S(n, 3) = 1/2 * (3^(n-1) - 2^n + 1)
valuation_odd_n: 0
valuation_even_n: 1
model_entity_type: mathematical_object

Relationships

valuation_determined_by → parity of n

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_object' for 'Stirling numbers of the second kind S(n, k)'",
    "normalized unsupported entity type 'mathematical_conjecture' for \"Lengyel's conjecture\"",
    "normalized unsupported entity type 'mathematical_theorem' for \"De Wannemacker's inequality\"",
    "normalized unsupported entity type 'mathematical_object' for 'Stirling numbers of order 1'",
    "normalized unsupported entity type 'mathematical_object' for 'Stirling numbers of order 3'"
  ]
}

Previous KU: The text defines the classes C_{m,j} as a partition of integers greater than or equal to k into classes modulo 2^m. It introduces the concept of constant classes where the 2-adic valuation of Stirling numbers is invariant, and defines the m-level structure. The main hypothesis states that the initial constant classes appear on the m_0-1 level, and that subsequent levels have a constant number of classes.

Next KU: The text derives explicit formulas and 2-adic valuations for Stirling numbers of the second kind of order 3 and 4. It uses recurrence relations, induction, and the ultrametric inequality to prove that the valuation of S(n, 3) is 0 for odd n and 1 for even n. It also establishes that S(n, 4) is odd for even n and even for odd n.

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

5 entities · 9 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 of order 3 and 4. It uses recurrence relations, induction, and the ultrametric inequality to prove that the valuation of S(n, 3) is 0 for odd n and 1 for even n. It also establishes that S(n, 4) is odd for even n and even for odd n.

Stirling numbers of the second kind S(n, 3)

other · ID: stirling_numbers_of_the_second_kind_s_n_3

order: 3
formula_odd_n: S(n, 3) is odd
formula_even_n: S(n, 3) = 2^{n-1} + 3 * 2^{n-2} - 4 + 3 * 2^{n-2} * S(n-2, 3) / 2^{n-2}
model_entity_type: mathematical_object

Relationships

has_valuation_0_if_n_is_odd → v_2(S(n, 3)) = 0
has_valuation_1_if_n_is_even → v_2(S(n, 3)) = 1
derived_from_recurrence → recurrence (1.29)

Stirling numbers of the second kind S(n, 4)

other · ID: stirling_numbers_of_the_second_kind_s_n_4

order: 4
formula: S(n, 4) = 1/6 * (4^{n-1} - 3^n - 3 * 2^{n+1} - 1)
parity_even_n: odd
parity_odd_n: even
model_entity_type: mathematical_object

Relationships

has_valuation_0_if_n_is_even → v_2(S(n, 4)) = 0
has_valuation_1_if_n_is_odd → v_2(S(n, 4)) = 1
derived_from_recurrence → recurrence (1.29) with k=4

ultrametric inequality

other · 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)
model_entity_type: mathematical_principle

Relationships

used_to_prove → v_2(S(n, 3))

Lemma 2.3

other · ID: lemma_2_3

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

Relationships

follows_from → v_2(3^{n-1} + 1)

Lemma 2.4

other · ID: lemma_2_4

content: v_2(S(n, 4)) = 1 if n is odd, 0 if n is even
model_entity_type: mathematical_result

Relationships

derived_from → recurrence (1.29) for k=4

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_object' for 'Stirling numbers of the second kind S(n, 3)'",
    "normalized unsupported entity type 'mathematical_object' for 'Stirling numbers of the second kind S(n, 4)'",
    "normalized unsupported entity type 'mathematical_principle' for 'ultrametric inequality'",
    "normalized unsupported entity type 'mathematical_result' for 'Lemma 2.3'",
    "normalized unsupported entity type 'mathematical_result' for 'Lemma 2.4'"
  ]
}

Previous KU: The text identifies the 2-level as the set of classes with non-constant 2-adic valuations and describes the 3-level structure. It presents explicit formulas, generating functions, and recurrences for Stirling numbers of the second kind. This section contains detailed results regarding the 2-adic valuation of $S(2n, k)$ and $S(2n+1, k+1)$, including an inequality with a lower bound and simpler cases for small values of $k$.

Next KU: The text derives the 2-adic valuation of Stirling numbers of the second kind for order 4 and 5, identifying the 2-level structure and exceptional indices. It establishes that the valuation of S(8i, 5) is 1 for all i ≥ 1 using modular arithmetic. The analysis confirms a portion of the main hypothesis regarding the first level of constant classes.

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

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

Recorded context summary

The text derives the 2-adic valuation of Stirling numbers of the second kind for order 4 and 5, identifying the 2-level structure and exceptional indices. It establishes that the valuation of S(8i, 5) is 1 for all i ≥ 1 using modular arithmetic. The analysis confirms a portion of the main hypothesis regarding the first level of constant classes.

Stirling numbers of the second kind S(n, 4)

other · ID: stirling_numbers_of_the_second_kind_s_n_4

valuation_condition: v_2(S(n, 4)) = 1 when v_2(S(n-1, 3)) = 1
model_entity_type: mathematical_object

Relationships

defined_by_recurrence → S(n, 4) = 1/2 S(n-1, 3) + 2 S(n-1, 4)

Stirling numbers of the second kind S(n, 5)

other · ID: stirling_numbers_of_the_second_kind_s_n_5

explicit_formula: S(n, 5) = 1/24 (5^{n-1} - 4^n + 2 * 3^{n-2} - 2^{n+1} + 1)
model_entity_type: mathematical_object

Relationships

valuation_at_8i → 1

2-level

other · ID: 2_level

composition: {C_{2,0}, C_{2,3}}
model_entity_type: mathematical_structure

Relationships

contains_non_constant_classes → C_{2,0}, C_{2,3}
confirms_main_conjecture → m_0 = 3

exceptional index

concept · ID: exceptional_index

definition: index i where q_{4i} = q_{4i+3}

Relationships

first_instance → i = 7
sequence_of_indices → {7, 39, 71, 103, ...}

Proposition 3.5

other · ID: proposition_3_5

statement: v_2(S(8i, 5)) = 1 for all i ≥ 1
model_entity_type: theorem

Relationships

proven_by → modular arithmetic analysis of 24S(8i, 5) modulo 32

q_n

other · ID: q_n

definition: v_2(S(n, 5))
model_entity_type: notation

Relationships

observed_pattern → q_{4i} = q_{4i+3} for most indices

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_object' for 'Stirling numbers of the second kind S(n, 4)'",
    "normalized unsupported entity type 'mathematical_object' for 'Stirling numbers of the second kind S(n, 5)'",
    "normalized unsupported entity type 'mathematical_structure' for '2-level'",
    "normalized unsupported entity type 'theorem' for 'Proposition 3.5'",
    "normalized unsupported entity type 'notation' for 'q_n'"
  ]
}

Previous KU: The text derives explicit formulas and 2-adic valuations for Stirling numbers of the second kind of order 3 and 4. It uses recurrence relations, induction, and the ultrametric inequality to prove that the valuation of S(n, 3) is 0 for odd n and 1 for even n. It also establishes that S(n, 4) is odd for even n and even for odd n.

Next KU: The text establishes that the 2-adic valuation of Stirling numbers of the second kind for order 5 is 1 for indices of the form 8i and 8i+3, and at least 2 for indices of the form 8i+4 and 8i+7. It identifies the 3-level structure as consisting of classes C_{3,4} and C_{3,7}, supporting the main conjecture that 2-level classes split into constant classes. The passage also references Lengyel's result on valuations of Stirling numbers and introduces Stirling-like numbers T_p(n, k) with a related conjecture by Clarke.

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

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

Recorded context summary

The text establishes that the 2-adic valuation of Stirling numbers of the second kind for order 5 is 1 for indices of the form 8i and 8i+3, and at least 2 for indices of the form 8i+4 and 8i+7. It identifies the 3-level structure as consisting of classes C_{3,4} and C_{3,7}, supporting the main conjecture that 2-level classes split into constant classes. The passage also references Lengyel's result on valuations of Stirling numbers and introduces Stirling-like numbers T_p(n, k) with a related conjecture by Clarke.

Stirling numbers of the second kind S(n, 5)

other · ID: stirling_numbers_of_the_second_kind_s_n_5

order: 5
valuation_8i: 1
valuation_8i_plus_3: 1
valuation_8i_plus_4: >= 2
valuation_8i_plus_7: >= 2
model_entity_type: mathematical_object

Relationships

valuation_at_8i_is → 1
valuation_at_8i_plus_3_is → 1
valuation_at_8i_plus_4_is_at_least → 2
valuation_at_8i_plus_7_is_at_least → 2

3-level

other · ID: 3_level

composition: C_{3,4}, C_{3,7}
model_entity_type: mathematical_structure

Relationships

illustrates → main conjecture

main conjecture

other · ID: main_conjecture

statement: each class of the 2-level produces a constant class and a second one in the 3-level
splitting_property: The number of elements at the m-level is always constant.
model_entity_type: mathematical_conjecture

Relationships

supported_by → 3-level structure

Lengyel's result

other · ID: lengyel_s_result

formula: v_2(k! S(n, k)) = k - 1
condition: n = a^2 q, a odd, q >= k - 2
model_entity_type: mathematical_theorem

Relationships

implies_for_k_5 → v_2(S(n, 5)) = 1 for n = a^2 q and q >= 3

Stirling-like numbers T_p(n, k)

other · ID: stirling_like_numbers_t_p_n_k

definition: sum over j from 0 to k of (-1)^{k-j} * (k choose j) * j^n
sum_condition: index j is omitted if divisible by prime p
model_entity_type: mathematical_object

Relationships

studied_by → Lundell

Clarke's conjecture

other · ID: clarke_s_conjecture

formula: v_p(k! S(n, k)) = v_p(T_p(n, k))
model_entity_type: mathematical_conjecture

Relationships

relates → Stirling numbers of the second kind
relates → Stirling-like numbers T_p(n, k)

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_object' for 'Stirling numbers of the second kind S(n, 5)'",
    "normalized unsupported entity type 'mathematical_structure' for '3-level'",
    "normalized unsupported entity type 'mathematical_conjecture' for 'main conjecture'",
    "normalized unsupported entity type 'mathematical_theorem' for \"Lengyel's result\"",
    "normalized unsupported entity type 'mathematical_object' for 'Stirling-like numbers T_p(n, k)'",
    "normalized unsupported entity type 'mathematical_conjecture' for \"Clarke's conjecture\""
  ]
}

Previous KU: The text derives the 2-adic valuation of Stirling numbers of the second kind for order 4 and 5, identifying the 2-level structure and exceptional indices. It establishes that the valuation of S(8i, 5) is 1 for all i ≥ 1 using modular arithmetic. The analysis confirms a portion of the main hypothesis regarding the first level of constant classes.

Next KU: The text presents expressions for the 2-adic valuation of Stirling numbers of the second kind for orders 5, 6, and 7 based on zeros of specific functions in the ring of 2-adic integers. It initiates the proof of the main conjecture for k=5, identifying the first level of constant classes and providing empirical approximations for the valuation function. The section also describes visual data that illustrates the complex behavior of these ratings, including areas with no data and fluctuations.

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

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

Recorded context summary

The text presents expressions for the 2-adic valuation of Stirling numbers of the second kind for orders 5, 6, and 7 based on zeros of specific functions in the ring of 2-adic integers. It initiates the proof of the main conjecture for k=5, identifying the first level of constant classes and providing empirical approximations for the valuation function. The section also describes visual data that illustrates the complex behavior of these ratings, including areas with no data and fluctuations.

Clarke

person · ID: clarke

contribution: derived expressions for 2-adic valuations of Stirling numbers of order 6 and 7

Relationships

derived_expression_for → v_2(S(n, 6))
derived_expression_for → v_2(S(n, 7))

v_2(S(n, 5))

measurement · ID: v_2_s_n_5

definition: 2-adic valuation of Stirling numbers of the second kind of order 5

Relationships

expressed_in_terms_of → zeros of f_0,5(x)
approximated_by → v_2(f_1(m))

f_0,5(x)

other · ID: f_0_5_x

expression: 5 + 10 * 3^x + 5 * 5^x
domain: ring of 2-adic integers Z_2
model_entity_type: function

Relationships

has_zero → u_0
has_zero → u_1

u_0

measurement · ID: u_0

property: unique zero of f_0,5 satisfying u_0 in 2Z_2

Relationships

used_in_formula_for → v_2(S(n, 5))

u_1

measurement · ID: u_1

property: zero of f_0,5 satisfying u_1 in 1 + 2Z_2

Relationships

used_in_formula_for → v_2(S(n, 5))

f_0,6

other · ID: f_0_6

expression: -6 - 20 * 3^x - 6 * 5^x
model_entity_type: function

Relationships

used_to_express → v_2(S(n, 6))

f_0,7

other · ID: f_0_7

expression: 7 + 35 * 3^x + 21 * 5^x + 7 * 7^x
model_entity_type: function

Relationships

used_to_express → v_2(S(n, 7))

main conjecture for k=5

concept · ID: main_conjecture_for_k_5

status: proof initiated in this section
m_0_value: 3

Relationships

verified_first_level → m_0-1 = 2

I_1

other · ID: i_1

definition: set of exceptions for the approximation of v_2(S(m, 5))
model_entity_type: set

Relationships

contains_indices_where → v_2(S(m, 5)) != v_2(f_1(m))
even_indices_on_progression → 256m + 156

v_2(S(n, 126))

measurement · ID: v_2_s_n_126

visual_feature: shows basic function v_2(n) in interior

Relationships

No relationships recorded.

v_2(S(n, 195))

measurement · ID: v_2_s_n_195

visual_feature: dark objects correspond to oscillation between two consecutive values

Relationships

No relationships recorded.

v_2(S(n, 260))

measurement · ID: v_2_s_n_260

visual_feature: dark objects correspond to oscillation between two consecutive values

Relationships

No relationships recorded.

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 'function' for 'f_0,5(x)'",
    "normalized unsupported entity type 'function' for 'f_0,6'",
    "normalized unsupported entity type 'function' for 'f_0,7'",
    "normalized unsupported entity type 'set' for 'I_1'"
  ]
}

Previous KU: The text establishes that the 2-adic valuation of Stirling numbers of the second kind for order 5 is 1 for indices of the form 8i and 8i+3, and at least 2 for indices of the form 8i+4 and 8i+7. It identifies the 3-level structure as consisting of classes C_{3,4} and C_{3,7}, supporting the main conjecture that 2-level classes split into constant classes. The passage also references Lengyel's result on valuations of Stirling numbers and introduces Stirling-like numbers T_p(n, k) with a related conjecture by Clarke.

Next KU: The authors state that an explanation for certain features of the 2-adic valuation of Stirling numbers is currently missing. They conclude by noting that the main conjecture regarding these valuations has been established for the case where k equals 5.

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

3 entities · 4 relationships · 8 preceding KUs available during extraction

Recorded context summary

The authors state that an explanation for certain features of the 2-adic valuation of Stirling numbers is currently missing. They conclude by noting that the main conjecture regarding these valuations has been established for the case where k equals 5.

main conjecture

concept · ID: main_conjecture

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

Relationships

describes → 2-adic valuation of Stirling numbers S(n, k)
established_for → k = 5

Stirling numbers S(n, k)

other · ID: stirling_numbers_s_n_k

model_entity_type: mathematical_object

Relationships

has_valuation → 2-adic valuation

2-adic valuation of Stirling numbers S(n, k)

other · ID: 2_adic_valuation_of_stirling_numbers_s_n_k

status: lacking explanation for certain features
model_entity_type: mathematical_concept

Relationships

described_by → main conjecture

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": [
    "normalized unsupported entity type 'mathematical_object' for 'Stirling numbers S(n, k)'",
    "normalized unsupported entity type 'mathematical_concept' for '2-adic valuation of Stirling numbers S(n, k)'"
  ]
}

Previous KU: The text presents expressions for the 2-adic valuation of Stirling numbers of the second kind for orders 5, 6, and 7 based on zeros of specific functions in the ring of 2-adic integers. It initiates the proof of the main conjecture for k=5, identifying the first level of constant classes and providing empirical approximations for the valuation function. The section also describes visual data that illustrates the complex behavior of these ratings, including areas with no data and fluctuations.

Next KU: End of paper