{"id":"3093e61b-5170-4ecf-bfad-fba2bf2eb48e","arxiv_id":"1908.03576","paper_version":2,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":6.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":3,"one_line_summary":"Moving a central vortex along a short triangular path for precisely chosen times implements the braiding gate on three exterior vortex Majoranas without physically exchanging them.","lead":"This paper shows that Majorana braiding, normally requiring an infinitely slow swap of vortices, can be done quickly by moving one vortex in a small loop around three fixed ones. If the trick works in real materials, it would let experiments demonstrate non-Abelian quantum statistics in iron-based superconductors on nanosecond timescales.","discovery_kind":"new_method","skeptic_critique":{"model":"deepseek-v4-flash","headline":"Robustness proof relies on exact C3/mirror symmetry; the paper's own Fig. S5 shows that breaking C3 lifts the protected zeros and adds a phase error, so the headline robustness claim is overstated.","rationale":"We agree with the reader that the weakest assumption is the C3/mirror symmetry on which the factorization Eq. (8) rests. This is not a peripheral technicality: the abstract's headline robustness claim is the paper's main selling point, and the paper's own supplemental data (Fig. S5) show that breaking C3 lifts the zeros (green) and that residual couplings add a dynamical phase to φ (blue/green). Without the symmetry, the analytical proof no longer applies, and the robustness must be re-established numerically on a case-by-case basis. We checked whether the time-evolution formula (Eq. 4) and the product form (Eq. 8) are internally consistent; for the symmetric model they are. The concern is exclusively about scope: the claimed robustness to 'material specific parameters' is only demonstrated within the symmetric subspace. The reader's CONDITIONAL verdict already captures this; we therefore recommend no change to the verdict.","tokens_in":11547,"tokens_out":21181,"duration_ms":198593,"concrete_test":"Use the supplement's tight-binding model to simulate the full three-edge protocol with the exterior vortices displaced from their ideal triangular positions by random in-plane vectors of amplitude δ (e.g., δ = 0.1 nm and δ = 1 nm), while keeping γ_m's path as in the ideal protocol. For each disorder realization, compute |q|^2(T) and φ(T) as in Fig. 2. If for δ = 0.1 nm the minimum of |q|^2 over T exceeds 10^-6 or φ at the nearest-by zero of |q|^2 deviates from π/2 by more than 10^-2 rad, the robustness claim fails at the claimed experimental precision. Alternatively, in the low-energy model of Eq. (2), add a C3-breaking perturbation λ_3(t) = ε sin(3πt/2T) on one edge with ε = 0.01 and recompute the full q; if the zeros lift, the polynomial-protection argument requires exact C3.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The paper's central analytical result is that the finite-time gate has zero quasiparticle excitation and phase π/2 at discrete times T_n, and that this is robust because q(T) is a product of real polynomials (Eq. 8). This factorization relies on two structural assumptions: (i) on each edge, the Hamiltonian couples γ_m to only two exterior Majoranas, so that the edge evolution has the form Eq. (6) with real coefficients; and (ii) the full three-edge evolution is C3-equivariant, so that the same b_i(T) describe every edge. Assumption (i) is grounded in the geometry and the decoupling distances, and is not the issue. Assumption (ii) is the load-bearing one: the C3/mirror symmetry of the setup is what turns the product of three edge unitaries into the factorized expression of Eq. (8). The paper's own Supplement (Sec. 2, Fig. S5) demonstrates that when C3 is slightly broken, the protected zeros of |q|^2 lift and an additional dynamical phase appears in φ (green curves). Moreover, even a nominally C3-preserving set of residual couplings (blue curve) shifts φ away from π/2, as the supplement text states: 'residual couplings introduce a time-dependent additional phase.' The abstract, however, claims robustness 'against variations in material specific parameters' without the C3 caveat. Since real positional disorder (the stated 0.1 nm calibration precision) breaks C3, the practical robustness of the protocol is not established by the analytical proof; it would require numerical verification for each disorder realization.","agreement_with_reader":"agree"},"referee_report":{"model":"deepseek-v4-flash","summary":"The manuscript proposes a finite-time Majorana braiding protocol in which a movable vortex Majorana γm is driven along a short triangular path around three static vortex Majoranas γ1, γ2, γ3 arranged as an equilateral triangle. The authors present a low-energy Hamiltonian H(t)=iJΣλi(t)γiγm, solve it exactly for a specific sinusoidal driving protocol, and show that at discrete times Tn=3π√(n^2−1/16)ℏ/J the time evolution equals the braiding operator B1,3 with zero quasiparticle excitation probability |q|2=0 and finite-time phase φ=π/2. They argue that the excitation amplitude factorizes into a product of real polynomials, so its zeros are robust to small variations in material parameters and braiding speed. The proposal is supported by a realistic tight-binding simulation for FeTe0.55Se0.45, by a detailed experimental calibration protocol based on STM manipulation and LDOS measurements, and by an appendix that verifies the analytic solution by explicit substitution.","tokens_in":11864,"tokens_out":5773,"duration_ms":65058,"significance":"If the central claim holds, this is a significant step toward practical Majorana braiding: it avoids long adiabatic paths and the associated coherence and flux-line twisting problems, and it predicts nanosecond-scale gate times for an experimentally accessible iron-based superconductor. The analytic solution is a genuine strength, and the explicit verification in the appendix plus the realistic tight-binding simulation give the central result nontrivial support. The paper also contains a falsifiable experimental recipe and a clear generalization to Y-junctions and adatom-tuned Majorana couplings. However, the advertised robustness is narrower than the abstract suggests, because the analytic proof assumes exact C3 and mirror symmetry; the supplement itself shows that breaking C3 lifts the protected zeros and introduces an uncompensated dynamic phase. That caveat is load-bearing for the practical claim and must be addressed.","major_comments":[{"comment":"The robustness statement that the zeros of |q|2 are 'shifted but not lifted' by small variations rests on the factorization of qg as a product of real polynomials, which in turn requires the three edge evolutions to have the same real coefficients b1,...,b4 and therefore requires exact C3 and mirror symmetry. The supplement's own Fig. S5 shows that when C3 is slightly broken, the protected zeros of |q|2 lift (green curve), so the unqualified abstract claim of robustness 'against variations in material specific parameters' is not supported by the analytical proof. Since the stated positioning precision of 0.1 nm breaks C3 in a real experiment, the practical robustness of the protocol requires either a numerical study of symmetry-breaking disorder or a clear restatement of the claim as robustness within the symmetry-preserving class of perturbations.","section":"Main text Eqs. (6)-(8); Supplement Sec. 2, Fig. S5"},{"comment":"Perfect braiding requires both vanishing quasiparticle excitation (q=0) and the correct gate phase (φ=π/2). The analytical proof and the factorization argument address only q; the phase φ is not protected by the same polynomial argument. The supplement explicitly states that residual couplings introduce a time-dependent additional phase and shows numerically that φ deviates from π/2 once the ground-state degeneracy is lifted, even when C3 is maintained. Therefore the main-text statement that perfect finite-time braiding is achieved at Tn, together with the claim that the protocol is robust against material parameter variations, conflates two different properties. The paper should specify precisely which quantities (|q|2, φ, or the full gate) remain exact under which classes of perturbations.","section":"Main text Eqs. (8)-(10); Supplement Sec. 2, Fig. S5(b)"},{"comment":"The statement that a single zero of q is shifted but not lifted by small deviations assumes the zero is simple. The authors do not prove simplicity of the zeros of the realistic qg, and the supplement's numerical evidence for the C3-broken case shows that zeros can indeed disappear. While the analytic model's zeros at Tn are simple, the transfer of this property to the realistic tight-binding model is asserted rather than proven. A short argument or a numerical scan over the parameter region of interest would make the robustness claim quantitatively reliable.","section":"Main text, braiding validation paragraph and Eq. (8)"}],"minor_comments":[{"comment":"The phrase 'where b1(T)=b4(T) in Eq. (9)' appears to refer to the coefficients introduced in Eq. (6), not to quantities defined in Eq. (9); please correct the cross-reference.","section":"Main text, paragraph after Eq. (9)"},{"comment":"Reference [40] contains the placeholder '[url] will be inserted by the publisher'; the Supplemental Material should have a stable reference or DOI so that the reader can access the verification and the numerical details.","section":"Reference [40]"},{"comment":"The term 'finite-time Berry phase' is used before it is defined; since φ is a phase difference between two parity sectors rather than a standard Berry phase, a more explicit definition and a note on its gauge dependence would improve rigor.","section":"Main text, Eq. (10) and surrounding discussion"},{"comment":"The statement that a deviation of about 0.1 nm from the perfect positions 'does not crucially affect the protocol' should be reconciled with the supplement's finding that residual couplings shift φ by a time-dependent phase; the quali-fication 'crucially' needs a quantitative definition.","section":"Main text, setup paragraph"},{"comment":"Please specify what quantity is plotted in each panel and identify the four vortices unambiguously; the current caption does not explain the color coding or the axes.","section":"Fig. 1(c) caption"}],"recommendation":"major_revision","confidential_remarks":"The paper is well within the scope of the journal and the core analytic and numerical work appears sound. The main issue is that the broader robustness claim goes beyond what the symmetry-based proof and the supplement's own numerics support. With a revised discussion that clearly separates symmetry-preserving from symmetry-breaking perturbations, and with a quantitative treatment of the phase error, the paper could become acceptable. No concerns about novelty or attribution."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Let me give you the short version. This paper solves a real problem: it shows that you can braid vortex Majoranas by moving a central vortex around a triangle in finite time, without adiabatic exchange, and it constructs the gate explicitly. The exact solution for a particular time-dependent hybridization is verified by substitution, and the times T_n where quasiparticle excitation vanishes are identified. The robustness argument is the nice part: because the excitation amplitude q is a product of real polynomials, small symmetry-preserving changes in the Hamiltonian shift the zeros without lifting them, and the tight-binding simulation confirms the zeros persist. That is real, reproducible math, and the paper does a service by working out a concrete FeTe0.55Se0.45 setup with realistic length scales.\n\nNow the soft spots, in proportion. The main text is mostly careful about stating that C3 and mirror symmetry are assumed, but the abstract is not. It says the gate is 'robust against variations in material specific parameters' with no caveat. The supplement tells a more nuanced story: residual couplings that preserve C3 leave the zeros intact but shift the phase away from pi/2; breaking C3, at the level of the 0.1 nm positional calibration the paper itself quotes, lifts the zeros entirely (Fig. S5). So the analytical robustness proof covers symmetry-preserving variations, not positional disorder. The main text's claim that 'quasiparticle excitations stemming from slightly misplaced vortices are insignificant' sits uneasily next to the supplement's green curve. This is an overstatement of the robustness, and it should be fixed in revision by qualifying the abstract and quantifying the C3-breaking errors.\n\nThe other caveats are minor. The rotating-frame solution is standard, and the geometry extends earlier Y-junction work, but the finite-time condition and the zero-protection argument are new enough. The gate is explicitly not topologically protected, which the authors admit. Some readers might want the code released, but that is a preference, not a flaw.\n\nBottom line: the central result is correct in the idealized model and well supported numerically. The paper deserves serious peer review. It will be useful to anyone working on practical Majorana braiding, provided the robustness claim is restated honestly.","headline":"Solid finite-time braiding protocol with an elegant analytic result, but the abstract overstates robustness by omitting the C3 symmetry requirement.","tokens_in":12396,"tokens_out":3597,"would_cite":true,"duration_ms":37928,"reading_group":"yes","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":[],"pacs":[],"model":"deepseek-v4-flash","headline":"Moving one vortex a short distance around a triangle realizes Majorana braiding in finite time, with a gate that stays exact despite small parameter variations.","keywords":["Majorana zero modes","vortex Majoranas","finite-time braiding","non-adiabatic quantum gate","FeTe0.55Se0.45","quasiparticle excitation suppression","topological quantum computing","Majorana carousel"],"falsifier":"Measure the probability $|q|^2$ of leaving the ground-state manifold as the central vortex completes the triangular path in total time $T$: the claim predicts exact zeros at every $T_n=3\\pi\\sqrt{n^2-1/16}\\,\\hbar/J$ together with the finite-time Berry phase $\\varphi=\\pi/2$. A nonzero minimum at any predicted $T_n$, or a measured $\\varphi\\neq\\pi/2$ at the zero, would refute the central claim.","tokens_in":11340,"feed_emoji":"🌀","tokens_out":16458,"duration_ms":142328,"temperature":0.7,"pith_summary":"The paper replaces the standard adiabatic braiding of Majorana zero modes—the half-fermionic, zero-energy states at vortex cores—with a finite-time protocol: in a triangle of three fixed vortex Majoranas, a fourth movable vortex is driven a few nanometers around a short loop (a \"Majorana carousel\"). The central claim is that at the discrete total times $T_n = 3\\pi\\sqrt{n^2-1/16}\\,\\hbar/J$, this motion implements the braiding gate on the exterior Majoranas with zero probability of exciting quasiparticles and with the finite-time Berry phase exactly $\\pi/2$. Robustness follows analytically because the quasiparticle excitation amplitude is a product of real polynomials, so its zeros shift but do not lift under small changes in material parameters or braiding speed. The authors verify the protocol in a realistic tight-binding model of FeTe$_{0.55}$Se$_{0.45}$ and note that the same mechanism works in Y-junctions of Majorana wires.","feed_headline":"A short vortex loop braids Majoranas in finite time","feed_subtitle":"One vortex, a few-nanometer loop, an exact braiding gate at discrete times, stable against drift.","key_machinery":"The argument rests on the low-energy four-Majorana Hamiltonian $H(t)=iJ[\\lambda_1(t)\\gamma_1+\\lambda_2(t)\\gamma_2+\\lambda_3(t)\\gamma_3]\\gamma_m$, where the $\\lambda_i(t)$ are time-dependent hybridization strengths and $J$ is the maximal hybridization energy. Along one edge of the path, with $\\lambda_1(t)=\\sin(3\\pi t/2T)$, $\\lambda_2(t)=\\cos(3\\pi t/2T)$, $\\lambda_3(t)=0$, the time-evolution operator has the closed form $U_{j,k}(t)=e^{-\\gamma_j\\gamma_k\\,3\\pi t/4T}e^{\\gamma_j\\gamma_m Jt/\\hbar+\\gamma_j\\gamma_k\\,3\\pi t/4T}$, which becomes the braiding operator $B_{i,j}$ at the times $T_n=3\\pi\\sqrt{n^2-1/16}\\,\\hbar/J$. For a general protocol respecting mirror and C3 symmetry, the one-edge evolution is $U^g_{j,k}(T)=b_1+b_2\\gamma_j\\gamma_m+b_3\\gamma_m\\gamma_k+b_4\\gamma_k\\gamma_j$ with real $b_i$, and the full-loop quasiparticle excitation amplitude is $q^g(T)=\\sqrt{2}e^{i\\pi/4}(b_4(T)-b_1(T))(1-(\\sum_i b_i(T))^2)$. Because this is a product of real polynomials, the zeros of $|q|^2$ are robust: small variations shift them without lifting them, which is what makes the finite-time braiding gate stable.","core_discovery":"The central claim is that Majorana braiding can be realized in finite time without physically exchanging the Majoranas. In the proposed geometry, three exterior vortex Majoranas $\\gamma_1,\\gamma_2,\\gamma_3$ sit at the corners of an equilateral triangle, decoupled from each other by the special distances $r_j=\\pi(j-3/4)/k_F$, and a fourth movable vortex Majorana $\\gamma_m$ traverses a path that keeps it at distance $r_4$ from the exterior ones. Moving $\\gamma_m$ once around this path in total time $T$ yields, up to a phase, the braiding gate $B_{1,3}$, with perfect fidelity at the times $T_n=3\\pi\\sqrt{n^2-1/16}\\,\\hbar/J$: the probability $|q|^2$ of leaving the ground-state manifold vanishes and the finite-time Berry phase $\\varphi$ equals $\\pi/2$. The robustness proof uses the general symmetry-respecting time evolution along one edge, which gives $q^g\\propto (b_4-b_1)(1-(\\sum_i b_i)^2)$ with real $b_i$, a product of real polynomials whose single zeros are stable against small perturbations. The analytic solution of the exactly solvable Hamiltonian $H(t)=iJ\\sum_i\\lambda_i(t)\\gamma_i\\gamma_m$ at the same times reproduces the braiding operator exactly.","pith_inferences":["If the polynomial robustness extends beyond the C3-symmetric manifold, the protocol might tolerate small positional disorder that breaks C3, but the paper's own Fig. S5 shows the protected zeros lift when C3 is broken; a practical implementation would need to actively maintain the symmetry or recalibrate the braiding time.","The discrete set of perfect-braiding times $T_n$ gives a practical knob: since different $n$ correspond to different total times, the same physical path can implement the braiding gate at a chosen speed, or, away from the zeros, act as a phase gate—the appendix notes each zero realizes another phase gate, including a $\\pi/4$ magic gate.","The exact solvability of the one-edge evolution suggests that more complicated multi-vortex networks—hexagons or ladders of Majoranas—might admit similar closed-form alternating solutions, provided the hybridization functions follow sine/cosine profiles and the geometry preserves enough symmetry.","A direct experimental test of the protocol could use the LDOS evolution predicted in Fig. 1(c): the moving vortex should never show a zero-bias peak, while the zero-bias peaks at the exterior vortices permute according to the protocol."],"forward_implications":["Majorana braiding can be executed at gigahertz rates, with total times as short as about 0.24 ns for FeTe$_{0.55}$Se$_{0.45}$, removing the need for minute-long adiabatic paths that suffer quasiparticle poisoning and flux-line instabilities.","The braiding gate is realized without physically exchanging the Majoranas, so the twisted flux lines that destabilize adiabatic vortex braiding never form.","Small sample-to-sample variations in material parameters, or a non-constant local speed of the vortex, do not destroy the gate; they merely shift the perfect-braiding times slightly.","The scheme transfers directly to Y-junctions of one-dimensional topological superconductors, because it relies only on tunable hybridization between a central and three peripheral Majorana modes.","At each protected zero of $|q|^2$, the finite-time Berry phase equals exactly $\\pi/2$, providing an experimental signature of successful braiding that can be checked by phase-sensitive readout."],"supporting_citations":[{"why":"Gives the hybridization strength $\\cos(k_F r+\\pi/4)e^{-r/\\xi}/\\sqrt{r}$ that fixes the decoupling distances $r_j$ used to build the vortex geometry.","marker":"[36, 37]"},{"why":"Studied the low-energy four-Majorana Hamiltonian of Eq. (2) in the adiabatic limit, defining the braiding operator the finite-time protocol must reproduce.","marker":"[10, 33, 34]"},{"why":"Supplies the material-specific tight-binding model for FeTe$_{0.55}$Se$_{0.45}$ and the simulation from which realistic $\\lambda_i(t)$ are extracted.","marker":"[39, 40]"},{"why":"Gives the verification of the closed-form time-evolution operator in Eq. (4) and the numerical analysis of misplaced vortices and broken C3 symmetry.","marker":"[40]"},{"why":"Establishes the adiabatic braiding limit $\\lim_{T\\to\\infty}U(T)\\propto B_{1,2}$ and the Berry-phase formalism extended to finite time as $\\varphi$.","marker":"[33, 34, 45–47]"},{"why":"Identifies FeTe$_{0.55}$Se$_{0.45}$ as the experimental platform and provides the material parameters entering the tight-binding simulation.","marker":"[13, 27–29]"},{"why":"Documents the low-field triangular vortex lattice in FeTe$_{0.55}$Se$_{0.45}$ that justifies the equilateral arrangement of the exterior vortices.","marker":"[16]"}],"fun_headline_variants":["Majorana carousel braids without physical exchange","Finite-time vortex loop yields exact Majorana gate","No-exchange braiding: robust Majorana gate","Vortex loop performs exact braiding at discrete times","Carousel braiding: finite-time Majorana exchange-free"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The robustness proof assumes the four vortices behave exactly as the four-Majorana low-energy model and that their arrangement keeps mirror and threefold-rotation symmetry for the entire motion.","fun_headline_variants_meta":{"raw":{"variants":["Majorana carousel braids without physical exchange","Finite-time vortex loop yields exact Majorana gate","No-exchange braiding: robust Majorana gate","Vortex loop performs exact braiding at discrete times","Carousel braiding: finite-time Majorana exchange-free"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000374,"raw_usage":{"total_tokens":1995,"prompt_tokens":944,"completion_tokens":1051,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":560,"completion_tokens_details":{"reasoning_tokens":976}},"tokens_in":560,"tokens_out":1051,"duration_ms":9767,"temperature":1.0,"reasoning_tokens":976,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-14T14:10:49.175446+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Measure the probability $|q|^2$ of leaving the ground-state manifold as the central vortex completes the triangular path in total time $T$: the claim predicts exact zeros at every $T_n=3\\pi\\sqrt{n^2-1/16}\\,\\hbar/J$ together with the finite-time Berry phase $\\varphi=\\pi/2$. A nonzero minimum at any predicted $T_n$, or a measured $\\varphi\\neq\\pi/2$ at the zero, would refute the central claim.","supporting_citations":[{"cited_title":"Posske, C.-K","cited_arxiv_id":null,"evidence_quote":"Gives the verification of the closed-form time-evolution operator in Eq. (4) and the numerical analysis of misplaced vortices and broken C3 symmetry."},{"cited_title":"Machida, Y","cited_arxiv_id":null,"evidence_quote":"Documents the low-field triangular vortex lattice in FeTe$_{0.55}$Se$_{0.45}$ that justifies the equilateral arrangement of the exterior vortices."}],"review_version":1}