pith. machine review for the scientific record. sign in

arxiv: 2603.07772 · v2 · submitted 2026-03-08 · 🧮 math.AG

Recognition: 2 theorem links

· Lean Theorem

The GW/PT conjectures for toric pairs

Authors on Pith no claims yet

Pith reviewed 2026-05-15 14:34 UTC · model grok-4.3

classification 🧮 math.AG
keywords logarithmic Gromov-Witten theorylogarithmic Donaldson-Thomas theoryPandharipande-Thomas theorytoric threefoldstorus-invariant divisorsenumerative geometryvirtual classes
0
0 comments X

The pith

Logarithmic Gromov-Witten and Pandharipande-Thomas theories agree for toric threefold pairs with any invariant divisor.

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

The paper proves that logarithmic Gromov-Witten and logarithmic Donaldson/Pandharipande-Thomas theories produce matching counts for any toric threefold equipped with a torus-invariant divisor, using primary insertions. This establishes the first results in the fully logarithmic setting where the divisor may be singular and gives the first equivariant proof when the divisor is nonempty. The argument shows that the constraints of the logarithmic theory, together with toric equivariance and positivity, reduce every such invariant to the single known degree-one series of projective space. A sympathetic reader cares because the result unifies two central enumerative theories and supplies explicit evaluations for a large class of varieties.

Core claim

We prove the conjectural correspondence between logarithmic Gromov-Witten theory and logarithmic Donaldson/Pandharipande-Thomas theory for pairs (Y|∂Y) consisting of a toric threefold Y and any torus invariant divisor ∂Y, with primary insertions. The results are the first verifications when ∂Y is singular and the first proof of the equivariant toric correspondence for pairs when ∂Y is nonempty. When ∂Y is empty the methods recover the known toric correspondence while also showing that the PT series is a Laurent polynomial under sufficient positivity and proving the 2008 conjecture that the capped vertex is a Laurent polynomial. The logarithmic DT/PT conjecture is verified for toric threefold

What carries the argument

The reduction of all logarithmic invariants of toric pairs to the degree-one series of projective space, achieved by combining the constraints of the logarithmic virtual class with toric equivariance and positivity.

If this is right

  • The Pandharipande-Thomas series is a Laurent polynomial whenever sufficient positivity holds.
  • The capped vertex is a Laurent polynomial, confirming the 2008 conjecture.
  • The logarithmic DT/PT correspondence holds for all toric threefold pairs.
  • Every invariant for such pairs is determined by one explicit calculation on projective space.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

  • The same reduction strategy may apply to non-toric threefolds if comparable logarithmic constraints can be established.
  • Positivity conditions appear to control the algebraic form of the generating functions across these theories.
  • The unification supplies a route to recursive computation of higher-genus or descendant logarithmic invariants.

Load-bearing premise

The constraints of the logarithmic theory suffice to determine the complete evaluation of toric pairs from the single degree 1 series of P^3, relying on toric equivariance and positivity.

What would settle it

Direct computation of the logarithmic GW and PT series for a toric pair with singular boundary divisor in degree two or higher, which would disagree if the claimed equality fails.

read the original abstract

We prove the conjectural correspondence between logarithmic Gromov-Witten theory and logarithmic Donaldson/Pandharipande-Thomas theory for pairs $(Y|\partial Y)$ consisting of a toric threefold $Y$ and any torus invariant divisor $\partial Y$, with primary insertions. The results are the first verifications of this conjecture when $\partial Y$ is singular, i.e., the ``fully logarithmic'' setting, and the first proof of the equivariant toric correspondence for pairs when $\partial Y$ is nonempty. When $\partial Y$ is empty, we get a new proof of the known toric correspondence, but our methods also lead to stronger conclusions. In particular, we show the PT series is a Laurent polynomial in the presence of sufficient positivity and prove a 2008 conjecture of Oblomkov, Okounkov, Pandharipande, and the first author stating the capped vertex is a Laurent polynomial. The methods also verify the logarithmic DT/PT conjecture for toric threefold pairs. Using the constraints of the logarithmic theory, the complete evaluation of toric pairs is determined by a single calculation -- the degree $1$ series of $\mathbb{P}^3$.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Referee Report

