{"id":"f0142e2b-f435-45f3-8956-6e6d69996ed9","arxiv_id":"2608.12221","paper_version":1,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":6.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"For SU(2) degenerate doublets in 4D, the quantum metric obeys (tr g)^2/16 >= sqrt(det g) >= |Tr(F wedge F)|/12, with saturation selecting a quaternion Kahler structure.","lead":"This paper derives new inequalities for two degenerate electron bands in four-dimensional parameter space, relating the quantum metric's volume to the non-Abelian Berry curvature's second Chern class. The bounds give a geometric cost for carrying SU(2) topological charge and identify conditions for ideal four-dimensional non-Abelian bands.","discovery_kind":"first_principles","skeptic_critique":{"model":"deepseek-v4-flash","headline":"Proof of Δ_Q≥0 is under-specified: the quaternionic Cauchy–Schwarz step and the key norm bound ||(J^a)^†J^a||≤1 are deferred to [38]; an empty-state decomposition rescues the lemma, so the CONDITIONAL verdict is unchanged.","rationale":"The reader identified the deferred quaternionic Cauchy–Schwarz lemma as the weakest assumption; I agree this is the load-bearing point. However, my own check shows the lemma is actually true via an elementary empty-state decomposition, so the concern is about proof completeness rather than correctness of the claimed inequality. The factor-2 issue in identifying F^a as a quaternion component of the 2×2 QGT makes the main-text argument insufficient as written, and the supplement [38] is necessary to establish Eq. (7) rigorously. The four-band Dirac saturation and covering-space zero arguments are independently solid. Thus the CONDITIONAL verdict remains appropriate; the paper should not be rejected or accepted without the supplement.","tokens_in":9130,"tokens_out":48130,"duration_ms":418587,"concrete_test":"Independently re-derive the bound ∥F^a∥^2_g≤2 starting from Eq. (2): decompose X_μ into empty-state rows u_μ^{(ℓ)}, use |Im(u†σ^a w)|≤|u||w| for each ℓ and Cauchy–Schwarz over ℓ, and verify that this produces ||(J^a)^†J^a||≤1 with the correct numerical factor. If the factor works, Eq. (7) is valid and the only serious gap is the missing proof in [38]; if the factor differs, the determinant inequality is unproven.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The central determinant inequality (7) reduces to Δ_Q≥0, where Δ_Q=6−∑_a∥F^a∥^2_g. The main text proves this by asserting a quaternionic Cauchy–Schwarz inequality on the QGT and concluding ||(J^a)^†J^a||≤1. This is the single load-bearing step, and it is not rigorously shown in the visible text: the quaternion-valued form Q(v,v') is never defined precisely. If Q(v,v') is the 2×2 matrix X(v)†X(v'), its quaternion components q^a=−(i/2)Tr(σ^a Q) are related to curvature by F^a=2 Re q^a, so the component bound from the quaternion modulus is off by a factor of 2; the text's claim that 'F^a is just a summand' is therefore not justified as written. The proof is deferred to [38]. A correct argument exists: with X_μ written as rows u_μ^{(ℓ)}∈C^2 for each empty state ℓ, F^a(v,v')=−Im∑_ℓ u_ℓ(v)†σ^a u_ℓ(v'), and |u†σ^a w|≤|u||w| followed by Cauchy–Schwarz over ℓ gives |F^a(v,v')|≤√(g(v,v)g(v',v')), hence the operator norm bound and Δ_Q≥0. Because the paper does not include this derivation and the supplement is absent, the proof of the main claim is conditional, even though the inequality itself appears true.","agreement_with_reader":"partial"},"referee_report":{"model":"deepseek-v4-flash","summary":"The manuscript derives geometric inequalities for the quantum geometry of a doubly degenerate (two-band) occupied subspace with SU(2) Berry holonomy in a four-dimensional parameter space. For the scalar metric g_{\\mu\\nu} = Re Tr(X_\\mu^\\dagger X_\\nu) built from the interband amplitudes, it claims the pointwise bounds (tr g)^2/16 >= sqrt(det g) >= (2\\pi^2/3)|c_2| = |Tr(F wedge F)|/12 (Eq. (7)): the first is the AM-GM anisotropy bound; the second is proved by Hodge-decomposing the three Pauli components F^a of the non-Abelian curvature into self-dual and anti-self-dual parts, with the gap split into a self-duality deviation Delta_H and a norm bound Delta_Q = 6 - Sum_a ||F^a||^2_g >= 0 (Eqs. (10)-(12)). Saturation of the determinant bound is claimed to induce a quaternionic triple Cauchy-Riemann closure, Eq. (14). The applications are: (i) four-band Dirac Hamiltonians automatically saturate the determinant bound and, on a 4D torus, must possess a zero of both det g and Tr(F wedge F), argued via the covering map d-hat: T^4 -> S^4; and (ii) for U(2) doublets the relevant bound is a Wirtinger bound on c_1 wedge c_1 instead of the second-Chern bound, with a CP^2 saturation example.","tokens_in":9345,"tokens_out":45741,"duration_ms":413100,"significance":"If fully established, the determinant bound is a natural four-dimensional generalization of the two-dimensional ideal-band geometry bounds, with concrete predictive content: minimal four-band Dirac models saturate the bound, and no gapped Dirac-type four-band model on T^4 can carry constant second-Chern density. The submission has clear strengths: the derivation is parameter-free and forward from the definitions; the Hodge-decomposition algebra in Eqs. (10)-(12) is correct (I re-checked the constant identity |Tr(F wedge F)|/12 = (2\\pi^2/3)|c_2| and the gap split Delta = (Delta_Q + Delta_H) sqrt(det g)/6); the Dirac saturation is backed by explicit formulas, and the forced zero of Tr(F wedge F) is a falsifiable prediction. The main chain is, however, conditional on one load-bearing step: the main text's proof of Delta_Q >= 0 contains a factor-of-two gap (Major Comment 1), and the saturation conditions are deferred to a supplement that is not part of the submission. With that proof repaired and the Supplemental Material supplied, the paper would be a strong contribution to the non-Abelian quantum-geometry literature.","major_comments":[{"comment":"The proof of Delta_Q >= 0 is not valid as written. The text invokes a quaternionic Cauchy-Schwarz inequality, |Q(v,v')|_H <= sqrt(g(v,v)g(v',v')), and then concludes |g(v,J^a v')| = |F^a(v,v')| <= sqrt(g(v,v)g(v',v')) on the grounds that 'F^a(v,v') is just a summand in the quaternion Q(v,v')'. This step is load-bearing: it yields the operator-norm bound ||(J^a)^dagger J^a|| <= 1, hence tr[(J^a)^dagger J^a]/2 = ||F^a||^2_g <= 2, hence Delta_Q >= 0 and the determinant inequality in Eq. (7). The step is unjustified by a factor of two. Expanding Q = G - (i/2)F in the Pauli basis, Q = q_0 I + i Sum_a q_a sigma^a, one finds q_a = -F_a/2 - (i/2)Tr(sigma_a G) with Tr(sigma_a G) real (up to the sign convention of the expansion), so F_a = -2 Re q_a; F^a is twice the real part of the quaternionic summand, not the summand itself, and the bound |F^a(v,v')| <= sqrt(g(v,v)g(v',v')) does not follow from |Q(v,v')|_H <= sqrt(g(v,v)g(v',v')). The assertion is nevertheless true, and a short correct proof exists: writing the rows of X_\\mu as u_\\ell(v) = (Sum_\\mu (X_\\mu)_{\\ell n} v^\\mu)_{n=1,2} in C^2 for each empty state \\ell, one has F^a(v,v') = -Sum_\\ell Im(u_\\ell(v)^dagger sigma^a u_\\ell(v')), and |u^dagger sigma^a w| <= |u||w| combined with the Cauchy-Schwarz inequality over \\ell gives exactly |F^a(v,v')| <= sqrt(g(v,v)g(v',v')). I recommend replacing the quaternion-summand sentence with this argument, or supplying it in the Supplemental Material; as submitted, the main text does not prove Eq. (7).","section":"Hodge decomposition of the curvature (paragraph after Eq. (12))"},{"comment":"The saturation analysis is not self-contained. The text derives (J^a)^dagger J^a = 1 from Delta_Q = 0 and then states that 'by further analyzing the quaternion Cauchy-Schwarz inequality' one obtains the triple Cauchy-Riemann condition Eq. (14), including the closure relations J^1 J^2 = J^3 and (J^a)^2 = -1, with the details deferred to the Supplemental Material [38]. Since (i) the main-text proof of Delta_Q >= 0 is itself the flawed quaternion argument discussed in Major Comment 1, and (ii) the Supplemental Material is not part of the submission, neither the determinant bound of Eq. (7) nor the claimed quaternion-Kahler saturation can be verified from the submitted text. Please submit the Supplemental Material with complete proofs of Eq. (14), of the quaternion algebra satisfied by the J^a, and of the equality conditions of the bound, and state explicitly in the main text which lemma is being deferred.","section":"Equality and its physical meaning (Eq. (14))"}],"minor_comments":[{"comment":"There are several typographical errors that should be corrected: 'maping' (in 'Hodge decomposition of the curvature'), 'impossibible build' (in 'Four-band Hamiltonians'), and 'Abelain' (in 'Situations for U(2) doublet').","section":"Typos (throughout)"},{"comment":"The sentence 'It is impossibible build a topological four-band model with constant second Chern density' is broader than what the preceding argument proves: the covering-map argument applies to the Gamma-matrix Dirac family, whose projectors are parametrized by d-hat in S^4, whereas a generic four-band (two occupied, two empty) Hamiltonian realizes maps into Gr(2,4) = S^2 x S^2. Please qualify the claim to 'four-band Dirac (Gamma-matrix) models' or provide the additional argument for the general case.","section":"Four-band Hamiltonians (paragraph after Eq. (18))"},{"comment":"The covering-map contradiction silently assumes the model is gapped everywhere, so that d-hat: T^4 -> S^4 is a smooth map; if d(lambda) = 0 at some point, the Dirac Hamiltonian is gapless there and the geometric quantities are singular. Please state this assumption explicitly and clarify what is meant by the claimed zero of det g and Tr(F wedge F) in the gapless case.","section":"Four-band Hamiltonians (covering-map argument)"},{"comment":"In the CP^2 saturation example the constants may confuse a reader: Eq. (22) gives sqrt(det g) = (pi^2/2)|c_2|, whereas Eq. (7) bounds sqrt(det g) from below by (2pi^2/3)|c_2|; the two constants are compatible only because the CP^2 doublet carries a U(1) part and falls outside the SU(2) class for which Eq. (7) is claimed. One sentence making this explicit would be helpful.","section":"Situations for U(2) doublet (Eqs. (21)-(22))"},{"comment":"In the paragraph after Eq. (12), the adjoint (J^a)^dagger is defined by the displayed formula; spelling out that this is the metric adjoint on the tangent space rather than the ordinary matrix transpose would remove ambiguity.","section":"Hodge decomposition of the curvature (definition of (J^a)^dagger)"}],"recommendation":"major_revision","confidential_remarks":"The manuscript is well written and the topic is timely, but two editorial items deserve attention. (1) The Supplemental Material [38] is cited for the equality conditions of the bound and for parts of the proof chain, but it was not included with the submission; it is needed for verification, and I recommend requesting it before any acceptance decision. (2) The Note added discloses the overlapping independent work [48]; the Hodge-decomposition gap formula (Eqs. (10)-(12)) and the U(2) contrast (Sec. 6) appear to be defensible distinct contributions, but the editor may wish to check the arXiv dating of [48] relative to this submission and the relation between Eq. (14) and the quaternionic closure statements in [48]. My recommendation is major_revision rather than reject: the factor-of-two problem in the main-text proof of Delta_Q >= 0 is real, but the underlying lemma is true and provable in a few lines from the empty-state decomposition, so the manuscript is fixable within its own scope."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Bottom line: this is a genuine result. For SU(2) degenerate doublets in four dimensions the paper proves (tr g)^2/16 >= sqrt(det g) >= |Tr(F∧F)|/12, and the Hodge-decomposition route to it is clean. The first inequality is just AM-GM on the metric eigenvalues; the real content is in the second, and splitting the deficit into Δ_H + Δ_Q is a good way to expose what each term controls. The four-band Dirac saturation and the forced topological zero on T^4 are convincing; the covering-map argument is simple and correct. The U(2) comparison is also genuinely useful: the second-Chern bound is lost, and the Wirtinger bound on c_1∧c_1 is the right replacement.\n\nThe soft spot is exactly what makes the reader's conditional verdict reasonable. The proof of Δ_Q >= 0 is the load-bearing step, and in the visible text it is a sketch: the quaternion Cauchy-Schwarz step is asserted, and 'F^a is just a summand' is at least imprecise, because in the natural quaternion decomposition F^a is twice the real part of the corresponding component, not the component itself, so the factor of two needs to be handled explicitly. The full proof is deferred to Ref. [38], which is not present in the arXiv text. That is normal for a Letter, but the referee must see the supplement to verify the central claim. The claim itself appears true: writing the rows of X_μ as u_ℓ(λ) and using |u† σ^a w| ≤ |u||w| followed by Cauchy-Schwarz over empty states gives |F^a(v,w)| ≤ sqrt(g(v,v)g(w,w)), hence ||(J^a)^†J^a|| ≤ 1 and Δ_Q >= 0. So this is a revision-level gap, not a fatal flaw.\n\nThe citation pattern is fine; Ref. [30] is background. The Note added is honest: it discloses a concurrent equivalent bound in Ref. [48], so the novelty is real but simultaneous. The Hodge-decomposition gap analysis and the U(2) distinction are the paper's distinct angle.\n\nWho this is for: people building ideal band geometry in 4D, Yang monopole simulators, and non-Abelian quantum metric protocols. Send it to referees. Ask them to check the supplement proof of the quaternion lemma and to fix the factor-of-two wording in the main text. I would accept after that.","headline":"A real second-Chern bound for SU(2) doublets in 4D, with a correct-looking core inequality whose main proof step is deferred and slightly under-specified; the concurrent work disclosed in the Note added cuts the novelty, but the paper is solid and worth refereeing.","tokens_in":9995,"tokens_out":8713,"would_cite":true,"duration_ms":70500,"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":"The paper establishes that for a doubly degenerate band pair with SU(2) gauge structure in four dimensions, $(\\mathrm{tr}\\,g)^2/16\\ge\\sqrt{\\det g}\\ge(2\\pi^2/3)|c_2|$, with equality equivalent to a quaternion-Kähler condition on parameter…","keywords":["non-Abelian quantum geometry","second Chern number","quantum metric","Berry curvature","quaternion-Kähler structure","Hodge decomposition","doubly degenerate bands","four-band Dirac Hamiltonian"],"falsifier":"Compute the local ratio $(2\\pi^2/3)|c_2|/\\sqrt{\\det g}$ for any explicit doubly degenerate pair with SU(2) gauge structure in four dimensions; if any point with $\\det g>0$ gives a ratio larger than one, the central inequality is false. A first test would be a numerical scan of four-band Dirac Hamiltonians on a grid in $T^4$, where the paper predicts the ratio is exactly one at all regular points.","tokens_in":8821,"feed_emoji":"⚛️","tokens_out":11113,"duration_ms":110233,"temperature":0.7,"pith_summary":"This paper asks how much quantum-geometric volume is required for a doubly degenerate pair of energy bands to carry non-Abelian topology in a four-dimensional parameter space. It proves that for such a pair with SU(2) gauge structure, the scalar quantum metric $g_{\\mu\\nu}$ always satisfies $(\\mathrm{tr}\\,g)^2/16\\ge \\sqrt{\\det g}\\ge (2\\pi^2/3)|c_2|$, where $c_2$ is the local second-Chern density. The first inequality fixes how anisotropic the metric can be; the second says that the four-dimensional metric volume is at least the size of the non-Abelian curvature. Equality is reached exactly when the parameter space admits a quaternion-Kähler structure, the four-dimensional analogue of the complex structure behind ideal Chern bands. The paper shows that minimal four-band Dirac Hamiltonians always saturate the bound and, on a torus, must contain points where both sides vanish.","feed_headline":"Second Chern number comes with a minimum quantum-geometric cost","feed_subtitle":"For SU(2) degenerate doublets, the metric volume cannot go below (2π²/3) times the second-Chern density.","key_machinery":"The load-bearing object is the non-Abelian quantum geometric tensor $Q_{\\mu\\nu}=X_\\mu^\\dagger X_\\nu$, whose Hermitian part is the metric and whose anti-Hermitian part is the non-Abelian Berry curvature. The argument splits $Q$ into a scalar metric $g_{\\mu\\nu}=\\mathrm{Tr}\\,Q_{\\mu\\nu}$ plus three Pauli components $F^a$; a Hodge star built from $g$ then separates each $F^a$ into self-dual and anti-self-dual pieces, making the second-Chern class a difference of squared Hodge norms. The engine that closes the proof is the quaternion Cauchy-Schwarz inequality, which implies that the matrices $J^a$ thought of as tangent-space rotations induced by the Pauli components never increase vector lengths, giving $\\Delta_Q\\ge0$. Saturation is governed by Eq. (14), a triple Cauchy-Riemann equation stating that the quaternion actions $J^a$ on parameter space and $-i\\sigma^a$ on the band doublet commute; this is the quaternion-Kähler closure condition.","core_discovery":"On the paper's own terms, the central discovery is the inequality chain of Eq. (7). For a doubly degenerate band pair whose parallel transport produces only SU(2) rotations, the scalar quantum metric $g_{\\mu\\nu}=\\mathrm{Tr}\\,G_{\\mu\\nu}$ bounds the non-Abelian second-Chern density: $\\sqrt{\\det g}\\ge (2\\pi^2/3)|c_2|=|\\mathrm{Tr}(F\\wedge F)|/12$. The proof writes the gap $\\Delta=\\sqrt{\\det g}-(2\\pi^2/3)|c_2|$ as $(\\Delta_H+\\Delta_Q)\\sqrt{\\det g}/6$, with $\\Delta_H\\ge0$ measuring curvature weight in the wrong Hodge-handedness sector and $\\Delta_Q\\ge0$ measuring the failure of the quaternion-valued quantum geometric tensor to preserve tangent-vector lengths. Saturation forces both to vanish, and the vanishing of $\\Delta_Q$ is shown to imply the triple Cauchy-Riemann equation (14), a quaternion algebra $J^a$ on the tangent space. Four-band Dirac Hamiltonians saturate automatically because their two occupied bands describe the quaternionic projective space $\\mathrm{HP}^1\\simeq S^4$; on $T^4$ a covering-map argument forces points where $\\det g=\\mathrm{Tr}(F\\wedge F)=0$, so constant second-Chern density is impossible in such models.","pith_inferences":["If saturation is the 4D analogue of an ideal Chern band, a natural next step would be to search for flat bands with sign-definite second-Chern density and saturated quaternion-Kähler geometry, and to test whether they support higher-dimensional fractional quantum Hall-type states.","The two-term structure of the gap suggests a practical diagnostic: in a driven four-parameter system, one could separately measure the wrong-Hodge contribution and the interband-leakage contribution, and attribute deviations from saturation to remote-band mixing.","A direct numerical check of the quaternion Cauchy-Schwarz lemma on random four-band Hamiltonians would either confirm the bound or expose a counterexample that the main text does not rule out.","Extending the inequality to the full U(2) second-Chern class may require a combined bound involving both the metric and the Abelian curvature; the paper leaves that combination undetermined."],"forward_implications":["Any closed four-dimensional parameter space carrying second Chern number $C_2$ must have $\\int \\sqrt{\\det g}\\,d^4\\lambda\\ge (2\\pi^2/3)|C_2|$, so nontrivial SU(2) topology has a minimal total quantum-geometric cost.","Saturation of the determinant bound forces all three non-Abelian curvature components into one Hodge-handedness sector with no spectator interband channels, giving a concrete 4D analogue of the ideal-band condition used to design fractional Chern insulators.","Minimal four-band Dirac models saturate the bound at every regular point, but on $T^4$ they must have zero second-Chern density somewhere, so no such model realizes constant second-Chern density.","For U(2) doublets the same determinant chain does not hold; the quantum metric instead bounds the mixed first-Chern class via a Kähler-geometric inequality, showing that the SU(2) quaternionic structure is essential."],"supporting_citations":[{"why":"Establishes the two-dimensional Cauchy-Riemann ideal-band condition that the quaternionic closure generalizes.","marker":"[15]"},{"why":"Defines the canonical SU(2) monopole on $\\mathrm{HP}^1$ used to identify the four-band Dirac doublet.","marker":"[24]"},{"why":"Introduces the four-dimensional quantum Hall effect that makes the second Chern number a physically relevant quantized charge.","marker":"[25]"},{"why":"Supplies the relation between Dirac-Hamiltonian topology and quantum metric, including the second-Chern expression for four-band projectors.","marker":"[32]"},{"why":"Gives the self-dual instanton condition whose violation is quantified by the Hodge term $\\Delta_H$.","marker":"[36]"},{"why":"Provides the self-duality bound that motivates measuring the gap by Hodge-handedness mismatch.","marker":"[37]"},{"why":"Contains the deferred proof of the quaternion Cauchy-Schwarz lemma behind $\\Delta_Q\\ge0$.","marker":"[38]"},{"why":"Provides the Kähler-geometric inequality used for the U(2) bound involving $c_1\\wedge c_1$.","marker":"[46]"},{"why":"Is the three-level $\\mathbb{CP}^2$ model that saturates the U(2) bound locally, serving as the contrasting example.","marker":"[47]"}],"fun_headline_variants":["Quantum metric can't fall below second-Chern cost","Second-Chern bound forces quaternion geometry","SU(2) pairs obey metric-Second-Chern inequality","Dirac models saturate the new quantum-geometric bound","Non-Abelian geometry: metric volume capped by second Chern"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The load-bearing premise is the quaternion Cauchy-Schwarz lemma, whose proof is deferred to the Supplemental Material [38]: the matrices $J^a$ formed from the metric and curvature never stretch tangent vectors, so their operator norm is at most one; if that fails for some degenerate doublet, the determinant bound would not hold as stated.","fun_headline_variants_meta":{"raw":{"variants":["Quantum metric can't fall below second-Chern cost","Second-Chern bound forces quaternion geometry","SU(2) pairs obey metric-Second-Chern inequality","Dirac models saturate the new quantum-geometric bound","Non-Abelian geometry: metric volume capped by second Chern"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.00054,"raw_usage":{"total_tokens":2629,"prompt_tokens":1022,"completion_tokens":1607,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":638,"completion_tokens_details":{"reasoning_tokens":1528}},"tokens_in":638,"tokens_out":1607,"duration_ms":11949,"temperature":1.0,"reasoning_tokens":1528,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-16T00:14:42.837956+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Compute the local ratio $(2\\pi^2/3)|c_2|/\\sqrt{\\det g}$ for any explicit doubly degenerate pair with SU(2) gauge structure in four dimensions; if any point with $\\det g>0$ gives a ratio larger than one, the central inequality is false. A first test would be a numerical scan of four-band Dirac Hamiltonians on a grid in $T^4$, where the paper predicts the ratio is exactly one at all regular points.","supporting_citations":[{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Defines the canonical SU(2) monopole on $\\mathrm{HP}^1$ used to identify the four-band Dirac doublet."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Supplies the relation between Dirac-Hamiltonian topology and quantum metric, including the second-Chern expression for four-band projectors."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Gives the self-dual instanton condition whose violation is quantified by the Hodge term $\\Delta_H$."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Provides the self-duality bound that motivates measuring the gap by Hodge-handedness mismatch."},{"cited_title":"Ballmann,Lectures on K¨ ahler manifolds, Vol","cited_arxiv_id":null,"evidence_quote":"Provides the Kähler-geometric inequality used for the U(2) bound involving $c_1\\wedge c_1$."},{"cited_title":"Liu, X.-T","cited_arxiv_id":null,"evidence_quote":"Is the three-level $\\mathbb{CP}^2$ model that saturates the U(2) bound locally, serving as the contrasting example."}],"review_version":1}