Pith. sign in

REVIEW 4 major objections 5 minor 17 references

$N \leftrightarrow -N$ duality of SU(N) for stable sequences of representations

T0 review · 4 major / 5 minor · reviewed 2026-08-06 · deepseek-v4-flash

Challenge this review Re-run · record.json Download PDF Read on arXiv ↗

Pith's one-line read This paper proves that SU(N)'s N-to-(-N) duality survives for the N-dependent family D(λ,τ), including the adjoint, with dimensions and Casimir eigenvalues following explicit sign rules.

desk verdict Correct and potentially useful extension of N↔-N duality to stable sequences, with a dimension proof that needs tightening and a Casimir result resting on a self-cited formula. read the letter →

arxiv 2507.10371 v2 pith:XLPHJQC2 submitted 2025-07-14 math-ph hep-thmath.MP

R.L. Mkrtchyan This is my paper · ORCID
classification math-phhep-thmath.MP MSC 17B1022E4622E70
keywords SU(N)Nto-NdualitystablesequencesD(λτ)representationsadjointrepresentationYoungdiagramsCasimireigenvaluesuniversaldecomposition
verification ladder T0 review T1 audit T2 compute T3 formal

The pith

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The reading

The paper extends the known duality that sends $N$ to $-N$ in SU(N) representation theory from ordinary Young diagrams to a family $D(\lambda,\tau)$ of $N$-dependent diagrams, the simplest member being the adjoint representation. It proves that dimensions of these representations transform covariantly under the duality, with a sign fixed by the areas of the two component diagrams, and that the quadratic Casimir eigenvalues change sign under the duality after transposing both diagrams. These identities restore a duality that fails under the literal reading of the classical formula for the adjoint. The stated motivation is universality: the decomposition of powers of the adjoint into Casimir eigenspaces is conjectured to be independent of the algebra's parameters, and the duality predicts equal multiplicities for paired diagrams.

What carries the argument

The machinery is the three-block decomposition of the Young diagram of $D(\lambda,\tau)$: a subdiagram $\lambda$, a rectangle $a$ of height equal to the number of rows of $\lambda$ and width equal to the number of rows of $\tau$, and a lower block $b$ shaped by $\tau$. Under the duality the partner diagram $D(\tau,\lambda)$ is assembled from $\tau$, the transposed rectangle $a'$, and the complement of $\lambda$, so $b$ and $\tau$ exchange roles while $a$ turns into $a'$. The proof of the dimension identity is bookkeeping of hook numbers block by block: the $b$-contribution equals the dimension of $\tau^T$ in a smaller SU($N-\Lambda$) algebra, matching the $\tau$-block of the partner. For the Casimir, the load-bearing object is the explicit polynomial (32)--(34) for the eigenvalue at the minimal metric, plus the decomposition of the full eigenvalue into the $\lambda$-part, the $\tau$-part, and a cross term $(2/N)\sum_i i\lambda_i\sum_i i\tau_i$; each piece obeys the expected sign rule separately.

What would settle it

For a small case such as $\lambda=(2)$, $\tau=(1)$ with $N=4$, compute the dimension of $D(\lambda,\tau)$ by the hook formula and evaluate the resulting polynomial at $N=-4$; if it differs from $(-1)^{\mathrm{Area}(\lambda)+\mathrm{Area}(\tau)}\dim(D(\tau,\lambda),-4)$, Proposition 1 fails. Similarly, computing $C(D(\lambda,\tau),4)$ from the highest-weight formula and comparing it with $-C(D(\lambda^T,\tau^T),-4)$ tests Proposition 2 directly.

Watch

Extended reading notes

Core claim

