representation ↗ reference
4143 papers tagged with this keyword
An Erdős--Fuchs Theorem for Ordered Representation Functions
Published
• View Publication
• BIB
Let $k\geq 2$ be a positive integer. We study concentration results for the ordered representation functions $r^{\leq}_k(A,n) = \# \big\{ (a_1 \leq \dots \leq a_k) \in A^k : a_1+\dots+a_k = n \big\}$ and $r^{<}_k(A,n) = \# \big\{ (a_1 < \dots < a_k) \in A^k : a_1+\dots+a_k = n \big\}$ for any infinite set of non-negative integers $A$. Our main theorem is an Erdős--Fuchs-type result for both functions: for any $c > 0$ and $\star \in \{\leq,<\}$ we show that $$\sum_{j = 0}^{n} \Big( r^{\star}_k(A,j) - c \Big) = o\big(n^{1/4} \log^{-1/2}n \big)$$ is not possible. We also show that the mean squared error $$E^\star_{k,c}(A,n)=\frac{1}{n} \sum_{j = 0}^{n} \Big( r^{\star}_k(A,j) - c \Big)^2$$ satisfies $\limsup_{n \to \infty} E^\star_{k,c}(A,n)>0$. These results extend two theorems for the non-ordered representation function proved by Erdős and Fuchs in the case of $k=2$ (J. of the London Math. Society 1956).
Newton-Okounkov bodies for categories of modules over quiver Hecke algebras
Published
• View Publication
• BIB
We show that for a finite-type Lie algebra $\mathfrak{g}$, the representation theory of quiver Hecke algebras provides a natural framework for the construction of Newton-Okounkov bodies associated to the quantum coordinate rings $\Aqnw$. When $\mathfrak{g}$ is simply-laced, we use Kang-Kashiwara-Kim-Oh's monoidal categorification to investigate the cluster theory of these bodies. In particular, our construction yields a simplex $\ds$ for every seed $\s$ of $\Aqnw$.
We exhibit various properties of these simplices by characterizing their rational points, normal fans, and volumes. As an application, we prove an equality of rational functions relating Nakada's hook formula with the root partitions associated to cluster variables, suggesting further connections between cluster theory and the combinatorics of fully-commutative elements of Weyl groups.
The Sitting Closer to Friends than Enemies Problem in Trees
A metric space $\mathcal{T}$ is a \emph{real tree} if for any pair of points $x, y \in \mathcal{T}$ all topological embeddings $σ$ of the segment $[0,1]$ into $\mathcal{T}$, such that $σ(0)=x$ and $σ(1)=y$, have the same image (which is then a geodesic segment from $x$ to $y$). A \emph{signed graph} is a graph where each edge has a positive or negative sign. The \emph{Sitting Closer to Friends than Enemies} problem in trees has a signed graph $S$ as an input. The purpose is to determine if there exists an injective mapping (called \emph{valid distance drawing}) from $V(S)$ to the points of a real tree such that, for every $u \in V(S)$, for every positive neighbor $v$ of $u$, and negative neighbor $w$ of $u$, the distance between $v$ and $u$ is smaller than the distance between $w$ and $u$.
In this work, we show that a complete signed graph has a valid distance drawing in a real tree if and only if its subgraph composed of all (and only) its positive edges has an intersection representation by unit balls in a real tree. Besides, as an instrumental result, we show that a graph has an intersection representation by unit balls in a real tree if and only if it has an intersection representation by proper balls, and if and only if it has an intersection representation by arbitrary balls in a real tree.
On some sequences of polynomials generating the Genocchi numbers
Published
• View Publication
• BIB
Sequences of Genocchi numbers of the first and second kind are considered. For these numbers, an approach based on their representation using sequences of polynomials is developed. Based on this approach, for these numbers some identities generalizing the known identities are constructed.
Dynamical Combinatorics and Torsion Classes
Published
• View Publication
• BIB
For finite semidistributive lattices the map $κ$ gives a bijection between the sets of completely join-irreducible elements and completely meet-irreducible elements.
Here we study the $κ$-map in the context of torsion classes. It is well-known that the lattice of torsion classes for an artin algebra is semidistributive, but in general it is far from finite. We show the $κ$-map is well-defined on the set of completely join-irreducible elements, even when the lattice of torsion classes is infinite. We then extend $κ$ to a map on torsion classes which have canonical join representations given by the special torsion classes associated to the minimal extending modules introduced by the first and third authors and A. Carroll.
For hereditary algebras, we show that the extended $κ$-map on torsion classes is essentially the same as Ringel's $ε$-map on wide subcategories. Also in hereditary case, we relate the square of $κ$ to the Auslander-Reiten translation.
Tropical $F$-polynomials and General Presentations
Published
• View Publication
• BIB
We introduce the tropical $F$-polynomial $f_M$ of a quiver representation $M$. We study its interplay with the general presentation for any finite-dimensional basic algebra. We give an interpretation of evaluating $f_M$ at a weight vector. As a consequence, we give a presentation of the Newton polytope ${\sf N}(M)$ of $M$. We study the dual fan and 1-skeleton of ${\sf N}(M)$. We propose an algorithm to determine the generic Newton polytopes, and show it works for path algebras. As an application, we give a representation-theoretic interpretation of Fock-Goncharov's duality pairing. We give an explicit construction of dual clusters, which consists of real Schur representations. We specialize the above general results to the cluster-finite algebras and the preprojective algebras of Dynkin type.
Irreducible representations of the symmetric groups from slash homologies of p-complexes
Published
• View Publication
• BIB
In the 40s, Mayer introduced a construction of (simplicial) $p$-complex by using the unsigned boundary map and taking coefficients of chains modulo $p$. We look at such a $p$-complex associated to an $(n-1)$-simplex; in which case, this is also a $p$-complex of representations of the symmetric group of rank $n$ - specifically, of permutation modules associated to two-row compositions. In this article, we calculate the so-called slash homology - a homology theory introduced by Khovanov and Qi - of such a $p$-complex. We show that every non-trivial slash homology group appears as an irreducible representation associated to two-row partitions, and how this calculation leads to a basis of these irreducible representations given by the so-called $p$-standard tableaux.
The Chromatic Polynomial of a Digraph
Published in Graphs and Combinatorial Optimization: from Theory to Applications, CTW2020 Proceedings, 2021, pp. 1-14
• Search Publication
An acyclic coloring of a digraph as defined by Neumann-Lara is a vertex-coloring such that no monochromatic directed cycles occur. Counting the number of such colorings with $k$ colors can be done by counting so-called Neumann-Lara-coflows (NL-coflows), which build a polynomial in $k$. We will present a representation of this polynomial using totally cyclic subdigraphs, which form a graded poset $Q$. Furthermore we will decompose our NL-coflow polynomial, which becomes the chromatic polynomial of a digraph by multiplication with the number of colors to the number of components, examining the special structure of the poset of totally cyclic subdigraphs with fixed underlying undirected graph. This decomposition will confirm the equality of our chromatic polynomial of a digraph and the chromatic polynomial of the underlying undirected graph in the case of symmetric digraphs.
Positive semigroups and generalized Frobenius numbers over totally real number fields
Published
• View Publication
• BIB
Frobenius problem and its many generalizations have been extensively studied in several areas of mathematics. We study semigroups of totally positive algebraic integers in totally real number fields, defining analogues of the Frobenius numbers in this context. We use a geometric framework recently introduced by Aliev, De Loera and Louveaux to produce upper bounds on these Frobenius numbers in terms of a certain height function. We discuss some properties of this function, relating it to absolute Weil height and obtaining a lower bound in the spirit of Lehmer's conjecture for algebraic vectors satisfying some special conditions. We also use a result of Borosh and Treybig to obtain bounds on the size of representations and number of elements of bounded height in such positive semigroups of totally real algebraic integers.
Asymptotic Freeness of Unitary Matrices in Tensor Product Spaces for Invariant States
Published in Random Matrices: Theory and Applications (2023) 12, no. 02: 2250052
• View Publication
• BIB
In this paper, we pursue our study of asymptotic properties of families of random matrices that have a tensor structure. In previous work, the first- and second-named authors provided conditions under which tensor products of unitary random matrices are asymptotically free with respect to the normalized trace. Here, we extend this result by proving that asymptotic freeness of tensor products of Haar unitary matrices holds with respect to a significantly larger class of states. Our result relies on invariance under the symmetric group, and therefore on traffic probability.
As a byproduct, we explore two additional generalisations: (i) we state results of freeness in a context of general sequences of representations of the unitary group -- the fundamental representation being a particular case that corresponds to the classical asymptotic freeness result for Haar unitary matrices, and (ii) we consider actions of the symmetric group and the free group simultaneously and obtain a result of asymptotic freeness in this context as well.
Graph Universal Cycles of Combinatorial Objects
Published
• View Publication
• BIB
A connected digraph in which the in-degree of any vertex equals its out-degree is Eulerian; this baseline result is used as the basis of existence proofs for universal cycles (also known as ucycles or generalized deBruijn cycles or U-cycles) of several combinatorial objects. The existence of ucycles is often dependent on the specific representation that we use for the combinatorial objects. For example, should we represent the subset $\{2,5\}$ of $\{1,2,3,4,5\}$ as "25" in a linear string? Is the representation "52" acceptable? Or it it tactically advantageous (and acceptable) to go with $\{0,1,0,0,1\}$? In this paper, we represent combinatorial objects as graphs, as in \cite{bks}, and exhibit the flexibility and power of this representation to produce {\it graph universal cycles}, or {\it Gucycles}, for $k$-subsets of an $n$-set; permutations (and classes of permutations) of $[n]=\{1,2,\ldots,n\}$, and partitions of an $n$-set, thus revisiting the classes first studied in \cite{cdg}. Under this graphical scheme, we will represent $\{2,5\}$ as the subgraph $A$ of $C_5$ with edge set consisting of $\{2,3\}$ and $\{5,1\}$, namely the "second" and "fifth" edges in $C_5$. Permutations are represented via their permutation graphs, and set partitions through disjoint unions of complete graphs.
On self-Mullineux and self-conjugate partitions
Published
• View Publication
• BIB
The Mullineux involution is a relevant map that appears in the study of the modular representations of the symmetric group and the alternating group. The fixed points of this map are certain partitions of particular interest. It is known that the cardinality of the set of these self-Mullineux partitions is equal to the cardinality of a distinguished subset of self-conjugate partitions. In this work, we give an explicit bijection between the two families of partitions in terms of the Mullineux symbol.
Factorization length distribution for affine semigroups II: asymptotic behavior for numerical semigroups with arbitrarily many generators
Published in J. Combin. Theory Ser. A, 178 (2021), 105358
• View Publication
• BIB
For numerical semigroups with a specified list of (not necessarily minimal) generators, we obtain explicit asymptotic expressions, and in some cases quasipolynomial/quasirational representations, for all major factorization length statistics. This involves a variety of tools that are not standard in the subject, such as algebraic combinatorics (Schur polynomials), probability theory (weak convergence of measures, characteristic functions), and harmonic analysis (Fourier transforms of distributions). We provide instructive examples which demonstrate the power and generality of our techniques. We also highlight unexpected consequences in the theory of homogeneous symmetric functions.
The size of $t$-cores and hook lengths of random cells in random partitions
Published in Annals of Applied Probability (2023), Vol. 33, No. 1, 85-106
• View Publication
• BIB
Fix $t \geq 2$. We first give an asymptotic formula for certain sums of the number of $t$-cores. We then use this result to compute the distribution of the size of the $t$-core of a uniformly random partition of an integer $n$. We show that this converges weakly to a gamma distribution after dividing by $\sqrt{n}$. As a consequence, we find that the size of the $t$-core is of the order of $\sqrt{n}$ in expectation. We then apply this result to show that the probability that $t$ divides the hook length of a uniformly random cell in a uniformly random partition equals $1/t$ in the limit. Finally, we extend this result to all modulo classes of $t$ using abacus representations for cores and quotients.
A generating function approach to new representation stability phenomena in orbit configuration spaces
Published
• View Publication
• BIB
As countless examples show, it can be fruitful to study a sequence of complicated objects all at once via the formalism of generating functions. We apply this point of view to the homology and combinatorics of orbit configuration spaces: using the notion of twisted commutative algebras, which essentially categorify exponential generating functions. This idea allows for a factorization of the orbit configuration space "generating function" into an infinite product, whose terms are surprisingly easy to understand. Beyond the intrinsic aesthetic of this decomposition and its quantitative consequences, it reveals a sequence of primary, secondary, and higher representation stability phenomena. Based on this, we give a simple geometric technique for identifying new stabilization actions with finiteness properties, which we use to unify and generalize known stability results. As a first new application of our methods, we establish secondary and higher stability for configuration spaces on $i$-acyclic spaces. For another application, we describe a natural filtration by which one observes a filtered representation stability phenomenon in configuration spaces on graphs.
Improved bounds on the size of the smallest representation of relation algebra $32_{65}$
Published
• View Publication
• BIB
In this paper, we shed new light on the spectrum of the relation algebra we call $A_{n}$, which is obtained by splitting the non-flexible diversity atom of $6_{7}$ into $n$ symmetric atoms. Precisely, we show that the minimum value in $\text{Spec}(A_{n})$ is at most $2n^{6 + o(1)}$, which is the first polynomial bound and improves upon the previous bound due to Dodd \& Hirsch (\textit{J. Relational Methods in Computer Science} 2013). We also improve the lower bound to $2n^{2} + 4n + 1$, which is asymptotically double the trivial bound of $n^{2} + 2n + 3$.
In the process, we obtain stronger results regarding $\text{Spec}(A_{2}) =\text{Spec}(32_{65})$. Namely, we show that $1024$ is in the spectrum, and no number smaller than 26 is in the spectrum. Our improved lower bounds were obtained by employing a SAT solver, which suggests that such tools may be more generally useful in obtaining representation results.
Connectivity for quantum graphs
In quantum information theory there is a construction for quantum channels, appropriately called a quantum graph, that generalizes the confusability graph construction for classical channels in classical information theory. In this paper, we provide a definition of connectedness for quantum graphs that generalizes the classical definition. This is used to prove a quantum version of a particular case of the classical tree-packing theorem from graph theory. Generalizations for the related notions of $k$-connectedness and of orthogonal representation are also proposed for quantum graphs, and it is shown that orthogonal representations have the same implications for connectedness as they do in the classical case.
Whittaker functions from motivic Chern classes
Published
• View Publication
• BIB
We prove a `motivic' analogue of the Weyl character formula, computing the Euler characteristic of a line bundle on a generalized flag manifold $G/B$ multiplied either by a motivic Chern class of a Schubert cell, or a Segre analogue of it. The result, given in terms of Demazure-Lusztig (D-L) operators, recovers formulas found by Brubaker, Bump and Licata for the Iwahori-Whittaker functions of the principal series representation of a $p$-adic group. In particular, we obtain a new proof of the classical Casselman-Shalika formula for the spherical Whittaker function. The proofs are based on localization in equivariant K theory, and require a geometric interpretation of how the Hecke dual (or inverse) of a D-L operator acts on the class of a point. We prove that the Hecke dual operators give Grothendieck-Serre dual classes of the motivic classes, a result which might be of independent interest. In an Appendix joint with Dave Anderson we show that if the line bundle is trivial, we recover a generalization of a classical formula by Kostant, Macdonald, Shapiro and Steinberg for the Poincar{é} polynomial of $G/B$; the generalization we consider is due to Akyıldız and Carrell and replaces $G/B$ by any smooth Schubert variety.
Geometric realizations of regular abstract polyhedra with automorphism group $H_3$
Published
• View Publication
• BIB
A \textit{geometric realization} of an abstract polyhedron $\mathcal{P}$ is a mapping $ρ: \mathcal{P} \to \mathbb{E}^3$ that sends an $i$-face to an open set of dimension $i$. This work adapts a method based on Wythoff construction to generate a full rank realization of a regular abstract polyhedron from its automorphism group $Γ$. The method entails finding a real orthogonal representation of $Γ$ of degree 3 and applying its image to suitably chosen open sets in space. To demonstrate the use of the method, we apply it to the abstract polyhedra whose automorphism groups are isomorphic to the non-crystallographic Coxeter group $H_3$.
The $0$-Rook Monoid and its Representation Theory
We show that a proper degeneracy at $q=0$ of the $q$-deformed rook monoid of Solomon is the algebra of a monoid $R_n^0$ namely the $0$-rook monoid, in the same vein as Norton's $0$-Hecke algebra being the algebra of a monoid $H_n^0 = H^0(A_{n-1})$ (in Cartan type~$A_{n-1}$). As expected, $R_n^0$ is closely related to the latter: it contains the $H^0(A_{n-1})$ monoid and is a quotient of $H^0(B_{n})$. We give a presentation for this monoid as well as a combinatorial realization as functions acting on the classical rook monoid itself. On the way we get a Matsumoto theorem for the rook monoid a result which was conjectured by Solomon.
The $0$-rook monoid shares many combinatorial properties with the Hecke monoid: its Green right preorder is an actual order, and moreover a lattice (analogous to the right weak order) which has some nice combinatorial, and geometrical features. In particular the $0$-rook monoid is J-trivial.
Following Denton-Hivert-Schilling-Thiéry, it allows us to describe its representation theory including the description of the simple and projective modules. We further show that $R_n^0$ is projective on $H_n^0$ and make explicit the restriction and induction functors along the inclusion map. We finally give a (partial) associative tower structures on the family of $(R_n^0)$ and we discuss its representation theory.