{"id":"d5581473-12f2-445e-9386-26137b7dd86e","arxiv_id":"2608.00819","paper_version":1,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":6.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"The paper proves realization, interpolation, extension, and Toeplitz corona theorems for the hexablock, recovering the tetrablock and biball results as special cases.","lead":"A new mathematical domain, the hexablock, is shown to satisfy the same four key function-theoretic properties as the disc and bidisc: every function in its Schur-Agler class is realized by a unitary matrix, interpolation is controlled by positive definite kernels, and extension and corona theorems hold. These results also re-derive known theorems for the tetrablock and the Euclidean biball from one unified framework.","discovery_kind":"new_application","skeptic_critique":{"model":"deepseek-v4-flash","headline":"Theorem 2.7's (1)=>(2) proof relies on H being quasi-balanced and polynomially convex, cited from prior work; if those geometric facts fail, the scaling/Oka-Weil argument collapses.","rationale":"The reader's weakest_assumption identifies exactly the dependence of Theorem 2.7 on quasi-balancedness and polynomial convexity of H, cited from [26]. My reading of the proof confirms this is the most load-bearing point: without these geometric facts, the scaling f_r and Oka-Weil polynomial approximation cannot be justified, so the implication (1)=>(2) of the central realization theorem is unsupported. The internal typo in the definition of \\hat f is a separate, fixable issue and does not change the verdict. Since this concern matches the reader's and does not move the verdict, I recommend UNCHANGED (CONDITIONAL remains appropriate until the cited geometric properties are verified or proved).","tokens_in":41791,"tokens_out":11685,"duration_ms":129525,"concrete_test":"Independently verify the two cited geometric facts directly from the definition of H. (1) Quasi-balancedness: for every z∈cl H and r∈(0,1), show r·z=(r z1, r z2, r z3, r^2 z4) satisfies the defining inequalities of H, in particular that the denominators 1 - r z2 α1 - r z3 α2 + r^2 z4 α1 α2 are nonvanishing on D^2 and the associated rational functions have sup norm <1. (2) Polynomial convexity: for a fine grid of points w outside cl H near the boundary, test whether there exists a polynomial p with |p(w)| > sup_{z∈cl H}|p(z)|; if no separating polynomial exists for some w, cl H is not polynomially convex and the Oka-Weil step in Theorem 2.7 fails.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The central realization theorem (Theorem 2.7) is only as strong as its proof of (1)=>(2). That direction first treats f in SA(H)∩Hol(cl H), then uses Oka-Weil to approximate \\hat f by polynomials on cl H, and later uses the scaling f_r(z)=f(r z1, r z2, r z3, r^2 z4) to reduce the general case to the closed-domain case. Both steps require structural properties of H that are not proved in this manuscript: (i) H is (1,1,1,2)-quasi-balanced, so that r·z stays in H (and r·T stays in M_H), and (ii) cl H is polynomially convex, so that Oka-Weil applies. These facts are cited from the authors' earlier preprint [26] (Theorem 6.7 and Section 2), but no proof is reproduced here. If either property fails, the approximation argument for (1)=>(2) has no foundation. Additionally, the proof contains a minor internal typo: it defines \\hat f(z)=f(\\bar z) and claims this is holomorphic, whereas the subsequent identity \\|\\hat f(S)\\|=\\|f(S^*)^*\\| shows the intended definition is \\hat f(z)=\\overline{f(\\bar z)}. While fixable, this illustrates that the proof is not fully self-contained. The load-bearing issue, however, is the unverified geometric input.","agreement_with_reader":"agree"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper develops an Agler-type function theory for the hexablock H, a domain in C^4 arising from μ-synthesis. The central result (Theorem 2.7) characterizes the Schur-Agler class SA(H) by three equivalent conditions: operator-von-Neumann boundedness on the class M_H, positivity against all admissible kernels, and a unitary-colligation realization f(z)=A+B X(z)(I-D X(z))^{-1}C with X(z)=diag(ρ1(E(z)), ρ2(e(z)), z3 I). From this, the paper derives an interpolation theorem (Theorem 2.8), a norm-preserving extension theorem (Theorem 2.9), and a Toeplitz corona theorem (Theorem 2.19). It then applies these results to the Euclidean biball B2 (Theorems 3.2–3.6) and recovers tetrablock realization, interpolation, extension, and corona theorems in terms of admissible kernels on H (Theorems 4.1–4.5).","tokens_in":42142,"tokens_out":33802,"duration_ms":378280,"significance":"If the main theorem is correct, this is a substantial contribution: it gives the first realization and interpolation theory for the hexablock, and it exhibits H as a unifying domain for the tetrablock and the Euclidean biball. The scalar proofs are generally detailed and follow the well-established Agler–Dritschel–McCullough framework. The admissible-kernel formalism is explicit and the applications are natural. However, several load-bearing points are not fully established: the proof of (1)=>(2) in Theorem 2.7 depends on nontrivial geometric facts cited from the authors' prior work; Lemma 2.13 contains a conjugation error; the vector-valued analogues used for the corona theorem are stated without proof; and the extension theorems for B2 and E rely on unproved von Neumann inequalities. These issues are local and appear repairable, but they currently prevent the paper from being accepted as is.","major_comments":[{"comment":"The scaling argument f_r(z)=f(r z1,r z2,r z3,r^2 z4) and the polynomial approximation by Oka-Weil require that H be (1,1,1,2)-quasi-balanced and that the closed hexablock be polynomially convex. These facts are cited from the authors' prior paper [26] (Theorem 6.7 and Section 2) but are not proved or even stated as explicit assumptions here. Since the whole direction (1)=>(2) collapses if these geometric properties fail, the manuscript should either state them as hypotheses or reproduce the necessary statements. In addition, the displayed definition \\hat f(z)=f(\\bar z) is inconsistent with the later use of \\hat f(S)=f(S^*)^*; the intended definition is \\hat f(z)=\\overline{f(\\bar z)}. The typo is minor, but together with the missing geometric input it makes this key step not self-contained.","section":"Theorem 2.7, implication (1)=>(2), proof around \\hat f and Oka-Weil"},{"comment":"There is a sign/conjugation error in the spectral argument. With S_i^* κ(.,j)=z_j^{(i)} κ(.,j), the correct identity is g(S^*)κ(.,j)=g(z_j)κ(.,j)=λ_jκ(.,j), not g(S)^*κ(.,j)=λ_jκ(.,j). Consequently, the equality \\|g(S)\\|=ρ does not follow from equation (2.15) as written. Moreover, (2.15) writes the quadratic form as ∑(ρ^2-λ_i \\bar λ_j)κ(i,j)y_i y_j; for a Hermitian matrix the correct form is ∑(ρ^2-λ_i \\bar λ_j)κ(i,j)\\bar y_i y_j. The argument can likely be repaired by using g(S^*) and setting the test vector to h=∑ \\bar y_j κ(.,j), but as written the proof of the existence of S with \\|g(S)\\|=ρ is invalid. This is load-bearing for the extension theorem (Theorem 2.9).","section":"Lemma 2.13"},{"comment":"The vector-valued versions of the decomposition theorem and of the realization theorem are stated without proof, with the comment that they are routine adaptations. These results are then used essentially in the proof of the Toeplitz corona theorem (Theorem 2.18), specifically in the implications (2)=>(3) and (3)=>(1), and hence in Theorem 2.19. Since the scalar proof of Theorem 2.7 itself contains nontrivial steps (scaling, Oka-Weil, net convergence), the assertion that the vector-valued case follows by routine modification is not sufficient. The paper should provide at least a careful reduction or full proofs of Theorems 2.16 and 2.17.","section":"Theorems 2.16 and 2.17; proof of Theorem 2.18"},{"comment":"In Example 3.4 the proof uses the inequality \\|h_r(T_1,T_2)\\| ≤ \\|h_r\\|_{∞,B_2} for (T_1,T_2) ∈ M_{B_2}. This is a von Neumann inequality for arbitrary holomorphic functions h_r in a neighbourhood of the closed ball; it does not follow from the definition of M_{B_2} or from the earlier realization theorem, which only gives the inequality for functions in C(B_2). A similar unjustified inequality appears in Example 4.3 with E in place of B_2. These inequalities are essential to the claims that the embedded subsets have the extension property, and hence to Theorems 3.5 and 4.4. Please provide a proof or a reference for these spectral-set inequalities, or modify the argument.","section":"Examples 3.4 and 4.3"},{"comment":"The proof says that from the net {f_β} one can extract a subsequence converging uniformly to f. A net in a compact space need not have a subsequence. The intended conclusion can be recovered by choosing a carefully constructed sequence β_k (e.g., with ε_k→0 and finite sets exhausting a countable dense subset of H) and then applying Montel's theorem, or by using a convergent subnet and the pointwise convergence already established. As written, the step is technically incorrect, although it is readily fixable.","section":"Theorem 2.7, proof of (4)=>(1), Step (4)"}],"minor_comments":[{"comment":"The phrase 'quantum pentablock' should be 'quantum hexablock'; 'M_H is contained in the quantum pentablock' is a typo.","section":"Section 2, text before Corollary 2.14"},{"comment":"In the displayed computation, 'r^2 T_3' appears twice; the second should be 'r^2 T_4'.","section":"Example 4.3"},{"comment":"The implication (2)=>(3) is said to follow from 'Theorem 2.2'; the intended reference is Theorem 2.3.","section":"Theorem 2.8, proof"},{"comment":"The phrase 'Kurosh’s theorem' is unusual in this context; the argument from finite subsets to H×H is a standard compactness/maximality argument and should be cited or described appropriately.","section":"Theorem 2.3, proof"},{"comment":"In the line after defining V, 'f(z)=A1+B X(z)...' should presumably be 'f(z)=A+B X(z)...'.","section":"Theorem 2.7, proof of (3)=>(4)"},{"comment":"The proofs of these theorems are left entirely to the reader. Since they are claimed applications of Theorem 2.19, a short reduction would improve verifiability, especially because the vector-valued classes and the maps θ are involved.","section":"Theorems 3.6 and 4.5"}],"recommendation":"major_revision","confidential_remarks":"The paper relies heavily on the authors' own preprint [26] for the geometry of H (quasi-balancedness, polynomial convexity, and the embedding B2⊂H). If [26] is not yet published, the editor may want to verify its availability or ask the authors to include the needed statements. Also, the vector-valued theorems without proof and the unproved von Neumann inequalities in Examples 3.4 and 4.3 are the main obstacles; these are fixable but require real work. The claimed 'recovery' of the tetrablock results is in a different (H-based) formulation, so the novelty and precise relation to [39] should be clarified."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Pal and Tomar give the standard Agler package—realization, interpolation, extension, Toeplitz corona—for the hexablock, a domain in C^4 connected to mu-synthesis. The central scalar result, Theorem 2.7 (SA(H)=UC(H) plus kernel characterizations), is new and the proof is mostly detailed. The interpolation and extension theorems for the hexablock follow the expected pattern. The paper is honest about what it does: the biball and tetrablock applications are recoveries of known theorems through embeddings, so the new content is right where it should be, in the hexablock sections.\n\nThe soft spots are real but, in my reading, not fatal. First, the vector-valued realization theorem (2.17) and its companions (2.16, 2.18) are stated without proof. The Toeplitz corona theorem (2.19) depends on them. 'Routine adaptation' may be acceptable for a short note, but for a flagship function-theory paper a referee should ask for the vector-valued machinery or a precise citation. Second, Lemma 2.13, which powers the extension theorem, contains a conjugation/sign issue. The reader and the stress-test both caught it; the statement is probably repairable, but as written the proof doesn't completely close. Third, the proof of (1)=>(2) in Theorem 2.7 relies on H being (1,1,1,2)-quasi-balanced and polynomially convex, cited from the authors' previous preprint [26]. That is a legitimate dependency, but it means the present paper is not self-contained on a load-bearing point. There is also a small typo in the same proof: \\hat f(z) should be \\overline{f(\\bar z)}.\n\nWhat the paper does well: the Schur-Agler class is defined via a natural operator class M_H, the admissible kernels are the right ones, and the scalar realization proof uses the standard Dritschel-McCullough machinery correctly. The self-citation to [26] is not circular; the core equivalence is proved from kernel positivity.\n\nWho should read it: anyone working on Agler-style function theory for mu-synthesis domains. It's a useful map of a new domain and a good stress-test of the standard tools. I would cite it for the hexablock realization.\n\nRecommendation: send to peer review. It deserves a serious referee. The referee should insist on full proofs for the vector-valued statements and a fix for Lemma 2.13, but the scalar core is worth publishing.","headline":"New and mostly solid Agler-package for the hexablock, but the corona results rest on unproved vector-valued analogues and the geometric input is borrowed from the authors' earlier work.","tokens_in":42627,"tokens_out":3160,"would_cite":true,"duration_ms":33156,"reading_group":"yes","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["32A70","47A13","47A57","46E22","47B32"],"pacs":[],"model":"deepseek-v4-flash","headline":"The paper proves that functions on the hexablock in the Schur-Agler class are exactly those with a unitary colligation realization, yielding interpolation, extension, and Toeplitz corona theorems for the hexablock, the Euclidean biball, and","keywords":["hexablock","Schur-Agler class","unitary colligation","realization formula","interpolation","extension theorem","Toeplitz corona","tetrablock"],"falsifier":"Check Theorem 2.8 on a concrete candidate: pick two points z1, z2 in H and target values lambda1, lambda2 for which a function in SA(H) is known to exist by explicit construction, but for some admissible kernel k the 2x2 matrix [(1 - lambda_i overline(lambda_j)) k(z_i, z_j)] has a negative eigenvalue. Since the implication from interpolability to kernel positivity is part of the theorem, such a matrix would disprove the equivalence and the realization theorem behind it.","tokens_in":41681,"feed_emoji":"📐","tokens_out":6793,"duration_ms":69463,"temperature":0.7,"pith_summary":"The paper's central claim is a complete Agler-style function theory for the hexablock, a four-complex-variable domain that arises from mu-synthesis in H-infinity control. It identifies the Schur-Agler class SA(H), meaning functions whose norm is bounded by 1 under every commuting operator quadruple satisfying the hexablock's defining inequalities, and proves that membership is equivalent to three seemingly different conditions: a positivity condition against a family of admissible kernels, an explicit algebraic decomposition of 1 - f(z) overline(f(w)), and a realization formula f(z) = A + B X(z) (I - D X(z))^{-1} C by a unitary colligation. Because the Euclidean biball and the tetrablock embed holomorphically into the hexablock, these four results (realization, interpolation, extension, Toeplitz corona) transfer to those domains as well. The significance is that one kernel test on the hexablock organizes a family of function-theoretic theorems that had previously been proved one domain at a time.","feed_headline":"Hexablock Schur-Agler class equals unitary colligations","feed_subtitle":"A single kernel positivity test yields interpolation, extension, and corona theorems for the biball and tetrablock.","key_machinery":"The machinery is the unitary colligation built from the test functions E(z)(alpha1, alpha2) = z1 sqrt((1 - |alpha1|^2)(1 - |alpha2|^2)) / (1 - z2 alpha1 - z3 alpha2 + z4 alpha1 alpha2) and e(z)(alpha) = (alpha z4 - z2)/(alpha z3 - 1), which encode the hexablock's defining inequalities. X(z) is the block-diagonal operator obtained by applying unital *-representations rho1 of C(Dbar^2) and rho2 of C(Dbar) to these functions, plus multiplication by z3. The theorem proves that every SA(H) function is such a colligation and every colligation function is in SA(H). The admissible kernels are the positivity witnesses: k is admissible when multiplying it by each of the three 1-minus-product factors p","core_discovery":"Theorem 2.7 is the load-bearing result: for a holomorphic function f on the hexablock, f lies in SA(H) if and only if the kernel (1 - f(z) overline(f(w))) k(z,w) is positive semidefinite for every admissible kernel k on H; equivalently, 1 - f(z) overline(f(w)) splits as a sum of three such terms built from the test functions E(z) and e(z); equivalently, f is associated to a unitary colligation with block diagonal X(z) = diag(rho1(E(z)), rho2(e(z)), z3 I). From this one theorem the paper derives an interpolation criterion, a norm-preserving extension criterion involving the quantized hexablock, and a Toeplitz corona theorem with the usual 1/epsilon bound. The earlier tetrablock results re-eme","pith_inferences":["Because both the biball and the tetrablock appear as slices of the hexablock, the hexablock may serve as a master domain: any future function-theoretic theorem proved for SA(H) that respects these embeddings would automatically yield the corresponding theorem for both domains.","The realization formula suggests that SA(H) functions are precisely the contractive transfer functions of a system whose state space is a direct sum of three pieces; this might make interpolation problems on H solvable by finite-dimensional linear matrix inequalities once the representations rho1 and rho2 are suitably discretized.","A natural test is whether the admissible-kernel family AK(H) can be replaced by a proper subfamily, for example using only finitely many test functions, without changing SA(H); if so, the interpolation and corona criteria would become computationally checkable."],"forward_implications":["The interpolation theorem on H becomes a finite-matrix test: prescribed values lambda_i at points z_i are interpolable in SA(H) exactly when every admissible kernel k satisfies positivity of the matrix [(1 - lambda_i overline(lambda_j)) k(z_i, z_j)].","Every function in SA(H) admits an explicit transfer-function form, so function-theoretic questions on H can be attacked by operator-theoretic dilation and colligation methods.","Embedding the Euclidean biball as the slice z3 = z4 = 0 and the tetrablock as the slice z1 = 0 turns the hexablock realization into realization theorems for the corresponding classes C(B2) and SA(E).","The extension theorem characterizes when a function on a subset W of H extends without increasing sup-norm: exactly when its norm is preserved under every subordinate operator quadruple in the quantum hexablock QH.","The Toeplitz corona theorem gives existence of f_j with sum phi_j f_j = 1 and [f_j]^t in (1/epsilon) SA_H(C, C^d) iff the same three-kernel decomposition holds for sum phi_j overline(phi_j) - epsilon^2."],"supporting_citations":[{"why":"Supplies the geometric facts the proof leans on: H is (1,1,1,2)-quasi-balanced and polynomially convex, plus the embedding of B2 into H.","marker":"[26]"},{"why":"Source of the abstract realization framework: positive kernels, Kolmogorov decomposition, unitary-colligation construction, and approximation by simple representations.","marker":"[6]"},{"why":"The paper's tetrablock realization, interpolation, extension, and Toeplitz corona results, which the hexablock theory recovers and reformulates via admissible kernels on H.","marker":"[39]"},{"why":"Method of test functions, kernel cones, and realization via simple representations that the proof adapts to the hexablock.","marker":"[34]"},{"why":"Defines the tetrablock and gives the characterization of E used to write the hexablock's defining inequalities.","marker":"[1]"},{"why":"The Toeplitz corona theorem on the Euclidean unit ball that the paper's B2 corona result parallels and extends.","marker":"[13]"}],"fun_headline_variants":["Hexablock Schur-Agler class: one kernel test to rule them all","Unitary colligations solve hexablock interpolation, extension, corona","Hexablock theorem recovers tetrablock and biball results","One kernel positivity condition defines the hexablock Schur-Agler class","Hexablock SA class is unitary colligations"],"cache_read_input_tokens":2688,"weakest_assumption_plain":"The proof that the kernel positivity condition follows from membership in SA(H) requires that functions in SA(H) can be scaled to the closed hexablock and uniformly approximated by polynomials, which depends on the hexablock being (1,1,1,2)-quasi-balanced and polynomially convex.","fun_headline_variants_meta":{"raw":{"variants":["Hexablock Schur-Agler class: one kernel test to rule them all","Unitary colligations solve hexablock interpolation, extension, corona","Hexablock theorem recovers tetrablock and biball results","One kernel positivity condition defines the hexablock Schur-Agler class","Hexablock SA class is unitary colligations"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.001325,"raw_usage":{"total_tokens":5239,"prompt_tokens":760,"completion_tokens":4479,"prompt_tokens_details":{"cached_tokens":256},"prompt_cache_hit_tokens":256,"prompt_cache_miss_tokens":504,"completion_tokens_details":{"reasoning_tokens":4387}},"tokens_in":504,"tokens_out":4479,"duration_ms":38936,"temperature":1.0,"reasoning_tokens":4387,"cache_read_input_tokens":256,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-05T00:12:23.456563+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Check Theorem 2.8 on a concrete candidate: pick two points z1, z2 in H and target values lambda1, lambda2 for which a function in SA(H) is known to exist by explicit construction, but for some admissible kernel k the 2x2 matrix [(1 - lambda_i overline(lambda_j)) k(z_i, z_j)] has a negative eigenvalue. Since the implication from interpolability to kernel positivity is part of the theorem, such a matrix would disprove the equivalence and the realization theorem behind it.","supporting_citations":[{"cited_title":"The Hexablock: a domain associated with the $\\mu$-synthesis in $M_2(\\mathbb C)$","cited_arxiv_id":"2506.15149","evidence_quote":"Supplies the geometric facts the proof leans on: H is (1,1,1,2)-quasi-balanced and polynomially convex, plus the embedding of B2 into H."},{"cited_title":"Agler and J","cited_arxiv_id":null,"evidence_quote":"Source of the abstract realization framework: positive kernels, Kolmogorov decomposition, unitary-colligation construction, and approximation by simple representations."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Method of test functions, kernel cones, and realization via simple representations that the proof adapts to the hexablock."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Defines the tetrablock and gives the characterization of E used to write the hexablock's defining inequalities."},{"cited_title":"Amar,On the Toeplitz corona problem, Publ","cited_arxiv_id":null,"evidence_quote":"The Toeplitz corona theorem on the Euclidean unit ball that the paper's B2 corona result parallels and extends."}],"review_version":1}