Non-exceptional rigged configuration bijections #13872

tscrim · 2012-12-28T04:49:43Z

Implements the bijection between rigged configurations and tensor products of Kirillov-Reshetikhin tableaux for the non-exceptional types.

Depends on #13838
Depends on #14519
Depends on #14402
Depends on #14157
Depends on #13605

CC: @sagetrac-sage-combinat @anneschilling

Component: combinatorics

Keywords: rigged configurations bijection crystals, days54

Author: Travis Scrimshaw

Branch/Commit: public/combinat/rigged_configurations/bijections-13872 @ 85b6446

Reviewer: Anne Schilling

Issue created by migration from https://trac.sagemath.org/ticket/13872

The text was updated successfully, but these errors were encountered:

tscrim · 2013-02-21T17:49:18Z

Changed dependencies from #13838 to #13838 #14157

tscrim · 2013-02-25T22:38:15Z

Changed dependencies from #13838 #14157 to #13838 #14157 #13605

tscrim · 2013-04-19T19:36:26Z

Changed dependencies from #13838 #14157 #13605 to #13838 #14413 #14157 #13605

tscrim · 2013-04-19T19:36:47Z

Changed dependencies from #13838 #14413 #14157 #13605 to #13838 #14402 #14157 #13605

tscrim · 2013-07-09T11:02:01Z

comment:6

New version over changes in #13871.

tscrim · 2013-07-12T09:53:12Z

Changed dependencies from #13838 #14402 #14157 #13605 to #13838 #14519 #14402 #14157 #13605

tscrim · 2013-08-30T22:45:02Z

comment:9

Newer version over changes in #13871 and #13838.

anneschilling · 2013-09-24T12:58:36Z

comment:10

Hi Travis,

Thanks for your changes we discussed via email. Next there are problems for D_4^{(2)}

sage: for t in KRT:
    rc = t.to_rigged_configuration()
    if not t==rc.to_tensor_product_of_Kirillov_Reshetikhin_tableaux():
        print t
....:
[[[1], [0], [0]], [[1, 2], [2, -2]], [[1, E]]]
---------------------------------------------------------------------------
TypeError                                 Traceback (most recent call last)
<ipython-input-8-925815db1a74> in <module>()
      1 for t in KRT:
      2     rc = t.to_rigged_configuration()
----> 3     if not t==rc.to_tensor_product_of_Kirillov_Reshetikhin_tableaux():
      4         print t
      5

/Applications/sage-5.12.beta5/local/lib/python2.7/site-packages/sage/combinat/crystals/tensor_product.pyc in __eq__(self, other)
    146         return self.__class__ is other.__class__ and \
    147                self.parent() == other.parent() and \
--> 148                self._list == other._list
    149
    150     def __ne__(self, other):

/Applications/sage-5.12.beta5/local/lib/python2.7/site-packages/sage/combinat/crystals/tensor_product.pyc in __eq__(self, other)
    146         return self.__class__ is other.__class__ and \
    147                self.parent() == other.parent() and \
--> 148                self._list == other._list
    149
    150     def __ne__(self, other):

/Applications/sage-5.12.beta5/local/lib/python2.7/site-packages/sage/combinat/crystals/letters.so in sage.combinat.crystals.letters.Letter.__richcmp__ (sage/combinat/crystals/letters.c:6559)()

/Applications/sage-5.12.beta5/local/lib/python2.7/site-packages/sage/structure/element.so in sage.structure.element.Element._richcmp (sage/structure/element.c:8765)()

/Applications/sage-5.12.beta5/local/lib/python2.7/site-packages/sage/combinat/crystals/letters.so in sage.combinat.crystals.letters.Letter._richcmp_c_impl (sage/combinat/crystals/letters.c:6617)()

TypeError: Cannot convert sage.combinat.crystals.letters.EmptyLetter to sage.combinat.crystals.letters.Letter

Best,

Anne

anneschilling · 2013-09-26T23:42:18Z

comment:11

Hi Travis,

I am also confused since the cardinalities do not match up in your code:

sage: RC = RiggedConfigurations(['D',4,2], [[3,1],[2,2],[1,2]])
sage: RC.cardinality()
403025

