{"id":"1871e1ae-1f4c-4fee-a539-58996165365b","arxiv_id":"2507.11039","paper_version":1,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":7.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":1,"one_line_summary":"With a time-tuned correction coupling, braiding of imperfect (overlapping) Majoranas yields a nonabelian operation whose deviation from perfect Majorana braiding is given by an analytic formula, vanishing only in the fully fermionic limit.","lead":"This paper studies what happens when you braid Majorana quasiparticles that are not perfectly isolated, and shows that adding a carefully tuned correction coupling restores the ground-state degeneracy during the braid. The result is a nonabelian braiding operation that stays stable for all imperfect Majoranas except the perfectly fermionic limit, with an exact formula for how the outcome degrades.","discovery_kind":"new_method","skeptic_critique":{"model":"deepseek-v4-flash","headline":"The central nonabelian result is only derived for identical overlaps; the asymmetric generalization in SI Sec. VIII is empirical and fails numerically for larger effective overlap, so the claim 'nonabelian for all eta<1' is not established for realistic devices.","rationale":"The paper's central quantitative results are the analytic angles in Eq. 13 and the MBS similarity in Eq. 15, both derived under the explicit assumption of identical overlaps and identical corrections. The paper itself acknowledges in SI Sec. VIII that the asymmetric generalization is empirical and that the numerical degeneracy optimization fails for larger eta_eff. This is the weakest point of the central claim because the abstract and conclusions extrapolate to physical platforms where unequal overlaps are the generic situation. I considered whether the more serious issue is the parity-dependent correction, since the protocol requires knowing the total parity and matching relative signs, but the paper discloses this limitation explicitly, so it is not a hidden inconsistency. I also considered whether the 'nonabelian' claim should be tested through full braid-group relations rather than a single exchange operator, but the protocol is demonstrated for a specific closed loop and the paper's terminology is consistent with the Majorana braiding literature. The asymmetric-overlap concern is therefore the most load-bearing: it targets the quantitative formula that the central claim rests on, and it is not resolved by the submitted evidence. The reader's conditional verdict already captures this, so no change to the verdict is needed.","tokens_in":17610,"tokens_out":28925,"duration_ms":326581,"concrete_test":"Perform time-dependent Schrodinger simulations for the asymmetric Hamiltonian (Eq. S81) on a dense grid of (eta1, eta2, eta3) with each eta_k in [0,0.9), solving for lambda2(t) and lambda3(t) at every time step to keep the ground-state manifold degenerate, and compare the numerically obtained double-braid MBS similarity to Eq. 15 with eta_eff = sqrt(eta1*sqrt(eta2*eta3)). If the deviation exceeds a few percent anywhere in the grid, or if the lambda optimization fails before reaching eta=1, the empirical eta_eff reduction is not a valid substitute for the symmetric derivation and the 'nonabelian for all eta<1' claim must be restricted. A complementary check is to re-derive the Berry phase in SI Sec. V without assuming eta2=eta3 and verify whether the result factorizes through any single effective eta.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The exact braiding angle (Eq. 13) and MBS similarity (Eq. 15) are obtained from a diagonalization that assumes eta1=eta2=eta3 and lambda2=lambda3 (Eq. 1 and SI Sec. II). For the realistic asymmetric case, the paper offers only an effective overlap eta_eff = sqrt(eta1*sqrt(eta2*eta3)) in SI Sec. VIII, explicitly stating that this formula 'was obtained by testing different ways of taking the mean of the overlaps and this one worked the best.' The numerical optimization of lambda2 and lambda3 needed to maintain ground-state degeneracy is reported to fail for larger eta_eff, no error bounds are given for the agreement in Fig. S2, and no analytical argument explains why a single effective eta should replace three distinct overlaps. Since real devices will have unequal overlaps, the general statement that the corrected protocol remains nonabelian for all eta<1 is not supported beyond the symmetric, fine-tuned model. If the eta_eff reduction is not exact, Eq. 15 and the robustness claim can fail quantitatively for asymmetric devices.","agreement_with_reader":"agree"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper studies adiabatic braiding of Majorana bound states with finite spatial overlap (\"imperfect\" MBSs), using the Hamiltonian of Eq. (1) with a common overlap parameter η and correction couplings λ. It derives the double-braid operator in the ground-state sector, Eq. (14), with the angle given by Eq. (13), and the MBS similarity S(U) of Eq. (15), interpolating between full nonabelian exchange at η=0 and the identity at η=1. The authors argue that a suitably corrected protocol remains nonabelian for all η<1, and they support this with an analytical diagonalization in the SI, numerical time-dependent Schrödinger simulations, and a code reference. The SI also proposes an effective-overlap treatment of asymmetric MBS overlaps.","tokens_in":17860,"tokens_out":7311,"duration_ms":86599,"significance":"If the central result holds, this is a valuable conceptual contribution: it gives an exact nonabelian Berry-phase solution for a coupling-based braiding protocol in a finite-size model with overlapping Majoranas, and it identifies a simple experimental signature through the MBS similarity S(U). The paper is careful in several respects: the analytic diagonalization is explicit, the Berry-phase calculation is reduced to a solvable matrix differential equation, and the numerical results in Fig. S1 are shown to match the adiabatic formula. The provision of code for the numerical simulations is also a strength. However, the significance for realistic devices is currently limited by the symmetric-overlap assumption and by the empirical character of the asymmetric generalization, so the scope of the claims needs to be tightened.","major_comments":[{"comment":"The claim 'the result remains nonabelian for all η<1' is established only for symmetric MBS overlaps η1=η2=η3 and equal correction couplings λ2=λ3. The extension to asymmetric overlaps in SI Sec. VIII uses an effective overlap η_eff = sqrt(η1*sqrt(η2*η3)), which is explicitly described as obtained by testing different averaging formulas, with the numerical optimization of λ2 and λ3 failing for larger η_eff and no error bounds reported for Fig. S2. Since real devices will generally have unequal overlaps, the general statement in the abstract and conclusions is not supported beyond the symmetric, fine-tuned model. I recommend either restricting the main claims to the symmetric case or providing a principled derivation, or a systematic bounded numerical study, for the asymmetric case.","section":"Main text, Model (Eq. (1)) and SI Sec. VIII (Eq. (S82), Fig. S2)"},{"comment":"The proposed implementation in minimal Kitaev chains assumes that the correction parameter λ can be tuned independently while η remains fixed. However, in the two-site chain both quantities derive from the same microscopic parameters: Eq. (S2) gives the splitting as ε = Δ_car − t_cot, while Eq. (S4) and the accompanying text state that ζ (and hence η = ζ^2) depends on the energy detuning ε_k. The SI acknowledges this dependence but then treats ζ as a constant system parameter. As written, the claim that the protocol can be implemented in quantum-dot-based minimal Kitaev chains is therefore not fully supported; a concrete control scheme that keeps η fixed while λ(t) is varied, or a statement of the required device-level tuning, is needed.","section":"SI Sec. I (Eqs. (S2), (S4), (S6)-(S10))"}],"minor_comments":[{"comment":"The expression for S(U) is written as Tr{U^2(η)† U^2(0)}^2/4, which is ambiguous: it should be made clear that the squared trace is divided by 4, i.e., (Tr[...])^2/4.","section":"Main text, Eq. (15)"},{"comment":"The notation 'θα,µ|θ=0=0' mixes Greek letters; using consistent subscripts (θα and θμ) would improve readability.","section":"SI Sec. V, Eq. (S51)"},{"comment":"The agreement in Fig. S2 is described only by eye as 'very well'; adding a quantitative measure, e.g., the maximum deviation in S(U) over the plotted range, would strengthen the claim.","section":"Fig. S2 and surrounding text"}],"recommendation":"major_revision","confidential_remarks":"This is a well-executed analytic and numerical study, and the symmetric-case result appears sound. The main obstacle is the gap between the detailed symmetric model and the broad claims about imperfect Majoranas in realistic devices. With the claims appropriately scoped and the asymmetric case either properly derived or clearly labeled as an empirical extension, the paper could become acceptable for publication."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Dear Colleague,\n\nThe paper is worth your time: it gives the first analytic nonabelian Berry phase for braiding imperfect Majoranas across the whole MBS-to-fermion crossover, and it proposes a correction λ(t) that restores the ground-state degeneracy that imperfect overlaps destroy. For the symmetric model (η1=η2=η3, λ2=λ3), the derivation is explicit, the numerics match the adiabatic result, and the code is available. The interpolation formula S(U)=sin²[(π/2)√((1−η²)³/(1−η⁶))] is a concrete, testable prediction for quantum-dot Kitaev chains. The citation pattern is appropriate: the relevant fine-tuning papers are cited, and the new contribution relative to them is the analytic interpolation and the correction scheme.\n\nThe main soft spot is exactly where the stress-test lands. The 'nonabelian for all η<1' claim is only derived for the symmetric, fine-tuned case. Real devices have asymmetric overlaps, and the SI's remedy is an effective ηeff chosen empirically—'testing different ways of taking the mean... this one worked the best'—with no error bounds and with the numerical optimization for λ2, λ3 failing for larger ηeff. That does not invalidate the symmetric result, but it means the paper's headline generality is not established. The abstract also omits two conditions the authors themselves note in the text: the correction depends on the total parity sector, so you must know the parity to run the protocol, and the relative signs of the error and correction terms must match. These are not fatal for the model, but they are important for experiments.\n\nThe paper is honest in a way that helps: it explicitly says the parity dependence prevents using this for topological quantum computing without knowing the state, and it flags the sign-matching requirement. So the overstatement is mostly at the abstract level.\n\nBottom line: for the symmetric model, this is a solid formal result with a clean derivation and good numerics. For experiments, the asymmetric case is the one that matters, and it is an empirical aside. I would send this to a serious referee: the core is credible, and the authors should be pressed to qualify the general claims and to give the asymmetric case a real treatment, even if only a perturbative one. I would cite it if I worked on minimal Kitaev chains; I'd discuss it at reading group rather than take it as settled.","headline":"Solid analytic result for symmetric imperfect Majoranas, but the 'nonabelian for all η<1' claim is only proven in the symmetric fine-tuned case; the asymmetric generalization is an empirical fit.","tokens_in":18410,"tokens_out":3584,"would_cite":true,"duration_ms":37717,"reading_group":"maybe","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":[],"pacs":[],"model":"deepseek-v4-flash","headline":"The paper claims that an adiabatically corrected braiding protocol performs a nonabelian rotation on imperfect Majorana bound states, with the rotation angle shrinking to zero only when the system becomes an ordinary fermion.","keywords":["Majorana bound states","nonabelian braiding","adiabatic Berry phase","minimal Kitaev chains","ground-state degeneracy","MBS similarity","topological quantum computing"],"falsifier":"Measure the probability that the two outer parity bits flip after a corrected double braid in a three-chain T-junction while sweeping the overlap $\\eta$; if the measured curve does not match $S(\\eta)=\\sin^2\\!\\left(\\frac{\\pi}{2}\\sqrt{\\frac{(1-\\eta^2)^3}{1-\\eta^6}}\\right)$ — unity at $\\eta=0$, decreasing and reaching zero only at $\\eta=1$ — the central claim is wrong.","tokens_in":17449,"feed_emoji":"🔄","tokens_out":9264,"duration_ms":100263,"temperature":0.7,"pith_summary":"Majorana bound states are zero-energy quasiparticles whose exchange (braiding) is expected to demonstrate nonabelian behavior, meaning the final state depends on the order of exchanges. Real devices, however, host only imperfect Majoranas that partly resemble ordinary fermions. This paper studies a coupling-based braiding protocol on three pairs of Majoranas with a tunable overlap parameter $\\eta$ that interpolates between isolated Majoranas and fully overlapping fermion pairs. It shows that adding a compensating coupling, tuned so that the ground-state degeneracy stays exact throughout the protocol, removes the dynamical phase that otherwise destroys the braid. The central result is that the corrected double braid acts as a controlled rotation whose angle is a known function of $\\eta$, staying nonabelian for every $\\eta<1$ and approaching the trivial fermion operation only at $\\eta=1$.","feed_headline":"Braiding stays nonabelian even for imperfect Majoranas","feed_subtitle":"A compensating coupling restores degeneracy, so a double braid rotates by an angle that vanishes only in the fermion limit.","key_machinery":"The argument is carried by a rotation-based diagonalization of the eight-Majorana Hamiltonian. The Majoranas are split into two groups with only inter-group couplings, so a singular-value decomposition diagonalizes the system without mixing the groups. This produces dressed ground-state Majoranas $\\gamma_1^D,\\gamma_\\Delta^D$, the projector $P=\\tfrac12(1-i\\gamma_1^D\\gamma_\\Delta^D)$, and a degeneracy condition $\\epsilon(\\lambda,\\eta)=\\lambda$ that fixes the compensating coupling throughout the protocol. The nonabelian Berry phase computed from $P$ factorizes into three protocol intervals; in the first and third intervals the integrand becomes constant, and only the middle interval requires solving a differential equation in a Pauli-matrix representation. The resulting angles $\\phi,\\tilde{\\phi}$ depend on the overlap $\\eta$ and enter the final rotation $U(\\eta)$.","core_discovery":"Within the ground-state sector, the corrected double-braid operator is $U(\\eta)=\\exp((\\phi-\\tilde{\\phi})\\gamma_3\\gamma_2)$ with $\\phi-\\tilde{\\phi}=\\frac{\\pi}{4}\\frac{1-\\eta^2}{\\sqrt{1+\\eta^2+\\eta^4}}$, so the protocol implements a partial exchange of the two outer Majoranas. The paper defines the MBS similarity $S(U)=\\mathrm{Tr}(U^2(\\eta)^\\dagger U^2(0))^2/4=\\sin^2\\!\\left(\\frac{\\pi}{2}\\sqrt{\\frac{(1-\\eta^2)^3}{1-\\eta^6}}\\right)$, which quantifies how closely a double braid matches the isolated-Majorana result. At $\\eta=0$ the operation is the standard exchange, while at $\\eta=1$ it is the identity; for $\\eta\\lesssim0.25$ the double braid is almost indistinguishable from the isolated case, and the paper argues the result remains nonabelian for all $\\eta<1$. This is established by an adiabatic nonabelian Berry-phase calculation after restoring degeneracy with the correction term.","pith_inferences":["If the empirical effective-overlap rule $\\eta_{\\rm eff}=\\sqrt{\\eta_1\\sqrt{\\eta_2\\eta_3}}$ holds beyond the tested range, the analytic curve $S(\\eta)$ doubles as a calibration tool: measuring the parity-flip probability after a double braid would directly estimate the device's effective Majorana overlap.","The paper's symmetric-overlap assumption leaves open whether the exact statement that braiding remains nonabelian for all $\\eta<1$ survives asymmetric device parameters; the numerical search for compensating couplings fails at larger effective overlaps, so a practical device may need another way to find them.","The result suggests that topological protection is not a strict prerequisite for a useful nonabelian gate: a device with moderate overlap could implement a known, reproducible rotation rather than the ideal exchange, which may be sufficient for protocols that tolerate fixed gate errors.","Testing the protocol with deliberately unequal overlaps on one pair would discriminate between the effective-overlap formula and alternative averaging rules, since the predicted $S$ differs for each."],"forward_implications":["For overlaps $\\eta\\lesssim0.25$, the corrected double braid reproduces the isolated-Majorana operation to high accuracy, so short chains with imperfect Majoranas remain useful for braiding tests.","The corrected result does not pick up a dynamical phase and is insensitive to the precise duration and shape of the coupling pulses, unlike the uncorrected protocol whose outcome oscillates with the protocol time.","A parity measurement after the double braid gives a direct experimental signature: the initial parities flip in the isolated limit, stay unchanged in the fermion limit, and rotate through an intermediate value determined by $S(\\eta)$.","The protocol can be implemented in quantum-dot-based minimal Kitaev chains, where the overlaps and the compensating couplings are tunable via gate voltages and superconductor phases.","For the opposite total-parity sector the correction requires a large compensating coupling that closes or reduces the gap, so the practical protocol works in the parity sector with the larger gap."],"supporting_citations":[{"why":"Supplies the minimal Kitaev chain model from which the three-pair Hamiltonian and the physical realization in Fig. 1 are built.","marker":"[22]"},{"why":"Defines the coupling-based braiding protocol and documents the ground-state splitting by overlap terms that the correction term must remove.","marker":"[35]"},{"why":"Introduces the coupling-based braiding approach that the three-interval cyclic protocol follows.","marker":"[14]"},{"why":"Provides another early formulation of the same cyclic coupling braid, cited alongside [14].","marker":"[15]"},{"why":"Introduces the combined Majorana operator $\\gamma_\\Delta$ used to define the gap and the ground-state sector.","marker":"[44]"},{"why":"Supplies the nonabelian Berry-phase formalism used to compute the braiding operator.","marker":"[50]"},{"why":"Documents the dynamical-phase failure mode that motivates the degeneracy-restoring correction.","marker":"[37]"},{"why":"Defines the Majorana polarization measure used to connect $\\eta$ to a standard MBS quality metric.","marker":"[24]"}],"fun_headline_variants":["Imperfect Majoranas still braid nonabelian","Corrected braiding survives imperfect Majoranas","Nonabelian braiding endures for imperfect Majoranas","Compensated protocol keeps braid nonabelian","Partial braid remains nonabelian for imperfect MBS"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The analytical solution assumes that all three Majorana pairs have exactly the same overlap $\\eta$ and that the two compensating couplings are equal; with asymmetric overlaps the paper relies on an empirically fitted effective-overlap formula, and the numerical search for the compensating couplings fails when the effective overlap is large.","fun_headline_variants_meta":{"raw":{"variants":["Imperfect Majoranas still braid nonabelian","Corrected braiding survives imperfect Majoranas","Nonabelian braiding endures for imperfect Majoranas","Compensated protocol keeps braid nonabelian","Partial braid remains nonabelian for imperfect MBS"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000286,"raw_usage":{"total_tokens":1690,"prompt_tokens":959,"completion_tokens":731,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":575,"completion_tokens_details":{"reasoning_tokens":655}},"tokens_in":575,"tokens_out":731,"duration_ms":8533,"temperature":1.0,"reasoning_tokens":655,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-06T17:18:28.502760+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Measure the probability that the two outer parity bits flip after a corrected double braid in a three-chain T-junction while sweeping the overlap $\\eta$; if the measured curve does not match $S(\\eta)=\\sin^2\\!\\left(\\frac{\\pi}{2}\\sqrt{\\frac{(1-\\eta^2)^3}{1-\\eta^6}}\\right)$ — unity at $\\eta=0$, decreasing and reaching zero only at $\\eta=1$ — the central claim is wrong.","supporting_citations":[{"cited_title":"Leijnse and K","cited_arxiv_id":null,"evidence_quote":"Supplies the minimal Kitaev chain model from which the three-pair Hamiltonian and the physical realization in Fig. 1 are built."},{"cited_title":"Tsintzis, R","cited_arxiv_id":null,"evidence_quote":"Defines the coupling-based braiding protocol and documents the ground-state splitting by overlap terms that the correction term must remove."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Introduces the coupling-based braiding approach that the three-interval cyclic protocol follows."},{"cited_title":"van Heck, A","cited_arxiv_id":null,"evidence_quote":"Provides another early formulation of the same cyclic coupling braid, cited alongside [14]."},{"cited_title":"Karzig, F","cited_arxiv_id":null,"evidence_quote":"Introduces the combined Majorana operator $\\gamma_\\Delta$ used to define the gap and the ground-state sector."},{"cited_title":"Samuelson, V","cited_arxiv_id":null,"evidence_quote":"Supplies the nonabelian Berry-phase formalism used to compute the braiding operator."},{"cited_title":"Tsintzis, R","cited_arxiv_id":null,"evidence_quote":"Defines the Majorana polarization measure used to connect $\\eta$ to a standard MBS quality metric."}],"review_version":1}