Issues

• [High priority] Formalize Brändén–Leite for arbitrary positive powers, PF polynomial B, and logarithmic limits

  formalizationtheory
  PerAlexandersson/RealRooted#2441 · Filter by author PerAlexandersson opened on Nov 7, 2026
  7

• [research] Reversing stationary recurrences: real BKW limits, positive families, and counterexamples

  PerAlexandersson/RealRooted#2418 · Filter by author PerAlexandersson opened on Nov 5, 2026

• [research] Root-label words and global interlacing patterns of preserving basis sequences

  PerAlexandersson/RealRooted#2417 · Filter by author PerAlexandersson opened on Nov 4, 2026

• [research] Inverse basis maps: real-rootedness preservation on output intervals (first priority)

  PerAlexandersson/RealRooted#2416 · Filter by author PerAlexandersson opened on Nov 4, 2026
  20

• [research] Characterize exp(A(z)+t B(z)) with real-rooted coefficient polynomials

  open-problemtheory
  PerAlexandersson/RealRooted#2415 · Filter by author PerAlexandersson opened on Nov 4, 2026
  1

• [catalog] Extend basis-transform preservers challenge with systematic survey families

  PerAlexandersson/RealRooted#2414 · Filter by author PerAlexandersson opened on Nov 4, 2026

• [proof simplification] A141689: combine tail bounds in the Wronskian step

  PerAlexandersson/RealRooted#2413 · Filter by author PerAlexandersson opened on Nov 4, 2026

• [proof simplification] A272471: normalize the spectral branch to order its nodes

  PerAlexandersson/RealRooted#2412 · Filter by author PerAlexandersson opened on Nov 3, 2026

• [formalization] Sharp 3x3 interlacing criterion and shorter A273717 tail proof

  PerAlexandersson/RealRooted#2399 · Filter by author PerAlexandersson opened on Nov 2, 2026
  2

• [formalization] Shifted-binomial numerator PF classification from ranks 1 and 3

  PerAlexandersson/RealRooted#2397 · Filter by author PerAlexandersson opened on Nov 2, 2026

• [formalization] Exact PF region for Eulerian Pascal perturbations; A262226

  PerAlexandersson/RealRooted#2396 · Filter by author PerAlexandersson opened on Nov 2, 2026

• [formalization] Coupled quadratic recurrence and an algebraic proof for A046741

  PerAlexandersson/RealRooted#2392 · Filter by author PerAlexandersson opened on Nov 2, 2026
  1

• [downstream] Reuse shared proofs in A059427 and the ordered-Bell model in A256061

  PerAlexandersson/RealRooted#2390 · Filter by author PerAlexandersson opened on Nov 2, 2026
  4

• [downstream] Shorten A055314 and A245111 using direct Touchard transforms

  PerAlexandersson/RealRooted#2385 · Filter by author PerAlexandersson opened on Nov 2, 2026
  1

• [formalization] Even-derivative PF preservers: one-monomial criterion and interlacing

  PerAlexandersson/RealRooted#2380 · Filter by author PerAlexandersson opened on Nov 2, 2026
  4

• [formalization] Commuting differential preservers: quadratic coefficients and second-order operators

  PerAlexandersson/RealRooted#2377 · Filter by author PerAlexandersson opened on Nov 2, 2026

• [formalization] Quadratic product maps for small parameters and a sharp second-order recurrence

  PerAlexandersson/RealRooted#2376 · Filter by author PerAlexandersson opened on Nov 2, 2026
  1

• [formalization] Product-power maps: endpoint derivatives, exact multiplicities and simplicity

  PerAlexandersson/RealRooted#2375 · Filter by author PerAlexandersson opened on Nov 2, 2026

• [formalization] Interval sequence maps: common interlacers, exact exterior-root counts and root limits

  PerAlexandersson/RealRooted#2374 · Filter by author PerAlexandersson opened on Nov 2, 2026

• [formalization] Source-interval preservation from degree-three tests for associative product powers

  PerAlexandersson/RealRooted#2372 · Filter by author PerAlexandersson opened on Nov 2, 2026
  3

• [formalization] Two-row product-power criterion, stable second iterates and finite source sets

  PerAlexandersson/RealRooted#2371 · Filter by author PerAlexandersson opened on Nov 1, 2026

• [formalization] Generalized diamond products: sharp Wasserstein diameter and varying-parameter root limits

  PerAlexandersson/RealRooted#2370 · Filter by author PerAlexandersson opened on Nov 1, 2026

• [formalization] Associative derivative products: classification, kernel criterion and two-pair interlacing

  PerAlexandersson/RealRooted#2369 · Filter by author PerAlexandersson opened on Nov 1, 2026

• [formalization] Diamond products of interlacing pairs and sharp root-count bounds

  PerAlexandersson/RealRooted#2368 · Filter by author PerAlexandersson opened on Nov 1, 2026

• [formalization] Root-distance bounds for polynomial products and the ordered Bell limit

  PerAlexandersson/RealRooted#2367 · Filter by author PerAlexandersson opened on Nov 1, 2026