sage: K1 = KirillovReshetikhinCrystal(['D',4,2],3,1)
sage: K2 = KirillovReshetikhinCrystal(['D',4,2],2,2)
sage: K3 = KirillovReshetikhinCrystal(['D',4,2],1,2)
sage: T = TensorProductOfCrystals(K1,K2,K3)
sage: T.cardinality()
92120

Best,

Anne

anneschilling · 2013-10-30T00:41:43Z

Reviewer: Anne Schilling

anneschilling · 2013-10-30T00:52:14Z

comment:13

Hi Travis,

As we discussed, could you please add which bijections are conjectural and which ones are proven? Also, I currently get some doctest failures with the patch in sage-combinat queue:

rigged_configurations anne$ sage -t *.py
Running doctests with ID 2013-10-29-17-44-20-1f870a4b.
Doctesting 19 files.
sage -t __init__.py
    [0 tests, 0.00 s]
sage -t all.py
    [0 tests, 0.00 s]
sage -t bij_abstract_class.py
**********************************************************************
File "bij_abstract_class.py", line 358, in sage.combinat.rigged_configurations.bij_abstract_class.RCToKRTBijectionAbstract.run
Failed example:
    RCToKRTBijectionTypeA(RC(partition_list=[[1],[1],[1],[1]])).run()
Expected:
    [[5, 2]]
Got:
    [[2], [5]]
**********************************************************************
1 item had failures:
   1 of   4 in sage.combinat.rigged_configurations.bij_abstract_class.RCToKRTBijectionAbstract.run
    [54 tests, 1 failure, 0.77 s]
sage -t bij_type_A.py
    [19 tests, 0.17 s]
sage -t bij_type_A2_dual.py
    [19 tests, 0.27 s]
sage -t bij_type_A2_even.py
    [19 tests, 0.20 s]
sage -t bij_type_A2_odd.py
    [19 tests, 0.25 s]
sage -t bij_type_B.py
**********************************************************************
File "bij_type_B.py", line 532, in sage.combinat.rigged_configurations.bij_type_B.RCToKRTBijectionTypeB.run
Failed example:
    RCToKRTBijectionTypeB(RC(partition_list=[[1],[1,1],[1]])).run()
Expected:
    [[0, 3]]
Got:
    [[3], [0]]
**********************************************************************
File "bij_type_B.py", line 536, in sage.combinat.rigged_configurations.bij_type_B.RCToKRTBijectionTypeB.run
Failed example:
    RCToKRTBijectionTypeB(RC(partition_list=[[],[1],[1]])).run()
Expected:
    [[-2, 3, 1]]
Got:
    [[1], [3], [-2]]
**********************************************************************
1 item had failures:
   2 of   7 in sage.combinat.rigged_configurations.bij_type_B.RCToKRTBijectionTypeB.run
    [34 tests, 2 failures, 0.27 s]
sage -t bij_type_C.py
    [28 tests, 0.24 s]
sage -t bij_type_D.py
**********************************************************************
File "bij_type_D.py", line 428, in sage.combinat.rigged_configurations.bij_type_D.RCToKRTBijectionTypeD.run
Failed example:
    RCToKRTBijectionTypeD(RC(partition_list=[[1],[1],[1],[1]])).run()
Expected:
    [[-3, 2]]
Got:
    [[2], [-3]]
**********************************************************************
1 item had failures:
   1 of   4 in sage.combinat.rigged_configurations.bij_type_D.RCToKRTBijectionTypeD.run
    [75 tests, 1 failure, 0.21 s]
sage -t bij_type_D_twisted.py
**********************************************************************
File "bij_type_D_twisted.py", line 327, in sage.combinat.rigged_configurations.bij_type_D_twisted.RCToKRTBijectionTypeDTwisted.run
Failed example:
    RCToKRTBijectionTypeDTwisted(RC(partition_list=[[],[1],[1]])).run()
Expected:
    [[-2, 3, 1]]
Got:
    [[1], [3], [-2]]
**********************************************************************
1 item had failures:
   1 of   4 in sage.combinat.rigged_configurations.bij_type_D_twisted.RCToKRTBijectionTypeDTwisted.run
    [25 tests, 1 failure, 0.21 s]
