representation ↗ reference
4143 papers tagged with this keyword
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.
Artin Groups and Iwahori-Hecke algebras over finite fields
In this doctoral thesis, we will determine the image of Artin groups associated to all finite irreducible Coxeter groups inside their associated finite Iwahori-Hecke algebra. This was done in type $A$ by Brunat, Magaard and Marin. The Zariski closure of the image was determined in the generic case by Marin. It is suggested by strong approximation that the results should be similar in the finite case. However, the conditions required to use are much too strong and would only provide a portion of the results. We show in this thesis that they are but that new phenomena arise from the different field factorizations. The techniques used in the finite case are very different from the ones in the generic case. The main arguments come from finite group theory. In high dimension, we will use a theorem by Guralnick-Saxl which uses the classification of finite simple groups to give a condition for subgroups of linear groups to be classical groups in a natural representation. In low dimension, we will mainly use the classification of maximal subgroups of classical groups determined by Bray, Holt and Roney-Dougal for the complicated cases.
We find some new $W$-graphs in types $H_4$, $E_6$ and $E_8$ which provide different information from the usual ones. They are all associated in a natural way to a bilinear form which is very complicated to obtain in the previous models. In this model, the bilinear form is obtained using only the two-colorability and its matrix in a well chosen basis is anti-diagonal. The uniqueness properties can probably be extended in a more general setting and understanding which setting this is may be worth considering.
Description of closure operators in convex geometries of segments on a line
Published
• View Publication
• BIB
Convex geometry is a closure space $(G,φ)$ with the anti-exchange property. A classical result of Edelman and Jamison (1985) claims that every finite convex geometry is a join of several linear sub-geometries, and the smallest number of such sub-geometries necessary for representation is called the convex dimension. In our work we find necessary and sufficient conditions on a closure operator $φ$ of convex geometry $(G,φ)$ so that its convex dimension equals 2, equivalently, they are represented by segments on a line. These conditions can be checked in polynomial time in two parameters: the size of the base set $|G|$ and the size of the implicational basis of $(G,φ)$.
A formula for the cohomology and $K$-class of a regular Hessenberg variety
Published in J. Pure Appl. Algebra 224 (2020) Article 106230
• View Publication
• BIB
Hessenberg varieties are subvarieties of the flag variety parametrized by a linear operator $X$ and a nondecreasing function $h$. The family of Hessenberg varieties for regular $X$ is particularly important: they are used in quantum cohomology, in combinatorial and geometric representation theory, in Schubert calculus and affine Schubert calculus. We show that the classes of a regular Hessenberg variety in the cohomology and $K$-theory of the flag variety are given by making certain substitutions in the Schubert polynomial (respectively Grothendieck polynomial) for a permutation that depends only on $h$. Our formula and our methods are different from a recent result of Abe, Fujita, and Zeng that gives the class of a regular Hessenberg variety with more restrictions on $h$ than here.
Enumerations of bargraphs with respect to corner statistics
Published in Applicable Analysis and Discrete Mathematics, 14, 221-238, 2020
• View Publication
• BIB
We study the enumeration of bargraphs with respect to some corner statistics. We find generating functions for the number of bargraphs that tracks the corner statistics of interest, the number of cells, and the number of columns. The bargraph representation of set partitions is also considered and some explicit formulas are obtained for the number of some specific types of corners in such representations.
Solving computational problems in the theory of word-representable graphs
Published in Journal of Integer Sequences, Vol. 22 (2019), Article 19.2.5
• Search Publication
A simple graph $G=(V,E)$ is word-representable if there exists a word $w$ over the alphabet $V$ such that letters $x$ and $y$ alternate in $w$ iff $xy\in E$. Word-representable graphs generalize several important classes of graphs. A graph is word-representable iff it admits a semi-transitive orientation. We use semi-transitive orientations to enumerate connected non-word-representable graphs up to the size of 11 vertices, which led to a correction of a published result. Obtaining the enumeration results took 3 CPU years of computation.
Also, a graph is word-representable iff it is $k$-representable for some $k$, that is, if it can be represented using $k$ copies of each letter. The minimum such $k$ for a given graph is called graph's representation number. Our computational results in this paper not only include distribution of $k$-representable graphs on at most 9 vertices, but also have relevance to a known conjecture on these graphs. In particular, we find a new graph on 9 vertices with high representation number.
Finally, we introduce the notion of a $k$-semi-transitive orientation refining the notion of a semi-transitive orientation, and show computationally that the refinement is not equivalent to the original definition unlike the equivalence of $k$-representability and word-representability.
Esthetic Numbers and Lifting Restrictions on the Analysis of Summatory Functions of Regular Sequences
Published in Proceedings of the Sixteenth Workshop on Analytic Algorithmics and Combinatorics (ANALCO), SIAM, 2019, pp. 27-35
• View Publication
• BIB
When asymptotically analysing the summatory function of a $q$-regular sequence in the sense of Allouche and Shallit, the eigenvalues of the sum of matrices of the linear representation of the sequence determine the "shape" (in particular the growth) of the asymptotic formula. Existing general results for determining the precise behavior (including the Fourier coefficients of the appearing fluctuations) have previously been restricted by a technical condition on these eigenvalues.
The aim of this work is to lift these restrictions by providing a insightful proof based on generating functions for the main pseudo Tauberian theorem for all cases simultaneously. (This theorem is the key ingredient for overcoming convergence problems in Mellin--Perron summation in the asymptotic analysis.)
One example is discussed in more detail: A precise asymptotic formula for the amount of esthetic numbers in the first~$N$ natural numbers is presented. Prior to this only the asymptotic amount of these numbers with a given digit-length was known.
Representation stability of the cohomology of Springer varieties and some combinatorial consequences
Published in Journal of Algebraic Combinatorics, 53 No.3 (2021), 897--920
• View Publication
• BIB
A sequence of $S_n$-representations $\{V_n\}$ is said to be uniformly representation stable if the decomposition of $V_n = \bigoplus_μ c_{μ,n} V(μ)_n$ into irreducible representations is independent of $n$ for each $μ$---that is, the multiplicities $c_{μ,n}$ are eventually independent of $n$ for each $μ$. Church-Ellenberg-Farb proved that the cohomology of flag varieties (the so-called diagonal coinvariant algebra) is uniformly representation stable. We generalize their result from flag varieties to all Springer fibers. More precisely, we show that for any increasing subsequence of Young diagrams, the corresponding sequence of Springer representations form a graded co-FI-module of finite type (in the sense of Church-Ellenberg-Farb). We also explore some combinatorial consequences of this stability.
The polytabloid basis expands positively into the web basis
Published in Forum of Mathematics, Sigma 7 (2019) e26
• View Publication
• BIB
We show that the transition matrix from the polytabloid basis to the web basis of the irreducible $\mathfrak{S}_{2n}$-representation of shape $(n,n)$ has nonnegative integer entries. This proves a conjecture of Russell and Tymoczko.
Expectation of the Largest bet size in Labouchere System
Published
• View Publication
• BIB
For Labouchere system with winning probability $p$ at each coup, we prove that the expectation of the largest bet size under any initial list is finite if $p>\frac{1}{2}$, and is infinite if $p\le \frac{1}{2}$, solving the open conjecture in Grimmett and Stirzaker (2001). The same result holds for a general family of betting systems, and the proof builds upon a recursive representation of the optimal betting system in the larger family.
On the spectral gap of some Cayley graphs on the Weyl group $W(B_n)$
Published
• View Publication
• BIB
The Laplacian of a (weighted) Cayley graph on the Weyl group $W(B_n)$ is a $N\times N$ matrix with $N = 2^n n!$ equal to the order of the group. We show that for a class of (weighted) generating sets, its spectral gap (lowest nontrivial eigenvalue), is actually equal to the spectral gap of a $2n \times 2n$ matrix associated to a $2n$-dimensional permutation representation of $W_n$. This result can be viewed as an extension to $W(B_n)$ of an analogous result valid for the symmetric group, known as `Aldous' spectral gap conjecture', proven in 2010 by Caputo, Liggett and Richthammer.