{"id":"94a1951e-956a-4548-90ad-1e032e10713d","arxiv_id":"2607.03187","paper_version":1,"verdict":"ACCEPT","confidence":"HIGH","novelty_score":6.5,"correctness_risk":"low","formal_verification":"none","parameter_count":0,"one_line_summary":"Continuous unitary maps near the identity admit exact Kolmogorov-Arnold decompositions as exp of summed univariate anti-Hermitian fields or as products of univariate matrix exponentials; the results fail globally on U(n).","lead":"The paper proves two local Kolmogorov-Arnold-style decompositions for continuous maps from the unit cube into a neighborhood of the identity in U(n): one additive inside the matrix exponential, and one as a product of univariate matrix exponentials. This supplies a structural foundation for quantum KANs while showing, via an SU(2) lifting counterexample, that the results cannot be globalized to all of U(n).","discovery_kind":"extension","skeptic_critique":{"model":"grok-4.5","headline":"No significant objection identified","rationale":"The reader correctly isolates the neighbourhood restriction of Lemma 3.1 as the sole essential hypothesis and notes that the paper itself supplies a clean counter-example showing the hypothesis cannot be removed. The subsequent reductions to classical KA and to the Inverse Function Theorem are standard and contain no free parameters or unstated smoothness assumptions that would invalidate the existence statements. Because the entire argument is elementary analysis that can be verified line-by-line from the text, the high-confidence ACCEPT verdict stands; no adjustment is required.","tokens_in":11689,"tokens_out":386,"duration_ms":4181,"concrete_test":"Independently recompute the principal-logarithm series of Lemma 3.1 for a concrete continuous path U(t) = exp(i t \theta \tau) with \theta < \tau/3 inside O_1(I) and verify that the recovered anti-Hermitian generator is continuous and bounded by the claimed universal constant C; then apply the classical KA decomposition to its matrix coefficients and check that the reconstructed exponential recovers U(t) to machine precision.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The central claims of Theorems 2.2 and 2.3 rest on the continuous principal-logarithm lift of Lemma 3.1 (which forces the image into O_1(I)) followed by a direct application of the classical Kolmogorov–Arnold theorem to the resulting continuous real-valued coefficient functions, plus a standard Inverse-Function-Theorem local factorisation (Lemma 4.1) that is then replicated. Both steps are classical, free of free parameters, and free of circularity. The topological obstruction of Example 5.3 correctly shows that the same statements fail on the whole of U(n). No hidden analytic or algebraic gap appears that would undermine the local existence results.","agreement_with_reader":"agree"},"referee_report":{"model":"grok-4.5","summary":"The paper establishes two local quantum analogues of the Kolmogorov–Arnold representation theorem for continuous maps U:[0,1]^d → O_1(I) ⊂ U(n). Theorem 2.2 gives an exact additive decomposition inside a single matrix exponential of a linear combination of fixed anti-Hermitian generators with univariate continuous coefficients obtained from classical KA. Theorem 2.3 gives a factorised sequential product of univariate matrix exponentials of the same form. Both rest on a continuous principal-logarithm lift (Lemma 3.1) that produces a bounded anti-Hermitian generator, followed by componentwise classical KA (and, for the factorised version, a local Inverse-Function-Theorem factorisation of the product map, Lemma 4.1). Example 5.3 supplies a topological counterexample on SU(2) showing that the lifting property fails on the whole group, so the statements cannot be extended globally.","tokens_in":11784,"tokens_out":657,"duration_ms":5449,"significance":"The results supply a clean existence foundation for the structural design of Quantum Kolmogorov–Arnold Networks that operate by sequential single-parameter unitaries. The proofs are short, classical, and free of free parameters or circularity: principal logarithm (Bernstein), classical KA applied componentwise, Inverse Function Theorem, and a Brouwer-invariance argument for the obstruction. The explicit topological counterexample correctly delimits the local character of the theorems and is of independent interest. While the statements remain purely existential and restricted to a neighbourhood of the identity, they close a natural theoretical gap left open by recent QKAN proposals and by the author’s earlier algebraic KA result for quantum measurements.","major_comments":[],"minor_comments":[{"comment":"The constant C in Lemma 3.1 is stated for the spectral norm; a one-sentence remark that the argument is norm-independent (only the numerical value of C changes) would remove any residual ambiguity.","section":null},{"comment":"In the proof of Lemma 4.1 the integer K is chosen large enough that e^{A(x)/K} lies in the IFT neighbourhood W; an explicit (even crude) bound in terms of the universal C and the basis norms would make the construction fully constructive.","section":null},{"comment":"The discussion after Theorem 2.3 and in §5 mentions that global validity of the factorised statement is “probably” false; a short additional sentence clarifying that the same lifting obstruction already blocks any continuous generator, and therefore any continuous factorisation that begins from a continuous logarithm, would tighten the claim.","section":null},{"comment":"A few typographical inconsistencies appear (e.g., “f actorisation”, spacing around O_1(I), and the arXiv date stamp). These are easily corrected in production.","section":null}],"recommendation":"accept","confidential_remarks":"The manuscript is short, self-contained, and mathematically clean. It is a natural companion to the author’s earlier algebraic KA paper for measurements and fits well in a mathematical-physics or quantum-information theory venue. No novelty or citation concerns."},"author_rebuttal":null,"desk_editor":{"model":"grok-4.5","letter":"The paper gives two exact local Kolmogorov–Arnold statements for continuous maps U : [0,1]^d → O_1(I) ⊂ U(n). One puts the classical sum inside a single matrix exponential of fixed anti-Hermitian generators; the other factors it into a finite product of univariate exponentials so the non-commutativity is handled by sequencing. Both rest on a continuous principal-logarithm lift (Lemma 3.1) followed by ordinary KA on the coefficient functions, plus a short Inverse-Function-Theorem argument for the product map. The SU(2) non-lifting counterexample on the closed 3-ball is clean and shows why you cannot drop the neighbourhood condition.\n\nWhat is new is the combination: classical KA applied after the matrix logarithm, the explicit factorised form that matches gate-synthesis language, and the concrete topological obstruction presented as previously unrecorded folklore. The proofs are short, standard, and free of free parameters or circularity. Self-citations are limited to the author’s earlier algebraic-measurement note and a stability paper; they do not carry the load. The neighbourhood restriction is stated up front and is necessary, so it is not a hidden flaw.\n\nSoft spots are minor and proportional. The constant K in the factorisation is existential, the matrix-norm choice only rescales constants, and there is no constructive algorithm or smoothness transfer yet—exactly the classical KA situation. No code or formal verification, but the arguments are hand-checkable. Significance sits inside the QKAN / quantum-control niche: architects now have a citation for local exact decompositions and a warning against global claims. It does not reorganise broader quantum information.\n\nThis is for people who design or analyse quantum KANs and for pure mathematicians interested in Lie-group versions of superposition theorems. It deserves a serious referee. I would accept it for peer review and would cite the local theorems and the counterexample when the topic comes up.","headline":"Clean local existence theorems that turn classical KA into unitary maps near the identity, plus a solid topological obstruction; useful for QKAN theory, not a revolution.","tokens_in":12406,"tokens_out":488,"would_cite":true,"duration_ms":5425,"reading_group":"maybe","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["26B40","41A63","22E70","15A16","81P68","68T07"],"pacs":[],"model":"grok-4.5","headline":"Continuous unitary maps near the identity admit exact Kolmogorov–Arnold decompositions into univariate matrix exponentials of fixed anti-Hermitian generators.","keywords":["Quantum Kolmogorov–Arnold representation","unitary-valued maps","Lie algebras","matrix exponential factorisation","lifting property","QKAN","anti-Hermitian generators"],"falsifier":"Exhibit a continuous map from the unit cube into the unitary group that cannot be lifted to any continuous anti-Hermitian generator, or construct a counter-example to either representation inside O_1(I) itself.","tokens_in":12551,"feed_emoji":"⚛️","tokens_out":673,"duration_ms":6544,"temperature":0.7,"pith_summary":"The paper shows that every continuous map from the unit cube into the open 1-neighbourhood of the identity in the unitary group can be written exactly in two quantum analogues of the classical Kolmogorov–Arnold theorem. One version places a sum of univariate scalar functions times fixed anti-Hermitian matrices inside a single matrix exponential. The other version, needed because unitary operators need not commute, writes the same map as a finite product of univariate matrix exponentials. Both constructions rest on lifting the unitary map to a continuous anti-Hermitian generator and then applying the classical scalar theorem coordinate-wise. A concrete counter-example on SU(2) proves that the same statements fail on the whole unitary group, so the locality restriction is essential. The results supply a rigorous structural foundation for quantum circuits whose edge activations are univariate functions of fixed generators.","feed_headline":"Unitary maps near identity factor into univariate matrix exponentials","feed_subtitle":"Two exact Kolmogorov–Arnold theorems for quantum evolutions; global extension fails topologically","key_machinery":"The continuous principal-logarithm lift (Lemma 3.1) that converts a unitary map valued in O_1(I) into a continuous, universally bounded anti-Hermitian map, after which the classical Kolmogorov–Arnold theorem is applied coordinate-wise and the resulting scalar sum is re-exponentiated or factorised.","core_discovery":"Any continuous unitary-valued map U from the unit cube into the open 1-neighbourhood of the identity admits both an additive representation U(x)=exp(∑ g_j(φ_j(x)) H_j) with fixed anti-Hermitian matrices H_j and univariate continuous inner functions φ_j, and a factorised representation U(x)=∏ exp(g_j(φ_j(x)) H_j). Neither representation extends to the entire unitary group.","pith_inferences":[],"forward_implications":[],"fun_headline_variants":["Quantum unitaries near identity factor into univariate matrix exps","Local KA theorems: unitaries near I via additive or product forms","Continuous unitary maps near I admit exact univariate factorizations","Two quantum KA reps for unitaries; global extension topologically fails","Unitaries in open 1-nbhd of I decompose as univariate matrix exps"],"cache_read_input_tokens":128,"weakest_assumption_plain":"The image of the unitary map must stay inside a small open ball around the identity so that a continuous anti-Hermitian logarithm exists; without that neighbourhood the whole construction cannot start.","fun_headline_variants_meta":{"raw":{"variants":["Quantum unitaries near identity factor into univariate matrix exps","Local KA theorems: unitaries near I via additive or product forms","Continuous unitary maps near I admit exact univariate factorizations","Two quantum KA reps for unitaries; global extension topologically fails","Unitaries in open 1-nbhd of I decompose as univariate matrix exps"]},"model":"grok-4.5","effort":"low","cost_usd":0.006244,"raw_usage":{"total_tokens":1598,"prompt_tokens":788,"num_sources_used":0,"completion_tokens":92,"cost_in_usd_ticks":62440000,"prompt_tokens_details":{"text_tokens":788,"audio_tokens":0,"image_tokens":0,"cached_tokens":128},"completion_tokens_details":{"audio_tokens":0,"reasoning_tokens":718,"accepted_prediction_tokens":0,"rejected_prediction_tokens":0}},"tokens_in":788,"tokens_out":92,"duration_ms":5576,"temperature":1.0,"reasoning_tokens":718,"cache_read_input_tokens":128,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-07-12T04:15:18.539759+00:00","model_set":{"reader":"grok-4.5"},"falsifier":"Exhibit a continuous map from the unit cube into the unitary group that cannot be lifted to any continuous anti-Hermitian generator, or construct a counter-example to either representation inside O_1(I) itself.","supporting_citations":[],"review_version":1}