Pith. sign in

REVIEW 4 major objections 4 minor 2 cited by

Tensor hierarchy algebras and extended geometry I: Construction of the algebra

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

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

Pith's one-line read Tensor hierarchy algebras are well-defined for one-node Kac–Moody extensions, and the construction yields an identity for representation matrices.

desk verdict A serious and useful extension of the THA construction to Kac–Moody extensions, but the abstract overclaims a proof of the central identity and the nontriviality proof leaves a key well-definedness check unstated. read the letter →

arxiv 1908.08695 v1 pith:LSP22ZAG submitted 2019-08-23 hep-th math.QA

Martin Cederwall , Jakob Palmkvist This is my paper · ORCID
classification hep-thmath.QA MSC 17B6717B7017B10
keywords tensorhierarchyalgebraLiesuperalgebraBorcherdsKac-Moodyextendedgeometrygaugedsupergravityhighestweightrepresentationmatrixidentity
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

This paper defines tensor hierarchy algebras $W(\mathfrak{g}^+)$ and $S(\mathfrak{g}^+)$ for Lie algebras $\mathfrak{g}^+$ obtained by adjoining one node to the Dynkin diagram of a finite-dimensional simply laced Lie algebra $\mathfrak{g}$, with the extension labelled by a dominant integral weight $\lambda$. It establishes that these algebras are well-defined and nontrivial, and that their local part splits into explicit $\mathfrak{g}$-modules, the most important of which is a module $\tilde{R}_1$ that encodes 'ancillary transformations' in extended geometry. As a byproduct, the construction is claimed to prove a 'remarkable identity' for representation matrices of arbitrary integral highest weight representations of $\mathfrak{g}$, an identity the paper checks in a range of examples. The motivation is that these algebras are needed as the algebraic backbone for extended geometry and gauged supergravity, where the embedding tensor and gauge structure are realised inside a Lie superalgebra.

What carries the argument

The central object is the tensor hierarchy algebra $S(\mathfrak{g}^+)$, a Lie superalgebra defined as the quotient of an auxiliary algebra $\tilde{S}$ by its maximal ideal that meets the level-zero subalgebra trivially; $\tilde{S}$ is generated by the Chevalley generators of $\mathfrak{g}$, the even generator pair $(e_1,f_1)$ of the extension node, and odd generators $f_{0i}$. The argument is carried by the operator $\sharp$, which pairs the four $\mathfrak{g}$-modules at nonzero levels, and by the identity (5.2.3), which fixes the structure tensors $\ell$ and $\phi$ as linear combinations of projectors on the irreducible modules in $R(\lambda)\otimes \mathrm{adj}$. The construction also relies on the PRV multiplicity formula to determine which irreducible modules appear.

What would settle it

Find a dominant integral weight $\lambda$ with $(\lambda,\lambda)\neq 1$ and $(\lambda,\theta)\geq 4$, for example $\mathfrak{g}=E_8$ with $\lambda$ the fundamental weight $\Lambda_3$, and check whether eq. (5.2.3) admits a solution for the projectors $\ell$ and $\phi$; a linear system with no solution would disprove the identity and the claimed existence of $S(\mathfrak{g}^+)$. A second test would be to compute the level-1 subspace of $S(\mathfrak{g}^+)$ directly from the defining relations for a small example and look for a multibracket not contained in the four $\mathfrak{g}$-modules of eq. (3.3.2).

Watch

Extended reading notes

Core claim

The central claim is that for any dominant integral weight $\lambda$ of a simply laced finite-dimensional Lie algebra $\mathfrak{g}$ with $(\lambda,\lambda)\neq 1$, the tensor hierarchy algebras $W(\mathfrak{g}^+)$ and $S(\mathfrak{g}^+)$—defined from a Dynkin diagram with one additional white node and one grey node by generators and relations—are well-defined, nontrivial Lie superalgebras. Their local part at levels $-1,0,1$ decomposes as a direct sum of $\mathfrak{g}$-modules: at level $1$, $R(-\lambda)\oplus R(-\lambda)\oplus \tilde{R}_1\oplus \tilde{R}_1$, where $\tilde{R}_1$ is the quotient of $R(-\lambda)\otimes \mathrm{adj}$ by the $\mathfrak{g}$-module generated by the lowest weight state; at level $-1$ the modules are the duals. The paper proves non-triviality explicitly by constructing an isomorphic subalgebra inside a universal graded Lie superalgebra $U$, and shows that the Jacobi identities within the local part reduce to a single algebraic identity, eq. (5.2.3), relating the invariant tensors $\ell$ and $\phi$ to projectors on the irreducible modules of $R(\lambda)\otimes \mathrm{adj}$. This identity is claimed as a byproduct for arbitrary integral highest weight representations and is verified for classes of examples with $(\lambda,\theta)=1,2,3$, including $\mathfrak{g}^+=E_9$ (affine) and a hyperbolic example.

