{"certification":{"candidate":{"gauge":{"kind":"none"},"index_shift":0,"operator":{"schedule":{"first_degree":0,"first_index":0,"step":1},"shape":"reversal"},"parent":{"first_index":0,"initial_polynomials":[["1"],["3","3"]],"recurrence":{"terms":[{"coeff":{"coeffs":[["1","3"]]},"deriv_order":0,"offset":2,"sign":"none"},{"coeff":{"coeffs":[["2","3"]]},"deriv_order":0,"offset":1,"sign":"none"}]},"schema":"polytool.recurrence.v1"},"parent_name":"basis_map_A013610 of A Riordan array of coordination sequences."},"identifying_rows":1,"identity":{"certificate":{"certificate":{"dividend_relation":{"terms":[{"coeff":{"coeffs":[["-54","-54"],["45","54"],["-18","0"]]},"deriv_order":0,"shift":0},{"coeff":{"coeffs":[["-60","-207","-108"],["24","72","27"]]},"deriv_order":1,"shift":0},{"coeff":{"coeffs":[["-8","-48","-81","-27"]]},"deriv_order":2,"shift":0},{"coeff":{"coeffs":[["18"],["9"]]},"deriv_order":0,"shift":1}]},"exceptional_bases":[],"gauge":{"kind":"none"},"identifying_indices":[0],"index_shift":0,"input":{"first_index":0,"initial_polynomials":[["1"]],"recurrence":{"denominator":{"coeffs":[["9"],["9"]]},"terms":[{"coeff":{"coeffs":[["27","0","12","16"],["27","27","-36","-24"],["0","27","24","8"]]},"deriv_order":0,"offset":1,"sign":"none"},{"coeff":{"coeffs":[["0","-27","45","108","32"],["0","-27","-90","-72","-16"]]},"deriv_order":1,"offset":1,"sign":"none"},{"coeff":{"coeffs":[["0","0","27","81","48","8"]]},"deriv_order":2,"offset":1,"sign":"none"}]},"schema":"polytool.recurrence.v1"},"input_valid_from_base":0,"multiplier":["1"],"operator":{"schedule":{"first_degree":0,"first_index":0,"step":1},"shape":"reversal"},"parent":{"first_index":0,"initial_polynomials":[["1"],["3","3"]],"recurrence":{"terms":[{"coeff":{"coeffs":[["1","3"]]},"deriv_order":0,"offset":2,"sign":"none"},{"coeff":{"coeffs":[["2","3"]]},"deriv_order":0,"offset":1,"sign":"none"}]},"schema":"polytool.recurrence.v1"},"parent_leader_shift":2,"parent_valid_from_base":0,"quotients":[],"row_annihilation":{"kind":"system","system":{"generators":[{"annihilator":{"terms":[{"coeff":{"coeffs":[["-18","-18","0"],["12","-18","-54"],["0","18","0"]]},"deriv_order":0,"shift":0},{"coeff":{"coeffs":[["-8","12","126","81"],["0","-24","-72","-27"]]},"deriv_order":1,"shift":0},{"coeff":{"coeffs":[["0","8","48","81","27"]]},"deriv_order":2,"shift":0},{"coeff":{"coeffs":[["6"]]},"deriv_order":0,"shift":1}]},"quotient":[{"coeff":{"coeffs":[["288","2592","8100","9720","2916"],["144","1728","6642","9234","2916"],["0","216","1296","2187","729"]]},"deriv_order":0}],"step_multiplier":{"coeffs":[["884736","23887872","289640448","2078244864","9785442816","31674198528","71744377536","113487454080","122886165312","87479440128","38263752000","9183300480","918330048"],["0","3981312","95551488","1016727552","6301919232","25128734976","67147688448","121406633568","146473642656","113566815936","52957032768","13315785696","1377495072"],["0","0","5971968","125411328","1148857344","6006306816","19674182016","41698986624","57012990480","48671492544","24335746272","6428310336","688747536"],["0","0","0","2985984","53747712","413185536","1763596800","4546300608","7210591488","6874720776","3711583944","1033121304","114791256"]]},"step_quotients":[[{"coeff":{"coeffs":[["884736","23887872","281677824","1863254016","7178678784","12969994752","-16324607808","-171580332672","-522813232512","-933907646592","-1067711735808","-778131660672","-343455437952","-82649704320","-8264970432"],["1769472","54411264","738533376","5791315968","28640812032","89978708736","160872780672","52388272800","-517320258336","-1456862596704","-2032315414560","-1662942661920","-790223006304","-199736785440","-20662426080"],["0","10616832","280682496","3278610432","22123901952","94246612992","257321370240","420973075584","273245704560","-384066033408","-1097991118224","-1153422540288","-624694015152","-170809388928","-18596183472"],["0","0","23887872","558379008","5724131328","33622553088","123693640704","290634454080","417613423680","298470020184","-38914235784","-254147840784","-191701397520","-60954156936","-7231849128"],["0","0","0","23887872","492687360","4407312384","22301941248","69687267840","137284673472","165503481984","109166484456","24335746272","-10790378064","-6887475360","-1033121304"],["0","0","0","0","8957952","161243136","1239556608","5290790400","13638901824","21631774464","20624162328","11134751832","3099363912","344373768","0"]]},"deriv_order":0},{"coeff":{"coeffs":[["-1179648","-33619968","-426000384","-3127320576","-14381991936","-40492182528","-52234377984","78331411584","539944056000","1304674900416","1901385358272","1804518544320","1112097688128","425186812224","90914674752","8264970432"],["0","-8847360","-241532928","-2960105472","-21436379136","-101482398720","-327394109952","-724397385600","-1065039886656","-923624617536","-222065810496","460899647424","580690700352","307640566080","79894714176","8264970432"],["0","0","-23887872","-609140736","-6960328704","-46962063360","-207489682944","-629044745472","-1332768997440","-1971501558048","-1999663679520","-1339843540032","-556508009088","-128107041696","-12397455648","0"],["0","0","0","-27869184","-650944512","-6758774784","-41043096576","-161328796416","-429030193536","-783772021152","-979373487024","-819992205360","-443706468192","-146932807680","-26861153904","-2066242608"],["0","0","0","0","-11943936","-250822656","-2311151616","-12254478336","-41207698944","-91334158848","-134484333696","-129790646784","-79607736036","-29558748420","-6026540940","-516560652"]]},"deriv_order":1},{"coeff":{"coeffs":[["0","1179648","38928384","589234176","5414584320","33690857472","149875494912","490508338176","1196907798528","2182830843168","2954658904992","2920510632096","2052314602272","984908976480","303508080864","53722307808","4132485216"],["0","0","5308416","159252480","2173796352","17844240384","98076137472","380211314688","1066653577728","2186124360192","3264365713680","3502867931424","2633694050160","1334333559744","429089714928","78517219104","6198727824"],["0","0","0","7962624","214990848","2615721984","18919194624","90356622336","299247105024","702239051520","1172469385728","1379140413336","1116880657128","599899103856","201803028048","38225488248","3099363912"],["0","0","0","0","3981312","95551488","1021206528","6395977728","25990377984","71652418560","136162270080","177747882624","156326558796","89460652176","31567595400","6198727824","516560652"]]},"deriv_order":2}],[{"coeff":{"coeffs":[["0","0","663552","19906560","265006080","2067047424","10490041728","36320016384","87382127376","145818907344","165401445312","122392988064","55176330384","13545368208","1377495072"],["0","0","-1327104","-24883200","-168708096","-258660864","3226542336","24595876800","86876667936","184486554504","246979764576","205425329904","100404085248","26057615112","2754990144"],["0","0","-2654208","-63700992","-662888448","-3887751168","-13880346624","-29749358592","-31752300672","6598371456","66821265576","86374042848","51962175216","15152445792","1721868840"],["0","0","0","-5971968","-122425344","-1086151680","-5431878144","-16671028608","-31861895616","-36163497168","-20164997304","0","5739562800","2525407632","344373768"],["0","0","0","0","-2985984","-53747712","-413185536","-1763596800","-4546300608","-7210591488","-6874720776","-3711583944","-1033121304","-114791256","0"]]},"deriv_order":0},{"coeff":{"coeffs":[["0","0","-884736","-25878528","-341397504","-2682160128","-13953129984","-50540485248","-130446956736","-241338459312","-317529620208","-290736490752","-178309084320","-68798226096","-14922863280","-1377495072"],["0","0","2654208","66355200","738533376","4810420224","20253929472","57365604864","109859483520","138063175488","103154823864","29667162384","-16657486704","-17754380928","-5854354056","-688747536"],["0","0","0","6635520","153280512","1572120576","9417047040","36449346816","95241785472","170482493664","207959240592","169113029256","88261721280","27932538960","4821232752","344373768"],["0","0","0","0","3981312","83607552","770383872","4084826112","13735899648","30444719616","44828111232","43263548928","26535912012","9852916140","2008846980","172186884"]]},"deriv_order":1},{"coeff":{"coeffs":[["0","0","-589824","-17694720","-241532928","-1982693376","-10897348608","-42245701632","-118517064192","-242902706688","-362707301520","-389207547936","-292632672240","-148259284416","-47676634992","-8724135456","-688747536"],["0","0","0","-1769472","-47775744","-581271552","-4204265472","-20079249408","-66499356672","-156053122560","-260548752384","-306475647408","-248195701584","-133310911968","-44845117344","-8494552944","-688747536"],["0","0","0","0","-1327104","-31850496","-340402176","-2131992576","-8663459328","-23884139520","-45387423360","-59249294208","-52108852932","-29820217392","-10522531800","-2066242608","-172186884"]]},"deriv_order":2}]]},{"annihilator":{"terms":[{"coeff":{"coeffs":[["0","0","0"],["-72","-270","-324"],["72","54","-162"],["0","54","0"]]},"deriv_order":0,"shift":0},{"coeff":{"coeffs":[["72","486","972","486"],["-72","-252","-108","81"],["0","-72","-216","-81"]]},"deriv_order":1,"shift":0},{"coeff":{"coeffs":[["16","144","450","540","162"],["0","24","144","243","81"]]},"deriv_order":2,"shift":0}]},"quotient":[{"coeff":{"coeffs":[["-48","-432","-1350","-1620","-486"],["0","-72","-432","-729","-243"]]},"deriv_order":0}],"step_multiplier":{"coeffs":[["884736","23887872","289640448","2078244864","9785442816","31674198528","71744377536","113487454080","122886165312","87479440128","38263752000","9183300480","918330048"],["0","3981312","95551488","1016727552","6301919232","25128734976","67147688448","121406633568","146473642656","113566815936","52957032768","13315785696","1377495072"],["0","0","5971968","125411328","1148857344","6006306816","19674182016","41698986624","57012990480","48671492544","24335746272","6428310336","688747536"],["0","0","0","2985984","53747712","413185536","1763596800","4546300608","7210591488","6874720776","3711583944","1033121304","114791256"]]},"step_quotients":[[{"coeff":{"coeffs":[["0","-23887872","-716636160","-9755209728","-79573487616","-432544790016","-1647824228352","-4502708274240","-8875455840576","-12510410243904","-12315724273728","-8118955954368","-3347313024960","-768642250176","-74384733888"],["10616832","286654464","3272638464","19456671744","50952830976","-96866813952","-1384826595840","-5907379113216","-14990700660768","-24995617429824","-27743209915104","-19966331903616","-8770511123424","-2107567460160","-210756746016"],["10616832","366280704","5458378752","46330527744","245855471616","826814490624","1606933976832","814706138880","-4590663885504","-14256589321008","-20825353136016","-17579132943840","-8539091951328","-2192283407088","-229352929488"],["0","55738368","1576599552","19644788736","141410230272","645869458944","1921826704896","3612041501760","3630464789760","-18519655968","-5078633011704","-6492134274336","-3799820156112","-1082711126592","-120875192568"],["0","0","107495424","2615721984","27935373312","171401453568","662815104768","1660748873472","2642834835360","2420411896512","792748413936","-614362802112","-697012506432","-247949112960","-30993639120"],["0","0","0","89579520","1881169920","17152238592","88643414016","283956720768","577867685760","732444740784","535386417984","179418733128","-3788111448","-17563062168","-3099363912"],["0","0","0","0","26873856","483729408","3718669824","15872371200","40916705472","64895323392","61872486984","33404255496","9298091736","1033121304","0"]]},"deriv_order":0},{"coeff":{"coeffs":[["0","23887872","740524032","10471845888","89328697344","512118277632","2080369018368","6150532502592","13378164114816","21385866084480","24826134517632","20434680228096","11466268979328","4115955275136","843026984064","74384733888"],["-10616832","-345047040","-5024415744","-43207188480","-242885910528","-929183726592","-2418737739264","-4042413288576","-3284044619616","2163007385280","9894751175520","13391700979968","10035969929568","4361149397952","1020723848352","99179645184"],["0","-58392576","-1727889408","-23051796480","-183037833216","-961371887616","-3509184757248","-9095654757888","-16788104981568","-21755434407408","-19109096312976","-10589110728480","-3119108008032","-178385611824","134305769520","24794911296"],["0","0","-119439360","-3189030912","-38214623232","-271009400832","-1262533754880","-4053848954112","-9154798236288","-14571704073312","-16140683714904","-12107952100368","-5893612665552","-1748041246368","-282042115992","-18596183472"],["0","0","0","-107495424","-2561974272","-27156031488","-168438610944","-676692092160","-1840628188800","-3442292160480","-4408060757904","-3787307909208","-2106706525740","-718880240700","-135855451476","-10847773692"],["0","0","0","0","-35831808","-752467968","-6933454848","-36763435008","-123623096832","-274002476544","-403453001088","-389371940352","-238823208108","-88676245260","-18079622820","-1549681956"]]},"deriv_order":1},{"coeff":{"coeffs":[["2359296","88473600","1528823808","16132276224","116112973824","602968707072","2329896130560","6808390640640","15137831873088","25554795398496","32432951409120","30389224893408","20440649373408","9471196950048","2839017343392","491765740704","37192366944"],["0","14155776","483065856","7548567552","71496400896","457823010816","2092734351360","7026734002176","17562854315520","32752343198592","45249004000944","45554731379424","32528857377744","15821908396992","4929366115152","880219351008","68186006064"],["0","0","31850496","979402752","13687750656","114912608256","645214408704","2552337755136","7297662781440","15223463315712","23103602439264","25154628828552","19152806272344","9805698670032","3179947373712","585779779368","46490458680"],["0","0","0","31850496","871907328","10749542400","78740398080","380614422528","1274959554048","3023913461760","5098364353152","6049805301216","4936502304900","2667978371952","901914898392","171498136464","13947137604"],["0","0","0","0","11943936","286654464","3063619584","19187933184","77971133952","214957255680","408486810240","533243647872","468979676388","268381956528","94702786200","18596183472","1549681956"]]},"deriv_order":2}],[{"coeff":{"coeffs":[["884736","26542080","371257344","3221876736","19421959680","85935873024","286306083648","722748422592","1371194307504","1914981744816","1902881896128","1278468481824","538370990640","126040799088","12397455648"],["1769472","49102848","623075328","4862674944","26665583616","111407249664","370594673280","986753194848","2048068742976","3173268223224","3486491045568","2554411556016","1151126715168","283419611064","28927396512"],["0","0","-21897216","-477757440","-4382678016","-21143006208","-50522009472","-4701245184","344614687920","1089113927760","1731702624264","1582588782720","817772907744","219710463984","23761789992"],["0","0","-15925248","-403107840","-4434186240","-27723741696","-107750725632","-265374709056","-395482803264","-285052197816","59538398112","287054667504","216266726304","69219127368","8264970432"],["0","0","0","-23887872","-501645312","-4568555520","-23541497856","-74978058240","-150923575296","-187135256448","-129790646784","-35470498104","7691014152","6543101592","1033121304"],["0","0","0","0","-8957952","-161243136","-1239556608","-5290790400","-13638901824","-21631774464","-20624162328","-11134751832","-3099363912","-344373768","0"]]},"deriv_order":0},{"coeff":{"coeffs":[["-1179648","-37158912","-542785536","-4881088512","-30231595008","-136537104384","-463693268736","-1201563694080","-2382114132288","-3585520470096","-4024504907856","-3269765154240","-1837731481056","-666478032336","-138438254736","-12397455648"],["0","1769472","58392576","834084864","6834917376","35596661760","122158471680","272281709952","352423327680","111911554368","-461252524248","-905141808144","-810043629840","-394881920640","-100212766488","-10331213040"],["0","0","18579456","501645312","6058561536","43150454784","201086986752","642856227840","1436944660416","2245951862208","2415105989568","1727901758232","779203045728","203639688144","26172406368","1033121304"],["0","0","0","27869184","662888448","7009597440","43354248192","173583274752","470237892480","875106180000","1113857820720","949782852144","523314204228","176491556100","32887694844","2582803260"],["0","0","0","0","11943936","250822656","2311151616","12254478336","41207698944","91334158848","134484333696","129790646784","79607736036","29558748420","6026540940","516560652"]]},"deriv_order":1},{"coeff":{"coeffs":[["0","-1179648","-40697856","-642318336","-6139183104","-39638937600","-182567540736","-617245443072","-1552458991104","-2911538963232","-4042780809552","-4088133275904","-2930212618992","-1429686829728","-446537985840","-79894714176","-6198727824"],["0","0","-5308416","-164560896","-2317123584","-19588055040","-110688933888","-440449062912","-1266151647744","-2654283727872","-4046011970832","-4422294873648","-3378281154912","-1734266295648","-563625066960","-104000877936","-8264970432"],["0","0","0","-7962624","-218972160","-2711273472","-19940401152","-96752600064","-325237483008","-773891470080","-1308631655808","-1556888295960","-1273207215924","-689359756032","-233370623448","-44424216072","-3615924564"],["0","0","0","0","-3981312","-95551488","-1021206528","-6395977728","-25990377984","-71652418560","-136162270080","-177747882624","-156326558796","-89460652176","-31567595400","-6198727824","-516560652"]]},"deriv_order":2}]]}],"restart_bases":[],"row_multiplier":{"coeffs":[["96","864","2700","3240","972"],["0","144","864","1458","486"]]},"start_base":0}},"shifted_parent_relation":{"terms":[{"coeff":{"coeffs":[["-1","-3"]]},"deriv_order":0,"shift":0},{"coeff":{"coeffs":[["-2","-3"]]},"deriv_order":0,"shift":1},{"coeff":{"coeffs":[["1"]]},"deriv_order":0,"shift":2}]},"statement":"w(n) E = sum_nu H_nu S^nu L' (with any remainder removed by row annihilators of the parent), where L' is the parent rule at P'_n = P_(n+0) (valid from base 0) and E the input rule gauged by lambda(n)/delta(n) and composed with (or conjugated through) T = x^(d_n) P(1/x), d_n = 0 + 1 (n - 0); so the candidate rows satisfy the input rule at every base n >= 0 (the exceptional bases checked exactly), and agreement on the 1 identifying rows gives Q_n = lambda(n) T_n(P_(n+0)) for every n >= 0"},"method":"operator_division"},"status":"certified"},"input_first_index":0,"interlacing":{"reason":"the schedule d_n depends on n","status":"none"},"lean_declarations":["RealRooted.X_pow_mul_reverse_eq_zero_or_splits","RealRooted.reflect_eq_zero_or_splits"],"lean_route":"reversed","lift_summary":{"hypotheses":[{"evidence":"lambda(n) = 1","name":"gauge_finite_nonzero","statement":"lambda(n) is finite and nonzero for every n >= n0","status":{"kind":"verified"}}],"identity":{"method":"forward_division","status":"certified"},"input_first_index":0,"input_interlacing":{"reason":"the schedule d_n depends on n","status":"not_proved"},"lean_replay":"not_attempted","operation":{"description":"x^(d_n) P(1/x), d_n = 0 + 1 (n - 0)","kind":"preserver_image","operator":{"schedule":{"first_degree":0,"first_index":0,"step":1},"shape":"reversal"}},"parent":{"gauge":{"kind":"none"},"index_shift":0,"recurrence":{"first_index":0,"initial_polynomials":[["1"],["3","3"]],"recurrence":{"terms":[{"coeff":{"coeffs":[["1","3"]]},"deriv_order":0,"offset":2,"sign":"none"},{"coeff":{"coeffs":[["2","3"]]},"deriv_order":0,"offset":1,"sign":"none"}]},"schema":"polytool.recurrence.v1"},"relation":"Q_n = lambda(n) T_n(P_(n+0)) with T = x^(d_n) P(1/x), d_n = 0 + 1 (n - 0), for every n >= 0"},"parent_proof":{"route":"liu_wang_three_term","statement":"every parent row P_n, n >= 0, is zero or real-rooted with coefficients of one sign","status":"proved"},"root_transfer":{"input_conclusion":"every Q_n, n >= 0, is zero or real-rooted with roots in (-inf, 0]","input_root_region":{"upper":{"closed":true,"value":"0"}},"parent_hypothesis":"every parent row used is zero or real-rooted with all roots in (-inf, 0] (coefficients of one sign)","parent_root_region":{"upper":{"closed":true,"value":"0"}},"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"},"verdict":"proved"},"notes":["the division remainder is removed by row annihilators of the shifted parent"],"parent_proof":{"attempts":[{"detail":"the rule is not P_(n+k) = c(x) P_n with c free of n","route":"periodic_product","success":false,"variant":"P_(n+k) = c(x) P_n"},{"detail":"not applicable: expected one nonzero lag term","route":"product_recurrence","success":false,"variant":"product_recurrence"},{"detail":"no theorem matched (weighted_renewal_window: coefficient of P_(n-1) must be 1 after normalization; fixed_delay_predecessor_window: coefficient of P_(n-1) must be 1 (+ w(n) t) after normalization)","route":"paper_theorem","success":false,"variant":"match_recurrence_theorems"},{"detail":"not applicable: c_2(n, x) = gamma(n) w(x) with w neither constant nor a constant times a square (x + v_0)^2","route":"three_term_recurrence","success":false,"variant":"three_term_recurrence"},{"detail":"not applicable: the rule is not f(n) P_n = c_0(n, x) P_(n-1) + c_1(n, x) P'_(n-1)","route":"liu_wang","success":false,"variant":"liu_wang"},{"detail":"HypothesisFailed: P_n = A_n(x) P_(n-1) + V_n(x) P'_(n-1) + W_n(x) P_(n-2) for n >= 2, with A_n(x) = (2) + (3) x, V_n(x) = 0, W_n(x) = (1) + (3) x; open hypotheses: multipliers_vanish_at_zero: [x^0] c_2(n, x) = 1 is not the zero polynomial; lag_coefficient_nonpositive: W_n is not separable with a factor of one sign on (-inf, 0), and the sufficient monomial test (-1)^k [x^k] W_n <= 0 fails for k = 0 (not a disproof): fails at n = 2: [x^0] W_n = 1 there (exact); derivative_or_lag_coefficient_negative: W_n is not separable with a factor of one sign on (-inf, 0), and the sufficient monomial test (-1)^k [x^k] W_n <= 0 fails for k = 0 (not a disproof): fails at n = 2: [x^0] W_n = 1 there (exact)","route":"liu_wang_derivative_lag","success":false,"variant":"liu_wang_derivative_lag"},{"detail":"not applicable: the rule is not f(n) P_n = c_0(n, x) P_(n-1) + gamma(n) (x - L)(x - U) P'_(n-1)","route":"ma_wang_interval","success":false,"variant":"ma_wang_interval"},{"detail":"P_n = A_n(x) P_(n-1) + B_n(x) P_(n-2) for n >= 2, with A_n(x) = (2) + (3) x, B_n(x) = (1) + (3) x: every P_n, n >= 0, is nonzero and real-rooted with every root in (-inf, -1/3] (so its coefficients have one sign); for n >= 1, P_(n-1) interlaces P_n (weakly, in the sense of Liu and Wang), and deg P_n - deg P_(n-1) is 0 or 1 for n >= 2","route":"liu_wang_three_term","success":true,"variant":"liu_wang_three_term"}],"conditional_on":[],"interlacing":{"from_index":1,"justification":{"premises":["every hypothesis of the theorem is verified exactly for every index: P_n = A_n(x) P_(n-1) + B_n(x) P_(n-2) for n >= 2, with A_n(x) = (2) + (3) x, B_n(x) = (1) + (3) x","every P_n, n >= 0, is nonzero and real-rooted with every root in (-inf, -1/3] (so its coefficients have one sign); for n >= 1, P_(n-1) interlaces P_n (weakly, in the sense of Liu and Wang), and deg P_n - deg P_(n-1) is 0 or 1 for n >= 2"],"theorem":"liu_wang_three_term: L. L. Liu and Y. Wang, Adv. Appl. Math. 38 (2007) 542-560, Theorem 2.1 and Corollary 2.4 (A unified approach to polynomial sequences with only real zeros; the lag row as the interlacer, b_n = 0), weak interlacing of consecutive rows, with nonnegativity of the coefficients replaced, where a root region is certified, by an exact root-location induction"},"kind":"weak","orientation":"previous_interlaces_next"},"route":"liu_wang_three_term","rows_checked":10,"statement":"every parent row P_n, n >= 0, is zero or real-rooted with coefficients of one sign","status":"proved"},"rows_compared":16,"schema":"polytool.recurrence-preserver-image.v1","statement":"proved: Q_n = lambda(n) T_n(P_(n+0)) with T = x^(d_n) P(1/x), d_n = 0 + 1 (n - 0) for every n >= 0, the side conditions hold for every n, and every parent row P_n, n >= 0, is zero or real-rooted with coefficients of one sign; so every Q_n, n >= 0, is zero or real-rooted with roots in (-inf, 0]"},"kind":"preserver_image"}