{"id":"n-91fbe90ea8777148","revision":0,"first_index":0,"fingerprint":"f6-177c65847e3c5511","name":"shift_x_plus_one of derivative of Even-numbered rows of Pascal's triangle.","polytool_family":null,"interpretation":null,"rows_observed":15,"degree_pattern":"affine","degree_slope":2,"degree_intercept":-1,"palindromic":0,"gamma_positive":0,"nonnegative":1,"rr_by_factors":true,"rows":[[],["4","2"],["32","48","24","4"],["192","480","480","240","60","6"],["1024","3584","5376","4480","2240","672","112","8"],["5120","23040","46080","53760","40320","20160","6720","1440","180","10"],["24576","135168","337920","506880","506880","354816","177408","63360","15840","2640","264","12"],["114688","745472","2236416","4100096","5125120","4612608","3075072","1537536","576576","160160","32032","4368","364","14"],["524288","3932160","13762560","29818880","44728320","49201152","41000960","26357760","13178880","5125120","1537536","349440","58240","6720","480","16"],["2359296","20054016","80216064","200540160","350945280","456228864","456228864","358465536","224040960","112020480","44808192","14257152","3564288","685440","97920","9792","612","18"],["10485760","99614720","448266240","1270087680","2540175360","3810263040","4445306880","4127784960","3095838720","1891901440","945950720","386979840","128993280","34728960","7441920","1240320","155040","13680","760","20"],["46137344","484442112","2422210560","7670333440","17258250240","29339025408","39118700544","41912893440","36673781760","26486620160","15891972096","7945986048","3310827520","1146055680","327444480","76403712","14325696","2106720","234080","18480","924","22"],["201326592","2315255808","12733906944","44568674304","111421685760","211701202944","317551804416","385598619648","385598619648","321332183040","224932528128","132914675712","66457337856","28116566016","10041630720","3012489216","753122304","155054592","25842432","3400320","340032","24288","1104","24"],["872415232","10905190400","65431142400","250819379200","689753292800","1448481914880","2414136524800","3276328140800","3685869158400","3481098649600","2784878919680","1898781081600","1107622297600","553811148800","237347635200","87027466240","27196083200","7198963200","1599769600","294694400","44204160","5262400","478400","31200","1300","26"],["3758096384","50734301184","329772957696","1374053990400","4122161971200","9480972533760","17381782978560","26072674467840","32590843084800","34401445478400","30961300930560","23924641628160","15949761085440","9201785241600","4600892620800","1993720135680","747645050880","241885163520","67190323200","15913497600","3182699520","530449920","72334080","7862400","655200","39312","1512","28"]],"degrees":[-1,1,3,5,7,9,11,13,15,17,19,21,23,25,27],"row_sums":["0","6","108","1458","17496","196830","2125764","22320522","229582512","2324522934","23245229340","230127770466","2259436291848","22029503845518","213516729579636"],"nonn":true,"definitions":[{"position":0,"source":"derived:shift_x_plus_one","source_kind":"derived","equality_edge_id":null,"recurrence":{"first_index":0,"initial_polynomials":[["0"],["4","2"]],"recurrence":{"denominator":{"coeffs":[["-1"],["1"]]},"terms":[{"coeff":{"coeffs":[["0","0","0"],["4","4","1"]]},"deriv_order":0,"offset":1,"sign":"none"}]},"schema":"polytool.recurrence.v1"}}],"properties":[{"id":177699,"position":0,"claim":"real_rooted","from_index":0,"region_key":"(-inf, -1]","provenance":"edges","claim_data":{"claim":"real_rooted","from_index":0,"region":{"upper":{"closed":true,"value":"-1"}}},"label":"Real-rooted","description":"Every row P_n, n >= 0, is zero or real-rooted with all roots in (-inf, -1]","region_exact":null,"edges":["e-a5e8de2964ea6978"]},{"id":177700,"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-7f993f994f18d6ae","e-a5e8de2964ea6978","e-faf26b702c48cb50"]},{"id":177701,"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-7f993f994f18d6ae","e-a5e8de2964ea6978","e-faf26b702c48cb50"]},{"id":177702,"position":3,"claim":"real_rooted","from_index":0,"region_key":"(-inf, 0]","provenance":"edges","claim_data":{"claim":"real_rooted","from_index":0,"region":{"upper":{"closed":true,"value":"0"}}},"label":"Real-rooted","description":"Every row P_n, n >= 0, is zero or real-rooted with all roots in (-inf, 0]","region_exact":null,"edges":["e-7f993f994f18d6ae","e-faf26b702c48cb50"]}],"region_exact":{},"incoming_edges":[{"id":"e-7f993f994f18d6ae","operation":{"map":"A007318","operation":"basis_map"},"operation_detail":"A007318","conclusion_id":"n-91fbe90ea8777148","premise_count":1,"theorem":"geometric family P_k = g(t) (a + d t)^k: T(p) = g(t) p(a + d t), so the roots of T(p) are those of g and the points (r - a)/d for the roots r of p (elementary)","lean_route":null,"lean_declarations":[],"certificate_hash":"f951a771dec9b401eeb10df7afc20560ffeb23c0025bdaaa5fd17992d46fa5d5","verification_polytool":"replayed","verification_lean":"not_attempted","claims":[{"claim":"real_rooted","from_index":0,"region":{"upper":{"closed":true,"value":"0"}}}],"premises":[{"position":0,"node_id":"n-f1591709bf5cf41b","role":"sequence","name":"derivative of Even-numbered rows of Pascal's triangle.","uses":{"claim":"real_rooted","from_index":0,"region":{"upper":{"closed":true,"value":"0"}}},"uses_text":"Every row P_n, n >= 0, is zero or real-rooted with all roots in (-inf, 0]"}]},{"id":"e-a5e8de2964ea6978","operation":{"index_shift":0,"operation":"preserver_image","operator":"{\"shape\":\"affine\",\"slope\":\"1\",\"intercept\":\"1\"}"},"operation_detail":"affine, shift 0","conclusion_id":"n-91fbe90ea8777148","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":"4d4384fcb1925a61166755ff5607d607f26c2b951b1a9f0ed3d7a0c20814540b","verification_polytool":"replayed","verification_lean":"not_attempted","claims":[{"claim":"real_rooted","from_index":0,"region":{"upper":{"closed":true,"value":"-1"}}}],"premises":[{"position":0,"node_id":"n-f1591709bf5cf41b","role":"sequence","name":"derivative of Even-numbered rows of Pascal's triangle.","uses":{"claim":"real_rooted","from_index":0,"region":{"upper":{"closed":true,"value":"0"}}},"uses_text":"Every row P_n, n >= 0, is zero or real-rooted with all roots in (-inf, 0]"}]},{"id":"e-faf26b702c48cb50","operation":{"index_shift":0,"operation":"preserver_image","operator":"{\"shape\":\"derivative_polynomial\",\"coefficients\":[{\"numerator\":[\"0\"],\"denominator\":[\"1\"]},{\"numerator\":[\"1\"],\"denominator\":[\"1\"]}]}"},"operation_detail":"derivative_polynomial, shift 0","conclusion_id":"n-91fbe90ea8777148","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":"9ee30c11e555ef6d3a455892a0a65e9e635f5f56667599806c9224b3b6c97e6f","verification_polytool":"replayed","verification_lean":"not_attempted","claims":[{"claim":"real_rooted","from_index":0,"region":{"upper":{"closed":true,"value":"0"}}}],"premises":[{"position":0,"node_id":"n-8c0973a753fcbe28","role":"sequence","name":"basis_map_A007318 of Even-numbered rows of Pascal's triangle.","uses":{"claim":"real_rooted","from_index":0,"region":{"upper":{"closed":true,"value":"0"}}},"uses_text":"Every row P_n, n >= 0, is zero or real-rooted with all roots in (-inf, 0]"}]}],"used_by":[],"used_by_total":0,"links":[{"id":"l-09ad667b87edffa1","kind":"fingerprint_related","node_a_id":"n-91fbe90ea8777148","node_b_id":"n-cb21c99be919a143","fingerprint":"f6-177c65847e3c5511","oeis_id":null,"in_catalog":null,"target":null,"row_alignment":null,"rows_matched":null,"oeis_nonn":null,"details":{"fingerprint":"f6-177c65847e3c5511"},"other_id":"n-cb21c99be919a143","other":{"id":"n-cb21c99be919a143","name":"derivative of basis_map_A013611 of Even-numbered rows of Pascal's triangle.","first_index":0,"fingerprint":"f6-177c65847e3c5511","polytool_family":null,"degree_pattern":"affine","palindromic":0,"gamma_positive":0,"nonnegative":1,"rr_by_factors":1,"preview_rows":[[],["16","32"],["128","768","1536","1024"]],"card_rows":[["16","32"],["128","768","1536","1024"],["768","7680","30720","61440","61440","24576"],["4096","57344","344064","1146880","2293760","2752512","1835008","524288"]],"row_sums_preview":["0","48","3456","186624","8957952","403107840","17414258688","731398864896"],"regions":["(-inf, 0]"],"region_exact":{},"oeis_ids":[],"derivation":{"root":"n-08f49539099949d5","steps":["basis A013611","D"],"edges":["e-a6b5412d61e1c4e3","e-ede1d0c7432adab9"],"text":"A034870 \u2192 basis A013611 \u2192 D"},"headline":"A034870 \u2192 basis A013611 \u2192 D","chain":null}},{"id":"l-16f51ed3a262470a","kind":"fingerprint_related","node_a_id":"n-91fbe90ea8777148","node_b_id":"n-0936e707d9d749c8","fingerprint":"f6-177c65847e3c5511","oeis_id":null,"in_catalog":null,"target":null,"row_alignment":null,"rows_matched":null,"oeis_nonn":null,"details":{"fingerprint":"f6-177c65847e3c5511"},"other_id":"n-0936e707d9d749c8","other":{"id":"n-0936e707d9d749c8","name":"basis_map_A013609 of derivative of basis-map coefficients of Irregular triangle read by rows formed by taking every other row of the Delannoy array (A008288) regarded as a triangle. shifted by x -> -x + 0","first_index":0,"fingerprint":"f6-177c65847e3c5511","polytool_family":null,"degree_pattern":"affine","palindromic":0,"gamma_positive":0,"nonnegative":1,"rr_by_factors":1,"preview_rows":[[],["2","4"],["4","24","48","32"]],"card_rows":[["2","4"],["4","24","48","32"],["6","60","240","480","480","192"],["8","112","672","2240","4480","5376","3584","1024"]],"row_sums_preview":["0","6","108","1458","17496","196830","2125764","22320522"],"regions":["(-inf, 0]"],"region_exact":{},"oeis_ids":[],"derivation":{"root":"n-cdb0db4ad473ee28","steps":["D","basis A013609"],"edges":["e-521a2a476289c028","e-ac0ca91da3703f90"],"text":"basis-map coefficients of A297191, shifted \u2192 D \u2192 basis A013609"},"headline":"basis-map coefficients of A297191, shifted \u2192 D \u2192 basis A013609","chain":null}},{"id":"l-36466cbac67b6a84","kind":"fingerprint_related","node_a_id":"n-91fbe90ea8777148","node_b_id":"n-baf5264cc15878a7","fingerprint":"f6-177c65847e3c5511","oeis_id":null,"in_catalog":null,"target":null,"row_alignment":null,"rows_matched":null,"oeis_nonn":null,"details":{"fingerprint":"f6-177c65847e3c5511"},"other_id":"n-baf5264cc15878a7","other":{"id":"n-baf5264cc15878a7","name":"basis_map_A013611 of derivative of Even-numbered rows of Pascal's triangle.","first_index":0,"fingerprint":"f6-177c65847e3c5511","polytool_family":null,"degree_pattern":"affine","palindromic":0,"gamma_positive":0,"nonnegative":1,"rr_by_factors":1,"preview_rows":[[],["4","8"],["32","192","384","256"]],"card_rows":[["4","8"],["32","192","384","256"],["192","1920","7680","15360","15360","6144"],["1024","14336","86016","286720","573440","688128","458752","131072"]],"row_sums_preview":["0","12","864","46656","2239488","100776960","4353564672","182849716224"],"regions":["(-inf, 0]"],"region_exact":{},"oeis_ids":[],"derivation":{"root":"n-08f49539099949d5","steps":["D","basis A013611"],"edges":["e-473cc94657c879cc","e-58f0eb5265d39366"],"text":"A034870 \u2192 D \u2192 basis A013611"},"headline":"A034870 \u2192 D \u2192 basis A013611","chain":null}},{"id":"l-a433fff65829b9fc","kind":"fingerprint_related","node_a_id":"n-91fbe90ea8777148","node_b_id":"n-619cc8ea95273502","fingerprint":"f6-177c65847e3c5511","oeis_id":null,"in_catalog":null,"target":null,"row_alignment":null,"rows_matched":null,"oeis_nonn":null,"details":{"fingerprint":"f6-177c65847e3c5511"},"other_id":"n-619cc8ea95273502","other":{"id":"n-619cc8ea95273502","name":"derivative of basis_map_A013609 of basis-map coefficients of Irregular triangle read by rows formed by taking every other row of the Delannoy array (A008288) regarded as a triangle. shifted by x -> -x + 0","first_index":0,"fingerprint":"f6-177c65847e3c5511","polytool_family":null,"degree_pattern":"affine","palindromic":0,"gamma_positive":0,"nonnegative":1,"rr_by_factors":1,"preview_rows":[[],["4","8"],["8","48","96","64"]],"card_rows":[["4","8"],["8","48","96","64"],["12","120","480","960","960","384"],["16","224","1344","4480","8960","10752","7168","2048"]],"row_sums_preview":["0","12","216","2916","34992","393660","4251528","44641044"],"regions":["(-inf, 0]"],"region_exact":{},"oeis_ids":[],"derivation":{"root":"n-cdb0db4ad473ee28","steps":["basis A013609","D"],"edges":["e-20c0b01c4fb345ed","e-c40d39309139e88c"],"text":"basis-map coefficients of A297191, shifted \u2192 basis A013609 \u2192 D"},"headline":"basis-map coefficients of A297191, shifted \u2192 basis A013609 \u2192 D","chain":null}},{"id":"l-b17cacc90fcdc82a","kind":"fingerprint_related","node_a_id":"n-91fbe90ea8777148","node_b_id":"n-c562f6d6978a6187","fingerprint":"f6-177c65847e3c5511","oeis_id":null,"in_catalog":null,"target":null,"row_alignment":null,"rows_matched":null,"oeis_nonn":null,"details":{"fingerprint":"f6-177c65847e3c5511"},"other_id":"n-c562f6d6978a6187","other":{"id":"n-c562f6d6978a6187","name":"derivative of basis_map_A007318 of Triangle T(n,k) with the coefficient of [x^k] of the polynomial (2*(x+1)^2)^n in row n, column k, 0<=k<=2n.","first_index":0,"fingerprint":"f6-177c65847e3c5511","polytool_family":null,"degree_pattern":"affine","palindromic":0,"gamma_positive":0,"nonnegative":1,"rr_by_factors":1,"preview_rows":[[],["8","4"],["128","192","96","16"]],"card_rows":[["8","4"],["128","192","96","16"],["1536","3840","3840","1920","480","48"],["16384","57344","86016","71680","35840","10752","1792","128"]],"row_sums_preview":["0","12","432","11664","279936","6298560","136048896","2857026816"],"regions":["(-inf, 0]"],"region_exact":{},"oeis_ids":[],"derivation":{"root":"n-336459bdce627a87","steps":["x \u21a6 x+1","D"],"edges":["e-9d7e9cd87d9b797c","e-22942c57873a064c"],"text":"A139548 \u2192 x \u21a6 x+1 \u2192 D"},"headline":"A139548 \u2192 x \u21a6 x+1 \u2192 D","chain":null}}],"oeis":[],"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:       0;\n  1:       4,        2;\n  2:      32,       48,       24,         4;\n  3:     192,      480,      480,       240,        60,         6;\n  4:    1024,     3584,     5376,      4480,      2240,       672,       112,         8;\n  5:    5120,    23040,    46080,     53760,     40320,     20160,      6720,      1440,       180,        10;\n  6:   24576,   135168,   337920,    506880,    506880,    354816,    177408,     63360,     15840,      2640,      264,       12;\n  7:  114688,   745472,  2236416,   4100096,   5125120,   4612608,   3075072,   1537536,    576576,    160160,    32032,     4368,     364,     14;\n  8:  524288,  3932160, 13762560,  29818880,  44728320,  49201152,  41000960,  26357760,  13178880,   5125120,  1537536,   349440,   58240,   6720,   480,   16;\n  9: 2359296, 20054016, 80216064, 200540160, 350945280, 456228864, 456228864, 358465536, 224040960, 112020480, 44808192, 14257152, 3564288, 685440, 97920, 9792, 612, 18;\n","recurrence_sentence":"The row polynomials satisfy (n-1)*P(n,x) = (4*n+4*n*x+n*x^2)*P(n-1,x) for n >= 2, with P(0,x) = 0, P(1,x) = 4 + 2*x.","mathematica":"P[0, x_] := 0;\nP[1, x_] := 4 + 2*x;\nP[n_, x_] := P[n, x] = Expand[Together[((4*n + 4*n*x + n*x^2)*P[n - 1, x])/(n - 1)]];\nTable[CoefficientList[P[n, x], x], {n, 0, 9}] // Flatten","pari":"P(N) = {my(v = vector(N + 1)); v[1] = 0; v[2] = 4 + 2*x; for(n = 2, N, my(i = n + 1); v[i] = ((4*n + 4*n*x + n*x^2)*v[i - 1])/(n - 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-08f49539099949d5","steps":["D","basis A007318"],"edges":["e-473cc94657c879cc","e-7f993f994f18d6ae"],"text":"A034870 \u2192 D \u2192 basis A007318"},"headline":"A034870 \u2192 D \u2192 basis A007318","chain":null}