The central findings are two identities for the stable sequence $D(\lambda,\tau)$ of SU(N) representations, whose Dynkin labels (the standard coordinates on the space of highest weights) are $(\lambda_1,\dots,\lambda_k,0,\dots,0,\tau_k,\dots,\tau_1)$. Proposition 1 states that $\dim(D(\lambda,\tau),N)=(-1)^{\mathrm{Area}(\lambda)+\mathrm{Area}(\tau)}\dim(D(\tau,\lambda),-N)$, so swapping the two component diagrams and reversing the sign of $N$ changes the dimension only by a sign. Proposition 2 states that the second-order Casimir eigenvalue at the minimal metric satisfies $C(D(\lambda,\tau),N)=-C(D(\lambda^T,\tau^T),-N)$, with transposed diagrams appearing on the negative-rank side. The proof of Proposition 1 divides the Young diagram into three blocks and matches each block's hook contribution under $N\leftrightarrow -N$; Proposition 2 follows by applying the transposition sign change to the quadratic terms of the explicit formula (32)--(34) for the eigenvalue, together with the cross term proportional to the product of the areas of $\lambda$ and $\tau$.

Load-bearing premise

The Casimir half of the paper stands on the unproved formula (32)--(34) for the eigenvalue on $D(\lambda,\tau)$, taken without proof from the author's earlier work [15]; if that formula is wrong, Proposition 2 cannot be relied on.

Editorial extensions

If this is right

  • The dimension formula applies to every stable sequence $D(\lambda,\tau)$, so the adjoint and similar $N$-dependent diagrams now sit inside the $N\leftrightarrow -N$ duality instead of being exceptions to it.
  • For $\tau=0$ the identities reduce to the classical duality (1), so the new statement contains the old one as a limiting case.
  • In the universal decomposition of powers of the adjoint into Casimir eigenspaces, diagrams exchanged by the duality must have equal multiplicities; this is a concrete, checkable prediction of the universality hypothesis.
  • When the $\lambda$ and $\tau$ diagrams are mutually transposed, the constant term of the Casimir vanishes, a direct analytical consequence of Proposition 2.

Reading between the lines

Editorial extensions of the paper, not claims the author makes directly.

  • Going beyond the paper: because the proof of Proposition 1 identifies the $b$-block with a dimension of a smaller algebra, the same three-block idea could produce dualities for other rank-dependent families of diagrams, not only those with a single zero-gap in the Dynkin labels.
  • An unstated corollary of (24) together with the $\mathbb{Z}_2$ automorphism (25) is a square of four identities relating $D(\lambda,\tau)$, $D(\tau,\lambda)$, $D(\lambda^T,\tau^T)$, and $D(\tau^T,\lambda^T)$; tracking the signs would give a purely combinatorial consistency check of the whole system.
  • Testing the equal-multiplicity prediction on low tensor powers of the adjoint of SU(4) or SU(5) would either strengthen or strain the universality hypothesis; such a check is not performed in the paper itself.
Share X Bluesky LinkedIn Reddit HN

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, and a circularity audit.

Referee Report

4 major / 5 minor

Summary. The paper proposes an extension of the classical N ↔ −N dimension duality for SU(N) representations to a class of representations whose Young diagrams depend on N, namely stable sequences D(λ, τ) with Dynkin labels (λ_1,...,λ_k,0,...,0,τ_k,...,τ_1). Proposition 1 states a dimension duality dim(D(λ,τ),N) = (−1)^{Area(λ)+Area(τ)} dim(D(τ,λ),−N), and Proposition 2 states an analogous duality for the second-order Casimir eigenvalue at the minimal metric, C(D(λ,τ),N) = −C(D(λ^T,τ^T),−N). The proofs use hook-content bookkeeping for the dimension claim and an imported Casimir formula from the author's earlier preprint [15]. The paper closes with a discussion of consequences for the conjectured universal decomposition of powers of the adjoint representation.

Significance. If the two propositions are correct, the paper gives a nontrivial and natural extension of negative-dimensional duality to an N-dependent family of representations that includes the adjoint, and it provides the corresponding Casimir statement. The dimension duality is supported by a fully worked example, and the Casimir formula (32)-(34) is written in explicit Dynkin-label form, so the claims are directly checkable. The concluding prediction—equal multiplicities for diagrams related by the duality in the universal decomposition of powers of the adjoint—is falsifiable and of interest for Vogel-universality studies. The main weaknesses are that the proof of Proposition 1 is compressed to the point of being incomplete, and Proposition 2 depends entirely on a self-cited formula that is not derived in the present paper.

