{"id":"n-3725039f3886dd63","revision":0,"first_index":1,"fingerprint":"f6-379b71f8e1339420","name":"one_plus_derivative of Triangular array: T(n,k) = sqrt(C(n-1,k-1)*C(n-1,k)*C(n,k+1)* C(n+1,k+1)*C(n+1,k)*C(n,k-1)), where C(n,k) = binomial(n,k).","polytool_family":null,"interpretation":null,"rows_observed":15,"degree_pattern":"affine","degree_slope":1,"degree_intercept":1,"palindromic":0,"gamma_positive":0,"nonnegative":1,"rr_by_factors":false,"rows":[["150","180","30"],["660","1800","780","60"],["2205","12600","11550","2520","105"],["6048","64680","117600","52920","6720","168"],["14364","261072","864360","740880","194040","15624","252"],["30600","876960","4868640","7408800","3598560","604800","32760","360"],["59895","2554200","22203720","55883520","47151720","14469840","1663200","63360","495"],["109560","6642900","85595400","334802160","461039040","241496640","50311800","4138200","114840","660"],["189618","15761460","288094950","1663164360","3531888360","2982483504","1046485440","155727000","9485190","197340","858"],["313404","34666632","867446580","7085578500","22107004920","28569052512","15985065096","3967923960","438017580","20300280","324324","1092"],["498225","71547840","2380207830","26573066520","116982901035","221070049200","187909541820","73690016400","13481923455","1136815680","40990950","513240","1365"],["766080","139885200","6037842720","89524234800","537713816640","1429586318160","1768560393600","1046398232880","300119339520","41777976240","2754591840","78733200","786240","1680"],["1144440","261038400","14320269600","275292239040","2193485854560","7941550737120","13780033066800","11811456914400","5079251857680","1101574393920","119671712160","6289483200","144799200","1170960","2040"],["1667088","467763840","32044320000","782557251840","8077941930240","38748914620416","91380979609920","109524418660800","67927265714880","21965227764480","3699862822656","320233455360","13633401600","256354560","1701360","2448"],["2375019","808890192","68150777760","2077590574080","27228856898880","169068449467008","527559714025344","857609387331840","741474782797320","344343163095360","86060802155328","11508045179904","807324598080","28228132800","438840720","2418624","2907"]],"degrees":[2,3,4,5,6,7,8,9,10,11,12,13,14,15,16],"row_sums":["360","3300","28980","248136","2090592","17421480","144049950","1184251200","9693478080","79075694880","643338073560","5222692918800","42323334683520","342473807041488","2767835747561166"],"nonn":true,"definitions":[{"position":0,"source":"derived:one_plus_derivative","source_kind":"derived","equality_edge_id":null,"recurrence":{"first_index":1,"initial_polynomials":[["150","180","30"]],"recurrence":{"denominator":{"coeffs":[["30","-30","5","5"],["46","-21","21","6"],["33","27","19","1"],["25","21","3","0"],["9","3","0","0"],["1","0","0","0"]]},"terms":[{"coeff":{"coeffs":[["240","-120","-80","60","20"],["328","22","3","129","30"],["231","165","164","111","10"],["85","148","135","30","0"],["15","63","30","0","0"],["1","10","0","0","0"]]},"deriv_order":0,"offset":1,"sign":"none"},{"coeff":{"coeffs":[["0","192","43","94","-18","-15"],["0","258","189","36","-87","-15"],["0","183","14","-127","-45","0"],["0","48","-63","-45","0","0"],["0","3","-15","0","0","0"]]},"deriv_order":1,"offset":1,"sign":"none"},{"coeff":{"coeffs":[["0","0","29","35","30","30","6"],["0","0","39","87","66","18","0"],["0","0","28","46","18","0","0"],["0","0","6","6","0","0","0"]]},"deriv_order":2,"offset":1,"sign":"none"}]},"schema":"polytool.recurrence.v1"}}],"properties":[{"id":188883,"position":0,"claim":"real_rooted","from_index":1,"region_key":"(-inf, 0]","provenance":"edges","claim_data":{"claim":"real_rooted","from_index":1,"region":{"upper":{"closed":true,"value":"0"}}},"label":"Real-rooted","description":"Every row P_n, n >= 1, is zero or real-rooted with all roots in (-inf, 0]","region_exact":null,"edges":["e-8760e3ca124d9b00"]},{"id":188884,"position":1,"claim":"one_signed_coefficients","from_index":1,"region_key":null,"provenance":"derived_from_edges","claim_data":{"alternating":false,"claim":"one_signed_coefficients","from_index":1},"label":"Coefficients of one sign","description":"Every nonzero row, n >= 1: the coefficients of P_n have one sign","region_exact":null,"edges":["e-8760e3ca124d9b00"]},{"id":188885,"position":2,"claim":"hadamard_kernel","from_index":1,"region_key":null,"provenance":"derived_from_edges","claim_data":{"claim":"hadamard_kernel","from_index":1},"label":"Hadamard kernel (Malo)","description":"Rows P_n, n >= 1, are Hadamard kernels (preserve real-rootedness)","region_exact":null,"edges":["e-8760e3ca124d9b00"]}],"region_exact":{},"incoming_edges":[{"id":"e-8760e3ca124d9b00","operation":{"index_shift":0,"operation":"preserver_image","operator":"{\"shape\":\"derivative_polynomial\",\"coefficients\":[{\"numerator\":[\"1\"],\"denominator\":[\"1\"]},{\"numerator\":[\"1\"],\"denominator\":[\"1\"]}]}"},"operation_detail":"derivative_polynomial, shift 0","conclusion_id":"n-3725039f3886dd63","premise_count":1,"theorem":"Laguerre's theorem on differential operators: if phi is a real polynomial with only real roots, then phi(D) maps every real-rooted polynomial to a real-rooted polynomial or zero (write phi(D) = C D^j prod (1 + c_i D); D preserves real-rootedness by Rolle's theorem and p + c p' is real-rooted for every real c by Rolle's theorem applied to e^(x/c) p; Polya--Schur 1914); when the coefficients of phi have one sign, coefficients of one sign stay of one sign; applied to phi(n, .) for each n","lean_route":null,"lean_declarations":["RealRooted.splits_add_C_mul_derivative_all","RealRooted.splits_C_mul_add_derivative","Polynomial.Splits.derivative"],"certificate_hash":"c9f5916b061406b3dfcdeddb8d161a0ea119163a36f2be1673c9148a7ff6064e","verification_polytool":"replayed","verification_lean":"not_attempted","claims":[{"claim":"real_rooted","from_index":1,"region":{"upper":{"closed":true,"value":"0"}}}],"premises":[{"position":0,"node_id":"n-05b91207a1ba3acf","role":"sequence","name":"Triangular array: T(n,k) = sqrt(C(n-1,k-1)*C(n-1,k)*C(n,k+1)* C(n+1,k+1)*C(n+1,k)*C(n,k-1)), where C(n,k) = binomial(n,k).","uses":{"claim":"real_rooted","from_index":1,"region":{"upper":{"closed":true,"value":"0"}}},"uses_text":"Every row P_n, n >= 1, is zero or real-rooted with all roots in (-inf, 0]"}]}],"used_by":[],"used_by_total":0,"links":[{"id":"l-5297995aab3090b2","kind":"fingerprint_related","node_a_id":"n-8304b53a8f961041","node_b_id":"n-3725039f3886dd63","fingerprint":"f6-379b71f8e1339420","oeis_id":null,"in_catalog":null,"target":null,"row_alignment":null,"rows_matched":null,"oeis_nonn":null,"details":{"fingerprint":"f6-379b71f8e1339420"},"other_id":"n-8304b53a8f961041","other":{"id":"n-8304b53a8f961041","name":"one_plus_derivative of Array read by antidiagonals: number of antichains (or order ideals) in the poset 3*m*n or plane partitions with rows <= m, columns <= n and entries <= 3.","first_index":0,"fingerprint":"f6-379b71f8e1339420","polytool_family":null,"degree_pattern":"affine","palindromic":0,"gamma_positive":0,"nonnegative":1,"rr_by_factors":0,"preview_rows":[["1"],["2","1"],["5","6","1"]],"card_rows":[["1"],["2","1"],["5","6","1"],["11","30","13","1"]],"row_sums_preview":["1","3","12","55","276","1477","8296","48393"],"regions":["(-inf, 0]"],"region_exact":{},"oeis_ids":[],"derivation":{"root":"n-047228a38014e6d4","steps":["D+1"],"edges":["e-52f0ec4587d661f2"],"text":"A056939 \u2192 D+1"},"headline":"A056939 \u2192 D+1","chain":null}}],"oeis":[],"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:    150,      180,        30;\n   2:    660,     1800,       780,         60;\n   3:   2205,    12600,     11550,       2520,         105;\n   4:   6048,    64680,    117600,      52920,        6720,         168;\n   5:  14364,   261072,    864360,     740880,      194040,       15624,         252;\n   6:  30600,   876960,   4868640,    7408800,     3598560,      604800,       32760,        360;\n   7:  59895,  2554200,  22203720,   55883520,    47151720,    14469840,     1663200,      63360,       495;\n   8: 109560,  6642900,  85595400,  334802160,   461039040,   241496640,    50311800,    4138200,    114840,      660;\n   9: 189618, 15761460, 288094950, 1663164360,  3531888360,  2982483504,  1046485440,  155727000,   9485190,   197340,    858;\n  10: 313404, 34666632, 867446580, 7085578500, 22107004920, 28569052512, 15985065096, 3967923960, 438017580, 20300280, 324324, 1092;\n","recurrence_sentence":"The row polynomials satisfy (n^5+9*n^4+25*n^3+33*n^2+46*n+30+(3*n^4+21*n^3+27*n^2-21*n-30)*x+(3*n^3+19*n^2+21*n+5)*x^2+(n^2+6*n+5)*x^3)*P(n,x) = (n^5+15*n^4+85*n^3+231*n^2+328*n+240+(10*n^5+63*n^4+148*n^3+165*n^2+22*n-120)*x+(30*n^4+135*n^3+164*n^2+3*n-80)*x^2+(30*n^3+111*n^2+129*n+60)*x^3+(10*n^2+30*n+20)*x^4)*P(n-1,x) + ((3*n^4+48*n^3+183*n^2+258*n+192)*x-(15*n^4+63*n^3-14*n^2-189*n-43)*x^2-(45*n^3+127*n^2-36*n-94)*x^3-(45*n^2+87*n+18)*x^4-(15*n+15)*x^5)*d/dx P(n-1,x) + ((6*n^3+28*n^2+39*n+29)*x^2+(6*n^3+46*n^2+87*n+35)*x^3+(18*n^2+66*n+30)*x^4+(18*n+30)*x^5+6*x^6)*d^2/dx^2 P(n-1,x) for n >= 2, with P(1,x) = 150 + 180*x + 30*x^2.","mathematica":"P[1, x_] := 150 + 180*x + 30*x^2;\nP[n_, x_] := P[n, x] = Expand[Together[((n^5 + 15*n^4 + 85*n^3 + 231*n^2 + 328*n + 240 + (10*n^5 + 63*n^4 + 148*n^3 + 165*n^2 + 22*n - 120)*x + (30*n^4 + 135*n^3 + 164*n^2 + 3*n - 80)*x^2 + (30*n^3 + 111*n^2 + 129*n + 60)*x^3 + (10*n^2 + 30*n + 20)*x^4)*P[n - 1, x] + ((3*n^4 + 48*n^3 + 183*n^2 + 258*n + 192)*x - (15*n^4 + 63*n^3 - 14*n^2 - 189*n - 43)*x^2 - (45*n^3 + 127*n^2 - 36*n - 94)*x^3 - (45*n^2 + 87*n + 18)*x^4 - (15*n + 15)*x^5)*D[P[n - 1, x], x] + ((6*n^3 + 28*n^2 + 39*n + 29)*x^2 + (6*n^3 + 46*n^2 + 87*n + 35)*x^3 + (18*n^2 + 66*n + 30)*x^4 + (18*n + 30)*x^5 + 6*x^6)*D[P[n - 1, x], {x, 2}])/(n^5 + 9*n^4 + 25*n^3 + 33*n^2 + 46*n + 30 + (3*n^4 + 21*n^3 + 27*n^2 - 21*n - 30)*x + (3*n^3 + 19*n^2 + 21*n + 5)*x^2 + (n^2 + 6*n + 5)*x^3)]];\nTable[CoefficientList[P[n, x], x], {n, 1, 10}] // Flatten","pari":"P(N) = {my(v = vector(N)); v[1] = 150 + 180*x + 30*x^2; for(n = 2, N, my(i = n); v[i] = ((n^5 + 15*n^4 + 85*n^3 + 231*n^2 + 328*n + 240 + (10*n^5 + 63*n^4 + 148*n^3 + 165*n^2 + 22*n - 120)*x + (30*n^4 + 135*n^3 + 164*n^2 + 3*n - 80)*x^2 + (30*n^3 + 111*n^2 + 129*n + 60)*x^3 + (10*n^2 + 30*n + 20)*x^4)*v[i - 1] + ((3*n^4 + 48*n^3 + 183*n^2 + 258*n + 192)*x - (15*n^4 + 63*n^3 - 14*n^2 - 189*n - 43)*x^2 - (45*n^3 + 127*n^2 - 36*n - 94)*x^3 - (45*n^2 + 87*n + 18)*x^4 - (15*n + 15)*x^5)*deriv(v[i - 1], x) + ((6*n^3 + 28*n^2 + 39*n + 29)*x^2 + (6*n^3 + 46*n^2 + 87*n + 35)*x^3 + (18*n^2 + 66*n + 30)*x^4 + (18*n + 30)*x^5 + 6*x^6)*deriv(deriv(v[i - 1], x), x))/(n^5 + 9*n^4 + 25*n^3 + 33*n^2 + 46*n + 30 + (3*n^4 + 21*n^3 + 27*n^2 - 21*n - 30)*x + (3*n^3 + 19*n^2 + 21*n + 5)*x^2 + (n^2 + 6*n + 5)*x^3)); 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-05b91207a1ba3acf","steps":["D+1"],"edges":["e-8760e3ca124d9b00"],"text":"A197208 \u2192 D+1"},"headline":"A197208 \u2192 D+1","chain":null}