History of Eigenvalues of the Gauss-Kuzmin-Wirsing operator

back to table · edit · history · where entries came from · files

compare when who what
2026-09-09 13:41 bmatschke with assisted by an certified GKW eigenvalues current reviewed
2026-09-09 13:41 bmatschke checking that this table can be written to
2026-09-09 13:40 bmatschke read the definition as a sentence
2026-09-09 13:40 bmatschke the leading eigenvalue belongs in a table of the eigenvalues
2026-09-09 13:37 bmatschke the column holds the eigenvalue, so the header says so
2026-09-09 12:08 bmatschke with assisted by an certified GKW eigenvalues
2026-09-09 12:08 bmatschke checking that this table can be written to
2026-09-09 12:07 bmatschke the eigenvalues are signed; the magnitude convention is one row
2026-09-09 10:46 zeta3 scope the GKW certification wording
2026-09-09 10:44 zeta3 scope the GKW certification wording
2026-09-09 10:43 zeta3 make the GKW generator return magnitudes
2026-09-09 10:43 zeta3 store GKW magnitudes and clarify signed recovery
2026-09-09 10:07 zeta3 fix GKW draft audit findings
2026-09-09 10:01 zeta3 with codex-cli certified GKW eigenvalues
2026-09-09 10:01 zeta3 checking that this table can be written to
2026-09-09 10:00 zeta3 draft GKW eigenvalues

What changed between 2026-09-09 13:41 and 2026-09-09 13:41

