{ "schema": "bethe.four-spinon-refinement-precision.v1", "scope": "Arithmetic comparison on truncated quadratures; no omitted-tail bound.", "source": "b573fb4bba7d7fee9df6853fb29bc7cb051898da", "uni20": "1cb2474eb0a54e13ec7d5f2c1823752020b2425c", "compiler": "GNU 13.3.0", "platform": "Linux x86_64", "cpu": "12th Gen Intel(R) Core(TM) i7-12700KF", "controls": { "Exchange J": "1", "Channel": "zz", "Selected spinon sectors": "2,4", "Density relative tolerance": "1e-8", "Density absolute tolerance": "1e-30", "First density residue budget": "64", "Second density residue budget": "80", "First density tail order": "16", "Second density tail order": "20", "Spectral points": "1", "Density convention": "S(q,w); moments use dw/(2*pi); raising=2*zz" }, "momentum": "1.5", "omega": "1.8", "two_kernel_tolerance": "1e-12", "command_template": [ "bethe-xxx-structure-factor-thermo", "--sectors", "2,4", "--momentum", "1.5", "--omega", "1.8", "--exchange", "1", "--channel", "zz", "--density-relative-tolerance", "1e-8", "--density-absolute-tolerance", "1e-30", "--density-terms", "64", "--density-tail-order", "16", "--tolerance", "1e-12", "--threads", "WORKERS", "--diagnostics", "--format", "json", "--precision", "PRECISION", "--four-order", "ORDER", "--four-cutoff", "CUTOFF" ], "timing_scope": "One two-sector spectral query including geometry and output; shared host.", "cases": [ { "precision": "bits-128", "order": 2, "cutoff": 8, "geometry_bits": 128, "comparison_bits": 64, "guard_bits": 128, "workers": 2, "exit_code": 0, "status": "estimated", "s4": "0.2053966493108024996856680820739324205371", "partial_sum": "1.078527104427144249778259856438116033079", "contour_diagnostic": "1.197406505937159692119424350889130376566e-36", "arithmetic_diagnostic": "1.389743683294708294136380896309491922568e-15", "reason": "finite-domain quadrature estimate; order and cutoff refinement are separate checks", "density_attempts": 144, "wall_seconds": "6.06967319899999324662", "cpu_seconds": "12.1205369999999999992", "raw_sha256": "7fc9b8e9744243331af945c395c6650fed0a73f9034e601fe04d38caf39d4af2" }, { "precision": "bits-128", "order": 4, "cutoff": 8, "geometry_bits": 128, "comparison_bits": 64, "guard_bits": 128, "workers": 2, "exit_code": 0, "status": "estimated", "s4": "0.186940867886949382816590177439788319937", "partial_sum": "1.060071323003291132909181951803971932477", "contour_diagnostic": "2.526778678950492300909707380079688851126e-36", "arithmetic_diagnostic": "1.335020012646924347438512079631787356159e-15", "reason": "finite-domain quadrature estimate; order and cutoff refinement are separate checks", "density_attempts": 576, "wall_seconds": "24.0465279689999960056", "cpu_seconds": "48.028672000000000003", "raw_sha256": "be5f5b28fd6b96990e983044de79fb6d80bbd9de49098b7d1b28cd2378b6646d" }, { "precision": "bits-128", "order": 8, "cutoff": 8, "geometry_bits": 128, "comparison_bits": 64, "guard_bits": 128, "workers": 2, "exit_code": 0, "status": "estimated", "s4": "0.187532567317559741123333061968142920645", "partial_sum": "1.060663022433901491215924836332326533188", "contour_diagnostic": "5.306835666707790105459032639968161210611e-36", "arithmetic_diagnostic": "1.338384740504152726095758288048681972244e-15", "reason": "finite-domain quadrature estimate; order and cutoff refinement are separate checks", "density_attempts": 2304, "wall_seconds": "95.9029531829999939418", "cpu_seconds": "191.517405000000000004", "raw_sha256": "6fc3f8d0eac467e151e82dd2a0c52528d37ec3b51635340e6dae121cfb0bae01" }, { "precision": "bits-128", "order": 16, "cutoff": 8, "geometry_bits": 128, "comparison_bits": 64, "guard_bits": 128, "workers": 2, "exit_code": 0, "status": "estimated", "s4": "0.187632274771205183545098500872892888109", "partial_sum": "1.060762729887546933637690275237076500649", "contour_diagnostic": "1.048972855756182368629256851657065852045e-35", "arithmetic_diagnostic": "1.339057991954905067003541933117825421858e-15", "reason": "finite-domain quadrature estimate; order and cutoff refinement are separate checks", "density_attempts": 9216, "wall_seconds": "412.790170903999992902", "cpu_seconds": "824.649212999999999985", "raw_sha256": "472d054b68180bd9c52e9be7aa6a0dedc1c5ca900d487bfba630f9bbbc31aaa7" }, { "precision": "bits-128", "order": 2, "cutoff": 12, "geometry_bits": 128, "comparison_bits": 64, "guard_bits": 128, "workers": 2, "exit_code": 0, "status": "estimated", "s4": "0.2347191541583165605043124506129472038945", "partial_sum": "1.107849609274658310596904224977130816436", "contour_diagnostic": "1.703783404917833482247036356969478079998e-35", "arithmetic_diagnostic": "1.715419683699816712499038635319351310561e-15", "reason": "finite-domain quadrature estimate; order and cutoff refinement are separate checks", "density_attempts": 192, "wall_seconds": "8.00703891899999575799", "cpu_seconds": "15.9789120000000000009", "raw_sha256": "0fe7540bcbf7fc123132aa2f3a0134278b82efc8e2b8c25fa152ffb389c102a2" }, { "precision": "bits-128", "order": 4, "cutoff": 12, "geometry_bits": 128, "comparison_bits": 64, "guard_bits": 128, "workers": 2, "exit_code": 0, "status": "estimated", "s4": "0.2133043986859096743795422372200725575595", "partial_sum": "1.086434853802251424472134011584256170101", "contour_diagnostic": "3.367045856805389267249738366699974139067e-35", "arithmetic_diagnostic": "1.647319098268918974702104462597396251153e-15", "reason": "finite-domain quadrature estimate; order and cutoff refinement are separate checks", "density_attempts": 768, "wall_seconds": "32.0039135489999893025", "cpu_seconds": "63.9324440000000000055", "raw_sha256": "d70d5e1ceb7a046ffbf276ecba581cfe34b8ff407c26712a7ff882812ea84b39" }, { "precision": "bits-128", "order": 8, "cutoff": 12, "geometry_bits": 128, "comparison_bits": 64, "guard_bits": 128, "workers": 2, "exit_code": 0, "status": "estimated", "s4": "0.2139863680109199840423245784969624990883", "partial_sum": "1.087116823127261734134916352861146111633", "contour_diagnostic": "6.547328014358139750478815751575140077193e-35", "arithmetic_diagnostic": "1.651449429277579697695218476849973136249e-15", "reason": "finite-domain quadrature estimate; order and cutoff refinement are separate checks", "density_attempts": 3072, "wall_seconds": "128.981557464000005098", "cpu_seconds": "257.666559000000000013", "raw_sha256": "495ad350e0df612759f9eed137bc21d7e5d2e87f370b30d99b37659de55686a8" }, { "precision": "bits-128", "order": 16, "cutoff": 12, "geometry_bits": 128, "comparison_bits": 64, "guard_bits": 128, "workers": 2, "exit_code": 0, "status": "estimated", "s4": "0.2141008084213667248845181506208248553829", "partial_sum": "1.087231263537708474977109924985008467928", "contour_diagnostic": "1.189064140104206938323119433624209022505e-34", "arithmetic_diagnostic": "1.652257116215821993306838934734683545362e-15", "reason": "finite-domain quadrature estimate; order and cutoff refinement are separate checks", "density_attempts": 12288, "wall_seconds": "523.962650955000000863", "cpu_seconds": "1046.84850300000000001", "raw_sha256": "d1783c5ed6d347da2e7891160d47cfb2626f6fd650257dd7ea43229ba5b605ba" }, { "precision": "fp128", "order": 8, "cutoff": 8, "geometry_bits": 113, "comparison_bits": 53, "guard_bits": 113, "workers": 1, "exit_code": 2, "status": "numerical_failure", "s4": null, "partial_sum": null, "contour_diagnostic": null, "arithmetic_diagnostic": null, "reason": "all declared recovery stages exhausted: arithmetic screen failed", "density_attempts": 338, "wall_seconds": "3.93007702299999550632", "cpu_seconds": "3.92965799999999999999", "raw_sha256": "62167e8d19a3fd091ff9095aa0ce985c9814e8766aa69c4a765bdc93776bd3a5" }, { "precision": "fp128", "order": 8, "cutoff": 12, "geometry_bits": 113, "comparison_bits": 53, "guard_bits": 113, "workers": 1, "exit_code": 2, "status": "numerical_failure", "s4": null, "partial_sum": null, "contour_diagnostic": null, "arithmetic_diagnostic": null, "reason": "all declared recovery stages exhausted: arithmetic screen failed", "density_attempts": 450, "wall_seconds": "5.22806018599999333674", "cpu_seconds": "5.22799700000000000001", "raw_sha256": "16d211cac0f84a56c1f393e6a4c46489df8f09cba00a4d786bad3bbe60518651" }, { "precision": "long-double", "order": 2, "cutoff": 8, "geometry_bits": 64, "comparison_bits": 53, "guard_bits": 64, "workers": 1, "exit_code": 0, "status": "estimated", "s4": "0.205396649310802527976", "partial_sum": "1.07852710442714427755", "contour_diagnostic": "1.95102425358293316855e-24", "arithmetic_diagnostic": "5.23797643173621445588e-11", "reason": "finite-domain quadrature estimate; order and cutoff refinement are separate checks", "density_attempts": 144, "wall_seconds": "0.108478687000001627894", "cpu_seconds": "0.108551000000000000002", "raw_sha256": "28e877ccef4aae99e07cd49a5bea1865ea63e1c3a928d9a1c2be6967a343d343" }, { "precision": "long-double", "order": 4, "cutoff": 8, "geometry_bits": 64, "comparison_bits": 53, "guard_bits": 64, "workers": 1, "exit_code": 0, "status": "estimated", "s4": "0.186940867886949404125", "partial_sum": "1.06007132300329115374", "contour_diagnostic": "1.9101711700196757237e-24", "arithmetic_diagnostic": "4.79788382853409307972e-11", "reason": "finite-domain quadrature estimate; order and cutoff refinement are separate checks", "density_attempts": 576, "wall_seconds": "0.430919058000000632092", "cpu_seconds": "0.43077000000000000002", "raw_sha256": "a86efb476cbe49d57ef103aa1739f2d8eb4b00fb8f032c12886bcc040a8604c6" }, { "precision": "long-double", "order": 8, "cutoff": 8, "geometry_bits": 64, "comparison_bits": 53, "guard_bits": 64, "workers": 1, "exit_code": 2, "status": "numerical_failure", "s4": null, "partial_sum": null, "contour_diagnostic": null, "arithmetic_diagnostic": null, "reason": "all declared recovery stages exhausted: arithmetic screen failed", "density_attempts": 338, "wall_seconds": "0.25417136299999754101", "cpu_seconds": "0.254147999999999999994", "raw_sha256": "42d0740e535a6b4a309aa414c4d0406cae12c9a4b0a00b9c7ca9136d295d88a2" }, { "precision": "long-double", "order": 16, "cutoff": 8, "geometry_bits": 64, "comparison_bits": 53, "guard_bits": 64, "workers": 1, "exit_code": 2, "status": "numerical_failure", "s4": null, "partial_sum": null, "contour_diagnostic": null, "arithmetic_diagnostic": null, "reason": "all declared recovery stages exhausted: arithmetic screen failed", "density_attempts": 1154, "wall_seconds": "0.656143442000001186898", "cpu_seconds": "0.656177999999999999985", "raw_sha256": "c64c45ab1382a911d6177c6f5e00ca336c22274781742320f0c2c3c6d9611691" }, { "precision": "long-double", "order": 2, "cutoff": 12, "geometry_bits": 64, "comparison_bits": 53, "guard_bits": 64, "workers": 1, "exit_code": 0, "status": "estimated", "s4": "0.234719154158316591186", "partial_sum": "1.10784960927465834081", "contour_diagnostic": "3.06143523613595261102e-24", "arithmetic_diagnostic": "6.05233178953976572883e-11", "reason": "finite-domain quadrature estimate; order and cutoff refinement are separate checks", "density_attempts": 192, "wall_seconds": "0.12891907899999921483", "cpu_seconds": "0.128942000000000000002", "raw_sha256": "7c9a24dcb45f899528bee354823300822a2c5b650445afe43aac958693da7d80" }, { "precision": "long-double", "order": 4, "cutoff": 12, "geometry_bits": 64, "comparison_bits": 53, "guard_bits": 64, "workers": 1, "exit_code": 0, "status": "estimated", "s4": "0.213304398685909698096", "partial_sum": "1.08643485380225144764", "contour_diagnostic": "2.94821352637731377324e-24", "arithmetic_diagnostic": "5.53979106857116818909e-11", "reason": "finite-domain quadrature estimate; order and cutoff refinement are separate checks", "density_attempts": 768, "wall_seconds": "0.43918969300000298972", "cpu_seconds": "0.439245999999999999993", "raw_sha256": "e6e6263c5691ed9a6c48b39dc22e112300538ac3ed9924c005b2d28db5ea903d" }, { "precision": "long-double", "order": 8, "cutoff": 12, "geometry_bits": 64, "comparison_bits": 53, "guard_bits": 64, "workers": 1, "exit_code": 2, "status": "numerical_failure", "s4": null, "partial_sum": null, "contour_diagnostic": null, "arithmetic_diagnostic": null, "reason": "all declared recovery stages exhausted: arithmetic screen failed", "density_attempts": 450, "wall_seconds": "0.262281036999993943937", "cpu_seconds": "0.262335000000000000017", "raw_sha256": "9a87503358b2ea7f7fbe357930700b95b125007046428dbe1e64ad8601f3809d" }, { "precision": "long-double", "order": 16, "cutoff": 12, "geometry_bits": 64, "comparison_bits": 53, "guard_bits": 64, "workers": 1, "exit_code": 2, "status": "numerical_failure", "s4": null, "partial_sum": null, "contour_diagnostic": null, "arithmetic_diagnostic": null, "reason": "all declared recovery stages exhausted: arithmetic screen failed", "density_attempts": 1538, "wall_seconds": "0.875364081999990162331", "cpu_seconds": "0.875345000000000000038", "raw_sha256": "91d9928c0e2f5ab16f3e5d080f75912fa34b6d161b062d7a48eb69f8d0169535" } ], "reference_192": { "schema": "bethe.four-spinon-convergence.v1", "controls": { "momentum": "1.5", "omega": "1.8", "exchange": "1", "channel": "zz", "precision": "bits-192", "relative_tolerance": "1e-8", "absolute_tolerance": "1e-30" }, "cpu": "Intel(R) Core(TM) i7-12700KF", "timing_scope": "One two-sector spectral query including geometry and output; shared host.", "cases": [ { "order": 2, "cutoff": 8, "s2": "0.873130455116343415809072260816679329978986819917244295819", "s4": "0.2053966493108024996856680820739324205421730340261175462943", "sum": "1.0785271044271459154947403428906117505211598539433618421135", "two_kernel_error": "4.9883643321168838678800178392480300218343501281611539612347e-56", "contour_diagnostic": "1.1974064038469391478964791648140216477975159183564859352316e-36", "arithmetic_diagnostic": "7.5310754680270698945829387795095027945724948573238184865743e-35", "density_attempts": 144, "wall_seconds": "8.43849106599999743139", "cpu_seconds": "16.7379999999999999998", "threads": 2, "source_commit": "ab10155d6831a836f6330e1ddc64d7e8cd622670", "uni20_commit": "1cb2474eb0a54e13ec7d5f2c1823752020b2425c", "compiler": "GNU 13.3.0", "platform": "Linux x86_64" }, { "order": 4, "cutoff": 8, "s2": "0.873130455116343415809072260816679329978986819917244295819", "s4": "0.1869408678869493828165901774397883199415222372180698797927", "sum": "1.0600713230032927986256624382564676499205090571353141756117", "two_kernel_error": "4.9883643321168838678800178392480300218343501281611539612347e-56", "contour_diagnostic": "2.5267785756286175408343644289920056518686585241114132607012e-36", "arithmetic_diagnostic": "7.2343713094853233065666190119407613355583751365203337171239e-35", "density_attempts": 576, "wall_seconds": "32.933363876000001369", "cpu_seconds": "65.7395270000000000038", "threads": 2, "source_commit": "ab10155d6831a836f6330e1ddc64d7e8cd622670", "uni20_commit": "1cb2474eb0a54e13ec7d5f2c1823752020b2425c", "compiler": "GNU 13.3.0", "platform": "Linux x86_64" }, { "order": 8, "cutoff": 8, "s2": "0.873130455116343415809072260816679329978986819917244295819", "s4": "0.18753256731755974112333306196814292064896682968245603409552", "sum": "1.0606630224339031569324053227848222506279536495997003299144", "two_kernel_error": "4.9883643321168838678800178392480300218343501281611539612347e-56", "contour_diagnostic": "5.306835566631683720385231021708077943676358004316319133308e-36", "arithmetic_diagnostic": "7.2529128285221994023081878259754117265925264564806841433058e-35", "density_attempts": 2304, "wall_seconds": "132.160619547999999668", "cpu_seconds": "263.937901999999999986", "threads": 2, "source_commit": "ab10155d6831a836f6330e1ddc64d7e8cd622670", "uni20_commit": "1cb2474eb0a54e13ec7d5f2c1823752020b2425c", "compiler": "GNU 13.3.0", "platform": "Linux x86_64" }, { "order": 16, "cutoff": 8, "s2": "0.873130455116343415809072260816679329978986819917244295819", "s4": "0.18763227477120518354509850087289288810723824902729807019509", "sum": "1.060762729887548599354170761689572218086225068944542366014", "two_kernel_error": "4.9883643321168838678800178392480300218343501281611539612347e-56", "contour_diagnostic": "1.048972845392937060484643054265283071593165298979986646393e-35", "arithmetic_diagnostic": "7.2565393994598417482622679849511859095283767104599448820829e-35", "density_attempts": 9216, "wall_seconds": "522.141042643000005796", "cpu_seconds": "1043.16913100000000003", "threads": 2, "source_commit": "ab10155d6831a836f6330e1ddc64d7e8cd622670", "uni20_commit": "1cb2474eb0a54e13ec7d5f2c1823752020b2425c", "compiler": "GNU 13.3.0", "platform": "Linux x86_64" }, { "order": 2, "cutoff": 12, "s2": "0.873130455116343415809072260816679329978986819917244295819", "s4": "0.23471915415831656050431245061294720390229722742611424704617", "sum": "1.107849609274659976313384711429626533881284047343358542865", "two_kernel_error": "4.9883643321168838678800178392480300218343501281611539612347e-56", "contour_diagnostic": "1.7037833882251248838188648295062995838923462272675092750831e-35", "arithmetic_diagnostic": "9.2958012708608058949039914505979052153135330679958530241829e-35", "density_attempts": 192, "wall_seconds": "11.1466407380000021021", "cpu_seconds": "22.2235659999999999991", "threads": 2, "source_commit": "ab10155d6831a836f6330e1ddc64d7e8cd622670", "uni20_commit": "1cb2474eb0a54e13ec7d5f2c1823752020b2425c", "compiler": "GNU 13.3.0", "platform": "Linux x86_64" }, { "order": 4, "cutoff": 12, "s2": "0.873130455116343415809072260816679329978986819917244295819", "s4": "0.21330439868590967437954223722007255756358144556256058191064", "sum": "1.0864348538022530901886144980367518875425682654798048777297", "two_kernel_error": "4.9883643321168838678800178392480300218343501281611539612347e-56", "contour_diagnostic": "3.3670458403238389080647869850457528064097425546752421119196e-35", "arithmetic_diagnostic": "8.9273407815871333993479291538340293255661512501491652548044e-35", "density_attempts": 768, "wall_seconds": "45.4408812859999997613", "cpu_seconds": "90.6411099999999999993", "threads": 2, "source_commit": "ab10155d6831a836f6330e1ddc64d7e8cd622670", "uni20_commit": "1cb2474eb0a54e13ec7d5f2c1823752020b2425c", "compiler": "GNU 13.3.0", "platform": "Linux x86_64" }, { "order": 8, "cutoff": 12, "s2": "0.873130455116343415809072260816679329978986819917244295819", "s4": "0.21398636801091998404232457849696249909236629923032028314062", "sum": "1.0871168231272633998513968393136418290713531191475645789596", "two_kernel_error": "4.9883643321168838678800178392480300218343501281611539612347e-56", "contour_diagnostic": "6.5473279981813367113568775455847143388018499182583363628478e-35", "arithmetic_diagnostic": "8.9497808422153760238494023151269172249813703802716413102077e-35", "density_attempts": 3072, "wall_seconds": "178.733360890000000154", "cpu_seconds": "357.041631000000000001", "threads": 2, "source_commit": "ab10155d6831a836f6330e1ddc64d7e8cd622670", "uni20_commit": "1cb2474eb0a54e13ec7d5f2c1823752020b2425c", "compiler": "GNU 13.3.0", "platform": "Linux x86_64" }, { "order": 16, "cutoff": 12, "s2": "0.873130455116343415809072260816679329978986819917244295819", "s4": "0.21410080842136672488451815062082485538155903223086302125456", "sum": "1.0872312635377101406935904114375041853605458521481073170735", "two_kernel_error": "4.9883643321168838678800178392480300218343501281611539612347e-56", "contour_diagnostic": "1.1890641384500152812263717408075894018738326919555386433108e-34", "arithmetic_diagnostic": "8.9541068572391096845846091716581944853638957312999309106896e-35", "density_attempts": 12288, "wall_seconds": "685.874934688999999821", "cpu_seconds": "1370.76524799999999993", "threads": 2, "source_commit": "ab10155d6831a836f6330e1ddc64d7e8cd622670", "uni20_commit": "1cb2474eb0a54e13ec7d5f2c1823752020b2425c", "compiler": "GNU 13.3.0", "platform": "Linux x86_64" } ] }, "reference_note": "Original source and precision-dependent two-spinon tolerance differ. Compare S4, whose quadrature, domain and contour/tolerance controls are unchanged; no claim of identical two-sector query controls or portable speedup.", "maximum_s4_relative_difference_128_vs_192": "3.321939129371208995795289742840503739617817392924327367189580644842016870789439590190923377400124848E-38" }