{"schema":"pubphys.bundle/1","record":{"author":{"account_ref":null,"orcid":null},"builds_on":[],"content_schema":"pubphys.content.revision/1","content_sha256":"22b02dc8a24181efd5a3b0cc07b4ccd583fb71c149bf7b8718eb306161f50573","created":"2026-10-15T23:43:22Z","files":[],"origin":{"assisted_by":[],"kind":"seed"},"parents":["8cfb212400e48962cc9bb94aa661245796414c71fd045c38f3475886a87e7729","ce59fb6cd812fc05906d0c60a71c75ea22bc686bcf38e7c3ef7010834d98ee7b"],"salt":"8a602792b24541b5f68923899f7ef36049e776c7b10b3c37fa522d2c39850677","schema":"pubphys.record/2","site":"pubphys.com","target":null,"type":"revision"},"content":{"answer_type":"yes-no","assisted_by":[],"external_id":"qft.rg-irreversibility.f-theorem-5d","kind":"well-posed","literature_status":"open","n":"2","parents":[],"plain":"In three dimensions, a number computed by placing the theory on a sphere is proven to drop under coarse-graining (the F-theorem). Whether the analogous number drops in five dimensions is unknown.","posed_since":"2010","precise":"For a unitary $d$-dimensional CFT define F~ = sin(pi d/2) log $Z$(S^d), with Z the renormalized partition function on the round sphere (Giombi and Klebanov 2014); in $d = 5$ this is F~ = log Z(S^5). Prove or refute F~_UV > F~_IR for every unitary RG flow between 5D CFTs. The 3D case was proven from strong subadditivity of entanglement entropy (Casini and Huerta 2012); that argument has not been extended to $d = 5$.","problem_ref":"8cfb212400e48962cc9bb94aa661245796414c71fd045c38f3475886a87e7729","references":"","settled_by":"A general proof for unitary $5\\mathrm{D}$ flows, or a unitary $5\\mathrm{D}$ flow (for example a $5\\mathrm{D}$ SCFT deformed into a gauge theory) with F~_UV <= F~_IR.","status_note":"Consistent with free-field, large-N and $\\epsilon$-expansion examples (2014 onward); no general proof as of 2026.","title":"Does the sphere free energy decrease along five-dimensional RG flows?","topic_ref":null},"content_withheld":"false","files":[],"attested":{"attestation":{"batch":null,"client_id":null,"id_token_sha256":null,"kind":"platform"},"record_hash":"c21ecbffa27f0c8bf191283baed5abe5d7db541ab9259106470ac34563ae1d23","schema":"pubphys.attested/1"},"id_token":null,"id_token_withheld":"false","envelope":{"attested_hash":"dc1807d1a3abbd969f855a838309443c2ce8123a2dbed8843323a8eb420accf7","platform_signature":{"key_id":"c6afc19b31429869751f06879c75cd64ea92654423d15b44be775bf1310a60da","sig":"_Q_GAdIvmjcJ1clVw_2g0POX98nLGWTqZZ-crdHzZs0weRwacWUcmHWoATt3nPgPO1HzplY_7W1DorXS3mPXBg"},"schema":"pubphys.envelope/1"},"ots":{"attested":["AE9wZW5UaW1lc3RhbXBzAABQcm9vZgC_ieLohOiSlAEI3BgH0aOrvZafhVqDgwlEPCzoEjotvtiEMyOo60IKzPfwINwkg2ElFB90eLJ97Tjm5zMrBYuEXxfH3SmG_GyzWkJ8CPAg3pQIF9U1NkQCQ4DpFTmmiIxOkpciwORKbOov8j1NZ-oI8CCOYtTwegejDikgtYYaRdDHVqn97ywERo80HDlin6v32gjxIKUU3_JroPUZRLOb7CZ5JOx5NNDUkHIKZMR6kg6FYMR6CPEg2_OmokRGVsgNJRqlAlsg_MfMl4M_xh5vOH-6tFJCAv4I8SAkw4-FKikdZ9yrVszVracDV3BTJTboMzt2UveSyZlRtwjwIMtN_WSs-pavrta_9vKxLs54fFvTCFo_EbbiRpbJsL8_CPAg286fbogvT8QZD8nJMDWZS1r_Vyg5Jg4hl47VhsL1_UQI8SCRZP0ctidqGb7ZjgNGhZ1hJpAMc97VLUvI8DuO4xChLwjxID89HsXrUag9eRv04qSQX18D2ak5pxDN4H8m3_0Qkp84CPAg3mczMYDKOd7Nhf3ojA9ZvuTsN66Y1NnyYTp9j8GKQNwI8SCvAiiN-Hrv7IEejd8wdUihoozu5KOvpoBFJ0vg3UnGAQj_8Ajn9YmozHwo9QjwEJ46aM9ZDv3TdtqV3ZbRsNgI8SBOF8pILGf1kodr5MKmQs6Cd93joraGn3g6UPt_-kewPwjwIOG-gmM7bd_eR4AiDMNfluS3xvr7vicLR-sCBr5qtG2cCPAgrVNFrCoeQcCxhlmnE0BzHgR8HQpZAlfqzDDFzfWb8GUI8QRq0WWT8AjZJ2cF_c7k8ACD3-MNLvkMjiwraHR0cHM6Ly9ib2IuYnRjLmNhbGVuZGFyLm9wZW50aW1lc3RhbXBzLm9yZ_AI9ZMS1zxd7IEI8BDd00WgJZ0RncsC1Fyai_4aCPEgvxMFrnu7F05IW5INiraQ3OVEYMjNx6JfBxw1Q4jPLi4I8QRq0WWS8Ag2zxPAtI5JsP8Ag9_jDS75DI4uLWh0dHBzOi8vYWxpY2UuYnRjLmNhbGVuZGFyLm9wZW50aW1lc3RhbXBzLm9yZwjxIHAnv4KFFf4uiYEFJvLxiMxSyz8VowJP4roTfDD9h7bICPAgj5tgvbNF7mxSP4jGGE66ezUFRLnI4g1VTkvuV4VtCPAI8CCxlc1HuKORuHgn7DYIYcDhc4oo99OkTWBEvddBypoa7AjwIFcjjaF8kDNDYCZGaNISlRjvX-I7in-QNwsr4JYQbFJvCPAgnl0k4gs7LuY5i1umiHO-J7My3uBThLJUWQoY9LdVSrQI8SA6-Ft11_K_GqMNWYhkVsVqCFvXSYbp4S8JoLsLBnUzvgjxIBC8_mAE7JBP35SNxDBcG7joLJwURpMxdV2vSO64_jEOCPEge04Coj1xSi7CE8UwqiBGNhPyZ5QdD_YZwn-heSdObU4I8SBgdDSgr3VUx1j8m_pK7-OzMwwFgXeLy43ujffCv-hf5AjwIMl-PnAt4xjoBEVU4-nkyN0NKRa9AvX4kEMfllFyIJS9CPFZAQAAAAHz4rV-uwQFg02bVnEMUFgpIdGKjM4tWuID1kTVnrjisAAAAAAA_v___wJURAIAAAAAABYAFBFys2oc0-U-bYrC3VulGLzND5fbAAAAAAAAAAAiaiDwBHLTDgAICPEgMJIBYi46xOIuFDwzJ9nOx14ngW5HbglUf65ORpkoIYcICPAgHgGWEGCDHWgscwT92NOoJ7s-ezbPkyiWr2RnYZDC_dwICPAgtffMyyLu-MscJsDc0dzwGspwSrrmvVAnMNgsgWhHClgICPAgMUl1OfBDUwhp5VZjHwVA0nuz1F5HZTUJCHAnM1L1F3MICPAgStK7UWpnrUueV5EaE7uE0y6BLMp6EANmrbhrTqEBZu8ICPAg5LVW7IHtUL5mNOvPx1hOTfLMmqlQ7t9EFW-KDtrISIQICPAgABgXZ6upFU8qiDQKFtQFpqkjKwl0PsxM4JUjVLlDKbkICPAgEwb96FiOhjlbwI8GFZQ4a5GXwxs4bUdqVOMKrtBWV30ICPEgqBg-wp0c8CAPV9k6J7wIa9_GtQfpWmhpE1zqFZyi2pQICPAg2pZLTVPGJbriiz0UhMytYDVYAXOgQnWDcrMOewK9O8cICPEgxm3QwzbvT4siJzubQGnST67bWv-exYwSPP1KDi7CaUwICPEgm6udUudfjUaM0gUFTylKGDMypj7ptMTG0zmxd_T5yTcICPAgMpOInkjFCVp1pOZhfZnyPAl8hdWGmHzQcrGLgLwSKLgICAAFiJYNc9cZAQPzpjs"],"envelope":["AE9wZW5UaW1lc3RhbXBzAABQcm9vZgC_ieLohOiSlAEICmurxwewKjlX2UqKXXfHehAsnc4GGej9ICxE9Oj6xenwIApyUCBfxVICvcElSFQPyEvpAnokxNZZGMyXUT5_pOPsCPEgyUjp5NCRld-SMzcYrYJb7I8BM7XsMyTJ7Tmy_7Vgk-wI8CCz_l-zi7Yrv_8D4fiKYrGAP7aSxzr5pqaSqeDvLc6JnwjwIKOSRuNZCryCCqv1GkKE_SxR4tblnOVDS8Pj-ZT-jUcVCPEgOwhSjpP0GiMZ9H22VcEPgGio4VsjWm0bgvIavpYFf4cI8CBwET6_XinQvNdHk8RY1aaAoLqCyuAH4REr8X4CN9_lxgjwIFKyw0XNzLkprI-i8ECJNT2-eN8CobQHSKw90_ITiI3sCPEgtFEK0VubfP67YUyPihYaN9dTg9fCnso7LYYm40h86RMI8CBUfn8vND_FHy1q8eURvKLesQojCPxZvV5RtrwTxl9iVwjwIKD8mGRUgbk2Dt1xG-4OxMpCuw1ya5UEUQXsqASURGCtCPAgkPXX-naXR0fRIdS-sEDlzYmtMvSCNH42ESUF0QXb6NUI8CDQo_sIWZiWXaTGRSQBLmU-lHJKskYKqsjO1r02DhB8LAj_8Ajn9YmozHwo9QjwEJ46aM9ZDv3TdtqV3ZbRsNgI8SBOF8pILGf1kodr5MKmQs6Cd93joraGn3g6UPt_-kewPwjwIOG-gmM7bd_eR4AiDMNfluS3xvr7vicLR-sCBr5qtG2cCPAgrVNFrCoeQcCxhlmnE0BzHgR8HQpZAlfqzDDFzfWb8GUI8QRq0WWT8AjZJ2cF_c7k8ACD3-MNLvkMjiwraHR0cHM6Ly9ib2IuYnRjLmNhbGVuZGFyLm9wZW50aW1lc3RhbXBzLm9yZ_AI9ZMS1zxd7IEI8BDd00WgJZ0RncsC1Fyai_4aCPEgvxMFrnu7F05IW5INiraQ3OVEYMjNx6JfBxw1Q4jPLi4I8QRq0WWS8Ag2zxPAtI5JsP8Ag9_jDS75DI4uLWh0dHBzOi8vYWxpY2UuYnRjLmNhbGVuZGFyLm9wZW50aW1lc3RhbXBzLm9yZwjxIHAnv4KFFf4uiYEFJvLxiMxSyz8VowJP4roTfDD9h7bICPAgj5tgvbNF7mxSP4jGGE66ezUFRLnI4g1VTkvuV4VtCPAI8CCxlc1HuKORuHgn7DYIYcDhc4oo99OkTWBEvddBypoa7AjwIFcjjaF8kDNDYCZGaNISlRjvX-I7in-QNwsr4JYQbFJvCPAgnl0k4gs7LuY5i1umiHO-J7My3uBThLJUWQoY9LdVSrQI8SA6-Ft11_K_GqMNWYhkVsVqCFvXSYbp4S8JoLsLBnUzvgjxIBC8_mAE7JBP35SNxDBcG7joLJwURpMxdV2vSO64_jEOCPEge04Coj1xSi7CE8UwqiBGNhPyZ5QdD_YZwn-heSdObU4I8SBgdDSgr3VUx1j8m_pK7-OzMwwFgXeLy43ujffCv-hf5AjwIMl-PnAt4xjoBEVU4-nkyN0NKRa9AvX4kEMfllFyIJS9CPFZAQAAAAHz4rV-uwQFg02bVnEMUFgpIdGKjM4tWuID1kTVnrjisAAAAAAA_v___wJURAIAAAAAABYAFBFys2oc0-U-bYrC3VulGLzND5fbAAAAAAAAAAAiaiDwBHLTDgAICPEgMJIBYi46xOIuFDwzJ9nOx14ngW5HbglUf65ORpkoIYcICPAgHgGWEGCDHWgscwT92NOoJ7s-ezbPkyiWr2RnYZDC_dwICPAgtffMyyLu-MscJsDc0dzwGspwSrrmvVAnMNgsgWhHClgICPAgMUl1OfBDUwhp5VZjHwVA0nuz1F5HZTUJCHAnM1L1F3MICPAgStK7UWpnrUueV5EaE7uE0y6BLMp6EANmrbhrTqEBZu8ICPAg5LVW7IHtUL5mNOvPx1hOTfLMmqlQ7t9EFW-KDtrISIQICPAgABgXZ6upFU8qiDQKFtQFpqkjKwl0PsxM4JUjVLlDKbkICPAgEwb96FiOhjlbwI8GFZQ4a5GXwxs4bUdqVOMKrtBWV30ICPEgqBg-wp0c8CAPV9k6J7wIa9_GtQfpWmhpE1zqFZyi2pQICPAg2pZLTVPGJbriiz0UhMytYDVYAXOgQnWDcrMOewK9O8cICPEgxm3QwzbvT4siJzubQGnST67bWv-exYwSPP1KDi7CaUwICPEgm6udUudfjUaM0gUFTylKGDMypj7ptMTG0zmxd_T5yTcICPAgMpOInkjFCVp1pOZhfZnyPAl8hdWGmHzQcrGLgLwSKLgICAAFiJYNc9cZAQPzpjs"]},"log":{"leaf_index":"3668","tree_size":"3804","proof":["64da36536d4152f24fb8a0760acb12021f71b7d94f509d9e1ea53493e3d0ff8b","7c257354b45bfa37b4e418e6bbb2cd254eb6cd37e4dd22e8a5d60e499a2a00c0","35e31ca3dee24dd044aa780742914877808c6b77b56e12b1dcbeb3c63f2468c9","8d7692c4ce6e01504a87d1ff28498c0a186e152bf9ef74fa7aa1b5fd24cc8b85","378b28349357f2eb1ebe8669f4fa95cdbd0c3aa637a2383b93185223de1f861e","77508ae5544183dc553aa3a5aa22bea9bbe6bb9d5f2a39da9f04d3a06b7f5d03","f50866df3e981d10bae13538ff88662a6960f06eee522c24d97d985a8d62cfb4","7e66314356025dfb23c19ffcc67687562cd0a92ea70016b1a2cc4b92f84380b0","e55158332fc5066d8199fad50d3929c561e805c1a4826619f59cd2254d322eb8","af34d80d0065c0ab502282775e865492e2cb49c9493f4594d63ba5577922854a","3c578dccc15502c5f3efe228cadc99fee76ab536ed01f66b14d316fdcc157429"],"checkpoint":"pubphys.com/log/v1\n3804\nAK6t4qgu96+M9wScTrIlsJ10d/zhKVEtYguyM3aeJvo=\n\n— pubphys.com/log/v1 JFPwIPP8EtoxgcsQg7V7CwIdL4UKPqJtpv+eB8sFNJjyQHIdyA1VabmBsPyLqq2bLxJPn57rA6fQi8y0QDDjRXHvlQg=\n","promise":"pubphys.com/log/v1 promise\n38dd49e2575e561d15926c69e108e50d0f620ce66e0d8e8afd77ea1a6917d672\n3668\n2026-10-15T23:43:57Z\n2026-10-16T01:43:57Z\n\n— pubphys.com/log/v1 JFPwIAKj2tuAQ58pDsp2Gm2BcxBoxrOmfXwMbpGxyZAQhfUVV1SJgz6s3Vq0WrDhHo5DpvR+NL2Sfg6lHk6fTbHZIQ4=\n"},"orcid_key_evidence":[],"attesting":null}