{"id":"n-db2d0b2ce9624a44","revision":0,"first_index":0,"fingerprint":"f6-12929af9fbcc0757","name":"mobius_x_over_x_plus_one of basis_map_A013611 of Even-numbered rows of Pascal's triangle.","polytool_family":null,"interpretation":null,"rows_observed":15,"degree_pattern":"affine","degree_slope":2,"degree_intercept":0,"palindromic":0,"gamma_positive":0,"nonnegative":1,"rr_by_factors":true,"rows":[["1"],["4","24","36"],["16","192","864","1728","1296"],["64","1152","8640","34560","77760","93312","46656"],["256","6144","64512","387072","1451520","3483648","5225472","4478976","1679616"],["1024","30720","414720","3317760","17418240","62705664","156764160","268738560","302330880","201553920","60466176"],["4096","147456","2433024","24330240","164229120","788299776","2759049216","7094697984","13302558720","17736744960","15963070464","8707129344","2176782336"],["16384","688128","13418496","161021952","1328431104","7970586624","35867639808","122974765056","322808758272","645617516544","968426274816","1056465027072","792348770304","365699432448","78364164096"],["65536","3145728","70778880","990904320","9661317120","69561483264","382588157952","1639663534080","5533864427520","14756971806720","30989640794112","50710321299456","63387901624320","58511909191680","37614798766080","15045919506432","2821109907456"],["262144","14155776","360972288","5775556608","64975011840","545790099456","3547635646464","18244983324672","75260556214272","250868520714240","677345005928448","1477843649298432","2586226386272256","3580928842530816","3836709474140160","3069367579312128","1726519263363072","609359740010496","101559956668416"],["1048576","62914560","1793064960","32275169280","411508408320","3950480719872","29628605399040","177771632394240","866636707921920","3466546831687680","11439604544569344","31198921485189120","70197573341675520","129595520015400960","194393280023101440","233271936027721728","218692440025989120","154371134135992320","77185567067996160","24374389600419840","3656158440062976"],["4194304","276824064","8719958016","174399160320","2485188034560","26840030773248","228140261572608","1564390365069312","8799695803514880","41065247083069440","160154463623970816","524141880951177216","1441390172615737344","3326285013728624640","6414978240762347520","10263965185219756032","13471454305600929792","14263892794165690368","11886577328471408640","7507311996929310720","3378290398618189824","965225828176625664","131621703842267136"],["16777216","1207959552","41674604544","916841299968","14440250474496","173283005693952","1646188554092544","12699168845856768","80957201392336896","431771740759130112","1942972833416085504","7418623545770508288","24110526523754151936","66767611911934574592","157380799506702925824","314761599013405851648","531160198335122374656","749873221178996293632","874852091375495675904","828807244460995903488","621605433345746927616","355203104768998244352","145310361041862918144","37907050706572935168","4738381338321616896"],["67108864","5234491392","196293427200","4711042252800","81265478860800","1072704320962560","11263395370106880","96543388886630400","687871645817241600","4127229874903449600","21048872362007592960","91849624852396769280","344436093196487884800","1112793531865576243200","3099924838768390963200","7439819613044138311680","15344627951903535267840","27078755209241532825600","40618132813862299238400","51307115133299746406400","53872470889964733726720","46176403619969771765760","31483911559070298931200","16426388639514938572800","6159895739818101964800","1478374977556344471552","170581728179578208256"],["268435456","22548578304","913217421312","23743652954112","445193492889600","6410786297610240","73724042422517760","695112399983738880","5474010149871943680","36493400999146291200","208012385695133859840","1021151711594293493760","4339894774275747348480","16024226858864297902080","51506443474920957542400","144218041729778681118720","351531476716335535226880","744419597752239956951040","1364769262545773254410240","2154898835598589349068800","2909113428058095621242880","3324701060637823567134720","3173578285154286132264960","2483669962294658712207360","1552293726434161695129600","745100988688397613662208","257919573007522250883072","57315460668338277974016","6140942214464815497216"]],"degrees":[0,2,4,6,8,10,12,14,16,18,20,22,24,26,28],"row_sums":["1","64","4096","262144","16777216","1073741824","68719476736","4398046511104","281474976710656","18014398509481984","1152921504606846976","73786976294838206464","4722366482869645213696","302231454903657293676544","19342813113834066795298816"],"nonn":true,"definitions":[{"position":0,"source":"derived:mobius_x_over_x_plus_one","source_kind":"derived","equality_edge_id":null,"recurrence":{"first_index":0,"initial_polynomials":[["1"]],"recurrence":{"denominator":{"coeffs":[["1","2","1"]]},"terms":[{"coeff":{"coeffs":[["4","32","88","96","36"]]},"deriv_order":0,"offset":1,"sign":"none"}]},"schema":"polytool.recurrence.v1"}}],"properties":[{"id":192747,"position":0,"claim":"real_rooted","from_index":0,"region_key":"[-1, 0]","provenance":"edges","claim_data":{"claim":"real_rooted","from_index":0,"region":{"lower":{"closed":true,"value":"-1"},"upper":{"closed":true,"value":"0"}}},"label":"Real-rooted","description":"Every row P_n, n >= 0, is zero or real-rooted with all roots in [-1, 0]","region_exact":null,"edges":["e-d7f95632ec843b2f"]},{"id":192748,"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-d7f95632ec843b2f"]},{"id":192749,"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-d7f95632ec843b2f"]}],"region_exact":{},"incoming_edges":[{"id":"e-d7f95632ec843b2f","operation":{"index_shift":0,"operation":"preserver_image","operator":"{\"shape\":\"mobius\",\"a\":\"1\",\"b\":\"0\",\"c\":\"1\",\"e\":\"1\",\"schedule\":{\"first_index\":0,\"first_degree\":0,\"step\":2}}"},"operation_detail":"mobius, shift 0","conclusion_id":"n-db2d0b2ce9624a44","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":"fTransform","lean_declarations":["RealRooted.splits_fPolynomial"],"certificate_hash":"8176b87861a9b85ebc276a4b7fcf6179e87e0268e5df77eeb5adabadf7c3e3a8","verification_polytool":"replayed","verification_lean":"not_attempted","claims":[{"claim":"real_rooted","from_index":0,"region":{"lower":{"closed":true,"value":"-1"},"upper":{"closed":true,"value":"0"}}}],"premises":[{"position":0,"node_id":"n-0ca8dc857c80d449","role":"sequence","name":"basis_map_A013611 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-1ffb37a66f05cfae","kind":"fingerprint_related","node_a_id":"n-dadebac29001ef09","node_b_id":"n-db2d0b2ce9624a44","fingerprint":"f6-12929af9fbcc0757","oeis_id":null,"in_catalog":null,"target":null,"row_alignment":null,"rows_matched":null,"oeis_nonn":null,"details":{"fingerprint":"f6-12929af9fbcc0757"},"other_id":"n-dadebac29001ef09","other":{"id":"n-dadebac29001ef09","name":"shift_x_plus_one of basis_map_A007318 of Even-numbered rows of Pascal's triangle.","first_index":0,"fingerprint":"f6-12929af9fbcc0757","polytool_family":null,"degree_pattern":"affine","palindromic":0,"gamma_positive":0,"nonnegative":1,"rr_by_factors":1,"preview_rows":[["1"],["9","6","1"],["81","108","54","12","1"]],"card_rows":[["1"],["9","6","1"],["81","108","54","12","1"],["729","1458","1215","540","135","18","1"]],"row_sums_preview":["1","16","256","4096","65536","1048576","16777216","268435456"],"regions":["(-inf, -1]","(-inf, 0]"],"region_exact":{},"oeis_ids":[],"derivation":{"root":"n-cdb0db4ad473ee28","steps":["basis A013610","reverse"],"edges":["e-4aebfd11077ddb65","e-3be88b42a1cacdc4"],"text":"basis-map coefficients of A297191, shifted \u2192 basis A013610 \u2192 reverse"},"headline":"basis-map coefficients of A297191, shifted \u2192 basis A013610 \u2192 reverse","chain":null}},{"id":"l-677f9bbe25a9f8eb","kind":"fingerprint_related","node_a_id":"n-db2d0b2ce9624a44","node_b_id":"n-20b7f3bad687c697","fingerprint":"f6-12929af9fbcc0757","oeis_id":null,"in_catalog":null,"target":null,"row_alignment":null,"rows_matched":null,"oeis_nonn":null,"details":{"fingerprint":"f6-12929af9fbcc0757"},"other_id":"n-20b7f3bad687c697","other":{"id":"n-20b7f3bad687c697","name":"basis_map_A013610 of theta_plus_one 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-12929af9fbcc0757","polytool_family":null,"degree_pattern":"affine","palindromic":0,"gamma_positive":0,"nonnegative":1,"rr_by_factors":1,"preview_rows":[["1"],["3","18","27"],["5","60","270","540","405"]],"card_rows":[["1"],["3","18","27"],["5","60","270","540","405"],["7","126","945","3780","8505","10206","5103"]],"row_sums_preview":["1","48","1280","28672","589824","11534336","218103808","4026531840"],"regions":["(-inf, 0]"],"region_exact":{},"oeis_ids":[],"derivation":{"root":"n-cdb0db4ad473ee28","steps":["\u03b8+1","basis A013610"],"edges":["e-5ff024f1a04a7dc8","e-5a13a7d4c1f830cf"],"text":"basis-map coefficients of A297191, shifted \u2192 \u03b8+1 \u2192 basis A013610"},"headline":"basis-map coefficients of A297191, shifted \u2192 \u03b8+1 \u2192 basis A013610","chain":null}},{"id":"l-99597ee33a5dedcc","kind":"fingerprint_related","node_a_id":"n-a046a8a92333afa9","node_b_id":"n-db2d0b2ce9624a44","fingerprint":"f6-12929af9fbcc0757","oeis_id":null,"in_catalog":null,"target":null,"row_alignment":null,"rows_matched":null,"oeis_nonn":null,"details":{"fingerprint":"f6-12929af9fbcc0757"},"other_id":"n-a046a8a92333afa9","other":{"id":"n-a046a8a92333afa9","name":"shift_x_plus_one 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-12929af9fbcc0757","polytool_family":null,"degree_pattern":"affine","palindromic":0,"gamma_positive":0,"nonnegative":1,"rr_by_factors":1,"preview_rows":[["1"],["18","12","2"],["324","432","216","48","4"]],"card_rows":[["1"],["18","12","2"],["324","432","216","48","4"],["5832","11664","9720","4320","1080","144","8"]],"row_sums_preview":["1","32","1024","32768","1048576","33554432","1073741824","34359738368"],"regions":["(-inf, -1]","(-inf, 0]"],"region_exact":{},"oeis_ids":[],"derivation":{"root":"n-336459bdce627a87","steps":["x \u21a6 x+1","basis A007318"],"edges":["e-9d7e9cd87d9b797c","e-e30126faf391819c"],"text":"A139548 \u2192 x \u21a6 x+1 \u2192 basis A007318"},"headline":"A139548 \u2192 x \u21a6 x+1 \u2192 basis A007318","chain":null}},{"id":"l-aa861b8961e35ca8","kind":"fingerprint_related","node_a_id":"n-eb3f8d5fd252d0c9","node_b_id":"n-db2d0b2ce9624a44","fingerprint":"f6-12929af9fbcc0757","oeis_id":null,"in_catalog":null,"target":null,"row_alignment":null,"rows_matched":null,"oeis_nonn":null,"details":{"fingerprint":"f6-12929af9fbcc0757"},"other_id":"n-eb3f8d5fd252d0c9","other":{"id":"n-eb3f8d5fd252d0c9","name":"basis_map_A013610 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-12929af9fbcc0757","polytool_family":null,"degree_pattern":"affine","palindromic":0,"gamma_positive":0,"nonnegative":1,"rr_by_factors":1,"preview_rows":[["1"],["1","6","9"],["1","12","54","108","81"]],"card_rows":[["1"],["1","6","9"],["1","12","54","108","81"],["1","18","135","540","1215","1458","729"]],"row_sums_preview":["1","16","256","4096","65536","1048576","16777216","268435456"],"regions":["(-inf, 0]","[-1, 0]"],"region_exact":{},"oeis_ids":[],"derivation":{"root":"n-cdb0db4ad473ee28","steps":["basis A013610"],"edges":["e-4aebfd11077ddb65"],"text":"basis-map coefficients of A297191, shifted \u2192 basis A013610"},"headline":"basis-map coefficients of A297191, shifted \u2192 basis A013610","chain":null}},{"id":"l-ec080e2bf072a7a8","kind":"fingerprint_related","node_a_id":"n-db2d0b2ce9624a44","node_b_id":"n-c5a2bf19e77949e1","fingerprint":"f6-12929af9fbcc0757","oeis_id":null,"in_catalog":null,"target":null,"row_alignment":null,"rows_matched":null,"oeis_nonn":null,"details":{"fingerprint":"f6-12929af9fbcc0757"},"other_id":"n-c5a2bf19e77949e1","other":{"id":"n-c5a2bf19e77949e1","name":"basis_map_A013610 of theta_plus_one_squared 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-12929af9fbcc0757","polytool_family":null,"degree_pattern":"affine","palindromic":0,"gamma_positive":0,"nonnegative":1,"rr_by_factors":1,"preview_rows":[["1"],["9","54","81"],["25","300","1350","2700","2025"]],"card_rows":[["1"],["9","54","81"],["25","300","1350","2700","2025"],["49","882","6615","26460","59535","71442","35721"]],"row_sums_preview":["1","144","6400","200704","5308416","126877696","2835349504","60397977600"],"regions":["(-inf, 0]"],"region_exact":{},"oeis_ids":[],"derivation":{"root":"n-cdb0db4ad473ee28","steps":["(\u03b8+1)\u00b2","basis A013610"],"edges":["e-5ac7ff393747d6fc","e-d90382c759b2943e"],"text":"basis-map coefficients of A297191, shifted \u2192 (\u03b8+1)\u00b2 \u2192 basis A013610"},"headline":"basis-map coefficients of A297191, shifted \u2192 (\u03b8+1)\u00b2 \u2192 basis A013610","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:      1;\n  1:      4,       24,        36;\n  2:     16,      192,       864,       1728,        1296;\n  3:     64,     1152,      8640,      34560,       77760,        93312,         46656;\n  4:    256,     6144,     64512,     387072,     1451520,      3483648,       5225472,        4478976,        1679616;\n  5:   1024,    30720,    414720,    3317760,    17418240,     62705664,     156764160,      268738560,      302330880,       201553920,        60466176;\n  6:   4096,   147456,   2433024,   24330240,   164229120,    788299776,    2759049216,     7094697984,    13302558720,     17736744960,     15963070464,       8707129344,       2176782336;\n  7:  16384,   688128,  13418496,  161021952,  1328431104,   7970586624,   35867639808,   122974765056,   322808758272,    645617516544,    968426274816,    1056465027072,     792348770304,     365699432448,      78364164096;\n  8:  65536,  3145728,  70778880,  990904320,  9661317120,  69561483264,  382588157952,  1639663534080,  5533864427520,  14756971806720,  30989640794112,   50710321299456,   63387901624320,   58511909191680,   37614798766080,   15045919506432,    2821109907456;\n  9: 262144, 14155776, 360972288, 5775556608, 64975011840, 545790099456, 3547635646464, 18244983324672, 75260556214272, 250868520714240, 677345005928448, 1477843649298432, 2586226386272256, 3580928842530816, 3836709474140160, 3069367579312128, 1726519263363072, 609359740010496, 101559956668416;\n","recurrence_sentence":"The row polynomials satisfy (1+2*x+x^2)*P(n,x) = (4+32*x+88*x^2+96*x^3+36*x^4)*P(n-1,x) for n >= 1, with P(0,x) = 1.","mathematica":"P[0, x_] := 1;\nP[n_, x_] := P[n, x] = Expand[Together[((4 + 32*x + 88*x^2 + 96*x^3 + 36*x^4)*P[n - 1, x])/(1 + 2*x + x^2)]];\nTable[CoefficientList[P[n, x], x], {n, 0, 9}] // Flatten","pari":"P(N) = {my(v = vector(N + 1)); v[1] = 1; for(n = 1, N, my(i = n + 1); v[i] = ((4 + 32*x + 88*x^2 + 96*x^3 + 36*x^4)*v[i - 1])/(1 + 2*x + x^2)); 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":["basis A013611","x \u21a6 x/(x+1)"],"edges":["e-a6b5412d61e1c4e3","e-d7f95632ec843b2f"],"text":"A034870 \u2192 basis A013611 \u2192 x \u21a6 x/(x+1)"},"headline":"A034870 \u2192 basis A013611 \u2192 x \u21a6 x/(x+1)","chain":null}