{"id":"n-f209d0e79422f087","revision":0,"first_index":0,"fingerprint":"f6-28fe48d946165a82","name":"basis_map_A013611 of Triangle T(n,k) read by rows; related to number of preorders.","polytool_family":null,"interpretation":null,"rows_observed":15,"degree_pattern":"affine","degree_slope":1,"degree_intercept":0,"palindromic":0,"gamma_positive":0,"nonnegative":1,"rr_by_factors":false,"rows":[["1"],["2","8"],["9","60","96"],["44","448","1472","1536"],["265","3600","18000","39040","30720"],["1854","31704","213984","710784","1158144","737280"],["14833","306460","2612400","11744320","29317120","38449152","20643840"],["133496","3239296","33432320","190085120","642365440","1288699904","1419116544","660602880"],["1334961","37251648","452049696","3114074880","13311002880","36124913664","60735209472","57776799744","23781703680"],["14684570","463647720","6474457920","52460880640","271700083200","932270868480","2118087802880","3070547066880","2575313141760","951268147200"],["176214841","6214752412","98231155968","916090845824","5580419989760","23192841391104","66576467550208","130279775076352","166236293431296","124824122818560","41855798476800"],["2290792932","89303973312","1577030572992","16648490184192","116715923745792","570403110617088","1982340052697088","4897542522667008","8426554741751808","9612261807095808","6539488348078080","2009078326886400"],["32071101049","1370027838608","26745376214128","315453163296128","2503210682123008","14076157250355200","57502904267640832","171905348923523072","373153042940035072","573407250918408192","591885942260760576","368347913870376960","104472072998092800"],["481066515734","22354911429816","478236276487200","6235477928803200","55276665077061120","351767734982264832","1653000800699179008","5806414162185584640","15243076288531660800","29530730648337121280","41027048741151965184","38696822004856651776","22202600585020047360","5850436087893196800"],["7697064251745","386662346033340","8998221146625360","128562865543569600","1259754001913721600","8954450929040348160","47608189108459499520","192305014964645806080","592942610638621900800","1388535828377134694400","2430532294206522654720","3083113629785668976640","2678516284993893826560","1426180900799486361600","351026165273591808000"]],"degrees":[0,1,2,3,4,5,6,7,8,9,10,11,12,13,14],"row_sums":["1","10","165","3500","91625","2853750","103088125","4237675000","195334340625","9978600781250","559566431703125","34172701949062500","2257597444749765625","160423910268917968750","12201113078525080078125"],"nonn":true,"definitions":[{"position":0,"source":"derived:basis_map_A013611","source_kind":"derived","equality_edge_id":null,"recurrence":{"first_index":0,"initial_polynomials":[["1"],["2","8"]],"recurrence":{"terms":[{"coeff":{"coeffs":[["1","4"],["1","4"]]},"deriv_order":0,"offset":2,"sign":"none"},{"coeff":{"coeffs":[["1","4"],["1","4"]]},"deriv_order":0,"offset":1,"sign":"none"}]},"schema":"polytool.recurrence.v1"}}],"properties":[{"id":205666,"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-7246210add63d04b"]},{"id":205667,"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-7246210add63d04b"]},{"id":205668,"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-7246210add63d04b"]},{"id":205669,"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-7246210add63d04b"]}],"region_exact":{},"incoming_edges":[{"id":"e-7246210add63d04b","operation":{"map":"A013611","operation":"basis_map"},"operation_detail":"A013611","conclusion_id":"n-f209d0e79422f087","premise_count":1,"theorem":"geometric family P_k = g(t) (a + d t)^k: T(p) = g(t) p(a + d t), so the roots of T(p) are those of g and the points (r - a)/d for the roots r of p (elementary)","lean_route":null,"lean_declarations":[],"certificate_hash":"adb3b16adb3fcd7c27d5c65c06e6514a68dcaea4e3d9fce72f9ca84a2d29d61f","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-f364085508d20047","role":"sequence","name":"Triangle T(n,k) read by rows; related to number of preorders.","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":[],"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:        2,         8;\n  2:        9,        60,         96;\n  3:       44,       448,       1472,        1536;\n  4:      265,      3600,      18000,       39040,        30720;\n  5:     1854,     31704,     213984,      710784,      1158144,       737280;\n  6:    14833,    306460,    2612400,    11744320,     29317120,     38449152,      20643840;\n  7:   133496,   3239296,   33432320,   190085120,    642365440,   1288699904,    1419116544,     660602880;\n  8:  1334961,  37251648,  452049696,  3114074880,  13311002880,  36124913664,   60735209472,   57776799744,   23781703680;\n  9: 14684570, 463647720, 6474457920, 52460880640, 271700083200, 932270868480, 2118087802880, 3070547066880, 2575313141760, 951268147200;\n","recurrence_sentence":"The row polynomials satisfy P(n,x) = (n+1+(4*n+4)*x)*P(n-2,x) + (n+1+(4*n+4)*x)*P(n-1,x) for n >= 2, with P(0,x) = 1, P(1,x) = 2 + 8*x.","mathematica":"P[0, x_] := 1;\nP[1, x_] := 2 + 8*x;\nP[n_, x_] := P[n, x] = Expand[(n + 1 + (4*n + 4)*x)*P[n - 2, x] + (n + 1 + (4*n + 4)*x)*P[n - 1, x]];\nTable[CoefficientList[P[n, x], x], {n, 0, 9}] // Flatten","pari":"P(N) = {my(v = vector(N + 1)); v[1] = 1; v[2] = 2 + 8*x; for(n = 2, N, my(i = n + 1); v[i] = (n + 1 + (4*n + 4)*x)*v[i - 2] + (n + 1 + (4*n + 4)*x)*v[i - 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-f364085508d20047","steps":["basis A013611"],"edges":["e-7246210add63d04b"],"text":"A079510 \u2192 basis A013611"},"headline":"A079510 \u2192 basis A013611","chain":null}