representation ↗ reference
4053 papers tagged with this keyword
Lift theorems for representations of matroids over pastures
Published
• View Publication
• BIB
Pastures are a class of field-like algebraic objects which include both partial fields hyperfields and have nice categorical properties. We prove several lift theorems for representations of matroids over pastures, including a generalization of Pendavingh and van Zwam's Lift Theorem for partial fields. By embedding the earlier theory into a more general framework, we are able to establish new results even in the case of lifts of partial fields, for example the conjecture of Pendavingh--van Zwam that their lift construction is idempotent. We give numerous applications to matroid representations, e.g. we show that, up to projective equivalence, every pair consisting of a hexagonal representation and an orientation lifts uniquely to a near-regular representation. The proofs are different from the arguments used by Pendavingh and van Zwam, relying instead on a result of Gelfand-Rybnikov-Stone inspired by Tutte's homotopy theorem.
A new tableau model for irreducible polynomial representations of the orthogonal group
Published
• View Publication
• BIB
We provide a new tableau model from which one can easily deduce the characters of finite-dimensional irreducible polynomial representations of the special orthogonal group $SO_n(\mathbb{C})$. This model originates from the representation theory of the $\imath$quantum group (also known as the quantum symmetric pair coideal subalgebra) of type $\mathrm{A\!I}$, and is equipped with a combinatorial structure, which we call $\mathrm{A\!I}$-crystal structure. This structure enables us to describe combinatorially the tensor product of an $SO_n(\mathbb{C})$-module and a $GL_n(\mathbb{C})$-module, and the branching from $GL_n(\mathbb{C})$ to $SO_n(\mathbb{C})$.
Conjectures and results on some generalized Rueppel sequences
In this note we use the analogy between the Catalan sequence and the Rueppel sequence to derive a variety of conjectures surrounding the Hankel transforms of a number of sequences closely related to the Rueppel sequence. Use is made of the representation of suitable generating functions by Stieltjes continued fractions. We define polynomial sequences by introducing parameters that define generalized Rueppel sequences, and we show that such polynomials have coefficient arrays that are Riordan arrays. Finally we conjecture the form of a product of Hankel transforms arising from the Rueppel sequence.
Burling graphs revisited, part II: Structure
Published in European Journal of Combinatorics, Volume 116, 2024, 103849
• View Publication
• BIB
The Burling sequence is a sequence of triangle-free graphs of increasing chromatic number. Any graph which is an induced subgraph of a graph in this sequence is called a Burling graph. These graphs have attracted some attention because they have geometric representations and because they provide counter-examples to several conjectures about bounding the chromatic number in classes of graphs. We recall an equivalent definition of Burling graphs from the first part of this work: the graphs derived from a tree. We then give several structural properties of derived graphs.
Weak faces of highest weight modules and root systems
Published
• View Publication
• BIB
Chari and Greenstein [Adv. Math. 2009] introduced combinatorial subsets of the roots of a finite-dimensional simple Lie algebra $\mathfrak{g}$ which were important in studying Kirillov-Reshetikhin modules over $U_q(\widehat{\mathfrak{g}})$ and their specializations. Later, Khare [J. Algebra. 2016] studied these subsets for many highest weight $\mathfrak{g}$-modules (in finite type), under the name of weak-$\mathbb{A}$-faces (for a subgroup $\mathbb{A}$ of $(\mathbb{R},+)$), and more generally, $(\{2\};\{1,2\})$-closed subsets. These notions extend and unify the faces of Weyl polytopes as well as the above combinatorial subsets.
In this paper, we consider these 'discrete' notions for all Kac-Moody algebras $\mathfrak{g}$, in four distinguished settings: (a) the weights of an arbitrary highest weight $\mathfrak{g}$-module $V$; (b) the convex hull of the weights of $V$; (c) the weights of the adjoint representation; (d) the roots of $\mathfrak{g}$. For (a) (resp., (b)) for all highest weight $\mathfrak{g}$-modules $V$, we show that the weak-$\mathbb{A}$-faces and $(\{2\};\{1,2\})$-closed subsets agree, and equal the sets of weights on exposed faces (resp., equal the exposed faces) of the convex hull of weights conv$_{\mathbb{R}}$ wt $V$. This completes the partial progress of Khare in finite type, and is novel in infinite type. Our proofs are type-free and self-contained.
For (c), (d) involving the root system, we similarly achieve complete classifications. For all Kac-Moody $\mathfrak{g}$ - interestingly, other than $\mathfrak{sl}_3, \widehat{\mathfrak{sl}_3}$ - we show the weak-$\mathbb{A}$-faces and $(\{2\};\{1,2\})$-closed subsets agree, and equal Weyl group translates of the sets of weights in certain 'standard faces' (which also holds for highest weight modules). This was proved by Chari and her coauthors for root systems in finite type, but is novel for other types.
Slack matrices, $k$-products, and $2$-level polytopes
In this paper, we study algorithmic questions concerning products of matrices and their consequences for recognition algorithms for polyhedra.
The 1-product of matrices $S_1$, $S_2$ is a matrix whose columns are the concatenation of each column of $S_1$ with each column of $S_2$. The $k$-product generalizes the $1$-product, by taking as input two matrices $S_1, S_2$ together with $k-1$ special rows of each of those matrices, and outputting a certain composition of $S_1,S_2$.
Our study is motivated by a close link between the 1-product of matrices and the Cartesian product of polytopes, and more generally between the $k$-product of matrices and the glued product of polytopes. These connections rely on the concept of slack matrix, which gives an algebraic representation of classes of affinely equivalent polytopes. The slack matrix recognition problem is the problem of determining whether a given matrix is a slack matrix. This is an intriguing problem whose complexity is unknown. Our algorithm reduces the problem to instances which cannot be expressed as $k$-products of smaller matrices.
In the second part of the paper, we give a combinatorial interpretation of $k$-products for two well-known classes of polytopes: 2-level matroid base polytopes and stable set polytopes of perfect graphs. We also show that the slack matrix recognition problem is polynomial-time solvable for such polytopes. Those two classes are special cases of $2$-level polytopes, for which we conjecture that the slack matrix recognition problem is polynomial-time solvable.
Product Expansions of q-Character Polynomials
Published
• View Publication
• BIB
The ring of q-character polynomials is a q-analog of the classical ring of character polynomials for the symmetric groups. This ring consists of certain class functions defined simultaneously on the groups $Gl_n(F_q)$ for all n, which we also interpret as statistics on matrices. Here we evaluate these statistics on all matrices and work towards computing the structure constants of the product in this ring. We show that the statistics are periodically polynomial in q, and governed by universal polynomials $P_{λ,μ}(q)$ which we compute explicitly, indexed by pairs of integer partitions. The product structure is similarly polynomial in q in many cases, governed by polynomials $R_{λ,μ}^ν(q)$ indexed by triples of partitions, which we compute in some cases.
Our calculations seem to exhibit several unexpected patterns. Mainly, we conjecture that certain indecomposable statistics generate the whole ring, and indeed prove this for statistics associated with matrices consisting of up to 2 Jordan blocks. Furthermore, the coefficients we compute exhibit surprising stability phenomena, which in turn reflect stabilizations of joint moments as well as multiplicities in the irreducible decomposition of tensor products of representations of $Gl_n(F_q)$ for $n\gg 1$. We use this stabilization to compute the correlation of the number of unipotent Jordan blocks of two sizes.
The Ring of Polyfunctions over $\mathbb Z/n\mathbb Z$
Published
• View Publication
• BIB
We study the ring of polyfunctions over $\mathbb Z/n\mathbb Z$. The ring of polyfunctions over a commutative ring $R$ with unit element is the ring of functions $f:R\to R$ which admit a polynomial representative $p\in R[x]$ in the sense that $f(x)= p(x)$ for all $x\in R$. This allows to define a ring invariant $s$ which associates to a commutative ring $R$ with unit element a value in $\mathbb N\cup\{\infty\}$. The function $s$ generalizes the number theoretic Smarandache function. For the ring $R=\mathbb Z/n\mathbb Z$ we provide a unique representation of polynomials which vanish as a function. This yields a new formula for the number $Ψ(n)$ of polyfunctions over $\mathbb Z/n\mathbb Z$. We also investigate algebraic properties of the ring of polyfunctions over $\mathbb Z/n\mathbb Z$. In particular, we identify the additive subgroup of the ring and the ring structure itself. Moreover we derive formulas for the size of the ring of polyfunctions in several variables over $\mathbb Z/n\mathbb Z$, and we compute the number of polyfunctions which are units of the ring.
Unitriangular basic sets for blocks of the symmetric and alternating groups of small weights
Published
• View Publication
• BIB
We study the existence of unitriangular basic sets for the symmetric group which behave nicely with respect to the Mullineux involution. Such sets give a natural labelling for the modular irreducible representations. We show that, for any odd prime p, the p-blocks of the symmetric group with weight 2 have stable unitriangular basic sets which we describe by studying the combinatorics of partitions in these blocks.
Comparing the topology of phylogenetic network generators
Published
• View Publication
• BIB
Phylogenetic networks represent evolutionary history of species and can record natural reticulate evolutionary processes such as horizontal gene transfer and gene recombination. This makes phylogenetic networks a more comprehensive representation of evolutionary history compared to phylogenetic trees. Stochastic processes for generating random trees or networks are important tools in evolutionary analysis, especially in phylogeny reconstruction where they can be utilized for validation or serve as priors for Bayesian methods. However, as more network generators are developed, there is a lack of discussion or comparison for different generators. To bridge this gap, we compare a set of phylogenetic network generators by profiling topological summary statistics of the generated networks over the number of reticulations and comparing the topological profiles.
New Partition Identities From $C_{\ell}^{(1)}$-Modules
Published
• View Publication
• BIB
In this paper we conjecture combinatorial Rogers-Ramanujan type colored partition identities related to standard representations of the affine Lie algebra of type $C^{(1)}_\ell$, $\ell\geq2$, and we conjecture similar colored partition identities with no obvious connection to representation theory of affine Lie algebras.
Integrality, Duality and Finiteness in Combinatoric Topological Strings
Published
• View Publication
• BIB
A remarkable result at the intersection of number theory and group theory states that the order of a finite group $G$ (denoted $|G|$) is divisible by the dimension $d_R$ of any irreducible complex representation of $G$. We show that the integer ratios ${ |G|^2 / d_R^2 } $ are combinatorially constructible using finite algorithms which take as input the amplitudes of combinatoric topological strings ($G$-CTST) of finite groups based on 2D Dijkgraaf-Witten topological field theories ($G$-TQFT2). The ratios are also shown to be eigenvalues of handle creation operators in $G$-TQFT2/$G$-CTST. These strings have recently been discussed as toy models of wormholes and baby universes by Marolf and Maxfield, and Gardiner and Megas. Boundary amplitudes of the $G$-TQFT2/$G$-CTST provide algorithms for combinatoric constructions of normalized characters. Stringy S-duality for closed $G$-CTST gives a dual expansion generated by disconnected entangled surfaces. There are universal relations between $G$-TQFT2 amplitudes due to the finiteness of the number $K $ of conjugacy classes. These relations can be labelled by Young diagrams and are captured by null states in an inner product constructed by coupling the $G$-TQFT2 to a universal TQFT2 based on symmetric group algebras. We discuss the scenario of a 3D holographic dual for this coupled theory and the implications of the scenario for the factorization puzzle of 2D/3D holography raised by wormholes in 3D.
B1-EPG representations using block-cutpoint trees
Published
• View Publication
• BIB
In this paper, we are interested in the edge intersection graphs of paths of a grid where each path has at most one bend, called B1-EPG graphs and first introduced by Golumbic et al (2009). We also consider a proper subclass of B1-EPG, the L-EPG graphs, which allows paths only in ``L'' shape. We show that two superclasses of trees are B1-EPG (one of them being the cactus graphs). On the other hand, we show that the block graphs are L-EPG and provide a linear time algorithm to produce L-EPG representations of generalization of trees. These proofs employed a new technique from previous results in the area based on block-cutpoint trees of the respective graphs.
Self-dual maps II: links and symmetry
Published
• View Publication
• BIB
In this paper, we investigate representations of links that are either centrally symmetric in $\mathbb{R}^3$ or antipodally symmetric in $\mathbb{S}^3$. By using the notions of antipodally self-dual and antipodally symmetric maps, introduced and studied by the authors, we are able to present sufficient combinatorial conditions for a link $L$ to admit such representations. The latter naturally arises sufficient conditions for $L$ to be amphichiral.
We also introduce another (closely related) method yielding again to sufficient conditions for $L$ to be amphichiral. We finally prove that a link $L$, associated to a map $G$, is amphichiral if the self-dual pairing of $G$ is not one of 6 specific ones among the classification of the 24 self-dual pairing $Cor(G) \rhd Aut(G)$.
Lifts for Voronoi cells of lattices
Published
• View Publication
• BIB
Many polytopes arising in polyhedral combinatorics are linear projections of higher-dimensional polytopes with significantly fewer facets. Such lifts may yield compressed representations of polytopes, which are typically used to construct small-size linear programs. Motivated by algorithmic implications for the closest vector problem, we study lifts of Voronoi cells of lattices.
We construct an explicit $d$-dimensional lattice such that every lift of the respective Voronoi cell has $2^{Ω(d / \log d)}$ facets. On the positive side, we show that Voronoi cells of $d$-dimensional root lattices and their dual lattices have lifts with $O(d)$ and $O(d \log d)$ facets, respectively. We obtain similar results for spectrahedral lifts.
The growth of abelian sections
Published in Ann. Mat. Pura Appl. (2023)
• View Publication
• BIB
Given an abstract group $G$, we study the function $ab_n(G) := \sup_{|G:H| \leq n} |H/[H,H]|$. If $G$ has no abelian composition factors, then $ab_n(G)$ is bounded by a polynomial: as a consequence, we find a sharp upper bound for the representation growth of these groups.
Discrete-to-Continuous Extensions: Lovász extension, optimizations and eigenvalue problems
In this paper, we use various versions of Lovász extension to systematically derive continuous formulations of problems from discrete mathematics. This will take place in the following context:
(1) For combinatorial optimization problems in quotient form, we systematically develop equivalent continuous versions, thereby making tools from convex optimization, fractional programming and more general continuous algorithms like the stochastic subgradient method available for such optimization problems.
(2) For some combinatorial quantities like Cheeger-type constants, we suggest a nonlinear eigenvalue problem for a pair of Lovász extensions of certain functions, which encodes certain combinatorial structures.
This theory has several applications to quantitative and combinatorial problems, including:
(a) The equivalent continuous representations for the max $k$-cut problem, various Cheeger sets and isoperimetric constants are constructed. This also initiates a study of Dirichlet and Neumann 1-Laplacians on graphs, in which the nodal domain property and Cheeger-type equalities are presented.
(b) Also, we derive a new equivalent continuous representation of the graph independence number, which can be compared with the Motzkin-Straus theorem. More importantly, an equivalent continuous optimization for the chromatic number is provided, which seems to be the first continuous representation of the graph vertex coloring number. We provide the first continuous reformulation of the frustration index in signed networks, and we find a connection to the so-called modularity measure. Graph matching numbers, submodular vertex covers and multiway partition problems can also be studied in this framework.
The two higher Stasheff-Tamari orders are equal
Published
• View Publication
• BIB
The set of triangulations of a cyclic polytope possesses two a priori different partial orders, known as the higher Stasheff-Tamari orders. The first of these orders was introduced by Kapranov and Voevodsky, while the second order was introduced by Edelman and Reiner, who also conjectured the two to coincide in 1996. In this paper we prove their conjecture, thereby substantially increasing our understanding of these orders. This result also has ramifications in the representation theory of algebras, as established in previous work of the author. Indeed, it means that the two corresponding orders on tilting modules, cluster-tilting objects and their maximal chains are equal for the higher Auslander algebras of type $A$.
On an integral representation of the normalized trace of the $k$-th symmetric tensor power of matrices and some applications
Published
• View Publication
• BIB
Let $A$ be an $n\times n$ matrix and let $\vee^k A$ be its $k$-th symmetric tensor product. We express the normalized trace of $\vee^k A$ as an integral of the $k$-th powers of the numerical values of $A$ over the unit sphere $\mathbb{S}^{n}$ of $\mathbb{C}^{n}$ with respect to the normalized Euclidean surface measure. Equivalently, this expression in turn can be interpreted as an integral representation for the (normalized) complete symmetric polynomials over $\mathbb{C}^n$. As applications, we present a new proof for the MacMahon Master Theorem in enumerative combinatorics. Then, our next application deals with a generalization of the work of Cuttler et al. in \cite{cuttler} concerning the monotonicity of products of complete symmetric polynomials. In the process, we give a solution to an open problem that was raised by I. Rovenţa and L. E. Temereanca in \cite{roventa}.
Weak Bruhat interval modules of the 0-Hecke algebra
Published in Mathematische Zeitschrift (2022)
• View Publication
• BIB
The purpose of this paper is to provide a unified method for dealing with various 0-Hecke modules constructed using tableaux so far. To do this, we assign a $0$-Hecke module to each left weak Bruhat interval, called a weak Bruhat interval module. We prove that every indecomposable summand of the $0$-Hecke modules categorifying dual immaculate quasisymmetric functions, extended Schur functions, quasisymmetric Schur functions, and Young row-strict quasisymmetric Schur functions is a weak Bruhat interval module. We further study embedding into the regular representation, induction product, restriction, and (anti-)involution twists of weak Bruhat interval modules.