Load-bearing premise

The derivation of the level ±1 content of $S(\mathfrak{g}^+)$ assumes that the maximal ideal of the auxiliary algebra $\tilde{S}$ contains no elements at levels ±1 beyond those forced by the defining relations, and the paper states in Section 3.3.3 that it has not been able to prove this; the identity (5.2.3) is likewise verified only in examples, not by an independent proof.

Editorial extensions

If this is right

  • The tensor hierarchy algebras $S(\mathfrak{g}^+)$ provide the algebraic basis for the gauge structure of extended geometry, with the module $\tilde{R}_1$ accounting for ancillary transformations in the commutator of generalized diffeomorphisms.
  • For any dominant integral weight $\lambda$ with $(\lambda,\lambda)\neq 1$, the identity (5.2.3) gives a previously unknown algebraic relation among representation matrices of $\mathfrak{g}$; it can be used to construct consistent embedding tensors in gauged supergravity.
  • When $\mathfrak{g}^+$ is the affine extension of $\mathfrak{g}$, $S(\mathfrak{g}^+)$ contains a Virasoro generator at level 0 and has a symmetry under $(p,q)\leftrightarrow(1-p,1-q)$, so negative-level content is determined by positive levels.
  • For $\lambda$ a fundamental weight, the chain of embeddings $\tilde{W}(\mathfrak{g})\subset\tilde{S}(\mathfrak{g}^+)\subset\tilde{W}(\mathfrak{g}^+)$ links tensor hierarchy algebras of different ranks and extends the known oxidation chains of Borcherds superalgebras.
  • The quotient structure $S_+=B_+/K$ shows that positive-level subalgebras may be proper quotients of the Borcherds superalgebra; examples with $\mathfrak{g}^+=E_8$ and $E_6$ exhibit nontrivial ideals generated by singlets at level 6.

Reading between the lines

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

  • If identity (5.2.3) holds universally, it is likely provable by a direct computation using only the PRV multiplicity formula and weighted characters of $R(\lambda)\otimes \mathrm{adj}$; finding such a proof would decouple the identity from the existence of the algebra.
  • The boundary case $(\lambda,\lambda)=1$, excluded here, may admit a modified construction relevant to double field theory, where the vector representation of $D_r$ plays a central role; a separate treatment could close the gap.
  • The pattern of coefficients in the examples (combinations of dual Coxeter numbers of subalgebras $\mathfrak{g}_{\gamma_0}$ defined by level-zero highest roots) suggests a closed formula for $\ell$ and $\phi$ in terms of the projectors $P_{R(\lambda+\gamma)}$ for all admissible $\lambda$.
  • The construction's reliance on finite-dimensional $\mathfrak{g}$ may be relaxed systematically: for affine $\mathfrak{g}$ the paper notes extra elements at $(p,q)=(0,1),(0,2)$, and a general iterative procedure to determine such 'extra' modules would be needed for hyperbolic $\mathfrak{g}$.
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 / 4 minor

Summary. The paper defines two tensor hierarchy algebras W(g+) and S(g+) attached to a Kac-Moody extension g+ of a finite-dimensional simply laced Lie algebra g by a single node, labelled by a dominant integral weight λ with (λ,λ)≠1. The authors give a generators-and-relations presentation, determine the local part (levels −1, 0, 1) as a sum of g-modules recorded in Eqs. (3.1.7), (3.3.2) and (3.4.1), and propose a g-covariant description involving invariant tensors ℓ and ϕ. A 'remarkable identity' (Eq. (5.2.3)) relating ϕ, ℓ and the representation matrices tα is claimed to hold for arbitrary integral highest-weight representations R(λ) and is verified in examples with (λ,θ)=1, 2, 3. The paper also describes embeddings among the hierarchy algebras and indicates consequences for extended geometry in a companion paper.

