{"id":"n-44b1dbf5d009bf35","revision":1,"first_index":0,"fingerprint":"f6-f34dcee26c4e5272","name":"A convolution triangle of numbers obtained from A036224.","polytool_family":null,"interpretation":null,"rows_observed":15,"degree_pattern":"affine","degree_slope":1,"degree_intercept":2,"palindromic":0,"gamma_positive":0,"nonnegative":1,"rr_by_factors":false,"rows":[["336","42","1"],["4536","1113","63","1"],["54432","23184","2331","84","1"],["598752","412272","65205","3990","105","1"],["6158592","6531840","1518048","139860","6090","126","1"],["60046272","94618368","30912840","4010769","256410","8631","147","1"],["560431872","1274921856","567362016","99302112","8723925","424116","11613","168","1"],["5043886848","16176101760","9573741216","2193126624","253790901","16685487","652239","15036","189","1"],["44019376128","195030291456","150628802688","44153890560","6534131760","557085438","29117907","950040","18900","210","1"],["374164697088","2250184914432","2232875211840","822902685696","152347155480","16358573673","1096591041","47438118","1326780","23205","231","1"],["3108445175808","24982689005568","31436007144192","14359883150592","3269692046880","432719396208","36138885615","1988496216","73257534","1791720","27951","252","1"],["25311625003008","268115731513344","423003242559744","236688434857728","65384283132000","10488403911888","1068204859029","72635764284","3381856758","108382050","2354121","33138","273","1"],["202493000024064","2791778491072512","5468064651067392","3710465074520064","1229659528075776","235921791490560","28822377334464","2371076212392","135567962388","5462679852","154812042","3023244","38766","294","1"],["1594632375189504","28292068847112192","68190758524035072","55632567877622784","21910024872066240","4973126585285376","719294099301288","70427864184993","4841551396260","238367847330","8458008174","214742367","3808350","44835","315","1"],["12381851383824384","279779813592072192","823281820320264192","801445842630918144","372078217886964480","99004449637731456","16772131332579168","1929332508320448","156900139064361","9241838373240","399022726014","12640003992","290562363","4718700","51345","336","1"]],"degrees":[2,3,4,5,6,7,8,9,10,11,12,13,14,15,16],"row_sums":["379","5713","80032","1080325","14354557","189853438","2511177679","33258000301","440953665088","5849978617585","77627638378537","1030136054227366","13669717178313811","181387989640645081","2406840013228174816"],"nonn":true,"definitions":[{"position":0,"source":"oeis_catalog:A132166","source_kind":"oeis_catalog","equality_edge_id":null,"recurrence":{"first_index":0,"initial_polynomials":[["336","42","1"]],"recurrence":{"denominator":{"coeffs":[["3"],["1"]]},"terms":[{"coeff":{"coeffs":[["48","2"],["6","0"]]},"deriv_order":0,"offset":1,"sign":"none"},{"coeff":{"coeffs":[["0","36","1"]]},"deriv_order":1,"offset":1,"sign":"none"}]},"schema":"polytool.recurrence.v1"}}],"properties":[{"id":159227,"position":0,"claim":"real_rooted","from_index":0,"region_key":"[-36, 0)","provenance":"edges","claim_data":{"claim":"real_rooted","from_index":0,"region":{"lower":{"closed":true,"value":"-36"},"upper":{"closed":false,"value":"0"}}},"label":"Real-rooted","description":"Every row P_n, n >= 0, is zero or real-rooted with all roots in [-36, 0)","region_exact":null,"edges":["e-fc9a4a17582197de"]},{"id":159228,"position":1,"claim":"one_signed_coefficients","from_index":0,"region_key":null,"provenance":"derived_from_edges","claim_data":{"alternating":false,"claim":"one_signed_coefficients","from_index":0},"label":"Coefficients of one sign","description":"Every nonzero row, n >= 0: the coefficients of P_n have one sign","region_exact":null,"edges":["e-fc9a4a17582197de"]},{"id":159229,"position":2,"claim":"hadamard_kernel","from_index":0,"region_key":null,"provenance":"derived_from_edges","claim_data":{"claim":"hadamard_kernel","from_index":0},"label":"Hadamard kernel (Malo)","description":"Rows P_n, n >= 0, are Hadamard kernels (preserve real-rootedness)","region_exact":null,"edges":["e-fc9a4a17582197de"]},{"id":159230,"position":3,"claim":"interlacing","from_index":1,"region_key":null,"provenance":"edges","claim_data":{"claim":"interlacing","from_index":1,"kind":"weak","orientation":"previous_interlaces_next"},"label":"Interlacing of consecutive rows","description":"Rows P_(m-1), P_m interlace (weak, previous interlaces next) for every m >= 1","region_exact":null,"edges":["e-fc9a4a17582197de"]}],"region_exact":{},"incoming_edges":[{"id":"e-fc9a4a17582197de","operation":{"operation":"theorem_check","theorem":"ma_wang_interval"},"operation_detail":"ma_wang_interval","conclusion_id":"n-44b1dbf5d009bf35","premise_count":0,"theorem":"S.-M. Ma and Y. Wang, q-Eulerian polynomials and polynomials with only real zeros, Electron. J. Combin. 15 (2008) R17, Theorem 2 and Corollary 3 (arXiv:math/0611826), in the closed two-endpoint form of the RealRooted library (https://github.com/PerAlexandersson/RealRooted, RealRooted.affineEndpointStep_closed), after the change of variable x = U + (U - L) y, with the endpoint multiplicities tracked exactly through the induction","lean_route":null,"lean_declarations":["RealRooted.affineEndpointStep_closed","RealRooted.affineEndpointStep_roots_mem_Icc_iff","RealRooted.affineEndpointStep_rootMultiplicity_zero","RealRooted.affineEndpointStep_rootMultiplicity_neg_one","RealRooted.MaWang.endpointStep","RealRooted.MaWang.affineEndpointSequence","RealRooted.normalizedAffineEndpointSequence_roots_mem_Icc_iff"],"certificate_hash":"a926c628cc65e9bdf6cb99b8598d36c2b2c8ccc844e5347352611edcbecaf556","verification_polytool":"replayed","verification_lean":"not_attempted","claims":[{"claim":"real_rooted","from_index":0,"region":{"lower":{"closed":true,"value":"-36"},"upper":{"closed":false,"value":"0"}}},{"claim":"interlacing","from_index":1,"kind":"weak","orientation":"previous_interlaces_next"}],"premises":[]}],"used_by":[{"id":"e-0a71e6005af9c857","operation":"obreschkoff_combination","operation_detail":null,"conclusion_id":"n-e8b8a3fcbab4370a","conclusion_name":"obreschkoff_combination of A convolution triangle of numbers obtained from A036224."},{"id":"e-0a71e6005af9c857","operation":"obreschkoff_combination","operation_detail":null,"conclusion_id":"n-e8b8a3fcbab4370a","conclusion_name":"obreschkoff_combination of A convolution triangle of numbers obtained from A036224."}],"used_by_total":2,"links":[{"id":"l-f1988c19a33e84b7","kind":"oeis_match","node_a_id":"n-44b1dbf5d009bf35","node_b_id":null,"fingerprint":null,"oeis_id":"A132167","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":1,"oeis_term_position":2,"target":"row_sums","terms_compared":15},"in_catalog":false,"oeis_id":"A132167","oeis_nonn":true},"other_id":null,"other":null}],"oeis":[{"oeis_id":"A132167","relation":"match_row_sums"},{"oeis_id":"A132166","relation":"tail"}],"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:          336,            42,             1;\n  1:         4536,          1113,            63,            1;\n  2:        54432,         23184,          2331,           84,            1;\n  3:       598752,        412272,         65205,         3990,          105,           1;\n  4:      6158592,       6531840,       1518048,       139860,         6090,         126,          1;\n  5:     60046272,      94618368,      30912840,      4010769,       256410,        8631,        147,        1;\n  6:    560431872,    1274921856,     567362016,     99302112,      8723925,      424116,      11613,      168,       1;\n  7:   5043886848,   16176101760,    9573741216,   2193126624,    253790901,    16685487,     652239,    15036,     189,     1;\n  8:  44019376128,  195030291456,  150628802688,  44153890560,   6534131760,   557085438,   29117907,   950040,   18900,   210,   1;\n  9: 374164697088, 2250184914432, 2232875211840, 822902685696, 152347155480, 16358573673, 1096591041, 47438118, 1326780, 23205, 231, 1;\n","recurrence_sentence":"The row polynomials satisfy (n+3)*P(n,x) = (6*n+48+2*x)*P(n-1,x) + (36*x+x^2)*d/dx P(n-1,x) for n >= 1, with P(0,x) = 336 + 42*x + x^2.","mathematica":"P[0, x_] := 336 + 42*x + x^2;\nP[n_, x_] := P[n, x] = Expand[Together[((6*n + 48 + 2*x)*P[n - 1, x] + (36*x + x^2)*D[P[n - 1, x], x])/(n + 3)]];\nTable[CoefficientList[P[n, x], x], {n, 0, 9}] // Flatten","pari":"P(N) = {my(v = vector(N + 1)); v[1] = 336 + 42*x + x^2; for(n = 1, N, my(i = n + 1); v[i] = ((6*n + 48 + 2*x)*v[i - 1] + (36*x + x^2)*deriv(v[i - 1], x))/(n + 3)); 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-44b1dbf5d009bf35","steps":[],"edges":[],"text":"A132166"},"headline":"A convolution triangle of numbers obtained from A036224.","chain":null}