representation ↗ reference
4053 papers tagged with this keyword
A Short Note on Integral Transformations and Conversion Formulas for Sequence Generating Functions
Published
• View Publication
• BIB
The purpose of this note is to provide an expository introduction to some more curious integral formulas and transformations involving generating functions. We seek to generalize these results and integral representations which effectively provide a mechanism for converting between a sequence's ordinary and exponential generating function (OGF and EGF, respectively) and vice versa. The Laplace transform provides an integral formula for the EGF-to-OGF transformation, where the reverse OGF-to-EGF operation requires more careful integration techniques. We prove two variants of the OGF-to-EGF transformation integrals from the Hankel loop contour for the reciprocal gamma function and from Fourier series expansions of integral representations for the Hadamard product of two generating functions, respectively. We also suggest several generalizations of these integral formulas and provide new examples along the way.
Fair splittings by independent sets in sparse graphs
Published in Israel J. Math. 236, 603-627 (2020)
• View Publication
• BIB
Given a partition $V_1 \sqcup V_2 \sqcup \dots \sqcup V_m$ of the vertex set of a graph, we are interested in finding multiple disjoint independent sets that contain the correct fraction of vertices of each $V_j$. We give conditions for the existence of $q$ such independent sets in terms of the topology of the independence complex. We relate this question to the existence of $q$-fold points of coincidence for any continuous map from the independence complex to Euclidean space of a certain dimension, and to the existence of equivariant maps from the $q$-fold deleted join of the independence complex to a certain representation sphere of the symmetric group. As a corollary we derive the existence of $q$ pairwise disjoint independent sets accurately representing the $V_j$ in certain sparse graphs for $q$ a power of a prime.
Noncrossing Arc Diagrams, Tamari Lattices, and Parabolic Quotients of the Symmetric Group
Published in Annals of Combinatorics 25 (2020), pages 307-344
• View Publication
• BIB
Ordering permutations by containment of inversion sets yields a fascinating partial order on the symmetric group: the weak order. This partial order is, among other things, a semidistributive lattice. As a consequence, every permutation has a canonical representation as a join of other permutations. Combinatorially, these canonical join representations can be modeled in terms of arc diagrams. Moreover, these arc diagrams also serve as a model to understand quotient lattices of the weak order. A particularly well-behaved quotient lattice of the weak order is the well-known Tamari lattice, which appears in many seemingly unrelated areas of mathematics. The arc diagrams representing the members of the Tamari lattices are better known as noncrossing partitions. Recently, the Tamari lattices were generalized to parabolic quotients of the symmetric group. In this article, we undertake a structural investigation of these parabolic Tamari lattices, and explain how modified arc diagrams aid the understanding of these lattices.
Several classes of optimal Ferrers diagram rank-metric codes
Published in Linear Algebra and its Applications, 581 (2019), 128-144
• View Publication
• BIB
Four constructions for Ferrers diagram rank-metric (FDRM) codes are presented. The first one makes use of a characterization on generator matrices of a class of systematic maximum rank distance codes. By introducing restricted Gabidulin codes, the second construction is presented, which unifies many known constructions for FDRM codes. The third and fourth constructions are based on two different ways to represent elements of a finite field $\mathbb F_{q^m}$ (vector representation and matrix representation). Each of these constructions produces optimal codes with different diagrams and parameters.
Atomic decomposition of characters and crystals
Published
• View Publication
• BIB
Lascoux stated that the type A Kostka-Foulkes polynomials K_{lambda,mu}(t) expand positively in terms of so-called atomic polynomials. For any semisimple Lie algebra, the former polynomial is a t-analogue of the multiplicity of the dominant weight mu in the irreducible representation of highest weight lambda. We formulate the atomic decomposition in arbitrary type, and view it as a strengthening of the monotonicity of K_{lambda,mu}(t). We also define a combinatorial version of the atomic decomposition, as a decomposition of a modified crystal graph. We prove that this stronger version holds in type A (which provides a new, conceptual approach to Lascoux's statement), in types B, C, and D in a stable range for t=1, as well as in some other cases, while we conjecture that it holds more generally. Another conjecture stemming from our work leads to an efficient computation of K_{lambda,mu}(t). We also give a geometric interpretation.
Separations of sets
Published
• View Publication
• BIB
Abstract separation systems are a new unifying framework in which separations of graph, matroids and other combinatorial structures can be expressed and studied. We characterize the abstract separation systems that have representations as separation systems of graphs, sets, or set bipartitions.
A categorification of biclosed sets of strings
Published
• View Publication
• BIB
We consider the closure space on the set of strings of a gentle algebra of finite representation type. Palu, Pilaud, and Plamondon proved that the collection of all biclosed sets of strings forms a lattice, and moreover, that this lattice is congruence-uniform. Many interesting examples of finite congruence-uniform lattices may be represented as the lattice of torsion classes of an associative algebra. We introduce a generalization, the lattice of torsion shadows, and we prove that the lattice of biclosed sets of strings is isomorphic to a lattice of torsion shadows.
Finite congruence-uniform lattices admit an alternate partial order known as the shard intersection order. In many cases, the shard intersection order of a congruence-uniform lattice is isomorphic to a lattice of wide subcategories of an associative algebra. Analogous to torsion shadows, we introduce wide shadows, and prove that the shard intersection order of the lattice of biclosed sets is isomorphic to a lattice of wide shadows.
Tableau Correspondences and Representation Theory
Published in Contributions in Algebra and Algebraic Geometry, Contemporary Mathematics, vol. 738, pages 109-124, 2019
• View Publication
• BIB
We deduce decompositions of natural representations of general linear groups and symmetric groups from combinatorial bijections involving tableaux. These include some of Howe's dualities, Gelfand models, the Schur-Weyl decomposition of tensor space, and multiplicity-free decompositions indexed by threshold partitions.
Hamilton cycles in vertex-transitive graphs of order a product of two primes
A step forward is made in a long standing Lovász's problem regarding hamiltonicity of vertex-transitive graphs by showing that every connected vertex-transitive graph of order a product of two primes, other than the Petersen graph, contains a Hamilton cycle. Essential tools used in the proof range from classical results on existence of Hamilton cycles, such as Chvátal's theorem and Jackson's theorem, to certain results on polynomial representations of quadratic residues at primitive roots in finite fields.
Set-partition tableaux and representations of diagram algebras
Published
• View Publication
• BIB
The partition algebra is an associative algebra with a basis of set-partition diagrams and multiplication given by diagram concatenation. It contains as subalgebras a large class of diagram algebras including the Brauer, planar partition, rook monoid, rook-Brauer, Temperley-Lieb, Motzkin, planar rook monoid, and symmetric group algebras. We give a construction of the irreducible modules of these algebras in two isomorphic ways: first, as the span of symmetric diagrams on which the algebra acts by conjugation twisted with an irreducible symmetric group representation and, second, on a basis indexed by set-partition tableaux such that diagrams in the algebra act combinatorially on tableaux. The first representation is analogous to the Gelfand model and the second is a generalization of Young's natural representation of the symmetric group on standard tableaux. The methods of this paper work uniformly for the partition algebra and its diagram subalgebras. As an application, we express the characters of each of these algebras as nonnegative integer combinations of symmetric group characters whose coefficients count fixed points under conjugation.
The Planar Modular Partition Monoid
The primary contribution of this thesis is to introduce and examine the planar modular partition monoid for parameters $m, k \in \mathbb{Z}_{>0}$, which has simultaneously and independently generated interest from other researchers as outlined within.
Our collective understanding of related monoids, in particular the Jones, Brauer and partition monoids, along with the algebras they generate, has heavily influenced the direction of research by a significant number of mathematicians and physicists. Examples include Schur-Weyl type dualities in representation theory along with Potts, ice-type and Andrew-Baxter-Forrester models from statistical mechanics, giving strong motivation for the planar modular partition monoid to be examined.
The original results contained within this thesis relating to the planar modular partition monoid are: the establishment of generators; recurrence relations for the cardinality of the monoid; recurrence relations for the cardinality of Green's $\mathcal{R}$, $\mathcal{L}$ and $\mathcal{D}$ relations; and a conjecture on relations that appear to present the planar modular partition monoid when $m=2$. For diagram semigroups that are closed under vertical reflections, characterisations of Green's $\mathcal{R}$, $\mathcal{L}$ and $\mathcal{H}$ relations have previously been established using the upper and lower patterns of bipartitions. We give a characterisation of Green's $\mathcal{D}$ relation with a similar flavour for diagram semigroups that are closed under vertical reflections.
$<paragraph\ missing\ due\ to\ arXiv\ character\ limit\ on\ abstracts\ -\ see\ thesis\ file>$
A further contribution of this thesis is a reasonably comprehensive exposition of the fundamentals of diagram semigroups, which have traditionally been approached from the representation theory side and have since blossomed into a thriving area of research in their own right.
Generalized Mullineux involution and perverse equivalences
Published in Pacific J. Math. 306 (2020) 487-517
• View Publication
• BIB
We define a generalization of the Mullineux involution on multipartitions using the theory of crystals for higher level Fock spaces. Our generalized Mullineux involution turns up in representation theory via two important derived functors on cyclotomic Cherednik category $\mathcal{O}$: Losev's "$κ=0$" wall-crossing, and the Ringel duality.
On Representations of Graphs as Two-Distance Sets
Published
• View Publication
• BIB
Let a \neq b be two positive scalars. A Euclidean representation of a simple graph G in R^r is a mapping of the nodes of G into points in R^r such that the squared Euclidean distance between any two points is a if the corresponding nodes are adjacent and b otherwise. A Euclidean representation is spherical if the points lie on an (r-1)-sphere, and is J-spherical if this sphere has radius 1 and a=2 < b. Let dim_E(G), dim_S(G) and dim_J(G) denote, respectively, the smallest dimension r for which G admits a Euclidean, spherical and J-spherical representation.
In this paper, we extend and simplify the results of Roy[18] and Nozaki and shinohara[17] by deriving exact simple formulas for dim_E(G) and dim_S(G) in terms of the eigenvalues of V^TAV, where A is the adjacency matrix of G and V is the matrix whose columns form an orthonormal basis for the orthogonal complement of the vector of all 1's.
We also extend and simplify the results of Musin [16] by deriving explicit formulas for determining the J-spherical representation of G and for determining dim_J(G)in terms of the largest eigenvalue of \bar{A}, the adjacency matrix of the complement graph \bar{G}. As a byproduct, we obtain several related results and in particular we answer a question raised by Musin in [16].
Edge-transitive graphs of small order and the answer to a 1967 question by Folkman
Published
• View Publication
• BIB
In this paper, we introduce a method for finding all edge-transitive graphs of small order, using faithful representations of transitive permutation groups of small degree, and we explain how we used this method to find all edge-transitive graphs of order up to $47$, and all bipartite edge-transitive graphs of order up to $63$. We also give an answer to a 1967 question of Folkman about semi-symmetric graphs of large valency; in fact we show that for semi-symmetric graphs of order $2n$ and valency $d$, the ratio $d/n$ can be arbitrarily close to $1$.
Two first-order logics of permutations
Published
• View Publication
• BIB
We consider two orthogonal points of view on finite permutations, seen as pairs of linear orders (corresponding to the usual one line representation of permutations as words) or seen as bijections (corresponding to the algebraic point of view). For each of them, we define a corresponding first-order logical theory, that we call $\mathsf{TOTO}$ (Theory Of Two Orders) and $\mathsf{TOOB}$ (Theory Of One Bijection) respectively. We consider various expressibility questions in these theories.
Our main results go in three different direction. First, we prove that, for all $k \ge 1$, the set of $k$-stack sortable permutations in the sense of West is expressible in $\mathsf{TOTO}$, and that a logical sentence describing this set can be obtained automatically. Previously, descriptions of this set were only known for $k \le 3$. Next, we characterize permutation classes inside which it is possible to express in $\mathsf{TOTO}$ that some given points form a cycle. Lastly, we show that sets of permutations that can be described both in $\mathsf{TOOB}$ and $\mathsf{TOTO}$ are in some sense trivial. This gives a mathematical evidence that permutations-as-bijections and permutations-as-words are somewhat different objects.
Unified characterizations of minuscule Kac--Moody representations built from colored posets
Published in Electronic Journal of Combinatorics 27(2) (2020) #P2.42
• View Publication
• BIB
R.M. Green described structural properties that ``doubly infinite'' colored posets should possess so that they can be used to construct representations of most affine Kac--Moody algebras. These representations are analogs of the minuscule representations of the semisimple Lie algebras, and his posets (``full heaps'') are analogs of the finite minuscule posets. Here only simply laced Kac--Moody algebras are considered. Working with their derived subalgebras, we provide a converse to Green's theorem. Smaller collections of colored structural properties are also shown to be necessary and sufficient for such poset-built representations to be produced for smaller subalgebras, especially the ``Borel derived'' subalgebra. These developments lead to the formulation of unified definitions of finite and infinite colored minuscule and $d$-complete posets. This paper launches a program that seeks to extend the notion of ``minuscule representation'' to Kac--Moody algebras, and to classify such representations.
Magnificent Four with Colors
Published in Commun. Math. Phys. 372 (2019) 573-597
• View Publication
• BIB
We study the rank N magnificent four theory, which is the supersymmetric localization of U(N) super-Yang-Mills theory with matter (a super-group U(N|N) gauge theory) on a Calabi-Yau fourfold. Our theory contains the higher rank Donaldson-Thomas theory of threefolds. We conjecture an explicit formula for the partition function Z, and report on the performed checks. The partition function Z has a free field representation. Surprisingly, it depends on the Coulomb and mass parameters in a simple way. We also clarify the definition of the instanton measure.
Spectral bounds for non-uniform hypergraphs using weighted clique expansion
Hypergraphs are an invaluable tool to understand many hidden patterns in large data sets. Among many ways to represent hypergraph, one useful representation is that of weighted clique expansion. In this paper, we consider this representation for non-uniform hypergraphs. We generalize the spectral results for uniform hypergraphs to non-uniform hypergraphs and show that they extend in a natural way. We provide a bound on the largest eigenvalue with respect to the average degree of neighbours of a vertex in a graph. We also prove an inequality on the boundary of a vertex set in terms of the largest and second smallest eigenvalue and use it to obtain bounds on some connectivity parameters of the hypergraph.
On grounded L-graphs and their relatives
Published in Electronic Journal of Combinatorics 26(3) (2019), article P3.17
• Search Publication
We consider the graph class Grounded-L corresponding to graphs that admit an intersection representation by L-shaped curves, where additionally the topmost points of each curve are assumed to belong to a common horizontal line. We prove that Grounded-L graphs admit an equivalent characterisation in terms of vertex ordering with forbidden patterns.
We also compare this class to related intersection classes, such as the grounded segment graphs, the monotone L-graphs (a.k.a. max point-tolerance graphs), or the outer-1-string graphs. We give constructions showing that these classes are all distinct and satisfy only trivial or previously known inclusions.
On configuration spaces and Whitehouse's lifts of the Eulerian representations
Published
• View Publication
• BIB
S. Whitehouse's lifts of the Eulerian representations of $S_n$ to $S_{n+1}$ are reinterpreted, topologically and ring-theoretically, building on the first author's work on A. Ocneanu's theory of permutohedral blades.