sage -t bijection.py
    [6 tests, 0.16 s]
sage -t kleber_tree.py
    [201 tests, 4.01 s]
sage -t kr_tableaux.py
**********************************************************************
File "kr_tableaux.py", line 1363, in sage.combinat.rigged_configurations.kr_tableaux.KRTableauxWrapper._build_module_generators
Failed example:
    KRT._build_module_generators()
Expected:
    ([(-1, 3)],)
Got:
    ([(1,)],)
**********************************************************************
File "kr_tableaux.py", line 1398, in sage.combinat.rigged_configurations.kr_tableaux.KRTableauxWrapper.Element._repr_diagram
Failed example:
    elt._repr_diagram()
Exception raised:
    Traceback (most recent call last):
      File "/Applications/sage-5.12/local/lib/python2.7/site-packages/sage/doctest/forker.py", line 479, in _run
        self.execute(example, compiled, test.globs)
      File "/Applications/sage-5.12/local/lib/python2.7/site-packages/sage/doctest/forker.py", line 838, in execute
        exec compiled in globs
      File "<doctest sage.combinat.rigged_configurations.kr_tableaux.KRTableauxWrapper.Element._repr_diagram[2]>", line 1, in <module>
        elt._repr_diagram()
      File "/Applications/sage-5.12/local/lib/python2.7/site-packages/sage/combinat/rigged_configurations/kr_tableaux.py", line 1402, in _repr_diagram
        return self.to_tableau()._repr_diagram()
      File "cachefunc.pyx", line 1774, in sage.misc.cachefunc.CachedMethodCallerNoArgs.__call__ (sage/misc/cachefunc.c:9546)
      File "/Applications/sage-5.12/local/lib/python2.7/site-packages/sage/combinat/rigged_configurations/kr_tableaux.py", line 1439, in to_tableau
        raise ValueError("cannot convert {} to a tableau".format(self))
    ValueError: cannot convert [(-1, 3)] to a tableau
**********************************************************************
File "kr_tableaux.py", line 1480, in sage.combinat.rigged_configurations.kr_tableaux.KRTableauxWrapper.Element.weight
Failed example:
    KR.module_generators[0].weight()
Exception raised:
    Traceback (most recent call last):
      File "/Applications/sage-5.12/local/lib/python2.7/site-packages/sage/doctest/forker.py", line 479, in _run
        self.execute(example, compiled, test.globs)
      File "/Applications/sage-5.12/local/lib/python2.7/site-packages/sage/doctest/forker.py", line 838, in execute
        exec compiled in globs
      File "<doctest sage.combinat.rigged_configurations.kr_tableaux.KRTableauxWrapper.Element.weight[1]>", line 1, in <module>
        KR.module_generators[Integer(0)].weight()
    NameError: name 'KR' is not defined
**********************************************************************
File "kr_tableaux.py", line 1492, in sage.combinat.rigged_configurations.kr_tableaux.KRTableauxWrapper.Element.e
Failed example:
    KRT.module_generators[0].e(0)
Expected:
    [[-2, 1], [-1, -1]]
Got:
    [(-2, 1)]
**********************************************************************
File "kr_tableaux.py", line 1507, in sage.combinat.rigged_configurations.kr_tableaux.KRTableauxWrapper.Element.f
Failed example:
    KRT.module_generators[0].f(0)
Expected:
    [[1, 1], [2, -1]]
Got:
    <BLANKLINE>
**********************************************************************
5 items had failures:
   1 of   4 in sage.combinat.rigged_configurations.kr_tableaux.KRTableauxWrapper.Element._repr_diagram
   1 of   3 in sage.combinat.rigged_configurations.kr_tableaux.KRTableauxWrapper.Element.e
   1 of   3 in sage.combinat.rigged_configurations.kr_tableaux.KRTableauxWrapper.Element.f
   1 of   3 in sage.combinat.rigged_configurations.kr_tableaux.KRTableauxWrapper.Element.weight
   1 of   3 in sage.combinat.rigged_configurations.kr_tableaux.KRTableauxWrapper._build_module_generators
    [217 tests, 5 failures, 37.97 s]
