{"id":"n-b38b95ff2228e17d","revision":0,"first_index":0,"fingerprint":"f6-8569cda4d5c26e17","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.","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":[["1","2"],["1","6","12","8"],["1","12","54","116","120","48"],["1","22","172","680","1520","1952","1344","384"],["1","40","490","3020","11000","25232","36960","33600","17280","3840"],["1","74","1344","11920","63080","217392","507808","813248","881280","618240","253440","46080"],["1","140","3654","44548","321944","1532832","5076400","12018848","20534976","25162368","21584640","12311040","4193280","645120"],["1","270","9972","162456","1543248","9662688","42555072","136761984","327174912","587188736","788401152","780724224","553512960","265789440","77414400","10321920"],["1","528","27474","587292","7149096","57001392","320700576","1330100928","4175432064","10071510272","18788943360","27083043840","29898086400","24812605440","14979686400","6208634880","1579253760","185794560"],["1","1042","76600","2123040","32534280","323011824","2259010848","11695604160","46248193920","142469423360","345958874624","665905660928","1015986616320","1221798727680","1143991296000","816520642560","429030604800","156377088000","35300966400","3715891200"],["1","2068","216238","7711572","146890920","1786703424","15229789872","96144784032","465675722688","1771288576640","5372711277824","13119231022592","25912057746432","41420348479488","53389133107200","55026091253760","44700514467840","27975055933440","13008406118400","4230542131200","858370867200","81749606400"],["1","4118","617676","28218344","662023120","9746336160","99779509632","754864644864","4388137117056","20122360966400","74110069800448","221903307604992","544390638598144","1098778842238976","1826136661155840","2493119442468864","2779504540876800","2504879535882240","1796143764602880","1000514357821440","417168241459200","122460910387200","22562891366400","1961990553600"],["1","8216","1783002","104151788","2989831000","52786775184","641780609184","5741894778048","39449862621312","214246970263040","938514746101504","3363695667331584","9961821300640768","24536960624125952","50446410474270720","86657590678364160","124188656545873920","147845153215119360","145132051630325760","116147488655278080","74517864543682560","37390128127672320","14128130477260800","3779120804659200","637646929920000","51011754393600"],["1","16410","5192880","387914800","13563087720","285155912496","4081099204000","42734594485440","342889062721920","2175434269648640","11158197882703872","47015478095738880","164627299756774400","482982946946734080","1193748130325483520","2493597502835744768","4407010209727856640","6583378553491783680","8286904989673390080","8741317263857418240","7661885981176627200","5512621489953177600","3199263815997849600","1460139202864742400","504378721566720000","123907551422054400","19282443160780800","1428329123020800"],["1","32796","15234006","1457826340","61892859000","1541195955936","25784281812016","313397977884576","2908824590592960","21326996751632000","126523367016913152","618082318827197952","2518661408168901632","8643257898144092160","25150966159083264000","62350992285124087808","132059713646226137088","239230644013335134208","370458497425895424000","489267280502267904000","548805935188084654080","519484009795332341760","411165481574950502400","268639607959820697600","142301008488038400000","59554837435200307200","18945000405467136000","4302841483100160000","621323168514048000","42849873690624000"]],"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:mobius_x_over_x_plus_one","source_kind":"derived","equality_edge_id":null,"recurrence":{"first_index":0,"initial_polynomials":[["1","2"]],"recurrence":{"denominator":{"coeffs":[["1","3","3","1"]]},"terms":[{"coeff":{"coeffs":[["1","7","19","25","16","4"],["0","-2","-8","-12","-8","-2"]]},"deriv_order":0,"offset":1,"sign":"none"},{"coeff":{"coeffs":[["0","1","6","14","16","9","2"]]},"deriv_order":1,"offset":1,"sign":"none"}]},"schema":"polytool.recurrence.v1"}}],"properties":[{"id":186100,"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-0a04d1aa0a1e55c9"]},{"id":186101,"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-0a04d1aa0a1e55c9"]},{"id":186102,"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-0a04d1aa0a1e55c9"]}],"region_exact":{},"incoming_edges":[{"id":"e-0a04d1aa0a1e55c9","operation":{"index_shift":0,"operation":"preserver_image","operator":"{\"shape\":\"mobius\",\"a\":\"1\",\"b\":\"0\",\"c\":\"1\",\"e\":\"1\",\"schedule\":{\"first_index\":0,\"first_degree\":1,\"step\":2}}"},"operation_detail":"mobius, shift 0","conclusion_id":"n-b38b95ff2228e17d","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":"fc548a85269e17642f4fbf1bc23ada9bda9ed12c81241d3fab3c2ab6020f4137","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-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-e330d721682f502b","other":{"id":"n-e330d721682f502b","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.","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":[["2","1"],["8","12","6","1"],["48","120","116","54","12","1"]],"card_rows":[["2","1"],["8","12","6","1"],["48","120","116","54","12","1"],["384","1344","1952","1520","680","172","22","1"]],"row_sums_preview":["3","27","351","6075","131463","3413907","103429791","3581223435"],"regions":["(-inf, -1]"],"region_exact":{},"oeis_ids":[],"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}}],"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,    2;\n  1: 1,    6,    12,       8;\n  2: 1,   12,    54,     116,      120,        48;\n  3: 1,   22,   172,     680,     1520,      1952,       1344,         384;\n  4: 1,   40,   490,    3020,    11000,     25232,      36960,       33600,       17280,         3840;\n  5: 1,   74,  1344,   11920,    63080,    217392,     507808,      813248,      881280,       618240,       253440,        46080;\n  6: 1,  140,  3654,   44548,   321944,   1532832,    5076400,    12018848,    20534976,     25162368,     21584640,     12311040,       4193280,        645120;\n  7: 1,  270,  9972,  162456,  1543248,   9662688,   42555072,   136761984,   327174912,    587188736,    788401152,    780724224,     553512960,     265789440,      77414400,     10321920;\n  8: 1,  528, 27474,  587292,  7149096,  57001392,  320700576,  1330100928,  4175432064,  10071510272,  18788943360,  27083043840,   29898086400,   24812605440,   14979686400,   6208634880,   1579253760,    185794560;\n  9: 1, 1042, 76600, 2123040, 32534280, 323011824, 2259010848, 11695604160, 46248193920, 142469423360, 345958874624, 665905660928, 1015986616320, 1221798727680, 1143991296000, 816520642560, 429030604800, 156377088000, 35300966400, 3715891200;\n","recurrence_sentence":"The row polynomials satisfy (1+3*x+3*x^2+x^3)*P(n,x) = (1-(2*n-7)*x-(8*n-19)*x^2-(12*n-25)*x^3-(8*n-16)*x^4-(2*n-4)*x^5)*P(n-1,x) + (x+6*x^2+14*x^3+16*x^4+9*x^5+2*x^6)*d/dx P(n-1,x) for n >= 1, with P(0,x) = 1 + 2*x.","mathematica":"P[0, x_] := 1 + 2*x;\nP[n_, x_] := P[n, x] = Expand[Together[((1 - (2*n - 7)*x - (8*n - 19)*x^2 - (12*n - 25)*x^3 - (8*n - 16)*x^4 - (2*n - 4)*x^5)*P[n - 1, x] + (x + 6*x^2 + 14*x^3 + 16*x^4 + 9*x^5 + 2*x^6)*D[P[n - 1, x], x])/(1 + 3*x + 3*x^2 + x^3)]];\nTable[CoefficientList[P[n, x], x], {n, 0, 9}] // Flatten","pari":"P(N) = {my(v = vector(N + 1)); v[1] = 1 + 2*x; for(n = 1, N, my(i = n + 1); v[i] = ((1 - (2*n - 7)*x - (8*n - 19)*x^2 - (12*n - 25)*x^3 - (8*n - 16)*x^4 - (2*n - 4)*x^5)*v[i - 1] + (x + 6*x^2 + 14*x^3 + 16*x^4 + 9*x^5 + 2*x^6)*deriv(v[i - 1], x))/(1 + 3*x + 3*x^2 + x^3)); 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":"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}