{"id":"1a0b1717-d8f9-4f6c-a3d0-45b5731561fa","arxiv_id":"2603.07262","paper_version":2,"verdict":"UNVERDICTED","confidence":"LOW","novelty_score":5.0,"correctness_risk":"unknown","formal_verification":"none","parameter_count":0,"one_line_summary":"Sufficient conditions are given for existence of longest arcs in left-invariant three-dimensional contact sub-Lorentzian structures on solvable Lie groups and the universal cover of SL(2,R).","lead":"This math paper gives conditions under which longest (optimal) curves exist for certain left-invariant 3D contact sub-Lorentzian structures on Lie groups. Existence is nontrivial because the control set is unbounded and the cost is concave; the work targets solvable groups and the universal cover of SL(2,R).","discovery_kind":"extension","skeptic_critique":{"model":"grok-4.5","headline":"Correct manuscript body is missing; existence claims for longest arcs remain uncheckable.","rationale":"The reader correctly diagnosed that the supplied body is the wrong paper and that the review is effectively abstract-only, yielding UNVERDICTED with low confidence. That remains the load-bearing obstacle: without the mathematical body there is no argument to stress-test, so no weaker or stronger internal concern (e.g., about unbounded controls or concavity) can be isolated. The reader’s weakest-assumption formulation already captures the only checkable risk in the abstract (coverage of the classification by the proposed conditions). My concrete test simply operationalizes retrieval and inspection of the real manuscript; until that is done the verdict stays UNVERDICTED. No ad-hoc mathematical objection is manufactured from the wrong text.","tokens_in":9702,"tokens_out":459,"duration_ms":10257,"concrete_test":"Obtain the actual PDF/source of arXiv:2603.07262. Locate the theorems that assert existence under the proposed sufficient conditions and verify they cover each class in the known classification of left-invariant 3D contact sub-Lorentzian structures. If those theorems are absent, incomplete, or leave open classes listed in the abstract, the strongest claim fails.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The central existence claim (longest arcs exist for some left-invariant 3D contact sub-Lorentzian structures via known classification, plus sufficient conditions on solvable Lie groups and the universal cover of SL(2,R)) cannot be audited. The CACHEABLE full text is an unrelated AVSR/MLLM paper (VASR, arXiv-style 2603.07263), not 2603.07262. No statements of the sufficient conditions, no reduction from the classification, no control-theoretic arguments, and no proofs appear. The abstract’s reduction step—that left-invariance + contact + the known classification suffice to reduce existence to those conditions—therefore stays unverified; degenerate, non-contact, or non-solvable cases may be missed, but this cannot be confirmed or refuted from the supplied text.","agreement_with_reader":"agree"},"referee_report":{"model":"grok-4.5","summary":"The abstract claims that existence of longest arcs (optimal curves) is established for some left-invariant three-dimensional contact sub-Lorentzian structures, using a known classification, and that sufficient conditions are given for left-invariant (sub-)Lorentzian structures on solvable Lie groups and on the universal cover of SL(2,R). The problem is framed as an optimal-control problem with unbounded controls and a concave cost, for which existence is nontrivial. The supplied full manuscript body, however, is an unrelated paper on context-aware audio-visual speech recognition (VASR / AV-CoT, multimodal LLMs, CER benchmarks). No statements of the sufficient conditions, no reduction from the classification, no control-theoretic arguments, and no proofs of existence appear in the provided text.","tokens_in":9821,"tokens_out":783,"duration_ms":13853,"significance":"If the mathematical claims in the abstract hold, the work would address a genuine gap: existence of maximizers for sub-Lorentzian length with unbounded controls is not automatic, and a clean treatment for the classified left-invariant 3D contact family plus sufficient conditions on solvable groups and the universal cover of SL(2,R) would be a useful contribution to geometric control and sub-Lorentzian geometry. That significance cannot be assessed from the supplied body, which contains none of the claimed results.","major_comments":[{"comment":"The full manuscript text does not match the title, abstract, or arXiv identifier of the paper under review. The body is a complete, self-contained paper on CA VSR / VASR (Audio-Visual Chain-of-Thought, data pipeline, Chinese-LiPS and VASR test sets, Tables 2–3, CER results). No sub-Lorentzian structures, Lie groups, longest arcs, or optimal-control existence arguments appear. The central existence claim is therefore uncheckable from the submission as provided.","section":null},{"comment":"Because the body is the wrong paper, the abstract’s load-bearing reduction—that left-invariance, contact, and the known classification of 3D contact sub-Lorentzian structures reduce existence to the proposed sufficient conditions on solvable groups and the universal cover of SL(2,R)—cannot be verified. Degenerate, non-contact, or non-solvable cases may or may not be covered; the manuscript supplies no lemmas or statements with which to decide.","section":null},{"comment":"No equations, theorems, or proofs related to the claimed existence result are present. A referee report on soundness of the longest-arc existence argument is impossible until the correct mathematical manuscript is supplied.","section":null}],"minor_comments":[{"comment":"The abstract alone is internally coherent as a problem statement, but it is not a substitute for the missing theorems and proofs.","section":null},{"comment":"The provided body (VASR) has its own presentation issues (e.g., OCR/garbled math tokens in displayed equations, figure placeholders), but those are irrelevant to the paper that was supposed to be reviewed.","section":null}],"recommendation":"reject","confidential_remarks":"The CACHEABLE full text is clearly arXiv-style 2603.07263 (VASR / speech recognition), not 2603.07262 (sub-Lorentzian geometry). This looks like a pipeline or packaging error rather than an author attempt to pass off unrelated work. Recommend desk-reject or return for correct PDF; do not send the VASR body to math.DG referees as if it were the geometry paper. Once the correct manuscript is available, a normal technical review of the existence conditions would be appropriate."},"author_rebuttal":null,"desk_editor":{"model":"grok-4.5","letter":"The title and abstract point to a clean, limited-scope existence result in geometric control: longest arcs for some left-invariant 3D contact sub-Lorentzian structures (classification already known), plus sufficient conditions on solvable Lie groups and the universal cover of SL(2,R). That is a real question—unbounded control and a concave cost make existence nontrivial—and the abstract frames it as solving that question for a classified family rather than reopening the classification itself. If the proofs are there, this is honest progress for people who already work in sub-Lorentzian geometry and left-invariant optimal control.\n\nWhat we were given as the full text is not that paper. It is an unrelated multimodal speech-recognition manuscript (VASR / context-aware AVSR). No statements of the sufficient conditions, no reduction from the 3D classification, no control-theoretic arguments, and no proofs appear. So soundness, the reduction step, and whether degenerate or non-contact cases are missed cannot be checked. The reader’s and stress-test’s low confidence is correct; this is not abstract-only by choice, it is abstract-only because the body is the wrong document.\n\nOn the abstract alone the program looks standard and non-circular: existence for a known class, plus sufficient conditions on solvable groups and ~SL(2,R). Self-citation risk and overclaim cannot be assessed without the bibliography and lemmas. Who it is for is narrow—specialists in sub-Lorentzian / left-invariant geometric control. A serious editor would still send a correctly assembled version to referees; existence papers of this type live or die on the proofs, not on the abstract’s ambition.\n\nRecommendation: do not spend reading-group time until the correct PDF is in hand. If the real manuscript matches the abstract and the reductions are clean, it is worth a careful referee read. As supplied, it is not reviewable.","headline":"We only have the abstract for the sub-Lorentzian existence paper; the supplied body is a different AVSR manuscript, so the claims cannot be audited.","tokens_in":10468,"tokens_out":488,"would_cite":false,"duration_ms":10178,"reading_group":"no","serious_thinker":"unclear","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["53C17","49J15","22E25","53C50"],"pacs":[],"model":"grok-4.5","headline":"Longest arcs exist for some left-invariant three-dimensional contact sub-Lorentzian structures, under sufficient conditions on solvable Lie groups and the universal cover of SL(2, R).","keywords":["sub-Lorentzian geometry","longest arcs","optimal control","left-invariant structures","contact structures","Lie groups","existence of maximizers"],"falsifier":"Produce a left-invariant three-dimensional contact sub-Lorentzian structure covered by the classification for which no longest arc exists between some pair of points, or exhibit a solvable Lie group (or the cover of SL(2, R)) where the stated sufficient conditions hold yet a maximizer fails, or where a maximizer fails while the conditions are the only obstruction claimed.","tokens_in":10552,"feed_emoji":"📐","tokens_out":859,"duration_ms":21531,"temperature":0.7,"pith_summary":"Finding longest arcs for sub-Lorentzian structures is an optimal-control problem with an unbounded control set and a concave cost, so existence of a maximizer is not automatic. The paper settles existence for a class of left-invariant three-dimensional contact sub-Lorentzian structures whose classification is already known. It also proposes sufficient conditions that guarantee longest arcs for left-invariant (sub-)Lorentzian structures on solvable Lie groups and on the universal cover of SL(2, R). A reader who works with geometric control or Lorentzian geometry on Lie groups gets concrete existence results rather than only necessary conditions from first-order optimality.","feed_headline":"Longest arcs exist for key 3D contact sub-Lorentzian structures","feed_subtitle":"Sufficient conditions settle existence on solvable Lie groups and the cover of SL(2, R).","key_machinery":"Reduction, via the known classification of left-invariant three-dimensional contact sub-Lorentzian structures, of the existence question to proposed sufficient conditions on solvable Lie groups and on the universal cover of SL(2, R); those conditions make the unbounded-control concave problem admit maximizers.","core_discovery":"For some left-invariant three-dimensional contact sub-Lorentzian structures (with a known classification), longest arcs exist as solutions of the associated unbounded-control concave optimal-control problem; more generally, the authors give sufficient conditions ensuring existence of longest arcs for left-invariant (sub-)Lorentzian structures on solvable Lie groups and on the universal cover of SL(2, R).","pith_inferences":["The same sufficient conditions may carry over to higher-dimensional left-invariant contact sub-Lorentzian structures once usable normal forms exist.","A solvable group that violates the conditions would give a concrete class of counter-examples where longest arcs need not exist despite left-invariance.","The role of the contact assumption in securing existence may suggest parallel results for related sub-Riemannian energy or length problems with unbounded controls."],"forward_implications":["On the listed groups and structures the longest-arc problem is well-posed: maximizers exist, not merely formal critical points.","Classification-based case analysis can settle existence without first solving every boundary-value problem.","Existence statements extend from ordinary Lorentzian structures to contact sub-Lorentzian left-invariant structures in dimension three.","Under the proposed conditions one may search for maximizers on solvable groups and on the cover of SL(2, R) knowing they exist."],"fun_headline_variants":["Longest arcs exist for classified left-invariant 3D contact sub-Lorentzian structures","Sufficient conditions ensure longest arcs on solvable Lie groups and SL(2,R) cover","Existence of longest arcs settled for key 3D contact sub-Lorentzian structures","Longest arcs proven for left-invariant sub-Lorentzian structures on solvable groups","Unbounded-control longest arcs exist under conditions for 3D contact structures"],"cache_read_input_tokens":128,"weakest_assumption_plain":"The known classification of left-invariant three-dimensional contact sub-Lorentzian structures, together with left-invariance and the contact assumption, is enough to reduce existence to the proposed conditions on solvable groups and the universal cover of SL(2, R).","fun_headline_variants_meta":{"raw":{"variants":["Longest arcs exist for classified left-invariant 3D contact sub-Lorentzian structures","Sufficient conditions ensure longest arcs on solvable Lie groups and SL(2,R) cover","Existence of longest arcs settled for key 3D contact sub-Lorentzian structures","Longest arcs proven for left-invariant sub-Lorentzian structures on solvable groups","Unbounded-control longest arcs exist under conditions for 3D contact structures"]},"model":"grok-4.5","effort":"low","cost_usd":0.00617,"raw_usage":{"total_tokens":1463,"prompt_tokens":652,"num_sources_used":0,"completion_tokens":113,"cost_in_usd_ticks":61700000,"prompt_tokens_details":{"text_tokens":652,"audio_tokens":0,"image_tokens":0,"cached_tokens":0},"completion_tokens_details":{"audio_tokens":0,"reasoning_tokens":698,"accepted_prediction_tokens":0,"rejected_prediction_tokens":0}},"tokens_in":652,"tokens_out":113,"duration_ms":5149,"temperature":1.0,"reasoning_tokens":698,"cache_read_input_tokens":0,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-07-15T13:21:49.604886+00:00","model_set":{"reader":"grok-4.5"},"falsifier":"Produce a left-invariant three-dimensional contact sub-Lorentzian structure covered by the classification for which no longest arc exists between some pair of points, or exhibit a solvable Lie group (or the cover of SL(2, R)) where the stated sufficient conditions hold yet a maximizer fails, or where a maximizer fails while the conditions are the only obstruction claimed.","supporting_citations":[],"review_version":1}