{"id":"n-aceeb2572b6504c7","revision":0,"first_index":1,"fingerprint":"f6-fa4a974805ea7cc4","name":"Coefficient array of orthogonal polynomials whose moment sequence is the double factorial numbers A001147.","polytool_family":null,"interpretation":null,"rows_observed":15,"degree_pattern":"affine","degree_slope":1,"degree_intercept":1,"palindromic":0,"gamma_positive":0,"nonnegative":0,"rr_by_factors":false,"rows":[["3","-6","1"],["-15","45","-15","1"],["105","-420","210","-28","1"],["-945","4725","-3150","630","-45","1"],["10395","-62370","51975","-13860","1485","-66","1"],["-135135","945945","-945945","315315","-45045","3003","-91","1"],["2027025","-16216200","18918900","-7567560","1351350","-120120","5460","-120","1"],["-34459425","310134825","-413513100","192972780","-41351310","4594590","-278460","9180","-153","1"],["654729075","-6547290750","9820936125","-5237832600","1309458150","-174594420","13226850","-581400","14535","-190","1"],["-13749310575","151242416325","-252070693875","151242416325","-43212118950","6721885170","-611080470","33575850","-1119195","21945","-231","1"],["316234143225","-3794809718700","6957151150950","-4638100767300","1490818103775","-265034329560","28109701620","-1853386920","77224455","-2018940","31878","-276","1"],["-7905853580625","102776096548125","-205552193096250","150738274937250","-53835098191875","10767019638375","-1305093289500","100391791500","-5019589575","164038875","-3453450","44850","-325","1"],["213458046676875","-2988412653476250","6474894082531875","-5179915266025500","2034966711652875","-452214824811750","61665657928875","-5421156741000","316234143225","-12401338950","326351025","-5651100","61425","-378","1"],["-6190283353629375","92854250304440625","-216659917377028125","187771928393424375","-80473683597181875","19671344879311125","-2980506799895625","294775397791875","-19651693186125","899097073875","-28392539175","614557125","-8906625","82215","-435","1"],["191898783962510625","-3070380543400170000","7675951358500425000","-7164221267933730000","3326245588683517500","-886998823648938000","147833137274823000","-16245399700530000","1218404977539750","-63707449806000","2347116571800","-60964066800","1104421500","-13592880","107880","-496","1"]],"degrees":[2,3,4,5,6,7,8,9,10,11,12,13,14,15,16],"row_sums":["-2","16","-132","1216","-12440","138048","-1601264","18108928","-161934624","-404007680","92590134208","-4221314202624","159324751301248","-5730872535686144","205239818509082880"],"nonn":false,"definitions":[{"position":0,"source":"oeis_catalog:A176231","source_kind":"oeis_catalog","equality_edge_id":null,"recurrence":{"first_index":1,"initial_polynomials":[["3","-6","1"]],"recurrence":{"terms":[{"coeff":{"coeffs":[["-1","1"]]},"deriv_order":0,"offset":1,"sign":"none"},{"coeff":{"coeffs":[["2","-4"]]},"deriv_order":1,"offset":1,"sign":"none"},{"coeff":{"coeffs":[["0","4"]]},"deriv_order":2,"offset":1,"sign":"none"}]},"schema":"polytool.recurrence.v1"}}],"properties":[{"id":170196,"position":0,"claim":"real_rooted","from_index":1,"region_key":"[0, +inf)","provenance":"edges","claim_data":{"claim":"real_rooted","from_index":1,"region":{"lower":{"closed":true,"value":"0"}}},"label":"Real-rooted","description":"Every row P_n, n >= 1, is zero or real-rooted with all roots in [0, +inf)","region_exact":null,"edges":["e-3f86cc05e6d83baf"]},{"id":170197,"position":1,"claim":"one_signed_coefficients","from_index":1,"region_key":null,"provenance":"derived_from_edges","claim_data":{"alternating":true,"claim":"one_signed_coefficients","from_index":1},"label":"Coefficients of one sign","description":"Every nonzero row, n >= 1: the coefficients of P_n(-x) have one sign","region_exact":null,"edges":["e-3f86cc05e6d83baf"]}],"region_exact":{},"incoming_edges":[{"id":"e-3f86cc05e6d83baf","operation":{"index_shift":2,"operation":"preserver_image","operator":"{\"shape\":\"affine\",\"slope\":\"-2\",\"intercept\":\"0\"}"},"operation_detail":"affine, shift 2","conclusion_id":"n-aceeb2572b6504c7","premise_count":1,"theorem":"a real affine substitution x -> a x + b (a != 0), the reversal x^d p(1/x) (d >= deg p) and a real Mobius map (c x + e)^d p((a x + b)/(c x + e)) (a e - b c != 0, d >= deg p) map real roots to real roots: a root r of p gives the root (r - b)/a, 1/r (and 0) or (e r - b)/(a - c r) (and -e/c); for an input row that is a polynomial the degree condition holds automatically","lean_route":null,"lean_declarations":["Polynomial.Splits.comp_of_degree_le_one"],"certificate_hash":"b21285a6fa36182c5459d95869afd26c8c6537222feef368d0558e0878aea40f","verification_polytool":"replayed","verification_lean":"not_attempted","claims":[{"claim":"real_rooted","from_index":1,"region":{"lower":{"closed":true,"value":"0"}}}],"premises":[{"position":0,"node_id":"n-be41df8499a2681b","role":"sequence","name":"Triangle read by rows. A generalization of unsigned Lah numbers, called L[4,1].","uses":{"claim":"real_rooted","from_index":3,"region":{"upper":{"closed":true,"value":"0"}}},"uses_text":"Every row P_n, n >= 3, is zero or real-rooted with all roots in (-inf, 0]"}]}],"used_by":[],"used_by_total":0,"links":[],"oeis":[{"oeis_id":"A176231","relation":"tail"}],"bfiles":[],"oeis_texts":[{"oeis_id":"","target":"node","first_row":1,"oeis_offset":1,"reversed":false,"trim_zeros":"none","regular_triangle":false,"rows_shown":10,"polytool_commit":"c48629374597092cc41ef4d6273f37991516f984","triangle_example":"Triangle begins:\n   1:            3,           -6,             1;\n   2:          -15,           45,           -15,            1;\n   3:          105,         -420,           210,          -28,            1;\n   4:         -945,         4725,         -3150,          630,          -45,          1;\n   5:        10395,       -62370,         51975,       -13860,         1485,        -66,          1;\n   6:      -135135,       945945,       -945945,       315315,       -45045,       3003,        -91,        1;\n   7:      2027025,    -16216200,      18918900,     -7567560,      1351350,    -120120,       5460,     -120,        1;\n   8:    -34459425,    310134825,    -413513100,    192972780,    -41351310,    4594590,    -278460,     9180,     -153,     1;\n   9:    654729075,  -6547290750,    9820936125,  -5237832600,   1309458150, -174594420,   13226850,  -581400,    14535,  -190,    1;\n  10: -13749310575, 151242416325, -252070693875, 151242416325, -43212118950, 6721885170, -611080470, 33575850, -1119195, 21945, -231, 1;\n","recurrence_sentence":"The row polynomials satisfy P(n,x) = -(1-x)*P(n-1,x) + (2-4*x)*d/dx P(n-1,x) + 4*x*d^2/dx^2 P(n-1,x) for n >= 2, with P(1,x) = 3 - 6*x + x^2.","mathematica":"P[1, x_] := 3 - 6*x + x^2;\nP[n_, x_] := P[n, x] = Expand[-(1 - x)*P[n - 1, x] + (2 - 4*x)*D[P[n - 1, x], x] + 4*x*D[P[n - 1, x], {x, 2}]];\nTable[CoefficientList[P[n, x], x], {n, 1, 10}] // Flatten","pari":"P(N) = {my(v = vector(N)); v[1] = 3 - 6*x + x^2; for(n = 2, N, my(i = n); v[i] = -(1 - x)*v[i - 1] + (2 - 4*x)*deriv(v[i - 1], x) + 4*x*deriv(deriv(v[i - 1], x), x)); v};\nrow(n, p) = {my(c = Vecrev(p)); c};\nT(N) = {my(v = P(N)); concat(vector(#v, i, row(i, v[i])))};\nT(10)","reading":{"first_row":1,"offset":1,"reversed":false,"trim_zeros":"none","regular_triangle":false}}],"derivation":{"root":"n-be41df8499a2681b","steps":["x \u21a6 \u22122x (shift +2)"],"edges":["e-3f86cc05e6d83baf"],"text":"A048854 \u2192 x \u21a6 \u22122x (shift +2)"},"headline":"A048854 \u2192 x \u21a6 \u22122x (shift +2)","chain":null}