Significance. If the main construction were completed, the paper would provide a uniform definition of tensor hierarchy algebras for a broad class of infinite-dimensional Kac-Moody extensions, with an explicit g-module content of the local superalgebra and a nontrivial identity for representation matrices. The application of the PRV multiplicity formula to decompose R(λ)⊗adj is elegant and likely useful beyond this work, and the explicit examples (E9, the Dr three-form series, and the (λ,θ)=3 E8 case) are valuable. The authors are candid about several unproved steps. However, the central existence proof is incomplete: the well-definedness of f1, the triviality of the intersection of the maximal ideal with levels ±1, and the identity (5.2.3) for all λ are not established. Consequently, the strongest claims in the abstract and Section 8 outrun what is demonstrated.

major comments (4)
  1. [Section 5.1, Eqs. (5.7)–(5.8)] The element f1 ∈ U−1 is defined recursively by prescribing its brackets with the generators of U1, and the text states that 'It is straightforward to show that f1 is well defined' (Section 5.1). No proof is given that the prescribed values are consistent with the g-module structure of U1 or that they extend to a derivation. This step is load-bearing: it is the only place where the paper establishes that the relations (3.1.1)–(3.1.4) are realized in a nontrivial algebra, and the directness of the sums in (3.3.2) and (3.4.1) is said to follow from it. As it stands, the nontriviality of S(g+) and the local-part decomposition are not proven.
  2. [Section 3.3.3] The paper states that it has not been able to derive the content of S±1 using only the defining relations and that it has no proof that this is impossible. More importantly, the derivation of (3.3.2) and (3.4.1) passes through the quotient by the maximal ideal J intersecting ~S0 trivially, but the paper does not show that J has trivial intersection with ~S1 and ~S−1. The statement that this possibility 'does not affect the results' is not substantiated; the only apparent support is the construction of Section 5.1, which depends on the unproved well-definedness of f1 (Major Comment 1). If J contains extra elements at levels ±1, the module sums (3.3.2)/(3.4.1) and the covariant description of Section 5.2 fail.
  3. [Sections 5.3 and 7] The 'remarkable identity' (5.2.3) is not proven for arbitrary dominant integral λ. The proof offered is indirect: it is said to follow from the existence of the THA, and that existence is incomplete (Major Comment 1). The direct verifications in Section 7 cover only (λ,θ)=1, 2, 3 with λ a fundamental weight or the adjoint weight, and the counting argument in Section 5.3 explicitly assumes λ is a fundamental weight. No case with λ a non-fundamental composite weight (for example λ=2Λ1) is treated. The abstract's claim that the identity is 'proven' for arbitrary integral highest-weight representations is therefore not supported by the evidence presented.
  4. [Section 7.4] The verification of the (λ,θ)=3 example is itself incomplete. After defining the projectors U and V, the text states that the identity U∘V = −(1/56)(U−40V) 'has not been checked explicitly' but is 'needed for the projection operators to work and to give the correct dimensions of the representations.' Since this example is the only one with (λ,θ)=3 and is used to support the identity (5.2.3) in that case, the missing check leaves the example unverified.
minor comments (4)
  1. [Section 5.1] The phrase 'surjective isomorphism' should be 'surjective homomorphism' unless the map is intended to be an isomorphism onto its image; please clarify.
  2. [Section 3.2] The extension of the operator ♯ to all root vectors eα of g is stated to be straightforward from ref. [3]; a precise citation to the relevant statement would help the reader.
  3. [Tables 3 and 4] It would aid readability to highlight the entries that differ between W(g+) and S(g+) (or to state the difference in the caption), as is done in Tables 7 and 8.
  4. [Abstract] The abstract says the identity is 'proven'; given the incomplete status of the construction, consider softening this to 'derived conditionally on the construction' or proving the identity directly.

Circularity Check