2 major / 1 minor

Summary. The paper proves the conjectural correspondence between logarithmic Gromov-Witten theory and logarithmic Donaldson/Pandharipande-Thomas theory for pairs (Y|∂Y) consisting of a toric threefold Y and any torus-invariant divisor ∂Y, with primary insertions. It establishes this for singular ∂Y (the fully logarithmic setting) and provides the first equivariant toric proof when ∂Y is nonempty. All toric pair invariants are reduced to the single degree-1 series of P^3 via logarithmic constraints, toric equivariance, and positivity. Additional results include that the PT series is a Laurent polynomial under sufficient positivity, a proof of the 2008 Oblomkov-Okounkov-Pandharipande conjecture on the capped vertex being a Laurent polynomial, and verification of the logarithmic DT/PT conjecture.

Significance. If the central reduction holds, this constitutes a substantial advance: the first complete verification of the GW/PT conjecture in the fully logarithmic setting with singular divisors, together with stronger structural results such as the Laurent polynomial property of the PT series. The reduction to a single explicit calculation (the degree-1 P^3 series) is a notable strength that makes the result falsifiable and computationally useful.

major comments (2)
  1. [the reduction argument following the statement of the main theorem (as summarized in the abstract)] The load-bearing reduction asserting that logarithmic GW/PT constraints plus toric equivariance and positivity determine every primary invariant for arbitrary (including singular) ∂Y from the single degree-1 series of P^3 requires explicit verification. For singular ∂Y the logarithmic moduli spaces acquire additional strata and obstruction theories; the manuscript must show that no new independent classes appear and that the relations inherited from the smooth/P^3 case continue to hold without modification.
  2. [the section establishing the Laurent polynomial property] The proof that the PT series is a Laurent polynomial under sufficient positivity (and the related 2008 capped-vertex conjecture) is stated as a stronger conclusion, but the precise positivity hypotheses and their compatibility with the singular fully-logarithmic obstruction theory need to be spelled out to confirm they do not introduce new denominators or poles.
minor comments (1)
  1. [Introduction and notation] Clarify the precise definition of 'primary insertions' in the logarithmic setting when ∂Y is singular, to avoid ambiguity in the statement of the main theorems.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for the careful reading of the manuscript and the detailed comments. We address each major point below and indicate the revisions we plan to incorporate.

read point-by-point responses
  1. Referee: The load-bearing reduction asserting that logarithmic GW/PT constraints plus toric equivariance and positivity determine every primary invariant for arbitrary (including singular) ∂Y from the single degree-1 series of P^3 requires explicit verification. For singular ∂Y the logarithmic moduli spaces acquire additional strata and obstruction theories; the manuscript must show that no new independent classes appear and that the relations inherited from the smooth/P^3 case continue to hold without modification.

    Authors: The reduction proceeds from the uniform construction of the logarithmic moduli spaces and their obstruction theories via the logarithmic structure on the pair (Y|∂Y). This construction applies identically whether ∂Y is smooth or singular, with the additional strata in the singular case already incorporated into the logarithmic virtual class. The toric equivariance and positivity constraints then generate the same system of relations in all cases, as these relations arise from the action on the ambient toric variety and the positivity of the curve class with respect to the divisor components; they do not depend on smoothness of ∂Y. Consequently, no new independent classes appear. To address the request for explicit verification, we will insert a dedicated subsection that compares the obstruction theories in the smooth and singular settings and confirms that the inherited relations remain unmodified. revision: yes

  2. Referee: The proof that the PT series is a Laurent polynomial under sufficient positivity (and the related 2008 capped-vertex conjecture) is stated as a stronger conclusion, but the precise positivity hypotheses and their compatibility with the singular fully-logarithmic obstruction theory need to be spelled out to confirm they do not introduce new denominators or poles.

    Authors: The positivity hypotheses are the requirement that the curve class intersects every component of ∂Y positively; under this condition the equivariant localization formula for the PT series produces only non-negative powers in the relevant variables, yielding a Laurent polynomial. The same formula applies verbatim in the fully logarithmic setting because the virtual dimension and the weights in the obstruction theory are unchanged by the singularities of ∂Y. We will expand the relevant section to state the hypotheses explicitly, add a short compatibility remark with the singular obstruction theory, and confirm that no new denominators arise. revision: yes

