representation ↗ reference
4143 papers tagged with this keyword
Cubicity, Degeneracy, and Crossing Number
Published
• View Publication
• BIB
A $k$-box $B=(R_1,...,R_k)$, where each $R_i$ is a closed interval on the real line, is defined to be the Cartesian product $R_1\times R_2\times ...\times R_k$. If each $R_i$ is a unit length interval, we call $B$ a $k$-cube. Boxicity of a graph $G$, denoted as $\boxi(G)$, is the minimum integer $k$ such that $G$ is an intersection graph of $k$-boxes. Similarly, the cubicity of $G$, denoted as $\cubi(G)$, is the minimum integer $k$ such that $G$ is an intersection graph of $k$-cubes.
It was shown in [L. Sunil Chandran, Mathew C. Francis, and Naveen Sivadasan: Representing graphs as the intersection of axis-parallel cubes. MCDES-2008, IISc Centenary Conference, available at CoRR, abs/cs/ 0607092, 2006.] that, for a graph $G$ with maximum degree $Δ$, $\cubi(G)\leq \lceil 4(Δ+1)\log n\rceil$. In this paper, we show that, for a $k$-degenerate graph $G$, $\cubi(G) \leq (k+2) \lceil 2e \log n \rceil$. Since $k$ is at most $Δ$ and can be much lower, this clearly is a stronger result. This bound is tight. We also give an efficient deterministic algorithm that runs in $O(n^2k)$ time to output a $8k(\lceil 2.42 \log n\rceil + 1)$ dimensional cube representation for $G$.
An important consequence of the above result is that if the crossing number of a graph $G$ is $t$, then $\boxi(G)$ is $O(t^{1/4}{\lceil\log t\rceil}^{3/4})$ . This bound is tight up to a factor of $O((\log t)^{1/4})$. We also show that, if $G$ has $n$ vertices, then $\cubi(G)$ is $O(\log n + t^{1/4}\log t)$.
Using our bound for the cubicity of $k$-degenerate graphs we show that cubicity of almost all graphs in $\mathcal{G}(n,m)$ model is $O(d_{av}\log n)$, where $d_{av}$ denotes the average degree of the graph under consideration.
Double Catalan monoids
Published in J. Algebraic Combin. 36 (2012), no. 3, 333-354
• View Publication
• BIB
In this paper we define and study what we call the double Catalan monoid. This monoid is the image of a natural map from the 0-Hecke monoid to the monoid of binary relations. We show that the double Catalan monoid provides an algebraization of the (combinatorial) set of 4321-avoiding permutations and relate its combinatorics to various off-shoots of both the combinatorics of Catalan numbers and the combinatorics of permutations. In particular, we give an algebraic interpretation of the first derivative of the Kreweras involution on Dyck paths, of 4321-avoiding involutions and of recent results of Barnabei {\em et al.} on admissible pairs of Dyck paths. We compute a presentation and determine the minimal dimension of an effective representation for the double Catalan monoid. We also determine the minimal dimension of an effective representation for the 0-Hecke monoid.
On the derivative cones of polyhedral cones
Published
• View Publication
• BIB
Hyperbolic polynomials elegantly encode a rich class of convex cones that includes polyhedral and spectrahedral cones. Hyperbolic polynomials are closed under taking polars and the corresponding cones, the derivative cones, yield relaxations for the associated optimization problem and exhibit interesting facial properties. While it is unknown if every hyperbolicity cone is a section of the positive semidefinite cone, it is natural to ask whether spectrahedral cones are closed under taking polars. In this note we give an affirmative answer for polyhedral cones by exhibiting an explicit spectrahedral representation for the first derivative cone. We also proof that higher polars do not have an determinantal representation which shows that the problem for general spectrahedral cones is considerably more difficult.
Cluster-additive functions on stable translation quivers
Published
• View Publication
• BIB
Additive functions on translation quivers have played an important role in the representation theory of finite dimensional algebras, the most prominent ones are the hammock functions introduced by S. Brenner. When dealing with cluster categories (and cluster-tilted algebras), one should look at a corresponding class of functions defined on stable translation quivers, namely the cluster-additive ones. We conjecture that the cluster-additive functions on a stable translation quiver of Dynkin type A_n, D_n, E_6, E_7, E_8 are non-negative linear combinations of cluster-hammock functions (with index set a tilting set). The present paper provides a first study of cluster-additive functions and gives a proof of the conjecture in the case A_n.
Stacked directed animals and multi-directed animals defined without using heaps of pieces
Stacked directed animals and multi-directed animals are two lattice models defined by Bousquet-Mélou and Rechnitzer in 2002. The original definitions of those models involve heaps of pieces, i.e., some geometric representation of partially commutative monoids. The object of this writing is to define stacked directed animals and multi-directed animals in such a way that heaps of pieces are not involved. Our alternative definitions are equivalent to Bousquet-Mélou and Rechnitzer's original ones.
Topological representations of matroid maps
Published
• View Publication
• BIB
The Topological Representation Theorem for (oriented) matroids states that every (oriented) matroid can be realized as the intersection lattice of an arrangement of codimension one homotopy spheres on a homotopy sphere. In this paper, we use a construction of Engström to show that structure-preserving maps between matroids induce topological mappings between their representations; a result previously known only in the oriented case. Specifically, we show that weak maps induce continuous maps and that the process is a functor from the category of matroids with weak maps to the homotopy category of topological spaces. We also give a new and conceptual proof of a result regarding the Whitney numbers of the first kind of a matroid.
An application of global Weyl modules of $\lie{sl}_{n+1}[t]$ to invariant theory
Published
• View Publication
• BIB
We identify $\lie{sl}_{n+1}$--isotypical components of global Weyl modules with natural subspaces in a polynomial ring, and then apply the representation theory of current algebras to classical problems in invariant theory.
Cell modules and canonical basic sets for Hecke algebras from Cherednik algebras
Published
• View Publication
• BIB
In this note we are interested in labelling the irreducible representations of non-semisimple specialisations of Hecke algebras of complex reflection groups. We will use category O for the rational Cherednik algebra and the KZ functor together with elementary algebraic and combinatorial arguments to construct "canonical basic sets" in many cases. We will also show that the images of the standard modules through the KZ functor agree with the appropriate cell modules, whenever the Hecke algebra has a cellular structure.
Some new series for $1/π$ and related congruences
Published in Nanjing Univ. J. Math. Biquarterly 31(2014), no.2, 150-164
• Search Publication
In this paper we prove some new series for $1/π$ as well as related congruences. We also raise several new kinds of series for $1/π$ and present some related conjectural congruences involving representations of primes by binary quadratic forms.
On polynomial representation functions for multilinear forms
Given an infinite sequence of positive integers $\cA$, we prove that for every nonnegative integer $k$ the number of solutions of the equation $n=a_1+...+a_k$, $a_1,\,..., a_k\in \cA$, is not constant for $n$ large enough. This result is a corollary of our main theorem, which partially answers a question of Sárközy and Sós on representation functions for multilinear forms. Additionally, we obtain an Erdős-Fuchs type result for a wide variety of representation functions.
Generalized Thue-Morse words and palindromic richness
Published in Kybernetika 48 (2012), n. 3, pp. 361-370
• Search Publication
We prove that the generalized Thue-Morse word $\mathbf{t}_{b,m}$ defined for $b \geq 2$ and $m \geq 1$ as $\mathbf{t}_{b,m} = (s_b(n) \mod m)_{n=0}^{+\infty}$, where $s_b(n)$ denotes the sum of digits in the base-$b$ representation of the integer $n$, has its language closed under all elements of a group $D_m$ isomorphic to the dihedral group of order $2m$ consisting of morphisms and antimorphisms. Considering simultaneously antimorphisms $Θ\in D_m$, we show that $\mathbf{t}_{b,m}$ is saturated by $Θ$-palindromes up to the highest possible level. Using the terminology generalizing the notion of palindromic richness for more antimorphisms recently introduced by the author and E. Pelantová, we show that $\mathbf{t}_{b,m}$ is $D_m$-rich. We also calculate the factor complexity of $\mathbf{t}_{b,m}$.
Representation zeta functions of nilpotent groups and generating functions for Weyl groups of type B
Published
• View Publication
• BIB
We study representation zeta functions of finitely generated, torsion-free nilpotent groups which are rational points of unipotent group schemes over rings of integers of number fields. Using the Kirillov orbit method and p-adic integration, we prove rationality and functional equations for almost all local factors of the Euler products of these zeta functions. We further give explicit formulae, in terms of Dedekind zeta functions, for the zeta functions of class-2-nilpotent groups obtained from three infinite families of group schemes, generalising the integral Heisenberg group. As an immediate corollary, we obtain precise asymptotics for the representation growth of these groups, and key analytic properties of their zeta functions, such as meromorphic continuation. We express the local factors of these zeta functions in terms of generating functions for finite Weyl groups of type B. This allows us to establish a formula for the joint distribution of three functions, or 'statistics', on such Weyl groups. Finally, we compare our explicit formulae to p-adic integrals associated to relative invariants of three infinite families of prehomogeneous vector spaces.
Optimal Polygonal Representation of Planar Graphs
Published
• View Publication
• BIB
In this paper, we consider the problem of representing graphs by polygons whose sides touch. We show that at least six sides per polygon are necessary by constructing a class of planar graphs that cannot be represented by pentagons. We also show that the lower bound of six sides is matched by an upper bound of six sides with a linear-time algorithm for representing any planar graph by touching hexagons. Moreover, our algorithm produces convex polygons with edges having at most three slopes and with all vertices lying on an O(n)xO(n) grid.
Limits of interval orders and semiorders
Published
• View Publication
• BIB
We study poset limits given by sequences of finite interval orders or, as a special case, finite semiorders. In the interval order case, we show that every such limit can be represented by a probability measure on the space of closed subintervals of [0,1], and we define a subset of such measures that yield a unique representation. In the semiorder case, we similarly find unique representations by a class of distribution functions.
An Inductive Approach to Coxeter Arrangements and Solomon's Descent Algebra
Published
• View Publication
• BIB
In a recent paper we claimed that both the group algebra of a finite Coxeter group $W$ as well as the Orlik-Solomon algebra of $W$ can be decomposed into a sum of induced one-dimensional representations of centralizers, one for each conjugacy class of elements of $W$, and gave a uniform proof of this claim for symmetric groups. In this note we outline an inductive approach to our conjecture. As an application of this method, we prove the inductive version of the conjecture for finite Coxeter groups of rank up to 2.
Positivity in Quantum Cluster Algebras and Flags of Valued Quiver Representations
In this paper we give a direct proof of the positivity conjecture for adapted quantum cluster variables. Moreover, our process allows one to explicitly compute formulas for all adapted cluster monomials and certain ordered products of adapted cluster monomials. In particular, we describe all cluster monomials in cluster algebras and quantum cluster algebras of rank 2. One may obtain similar formulas for all finite type cluster monomials.
The above results are achieved by computing explicit set-theoretic decompositions of Grassmannians of subrepresentations in adapted valued quiver representations into a disjoint union of products of standard vector space Grassmannians. We actually prove a more general result which should be of independent interest: we compute these decompositions for arbitrary flags of subrepresentations in adapted valued quiver representations.
This implies the existence of counting polynomials for the number of points in these sets over different finite fields. Using this we extend the results of \cite{rupel} to quantum cluster algebras $\Acal_q(Q,\bfd)$, where $q$ is an indeterminate.
Path description of type B q-characters
Published in Advances in Mathematics 231 no. 2 (2012) pp 1119--1150
• View Publication
• BIB
We give a set of sufficient conditions for a Laurent polynomial to be the q-character of a finite-dimensional irreducible representation of a quantum affine group. We use this result to obtain an explicit path description of q-characters for a class of modules in type B. In particular, this proves a conjecture of Kuniba-Ohta-Suzuki.
Hankel Pfaffians, Discriminants and Kazhdan-Lusztig bases
Published
• View Publication
• BIB
We use Kazhdan-Lusztig bases of representations of the symmetric group to express Pfaffians with entries $(a_i-a_j) h_{i+j}$. In the case where the parameters $a_i$ are specialized to successive powers of $q$, and the $h_i$ are complete functions, we obtain the $q$-discriminant.
On the Number of Facets of Polytopes Representing Comparative Probability Orders
Published in Order 30 (2013), no. 3, 749-761
• View Publication
• BIB
Fine and Gill (1973) introduced the geometric representation for those comparative probability orders on n atoms that have an underlying probability measure. In this representation every such comparative probability order is represented by a region of a certain hyperplane arrangement. Maclagan (1999) asked how many facets a polytope, which is the closure of such a region, might have. We prove that the maximal number of facets is at least F_{n+1}, where F_n is the nth Fibonacci number. We conjecture that this lower bound is sharp. Our proof is combinatorial and makes use of the concept of flippable pairs introduced by Maclagan. We also obtain an upper bound which is not too far from the lower bound.
Characterization of Randomly k-Dimensional Graphs
For an ordered set $W=\{w_1,w_2,...,w_k\}$ of vertices and a vertex $v$ in a connected graph $G$, the ordered $k$-vector $r(v|W):=(d(v,w_1),d(v,w_2),.,d(v,w_k))$ is called the (metric) representation of $v$ with respect to $W$, where $d(x,y)$ is the distance between the vertices $x$ and $y$. The set $W$ is called a resolving set for $G$ if distinct vertices of $G$ have distinct representations with respect to $W$. A minimum resolving set for $G$ is a basis of $G$ and its cardinality is the metric dimension of $G$. The resolving number of a connected graph $G$ is the minimum $k$, such that every $k$-set of vertices of $G$ is a resolving set. A connected graph $G$ is called randomly $k$-dimensional if each $k$-set of vertices of $G$ is a basis. In this paper, along with some properties of randomly $k$-dimensional graphs, we prove that a connected graph $G$ with at least two vertices is randomly $k$-dimensional if and only if $G$ is complete graph $K_{k+1}$ or an odd cycle.