{"id":"26b0bcbc-0fd9-414e-9122-ebe8e1235220","arxiv_id":"2412.08022","paper_version":1,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":6.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"The set of Bargmann invariants from circulant Gram matrices is exactly the n-th power of a regular n-gon, and all such invariants can be realized by qubits.","lead":"This paper maps out the complex numbers that can appear as Bargmann invariants of n quantum states, showing that for circulant state sets the allowed region is the n-th power of a regular n-gon. It also proves every such invariant is reachable with qubits and fully describes the union over all n as the open unit disk plus the point 1.","discovery_kind":"extension","skeptic_critique":{"model":"deepseek-v4-flash","headline":"Theorem 1's Appendix A proof omits complex conjugation in the definition of V_n, making Step 2 invalid as written; the claim is repairable once z_j = \\bar z_{n-j} is restored.","rationale":"The paper's central claim is Theorem 1: Bn|circ = fn(Pn), with the four-step proof in Appendix A. The reader identified that the manuscript defines V_n without complex conjugation; the same omission invalidates the displayed equality in Step 2 and the 'z1 = z_{n-1}' line in Step 4. This is genuinely load-bearing because Step 2 is the only place rotational invariance of Zn is proved, and both inclusions in Theorem 1 rely on that invariance. However, the defect is a consistent, easily localized typo: with the standard Hermitian-circulant condition z_j = \\bar z_{n-j}, the Step 2 computation goes through, F z^ξ is a cyclic shift of F z, and Step 4's coefficient vector argument also works. Thus the theorem's mathematical content appears sound; what is missing is a corrected formal proof. The manuscript also honestly flags its open limitations: it does not claim Bn ⊆ Bn|circ for general n, explicitly says it has not been able to prove that inclusion, and states that Bn,2 ∩ R is unknown. Those self-identified gaps are real but do not undermine Theorem 1 or the qubit realizability result, since those results are explicitly restricted to Bn|circ. One minor underdeveloped point is Theorem 4's use of 'geometric intuition' for Drn ⊆ Pn; this is true because the inradius of a regular n-gon of circumradius 1 is cos(π/n), but it should be stated. The reader's CONDITIONAL verdict is therefore appropriate: the printed proof of the central theorem is not valid as written, yet the correction is routine and no counterexample to the claim is apparent.","tokens_in":15733,"tokens_out":13543,"duration_ms":133164,"concrete_test":"Rewrite Appendix A with V_n = { z : z0 = 1, z_j = \\bar z_{n-j} } and re-verify the two displayed identities in Step 2: (i) z^ξ_j = \\bar z^ξ_{n-j}; (ii) F z^ξ = C_n F z. If both hold, Step 2 is repaired. Independently, for a small case such as n = 5, generate random positive semidefinite Hermitian circulant matrices with first row satisfying z_j = \\bar z_{n-j}, compute z1^5, and check membership in the image of the regular pentagon under z ↦ z^5; any counterexample would refute Theorem 1.","verdict_should_be":"UNCHANGED","load_bearing_attack":"Appendix A defines V_n by z0 = 1 and z_j = z_{n-j} for j = 1,...,n-1. For an Hermitian circulant Gram matrix the correct condition is z_j = \\bar z_{n-j}; as printed, G_z is complex symmetric rather than Hermitian, and the eigenvalue-realness step is unsupported. Step 2 then asserts z_j ξ^{kj} = z_{n-j} ξ^{k(n-j)}, which is false as written. This equality is the only justification that z^ξ = (z0, z1ξ, ..., z_{n-1}ξ^{n-1}) lies in V_n, i.e. that z1 ∈ Zn implies ξz1 ∈ Zn. Rotational invariance is essential: together with convexity it gives Pn ⊆ Zn, and with Step 4 it gives Zn ⊆ Pn, so the whole characterization Bn|circ = fn(Pn) depends on this step. With the conjugation restored, the step is correct: \\overline{z^ξ_{n-j}} = \\bar z_{n-j} ξ^{n-j} = z_j ξ^{-j} = z_j ξ^j = z^ξ_j, and F z^ξ is a cyclic shift of F z, so F z^ξ ≥ 0. The same missing conjugation appears in Step 4, where 'z1 = z_{n-1}' should read 'z1 = \\bar z_{n-1}'; with that fix, b^T z is exactly the intended real half-plane inequality. The proof is therefore valid modulo a localized typo, not invalid in substance.","agreement_with_reader":"agree"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper studies Bargmann invariants, i.e., traces of products of quantum states, as tools for witnessing basis-independent quantum imaginarity. Its central result (Theorem 1) characterizes the set Bn|circ of Bargmann invariants coming from circulant Gram matrices: for every n ≥ 3, Bn|circ = fn(Pn), where Pn is the regular n-gon centered at the origin with a vertex at 1 and fn(z) = z^n. This generalizes previously known results for n = 3 and n = 4. The paper also proves several properties of the full set Bn (multiplicative closure, star-shapedness, the inclusion Bn ⊆ Pn), shows that every element of Bn|circ can be realized in a qubit system (Theorem 2), characterizes real Bargmann invariants arising from real qubit states (Theorem 3), and determines the union B∞,d over all lengths as the open unit disk together with the point 1 (Theorem 4). The proofs are mostly self-contained and use standard linear algebra: Gram matrices, Fourier transforms, and Hadamard products.","tokens_in":16019,"tokens_out":29429,"duration_ms":257718,"significance":"If the results are correct, Theorem 1 provides a clean, complete description of the circulant Bargmann invariant set for all n, going beyond the n = 3 and n = 4 cases treated by Fernandes et al. The qubit realization theorem and the characterization of B∞,d are also valuable and are stated as explicit, falsifiable claims. The paper contains no fitted parameters or circular arguments; the derivations are from first principles. The main proofs are structurally sound in intent, but as written Appendix A contains a repeatedly missing conjugation that affects the proof of Theorem 1. Because this is the central result, the manuscript needs correction before publication, though the errors appear localized and repairable.","major_comments":[{"comment":"A Hermitian circulant matrix with first column (1, z1, ..., z_{n-1}) satisfies z_j = \\bar z_{n-j}, not z_j = z_{n-j}. The manuscript uses the latter condition in the definition of V_n and then asserts, in the remark before Eq. (A1), that z_j ξ^{kj} = z_{n-j} ξ^{k(n-j)}. This equality is false as written and the eigenvalue-realness of G_z is not demonstrated. With the conjugate-symmetric condition restored, the step is valid: \\overline{z_{n-j} ξ^{k(n-j)}} = z_j ξ^{kj}, so the eigenvalues are real, and F z^ξ is a cyclic shift of F z, so F z^ξ ≥ 0 whenever F z ≥ 0. This repair is load-bearing because Steps 2 and 4, and hence the proof of Theorem 1, rely on it.","section":"Appendix A, definition of V_n and Step 2"},{"comment":"The same missing conjugation affects Step 4. The condition should read z1 = \\bar z_{n-1}, not z1 = z_{n-1}, and the vector b must satisfy b_{n-1} = \\overline{b_1} with b_1 = -\\cos(π/n) + i \\sin(π/n) for Eq. (A3) to be equivalent to Re(b^T z) ≥ 0. As printed, the manuscript sets b_1 = b_{n-1}, and the displayed matrix for F^{-1} is actually F, so the derivation of a_k is internally inconsistent. The stated formula a_k = (2/n)[\\cos(π/n) - \\cos((2k+1)π/n)] is consistent with the corrected choices, which indicates the intended argument is clear, but the written equations do not support the half-plane inequality. Since Step 4 is essential for the inclusion Z_n ⊆ P_n in Theorem 1, this must be corrected.","section":"Appendix A, Step 4"}],"minor_comments":[{"comment":"The symbol B_{n,d} is defined twice, first for mixed states and then for pure states, without explicit supersession. Please use distinct notation or state clearly that the second definition replaces the first.","section":"Section II"},{"comment":"The formula for I_n appears to be missing a division: it should read I_n = cos^n(π/n) sin(nθ_*)/cos^n(π/n − θ_*), consistent with the earlier expression I(z) = r^n sin nθ = cos^n(π/n) sin nθ / cos^n(π/n − θ).","section":"Section III, after Eq. (7)"},{"comment":"In the proof of Theorem 4, the inclusion 'D_{r_n} ⊆ R_n' should be 'D_{r_n} ⊆ P_n'; the disk of radius cos(π/n) is the inradius of P_n. The symbol R_n is not defined elsewhere.","section":"Theorem 4 proof"},{"comment":"The proof establishes BR_{n,2} = [−cos^n(π/n), 1] but does not separately prove the asserted equality B_{n|circ} ∩ R = [−cos^n(π/n), 1]. This follows from Theorem 1 and the boundary parameterization of the edge of P_n, but it should be stated explicitly for the theorem as written.","section":"Theorem 3 proof"},{"comment":"The displayed matrix for F^{-1} should be the conjugate Fourier matrix (1/n) \\bar F; as printed it is F itself. This is part of the same typo cluster as the missing conjugation and should be fixed.","section":"Appendix A, Step 4"},{"comment":"There are several typographical slips, e.g., 'geometirc' in the proof of Theorem 4 and 'Theofore' in Appendix A, which should be corrected in a final pass.","section":"Throughout"}],"recommendation":"major_revision","confidential_remarks":"The manuscript's main results are likely correct and the errors are localized to the presentation of the conjugation condition in Appendix A. I see no grounds for rejection, but the proof of Theorem 1 as written is not valid until the Hermiticity condition z_j = \\bar z_{n-j} is restored consistently in the definition of V_n, Step 2, and Step 4. The paper would benefit from a careful rewriting of Appendix A and from attention to the notation slips and typos listed in the minor comments."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"This paper gives the first complete characterization of the circulant Bargmann invariant set B_n|circ for all n, shows every point in it is qubit-realizable, and describes the union over all n as the open unit disk plus {1}. The central result, B_n|circ = f_n(P_n) (the n-th power of the regular n-gon), is genuinely new for n ≥ 4, and the proof strategy via circulant matrices and Fourier transforms is clean and mostly rigorous. The qubit realization theorem is constructive, and the star-shapedness and multiplicative closure results are useful. The B-infinity disk characterization is a nice capstone.\n\nThe main soft spot is in Appendix A: the definition of V_n omits complex conjugation. For an Hermitian circulant matrix the condition is z_j = conjugate(z_{n−j}), not z_j = z_{n−j}. As written, the eigenvalue-realness argument and Step 2 fail. This is more than cosmetic because Step 2 (rotational invariance) is load-bearing for the whole Theorem 1. That said, the fix is straightforward: restore the conjugate in the definition and in Step 4, and the argument goes through. The stress-test note confirms this. So the result is very likely correct, but the paper as submitted has a gap in the central proof. A referee should ask the authors to repair it.\n\nTwo smaller points. Proposition 2's inclusion B_n ⊆ P_n is stated without noting that P_n lives in the plane of first off-diagonal entries, not in the invariant plane; the proof works but the notation is confusing. And Theorem 4 relies on the geometric fact that the disk of radius cos(pi/n) is contained in the polygon R_n without a formal justification; it is plausible but should be proven or cited.\n\nOverall this is solid, useful work that advances the Bargmann invariant / imaginarity program. It deserves a serious referee and will likely be accepted after minor revision. I would take it to reading group and would probably cite it. Recommendation: send it to peer review.","headline":"A correct-in-spirit complete characterization of circulant Bargmann invariants, with a repairable conjugation typo in the main proof.","tokens_in":16584,"tokens_out":1685,"would_cite":true,"duration_ms":16943,"reading_group":"yes","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["81P68"],"pacs":[],"model":"deepseek-v4-flash","headline":"For each $n\\ge 3$, the circulant Bargmann invariants are exactly the $n$-th powers of points in a regular $n$-gon.","keywords":["Bargmann invariants","quantum imaginarity","circulant Gram matrices","qubit realization","regular polygon","positive semidefinite matrices","basis-independent imaginarity","unitary invariants"],"falsifier":"Take $n=5$ and the point $z_1=0.9+0.8i$, which lies outside the regular pentagon $P_5$ because $0.9\\cos(\\pi/5)+0.8\\sin(\\pi/5)-\\cos(\\pi/5)>0$. Compute the smallest eigenvalue of the circulant Hermitian matrix $I+z_1C_5+\\overline{z_1}C_5^4$; if it is nonnegative, then $z_1^5$ belongs to $\\mathcal{B}_{5|\\mathrm{circ}}$ but is not in $f_5(P_5)$, contradicting Theorem 1.","tokens_in":1709,"feed_emoji":"🔷","tokens_out":2237,"duration_ms":77720,"temperature":0.7,"pith_summary":"The paper studies Bargmann invariants, the basis-independent products of pairwise state overlaps that can witness whether a set of quantum states genuinely needs imaginary numbers. Its central result is that the invariants arising from circulant $n$-state Gram matrices, written $\\mathcal{B}_{n|\\mathrm{circ}}$, are precisely the image of a regular $n$-gon under the map $z\\mapsto z^n$: every allowed value is the $n$-th power of a point inside the polygon. The authors also show that every such invariant can be realized by single-qubit states, characterize the real invariants attainable with real qubits as the interval $[-\\cos^n(\\pi/n),1]$, and prove that the union of all Bargmann invariant sets over all lengths is the open unit disk together with the single point $1$.","feed_headline":"Circulant Bargmann invariants are nth powers of one polygon","feed_subtitle":"For n at least 3, qubits realize all such invariants and real qubits yield one interval.","key_machinery":"The central object is a Hermitian circulant Gram matrix $G_z=I+z_1C_n+\\cdots+z_{n-1}C_n^{n-1}$, whose first row is $(1,z_1,\\dots,\\overline{z_1})$ after imposing conjugate symmetry on the circulant coefficients. Because the discrete Fourier matrix diagonalizes every circulant, the eigenvalues are $\\lambda_k=\\sum_{j=0}^{n-1} z_j\\xi^{kj}$, so positive semidefiniteness is equivalent to all $\\lambda_k\\ge 0$. The parameter set $Z_n=\\{z_1: \\text{such a feasible circulant matrix exists}\\}$ is then shown by the four-step argument to equal the regular polygon $P_n$, and the Bargmann invariant is exactly $z_1^n$.","core_discovery":"On the paper's own terms, the message is: for every $n\\ge 3$, the set $\\mathcal{B}_{n|\\mathrm{circ}}$ of Bargmann invariants produced by circulant Hermitian positive semidefinite Gram matrices with unit diagonal is not a complicated region but the polynomial image of a very simple one, namely $f_n(P_n)$, the $n$-th powers of the regular $n$-gon centered at the origin with one vertex at $1$. The proof identifies the feasible first-row entry $z_1$ with the polygon via four facts: $1$ is feasible, feasibility is invariant under multiplication by $\\xi=e^{2\\pi i/n}$, the feasible set is convex, and every feasible point lies on one side of the line through $1$ and $\\xi$; together these force the feasible region to be exactly $P_n$. The paper further shows $\\mathcal{B}_{n|\\mathrm{circ}}\\subseteq \\mathcal{B}_{n,2}$, so qubits suffice to realize every circulant Bargmann invariant, and it determines the maximal imaginarity in the set, the real qubit interval, and the limit set $\\mathcal{B}_{\\infty,d}=S$.","pith_inferences":["If the authors' conjecture $\\mathcal{B}_n\\subseteq \\mathcal{B}_{n|\\mathrm{circ}}$ holds for all $n$, then the entire Bargmann invariant set would also be described by the same polygon image; the paper only proves the weaker containment $\\mathcal{B}_n\\subseteq P_n$.","A testable extension is to sample points numerically inside $\\mathcal{B}_4$ and $\\mathcal{B}_5$ and compare them with $f_4(P_4)$ and $f_5(P_5)$, which would give evidence on whether the circulant restriction is the whole story.","The star-shapedness argument in Proposition 3 uses continuous interpolation between a state and an orthogonal state, which suggests a stronger path-connectedness property for each $\\mathcal{B}_{n,d}$.","Because real qubit invariants occupy exactly one interval, an experimental witness could certify imaginarity by finding a real Bargmann invariant below $-\\cos^n(\\pi/n)$, provided the open equality question for $\\mathcal{B}_{n,2}\\cap\\mathbb{R}$ is settled."],"forward_implications":["Every Bargmann invariant from a circulant $n$-state Gram matrix with $n\\ge 3$ has a qubit realization, so no higher-dimensional state space is needed for this family of invariants.","The maximal imaginarity in $\\mathcal{B}_{n|\\mathrm{circ}}$ is $\\cos^n(\\pi/n)\\cos^n(\\pi/n-\\theta^*)\\sin(n\\theta^*)$, giving a quantitative bound for witnessing imaginarity in circulant state families.","The real Bargmann invariants inside $\\mathcal{B}_{n|\\mathrm{circ}}$ are exactly $[-\\cos^n(\\pi/n),1]$, and each is realized by real qubit states alone.","The union over all lengths of all Bargmann invariant sets in any fixed dimension $d\\ge 2$ collapses to the open unit disk together with the point $1$.","For $n=3$ the paper reproduces the closed form of $\\mathcal{B}_3$ and confirms that $\\mathcal{B}_3=\\mathcal{B}_{3|\\mathrm{circ}}$."],"supporting_citations":[{"why":"The earlier characterization of $\\mathcal{B}_3$ and the conjectured boundary for $\\mathcal{B}_4$ that this paper extends to all $n$ and settles for the circulant subset.","marker":"[38]"},{"why":"The Gram-matrix criterion that lets the authors equate Bargmann invariants with products of off-diagonal entries of positive semidefinite Hermitian matrices.","marker":"[40]"},{"why":"The relational-information perspective that motivates reading imaginarity of a state set through unitary-invariant quantities.","marker":"[37]"},{"why":"Introduces Bargmann invariants themselves and their use as geometric and unitary-invariant objects.","marker":"[39]"}],"fun_headline_variants":["Circulant imaginarity set equals nth powers of a polygon","For n≥3, qubits realize all circulant Bargmann invariants","Nth powers of a polygon describe all circulant imaginarity","Bargmann invariants: circulant case is just polygon powers"],"cache_read_input_tokens":18688,"weakest_assumption_plain":"The load-bearing premise is that a Hermitian circulant matrix is determined by a conjugate-symmetric first row, $z_j=\\overline{z_{n-j}}$; the paper's Appendix A states this equality without the conjugation, and Step 2 relies on the uncorrected version, so the written proof has a notational slip that the standard conjugate-symmetric form repairs.","fun_headline_variants_meta":{"raw":{"variants":["Circulant imaginarity set equals nth powers of a polygon","For n≥3, qubits realize all circulant Bargmann invariants","Nth powers of a polygon describe all circulant imaginarity","Bargmann invariants: circulant case is just polygon powers"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000276,"raw_usage":{"total_tokens":1665,"prompt_tokens":982,"completion_tokens":683,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":598,"completion_tokens_details":{"reasoning_tokens":606}},"tokens_in":598,"tokens_out":683,"duration_ms":6672,"temperature":1.0,"reasoning_tokens":606,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-11T18:19:29.713201+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Take $n=5$ and the point $z_1=0.9+0.8i$, which lies outside the regular pentagon $P_5$ because $0.9\\cos(\\pi/5)+0.8\\sin(\\pi/5)-\\cos(\\pi/5)>0$. Compute the smallest eigenvalue of the circulant Hermitian matrix $I+z_1C_5+\\overline{z_1}C_5^4$; if it is nonnegative, then $z_1^5$ belongs to $\\mathcal{B}_{5|\\mathrm{circ}}$ but is not in $f_5(P_5)$, contradicting Theorem 1.","supporting_citations":[{"cited_title":"Oszmaniec, D","cited_arxiv_id":null,"evidence_quote":"The earlier characterization of $\\mathcal{B}_3$ and the conjectured boundary for $\\mathcal{B}_4$ that this paper extends to all $n$ and settles for the circulant subset."},{"cited_title":"Simon and N","cited_arxiv_id":null,"evidence_quote":"The Gram-matrix criterion that lets the authors equate Bargmann invariants with products of off-diagonal entries of positive semidefinite Hermitian matrices."},{"cited_title":"Zhang, N","cited_arxiv_id":null,"evidence_quote":"The relational-information perspective that motivates reading imaginarity of a state set through unitary-invariant quantities."}],"review_version":1}