{"id":"61c671d7-6bc5-45d4-b192-f5b7070a883f","arxiv_id":"1908.05642","paper_version":1,"verdict":"CONDITIONAL","confidence":"HIGH","novelty_score":6.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"Degenerate matrix-weighted Sobolev spaces are shown to embed compactly into weighted L^q spaces locally, under local Poincaré and Sobolev inequalities with gain sigma>1, with an application to p-admissible weights.","lead":"This paper proves a compact embedding theorem for degenerate matrix-weighted Sobolev spaces into weighted Lebesgue spaces under local Poincaré and Sobolev assumptions. The result improves prior theorems by weakening the hypotheses and includes an application to two-weight p-admissible degeneracies.","discovery_kind":"extension","skeptic_critique":{"model":"deepseek-v4-flash","headline":"The q>p step of Theorem 1.4 is justified by the Euclidean openness of ρ-balls; the real gap is that Theorem 1.8's local Sobolev verification is deferred to the reader.","rationale":"The reader's specific failure point, the need for Euclidean balls inside ρ-balls, is satisfied by the stated openness of ρ-balls in Definition 2.1: an open set containing x contains a Euclidean ball centered at x. Thus the q>p partition-of-unity argument survives without an additional comparability axiom. Other steps of Theorem 1.4—the Poincaré-based Cauchy argument in L^p_v(E), the Sobolev-based boundedness in L^{pσ}_v(E), and interpolation to q∈(p,pσ)—are coherent, modulo minor density and constant-tracking omissions that are standard. The conditional verdict remains appropriate, but for a different reason: the application in Section 4 leaves the verification of Definition 2.6 entirely to the reader. Theorem 1.8 is the main advertised consequence, and without a written derivation of the local Sobolev property from the p-admissible weight hypotheses, the applicability of Theorem 1.4 in the intended degenerate setting is not fully established. I therefore keep the CONDITIONAL verdict but disagree with the reader's diagnosis of where the main proof fails.","tokens_in":12006,"tokens_out":29735,"duration_ms":281296,"concrete_test":"Write out the omitted verification of Definition 2.6 in Section 4: take ρ to be the Euclidean metric, fix a compact K⊂Ω, and use the Chanillo-Wheeden two-weight Sobolev inequality together with (4.1)-(4.2) to derive (2.4) for every Euclidean ball D centered in K with sufficiently small radius, exhibiting C(B)=C r τ(D)^{1/(pσ)} w(D)^{-1/p} or an equivalent finite constant. If the derivation requires an extra hypothesis not stated in Theorem 1.8, that hypothesis must be added.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The reader's stated weakest assumption does not actually land. Definition 2.1 explicitly requires that ρ-balls are open, and in a domain Ω⊂R^n this means Euclidean open. Hence for each x∈E and each r, the ball B(x,r) contains a small Euclidean ball D(x,s) centered at x. The partition-of-unity argument in Section 3.1 therefore needs no extra comparability between ρ and the Euclidean metric beyond the stated openness. The proof of Theorem 1.4 is internally coherent under its hypotheses. The genuinely load-bearing gap is in the application: Section 4 proves only the Poincaré part of the hypotheses and then states 'The argument giving Definition 2.6 is similar and left to the reader.' Definition 2.6 is a local Sobolev property with gain σ>1, and Theorem 1.8 depends on it. To verify it from the Chanillo-Wheeden two-weight Sobolev inequality one must identify ρ with the Euclidean metric, apply the ellipticity lower bound w|ξ|^p≤|√Qξ|^p, and exhibit a finite constant C(B) for every small Euclidean ball. This is plausible but not automatic, and the authors do not provide the derivation. Since the advertised application is the concrete payoff of the abstract theorem, an unproved verification of a key hypothesis in the application is a real gap that supports the conditional verdict.","agreement_with_reader":"partial"},"referee_report":{"model":"deepseek-v4-flash","summary":"This paper studies compact embeddings of matrix-weighted Sobolev spaces QH^{1,p}(v,µ;Ω), defined as completions of Lipschitz functions with respect to the norm (1.1). The main result, Theorem 1.4, states that if (Ω,ρ) is a locally geometrically doubling quasimetric space supporting a local Poincaré inequality of order p and a local Sobolev property of order p with gain σ>1, then QH^{1,p}(v,µ;Ω) embeds compactly into L^q_v(µ;E) for every E⋐Ω and 1≤q<pσ. Corollary 1.5 gives the analogous statement for QH^{1,p}_0 on E, Theorem 1.6 treats the range q<p globally and q≤p locally without the Sobolev hypothesis, and Theorem 1.7 extends to all of Ω under a global Sobolev property. Section 4 applies Theorem 1.4 to p-admissible weights w≤τ satisfying the Chanillo–Wheeden balance condition, yielding Theorem 1.8; Section 5 provides two examples showing that global compactness can fail under only local hypotheses. The proof of Theorem 1.4 is internally coherent; in particular, the q>p step is justified because Definition 2.1 requires ρ-balls to be Euclidean open, so each B(x,r) contains a small Euclidean ball D(x,s), contrary to one possible reading of the proof. The principal weakness is in Section 4, where the verification of the local Sobolev hypothesis (Definition 2.6) is deferred to the reader.","tokens_in":12279,"tokens_out":12384,"duration_ms":113488,"significance":"If correct, the main theorem is a genuine improvement over the compactness results in [CRW, Section 3], because it requires only local Poincaré and Sobolev inequalities and avoids global doubling assumptions and Myers–Serrin type identifications. The abstract-completion framework is clean, the proof for 1≤q≤p is elementary and sound, and the counterexamples in Section 5 usefully delineate why global compactness fails under local hypotheses. The paper would be strengthened by completing the verification of the local Sobolev property in the two-weight application; once that is done, the advertised Theorem 1.8 would follow.","major_comments":[{"comment":"The proof of Theorem 1.8 requires the pair (Ω, Euclidean metric) to satisfy both hypotheses of Theorem 1.4. Section 4 explicitly verifies the local Poincaré property (Definition 2.4) from the two-weight Poincaré inequality and the balance condition, but for the local Sobolev property it says only: \"The argument giving Definition 2.6 is similar and left to the reader.\" This is load-bearing, because the exponent q>p in Theorem 1.8 is exactly pσ with σ>1, and σ>1 comes solely from Definition 2.6. The missing verification is plausible: take ρ to be the Euclidean distance, apply the Chanillo–Wheeden/CMN local Sobolev inequality with the exponent q>p from the balance condition, and use w|ξ|^p≤|√Qξ|^p to replace the w-weighted gradient term by the Q-weighted one, obtaining a finite constant C(D)=C r τ(D)^{1/q}w(D)^{-1/p} for each small Euclidean ball. However, the authors should include this derivation in the manuscript rather than deferring it, since Theorem 1.8 is the advertised concrete payoff of the abstract Theorem 1.4.","section":"§4, proof of Theorem 1.8"}],"minor_comments":[{"comment":"The introduction states that the two-weight application is given in Section 3 and the counterexample in Section 4, but these appear in Sections 4 and 5, respectively.","section":"§1, roadmap"},{"comment":"The notation D(x,s) for Euclidean balls is used without being defined; please define it explicitly when it first appears.","section":"§3.1, q>p step"},{"comment":"In equations (5.2) and (5.3), the formulas for v_j(t) use n in place of the sequence index j; this should be corrected to avoid confusion.","section":"§5, Example 2"},{"comment":"The map u is declared as u:Ω→R^n, but its values are scalar; the codomain should be R.","section":"§5, Example 1"},{"comment":"The reference [HyM] contains the editorial note \"CHECK!!!\" and lacks complete publication data; this should be cleaned up before submission.","section":"References"},{"comment":"Theorem 1.7 is stated without a full proof; even if it follows from Remark 3.1 and interpolation, a few lines of justification would make the paper more self-contained.","section":"Theorem 1.7"}],"recommendation":"major_revision","confidential_remarks":"For the editor: the abstract theorem appears sound, and the proof of Theorem 1.4 is internally coherent. The main substantive issue is the deferred verification of Definition 2.6 in Section 4, which is needed for Theorem 1.8. I also recommend that the authors fix the roadmap, the notation for Euclidean balls, and the editorial leftover in the bibliography before publication."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Quick take: the main theorem is in better shape than the reader's report suggests. The q>p step does not need any unstated comparability because Definition 2.1 already forces ρ-balls to be Euclidean open. The actual soft spot is in Section 4, where the local Sobolev property (Definition 2.6) is asserted to follow 'similarly' and then left to the reader. That is the gap that keeps me from accepting Theorem 1.8 as proven.\n\nWhat's new and good: the paper improves Chua-Rodney-Wheeden's compact embedding by replacing global hypotheses with local Poincaré and Sobolev conditions and dropping the doubling measure assumption. That is a clean, useful step. The application to p-admissible weights w≤τ giving q>p is the right kind of payoff, and the counterexamples in Section 5 showing failure of global compactness under only local hypotheses are instructive and clearly explained. The proof of the q≤p range is solid: the Poincaré inequality plus a weak convergence argument for the averages does what it needs to. The self-citation to [CRW] is appropriate, and the covering lemma borrowed from there is not used circularly.\n\nThe soft spot, in proportion: the unverified Sobolev hypothesis is load-bearing. To verify Definition 2.6 from the Chanillo-Wheeden two-weight Sobolev inequality, you have to identify ρ with the Euclidean metric, use the lower ellipticity bound, and show the constant C(B) in (2.4) is finite for every sufficiently small ball. That is plausible and probably routine, but it is not done, and the theorem's advertised application depends on it. The authors should add a paragraph. Minor issues: the introduction says section 4 contains the counterexample when it is actually section 5, and the [HyM] reference still carries 'CHECK!!!'.\n\nAll that said, the central idea is coherent, the abstract theorem holds up, and the missing piece is a verification, not a counterexample. I'd send this to a serious referee, with the request that the Sobolev verification be supplied before publication. The paper is for people working on degenerate matrix-weighted Sobolev spaces and p-admissible weights; a reader in that area will get value from it.","headline":"The abstract compact embedding theorem is in good shape; the advertised application has a real but likely fixable gap where a key Sobolev hypothesis is left unverified.","tokens_in":12794,"tokens_out":3193,"would_cite":true,"duration_ms":27774,"reading_group":"maybe","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["35B65","35J70","42B35","42B37","46E35"],"pacs":[],"model":"deepseek-v4-flash","headline":"This paper proves that degenerate matrix-weighted Sobolev spaces embed compactly into weighted Lebesgue spaces on compact subsets whenever the domain carries local Poincaré and Sobolev inequalities with gain factor $\\sigma>1$, for every…","keywords":["degenerate Sobolev spaces","compact embedding","matrix weights","local Poincaré inequality","local Sobolev inequality","quasimetric","p-admissible weights","p-Laplacian"],"falsifier":"To test the claim, inspect whether the proof's cover of a compact set $E$ by Euclidean balls $D(x,s)$ contained in $\\rho$-balls $B(x,r)$ can fail for a quasimetric such as $\\rho(x,y)=|x-y|^\\beta$ with $\\beta>1$ on the unit cube; if the local Poincaré and Sobolev properties hold for that $\\rho$ but the compact embedding into $L^q$ for some $p<q<p\\sigma$ fails, the theorem would be false. The paper's own Example 1 already gives a concrete failure of the global analogue: with $Q=\\operatorname{Diag}(x_1^2,1,\\dots,1)$ on the cube, a function lies in $QH^{1,p}_0$ but not in $L^q$, showing local hypotheses do not imply global compactness.","tokens_in":11776,"feed_emoji":"📐","tokens_out":11479,"duration_ms":108671,"temperature":0.7,"pith_summary":"This short note establishes a compact embedding theorem for degenerate matrix-weighted Sobolev spaces: on a bounded domain that supports a local Poincaré inequality of order $p$ and a local Sobolev property with gain factor $\\sigma>1$, the space $QH^{1,p}(v,\\mu;\\Omega)$ embeds compactly into $L^q_v(\\mu;E)$ for every compact subset $E$ and every $1\\le q<p\\sigma$. The result matters because it removes two common global requirements—a doubling measure and a Myers–Serrin type $H=W$ theorem—from the compactness argument, replacing them with local inequalities on quasimetric balls. The paper also shows the gain is real: under a global Sobolev property the embedding becomes global, while under only local hypotheses it can fail globally, as explicit counterexamples demonstrate. An application to $p$-admissible weights gives compact embeddings for spaces associated with degenerate $p$-Laplacian equations.","feed_headline":"Local conditions force compact Sobolev embeddings","feed_subtitle":"A new proof drops global doubling and density assumptions; the local Sobolev gain $\\sigma>1$ sets the upper exponent $p\\sigma$.","key_machinery":"The engine of the proof is a pair of local inequalities imposed on the quasimetric space $(\\Omega,\\rho)$: a local Poincaré property of order $p$, whose constant can be made arbitrarily small as the ball radius shrinks (Definition 2.4), and a local Sobolev property of order $p$ with gain $\\sigma>1$, which bounds the $L^{p\\sigma}_v$ norm on each small $\\rho$-ball by the $QH^{1,p}$ norm (Definition 2.6). These are combined with the local geometric doubling condition (Definition 2.1), which supplies finite coverings of compact sets by $\\rho$-balls with bounded overlap, and with an interpolation inequality that transfers Cauchy behavior from $L^p_v$ to $L^q_v$ for $p<q<p\\sigma$. The named object that carries the new range is the gain factor $\\sigma$: it is exactly the exponent beyond $p$ that the local Sobolev inequality provides, and the upper endpoint $p\\sigma$ is where the compact embedding stops.","core_discovery":"The central claim is Theorem 1.4: let $1<p<\\infty$ and let $\\rho$ be a quasimetric on $\\Omega$ whose open balls satisfy the local geometric doubling condition; if $(\\Omega,\\rho)$ admits a local Poincaré inequality of order $p$ and a local Sobolev property of order $p$ with gain factor $\\sigma>1$, then $QH^{1,p}(v,\\mu;\\Omega)$ is compactly embedded in $L^q_v(\\mu;E)$ for any $E$ compactly contained in $\\Omega$ and any $q\\in[1,p\\sigma)$. The proof covers $E$ by finitely many small $\\rho$-balls, uses the Poincaré inequality to control oscillations and weak convergence to control ball averages for $q=p$, then uses the Sobolev inequality plus a partition of unity to gain integrability up to $p\\sigma$ and interpolates for $p<q<p\\sigma$. Corollaries extend the result to the zero-boundary space $QH^{1,p}_0$, to $q<p$ on all of $\\Omega$, and to $q\\le p$ on compact subsets; with a global Sobolev property the embedding becomes global on $\\Omega$.","pith_inferences":["The same local-compactness mechanism should transfer to Carnot–Carathéodory or other sub-Riemannian geometries, where a quasimetric with local geometric doubling and local Sobolev/Poincaré inequalities is the natural structure; the proof appears to use only those inequalities, not the Euclidean structure.","The sharpness examples suggest a useful dichotomy: compactness on compact subsets is a purely local phenomenon, while compactness on the whole domain is tied to a global Sobolev inequality; this may guide existence proofs for degenerate elliptic problems on rough domains.","One could test numerically or by explicit construction whether the upper exponent $p\\sigma$ is sharp: build weights where the local Sobolev gain is exactly $\\sigma$ and see whether the embedding into $L^{p\\sigma}_v(E)$ fails, which would confirm the endpoint in Theorem 1.4 is best possible."],"forward_implications":["For any compact $E$ and any $1\\le q<p\\sigma$, $QH^{1,p}(v,\\mu;\\Omega)$ embeds compactly into $L^q_v(\\mu;E)$ under the two local hypotheses (Theorem 1.4).","The zero-boundary space $QH^{1,p}_0(v,\\mu;E)$ also embeds compactly into $L^q_v(\\mu;E)$ for every $q\\in[1,p\\sigma)$ (Corollary 1.5).","Without the Sobolev gain, compactness still holds into $L^q_v(\\mu;\\Omega)$ for $1\\le q<p$ and into $L^q_v(\\mu;E)$ for $1\\le q\\le p$ (Theorem 1.6).","If the Sobolev property is global, both $QH^{1,p}_0$ and $QH^{1,p}$ embed compactly into $L^q_v(\\mu;\\Omega)$ for all $q\\in[1,p\\sigma)$ (Theorem 1.7).","For $p$-admissible weights $w\\le\\tau$ satisfying the Chanillo–Wheeden balance condition, the degenerate $p$-Laplacian solution spaces embed compactly into $L^r_\\tau(E)$ for some $r>p$ (Theorem 1.8)."],"supporting_citations":[{"why":"Supplies the previous compact embedding theorem for generalized Sobolev spaces, the quasimetric ball covering lemma (Lemma 2.3), and the local results that this paper improves.","marker":"[CRW]"},{"why":"Introduced the completion perspective that lets the authors define Sobolev spaces without assuming a Myers-Serrin H=W result.","marker":"[R]"},{"why":"Foundational treatment of degenerate Sobolev spaces used for the definition of $L^p_Q$ and the space $QH^{1,p}$.","marker":"[SW2]"},{"why":"Provides the weighted Poincaré and Sobolev inequalities that underpin the $p$-admissible weight application in Theorem 1.8.","marker":"[ChW]"},{"why":"Supplies the balance-condition inequalities for admissible weights used to verify the local Poincaré and Sobolev properties.","marker":"[CMN]"},{"why":"Motivates the compact embedding question through existence and spectral theory for degenerate elliptic operators.","marker":"[MR]"},{"why":"Provides existence of weak solutions to degenerate $p$-Laplacian equations, the context where these compact embeddings are applied.","marker":"[CW]"},{"why":"Used for completeness of $L^p_Q(\\mu;\\Omega)$ when the measure is a general regular measure absolutely continuous with respect to Lebesgue measure.","marker":"[CRR]"}],"fun_headline_variants":["Local conditions guarantee compact Sobolev embeddings","Compact embeddings via local Poincare and Sobolev","Degenerate Sobolev spaces embed compactly with local data","Sharper compact embeddings from local Sobolev gain","Local geometry packs compact Sobolev embeddings"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The theorem depends on the domain supporting a local Sobolev inequality whose gain exponent $\\sigma$ is strictly larger than 1 and a local Poincaré inequality whose constant tends to zero as the ball radius shrinks, uniformly on compact sets; if either fails, the conclusion that compactness holds for $q$ above $p$ is not obtained.","fun_headline_variants_meta":{"raw":{"variants":["Local conditions guarantee compact Sobolev embeddings","Compact embeddings via local Poincare and Sobolev","Degenerate Sobolev spaces embed compactly with local data","Sharper compact embeddings from local Sobolev gain","Local geometry packs compact Sobolev embeddings"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000449,"raw_usage":{"total_tokens":2292,"prompt_tokens":998,"completion_tokens":1294,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":614,"completion_tokens_details":{"reasoning_tokens":1220}},"tokens_in":614,"tokens_out":1294,"duration_ms":12856,"temperature":1.0,"reasoning_tokens":1220,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-14T13:07:22.527923+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"To test the claim, inspect whether the proof's cover of a compact set $E$ by Euclidean balls $D(x,s)$ contained in $\\rho$-balls $B(x,r)$ can fail for a quasimetric such as $\\rho(x,y)=|x-y|^\\beta$ with $\\beta>1$ on the unit cube; if the local Poincaré and Sobolev properties hold for that $\\rho$ but the compact embedding into $L^q$ for some $p<q<p\\sigma$ fails, the theorem would be false. The paper's own Example 1 already gives a concrete failure of the global analogue: with $Q=\\operatorname{Diag}(x_1^2,1,\\dots,1)$ on the cube, a function lies in $QH^{1,p}_0$ but not in $L^q$, showing local hypotheses do not imply global compactness.","supporting_citations":[],"review_version":1}