major comments (4)
  1. [Section 4, Proposition 1] The proof of Proposition 1 is not self-contained. The identification of the b-part contribution with dim(τ^T; su(N−Λ)) is asserted without exhibiting the hook-content factors or the Z2 argument that produces the equality, and the same holds for the b′/λ contribution. Since this bookkeeping is the core of the dimension duality, the proof needs to be written out explicitly rather than left as 'evident'.
  2. [Section 4, Eqs. (26)-(28)] The hook-denominator formulas for the rectangles a and a′ are stated with index ranges that do not match the declared geometry. The text says a is a rectangle with Λ rows and T columns, yet (26) runs i=1,...,T and j=1,...,Λ; when T>Λ the symbol l_i is undefined, and when Λ>T the symbol t_j is undefined. Moreover, the change of variables i→T−i+1, j→Λ−j+1 used to obtain (28) is not shown, so the sign factor (−1)^{Area(a)} and the equality with (26) cannot be checked from the printed text. These steps must be written out.
  3. [Section 5, Proposition 2] Proposition 2 is a direct corollary of the Casimir formula (32)-(34), which is imported from the author's own preprint [15] without proof or a precise pointer. This formula is the sole load-bearing input for the Casimir duality; if any term in (32)-(34) is incorrect, Eq. (31) fails. The paper should either reproduce a derivation of (32)-(34) in an appendix or state exactly where in [15] the formula is proved.
  4. [Section 5, Eq. (31) vs. Proposition 1 and Eq. (25)] The duality map in Proposition 2 is D(λ,τ) → D(λ^T,τ^T), whereas Proposition 1 concerns D(λ,τ) → D(τ,λ) and Eq. (25) states dim(D(λ,τ),N)=dim(D(τ^T,λ^T),N). The paper should clarify how transposition acts on the pair (λ,τ) and explicitly justify why the Casimir statement is written with D(λ^T,τ^T) rather than D(τ^T,λ^T); if the formula (32) is symmetric in λ and τ, this should be stated.
minor comments (5)
  1. [Throughout] There are several typos and grammatical errors, including 'repectively', 'transformes', 'finishs', and the malformed display 'N um' in Eq. (4); the manuscript needs a careful copyedit.
  2. [Abstract] The abstract says 'for that representations'; it should read 'for those representations'.
  3. [References] Reference [16] lists the page range as '379-338', which appears to be a typo and should be corrected.
  4. [Section 5, Eq. (52)] The sums in (52) are written with upper limit N−1, while the Casimir formula (32) uses k; the ranges should be made consistent or the notation should be clarified.
  5. [Section 3] The worked example would be easier to verify if the diagrams (13) and (18) were accompanied by explicit row lengths for a concrete small N, so that Area(λ), Area(τ), and the sign (−1)^{Area(λ)+Area(τ)} could be checked without reading the ellipses.

Circularity Check

0 steps flagged · score 2.0 of 10

No significant circularity: both propositions are derived from external hook-counting lemmas and an independently quotable parameter-free Casimir formula; the self-citations do not close the argument.

full rationale

The derivation chain is non-circular. Proposition 1 is proved by decomposing the N-dependent diagram into fixed pieces (lambda, a, b) and using King's N-to-minus-N duality for N-independent Young diagrams plus explicit hook-content denominator identities (26)-(28); the target duality (24) is not assumed as an input. Proposition 2 is an algebraic consequence of the Casimir formula (32)-(34), quoted from the author's prior work [15]. That formula is parameter-free, stated in terms of Dynkin labels, and contains no -N duality, so by the review rules it is independent support rather than a self-citation chain; the proof then checks the transposition sign-change of the constant term by an explicit A_i/B_i reindexing and the N- and 1/N-terms by area conservation. The concluding universality discussion is explicitly presented as a motivation or consequence of [16,17], not as a proof input. No fitted parameter is renamed as a prediction and no uniqueness theorem is imported to forbid alternatives. The unproved status of (32)-(34) and the compressed hook bookkeeping around (26)-(28) are verification or correctness risks, not instances of circularity; the modest score reflects only the concentration of self-citations.

