{"id":"b02dc256-f897-4787-934a-53b41e3076b8","arxiv_id":"2608.08849","paper_version":2,"verdict":"ACCEPT","confidence":"HIGH","novelty_score":7.0,"correctness_risk":"low","formal_verification":"none","parameter_count":0,"one_line_summary":"Every smooth function on a contractible complete Riemannian manifold satisfying the semiglobal Polyak-Lojasiewicz inequality can be written as f* + ||phi||^2 for a submersion phi, extending the Boumal-Criscitiello-Rebjock theorem.","lead":"This paper shows that a weak version of the Polyak-Lojasiewicz inequality, called semiglobal PL, is enough to force smooth optimization landscapes on contractible manifolds to be exact nonlinear sums of squares, just as the strong global version does. This brings continuous-time LQR control costs and logistic regression loss functions under the same structural theorem.","discovery_kind":"extension","skeptic_critique":{"model":"deepseek-v4-flash","headline":"No significant objection identified; the generalization to sgl-PLI is internally consistent and its boundary cases are explicitly scoped.","rationale":"The paper's central claim is conditional: under (GD_α) with α positive definite and (A), equivalently under sgl-PLI, every structural result of [1] survives. The reader's weakest assumption is the same boundary condition that the paper itself proves necessary: a continuous positive definite witness whose infimum on every band is positive. Example 6.5 shows that without it the global target R^k can fail, but that example does not satisfy the hypothesis, so it does not threaten the theorem. I examined the three substituted ingredients and the reparametrization route. The only places I would expect a hidden gap are (i) the construction of a single witness from the sgl-PLI constants, (ii) the inheritance of (GD_α) on endpoint-map fibers, and (iii) the proof that θ is onto. Each is handled correctly: (i) uses an average of the monotone supremum function, producing a continuous γ; (ii) holds because π∘Φ_t=π forces ∇f to be tangent to fibers; (iii) follows from applying [1] to the globally PŁ function g, which forces g to be unbounded. The admitted open problem in Remark 3.3—functions with h(M)=[0,∞), pointwise positive α_f but zero infimum on a band—is honestly flagged and is outside the theorem's scope. External dependencies ([18] for local Morse–Bott, [4]/[5] for the applications) are cited results rather than hidden assumptions. I therefore see no reason to change the ACCEPT verdict.","tokens_in":35765,"tokens_out":19330,"duration_ms":221264,"concrete_test":"Independently re-run the proof of Lemma 3.5 with a non-monotone continuous witness satisfying (A), e.g. α(s)=√s(1+0.4 sin(log s)), and verify that the length bound, the escape argument, and the convergence to S use only continuity and the band-wise lower bounds on α, never monotonicity; if monotonicity of α is used anywhere, the stated class would have to be narrowed to K-type witnesses.","verdict_should_be":"UNCHANGED","load_bearing_attack":"I found no load-bearing flaw. The central conditional claim has two independent proofs: a direct replacement of the three PŁ-using ingredients (Lemmas 3.5, 3.8, Prop. 3.11) and a reparametrization (Prop. 4.12) that manufactures a genuinely global PŁ function. I rechecked the points where a hidden assumption could enter. Prop. 1.4 correctly constructs a continuous positive definite witness from the sgl-PLI constants by averaging the monotone c(ρ); the desingularizer Ψ is finite because of (A) and positive away from 0; the gradient is tangent to endpoint-map fibers, so (GD_α) passes to fibers; and the surjectivity of θ follows from applying BCR to g, not from an unproved growth claim. The examples in §6 correctly locate the boundary: Example 6.5 fails not because of a proof gap but because no positive definite witness exists on a whole band, so the hypothesis is genuinely needed. The admitted open gap in Remark 3.3 is outside the theorem, not a counterexample to it.","agreement_with_reader":"agree"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper shows that the global Polyak–Łojasiewicz hypothesis in the recent structural theory of Boumal, Criscitiello and Rebjock (BCR) can be replaced by a strictly weaker semiglobal PŁ condition without losing any of the structural conclusions. The main theorem, under (GD_α) with α positive definite and satisfying condition (A), equivalently under sgl-PŁI, recovers verbatim the BCR normal form f = f* + ‖φ‖² on contractible manifolds, together with the fiber-bundle structure, the Morse–Bott property of the minimizer set, the characterization of possible minimizer sets, and the hidden-convexity theorem. Two independent proofs are given: a direct proof that replaces exactly the three PŁ-dependent steps of BCR, and a reparametrization proof that manufactures a genuinely global PŁ function θ(f−f*) and transports the BCR conclusions back. The paper also provides sharpness examples showing that neither the square-root behavior at the origin nor the level-wise uniformity can be dropped, and it applies the theory to continuous-time LQR policy optimization and to logistic regression.","tokens_in":35937,"tokens_out":24949,"duration_ms":230281,"significance":"If the result holds, and I found no load-bearing reason to doubt it, this is a substantial and clean extension of a recent structural theory. The paper is unusually careful in identifying exactly which ingredients of BCR use the global PŁ inequality and in proving replacements for precisely those ingredients. The reparametrization characterization (Proposition 4.12 and Remark 4.13) is a valuable contribution in its own right, and the sharpness examples in Section 6 are elementary but effective. The applications to LQR and logistic regression are worked in detail, and the paper is honest about what the normal form does and does not imply. It also explicitly flags the one remaining open gap in Remark 3.3, which lies outside the theorem rather than being a counterexample to it. Overall, the paper meets the standard for publication; the remaining issues are local and editorial.","major_comments":[],"minor_comments":[{"comment":"In the proof of (ii)⇒(i), the definition of γ(s) is written as γ(s):=∫_2^1 c(sv)dv; the following equality γ(s)=(1/s)∫_s^{2s}c(u)du shows the intended integral is ∫_1^2 c(sv)dv. Please correct the limits of integration.","section":"§1.4, Proposition 1.4"},{"comment":"Remark 3.6 uses the end-point map π and refers to Proposition 3.11 before π is formally defined and Proposition 3.11 is proved in §3.3. Since the remark is explicitly forward-looking, adding a pointer or moving it after §3.3 would improve readability.","section":"§3.2, Remark 3.6"},{"comment":"The extracted text contains many missing spaces between inline mathematics and prose, for example 'function𝑓:M→Rsatisfyingtheglobal' in the abstract and similar artifacts throughout. The final version should be typeset so that inline formulas are properly separated from surrounding text.","section":"Typesetting"}],"recommendation":"minor_revision","confidential_remarks":"I agree with the reader's assessment: the central conditional claim is sound, the two proofs are consistent, and the boundary cases are explicitly scoped. The author's prior results are used only in the applications and are clearly flagged, and the AI-use disclosure is transparent. The paper is somewhat long, but the structure is clear. The only requested changes are the minor corrections listed above."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Eduardo Sontag's note does exactly what the title says: BCR's structural conclusions survive when global PŁ is weakened to semiglobal PŁ, i.e. (GD_alpha) with alpha positive definite plus condition (A). The direct proof replaces the three PŁ-dependent lemmas — trajectory bound, Morse–Bott property, fiber coercivity — with clean analogues under the weaker hypothesis. The second proof is the more interesting one: a reparametrization result (Prop. 4.12) showing that any sgl-PŁI function is a smooth monotone reparametrization of a globally PŁ function, with theta a diffeomorphism of [0,∞). The converse in Remark 4.13 pins down the class exactly. That is new and genuinely useful.\n\nThe sharpness examples are well chosen. Example 6.4 (x^2 y^2) shows that the square-root behavior at the origin is indispensable for the manifold structure of the minimizer set; Example 6.5 (tanh(x^2)) shows the level-wise uniformity is also needed. The applications to continuous-time LQR and logistic regression verify the hypotheses and read off the normal form; the author is careful about what the diffeomorphism does not give — no metric consequences, no algorithmic content, no robustness. That scoping is a strength, not a weakness.\n\nThe main soft spot is self-inflicted. Remark 4.9 shows that after quantifying over complete metrics the enlarged class collapses to global PŁ, and Corollary 4.10 says the realizable minimizer sets do not change. So the \"generalization\" buys a cleaner hypothesis, not a bigger universe. That is a fair trade, and the author says so plainly, but it does blunt the headline. The minor typo in Lemma 3.5 is cosmetic. The open gap in Remark 3.3 — no continuous positive definite witness on a band even though h(M)=[0,∞) — is real but narrow, and the author explicitly states no counterexample is known. I would not block acceptance on it. The reference list is appropriate; self-citations to the author's prior work on the comparison hierarchy are clearly flagged and used only where needed.\n\nWho is this paper for? Anyone who wants to know which parts of PŁ-type assumptions drive the shape of an optimization landscape rather than the rates. It is a math paper wearing an eess.SY badge; that is fine. I would send it to a serious referee and accept after minor revisions.","headline":"Sontag gives a careful, mostly clean extension of BCR's nonlinear least-squares normal form to semiglobal PŁ; the reparametrization equivalence is the real novelty, and the applications are honest but modest.","tokens_in":36496,"tokens_out":1964,"would_cite":true,"duration_ms":22994,"reading_group":"yes","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["90C26","37C10","49N10","93D30"],"pacs":[],"model":"deepseek-v4-flash","headline":"Under the semiglobal Polyak–Łojasiewicz inequality, smooth loss landscapes are still nonlinear least-squares functions.","keywords":["semiglobal Polyak–Łojasiewicz inequality","gradient domination","nonlinear least-squares normal form","desingularizer","comparison function","continuous-time LQR","logistic regression","Riemannian optimization"],"falsifier":"Look for a smooth function on $\\mathbb{R}^n$ that attains its minimum, is unbounded above, has a unique nondegenerate minimizer (so local PŁ holds), and has gradient norm bounded away from zero on every level set, but for which no diffeomorphism $\\phi$ exists with $f = f^* + \\|\\phi\\|^2$; the paper's open case, where the sharp witness $\\alpha_f$ is positive on every level yet its infimum over some band is zero, is the natural candidate. Producing such a function would show the continuous-witness hypothesis is essential; proving the normal form for all such functions would show that hypothesis can be weakened to a pointwise condition.","tokens_in":35539,"feed_emoji":"🎯","tokens_out":11953,"duration_ms":116912,"temperature":0.7,"pith_summary":"This paper establishes that the global Polyak–Łojasiewicz inequality can be relaxed to its 'semiglobal' version without losing any of the structural conclusions of the recent normal-form theorem for smooth optimization landscapes. The semiglobal condition only asks that the gradient norm be bounded below by a positive-definite function of the excess loss, with that function growing at least like the square root near zero. Under that weaker hypothesis, a smooth function on a contractible complete Riemannian manifold is still a nonlinear least-squares function: there is a diffeomorphism $\\psi=(\\pi,\\phi)$ onto $S \\times \\mathbb{R}^k$ with $f = f^* + \\|\\phi\\|^2$. The paper shows that the two motivating cases that fail the global inequality — continuous-time LQR policy optimization and logistic regression — satisfy the semiglobal one, so their loss landscapes are globally diffeomorphic to paraboloids. A reader should care because this separates structural shape conclusions from rate and robustness conclusions: landscape geometry survives the weakening, while global quadratic growth does not.","feed_headline":"Weaker gradient bound still yields the least-squares normal form","feed_subtitle":"Continuous-time LQR and logistic regression satisfy the weaker condition, so their loss landscapes are diffeomorphic to paraboloids.","key_machinery":"The load-bearing object is the desingularizer $\\Psi(h) = \\int_0^h \\frac{ds}{\\alpha(s)}$, built from a positive-definite comparison function $\\alpha$ witnessing the gradient lower bound $\\|\\nabla f\\| \\ge \\alpha(f-f^*)$. Condition (A), namely $\\alpha(s)^2 \\ge 2\\mu s$ for small $s$, makes $\\Psi$ finite and of order $\\sqrt{h}$ at the origin; finite $\\Psi$ forces every negative-gradient trajectory to reach the minimizer set in finite length, and the $\\sqrt{h}$ behavior gives the local PŁ inequality from which the Morse–Bott structure of the minimizer set follows. The reparametrization route sharpens the witness to $c\\sqrt{s}$ near zero and sets $\\theta = (c^2/4)\\Psi^2$, so that $g = \\theta(f-f^*)$ is globally PŁ; applying the known theorem to $g$ and pulling back through a radial diffeomorphism transfers the normal form $f = f^* + \\|\\phi\\|^2$ back to $f$. All structural conclusions flow through these two objects; the comparison-function class conditions at infinity, which govern robustness, never enter.","core_discovery":"The central claim is that, under the hypothesis $\\|\\nabla f(x)\\| \\ge \\alpha(f(x)-f^*)$ with $\\alpha$ positive definite and satisfying $\\alpha(s)^2 \\ge 2\\mu s$ near $0$, every structural result of the global PŁ normal-form theory holds verbatim; equivalently the same is true under semiglobal PŁ ($sgl$-PŁI). In particular, when $M$ is contractible there is a diffeomorphism $\\psi=(\\pi,\\phi)\\colon M \\to S \\times \\mathbb{R}^k$ with $f = f^* + \\|\\phi\\|^2$ and $\\phi$ a submersion, so the function is a nonlinear least-squares objective in new coordinates. The proof works by showing that the desingularizer $\\Psi(h)=\\int_0^h ds/\\alpha(s)$ is finite, which bounds gradient-flow trajectories and yields the Morse–Bott structure of the minimizer set; a second, shorter proof reparametrizes the loss through $\\theta(f-f^*)$ to manufacture a globally PŁ companion and imports the existing theorem verbatim. The paper also proves sharpness: dropping either the square-root behavior at the origin or the uniform positivity on every level set destroys the conclusions in explicit examples, and it records exactly what survives — the normal form and fiber-bundle structure — and what does not — global quadratic growth and quantitative control of the diffeomorphism away from the minimizer set.","pith_inferences":["A consequence the paper leaves implicit is that the normal form is metric-independent while the robustness hierarchy is controlled by the comparison function at infinity; one can therefore test whether other policy-gradient losses with saturating but not global gradient dominance still have benign global landscape geometry.","The reparametrization equivalence — a function is semiglobal PŁ if and only if some monotone reparametrization of its excess loss is globally PŁ — suggests that algorithmic conclusions invariant under monotone loss reparametrization, such as rank-based or line-search analyses, automatically extend from the global PŁ class to the semiglobal one.","A natural testbed the paper does not pursue is the overparametrized LQR formulation, whose positive-dimensional critical sets contain strict saddles: restricting to the uniformly imbalanced invariant sets that do satisfy gradient dominance, the fiber-bundle picture may describe the low-rank approximation landscape.","The narrow open gap in the sharpness analysis — $\\alpha_f$ positive at every level but with infimum zero on some band — is the right place to decide whether the hypothesis can be weakened from a continuous witness to a pointwise condition; either outcome sharpens the boundary of the theorem."],"forward_implications":["For the continuous-time LQR loss on the stabilizing-gain set $D$, the theorem yields a global diffeomorphism $\\phi\\colon D \\to \\mathbb{R}^{mn}$ with $L = L^* + \\|\\phi\\|^2$; in particular $D$ is diffeomorphic to Euclidean space.","For logistic regression with non-separable data, the cross-entropy loss is globally of the form $L^* + \\|\\phi\\|^2$ with $\\phi$ a global change of parameters, so sublevel sets are diffeomorphic images of round balls.","On a contractible complete manifold, the minimizer set of any semiglobal PŁ function is connected and properly embedded, and the endpoint map is a smooth fiber bundle trivial over contractible neighborhoods of the minimizer set.","There is a complete metric, depending on the function, that makes it geodesically convex and globally 1-PŁ; conversely, quantifying over complete metrics, the semiglobal PŁ class and the global PŁ class coincide.","The family of minimizer sets realizable by semiglobal PŁ functions is exactly the family realizable by globally PŁ functions, namely the contractible submanifolds; no new geometry is added."],"supporting_citations":[{"why":"provides the global PŁ normal-form theorem whose structural results are extended verbatim","marker":"[1]"},{"why":"supplies the local PŁ equivalence and Morse–Bott lemma used for the minimizer set","marker":"[18]"},{"why":"provides coercivity and the class-K gradient estimate used to verify semiglobal PŁ for continuous-time LQR","marker":"[4]"},{"why":"provides coercivity, the K-PŁ condition and strict convexity used to verify semiglobal PŁ for logistic regression","marker":"[5]"},{"why":"defines the comparison-function hierarchy, including semiglobal PŁ, and the two motivating problems","marker":"[13]"},{"why":"proves the original global exponential-rate consequence of the PŁ inequality that motivates the line of work","marker":"[17]"},{"why":"gives the desingularizing-function framework in which the proof's Psi is placed","marker":"[15]"}],"fun_headline_variants":["Semiglobal PL still forces least-squares normal form","Weaker PL bound preserves the paraboloid structure","LQR and logistic loss are least-squares in disguise","Paraboloid normal form holds under semiglobal PL"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The whole argument rests on one premise: a single continuous lower-bound function $\\alpha(s)$, positive at every positive excess loss and at least square-root in $s$ near zero, must bound the gradient norm at every point — if the best possible bound has infimum zero on some band of levels, or exists only pointwise and not continuously, the conclusions can fail.","fun_headline_variants_meta":{"raw":{"variants":["Semiglobal PL still forces least-squares normal form","Weaker PL bound preserves the paraboloid structure","LQR and logistic loss are least-squares in disguise","Paraboloid normal form holds under semiglobal PL"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000207,"raw_usage":{"total_tokens":1488,"prompt_tokens":1123,"completion_tokens":365,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":739,"completion_tokens_details":{"reasoning_tokens":299}},"tokens_in":739,"tokens_out":365,"duration_ms":4434,"temperature":1.0,"reasoning_tokens":299,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-14T04:23:38.148591+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Look for a smooth function on $\\mathbb{R}^n$ that attains its minimum, is unbounded above, has a unique nondegenerate minimizer (so local PŁ holds), and has gradient norm bounded away from zero on every level set, but for which no diffeomorphism $\\phi$ exists with $f = f^* + \\|\\phi\\|^2$; the paper's open case, where the sharp witness $\\alpha_f$ is positive on every level yet its infimum over some band is zero, is the natural candidate. Producing such a function would show the continuous-witness hypothesis is essential; proving the normal form for all such functions would show that hypothesis can be weakened to a pointwise condition.","supporting_citations":[{"cited_title":"Smooth, globally Polyak-{\\L}ojasiewicz functions are nonlinear least-squares","cited_arxiv_id":"2604.07972","evidence_quote":"provides the global PŁ normal-form theorem whose structural results are extended verbatim"},{"cited_title":"Rebjock and N","cited_arxiv_id":null,"evidence_quote":"supplies the local PŁ equivalence and Morse–Bott lemma used for the minimizer set"},{"cited_title":"Cui, Z.-P","cited_arxiv_id":null,"evidence_quote":"provides coercivity and the class-K gradient estimate used to verify semiglobal PŁ for continuous-time LQR"},{"cited_title":"Small-covariancenoise-to-statestabilityofstochasticsystemsand its applications to stochastic gradient dynamics","cited_arxiv_id":null,"evidence_quote":"provides coercivity, the K-PŁ condition and strict convexity used to verify semiglobal PŁ for logistic regression"},{"cited_title":"Some remarks on gradient dominance and LQR policy optimization","cited_arxiv_id":"2507.10452","evidence_quote":"defines the comparison-function hierarchy, including semiglobal PŁ, and the two motivating problems"},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"proves the original global exponential-rate consequence of the PŁ inequality that motivates the line of work"},{"cited_title":"Ongradientsoffunctionsdefinableino-minimalstructures.Ann.Inst.Fourier,48(3):769– 783, 1998","cited_arxiv_id":null,"evidence_quote":"gives the desingularizing-function framework in which the proof's Psi is placed"}],"review_version":1}