{"id":"n-2d2986fb6c657dd8","revision":0,"first_index":0,"fingerprint":"f6-b2b1f354adf1851f","name":"mobius_x_over_x_plus_one of basis_map_A013610 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","20","25"],["16","160","600","1000","625"],["64","960","6000","20000","37500","37500","15625"],["256","5120","44800","224000","700000","1400000","1750000","1250000","390625"],["1024","25600","288000","1920000","8400000","25200000","52500000","75000000","70312500","39062500","9765625"],["4096","122880","1689600","14080000","79200000","316800000","924000000","1980000000","3093750000","3437500000","2578125000","1171875000","244140625"],["16384","573440","9318400","93184000","640640000","3203200000","12012000000","34320000000","75075000000","125125000000","156406250000","142187500000","88867187500","34179687500","6103515625"],["65536","2621440","49152000","573440000","4659200000","27955200000","128128000000","457600000000","1287000000000","2860000000000","5005000000000","6825000000000","7109375000000","5468750000000","2929687500000","976562500000","152587890625"],["262144","11796480","250675200","3342336000","31334400000","219340800000","1188096000000","5091840000000","17503200000000","48620000000000","109395000000000","198900000000000","290062500000000","334687500000000","298828125000000","199218750000000","93383789062500","27465820312500","3814697265625"],["1048576","52428800","1245184000","18677760000","198451200000","1587609600000","9922560000000","49612800000000","201552000000000","671840000000000","1847560000000000","4199000000000000","7873125000000000","12112500000000000","15140625000000000","15140625000000000","11828613281250000","6958007812500000","2899169921875000","762939453125000","95367431640625"],["4194304","230686720","6055526400","100925440000","1198489600000","10786406400000","76403712000000","436592640000000","2046528000000000","7958720000000000","25865840000000000","70543200000000000","161661500000000000","310887500000000000","499640625000000000","666187500000000000","728642578125000000","642919921875000000","446472167968750000","234985351562500000","88119506835937500","20980834960937500","2384185791015625"],["16777216","1006632960","28940697600","530579456000","6963855360000","69638553600000","551305216000000","3544104960000000","18828057600000000","83680256000000000","313800960000000000","998457600000000000","2704156000000000000","6240360000000000000","12257850000000000000","20429750000000000000","28729335937500000000","33799218750000000000","32860351562500000000","25942382812500000000","16213989257812500000","7720947265625000000","2632141113281250000","572204589843750000","59604644775390625"],["67108864","4362076160","136314880000","2726297600000","39190528000000","431095808000000","3772088320000000","26943488000000000","159976960000000000","799884800000000000","3399510400000000000","12361856000000000000","38630800000000000000","104006000000000000000","241442500000000000000","482885000000000000000","829958593750000000000","1220527343750000000000","1525659179687500000000","1605957031250000000000","1405212402343750000000","1003723144531250000000","570297241210937500000","247955322265625000000","77486038208007812500","15497207641601562500","1490116119384765625"],["268435456","18790481920","634178764800","13740539904000","214695936000000","2576351232000000","24690032640000000","193993113600000000","1273079808000000000","7072665600000000000","33595161600000000000","137434752000000000000","486748080000000000000","1497686400000000000000","4011660000000000000000","9360540000000000000000","19013596875000000000000","33553406250000000000000","51262148437500000000000","67450195312500000000000","75881469726562500000000","72268066406250000000000","57485961914062500000000","37490844726562500000000","19526481628417968750000","7810592651367187500000","2253055572509765625000","417232513427734375000","37252902984619140625"]],"degrees":[0,2,4,6,8,10,12,14,16,18,20,22,24,26,28],"row_sums":["1","49","2401","117649","5764801","282475249","13841287201","678223072849","33232930569601","1628413597910449","79792266297612001","3909821048582988049","191581231380566414401","9387480337647754305649","459986536544739960976801"],"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","28","69","70","25"]]},"deriv_order":0,"offset":1,"sign":"none"}]},"schema":"polytool.recurrence.v1"}}],"properties":[{"id":191316,"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-84daae9eebeef2d2"]},{"id":191317,"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-84daae9eebeef2d2"]},{"id":191318,"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-84daae9eebeef2d2"]}],"region_exact":{},"incoming_edges":[{"id":"e-84daae9eebeef2d2","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-2d2986fb6c657dd8","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":"201d8c6753529eaa280490982bcda7cec3d99e7287f92932171f53d6239e1b1b","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-1e083728b424e77f","role":"sequence","name":"basis_map_A013610 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-123751ae14eecd28","kind":"fingerprint_related","node_a_id":"n-2d2986fb6c657dd8","node_b_id":"n-48b0227ab432072e","fingerprint":"f6-b2b1f354adf1851f","oeis_id":null,"in_catalog":null,"target":null,"row_alignment":null,"rows_matched":null,"oeis_nonn":null,"details":{"fingerprint":"f6-b2b1f354adf1851f"},"other_id":"n-48b0227ab432072e","other":{"id":"n-48b0227ab432072e","name":"mobius_x_over_x_plus_one of basis_map_A013610 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-b2b1f354adf1851f","polytool_family":null,"degree_pattern":"affine","palindromic":0,"gamma_positive":0,"nonnegative":1,"rr_by_factors":1,"preview_rows":[["1"],["8","40","50"],["64","640","2400","4000","2500"]],"card_rows":[["1"],["8","40","50"],["64","640","2400","4000","2500"],["512","7680","48000","160000","300000","300000","125000"]],"row_sums_preview":["1","98","9604","941192","92236816","9039207968","885842380864","86812553324672"],"regions":["[-1, 0]"],"region_exact":{},"oeis_ids":[],"derivation":{"root":"n-336459bdce627a87","steps":["basis A013610","x \u21a6 x/(x+1)"],"edges":["e-a142fb8711dcbce4","e-e668926f5ed327ee"],"text":"A139548 \u2192 basis A013610 \u2192 x \u21a6 x/(x+1)"},"headline":"A139548 \u2192 basis A013610 \u2192 x \u21a6 x/(x+1)","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,       20,        25;\n  2:     16,      160,       600,       1000,         625;\n  3:     64,      960,      6000,      20000,       37500,        37500,         15625;\n  4:    256,     5120,     44800,     224000,      700000,      1400000,       1750000,       1250000,         390625;\n  5:   1024,    25600,    288000,    1920000,     8400000,     25200000,      52500000,      75000000,       70312500,       39062500,         9765625;\n  6:   4096,   122880,   1689600,   14080000,    79200000,    316800000,     924000000,    1980000000,     3093750000,     3437500000,      2578125000,      1171875000,       244140625;\n  7:  16384,   573440,   9318400,   93184000,   640640000,   3203200000,   12012000000,   34320000000,    75075000000,   125125000000,    156406250000,    142187500000,     88867187500,     34179687500,      6103515625;\n  8:  65536,  2621440,  49152000,  573440000,  4659200000,  27955200000,  128128000000,  457600000000,  1287000000000,  2860000000000,   5005000000000,   6825000000000,   7109375000000,   5468750000000,   2929687500000,    976562500000,   152587890625;\n  9: 262144, 11796480, 250675200, 3342336000, 31334400000, 219340800000, 1188096000000, 5091840000000, 17503200000000, 48620000000000, 109395000000000, 198900000000000, 290062500000000, 334687500000000, 298828125000000, 199218750000000, 93383789062500, 27465820312500, 3814697265625;\n","recurrence_sentence":"The row polynomials satisfy (1+2*x+x^2)*P(n,x) = (4+28*x+69*x^2+70*x^3+25*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 + 28*x + 69*x^2 + 70*x^3 + 25*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 + 28*x + 69*x^2 + 70*x^3 + 25*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 A013610","x \u21a6 x/(x+1)"],"edges":["e-cb7f9b19b94bd36e","e-84daae9eebeef2d2"],"text":"A034870 \u2192 basis A013610 \u2192 x \u21a6 x/(x+1)"},"headline":"A034870 \u2192 basis A013610 \u2192 x \u21a6 x/(x+1)","chain":null}