{"id":"n-1ab9a5b82290fb1b","revision":0,"first_index":0,"fingerprint":"f6-5e3baf07c55bade9","name":"mobius_x_over_x_plus_one of Triangle whose (i,j)-th entry is binomial(i,j)*11^(i-j)*7^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":[["121","396","324"],["1331","6534","10692","5832"],["14641","95832","235224","256608","104976"],["161051","1317690","4312440","7056720","5773680","1889568"],["1771561","17393508","71155260","155247840","190531440","124711488","34012224"],["19487171","223216686","1095791004","2988520920","4890306960","4801392288","2618941248","612220032"],["214358881","2806152624","16071601392","52597968192","107586753120","140840840448","115233414912","53875362816","11019960576"],["2357947691","34726138722","227298362544","867866475168","2130217711776","3485810801088","3802702692096","2666830459392","1090976097024","198359290368"],["25937424601","424430584380","3125352484980","13637901752640","39053991382560","76687837623936","104574324032640","97783783511040","60003685336320","21819521940480","3570467226624"],["285311670611","5135610070998","42018627853620","206273264008680","675076136755680","1546538058749376","2530698641589888","2957959451208960","2420148641898240","1320081077399040","432026534421504","64268410079232"],["3138428376721","61627320851976","554645887667784","3025341205460640","11138756256468720","29163289107845376","55675370114977536","78090129511916544","79864905182641920","58083567405557760","28513751271819264","8483430130458624","1156831381426176"],["34522712143931","734392240152714","7210396539681192","43262379238087152","176982460519447440","521293792802736096","1137368275205969664","1861148086700677632","2284136288223558912","2076487534748689920","1359155477290051584","606565254327791616","165426887543943168","20822964865671168"],["379749833583241","8699723460270612","92533422259241964","605673309333220128","2725529891999490576","8919916010180150976","21894339297714916032","40945257907414907904","58626164731071345408","63955816070259649536","52327485875666985984","31137016388826636288","12737870340883623936","3206736589313359872","374813367582081024"],["4177248169415651","102532455067475070","1174462667136532620","8328008003331776760","40882948379992358640","147178614167972491104","401396220458106793920","844495944340432475520","1381902454375253141760","1758784941932140362240","1726807033897010537472","1284401926039098746880","700582868748599316480","264555768618352189440","61844205651043368960","6746640616477458432"],["45949729863572161","1203047472791707488","14764673529716410080","112748416045107131520","599616576239887926720","2354857826687559857664","7064573480062679572992","16514587355990679521280","30401853996255569118720","44220878540008100536320","50653006327645642432512","45210947796576275890176","30825646224938369925120","15520605092276661780480","5442290097291816468480","1187408748500032684032","121439531096594251776"]],"degrees":[2,3,4,5,6,7,8,9,10,11,12,13,14,15,16],"row_sums":["841","24389","707281","20511149","594823321","17249876309","500246412961","14507145975869","420707233300201","12200509765705829","353814783205469041","10260628712958602189","297558232675799463481","8629188747598184440949","250246473680347348787521"],"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":[["121","396","324"]],"recurrence":{"denominator":{"coeffs":[["1","1"]]},"terms":[{"coeff":{"coeffs":[["11","29","18"]]},"deriv_order":0,"offset":1,"sign":"none"}]},"schema":"polytool.recurrence.v1"}}],"properties":[{"id":192793,"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-301241b1fa993a9c"]},{"id":192794,"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-301241b1fa993a9c"]},{"id":192795,"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-301241b1fa993a9c"]}],"region_exact":{},"incoming_edges":[{"id":"e-301241b1fa993a9c","operation":{"index_shift":0,"operation":"preserver_image","operator":"{\"shape\":\"mobius\",\"a\":\"1\",\"b\":\"0\",\"c\":\"1\",\"e\":\"1\",\"schedule\":{\"first_index\":0,\"first_degree\":2,\"step\":1}}"},"operation_detail":"mobius, shift 0","conclusion_id":"n-1ab9a5b82290fb1b","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":"f3d867a7c152d1e34af381fc88afd71807bf963ca37f9b944e429548ba7e5c73","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-7dcf11eddf2b9a8a","role":"sequence","name":"Triangle whose (i,j)-th entry is binomial(i,j)*11^(i-j)*7^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":[{"id":"l-25eed36af1e307f9","kind":"fingerprint_related","node_a_id":"n-38b5012fcc6605fc","node_b_id":"n-1ab9a5b82290fb1b","fingerprint":"f6-5e3baf07c55bade9","oeis_id":null,"in_catalog":null,"target":null,"row_alignment":null,"rows_matched":null,"oeis_nonn":null,"details":{"fingerprint":"f6-5e3baf07c55bade9"},"other_id":"n-38b5012fcc6605fc","other":{"id":"n-38b5012fcc6605fc","name":"reversal of basis_map_A007318 of Triangle whose (i,j)-th entry is binomial(i,j)*7^(i-j)*11^j.","first_index":0,"fingerprint":"f6-5e3baf07c55bade9","polytool_family":null,"degree_pattern":"affine","palindromic":0,"gamma_positive":0,"nonnegative":1,"rr_by_factors":1,"preview_rows":[["1"],["11","18"],["121","396","324"]],"card_rows":[["1"],["11","18"],["121","396","324"],["1331","6534","10692","5832"]],"row_sums_preview":["1","29","841","24389","707281","20511149","594823321","17249876309"],"regions":["(-inf, 0]"],"region_exact":{},"oeis_ids":[],"derivation":{"root":"n-01cea33b6485d9cc","steps":["basis A013610","basis A013610"],"edges":["e-32b2129ae50cd22c","e-6ad157539e5db0e9"],"text":"A038220 \u2192 basis A013610 \u2192 basis A013610"},"headline":"A038220 \u2192 basis A013610 \u2192 basis A013610","chain":null}},{"id":"l-4c8b77348c78ca58","kind":"fingerprint_related","node_a_id":"n-1ab9a5b82290fb1b","node_b_id":"n-1f571e6a0df94da8","fingerprint":"f6-5e3baf07c55bade9","oeis_id":null,"in_catalog":null,"target":null,"row_alignment":null,"rows_matched":null,"oeis_nonn":null,"details":{"fingerprint":"f6-5e3baf07c55bade9"},"other_id":"n-1f571e6a0df94da8","other":{"id":"n-1f571e6a0df94da8","name":"basis_map_A013610 of basis_map_A013610 of Triangle whose (i,j)-th entry is binomial(i,j)*12^(i-j)*8^j.","first_index":0,"fingerprint":"f6-5e3baf07c55bade9","polytool_family":null,"degree_pattern":"affine","palindromic":0,"gamma_positive":0,"nonnegative":1,"rr_by_factors":1,"preview_rows":[["1936","6336","5184"],["85184","418176","684288","373248"],["3748096","24532992","60217344","65691648","26873856"]],"card_rows":[["1936","6336","5184"],["85184","418176","684288","373248"],["3748096","24532992","60217344","65691648","26873856"],["164916224","1349314560","4415938560","7226081280","5912248320","1934917632"]],"row_sums_preview":["13456","1560896","181063936","21003416576","2436396322816","282621973446656","32784148919812096","3802961274698203136"],"regions":["(-inf, 0]"],"region_exact":{},"oeis_ids":[],"derivation":{"root":"n-6874f381e9c7e0a2","steps":["basis A013610","basis A013610"],"edges":["e-889e30cc3b49f76a","e-76c4d64c4a1a3d38"],"text":"A038334 \u2192 basis A013610 \u2192 basis A013610"},"headline":"A038334 \u2192 basis A013610 \u2192 basis A013610","chain":null}},{"id":"l-84376740b8d05bc6","kind":"fingerprint_related","node_a_id":"n-d2377120f9386969","node_b_id":"n-1ab9a5b82290fb1b","fingerprint":"f6-5e3baf07c55bade9","oeis_id":null,"in_catalog":null,"target":null,"row_alignment":null,"rows_matched":null,"oeis_nonn":null,"details":{"fingerprint":"f6-5e3baf07c55bade9"},"other_id":"n-d2377120f9386969","other":{"id":"n-d2377120f9386969","name":"basis_map_A013610 of Triangle whose (i,j)-th entry is binomial(i,j)*10^(i-j)*12^j.","first_index":0,"fingerprint":"f6-5e3baf07c55bade9","polytool_family":null,"degree_pattern":"affine","palindromic":0,"gamma_positive":0,"nonnegative":1,"rr_by_factors":1,"preview_rows":[["484","1584","1296"],["10648","52272","85536","46656"],["234256","1533312","3763584","4105728","1679616"]],"card_rows":[["484","1584","1296"],["10648","52272","85536","46656"],["234256","1533312","3763584","4105728","1679616"],["5153632","42166080","137998080","225815040","184757760","60466176"]],"row_sums_preview":["3364","195112","11316496","656356768","38068692544","2207984167552","128063081718016","7427658739644928"],"regions":["(-inf, 0]"],"region_exact":{},"oeis_ids":[],"derivation":{"root":"n-29d7c5a1e19b9d74","steps":["basis A013610"],"edges":["e-0be1d4b95988d4e0"],"text":"A038314 \u2192 basis A013610"},"headline":"A038314 \u2192 basis A013610","chain":null}},{"id":"l-96ed169daa00439f","kind":"fingerprint_related","node_a_id":"n-80e5c51bf45dc008","node_b_id":"n-1ab9a5b82290fb1b","fingerprint":"f6-5e3baf07c55bade9","oeis_id":null,"in_catalog":null,"target":null,"row_alignment":null,"rows_matched":null,"oeis_nonn":null,"details":{"fingerprint":"f6-5e3baf07c55bade9"},"other_id":"n-80e5c51bf45dc008","other":{"id":"n-80e5c51bf45dc008","name":"derivative of basis_map_A007318 of Triangle whose (i,j)-th entry is binomial(i,j)*7^(i-j)*11^j.","first_index":0,"fingerprint":"f6-5e3baf07c55bade9","polytool_family":null,"degree_pattern":"affine","palindromic":0,"gamma_positive":0,"nonnegative":1,"rr_by_factors":1,"preview_rows":[[],["11"],["396","242"]],"card_rows":[["11"],["396","242"],["10692","13068","3993"],["256608","470448","287496","58564"]],"row_sums_preview":["0","11","638","27753","1073116","38900455","1353735834","45801395717"],"regions":["(-inf, 0]"],"region_exact":{},"oeis_ids":[],"derivation":{"root":"n-b7cf68162d40a956","steps":["x \u21a6 x+1","D"],"edges":["e-9e4137eebf66e3b4","e-5c805ba05981afbd"],"text":"A038277 \u2192 x \u21a6 x+1 \u2192 D"},"headline":"A038277 \u2192 x \u21a6 x+1 \u2192 D","chain":null}},{"id":"l-aa716042dd40e597","kind":"fingerprint_related","node_a_id":"n-77900e9176a9461a","node_b_id":"n-1ab9a5b82290fb1b","fingerprint":"f6-5e3baf07c55bade9","oeis_id":null,"in_catalog":null,"target":null,"row_alignment":null,"rows_matched":null,"oeis_nonn":null,"details":{"fingerprint":"f6-5e3baf07c55bade9"},"other_id":"n-77900e9176a9461a","other":{"id":"n-77900e9176a9461a","name":"basis_map_A007318 of Triangle whose (i,j)-th entry is binomial(i,j)*7^(i-j)*11^j.","first_index":0,"fingerprint":"f6-5e3baf07c55bade9","polytool_family":null,"degree_pattern":"affine","palindromic":0,"gamma_positive":0,"nonnegative":1,"rr_by_factors":1,"preview_rows":[["1"],["18","11"],["324","396","121"]],"card_rows":[["1"],["18","11"],["324","396","121"],["5832","10692","6534","1331"]],"row_sums_preview":["1","29","841","24389","707281","20511149","594823321","17249876309"],"regions":["(-inf, 0]","(-inf, -1]"],"region_exact":{},"oeis_ids":[],"derivation":{"root":"n-b7cf68162d40a956","steps":["x \u21a6 x+1"],"edges":["e-9e4137eebf66e3b4"],"text":"A038277 \u2192 x \u21a6 x+1"},"headline":"A038277 \u2192 x \u21a6 x+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:          121,           396,            324;\n  1:         1331,          6534,          10692,            5832;\n  2:        14641,         95832,         235224,          256608,          104976;\n  3:       161051,       1317690,        4312440,         7056720,         5773680,          1889568;\n  4:      1771561,      17393508,       71155260,       155247840,       190531440,        124711488,         34012224;\n  5:     19487171,     223216686,     1095791004,      2988520920,      4890306960,       4801392288,       2618941248,        612220032;\n  6:    214358881,    2806152624,    16071601392,     52597968192,    107586753120,     140840840448,     115233414912,      53875362816,      11019960576;\n  7:   2357947691,   34726138722,   227298362544,    867866475168,   2130217711776,    3485810801088,    3802702692096,    2666830459392,    1090976097024,     198359290368;\n  8:  25937424601,  424430584380,  3125352484980,  13637901752640,  39053991382560,   76687837623936,  104574324032640,   97783783511040,   60003685336320,   21819521940480,   3570467226624;\n  9: 285311670611, 5135610070998, 42018627853620, 206273264008680, 675076136755680, 1546538058749376, 2530698641589888, 2957959451208960, 2420148641898240, 1320081077399040, 432026534421504, 64268410079232;\n","recurrence_sentence":"The row polynomials satisfy (1+x)*P(n,x) = (11+29*x+18*x^2)*P(n-1,x) for n >= 1, with P(0,x) = 121 + 396*x + 324*x^2.","mathematica":"P[0, x_] := 121 + 396*x + 324*x^2;\nP[n_, x_] := P[n, x] = Expand[Together[((11 + 29*x + 18*x^2)*P[n - 1, x])/(1 + x)]];\nTable[CoefficientList[P[n, x], x], {n, 0, 9}] // Flatten","pari":"P(N) = {my(v = vector(N + 1)); v[1] = 121 + 396*x + 324*x^2; for(n = 1, N, my(i = n + 1); v[i] = ((11 + 29*x + 18*x^2)*v[i - 1])/(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":{"root":"n-7dcf11eddf2b9a8a","steps":["x \u21a6 x/(x+1)"],"edges":["e-301241b1fa993a9c"],"text":"A038321 \u2192 x \u21a6 x/(x+1)"},"headline":"A038321 \u2192 x \u21a6 x/(x+1)","chain":null}