{"id":"n-d0bed16060b50d92","revision":0,"first_index":0,"fingerprint":"f6-89a932e93fe55d02","name":"derivative of basis_map_A013609 of Triangle read by rows: (i,j)-th entry is binomial(i,j)*3^(i-j)*8^j.","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":true,"rows":[["352","512"],["5808","16896","12288"],["85184","371712","540672","262144"],["1171280","6814720","14868480","14417920","5242880"],["15460896","112442880","327106560","475791360","346030080","100663296"],["198414832","1731620352","6296801280","12211978240","13322158080","7751073792","1879048192"],["2494357888","25397098496","110823702528","268663521280","390783303680","341047246848","165356240896","34359738368"],["30867678864","359187535872","1828591091712","5319537721344","9671886766080","11254559145984","8185133924352","3401614098432","618475290624"],["377271630560","4938828618240","28735002869760","97524858224640","212781508853760","309500376514560","300121577226240","187088775413760","68032281968640","10995116277760"],["4564986729776","66399806978560","434616918405120","1685786835025920","4291093761884160","7489909111652352","9078677711093760","7545913941688320","4115953059102720","1330409069608960","193514046488576"],["54779840757312","876477452116992","6374381469941760","27815482777927680","80917768081244160","164778000456351744","239677091572875264","249015160075714560","181101934600519680","87806998594191360","25543854136492032","3377699720527872"],["652793102357968","11394206877520896","91153655020167168","441957115249295360","1446405104452239360","3366179152179757056","5712304015820193792","7121833578165436416","6474394161968578560","4185466932989788160","1826385570759180288","483011060035485696","58546795155816448"],["7733087520240544","146225654928184832","1276151170282340352","6806139574839148544","24749598453960540160","64798948679460323328","125670688348044263424","182793728506246201344","199411340188632219648","161140476920106844160","93754459298971254784","37191851622732398592","9016206453995732992","1008806316530991104"],["91139960059977840","1855941004857730560","17547078591382179840","102092093622587228160","408368374490348912640","1187980725790105927680","2591957947178412933120","4308709314790089031680","5483811855187386040320","5317635738363525857280","3867371446082564259840","2045551839250281922560","743837032454647971840","166453042227613532160","17293822569102704640"],["1069375531370406656","23331829775354327040","237560448621789511680","1497350706464612679680","6533893991845582602240","20908460773905864327168","50687177633711186247680","94791604925381958696960","137878698073282849013760","155983981658663425146880","136131474902106261946368","90004280927012404592640","43638439237339347681280","14647867716029990830080","3043712772162076016640","295147905179352825856"]],"degrees":[1,2,3,4,5,6,7,8,9,10,11,12,13,14,15],"row_sums":["864","34992","1259712","42515280","1377495072","43391094768","1338925209984","40669853253264","1220095597597920","36236839248658224","1067339628778660416","31219684141775817168","907772354276250683808","26260557391562966210160","756304052877013426852608"],"nonn":true,"definitions":[{"position":0,"source":"derived:derivative","source_kind":"derived","equality_edge_id":null,"recurrence":{"first_index":0,"initial_polynomials":[["352","512"]],"recurrence":{"denominator":{"coeffs":[["1"],["1"]]},"terms":[{"coeff":{"coeffs":[["22","32"],["11","16"]]},"deriv_order":0,"offset":1,"sign":"none"}]},"schema":"polytool.recurrence.v1"}}],"properties":[{"id":194032,"position":0,"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-27031fc14ce0f1b9"]},{"id":194033,"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-27031fc14ce0f1b9"]},{"id":194034,"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-27031fc14ce0f1b9"]},{"id":194035,"position":3,"claim":"interlacing","from_index":1,"region_key":null,"provenance":"edges","claim_data":{"claim":"interlacing","from_index":1,"kind":"weak","orientation":"unordered"},"label":"Interlacing of consecutive rows","description":"Rows P_(m-1), P_m interlace (weak, unordered) for every m >= 1","region_exact":null,"edges":["e-27031fc14ce0f1b9"]}],"region_exact":{},"incoming_edges":[{"id":"e-27031fc14ce0f1b9","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-d0bed16060b50d92","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":"f284baace3493fd70d3ae4905dd65ea4f58165f06132f90e6fcb39a1f3939ba6","verification_polytool":"replayed","verification_lean":"not_attempted","claims":[{"claim":"real_rooted","from_index":0,"region":{"upper":{"closed":true,"value":"0"}}},{"claim":"interlacing","from_index":1,"kind":"weak","orientation":"unordered"}],"premises":[{"position":0,"node_id":"n-1600c9e1b40ceecc","role":"sequence","name":"basis_map_A013609 of Triangle read by rows: (i,j)-th entry is binomial(i,j)*3^(i-j)*8^j.","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-170dff79dcaf9445","kind":"fingerprint_related","node_a_id":"n-d0bed16060b50d92","node_b_id":"n-780fe707feb8bee2","fingerprint":"f6-89a932e93fe55d02","oeis_id":null,"in_catalog":null,"target":null,"row_alignment":null,"rows_matched":null,"oeis_nonn":null,"details":{"fingerprint":"f6-89a932e93fe55d02"},"other_id":"n-780fe707feb8bee2","other":{"id":"n-780fe707feb8bee2","name":"basis_map_A013609 of basis_map_A013611 of Triangle of coefficients in expansion of (1+2*x)^n.","first_index":0,"fingerprint":"f6-89a932e93fe55d02","polytool_family":null,"degree_pattern":"affine","palindromic":0,"gamma_positive":0,"nonnegative":1,"rr_by_factors":1,"preview_rows":[["1"],["11","16"],["121","352","256"]],"card_rows":[["1"],["11","16"],["121","352","256"],["1331","5808","8448","4096"]],"row_sums_preview":["1","27","729","19683","531441","14348907","387420489","10460353203"],"regions":["(-inf, 0]"],"region_exact":{},"oeis_ids":[],"derivation":{"root":"n-c44f7114310405ad","steps":["x \u21a6 x/(x+1)","basis A013609"],"edges":["e-22d203db774fd047","e-02cfdf4ddd8be840"],"text":"A013622 \u2192 x \u21a6 x/(x+1) \u2192 basis A013609"},"headline":"A013622 \u2192 x \u21a6 x/(x+1) \u2192 basis A013609","chain":null}},{"id":"l-784df13be4b4c4a0","kind":"fingerprint_related","node_a_id":"n-1600c9e1b40ceecc","node_b_id":"n-d0bed16060b50d92","fingerprint":"f6-89a932e93fe55d02","oeis_id":null,"in_catalog":null,"target":null,"row_alignment":null,"rows_matched":null,"oeis_nonn":null,"details":{"fingerprint":"f6-89a932e93fe55d02"},"other_id":"n-1600c9e1b40ceecc","other":{"id":"n-1600c9e1b40ceecc","name":"basis_map_A013609 of Triangle read by rows: (i,j)-th entry is binomial(i,j)*3^(i-j)*8^j.","first_index":0,"fingerprint":"f6-89a932e93fe55d02","polytool_family":null,"degree_pattern":"affine","palindromic":0,"gamma_positive":0,"nonnegative":1,"rr_by_factors":1,"preview_rows":[["121","352","256"],["1331","5808","8448","4096"],["14641","85184","185856","180224","65536"]],"card_rows":[["121","352","256"],["1331","5808","8448","4096"],["14641","85184","185856","180224","65536"],["161051","1171280","3407360","4956160","3604480","1048576"]],"row_sums_preview":["729","19683","531441","14348907","387420489","10460353203","282429536481","7625597484987"],"regions":["(-inf, 0]","[-1, 0]"],"region_exact":{},"oeis_ids":[],"derivation":{"root":"n-26633b980c3508e8","steps":["basis A013609"],"edges":["e-c8a2ee9cf24a53ed"],"text":"A038226 \u2192 basis A013609"},"headline":"A038226 \u2192 basis A013609","chain":null}},{"id":"l-82b14263c4eb7aee","kind":"fingerprint_related","node_a_id":"n-d0bed16060b50d92","node_b_id":"n-68bcd9136aa2ea5a","fingerprint":"f6-89a932e93fe55d02","oeis_id":null,"in_catalog":null,"target":null,"row_alignment":null,"rows_matched":null,"oeis_nonn":null,"details":{"fingerprint":"f6-89a932e93fe55d02"},"other_id":"n-68bcd9136aa2ea5a","other":{"id":"n-68bcd9136aa2ea5a","name":"reversal of basis_map_A013609 of Triangle read by rows: (i,j)-th entry is binomial(i,j)*3^(i-j)*8^j.","first_index":0,"fingerprint":"f6-89a932e93fe55d02","polytool_family":null,"degree_pattern":"affine","palindromic":0,"gamma_positive":0,"nonnegative":1,"rr_by_factors":1,"preview_rows":[["256","352","121"],["4096","8448","5808","1331"],["65536","180224","185856","85184","14641"]],"card_rows":[["256","352","121"],["4096","8448","5808","1331"],["65536","180224","185856","85184","14641"],["1048576","3604480","4956160","3407360","1171280","161051"]],"row_sums_preview":["729","19683","531441","14348907","387420489","10460353203","282429536481","7625597484987"],"regions":["(-inf, 0]"],"region_exact":{},"oeis_ids":[],"derivation":{"root":"n-26633b980c3508e8","steps":["basis A013609","reverse"],"edges":["e-c8a2ee9cf24a53ed","e-36a720d6b9756ac3"],"text":"A038226 \u2192 basis A013609 \u2192 reverse"},"headline":"A038226 \u2192 basis A013609 \u2192 reverse","chain":null}},{"id":"l-9b16bdb389b94001","kind":"fingerprint_related","node_a_id":"n-040cf34a6f45d29f","node_b_id":"n-d0bed16060b50d92","fingerprint":"f6-89a932e93fe55d02","oeis_id":null,"in_catalog":null,"target":null,"row_alignment":null,"rows_matched":null,"oeis_nonn":null,"details":{"fingerprint":"f6-89a932e93fe55d02"},"other_id":"n-040cf34a6f45d29f","other":{"id":"n-040cf34a6f45d29f","name":"mobius_x_over_x_plus_one of basis_map_A007318 of Triangle whose (i,j)-th entry is binomial(i,j)*6^(i-j)*5^j.","first_index":0,"fingerprint":"f6-89a932e93fe55d02","polytool_family":null,"degree_pattern":"affine","palindromic":0,"gamma_positive":0,"nonnegative":1,"rr_by_factors":1,"preview_rows":[["1"],["11","16"],["121","352","256"]],"card_rows":[["1"],["11","16"],["121","352","256"],["1331","5808","8448","4096"]],"row_sums_preview":["1","27","729","19683","531441","14348907","387420489","10460353203"],"regions":["[-1, 0]"],"region_exact":{},"oeis_ids":[],"derivation":{"root":"n-e6ebe74518d42cbe","steps":["basis A007318","x \u21a6 x/(x+1)"],"edges":["e-1194f7dc6f45a71b","e-b54086439095b627"],"text":"A038259 \u2192 basis A007318 \u2192 x \u21a6 x/(x+1)"},"headline":"A038259 \u2192 basis A007318 \u2192 x \u21a6 x/(x+1)","chain":null}},{"id":"l-af50de547b6af45d","kind":"fingerprint_related","node_a_id":"n-d0bed16060b50d92","node_b_id":"n-567e404cc344d278","fingerprint":"f6-89a932e93fe55d02","oeis_id":null,"in_catalog":null,"target":null,"row_alignment":null,"rows_matched":null,"oeis_nonn":null,"details":{"fingerprint":"f6-89a932e93fe55d02"},"other_id":"n-567e404cc344d278","other":{"id":"n-567e404cc344d278","name":"mobius_x_over_x_plus_one of basis_map_A007318 of Triangle whose (i,j)-th entry is binomial(i,j)*12^(i-j)*10^j.","first_index":0,"fingerprint":"f6-89a932e93fe55d02","polytool_family":null,"degree_pattern":"affine","palindromic":0,"gamma_positive":0,"nonnegative":1,"rr_by_factors":1,"preview_rows":[["484","1408","1024"],["10648","46464","67584","32768"],["234256","1362944","2973696","2883584","1048576"]],"card_rows":[["484","1408","1024"],["10648","46464","67584","32768"],["234256","1362944","2973696","2883584","1048576"],["5153632","37480960","109035520","158597120","115343360","33554432"]],"row_sums_preview":["2916","157464","8503056","459165024","24794911296","1338925209984","72301961339136","3904305912313344"],"regions":["[-1, 0]"],"region_exact":{},"oeis_ids":[],"derivation":{"root":"n-ec89fb3fc20684fc","steps":["x \u21a6 x+1","x \u21a6 x/(x+1)"],"edges":["e-0c3feb8686271cde","e-d327a177a3d846ed"],"text":"A038336 \u2192 x \u21a6 x+1 \u2192 x \u21a6 x/(x+1)"},"headline":"A038336 \u2192 x \u21a6 x+1 \u2192 x \u21a6 x/(x+1)","chain":null}},{"id":"l-b4e399702ea17c11","kind":"fingerprint_related","node_a_id":"n-d0bed16060b50d92","node_b_id":"n-adb898de6c27baa4","fingerprint":"f6-89a932e93fe55d02","oeis_id":null,"in_catalog":null,"target":null,"row_alignment":null,"rows_matched":null,"oeis_nonn":null,"details":{"fingerprint":"f6-89a932e93fe55d02"},"other_id":"n-adb898de6c27baa4","other":{"id":"n-adb898de6c27baa4","name":"shift_x_plus_one of basis_map_A013611 of Triangle whose (i,j)-th entry is binomial(i,j)*9^(i-j)*11^j.","first_index":0,"fingerprint":"f6-89a932e93fe55d02","polytool_family":null,"degree_pattern":"affine","palindromic":0,"gamma_positive":0,"nonnegative":1,"rr_by_factors":1,"preview_rows":[["4096","5632","1936"],["262144","540672","371712","85184"],["16777216","46137344","47579136","21807104","3748096"]],"card_rows":[["4096","5632","1936"],["262144","540672","371712","85184"],["16777216","46137344","47579136","21807104","3748096"],["1073741824","3690987520","5075107840","3489136640","1199390720","164916224"]],"row_sums_preview":["11664","1259712","136048896","14693280768","1586874322944","171382426877952","18509302102818816","1999004627104432128"],"regions":["(-inf, -1]","(-inf, 0]"],"region_exact":{},"oeis_ids":[],"derivation":{"root":"n-cfc5b48d32898a3e","steps":["basis A013611","basis A007318"],"edges":["e-9ac6ce8d07a161c9","e-a7b7fcb34e700b74"],"text":"A038301 \u2192 basis A013611 \u2192 basis A007318"},"headline":"A038301 \u2192 basis A013611 \u2192 basis A007318","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:           352,            512;\n  1:          5808,          16896,           12288;\n  2:         85184,         371712,          540672,           262144;\n  3:       1171280,        6814720,        14868480,         14417920,          5242880;\n  4:      15460896,      112442880,       327106560,        475791360,        346030080,        100663296;\n  5:     198414832,     1731620352,      6296801280,      12211978240,      13322158080,       7751073792,       1879048192;\n  6:    2494357888,    25397098496,    110823702528,     268663521280,     390783303680,     341047246848,     165356240896,      34359738368;\n  7:   30867678864,   359187535872,   1828591091712,    5319537721344,    9671886766080,   11254559145984,    8185133924352,    3401614098432,     618475290624;\n  8:  377271630560,  4938828618240,  28735002869760,   97524858224640,  212781508853760,  309500376514560,  300121577226240,  187088775413760,   68032281968640,   10995116277760;\n  9: 4564986729776, 66399806978560, 434616918405120, 1685786835025920, 4291093761884160, 7489909111652352, 9078677711093760, 7545913941688320, 4115953059102720, 1330409069608960, 193514046488576;\n","recurrence_sentence":"The row polynomials satisfy (n+1)*P(n,x) = (11*n+22+(16*n+32)*x)*P(n-1,x) for n >= 1, with P(0,x) = 352 + 512*x.","mathematica":"P[0, x_] := 352 + 512*x;\nP[n_, x_] := P[n, x] = Expand[Together[((11*n + 22 + (16*n + 32)*x)*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] = 352 + 512*x; for(n = 1, N, my(i = n + 1); v[i] = ((11*n + 22 + (16*n + 32)*x)*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-26633b980c3508e8","steps":["basis A013609","D"],"edges":["e-c8a2ee9cf24a53ed","e-27031fc14ce0f1b9"],"text":"A038226 \u2192 basis A013609 \u2192 D"},"headline":"A038226 \u2192 basis A013609 \u2192 D","chain":null}