Circularity Check

0 steps flagged

No circularity: toric pair invariants reduced to independent P^3 series via logarithmic constraints

full rationale

The paper's central claim is that logarithmic GW/PT constraints together with toric equivariance and positivity determine all primary invariants for any toric pair (Y|∂Y) from the single degree-1 series of P^3. This reduction is derived from the structure of the logarithmic theory rather than by fitting parameters to the target data or by self-definition. The degree-1 P^3 series is treated as an external, independently computable input, and the proof for singular ∂Y extends the same constraint framework without introducing new fitted elements or renaming known results. Self-citations, such as to the 2008 OOPP conjecture proved as a byproduct, are not load-bearing for the main correspondence. The derivation chain therefore remains self-contained against external benchmarks and does not reduce to its own inputs by construction.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

The proof rests on standard background results in logarithmic Gromov-Witten and DT/PT theory for toric varieties; no new free parameters or invented entities are introduced in the abstract.

axioms (1)
  • standard math Standard properties of toric varieties, logarithmic structures, and equivariant cohomology
    Invoked to reduce computations to the degree-1 series of P^3.

pith-pipeline@v0.9.0 · 5506 in / 1160 out tokens · 37453 ms · 2026-05-15T14:34:06.977529+00:00 · methodology

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Lean theorems connected to this paper

Citations machine-checked in the Pith Canon. Every link opens the source theorem in the public Lean library.

What do these tags mean?
matches
The paper's claim is directly supported by a theorem in the formal canon.
supports
The theorem supports part of the paper's argument, but the paper may add assumptions or extra steps.
extends
The paper goes beyond the formal theorem; the theorem is a base layer rather than the whole result.
uses
The paper appears to rely on the theorem as machinery.
contradicts
The paper's claim conflicts with a theorem or certificate in the canon.
unclear
Pith found a possible connection, but the passage is too broad, indirect, or ambiguous to say the theorem truly supports the claim.

Forward citations

Cited by 2 Pith papers

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

  1. Rationality and symmetry of stable pairs generating series of Fano 3-folds

    math.AG 2026-04 unverdicted novelty 7.0

    Generating series of stable pairs descendent invariants on Fano 3-folds are rational and q ↔ q^{-1} symmetric.

  2. Coherent sheaves in logarithmic geometry

    math.AG 2026-04 unverdicted novelty 7.0

    The authors introduce logarithmic coherent sheaves in the logarithmic étale topology and tools to reduce homological algebra computations to alterations, unifying logarithmic Quot spaces, Picard groups, and parabolic sheaves.

Reference graph

Works this paper leans on

