{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2026:7P2OQG7DMQFS7EXHMHBTQCJANN","short_pith_number":"pith:7P2OQG7D","canonical_record":{"source":{"id":"2605.15176","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"hep-ph","submitted_at":"2026-05-14T17:57:40Z","cross_cats_sorted":[],"title_canon_sha256":"a8fc8626e5c754144648088e2987086215f2695133b7dbf6c96ca1eb250ee6f5","abstract_canon_sha256":"7f37564edab7b0084b51113453415d5d9f15b494c497701bd8783cb3249f5863"},"schema_version":"1.0"},"canonical_sha256":"fbf4e81be3640b2f92e761c33809206b516d2e87581935f836c925e5d3edd7dd","source":{"kind":"arxiv","id":"2605.15176","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2605.15176","created_at":"2026-05-17T21:18:32Z"},{"alias_kind":"arxiv_version","alias_value":"2605.15176v1","created_at":"2026-05-17T21:18:32Z"},{"alias_kind":"pith_short_12","alias_value":"7P2OQG7DMQFS","created_at":"2026-05-18T12:33:37Z"},{"alias_kind":"pith_short_16","alias_value":"7P2OQG7DMQFS7EXH","created_at":"2026-05-18T12:33:37Z"},{"alias_kind":"pith_short_8","alias_value":"7P2OQG7D","created_at":"2026-05-18T12:33:37Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2026:7P2OQG7DMQFS7EXHMHBTQCJANN","target":"record","payload":{"canonical_record":{"source":{"id":"2605.15176","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"hep-ph","submitted_at":"2026-05-14T17:57:40Z","cross_cats_sorted":[],"title_canon_sha256":"a8fc8626e5c754144648088e2987086215f2695133b7dbf6c96ca1eb250ee6f5","abstract_canon_sha256":"7f37564edab7b0084b51113453415d5d9f15b494c497701bd8783cb3249f5863"},"schema_version":"1.0"},"canonical_sha256":"fbf4e81be3640b2f92e761c33809206b516d2e87581935f836c925e5d3edd7dd","receipt":{"kind":"pith_receipt","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.2","canonical_sha256":"fbf4e81be3640b2f92e761c33809206b516d2e87581935f836c925e5d3edd7dd","last_reissued_at":"2026-05-17T21:57:18.576396Z","signature_status":"unsigned_v0","first_computed_at":"2026-05-17T21:40:25.228869Z"},"source_kind":"arxiv","source_id":"2605.15176","source_version":1,"attestation_state":"computed"},"signer":{"signer_id":"pith.science","signer_type":"pith_registry","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"created_at":"2026-05-17T21:18:32Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"9MVV8ygOayuioXxClBolR+z18bw/PNq84xbMA6hHJwVEBqSvrI93N/DwDgkKNdFRFyiCR6kZ8xDTsV+ejQvACQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-21T04:57:34.144017Z"},"content_sha256":"628fdd67eaf37438af6d8baf3b434799b7f03af1614d20890ffd80d851b4eed0","schema_version":"1.0","event_id":"sha256:628fdd67eaf37438af6d8baf3b434799b7f03af1614d20890ffd80d851b4eed0"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2026:7P2OQG7DMQFS7EXHMHBTQCJANN","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Matching higher-dimensional operators at finite temperature for general models","license":"http://creativecommons.org/licenses/by/4.0/","headline":"Generic models with scalars, fermions and gauge fields now have automated matching of dimension-five and -six operators in their three-dimensional high-temperature effective theories.","cross_cats":[],"primary_cat":"hep-ph","authors_text":"Fabio Bernardo, Philipp Schicho, Romain Guillermo Reinle","submitted_at":"2026-05-14T17:57:40Z","abstract_excerpt":"High-temperature dimensional reduction provides a systematic effective field theory framework for studying finite-temperature thermodynamics and cosmological phase transitions. While the matching of super-renormalizable operators in the resulting three-dimensional effective theories is well established, the matching of higher-dimensional operators has recently been reinvigorated. These operators become phenomenologically relevant in strong first-order phase transitions where they quantify the convergence of the high-temperature expansion. This work automates the matching of generic three-dimen"},"claims":{"count":4,"items":[{"kind":"strongest_claim","text":"This work automates the matching of generic three-dimensional dimension-five and -six operators for arbitrary models containing scalars, fermions, and gauge fields, implemented as an extension of the Mathematica package DRalgo.","source":"verdict.strongest_claim","status":"machine_extracted","claim_id":"C1","attestation":"unclaimed"},{"kind":"weakest_assumption","text":"The high-temperature expansion remains valid and the chosen operator basis after field redefinitions captures all relevant contributions without missing gauge-dependent artifacts that affect physical observables.","source":"verdict.weakest_assumption","status":"machine_extracted","claim_id":"C2","attestation":"unclaimed"},{"kind":"one_line_summary","text":"The authors automate matching of generic 3D dimension-five and -six operators for arbitrary models, implemented in an extension of DRalgo with public code and examples for scalar-Yukawa, hot QCD, and the full Standard Model.","source":"verdict.one_line_summary","status":"machine_extracted","claim_id":"C3","attestation":"unclaimed"},{"kind":"headline","text":"Generic models with scalars, fermions and gauge fields now have automated matching of dimension-five and -six operators in their three-dimensional high-temperature effective theories.","source":"verdict.pith_extraction.headline","status":"machine_extracted","claim_id":"C4","attestation":"unclaimed"}],"snapshot_sha256":"659c32693540e457dfaa6a0514ca027ae12627874b01f1591c3eafa5dd594432"},"source":{"id":"2605.15176","kind":"arxiv","version":1},"verdict":{"id":"af2bcaa2-3b71-4071-84e9-793a11dba78c","model_set":{"reader":"grok-4.3"},"created_at":"2026-05-15T02:55:01.467995Z","strongest_claim":"This work automates the matching of generic three-dimensional dimension-five and -six operators for arbitrary models containing scalars, fermions, and gauge fields, implemented as an extension of the Mathematica package DRalgo.","one_line_summary":"The authors automate matching of generic 3D dimension-five and -six operators for arbitrary models, implemented in an extension of DRalgo with public code and examples for scalar-Yukawa, hot QCD, and the full Standard Model.","pipeline_version":"pith-pipeline@v0.9.0","weakest_assumption":"The high-temperature expansion remains valid and the chosen operator basis after field redefinitions captures all relevant contributions without missing gauge-dependent artifacts that affect physical observables.","pith_extraction_headline":"Generic models with scalars, fermions and gauge fields now have automated matching of dimension-five and -six operators in their three-dimensional high-temperature effective theories."},"references":{"count":85,"sample":[{"doi":"","year":2023,"title":"Auclairet al.(LISA Cosmology Working Group), Cosmol- ogy with the Laser Interferometer Space Antenna, Living Rev","work_id":"264d2696-4222-4047-a5f7-4d3ff5a2e546","ref_index":1,"cited_arxiv_id":"","is_internal_anchor":false},{"doi":"","year":1980,"title":"P. H. Ginsparg, First Order and Second Order Phase Transitions in Gauge Theo ries at Finite Temperature, Nucl. Phys. B 170 (1980) 388. 29","work_id":"51f7b22c-de48-4c71-8883-f0adb0fa018f","ref_index":2,"cited_arxiv_id":"","is_internal_anchor":false},{"doi":"","year":1981,"title":"T. Appelquist and R. D. Pisarski, High-Temperature Yang-Mills Theories and Three-Dimensional Quantum Chromodynamics, Phys. Rev. D 23 (1981) 2305","work_id":"cf4af85b-0e85-4896-ba2e-23c001f0e58b","ref_index":3,"cited_arxiv_id":"","is_internal_anchor":false},{"doi":"","year":1988,"title":"Nadkarni, Dimensional Reduction in Finite Temperature Quantum Chrom odynamics","work_id":"abb3048a-7e0e-4bcf-aed8-9952595217a6","ref_index":4,"cited_arxiv_id":"","is_internal_anchor":false},{"doi":"","year":1989,"title":"N. P. Landsman, Limitations to Dimensional Reduction at High Temperature, Nucl. Phys. B 322 (1989) 498","work_id":"bd134f31-186b-455b-9b05-d27c27261410","ref_index":5,"cited_arxiv_id":"","is_internal_anchor":false}],"resolved_work":85,"snapshot_sha256":"8a55819bc0ee8e19d9d32710ff543230682a1713efdda82b930a5da919adc013","internal_anchors":45},"formal_canon":{"evidence_count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"author_claims":{"count":0,"strong_count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"builder_version":"pith-number-builder-2026-05-17-v1"},"verdict_id":"af2bcaa2-3b71-4071-84e9-793a11dba78c"},"signer":{"signer_id":"pith.science","signer_type":"pith_registry","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"created_at":"2026-05-17T21:57:18Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"VFQRSxWbxLA9himAri9uOOVVH3OkfDeWB0+EA3qXMaO84O4Hcms9FlrDWsmPoIfLx+trUgjFfe3MUV/UoVloCg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-21T04:57:34.144548Z"},"content_sha256":"af43f5bd0b7f1f505bd928fe33eaf2c4d07b6e39195963fdd14d9047339a97ee","schema_version":"1.0","event_id":"sha256:af43f5bd0b7f1f505bd928fe33eaf2c4d07b6e39195963fdd14d9047339a97ee"},{"event_type":"integrity_finding","subject_pith_number":"pith:2026:7P2OQG7DMQFS7EXHMHBTQCJANN","target":"integrity","payload":{"note":"URL 'https://github.com/DR-algo/DRalgo/examples/SU2+Higgs_HDO.m' returned status 404 (Not Found) at last check.","snippet":null,"arxiv_id":"2605.15176","detector":"external_links","evidence":{"url":"https://github.com/DR-algo/DRalgo/examples/SU2+Higgs_HDO.m","final_url":"https://github.com/DR-algo/DRalgo/examples/SU2+Higgs_HDO.m","host_kind":"github","status_code":404,"status_text":"Not Found","verdict_class":"incontrovertible","checked_at_unix":1779190351.9692893},"severity":"critical","ref_index":null,"audited_at":"2026-05-19T11:32:32.138843Z","event_type":"pith.integrity.v1","detected_doi":null,"detector_url":"https://pith.science/pith-integrity-protocol#external_links","external_url":"https://github.com/DR-algo/DRalgo/examples/SU2+Higgs_HDO.m","finding_type":"dead_code_link","evidence_hash":"d92c2b5b42e78d71c5f40f9ead1e41db3c002f1f53710137d4ca9f456e9ee98c","paper_version":1,"verdict_class":"incontrovertible","resolved_title":null,"detector_version":"1.0.0","detected_arxiv_id":null,"integrity_event_id":1081,"payload_sha256":"1e38341c525dbd0972b0ae9054b808898b35d9bd432bf2ded8fee088206692e3","signature_b64":"zA9VqBft2DKBZhSJM58EhI/UL783Zq9BPOOj93SktSi9qyKQ072gf9fUmBFh3Ge3qJokD5O9GrnCW5jsZSfxAw==","signing_key_id":"pith-v1-2026-05"},"signer":{"signer_id":"pith.science","signer_type":"pith_registry","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"created_at":"2026-05-19T11:37:01Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"fYq8oCMs2iDttuwMtXik75GZ2OJjXg/n8tSHmYQiYLvwDr2oLzd7dVpxgIt8nHYbecb8cc9gHAhqGJIyJvF+Bw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-21T04:57:34.145606Z"},"content_sha256":"14ce11d94802328454fc235ae31a8da481a586d0c7766ea38e5ef89140b25bde","schema_version":"1.0","event_id":"sha256:14ce11d94802328454fc235ae31a8da481a586d0c7766ea38e5ef89140b25bde"},{"event_type":"integrity_finding","subject_pith_number":"pith:2026:7P2OQG7DMQFS7EXHMHBTQCJANN","target":"integrity","payload":{"note":"URL 'https://github.com/DR-algo/DRalgo/examples/ah_HDO.m' returned status 404 (Not Found) at last check.","snippet":null,"arxiv_id":"2605.15176","detector":"external_links","evidence":{"url":"https://github.com/DR-algo/DRalgo/examples/ah_HDO.m","final_url":"https://github.com/DR-algo/DRalgo/examples/ah_HDO.m","host_kind":"github","status_code":404,"status_text":"Not Found","verdict_class":"incontrovertible","checked_at_unix":1779190351.8195581},"severity":"critical","ref_index":null,"audited_at":"2026-05-19T11:32:32.138843Z","event_type":"pith.integrity.v1","detected_doi":null,"detector_url":"https://pith.science/pith-integrity-protocol#external_links","external_url":"https://github.com/DR-algo/DRalgo/examples/ah_HDO.m","finding_type":"dead_code_link","evidence_hash":"268a1675af479032105cb1e42b7359337b5da39844bca44e449fbd27d10019b1","paper_version":1,"verdict_class":"incontrovertible","resolved_title":null,"detector_version":"1.0.0","detected_arxiv_id":null,"integrity_event_id":1080,"payload_sha256":"4db5a46e3370c26290054b22a30e1c90d385f7452431e5ef09dbf7d9afef71e4","signature_b64":"vfKVFZnq1Rh5G3mUJWYIqM8oAw8APb50XX4ObtWREeWsKw1N2zoBIdhdzy1Xoa6VQ6XLBtOAHcbARtWAerCXCw==","signing_key_id":"pith-v1-2026-05"},"signer":{"signer_id":"pith.science","signer_type":"pith_registry","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"created_at":"2026-05-19T11:37:01Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"HOmVgvT9/U1ylB78J1Lcr8gMpF5peveL6cAUQCXptc5HXNsC6LUjr1NfKdGybHVwnBoty7LJtKmkJ6rZoCfZBw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-21T04:57:34.145891Z"},"content_sha256":"e10334f122127e189a7e629664670b387370fdfb869d1c3c7486b322dc994fb8","schema_version":"1.0","event_id":"sha256:e10334f122127e189a7e629664670b387370fdfb869d1c3c7486b322dc994fb8"},{"event_type":"integrity_finding","subject_pith_number":"pith:2026:7P2OQG7DMQFS7EXHMHBTQCJANN","target":"integrity","payload":{"note":"URL 'https://github.com/DR-algo/DRalgo/examples/sm_HDO.m' returned status 404 (Not Found) at last check.","snippet":null,"arxiv_id":"2605.15176","detector":"external_links","evidence":{"url":"https://github.com/DR-algo/DRalgo/examples/sm_HDO.m","final_url":"https://github.com/DR-algo/DRalgo/examples/sm_HDO.m","host_kind":"github","status_code":404,"status_text":"Not Found","verdict_class":"incontrovertible","checked_at_unix":1779190351.663896},"severity":"critical","ref_index":null,"audited_at":"2026-05-19T11:32:32.138843Z","event_type":"pith.integrity.v1","detected_doi":null,"detector_url":"https://pith.science/pith-integrity-protocol#external_links","external_url":"https://github.com/DR-algo/DRalgo/examples/sm_HDO.m","finding_type":"dead_code_link","evidence_hash":"36f18cb8818aa6bf9a8ffd755e333815d9c31de56cb38710322720f21ddd5a28","paper_version":1,"verdict_class":"incontrovertible","resolved_title":null,"detector_version":"1.0.0","detected_arxiv_id":null,"integrity_event_id":1079,"payload_sha256":"be5f0362d1f2b329db4829def6f08be64fbfbb57e86ef5ac30a293cf4221dc8e","signature_b64":"GsGfvQ5NddQo2H/n+db3AgUgZ/ZNsGyH54g3mMorGJ68QkdsQE7HreWXe7Bz7q5zUgFePRNE6idYvlUcRGIGAQ==","signing_key_id":"pith-v1-2026-05"},"signer":{"signer_id":"pith.science","signer_type":"pith_registry","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"created_at":"2026-05-19T11:37:01Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"PiNCk3uBjbF+Qeah2g8IplrV3Ygt7nvr46rF4Z82qRgpM9r0UUYwvcJeFO1JGHMKoAB3in224jnM4szyveJOAQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-21T04:57:34.146160Z"},"content_sha256":"223351cc25f4b056a9125ae254deb0c56a117c848fdbfffda1357290668b9818","schema_version":"1.0","event_id":"sha256:223351cc25f4b056a9125ae254deb0c56a117c848fdbfffda1357290668b9818"},{"event_type":"integrity_finding","subject_pith_number":"pith:2026:7P2OQG7DMQFS7EXHMHBTQCJANN","target":"integrity","payload":{"note":"URL 'https://github.com/DR-algo/DRalgo/examples/QCD_HDO.m' returned status 404 (Not Found) at last check.","snippet":null,"arxiv_id":"2605.15176","detector":"external_links","evidence":{"url":"https://github.com/DR-algo/DRalgo/examples/QCD_HDO.m","final_url":"https://github.com/DR-algo/DRalgo/examples/QCD_HDO.m","host_kind":"github","status_code":404,"status_text":"Not Found","verdict_class":"incontrovertible","checked_at_unix":1779190351.494634},"severity":"critical","ref_index":null,"audited_at":"2026-05-19T11:32:32.138843Z","event_type":"pith.integrity.v1","detected_doi":null,"detector_url":"https://pith.science/pith-integrity-protocol#external_links","external_url":"https://github.com/DR-algo/DRalgo/examples/QCD_HDO.m","finding_type":"dead_code_link","evidence_hash":"adaf8d7acc851af8d41606dc12a69afd9044b9097beec977554ac6566c0576f2","paper_version":1,"verdict_class":"incontrovertible","resolved_title":null,"detector_version":"1.0.0","detected_arxiv_id":null,"integrity_event_id":1078,"payload_sha256":"b63c6fb612e45cca1b0900ca3b1a31e51b800bb8626c51e36b891f1e63c4f7e9","signature_b64":"y8WMm9vqhiEFN0yY/Hk+er2drD+sY980X0My5sn/MekGt/fPNHhiYhKS/hQVM5Ul7nnWmoIcv0mmdkyGgs6DAQ==","signing_key_id":"pith-v1-2026-05"},"signer":{"signer_id":"pith.science","signer_type":"pith_registry","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"created_at":"2026-05-19T11:37:01Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"gjTdmJ27VWINW264M62hiuvfeASkcOWDeDoOHTAtP0shFmrdkIaWUxu2A/E14c/vkb08YXEDhZtIpO3g1xthBQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-21T04:57:34.146440Z"},"content_sha256":"5a73c84832547b3439ae45c2f3a395373a3a203bc4d6a9e1b2b70eaf1be5dae8","schema_version":"1.0","event_id":"sha256:5a73c84832547b3439ae45c2f3a395373a3a203bc4d6a9e1b2b70eaf1be5dae8"},{"event_type":"integrity_finding","subject_pith_number":"pith:2026:7P2OQG7DMQFS7EXHMHBTQCJANN","target":"integrity","payload":{"note":"URL 'https://github.com/DR-algo/DRalgo/examples/ScalYukawa_HDO.m' returned status 404 (Not Found) at last check.","snippet":null,"arxiv_id":"2605.15176","detector":"external_links","evidence":{"url":"https://github.com/DR-algo/DRalgo/examples/ScalYukawa_HDO.m","final_url":"https://github.com/DR-algo/DRalgo/examples/ScalYukawa_HDO.m","host_kind":"github","status_code":404,"status_text":"Not Found","verdict_class":"incontrovertible","checked_at_unix":1779190351.337439},"severity":"critical","ref_index":null,"audited_at":"2026-05-19T11:32:32.138843Z","event_type":"pith.integrity.v1","detected_doi":null,"detector_url":"https://pith.science/pith-integrity-protocol#external_links","external_url":"https://github.com/DR-algo/DRalgo/examples/ScalYukawa_HDO.m","finding_type":"dead_code_link","evidence_hash":"1844928a3d716cd90ba12fd897efe9fa8e41caa5136875300be8692fc59509a7","paper_version":1,"verdict_class":"incontrovertible","resolved_title":null,"detector_version":"1.0.0","detected_arxiv_id":null,"integrity_event_id":1077,"payload_sha256":"91260f24f086f0f1418715443e7b047c05ac8a355b34baf0644b74e0624ddf1a","signature_b64":"unBaOy6gxQwqda49qe7P88XZpWRetfGXFBpwhbg169uSowfN+hZPtgAxiR89QeXc8R5URXPM6mUswrtqraV7CQ==","signing_key_id":"pith-v1-2026-05"},"signer":{"signer_id":"pith.science","signer_type":"pith_registry","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"created_at":"2026-05-19T11:37:01Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"0lkdD05QKi970U8gHv8nPLUyQvhbEP/MY0jSrWnZDM7bXiRRzA04st3CtyxHRMCSaHjFSp/f44a8/K2FRv7XCQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-21T04:57:34.146725Z"},"content_sha256":"be505fa68db7ad5ba8b252fd3df93c0ce480e3dc14e633cc28582bf0c7699009","schema_version":"1.0","event_id":"sha256:be505fa68db7ad5ba8b252fd3df93c0ce480e3dc14e633cc28582bf0c7699009"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/7P2OQG7DMQFS7EXHMHBTQCJANN/bundle.json","state_url":"https://pith.science/pith/7P2OQG7DMQFS7EXHMHBTQCJANN/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/7P2OQG7DMQFS7EXHMHBTQCJANN/bundle.json","status":"primary"}],"public_keys":[{"key_id":"pith-v1-2026-05","algorithm":"ed25519","format":"raw","public_key_b64":"stVStoiQhXFxp4s2pdzPNoqVNBMojDU/fJ2db5S3CbM=","public_key_hex":"b2d552b68890857171a78b36a5dccf368a953413288c353f7c9d9d6f94b709b3","fingerprint_sha256_b32_first128bits":"RVFV5Z2OI2J3ZUO7ERDEBCYNKS","fingerprint_sha256_hex":"8d4b5ee74e4693bcd1df2446408b0d54","rotates_at":null,"url":"https://pith.science/pith-signing-key.json","notes":"Pith uses this Ed25519 key to sign canonical record SHA-256 digests. Verify with: ed25519_verify(public_key, message=canonical_sha256_bytes, signature=base64decode(signature_b64))."}],"merge_version":"pith-open-graph-merge-v1","built_at":"2026-05-21T04:57:34Z","links":{"resolver":"https://pith.science/pith/7P2OQG7DMQFS7EXHMHBTQCJANN","bundle":"https://pith.science/pith/7P2OQG7DMQFS7EXHMHBTQCJANN/bundle.json","state":"https://pith.science/pith/7P2OQG7DMQFS7EXHMHBTQCJANN/state.json","well_known_bundle":"https://pith.science/.well-known/pith/7P2OQG7DMQFS7EXHMHBTQCJANN/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2026:7P2OQG7DMQFS7EXHMHBTQCJANN","merge_version":"pith-open-graph-merge-v1","event_count":7,"valid_event_count":7,"invalid_event_count":0,"equivocation_count":1,"current":{"canonical_record":{"metadata":{"abstract_canon_sha256":"7f37564edab7b0084b51113453415d5d9f15b494c497701bd8783cb3249f5863","cross_cats_sorted":[],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"hep-ph","submitted_at":"2026-05-14T17:57:40Z","title_canon_sha256":"a8fc8626e5c754144648088e2987086215f2695133b7dbf6c96ca1eb250ee6f5"},"schema_version":"1.0","source":{"id":"2605.15176","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2605.15176","created_at":"2026-05-17T21:18:32Z"},{"alias_kind":"arxiv_version","alias_value":"2605.15176v1","created_at":"2026-05-17T21:18:32Z"},{"alias_kind":"pith_short_12","alias_value":"7P2OQG7DMQFS","created_at":"2026-05-18T12:33:37Z"},{"alias_kind":"pith_short_16","alias_value":"7P2OQG7DMQFS7EXH","created_at":"2026-05-18T12:33:37Z"},{"alias_kind":"pith_short_8","alias_value":"7P2OQG7D","created_at":"2026-05-18T12:33:37Z"}],"graph_snapshots":[{"event_id":"sha256:af43f5bd0b7f1f505bd928fe33eaf2c4d07b6e39195963fdd14d9047339a97ee","target":"graph","created_at":"2026-05-17T21:57:18Z","signer":{"key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signer_id":"pith.science","signer_type":"pith_registry"},"payload":{"graph_snapshot":{"author_claims":{"count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57","strong_count":0},"builder_version":"pith-number-builder-2026-05-17-v1","claims":{"count":4,"items":[{"attestation":"unclaimed","claim_id":"C1","kind":"strongest_claim","source":"verdict.strongest_claim","status":"machine_extracted","text":"This work automates the matching of generic three-dimensional dimension-five and -six operators for arbitrary models containing scalars, fermions, and gauge fields, implemented as an extension of the Mathematica package DRalgo."},{"attestation":"unclaimed","claim_id":"C2","kind":"weakest_assumption","source":"verdict.weakest_assumption","status":"machine_extracted","text":"The high-temperature expansion remains valid and the chosen operator basis after field redefinitions captures all relevant contributions without missing gauge-dependent artifacts that affect physical observables."},{"attestation":"unclaimed","claim_id":"C3","kind":"one_line_summary","source":"verdict.one_line_summary","status":"machine_extracted","text":"The authors automate matching of generic 3D dimension-five and -six operators for arbitrary models, implemented in an extension of DRalgo with public code and examples for scalar-Yukawa, hot QCD, and the full Standard Model."},{"attestation":"unclaimed","claim_id":"C4","kind":"headline","source":"verdict.pith_extraction.headline","status":"machine_extracted","text":"Generic models with scalars, fermions and gauge fields now have automated matching of dimension-five and -six operators in their three-dimensional high-temperature effective theories."}],"snapshot_sha256":"659c32693540e457dfaa6a0514ca027ae12627874b01f1591c3eafa5dd594432"},"formal_canon":{"evidence_count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"paper":{"abstract_excerpt":"High-temperature dimensional reduction provides a systematic effective field theory framework for studying finite-temperature thermodynamics and cosmological phase transitions. While the matching of super-renormalizable operators in the resulting three-dimensional effective theories is well established, the matching of higher-dimensional operators has recently been reinvigorated. These operators become phenomenologically relevant in strong first-order phase transitions where they quantify the convergence of the high-temperature expansion. This work automates the matching of generic three-dimen","authors_text":"Fabio Bernardo, Philipp Schicho, Romain Guillermo Reinle","cross_cats":[],"headline":"Generic models with scalars, fermions and gauge fields now have automated matching of dimension-five and -six operators in their three-dimensional high-temperature effective theories.","license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"hep-ph","submitted_at":"2026-05-14T17:57:40Z","title":"Matching higher-dimensional operators at finite temperature for general models"},"references":{"count":85,"internal_anchors":45,"resolved_work":85,"sample":[{"cited_arxiv_id":"","doi":"","is_internal_anchor":false,"ref_index":1,"title":"Auclairet al.(LISA Cosmology Working Group), Cosmol- ogy with the Laser Interferometer Space Antenna, Living Rev","work_id":"264d2696-4222-4047-a5f7-4d3ff5a2e546","year":2023},{"cited_arxiv_id":"","doi":"","is_internal_anchor":false,"ref_index":2,"title":"P. H. Ginsparg, First Order and Second Order Phase Transitions in Gauge Theo ries at Finite Temperature, Nucl. Phys. B 170 (1980) 388. 29","work_id":"51f7b22c-de48-4c71-8883-f0adb0fa018f","year":1980},{"cited_arxiv_id":"","doi":"","is_internal_anchor":false,"ref_index":3,"title":"T. Appelquist and R. D. Pisarski, High-Temperature Yang-Mills Theories and Three-Dimensional Quantum Chromodynamics, Phys. Rev. D 23 (1981) 2305","work_id":"cf4af85b-0e85-4896-ba2e-23c001f0e58b","year":1981},{"cited_arxiv_id":"","doi":"","is_internal_anchor":false,"ref_index":4,"title":"Nadkarni, Dimensional Reduction in Finite Temperature Quantum Chrom odynamics","work_id":"abb3048a-7e0e-4bcf-aed8-9952595217a6","year":1988},{"cited_arxiv_id":"","doi":"","is_internal_anchor":false,"ref_index":5,"title":"N. P. Landsman, Limitations to Dimensional Reduction at High Temperature, Nucl. Phys. B 322 (1989) 498","work_id":"bd134f31-186b-455b-9b05-d27c27261410","year":1989}],"snapshot_sha256":"8a55819bc0ee8e19d9d32710ff543230682a1713efdda82b930a5da919adc013"},"source":{"id":"2605.15176","kind":"arxiv","version":1},"verdict":{"created_at":"2026-05-15T02:55:01.467995Z","id":"af2bcaa2-3b71-4071-84e9-793a11dba78c","model_set":{"reader":"grok-4.3"},"one_line_summary":"The authors automate matching of generic 3D dimension-five and -six operators for arbitrary models, implemented in an extension of DRalgo with public code and examples for scalar-Yukawa, hot QCD, and the full Standard Model.","pipeline_version":"pith-pipeline@v0.9.0","pith_extraction_headline":"Generic models with scalars, fermions and gauge fields now have automated matching of dimension-five and -six operators in their three-dimensional high-temperature effective theories.","strongest_claim":"This work automates the matching of generic three-dimensional dimension-five and -six operators for arbitrary models containing scalars, fermions, and gauge fields, implemented as an extension of the Mathematica package DRalgo.","weakest_assumption":"The high-temperature expansion remains valid and the chosen operator basis after field redefinitions captures all relevant contributions without missing gauge-dependent artifacts that affect physical observables."}},"verdict_id":"af2bcaa2-3b71-4071-84e9-793a11dba78c"}}],"author_attestations":[],"timestamp_anchors":[],"storage_attestations":[],"citation_signatures":[],"replication_records":[],"corrections":[],"mirror_hints":[],"record_created":{"event_id":"sha256:628fdd67eaf37438af6d8baf3b434799b7f03af1614d20890ffd80d851b4eed0","target":"record","created_at":"2026-05-17T21:18:32Z","signer":{"key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signer_id":"pith.science","signer_type":"pith_registry"},"payload":{"attestation_state":"computed","canonical_record":{"metadata":{"abstract_canon_sha256":"7f37564edab7b0084b51113453415d5d9f15b494c497701bd8783cb3249f5863","cross_cats_sorted":[],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"hep-ph","submitted_at":"2026-05-14T17:57:40Z","title_canon_sha256":"a8fc8626e5c754144648088e2987086215f2695133b7dbf6c96ca1eb250ee6f5"},"schema_version":"1.0","source":{"id":"2605.15176","kind":"arxiv","version":1}},"canonical_sha256":"fbf4e81be3640b2f92e761c33809206b516d2e87581935f836c925e5d3edd7dd","receipt":{"builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"fbf4e81be3640b2f92e761c33809206b516d2e87581935f836c925e5d3edd7dd","first_computed_at":"2026-05-17T21:40:25.228869Z","kind":"pith_receipt","last_reissued_at":"2026-05-17T21:57:18.576396Z","receipt_version":"0.2","signature_status":"unsigned_v0"},"source_id":"2605.15176","source_kind":"arxiv","source_version":1}}},"equivocations":[{"signer_id":"pith.science","event_type":"integrity_finding","target":"integrity","event_ids":["sha256:14ce11d94802328454fc235ae31a8da481a586d0c7766ea38e5ef89140b25bde","sha256:223351cc25f4b056a9125ae254deb0c56a117c848fdbfffda1357290668b9818","sha256:5a73c84832547b3439ae45c2f3a395373a3a203bc4d6a9e1b2b70eaf1be5dae8","sha256:be505fa68db7ad5ba8b252fd3df93c0ce480e3dc14e633cc28582bf0c7699009","sha256:e10334f122127e189a7e629664670b387370fdfb869d1c3c7486b322dc994fb8"]}],"invalid_events":[],"applied_event_ids":["sha256:628fdd67eaf37438af6d8baf3b434799b7f03af1614d20890ffd80d851b4eed0","sha256:af43f5bd0b7f1f505bd928fe33eaf2c4d07b6e39195963fdd14d9047339a97ee"],"state_sha256":"03bea8bc2d5847fc1cfcbff0d52f3713bc8369f3e287dae01e56cc4a8fc8880c"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"akn5uenL++Cg4C8zvF2osNwXyi6mqeSAWMLdgwyVw12Rb2XhsJ2vYEyc9XlKQzDVm0r+DUjzqTBN9xGwMDKSCQ==","signed_message":"bundle_sha256_bytes","signed_at":"2026-05-21T04:57:34.149772Z","bundle_sha256":"50e9fde8e5e53b7e5e90ad329bac8b1ad3110f8f5f82cc106ffa589d92184c87"}}