representation ↗ reference
4053 papers tagged with this keyword
A determinant representation for generalized ballot and Fuss-Catalan numbers
In this note we introduce a determinant and then give its evaluating formula. The determinant turns out to be a generalization of the well-known ballot and Fuss-Catalan numbers, which is believed to be new. The evaluating formula is proved by showing that the determinant coincides with the number of lattice paths with (1,0), (0,1)-steps in the plane that stay below a boundary line of rational slope.
Graph Automorphisms from the Geometric Viewpoint
An automorphism of a graph $G=(V,E)$ is a bijective map $φ$ from $V$ to itself such that $φ(v_i)φ(v_j)\in E$ $\Leftrightarrow$ $v_i v_j\in E$ for any two vertices $v_i$ and $v_j$. Denote by $\mathfrak{G}$ the group consisting of all automorphisms of $G$. Apparently, an automorphism of $G$ can be regarded as a permutation on $[n]=\{1,\ldots,n\}$, provided that $G$ has $n$ vertices. For each permutation $σ$ on $[n]$, there is a natural action on any given vector $\boldsymbol{u}=(u_1,\ldots,u_n)^t\in \mathbb{C}^n$ such that $σ\boldsymbol{u}=(u_{σ^{-1}1},u_{σ^{-1}2},\ldots,u_{σ^{-1} n})^t$, so $σ$ can be viewed as a linear operator on $\mathbb{C}^n$. Accordingly, one can formulate a characterization to the automorphisms of $G$, {\it i.e.,} $σ$ is an automorphism of $G$ if and only if every eigenspace of $\mathbf{A}(G)$ is $σ$-invariant, where $\mathbf{A}(G)$ is the adjacency matrix of $G$. Consequently, every eigenspace of $\mathbf{A}(G)$ is $\mathfrak{G}$-invariant, which is equivalent to that for any eigenvector $\boldsymbol{v}$ of $\mathbf{A}(G)$ corresponding to the eigenvalue $λ$, $\mathrm{span}(\mathfrak{G}\boldsymbol{v})$ is a subspace of the eigenspace $V_λ$. By virtue of the linear representation of the automorphism group $\mathfrak{G}$, we characterize those extremal vectors $\boldsymbol{v}$ in an eigenspace of $\mathbf{A}(G)$ so that $\mathrm{dim}~\mathrm{span}(\mathfrak{G}\boldsymbol{v})$ can attain extremal values, and furthermore, we determine the exact value of $\mathrm{dim}~\mathrm{span}(\mathfrak{G}\boldsymbol{v})$ for any eigenvector $\boldsymbol{v}$ of $\mathbf{A}(G)$.
k-Marked Dyson Symbols and Congruences for Moments of Cranks
By introducing $k$-marked Durfee symbols, Andrews found a combinatorial interpretation of $2k$-th symmetrized moment $η_{2k}(n)$ of ranks of partitions of $n$. Recently, Garvan introduced the $2k$-th symmetrized moment $μ_{2k}(n)$ of cranks of partitions of $n$ in the study of the higher-order spt-function $spt_k(n)$. In this paper, we give a combinatorial interpretation of $μ_{2k}(n)$. We introduce $k$-marked Dyson symbols based on a representation of ordinary partitions given by Dyson, and we show that $μ_{2k}(n)$ equals the number of $(k+1)$-marked Dyson symbols of $n$. We then introduce the full crank of a $k$-marked Dyson symbol and show that there exist an infinite family of congruences for the full crank function of $k$-marked Dyson symbols which implies that for fixed prime $p\geq 5$ and positive integers $r$ and $k\leq (p-1)/2$, there exist infinitely many non-nested arithmetic progressions $An+B$ such that $μ_{2k}(An+B)\equiv 0\pmod{p^r}$.
Subgroups of finite Abelian groups having rank two via Goursat's lemma
Published in Tatra Mt. Math. Publ. 59 (2014), 93-103
• Search Publication
Using Goursat's lemma for groups, a simple representation and the invariant factor decompositions of the subgroups of the group Z_m x Z_n are deduced, where m and n are arbitrary positive integers. As consequences, explicit formulas for the total number of subgroups, the number of subgroups with a given invariant factor decomposition, and the number of subgroups of a given order are obtained.
Random Abstract Simplicial Complexes Reduction
Random abstract simplicial complex representation provides a mathematical description of wireless networks and their topology. In order to reduce the energy consumption in this type of network, we intend to reduce the number of network nodes without modifying neither the connectivity nor the coverage of the network. In this paper, we present a reduction algorithm that lower the number of points of an abstract simplicial complex in an optimal order while maintaining its topology. Then, we study the complexity of such an algorithm for a network simulated by a binomial point process and represented by a Vietoris-Rips complex.
Maximum Intersecting Families of Permutations
It was first shown by Cameron and Ku that the group $G=Sym(n)$ has the strict EKR property. Then Godsil and Meagher presented an entirely different proof of this fact using some algebraic properties of the symmetric group. A similar method was employed to prove that the projective general linear group $PGL(2,q)$, with its natural action on the projective line $\mathbb{P}_q$, has the strict EKR property. The main objective in this thesis is to formally introduce this method, which we call the module method, and show that this provides a standard way to prove Erdos-Ko-Rado theorems for other permutation groups. We then, along with proving Erdos-Ko-Rado theorems for various groups, use this method to prove some permutation groups have the strict EKR property. We will also show that this method can be useful in characterizing the maximum independent sets of some Cayley graphs. To explain the module method, we need some facts from representation theory of groups, in particular, the symmetric group. We will provide the reader with a sufficient level of background from representation theory as well as graph theory and linear algebraic facts about graphs.
A Combinatorial Formula for Principal Minors of a Matrix with Tree-metric Exponents and Its Applications
Published
• View Publication
• BIB
Let $T$ be a tree with a vertex set $\{ 1,2,\dots, N \}$. Denote by $d_{ij}$ the distance between vertices $i$ and $j$. In this paper, we present an explicit combinatorial formula of principal minors of the matrix $(t^{d_{ij}})$, and its applications to tropical geometry, study of multivariate stable polynomials, and representation of valuated matroids. We also give an analogous formula for a skew-symmetric matrix associated with $T$.
A diagram algebra for Soergel modules corresponding to smooth Schubert varieties
Published
• View Publication
• BIB
Using combinatorial properties of symmetric polynomials, we compute explicitly the Soergel modules for some permutations whose corresponding Schubert varieties are rationally smooth. We build from them diagram algebras whose module categories are equivalent to the subquotient categories of the BGG category $\mathcal{O}(\mathfrak{gl}_n)$ which show up in categorification of $\mathfrak{gl}(1|1)$-representations. We construct diagrammatically the graded cellular structure and the properly stratified structure of these algebras.
Representations of classical Lie groups and quantized free convolution
Published in Geometric and Functional Analysis (GAFA), 25, no. 3 (2015), 763-814
• View Publication
• BIB
We study the decompositions into irreducible components of tensor products and restrictions of irreducible representations of classical Lie groups as the rank of the group goes to infinity. We prove the Law of Large Numbers for the random counting measures describing the decomposition. This leads to two operations on measures which are deformations of the notions of the free convolution and the free projection. We further prove that if one replaces counting measures with others coming from the work of Perelomov and Popov on the higher order Casimir operators for classical groups, then the operations on the measures turn into the free convolution and projection themselves.
We also explain the relation between our results and limit shape theorems for uniformly random lozenge tilings with and without axial symmetry.
String graphs and separators
String graphs, that is, intersection graphs of curves in the plane, have been studied since the 1960s. We provide an expository presentation of several results, including very recent ones: some string graphs require an exponential number of crossings in every string representation; exponential number is always sufficient; string graphs have small separators; and the current best bound on the crossing number of a graph in terms of the pair-crossing number. For the existence of small separators, unwrapping the complete proof include generally useful results on approximate flow-cut dualities.
Chiral covers of hypermaps
Published
• View Publication
• BIB
Generalising a conjecture of Singerman, it is shown that there exist orientably regular chiral hypermaps of every non-spherical type. The proof uses the representation theory of automorphism groups acting on homology and on various spaces of differentials. Some examples are given.
Zeilberger's KOH theorem and the strict unimodality of q-binomial coefficients
Published in Proc. Amer. Math. Soc. 143 (2015), no. 7, 2795--2799
• View Publication
• BIB
A recent nice result due to I. Pak and G. Panova is the strict unimodality of the $q$-binomial coefficients $\binom{a+b}{b}_q$ (see \cite{PP} and also \cite{PP2} for a slightly revised version of their theorem). Since their proof used representation theory and Kronecker coefficients, the authors also asked for an argument that would employ Zeilberger's KOH theorem. In this note, we give such a proof. Then, as a further application of our method, we also provide a short proof of their conjecture that the difference between consecutive coefficients of $\binom{a+b}{b}_q$ can get arbitrarily large, when we assume that $b$ is fixed and $a$ is large enough.
Generalized virtual braid groups, quasi-shuffle product and quantum groups
Published in Int. Math. Res. Notices. (2015) 2015 (6): 1717-1731
• View Publication
• BIB
We introduce in this paper the generalized virtual braid group on n strands GVB_n, generalizing simultaneously the braid groups and their virtual versions. A Mastumoto-Tits type section lifting shuffles in a symmetric group S_n to the monoid associated to GVB_n is constructed, which is then applied to characterize the quantum quasi-shuffle product. A family of representations of GVB_n is constructed using quantum groups.
Plots and Their Applications - Part I: Foundations
The primary goal of this paper is to abstract notions, results and constructions from the theory of categories to the broader setting of plots. Loosely speaking, a plot can be thought of as a non-associative non-unital category with a "relaxed" composition law: Besides categories, this includes as a special case graphs and neocategories in the sense of Ehresmann, Gabriel's quivers, Mitchell's semicategories, and composition graphs, precategories and semicategories in the sense of Schröder. Among other things, we formulate an "identity-free" definition of isomorphisms, equivalences, and limits, for which we introduce regular representations, punctors, $\mathcal M$-connections, and $\mathcal M$-factorizations. Part of the material will be used in subsequent work to lay the foundation for an abstract theory of "normed structures" serving as a unifying framework for the development of fundamental aspects of the theory of normed spaces, normed groups, etc., on the one hand, and measure spaces, perhaps surprisingly, on the other.
On the Expansion of Group-Based Lifts
Published
• View Publication
• BIB
A $k$-lift of an $n$-vertex base graph $G$ is a graph $H$ on $n\times k$ vertices, where each vertex $v$ of $G$ is replaced by $k$ vertices $v_1,\cdots{},v_k$ and each edge $(u,v)$ in $G$ is replaced by a matching representing a bijection $π_{uv}$ so that the edges of $H$ are of the form $(u_i,v_{π_{uv}(i)})$. Lifts have been studied as a means to efficiently construct expanders. In this work, we study lifts obtained from groups and group actions. We derive the spectrum of such lifts via the representation theory principles of the underlying group. Our main results are:
(1) There is a constant $c_1$ such that for every $k\geq 2^{c_1nd}$, there does not exist an abelian $k$-lift $H$ of any $n$-vertex $d$-regular base graph with $H$ being almost Ramanujan (nontrivial eigenvalues of the adjacency matrix at most $O(\sqrt{d})$ in magnitude). This can be viewed as an analogue of the well-known no-expansion result for abelian Cayley graphs.
(2) A uniform random lift in a cyclic group of order $k$ of any $n$-vertex $d$-regular base graph $G$, with the nontrivial eigenvalues of the adjacency matrix of $G$ bounded by $λ$ in magnitude, has the new nontrivial eigenvalues also bounded by $λ+O(\sqrt{d})$ in magnitude with probability $1-ke^{-Ω(n/d^2)}$. In particular, there is a constant $c_2$ such that for every $k\leq 2^{c_2n/d^2}$, there exists a lift $H$ of every Ramanujan graph in a cyclic group of order $k$ with $H$ being almost Ramanujan. We use this to design a quasi-polynomial time algorithm to construct almost Ramanujan expanders deterministically.
The existence of expanding lifts in cyclic groups of order $k=2^{O(n/d^2)}$ can be viewed as a lower bound on the order $k_0$ of the largest abelian group that produces expanding lifts. Our results show that the lower bound matches the upper bound for $k_0$ (upto $d^3$ in the exponent).
Dimensionality reduction and spectral properties of multilayer networks
Published in Phys. Rev. E 89, 052815 (2014)
• View Publication
• BIB
Network representations are useful for describing the structure of a large variety of complex systems. Although most studies of real-world networks suppose that nodes are connected by only a single type of edge, most natural and engineered systems include multiple subsystems and layers of connectivity. This new paradigm has attracted a great deal of attention and one fundamental challenge is to characterize multilayer networks both structurally and dynamically. One way to address this question is to study the spectral properties of such networks. Here, we apply the framework of graph quotients, which occurs naturally in this context, and the associated eigenvalue interlacing results, to the adjacency and Laplacian matrices of undirected multilayer networks. Specifically, we describe relationships between the eigenvalue spectra of multilayer networks and their two most natural quotients, the network of layers and the aggregate network, and show the dynamical implications of working with either of the two simplified representations. Our work thus contributes in particular to the study of dynamical processes whose critical properties are determined by the spectral properties of the underlying network.
Mondshein Sequences (a.k.a. (2,1)-Orders)
Published
• View Publication
• BIB
Canonical orderings [STOC'88, FOCS'92] have been used as a key tool in graph drawing, graph encoding and visibility representations for the last decades. We study a far-reaching generalization of canonical orderings to non-planar graphs that was published by Lee Mondshein in a PhD-thesis at M.I.T. as early as 1971.
Mondshein proposed to order the vertices of a graph in a sequence such that, for any i, the vertices from 1 to i induce essentially a 2-connected graph while the remaining vertices from i+1 to n induce a connected graph. Mondshein's sequence generalizes canonical orderings and became later and independently known under the name non-separating ear decomposition. Surprisingly, this fundamental link between canonical orderings and non-separating ear decomposition has not been established before. Currently, the fastest known algorithm for computing a Mondshein sequence achieves a running time of O(nm); the main open problem in Mondshein's and follow-up work is to improve this running time to subquadratic time.
After putting Mondshein's work into context, we present an algorithm that computes a Mondshein sequence in optimal time and space O(m). This improves the previous best running time by a factor of n. We illustrate the impact of this result by deducing linear-time algorithms for five other problems, for four out of which the previous best running times have been quadratic. In particular, we show how to - compute three independent spanning trees of a 3-connected graph in time O(m), - improve the preprocessing time from O(n^2) to O(m) for a data structure reporting 3 internally disjoint paths between any given vertex pair, - derive a very simple O(n)-time planarity test once a Mondshein sequence has been computed, - compute a nested family of contractible subgraphs of 3-connected graphs in time O(m), - compute a 3-partition in time O(m).
Lorentzian Coxeter systems and Boyd-Maxwell ball packings
Published in Geometriae Dedicata: Volume 174, Issue 1 (2015), Page 43-73
• View Publication
• BIB
In the recent study of infinite root systems, fractal patterns of ball packings were observed while visualizing roots in affine space. In this paper, we show that the observed fractals are exactly the ball packings described by Boyd and Maxwell. This correspondence is a corollary of a more fundamental result: Given a geometric representation of a Coxeter group in a Lorentz space, the set of limit directions of weights equals the set of limit roots. Additionally, we use Coxeter complexes to describe tangency graphs of the corresponding Boyd--Maxwell ball packings. Finally, we enumerate all the Coxeter systems that generate Boyd-Maxwell ball packings.
Integrable probability: From representation theory to Macdonald processes
Published in Probability Surveys 11 (2014), pp. 1-58
• View Publication
• BIB
These are lecture notes for a mini-course given at the Cornell Probability Summer School in July 2013. Topics include lozenge tilings of polygons and their representation theoretic interpretation, the (q,t)-deformation of those leading to the Macdonald processes, nearest neighbor dynamics on Macdonald processes, their limit to semi-discrete Brownian polymers, and large time asymptotic analysis of polymer's partition function.
Ramsey precompact expansions of homogeneous directed graphs
In 2005, Kechris, Pestov and Todorcevic provided a powerful tool to compute an invariant of topological groups known as the universal minimal flow, immediately leading to an explicit representation of this invariant in many concrete cases. More recently, the framework was generalized allowing for further applications, and the purpose of this paper is to apply these new methods in the context of homogeneous directed graphs.
In this paper, we show that the age of any homogeneous directed graph allows a Ramsey precompact expansion. Moreover, we verify the relative expansion properties and consequently describe the respective universal minimal flows.