Skip to main content
10 events
when toggle format what by license comment
Mar 5 at 15:06 comment added J. van Dobben de Bruyn @SebastienPalcoux in addition to the "(not so) brief description" which David added to the question, you can also take a look at these slides, which give a high-level outline of the proof (from slide 10 onwards). Though I guess some parts of the talk, including the description of the graph, might require some verbal explanation, which is not part of the slides. 😅
Mar 5 at 11:53 history edited David Roberson CC BY-SA 4.0
added 2894 characters in body
Mar 5 at 10:45 comment added David Roberson @SebastienPalcoux 5880 edges. The only method I can think of for getting such a lower bound is to check all asymmetric graphs on few vertices and show they have no quantum symmetry. There are too many of these so instead you should check asymmetric coherent configurations, which would suffice. There are only 9839 coherent configurations on 15 points (actamath.savbb.sk/pdf/aumb2605.pdf), so this is probably doable. I expect none are asymmetric but with quantum symmetry. Not a great lower bound and I would guess checking for q-symmetry in general is undecidable, so not a great approach.
Mar 5 at 9:58 comment added Sebastien Palcoux A challenge would be to identify increasingly smaller graphs of this type. What is the lowest bound you can determine for the number of edges (or vertices)?
Mar 5 at 9:42 comment added Sebastien Palcoux I see. You mentioned 560 vertices; how many edges does that entail? I presume there's software designed for efficiently visualizing such large graphs, possibly used in big data fields. Regardless, a concise explanation would indeed be appreciated!
Mar 5 at 9:10 comment added David Roberson @SebastienPalcoux I'd love it if such an image could be made that wouldn't be incomprehensible, but even if I am allowed edge and vertex colors, the smallest such graph we construct would have 560 vertices. So I think the image would just end up being a big blob. I can give a brief description if you'd like.
Mar 5 at 8:50 comment added Sebastien Palcoux Fascinating! Could you please include an image of the simplest graph that possesses this property?
Mar 5 at 8:40 comment added JP McCarthy Another avenue to look at (and again not answering the question - the answer as far as I understand is no, no known examples.): mathoverflow.net/questions/188707/…
Mar 5 at 7:21 comment added JP McCarthy Probably worth noting that for connected manifolds the usual situation is that there are classical symmetries but no genuine symmetries. Cf work of Goswami. Freslon and Goswami would be people to possibly email this question to.
Mar 4 at 23:31 history asked David Roberson CC BY-SA 4.0