Assumptions & free parameters 0 free parameters · 6 assumptions · 0 invented entities

No numeric free parameters are fitted to data. The paper's inputs are the hook formula, King's duality, the Z2 symmetry, the imported Casimir formula from the author's [15], and the deliberately chosen stable-sequence rule; the inverted Young diagrams (tau-bar) are computational bookkeeping, not invented entities. The largest external load is the self-cited Casimir formula (32)-(34); the largest structural choice is the polynomial-dimension rule that defines D(λ,τ), which the paper itself flags as a choice.

assumptions (6)
  • standard math Hook-content dimension formula for SU(N) irreps (numerator N + j - i per box, denominator hook lengths)
    Used in Sections 3 and 4 to compute dim(D(λ,τ),N) and to factor the diagram into a, b and lambda contributions.
  • standard math King's N↔-N duality for N-independent Young diagrams (Eq. 1)
    Used as a lemma for the b and b' pieces in the proof of Proposition 1; these pieces are N-independent sub-diagrams.
  • standard math Z2 automorphism of the su(N) Dynkin diagram, giving dim(D(λ,τ),N) = dim(D(τ^T,λ^T),N) (Eq. 25)
    Invoked in Section 4 to relate the b-part of the initial diagram to the transposed tau diagram.
  • domain assumption Casimir eigenvalue formula (32)-(34) on D(λ,τ), quoted from [15]
    Load-bearing for Proposition 2; it is a parameter-free formula in the Dynkin labels but is not derived in this paper and comes from the author's own prior work.
  • ad hoc to paper Stable-sequence extension rule: represent D(λ,τ) by fixing non-zero Dynkin labels at both ends and inserting zeros in the middle, so dimensions stay polynomial in N
    Section 2 admits 'We have no much to say further on this issue'; the duality claims hold only for sequences chosen this way, making this a modeling choice rather than a forced rule.
  • standard math Second-order Casimir normalization: minimal invariant metric with long roots squared 2, and formula C = (λ,λ) + 2(λ,ρ) (Eqs. 29-30)
    The exact form of the Casimir duality (31) depends on this normalization, as the paper notes via [10].

how reviews work

0 comments
Cite this review

Pith. "Pith review of $N \leftrightarrow -N$ duality of SU(N) for stable sequences of representations." pith.science (2026). https://pith.science/paper/XLPHJQC2

@misc{pith2026250710371,
  author       = {Pith},
  title        = {Pith review of: $N \leftrightarrow -N$ duality of SU(N) for stable sequences of representations},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/XLPHJQC2}},
  note         = {Machine review of arXiv:2507.10371}
}
abstract

We generalize $N \leftrightarrow -N$ duality of dimension formulae of $SU(N)$ representations on a (class of) representations with $N$-dependent Young diagrams (which include the adjoint representation), and on eigenvalues of the Casimir operator for those representations. We discuss the consequences for the hypothesis of universal decomposition of powers of the adjoint representation into Casimir subspaces.

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

