Issues

• Downstream: rerun the OEIS harness on the current tactics, then bump the oeis-proofs pin

  PerAlexandersson/RealRooted#1629 · Filter by author PerAlexandersson opened on Oct 12, 2026
  1

• [tactic] rr_row_natDegree: use the cancellation degree law and scalar-recurrence cones

  PerAlexandersson/RealRooted#1628 · Filter by author PerAlexandersson opened on Oct 12, 2026
  1

• [open problem] Big descents on 132-avoiding permutations: close the differential orbit

  conjectureopen-problemtheory
  PerAlexandersson/RealRooted#1623 · Filter by author PerAlexandersson opened on Oct 12, 2026
  18

• Compress generated BigDescents321 literal proofs through table certificates

  PerAlexandersson/RealRooted#1604 · Filter by author PerAlexandersson opened on Oct 12, 2026
  2

• [open problem] Independence polynomials of forests are unimodal

  applicationconjectureopen-problemreference
  PerAlexandersson/RealRooted#1411 · Filter by author PerAlexandersson opened on Oct 11, 2026

• [open problem] Global discrete log-concavity for unimodular fiber counts

  conjectureopen-problemreferencetheory
  PerAlexandersson/RealRooted#1410 · Filter by author PerAlexandersson opened on Oct 11, 2026

• [open problem] Schur differential log-concavity and four-functions positivity

  conjectureopen-problemreferencetheory
  PerAlexandersson/RealRooted#1409 · Filter by author PerAlexandersson opened on Oct 11, 2026

• [open problem] Equivariant log-concavity for rook-placement orbit harmonics

  conjectureopen-problemreferencetheory
  PerAlexandersson/RealRooted#1408 · Filter by author PerAlexandersson opened on Oct 11, 2026

• [open problem] f-vectors of matroid base polytopes: unimodality and log-concavity

  applicationconjectureopen-problemreference
  PerAlexandersson/RealRooted#1407 · Filter by author PerAlexandersson opened on Oct 11, 2026

• [open problem] Even delta-matroids: log-concavity of base-size counts

  applicationconjectureopen-problemreference
  PerAlexandersson/RealRooted#1406 · Filter by author PerAlexandersson opened on Oct 11, 2026

• [open problem] Inverse Z-polynomials of matroids: log-concavity and unimodality

  applicationconjectureopen-problemreference
  PerAlexandersson/RealRooted#1405 · Filter by author PerAlexandersson opened on Oct 11, 2026

• [open problem] Oriented-matroid circuit polytope h*-vectors are log-concave

  applicationconjectureopen-problemreference
  PerAlexandersson/RealRooted#1404 · Filter by author PerAlexandersson opened on Oct 11, 2026

• [open problem] bt-monotone Hurwitz polynomials: parameter-ray interlacing and recurrences

  applicationconjectureopen-problemreference
  PerAlexandersson/RealRooted#1402 · Filter by author PerAlexandersson opened on Oct 11, 2026

• [open problem] Type-B M̄₀,n Poincaré polynomials: real-rootedness and recurrence search

  applicationconjectureopen-problemreference
  PerAlexandersson/RealRooted#1401 · Filter by author PerAlexandersson opened on Oct 11, 2026

• [open problem] Real-rootedness of Z-polynomials for all matroids

  applicationconjectureopen-problemreference
  PerAlexandersson/RealRooted#1398 · Filter by author PerAlexandersson opened on Oct 10, 2026

• [open problem] Magic positivity and real-rooted h-star polynomials for all b-parking polytopes

  applicationconjectureopen-problemreference
  PerAlexandersson/RealRooted#1397 · Filter by author PerAlexandersson opened on Oct 10, 2026

• [open problem] Lascoux/key numerator real-rootedness and weak-order interlacing

  applicationconjectureopen-problemreference
  PerAlexandersson/RealRooted#1396 · Filter by author PerAlexandersson opened on Oct 10, 2026

• [open problem] Refined Hodge–Poincaré polynomials of loopless matroids

  applicationconjectureopen-problemreference
  PerAlexandersson/RealRooted#1395 · Filter by author PerAlexandersson opened on Oct 10, 2026

• [open problem] Dual Chow polynomials of matroids: real-rootedness and augmented interlacing

  applicationconjectureopen-problemreference
  PerAlexandersson/RealRooted#1394 · Filter by author PerAlexandersson opened on Oct 10, 2026

• Register RealRooted results on the Palomar registry

  PerAlexandersson/RealRooted#1351 · Filter by author PerAlexandersson opened on Oct 9, 2026

• [#1235 d] Rows without adjacent interlacing (A082649, A156308, A334009, A099605, A132885)

  PerAlexandersson/RealRooted#1348 · Filter by author PerAlexandersson opened on Oct 9, 2026

• [#1235 a] Chebyshev-type growth families P(n+p) = α P(n+p−1) + b P n (p = 3, 4)

  PerAlexandersson/RealRooted#1345 · Filter by author PerAlexandersson opened on Oct 9, 2026
  1

• [#1234 c] Diagonal pair-symbol obstruction and refined-state target

  open-problemtheory
  PerAlexandersson/RealRooted#1344 · Filter by author PerAlexandersson opened on Oct 9, 2026
  4

• [#1234 b] Degree theory for rows with periodic top coefficients

  PerAlexandersson/RealRooted#1343 · Filter by author PerAlexandersson opened on Oct 9, 2026
  1

• [#1234 a] Derivative pair (1,1): A141689, A141690, A141696, A141697

  PerAlexandersson/RealRooted#1342 · Filter by author PerAlexandersson opened on Oct 9, 2026
  4