representation ↗ reference
4143 papers tagged with this keyword
The weak categorical quiver minor theorem and its applications: matchings, multipaths, and magnitude cohomology
Building upon previous works of Proudfoot and Ramos, and using the categorical framework of Sam and Snowden, we extend the weak categorical minor theorem from undirected graphs to quivers. As case of study, we investigate the consequences on the homology of multipath complexes; eg. on its torsion. Further, we prove a comparison result: we show that, when restricted to directed graphs without oriented cycles, multipath complexes and matching complexes yield functors which commute up to a blow-up operation on directed graphs. We use this fact to compute the homotopy type of matching complexes for a certain class of bipartite graphs also known as half-graphs or ladders. We complement the work with a study of the (representation) category of cones, and with analysing related consequences on magnitude cohomology of quivers.
$q$-deformation of Aomoto complex
Published
• View Publication
• BIB
A degree one element of the Orlik-Solomon algebra of a hyperplane arrangement defines a cochain complex known as the Aomoto complex. The Aomoto complex can be considerd as the ``linear approximation'' of the twisted cochain complex with coefficients in a complex rank one local system.
In this paper, we discuss $q$-deformations of the Aomoto complex. The $q$-deformation is defined by replacing the entries of representation matrices of the coboundary maps with their $q$-analogues. While the resulting maps do not generally define cochain complexes, for certain special basis derived from real structures, the $q$-deformation becomes again a cochain complex. Moreover, it exhibits universality in the sense that any specialization of $q$ to a complex number yields the cochain complex computing the corresponding local system cohomology group.
Stanley decompositions of modules of covariants
Published
• View Publication
• BIB
Let $H$ be a complex reductive group, with finite-dimensional representations $W$ and $U$. The module of covariants for $W$ of type $U$ is the space of all $H$-equivariant polynomial maps $\varphi: W \longrightarrow U$. In this paper, we take $H$ to be one of the classical groups $\operatorname{GL}(V)$, $\operatorname{O}(V)$, or $\operatorname{Sp}(V)$, where $W$ is a direct sum of copies of $V$ and $V^*$, and $U$ is an arbitrary rational representation (with $U$ restricted to exterior powers of $V$ in the $H= \operatorname{O}(V)$ case). Our main result gives uniform Stanley decompositions of these modules of covariants, with Stanley spaces parametrized by combinatorial objects we call jellyfish. As a corollary, we write down the Hilbert series as a finite sum of rational functions, each with a combinatorial interpretation in terms of lattice paths. Notably, these results do not rely on the module being Cohen-Macaulay. We further apply our methods to invariant rings for $\operatorname{SL}(V)$ and $\operatorname{SO}(V)$. Our proofs (for $H = \operatorname{GL}(V)$ and $\operatorname{Sp}(V)$) rely on previous work by Jackson on standard monomial theory for dual reductive pairs, since classical modules of covariants can be viewed via Howe duality as Harish-Chandra modules of unitary highest weight representations of a certain real reductive group. As a first step toward extending this program to arbitrary unitary highest weight representations (including those of the exceptional groups), we establish analogous results uniformly for the Wallach representations of type ADE.
Homology of matching complexes and representations of symmetric groups
Published
• View Publication
• BIB
We compute the homology of the matching complex $M(Γ)$, where $Γ$ is the complete hypergraph on $n\geq 2$ vertices, and analyse the $S_n$-representations carried by this homology. These results are achieved using standard techniques in combinatorial topology, such as the theory of shellings. We then broaden the scope to the larger class of fibre-closed families of simplicial complexes and consider these through the lens of representation stability. This allows us to prove a number of results of an asymptotic nature, such as an analysis of the growth of Betti numbers and the kinds of irreducible $S_n$-representations that appear.
Substitutions and Cantor real numeration systems
Published
• View Publication
• BIB
We consider Cantor real numeration system as a frame in which every non-negative real number has a positional representation. The system is defined using a bi-infinite sequence $\Beta=(β_n)_{n\in\Z}$ of real numbers greater than one. We introduce the set of $\Beta$-integers and code the sequence of gaps between consecutive $\Beta$-integers by a symbolic sequence in general over the alphabet $\N$. We show that this sequence is $S$-adic. We focus on alternate base systems, where the sequence $\Beta$ of bases is periodic and characterize alternate bases $\Beta$, in which $\Beta$-integers can be coded using a symbolic sequence $v_{\Beta}$ over a finite alphabet. With these so-called Parry alternate bases we associate some substitutions and show that $v_\Beta$ is a fixed point of their composition. The paper generalizes results of Fabre and Burdík et al.\ obtained for the Rényi numerations systems, i.e., in the case when the Cantor base $\Beta$ is a constant sequence.
Equivariant Hilbert and Ehrhart series under translative group actions
We study representations of finite groups on Stanley--Reisner rings of simplicial complexes and on lattice points in lattice polytopes. The framework of translative group actions allows us to use the theory of proper colorings of simplicial complexes without requiring an explicit coloring to be given. We prove that the equivariant Hilbert series of a Cohen--Macaulay simplicial complex under a translative group action admits a rational expression whose numerator is a positive integer combination of irreducible characters. This implies an analogous rational expression for the equivariant Ehrhart series of a lattice polytope with a unimodular triangulation that is invariant under a translative group action. As an application, we study the equivariant Ehrhart series of alcoved polytopes in the sense of Lam and Postnikov and derive explicit results in the case of order polytopes and of Lipschitz poset polytopes.
The spectra of Laplace operators on covering simplicial complexes
We give a decomposition of the Laplace operator (in matrix form) of a covering simplicial complex as a direct sum of several matrices, one of which is the Laplace operator of the base complex. It follows that the spectrum of a covering simplicial complex is a multiset union of the spectrum of the base simplicial complex and the spectra of other relevant matrices, which implies the spectral inclusion property of Horak and Jost. In the case of a $2$-fold covering, we show that the spectrum is a multiset union of the spectrum of the base complex and that of an incidence-signed simplicial complex, thereby generalizing a result of Bilu and Linial from graphs to simplicial complexes. Additionally, we show that the dimension of the cohomology of a covering complex is greater than or equal to that of the base complex. Our arguments exploit the coverings of incidence graphs of simplicial complexes and the representation theory of permutation groups.
Tamari intervals and blossoming trees
Published in Combinatorial Theory, Volume 5, Issue 1, 2025
• View Publication
• BIB
We introduce a simple bijection between Tamari intervals and the blossoming trees (Poulalhon and Schaeffer, 2006) encoding planar triangulations, using a new meandering representation of such trees. Its specializations to the families of synchronized, Kreweras, new/modern, and infinitely modern intervals give a combinatorial proof of the counting formula for each family. Compared to (Bernardi and Bonichon, 2009), our bijection behaves well with the duality of Tamari intervals, enabling also the counting of self-dual intervals.
Dimer piling problems and interacting field theory
Published
• View Publication
• BIB
The dimer tiling problem asks in how many ways can the edges of a graph be covered by dimers so that each site is covered once. In the special case of a planar graph, this problem has a solution in terms of a free fermionic field theory. We rediscover and explore an expression for the number of coverings of an arbitrary graph by arbitrary objects in terms of an interacting fermionic field theory first proposed by Samuel. Generalizations of the dimer tiling problem, which we call `dimer piling problems,' demand that each site be covered N times by indistinguishable dimers. Our field theory provides a solution of these problems in the large-N limit. We give a similar path integral representation for certain lattice coloring problems.
Some Fibonacci-Related Sequences
Published
• View Publication
• BIB
We discuss an interesting sequence defined recursively; namely, sequence A105774 from the On-Line Encyclopedia of Integer Sequences, and study some of its properties. Our main tools are Fibonacci representation, finite automata, and the Walnut theorem-prover. We also prove two new results about synchronized sequences.
A differential approach to Maxwell-Cremona liftings
In 1864, J. C. Maxwell introduced a link between self-stressed frameworks in the plane and piecewise linear liftings to 3-space. This connection has found numerous applications in areas such as discrete geometry, control theory and structural engineering. While there are some generalisations of this theory to liftings of $d$-complexes in $d$-space, extensions for liftings of frameworks in $d$-space for $d\geq 3$ have been missing. In this paper, we introduce and study differential liftings on general graphs using differential forms associated with the elements of the homotopy groups of the complements to the frameworks. Such liftings play the role of integrands for the classical notion of liftings for planar frameworks. We show that these differential liftings have a natural extension to self-stressed frameworks in higher dimensions. As a result we generalise the notion of classical liftings to both graphs and multidimensional $k$-complexes in $d$-space ($k=2,\ldots, d$). Finally we discuss a natural representation of generalised liftings as real-valued functions on Grassmannians.
Computing the $q$-Multiplicity of the Positive Roots of $\mathfrak{sl}_{r+1}(\mathbb{C})$ and Products of Fibonacci Numbers
Published
• View Publication
• BIB
Using Kostant's weight multiplicity formula, we describe and enumerate the terms contributing a nonzero value to the multiplicity of a positive root $μ$ in the adjoint representation of $\mathfrak{sl}_{r+1}(\mathbb{C})$, which we denote $L(\tildeα)$, where $\tildeα$ is the highest root of $\mathfrak{sl}_{r+1}(\mathbb{C})$. We prove that the number of terms contributing a nonzero value in the multiplicity of the positive root $μ=α_i+α_{i+1}+\cdots+α_j$ with $1\leq i\leq j\leq r$ in $L(\tildeα)$ is given by the product $F_{i}\cdot F_{r-j+1}$, where $F_n$ is the $n^{\text{th}}$ Fibonacci number. Using this result, we show that the $q$-multiplicity of the positive root $μ=α_i+α_{i+1}+\cdots+α_j$ with $1\leq i\leq j\leq r$ in the representation $L(\tildeα)$ is precisely $q^{r-h(μ)}$, where $h(μ)=j-i+1$ is the height of the positive root $μ$. Setting $q=1$ recovers the known result that the multiplicity of a positive root in the adjoint representation of $\mathfrak{sl}_{r+1}(\mathbb{C})$ is one.
On Searching for Minimal Integer Representation of Undirected Graphs
Published
• View Publication
• BIB
Minimal and efficient graph representations are key to store, communicate, and sample the search space of graphs and networks while meeting user-defined criteria. In this paper, we investigate the feasibility of gradient-free optimization heuristics based on Differential Evolution to search for minimal integer representations of undirected graphs. The class of Differential Evolution algorithms are population-based gradient-free optimization heuristics having found a relevant attention in the nonconvex and nonlinear optimization communities. Our computational experiments using eight classes of Differential Evolution schemes and graph instances with varying degrees of sparsity have shown the merit of attaining minimal numbers for graph encoding/representation rendered by exploration-oriented strategies within few function evaluations. Our results have the potential to elucidate new number-based encoding and sample-based algorithms for graph representation, network design and optimization.
On the $PGL_2(q)$-orbits of lines of $PG(3,q)$ and binary quartic forms
We study the problem of classifying the lines of the projective $3$-space $PG(3,q)$ over a finite field $GF(q)$ into orbits of the group $G=PGL(2,q)$ of linear symmetries of the twisted cubic $C$. A generic line neither intersects $C$ nor lies in any of its osculating planes. While the non-generic lines have been classified into $G$-orbits in literature, it has been an open problem to classify the generic lines into $G$-orbits. For a general field $F$ of characteristic different from $2$ and $3$, the twisted cubic determines a symplectic polarity on $\mathbb P^3$. In the Klein representation of lines of $\mathbb P^3$, the tangent lines of $C$ are represented by a degree $4$ rational normal curve in a hyperplane $\mathcal H$ of the second exterior power $\mathbb P^5$ of $\mathbb P^3$. Atiyah studied the lines of $\mathbb P^3$ with respect to $C$, in terms of the geometries of these two curves. Polar duality of lines on $\mathbb P^3$ corresponds to Hodge duality on $\mathbb P^5$, and $\mathcal H$ is the hyperplane of Hodge self-dual elements of $\mathbb P^5$. We show that $\mathcal H$ can be identified in a $PGL_2$-equivariant way with the space of binary quartic forms over $F$, and that pairs of polar dual lines of $\mathbb P^3$ correspond to binary quartic forms whose apolar invariant is a square. We first solve the open problem of classifying binary quartic forms over $GF(q)$ into $G$-orbits, and then use it to solve the main problem.
On sporadic sequences
Published in Monatshefte für Mathematik 205 (2024), no. 2, 217-234
• View Publication
• BIB
In this note, we prove the last remaining case of the original 15 two-term supercongruence conjectures for sporadic sequences. The proof utilizes a new representation for this sequence (due to Gorodetsky) as the constant term of powers of a Laurent polynomial.
A graph discretization of vector Laplace operator
Published
• View Publication
• BIB
In this paper, we study the graph-theoretic analogues of vector Laplacian (or Helmholtz operator) and vector Laplace equation. We determine the graph matrix representation of vector Laplacian and obtain the dimension of solution space of vector Laplace equation on graphs.
On the rank of the communication matrix for deterministic two-way finite automata
The communication matrix for two-way deterministic finite automata (2DFA) with $n$ states is defined for an automaton over a full alphabet of all $(2n+1)^n$ possible symbols: its rows and columns are indexed by strings, and the entry $(u, v)$ is $1$ if $uv$ is accepted by the automaton, and $0$ otherwise. With duplicate rows and columns removed, this is a square matrix of order $n(n^n-(n-1)^n)+1$, and its rank is known to be a lower bound on the number of states necessary to transform an $n$-state 2DFA to a one-way unambiguous finite automaton (UFA). This paper determines this rank, showing that it is exactly $f(n)=\sum_{k=1}^n \binom{n}{k-1} \binom{n}{k} \binom{2k-2}{k-1} =(1+o(1)) \frac{3\sqrt{3}}{8πn} 9^n$, and this function becomes the new lower bound on the state complexity of the 2DFA to UFA transformation, thus improving a recent lower bound by S. Petrov and Okhotin (``On the transformation of two-way deterministic finite automata to unambiguous finite automata'', Inf. Comput., 2023). The key element of the proof is determining the rank of a $k! \times k!$ submatrix, with its rows and columns indexed by permutations, where the entry $(π, σ)$ is $1$ if $σ\circ π$ is a cycle of length $k$, and 0 otherwise; using the methods of group representation theory it is shown that its rank is exactly $\binom{2k-2}{k-1}$, and this implies the above formula for $f(n)$.
Presentations of Schur and Specht modules in characteristic zero
Published in Journal of Pure and Applied Algebra Volume 229, Issue 1 , January 2025, 107774
• View Publication
• BIB
New presentations of Specht modules of symmetric groups over fields of characteristic zero have been obtained by Brauner, Friedmann, Hanlon, Stanley and Wachs. These involve generators that are column tabloids and relations that are Garnir relations with maximal number of exchanges between consecutive columns or symmetrization of Garnir relations with minimal number of exchanges between consecutive columns. In this paper, we examine Garnir relations and their symmetrization with any number of exchanges. In both cases, we provide sufficient arithmetic conditions so that the corresponding quotient is a Specht module. In particular, in the first case this yields new presentations of Specht modules if the parts of the conjugate partition that correspond to maximal number of exchanges greater than 1 are distinct. These results generalize the presentations mentioned above and offer an answer to a question of Friedmann, Hanlon and Wachs. Our approach is via representations of the general linear group.
Bipartite $q$-Kneser graphs and two-generated irreducible linear groups
Published
• View Publication
• BIB
Let $V:=(\mathbb{F}_q)^d$ be a $d$-dimensional vector space over the field $\mathbb{F}_q$ of order $q$. Fix positive integers $e_1,e_2$ satisfying $e_1+e_2=d$. Motivated by analysing a fundamental algorithm in computational group theory for recognising classical groups, we consider a certain quantity $P(e_1,e_2)$ which arises in both graph theory and group representation theory: $P(e_1,e_2)$ is the proportion of $3$-walks in the `bipartite $q$-Kneser graph' $Γ_{e_1,e_2}$ that are closed $3$-arcs. We prove that, for a group $G$ satisfying ${\rm SL}_d(q)\leqslant G\leqslant{\rm GL}_d(q)$, the proportion of certain element-pairs in $G$ called `$(e_1,e_2)$-stingray duos' which generate an irreducible subgroup is also equal to $P(e_1,e_2)$. We give an exact formula for $P(e_1,e_2)$, and prove that $1-q^{-1}-q^{-2}< P(e_1,e_2)< 1-q^{-1}-q^{-2}+2q^{-3}-2q^{-5}$ for $2\leqslant e_2\leqslant e_1$ and $q\geqslant2$.These bounds have implications for the complexity analysis of the state-of-the-art algorithms to recognise classical groups, which we discuss in the final section.
Tied--boxed algebras
Published
• View Publication
• BIB
We introduce two new algebras that we call \emph{tied--boxed Hecke algebra} and \emph{tied--boxed Temperley--Lieb algebra}. The first one is a subalgebra of the algebra of braids and ties introduced by Aicardi and Juyumaya, and the second one is a tied--version of the well known Temperley--Lieb algebra. We study their representation theory and give cellular bases for them. Furthermore, we explore a strong connection between the tied--boxed Temperley--Lieb algebra and the so--called partition Temperley--Lieb algebra given by Juyumaya. Also, we show that both structures inherit diagrammatic interpretations from a new class of monoids that we call \emph{boxed ramified monoids}. Additionally, we give presentations for the singular part of the ramified symmetric monoid and for the boxed ramified monoid associated to the Brauer monoid.