{"id":"859c0f85-f87d-44c7-8003-d55f771bdeb3","arxiv_id":"1908.01217","paper_version":2,"verdict":"ACCEPT","confidence":"HIGH","novelty_score":3.0,"correctness_risk":"low","formal_verification":"none","parameter_count":0,"one_line_summary":"For three and four identical fermions in harmonic models, only spatial wavefunctions belonging to the irreps A2 and E (for N=3) or A2, E and T1 (for N=4) are compatible with the antisymmetry principle.","lead":"The paper works out which spatial symmetry types of electron wavefunctions are compatible with the Pauli antisymmetry principle, using exactly solvable one-dimensional models with three or four particles. It shows that certain energy levels, such as the fully symmetric spatial states, can never appear in Slater-determinant based configuration interaction calculations.","discovery_kind":"extension","skeptic_critique":{"model":"deepseek-v4-flash","headline":"No significant objection identified; §4's N=4 exclusion is asserted without the projection calculation but is reproducible and correct.","rationale":"The reader's weakest_assumption concerns the restriction to spin-1/2 electrons. That is a real boundary condition but not a flaw, since the paper is explicitly about N-electron systems and even states the 1/2-spin assumption in the final section. My independent check of the group theory confirms the central claim: the allowed spatial irreps are exactly the conjugates of the two-row Young diagrams available to spin-1/2, namely A2 and E for N=3 and A2, T1, and E for N=4 in the paper's labeling. The only soft spot I find is that the N=4 exclusion is asserted rather than derived in §4; the paper explicitly omits the character table and projection operators. This makes the second half of the central claim less auditable, but the result is correct and can be verified by a short calculation. The normalization typo 'PA2 = √6 A' in §3 is inconsequential because it does not affect which products vanish. Overall, the reader's ACCEPT verdict is justified; the omitted N=4 detail could be supplied but does not change the conclusion.","tokens_in":6984,"tokens_out":30300,"duration_ms":314907,"concrete_test":"Recompute the N=4 selection rule: construct the 24 permutation matrices of S4, map them to O classes, build projection operators for A1, A2, E, T1, and T2, and apply the antisymmetrizer to each monoelectronic spin product times a spatial basis function from each irrep of the §4 oscillator. Verify that exactly A1 and the T2 labeled by y1, y2, y3 give zero for all spin products, while A2, T1, and E give nonzero Slater determinants, confirming the paper's exclusion.","verdict_should_be":"UNCHANGED","load_bearing_attack":"I found no mathematical error in the central selection rules. For N=3, the argument that A1 spatial states cannot be paired with any spin-1/2 spin function to form an antisymmetric total is standard and correctly applied. For N=4, under the paper's O labeling (where y1, y2, y3 carry the irrep called T2, i.e., the S4 partition [3,1]), the conjugate-irrep rule gives allowed spatial irreps A2, T1, and E: the quintuplet spin [4]=A1 pairs with spatial [1^4]=A2; the triplet spin [3,1]=T2 pairs with spatial [2,1,1]=T1; the singlet spin [2,2]=E is self-conjugate. This matches the paper's wording. The weakest point is that §4 states the N=4 result without showing the projection-operator calculation or the O character table ('we will show neither... we will just discuss the results'); because the T1/T2 naming is convention-dependent, this is the one step a reader cannot audit from the text alone. The acknowledgment of unpublished full CI and the N=3 analogue give indirect support, and I know of no counterexample. This is a presentational gap rather than a substantive flaw.","agreement_with_reader":"partial"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper examines which irreducible representations (irreps) of the symmetric group S_N can appear as the spatial part of an antisymmetric N-electron wavefunction. Using exact harmonic-oscillator models for N=3 and N=4, the author derives spatial-symmetry selection rules: for three electrons only the A2 and E spatial irreps (quartet and doublet spin couplings) are compatible with the Pauli principle, and for four electrons only A2, T1, and E (quintet, triplet, and singlet spin couplings) are compatible; spatial A1 states for N=3 and A1/T2 states for N=4 are argued to be absent from Slater-determinant CI expansions. The derivation uses standard S_N character theory, projection operators, and the exact eigenvalues of the oscillator models.","tokens_in":7193,"tokens_out":15576,"duration_ms":150575,"significance":"If correct, the paper gives a compact, model-independent illustration of the conjugate-partition rule for N=3 and N=4 electrons and clarifies a point of recent controversy about permutation symmetry in electronic structure. The main strength is that the selection rules are derived from standard group theory without fitted parameters, and the oscillator models provide exact, checkable examples; the acknowledgments also state that independent full-CI calculations confirmed the results. The scope is deliberately small, but the conclusion applies to any spin-free Hamiltonian with S_N symmetry, including clamped-nucleus Li and Be. The result is specific to spin-1/2 electrons, which is exactly the physical case of interest.","major_comments":[{"comment":"The decomposition of the ten states with n1+n2+n3=3 is inconsistent with the dimension count. The text says they transform as A1, E, T1, and T2, whose dimensions are 1+2+3+3=9, not 10. The correct decomposition of the symmetric cube of the T2 coordinate representation is A1 + T1 + 2T2 under the paper's labeling (one E is replaced by an additional T2). Please correct this and recheck the analogous statements for the other n1+n2+n3 manifolds, since this is an explicit mathematical claim about the exact eigenstates.","section":"Section 4"},{"comment":"The central N=4 selection rule that A1 and T2 spatial functions are not allowed is asserted rather than demonstrated. The paper explicitly states that it will show neither the O character table nor the projection operators. Because the T1/T2 naming is convention-dependent and the same section contains the dimension-error noted above, the reader cannot audit the main result from the text. Please include at least a class-by-class mapping of S4 conjugacy classes to O irreps and the projection-operator outcomes for the n1+n2+n3 manifolds discussed, so the exclusion of A1 and T2 is verifiable.","section":"Section 4"}],"minor_comments":[{"comment":"The sentence 'Since PA2 = sqrt(6) A' is a normalization error: with the antisymmetrizer defined in Eq. (3), PA2 = A/sqrt(6). This typo should be corrected.","section":"Section 3"},{"comment":"In the discussion of the states with n1+n2=3, the text says the four states are basis for 'A1, A2 and A3'; this should be 'A1, A2 and E'.","section":"Section 3"},{"comment":"The phrase 'we will show neither the character table nor the projection operators' is unusually terse for a central claim; even if the full table is omitted for brevity, a reference to the specific table in a standard textbook and a one-line statement of the class correspondence would greatly improve transparency.","section":"Section 4"}],"recommendation":"major_revision","confidential_remarks":"The central selection rules are correct and the conjugate-partition argument is sound, so the paper is not in danger of rejection on substance. However, the N=4 section contains a definite irrep-decomposition error (a dimension mismatch that cannot be a mere typo) and omits the very calculation needed to verify the main N=4 claim. Both are fixable, which is why I recommend major revision rather than rejection."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Bottom line: this is a correct, clearly written small paper that shows which S_N spatial symmetries can appear in Slater-determinant wavefunctions for N=3 and N=4, using exactly solvable harmonic models. The selection rule itself is standard—the conjugate-partition/Pauli result—and the author acknowledges it agrees with Bunker and Jensen's missing-levels analysis. What is genuinely useful is the explicit construction: projecting products of spatial and spin functions onto antisymmetric combinations for C3v and O, and demonstrating with simple oscillator eigenfunctions exactly which energy levels drop out of a CI calculation. The algebra is easy to follow, the mapping from S3 to C3v and S4 to O is natural, and the conclusions for A1 (and T2 for N=4) are correct. I verified the N=4 result independently against the conjugate-irrep rule; it works.\n\nThe soft spots are minor. Section 3 has a normalization typo: PA2 = 1/6 (E + C3 + C3^2 - reflections) equals A/√6, not √6 A, given the antisymmetrizer defined in Eq. (3). The sign/scale error doesn't affect the argument because only the zero/nonzero structure of the projected products matters, but it will trip up a careful reader. Section 4 is the bigger presentational gap: the paper explicitly says it will not show the character table or projection operators for O, and simply states that A1 and T2 spatial parts are forbidden. Since T1/T2 naming is convention-dependent, this is the one step a reader cannot audit directly from the text. It is reproducible, and the acknowledgment of unpublished full CI calculations gives indirect support, but a referee should ask for the details in an appendix.\n\nThis is not a breakthrough paper. Its value is pedagogical and archival: a clean, self-contained set of examples that resolve a small recent controversy about permutation symmetry in Hartree-Fock/CI methods. The citation pattern is honest— the paper cites the disputed work, the author's own previous preprint, and Bunker and Jensen. No parameters are fitted; no invented entities. If I were an editor, I would send it to a competent referee rather than desk reject, because the mathematical content is correct and the exposition is mostly careful. The referee should request the N=4 projection details and the typo fix, but I would expect acceptance after that.","headline":"A correct, modest paper that re-derives the standard spin-free symmetry selection rule with clean exactly solvable examples; the N=4 section is under-documented but the result holds.","tokens_in":7723,"tokens_out":2625,"would_cite":false,"duration_ms":27701,"reading_group":"maybe","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":[],"pacs":[],"model":"deepseek-v4-flash","headline":"For three and four spin-1/2 electrons, certain spatial symmetries can never be made antisymmetric by adding spin, so configuration-interaction calculations will not yield those levels.","keywords":["permutation symmetry","symmetric group","Slater determinants","antisymmetry principle","configuration interaction","missing levels","irreducible representations","spin-1/2 fermions"],"falsifier":"Run a full configuration-interaction calculation on the paper's exactly solvable three- and four-electron oscillator Hamiltonians with enough basis functions to converge the lowest levels, then decompose each converged wavefunction into $S_N$ irreducible representations. The claim predicts that no state whose spatial part transforms as $A_1$ (for $N=3$) or as $A_1$ or $T_2$ (for $N=4$) will appear; finding such a converged state would refute the claim.","tokens_in":6766,"feed_emoji":"⚛️","tokens_out":15929,"duration_ms":142140,"temperature":0.7,"pith_summary":"The paper asks which permutation-symmetry types of the spatial part of an $N$-electron wavefunction are compatible with the requirement that the total wavefunction be antisymmetric under exchange of any two electrons. Working with exactly solvable one-dimensional harmonic models that share the $S_3$ and $S_4$ symmetry of three- and four-electron atoms, it shows that the totally symmetric spatial representation $A_1$ is forbidden for $N=3$, and that both $A_1$ and $T_2$ are forbidden for $N=4$. Equivalently, energy levels whose spatial parts carry those symmetries will never appear in a configuration-interaction calculation built from Slater determinants (antisymmetrized products of one-electron spin-orbitals). The selection rule is argued to be model-independent, following from permutation symmetry and the spin-1/2 nature of electrons alone.","feed_headline":"Antisymmetry principle forbids some symmetric electron wavefunctions","feed_subtitle":"Full configuration-interaction calculations will never show these levels in atoms like lithium and beryllium.","key_machinery":"The machinery is the representation theory of the symmetric group applied through the isomorphisms $S_3 \\cong C_{3v}$ and $S_4 \\cong O$. Spatial eigenfunctions of the exactly solvable models are classified by irreducible representations using projection operators such as $P_{A_1}$, $P_{A_2}$, and $P_E$. The decisive test is the construction of antisymmetric spatial-spin functions: apply the antisymmetrizer (proportional to $P_{A_2}$ for three electrons) to a product of a spatial function of a given irrep and a product of one-electron spin states, and check whether the result vanishes. Whether it vanishes is controlled by the fact that the spin part of $N$ spin-1/2 electrons is carried only by representations of $S_N$ with the standard two-row shape labels (at most two rows), which restricts the spatial irreps that can pair with spin to form an antisymmetric total function.","core_discovery":"On its own terms, the paper establishes a selection rule for atomic and molecular wavefunctions. For $N=3$ spin-1/2 electrons, any spatial function transforming as the totally symmetric representation $A_1$ of $S_3$ is incompatible with the antisymmetry principle: no spin function can make the total wavefunction antisymmetric, so the non-degenerate levels $E_{00j}$ will not appear in a configuration-interaction calculation. The allowed spatial symmetries are $A_2$, which appears in the quadruplet, and $E$, which appears in the doublets. For $N=4$, the forbidden spatial representations are $A_1$ and $T_2$, while $A_2$ supports the quintuplet, $T_1$ supports the triplets, and $E$ supports the singlets. The paper argues that this result is not an artifact of the oscillator models: it follows from $S_N$ symmetry and the spin-1/2 character of electrons, and so applies to atoms and molecules in the clamped-nucleus approximation and, via the invariance of mass-polarization terms, beyond it.","pith_inferences":["One can extend the same projection-operator test to any number of electrons: the allowed spatial irreps are exactly those that combine with the two-row spin representation to contain the totally antisymmetric representation, so the forbidden irreps for larger $N$ could be tabulated directly.","A practical diagnostic follows: in benchmark full-CI studies of small atoms, the predicted missing levels should show up as exact eigenvalues of the spin-free Hamiltonian that no finite CI basis can reproduce, giving a clean way to test for basis completeness.","If the particles were hypothetical spin-1 fermions, the spin part would span three-row representations and the selection rule would weaken, so varying the particle spin offers a sharp test of the mechanism."],"forward_implications":["For three electrons, a Slater-determinant-based configuration-interaction expansion will never converge to the non-degenerate levels with fully symmetric spatial parts; those levels are missing from the CI spectrum.","For four electrons, the same argument rules out both $A_1$ and $T_2$ spatial states, so only $A_2$, $T_1$, and $E$ spatial parts appear in valid antisymmetric wavefunctions.","Because the reasoning uses only $S_N$ permutation symmetry and the spin-1/2 nature of electrons, the missing levels are expected in realistic clamped-nucleus electronic-structure calculations, not only in the harmonic toy models.","The selection rule survives removal of the clamped-nucleus approximation: the mass-polarization terms that appear when center-of-mass motion is separated do not change the $S_N$ symmetry of the Hamiltonian."],"supporting_citations":[{"why":"Supplies the earlier correction to the claim that every eigenfunction is a permutation eigenfunction, and provides the coordinate transformation that separates the oscillator model.","marker":"[2]"},{"why":"Defines the Slater-determinant and configuration-interaction trial functions whose symmetry content is being tested.","marker":"[3]"},{"why":"The oscillator Hamiltonians used here are simplified versions of these exactly solvable models, giving the spectra used for illustration.","marker":"[4]"},{"why":"Provides standard facts about transpositions, even and odd permutations, and the symmetric group used to set up the $S_N$ invariance.","marker":"[5]"},{"why":"Gives the character tables and projection-operator constructions for $C_{3v}$ and $O$ used to label spatial states and build antisymmetric functions.","marker":"[8]"},{"why":"Shows that mass-polarization coupling terms preserve $S_N$ symmetry, extending the selection rule to finite nuclear mass.","marker":"[9]"},{"why":"Earlier missing-level analysis for the $H_3^+$ molecule that the paper's $D_{3h}$ result is checked against.","marker":"[10]"}],"fun_headline_variants":["Antisymmetry bans symmetric electron spatial functions","Only certain permutation symmetries allowed for electrons","Selection rule: which S_N species survive antisymmetry?","Totally symmetric wavefunctions impossible for N=3 electrons","Spin-1/2 electrons restrict allowed symmetry species"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The load-bearing premise is that the particles are spin-1/2 electrons, so their spin functions come in a restricted set of symmetry patterns; if the particles had higher spin, the list of forbidden spatial symmetries would change.","fun_headline_variants_meta":{"raw":{"variants":["Antisymmetry bans symmetric electron spatial functions","Only certain permutation symmetries allowed for electrons","Selection rule: which S_N species survive antisymmetry?","Totally symmetric wavefunctions impossible for N=3 electrons","Spin-1/2 electrons restrict allowed symmetry species"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000582,"raw_usage":{"total_tokens":2696,"prompt_tokens":860,"completion_tokens":1836,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":476,"completion_tokens_details":{"reasoning_tokens":1760}},"tokens_in":476,"tokens_out":1836,"duration_ms":14004,"temperature":1.0,"reasoning_tokens":1760,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-14T15:20:48.542314+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Run a full configuration-interaction calculation on the paper's exactly solvable three- and four-electron oscillator Hamiltonians with enough basis functions to converge the lowest levels, then decompose each converged wavefunction into $S_N$ irreducible representations. The claim predicts that no state whose spatial part transforms as $A_1$ (for $N=3$) or as $A_1$ or $T_2$ (for $N=4$) will appear; finding such a converged state would refute the claim.","supporting_citations":[{"cited_title":"On the permutation symmetry of atomic and molecular wavefunctions","cited_arxiv_id":"1904.06378","evidence_quote":"Supplies the earlier correction to the claim that every eigenfunction is a permutation eigenfunction, and provides the coordinate transformation that separates the oscillator model."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Defines the Slater-determinant and configuration-interaction trial functions whose symmetry content is being tested."},{"cited_title":"Moshinsky and Y","cited_arxiv_id":null,"evidence_quote":"The oscillator Hamiltonians used here are simplified versions of these exactly solvable models, giving the spectra used for illustration."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Gives the character tables and projection-operator constructions for $C_{3v}$ and $O$ used to label spatial states and build antisymmetric functions."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Shows that mass-polarization coupling terms preserve $S_N$ symmetry, extending the selection rule to finite nuclear mass."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Earlier missing-level analysis for the $H_3^+$ molecule that the paper's $D_{3h}$ result is checked against."}],"review_version":1}