{"id":"n-e330d721682f502b","revision":0,"first_index":0,"fingerprint":"f6-8569cda4d5c26e17","name":"shift_x_plus_one of Triangle read by rows: T(n,k), for k=-n..n-1, is the scaled (by 2^n n!) probability that the sum of n uniform [-1, 1] variables is between k and k+1.","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":false,"rows":[["2","1"],["8","12","6","1"],["48","120","116","54","12","1"],["384","1344","1952","1520","680","172","22","1"],["3840","17280","33600","36960","25232","11000","3020","490","40","1"],["46080","253440","618240","881280","813248","507808","217392","63080","11920","1344","74","1"],["645120","4193280","12311040","21584640","25162368","20534976","12018848","5076400","1532832","321944","44548","3654","140","1"],["10321920","77414400","265789440","553512960","780724224","788401152","587188736","327174912","136761984","42555072","9662688","1543248","162456","9972","270","1"],["185794560","1579253760","6208634880","14979686400","24812605440","29898086400","27083043840","18788943360","10071510272","4175432064","1330100928","320700576","57001392","7149096","587292","27474","528","1"],["3715891200","35300966400","156377088000","429030604800","816520642560","1143991296000","1221798727680","1015986616320","665905660928","345958874624","142469423360","46248193920","11695604160","2259010848","323011824","32534280","2123040","76600","1042","1"],["81749606400","858370867200","4230542131200","13008406118400","27975055933440","44700514467840","55026091253760","53389133107200","41420348479488","25912057746432","13119231022592","5372711277824","1771288576640","465675722688","96144784032","15229789872","1786703424","146890920","7711572","216238","2068","1"],["1961990553600","22562891366400","122460910387200","417168241459200","1000514357821440","1796143764602880","2504879535882240","2779504540876800","2493119442468864","1826136661155840","1098778842238976","544390638598144","221903307604992","74110069800448","20122360966400","4388137117056","754864644864","99779509632","9746336160","662023120","28218344","617676","4118","1"],["51011754393600","637646929920000","3779120804659200","14128130477260800","37390128127672320","74517864543682560","116147488655278080","145132051630325760","147845153215119360","124188656545873920","86657590678364160","50446410474270720","24536960624125952","9961821300640768","3363695667331584","938514746101504","214246970263040","39449862621312","5741894778048","641780609184","52786775184","2989831000","104151788","1783002","8216","1"],["1428329123020800","19282443160780800","123907551422054400","504378721566720000","1460139202864742400","3199263815997849600","5512621489953177600","7661885981176627200","8741317263857418240","8286904989673390080","6583378553491783680","4407010209727856640","2493597502835744768","1193748130325483520","482982946946734080","164627299756774400","47015478095738880","11158197882703872","2175434269648640","342889062721920","42734594485440","4081099204000","285155912496","13563087720","387914800","5192880","16410","1"],["42849873690624000","621323168514048000","4302841483100160000","18945000405467136000","59554837435200307200","142301008488038400000","268639607959820697600","411165481574950502400","519484009795332341760","548805935188084654080","489267280502267904000","370458497425895424000","239230644013335134208","132059713646226137088","62350992285124087808","25150966159083264000","8643257898144092160","2518661408168901632","618082318827197952","126523367016913152","21326996751632000","2908824590592960","313397977884576","25784281812016","1541195955936","61892859000","1457826340","15234006","32796","1"]],"degrees":[1,3,5,7,9,11,13,15,17,19,21,23,25,27,29],"row_sums":["3","27","351","6075","131463","3413907","103429791","3581223435","139498558263","6037616347587","287444492409231","14929010774254395","839982382565841063","50897213545996785267","3304312091004451756671"],"nonn":true,"definitions":[{"position":0,"source":"derived:shift_x_plus_one","source_kind":"derived","equality_edge_id":null,"recurrence":{"first_index":0,"initial_polynomials":[["2","1"]],"recurrence":{"terms":[{"coeff":{"coeffs":[["2","1","0"],["2","4","2"]]},"deriv_order":0,"offset":1,"sign":"none"},{"coeff":{"coeffs":[["0","-2","-3","-1"]]},"deriv_order":1,"offset":1,"sign":"none"}]},"schema":"polytool.recurrence.v1"}}],"properties":[{"id":186097,"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-ec88908e2027d5cb"]},{"id":186098,"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-ec88908e2027d5cb"]},{"id":186099,"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-ec88908e2027d5cb"]}],"region_exact":{},"incoming_edges":[{"id":"e-ec88908e2027d5cb","operation":{"index_shift":0,"operation":"preserver_image","operator":"{\"shape\":\"affine\",\"slope\":\"1\",\"intercept\":\"1\"}"},"operation_detail":"affine, shift 0","conclusion_id":"n-e330d721682f502b","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":"6e4c049e0b4b5dd29780719d1697655cfd1cd696a47f201519687a9836ad4022","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-b3bdd177c3ec2fb9","role":"sequence","name":"Triangle read by rows: T(n,k), for k=-n..n-1, is the scaled (by 2^n n!) probability that the sum of n uniform [-1, 1] variables is between k and k+1.","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-075976365d2709ff","kind":"fingerprint_related","node_a_id":"n-e330d721682f502b","node_b_id":"n-b38b95ff2228e17d","fingerprint":"f6-8569cda4d5c26e17","oeis_id":null,"in_catalog":null,"target":null,"row_alignment":null,"rows_matched":null,"oeis_nonn":null,"details":{"fingerprint":"f6-8569cda4d5c26e17"},"other_id":"n-b38b95ff2228e17d","other":{"id":"n-b38b95ff2228e17d","name":"mobius_x_over_x_plus_one of Triangle read by rows: T(n,k), for k=-n..n-1, is the scaled (by 2^n n!) probability that the sum of n uniform [-1, 1] variables is between k and k+1.","first_index":0,"fingerprint":"f6-8569cda4d5c26e17","polytool_family":null,"degree_pattern":"affine","palindromic":0,"gamma_positive":0,"nonnegative":1,"rr_by_factors":0,"preview_rows":[["1","2"],["1","6","12","8"],["1","12","54","116","120","48"]],"card_rows":[["1","2"],["1","6","12","8"],["1","12","54","116","120","48"],["1","22","172","680","1520","1952","1344","384"]],"row_sums_preview":["3","27","351","6075","131463","3413907","103429791","3581223435"],"regions":["[-1, 0]"],"region_exact":{},"oeis_ids":[],"derivation":null,"headline":"mobius_x_over_x_plus_one of Triangle read by rows: T(n,k), for k=-n..n-1, is the scaled (by 2^n n!) probability that the sum of n uniform [-1, 1] variables is between k and k+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:          2,           1;\n  1:          8,          12,            6,            1;\n  2:         48,         120,          116,           54,           12,             1;\n  3:        384,        1344,         1952,         1520,          680,           172,            22,             1;\n  4:       3840,       17280,        33600,        36960,        25232,         11000,          3020,           490,           40,            1;\n  5:      46080,      253440,       618240,       881280,       813248,        507808,        217392,         63080,        11920,         1344,           74,           1;\n  6:     645120,     4193280,     12311040,     21584640,     25162368,      20534976,      12018848,       5076400,      1532832,       321944,        44548,        3654,         140,          1;\n  7:   10321920,    77414400,    265789440,    553512960,    780724224,     788401152,     587188736,     327174912,    136761984,     42555072,      9662688,     1543248,      162456,       9972,       270,        1;\n  8:  185794560,  1579253760,   6208634880,  14979686400,  24812605440,   29898086400,   27083043840,   18788943360,  10071510272,   4175432064,   1330100928,   320700576,    57001392,    7149096,    587292,    27474,     528,     1;\n  9: 3715891200, 35300966400, 156377088000, 429030604800, 816520642560, 1143991296000, 1221798727680, 1015986616320, 665905660928, 345958874624, 142469423360, 46248193920, 11695604160, 2259010848, 323011824, 32534280, 2123040, 76600, 1042, 1;\n","recurrence_sentence":"The row polynomials satisfy P(n,x) = (2*n+2+(4*n+1)*x+2*n*x^2)*P(n-1,x) - (2*x+3*x^2+x^3)*d/dx P(n-1,x) for n >= 1, with P(0,x) = 2 + x.","mathematica":"P[0, x_] := 2 + x;\nP[n_, x_] := P[n, x] = Expand[(2*n + 2 + (4*n + 1)*x + 2*n*x^2)*P[n - 1, x] - (2*x + 3*x^2 + x^3)*D[P[n - 1, x], x]];\nTable[CoefficientList[P[n, x], x], {n, 0, 9}] // Flatten","pari":"P(N) = {my(v = vector(N + 1)); v[1] = 2 + x; for(n = 1, N, my(i = n + 1); v[i] = (2*n + 2 + (4*n + 1)*x + 2*n*x^2)*v[i - 1] - (2*x + 3*x^2 + x^3)*deriv(v[i - 1], x)); 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":null,"headline":"shift_x_plus_one of Triangle read by rows: T(n,k), for k=-n..n-1, is the scaled (by 2^n n!) probability that the sum of n uniform [-1, 1] variables is between k and k+1.","chain":null}