Opened 12 months ago
Closed 10 months ago
#29615 closed enhancement (fixed)
Fusion Ring Operations; Central Charge
Reported by:  ghphysicstravels  Owned by:  ghphysicstravels 

Priority:  major  Milestone:  sage9.2 
Component:  combinatorics  Keywords:  
Cc:  tscrim, sagecombinat, bump, ghwillieab  Merged in:  
Authors:  Daniel Bump, Guillermo Aboumrad  Reviewers:  Travis Scrimshaw 
Report Upstream:  N/A  Work issues:  
Branch:  c3a8036 (Commits, GitHub, GitLab)  Commit:  c3a80369f6157f91cebfccd213ae296c919124bc 
Dependencies:  #27036  Stopgaps: 
Description (last modified by )
This ticket is a successor to #27036.
The Virasoro central charge of a FusionRing
is computed using the formula for WZW conformal field theories. This allows us to coerce the square root of the global quantum dimension into the cyclotomic field and normalize the Smatrix. So there are a lot of benfits.
Here is a temporary link to a build of the documentation:
http://match.stanford.edu/reference/combinat/sage/combinat/root_system/fusion_ring.html
Change History (21)
comment:1 Changed 12 months ago by
 Component changed from PLEASE CHANGE to combinatorics
 Owner changed from (none) to ghphysicstravels
 Priority changed from major to trivial
 Type changed from PLEASE CHANGE to enhancement
comment:2 Changed 12 months ago by
 Cc tscrim sagecombinat bump ghwillieab added
comment:3 Changed 12 months ago by
 Branch set to u/ghphysicstravels/fusion_ring_operations
comment:4 Changed 12 months ago by
 Commit set to 50c5ac80b031015505af86e9f82ccef4a7dce4ab
comment:5 Changed 12 months ago by
 Commit changed from 50c5ac80b031015505af86e9f82ccef4a7dce4ab to e77eca14a4024e84dde7e27f13646aa01a7de705
comment:6 Changed 12 months ago by
 Commit changed from e77eca14a4024e84dde7e27f13646aa01a7de705 to 48fb1f941ffa9049ec0a0dfb5ffa3d043e6f2765
Branch pushed to git repo; I updated commit sha1. New commits:
48fb1f9  Update to py3. Fix doctests.

comment:7 Changed 12 months ago by
 Commit changed from 48fb1f941ffa9049ec0a0dfb5ffa3d043e6f2765 to 50c5ac80b031015505af86e9f82ccef4a7dce4ab
Branch pushed to git repo; I updated commit sha1. This was a forced push. New commits:
comment:8 Changed 12 months ago by
 Commit changed from 50c5ac80b031015505af86e9f82ccef4a7dce4ab to 48fb1f941ffa9049ec0a0dfb5ffa3d043e6f2765
Branch pushed to git repo; I updated commit sha1. New commits:
bbd6ac5  new methods for FusionRings: smatrix, q_dimension, twists etc

11f0174  created FusionRing.Element class

ef131a0  doctests added, updated q_field, and Smatrix computation

c5a2349  revised doctest

e77eca1  work on revising self.s_ij

48fb1f9  Update to py3. Fix doctests.

comment:9 Changed 12 months ago by
 Commit changed from 48fb1f941ffa9049ec0a0dfb5ffa3d043e6f2765 to 5438494edc15effd7dce7ef5c3658411ceac243a
Branch pushed to git repo; I updated commit sha1. New commits:
16b56a8  new methods for FusionRings: smatrix, q_dimension, twists etc

dd4f948  created FusionRing.Element class

eb09e3f  doctests added, updated q_field, and Smatrix computation

7be38ba  revised doctest

a5bc48f  work on revising self.s_ij

5438494  Update to py3. Fix doctests.

comment:10 Changed 12 months ago by
 Milestone changed from sage9.1 to sage9.2
comment:11 Changed 10 months ago by
 Branch changed from u/ghphysicstravels/fusion_ring_operations to public/fusion_central_charge29615
 Commit changed from 5438494edc15effd7dce7ef5c3658411ceac243a to b1eff35643fe01abbefb39ce687174c3cda3cc3d
 Description modified (diff)
 Priority changed from trivial to major
 Summary changed from Fusion Ring operations to Fusion Ring Operations; Central Charge
I am changing the branch from u/ghphysicstravels/fusion_ring_operations to public/fusion_central_charge29615. The original branch was merged into public/fusion_ring_operations27036.
Last 10 new commits:
0974b08  explain about conjugate in Verlinde formula

e9de384  revision of twists docstring

0e97174  fix newline before docstring

1b6e82f  Merge branch 'public/fusion_ring_operations27036' of git://trac.sagemath.org/sage into public/fusion_ring_operations27036

642e80f  Final reviewer changes.

8918e84  remove S = tester.some_elements()

500f767  new method to_field, rewriting s_ij

6640ce6  D_plus and D_minus

db2eaa8  work on central charge

b1eff35  doc revision

comment:12 Changed 10 months ago by
 Dependencies set to #27036
comment:13 Changed 10 months ago by
 Description modified (diff)
comment:14 Changed 10 months ago by
 Commit changed from b1eff35643fe01abbefb39ce687174c3cda3cc3d to f06dad2de3788f58a6ce9e85da59e6bf8fb1330e
Branch pushed to git repo; I updated commit sha1. New commits:
f06dad2  various improvements

comment:15 Changed 10 months ago by
 Status changed from new to needs_review
comment:16 Changed 10 months ago by
 Commit changed from f06dad2de3788f58a6ce9e85da59e6bf8fb1330e to eb20485534ec190f378b6caef242cac10fb5e83b
Branch pushed to git repo; I updated commit sha1. New commits:
eb20485  test revision

comment:17 Changed 10 months ago by
 Commit changed from eb20485534ec190f378b6caef242cac10fb5e83b to 655ec2c664ebb1b4d210e885152a08283a9715cb
Branch pushed to git repo; I updated commit sha1. New commits:
655ec2c  Some reviewer changes.

comment:18 Changed 10 months ago by
 Reviewers set to Travis Scrimshaw
I made some reviewer changes. Most of them are documentation and coding style, but two important things:
 Renamed
to_field
toroot_of_unity
as I feel this is more descriptive of what the method actually does.  Implemented what appears to generically be a faster normalization of the
twist
:sage: E62 = FusionRing("E6", 2) sage: %timeit [x.twist() for x in E62.basis()] 10000 loops, best of 5: 125 µs per loop
versus before10000 loops, best of 5: 128 µs per loop
I am getting these precise timings consistently, so the ~2% speedup is not just noise.
If my changes are good, then you can set a positive review.
comment:19 Changed 10 months ago by
 Commit changed from 655ec2c664ebb1b4d210e885152a08283a9715cb to c3a80369f6157f91cebfccd213ae296c919124bc
Branch pushed to git repo; I updated commit sha1. New commits:
377f694  remove two unused variable assignments found by pyflakes

590aeee  Merge branch 'public/fusion_central_charge29615' of trac.sagemath.org:sage into fusion_central_charge29615

c3a8036  remove long time from A23 assign so test does not fail

comment:20 Changed 10 months ago by
 Status changed from needs_review to positive_review
comment:21 Changed 10 months ago by
 Branch changed from public/fusion_central_charge29615 to c3a80369f6157f91cebfccd213ae296c919124bc
 Resolution set to fixed
 Status changed from positive_review to closed
Branch pushed to git repo; I updated commit sha1. New commits: