{"id":"05ed4c66-4208-4b3c-a426-df923bf0135f","arxiv_id":"2505.01507","paper_version":1,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":7.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"Time-ordered correlators of a 2D conformal field theory on the Lorentzian cylinder access an infinite family of analytic-continuation sheets, classified here as towers of clockwise monodromies.","lead":"Physicists show that on a cylindrical spacetime, the infinitely wrapping light cones allow time-ordered quantum measurements to land on infinitely many distinct mathematical branches of the same correlation function. The result classifies these branches and could sharpen future studies of chaos, particle scattering, and quantum gravity dualities.","discovery_kind":"new_application","skeptic_critique":{"model":"deepseek-v4-flash","headline":"Classification overreaches: §6 restricts to same-range z,¯z, but §6.4 and the abstract claim completeness for all insertion locations, while different-range configurations are explicitly deferred.","rationale":"The reader's weakest_assumption focuses on the rational-CFT restriction. That is a real limitation, but it is explicitly acknowledged and hedged ('most rigorous in the former case, we also expect our results to apply to irrational theories', footnote 3). The different-range omission is more damaging because it contradicts the paper's own completeness claims without hedging at that point. Section 6.3 restricts to same-range configurations; §5.3 identifies different-range configurations and defers their analysis; §6.4 then asserts the classification covers all insertion locations. The π-shift moves cannot bridge the sectors because they leave the cross-ratios (and hence their ranges) invariant. Thus the three-family classification is at best a statement about the same-range sector unless a separate argument covers the different-range sector. The proposed test directly checks whether the omitted sector introduces new sheet types. If it does not, the paper's list remains correct and the issue is only that the tables are not exhaustive; if it does, the central completeness claim fails. I therefore keep the reader's CONDITIONAL verdict but would state the condition as 'complete the different-range classification' rather than solely 'address irrational CFTs.'","tokens_in":60298,"tokens_out":7251,"duration_ms":69694,"concrete_test":"Enumerate the distinct causal configurations of four insertions on a single Minkowski diamond with z in one Ri and ¯z in another (the 'second type' of §5.3, Fig. 11c/d). For each, apply the half-monodromy rules of §3.2 from the Euclidean sheet to compute the resulting monodromy. Check whether every result is one of C^q_ij, √C_ij C^q_im √A_ij, √C_ij C^q_im √C_ij. If any configuration yields a monodromy outside this list, the §6.4 classification fails for the cylinder as a whole. If all fit, the omission is only in the tables, not in the sheet classification, and the concern is downgraded.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The central claim that time-ordered four-point correlators on the Lorentzian cylinder access only the three monodromy families of §6.4 is not supported for all configurations. Section 6.3 begins: 'In the rest of this paper, we focus on configurations for which z and ¯z both lie in the same range (3.15).' This excludes a large set of causal configurations, including the 'second type' identified in §5.3, where z and ¯z lie in different Ri ranges. §5.3 explicitly defers these: 'We leave the detailed explication to the interested reader.' Since the π-shift moves ωi→ωi±niπ leave cross-ratios unchanged, they cannot map a same-range configuration to a different-range one; the omitted sector is not reachable by the §6 procedure. Nevertheless §6.4 states 'all insertion locations on the Lorentzian cylinder lie on a sheet obtained...' and the abstract claims a 'complete classification.' Unless the different-range sector is shown to produce only the same three families, the classification is incomplete. This is not a minor technicality: the paper itself identifies these configurations as having z and ¯z in different ranges, and no monodromy is computed for them.","agreement_with_reader":"partial"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper analyzes the multivalued structure of time-ordered correlation functions of a two-dimensional CFT on the Lorentzian cylinder S^1 × R. It derives branch-move rules and phases for two- and three-point functions, then develops a lattice-based path-independence argument for four-point functions, representing branch moves as matrices acting on the pairing matrix P. It classifies monodromies for configurations inside a single Minkowski diamond and, using shifts ω_i → ω_i − n_i π that leave cross-ratios invariant but change the sheet, derives monodromy rules for configurations on the cylinder. The central claim is that time-ordered four-point correlators access exactly the sheets generated by the three families C^q_{ij}, √C_{ij} C^q_{im} √A_{ij}, and √C_{ij} C^q_{im} √C_{ij}, with the Regge sheet (q = −1) causally unique, while a larger infinity of sheets remains uninterpreted.","tokens_in":60533,"tokens_out":8307,"duration_ms":77598,"significance":"If the classification is correct, the paper gives a concrete physical interpretation for an infinite family of sheets of the multi-valued four-point function, going well beyond the finite number of sheets previously understood on R^{1,1}. The central mechanism—repeated crossings of the spiraling lightcones on the cylinder—is elegant and physically well motivated. The path-independence proof is detailed, and the extensive appendix computations (Appendices C–F) and the derivation of monodromy rules from explicit iε cross-ratio expressions and standard conformal-block input are strengths; the classification is not used to set any constants or assumptions. The concrete predictions, such as repeated bulk-point singularities and the special status of the Regge sheet, are valuable. However, the completeness of the classification is not currently established for configurations with z and ¯z in different ranges, so the significance as stated in the abstract is not yet fully supported.","major_comments":[{"comment":"The paper presents the three-family classification as complete for all insertion locations on the Lorentzian cylinder, but the analysis in §6.3 is explicitly restricted to configurations with z and ¯z in the same range (3.15). The omitted configurations are precisely the ‘second type’ identified in §5.3 and Fig. 11(c),(d), for which the text says ‘We leave the detailed explication to the interested reader.’ Since the ω_i → ω_i − n_i π shifts used in §6 leave all cross-ratios unchanged, they cannot connect a same-range configuration to a different-range configuration; the §6 procedure therefore never reaches the different-range sector. To support the abstract’s ‘complete classification’ and the §6.4 statement that all insertion locations lie on one of the three families, the authors must either compute the monodromies for the different-range sector and show that they fall into the same families, or explicitly restrict the completeness claim to the same-range sector.","section":"§6.3, §5.3, Abstract"},{"comment":"The matrix implementation of branch moves, and hence the path-independence proof and the monodromy classification, assumes a finite-dimensional space of conformal blocks so that the matrices F^± and B^± are finite. Footnote 3 and the discussion around (3.8)–(3.9) state that the argument is rigorous only for rational CFTs, with irrational theories left as an expectation. Since the abstract and §6.4 present the three-family classification as a statement about CFT_2 without this qualification, the headline claim is broader than what is established. Please state the rational-CFT scope in the abstract and in §1.1/§6.4, or supply a proof or clearly justified argument for the infinite-dimensional case.","section":"§3.3 and footnote 3"}],"minor_comments":[{"comment":"The title and the opening line of the abstract use ‘CFT correlates’ where ‘CFT correlators’ is intended, and the abstract sentence beginning ‘we demonstrate the spiral nature of lightcones on S^1 × time’ is ungrammatical and should be rewritten.","section":"Title and Abstract"},{"comment":"Items 4–7 of the F-type rules contain apparent notation typos: the exponent ‘n_i−2−n_i3’ should presumably be n_{i2}−n_{i3}, and item 7 ends with √C_{i1i4} where the matching half-monodromy pattern in items 4–6 suggests √C_{i1i3}; these should be corrected so that the rules can be applied unambiguously.","section":"§6.3.2"},{"comment":"The claim of ‘full coverage’ of the ranges in (3.14) is accompanied by the caveat that no careful proof has been attempted; since §6’s enumeration relies on these ranges, a short proof or an explicit reference would strengthen the paper.","section":"§3.5"}],"recommendation":"major_revision","confidential_remarks":"To the editor: the main gap is a scope mismatch in the completeness claim rather than an apparent error in the same-range analysis. A revision that either computes the different-range sector or clearly downgrades the completeness claim, and that states the rational-CFT caveat in the abstract, would make the paper publishable; the same-range derivation and the appendix computations appear substantial and sound."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"The genuinely new thing here is that time-ordered four-point functions on the Lorentzian cylinder access an infinite tower of sheets, not just the finite set seen on Minkowski space. Working through the pi-shifts leaves cross-ratios unchanged and tracking the half-monodromies is a neat idea, and the resulting classification into C^q towers and the two half-monodromy-conjugated towers is concrete. The path-independence proof is long but careful, and the appendices contain a lot of explicit computation. The authors are also honest that the rigorous statement is for rational CFTs with finite conformal-block space, and they note that the irrational case is expected but not proved. Credit is due for that. The soft spot is exactly where the stress-test note lands. Section 6.3 says plainly that the rest of the paper only treats configurations with z and \\bar z in the same range (3.15). Yet section 6.4 and the abstract claim a complete classification of sheets for all insertion locations on the cylinder. Section 5.3 had already identified a second type of two-crossing configurations with z and \\bar z in different ranges and explicitly left them for later. Those configurations are not reachable by the same-range shifts, so they are not covered by the section 6 machinery. The completeness claim is therefore overreaching. This is not a cosmetic wording issue: the paper itself says a range of causal configurations exists that the classification does not touch. It is fixable, either by treating the different-range sector or by claiming completeness only within the same-range sector and leaving the rest as an open problem. The central argument for the sector that is treated holds up: the monodromy rules are derived from the i-epsilon cross-ratios and standard CFT input, with no fitted parameters and no circular reliance on the classification. The same-range classification is likely to survive referee scrutiny. The weaker point is the finite-block-space assumption, but the authors flag it, so it is a limitation rather than a hidden flaw. Who should read this? Anyone working on Lorentzian CFT correlators, Regge physics, or sheet structure of conformal blocks. It deserves a serious referee. I would recommend acceptance only after the completeness claims are aligned with what is actually proved, and I would not be surprised if the different-range sector produces genuinely new towers rather than the same three families. Plainly: send it to peer review, but tell the authors to fix the completeness language and either handle the different-range configurations or explicitly list them as an open question.","headline":"For the same-range sector the monodromy classification is a real and mostly convincing result, but the completeness claim for all insertion locations is not supported; the paper shows its own restriction to z and \\bar z in the same range.","tokens_in":804,"tokens_out":831,"would_cite":true,"duration_ms":27300,"reading_group":"yes","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":[],"pacs":["11.25.Hf"],"model":"deepseek-v4-flash","headline":"Time-ordered four-point correlators on the Lorentzian cylinder reach infinitely many sheets of the multivalued CFT correlator, and the paper provides a complete classification of those sheets.","keywords":["2D conformal field theory","Lorentzian cylinder","monodromy","conformal blocks","four-point correlator","lightcone spirals","sheet structure","time-ordered correlator"],"falsifier":"Using a specific solvable CFT such as the Ising model, evaluate the time-ordered four-point function at insertion locations whose shift integers $n_i$ are those the paper's tables assign to the sheet $\\sqrt{C_{ij}}\\,C^q_{im}\\,\\sqrt{C_{ij}}$ for some $q\\ge 0$, and compare with the analytic continuation of the Euclidean correlator along that monodromy path. A mismatch for any $q$ would falsify the claimed classification.","tokens_in":60124,"feed_emoji":"🌀","tokens_out":10597,"duration_ms":107033,"temperature":0.7,"pith_summary":"Correlators of a two-dimensional CFT on a Lorentzian cylinder are multi-valued: the same insertion points can give different answers depending on which sheet of the analytic function is used. This paper shows that time-ordered four-point functions on the cylinder, unlike those on Minkowski space, reach infinitely many sheets, because lightcones spiral around the spatial circle and can be crossed arbitrarily many times. It gives a complete list of the sheets reached and of the causally distinct insertion configurations that land on each sheet. All reached sheets are generated by three towers built from full clockwise monodromies around one branch point, possibly sandwiched between two half-monodromies around another. The work gives physical meaning to one infinite family of sheets but leaves a larger, non-abelian infinity uninterpreted.","feed_headline":"Lorentzian cylinder reveals infinite sheets of CFT correlators","feed_subtitle":"Time-ordered four-point functions wind around branch points endlessly, yet only three families of sheets ever appear.","key_machinery":"The sheet classification is carried by a matrix implementation of branch moves. Each lightcone crossing in cross-ratio space is a half-monodromy around $z=0,1,\\infty$; changing the basis of conformal blocks (the $\\alpha$, $\\beta$, and $\\gamma$ bases, related by constant fusion matrices $F$ and $B$) turns each half-monodromy into a multiplication of the pairing matrix $P$. Path independence is proved by showing that holonomies around elementary plaquettes of a causal lattice vanish, using the commutation of holomorphic and anti-holomorphic moves together with Euclidean single-valuedness. The monodromy of a general configuration is then reduced to shifts $\\omega_i\\to\\omega_i-n_i\\pi$ from a Euclidean $A$- or $F$-type configuration, with the integer $n_i$ differences determining the power $q$ in the monodromy word.","core_discovery":"On the Lorentzian cylinder $S^1\\times R$, time-ordered four-point correlators access an infinite number of sheets of $C/N$. Writing $C/N=\\sum_{ij} G_i(z)P_{ij}\\bar G_j(\\bar z)$, the branch points at $z,\\bar z=0,1,\\infty$ are crossed whenever an insertion cuts a lightcone; the cylinder's spiralling lightcones make the number of crossings unbounded. Within rational CFTs, where the conformal block space is finite-dimensional, the paper establishes that every sheet reached from the Euclidean sheet by any physical insertion configuration is one of the three forms $C^q_{ij}$ with $q\\ge -1$, $\\sqrt{C_{ij}}\\,C^q_{im}\\,\\sqrt{A_{ij}}$ with $q\\ge 0$, or $\\sqrt{C_{ij}}\\,C^q_{im}\\,\\sqrt{C_{ij}}$ with $q\\ge 0$, where $C$ and $A$ denote full clockwise and anticlockwise monodromies around the indicated branch point and $i,j,m$ are distinct. The paper also proves path independence: every continuous deformation from a spacelike-separated starting configuration to a given final configuration yields the same monodromy. It then tabulates which causal configurations realize each sheet, finding that all sheets except the Regge sheet $C^{-1}_{ij}=A_{ij}$ admit multiple inequivalent causal realizations.","pith_inferences":["A direct numerical test in a solvable rational CFT with known fusion matrices would decide whether the three-family classification extends to irrational theories; the paper states this extension is expected but not proven.","The uninterpreted non-abelian sheets might acquire physical meaning from correlators with more time folds, from out-of-time-order contours, or from S-matrix sheets in non-conformal theories, a direction the paper leaves open.","Restricting higher-dimensional CFTs to an equatorial $S^1\\times R$ slice should reproduce the same infinite towers, but the extra possibility that $z$ and $\\bar z$ are independent real numbers or complex conjugates could create new sheet structures not visible in two dimensions."],"forward_implications":["Every time-ordered four-point function on the Lorentzian cylinder can be assigned a definite sheet by a finite algorithm: start on the Euclidean sheet and apply one of the three allowed monodromy towers, with the integer $q$ fixed by the shift integers $n_i$.","The physically realized sheets are abelian towers, so the set of realized sheets grows only linearly with the number of windings, while the full set of possible monodromy words grows exponentially; most sheets of the correlator have no time-ordered-cylinder interpretation.","The tables give a complete causal census: each sheet's causal configurations are enumerated, and only the Regge sheet is realized by essentially one causal configuration, making it a distinguished fingerprint among all sheets.","The same machinery yields explicit phase rules for two- and three-point functions on the cylinder, whose sheet ambiguity is a pure phase of the form $e^{-2\\pi i h |m|}$ in the diamond-number $m$."],"supporting_citations":[{"why":"Establishes that Lorentzian correlators are multi-valued and that Minkowski-space insertions access only finitely many sheets, the baseline this paper generalizes.","marker":"[1–5]"},{"why":"Provides the conformal-block decomposition $C/N=\\sum_{ij} G_i(z)P_{ij}\\bar G_j(\\bar z)$ used throughout the paper.","marker":"[6, 7]"},{"why":"Supplies the standard definition and properties of conformal blocks, including their branch cuts at $0,1,\\infty$.","marker":"[8]"},{"why":"Underlies the Weyl equivalence between Minkowski space and a diamond and the tiling of the Lorentzian cylinder by diamonds.","marker":"[12]"},{"why":"Gives the matrix representation of monodromies via basis changes of conformal blocks, the technical core of the sheet computation.","marker":"[17–20, 20, 21]"},{"why":"Supplies the lattice-gauge-theory argument used to prove that holomorphic monodromies are independent of anti-holomorphic location, a key step in path independence.","marker":"[23]"}],"fun_headline_variants":["Spiral lightcones on Lorentzian cylinder yield infinite correlator sheets","Infinite monodromy sheets from CFT on Lorentzian cylinder","Three sheet families despite infinite windings in CFT correlators","Lorentzian cylinder: monodromies spiral through infinite sheets","CFT correlators on cylinder access infinite sheets, but only three types"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The load-bearing premise is that the theory is rational, meaning the space of conformal blocks is finite-dimensional so every branch move is a finite matrix; the paper notes the proof is rigorous in that case and that extension to irrational theories is expected but not established.","fun_headline_variants_meta":{"raw":{"variants":["Spiral lightcones on Lorentzian cylinder yield infinite correlator sheets","Infinite monodromy sheets from CFT on Lorentzian cylinder","Three sheet families despite infinite windings in CFT correlators","Lorentzian cylinder: monodromies spiral through infinite sheets","CFT correlators on cylinder access infinite sheets, but only three types"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000264,"raw_usage":{"total_tokens":1620,"prompt_tokens":981,"completion_tokens":639,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":597,"completion_tokens_details":{"reasoning_tokens":546}},"tokens_in":597,"tokens_out":639,"duration_ms":6433,"temperature":1.0,"reasoning_tokens":546,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-16T04:17:30.932285+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Using a specific solvable CFT such as the Ising model, evaluate the time-ordered four-point function at insertion locations whose shift integers $n_i$ are those the paper's tables assign to the sheet $\\sqrt{C_{ij}}\\,C^q_{im}\\,\\sqrt{C_{ij}}$ for some $q\\ge 0$, and compare with the analytic continuation of the Euclidean correlator along that monodromy path. A mismatch for any $q$ would falsify the claimed classification.","supporting_citations":[{"cited_title":"Penrose, Republication of: Conformal treatment of infinity , General Relativity and Gravitation 43 (2011) 901","cited_arxiv_id":null,"evidence_quote":"Underlies the Weyl equivalence between Minkowski space and a diamond and the tiling of the Lorentzian cylinder by diamonds."},{"cited_title":"Kiskis, The Bianchi Identity for Nonabelian Lattice Gauge Fields , Phys","cited_arxiv_id":null,"evidence_quote":"Supplies the lattice-gauge-theory argument used to prove that holomorphic monodromies are independent of anti-holomorphic location, a key step in path independence."}],"review_version":1}