{"id":"0bc37f66-2846-46b2-a5cc-25437e5ce06a","arxiv_id":"2605.29203","paper_version":1,"verdict":"UNVERDICTED","confidence":"LOW","novelty_score":7.0,"correctness_risk":"unknown","formal_verification":"none","parameter_count":1,"one_line_summary":"Constructs exact Lorentzian correlators and an AQFT-type algebraic structure for timelike Liouville theory on the cylinder without producing a Hilbert space or von Neumann net.","lead":"The paper constructs timelike Liouville field theory on the cylinder in Lorentzian signature by starting from a Euclidean torus regularization, performing analytic continuation in time, and obtaining explicit correlators plus locality for exponential observables. A smart generalist might read it to see how algebraic quantum field theory ideas can be adapted when the usual positive-definite Hilbert space is absent.","discovery_kind":"new_method","skeptic_critique":{"model":"grok-4.3","headline":"No significant objection identified","rationale":"The reader's weakest_assumption correctly isolates the regularization-to-continuation step as the critical bridge. Because the full manuscript is stated to contain the proofs of analytic continuation and locality, and no counter-evidence or circularity appears in the abstract-level claims, the construction stands or falls on those (unseen here) derivations rather than on an obvious gap. Hence no adjustment to UNVERDICTED is warranted.","tokens_in":1866,"tokens_out":305,"duration_ms":25682,"concrete_test":"Verify that the two-point function for charge-1 vertex operators on the cylinder, obtained via the paper's contour formula, satisfies the expected commutation relations for spacelike separation when evaluated at two explicit points (e.g., (t=0,x=0) and (t=0,x=1/2)); if the commutator vanishes to machine precision, the locality claim is at least consistent at lowest order.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The abstract and construction outline a coherent sequence: renormalized torus regularization \to infinite-volume Euclidean correlators \to analytic continuation in time \to explicit contour identification of Lorentzian boundary values \to locality and algebraic reconstruction in the integer screening sector. The paper explicitly flags the indefinite Hermitian form and the absence of a Hilbert space or von Neumann net, so these are not hidden assumptions. No internal inconsistency or unjustified step is visible from the provided claims.","agreement_with_reader":"agree"},"referee_report":{"model":"grok-4.3","summary":"The manuscript constructs timelike Liouville field theory on the cylinder R × S¹ in the integer screening sector. Starting from a renormalized finite-volume torus regularization, it obtains infinite-volume Euclidean correlation functions, proves analytic continuation in the time variables, identifies the Lorentzian boundary values via explicit contour formulas, derives exact Lorentzian correlators for a class of exponential observables, and proves that spacelike-separated vertex operators commute. These data are used to define a vacuum functional on an ordered *-algebra of smeared observables generated by e^{2nbϕ}, yielding isotone local algebras, a complete locally convex space H with dense algebraic subspace H₀ carrying a nondegenerate Hermitian form (indefinite for b < 8^{-1/2}), a continuous cyclic representation, operator-topologically closed represented local algebras, continuous action of cylinder translations, and locality of the represented net—while explicitly noting the absence of a Hilbert space or Haag-Kastler von Neumann net.","tokens_in":1974,"tokens_out":498,"duration_ms":43921,"significance":"If the regularization and continuation steps are controlled as claimed, the result is significant: it supplies the first mathematically rigorous Lorentzian formulation of timelike Liouville theory on the cylinder and demonstrates that the Euclidean-to-Lorentzian reconstruction and algebraic net structure survive in a manifestly non-positive setting. The explicit contour identification of boundary values and the locality proof are concrete technical contributions that could serve as a template for other non-unitary models.","major_comments":[],"minor_comments":[{"comment":"The abstract and introduction should state the precise range of the parameter b for which the indefinite Hermitian form and the integer screening sector are defined; the single inequality b < 8^{-1/2} appears only in the abstract and is not cross-referenced to a theorem or proposition.","section":null},{"comment":"Notation for the renormalized exponential observables (e.g., the precise definition of the integer-charge fields and the screening charges) is introduced without an early dedicated subsection; a short preliminary section collecting all renormalized vertex operators would improve readability.","section":null},{"comment":"The statement that the represented local algebras are 'operator-topologically closed' would benefit from an explicit reference to the topology in which closure is taken (e.g., the strong operator topology on the space of continuous linear maps on H).","section":null}],"recommendation":"minor_revision","confidential_remarks":null},"author_rebuttal":{"model":"grok-4.3","summary":"We thank the referee for the positive assessment of our manuscript, the accurate summary of its contents, and the recommendation for minor revision. No specific major comments were raised in the report.","responses":[],"tokens_in":1419,"tokens_out":55,"duration_ms":15173,"standing_objections":[]},"desk_editor":{"model":"grok-4.3","letter":"The main takeaway is that this constructs Lorentzian correlators for a class of exponential observables in timelike Liouville by starting from renormalized torus regularization in Euclidean signature, proving analytic continuation in time, and identifying the boundary values with explicit contours. It then shows spacelike commutativity for the vertex operators and assembles isotone local algebras, a cyclic representation on a space with nondegenerate indefinite Hermitian form, and continuous translation actions, all while staying within the integer screening sector.\n\nWhat the paper does cleanly is keep the construction independent of the target Lorentzian data and flag upfront that the form is indefinite for b below 8^{-1/2} and that no Hilbert space or von Neumann net appears. The explicit contour identification and the locality proof are the concrete advances over prior Euclidean work.\n\nThe soft spot is the regularization step. The claims depend on the torus approximation admitting a controlled infinite-volume limit whose correlation functions continue analytically without hidden divergences or fitting. The abstract states the sequence but the strength of the error bounds and the justification for the contour choice need to be checked in the body; if those controls are only sketched, the continuation could be more delicate than presented.\n\nThis is for readers working on mathematical 2D gravity or algebraic QFT in non-positive settings who want to see how much of the Euclidean reconstruction survives. It is not aimed at someone needing a positive-definite model for immediate physics.\n\nI would send it for peer review. The claims are specific enough that referees can verify the technical steps, and the honest treatment of the indefinite metric makes the scope clear.","headline":"The paper gives explicit contour formulas for Lorentzian boundary values of timelike Liouville correlators on the cylinder and builds an AQFT-style net with indefinite Hermitian form via Euclidean torus continuation.","tokens_in":2457,"tokens_out":406,"would_cite":false,"duration_ms":35075,"reading_group":"maybe","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":[],"pacs":[],"model":"grok-4.3","headline":"Analytic continuation from torus regularization yields exact Lorentzian correlators and locality for timelike Liouville theory on the cylinder.","keywords":["timelike Liouville theory","Lorentzian quantum field theory","analytic continuation","locality","algebraic quantum field theory","cylinder","screening sector","indefinite metric"],"falsifier":"A direct computation for a specific pair of observables showing that the contour formula does not match the boundary value of the analytically continued correlation function, or that two spacelike separated operators fail to commute, would disprove the construction.","tokens_in":2761,"feed_emoji":"","tokens_out":853,"duration_ms":34254,"temperature":0.7,"pith_summary":"This paper constructs a Lorentzian formulation of timelike Liouville field theory on the cylinder in the integer screening sector. It starts from a renormalized finite-volume torus regularization to define infinite-volume Euclidean correlation functions for a natural algebra of exponential observables. Analytic continuation in the time variables is established, and the Lorentzian boundary values are identified by explicit contour formulas. The resulting correlators are shown to satisfy locality, with spacelike separated vertex operators commuting, and to support an algebraic reconstruction that produces isotone local algebras and a cyclic representation on a space carrying a nondegenerate Hermitian form, though the form is indefinite for small values of the parameter b. This matters for models of positive-curvature two-dimensional quantum gravity because it demonstrates that core Euclidean-to-Lorentzian and locality mechanisms can persist even without positivity.","feed_headline":"Lorentzian correlators constructed for timelike Liouville on cylinder","feed_subtitle":"Torus regularization enables analytic continuation that proves spacelike operator commutativity without positivity.","key_machinery":"Renormalized finite-volume torus regularization of correlation functions, followed by analytic continuation in time variables and explicit contour formulas that identify the Lorentzian boundary values.","core_discovery":"Starting from a renormalized finite-volume torus regularization, infinite-volume Euclidean correlation functions are constructed, analytic continuation in the time variables is proved, and the Lorentzian boundary values are identified by explicit contour formulas. This yields exact Lorentzian correlators for a natural class of exponential observables. Locality is proved by showing that spacelike separated vertex operators commute in the Lorentzian theory. For smeared observables generated by the integer-charge fields, these expectation values define a vacuum functional on an ordered *-algebra and support an AQFT-type quantization without positivity, producing isotone local algebras, a comple","pith_inferences":["The same regularization-plus-continuation route might be testable on other manifolds or for non-integer screening sectors if analogous finite-volume approximations can be controlled.","The indefinite Hermitian form raises the possibility that expectation values of certain observables remain well-defined even when standard positivity fails.","Explicit contour formulas could be used to compute concrete multi-point functions that were previously inaccessible in the Lorentzian signature.","The survival of locality and algebraic closure without a Hilbert space suggests that parts of reconstruction theorems may apply more broadly to indefinite-metric settings."],"forward_implications":["Exact Lorentzian correlators exist for exponential observables generated by the integer-charge fields.","Spacelike separated vertex operators commute in the Lorentzian theory.","The vacuum functional supports isotone local algebras on an ordered *-algebra.","A continuous cyclic representation exists on a space with a nondegenerate Hermitian form that is indefinite for b below 8 to the power of minus one half.","Cylinder translations act by continuous linear homeomorphisms and the represented local net satisfies locality."],"fun_headline_variants":["Lorentzian timelike Liouville on cylinder via torus regularization","Analytic continuation produces Lorentzian Liouville correlators","Spacelike operators commute in Lorentzian cylinder Liouville","AQFT-type net without positivity in timelike Liouville theory"],"cache_read_input_tokens":2112,"weakest_assumption_plain":"The renormalized finite-volume torus regularization produces correlation functions that admit analytic continuation in the time variables whose boundary values satisfy the required locality and algebraic properties in the integer screening sector.","fun_headline_variants_meta":{"raw":{"variants":["Lorentzian timelike Liouville on cylinder via torus regularization","Analytic continuation produces Lorentzian Liouville correlators","Spacelike operators commute in Lorentzian cylinder Liouville","AQFT-type net without positivity in timelike Liouville theory"]},"model":"grok-4.3","cost_usd":0.006639,"raw_usage":{"total_tokens":3155,"prompt_tokens":784,"num_sources_used":0,"completion_tokens":70,"cost_in_usd_ticks":66387000,"prompt_tokens_details":{"text_tokens":784,"audio_tokens":0,"image_tokens":0,"cached_tokens":256},"completion_tokens_details":{"audio_tokens":0,"reasoning_tokens":2301,"accepted_prediction_tokens":0,"rejected_prediction_tokens":0}},"tokens_in":784,"tokens_out":70,"duration_ms":26324,"temperature":1.0,"reasoning_tokens":2301,"cache_read_input_tokens":256,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-06-29T01:02:54.991005+00:00","model_set":{"reader":"grok-4.3"},"falsifier":"A direct computation for a specific pair of observables showing that the contour formula does not match the boundary value of the analytically continued correlation function, or that two spacelike separated operators fail to commute, would disprove the construction.","supporting_citations":[],"review_version":1}