from line 122 (158 lines, 155 more than before) @@ -122,3 +122,158 @@
 Display properties:   number-header: $\lambda_n$-Numbers: []+Numbers:+- params:+    n: '1'+  number: '1'+  comment: 'Exactly $1$: the operator preserves the Gauss measure, whose density $\frac{1}{(1+x)\log2}$+    is the eigenfunction CITE{comment-leading}.'+- params:+    n: '2'+  number: '-0.303663002898732658597448121901556233110877352253657895188245481467226995294246910984340812'+  comment: The Gauss-Kuzmin-Wirsing constant is $|\lambda_2|$, and the literature+    quotes it positive CITE{OEISA038517} CITE{MathWorldGKW}; the eigenvalue itself+    is negative.+- params:+    n: '3'+  number: '0.100884509293104075305637642992486247444481593431675337003907259642759007927818416724732621'+- params:+    n: '4'+  number: '-0.0354961590216598454088916811346969995131873271635908886069884189025177241454069108539262751'+- params:+    n: '5'+  number: '0.0128437903624402648151602953020630217224895390188822097913127446079017504846546521591302192'+- params:+    n: '6'+  number: '-0.00471777751157103107387547499904633332232334208299968466282216479721293952102944895888555435'+- params:+    n: '7'+  number: '0.00174867512430551191331170967465212021561446528114536287371081591475124045243229450540354312'+- params:+    n: '8'+  number: '-0.000652020858320502900330267784809284370609589222144988279381535083960411175972415540357982374'+- params:+    n: '9'+  number: '0.000244131465524515812136850477916349318368626217322258416048183826704641834467701840910474626'+- params:+    n: '10'+  number: '-0.0000916890837685933029776867371439100329386461532426983285894892748213937182577719803735739045'+- params:+    n: '11'+  number: '0.0000345165461638542533132479591394783868805269215908520863117630191043309955921228709714913910'+- params:+    n: '12'+  number: '-0.0000130176978770230305864019406353768610783385127922317862176727558675874534305648732322286639'+- params:+    n: '13'+  number: '0.00000491678230246449125546106380230808090306692239457191153185557424163147038792237620822660517'+- params:+    n: '14'+  number: '-0.00000185930735150904238198606749148557667472632299235730485975619416077422524636771973143272049'+- params:+    n: '15'+  number: '7.03811343087039809246451587472823480368161218427568175195149546250300555976342762342643640e-7'+- params:+    n: '16'+  number: '-2.66641343447956406171434243996502090069709651990384435705396875802753283024680673498656937e-7'+- params:+    n: '17'+  number: '1.01090553221499246944625165929681012050455332075592349422077077137268900914736421391199221e-7'+- params:+    n: '18'+  number: '-3.83496979502656472706259498561024363508693920422190869537232747304917784425754533069634418e-8'+- params:+    n: '19'+  number: '1.45561383866802305370728397061356814939757306186135371796419623889550720869473912359324511e-8'+- params:+    n: '20'+  number: '-5.52756793799760806048860801765727370277389461719887493165202632908765460713769487664184422e-9'+- params:+    n: '21'+  number: '2.09991358297268764248798945279937160320784202256295409391211009086534591220064625998866891e-9'+- params:+    n: '22'+  number: '-7.98045768272019623539353572600879018253270117404686860296829157480168698859351538825932902e-10'+- params:+    n: '23'+  number: '3.03386294909857542193541454202487736870470765668925006162457520366331431874846919637266166e-10'+- params:+    n: '24'+  number: '-1.15369541814466859546775197221467165861948370540033006837550596663625156405202132749243207e-10'+- params:+    n: '25'+  number: '4.38834501139843608520604267866655039789399870102747706566941806170983515775079007497903582e-11'+- params:+    n: '26'+  number: '-1.66960521511737675528195285901437786343672130522510803043702080325630760043197532688281990e-11'+- params:+    n: '27'+  number: '6.35361242098269496304808082653766007307825296165876304634007694199837262724374901495877726e-12'+- params:+    n: '28'+  number: '-2.41831684759530204590226838906611048727349887210551322193604526141292826933711968894945002e-12'+- params:+    n: '29'+  number: '9.20627420057633985611927145650172454130177980238478959127433607455363351732147083790095307e-13'+- params:+    n: '30'+  number: '-3.50530935459368636355375782080287322146907218017412372452860910543095991161703787932586712e-13'+- params:+    n: '31'+  number: '1.33485714414356906348683864381185993764816853900456849368668398179254336349850681031124325e-13'+- params:+    n: '32'+  number: '-5.08398310974063715121489784877710785214205896407068171576571754113655981912444302093175266e-14'+- params:+    n: '33'+  number: '1.93655438830852674014027041215637952721988660348119832943314252006071540339587718062298435e-14'+- params:+    n: '34'+  number: '-7.37747046440651957074551594324168679547724684391168289923353383899060889093699060162399942e-15'+- params:+    n: '35'+  number: '2.81082457232607406706683008986516287868706718018837226436434320324363545276810927976509455e-15'+- params:+    n: '36'+  number: '-1.07103865011607100414976336177078216128079455655501519698787821886019169615037692209695864e-15'+- params:+    n: '37'+  number: '4.08148926363649029666100422050553819658792825656662261509857399849108265255640963778095879e-16'+- params:+    n: '38'+  number: '-1.55550545323793104110551834494234423509377533754062206870711841694635960929666115979498895e-16'+- params:+    n: '39'+  number: '5.92872462394695261241063063960700738665472182586903804893298823646537489471020057837518341e-17'+- params:+    n: '40'+  number: '-2.25988112977161885347921002802101488821572498417754838754474519573764880056410176103254170e-17'+- params:+    n: '41'+  number: '8.61474442975977795666028896113483779793953974574709399717127081121450777991036868197315351e-18'+- params:+    n: '42'+  number: '-3.28420129321585877897586107292468009711516415997071810133988322368275302339223091590333955e-18'+- params:+    n: '43'+  number: '1.25211997264208427204826448100541298064157957802307851971866793208946866904909698764809636e-18'+- params:+    n: '44'+  number: '-4.77407569935796642106947555956382175640888826714606037367680077130851925209935827808935238e-19'+- params:+    n: '45'+  number: '1.82036444567682802537364829730603455924592882371205966212571802885034660856559690994366677e-19'+- params:+    n: '46'+  number: '-6.94147381297144046949252744601756059774841724610623320919389595626509922228323583973749762e-20'+- params:+    n: '47'+  number: '2.64708602284749249025744224700289651853864717540854140248086197572844679693581519321179447e-20'+- params:+    n: '48'+  number: '-1.00949983400539590567515339916852679556196523135003787466801047645682147847343166144568988e-20'+- params:+    n: '49'+  number: '3.85003942249205119773984344615519437546062519741927390833764804210797393318228171528290521e-21'+- params:+    n: '50'+  number: '-1.46839805816557558582431653623546773731212115186065047113246321246923770691369569173767646e-21' 

Sign in to restore an earlier version.