representation ↗ reference
4143 papers tagged with this keyword
Isomorphic pastings and the two possible structures for a pair of graphs having the same deck
When G denotes a graph, the unlabeled subgraph obtained by deleting a vertex from G is called a card of G and the collection of all cards of G is the deck of G. A graph having the same deck as G is called a hypomorph of G. A graph is called reconstructible if it is isomorphic to all its hypomorphs. Reconstruction Conjecture claims that all graphs are reconstructible and it is open. A representation of a hypomorph of G in terms of two of its cards, called pasting, is introduced. Isomorphic pastings of two cards is defined. In the case of a digraph, a card with which the degree triple of the deleted vertex is also given is called a degree associated card or dacard. Dadeck, dareconstructible digraphs, dapastings and isomorphic dapastings based on dacards are defined analogously. DARC claims that all digraphs are dareconstructible and it is also open. Results: Two hypomorphs G and H of a graph are isomorphic if and only if a pair of cards in their common deck is pasted isomorphically in both G and H. Either every pair of cards in their common deck is pasted isomorphically in both G and H, or no pair of cards is pasted isomorphically in both G and H. Results analogous to the above hold for dapastings in dahypomorphs of a digraph. Some results on pastings are proved and two graph parameters are reconstructed. The neighborhood degree quintuple of a vertex and a new family of digraphs are dareconstructible. New approaches for proving the reconstruction conjecture and DARC by the method of contradiction arise.
Transmutations from the Covariant Transform on the Heisenberg Group and an Extended Umbral Principle
Published in Lobachevskii J. Math, 2023, Vol. 44, No. 8, pp. 3384-3397
• View Publication
• BIB
We discuss several seemingly assorted objects: the umbral calculus, generalised translations and associated transmutations, symbolic calculus of operators. The common framework for them is representations of the Weyl algebra of the Heisenberg group by ladder operators. Transporting various properties between different implementations we review some classic results and new opportunities.
Cycle spaces: invariant projections and applications to transportation cost
Published
• View Publication
• BIB
The paper starts with discussion of applications of cycle spaces to transportation cost. After a short survey of the known results on cycle spaces, we turn to the study of minimal projections onto cycle spaces in the corresponding $\ell_1$-spaces. This study is naturally related to the study of invariant projections on the cycle space, which, in turn, are determined by the properties of representations of the automorphism group of the corresponding graph. The main focus is on discrete tori and Hamming graphs.
Ramanujan sums and rectangular power sums
Published in J. Pure and Applied Algebra 2023
• View Publication
• BIB
For a fixed nonnegative integer $u$ and positive integer $n$, we investigate the symmetric function \[\sum_{d|n} \left(c_d(\tfrac{n}{d})\right)^u p_d^{\tfrac{n}{d}},\]
where $p_n$ denotes the $n$th power sum symmetric function, and $c_d(r)$ is a Ramanujan sum, equal to the sum of the $r$th powers of all the primitive $d$th roots of unity. We establish the Schur positivity of these functions for $u=0$ and $u=1$, showing that, in each case, the associated representation of the symmetric group $\mathfrak{S}_n$ decomposes into a sum of Foulkes representations, that is, representations induced from the irreducibles of the cyclic subgroup generated by the long cycle. We also conjecture Schur positivity for the case $u= 2$.
From Young's Lattice to Coinvariants
Inspired by Vershik and Okounkov's inductive and Lie-theoretic approach to the representation theory of the symmetric group, we extend their point of view to reducible $S_n$-modules. Using induced representations along Young's lattice, we define an orthonormal weight basis for the regular representation of $S_n$ and use its rigidity to exhibit dualities between the left and right actions of $S_n$ and between restriction and induction of representations. We also show our weight basis is equivalent to the basis of matrix units corresponding to Young's seminormal form. We then realize $\mathbb{C}[S_n]$ in a subspace of the polynomial ring $R[z_1, \ldots , z_n]$. The induced weight decomposition allows us to map this subspace of polynomials to the ring of coinvariants, similar to the work of Ariki, Terasoma, and Yamada on higher Specht polynomials but perhaps a bit more intrinsic as we work in terms of an orthonormal basis. Our construction makes explicit the connection between the charge statistic on standard tableaux (which corresponds to degree in the coinvariant ring) and the action of adjacent transpositions on weight vectors in the seminormal representation of $S_n$. It also exposes the inductive structure of $S_n$ hidden in the coinvariant ring. All our constructions are elementary, and we are curious about their geometric meaning.
Cyclotomic generating functions
Published
• View Publication
• BIB
It is a remarkable fact that for many statistics on finite sets of combinatorial objects, the roots of the corresponding generating function are each either a complex root of unity or zero. These and related polynomials have been studied for many years by a variety of authors from the fields of combinatorics, representation theory, probability, number theory, and commutative algebra. We call such polynomials \textbf{cyclotomic generating functions} (CGFs). With Konvalinka, we have studied the support and asymptotic distribution of the coefficients of several families of CGFs arising from tableau and forest combinatorics. In this paper, we survey general CGFs from algebraic, analytic, and asymptotic perspectives. We review some of the many known examples of CGFs in combinatorial representation theory; describe their coefficients, moments, cumulants, and characteristic functions; and give a variety of necessary and sufficient conditions for their existence arising from probability, commutative algebra, and invariant theory. As a sample result, we show that CGFs are ``generically'' asymptotically normal, generalizing a result of Diaconis on $q$-binomial coefficients using work of Hwang--Zacharovas. We include several open problems concerning CGFs.
Avoiding intersections of given size in finite affine spaces AG(n,2)
We study the set of intersection sizes of a k-dimensional affine subspace and a point set of size m \in [0, 2^n] of the n-dimensional binary affine space AG(n,2). Following the theme of Erdős, Füredi, Rothschild and T. Sós, we partially determine which local densities in k-dimensional affine subspaces are unavoidable in all $m$-element point sets in the n-dimensional affine space. We also show constructions of point sets for which the intersection sizes with $k$-dimensional affine subspaces takes values from a set of a small size compared to 2^k. These are built up from affine subspaces and so-called subspace evasive sets. Meanwhile, we improve the best known upper bounds on subspace evasive sets and apply results concerning the canonical signed-digit (CSD) representation of numbers.
A dynamical approach to spanning and surplus edges of random graphs
Consider a finite inhomogeneous random graph running in continuous time, where each vertex has a mass, and the edge that links any pair of vertices appears with a rate equal to the product of their masses. The simultaneous breadth-first-walk introduced by Limic (2019) is extended in order to account for the surplus edge data in addition to the spanning edge data. Two different graph-based representations of the multiplicative coalescent, with different advantages and drawbacks, are discussed in detail. A canonical multi-graph from Bhamidi, Budhiraja and Wang (2014) naturally emerges. The presented framework will facilitate the understanding of scaling limits with surplus edges for near-critical random graphs in the domain of attraction of general (not necessarily standard) eternal augmented multiplicative coalescent.
Complete flagged homogeneous polynomials
We introduce a new basis for the polynomial ring which lifts the complete homogeneous symmetric polynomials while retaining representation theoretic significance. Using a specialized RSK algorithm we give an explicit nonnegative expansion into key polynomials and, generalizing the special rim hook tabloids of Eğecioğlu and Remmel, give an explicit signed expansion for key polynomials into this new basis.
Classification of spreads of Tits quadrangles of order 64
Published
• View Publication
• BIB
Brown et al. provide a representation of a spread of the Tits quadrangle $T_2(\mathcal O)$, $\mathcal O$ an oval of $\mathrm PG(2,q)$, $q$ even, in terms of a certain family of $q$ ovals of $\mathrm PG(2,q)$. By combining this representation with the Vandendriessche classification of hyperovals in $\mathrm PG(2,64)$ and the classification of flocks of the quadratic cone in $\mathrm PG(3,64)$, recently given by the authors, in this paper, we classify all the spreads of $T_2(\mathcal O)$, $\mathcal O$ an oval of $\mathrm PG(2,64)$, up to equivalence. These complete the classification of spreads of $T_2(\mathcal O)$ for $q\le 64$.
On the representation functions of certain numeration systems
Let $β>1$ be fixed. We consider the $(\frak{b, d})$ numeration system, where the base ${\frak b}=(b_k)_{k\geq 0}$ is a sequence of positive real numbers satisfying $\lim_{k\rightarrow \infty}b_{k+1}/b_k=β$, and the set of digits ${\frak d}\ni 0$ is a finite set of nonnegative real numbers with at least two elements. Let $r_{\frak{b, d}}(λ)$ denote the number of representations of a given $λ\in\mathbb{R}$ by sums $\sum_{k\ge 0}δ_kb_k$ with $δ_k$ in ${\frak d}$. We establish upper bounds and asymptotic formulas for $r_{\frak{b,d}}(λ)$ and its arbitrary moments, respectively. We prove that the associated zeta function $ζ_{\frak{b, d}}(s):=\sum_{λ>0}r_{\frak{b, d}}(λ)λ^{-s}$ can be meromorphically continued to the entire complex plane when $b_k=β^{k}$, and to the half-plane $\Re(s)>\log_β|\frak{d}|-γ$ when $b_k=β^{k}+O(β^{(1-γ)k})$, with any fixed $γ\in(0,1]$, respectively. We also determine the possible poles, compute the residues at the poles, and locate the trivial zeros of $ζ_{\frak{b, d}}(s)$ in the regions where it can be extended. As an application, we answer some problems posed by Chow and Slattery on partitions into distinct terms of certain integer sequences.
Levi-spherical Schubert varieties
Published in Adv. Math. 439 (2024), Paper No. 109486, 14 pp
• View Publication
• BIB
We prove a short, root-system uniform, combinatorial classification of Levi-spherical Schubert varieties for any generalized flag variety $G/B$ of finite Lie type. We apply this to the study of multiplicity-free decompositions of a Demazure module into irreducible representations of a Levi subgroup.
A sufficient condition for a hypergraph to have a Berge-$k$-factor
Published
• View Publication
• BIB
For any graph (hypergraph) $G$ with vertex set $V$ and edge set $E$, we define its incidence bipartite graph $\mathcal{I}(G)$ as the bipartite graph with bipartition $(E, V)$, where an edge $e \in E$ is adjacent to a vertex $v \in V$ in $\mathcal{I}(G)$ if and only if $e$ is incident to $v$ in $G$. This representation allows all concepts and properties of $G$ to be reformulated in terms of those of $\mathcal{I}(G)$. In this paper, we investigate the notions of graph toughness and $k$-factors in bipartite graphs through this incidence perspective. As an application, our result implies the classic theorem of Enomoto, Jackson, Katerinis, and Saito: for any integer $k \geq 1$, a $k$-tough graph $G$ has a $k$-factor if $k |V(G)|$ is even and $|V(G)| \geq k+1$. Furthermore, we extend this result to hypergraphs, without requiring uniformity.
On algebras of double cosets of symmetric groups with respect to Young subgroups
Published in Math. Notes, 2023, Vol. 114, No. 4, pp. 583-592
• View Publication
• BIB
We consider the subalgebra $Δ$ in the group algebra of the symmetric group $G=S_{n_1+\dots+n_ν}$ consisting of all functions invariant with respect to left and right shifts by elements of the Young subgroup $H:=S_{n_1}\times \dots \times S_{n_ν}$. We discuss structure constants of the algebra $Δ$ and construct an algebra with continuous parameters $n_1$ extrapolating algebras $Δ$, it can be also can be rewritten as an asymptotic algebra as $n_j\to\infty$ (for fixed $ν$). We show that there is a natural map from the Lie algebra of the group of pure braids to $Δ$ (and therefore this Lie algebra acts in spaces of multiplicities of the quasiregular representation of the group $G$ in functions on $G/H$).
Row-Column duality and combinatorial topological strings
Published in J. Phys. A: Math. Theor. 57 065202, 2024
• View Publication
• BIB
Integrality properties of partial sums over irreducible representations, along columns of character tables of finite groups, were recently derived using combinatorial topological string theories (CTST). These CTST were based on Dijkgraaf-Witten theories of flat $G$-bundles for finite groups $G$ in two dimensions, denoted $G$-TQFTs. We define analogous combinatorial topological strings related to two dimensional TQFTs based on fusion coefficients of finite groups. These TQFTs are denoted as $R(G)$-TQFTs and allow analogous integrality results to be derived for partial row sums of characters over conjugacy classes along fixed rows. This relation between the $G$-TQFTs and $R(G)$-TQFTs defines a row-column duality for character tables, which provides a physical framework for exploring the mathematical analogies between rows and columns of character tables. These constructive proofs of integrality are complemented with the proof of similar and complementary results using the more traditional Galois theoretic framework for integrality properties of character tables. The partial row and column sums are used to define generalised partitions of the integer row and column sums, which are of interest in combinatorial representation theory.
An algorithm for constructing and classifying the space of small integer weighing matrices
In this paper we describe an algorithm for generating all the possible $PIW(m,n,k)$ - integer $m\times n$ Weighing matrices of weight $k$ up to Hadamard equivalence. Our method is efficient on a personal computer for small size matrices, up to $m\le n=12$, and $k\le 50$. As a by product we also improved the \textit{\textbf{nsoks}} \cite{riel2006nsoks} algorithm to find all possible representations of an integer $k$ as a sum of $n$ integer squares.
We have implemented our algorithm in \texttt{Sagemath} and as an example we provide a complete classification for \ $n=m=7$ and $k=25$. Our list of $IW(7,25)$ can serve as a step towards finding the open classical weighing matrix $W(35,25)$.
Crepant resolutions, mutations, and the space of potentials
Published
• View Publication
• BIB
The McKay correspondence has had much success in studying resolutions of 3-fold quotient singularities through a wide range of tools coming from geometry, combinatorics, and representation theory. We develop a computational perspective in this setting primarily realised through a web application to explore mutations of quivers with potential and crepant triangulations. We use this to study flops between different crepant resolutions of Gorenstein toric quotient singularities and find many situations in which the mutations of a quiver with potential classifies them. The application also implements key constructions of the McKay correspondence, including the Craw--Reid procedure and the process of associating a quiver to a toric resolution.
Fake degrees of classical Weyl groups
We compute the fake degrees of representations of classical Weyl groups in terms of domino tableaux.
Simple Combinatorial Construction of the $k^{o(1)}$-Lower Bound for Approximating the Parameterized $k$-Clique
Published
• View Publication
• BIB
In the parameterized $k$-clique problem, or $k$-Clique for short, we are given a graph $G$ and a parameter $k\ge 1$. The goal is to decide whether there exist $k$ vertices in $G$ that induce a complete subgraph (i.e., a $k$-clique). This problem plays a central role in the theory of parameterized intractability as one of the first W[1]-complete problems. Existing research has shown that even an FPT-approximation algorithm for $k$-Clique with arbitrary ratio does not exist, assuming the Gap-Exponential-Time Hypothesis (Gap-ETH) [Chalermsook et al., FOCS'17 and SICOMP]. However, whether this inapproximability result can be based on the standard assumption of $\mathrm{W} 1\ne \mathrm{FPT}$ remains unclear. The recent breakthrough of Bingkai Lin [STOC'21] and subsequent works by Karthik C.S. and Khot [CCC'22], and by Lin, Ren, Sun Wang [ICALP'22] give a technique that bypasses Gap-ETH, thus leading to the inapproximability ratio of $O(1)$ and $k^{o(1)}$ under $\mathrm{W}[1]$-hardness (the first two) and ETH (for the latter one). All the work along this line follows the framework developed by Lin, which starts from the $k$-vector-sum problem and requires some involved algebraic techniques.
This paper presents an alternative framework for proving the W[1]-hardness of the $k^{o(1)}$-FPT-inapproximability of $k$-Clique. Using this framework, we obtain a gap-producing self-reduction of $k$-Clique without any intermediate algebraic problem. More precisely, we reduce from $(k,k-1)$-Gap Clique to $(q^k, q^{k-1})$-Gap Clique, for any function $q$ depending only on the parameter $k$, thus implying the $k^{o(1)}$-inapproximability result when $q$ is sufficiently large. Our proof is relatively simple and mostly combinatorial. At the core of our construction is a novel encoding of $k$-element subset stemming from the theory of "network coding" and a "Sidon set" representation of a graph.
Identities for vacillating tableaux via growth diagrams
Published in J. Algebra Appl. 24 (2025), Art. 2541022
• View Publication
• BIB
We give bijective proofs using Fomin's growth diagrams for identities involving numbers of vacillating tableaux that arose in the representation theory of partition algebras or are inspired by such identities.