representation ↗ reference
4053 papers tagged with this keyword
On the bar visibility number of complete bipartite graphs
A $t$-bar visibility representation of a graph assigns each vertex up to $t$ horizontal bars in the plane so that two vertices are adjacent if and only if some bar for one vertex can see some bar for the other via an unobstructed vertical channel of positive width. The least $t$ such that $G$ has a $t$-bar visibility representation is the bar visibility number of $G$, denoted by $b(G)$. For the complete bipartite graph $K_{m,n}$, the lower bound $b(K_{m,n})\ge\lceil{\frac{mn+4}{2m+2n}}\rceil$ from Euler's Formula is well known. We prove that equality holds.
An insertion algorithm on multiset partitions with applications to diagram algebras
Published in J. Algebra 557 no. 1, (2020), 97-128
• View Publication
• BIB
We generalize the Robinson-Schensted-Knuth algorithm to the insertion of two row arrays of multisets. This generalization leads to new enumerative results that have representation theoretic interpretations as decompositions of centralizer algebras and the spaces they act on. In addition, restrictions on the multisets lead to further identities and representation theory analogues. For instance, we obtain a bijection between words of length $k$ with entries in $[n]$ and pairs of tableaux of the same shape with one being a standard Young tableau of size $n$ and the other being a standard multiset tableau of content $[k]$. We also obtain an algorithm from partition diagrams to pairs of a standard tableau and a standard multiset tableau of the same shape, which has the remarkable property that it is well-behaved with respect to restricting a representation to a subalgebra. This insertion algorithm matches recent representation-theoretic results of Halverson and Jacobson.
Binomial arrays and generalized Vandermonde identities
In previous work on Clebsch-Gordan coefficients, certain remarkable hexagonal arrays of integers are constructed that display behaviors found in Pascal's Triangle. We explain these behaviors further using the binomial transform and discrete convolution. Here we begin by introducing the notion of a binomial array and develop several "hockey stick" rules. Then we give an algorithm that generalizes the classical Vandermonde Identity; this produces infinite families of summation formulas, which we use to expand and prove certain combinatorial identities for the Catalan numbers. Finally, we recast the theory in terms of the finite-dimensional representation theory of $SL(2, F)$.
Orthonormal representations of $H$-free graphs
Let $x_1, \ldots, x_n \in \mathbb{R}^d$ be unit vectors such that among any three there is an orthogonal pair. How large can $n$ be as a function of $d$, and how large can the length of $x_1 + \ldots + x_n$ be? The answers to these two celebrated questions, asked by Erdős and Lovász, are closely related to orthonormal representations of triangle-free graphs, in particular to their Lovász $\vartheta$-function and minimum semidefinite rank. In this paper, we study these parameters for general $H$-free graphs. In particular, we show that for certain bipartite graphs $H$, there is a connection between the Turán number of $H$ and the maximum of $\vartheta \left( \overline{G} \right)$ over all $H$-free graphs $G$.
Asymptotic normality of the major index on standard tableaux
We consider the distribution of the major index on standard tableaux of arbitrary straight shape and certain skew shapes. We use cumulants to classify all possible limit laws for any sequence of such shapes in terms of a simple auxiliary statistic, aft, generalizing earlier results of Canfield--Janson--Zeilberger, Chen--Wang--Wang, and others. These results can be interpreted as giving a very precise description of the distribution of irreducible representations in different degrees of coinvariant algebras of certain complex reflection groups. We conclude with some conjectures concerning unimodality, log-concavity, and local limit theorems.
$16$-vertex graphs with automorphism groups $A_{4}$ and $A_{5}$ from icosahedron
The article deals with the problem of finding vertex-minimal graphs with a given automorphism group. We exhibit two undirected $16$-vertex graphs having automorphism groups $A_{4}$ and $A_{5}$. It improves the Babai's bound for $A_{4}$ and the graphical regular representation bound for $A_{5}$. The graphs are constructed using projectivisation of the vertex-face graph of icosahedron.
Schur indices for noncommutative reality-based algebras with two nonreal basis elements
This article discusses the representation theory of noncommutative algebras reality-based algebras with positive degree map over their field of definition. When the standard basis contains exactly two nonreal elements, the main result expresses the noncommutative simple component as a generalized quaternion algebra over its field of definition. The field of real numbers will always be a splitting field for this algebra, but there are noncommutative table algebras of dimension $6$ with rational field of definition for which it is a division algebra. The approach has other applications, one of which shows noncommutative association scheme of rank $7$ must have at least three symmetric relations.
A hierarchy of Palm measures for determinantal point processes with gamma kernels
Published in Studia Mathematica 267 (2022), no. 2, 121-160
• Search Publication
The gamma kernels are a family of projection kernels $K^{(z,z')}=K^{(z,z')}(x,y)$ on a doubly infinite $1$-dimensional lattice. They are expressed through Euler's gamma function and depend on two continuous parameters $z,z'$. The gamma kernels initially arose from a model of random partitions via a limit transition. On the other hand, these kernels are closely related to unitarizable representations of the Lie algebra $\mathfrak{su}(1,1)$. Every gamma kernel $K^{(z,z')}$ serves as a correlation kernel for a determinantal measure $M^{(z,z')}$, which lives on the space of infinite point configurations on the lattice.
We examine chains of kernels of the form $$ \ldots, K^{(z-1,z'-1)}, \; K^{(z,z')},\; K^{(z+1,z'+1)}, \ldots, $$ and establish the following hierarchical relations inside any such chain:
Given $(z,z')$, the kernel $K^{(z,z')}$ is a one-dimensional perturbation of (a twisting of) the kernel $K^{(z+1,z'+1)}$, and the one-point Palm distributions for the measure $M^{(z,z')}$ are absolutely continuous with respect to $M^{(z+1,z'+1)}$.
We also explicitly compute the corresponding Radon-Nikodým derivatives and show that they are given by certain normalized multiplicative functionals.
Some results on multithreshold graphs
Jamison and Sprague defined a graph $G$ to be a $k$-threshold graph with thresholds $θ_1 , \ldots, θ_k$ (strictly increasing) if one can assign real numbers $(r_v)_{v \in V(G)}$, called ranks, such that for every pair of vertices $v,w$, we have $vw \in E(G)$ if and only if the inequality $θ_i \leq r_v + r_w$ holds for an odd number of indices $i$. When $k=1$ or $k=2$, the precise choice of thresholds $θ_1, \ldots, θ_k$ does not matter, as a suitable transformation of the ranks transforms a representation with one choice of thresholds into a representation with any other choice of thresholds. Jamison asked whether this remained true for $k \geq 3$ or whether different thresholds define different classes of graphs for such $k$, offering \$50 for a solution of the problem. Letting $C_t$ for $t > 1$ denote the class of $3$-threshold graphs with thresholds $-1, 1, t$, we prove that there are infinitely many distinct classes $C_t$, answering Jamison's question. We also consider some other problems on multithreshold graphs, some of which remain open.
Products of stabilizing representations
We study representation stability in the sense of Church and Farb. We show that products of stabilizing Sn -representations fulfill certain recursive relations which can be described by a new class of difference operators.
A survey of recent developments on Hessenberg varieties
This article surveys recent developments on Hessenberg varieties, emphasizing some of the rich connections of their cohomology and combinatorics. In particular, we will see how hyperplane arrangements, representations of symmetric groups, and Stanley's chromatic symmetric functions are related to the cohomology rings of Hessenberg varieties. We also include several other topics on Hessenberg varieties to cover recent developments.
Maximal $2$-distance sets containing the regular simplex
A finite subset $X$ of the Euclidean space is called an $m$-distance set if the number of distances between two distinct points in $X$ is equal to $m$. An $m$-distance set $X$ is said to be maximal if any vector cannot be added to $X$ while maintaining the $m$-distance condition. We investigate a necessary and sufficient condition for vectors to be added to a regular simplex such that the set has only $2$ distances. We construct several $d$-dimensional maximal $2$-distance sets that contain a $d$-dimensional regular simplex. In particular, there exist infinitely many maximal non-spherical $2$-distance sets that contain both the regular simplex and the representation of a strongly resolvable design. The maximal $2$-distance set has size $2s^2(s+1)$, and the dimension is $d=(s-1)(s+1)^2-1$, where $s$ is a prime power.
On Topological Properties of Third type of Hex Derived Networks
In chemical graph theory, a topological index is a numerical representation of a chemical network while a topological descriptor correlates certain physico-chemical characteristics of underlying chemical compounds besides its chemical representation. Graph plays an vital role in modeling and designing any chemical network. F. Simonraj et al. derived new third type of Hex derived networks [27]. In our work, we discuss the third type of hex derived networks HDN3(r), THDN3(r) and RHDN3(r) and computed exact results for topological indices which are based on degrees of end vertices.
Cohomology of moduli spaces of Del Pezzo surfaces
We compute the rational Betti cohomology groups of the coarse moduli spaces of geometrically marked Del Pezzo surfaces of degree three and four as representations of the Weyl groups of the corresponding root systems. The proof uses a blend of methods from point counting over finite fields and techniques from arrangement complements.
Upper bounds for bar visibility of subgraphs and n-vertex graphs
A $t$-bar visibility representation of a graph assigns each vertex up to $t$ horizontal bars in the plane so that two vertices are adjacent if and only if some bar for one vertex can see some bar for the other via an unobstructed vertical channel of positive width. The least $t$ such that $G$ has a $t$-bar visibility representation is the bar visibility number of $G$, denoted by $b(G)$. We show that if $H$ is a spanning subgraph of $G$, then $b(H)\le b(G)+1$. It follows that $b(G)\le \lceil n/6\rceil+1$ when $G$ is an $n$-vertex graph. This improves the upper bound obtained by Chang et al. (SIAM J. Discrete Math. 18 (2004) 462).
Interesting identities involving weighted representations of integers as sums of arbitrarily many squares
Published
• View Publication
• BIB
In this paper, we obtain formulas for the number of representations of positive integers as sums of arbitrarily many squares (and other polygonal numbers) with a certain natural weighting. The resulting weighted sums give Fourier coefficients of weight two quasimodular forms.
Wreath Macdonald polynomials as eigenstates
Published in Selecta Math. (N.S.) 31 (2025), no. 3, Paper No. 62, 108 pp
• View Publication
• BIB
We show that the wreath Macdonald polynomials for $\mathbb{Z}/\ell\mathbb{Z}\wrΣ_n$, when naturally viewed as elements in the vertex representation of the quantum toroidal algebra $U_{\mathfrak{q},\mathfrak{d}}(\ddot{\mathfrak{sl}}_\ell)$, diagonalize its horizontal Heisenberg subalgebra. Our proof makes heavy use of shuffle algebra methods, and we also obtain a new proof of existence of wreath Macdonald polynomials.
Testing isomorphism of circular-arc graphs -- Hsu's approach revisited
Circular-arc graphs are intersection graphs of arcs on the circle. The aim of our work is to present a polynomial time algorithm testing whether two circular-arc graphs are isomorphic. To accomplish our task we construct decomposition trees, which are the structures representing all normalized intersection models of circular-arc graphs. Normalized models reflect the neighbourhood relation in circular-arc graphs and can be seen as their canonical representations; in particular, every intersection model can be easily transformed into a normalized one.
Our work adapts and appropriately extends the previous work on the similar topic done by Hsu [\emph{SIAM J. Comput. 24(3), 411--439, (1995)}]. In his work, Hsu developed decomposition trees representing all normalized models of circular-arc graphs. However due to the counterexample given in [\emph{Discrete Math. Theor. Comput. Sci., 15(1), 157--182, 2013}], his decomposition trees can not be used by algorithms testing isomorphism of circular-arc graphs.
A characterization of maximal 2-dimensional subgraphs of transitive graphs
A transitive graph is 2-dimensional if it can be represented as the intersection of two linear orders. Such representations make answering of reachability queries trivial, and allow many problems that are NP-hard on arbitrary graphs to be solved in polynomial time. One may therefore be interested in finding 2-dimensional graphs that closely approximate a given graph of arbitrary order dimension.
In this paper we show that the maximal 2-dimensional subgraphs of a transitive graph G are induced by the optimal near-transitive orientations of the complement of G. The same characterization holds for the maximal permutation subgraphs of a transitively orientable graph. We provide an algorithm that enables this problem reduction in near-linear time, and an approach for enlarging non-maximal 2-dimensional subgraphs, such as trees.
Rationally weighted Hurwitz numbers, Meijer $G$-functions and matrix integrals
Published in J. Math. Phys. 60, 103504 (2019)
• View Publication
• BIB
The quantum spectral curve equation associated to KP $τ$-functions of hypergeometric type serving as generating functions for rationally weighted Hurwitz numbers is solved by generalized hypergeometric series. The basis elements spanning the corresponding Sato Grassmannian element are shown to be Meijer $G$-functions, or their asymptotic series. Using their Mellin integral representation the $τ$-function, evaluated at the trace invariants of an externally coupled matrix, is expressed as a matrix integral.