{"id":"ed1a8a36-f922-49da-9d07-aad3be63e5e7","arxiv_id":"2505.05462","paper_version":1,"verdict":"ACCEPT","confidence":"MODERATE","novelty_score":7.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"The authors prove a Marsden-Meyer-Weinstein reduction theorem for k-contact manifolds using a modified level set and subgroup, and they correct a published contact-reduction theorem.","lead":"This paper builds a symmetry-reduction recipe for k-contact manifolds, which are the geometric setting for field theories with dissipation. It claims to fix an error in a recent contact-reduction theorem and illustrates the method on damped wave equations and coupled strings.","discovery_kind":"extension","skeptic_critique":{"model":"deepseek-v4-flash","headline":"Lemma 4.7(2) is false for k>1, invalidating the proof of Theorem 4.9; Theorem 4.14 appears unaffected but the framework needs correction.","rationale":"The reader accepted with moderate confidence, noting only the local nature of the arguments and the difficulty of verifying conditions (4.8)/(4.9). A closer check of the internal logic reveals a concrete false statement: Lemma 4.7(2) fails for k>1, as demonstrated by a direct computation in the paper's own Example 4.18. This does not appear to invalidate Theorem 4.14, whose proof passes through the exact k-symplectic reduction of Section 3 rather than through Lemma 4.7. However, the paper explicitly claims a general k-contact reduction by submanifolds (Theorem 4.9) and uses Lemma 4.7 in its proof; that claim is currently unsupported. A conditional acceptance requiring the authors to correct or qualify Lemma 4.7 and repair or restate Theorem 4.9 is appropriate. The central MMW theorem may be correct, but the presence of a false lemma in the foundation of the k-contact reduction framework warrants revision before full acceptance.","tokens_in":54756,"tokens_out":48014,"duration_ms":459416,"concrete_test":"Recompute the tangent spaces in Example 4.18 at x with x4=0 and y2+y4=1: verify W = span(∂_{x3}), W^{⊥dη} = {v : dx4(v)=0}, and T_xJ^{-1}_η(R×2µ) = {v : dx4(v)=0, dy2(v)+dy4(v)=0}. The proper inclusion T_xJ^{-1}_η(R×2µ) ⊊ W^{⊥dη} disproves Lemma 4.7(2). Then check whether Theorem 4.9 admits a proof avoiding this identification, or restrict Lemma 4.7(2) to k=1.","verdict_should_be":"CONDITIONAL","load_bearing_attack":"Lemma 4.7(2) claims T_xJ^{-1}_η(R×kµ) = (T_x(Gx)∩kerη_x)^{⊥dη}. This is false for k>1. In the paper's own Example 4.18, take µ=(1,0,-1)⊗e2 and a point x with x4=0, y2+y4=1. There W := T_x(Gx)∩kerη_x = span(∂_{x3}), so W^{⊥dη} = {v : dx4(v)=0}, a 9-dimensional subspace of T_xM. However, J^{-1}_η(R×2µ) = {x4=0, y2+y4=1}, so T_xJ^{-1}_η(R×2µ) = {v : dx4(v)=0, dy2(v)+dy4(v)=0}, an 8-dimensional proper subspace. Hence the equality in Lemma 4.7(2) fails. This lemma is the key step in the proof of Theorem 4.9 (k-contact reduction by a submanifold); that proof identifies the level-set tangent space with W^{⊥dη}, and the counterexample shows the identification is not valid. Theorem 4.14 is proven through the symplectization of Section 3 and does not invoke Lemma 4.7, so the main MMW theorem is not directly falsified; nevertheless, the paper's stated result on submanifold reduction and the surrounding framework rest on a false statement and require correction.","agreement_with_reader":"disagree"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper proposes a Marsden-Meyer-Weinstein reduction for co-oriented k-contact manifolds. It first reviews k-symplectic and k-contact geometry, then introduces a modified k-symplectic MMW reduction for preimages of R^{x k} mu (Theorem 3.23). Using the symplectization R^x x M of a k-contact manifold (Theorem 4.10), it translates the k-symplectic sufficient conditions into k-contact conditions (Lemma 4.13) and states the principal result Theorem 4.14: under weak regularity of the momentum map, quotientability by K[mu], and conditions (4.8)-(4.9), the quotient J_eta^{-1}(R^{x k} mu)/K[mu] is k-contact with pi^* eta_[mu] = i^* eta. A submanifold reduction theorem (Theorem 4.6) and a k-contact MMW theorem via Lemma 4.7 (Theorem 4.9) are also presented, together with reduction of k-contact Hamiltonian dynamics (Theorem 4.16). The paper contains several examples, including damped wave equations and coupled strings, and a comparison section that identifies a correction to the reduction subgroup in reference [36].","tokens_in":55098,"tokens_out":17020,"duration_ms":167515,"significance":"If the main result and its proof were fully valid, this would be a substantial contribution: it gives a unified reduction scheme for k-contact field theories and clarifies the one-contact literature by correcting the reduction group in [36]. The symplectization route is natural, the physical examples are concrete, and the discussion of [36] is backed by a dimension-counting counterexample for the contact case. However, the paper is not in publishable form because the k-contact submanifold reduction rests on a false tangent-space identity, and one load-bearing step in the proof of the main theorem is asserted rather than proved. The main theorem may well survive a repair, but the manuscript currently makes claims beyond what its proofs establish.","major_comments":[{"comment":"The claimed identity T_x J_eta^{-1}(R^{x k} mu) = (T_x(Gx) cap ker eta_x)^{perp d eta} is false for k > 1. In Example 4.18, take M = R^5 x R^5 with eta = (ds1 - x2 dx1 - x4 dx3) otimes e1 + (ds2 - y2 dy1 - y4 dy3) otimes e2, the three fundamental vector fields xi1_M = d/ds2, xi2_M = d/dx3, xi3_M = d/dy1 + d/dy3, and mu = (1,0,-1) otimes e2. For a point x with x4 = 0 and y2 + y4 = 1, the level set is J_eta^{-1}(R^{x 2} mu) = {x4 = 0, y2 + y4 = 1}, so its tangent space is {dx4 = 0, dy2 + dy4 = 0}, of dimension 8. But T_x(Gx) cap ker eta_x = span(d/dx3), and therefore (T_x(Gx) cap ker eta_x)^{perp d eta} = {dx4 = 0}, of dimension 9. The equality in Lemma 4.7(2) is thus false. The underlying reason is that for k > 1, xi in ker mu does not follow from xi_x in ker eta_x, because the components sum_{alpha} <mu_alpha, xi> can cancel even when each individual term is nonzero. Since Theorem 4.9 is derived by combining Theorem 4.6 with Lemma 4.7 and no independent proof of Theorem 4.9 is supplied, the k-contact submanifold reduction theorem is unsupported as stated; the correct tangent-space description should use span{xi_x : xi in ker mu} rather than T_x(Gx) cap ker eta_x.","section":"Section 4.2, Lemma 4.7(2)"},{"comment":"The proof of the main theorem contains the assertion 'ker i^*_[mu] eta cap ker d i^*_[mu] eta = T_x(K[mu]x)' with the citation 'by (4.8) and (4.8)' (the second reference should be (4.9)). This is exactly the point where the contact kernel on the reduced space is identified, and it is not a formal consequence of (4.8)-(4.9) unless one also proves a relation between the kernel of the restricted k-symplectic form on R^x x M and the kernel of i^*_[mu] eta. Because this is the load-bearing step that makes the quotient into a k-contact manifold, the proof needs a lemma establishing this identification explicitly rather than a passing assertion.","section":"Proof of Theorem 4.14, final paragraph"}],"minor_comments":[{"comment":"The phrase 'by (4.8) and (4.8)' should read 'by (4.8) and (4.9)'.","section":"Proof of Theorem 4.14"},{"comment":"In the computation of ad^*_{[xi,nu]} mu, the term ad^*_nu ad^*_xi mu is written twice; the second occurrence should be ad^*_xi ad^*_nu mu.","section":"Proposition 3.12"},{"comment":"The objects G_[mu] and g_[mu] are used for mu in (g*)^k, but Proposition 3.12 and Lemma 3.14 define k[mu] and G_[mu] only for a single mu in g*; the k-tuple versions should be defined explicitly.","section":"Lemma 4.7"},{"comment":"The coordinate list '(s1,x2,x2,x3,x4)' appears to contain a repeated x2; it should presumably read '(s1,x1,x2,x3,x4)'.","section":"Example 4.18"}],"recommendation":"major_revision","confidential_remarks":"The paper is within scope and the main MMW theorem may be salvageable, but the false Lemma 4.7(2) must be corrected before acceptance. I would ask the authors to (i) replace Lemma 4.7(2) by the correct identity involving span{xi_x : xi in ker mu}, (ii) rework Theorem 4.9 accordingly or restrict it to the k=1 case, and (iii) expand the last step of the proof of Theorem 4.14. The comparison with [36] should also be rechecked once the lemma is repaired."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Hi,\n\nThe paper delivers on its headline: it gives a k-contact MMW reduction theorem that looks new and is proven through a clean symplectization trick, and the correction of the Grabowska–Grabowski reduction group appears to be right. The examples are detailed and the review of the contact reduction literature is genuinely useful. So the paper deserves a careful read.\n\nThat said, there is a load-bearing flaw in the submanifold-reduction framework. Lemma 4.7(2) is asserted without a correct proof. From v in W^⊥dη the argument only gives ⟨T_xJ_α(v), ξ⟩=0 for ξ in ∩β ker μβ, i.e. each T_xJ_α(v) lies in the span of all the μβ, not necessarily in the line spanned by μα. The level set tangent requires the latter. The gap is real, and the lemma is actually false. A concrete counterexample: take M=R^5 with η=(dz1−p1 dq)⊗e1+(dz2−p2 dq)⊗e2, G=R^2 acting by translations along ∂q+∂z1 and ∂q+∂z2. At a point with p1=p2=0, for μ=((1,0),(0,1)), J^{-1}(R×2μ) has tangent span{∂q,∂z1,∂z2}, while W=T_x(Gx)∩kerη=0, so W^⊥=TM. The equality fails. Consequently Theorem 4.9 is not just unproven; its conclusion fails in this example (the quotient with trivial K[μ] is not k-contact).\n\nThe stress-test note pointed at Example 4.18, but its computation of W misses the vector ∂s2+∂y1+∂y3; that example does not violate the lemma. The issue is real but needs the right example.\n\nThe central Theorem 4.14 is different: its proof goes through the symplectic reduction of Section 3 and does not invoke Lemma 4.7. I did not find a counterexample to it; the conditions (4.8)–(4.9) are used directly to identify the kernel of the pulled-back form with the K[μ]-orbits. So the headline result may well stand, but the paper currently overclaims a general submanifold reduction (Theorem 4.9) that is false, and the 'by (4.8) and (4.8)' typo in the proof of 4.14 suggests a rushed final pass.\n\nMy recommendation: send it to a competent referee, but with a clear instruction to check the status of Lemma 4.7 and Theorem 4.9. The authors should either repair the lemma (unlikely, since the counterexample is simple) or remove the submanifold-reduction claim and state the main theorem as conditional on (4.8)–(4.9). The literature correction and the symplectization technique remain valuable either way.\n\nBest,","headline":"Main k-contact reduction theorem is worth refereeing, but the submanifold-reduction lemma is false for k>1 and needs a fix before the paper can stand as written.","tokens_in":55566,"tokens_out":21795,"would_cite":false,"duration_ms":188940,"reading_group":"yes","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["53C15","53C30","53D05","53D10","53C10"],"pacs":[],"model":"deepseek-v4-flash","headline":"This paper establishes sufficient conditions under which Marsden–Meyer–Weinstein reduction of a k-contact manifold yields another k-contact manifold, and corrects the reduction group used in earlier one-contact reductions.","keywords":["Marsden–Meyer–Weinstein reduction","k-contact manifold","k-symplectic manifold","symplectic homogeneous manifold","contact manifold","Hamilton–De Donder–Weyl equations","symmetry reduction","momentum map"],"falsifier":"A direct test is to compute the tangent-space conditions (4.8) and (4.9) for a concrete k-contact Hamiltonian system with a free proper symmetry group; if the quotient $J^{-1}(\\mathbb{R}^{\\times k}\\mu)/K[\\mu]$ carries a well-defined one-form whose kernel intersects its exterior derivative's kernel nontrivially (or has the wrong corank or rank), the theorem's conclusion fails. In the $k=1$ case, the paper's own $T^*\\mathrm{SL}_2 \\times \\mathbb{R}$ example shows that reducing by $K_\\mu$ gives an even-dimensional quotient with no contact form, whereas reducing by $K[\\mu]$ gives a contact manifold; finding a $k>1$ system where even $K[\\mu]$ fails would refute the generality claimed.","tokens_in":54587,"feed_emoji":"🌀","tokens_out":9008,"duration_ms":82508,"temperature":0.7,"pith_summary":"This paper extends Marsden–Meyer–Weinstein reduction—the standard way to simplify a system by dividing out its symmetry group—from symplectic and contact geometry to k-contact geometry, the formalism used for non-autonomous and dissipative Hamiltonian field theories. The target claim is Theorem 4.14: under weak regularity of a k-contact momentum map plus two tangent-space identities, the quotient of a level set by a specifically chosen symmetry subgroup $K[\\mu]$ is again a k-contact manifold, with the reduced dynamics given by k-contact Hamilton–De Donder–Weyl equations. A sympathetic reader should care because the reduction turns systems like coupled damped strings into simpler reduced systems of the same geometric type, and because the paper also identifies and corrects an error in the reduction group used by earlier one-contact reduction schemes. All statements are local; global regularity of the quotient is assumed rather than proved.","feed_headline":"Symmetry reduction preserves k-contact field theories","feed_subtitle":"New sufficient conditions ensure the reduced phase space of a dissipative field theory is again k-contact.","key_machinery":"The load-bearing device is the one-step extension of a k-contact manifold to an exact k-symplectic manifold: $(M,\\eta)$ becomes $(\\mathbb{R}^{\\times} \\times M,\\ \\omega = d(s\\,\\mathrm{pr}_M^*\\eta))$, with the Reeb vector fields lifted to span the kernel of $\\mathrm{pr}_M^* d\\eta \\cap \\ker ds$. On this cover the paper runs a k-symplectic Marsden–Meyer–Weinstein reduction modified to use the scaled level set $\\mathbb{R}^{\\times k}\\mu$ and the group $K[\\mu]$ defined by $k[\\mu] = \\ker\\mu \\cap \\mathfrak{g}_{[\\mu]}$. The key identities are the tangent-space descriptions of Lemma 4.7, which identify $T_x J^{-1}_\\eta(\\mathbb{R}^{\\times k}\\mu)$ with the $d\\eta$-orthogonal of $T_x(Gx) \\cap \\ker\\eta_x$, and the two sufficient conditions (4.8) and (4.9), which force the kernel of $i^*\\eta \\cap d i^*\\eta$ to coincide with $T_x(K[\\mu]x)$. That equality is exactly what makes the quotient k-contact rather than merely a smooth manifold.","core_discovery":"The central discovery is that the right reduction group for k-contact Marsden–Meyer–Weinstein reduction is not the isotropy subgroup $K_\\mu$ fixing $\\mu$, but the larger group $K[\\mu]$ with Lie algebra $k[\\mu] = \\ker\\mu \\cap \\mathfrak{g}_{[\\mu]}$, where $\\mathfrak{g}_{[\\mu]}$ consists of elements whose coadjoint action only scales each component of $\\mu$ ($\\mathrm{ad}^*_\\xi \\mu \\wedge \\mu = 0$). Quotienting the $\\mathbb{R}^{\\times k}$-scaled level set $J^{-1}_\\eta(\\mathbb{R}^{\\times k}\\mu)$ by $K[\\mu]$ yields a k-contact manifold with form $\\eta_{[\\mu]}$ satisfying $\\pi_{[\\mu]}^*\\eta_{[\\mu]} = i_{[\\mu]}^*\\eta$, provided conditions (4.8) and (4.9) hold. The proof routes through the exact k-symplectic manifold $\\mathbb{R}^{\\times} \\times M$ with form $d(s\\,\\mathrm{pr}_M^*\\eta)$, applies a modified k-symplectic Marsden–Meyer–Weinstein reduction to this cover, and pushes the reduced structure back down to $M$. In the $k=1$ case this recovers the contact reductions of the literature with a corrected reduction group, resolving a counterexample where the old group produced an even-dimensional quotient. The same mechanism shows k-contact Hamiltonian vector fields tangent to the level set descend to the reduced manifold.","pith_inferences":["For systems with residual symmetries, the same reduction could plausibly be iterated, producing a tower of successively simpler k-contact models; the paper does not develop this, but its construction is compatible with such iteration.","The paper's correction to the one-contact reduction group suggests that analogous corrections may be needed in other settings where reduction is taken by coadjoint isotropy, such as prequantization or groupoid-based contact reduction.","Because the level set is taken over $\\mathbb{R}^{\\times k}\\mu$ rather than a single $\\mu$, the reduced structure should be invariant under separate nonzero scalings of the momentum components; checking this invariance explicitly in examples would make the geometric meaning of the construction clearer."],"forward_implications":["For $k=1$, the theorem yields a corrected contact Marsden–Meyer–Weinstein reduction whose quotient group is $K[\\mu]$; it applies in cases where the classical condition $\\ker\\mu + \\mathfrak{g}_\\mu = \\mathfrak{g}$ fails, including the spherical cotangent bundle of a Lie group.","For products of k contact manifolds, the reduced space is the product of the individual one-contact reductions, so the scheme respects decomposition of a field theory into independent components.","A $G$-invariant k-contact Hamiltonian system whose k-contact Hamiltonian vector field is tangent to the scaled level set descends to a k-contact Hamiltonian system on the reduced manifold, with reduced Hamiltonian $h_{[\\mu]}$ defined by pullback.","The coupled-damped-strings example shows the reduction converts a two-component damped system into the equation of a single damped string with an effective forcing, illustrating the promised simplification of dissipative field equations.","The paper's correction to the one-contact reduction group implies that earlier reduction theorems remain valid once the quotient is taken by $K[\\mu]$, with the caveat that one-dimensional reduced targets are not contact."],"supporting_citations":[{"why":"Supplies the k-symplectic Marsden–Meyer–Weinstein reduction theorem and the sufficiency conditions (3.5)–(3.6) that the k-contact proof adapts to the scaled level set.","marker":"[52]"},{"why":"Gives the recent one-contact Marsden–Meyer–Weinstein reduction via one-homogeneous symplectic $\\mathbb{R}^{\\times}$-principal bundles; the paper identifies and corrects its reduction-group error, so it is the primary comparison target.","marker":"[36]"},{"why":"Provides the standard contact reduction with quotient by $K_\\mu$ and the condition $\\ker\\mu + \\mathfrak{g}_\\mu = \\mathfrak{g}$; the paper's group $K[\\mu]$ relaxes this condition.","marker":"[65]"},{"why":"Sets up k-contact geometry, Reeb vector fields, and the k-contact Hamilton–De Donder–Weyl equations that the reduced dynamics must satisfy.","marker":"[31]"},{"why":"Establishes the foundational notions of k-contact geometry used here and the fact that k-contact manifolds do not extend to homogeneous k-symplectic principal bundles, motivating the $\\mathbb{R}^{\\times}$-fibred extension.","marker":"[24]"},{"why":"Gives necessary and sufficient conditions for k-symplectic reduction by submanifolds that inform the k-contact submanifold reduction theorem.","marker":"[8]"},{"why":"Original symplectic Marsden–Weinstein reduction, the theorem whose k-contact analogue is constructed.","marker":"[53]"},{"why":"Supplies standard momentum-map facts and the weak-regular-value definition used to ensure the scaled level set is a submanifold.","marker":"[1]"}],"fun_headline_variants":["Corrected reduction group preserves k-contact structure","k-contact reduction needs a larger symmetry group","Marsden-Meyer-Weinstein reduction fixed for k-contact","Larger symmetry group makes k-contact reduction work"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The construction hinges on the scaled level set $J^{-1}(\\mathbb{R}^{\\times k}\\mu)$ being a smooth submanifold with a smooth quotient under $K[\\mu]$—a global regularity the paper assumes by restricting to local considerations—rather than a proved consequence of the k-contact hypothesis.","fun_headline_variants_meta":{"raw":{"variants":["Corrected reduction group preserves k-contact structure","k-contact reduction needs a larger symmetry group","Marsden-Meyer-Weinstein reduction fixed for k-contact","Larger symmetry group makes k-contact reduction work"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000504,"raw_usage":{"total_tokens":2435,"prompt_tokens":897,"completion_tokens":1538,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":513,"completion_tokens_details":{"reasoning_tokens":1478}},"tokens_in":513,"tokens_out":1538,"duration_ms":12242,"temperature":1.0,"reasoning_tokens":1478,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-15T23:02:36.617432+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"A direct test is to compute the tangent-space conditions (4.8) and (4.9) for a concrete k-contact Hamiltonian system with a free proper symmetry group; if the quotient $J^{-1}(\\mathbb{R}^{\\times k}\\mu)/K[\\mu]$ carries a well-defined one-form whose kernel intersects its exterior derivative's kernel nontrivially (or has the wrong corank or rank), the theorem's conclusion fails. In the $k=1$ case, the paper's own $T^*\\mathrm{SL}_2 \\times \\mathbb{R}$ example shows that reducing by $K_\\mu$ gives an even-dimensional quotient with no contact form, whereas reducing by $K[\\mu]$ gives a contact manifold; finding a $k>1$ system where even $K[\\mu]$ fails would refute the generality claimed.","supporting_citations":[{"cited_title":"Grabowska and J","cited_arxiv_id":null,"evidence_quote":"Gives the recent one-contact Marsden–Meyer–Weinstein reduction via one-homogeneous symplectic $\\mathbb{R}^{\\times}$-principal bundles; the paper identifies and corrects its reduction-group error, so it is the primary comparison target."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Provides the standard contact reduction with quotient by $K_\\mu$ and the condition $\\ker\\mu + \\mathfrak{g}_\\mu = \\mathfrak{g}$; the paper's group $K[\\mu]$ relaxes this condition."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Gives necessary and sufficient conditions for k-symplectic reduction by submanifolds that inform the k-contact submanifold reduction theorem."}],"review_version":1}