representation ↗ reference
4053 papers tagged with this keyword
Monotonic Representations of Outerplanar Graphs as Edge Intersection Graphs of Paths on a Grid
Published
• View Publication
• BIB
In a representation of a graph $G$ as an edge intersection graph of paths on a grid (EPG) every vertex of $G$ is represented by a path on a grid and two paths share a grid edge iff the corresponding vertices are adjacent. In a monotonic EPG representation every path on the grid is ascending in both rows and columns. In a (monotonic) $B_k$-EPG representation every path on the grid has at most $k$ bends. The (monotonic) bend number $b(G)$ ($b^m(G)$) of a graph $G$ is the smallest natural number $k$ for which there exists a (monotonic) $B_k$-EPG representation of $G$.
In this paper we deal with the monotonic bend number of outerplanar graphs and show that $b^m(G)\leqslant 2$ holds for every outerplanar graph $G$. Moreover, we characterize the maximal outerplanar graphs and the cacti with (monotonic) bend number equal to $0$, $1$ and $2$ in terms of forbidden induced subgraphs. As a byproduct we obtain low-degree polynomial time algorithms to construct (monotonic) EPG representations with the smallest possible number of bends for maximal outerplanar graphs and cacti.
On the automaticity of sequences defined by continued fractions
Published
• View Publication
• BIB
Continued fraction expansions and Hankel determinants of automatic sequences are extensively studied during the last two decades. These studies found applications in number theory in evaluating irrationality exponents. The present paper is motivated by the converse problem: to study continued fractions of which the elements form an automatic sequence. We consider two such continued fractions defined by the Thue-Morse and period-doubling sequences respectively, and prove that they are congruent to algebraic series in $\mathbb{Z}[[x]]$ modulo $4$. Consequently, the sequences of the coefficients of the power series expansions of the two continued fractions modulo $4$ are $2$-automatic. Our approach is to first guess the explicit formulas of certain subsequences of $(P_n(x))$ and $(Q_n(x))$, where $P_n(x)/Q_n(x)$ is the canonical representation of the truncated continued fractions, then prove these formulas by an intricate induction involving eight subsequences while exploiting the relations between these subsequences.
Positive level, negative level and level zero
Published
• View Publication
• BIB
This is a survey on the combinatorics and geometry of integrable representations of quantum affine Lie algebras with a particular focus on level 0. Pictures and examples are included to illustrate the affine Weyl group orbits, crystal graphs and Macdonald polynomials that provide detailed understanding of the structure of the extremal weight modules and their characters. The final section surveys the alcove walk method of working with the positive level, negative level and level zero affine flag varieties and describes the corresponding actions of the affine Hecke algebra.
Skew Schur Function Representation of Directed Paths in a Slit
Published
• View Publication
• BIB
In this work, we establish a general relationship between the enumeration of weighted directed paths and skew Schur functions, extending work by Bousquet-Mélou, who expressed generating functions of discrete excursions in terms of rectangular Schur functions.
The fundamental theorem of finite semidistributive lattices
Published in Selecta Math. (N.S.) 27(2021), no.4, Paper No. 59
• View Publication
• BIB
We prove a Fundamental Theorem of Finite Semidistributive Lattices (FTFSDL), modelled on Birkhoff's Fundamental Theorem of Finite Distributive Lattices. Our FTFSDL is of the form "A poset L is a finite semidistributive lattice if and only if there exists a set Sha with some additional structure, such that L is isomorphic to the admissible subsets of Sha ordered by inclusion; in this case, Sha and its additional structure are uniquely determined by L." The additional structure on Sha is a combinatorial abstraction of the notion of torsion pairs from representation theory and has geometric meaning in the case of posets of regions of hyperplane arrangements. We show how the FTFSDL clarifies many constructions in lattice theory, such as canonical join representations and passing to quotients, and how the semidistributive property interacts with other major classes of lattices. Many of our results also apply to infinite lattices.
Stack sorting with restricted stacks
Published
• View Publication
• BIB
The (classical) problem of characterizing and enumerating permutations that can be sorted using two stacks connected in series is still largely open. In the present paper we address a related problem, in which we impose restrictions both on the procedure and on the stacks. More precisely, we consider a greedy algorithm where we perform the rightmost legal operation (here "rightmost" refers to the usual representation of stack sorting problems). Moreover, the first stack is required to be $σ$-avoiding, for some permutation $σ$, meaning that, at each step, the elements maintained in the stack avoid the pattern $σ$ when read from top to bottom. Since the set of permutations which can be sorted by such a device (which we call $σ$-machine) is not always a class, it would be interesting to understand when it happens. We will prove that the set of $σ$-machines whose associated sortable permutations are not a class is counted by Catalan numbers. Moreover, we will analyze two specific $σ$-machines in full details (namely when $σ=321$ and $σ=123$), providing for each of them a complete characterization and enumeration of sortable permutations.
Containment Graphs, Posets, and Related Classes of Graphs
Published in Ann. N.Y. Acad. Sci. 555 (1989), 192-204
• Search Publication
In this paper, we introduce the notion of the containment graph of a family of sets and containment classes of graphs and posets. Let $Z$ be a family of nonempty sets. We call a (simple, finite) graph G = (V, E) a $Z$-containment graph provided one can assign to each vertex $v_i \in V $ a set $S_i \in Z$ such that $v_i v_j \in E$ if and only if $S_i \subset S_j$ or $S_j \subset S_i$ . Similarly, we call a (strict) partially ordered set $P = (V, <)$ a $Z$-containment poset if to each $v_i \in V $ we can assign a set $S_i \in Z$ such that $v_i < v_j$ if and only if $S_i \subset S_j$. Obviously, $G$ is the comparability graph of $P$.
We give some basic results on containment graphs and investigate the containment graphs of iso-oriented boxes in $d$-space. We present a characterization of those classes of posets and graphs that have containment representations by sets of a specific type, and we extend our results to ``injective'' containment classes. After that we discuss similar characterizations for intersection, overlap, and disjointedness classes of graphs. Finally, in the last section we discuss the nonexistence of a characterization theorem for ``strong'' containment classes of graphs.
Plethysms of symmetric functions and representations of $\mathrm{SL}_2(\mathbb{C})$
Published
• View Publication
• BIB
Let $\nabla^λ$ denote the Schur functor labelled by the partition $λ$ and let $E$ be the natural representation of $\mathrm{SL}_2(\mathbb{C})$. We make a systematic study of when there is an isomorphism $\nabla^λ\!\mathrm{Sym}^\ell \!E \cong \nabla^μ\!\mathrm{Sym}^m \! E$ of representations of $\mathrm{SL}_2(\mathbb{C})$. Generalizing earlier results of King and Manivel, we classify all such isomorphisms when $λ$ and $μ$ are conjugate partitions and when one of $λ$ or $μ$ is a rectangle. We give a complete classification when $λ$ and $μ$ each have at most two rows or columns or is a hook partition and a partial classification when $\ell = m$. As a corollary of a more general result on Schur functors labelled by skew partitions we also determine all cases when $\nabla^λ\!\mathrm{Sym}^\ell \!E$ is irreducible. The methods used are from representation theory and combinatorics; in particular, we make explicit the close connection with MacMahon's enumeration of plane partitions, and prove a new $q$-binomial identity in this setting.
Spanning subspace configurations and representation stability
Published
• View Publication
• BIB
Let $V_1, V_2, V_3, \dots $ be a sequence of $\mathbb{Q}$-vector spaces where $V_n$ carries an action of $\mathfrak{S}_n$ for each $n$. {\em Representation stability} and {\em multiplicity stability} are two related notions of when the sequence $V_n$ has a limit. An important source of stability phenomena arises in the case where $V_n$ is the $d^{th}$ homology group (for fixed $d$) of the configuration space of $n$ distinct points in some fixed topological space $X$. We replace these configuration spaces with the variety $X_{n,k}$ of {\em spanning configurations} of $n$-tuples $(\ell_1, \dots, \ell_n)$ of lines in $\mathbb{C}^k$ which satisfy $\ell_1 + \cdots + \ell_n = \mathbb{C}^k$ as vector spaces. We study stability phenomena for the homology groups $H_d(X_{n,k})$ as the parameter $(n,k)$ grows.
The Algebra of Schur Operators
Published
• View Publication
• BIB
We study a representation of the (local) plactic monoid given by Schur operators $u_i$, which act on partitions by adding a box in column $i$ (if possible). In particular, we give a complete list of the relations that hold in the algebra of Schur operators.
Even maps, the Colin de~Verdière number and representations of graphs
Published
• View Publication
• BIB
Van der Holst and Pendavingh introduced a graph parameter $σ$, which coincides with the more famous Colin de Verdière graph parameter $μ$ for small values. However, the definition of $σ$ is much more geometric/topological directly reflecting embeddability properties of the graph. They proved $μ(G) \leq σ(G) + 2$ and conjectured $μ(G) \leq σ(G)$ for any graph $G$. We confirm this conjecture. As far as we know, this is the first topological upper bound on $μ(G)$ which is, in general, tight.
Equality between $μ$ and $σ$ does not hold in general as van der Holst and Pendavingh showed that there is a graph $G$ with $μ(G) \leq 18$ and $σ(G)\geq 20$. We show that the gap appears on much smaller values, namely, we exhibit a graph $H$ for which $μ(H)\leq 7$ and $σ(H)\geq 8$. We also prove that, in general, the gap can be large: The incidence graphs $H_q$ of finite projective planes of order $q$ satisfy $μ(H_q) \in O(q^{3/2})$ and $σ(H_q) \geq q^2$.
A bijection for essentially 3-connected toroidal maps
Published
• View Publication
• BIB
We present a bijection for toroidal maps that are essentially $3$-connected ($3$-connected in the periodic planar representation). Our construction actually proceeds on certain closely related bipartite toroidal maps with all faces of degree $4$ except for a hexagonal root-face. We show that these maps are in bijection with certain well-characterized bipartite unicellular maps. Our bijection, closely related to the recent one by Bonichon and Lévêque for essentially 4-connected toroidal triangulations, can be seen as the toroidal counterpart of the one developed in the planar case by Fusy, Poulalhon and Schaeffer, and it extends the one recently proposed by Fusy and Lévêque for essentially simple toroidal triangulations. Moreover, we show that rooted essentially $3$-connected toroidal maps can be decomposed into two pieces, a toroidal part that is treated by our bijection, and a planar part that is treated by the above-mentioned planar case bijection. This yields a combinatorial derivation for the bivariate generating function of rooted essentially $3$-connected toroidal maps, counted by vertices and faces.
A characterisation of F_q-conics of PG(2,q^3)
This article considers an F_q-conic contained in an F_q-subplane of PG(2,q^3), and shows that it corresponds to a normal rational curve in the Bruck-Bose representation in PG(6,q). This article then characterises which normal rational curves of PG(6,q) correspond via the Bruck-Bose representation to F_q-conics of PG(2,q^3). The normal rational curves of interest are called 3-special, which relates to how the extension of the normal rational curve meets the transversal lines of the regular 2-spread of the Bruck-Bose representation. This article uses geometric arguments that exploit the interaction between the Bruck-Bose representation of PG(2,q^3) in PG(6,q), and the Bose representation of PG(2,q^3) in PG(8,q).
The Newton integral and the Stirling formula
We present details of logically simplest integral sufficient for deducing the Stirling asymptotic formula for n!. It is the Newton integral, defined as the difference of values of any primitive at the endpoints of the integration interval. We review in its framework in detail two derivations of the Stirling formula. The first approximates log(1)+log(2)+...+log(n) with an integral and the second uses the classical gamma function and a Fubini-type result. We mention two more integral representations of n!.
The carry propagation of the successor function
Given any numeration system, we call carry propagation at a number $N$ the number of digits that are changed when going from the representation of $N$ to the one of $N+1$, and amortized carry propagation the limit of the mean of the carry propagations at the first $N$ integers, when $N$ tends to infinity, if this limit exists.
In the case of the usual base $p$ numeration system, it can be shown that the limit indeed exists and is equal to $p/(p-1)$. We recover a similar value for those numeration systems we consider and for which the limit exists.
We address the problem of the existence of the amortized carry propagation in non-standard numeration systems of various kinds: abstract numeration systems, rational base numeration systems, greedy numeration systems and beta-numeration. We tackle the problem by three different types of techniques: combinatorial, algebraic, and ergodic. For each kind of numeration systems that we consider, the relevant method allows for establishing sufficient conditions for the existence of the carry propagation and examples show that these conditions are close to being necessary conditions.
Representability of permutation representations on coalgebras and the isomorphism problem
Published
• View Publication
• BIB
Let $G$ be a group and let $ρ\colon G\to\operatorname{Sym}(V)$ be a permutation representation of $G$ on a set $V$. We prove that there is a faithful $G$-coalgebra $C$ such that $G$ arises as the image of the restriction of $\operatorname{Aut}(C)$ to $G(C)$, the set of grouplike elements of $C$. Furthermore, we show that $V$ can be regarded as a subset of $G(C)$ invariant through the $G$-action, and that the composition of the inclusion $G\hookrightarrow\operatorname{Aut}(C)$ with the restriction $\operatorname{Aut}(C)\to\operatorname{Sym}(V)$ is precisely $ρ$. We use these results to prove that isomorphism classes of certain families of groups can be distinguished through the coalgebras on which they act faithfully.
Theta functions and quiver Grassmannians
In this article, we use the relationship between cluster scattering diagrams and stability scattering diagrams to relate quiver representations with these diagrams. With a notion of positive crossing of a path $γ$, we show that if $γ$ has positive crossing in the scattering diagram, then it goes in the opposite direction of the Auslander-Reiten quiver of $Q$. We then give the Hall algebra theta functions which recover the cluster character formula by the Euler characteristic map. At last, we define the Hall algebra broken lines and then are able to give the stratification of the quiver Grassmannians by the bending of the broken lines.
The $τ$-function of the Ablowitz-Segur family of solutions to Painlevé II as a Widom constant
Published
• View Publication
• BIB
$τ$-functions of certain Painlevé equations (PVI,PV,PIII) can be expressed as a Fredholm determinant. Further, the minor expansion of these determinants provide an interesting connection to Random partitions. This paper is a step towards understanding whether the $τ$-function of Painlevé II has a Fredholm determinant representation. The Ablowitz-Segur family of solutions are special one parameter solutions of Painlevé II and the corresponding $τ$-function is known to be the Fredholm determinant of the Airy Kernel. We develop a formalism for open contour in parallel to the one formulated in \cite{CGL} in terms of the Widom constant and verify that the Widom constant for Ablowitz-Segur family of solutions is indeed the determinant of the Airy Kernel. Finally, we construct a suitable basis and obtain the minor expansion of the Ablowitz-Segur $τ$-function.
The Bose representation of PG(2,q^3) in PG(8,q)
This article looks at the Bose representation of $PG(2,q^3)$ as a 2-spread of $PG(8,q)$. It is shown that an $\mathbb F_q$-subline of $PG(2,q^3)$ corresponds to a 2-regulus, and an $\mathbb F_q$-subplane corresponds to a Segre variety $S_{2;2}$. Moreover, the extension of these varieties to $PG(8,q^3)$ and $PG(8,q^6)$ is determined. These are used to determine the structure of an $\mathbb F_q$-conic of $PG(2,q^3)$ in the Bose representation in $PG(8,q)$.
Random strict partitions and random shifted tableaux
Published in Sel. Math. New Ser. 26, 10 (2020)
• View Publication
• BIB
We study asymptotics of random shifted Young diagrams which correspond to a given sequence of reducible projective representations of the symmetric groups. We show limit results (Law of Large Numbers and Central Limit Theorem) for their shapes, provided that the representation character ratios and their cumulants converge to zero at some prescribed speed. Our class of examples includes uniformly random shifted standard tableaux with prescribed shape as well as shifted tableaux generated by some natural combinatorial algorithms (such as shifted Robinson-Schensted-Knuth correspondence) applied to a random input.