representation ↗ reference
4053 papers tagged with this keyword
McKay quivers of small finite subgroups of $GL(2,\mathbb{C})$
We explicitly compute the McKay quivers of small finite subgroups of $GL(2,\mathbb{C})$ relative to the natural representation, using character theory and the McKay quivers of finite subgroups of $SU(2)$. We present examples that shows the rich symmetry and combinatorial structure of these quivers. We compare our results with the MacKay quivers computed by Auslander and Reiten.
Fuss--Catalan algebras on generalized Dyck paths via non-crossing partitions
We study the Fuss--Catalan algebras, which are generalizations of the Temperley--Lieb algebra and act on generalized Dyck paths, through non-crossing partitions. First, the Temperley--Lieb algebra is defined on non-crossing partitions, and a bijection between a Dyck path and a non-crossing partition is shown to be compatible with the Temperley--Lieb algebra on Dyck paths, or equivalently chord diagrams. We show that the Kreweras endomorphism on non-crossing partitions is equivalent to the rotation of chord diagrams under the bijection. Secondly, by considering an increasing $r$-chain in the graded lattice of non-crossing partitions, we define the Fuss--Catalan algebras on increasing $r$-chains. Through a bijection between an increasing $r$-chain and a generalized Dyck path, one naturally obtains the Fuss--Catalan algebra on generalized Dyck paths. As generalizations of the Fuss--Catalan algebra, we introduce the one- and two-boundary Fuss--Catalan algebras. Increasing $r$-chains of symmetric non-crossing partitions give symmetric generalized Dyck paths by the bijection, and the boundary Fuss--Catalan algebras naturally act on them. We show that these representations are compatible with the diagrammatic representations of the algebras by use of generalized chord diagrams. Thirdly, we discuss the integrability of the Fuss--Catalan algebras. For the Fuss--Catalan algebras with boundaries, we obtain a new solution of the reflection equation in the case of $r=2$.
Rook sums in the symmetric group algebra
Let $\mathcal{A}$ be the group algebra $\mathbf{k}[S_n]$ of the $n$-th symmetric group $S_n$ over a commutative ring $\mathbf{k}$. For any two subsets $A$ and $B$ of $[n]$, we define the elements \[ \nabla_{B,A}:=\sum_{\substack{w\in S_n;\\w\left( A\right) =B}} w \qquad \text{and} \qquad \widetilde{\nabla}_{B,A}:=\sum_{\substack{w\in S_n;\\w\left( A\right) \subseteq B}}w \] of $\mathcal{A}$. We study these elements, showing in particular that their minimal polynomials factor into linear factors (with integer coefficients). We express the product $\nabla_{D,C}\nabla_{B,A}$ as a $\mathbb{Z}$-linear combination of $\nabla_{U,V}$'s.
More generally, for any two set compositions (i.e., ordered set partitions) $\mathbf{A}$ and $\mathbf{B}$ of $\left\{ 1,2,\ldots,n\right\} $, we define $\nabla_{\mathbf{B},\mathbf{A}}\in\mathcal{A}$ to be the sum of all permutations $w\in S_n$ that send each block of $\mathbf{A}$ to the corresponding block of $\mathbf{B}$. This generalizes $\nabla_{B,A}$. The factorization property of minimal polynomials does not extend to the $\nabla_{\mathbf{B},\mathbf{A}}$, but we describe the ideal spanned by the $\nabla_{\mathbf{B},\mathbf{A}}$ and a further ideal complementary to it. These two ideals have a "mutually annihilative" relationship, are free as $\mathbf{k}$-modules, and appear as annihilators of tensor product $S_n$-representations; they are also closely related to Murphy's cellular bases, Specht modules, pattern-avoiding permutations and even some algebras appearing in quantum information theory.
Phylogenetic network models as graphical models
The displayed tree phylogenetic network model is shown to sit as a natural submodel of the graphical model associated to a directed acyclic graph (DAG). This representation allows to derive a number of results about the displayed tree model. In particular, the concept of a local modification to a DAG model is developed and applied to the displayed tree model. As an application, some nonidentifiability issues related to the displayed tree models are highlighted as they relate to reticulation edges and stacked reticulations in the networks. We also derive rank conditions on flattenings of probability tensors for the displayed tree model, generalizing classic results for phylogenetic tree models.
Some calculations of centralizer rings of a complex reflection group
Let H1 be the complex reflection group of order 96. For the tensor products of faithful transitive permutation representations of H1, we determine the structures of the centralizer rings. This complements the work of Imamura-Kosuda-Oura.
An introduction to the symmetric group algebra
This is an introduction to the group algebras of the symmetric groups, written for a quarter-long graduate course. After recalling the definition of group algebras (and monoid algebras) in general, as well as basic properties of permutations, we introduce several families of elements in the symmetric group algebras $\mathbf{k}[S_n]$ such as the Young--Jucys--Murphy elements, the (sign-)integrals and the conjugacy class sums. Then comes a chapter on group actions and representations in general, followed by the core of this text: a study of the representations of symmetric groups (i.e., of left $\mathbf{k}[S_n]$-modules), including the classical theory of Young tableaux and Young symmetrizers. We prove in detail the main facts including the characterization of irreducible representations (in characteristic $0$), the Garnir relations, the standard basis theorem, the description of duals of Specht modules, and the hook length formula, as well as a number of less known results. Finally, we describe several bases of $\mathbf{k}[S_n]$ that arise from the study of Specht modules, including the Murphy cellular bases.
The methods used are elementary and computational. We aim to assume as little as possible of the base ring $\mathbf{k}$, and to use as little as possible from representation theory (nothing more advanced than Maschke and Jordan--Hölder).
Over 100 exercises (without solutions) are scattered through the text.
Roux schemes which carry association schemes locally
A roux scheme is an association scheme formed from a special "roux" matrix and the regular permutation representation of an associated group. They were introduced by Iverson and Mixon for their connection to equiangular tight frames and doubly transitive lines. We show how roux matrices can be produced from association schemes and characterise roux schemes for which the neighbourhood of a vertex induces an association scheme possessing the same number of relations as the thin radical. An important example arises from the $64$ equiangular lines in $\mathbb{C}^8$ constructed by Hoggar which we prove is unique (determined by its parameters up to isomorphism). We also characterise roux schemes by their eigenmatrices and provide new families of roux schemes using our construction.
On the representation number of grid graphs and cylindric grid graphs
The representation number of a graph is the minimum number of copies of each vertex required to represent the graph as a word, such that the letters corresponding to vertices $x$ and $y$ alternate if and only if $xy$ is an edge in the graph. It is known that path graphs, circle graphs, and ladder graphs have representation number 2, while prism graphs have representation number 3.
In this paper, we extend these results by showing that generalizations of the aforementioned graphs -- namely, the $m \times n$ grid graphs and $m \times n$ cylindrical grid graphs -- have representation number $3$ for $m \geq 3$ and $m \geq 2$, respectively, and $n\geq 3$. Furthermore, we discuss toroidal grid graphs in the context of word-representability, which leads to an interesting conjecture.
Local (Outer) Multiset Dimensions of Graphs
Let $G$ be a finite, connected, undirected, and simple graph and $W$ be a set of vertices in $G$. A representation multiset of a vertex $u$ in $V(G)$ with respect to $W$ is defined as the multiset of distances between $u$ and the vertices in $W$. If every two adjacent vertices in $V(G)$ have a distinct multiset representation, the set $W$ is called a local multiset resolving set of $G$. If $G$ has a local multiset resolving set, then this set with the smallest cardinality is called the local multiset basis, and its cardinality is the local multiset dimension of $G$. Otherwise, $G$ is said to have an infinite local multiset dimension.
On the other hand, if every two adjacent vertices in $V(G) \backslash W$ have a distinct representation multiset, the set $W$ is called a local outer multiset resolving set of $G$. Such a set with the smallest cardinality is called the local outer multiset basis, and its cardinality is the local outer multiset dimension of $G$. Unlike the local multiset dimension, every graph has a finite local outer multiset dimension.
This paper presents some basic properties of local (outer) multiset dimensions, including lower bounds for the dimensions and a necessary condition for a finite local multiset dimension. We also determine local (outer) multiset dimensions for some graphs of small diameter.
Representation theory for polymatroids
We develop a theory of representations of (discrete) polymatroids over tracts in terms of Plücker coordinates and suitable Plücker relations. As special cases, we recover polymatroids themselves as polymatroid representations over the Krasner hyperfield K and M-convex functions as polymatroid representations over the tropical hyperfield.
We introduce and study several useful operations for polymatroid representations, such as translation and refined notions of minors and duality which have better properties than the existing definitions; for example, deletion and contraction become dual operations (up to translation) in our setting. We also prove an idempotency principle which asserts that polymatroids which are not translates of matroids are representable only over tracts that are idempotent in a certain specific sense (in particular -1 = 1).
The space of all representations of a polymatroid J, which we call the thin Schubert cell of J, is represented by an algebraic object called {universal tract of J. When we restrict to just the 3-term Plücker relations, we obtain the weak thin Schubert cell, and passing to torus orbits yields the realization space. These are represented by the universal pasture and the foundation of J, respectively. We exhibit a canonical bijection between the universal tract and the universal pasture, which is new even in the case of matroids, and we show that the foundation of a polymatroid is generated by cross ratios. We also describe a (possibly incomplete) list of multiplicative relations between cross ratios.
Thin Schubert cells and realization spaces are canonically embedded in certain tori. Over idempotent tracts, we show that thin Schubert cells contain a canonical torus orbit and split naturally as a product of the realization space with this distinguished torus.
Pseudo-Euclidean representations of switching classes of Johnson and Hamming graphs with minimal dimension
This paper considers minimum-dimensional representations of graphs in pseudo-Euclidean spaces, where adjacency and non-adjacency relations are reflected in fixed scalar square values. A representation of a simple graph $(V,E)$ is a mapping $\varphi$ from the vertices to the pseudo-Euclidean space $\mathbb{R}^{p,q}$ such that $||\varphi(u)-\varphi(v)|| = a$ if $(u,v) \in E$, $b$ if $(u,v) \notin E$ and $u \ne v$, and $0$ if $u = v$, for some $a,b \in \mathbb{R}$, where $||\boldsymbol{x}|| = \langle\langle \boldsymbol{x}, \boldsymbol{x} \rangle\rangle = \sum_{i=1}^p x_i^2 - \sum_{j=1}^q x_{p+j}^2$ is the scalar square of $\boldsymbol{x}$ in $\mathbb{R}^{p,q}$. For a finite set $X$ in $\mathbb{R}^{p,q}$, define $A(X) = \{||\boldsymbol{x}-\boldsymbol{y}|| : \boldsymbol{x},\boldsymbol{y} \in X, \boldsymbol{x} \ne \boldsymbol{y} \}$. We call $X$ an $s$-indefinite-distance set if $|A(X)| = s$. An $s$-indefinite-distance set in $\mathbb{R}^{p,0} = \mathbb{R}^p$ is called an $s$-distance set. Graphs obtained from Seidel switching of a Johnson graph sometimes admit Euclidean or pseudo-Euclidean representations in low dimensions relative to the number of vertices. For example, Lisoněk (1997) obtained a largest 2-distance set in $\mathbb{R}^8$ and spherical 2-indefinite-distance sets in $\mathbb{R}^{p,1}$ for $p \ge 10$ from the switching classes of Johnson graphs. In this paper, we consider graphs in the switching classes of Johnson and Hamming graphs and classify those that admit representations in $\mathbb{R}^{p,q}$ with the smallest possible dimension $p+q$ among all graphs in the same class. This method recovers known results, such as the largest 2-(indefinite)-distance sets constructed by Lisoněk, and also provides a unified framework for determining the minimum dimension of representations for entire switching classes of strongly regular graphs.
Spectral Theory of Hypergraphs: A Survey
Hypergraphs require higher-dimensional representations, which makes it more difficult to compute and interpret their spectral properties. This survey article uses the framework of hypermatrices to give an in-depth overview of the spectral theory of hypergraphs. Our focus in this article relies on the theoretical aspects of hypergraphs that help to ease the computational methods. Spectral theory hypergraphs, one of the most advanced fields of study, are constantly finding novel applications in various domains such as theoretical computer science, quantum physics, and theoretical chemistry, among many others. We start our journey by introducing hypergraphs, hypermatrices (tensors), resultants, and their properties. We outline some of the results used to determine the adjacency spectrum of hypergraphs and go over some of the groundbreaking findings in the development of the theory. On passing through a list of bounds for the spectral radius of uniform hypergraphs, we will have a look into the spectral versions of Turán-type problems in hypergraphs. Finally, in addition to the Estrada index of hypergraphs, some significant results related to the characteristic polynomial and its relationship with the matching polynomial are presented.
Degenerations of families of bands and strings for gentle algebras
Let $A$ be a gentle algebra. For every collection of string and band diagrammes, we consider the constructible subset of the variety of representations containing all modules with this underlying diagramme. We study degenerations of such sets. We show that these sets are defined by vectors of integers which we call $h$-vectors and which are related to a restricted version of the hom-order. We provide combinatorial criteria for the existence of a degeneration, involving the removal of an arrow or the resolving of a type of configuration called "reaching".
Continuity of Functions on Bare Representation of Graphs under Star Topology
This paper introduces a novel topology, referred to as the star topology, on finite graphs. By treating vertices and edges as points in a unified space, we explore continuous maps between Bare representations of a graph and their properties. The key distinction lies in the fact that while every graph homomorphism induces a continuous map, the converse is not generally true due to potential loss of adjacency information.
Complex non-backtracking matrix for directed graphs
Published in Journal of Complex Networks, Volume 13, Issue 4, August 2025
• View Publication
• BIB
Graph representation matrices are essential tools in graph data analysis. Recently, Hermitian adjacency matrices have been proposed to investigate directed graph structures. Previous studies have demonstrated that these matrices can extract valuable information for clustering. In this paper, we propose the complex non-backtracking matrix that integrates the properties of the Hermitian adjacency matrix and the non-backtracking matrix. The proposed matrix has similar properties with the non-backtracking matrix of undirected graphs. We reveal relationships between the complex non-backtracking matrix and the Hermitian adjacency matrix. Also, we provide intriguing insights that this matrix representation holds cluster information, particularly for sparse directed graphs.
Flows on Gentle Algebras
The space of unit flows on a directed acyclic graph (DAG) is known to admit regular unimodular triangulations induced by framings of the DAG. Amply framed DAGs and their triangulated flow polytopes have recently been connected with the representation theory of certain gentle algebras. We expand on this connection by defining a flow on the fringed quiver of an arbitrary gentle algebra. We call the space of unit flows its turbulence polyhedron. We show that support tau-tilting modules of a gentle algebra index a unimodular triangulation of its turbulence polyhedron. In the representation-infinite case, this triangulation is not complete and we give two different larger polyhedral dissections given by adding lower-dimensional walls to the picture. The turbulence polyhedron has a quotient map to what we define as the g-polyhedron lying in the ambient space of the g-vector fan, proving that gentle algebras are g-convex. Moreover, the images of our two types of walls under this quotient map provide two different interpretations for the complement of the g-vector fan of a gentle algebra.
Order-Dependent Dissimilarity Measures on Phylogenetic Trees
Ordered leaf attachment, Phylo2Vec, and HOP are three recently introduced vector representations for rooted phylogenetic trees where the representation is determined by an ordering of the underlying leaf set X. Comparing the vectors of two rooted phylogenetic X-trees T and T' for a fixed ordering on X leads to polynomial-time computable measure for the dissimilarity of T and T', albeit dependent on the choice of the leaf ordering. For each of ordered leaf attachment, Phylo2Vec, and HOP, we compare this measure with the rooted subtree prune and regraft distance (rSPR), the hybrid number, and the temporal tree-child hybrid number of T and T'. Although there is no direct relationship between rSPR and any of the three vector-based measures, we show that, when minimized over all orderings, the hybrid number is equivalent to HOP, and an upper bound on the other two. Moreover, when minimized over all orderings induced by common cherry-picking sequences of T and T', the temporal tree-child hybrid number of T and T' is equivalent to each of the three vector-based measures.
p-Laplacians for Manifold-valued Hypergraphs
Hypergraphs extend traditional graphs by enabling the representation of N-ary relationships through higher-order edges. Akin to a common approach of deriving graph Laplacians, we define function spaces and corresponding symmetric products on the nodes and edges to derive hypergraph Laplacians. While this has been done before for Euclidean features, this work generalizes previous hypergraph Laplacian approaches to accommodate manifold-valued hypergraphs for many commonly encountered manifolds.
Constructing Optimal Kobon Triangle Arrangements via Table Encoding, SAT Solving, and Heuristic Straightening
We present new methods and results for constructing optimal Kobon triangle arrangements. First, we introduce a compact table notation for describing arrangements of pseudolines, enabling the representation and analysis of complex cases, including symmetrical arrangements, arrangements with parallel lines, and arrangements with multiple-line intersection points. Building on this, we provide a simple heuristic method and tools for recovering straight-line arrangements from a given table, with the ability to enforce additional properties such as symmetries. The tool successfully recovers arrangements for many previously known optimal solutions. Additionally, we develop a tool that transforms the search for optimal Kobon arrangement tables into a SAT problem, allowing us to leverage modern SAT solvers (specifically Kissat) to efficiently find new solutions or to show that no other solutions exist (for example, confirming that no optimal solution exists in the 11-line case). Using these techniques, we find new optimal Kobon arrangements for 23 and 27 lines, along with several other new results.
On Conservative Matrix Fields: Continuous Asymptotics and Arithmetic
Ratios of D-finite sequences and their limits -- known as Apéry limits -- have driven much of the work on irrationality proofs since Apéry's 1979 breakthrough proof of the irrationality of $ζ(3)$. We extend ratios of D-finite sequences to a high-dimensional setting by introducing the Conservative Matrix Field (CMF). We demonstrate how classical Apéry limits are included by this object as special cases. A useful construction of CMFs is provided, drawing a connection to gauge transformations and to representations of shift operators in finite dimensional modules of Ore algebras. Finally, numerical experiments on these objects reveal surprising arithmetic and dynamical phenomena, which are formulated into conjectures. If established, these conjectures would extend Poincaré--Perron asymptotics to higher dimensions, potentially opening the door to optimization-based searches for new irrationality proofs.