sage -t rigged_configuration_element.py
    [92 tests, 1.31 s]
sage -t rigged_configurations.py
    [180 tests, 5.29 s]
sage -t rigged_partition.py
    [54 tests, 0.22 s]
sage -t tensor_product_kr_tableaux.py
    [78 tests, 2.19 s]
sage -t tensor_product_kr_tableaux_element.py
    [61 tests, 0.86 s]
----------------------------------------------------------------------
sage -t bij_abstract_class.py  # 1 doctest failed
sage -t bij_type_B.py  # 2 doctests failed
sage -t bij_type_D.py  # 1 doctest failed
sage -t bij_type_D_twisted.py  # 1 doctest failed
sage -t kr_tableaux.py  # 5 doctests failed
----------------------------------------------------------------------
Total time for all tests: 56.2 seconds
    cpu time: 51.8 seconds
    cumulative wall time: 54.6 seconds

Best,

Anne

tscrim · 2013-11-06T20:00:04Z

Attachment: trac_13872-RC_bijections-ts.patch.gz

tscrim · 2013-11-06T20:00:30Z

comment:14

New version with all of the fixes.

tscrim · 2013-11-07T19:54:00Z

Branch: public/combinat/rigged_configurations/rc_bijections

tscrim · 2013-11-07T19:58:28Z

Commit: 6aae6bf

tscrim · 2013-11-07T19:58:28Z

Changed branch from public/combinat/rigged_configurations/rc_bijections to public/combinat/rigged_configurations/13872-bijections

sagetrac-git · 2013-11-07T22:53:22Z

Changed commit from 6aae6bf to 307fef1

sagetrac-git · 2013-11-07T22:53:22Z

Branch pushed to git repo; I updated commit sha1. New commits:

`[307fef1](https://github.com/sagemath/sagetrac-mirror/commit/307fef1)`	`Removed some whitespaces, beautified code`

tscrim · 2013-12-01T19:39:46Z

comment:45

So the above errors came from the fact that I changed the 1-dim config sum to use ZZ['t'] instead of QQ['t'] since this made more sense to me as we are q-counting things. I reverted this back, although I do want to leave in the expanded type checking so 1-dim config sum works for tensors products of KR tableaux. I also added references to fermionic_formula() for when this is known to be equal to the 1-dim config sum.

sagetrac-git · 2013-12-04T00:51:28Z

Branch pushed to git repo; I updated commit sha1. New commits:

`[2c2ef93](https://github.com/sagemath/sagetrac-mirror/commit/2c2ef93)`	`some edits to docs`

sagetrac-git · 2013-12-04T00:51:28Z

Changed commit from c9b3e43 to 2c2ef93

tscrim · 2013-12-04T16:09:06Z

comment:48

Thank you Anne.

sagetrac-git · 2013-12-11T20:11:13Z

Branch pushed to git repo; I updated commit sha1 and set ticket back to needs_review. Last 10 new commits:

`[2e3e96d](https://github.com/sagemath/sagetrac-mirror/commit/2e3e96d)`	`Merge branch 'master' into public/combinat/rigged_configurations/bijections-13872`
`[0bc2bf7](https://github.com/sagemath/sagetrac-mirror/commit/0bc2bf7)`	`Merge branch 'public/combinat/rigged_configurations/bijections-13872' of trac.sagemath.org:sage into public/combinat/rigged_configurations/bijections-13872`
`[0391615](https://github.com/sagemath/sagetrac-mirror/commit/0391615)`	`Merge branch 'public/homology/chain_complex_parents-15161' of trac.sagemath.org:sage into public/combinat/rigged_configurations/bijections-13872`
`[dd02b22](https://github.com/sagemath/sagetrac-mirror/commit/dd02b22)`	`Fixed minor bug introduced in chain_complex_morphism.py.`
`[7c51909](https://github.com/sagemath/sagetrac-mirror/commit/7c51909)`	`Some review changes -- code tweaks and doc formatting.`
`[84e22b5](https://github.com/sagemath/sagetrac-mirror/commit/84e22b5)`	`Merge branch 'ticket/15161' into public/homology/chain_complex_parents-15161`
`[b2710cd](https://github.com/sagemath/sagetrac-mirror/commit/b2710cd)`	`Merge branch 'master' into chain_complex_parents`
`[8ec7ded](https://github.com/sagemath/sagetrac-mirror/commit/8ec7ded)`	`fixed bug in is_boundary()`
`[7e075ed](https://github.com/sagemath/sagetrac-mirror/commit/7e075ed)`	`Fixed super categories and all doctests`
`[7543b85](https://github.com/sagemath/sagetrac-mirror/commit/7543b85)`	`finished refactoring the homology() method`

