{"id":"09bf6400-5f25-4ecb-91e5-dc00a41510b3","arxiv_id":"2506.01314","paper_version":2,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":6.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"Imposing magic conservation, equivalent to commutativity of the initial density matrix and the T-matrix, in 2-to-2 two-Higgs-doublet scattering yields SO(8) for arbitrary initial states and SU(2)_R for definite-isospin states.","lead":"The paper shows that requiring a quantum-information quantity called magic to be conserved in leading-order scalar scattering forces the Higgs potential of a two-Higgs-doublet model into highly symmetric forms, including a maximal SO(8) symmetry for generic initial states and a smaller SU(2)_R symmetry for definite-isospin states.","discovery_kind":"extension","skeptic_critique":{"model":"deepseek-v4-flash","headline":"The claimed equivalence of magic conservation with [T,rho0]=0 (Eq. 15) is asserted without derivation; if the first-order stabiliser-entropy condition is weaker than full commutativity, the central emergent-symmetry results do not follow from nonstabiliserness.","rationale":"After reading the paper and the reader's verdict, I agree the manuscript is not ready as-is. The most load-bearing point, in my view, is not the purity assumption (which is standard and supported by Ref. [9] at leading order) but the unproved identification of magic conservation with [T,rho0]=0. Eq. (15) is the pivot of the paper: everything else follows from the commutator condition. The text asserts that the expansion of M_lin yields Eq. (15) but does not show it. Since the first-order magic variation is a single scalar functional, it is not obvious that its vanishing for all states forces the full amplitude matrix to be proportional to the identity; it might, but it needs a proof. The reader's rationale noted this as a missing derivation, but the weakest_assumption field emphasised purity, hence partial agreement. I do not choose the omission of off-diagonal constraints in Eq. (40) as the primary concern: that is a clear but local typographical/completeness error—the text states lambda_T proportional to 1_3, which already implies lambda5=lambda6=lambda7=0—and fixing it does not affect the logic. The concrete test above would settle the equivalence; if it passes, the paper is a solid contribution with only the Eq. (40) presentation issue; if it fails, the central claim is unsupported and the verdict should be REJECT or UNVERDICTED. Under the current state of evidence, maintaining the reader's CONDITIONAL is appropriate, hence UNCHANGED.","tokens_in":13387,"tokens_out":15868,"duration_ms":174123,"concrete_test":"Perform the expansion that the paper omits: substitute rho_f = rho0 + i[T,rho0] + O(lambda^2) into Eq. (4) for a general two-qubit state with coefficients B_{ij}, keep the first-order term Delta M_lin = -(1/2^n) sum_P Tr^3(rho0 P) Tr(i[T,rho0] P), and demand this polynomial vanish identically in B_{ij}, B*_{ij} for a general Hermitian 4x4 amplitude matrix M_{ijkl}. Use symbolic algebra to solve the resulting coefficient equations and check whether they are equivalent to M_{ijkl}=M delta_{ik} delta_{jl}. If they are strictly weaker, exhibit a counterexample amplitude matrix that conserves magic to first order but does not commute with all rho0; this would falsify the paper's equivalence and invalidate the derivation of the SO(8)/SU(2)_R constraints from nonstabiliserness.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The central logical step is the assertion in Sec. III that demanding first-order conservation of the linearised stabiliser entropy M_lin for an arbitrary initial state forces the tree-level amplitudes to take the form M_{ijkl}=M delta_{ik} delta_{jl} (Eq. 15), and hence that magic conservation is equivalent to [T,rho0]=0. No derivation is given: the text merely states 'This results in the following condition' after describing the expansion. The equivalence is not automatic. The first-order variation of M_lin is a single real-valued polynomial functional of the state—Delta M_lin = -(1/2^n) sum_P Tr^3(rho0 P) Tr(i[T,rho0] P)—whereas [T,rho0]=0 is a matrix identity. Requiring this polynomial to vanish identically in the coefficients B_{ij} could in principle impose a strictly weaker set of constraints than M_{ijkl}=M delta_{ik} delta_{jl}. Since the paper's central claim is that a conservation law for nonstabiliserness selects the SO(8)/SU(2)_R potentials, this equivalence is load-bearing: if it fails, the commutator condition is an independent postulate, and the advertised information-theoretic derivation collapses. The missing expansion also leaves open the possibility that the condition instead selects one of the weaker entanglement-minimisation conditions (Eq. 17) or some other amplitude pattern.","agreement_with_reader":"partial"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper proposes that leading-order 2→2 scalar scattering in a two-Higgs-doublet model conserves nonstabiliserness (magic), formulates this as commutativity [T, rho0] = 0, and shows that this condition restricts the quartic potential. For Phi+ Phi0 scattering in flavour space it obtains M_{ijkl} = M delta_{ik} delta_{jl}, which forces the maximally symmetric SO(8) potential lambda (Phi1^dagger Phi1 + Phi2^dagger Phi2)^2 and hence natural alignment. Extending the Hilbert space by an explicit isospin qubit and imposing Bose symmetry, the paper finds that scattering an arbitrary two-particle initial state again forces the SO(8) form, while scattering a definite-isospin triplet state forces an SU(2)_R symmetric form with lambda1 = lambda2 = (lambda3 + lambda4)/2 (and, properly, lambda5 = lambda6 = lambda7 = 0). An antisymmetric momentum wave function is shown to impose no constraints.","tokens_in":13596,"tokens_out":15318,"duration_ms":171102,"significance":"If the missing derivation is supplied, this is a worthwhile contribution: it shows that a single information-theoretic principle, rather than hand-picked symmetries, selects the highly symmetric quartic potentials that realize the alignment limit, and it clarifies the relation between magic conservation and previously studied entanglement minimisation (Eq. (15) is a special case of Eq. (17)). The paper is not circular: the lambda_i are outputs, the mapping Eq. (27) is explicit and checkable, and the role of Bose symmetry in entangling isospin and flavour is clearly identified. The main limitation is that the advertised equivalence between magic conservation and [T, rho0] = 0 is asserted rather than demonstrated; until that step is shown, the emergent-symmetry results are conditional on an additional postulate.","major_comments":[{"comment":"The derivation of Eq. (15) is the load-bearing step of the paper, but it is not shown. The text states that expanding the final-state linearised stabiliser entropy to first order and demanding that the resulting polynomial in B_{ij}, B*_{ij} vanish identically 'results in' M_{ijkl} = M delta_{ik} delta_{jl}. This is a nontrivial implication: the first-order variation of M_lin is a single scalar polynomial in the state coefficients, while Eq. (15) is a matrix identity on the four-qubit amplitude. Equation (16) establishes only that Eq. (15) implies [T, rho0] = 0 and hence magic conservation; the converse direction, which is needed to justify using [T, rho0] = 0 as the guiding principle in Secs. III and IV, is asserted. Please display the full expansion of Delta M_lin and prove that identical vanishing in B_{ij} forces Eq. (15), or state the commutator condition as an independent postulate and adjust the claims accordingly.","section":"Sec. III, Eq. (15)"},{"comment":"The commutation condition for the isospin-triplet initial state is said to enforce lambda_T proportional to 1_3. Reading this through Eq. (27), that condition requires not only lambda1 = lambda2 = (lambda3 + lambda4)/2 but also lambda5 = lambda6 = lambda7 = 0. The displayed Eq. (40) omits the vanishing of the off-diagonal entries; a potential obeying only Eq. (40) is not invariant under the SU(2)_R flavour rotation and, for generic beta_{1,n}, does not satisfy [T, rho0] = 0. The statement of the emergent SU(2)_R result should be corrected to the full set of conditions, and the same point should be made explicit in the abstract and conclusions if they quote the shortened form.","section":"Sec. IV C, Eqs. (27) and (40)"},{"comment":"The paper assumes that the flavour and momentum degrees of freedom remain unentangled at leading order, so that the final-state flavour density matrix is rho_f = rho0 + i[T, rho0] and Tr(rho_f^2) = 1 + O(lambda^2). This is stated with a pointer to Ref. [9] but not demonstrated in this manuscript. The pure-state definition of M_lin in Eq. (4) is then applied to rho_f; if the partial trace over momentum produces O(lambda^2) corrections, a discussion of why they do not affect the O(lambda) variation of M_lin would make the derivation self-contained. Since this assumption underlies the expansion used to obtain Eq. (15), please either prove it from the leading-order contact interactions or state it explicitly as an assumption.","section":"Sec. II C"}],"minor_comments":[{"comment":"The momentum-state normalisation appears to be missing the usual factors; it should presumably read (2 pi)^6 4 E_{p1} E_{p2} delta^{(3)}(p1 - q1) delta^{(3)}(p2 - q2).","section":"Eq. (9)"},{"comment":"The phrase 'vanishing entanglement power' in the Introduction is used without definition; please add a definition or a precise citation.","section":"Sec. II A"},{"comment":"The same symbol rho is used for the full two-particle density matrix, the reduced flavour-space density matrix, and the isospin-flavour density matrix after Bose symmetrisation; please distinguish these objects notationally to avoid confusion.","section":"Secs. III--IV"},{"comment":"The notation lambda_T ~ 1_3 should be defined explicitly; as written it is unclear whether it means proportional to the 3x3 identity matrix or merely equal diagonal entries.","section":"Sec. IV C"}],"recommendation":"major_revision","confidential_remarks":"The central information-theoretic claim is conditional on a missing derivation, and the SU(2)_R condition as displayed is incomplete. Both are fixable within the manuscript's scope, so I recommend major revision rather than rejection. The overlap with the authors' earlier work (Ref. [14]) is modest and does not constitute a novelty problem."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Colleague,\n\nThe paper is worth a look, but the central step is under-built. The authors claim that imposing first-order conservation of the linearised stabiliser entropy for all initial states forces the scattering amplitudes to be M δ_{ik} δ_{jl} (Eq. 15), and hence that magic conservation is equivalent to [T, ρ0] = 0. That equivalence is the load-bearing assertion, and it is not derived anywhere. The text just says \"This results in the following condition.\" The stress-test concern is valid: the first-order variation of M_lin is a single real polynomial in the state coefficients, and it is not obvious that its vanishing identically is the same as full commutativity. This needs to be shown.\n\nWhat is genuinely new is the extension to all P=2 channels with weak isospin as a second qubit. The Bose-symmetry correlation between the isospin and flavour sectors is a nice touch, and the definite-isospin SU(2)_R result is a real addition beyond the known SO(8) case. The mapping to the quartic couplings through Eq. (27) is clear and checkable.\n\nThe soft spots: Eq. (40) as printed only gives λ1 = λ2 = (λ3 + λ4)/2; the same argument also forces λ5 = λ6 = λ7 = 0, which is needed for the claimed SU(2)_R invariance. That omission is easy to fix but should be explicit. The paper also overstates what the principle explains: at the end, [T, ρ0] = 0 is imposed as a postulate, not derived from something deeper, so calling it a \"justification\" of the alignment limit is a stretch. And the purity assumption, that flavour and momentum stay unentangled to leading order, is asserted with a pointer to Ref. [9] rather than shown here; that's probably fine, but it is part of the chain.\n\nIf the missing expansion of Eq. (15) can be supplied, and the off-diagonal constraints made explicit, this becomes a solid contribution to the emergent-symmetry literature. As it stands, it is a plausible but unproven equivalence wrapped around a checkable symmetry analysis.\n\nSend it to review; ask for the derivation and the missing constraints.","headline":"An interesting extension of the emergent-symmetry idea to magic conservation, but the load-bearing equivalence between magic conservation and [T, ρ0] = 0 is asserted rather than shown.","tokens_in":14234,"tokens_out":5612,"would_cite":true,"duration_ms":59419,"reading_group":"maybe","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":[],"pacs":["03.67.-a","11.30.-j","12.60.Fr"],"model":"deepseek-v4-flash","headline":"Forcing 2-to-2 scalar scattering to conserve quantum magic restricts the two-Higgs-doublet quartic potential to a maximally symmetric SO(8) form, or to an SU(2)_R-symmetric form for definite-isospin states.","keywords":["two-Higgs-doublet model","nonstabiliserness","magic","emergent symmetry","SO(8) symmetry","SU(2)_R symmetry","alignment limit","scattering amplitudes"],"falsifier":"Exhibiting a single Bose-symmetric two-particle initial state for which the transition matrix and the initial state commute, but the quartic couplings are not $\\lambda_1 = \\lambda_2 = (\\lambda_3 + \\lambda_4)/2$ with $\\lambda_5 = \\lambda_6 = \\lambda_7 = 0$, would falsify the definite-isospin derivation, because the paper's algebra says no such state exists. A complementary check is to compute the linearised stabiliser entropy to second order in the quartic couplings for a definite-isospin triplet initial state: if magic is not conserved at that order for the SU(2)$_R$-symmetric potential, the leading-order principle fails to extend in the way stated.","tokens_in":13071,"feed_emoji":"⚛️","tokens_out":12564,"duration_ms":115959,"temperature":0.7,"pith_summary":"The paper's thesis is that one quantum-information conservation law can generate the symmetries model builders normally impose by hand on the two-Higgs-doublet scalar potential. The law is conservation of nonstabiliserness, or 'magic,' in 2-to-2 scalar scattering, which the authors show is equivalent at leading order to demanding that the initial-state density matrix commute with the transition matrix. Applied to all two-particle scattering channels, that commutator condition forces the quartic potential to the maximally symmetric SO(8) form $V_4 = \\lambda(\\Phi_1^\\dagger\\Phi_1 + \\Phi_2^\\dagger\\Phi_2)^2$ when the initial state is arbitrary, and to the smaller SU(2)$_R$-symmetric form with $\\lambda_1 = \\lambda_2 = (\\lambda_3 + \\lambda_4)/2$ and $\\lambda_5 = \\lambda_6 = \\lambda_7 = 0$ when the initial state has definite weak isospin. Both constrained forms automatically satisfy the alignment limit, so if the argument is correct a single information-theoretic principle explains why the observed Higgs boson is Standard Model-like without fine-tuning. A careful reader would care because the same highly symmetric potentials that model builders impose ad hoc are here derived from a conservation law.","feed_headline":"Quantum magic picks out the maximally symmetric Higgs potential","feed_subtitle":"One conservation law forces the SO(8) quartic for general states, SU(2)_R for definite isospin.","key_machinery":"The carrying object is the linearised stabiliser entropy $M_{\\mathrm{lin}}(\\rho) = 1 - (1/2^n)\\sum_P \\mathrm{Tr}^4(\\rho P)$, a faithful measure of nonstabiliserness (magic) defined by summing over products of Pauli matrices; a state has zero magic exactly when it is a stabiliser state, the class efficiently simulable by Clifford circuits. The argument's load-bearing identity is that demanding $M_{\\mathrm{lin}}(\\rho_f) = M_{\\mathrm{lin}}(\\rho_0)$ to first order in the quartic couplings is equivalent to $[T, \\rho_0] = 0$, because any nonvanishing commutator would change the magic at $O(\\lambda)$. The Hilbert space is partitioned as $\\mathcal{H}_2 \\simeq \\mathcal{H}_p \\otimes \\mathcal{H}_{\\mathrm{iso}} \\otimes \\mathcal{H}_{\\mathrm{flav}}$, giving four qubits (two for isospin, two for flavour), and the $T$-matrix is written in blocks built from singlet and triplet bilinears of SU(2)$_L \\otimes$ SU(2)$_R$; Bose symmetry fixes which combinations of those blocks can appear in $\\rho_0$. The commutator then acts as a linear constraint on the quartic parameters, and requiring it to vanish for all allowed initial states forces the $T$-blocks to be proportional to the identity, which translates directly into the quoted relations among $\\lambda_1,\\dots,\\lambda_7$.","core_discovery":"The central claim is that magic conservation is not just a bookkeeping device: it is a symmetry-generating constraint. At leading order in the quartic couplings, requiring the linearised stabiliser entropy of the final state to match the initial state is exactly the condition $[T, \\rho_0] = 0$, where $T$ is the transition matrix and $\\rho_0$ the initial two-particle density matrix. Writing the two doublets as a bidoublet under SU(2)$_L \\otimes$ SU(2)$_R$ and representing each scattering channel as a four-qubit system (two isospin qubits, two flavour qubits), the authors decompose the $T$-matrix into singlet and triplet blocks. Bose symmetry restricts the initial-state density matrix and entangles the isospin and flavour sectors. For an arbitrary allowed initial state, the commutator vanishes only if both blocks are proportional to the identity on the relevant subspaces, which fixes $\\lambda_1 = \\lambda_2 = \\lambda_3/2$ and all other quartic couplings to zero, recovering the maximally symmetric SO(8) potential. For a definite-isospin triplet initial state, the singlet block drops out and the condition only forces the triplet block to be proportional to the identity, giving $\\lambda_1 = \\lambda_2 = (\\lambda_3 + \\lambda_4)/2$ and $\\lambda_5 = \\lambda_6 = \\lambda_7 = 0$, the SU(2)$_R$-symmetric potential; scattering a singlet or using an antisymmetric momentum wave function imposes no further constraints. In both constrained cases the potential satisfies the alignment condition, so a Standard Model-like Higgs can emerge without a tuned parameter.","pith_inferences":["The paper leaves the quadratic, gauge, and fermion sectors unconstrained; a natural extension is to test whether the same commutator condition, applied after electroweak symmetry breaking, selects the full potential rather than only its quartic part.","Because the definite-isospin result singles out the same SU(2)$_R$-symmetric quartic as a left-right symmetric scalar bidoublet, one testable extension is to run the two-particle magic-conservation analysis in a left-right symmetric model and see whether it reproduces the bidoublet potential without extra assumptions.","If the principle is meant to survive coupling to the rest of the Standard Model, the arbitrary-state result, which forces the transition matrix to the identity gate, is a stress test: future embeddings will need to specify which initial states count as allowed, since all mathematically conceivable two-particle states may be too broad a set."],"forward_implications":["Magic conservation is strictly stronger than entanglement minimisation: it forces the transition matrix to be proportional to the identity gate for an arbitrary initial state, whereas the entanglement conditions allow single-qubit operations.","For an arbitrary two-particle initial state, the quartic potential is forced to the maximally symmetric SO(8) form, which realises the alignment limit with no fine-tuning.","For a definite-isospin triplet initial state, the emergent symmetry is the smaller SU(2)$_R$ with $\\lambda_1 = \\lambda_2 = (\\lambda_3 + \\lambda_4)/2$ and $\\lambda_5 = \\lambda_6 = \\lambda_7 = 0$, and this also satisfies the alignment condition.","Because the commutator vanishes, the final and initial density matrices agree to order $\\lambda^2$, so every information measure built from the density matrix, not just magic, is conserved at leading order.","Singlet initial states and antisymmetric momentum wave functions impose no further constraints on the quartic couplings, so the symmetry selection is driven entirely by the triplet scattering channels."],"supporting_citations":[{"why":"supplies the general quantum-information framework connecting global symmetries to the 2-to-2 S-matrix, from which the paper's commutator condition is a special case.","marker":"[1]"},{"why":"established the original entanglement-minimisation result that Phi+Phi0 scattering leads to an emergent SO(8) symmetry, the claimed result this paper extends.","marker":"[7]"},{"why":"found that entanglement minimisation in other 2HDM channels gives conditions inconsistent with the Phi+Phi0 ones, the contrast motivating the new principle.","marker":"[8]"},{"why":"provides the scattering formalism showing flavour and momentum can become entangled and supporting the leading-order purity assumption used here.","marker":"[9]"},{"why":"introduces the nonstabiliserness and magic measures in a particle-physics context that the paper borrows for its conservation condition.","marker":"[14]"},{"why":"defines the linearised stabiliser entropy used by the paper to formulate magic conservation.","marker":"[22]"},{"why":"derives the alignment-limit condition that the paper uses to show the constrained potentials naturally realise Standard Model alignment.","marker":"[24]"},{"why":"classifies the symmetries of the 2HDM potential, identifying SO(8) and SU(2)_R as the symmetries that produce natural alignment.","marker":"[26]"}],"fun_headline_variants":["Magic conservation forces SO(8) in two-Higgs-doublet potential","Quantum magic selects maximally symmetric Higgs potential","Nonstabiliserness pins down emergent SO(8) symmetry","Scattering magic dictates Higgs doublet symmetries","Bose symmetry and magic yield SO(8) quartic potential"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The whole derivation rests on two linked assumptions: that at leading order the momenta of the two scattered particles remain unentangled with their flavour and isospin quantum numbers, so the two-particle state stays effectively pure, and that magic conservation for every allowed initial state really is equivalent to the strong condition that the transition matrix and the initial density matrix commute; if either assumption fails, the forced SO(8) and SU(2)_R conclusions do not follow.","fun_headline_variants_meta":{"raw":{"variants":["Magic conservation forces SO(8) in two-Higgs-doublet potential","Quantum magic selects maximally symmetric Higgs potential","Nonstabiliserness pins down emergent SO(8) symmetry","Scattering magic dictates Higgs doublet symmetries","Bose symmetry and magic yield SO(8) quartic potential"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000607,"raw_usage":{"total_tokens":2929,"prompt_tokens":1143,"completion_tokens":1786,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":759,"completion_tokens_details":{"reasoning_tokens":1701}},"tokens_in":759,"tokens_out":1786,"duration_ms":11657,"temperature":1.0,"reasoning_tokens":1701,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-07T11:45:39.711793+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Exhibiting a single Bose-symmetric two-particle initial state for which the transition matrix and the initial state commute, but the quartic couplings are not $\\lambda_1 = \\lambda_2 = (\\lambda_3 + \\lambda_4)/2$ with $\\lambda_5 = \\lambda_6 = \\lambda_7 = 0$, would falsify the definite-isospin derivation, because the paper's algebra says no such state exists. A complementary check is to compute the linearised stabiliser entropy to second order in the quartic couplings for a definite-isospin triplet initial state: if magic is not conserved at that order for the SU(2)$_R$-symmetric potential, the leading-order principle fails to extend in the way stated.","supporting_citations":[{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"supplies the general quantum-information framework connecting global symmetries to the 2-to-2 S-matrix, from which the paper's commutator condition is a special case."},{"cited_title":"Garc ´ ıa, I","cited_arxiv_id":null,"evidence_quote":"defines the linearised stabiliser entropy used by the paper to formulate magic conservation."}],"review_version":1}