17 extracted references · 14 canonical work pages

  1. [15]

    R.L.Mkrtchyan, The Casimir eigenvalues on ad⊗k of SU(N) are linear on N, arXiv:2506.13062, http://arxiv.org/abs/2506.13062,

    work page arXiv

  2. [1]

    Applications of negative dimensional tensors,

    R. Penrose, “Applications of negative dimensional tensors,” in Combinatorial mathematics and its applications, D.J.A.Welsh, ed. (Academic Press, New York 1971), 221

    work page 1971

  3. [2]

    R. C. King The dimensions of irreducible tensor representations of the orthogonal and sym- plectic groups. Can. J. Math. 33 (1972), 176

    work page 1972

  4. [3]

    Parisi and N

    G. Parisi and N. Sourlas Random magnetic fields, supersymmetry and negative dimensions. Phys. Rev. Lett. 43 (1979), 744

    work page 1979

  5. [4]

    Cvitanovic and A

    P. Cvitanovic and A. D. Kennedy Spinors in negative dimensions. Phys. Scr. 26 (1982), 5-12

    work page 1982

  6. [5]

    Cvitanovic Group Theory

    P. Cvitanovic Group Theory. Princeton University Press, Princeton, NJ, 2004. http://www.nbi.dk/group theory

    work page 2004

  7. [6]

    Mkrtchyan The equivalence of Sp(2N ) and SO(−2N ) gauge theories

    R.L. Mkrtchyan The equivalence of Sp(2N ) and SO(−2N ) gauge theories. Physics Letters 105B (1981), 174-176

    work page 1981

  8. [7]

    Vogel, The Universal Lie algebra, Preprint (1999), https://webusers.imj- prg.fr/˜pierre.vogel/grenoble-99b.pdf

    P. Vogel, The Universal Lie algebra, Preprint (1999), https://webusers.imj- prg.fr/˜pierre.vogel/grenoble-99b.pdf

    work page 1999

Show all 17 references
  1. [8]

    Mkrtchyan, Alexander P

    Ruben L. Mkrtchyan, Alexander P. Veselov, On duality and negative dimensions in the theory of Lie groups and symmetric spaces arXiv:1011.0151, Journal Math. Phys., 52, 083514 (2011), https://doi.org/10.1063/1.3625954

    2011 arXiv

  2. [9]

    Mathematics of the USSR-Izvestiya, 2:6 (1968), 1313-1335

    A.M.Perelomov and V.S.Popov Casimir operators for semisimple Lie groups. Mathematics of the USSR-Izvestiya, 2:6 (1968), 1313-1335

    1968

  3. [10]

    Mkrtchyan, A.N

    R.L. Mkrtchyan, A.N. Sergeev, A.P. Veselov, Casimir values for universal Lie algebra, arXiv:1105.0115, Journ. Math.Phys. 53, 102106 (2012). https://doi.org/10.1063/1.4757763 12

    2012 arXiv

  4. [11]

    Avetisyan, On Universal Eigenvalues of Casimir Operator, arXiv:1908.08794, Phys

    M.Y. Avetisyan, On Universal Eigenvalues of Casimir Operator, arXiv:1908.08794, Phys. Part. Nucl. Lett. 17(5), pp 779-783 (2020), doi:10.1134/S1547477120050039

    2020 arXiv

  5. [12]

    Barut, R

    A.O. Barut, R. Raczka, Theory of Group Representations and Applications, World Scientific Publ., 1986

    1986

  6. [13]

    and Senechal, D

    di Francesco, P., Mathieu, P. and Senechal, D. (1997) Conformal Field Theory, Springer New York, 1997, https://doi.org/10.1007/978-1-4612-2256-9

    1997 doi

  7. [14]

    Grosshans, Semisimple Lie algebras, Lecture Notes in Pure and Applied Mathematics, V 38, 1978, https://doi.org/10.1201/9781003071778

    Morikuni Goto and Frank D. Grosshans, Semisimple Lie algebras, Lecture Notes in Pure and Applied Mathematics, V 38, 1978, https://doi.org/10.1201/9781003071778

    1978 doi

  8. [16]

    Maneh Avetisyan, Alexey Isaev, Sergey Krivonos and Ruben Mkrtchyan, The uniform struc- ture of g⊗4, Russian Journal of Mathematical Physics, 2024, Vol 31, No 3, pp 379-338, https://doi.org/10.1134/S1061920824030038

    2024 doi

  9. [17]

    Isaev and S.O

    A.P. Isaev and S.O. Krivonos, The split 5-Casimir operator and the structure of ∧ad⊗5, Izvestiya: Mathematics, 2025, Volume 89, Issue 1, p. 15–25, doi: https://doi.org/10.4213/im9594e

    2025 doi

Pith tools

Reviewed August 6, 2026 · model on record in the stance chip above.