{"id":"n-2255a1a798a79b80","revision":1,"first_index":0,"fingerprint":"f6-5db386616ed16bd2","name":"obreschkoff_combination of Triangle whose (i,j)-th entry is binomial(i,j)*12^(i-j)*5^j.","polytool_family":null,"interpretation":null,"rows_observed":15,"degree_pattern":"affine","degree_slope":1,"degree_intercept":3,"palindromic":0,"gamma_positive":0,"nonnegative":1,"rr_by_factors":true,"rows":[["1872","2280","925","125"],["22464","36720","22500","6125","625"],["269568","552960","453600","186000","38125","3125"],["3234816","7983360","8208000","4500000","1387500","228125","15625"],["38817792","111974400","138412800","95040000","39150000","9675000","1328125","78125"],["465813504","1537781760","2220825600","1832544000","945000000","311850000","64312500","7578125","390625"],["5589762048","20782448640","34338816000","33094656000","20502720000","8467200000","2331000000","412500000","42578125","1953125"],["67077144576","277338193920","515978035200","568829952000","411505920000","204120000000","70308000000","16605000000","2573437500","236328125","9765625"],["804925734912","3663444049920","7578427392000","9405849600000","7782220800000","4506969600000","1864296000000","550800000000","113906250000","15703125000","1298828125","48828125"],["9659108818944","47985957273600","109258348953600","150762332160000","140415897600000","92994739200000","44906400000000","15931080000000","4120875000000","757968750000","94101562500","7080078125","244140625"],["115909305827328","624127031377920","1551029973811200","2355439730688000","2438802432000000","1818016358400000","1003850496000000","415704960000000","129105900000000","29700000000000","4919062500000","555468750000","38330078125","1220703125"],["1390911669927936","8069070905671680","21732994842624000","36020426637312000","41042827837440000","34010208460800000","21136287744000000","10007712000000000","3627795600000000","1001929500000000","207528750000000","31260937500000","3237304687500","206298828125","6103515625"],["16690940039135232","103783409217699840","301141292639846400","540910093860864000","672616067235840000","613336640716800000","423686495232000000","225773982720000000","93572107200000000","30162132000000000","7499992500000000","1412775000000000","195152343750000","18662109375000","1104736328125","30517578125"],["200291280469622784","1328855610808074240","4132612557766656000","7996627589529600000","10775943276134400000","10723120024780800000","8150921146368000000","4827720268800000000","2251735200000000000","829806120000000000","240810570000000000","54453262500000000","9405703125000000","1199707031250000","106567382812500","5889892578125","152587890625"],["2403495365635473408","16947723732045004800","56235628747240243200","116622593863188480000","169294457261260800000","182557156678041600000","151426653880320000000","98687248957440000000","51159423744000000000","21216349440000000000","7038757440000000000","1857492000000000000","385134750000000000","61425000000000000","7277343750000000","603515625000000","31280517578125","762939453125"]],"degrees":[3,4,5,6,7,8,9,10,11,12,13,14,15,16,17],"row_sums":["5202","88434","1503378","25557426","434476242","7386096114","125563633938","2134581776946","36287890208082","616894133537394","10487200270135698","178282404592306866","3030800878069216722","51523614927176684274","875901453762003632658"],"nonn":true,"definitions":[{"position":0,"source":"derived:obreschkoff_combination","source_kind":"derived","equality_edge_id":null,"recurrence":{"first_index":0,"initial_polynomials":[["1872","2280","925","125"]],"recurrence":{"terms":[{"coeff":{"coeffs":[["12","5"]]},"deriv_order":0,"offset":1,"sign":"none"}]},"schema":"polytool.recurrence.v1"}}],"properties":[{"id":162901,"position":0,"claim":"real_rooted","from_index":0,"region_key":"(-inf, +inf)","provenance":"edges","claim_data":{"claim":"real_rooted","from_index":0,"region":{}},"label":"Real-rooted","description":"Every row P_n, n >= 0, is zero or real-rooted with all roots in (-inf, +inf)","region_exact":null,"edges":["e-d496cfbb04db8f55"]}],"region_exact":{},"incoming_edges":[{"id":"e-d496cfbb04db8f55","operation":{"operation":"obreschkoff_combination"},"operation_detail":null,"conclusion_id":"n-2255a1a798a79b80","premise_count":2,"theorem":"Hermite--Kakeya--Obreschkoff: real-rooted f, g with interlacing zeros give a zero or real-rooted a f + b g for all real a, b (Obreschkoff 1963; Fisk, Polynomials, roots, and interlacing, Thm 1.43)","lean_route":null,"lean_declarations":[],"certificate_hash":"ede3529a05b30d543630b8ebac9717361767c8475e8035b372b8a3a799d2f34a","verification_polytool":"replayed","verification_lean":"not_attempted","claims":[{"claim":"real_rooted","from_index":0,"region":{}}],"premises":[{"position":0,"node_id":"n-a5302200d285579d","role":"sequence","name":"Triangle whose (i,j)-th entry is binomial(i,j)*12^(i-j)*5^j.","uses":{"claim":"real_rooted","from_index":0,"region":{}},"uses_text":"Every row P_n, n >= 0, is zero or real-rooted with all roots in (-inf, +inf)"},{"position":1,"node_id":"n-a5302200d285579d","role":"sequence","name":"Triangle whose (i,j)-th entry is binomial(i,j)*12^(i-j)*5^j.","uses":{"claim":"interlacing","from_index":1,"kind":"weak","orientation":"unordered"},"uses_text":"Rows P_(m-1), P_m interlace (weak, unordered) for every m >= 1"}]}],"used_by":[],"used_by_total":0,"links":[{"id":"l-0cee5b4619ff8871","kind":"oeis_match","node_a_id":"n-2255a1a798a79b80","node_b_id":null,"fingerprint":null,"oeis_id":"A168887","in_catalog":0,"target":"row_sums","row_alignment":null,"rows_matched":null,"oeis_nonn":1,"details":{"alignment":{"first_row":0,"low_zeros_dropped":false,"oeis_offset":0,"oeis_term_position":3,"target":"row_sums","terms_compared":14},"in_catalog":false,"oeis_id":"A168887","oeis_nonn":true},"other_id":null,"other":null},{"id":"l-2b89636096b9d206","kind":"oeis_match","node_a_id":"n-2255a1a798a79b80","node_b_id":null,"fingerprint":null,"oeis_id":"A168743","in_catalog":0,"target":"row_sums","row_alignment":null,"rows_matched":null,"oeis_nonn":1,"details":{"alignment":{"first_row":0,"low_zeros_dropped":false,"oeis_offset":0,"oeis_term_position":3,"target":"row_sums","terms_compared":14},"in_catalog":false,"oeis_id":"A168743","oeis_nonn":true},"other_id":null,"other":null},{"id":"l-3671533993b9752b","kind":"oeis_match","node_a_id":"n-2255a1a798a79b80","node_b_id":null,"fingerprint":null,"oeis_id":"A168935","in_catalog":0,"target":"row_sums","row_alignment":null,"rows_matched":null,"oeis_nonn":1,"details":{"alignment":{"first_row":0,"low_zeros_dropped":false,"oeis_offset":0,"oeis_term_position":3,"target":"row_sums","terms_compared":14},"in_catalog":false,"oeis_id":"A168935","oeis_nonn":true},"other_id":null,"other":null},{"id":"l-3de95a86351b3eed","kind":"oeis_match","node_a_id":"n-2255a1a798a79b80","node_b_id":null,"fingerprint":null,"oeis_id":"A169031","in_catalog":0,"target":"row_sums","row_alignment":null,"rows_matched":null,"oeis_nonn":1,"details":{"alignment":{"first_row":0,"low_zeros_dropped":false,"oeis_offset":0,"oeis_term_position":3,"target":"row_sums","terms_compared":14},"in_catalog":false,"oeis_id":"A169031","oeis_nonn":true},"other_id":null,"other":null},{"id":"l-4751a6efcf1a0776","kind":"oeis_match","node_a_id":"n-2255a1a798a79b80","node_b_id":null,"fingerprint":null,"oeis_id":"A168839","in_catalog":0,"target":"row_sums","row_alignment":null,"rows_matched":null,"oeis_nonn":1,"details":{"alignment":{"first_row":0,"low_zeros_dropped":false,"oeis_offset":0,"oeis_term_position":3,"target":"row_sums","terms_compared":14},"in_catalog":false,"oeis_id":"A168839","oeis_nonn":true},"other_id":null,"other":null},{"id":"l-61a77226b55ac976","kind":"oeis_match","node_a_id":"n-2255a1a798a79b80","node_b_id":null,"fingerprint":null,"oeis_id":"A168695","in_catalog":0,"target":"row_sums","row_alignment":null,"rows_matched":null,"oeis_nonn":1,"details":{"alignment":{"first_row":0,"low_zeros_dropped":false,"oeis_offset":0,"oeis_term_position":3,"target":"row_sums","terms_compared":14},"in_catalog":false,"oeis_id":"A168695","oeis_nonn":true},"other_id":null,"other":null},{"id":"l-6de7e87b3c437d7c","kind":"oeis_match","node_a_id":"n-2255a1a798a79b80","node_b_id":null,"fingerprint":null,"oeis_id":"A168983","in_catalog":0,"target":"row_sums","row_alignment":null,"rows_matched":null,"oeis_nonn":1,"details":{"alignment":{"first_row":0,"low_zeros_dropped":false,"oeis_offset":0,"oeis_term_position":3,"target":"row_sums","terms_compared":14},"in_catalog":false,"oeis_id":"A168983","oeis_nonn":true},"other_id":null,"other":null},{"id":"l-7c86390f49cd7c07","kind":"oeis_match","node_a_id":"n-2255a1a798a79b80","node_b_id":null,"fingerprint":null,"oeis_id":"A168791","in_catalog":0,"target":"row_sums","row_alignment":null,"rows_matched":null,"oeis_nonn":1,"details":{"alignment":{"first_row":0,"low_zeros_dropped":false,"oeis_offset":0,"oeis_term_position":3,"target":"row_sums","terms_compared":14},"in_catalog":false,"oeis_id":"A168791","oeis_nonn":true},"other_id":null,"other":null}],"oeis":[{"oeis_id":"A168695","relation":"match_row_sums"},{"oeis_id":"A168743","relation":"match_row_sums"},{"oeis_id":"A168791","relation":"match_row_sums"},{"oeis_id":"A168839","relation":"match_row_sums"},{"oeis_id":"A168887","relation":"match_row_sums"},{"oeis_id":"A168935","relation":"match_row_sums"},{"oeis_id":"A168983","relation":"match_row_sums"},{"oeis_id":"A169031","relation":"match_row_sums"}],"bfiles":[],"oeis_texts":[{"oeis_id":"","target":"node","first_row":0,"oeis_offset":0,"reversed":false,"trim_zeros":"none","regular_triangle":false,"rows_shown":10,"polytool_commit":"c48629374597092cc41ef4d6273f37991516f984","triangle_example":"Triangle begins:\n  0:          1872,           2280,             925,             125;\n  1:         22464,          36720,           22500,            6125,             625;\n  2:        269568,         552960,          453600,          186000,           38125,           3125;\n  3:       3234816,        7983360,         8208000,         4500000,         1387500,         228125,          15625;\n  4:      38817792,      111974400,       138412800,        95040000,        39150000,        9675000,        1328125,          78125;\n  5:     465813504,     1537781760,      2220825600,      1832544000,       945000000,      311850000,       64312500,        7578125,        390625;\n  6:    5589762048,    20782448640,     34338816000,     33094656000,     20502720000,     8467200000,     2331000000,      412500000,      42578125,      1953125;\n  7:   67077144576,   277338193920,    515978035200,    568829952000,    411505920000,   204120000000,    70308000000,    16605000000,    2573437500,    236328125,     9765625;\n  8:  804925734912,  3663444049920,   7578427392000,   9405849600000,   7782220800000,  4506969600000,  1864296000000,   550800000000,  113906250000,  15703125000,  1298828125,   48828125;\n  9: 9659108818944, 47985957273600, 109258348953600, 150762332160000, 140415897600000, 92994739200000, 44906400000000, 15931080000000, 4120875000000, 757968750000, 94101562500, 7080078125, 244140625;\n","recurrence_sentence":"The row polynomials satisfy P(n,x) = (12+5*x)*P(n-1,x) for n >= 1, with P(0,x) = 1872 + 2280*x + 925*x^2 + 125*x^3.","mathematica":"P[0, x_] := 1872 + 2280*x + 925*x^2 + 125*x^3;\nP[n_, x_] := P[n, x] = Expand[(12 + 5*x)*P[n - 1, x]];\nTable[CoefficientList[P[n, x], x], {n, 0, 9}] // Flatten","pari":"P(N) = {my(v = vector(N + 1)); v[1] = 1872 + 2280*x + 925*x^2 + 125*x^3; for(n = 1, N, my(i = n + 1); v[i] = (12 + 5*x)*v[i - 1]); v};\nrow(n, p) = {my(c = Vecrev(p)); c};\nT(N) = {my(v = P(N)); concat(vector(#v, i, row(i - 1, v[i])))};\nT(9)","reading":{"first_row":0,"offset":0,"reversed":false,"trim_zeros":"none","regular_triangle":false}}],"derivation":{"root":"n-a5302200d285579d","steps":["P\u2099 + P\u2099\u208a\u2081"],"edges":["e-d496cfbb04db8f55"],"text":"A038331 \u2192 P\u2099 + P\u2099\u208a\u2081"},"headline":"A038331 \u2192 P\u2099 + P\u2099\u208a\u2081","chain":null}