{"id":"n-2a670a9a4a520101","revision":1,"first_index":0,"fingerprint":"f6-5c5d2b4d4ee9e824","name":"obreschkoff_combination of Triangle whose (i,j)-th entry is binomial(i,j)*10^(i-j)*12^j.","polytool_family":null,"interpretation":null,"rows_observed":15,"degree_pattern":"affine","degree_slope":1,"degree_intercept":3,"palindromic":0,"gamma_positive":0,"nonnegative":1,"rr_by_factors":true,"rows":[["1100","3840","4464","1728"],["11000","51600","90720","70848","20736"],["110000","648000","1526400","1797120","1057536","248832"],["1100000","7800000","23040000","36288000","32140800","15178752","2985984"],["11000000","91200000","324000000","639360000","756864000","537477120","212004864","35831808"],["110000000","1044000000","4334400000","10281600000","15240960000","14457139200","8569774080","2902376448","429981696"],["1100000000","11760000000","55872000000","154828800000","275788800000","327462912000","259183411200","131861053440","39128334336","5159780352"],["11000000000","130800000000","699840000000","2218752000000","4615833600000","6584094720000","6521389056000","4428811468800","1973615984640","521137815552","61917364224"],["110000000000","1440000000000","8568000000000","30585600000000","72783360000000","121230950400000","144223027200000","122544783360000","72881897472000","28894769971200","6872827428864","743008370688"],["1100000000000","15720000000000","102960000000000","408672000000000","1094860800000000","2085709824000000","2897001676800000","2956124160000000","2199356375040000","1163530469376000","415465513943040","89904012853248","8916100448256"],["11000000000000","170400000000000","1218240000000000","5322240000000000","15852672000000000","33995427840000000","53998534656000000","64325261721600000","57467053670400000","38027581194240000","18117020771942400","5884626295848960","1168009158721536","106993205379072"],["110000000000000","1836000000000000","14227200000000000","67841280000000000","222393600000000000","530186342400000000","947930480640000000","1291235033088000000","1346573677363200000","1069880455987200000","637501182050304000","276250512221798400","82295607137402880","15086041958449152","1283918464548864"],["1100000000000000","19680000000000000","164304000000000000","849139200000000000","3038031360000000000","7970586624000000000","15841540915200000000","24287516098560000000","28960557170688000000","26857688688230400000","19213577292349440000","10412519306821632000","4137962218035609600","1138407705233326080","193871688146878464","15407021574586368"],["11000000000000000","210000000000000000","1879200000000000000","10463040000000000000","40569984000000000000","116162242560000000000","254062448640000000000","432973651968000000000","581055764889600000000","616103572930560000000","514428037182259200000","334688120576409600000","166329853862215680000","61039623668760576000","15599609344268697600","2480530473508405248","184884258895036416"],["110000000000000000","2232000000000000000","21312000000000000000","127180800000000000000","531256320000000000000","1648462233600000000000","3934571397120000000000","7378485903360000000000","11006241472512000000000","13133704907980800000000","12537523246989312000000","9520017651951206400000","5679555985539072000000","2606354483034193920000","888471577467813888000","212000616866308423680","31615208271051227136","2218611106740436992"]],"degrees":[3,4,5,6,7,8,9,10,11,12,13,14,15,16,17],"row_sums":["11132","244904","5387888","118533536","2607737792","57370231424","1262145091328","27767192009216","610878224202752","13439320932460544","295665060514131968","6504631331310903296","143101889288839872512","3148241564354477195264","69261314415798498295808"],"nonn":true,"definitions":[{"position":0,"source":"derived:obreschkoff_combination","source_kind":"derived","equality_edge_id":null,"recurrence":{"first_index":0,"initial_polynomials":[["1100","3840","4464","1728"]],"recurrence":{"terms":[{"coeff":{"coeffs":[["10","12"]]},"deriv_order":0,"offset":1,"sign":"none"}]},"schema":"polytool.recurrence.v1"}}],"properties":[{"id":162912,"position":0,"claim":"real_rooted","from_index":0,"region_key":"(-inf, +inf)","provenance":"edges","claim_data":{"claim":"real_rooted","from_index":0,"region":{}},"label":"Real-rooted","description":"Every row P_n, n >= 0, is zero or real-rooted with all roots in (-inf, +inf)","region_exact":null,"edges":["e-4dc01c187e0a54c1"]}],"region_exact":{},"incoming_edges":[{"id":"e-4dc01c187e0a54c1","operation":{"operation":"obreschkoff_combination"},"operation_detail":null,"conclusion_id":"n-2a670a9a4a520101","premise_count":2,"theorem":"Hermite--Kakeya--Obreschkoff: real-rooted f, g with interlacing zeros give a zero or real-rooted a f + b g for all real a, b (Obreschkoff 1963; Fisk, Polynomials, roots, and interlacing, Thm 1.43)","lean_route":null,"lean_declarations":[],"certificate_hash":"30f48547fb73cb6e7c1fc45b50110da241f687202dbfd96757b2a21fd1c06de2","verification_polytool":"replayed","verification_lean":"not_attempted","claims":[{"claim":"real_rooted","from_index":0,"region":{}}],"premises":[{"position":0,"node_id":"n-29d7c5a1e19b9d74","role":"sequence","name":"Triangle whose (i,j)-th entry is binomial(i,j)*10^(i-j)*12^j.","uses":{"claim":"real_rooted","from_index":0,"region":{}},"uses_text":"Every row P_n, n >= 0, is zero or real-rooted with all roots in (-inf, +inf)"},{"position":1,"node_id":"n-29d7c5a1e19b9d74","role":"sequence","name":"Triangle whose (i,j)-th entry is binomial(i,j)*10^(i-j)*12^j.","uses":{"claim":"interlacing","from_index":1,"kind":"weak","orientation":"unordered"},"uses_text":"Rows P_(m-1), P_m interlace (weak, unordered) for every m >= 1"}]}],"used_by":[],"used_by_total":0,"links":[{"id":"l-45a2f2cf8cb4c128","kind":"oeis_match","node_a_id":"n-2a670a9a4a520101","node_b_id":null,"fingerprint":null,"oeis_id":"A168844","in_catalog":0,"target":"row_sums","row_alignment":null,"rows_matched":null,"oeis_nonn":1,"details":{"alignment":{"first_row":0,"low_zeros_dropped":false,"oeis_offset":0,"oeis_term_position":3,"target":"row_sums","terms_compared":13},"in_catalog":false,"oeis_id":"A168844","oeis_nonn":true},"other_id":null,"other":null},{"id":"l-6692f7cd7faf056d","kind":"oeis_match","node_a_id":"n-2a670a9a4a520101","node_b_id":null,"fingerprint":null,"oeis_id":"A168940","in_catalog":0,"target":"row_sums","row_alignment":null,"rows_matched":null,"oeis_nonn":1,"details":{"alignment":{"first_row":0,"low_zeros_dropped":false,"oeis_offset":0,"oeis_term_position":3,"target":"row_sums","terms_compared":13},"in_catalog":false,"oeis_id":"A168940","oeis_nonn":true},"other_id":null,"other":null},{"id":"l-6e320dff2c4b6c65","kind":"oeis_match","node_a_id":"n-2a670a9a4a520101","node_b_id":null,"fingerprint":null,"oeis_id":"A168892","in_catalog":0,"target":"row_sums","row_alignment":null,"rows_matched":null,"oeis_nonn":1,"details":{"alignment":{"first_row":0,"low_zeros_dropped":false,"oeis_offset":0,"oeis_term_position":3,"target":"row_sums","terms_compared":13},"in_catalog":false,"oeis_id":"A168892","oeis_nonn":true},"other_id":null,"other":null},{"id":"l-9ed5115466806e02","kind":"oeis_match","node_a_id":"n-2a670a9a4a520101","node_b_id":null,"fingerprint":null,"oeis_id":"A168796","in_catalog":0,"target":"row_sums","row_alignment":null,"rows_matched":null,"oeis_nonn":1,"details":{"alignment":{"first_row":0,"low_zeros_dropped":false,"oeis_offset":0,"oeis_term_position":3,"target":"row_sums","terms_compared":13},"in_catalog":false,"oeis_id":"A168796","oeis_nonn":true},"other_id":null,"other":null},{"id":"l-afcecc0e679ac67e","kind":"oeis_match","node_a_id":"n-2a670a9a4a520101","node_b_id":null,"fingerprint":null,"oeis_id":"A167937","in_catalog":0,"target":"row_sums","row_alignment":null,"rows_matched":null,"oeis_nonn":1,"details":{"alignment":{"first_row":0,"low_zeros_dropped":false,"oeis_offset":0,"oeis_term_position":3,"target":"row_sums","terms_compared":13},"in_catalog":false,"oeis_id":"A167937","oeis_nonn":true},"other_id":null,"other":null},{"id":"l-b4d5c5e89662773f","kind":"oeis_match","node_a_id":"n-2a670a9a4a520101","node_b_id":null,"fingerprint":null,"oeis_id":"A168748","in_catalog":0,"target":"row_sums","row_alignment":null,"rows_matched":null,"oeis_nonn":1,"details":{"alignment":{"first_row":0,"low_zeros_dropped":false,"oeis_offset":0,"oeis_term_position":3,"target":"row_sums","terms_compared":13},"in_catalog":false,"oeis_id":"A168748","oeis_nonn":true},"other_id":null,"other":null},{"id":"l-ec8522ae06335d1b","kind":"oeis_match","node_a_id":"n-2a670a9a4a520101","node_b_id":null,"fingerprint":null,"oeis_id":"A168700","in_catalog":0,"target":"row_sums","row_alignment":null,"rows_matched":null,"oeis_nonn":1,"details":{"alignment":{"first_row":0,"low_zeros_dropped":false,"oeis_offset":0,"oeis_term_position":3,"target":"row_sums","terms_compared":13},"in_catalog":false,"oeis_id":"A168700","oeis_nonn":true},"other_id":null,"other":null},{"id":"l-fc74e7a45446fdd9","kind":"oeis_match","node_a_id":"n-2a670a9a4a520101","node_b_id":null,"fingerprint":null,"oeis_id":"A168988","in_catalog":0,"target":"row_sums","row_alignment":null,"rows_matched":null,"oeis_nonn":1,"details":{"alignment":{"first_row":0,"low_zeros_dropped":false,"oeis_offset":0,"oeis_term_position":3,"target":"row_sums","terms_compared":13},"in_catalog":false,"oeis_id":"A168988","oeis_nonn":true},"other_id":null,"other":null}],"oeis":[{"oeis_id":"A167937","relation":"match_row_sums"},{"oeis_id":"A168700","relation":"match_row_sums"},{"oeis_id":"A168748","relation":"match_row_sums"},{"oeis_id":"A168796","relation":"match_row_sums"},{"oeis_id":"A168844","relation":"match_row_sums"},{"oeis_id":"A168892","relation":"match_row_sums"},{"oeis_id":"A168940","relation":"match_row_sums"},{"oeis_id":"A168988","relation":"match_row_sums"}],"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:          1100,           3840,            4464,            1728;\n  1:         11000,          51600,           90720,           70848,            20736;\n  2:        110000,         648000,         1526400,         1797120,          1057536,           248832;\n  3:       1100000,        7800000,        23040000,        36288000,         32140800,         15178752,          2985984;\n  4:      11000000,       91200000,       324000000,       639360000,        756864000,        537477120,        212004864,         35831808;\n  5:     110000000,     1044000000,      4334400000,     10281600000,      15240960000,      14457139200,       8569774080,       2902376448,        429981696;\n  6:    1100000000,    11760000000,     55872000000,    154828800000,     275788800000,     327462912000,     259183411200,     131861053440,      39128334336,       5159780352;\n  7:   11000000000,   130800000000,    699840000000,   2218752000000,    4615833600000,    6584094720000,    6521389056000,    4428811468800,    1973615984640,     521137815552,     61917364224;\n  8:  110000000000,  1440000000000,   8568000000000,  30585600000000,   72783360000000,  121230950400000,  144223027200000,  122544783360000,   72881897472000,   28894769971200,   6872827428864,   743008370688;\n  9: 1100000000000, 15720000000000, 102960000000000, 408672000000000, 1094860800000000, 2085709824000000, 2897001676800000, 2956124160000000, 2199356375040000, 1163530469376000, 415465513943040, 89904012853248, 8916100448256;\n","recurrence_sentence":"The row polynomials satisfy P(n,x) = (10+12*x)*P(n-1,x) for n >= 1, with P(0,x) = 1100 + 3840*x + 4464*x^2 + 1728*x^3.","mathematica":"P[0, x_] := 1100 + 3840*x + 4464*x^2 + 1728*x^3;\nP[n_, x_] := P[n, x] = Expand[(10 + 12*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] = 1100 + 3840*x + 4464*x^2 + 1728*x^3; for(n = 1, N, my(i = n + 1); v[i] = (10 + 12*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-29d7c5a1e19b9d74","steps":["P\u2099 + P\u2099\u208a\u2081"],"edges":["e-4dc01c187e0a54c1"],"text":"A038314 \u2192 P\u2099 + P\u2099\u208a\u2081"},"headline":"A038314 \u2192 P\u2099 + P\u2099\u208a\u2081","chain":null}