57 extracted references · 57 canonical work pages · cited by 2 Pith papers

  1. [1]

    ABRAMOVICH ANDQ

    D. ABRAMOVICH ANDQ. CHEN,Stable logarithmic maps to Deligne-Faltings pairs II, Asian J. Math., 18 (2014), pp. 465–

  2. [2]

    ABRAMOVICH ANDJ

    D. ABRAMOVICH ANDJ. WISE,Birational invariance in logarithmic Gromov–Witten theory, Comp. Math., 154 (2018), pp. 595–620. 8, 18

  3. [3]

    AGANAGIC, A

    M. AGANAGIC, A. KLEMM, M. MARI ˜NO,ANDC. VAFA,The topological vertex, Comm. Math. Phys., 254 (2005), pp. 425–

  4. [4]

    ARANHA, A

    D. ARANHA, A. A. KHAN, A. LATYNTSEV, H. PARK,ANDC. RAVI,The stacky concentration theorem, arXiv preprint arXiv:2407.08747, (2024). 41

  5. [5]

    ARG ¨UZ ANDP

    H. ARG ¨UZ ANDP. BOUSSEAU,BPS polynomials and Welschinger invariants, arXiv:2506.02770, (2025). 5

  6. [6]

    BLOCK ANDL

    F. BLOCK ANDL. G ¨OTTSCHE,Refined curve counting with tropical geometry, Comp. Math., 152 (2016), pp. 115–151. 4

  7. [7]

    BOUSSEAU,Tropical refined curve counting from higher genera and lambda classes, Invent

    P. BOUSSEAU,Tropical refined curve counting from higher genera and lambda classes, Invent. Math., 215 (2019), pp. 1–79. 3, 5, 36 7Note that this statement is only being used on the locally closed stratum, so the flattening and logarithmic fiber product procedures that play a key role in [37] are irrelevant. 8Transversality is equivalent to flatness over t...

  8. [8]

    BRYAN ANDR

    J. BRYAN ANDR. PANDHARIPANDE,The local Gromov-Witten theory of curves, J. Amer. Math. Soc., 21 (2008), pp. 101–136. 2, 36, 39, 43, 45

  9. [9]

    BURYAK ANDP

    A. BURYAK ANDP. ROSSI,Quadratic double ramification integrals and the noncommutative KdV hierarchy, Bull. Lond. Math. Soc., 53 (2021), pp. 843–854. 4

  10. [10]

    CAROCCI ANDN

    F. CAROCCI ANDN. NABIJOU,Rubber tori in the boundary of expanded stable maps, J. Lond. Math. Soc. (2), 109 (2024), pp. Paper No. e12874, 36. 19

  11. [11]

    CAVALIERI, M

    R. CAVALIERI, M. CHAN, M. ULIRSCH,ANDJ. WISE,A moduli stack of tropical curves, Forum Math. Sigma, 8 (2020), pp. 1–93. 11

  12. [12]

    CHEN,Stable logarithmic maps to Deligne-Faltings pairs I, Ann

    Q. CHEN,Stable logarithmic maps to Deligne-Faltings pairs I, Ann. of Math., 180 (2014), pp. 341–392. 2

  13. [13]

    EISENBUD ANDB

    D. EISENBUD ANDB. STURMFELS,Binomial ideals, Duke Math. J., 84 (1996), pp. 1–45. 47

  14. [14]

    FABER ANDR

    C. FABER ANDR. PANDHARIPANDE,Hodge integrals and Gromov-Witten theory, Invent. Math., 139 (2000), pp. 173–199. 36

  15. [15]

    FULTON,Introduction to Toric Varieties, Princeton University Press, 1993

    W. FULTON,Introduction to Toric Varieties, Princeton University Press, 1993. 18

  16. [16]

    G ¨OTTSCHE ANDV

    L. G ¨OTTSCHE ANDV. SHENDE,Refined curve counting on complex surfaces, Geom. Topol., 18 (2014), pp. 2245–2307. 4, 5

  17. [17]

    GRABER ANDR

    T. GRABER ANDR. PANDHARIPANDE,Localization of virtual classes, Invent. Math., 135 (1999), pp. 487–518. 4, 9

  18. [18]

    GROJNOWSKI,Instantons and affine algebras

    I. GROJNOWSKI,Instantons and affine algebras. I. The Hilbert scheme and vertex operators, Math. Res. Lett., 3 (1996), pp. 275–

  19. [19]

    GROSS ANDB

    M. GROSS ANDB. SIEBERT,Logarithmic Gromov-Witten invariants, J. Amer. Math. Soc., 26 (2013), pp. 451–510. 2, 6

  20. [20]

    GUZMAN,Logarithmic cobordism and Donaldson-Thomas invariants, arXiv:2510.15085, (2025)

    J. GUZMAN,Logarithmic cobordism and Donaldson-Thomas invariants, arXiv:2510.15085, (2025). 2, 3

  21. [21]

    HOLMES, S

    D. HOLMES, S. MOLCHO, R. PANDHARIPANDE, A. PIXTON,ANDJ. SCHMITT,Logarithmic double ramification cycles, Invent. Math., 240 (2025), pp. 35–121. 4

  22. [22]

    HOLMES ANDR

    D. HOLMES ANDR. SCHWARZ,Logarithmic intersections of double ramification cycles, Algebr. Geom., 9 (2022), pp. 574–

  23. [23]

    KEMPF, F

    G. KEMPF, F. KNUDSEN, D. MUMFORD,ANDB. SAINT-DONAT,Toroidal embeddings I, Lecture Notes in Mathematics, 339 (1973). 17

  24. [24]

    KENNEDY-HUNT,Logarithmic Pandharipande-Thomas spaces and the secondary polytope, arXiv:2112.00809, (2021)

    P. KENNEDY-HUNT,Logarithmic Pandharipande-Thomas spaces and the secondary polytope, arXiv:2112.00809, (2021). 46

  25. [25]

    KENNEDY-HUNT, Q

    P. KENNEDY-HUNT, Q. SHAFI,ANDA. U. KUMARAN,Tropical refined curve counting with descendants, Comm. Math. Phys., 405 (2024), pp. Paper No. 240, 41. 4, 36

  26. [26]

    LI,Stable morphisms to singular schemes and relative stable morphisms, J

    J. LI,Stable morphisms to singular schemes and relative stable morphisms, J. Diff. Geom., 57 (2001), pp. 509–578. 7

  27. [27]

    ,A degeneration formula of GW-invariants, J. Diff. Geom., 60 (2002), pp. 199–293. 2, 13

  28. [28]

    J. LI ANDB. WU,Good degeneration of Quot-schemes and coherent systems, Comm. Anal. Geom., 23 (2015), pp. 841–921. 2, 7, 13

  29. [29]

    MAULIK ANDA

    D. MAULIK ANDA. NEGUT , ,Lehn’s formula in Chow and conjectures of Beauville and Voisin, J. Inst. Math. Jussieu, 21 (2022), pp. 933–971. 14

  30. [30]

    MAULIK, N

    D. MAULIK, N. NEKRASOV, A. OKOUNKOV,ANDR. PANDHARIPANDE,Gromov–Witten theory and Donaldson–Thomas theory, I, Compos. Math., 142 (2006), pp. 1263–1285. 1

  31. [31]

    Math., 142 (2006), pp

    ,Gromov–Witten theory and Donaldson–Thomas theory, II, Compos. Math., 142 (2006), pp. 1286–1304. 1, 3, 4

  32. [32]

    MAULIK, A

    D. MAULIK, A. OBLOMKOV, A. OKOUNKOV,ANDR. PANDHARIPANDE,Gromov-Witten/Donaldson-Thomas correspon- dence for toric 3-folds, Invent. Math., 186 (2011), pp. 435–479. 2, 39, 40

  33. [33]

    MAULIK ANDR

    D. MAULIK ANDR. PANDHARIPANDE,A topological view of Gromov–Witten theory, Topology, 45 (2006), pp. 887–918. 25

  34. [34]

    MAULIK, R

    D. MAULIK, R. PANDHARIPANDE,ANDR. P. THOMAS,Curves on K3 surfaces and modular forms, J. Topol., 3 (2010), pp. 937–996. 2

  35. [35]

    MAULIK ANDD

    D. MAULIK ANDD. RANGANATHAN,Logarithmic Donaldson–Thomas theory, Forum Math. Pi, 12 (2024), p. Paper No. e9. 2, 3, 5, 6, 7, 9, 10, 21, 32

  36. [36]

    2, 3, 22, 23, 24, 25, 27

    ,Gromov-Witten theory, degenerations, and the tautological ring, arXiv:2510.04779, (2025). 2, 3, 22, 23, 24, 25, 27

  37. [37]

    ,Logarithmic enumerative geometry for curves and sheaves, Camb. J. Math., 13 (2025), pp. 51–172. 1, 2, 3, 5, 6, 9, 10, 12, 13, 22, 25, 47

  38. [38]

    MIKHALKIN,Quantum indices and refined enumeration of real plane curves, Acta Math., 219 (2017), pp

    G. MIKHALKIN,Quantum indices and refined enumeration of real plane curves, Acta Math., 219 (2017), pp. 135–180. 4, 33

  39. [39]

    MOLCHO ANDD

    S. MOLCHO ANDD. RANGANATHAN,A case study of intersections on blowups of the moduli of curves, Algebra Number Theory, 18 (2024), pp. 1767–1816. 2, 4, 29

  40. [40]

    NAKAJIMA,Heisenberg algebra and Hilbert schemes of points on projective surfaces, Ann

    H. NAKAJIMA,Heisenberg algebra and Hilbert schemes of points on projective surfaces, Ann. of Math. (2), 145 (1997), pp. 379–388. 9, 14 THE GW/PT CONJECTURES FOR TORIC PAIRS 49

  41. [41]

    NEGUT , ,Hecke correspondences for smooth moduli spaces of sheaves, Publ

    A. NEGUT , ,Hecke correspondences for smooth moduli spaces of sheaves, Publ. Math. Inst. Hautes ´Etudes Sci., 135 (2022), pp. 337–418. 4, 13, 14

  42. [42]

    ,W-algebras associated to surfaces, Proc. Lond. Math. Soc. (3), 124 (2022), pp. 601–679. 13, 14

  43. [43]

    NEKRASOV ANDA

    N. NEKRASOV ANDA. OKOUNKOV,Membranes and sheaves, Algebr. Geom., 3 (2016), pp. 320–369. 5

  44. [44]

    NICAISE, S

    J. NICAISE, S. PAYNE,ANDF. SCHROETER,Tropical refined curve counting via motivic integration, Geom. Topol., 22 (2018), pp. 3175–3234. 4

  45. [45]

    OBERDIECK,Marked relative invariants and GW/PT correspondences, Adv

    G. OBERDIECK,Marked relative invariants and GW/PT correspondences, Adv. Math., 439 (2024), pp. Paper No. 109472, 98. 13, 15, 16

  46. [46]

    OKOUNKOV ANDR

    A. OKOUNKOV ANDR. PANDHARIPANDE,Virasoro constraints for target curves, Invent. Math., 163 (2006), pp. 47–108. 3, 43

  47. [47]

    Topol., 14 (2010), pp

    ,The local Donaldson-Thomas theory of curves, Geom. Topol., 14 (2010), pp. 1503–1567. 2, 25, 36, 39, 43, 45

  48. [48]

    PANDHARIPANDE ANDA

    R. PANDHARIPANDE ANDA. PIXTON,Descendents on local curves: rationality, Comp. Math., 149 (2013), pp. 81–124. 4

  49. [49]

    Top., 18 (2014), pp

    ,Gromov–Witten/pairs descendent correspondence for toric 3-folds, Geom. Top., 18 (2014), pp. 2747–2821. 2, 4

  50. [50]

    ,Gromov-Witten/pairs correspondence for the quintic 3-fold, J. Amer. Math. Soc., 30 (2017), pp. 389–449. 2, 4

  51. [51]

    PANDHARIPANDE ANDR

    R. PANDHARIPANDE ANDR. P. THOMAS,Curve counting via stable pairs in the derived category, Invent. Math., 178 (2009), pp. 407–447. 1, 3, 36

  52. [52]

    PARDON,Universally counting curves in Calabi-Yau threefolds, arXiv:2308.02948, (2023)

    J. PARDON,Universally counting curves in Calabi-Yau threefolds, arXiv:2308.02948, (2023). 4

  53. [53]

    PARKER,Three dimensional tropical correspondence formula, Commun

    B. PARKER,Three dimensional tropical correspondence formula, Commun. Math. Phys., 353 (2017), pp. 791–819. 3, 33, 36

  54. [54]

    RANGANATHAN,Logarithmic Gromov-Witten theory with expansions, Algebr

    D. RANGANATHAN,Logarithmic Gromov-Witten theory with expansions, Algebr. Geom., 9 (2022), pp. 714–761. 2, 6, 7

  55. [55]

    ,An invitation to the enumerative geometry of degenerations, arXiv:2602.20840, (2026). 5

  56. [56]

    RANGANATHAN ANDA

    D. RANGANATHAN ANDA. URUNDOLILKUMARAN,Logarithmic Gromov-Witten theory and double ramification cycles, J. Reine Angew. Math., 809 (2024), pp. 1–40. 4

  57. [57]

    TEVELEV,Compactifications of subvarieties of tori, Amer

    J. TEVELEV,Compactifications of subvarieties of tori, Amer. J. Math., 129 (2007), pp. 1087–1104. 33 DAVESHMAULIK, MASSACHUSETTSINSTITUTE OFTECHNOLOGY, CAMBRIDGE, USA Email address:maulik@mit.edu DHRUVRANGANATHAN, UNIVERSITY OFCAMBRIDGE, CAMBRIDGE, UK Email address:dr508@cam.ac.uk