representation ↗ reference
4143 papers tagged with this keyword
Capacity bounds on integral flows and the Kostant partition function
Published
• View Publication
• BIB
The type $A$ Kostant partition function is an important combinatorial object with various applications: it counts integer flows on the complete directed graph, computes Hilbert series of spaces of diagonal harmonics, and can be used to compute weight and tensor product multiplicities of representations. In this paper we study asymptotics of the Kostant partition function, improving on various previously known lower bounds and settling conjectures of O'Neill and Yip. Our methods build upon recent results and techniques of Brändén-Leake-Pak, who used Lorentzian polynomials and Gurvits' capacity method to bound the number of lattice points of transportation and flow polytopes. Finally, we also give new two-sided bounds using the Lidskii formulas from subdivisions of flow polytopes.
On the equivalence of quasirandomness and exchangeable representations independent from lower-order variables
It is often convenient to represent a process for randomly generating a graph as a graphon. (More precisely, these give \emph{vertex exchangeable} processes -- those processes in which each vertex is treated the same way.) Other structures can be treated by generalizations like hypergraphons, permutatons, and, for a very general class, theons. These representations are not unique: different representations can lead to the same probability distribution on graphs. This naturally leads to questions (going back at least to Hoover's proof of the Aldous--Hoover Theorem on the existence of such representations) that ask when quasirandomness properties on the distribution guarantee the existence of particularly simple representations.
We extend the usual theon representation by adding an additional datum of a random permutation to each tuple, which we call a $\ast$-representation. We show that if a process satisfies the \emph{unique coupling} property UCouple[$\ell$], which says roughly that all $\ell$-tuples of vertices ``look the same'', then the process is $\ast$-$\ell$-independent: there is a $\ast$-representation that does not make use of any random information about $\ell$-tuples (including tuples of length $<\ell$). Simple examples show that the use of $\ast$-representations is necessary.
This resolves a question of Coregliano and Razborov, since it easily follows that UCouple[l] implies Independence[\ell'] (the existence of an $\ell'$-independent ordinary representation) for $\ell'<\ell$.
Reality determining subgraphs and strongly real modules
Published
• View Publication
• BIB
The concept of pseudo q-factorization graphs was recently introduced by the last two authors as a combinatorial language which is suited for capturing certain properties of Drinfeld polynomials. Using certain known representation theoretic facts about tensor products of Kirillov Reshetikhin modules and qcharacters, combined with special topological/combinatorial properties of the underlying q-factorization graphs, the last two authors showed that, for algebras of type A, modules associated to totally ordered graphs are prime, while those associated to trees are real. In this paper, we extend the latter result. We introduce the notions of strongly real modules and that of trees of modules satisfying certain properties. In particular, we can consider snake trees, i.e., trees formed from snake modules. Among other results, we show that a certain class of such generalized trees, which properly contains the snake trees, give rise to strongly real modules.
A characterization of uniquely representable two-directional orthogonal ray graphs
Published
• View Publication
• BIB
In this paper, we provide a characterization of uniquely representable two-directional orthogonal ray graphs, which are defined as the intersection graphs of rightward and downward rays. The collection of these rays is called a representation of the graph. Two-directional orthogonal ray graphs are equivalent to several well-studied classes of graphs, including complements of circular-arc graphs with clique cover number two. Normalized representations of two-directional orthogonal ray graphs, where the positions of certain rays are determined by neighborhood containment relations, can be obtained from the normalized representations of circular-arc graphs. However, the normalized representations are not necessarily unique, even when considering only the relative positions of the rays. Recent studies indicate that two-directional orthogonal ray graphs share similar characterizations to interval graphs. Hanlon (1982) and Fishburn (1985) characterized uniquely representable interval graphs by introducing the notion of a buried subgraph. Following their characterization, we define buried subgraphs of two-directional orthogonal ray graphs and prove that their absence is a necessary and sufficient condition for a graph to be uniquely representable.
Weights on homogeneous coherent configurations
Published
• View Publication
• BIB
D. G. Higman generalized a coherent configuration and defined a weight. In this article, we will modify the definition and investigate weights on coherent configurations. If our weights are on a thin homogeneous coherent configuration, that is essentially a finite group, then there is a natural correspondence between the set of equivalence classes of weights and $2$-cohomology group of the group. We also give a construction of weights as a generalization of Higman's method using monomial representations of finite groups.
On semi-transitive orientability of circulant graphs
Published in Discrete Applied Mathematics, Volume 377, 2025, Pages 498-509
• View Publication
• BIB
A graph $G = (V, E)$ is said to be word-representable if a word $w$ can be formed using the letters of the alphabet $V$ such that for every pair of vertices $x$ and $y$, $xy \in E$ if and only if $x$ and $y$ alternate in $w$. A \textit{semi-transitive} orientation is an acyclic directed graph where for any directed path $v_0 \rightarrow v_1 \rightarrow \ldots \rightarrow v_m$, $m \ge 2$ either there is no arc between $v_0$ and $v_m$ or for all $1 \le i < j \le m$ there is an arc between $v_i$ and $v_j$. An undirected graph is semi-transitive if it admits a semi-transitive orientation. For given positive integers $n, a_1, a_2, \ldots, a_k$, we consider the undirected circulant graph with set of vertices $\{0, 1, 2, \ldots, n-1\}$ and the set of edges$\{ij ~ | ~ (i - j) \pmod n$ or $(j-i) \pmod n$ are in $\{a_1, a_2, \ldots, a_k\}\}$, where $ 0 < a_1 < a_2 < \ldots < a_k < (n+1)/2$. Recently, Kitaev and Pyatkin have shown that every $4$-regular circulant graph is semi-transitive. Further, they have posed an open problem regarding the semi-transitive orientability of circulant graphs for which the elements of the set $\{a_1, a_2, \ldots, a_k\}$ are consecutive positive integers.
In this paper, we solve the problem mentioned above. In addition, we show that under certain assumptions, some $k(\ge5)$-regular circulant graphs are semi-transitive, and some are not. Moreover, since a semi-transitive orientation is a characterisation of word-representability, we give some upper bound for the representation number of certain $k$-regular circulant graphs.
Normality, factoriality and strong $F$-regularity of Lovász-Saks-Schrijver rings
Published
• View Publication
• BIB
Every simple finite graph $G$ has an associated Lovász-Saks-Schrijver ring $R_G(d)$ that is related to the $d$-dimensional orthogonal representations of $G$. The study of $R_G(d)$ lies at the intersection between algebraic geometry, commutative algebra and combinatorics. We find a link between algebraic properties such as normality, factoriality and strong $F$-regularity of $R_G(d)$ and combinatorial invariants of the graph $G$. In particular we prove that if $d \geq \text{pmd}(G)+k(G)$ then $R_G(d)$ is $F$-regular in finite characteristic and rational singularity in characteristic $0$ and furthermore if $d \geq \text{pmd}(G)+k(G)+1$ then $R_G(d)$ is UFD. Here $\text{pmd}(G)$ is the positive matching decomposition number of $G$ and $k(G)$ is its degeneracy number.
A combinatorial interpretation of the Bernstein degree of unitary highest weight modules
Consider the $(\mathfrak{g}, K)$-modules $L_λ$ for unitary highest weight representations of the real reductive group $G_{\mathbb{R}} = \operatorname{U}(p,q)$, $\operatorname{Mp}(2n, \mathbb{R})$, or $\operatorname{O}^*(2n)$, where $\operatorname{Mp}(2n,\mathbb{R})$ denotes the metaplectic double cover of $\operatorname{Sp}(2n,\mathbb{R})$. Let $k$ be a positive integer. Corresponding to $G_{\mathbb{R}}$ via Howe duality is the compact group $\operatorname{U}(k)$, $\operatorname{O}(k)$, or $\operatorname{Sp}(k)$, respectively, for which every irreducible representation $σ$ corresponds to a unique $L_λ = L_{λ(σ)}$. Nishiyama-Ochiai-Taniguchi (2001) expressed the Bernstein degree $\operatorname{Deg} L_{λ(σ)}$ as the product of $\dim σ$ and the degree of the associated variety of $L_{λ(σ)}$; this result is valid when $k \leq r :=$ the real rank of $G_{\mathbb{R}}$. In this paper, for arbitrary $k$, we give a new combinatorial interpretation $\operatorname{Deg} L_{λ(σ)} = \#(\mathcal{Q}_k(σ) \times \mathcal{P}_k)$, where $\mathcal{Q}_k(σ)$ is a certain set of semistandard tableaux, whose cardinality (for $k \geq r$) interpolates between $\dim σ$ and the dimension of the simple $K$-module with highest weight $λ(σ)$. The set $\mathcal{P}_k$ consists of certain plane partitions that encode the Hilbert series of the associated variety. We exhibit analogous sets $\mathcal{P}_k$ of plane partitions for all real reductive groups of Hermitian type, including the exceptional groups.
A Note on the Subcubes of the $n$-Cube
In the year 1990, Béla Bollobás, Imre Leader and Andrew Radcliffe considered the following combinatorial problem: given three parameters k, n and q, find a set of k vertices in the binary n-cube which contains a maximal number of q-dimensional subcubes. It was shown that an optimal solution is given by the k vertices which coincide with the binary representations of the number 0 , 1 , ... , k-1. Two proofs were presented. The proof given by Bollobas and Leader is particularly elegant and short. Here we show that also the other proof, the one given by Bollobas and Radcliffe, becomes quite simple and short when it is combined with a lemma from Graham whose publication dates back to 1970. As a second application of Graham's lemma, we solve a recursive equation (related to the optimization problem that we discussed before) that might be considered interesting in its own right.
On the fibbinary numbers and the Wythoffarray
This paper defines the set fib of fibbinary numbers and displays its structure in the form of a table of a specialised type, and in array form. It uses the Zeckendorf representation $n \in \mathbf{N}$ to define a bijection $\mathcal{Z}$ between $\mathbf{N}$ and fib. It is proved that the fibbinary array is the image under $\mathcal{Z}$ of the famous Wythoff array. The fibbinary table proves useful pictorial insight into the fractal defined by the Wythoff array. The Wythoff table, obtained as the image under the inverse of $\mathcal{Z}$ of the fibbinary table, leads to a simpler view of the fractal, and may be compared with the (1938) Steinhaus tree.
Series Associated with Harmonic Numbers, Fibonacci Numbers and Central Binomial Coefficients $\binom{2n}{n}$
We find various series that involves the central binomial coefficients $\binom{2n}{n}$, harmonic numbers and Fibonacci Numbers.\\ Contrary to the traditional hypergeometric function $_pF_q$ approach, our method utilizes a straightforward transformation to obtain new evaluations linked to Fibonacci numbers and the golden ratio. Before the end of this paper, we also gave a new series representation for $ζ(2)$.
Alcove walk models for parabolic Mirković-Vilonen intersections and branching to Levi subgroups
Published
• View Publication
• BIB
This article establishes alcove walk models for intersections of Schubert varieties and partially semi-infinite orbits in the affine Grassmannian of a split reductive group (we call such intersections parabolic Mirković-Vilonen intersections). More precisely, we describe explicit cellular pavings of these intersections, indexed by certain positively-folded alcove walks. We prove a parametrization of the irreducible components of maximal possible dimension, in terms of alcove walks of maximal possible dimension. We then deduce a new combinatorial description of branching to Levi subgroups of irreducible highest weight representations, and in particular we give a new algorithm for computing the characters of such representations.
Knot theory and cluster algebras II: The knot cluster
To every knot (or link) diagram K, we associate a cluster algebra A that contains a cluster x with the property that every cluster variable in x specializes to the Alexander polynomial of K. We call x the knot cluster of A. Furthermore, there exists a cluster automorphism of A of order two that maps the initial cluster to the cluster x.
We realize this connection between knot theory and cluster algebras in two ways. In our previous work, we constructed indecomposable representations T(i) of the initial quiver Q of the cluster algebra A. Modulo the removal of 2-cycles, the quiver Q is the incidence quiver of the segments in K, and the representation T(i) of Q is built by taking successive boundaries of K cut open at the i-th segment. The relation to the Alexander polynomial stems from an isomorphism between the submodule lattice of T(i) and the lattice of Kauffman states of K relative to segment i.
In the current article, we identify the knot cluster x in A via a sequence of mutations that we construct from a sequence of bigon reductions and generalized Reidemeister III moves on the diagram K. On the level of diagrams, this sequence first reduces K to the Hopf link, then reflects the Hopf link to its mirror image, and finally rebuilds (the mirror image of) K by reversing the reduction. We show that every diagram of a prime link admits such a sequence.
We further prove that the cluster variables in x have the same F-polynomials as the representations T(i). This establishes the important fact that our representations T(i) do indeed correspond to cluster variables in A. But it even establishes the much stronger result that these cluster variables are all compatible, in the sense that they form a cluster.
We also prove that the representations T(i) have the following symmetry property. For all vertices i,j of Q, the dimension of T(i) at j is equal to the dimension of T(j) at i.
A dissimilarity measure for semidirected networks
Published
• View Publication
• BIB
Semidirected networks have received interest in evolutionary biology as the appropriate generalization of unrooted trees to networks, in which some but not all edges are directed. Yet these networks lack proper theoretical study. We define here a general class of semidirected phylogenetic networks, with a stable set of leaves, tree nodes and hybrid nodes. We prove that for these networks, if we locally choose the direction of one edge, then globally the set of directed paths starting by this edge is stable across all choices to root the network. We define an edge-based representation of semidirected phylogenetic networks and use it to define a dissimilarity between networks, which can be efficiently computed in near-quadratic time. Our dissimilarity extends the widely-used Robinson-Foulds distance on both rooted trees and unrooted trees. After generalizing the notion of tree-child networks to semidirected networks, we prove that our edge-based dissimilarity is in fact a distance on the space of tree-child semidirected phylogenetic networks.
A skew Specht perspective of RoCK blocks and cuspidal systems for KLR algebras in affine type A
Published
• View Publication
• BIB
Cuspidal systems parameterize KLR algebra representations via root partitions $π$, where simple modules $L(π)$ arise as heads of proper standard modules. Working in affine type A with an arbitrary convex preorder, we construct explicit skew diagrams $ζ(π)$ such that the skew Specht module $S^{ζ(π)}$ has simple head $L(π)$ and a filtration by proper standard modules. A key ingredient in this construction is the development of `core-truncation' functors, which take module categories of level one RoCK blocks to the category of imaginary semicuspidal KLR modules. Every simple imaginary semicuspidal module arises in the image of these functors. This result stems from an in-depth study of the combinatorial interplay between cuspidal systems and RoCK cyclotomic KLR algebras, in which we characterize core blocks and RoCK blocks in arbitrary level via cuspidal tiling properties of multipartitions in these blocks.
The Boolean polynomial polytope with multiple choice constraints
We consider a class of $0$-$1$ polynomial programming termed multiple choice polynomial programming (MCPP) where the constraint requires exact one component per subset of the partition to be $1$ after all the entries are partitioned. Compared to the unconstrained counterpart, there are few polyhedral studies of MCPP in general form. This paper serves as the first attempt to propose a polytope associated with a hypergraph to study MCPP, which is the convex hull of $0$-$1$ vectors satisfying multiple choice constraints and production constraints. With the help of the decomposability property, we obtain an explicit half-space representation of the MCPP polytope when the underlying hypergraph is $α$-acyclic by induction on the number of hyperedges, which is an analogy of the acyclicity results on the multilinear polytope by Del Pia and Khajavirad (SIAM J Optim 28 (2018) 1049) when the hypergraph is $γ$-acyclic. We also present a necessary and sufficient condition for the inequalities lifted from the facet-inducing ones for the multilinear polytope to be still facet-inducing for the MCPP polytope. This result covers the particular cases by Bärmann, Martin and Schneider (SIAM J Optim 33 (2023) 2909).
The Defective Parking Space and Defective Kreweras Numbers
Published
• View Publication
• BIB
A defective $(m,n)$-parking function with defect $d$ is a parking function with $m$ cars attempting to park on a street with $n$ parking spots in which exactly $d$ cars fail to park. We establish a way to compute the defect of a defective $(m,n)$-parking function and show that the defect of a parking function is invariant under the action of $\mathfrak{S}_m$, the symmetric group on $[m]=\{1,2,\ldots,m\}$. We introduce the defective parking space ${\sf DPark}_{m,n}$ spanned by defective parking functions and describe its Frobenius characteristic as an $\mathfrak{S}_m$ representation graded by defect via coefficients $\mathrm{Krew}_{d,n}(λ)$ called defective Kreweras numbers. We provide a conjectured formula for $\mathrm{Krew}_{d,n}(λ)$ for sufficiently large $n$. We also show that the set of nondecreasing defective $(m,n)$-parking functions with defect $d$ are in bijection with the set of standard Young tableaux of shape $(n + d, m - d)$. This implies that the number of $\mathfrak{S}_m$-orbits of defective $(m,n)$-parking functions with defect $d$ is given by $\frac{n-m+2d+1}{n+d+1}\binom{m+n}{n+d}$. We also give a multinomial formula for the size of an $\mathfrak{S}_m$-orbit of a nondecreasing $(m,n)$-parking function with defect $d$. We conclude by using these results to give a new formula for the number of defective parking functions.
Sums of four polygonal numbers: precise formulas
Published in J. Number Theory 271 (2025), 407-422
• View Publication
• BIB
In this paper we give unified formulas for the numbers of representations of positive integers as sums of four generalized $m$-gonal numbers, and as restricted sums of four squares under a linear condition, respectively. These formulas are given as $\mathbb{Z}$-linear combinations of Hurwitz class numbers. As applications, we prove several Zhi-Wei Sun's conjectures. As by-products, we obtain formulas for expressing the Fourier coefficients of $\vartheta(τ,z)^4$, $η(τ)^{12}$, $η(τ)^4$ and $η(τ)^8η(2τ)^8$ in terms of Hurwitz class numbers, respectively. The proof is based on the theory of Jacobi forms.
Representation stability in the intrinsic hyperplane arrangements associated to irreducible representations of the symmetric-groups
Published
• View Publication
• BIB
Some of the most classically relevant Hyperplane arrangements are the Braid Arrangements $B_n$ and their associated compliment spaces $\mathcal{F}_n$. In their recent work, Tsilevich, Vershik, and Yuzvinsky construct what they refer to as the intrinsic hyperplane arrangement within any irreducible representation of the symmetric group that generalize the classical braid arrangements. Through examples it is also shown that the associated compliment spaces to these intrinsic arrangements display behaviors far removed from $\mathcal{F}_n$. In this work we study the intrinsic hyperplane arrangements of irreducible representations of the symmetric group from the perspective of representation stability. This work is both theoretical, proving representation stability theorems for hyperplane complements, as well as statistical, examining the outputs of a number of simulations designed to enumerate flats.
Asymptotics of Weighted Reflectable Walks in $A_2$
Lattice walks are used to model various physical phenomena. In particular, walks within Weyl chambers connect directly to representation theory via the Littelmann path model. We derive asymptotics for centrally weighted lattice walks within the Weyl chamber corresponding to $A_2$ by using tools from analytic combinatorics in several variables (ACSV). We find universality classes depending on the weights of the walks, in line with prior results on the weighted Gouyou-Beauchamps model. Along the way, we identify a type of singularity within a multivariate rational generating function that is not yet covered by the theory of ACSV. We conjecture asymptotics for this type of singularity.