1 steps flagged · score 6.0 of 10

The 'remarkable identity' by-product is mutually load-bearing with THA existence; only §7 examples are independent checks.

  1. other [Section 5.3, Eqs. (5.2.2)-(5.2.3); Section 5.1, Eqs. (5.7)-(5.8); abstract]
    "The existence of the tensor hierarchy algebra thus relies on, and implies, a quite non-trivial algebraic identity involving representation matrices for arbitrary highest weight representations of finite-dimensional simply laced Lie algebras, which we have not been able to prove in an alternative way. In Section 7, this identity is verified for a number of examples, and classes of examples."

    The abstract presents the identity as a proven by-product. Section 5.3 makes it the necessary and sufficient condition for the Jacobi identity of the local superalgebra, and says THA existence 'relies on, and implies' it. The existence proof in Section 5.1 is only the assertion that f1 in (5.7)-(5.8) is well defined, with no check shown. For general λ, the claimed proof of the identity is therefore not an independent derivation: it is the same consistency statement as the asserted existence of S(g+). The only independent evidence is the Section 7 verification for finitely many λ, so the by-product claim reduces to an unproved equivalent assertion.

full rationale

The paper has substantial independent content: the explicit generator/relation definitions, the local-part decomposition conditional on the stated assumptions, the embedding chain of Section 6, and the detailed projector checks in Section 7 for E8/E9, the Dr 3-form series, and (λ,θ)=1. Self-citations to the authors' earlier work [3,4,8,10] supply the ♯-operator identities and the THA concept, but the extension to arbitrary dominant integral λ is new, so the self-citations are not themselves the main circular step. The circularity risk is concentrated in the pair 'THA existence ⇔ identity (5.2.3)'. The paper says THA existence relies on and implies the identity, while the only existence proof is the unshown claim that f1 is well defined (Section 5.1); for arbitrary λ the identity is checked only in examples (Section 7). Thus the abstract's by-product claim is not supported by an independent derivation for the general case. Section 3.3.3 also concedes that the S±1 content was not derived from the defining relations alone and that no proof of impossibility was given; this is an unproven premise in the local-part decomposition, though not itself a circular reduction. Because the mutual reliance is openly acknowledged and the examples give genuine independent checks, the circularity is partial rather than total.

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

No numbers are fitted to data. The construction's cost is carried by the stated structural axioms: the ideal quotient behavior and the unproven identity, both flagged in the text.

assumptions (6)
  • standard math The PRV multiplicity formula (4.5) computes multiplicities in R(lambda) tensor adj
    Cited to ref. [11]; used throughout Section 4 to determine module content.
  • standard math Chevalley-Serre presentation and Borcherds superalgebra structure from Kac's classification
    Background for Section 2; defines B(g+) whose modification yields THAs.
  • domain assumption g is finite-dimensional and simply laced, and lambda is dominant integral with (lambda,lambda) not equal to 1
    Stated in Sections 2 and 3; degenerate cases such as Dr with vector representation are excluded.
  • ad hoc to paper The maximal ideal of ~S intersecting ~S0 trivially does not remove any level +/- 1 modules claimed in (3.3.2) and (3.4.1)
    Assumed in Section 3.3.3; the paper admits no derivation from the defining relations alone.
  • ad hoc to paper The 'remarkable identity' (5.2.3) has a solution for all allowed lambda
    The existence of the THA is said to imply it, but it is only verified in examples in Section 7, not proven generally.
  • ad hoc to paper The operator sharp extends to all levels of S with sharp flat plus flat sharp equal to 1
    Stated in Section 3.2 without proof to all levels; 'the opposite seems extremely unlikely.'
invented entities (2)
  • Tensor hierarchy algebras W(g+) and S(g+) for Kac-Moody extensions g+ independent evidence
    purpose: To provide an algebraic basis for gauge structure and dynamics in extended geometry, including ancillary transformations via the module ~R1.
    They are defined by explicit generators and relations; their low-level module content is computed and checked in examples such as E9 and D7++, and Part II applies them to physics. The falsifiable handle is the module content and the existence of the identity (5.2.3).
  • The raising operator sharp on S
    purpose: To implement the doublet structure at nonzero levels after the generator f00 is removed.
    Defined in Section 3.2; its existence to all levels is asserted without full proof, and no independent check is provided.

