{"id":"c18f19dd-059d-4186-b4e5-9e470b4f40cc","arxiv_id":"1908.00794","paper_version":1,"verdict":"CONDITIONAL","confidence":"HIGH","novelty_score":6.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"A commuting tuple of symmetric and isometric operators admits a commuting self-adjoint and unitary extension when a conjugation symmetry and technical domain conditions hold, yielding a multidimensional power-trigonometric moment theorem.","lead":"This paper proves conditions under which several commuting operators with mild symmetry can all be extended to commuting self-adjoint or unitary operators. It also solves a multidimensional moment problem, the question of when a table of numbers comes from integrating polynomials against a measure.","discovery_kind":"extension","skeptic_critique":{"model":"deepseek-v4-flash","headline":"No significant objection identified: the apparent circular appeal to Theorem 4 in its own proof is a misprint for Theorem 3, and the extension argument is otherwise coherent.","rationale":"The reader's CONDITIONAL verdict identifies the self-referential citation and a degenerate Cayley formula as the main mechanical flaws. My review confirms both are present, but they are not load-bearing: the referenced factorization is precisely Theorem 3, which applies to the restricted commuting unitaries, and the displayed Cayley expression is an overline-loss typo. The reader's 'weakest assumption' is condition (d), but that is a stated hypothesis of a conditional theorem, and the moment-problem application explicitly verifies it by constructing J0. The genuinely delicate step, producing one common conjugation K for the whole tuple of restricted unitaries, is supplied by Theorem 3; once the citation is emended, the intertwining relation (26) and the commutation with A_j follow from K U K = U^{-1}. Thus no change to the verdict is warranted, though the typos should be corrected in revision.","tokens_in":9651,"tokens_out":23364,"duration_ms":232390,"concrete_test":"Replace the two occurrences of 'Theorem 4' in the proof of Theorem 4 with 'Theorem 3' and check the hypotheses: (i) H2 reduces each U_{j,2} and B_{k,2}; (ii) the restricted operators pairwise commute; (iii) the common K from Theorem 3 obeys K U K = U^{-1} for every restricted unitary appearing in the tuple. If these checks pass, the apparent circularity is purely typographical and the proof of Theorem 4 is complete.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The central claim (Theorem 4) is not undermined by a genuine mathematical gap that I can locate. The two in-proof references to 'apply Theorem 4' to the restricted unitary operators B_{k,2} and U_{j,2} are the most alarming lines, but the factorization needed there is exactly the statement of Theorem 3, and the restricted operators are pairwise commuting unitaries on H2 once the invariance B_kH_i=H_i (and the corresponding reduction for U_{j,2} from condition (c)) is granted. The common K from Theorem 3 satisfies K B_{k,2} K = B_{k,2}^{-1}, so the verification of (26) is valid; similarly K U_{j,2} K = U_{j,2}^{-1} is what makes \\hat A_1 commute with A_j. The unusual Cayley formula with (z0-z0) is a typesetting artifact of missing overlines; the intended transform is standard. Condition (d) is a genuine hypothesis, not a hidden gap. I therefore find no load-bearing objection.","agreement_with_reader":"partial"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper studies extension problems for commuting tuples of symmetric and isometric operators on a separable Hilbert space. It proves a multidimensional version of the Godič-Lucenko theorem (Theorem 3): every tuple of pairwise commuting unitary operators can be written as U_k = J_k C with a common conjugation C, and also in the dual form U_k = K L_k with a common K. Building on this and the author's prior two-operator result ([18, Theorem 1]), the paper proves Theorem 4, which gives sufficient conditions for A_1 to have a self-adjoint extension commuting with the remaining operators in a tuple of symmetric and isometric operators, and a corollary for bounded operators. These results are then applied to a multidimensional power-trigonometric moment problem (Theorem 5), yielding sufficiency of the natural positivity condition (30) together with a boundedness condition (B) when r ≥ 2, and recovering the classical Devinatz-type result for r = 1.","tokens_in":9824,"tokens_out":14774,"duration_ms":133180,"significance":"If correct, the paper provides a substantial generalization of the author's earlier two-operator extension theorem to arbitrary commuting tuples, including isometric operators, and establishes a multidimensional analog of the Godič-Lucenko factorization theorem that is likely to be of independent interest. The application to the multidimensional power-trigonometric moment problem is nontrivial and gives a concrete sufficient condition for solvability. The proof strategy is coherent: Theorem 3 follows from the author's model theorem [19], and Theorem 4 uses a standard Cayley-transform construction together with the common-conjugation factorization. The main concern is that the printed proof of Theorem 4 contains two glaring typographical errors (self-referential citations to Theorem 4 and an impossible Cayley transform formula) that make the proof appear circular and formally invalid until corrected.","major_comments":[{"comment":"The proof of Theorem 4 contains two explicit references to 'apply Theorem 4' in the course of proving Theorem 4 itself: once for the operators B_{k,2} in the ρ=1 case and once for the tuple (U_{j,2}, B_{k,2}) in the ρ≥2 case. Read literally, this is a circular argument. The correct reference is evidently Theorem 3, which provides the required factorization of pairwise commuting unitaries into products of conjugations with a common conjugation. As printed, the logical chain of the main theorem is broken; please correct these citations (and similarly the phrase 'By the Godič-Lucenko Theorem' at Eq. (20), which should refer to Theorem 3).","section":"§2, Proof of Theorem 4, Eqs. (22)–(23)"},{"comment":"The Cayley transform is written as V1 := (A1 - z0 E_H)(A1 - z0 E_H)^{-1} = E_H + (z0 - z0)(A1 - z0 E_H)^{-1}. With the formula as typeset, the right-hand side equals E_H and the transform is the identity, which would make the subsequent decomposition H = H1 ⊕ H2 = H3 ⊕ H4 and the isometric map U_{2,4} meaningless. The intended formula is clearly the standard Cayley transform with the second factor (A1 - \\bar z0 E_H)^{-1} and coefficient (z0 - \\bar z0). Please correct this and check the manuscript for other missing overlines.","section":"§2, Proof of Theorem 4, first displayed equation"}],"minor_comments":[{"comment":"The sentence 'If ρ ≥ 2, the considerations after (20) show that \\hat A1 commutes with Aj (j ∈ Z2,ρ) as well' is terse. Since the choice of a common K is the crux of the multidimensional part, please add a short explicit verification that the inverse Cayley transform of V1 ⊕ J K commutes with each A_j when K satisfies K U_{j,2} K = U_{j,2}^{-1}.","section":"§2, Proof of Theorem 4, final paragraph"},{"comment":"In condition (B), the constants C_j should be explicitly stated to be independent of the finite sequence α_{m,n}; the wording 'for all finite sequences' makes this clear, but spelling it out would remove ambiguity.","section":"Theorem 5, condition (B)"},{"comment":"There are several typographical errors: 'is ometric' in the introduction, the displayed equation at line (24) appears to have a missing superscript on A1, and the repeated expression '(z0 - z0)' in the proof of Theorem 4 suggests widespread missing overlines. A careful proofread of the LaTeX is needed.","section":"General typographical issues"}],"recommendation":"minor_revision","confidential_remarks":"The paper's central claims appear sound modulo the typographical errors noted in the report. The self-referential citations to Theorem 4 and the misprinted Cayley formula are alarming at first glance but are clearly typos; after correction, the proof of Theorem 4 is coherent. The paper fits the scope of math.FA and makes a reasonable contribution to operator extension theory and moment problems."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"The paper is a solid operator-theory contribution. The main new thing is Theorem 3, a multidimensional Godic–Lucenko factorization in which the same conjugation K works for all unitary operators in a commuting tuple. That is a real extension of the classical single-unitary theorem and it is what makes the rest of the paper work. Theorem 4 then uses it to get a commuting self-adjoint extension of A1 that commutes with the other symmetric operators and with the isometric operators, under the stated conditions. The application to a multidimensional Devinatz moment problem (Theorem 5) is reasonable, and the extra boundedness assumption for r≥2 is made explicit.\n\nI read the proof of Theorem 4 carefully, because the reader flagged a possible circularity. It is not circular. The two places where the text says 'apply Theorem 4' to the restricted unitaries are misprints: the intended reference is Theorem 3, and the argument works with that substitution. The degenerate Cayley formula with (z0−z0) is also a typo for the standard Cayley transform. These are real presentational flaws that should be fixed, but they do not affect the math.\n\nThe genuinely load-bearing hypothesis is condition (d), the existence of a conjugation J with the given commutation relations. Without it the construction of U_{2,4}=JK collapses and the theorem provides no alternative. That is a substantial limitation, but the theorem states it clearly, so it is not a hidden gap. The paper also relies heavily on the author's prior work ([18] and [19]). That is acceptable because [19] is a model theorem for commuting self-adjoint and unitary operators, and [18] is the two-operator case; neither already contains the tuple extension result.\n\nFor whom: operator theorists working on symmetric-operator extensions, commuting tuples, and moment problems. The paper deserves a serious referee. It is not a desk-reject. It needs minor revisions: correct the misprints, clarify the references in the proof of Theorem 4, and maybe add a remark that condition (d) is necessary in a strong sense. I would be comfortable with a conditional accept after those fixes.","headline":"Worth a serious look: the multidimensional Godic–Lucenko theorem with a common conjugation is genuinely new, and the extension/moment-problem results hold up despite a few presentation typos.","tokens_in":10349,"tokens_out":1532,"would_cite":false,"duration_ms":16807,"reading_group":"maybe","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["47A13","47A57","47B25"],"pacs":[],"model":"deepseek-v4-flash","headline":"A commuting tuple of symmetric and isometric operators admits, under a conjugation symmetry, a self-adjoint extension of its first member that commutes with the rest.","keywords":["commuting operators","symmetric operators","isometric operators","self-adjoint extensions","unitary operators","conjugation","power-trigonometric moment problem","Godič–Lucenko theorem"],"falsifier":"A decisive calculation: take $H=L^2([0,1])$, $A_1=-i\\,d/dx$ on the domain of absolutely continuous functions with $f(0)=f(1)=0$, and $B$ the unitary multiplication by $e^{2\\pi ix}$. These two operators commute, and $B$ is unitary. Verifying whether a conjugation $J$ with $JA_1=A_1J$ and $JBJ=B^{-1}$ exists is a finite computation; if it does, the theorem predicts an explicit self-adjoint extension of $A_1$ commuting with $B$, which can be checked directly. A tuple satisfying (a)–(d) for which no such extension exists would refute the theorem.","tokens_in":9435,"feed_emoji":"🧮","tokens_out":12798,"duration_ms":118347,"temperature":0.7,"pith_summary":"This paper asks when a finite family of pairwise commuting operators, some symmetric and some isometric, can be extended to a family of pairwise commuting self-adjoint and unitary operators. It proves that if there is a conjugation symmetry relating the isometries to their inverses and fixing the symmetric operators, then the first symmetric operator has a self-adjoint extension in the same Hilbert space that still commutes with every other member. The proof passes through a multidimensional version of the Godič–Lucenko theorem, which factors any finite family of commuting unitaries using one shared conjugation. An application solves a multidimensional power-trigonometric moment problem, recovering the one-dimensional criterion and adding a boundedness condition in higher dimension.","feed_headline":"One symmetry extends commuting tuples to self-adjoint operators","feed_subtitle":"The extension stays in the same Hilbert space and unlocks a multidimensional power-trigonometric moment problem.","key_machinery":"The carrying mechanism is the Cayley-transform decomposition of $A_1$ into four subspaces $H_1=\\overline{(A_1-z_0)D(A_1)}$, $H_2=H\\ominus H_1$, $H_3=\\overline{(A_1-\\bar z_0)D(A_1)}$, $H_4=H\\ominus H_3$, together with the isometric patching operator $U_{2,4}=JK$ that maps $H_2$ onto $H_4$. The extension $\\hat{A}_1$ is the inverse Cayley transform of $V_1\\oplus U_{2,4}$, where $V_1$ is the Cayley part on $H_1\\to H_3$. The conjugation $J$ from condition (d) is exactly what forces $U_{2,4}$ to commute with each $B_k$, and the multidimensional Godič–Lucenko theorem provides a common conjugation $K$ so that the restricted Cayley transforms of the other symmetric operators and the isometries all commute with it, making $\\hat{A}_1$ commute with the whole tuple.","core_discovery":"The central discovery is the extension theorem (Theorem 4). For a commuting tuple $T=(A_1,\\ldots,A_\\rho,B_1,\\ldots,B_\\tau)$ with joint invariant dense domain $D$ in a separable Hilbert space $H$, suppose the later symmetric operators are essentially self-adjoint, the isometries are essentially unitary, their closures commute pairwise, $B_kD=D$, a relative essential-self-adjointness condition holds for $A_2,\\ldots,A_\\rho$ on $(A_1-z_0)D$, and there is a conjugation $J$ with $JD\\subseteq D$, $A_jJ=JA_j$ for all $j$, and $B_kJ=JB_k^{-1}$ for all $k$. Then there exists a self-adjoint operator $\\hat{A}_1\\supseteq A_1$ in $H$ that commutes with every $A_j$ and $B_k$. The paper also proves that any finite family of commuting unitary operators on a separable Hilbert space factors as $U_k=J_kC$ with a single common conjugation $C$, a multidimensional analogue of the Godič–Lucenko theorem that supplies the joint factorization used in the main proof.","pith_inferences":["Condition (d) can be read as a time-reversal symmetry of the tuple: the isometries must be antiunitarily equivalent to their inverses while the symmetric operators are left fixed. Tuples that lack such a reversal symmetry sit outside the theorem even if they satisfy every other condition.","The common-conjugation factorization in Theorem 3 implies that a commuting family of unitaries is simultaneously complex symmetric with respect to one fixed conjugation, a fact the extension proof uses but which may have independent uses in model theory of commuting tuples.","The proof only extends the first symmetric operator; iterating the construction on the resulting tuple would require the conjugation condition to survive after extension, and it is not shown that it does. Whether such iteration is possible is a natural next step.","Condition (B) in Theorem 5 is an artifact of forcing boundedness; a variant of the extension theorem allowing unbounded closures might remove it and make the kernel condition alone sufficient in all dimensions."],"forward_implications":["Under Theorem 4, a self-adjoint extension of $A_1$ exists in the original space $H$, not in a larger extension space, and it commutes with the closures of all other tuple members.","When $A_2,\\ldots,A_\\rho$ are bounded, condition (c) is automatic, so the same conclusion follows from conditions (b) and (d) together with boundedness (Corollary 1).","Any pairwise commuting finite family of unitaries on a separable Hilbert space admits a joint factorization $U_k=J_kC$ with one common conjugation, extending the single-operator Godič–Lucenko theorem.","For the multidimensional power-trigonometric moment problem, the positive-kernel condition (30) is necessary in every dimension and sufficient in dimension one; in higher dimensions it is sufficient together with the boundedness condition (B) (Theorem 5)."],"supporting_citations":[{"why":"Supplies the base two-operator extension theorem and the Cayley-transform construction that Theorem 4 modifies.","marker":"[18]"},{"why":"Provides the $L^2(M)$ spectral model for commuting self-adjoint and unitary operators that Theorem 3 uses to factor the unitaries in each cyclic subspace.","marker":"[19]"},{"why":"Gives the proof pattern for expressing a unitary operator as a product of two conjugations, which Theorem 3 extends to tuples.","marker":"[6]"},{"why":"States the original Godič–Lucenko theorem that a single unitary is a product of two conjugations, the base case for the multidimensional version.","marker":"[8]"},{"why":"Used to decompose the space into reducing cyclic subspaces for a family of commuting unitaries, following the classical spectral decomposition for one self-adjoint operator.","marker":"[7]"},{"why":"Defines the classical one-dimensional power-trigonometric moment problem whose multidimensional version is solved in Theorem 5.","marker":"[17]"}],"fun_headline_variants":["Tuple symmetry unlocks self-adjoint extensions","Commuting tuples extend via conjugations","New extension theorem for operator tuples","Godič-Lucenko theorem goes multidimensional","Symmetric tuples extend to self-adjoint and unitary"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The load-bearing premise is condition (d): there exists a conjugation (an antiunitary involution) that preserves the joint domain, commutes with each symmetric operator, and sends each isometry to its inverse; without such a symmetry the patching operator $U_{2,4}=JK$ cannot be proved to commute with the isometries, and the theorem offers no alternative route.","fun_headline_variants_meta":{"raw":{"variants":["Tuple symmetry unlocks self-adjoint extensions","Commuting tuples extend via conjugations","New extension theorem for operator tuples","Godič-Lucenko theorem goes multidimensional","Symmetric tuples extend to self-adjoint and unitary"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000637,"raw_usage":{"total_tokens":2877,"prompt_tokens":831,"completion_tokens":2046,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":447,"completion_tokens_details":{"reasoning_tokens":1980}},"tokens_in":447,"tokens_out":2046,"duration_ms":14747,"temperature":1.0,"reasoning_tokens":1980,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-14T15:32:44.263569+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"A decisive calculation: take $H=L^2([0,1])$, $A_1=-i\\,d/dx$ on the domain of absolutely continuous functions with $f(0)=f(1)=0$, and $B$ the unitary multiplication by $e^{2\\pi ix}$. These two operators commute, and $B$ is unitary. Verifying whether a conjugation $J$ with $JA_1=A_1J$ and $JBJ=B^{-1}$ exists is a finite computation; if it does, the theorem predicts an explicit self-adjoint extension of $A_1$ commuting with $B$, which can be checked directly. A tuple satisfying (a)–(d) for which no such extension exists would refute the theorem.","supporting_citations":[{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Supplies the base two-operator extension theorem and the Cayley-transform construction that Theorem 4 modifies."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Provides the $L^2(M)$ spectral model for commuting self-adjoint and unitary operators that Theorem 3 uses to factor the unitaries in each cyclic subspace."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Gives the proof pattern for expressing a unitary operator as a product of two conjugations, which Theorem 3 extends to tuples."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"States the original Godič–Lucenko theorem that a single unitary is a product of two conjugations, the base case for the multidimensional version."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Used to decompose the space into reducing cyclic subspaces for a family of commuting unitaries, following the classical spectral decomposition for one self-adjoint operator."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Defines the classical one-dimensional power-trigonometric moment problem whose multidimensional version is solved in Theorem 5."}],"review_version":1}