{"id":"n-9590dc4c111336bf","revision":0,"first_index":0,"fingerprint":"f6-c2f5c2e31c1132c5","name":"shift_x_plus_one of basis_map_A013610 of Triangle whose (i,j)-th entry is binomial(i,j)*11^(i-j)*5^j.","polytool_family":null,"interpretation":null,"rows_observed":15,"degree_pattern":"affine","degree_slope":1,"degree_intercept":2,"palindromic":0,"gamma_positive":0,"nonnegative":1,"rr_by_factors":true,"rows":[["961","930","225"],["29791","43245","20925","3375"],["923521","1787460","1297350","418500","50625"],["28629151","69264075","67029750","32433750","7846875","759375"],["887503681","2576623590","3116883375","2010892500","729759375","141243750","11390625"],["27512614111","93187886505","135272738475","109090918125","52785928125","15324946875","2471765625","170859375"],["852891037441","3301513693320","5591273190300","5410909539000","3272727543750","1266862275000","306498937500","42373125000","2562890625"],["26439622160671","115140290054535","222852174299100","251607293563500","182618196941250","88363643681250","28504401187500","5911050937500","715046484375","38443359375"],["819628286980801","3965943324100650","8635521754090125","11142608714955000","9435273508631250","5478545908237500","2209091092031250","610808596875000","110832205078125","11917441406250","576650390625"],["25408476896404831","135238667351832165","327190324238303625","474953696474956875","459632609491893750","311364025784831250","150660012476531250","52071432883593750","12597927310546875","2031923759765625","196637783203125","8649755859375"],["787662783788549761","4573525841352869580","12171480061664894850","19631419454298217500","21372916341373059375","16546773941708175000","9340920773544937500","3874114606539375000","1171607239880859375","251958546210937500","36574627675781250","3217709179687500","129746337890625"],["24417546297445042591","153594242838767203395","445918769531904784050","791146204008218165250","957031698397038103125","833543737313549315625","537770153105515687500","260211364405894687500","94431543534397265625","25384823530751953125","4913191651113281250","648368399707031250","52287774169921875","1946195068359375"],["756943935220796320321","5127684722463458944110","16127395498070556356475","31214313867233334883500","41535175710431453675625","40195331332675600331250","29174030805974226046875","16133104593165470625000","6830548315654735546875","2203402682469269531250","533081294145791015625","93797295157617187500","11346446994873046875","844648659667968750","29192926025390625"],["23465261991844685929951","170312385424679172072225","576864531277139131212375","1209554662355291726735625","1755805155031875087196875","1869082906969415415403125","1507324924975335012421875","937736704477742980078125","453743566682778861328125","170763707891368388671875","49576560355558564453125","10903935562072998046875","1758699284205322265625","196380813372802734375","13574710601806640625","437893890380859375"],["727423121747185263828481","5631662878042724623188240","20437486250961500648667000","46149162502171130496990000","72573279741317503604137500","84278647441530004185450000","74763316278776616616125000","51679711713440057568750000","28132101134332289402343750","12099828444874102968750000","4098328989392841328125000","1081670407757641406250000","218078711241459960937500","32468294477636718750000","3366528229248046875000","217195369628906250000","6568408355712890625"]],"degrees":[2,3,4,5,6,7,8,9,10,11,12,13,14,15,16],"row_sums":["2116","97336","4477456","205962976","9474296896","435817657216","20047612231936","922190162669056","42420747482776576","1951354384207722496","89762301673555234816","4129065876983540801536","189937030341242876870656","8737103395697172336050176","401906756202069927458308096"],"nonn":true,"definitions":[{"position":0,"source":"derived:shift_x_plus_one","source_kind":"derived","equality_edge_id":null,"recurrence":{"first_index":0,"initial_polynomials":[["961","930","225"]],"recurrence":{"terms":[{"coeff":{"coeffs":[["31","15"]]},"deriv_order":0,"offset":1,"sign":"none"}]},"schema":"polytool.recurrence.v1"}}],"properties":[{"id":194441,"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-b6d665979ebded9a"]},{"id":194442,"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-1733d4c28f544205","e-b6d665979ebded9a"]},{"id":194443,"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-1733d4c28f544205","e-b6d665979ebded9a"]},{"id":194444,"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-b6d665979ebded9a"]},{"id":194445,"position":4,"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-1733d4c28f544205"]}],"region_exact":{},"incoming_edges":[{"id":"e-1733d4c28f544205","operation":{"map":"A007318","operation":"basis_map"},"operation_detail":"A007318","conclusion_id":"n-9590dc4c111336bf","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":"cf7d7cd50fb6b2e97b155b279a8fb83e69166247c4877b38ee72ea257f673608","verification_polytool":"replayed","verification_lean":"not_attempted","claims":[{"claim":"real_rooted","from_index":0,"region":{"upper":{"closed":true,"value":"0"}}}],"premises":[{"position":0,"node_id":"n-a875e5d4789de94f","role":"sequence","name":"basis_map_A013610 of Triangle whose (i,j)-th entry is binomial(i,j)*11^(i-j)*5^j.","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]"}]},{"id":"e-b6d665979ebded9a","operation":{"index_shift":0,"operation":"preserver_image","operator":"{\"shape\":\"affine\",\"slope\":\"1\",\"intercept\":\"1\"}"},"operation_detail":"affine, shift 0","conclusion_id":"n-9590dc4c111336bf","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":"b39b43e087742c60cdc4515699575b166c0aab19cc59bc1a20e9596320e3a3b1","verification_polytool":"replayed","verification_lean":"not_attempted","claims":[{"claim":"real_rooted","from_index":0,"region":{"upper":{"closed":true,"value":"-1"}}},{"claim":"interlacing","from_index":1,"kind":"weak","orientation":"unordered"}],"premises":[{"position":0,"node_id":"n-a875e5d4789de94f","role":"sequence","name":"basis_map_A013610 of Triangle whose (i,j)-th entry is binomial(i,j)*11^(i-j)*5^j.","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:               961,                930,                225;\n  1:             29791,              43245,              20925,               3375;\n  2:            923521,            1787460,            1297350,             418500,              50625;\n  3:          28629151,           69264075,           67029750,           32433750,            7846875,             759375;\n  4:         887503681,         2576623590,         3116883375,         2010892500,          729759375,          141243750,           11390625;\n  5:       27512614111,        93187886505,       135272738475,       109090918125,        52785928125,        15324946875,         2471765625,         170859375;\n  6:      852891037441,      3301513693320,      5591273190300,      5410909539000,      3272727543750,      1266862275000,       306498937500,       42373125000,        2562890625;\n  7:    26439622160671,    115140290054535,    222852174299100,    251607293563500,    182618196941250,     88363643681250,     28504401187500,     5911050937500,      715046484375,      38443359375;\n  8:   819628286980801,   3965943324100650,   8635521754090125,  11142608714955000,   9435273508631250,   5478545908237500,   2209091092031250,   610808596875000,   110832205078125,   11917441406250,    576650390625;\n  9: 25408476896404831, 135238667351832165, 327190324238303625, 474953696474956875, 459632609491893750, 311364025784831250, 150660012476531250, 52071432883593750, 12597927310546875, 2031923759765625, 196637783203125, 8649755859375;\n","recurrence_sentence":"The row polynomials satisfy P(n,x) = (31+15*x)*P(n-1,x) for n >= 1, with P(0,x) = 961 + 930*x + 225*x^2.","mathematica":"P[0, x_] := 961 + 930*x + 225*x^2;\nP[n_, x_] := P[n, x] = Expand[(31 + 15*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] = 961 + 930*x + 225*x^2; for(n = 1, N, my(i = n + 1); v[i] = (31 + 15*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-2bc1923905556bf6","steps":["basis A013610","basis A007318"],"edges":["e-fd6222a072627022","e-1733d4c28f544205"],"text":"A038319 \u2192 basis A013610 \u2192 basis A007318"},"headline":"A038319 \u2192 basis A013610 \u2192 basis A007318","chain":null}