sagetrac-git · 2013-12-11T20:11:13Z

Changed commit from 2c2ef93 to 2e3e96d

tscrim · 2013-12-11T20:12:54Z

comment:50

Hmm...somehow I've (erroneously) merged the branch from #15161 into this one. I'll separate shortly.

sagetrac-git · 2013-12-11T21:02:28Z

Branch pushed to git repo; I updated commit sha1. This was a forced push. Recent commits:


17a04d7	Added deprecatd classes back with warnings.
538c594	Merge branch 'master' into public/combinat/rigged_configurations/bijections-13872
29c9d34	[FIXUP] 5.13.beta5: update git specific files
0aa3fed	5.13.beta5
8f2b136	5.13.beta5

sagetrac-git · 2013-12-11T21:02:28Z

Changed commit from 2e3e96d to 17a04d7

sagetrac-git · 2013-12-11T21:07:16Z

Branch pushed to git repo; I updated commit sha1. New commits:

`[85b6446](https://github.com/sagemath/sagetrac-mirror/commit/85b6446)`	`Reorded all.py to match original (so fewer changes).`
`[a51b39f](https://github.com/sagemath/sagetrac-mirror/commit/a51b39f)`	`Fixed minor typo in cobminat/crystals/letters.pyx.`

sagetrac-git · 2013-12-11T21:07:16Z

Changed commit from 17a04d7 to 85b6446

tscrim · 2013-12-11T21:08:47Z

comment:53

Okay, everything should be fixed now.

anneschilling · 2013-12-12T01:31:28Z

comment:54

Replying to @tscrim:

Okay, everything should be fixed now.

I am not sure. When I did git pull I got

d144:rigged_configurations anne$ git pull
Auto-merging src/sage/combinat/rigged_configurations/tensor_product_kr_tableaux.py
CONFLICT (content): Merge conflict in src/sage/combinat/rigged_configurations/tensor_product_kr_tableaux.py
Auto-merging src/sage/combinat/rigged_configurations/rigged_configurations.py
CONFLICT (content): Merge conflict in src/sage/combinat/rigged_configurations/rigged_configurations.py
Auto-merging src/sage/combinat/crystals/letters.pyx
CONFLICT (content): Merge conflict in src/sage/combinat/crystals/letters.pyx
Removing build/pkgs/r/patches/cygwin-logl.patch
Automatic merge failed; fix conflicts and then commit the result.

I did not have any local changes, so I am not sure why there is a conflict.

tscrim · 2013-12-12T04:13:35Z

comment:55

