{"id":"5df9e24f-84ac-49fc-9bf3-54d2e8f98708","arxiv_id":"2412.14879","paper_version":4,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":6.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":1,"one_line_summary":"A straight-edge spin observable is defined for quantum Hall fluids and shown to fractionalize with bulk quasiparticles through a reference-dependent density dipole moment.","lead":"The authors define a measurable spin for the edge of a fractional quantum Hall fluid on a cylinder with straight boundaries, and show it can fractionalize with a bulk quasiparticle. The value depends on a chosen reference position, and the robust fractional part is tied to quasiparticle statistics.","discovery_kind":"new_method","skeptic_critique":{"model":"deepseek-v4-flash","headline":"The analytic proof of the central edge-spin formula rests on an unproven rigid-shift assumption for orbital occupations; if this shift fails, the reference-independent p^2 fractionalization does not follow.","rationale":"The reader's weakest assumption identifies exactly the rigid-shift relation n^{(p)}_{x̄,q}=n^{(0)}_{x̄,q−p} as the unproven step on which the analytic proof of Eq. (18) depends. I agree: this is the single most load-bearing concern because the reference-independent part of the claimed fractionalization, the p^2 term, is obtained from the shifted occupation profile νδ_{q<p} in Eq. (23); any deviation from a rigid shift directly changes that term. Other concerns are secondary. The x̄-dependence of J_e is acknowledged and the p^2 term is x̄-independent, so reference-point ambiguity does not threaten the core claim. The modulo-1 discrepancies for the ψ1, ψ2, and ε quasiholes in the RR state are presented as technical (different particle numbers) and are irrelevant to the Abelian proof; they affect the numerical verification of Eq. (31), not the analytic structure. The paper does provide independent support: exact analytic results for the Laughlin state's quasiparticle spin, MPS numerics for Laughlin and RR, and a constructive definition of the edge spin. However, the generic-state proof is conditional on the rigid-shift assumption, so the appropriate verdict remains CONDITIONAL. My stress-test does not find a reason to move beyond the reader's assessment.","tokens_in":15780,"tokens_out":12670,"duration_ms":106838,"concrete_test":"Using the MPS occupation data behind Fig. 1, evaluate max_q |n^{(p)}_{x̄,q} − n^{(0)}_{x̄,q−p}| for p=1,2,3 in the right-edge region, for both the Laughlin state and a non-Laughlin incompressible state (e.g., the ν=2/5 Jain state or the RR ground state) with an Abelian quasihole. If the difference is at the level of the MPS truncation error in all cases, Eq. (18) is supported; if it deviates systematically, the rigid-shift assumption fails and the analytic proof does not go through.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The central claim—that the edge spin fractionalizes with the bulk quasiparticle, Eq. (18)—is proven in Sec. IV.D only by assuming n^{(p)}_{x̄,q}=n^{(0)}_{x̄,q−p}, i.e., that inserting a Laughlin quasihole rigidly shifts the right-edge orbital occupations by exactly p orbitals. The text acknowledges this is not derived: 'This fact has been extensively discussed in rotationally symmetric configurations but holds true also in other geometries, as can be verified numerically.' In the cylinder geometry, the quasihole factor ∏_i(μ z_i − η^{-1})^p is not a pure translation in the Landau-gauge index q, so an exact rigid shift is nontrivial. If the shift is only approximate or receives p-dependent corrections, then Δ_e^{(p)} in Eq. (24) is not linear in p and the p^2 term—the part claimed to be reference-point independent and opposite to the bulk—is not established by the proof. The numerical evidence in Fig. 1 demonstrates that the edge density shifts, but it does not directly verify the occupation-number equality for generic states. Since the Proposition in Eq. (18b) is stated for a generic incompressible FQH state, not just Laughlin, this unproven step is the main load-bearing gap.","agreement_with_reader":"agree"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper introduces a definition of an edge spin for incompressible fractional quantum Hall states on a cylinder, Eq. (6), expressed equivalently through Landau-orbital occupation numbers, Eq. (10). For a single Laughlin quasihole of charge -nu p, the authors derive analytically that the edge spin is J_e^(p)=nu p^2/2 - nu p/2 - (L_y/2 pi)(xbar - xbar_0)nu p, so that the part proportional to p^2 is opposite to the bulk quasiparticle spin and independent of the reference point; they also give a generalized formula for a Laughlin quasihole in a generic incompressible state, Eq. (18b). They numerically verify the edge and quasiparticle spins for the Laughlin state and for the k=3 Read-Rezayi state, including non-Abelian quasiholes, using MPS calculations, and show that with a particular reference choice one obtains J_e = -J_qp. The proof for generic states relies on an unproven rigid-shift assumption for the orbital occupation numbers.","tokens_in":16065,"tokens_out":19342,"duration_ms":161416,"significance":"If correct, the paper provides a measurable, non-circular notion of edge spin and demonstrates spin fractionalization between a bulk quasiparticle and the edge, extending the known bulk spin-statistics relation to the boundary. The analytic treatment of the Laughlin state is clean, and the MPS data for Laughlin and RR states support the predicted plateau values. The separation of the reference-dependent linear term from the universal p^2 coefficient is a useful conceptual step. However, the advertised generality of the analytic Proposition is not fully established, because a key step in the proof is an unproven assumption about rigidly shifted orbital occupations.","major_comments":[{"comment":"The Proposition in Eq. (18b) is proved only under the rigid-shift assumption n^(p)_{xbar,q} = n^(0)_{xbar,q-p}, introduced in the proof of Eq. (24). The text acknowledges that this relation is not derived for the cylinder geometry: 'This fact has been extensively discussed in rotationally symmetric configurations but holds true also in other geometries, as can be verified numerically.' Because the Proposition is stated for a generic incompressible FQH state, not only for the Laughlin state, this is the main load-bearing step: if the shift is only approximate or receives p-dependent corrections, Delta_e^(p) in Eq. (24) is not linear in p and the p^2 term that is claimed to be reference-independent and opposite to the bulk is not established. The numerical data in Fig. 1 demonstrate the density shift but do not directly verify the occupation-number equality for generic states. Please either prove the rigid shift in the Landau-gauge basis on the cylinder, restrict the Proposition to states for which it holds with an explicit numerical check (as done for the RR state), or clearly state it as an assumption and adjust the scope of the abstract and conclusions accordingly.","section":"Sec. IV.D, Eqs. (22)-(26)"},{"comment":"Equation (12) is not correct as stated. For the orbitals phi_{xbar,q} centered at x_q + xbar, one has (L_y/2 pi) int phi*_{xbar,q'} x phi_{xbar,q} dxdy = (q + (L_y/2 pi) xbar) delta_{q,q'}, not q delta_{q,q'}. The equivalence between Eq. (6) and Eq. (10) follows from the identity with (x - xbar) in place of x, or from applying the correct identity to the charge-neutral difference delta rho_e. Please correct Eq. (12) and the sentence 'Using Eq. (12) the equality between the expressions Eqs. (6) and (10) can be shown'.","section":"Sec. III.C, Eq. (12)"}],"minor_comments":[{"comment":"In Sec. II, the counting around Eq. (2) describes the occupied band as q = 0, ..., (N-1)/nu, while in Sec. IV.D the background occupation numbers are taken as nu delta_{q<0}. This is consistent only if the orbital sums in Sec. IV are performed in the edge-centered basis with xbar chosen near the boundary; please state this convention explicitly to avoid an apparent contradiction.","section":"Sec. II and Sec. IV.D"},{"comment":"The proof of existence and uniqueness of xbar_0 says one can choose orbitals such that the sum of occupation numbers equals nu Z 'by shifting the FQH density by the necessary (continuous) amount,' but xbar is restricted to the discrete set 2 pi Z / L_y. The subsequent variation argument actually uses discrete shifts and shows the sum changes by -nu Z'; please rephrase to give a discrete argument.","section":"Sec. IV.D, Eq. (18c)"},{"comment":"For the non-Abelian quasiholes psi_1, psi_2, and epsilon, the equality J_e^(alpha) = -J_qp^(alpha) is verified only modulo 1, as the text states. Since spin-statistics relations use e^{2 pi i J}, the modulo-1 mismatch is not physically damaging, but the abstract's phrasing that the edge spin is 'inherited' from the bulk quasiparticle spin should be qualified for these cases, or the integer ambiguity should be resolved with the improved particle-number matching described in Ref. [30].","section":"Sec. V.C, Eq. (31)"}],"recommendation":"major_revision","confidential_remarks":"The paper is a serious contribution and the main results are likely correct, but the advertised generality of the analytic Proposition (18) is not supported by the proof as written. The authors should be asked to either prove the rigid-shift property in the cylinder geometry or restrict the claim and supply numerical verification for each state. The typo in Eq. (12) must be corrected. I do not see grounds for rejection."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"The genuinely new thing here is a definition of edge spin for a straight boundary, not just the circularly symmetric case, and an analytic formula for how it fractionalizes with an Abelian Laughlin quasihole. For Laughlin states the derivation is clean and the MPS data support it. The RR section extends the same idea to non-Abelian quasiholes and the numerics are convincing enough for a first pass.\n\nThe proof of the general proposition rests on the assertion that inserting a quasihole rigidly shifts the edge occupation numbers by p orbitals. The paper says this is known and can be checked numerically, but it is not derived. On a cylinder, that is not a trivial statement, so the generic-state formula is conditional on this step. The authors are not hiding it, but a referee should push for a derivation or a more direct numerical check. The second caveat is the reference point x̄. The equality Je = -Jqp in Eq. (21) is obtained by choosing Eq. (20); the paper says so openly. What survives is the p^2 coefficient, which is reference-independent and is the physically meaningful part for spin-statistics. The modulo-1 discrepancies for some RR quasiholes are a minor blemish, and the authors give a reasonable excuse (different particle numbers; exponentiated spin matters).\n\nThis is a useful contribution for the FQH subfield, not a breakthrough. The citation pattern is fine; the companion paper carries the MPS details. I'd cite it if I worked on geometric definitions of FQH observables. It deserves a serious referee, though the referee should ask for a proof or stronger numerical evidence for the rigid shift.","headline":"A clean, specialized definition of the edge spin on a cylinder with analytic and MPS support; the main gap is an unproven rigid-shift assumption in the generic-state proof.","tokens_in":16558,"tokens_out":2627,"would_cite":true,"duration_ms":22618,"reading_group":"maybe","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":[],"pacs":["73.43.-f"],"model":"deepseek-v4-flash","headline":"This paper shows that a measurable spin defined at the straight edge of a fractional quantum Hall fluid on a cylinder takes a fractional value that is exactly opposite to the fractional spin of a bulk Abelian or non-Abelian quasiparticle…","keywords":["fractional quantum Hall effect","edge spin","spin fractionalization","Laughlin quasiholes","Read-Rezayi states","bulk-boundary correspondence","cylinder geometry","spin-statistics relation"],"falsifier":"For a Laughlin $\\nu=1/3$ state on a cylinder with one quasihole placed deep in the bulk, evaluate $J_e$ from the density profile via Eq. (6) using a reference point that makes the edge chargeless; the paper predicts exactly $J_e = -1/3$. If the integral over the edge region deviates from $-1/3$ by more than the numerical uncertainty, the central claim is falsified.","tokens_in":15563,"feed_emoji":"🌀","tokens_out":12694,"duration_ms":82787,"temperature":0.7,"pith_summary":"Fractional quantum Hall fluids are known to fractionalize charge and statistics between bulk quasiparticles and edges; this paper shows that spin fractionalizes too. The authors define an edge spin directly from the density depletion at a straight boundary on a cylinder, requiring no circular symmetry, and prove that for Laughlin quasiholes the part of the edge spin proportional to the square of the quasiparticle charge is exactly opposite to the bulk quasiparticle spin. For a natural choice of the edge reference center, the full edge spin equals the negative of the quasiparticle spin, $J_e^{(p)} = -J_{qp}^{(p)}$, and the same relation holds numerically for the Abelian and non-Abelian quasiholes of the $k=3$ Read–Rezayi state. Because the edge spin is defined in terms of measurable density profiles, the fractional spin of the boundary becomes an observable rather than a formal quantum number.","feed_headline":"Quantum Hall edge spin equals minus quasiparticle spin","feed_subtitle":"The fractional spin of the boundary is measurable from density alone, and it exactly cancels the bulk quasiparticle's spin.","key_machinery":"The machinery is the decomposition $\\delta\\rho = \\delta\\rho_{qp,\\eta} + \\delta\\rho_e$ of the density change into a local quasiparticle component and edge components, together with the identity $\\frac{L_y}{2\\pi}\\int \\phi^*_{\\bar{x},q'}\\,x\\,\\phi_{\\bar{x},q}\\,d^2z = q\\,\\delta_{q,q'}$ for Landau-gauge orbitals on the cylinder. This identity lets the density-integral definition of $J_e$ be rewritten as a sum over orbital occupation numbers, $J_e = \\sum_q q\\,(n^{(1)}_{\\bar{x},q}-n^{(0)}_{\\bar{x},q})$. The analytic proof then rests on the rigid-shift property $n^{(p)}_{\\bar{x},q} = n^{(0)}_{\\bar{x},q-p}$ for an Abelian Laughlin quasihole, which moves the boundary outward by exactly $p$ orbitals; subtracting the box background $\\nu\\,\\delta_{q<0}$ and fixing the reference point $\\bar{x}_0$ such that the edge is chargeless yields Eqs. (18) and the exact opposite-sign relation for the $p^2$ part.","core_discovery":"The central claim is that the edge of an incompressible lowest-Landau-level fractional quantum Hall fluid fractionalizes spin with a bulk quasiparticle even when the two have different shapes. Defining the edge spin as $J_e = \\frac{L_y}{2\\pi}\\int (x-\\bar{x})\\delta\\rho_e\\,d^2z$ on a cylinder, the authors derive $J_e^{(p)} = \\frac{\\nu p^2}{2} - \\frac{\\nu p}{2} - \\frac{L_y}{2\\pi}(\\bar{x}-\\bar{x}_0)\\nu p$ for an Abelian Laughlin quasihole in a Laughlin state, and the analogous expression with $q_e^{(p)} = -q_{qp}^{(p)} = p\\nu$ for a generic incompressible state. The term proportional to $p^2$ is exactly opposite to the bulk quasiparticle spin and is independent of the reference point $\\bar{x}$, which is what makes the fractionalization topological. With the reference choice $-\\frac{L_y}{2\\pi}(\\bar{x}-\\bar{x}_0) = \\frac12(1-\\frac1\\nu)$, the full edge spin becomes $J_e^{(p)} = -J_{qp}^{(p)}$, and for the $k=3$ Read–Rezayi state the same identity $J_e^{(\\alpha)} = -J_{qp}^{(\\alpha)}$ (up to integer parts for some quasihole types) is confirmed numerically for six types of Abelian and non-Abelian quasiholes.","pith_inferences":["Because only the $p^2$ part of $J_e$ is reference-independent, an experiment measuring edge density profiles for two different quasihole charges could isolate the topological spin contribution without needing to locate $\\bar{x}_0$.","The same orbital-occupation definition might extend to deformed planar droplets or tilted boundaries, where the edge spin would be a local 'dipole moment' of the boundary rather than a rotation quantum number.","If the edge spin is indeed measurable via density, time-of-flight imaging of cold-atom quantum Hall droplets could provide a direct platform to observe spin fractionalization, since those experiments already access density profiles.","The relation between edge spin and the scaling dimensions $h_{qp}^{(\\alpha)}$ suggests that energy-transport or tunneling measurements at the edge could reveal the non-Abelian nature of bulk quasiparticles."],"forward_implications":["The fractional spin of a quantum Hall edge is a measurable quantity: it can be extracted from the density profile alone, without knowing the Hamiltonian or any global symmetry of the wavefunction.","For Laughlin quasiholes, the topological (reference-independent) part of the edge spin is $-\\frac12\\nu p^2$, exactly opposite to the bulk quasihole spin; this part is what enters the spin-statistics relation.","The edge spin satisfies a spin-statistics relation analogous to that of bulk quasiparticles, so a measurement of the edge spin for charges $p$ and $2p$ gives the statistical phase of the quasihole.","In the $k=3$ Read–Rezayi state, all studied Abelian and non-Abelian quasiholes fractionalize spin to the edge, with $J_e^{(\\alpha)} = -J_{qp}^{(\\alpha)}$ (mod 1 for some types), so the phenomenon is not restricted to Abelian states."],"supporting_citations":[{"why":"Supplies the measurable fractional-spin definition for quantum Hall quasiparticles that is generalized to the edge.","marker":"[11]"},{"why":"Establishes the spin-statistics relation for bulk quasiholes that the edge spin is shown to inherit.","marker":"[12]"},{"why":"Introduces the box-background occupation numbers and edge dipole-moment reasoning used to construct the edge spin.","marker":"[46]"},{"why":"Provides the tensor-network representation of quantum Hall wavefunctions used in the numerical checks.","marker":"[28]"},{"why":"Gives the bosonic tensor-network description of Read–Rezayi states and quasihole spins that underlies the RR numerics.","marker":"[30]"},{"why":"Defines the k=3 Read–Rezayi states whose Abelian and non-Abelian quasiholes are studied.","marker":"[29]"},{"why":"Defines the Laughlin state and quasihole and establishes charge fractionalization, the template for spin fractionalization.","marker":"[5]"},{"why":"Introduces the shift quantum number S used in the bulk spin formula and in the reference-point convention.","marker":"[47]"}],"fun_headline_variants":["Edge spin equals minus quasiparticle spin","Fractional edge spin mirrors bulk quasiparticle spin","Quantum Hall edge spin: fractional, opposite to bulk","Edge spin fractionalizes, cancels bulk quasiparticle spin"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The analytic proof of Eq. (18) assumes that inserting an Abelian Laughlin quasihole rigidly shifts the edge orbital occupation numbers by exactly $p$ orbitals, $n^{(p)}_{\\bar{x},q}=n^{(0)}_{\\bar{x},q-p}$, in the cylinder geometry; the paper states this can be verified numerically but does not derive it.","fun_headline_variants_meta":{"raw":{"variants":["Edge spin equals minus quasiparticle spin","Fractional edge spin mirrors bulk quasiparticle spin","Quantum Hall edge spin: fractional, opposite to bulk","Edge spin fractionalizes, cancels bulk quasiparticle spin"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000185,"raw_usage":{"total_tokens":1335,"prompt_tokens":975,"completion_tokens":360,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":591,"completion_tokens_details":{"reasoning_tokens":297}},"tokens_in":591,"tokens_out":360,"duration_ms":3594,"temperature":1.0,"reasoning_tokens":297,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-11T11:50:48.006841+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"For a Laughlin $\\nu=1/3$ state on a cylinder with one quasihole placed deep in the bulk, evaluate $J_e$ from the density profile via Eq. (6) using a reference point that makes the edge chargeless; the paper predicts exactly $J_e = -1/3$. If the integral over the edge region deviates from $-1/3$ by more than the numerical uncertainty, the central claim is falsified.","supporting_citations":[{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Supplies the measurable fractional-spin definition for quantum Hall quasiparticles that is generalized to the edge."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Establishes the spin-statistics relation for bulk quasiholes that the edge spin is shown to inherit."},{"cited_title":"A bosonic matrix product state description of Read-Rezayi states and its application to quasi-hole spins","cited_arxiv_id":"2412.14889","evidence_quote":"Gives the bosonic tensor-network description of Read–Rezayi states and quasihole spins that underlies the RR numerics."}],"review_version":1}