-
Machine Learning meets Algebraic Combinatorics: A Suite of Datasets Capturing Research-level Conjecturing Ability in Pure Mathematics
Authors:
Herman Chau,
Helen Jenne,
Davis Brown,
Jesse He,
Mark Raugas,
Sara Billey,
Henry Kvinge
Abstract:
With recent dramatic increases in AI system capabilities, there has been growing interest in utilizing machine learning for reasoning-heavy, quantitative tasks, particularly mathematics. While there are many resources capturing mathematics at the high-school, undergraduate, and graduate level, there are far fewer resources available that align with the level of difficulty and open endedness encoun…
▽ More
With recent dramatic increases in AI system capabilities, there has been growing interest in utilizing machine learning for reasoning-heavy, quantitative tasks, particularly mathematics. While there are many resources capturing mathematics at the high-school, undergraduate, and graduate level, there are far fewer resources available that align with the level of difficulty and open endedness encountered by professional mathematicians working on open problems. To address this, we introduce a new collection of datasets, the Algebraic Combinatorics Dataset Repository (ACD Repo), representing either foundational results or open problems in algebraic combinatorics, a subfield of mathematics that studies discrete structures arising from abstract algebra. Further differentiating our dataset collection is the fact that it aims at the conjecturing process. Each dataset includes an open-ended research-level question and a large collection of examples (up to 10M in some cases) from which conjectures should be generated. We describe all nine datasets, the different ways machine learning models can be applied to them (e.g., training with narrow models followed by interpretability analysis or program synthesis with LLMs), and discuss some of the challenges involved in designing datasets like these.
△ Less
Submitted 8 March, 2025;
originally announced March 2025.
-
Machines and Mathematical Mutations: Using GNNs to Characterize Quiver Mutation Classes
Authors:
Jesse He,
Helen Jenne,
Herman Chau,
Davis Brown,
Mark Raugas,
Sara Billey,
Henry Kvinge
Abstract:
Machine learning is becoming an increasingly valuable tool in mathematics, enabling one to identify subtle patterns across collections of examples so vast that they would be impossible for a single researcher to feasibly review and analyze. In this work, we use graph neural networks to investigate \emph{quiver mutation} -- an operation that transforms one quiver (or directed multigraph) into anoth…
▽ More
Machine learning is becoming an increasingly valuable tool in mathematics, enabling one to identify subtle patterns across collections of examples so vast that they would be impossible for a single researcher to feasibly review and analyze. In this work, we use graph neural networks to investigate \emph{quiver mutation} -- an operation that transforms one quiver (or directed multigraph) into another -- which is central to the theory of cluster algebras with deep connections to geometry, topology, and physics. In the study of cluster algebras, the question of \emph{mutation equivalence} is of fundamental concern: given two quivers, can one efficiently determine if one quiver can be transformed into the other through a sequence of mutations? In this paper, we use graph neural networks and AI explainability techniques to independently discover mutation equivalence criteria for quivers of type $\tilde{D}$. Along the way, we also show that even without explicit training to do so, our model captures structure within its hidden representation that allows us to reconstruct known criteria from type $D$, adding to the growing evidence that modern machine learning models are capable of learning abstract and parsimonious rules from mathematical data.
△ Less
Submitted 23 June, 2025; v1 submitted 11 November, 2024;
originally announced November 2024.
-
Haldane Bundles: A Dataset for Learning to Predict the Chern Number of Line Bundles on the Torus
Authors:
Cody Tipton,
Elizabeth Coda,
Davis Brown,
Alyson Bittner,
Jung Lee,
Grayson Jorgenson,
Tegan Emerson,
Henry Kvinge
Abstract:
Characteristic classes, which are abstract topological invariants associated with vector bundles, have become an important notion in modern physics with surprising real-world consequences. As a representative example, the incredible properties of topological insulators, which are insulators in their bulk but conductors on their surface, can be completely characterized by a specific characteristic…
▽ More
Characteristic classes, which are abstract topological invariants associated with vector bundles, have become an important notion in modern physics with surprising real-world consequences. As a representative example, the incredible properties of topological insulators, which are insulators in their bulk but conductors on their surface, can be completely characterized by a specific characteristic class associated with their electronic band structure, the first Chern class. Given their importance to next generation computing and the computational challenge of calculating them using first-principles approaches, there is a need to develop machine learning approaches to predict the characteristic classes associated with a material system. To aid in this program we introduce the {\emph{Haldane bundle dataset}}, which consists of synthetically generated complex line bundles on the $2$-torus. We envision this dataset, which is not as challenging as noisy and sparsely measured real-world datasets but (as we show) still difficult for off-the-shelf architectures, to be a testing ground for architectures that incorporate the rich topological and geometric priors underlying characteristic classes.
△ Less
Submitted 6 December, 2023;
originally announced December 2023.
-
Fast computation of permutation equivariant layers with the partition algebra
Authors:
Charles Godfrey,
Michael G. Rawson,
Davis Brown,
Henry Kvinge
Abstract:
Linear neural network layers that are either equivariant or invariant to permutations of their inputs form core building blocks of modern deep learning architectures. Examples include the layers of DeepSets, as well as linear layers occurring in attention blocks of transformers and some graph neural networks. The space of permutation equivariant linear layers can be identified as the invariant sub…
▽ More
Linear neural network layers that are either equivariant or invariant to permutations of their inputs form core building blocks of modern deep learning architectures. Examples include the layers of DeepSets, as well as linear layers occurring in attention blocks of transformers and some graph neural networks. The space of permutation equivariant linear layers can be identified as the invariant subspace of a certain symmetric group representation, and recent work parameterized this space by exhibiting a basis whose vectors are sums over orbits of standard basis elements with respect to the symmetric group action. A parameterization opens up the possibility of learning the weights of permutation equivariant linear layers via gradient descent. The space of permutation equivariant linear layers is a generalization of the partition algebra, an object first discovered in statistical physics with deep connections to the representation theory of the symmetric group, and the basis described above generalizes the so-called orbit basis of the partition algebra. We exhibit an alternative basis, generalizing the diagram basis of the partition algebra, with computational benefits stemming from the fact that the tensors making up the basis are low rank in the sense that they naturally factorize into Kronecker products. Just as multiplication by a rank one matrix is far less expensive than multiplication by an arbitrary matrix, multiplication with these low rank tensors is far less expensive than multiplication with elements of the orbit basis. Finally, we describe an algorithm implementing multiplication with these basis elements.
△ Less
Submitted 10 March, 2023;
originally announced March 2023.
-
Do Neural Networks Trained with Topological Features Learn Different Internal Representations?
Authors:
Sarah McGuire,
Shane Jackson,
Tegan Emerson,
Henry Kvinge
Abstract:
There is a growing body of work that leverages features extracted via topological data analysis to train machine learning models. While this field, sometimes known as topological machine learning (TML), has seen some notable successes, an understanding of how the process of learning from topological features differs from the process of learning from raw data is still limited. In this work, we begi…
▽ More
There is a growing body of work that leverages features extracted via topological data analysis to train machine learning models. While this field, sometimes known as topological machine learning (TML), has seen some notable successes, an understanding of how the process of learning from topological features differs from the process of learning from raw data is still limited. In this work, we begin to address one component of this larger issue by asking whether a model trained with topological features learns internal representations of data that are fundamentally different than those learned by a model trained with the original raw data. To quantify ``different'', we exploit two popular metrics that can be used to measure the similarity of the hidden representations of data within neural networks, neural stitching and centered kernel alignment. From these we draw a range of conclusions about how training with topological features does and does not change the representations that a model learns. Perhaps unsurprisingly, we find that structurally, the hidden representations of models trained and evaluated on topological features differ substantially compared to those trained and evaluated on the corresponding raw data. On the other hand, our experiments show that in some cases, these representations can be reconciled (at least to the degree required to solve the corresponding task) using a simple affine transformation. We conjecture that this means that neural networks trained on raw data may extract some limited topological features in the process of making predictions.
△ Less
Submitted 14 November, 2022;
originally announced November 2022.
-
TopTemp: Parsing Precipitate Structure from Temper Topology
Authors:
Lara Kassab,
Scott Howland,
Henry Kvinge,
Keerti Sahithi Kappagantula,
Tegan Emerson
Abstract:
Technological advances are in part enabled by the development of novel manufacturing processes that give rise to new materials or material property improvements. Development and evaluation of new manufacturing methodologies is labor-, time-, and resource-intensive expensive due to complex, poorly defined relationships between advanced manufacturing process parameters and the resulting microstructu…
▽ More
Technological advances are in part enabled by the development of novel manufacturing processes that give rise to new materials or material property improvements. Development and evaluation of new manufacturing methodologies is labor-, time-, and resource-intensive expensive due to complex, poorly defined relationships between advanced manufacturing process parameters and the resulting microstructures. In this work, we present a topological representation of temper (heat-treatment) dependent material micro-structure, as captured by scanning electron microscopy, called TopTemp. We show that this topological representation is able to support temper classification of microstructures in a data limited setting, generalizes well to previously unseen samples, is robust to image perturbations, and captures domain interpretable features. The presented work outperforms conventional deep learning baselines and is a first step towards improving understanding of process parameters and resulting material properties.
△ Less
Submitted 6 May, 2022; v1 submitted 1 April, 2022;
originally announced April 2022.
-
Bundle Networks: Fiber Bundles, Local Trivializations, and a Generative Approach to Exploring Many-to-one Maps
Authors:
Nico Courts,
Henry Kvinge
Abstract:
Many-to-one maps are ubiquitous in machine learning, from the image recognition model that assigns a multitude of distinct images to the concept of "cat" to the time series forecasting model which assigns a range of distinct time-series to a single scalar regression value. While the primary use of such models is naturally to associate correct output to each input, in many problems it is also usefu…
▽ More
Many-to-one maps are ubiquitous in machine learning, from the image recognition model that assigns a multitude of distinct images to the concept of "cat" to the time series forecasting model which assigns a range of distinct time-series to a single scalar regression value. While the primary use of such models is naturally to associate correct output to each input, in many problems it is also useful to be able to explore, understand, and sample from a model's fibers, which are the set of input values $x$ such that $f(x) = y$, for fixed $y$ in the output space. In this paper we show that popular generative architectures are ill-suited to such tasks. Motivated by this we introduce a novel generative architecture, a Bundle Network, based on the concept of a fiber bundle from (differential) topology. BundleNets exploit the idea of a local trivialization wherein a space can be locally decomposed into a product space that cleanly encodes the many-to-one nature of the map. By enforcing this decomposition in BundleNets and by utilizing state-of-the-art invertible components, investigating a network's fibers becomes natural.
△ Less
Submitted 24 February, 2022; v1 submitted 13 October, 2021;
originally announced October 2021.
-
A Topological-Framework to Improve Analysis of Machine Learning Model Performance
Authors:
Henry Kvinge,
Colby Wight,
Sarah Akers,
Scott Howland,
Woongjo Choi,
Xiaolong Ma,
Luke Gosink,
Elizabeth Jurrus,
Keerti Kappagantula,
Tegan H. Emerson
Abstract:
As both machine learning models and the datasets on which they are evaluated have grown in size and complexity, the practice of using a few summary statistics to understand model performance has become increasingly problematic. This is particularly true in real-world scenarios where understanding model failure on certain subpopulations of the data is of critical importance. In this paper we propos…
▽ More
As both machine learning models and the datasets on which they are evaluated have grown in size and complexity, the practice of using a few summary statistics to understand model performance has become increasingly problematic. This is particularly true in real-world scenarios where understanding model failure on certain subpopulations of the data is of critical importance. In this paper we propose a topological framework for evaluating machine learning models in which a dataset is treated as a "space" on which a model operates. This provides us with a principled way to organize information about model performance at both the global level (over the entire test set) and also the local level (on specific subpopulations). Finally, we describe a topological data structure, presheaves, which offer a convenient way to store and analyze model performance between different subpopulations.
△ Less
Submitted 9 July, 2021;
originally announced July 2021.
-
One Representation to Rule Them All: Identifying Out-of-Support Examples in Few-shot Learning with Generic Representations
Authors:
Henry Kvinge,
Scott Howland,
Nico Courts,
Lauren A. Phillips,
John Buckheit,
Zachary New,
Elliott Skomski,
Jung H. Lee,
Sandeep Tiwari,
Jessica Hibler,
Courtney D. Corley,
Nathan O. Hodas
Abstract:
The field of few-shot learning has made remarkable strides in developing powerful models that can operate in the small data regime. Nearly all of these methods assume every unlabeled instance encountered will belong to a handful of known classes for which one has examples. This can be problematic for real-world use cases where one routinely finds 'none-of-the-above' examples. In this paper we desc…
▽ More
The field of few-shot learning has made remarkable strides in developing powerful models that can operate in the small data regime. Nearly all of these methods assume every unlabeled instance encountered will belong to a handful of known classes for which one has examples. This can be problematic for real-world use cases where one routinely finds 'none-of-the-above' examples. In this paper we describe this challenge of identifying what we term 'out-of-support' (OOS) examples. We describe how this problem is subtly different from out-of-distribution detection and describe a new method of identifying OOS examples within the Prototypical Networks framework using a fixed point which we call the generic representation. We show that our method outperforms other existing approaches in the literature as well as other approaches that we propose in this paper. Finally, we investigate how the use of such a generic point affects the geometry of a model's feature space.
△ Less
Submitted 2 June, 2021;
originally announced June 2021.
-
Sheaves as a Framework for Understanding and Interpreting Model Fit
Authors:
Henry Kvinge,
Brett Jefferson,
Cliff Joslyn,
Emilie Purvine
Abstract:
As data grows in size and complexity, finding frameworks which aid in interpretation and analysis has become critical. This is particularly true when data comes from complex systems where extensive structure is available, but must be drawn from peripheral sources. In this paper we argue that in such situations, sheaves can provide a natural framework to analyze how well a statistical model fits at…
▽ More
As data grows in size and complexity, finding frameworks which aid in interpretation and analysis has become critical. This is particularly true when data comes from complex systems where extensive structure is available, but must be drawn from peripheral sources. In this paper we argue that in such situations, sheaves can provide a natural framework to analyze how well a statistical model fits at the local level (that is, on subsets of related datapoints) vs the global level (on all the data). The sheaf-based approach that we propose is suitably general enough to be useful in a range of applications, from analyzing sensor networks to understanding the feature space of a deep learning model.
△ Less
Submitted 21 May, 2021;
originally announced May 2021.
-
Hypergraph Models of Biological Networks to Identify Genes Critical to Pathogenic Viral Response
Authors:
Song Feng,
Emily Heath,
Brett Jefferson,
Cliff Joslyn,
Henry Kvinge,
Hugh D. Mitchell,
Brenda Praggastis,
Amie J. Eisfeld,
Amy C. Sims,
Larissa B. Thackray,
Shufang Fan,
Kevin B. Walters,
Peter J. Halfmann,
Danielle Westhoff-Smith,
Qing Tan,
Vineet D. Menachery,
Timothy P. Sheahan,
Adam S. Cockrell,
Jacob F. Kocher,
Kelly G. Stratton,
Natalie C. Heller,
Lisa M. Bramer,
Michael S. Diamond,
Ralph S. Baric,
Katrina M. Waters
, et al. (3 additional authors not shown)
Abstract:
Background: Representing biological networks as graphs is a powerful approach to reveal underlying patterns, signatures, and critical components from high-throughput biomolecular data. However, graphs do not natively capture the multi-way relationships present among genes and proteins in biological systems. Hypergraphs are generalizations of graphs that naturally model multi-way relationships and…
▽ More
Background: Representing biological networks as graphs is a powerful approach to reveal underlying patterns, signatures, and critical components from high-throughput biomolecular data. However, graphs do not natively capture the multi-way relationships present among genes and proteins in biological systems. Hypergraphs are generalizations of graphs that naturally model multi-way relationships and have shown promise in modeling systems such as protein complexes and metabolic reactions. In this paper we seek to understand how hypergraphs can more faithfully identify, and potentially predict, important genes based on complex relationships inferred from genomic expression data sets.
Results: We compiled a novel data set of transcriptional host response to pathogenic viral infections and formulated relationships between genes as a hypergraph where hyperedges represent significantly perturbed genes, and vertices represent individual biological samples with specific experimental conditions. We find that hypergraph betweenness centrality is a superior method for identification of genes important to viral response when compared with graph centrality.
Conclusions: Our results demonstrate the utility of using hypergraphs to represent complex biological systems and highlight central important responses in common to a variety of highly pathogenic viruses.
△ Less
Submitted 6 October, 2020;
originally announced October 2020.
-
Fuzzy Simplicial Networks: A Topology-Inspired Model to Improve Task Generalization in Few-shot Learning
Authors:
Henry Kvinge,
Zachary New,
Nico Courts,
Jung H. Lee,
Lauren A. Phillips,
Courtney D. Corley,
Aaron Tuor,
Andrew Avila,
Nathan O. Hodas
Abstract:
Deep learning has shown great success in settings with massive amounts of data but has struggled when data is limited. Few-shot learning algorithms, which seek to address this limitation, are designed to generalize well to new tasks with limited data. Typically, models are evaluated on unseen classes and datasets that are defined by the same fundamental task as they are trained for (e.g. category…
▽ More
Deep learning has shown great success in settings with massive amounts of data but has struggled when data is limited. Few-shot learning algorithms, which seek to address this limitation, are designed to generalize well to new tasks with limited data. Typically, models are evaluated on unseen classes and datasets that are defined by the same fundamental task as they are trained for (e.g. category membership). One can also ask how well a model can generalize to fundamentally different tasks within a fixed dataset (for example: moving from category membership to tasks that involve detecting object orientation or quantity). To formalize this kind of shift we define a notion of "independence of tasks" and identify three new sets of labels for established computer vision datasets that test a model's ability to generalize to tasks which draw on orthogonal attributes in the data. We use these datasets to investigate the failure modes of metric-based few-shot models. Based on our findings, we introduce a new few-shot model called Fuzzy Simplicial Networks (FSN) which leverages a construction from topology to more flexibly represent each class from limited data. In particular, FSN models can not only form multiple representations for a given class but can also begin to capture the low-dimensional structure which characterizes class manifolds in the encoded space of deep networks. We show that FSN outperforms state-of-the-art models on the challenging tasks we introduce in this paper while remaining competitive on standard few-shot benchmarks.
△ Less
Submitted 23 September, 2020;
originally announced September 2020.
-
Multi-Dimensional Scaling on Groups
Authors:
Mark Blumstein,
Henry Kvinge
Abstract:
Leveraging the intrinsic symmetries in data for clear and efficient analysis is an important theme in signal processing and other data-driven sciences. A basic example of this is the ubiquity of the discrete Fourier transform which arises from translational symmetry (i.e. time-delay/phase-shift). Particularly important in this area is understanding how symmetries inform the algorithms that we appl…
▽ More
Leveraging the intrinsic symmetries in data for clear and efficient analysis is an important theme in signal processing and other data-driven sciences. A basic example of this is the ubiquity of the discrete Fourier transform which arises from translational symmetry (i.e. time-delay/phase-shift). Particularly important in this area is understanding how symmetries inform the algorithms that we apply to our data. In this paper we explore the behavior of the dimensionality reduction algorithm multi-dimensional scaling (MDS) in the presence of symmetry. We show that understanding the properties of the underlying symmetry group allows us to make strong statements about the output of MDS even before applying the algorithm itself. In analogy to Fourier theory, we show that in some cases only a handful of fundamental "frequencies" (irreducible representations derived from the corresponding group) contribute information for the MDS Euclidean embedding.
△ Less
Submitted 14 January, 2020; v1 submitted 8 December, 2018;
originally announced December 2018.
-
A Frobenius-Schreier-Sims Algorithm to tensor decompose algebras
Authors:
Ian Holm Kessler,
Henry Kvinge,
James B. Wilson
Abstract:
We introduce a decomposition of associative algebras into a tensor product of cyclic modules. This produces a means to encode a basis with logarithmic information and thus extends the reach of calculation with large algebras. Our technique is an analogue to the Schreier-Sims algorithm for permutation groups and is a by-product of Frobenius reciprocity.
We introduce a decomposition of associative algebras into a tensor product of cyclic modules. This produces a means to encode a basis with logarithmic information and thus extends the reach of calculation with large algebras. Our technique is an analogue to the Schreier-Sims algorithm for permutation groups and is a by-product of Frobenius reciprocity.
△ Less
Submitted 15 December, 2018; v1 submitted 8 December, 2018;
originally announced December 2018.
-
Coherent systems of probability measures on graphs for representations of free Frobenius towers
Authors:
Henry Kvinge
Abstract:
First formally defined by Borodin and Olshanski, a coherent system on a graded graph is a sequence of probability measures which respect the action of certain down/up transition functions between graded components. In one common example of such a construction, each measure is the Plancherel measure for the symmetric group $S_{n}$ and the down transition function is induced from the inclusions…
▽ More
First formally defined by Borodin and Olshanski, a coherent system on a graded graph is a sequence of probability measures which respect the action of certain down/up transition functions between graded components. In one common example of such a construction, each measure is the Plancherel measure for the symmetric group $S_{n}$ and the down transition function is induced from the inclusions $S_{n} \hookrightarrow S_{n+1}$.
In this paper we generalize the above framework to the case where $\{A_n\}_{n \geq 0}$ is any free Frobenius tower and $A_n$ is no longer assumed to be semisimple. In particular, we describe two coherent systems on graded graphs defined by the representation theory of $\{A_n\}_{n \geq 0}$ and connect one of these systems to a family of central elements of $\{A_n\}_{n \geq 0}$. When the algebras $\{A_n\}_{n \geq 0}$ are not semisimple, the resulting coherent systems reflect the duality between simple $A_n$-modules and indecomposable projective $A_n$-modules.
△ Less
Submitted 26 October, 2018;
originally announced October 2018.
-
The center of the twisted Heisenberg category, factorial Schur $Q$-functions, and transition functions on the Schur graph
Authors:
Henry Kvinge,
Can Ozan Oğuz,
Michael Reeks
Abstract:
We establish an isomorphism between the center of the twisted Heisenberg category and the subalgebra of the symmetric functions $Γ$ generated by odd power sums. We give a graphical description of the factorial Schur $Q$-functions as closed diagrams in the twisted Heisenberg category and show that the bubble generators of the center correspond to two sets of generators of $Γ$ which encode data rela…
▽ More
We establish an isomorphism between the center of the twisted Heisenberg category and the subalgebra of the symmetric functions $Γ$ generated by odd power sums. We give a graphical description of the factorial Schur $Q$-functions as closed diagrams in the twisted Heisenberg category and show that the bubble generators of the center correspond to two sets of generators of $Γ$ which encode data related to up/down transition functions on the Schur graph. Finally, we describe an action of the trace of the twisted Heisenberg category, the $W$-algebra $W^-\subset W_{1+\infty}$, on $Γ$.
△ Less
Submitted 16 July, 2018; v1 submitted 27 December, 2017;
originally announced December 2017.
-
Khovanov's Heisenberg category, moments in free probability, and shifted symmetric functions
Authors:
Henry Kvinge,
Anthony M. Licata,
Stuart Mitchell
Abstract:
We establish an isomorphism between the center of the Heisenberg category defined by Khovanov and the algebra $Λ^*$ of shifted symmetric functions defined by Okounkov-Olshanski. We give a graphical description of the shifted power and Schur bases of $Λ^*$ as elements of the center, and describe the curl generators of the center in the language of shifted symmetric functions. This latter descriptio…
▽ More
We establish an isomorphism between the center of the Heisenberg category defined by Khovanov and the algebra $Λ^*$ of shifted symmetric functions defined by Okounkov-Olshanski. We give a graphical description of the shifted power and Schur bases of $Λ^*$ as elements of the center, and describe the curl generators of the center in the language of shifted symmetric functions. This latter description makes use of the transition and co-transition measures of Kerov and the noncommutative probability spaces of Biane.
△ Less
Submitted 14 October, 2016;
originally announced October 2016.
-
Categorifying the tensor product of the Kirillov-Reshetikhin crystal $B^{1,1}$ and a fundamental crystal
Authors:
Henry Kvinge,
Monica Vazirani
Abstract:
We use Khovanov-Lauda-Rouquier (KLR) algebras to categorify a crystal isomorphism between a fundamental crystal and the tensor product of a Kirillov-Reshetikhin crystal and another fundamental crystal, all in affine type. The nodes of the Kirillov-Reshetikhin crystal correspond to a family of "trivial" modules. The nodes of the fundamental crystal correspond to simple modules of the corresponding…
▽ More
We use Khovanov-Lauda-Rouquier (KLR) algebras to categorify a crystal isomorphism between a fundamental crystal and the tensor product of a Kirillov-Reshetikhin crystal and another fundamental crystal, all in affine type. The nodes of the Kirillov-Reshetikhin crystal correspond to a family of "trivial" modules. The nodes of the fundamental crystal correspond to simple modules of the corresponding cyclotomic KLR algebra. The crystal operators correspond to socle of restriction and behave compatibly with the rule for tensor product of crystal graphs.
△ Less
Submitted 17 August, 2015;
originally announced August 2015.