(Unfortunately) I had to do some history rewriting, but I thought it would have been fine since it was about the merging of the master branch. I had too many issues trying to run git revert. I might have been better off using a git reset and then merge in via cherry-picking, but that probably would still result in merge conflicts since the histories wouldn't match. I'd recommend forcing a fetch from the trac branch into your local copy. (Another possible hindsight is we probably could've left this alone since #15161 is positively reviewed...I still have no idea how that got merged into here...)

anneschilling · 2013-12-15T01:57:56Z

comment:56

Ok, looks good to me.

Anne

tscrim added this to the sage-5.11 milestone Dec 28, 2012

tscrim added c: combinatorics labels Dec 28, 2012

tscrim self-assigned this Dec 28, 2012

tscrim added the s: needs review label Feb 21, 2013

jdemeyer modified the milestones: sage-5.11, sage-5.12 Aug 13, 2013

anneschilling added s: needs work and removed s: needs review labels Oct 30, 2013

tscrim added s: needs review and removed s: needs work labels Nov 6, 2013

tscrim added s: needs review and removed s: needs work labels Dec 1, 2013

anneschilling added s: positive review and removed s: needs review labels Dec 4, 2013

sagetrac-git mannequin added s: needs review and removed s: positive review labels Dec 11, 2013

anneschilling added s: positive review and removed s: needs review labels Dec 15, 2013

sagetrac-vbraun-spam mannequin modified the milestones: sage-6.0, sage-6.1 Dec 17, 2013

vbraun removed the s: positive review label Dec 21, 2013

vbraun closed this as completed in aaaf103 Dec 21, 2013

This was referenced Jul 27, 2014

Add methods to rigged configurations #15560

Closed

Shorter long tests for KR tableaux and rigged configruations. #15581

Closed

zabrocki mannequin mentioned this issue Nov 26, 2015

remove expired deprecations in sage/combinat #19513

Closed

Provide feedback

Saved searches

Use saved searches to filter your results more quickly

Non-exceptional rigged configuration bijections #13872

Non-exceptional rigged configuration bijections #13872

tscrim commented Dec 28, 2012

tscrim commented Feb 21, 2013

tscrim commented Feb 25, 2013

tscrim commented Apr 19, 2013

tscrim commented Apr 19, 2013

tscrim commented Jul 9, 2013

tscrim commented Jul 12, 2013

tscrim commented Aug 30, 2013

anneschilling commented Sep 24, 2013

anneschilling commented Sep 26, 2013

anneschilling commented Oct 30, 2013

anneschilling commented Oct 30, 2013

tscrim commented Nov 6, 2013

tscrim commented Nov 6, 2013

tscrim commented Nov 7, 2013

tscrim commented Nov 7, 2013

tscrim commented Nov 7, 2013

sagetrac-git mannequin commented Nov 7, 2013

sagetrac-git mannequin commented Nov 7, 2013

tscrim commented Dec 1, 2013

sagetrac-git mannequin commented Dec 4, 2013

sagetrac-git mannequin commented Dec 4, 2013

tscrim commented Dec 4, 2013

sagetrac-git mannequin commented Dec 11, 2013

sagetrac-git mannequin commented Dec 11, 2013

tscrim commented Dec 11, 2013

sagetrac-git mannequin commented Dec 11, 2013

sagetrac-git mannequin commented Dec 11, 2013

sagetrac-git mannequin commented Dec 11, 2013

sagetrac-git mannequin commented Dec 11, 2013

tscrim commented Dec 11, 2013

anneschilling commented Dec 12, 2013

tscrim commented Dec 12, 2013

anneschilling commented Dec 15, 2013

Non-exceptional rigged configuration bijections #13872

Non-exceptional rigged configuration bijections #13872

Comments

tscrim commented Dec 28, 2012

tscrim commented Feb 21, 2013

tscrim commented Feb 25, 2013

tscrim commented Apr 19, 2013

tscrim commented Apr 19, 2013

tscrim commented Jul 9, 2013

tscrim commented Jul 12, 2013

tscrim commented Aug 30, 2013

anneschilling commented Sep 24, 2013

anneschilling commented Sep 26, 2013

anneschilling commented Oct 30, 2013

anneschilling commented Oct 30, 2013

tscrim commented Nov 6, 2013

tscrim commented Nov 6, 2013

tscrim commented Nov 7, 2013

tscrim commented Nov 7, 2013

tscrim commented Nov 7, 2013

sagetrac-git mannequin commented Nov 7, 2013

sagetrac-git mannequin commented Nov 7, 2013

tscrim commented Dec 1, 2013

sagetrac-git mannequin commented Dec 4, 2013

sagetrac-git mannequin commented Dec 4, 2013

tscrim commented Dec 4, 2013

sagetrac-git mannequin commented Dec 11, 2013

sagetrac-git mannequin commented Dec 11, 2013

tscrim commented Dec 11, 2013

sagetrac-git mannequin commented Dec 11, 2013

sagetrac-git mannequin commented Dec 11, 2013

sagetrac-git mannequin commented Dec 11, 2013

sagetrac-git mannequin commented Dec 11, 2013

tscrim commented Dec 11, 2013

anneschilling commented Dec 12, 2013

tscrim commented Dec 12, 2013

anneschilling commented Dec 15, 2013