how reviews work

0 comments
Cite this review

Pith. "Pith review of Tensor hierarchy algebras and extended geometry I: Construction of the algebra." pith.science (2026). https://pith.science/paper/LSP22ZAG

@misc{pith2026190808695,
  author       = {Pith},
  title        = {Pith review of: Tensor hierarchy algebras and extended geometry I: Construction of the algebra},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/LSP22ZAG}},
  note         = {Machine review of arXiv:1908.08695}
}
abstract

Tensor hierarchy algebras constitute a class of non-contragredient Lie superalgebras, whose finite-dimensional members are the "Cartan-type" Lie superalgebras in Kac's classification. They have applications in mathematical physics, especially in extended geometry and gauged supergravity. We further develop the recently proposed definition of tensor hierarchy algebras in terms of generators and relations encoded in a Dynkin diagram (which coincides with the diagram for a related Borcherds superalgebra). We apply it to cases where a grey node is added to the Dynkin diagram of a rank $r+1$ Kac-Moody algebra $\mathfrak{g}^+$, which in turn is an extension of a rank $r$ finite-dimensional semisimple simply laced Lie algebra $\mathfrak{g}$. The algebras are specified by $\mathfrak{g}$ together with a dominant integral weight $\lambda$. As a by-product, a remarkable identity involving representation matrices for arbitrary integral highest weight representations of $\mathfrak{g}$ is proven. An accompanying paper describes the application of tensor hierarchy algebras to the gauge structure and dynamics in models of extended geometry.

Figures

Figures reproduced from arXiv: 1908.08695 by the authors.

Figure 1
Figure 1. Two equivalent Dynkin diagrams for B(g +), W(g +) and S(g +). Removing the “grey” node in the first diagram yields the Dynkin diagram of g +. Thus, to the Dynkin diagram of g we first add a white node 1 connected to node i by λi lines, extending g to g +. This first extending node corresponds to a simple root α1 of the same length as the simple roots of g (even when it is connected with multiple lines, which means t… view at source ↗

Discussion (0). Continue with ORCID to comment.

Forward citations

Cited by 2 Pith papers

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score. Full citation record

  1. Duality-covariant particles and exotic branes

    hep-th 2026-06 unverdicted novelty 6.0 of 10

    Proposes enlarged worldline models with coadjoint orbit terms and generalized worldvolume theories for exotic branes that make E8 duality covariance manifest in a Hamiltonian formulation.

  2. Gauged Extended Field Theory and Generalised Cartan Geometry

    hep-th 2025-09 conditional novelty 6.0 of 10

    A systematic Cartan-geometric construction of linearised torsion and curvature hierarchies for generalised geometries with global duality group G and local gauge group H, realised via brane current algebras.

Reference graph

Works this paper leans on

19 extracted references · 7 canonical work pages · cited by 2 Pith papers

  1. [1]

    Cederwall and J

    M. Cederwall and J. Palmkvist, Tensor hierarchy algebras and extended geometry II: Gauge structure and dynamics , http://www.arXiv.org/abs/yymm.nnnnn yymm.nnnnn

    work page

  2. [2]

    V. G. Kac, L ie superalgebras , Adv. Math. 26 , 8--96 (1977)

    1977

  3. [3]

    Carbone, M

    L. Carbone, M. Cederwall and J. Palmkvist, Generators and relations for Lie superalgebras of Cartan type , J. Phys. A52 , 055203 (2019) [ http://www.arXiv.org/abs/1802.05767 1802.05767 ]

    arXiv 2019

  4. [4]

    Palmkvist, The tensor hierarchy algebra , J

    J. Palmkvist, The tensor hierarchy algebra , J. Math. Phys. 55 , 011701 (2014) [ http://www.arXiv.org/abs/1305.0018 1305.0018 ]

    arXiv 2014

  5. [5]

    Greitz, P

    J. Greitz, P. Howe and J. Palmkvist, The tensor hierarchy simplified , Class.\ Quant.\ Grav.\ 31 , 087001 (2014) http://www.arXiv.org/abs/1308.4972 1308.4972

    arXiv 2014

  6. [6]

    Bossard, A

    G. Bossard, A. Kleinschmidt, J. Palmkvist, C. N. Pope and E. Sezgin, Beyond E_ 11 , JHEP 05 , 020 (2017) [ http://www.arXiv.org/abs/1703.01305 1703.01305 ]

    arXiv 2017

  7. [7]

    Bossard, M

    G. Bossard, M. Cederwall, A. Kleinschmidt, J. Palmkvist and H. Samtleben, Generalized diffeomorphisms for E_9 , Phys. Rev. D96 , 106022 (2017) [ http://www.arXiv.org/abs/1708.08936 1708.08936 ]

    arXiv 2017

  8. [8]

    Cederwall and J

    M. Cederwall and J. Palmkvist, L_ algebras for extended geometry from Borcherds superalgebras , Commun. Math. Phys. 369 , 721--760 (2019) [ http://www.arXiv.org/abs/1804.04377 1804.04377 ]

    arXiv 2019

Show all 19 references
  1. [9]

    Bossard, A

    G. Bossard, A. Kleinschmidt and E. Sezgin, On supersymmetric E _ 11 exceptional field theory , http://www.arXiv.org/abs/1907.02080 1907.02080

    1907 arXiv

  2. [10]

    Cederwall and J

    M. Cederwall and J. Palmkvist, Extended geometries , JHEP 02 , 071 (2018) [ http://www.arXiv.org/abs/1711.07694 1711.07694 ]

    2018 arXiv

  3. [11]

    Parthasarathy, R

    K. Parthasarathy, R. Ranga Rao and V. Varadarajan, Representations of complex semi-simple Lie groups and Lie algebras , Ann. Math. 85 , 383 (1967)

    1967

  4. [12]

    V. K. Dobrev and V. B. Petkova, Group theoretical approach to extended conformal supersymmetry: Function space realizations and invariant differential operators , Fortsch. Phys. 35 , 537 (1987)

    1987

  5. [13]

    Palmkvist, Exceptional geometry and Borcherds superalgebras , JHEP 11 , 032 (2015) [ http://www.arXiv.org/abs/1507.08828 1507.08828 ]

    J. Palmkvist, Exceptional geometry and Borcherds superalgebras , JHEP 11 , 032 (2015) [ http://www.arXiv.org/abs/1507.08828 1507.08828 ]

    2015 arXiv

  6. [14]

    I. L. Kantor, Graded L ie algebras , Trudy Sem. Vect. Tens. Anal. 15 , 227--266 (1970)

    1970

  7. [15]

    Palmkvist, Three-algebras, triple systems and 3-graded Lie superalgebras , J.\ Phys.\ A A43 , 015205 (2010) [ http://www.arXiv.org/abs/0905.2468 0905.2468 ]

    J. Palmkvist, Three-algebras, triple systems and 3-graded Lie superalgebras , J.\ Phys.\ A A43 , 015205 (2010) [ http://www.arXiv.org/abs/0905.2468 0905.2468 ]

    2010 arXiv

  8. [16]

    D. S. Berman, M. Cederwall, A. Kleinschmidt and D. C. Thompson, The gauge structure of generalised diffeomorphisms , JHEP 01 , 064 (2013) [ http://www.arXiv.org/abs/1208.5884 1208.5884 ]

    2013 arXiv

  9. [17]

    Cederwall and J

    M. Cederwall and J. Palmkvist, Superalgebras, constraints and partition functions , JHEP 08 , 036 (2015) [ http://www.arXiv.org/abs/1503.06215 1503.06215 ]

    2015 arXiv

  10. [18]

    Howe and J

    P. Howe and J. Palmkvist, Forms and algebras in (half-)maximal supergravity theories , JHEP 05 , 032 (2015) [ http://www.arXiv.org/abs/1503.00015 1503.00015 ]

    2015 arXiv

  11. [19]

    Kleinschmidt and J

    A. Kleinschmidt and J. Palmkvist, Oxidizing Borcherds symmetries , JHEP 1303 , 044 (2013) [ http://www.arXiv.org/abs/1301.1346 1301.1346 ]

    2013 arXiv

Pith tools

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