representation ↗ reference
4053 papers tagged with this keyword
An edge-weighted hook formula for labelled trees
Published in Journal of Combinatorics, 5 (2), pp. 245-269, 2014
• Search Publication
A number of hook formulas and hook summation formulas have previously appeared, involving various classes of trees. One of these classes of trees is rooted trees with labelled vertices, in which the labels increase along every chain from the root vertex to a leaf. In this paper we give a new hook summation formula for these (unordered increasing) trees, by introducing a new set of indeterminates indexed by pairs of vertices, that we call edge weights. This new result generalizes a previous result by Féray and Goulden, that arose in the context of representations of the symmetric group via the study of Kerov's character polynomials. Our proof is by means of a combinatorial bijection that is a generalization of the Prüfer code for labelled trees.
On algebraic fusions of association schemes
We give a complete description of the irreducible representations of algebraic fusions of association schemes, in terms of the irreducible representations of a Schur cover of the corresponding group of algebraic automorphisms.
The average dual surface of a cohomology class and minimal simplicial decompositions of infinitely many lens spaces
Discrete normal surfaces are normal surfaces whose intersection with each tetrahedron of a triangulation has at most one component. They are also natural Poincaré duals to 1-cocycles with $\ZZ/2\ZZ$-coefficients. For a fixed cohomology class in a simplicial poset the average Euler characteristic of the associated discrete normal surfaces only depends on the $f$-vector of the triangulation. As an application we determine the minimum simplicial poset representations, also known as crystallizations, of lens spaces $L(2k,q),$ where $2k=qr+1.$ Higher dimensional analogs of discrete normal surfaces are closely connected to the Charney-Davis conjecture for flag spheres.
Cyclotomic quiver Hecke algebras of type A
Published
• View Publication
• BIB
This chapter is based on a series of lectures that I gave at the National University of Singapore in April 2013. The notes survey the representation theory of the cyclotomic Hecke algebras of type A with an emphasis on understanding the KLR grading and the connections between the "classical" ungraded representation theory and the rapidly emerging graded theory. They are fairly self-contained and they try to give a leisurely introduction to these algebras, with many examples and calculations that don't appear elsewhere. We make extensive use of the interactions between the ungraded and graded representation theory and try to explain what the grading gives us that we didn't have before. Combinatorics and cellular algebra techniques are used throughout, with a few results from geometry and 2-representation theory being quoted from the literature. Highlights include a complete description of the semisimple KLR algebras of type A using just the KLR relations, extensive discussion about graded Specht modules, a proof of the Ariki-Brundan-Kleshchev graded categorification theorem based on the graded branching rules, a cellular algebra approach to adjustment matrices and a (possibly optimistic) conjecture for the graded dimensions of the simple modules.
Geodesic Rosen continued fractions
Published
• View Publication
• BIB
We describe how to represent Rosen continued fractions by paths in a class of graphs that arise naturally in hyperbolic geometry. This representation gives insight into Rosen's original work about words in Hecke groups, and it also helps us to identify Rosen continued fraction expansions of shortest length.
Gibbs measures on permutations over one-dimensional discrete point sets
Published in Annals of Applied Probability 2015, Vol. 25, 898-929
• View Publication
• BIB
We consider Gibbs distributions on permutations of a locally finite infinite set $X\subset\mathbb{R}$, where a permutation $σ$ of $X$ is assigned (formal) energy $\sum_{x\in X}V(σ(x)-x)$. This is motivated by Feynman's path representation of the quantum Bose gas; the choice $X:=\mathbb{Z}$ and $V(x):=αx^2$ is of principal interest. Under suitable regularity conditions on the set $X$ and the potential $V$, we establish existence and a full classification of the infinite-volume Gibbs measures for this problem, including a result on the number of infinite cycles of typical permutations. Unlike earlier results, our conclusions are not limited to small densities and/or high temperatures.
Noncommutative determinants, Cauchy-Binet formulae, and Capelli-type identities II. Grassmann and quantum oscillator algebra representation
Published in Annales de l'Institut Henry Poincaré D Comb. Phys. Interact. 1 (2014) 1--46
• View Publication
• BIB
We prove that, for $X$, $Y$, $A$ and $B$ matrices with entries in a non-commutative ring such that $[X_{ij},Y_{k\ell}]=-A_{i\ell} B_{kj}$, satisfying suitable commutation relations (in particular, $X$ is a Manin matrix), the following identity holds: $ \mathrm{coldet} X \mathrm{coldet} Y = < 0 | \mathrm{coldet} (a A + X (I-a^{\dagger} B)^{-1} Y) |0 > $. Furthermore, if also $Y$ is a Manin matrix, $ \mathrm{coldet} X \mathrm{coldet} Y =\int \mathcal{D}(ψ, ψ^{\dagger}) \exp [ \sum_{k \geq 0} \frac{1}{k+1} (ψ^{\dagger} A ψ)^{k} (ψ^{\dagger} X B^k Y ψ) ] $. Notations: $ < 0 |$, $| 0 >$, are respectively the bra and the ket of the ground state, $a^{\dagger}$ and $a$ the creation and annihilation operators of a quantum harmonic oscillator, while $ψ^{\dagger}_i$ and $ψ_i$ are Grassmann variables in a Berezin integral. These results should be seen as a generalization of the classical Cauchy-Binet formula, in which $A$ and $B$ are null matrices, and of the non-commutative generalization, the Capelli identity, in which $A$ and $B$ are identity matrices and $[X_{ij},X_{k\ell}]=[Y_{ij},Y_{k\ell}]=0$.
Vertices of Spectrahedra arising from the Elliptope, the Theta Body, and Their Relatives
Published
• View Publication
• BIB
Utilizing dual descriptions of the normal cone of convex optimization problems in conic form, we characterize the vertices of semidefinite representations arising from Lovász theta body, generalizations of the elliptope, and related convex sets. Our results generalize vertex characterizations due to Laurent and Poljak from the 1990's. Our approach also leads us to nice characterizations of strict complementarity and to connections with some of the related literature.
Almost Commutative Probability Theory
We solve two longstanding major problems in Free Probability. This is achieved by generalising the theory to one with values in arbitrary commutative algebras. We prove the existence of the multi-variable $S$-transform, and show that it is naturally realised as a faithful linear representation. Further, we prove that in dimension one, the analog of the classical relation between addition and multiplication of independent random variables holds for free random variables, if the co-domain is an algebra over the rationals. In this case the multiplicative problem can be reduced to the additive one, which is not true in dimensions greater than one. Finally, we classify the groups which arise as joint distributions of $n$-tuples of non-commutative random variables, endowed with the free convolution product, which is the binary operation that encodes the multiplication of free $n$-tuples.
Convexity in partial cubes: the hull number
Published
• View Publication
• BIB
We prove that the combinatorial optimization problem of determining the hull number of a partial cube is NP-complete. This makes partial cubes the minimal graph class for which NP-completeness of this problem is known and improves some earlier results in the literature.
On the other hand we provide a polynomial-time algorithm to determine the hull number of planar partial cube quadrangulations.
Instances of the hull number problem for partial cubes described include poset dimension and hitting sets for interiors of curves in the plane.
To obtain the above results, we investigate convexity in partial cubes and characterize these graphs in terms of their lattice of convex subgraphs, improving a theorem of Handa. Furthermore we provide a topological representation theorem for planar partial cubes, generalizing a result of Fukuda and Handa about rank three oriented matroids.
Abelian complexity function of the Tribonacci word
Published in J. Integer Seq. 18 (2015), Article 15.3.4
• Search Publication
According to a result of Richomme, Saari and Zamboni, the abelian complexity of the Tribonacci word satisfies $ρ^{\mathrm{ab}}(n)\in\{3,4,5,6,7\}$ for each $n\in\mathbb{N}$. In this paper we derive an automaton that evaluates the function $ρ^{\mathrm{ab}}(n)$ explicitly. The automaton takes the Tribonacci representation of $n$ as its input; therefore, $(ρ^{\mathrm{ab}}(n))_{n\in\mathbb{N}}$ is an automatic sequence in a generalized sense. Since our evaluation of $ρ^{\mathrm{ab}}(n)$ uses $\mathcal{O}(\log n)$ operations, it is fast even for large values of $n$. Our result also leads to a solution of an open problem proposed by Richomme et al. concerning the characterization of those $n$ for which $ρ^{\mathrm{ab}}(n)=c$ with $c$ belonging to $\{4,5,6,7\}$. In addition, we apply the same approach on the $4$-bonacci word. In this way we find a description of the abelian complexity of the $4$-bonacci word, too.
Lie elements in the group algebra
Given a representation V of a group G, there are two natural ways of defining a representation of the group algebra k[G] in the external power V^{\wedge m}. The set L(V) of elements of k[G] for which these two ways give the same result is a Lie algebra and a representation of G. For the case when G is a symmetric group and V = C^n, a permutation representation, these spaces L(C^n) are naturally embedded into one another. We describe L(C^n) for small n and formulate some questions and conjectures.
This is a note on research in progress.
FI_W-modules and stability criteria for representations of the classical Weyl groups
Published in Journal of Algebra, Volume 420, 15 December 2014, Pages 269-332
• View Publication
• BIB
In this paper we develop machinery for studying sequences of representations of any of the three families of classical Weyl groups, extending work of Church, Ellenberg, Farb, and Nagpal on the symmetric groups S_n to the signed permutation groups B_n and the even-signed permutation groups D_n. For each family W_n, we present an algebraic framework where a sequence V_n of W_n-representations is encoded into a single object we call an FI_W-module. We prove that if an FI_W-module V satisfies a simple finite generation condition then the structure of the sequence is highly constrained. One consequence is that the sequence is uniformly representation stable in the sense of Church-Farb, that is, the pattern of irreducible representations in the decomposition of each V_n eventually stabilizes in a precise sense. Using the theory developed here we obtain new results about the cohomology of generalized flag varieties associated to the classical Weyl groups, and more generally the r-diagonal coinvariant algebras.
We analyze the algebraic structure of the category of FI_W-modules, and introduce restriction and induction operations that enable us to study interactions between the three families of groups. We use this theory to prove analogues of Murnaghan's 1938 stability theorem for Kronecker coefficients for the families B_n and D_n. The theory of FI_W-modules gives a conceptual framework for stability results such as these.
Infinite graphic matroids Part I
Published
• View Publication
• BIB
An infinite matroid is graphic if all of its finite minors are graphic and the intersection of any circuit with any cocircuit is finite. We show that a matroid is graphic if and only if it can be represented by a graph-like topological space: that is, a graph-like space in the sense of Thomassen and Vella. This extends Tutte's characterization of finite graphic matroids.
The representation we construct has many pleasant topological properties. Working in the representing space, we prove that any circuit in a 3-connected graphic matroid is countable.
Centralizers of the infinite symmetric group
Published
• View Publication
• BIB
We review and introduce several approaches to the study of centralizer algebras of the infinite symmetric group $S_\infty$. Our study is led by the double commutant relationships between finite symmetric groups and partition algebras; each approach produces a centralizer algebra that is contained in a partition algebra. Our goal is to incorporate invariants of $S_\infty$, which ties our work to the study of symmetric functions in non-commuting variables. We resultantly explore sequence spaces as permutation modules, which yields families of non-unitary representations of $S_\infty$.
Extending Partial Representations of Circle Graphs
Published
• View Publication
• BIB
The partial representation extension problem is a recently introduced generalization of the recognition problem. A circle graph is an intersection graph of chords of a circle. We study the partial representation extension problem for circle graphs, where the input consists of a graph $G$ and a partial representation $\cal R'$ giving some pre-drawn chords that represent an induced subgraph of $G$. The question is whether one can extend $\cal R'$ to a representation $\cal R$ of the entire graph $G$, i.e., whether one can draw the remaining chords into a partially pre-drawn representation to obtain a representation of $G$. Our main result is an $O(n^3)$ time algorithm for partial representation extension of circle graphs, where $n$ is the number of vertices. To show this, we describe the structure of all representations of a circle graph using split decomposition. This can be of independent interest.
Enumeration of the adjunctive hierarchy of hereditarily finite sets
Published
• View Publication
• BIB
Hereditarily finite sets (sets which are finite and have only hereditarily finite sets as members) are basic mathematical and computational objects, and also stand at the basis of some programming languages. This raises the need for efficient representation of such sets, for example by numbers. In 2008, Kirby proposed an adjunctive hierarchy of hereditarily finite sets, based on the fact that they can also be seen as built up from the empty set by repeated adjunction, that is, by the addition of a new single element drawn from the already existing sets to an already existing set. Determining the cardinality $a_n$ of each level of this hierarchy, problem crucial in establishing whether the natural adjunctive hierarchy leads to an efficient encoding by numbers, was left open.
In this paper we solve this problem. Our results can be generalized to hereditarily finite sets with atoms, or can be further refined by imposing restrictions on rank, on cardinality, or on the maximum level from where the new adjoined element can be drawn. We also show that $a_n$ satisfies the asymptotic formula $a_n = C^{2^n} + O(C^{2^{n-1}})$, for a constant $C \approx 1.3399$, which is a too fast asymptotic growth for practical purposes. We thus propose a very natural variant of the adjunctive hierarchy, whose asymptotic behavior we prove to be $Θ(2^n)$. To our knowledge, this is the first result of this kind.
Bounded Representations of Interval and Proper Interval Graphs
Published
• View Publication
• BIB
Klavik et al. [arXiv:1207.6960] recently introduced a generalization of recognition called the bounded representation problem which we study for the classes of interval and proper interval graphs. The input gives a graph G and in addition for each vertex v two intervals L_v and R_v called bounds. We ask whether there exists a bounded representation in which each interval I_v has its left endpoint in L_v and its right endpoint in R_v. We show that the problem can be solved in linear time for interval graphs and in quadratic time for proper interval graphs.
Robert's Theorem states that the classes of proper interval graphs and unit interval graphs are equal. Surprisingly the bounded representation problem is polynomially solvable for proper interval graphs and NP-complete for unit interval graphs [Klavík et al., arxiv:1207.6960]. So unless P = NP, the proper and unit interval representations behave very differently.
The bounded representation problem belongs to a wider class of restricted representation problems. These problems are generalizations of the well-understood recognition problem, and they ask whether there exists a representation of G satisfying some additional constraints. The bounded representation problems generalize many of these problems.
Computing the metric dimension of a graph from primary subgraphs
Published
• View Publication
• BIB
Let $G$ be a connected graph. Given an ordered set $W = \{w_1, w_2,\dots w_k\}\subseteq V(G)$ and a vertex $u\in V(G)$, the representation of $u$ with respect to $W$ is the ordered $k$-tuple $(d(u,w_1), d(u,w_2),\dots,$ $d(u,w_k))$, where $d(u,w_i)$ denotes the distance between $u$ and $w_i$. The set $W$ is a metric generator for $G$ if every two different vertices of $G$ have distinct representations. A minimum cardinality metric generator is called a \emph{metric basis} of $G$ and its cardinality is called the \emph{metric dimension} of G. It is well known that the problem of finding the metric dimension of a graph is NP-Hard. In this paper we obtain closed formulae for the metric dimension of graphs with cut vertices. The main results are applied to specific constructions including rooted product graphs, corona product graphs, block graphs and chains of graphs.
Set Representations of Linegraphs
Let $G$ be a graph with vertex set $V(G)$ and edge set $E(G)$. A family $\mathcal{S}$ of nonempty sets $\{S_1,\ldots,S_n\}$ is a set representation of $G$ if there exists a one-to-one correspondence between the vertices $v_1, \ldots, v_n$ in $V(G)$ and the sets in $\mathcal{S}$ such that $v_iv_j \in E(G)$ if and only if $S_i\cap S_j\neq \es$. A set representation $\mathcal{S}$ is a distinct (respectively, antichain, uniform and simple) set representation if any two sets $S_i$ and $S_j$ in $\mathcal{S}$ have the property $S_i\neq S_j$ (respectively, $S_i\nsubseteq S_j$, $|S_i|=|S_j|$ and $|S_i\cap S_j|\leqslant 1$). Let $U(\mathcal{S})=\bigcup_{i=1}^n S_i$. Two set representations $\mathcal{S}$ and $\mathcal{S}'$ are isomorphic if $\mathcal{S}'$ can be obtained from $\mathcal{S}$ by a bijection from $U(\mathcal{S})$ to $U(\mathcal{S}')$. Let $F$ denote a class of set representations of a graph $G$. The type of $F$ is the number of equivalence classes under the isomorphism relation. In this paper, we investigate types of set representations for linegraphs. We determine the types for the following categories of set representations: simple-distinct, simple-antichain, simple-uniform and simple-distinct-uniform.