representation ↗ reference
4143 papers tagged with this keyword
Canonical Trees, Compact Prefix-free Codes and Sums of Unit Fractions: A Probabilistic Analysis
Published in SIAM J. Discrete Math. 29 (2015), no. 3, 1600-1653
• View Publication
• BIB
For fixed $t\ge 2$, we consider the class of representations of $1$ as sum of unit fractions whose denominators are powers of $t$ or equivalently the class of canonical compact $t$-ary Huffman codes or equivalently rooted $t$-ary plane "canonical" trees. We study the probabilistic behaviour of the height (limit distribution is shown to be normal), the number of distinct summands (normal distribution), the path length (normal distribution), the width (main term of the expectation and concentration property) and the number of leaves at maximum distance from the root (discrete distribution).
Straight Line Triangle Representations
Published
• View Publication
• BIB
A straight line triangle representation (SLTR) of a planar graph is a straight line drawing such that all the faces including the outer face have triangular shape. Such a drawing can be viewed as a tiling of a triangle using triangles with the input graph as skeletal structure. In this paper we present a characterization of graphs that have an SLTR. The characterization is based on flat angle assignments, i.e., selections of angles of the graph that have size~$π$ in the representation. We also provide a second characterization in terms of contact systems of pseudosegments. With the aid of discrete harmonic functions we show that contact systems of pseudosegments that respect certain conditions are stretchable. The stretching procedure is then used to get straight line triangle representations. Since the discrete harmonic function approach is quite flexible it allows further applications, we mention some of them. The drawback of the characterization of SLTRs is that we are not able to effectively check whether a given graph admits a flat angle assignment that fulfills the conditions. Hence it is still open to decide whether the recognition of graphs that admit straight line triangle representation is polynomially tractable.
Circuit diameter and Klee-Walkup constructions
Published
• View Publication
• BIB
Consider a variant of the graph diameter of a polyhedron where each step in a walk between two vertices travels maximally in a circuit direction instead of along incident edges. Here circuit directions are non-trivial solutions to minimally-dependent subsystems of the presentation of the polyhedron. These can be understood as the set of all possible edge directions, including edges that may arise from translation of the facets.
It is appealing to consider a circuit analogue of the Hirsch conjecture for graph diameter, as suggested by Borgwardt et al. [BFH15]. They ask whether the known counterexamples to the Hirsch conjecture give rise to counterexamples for this relaxed notion of circuit diameter. We show that the most basic counterexample to the unbounded Hirsch conjecture, the Klee-Walkup polyhedron, does have a circuit diameter that satisfies the Hirsch bound, regardless of representation. We also examine the circuit diameter of the bounded Klee-Walkup polytope.
Coxeter's frieze patterns at the crossroads of algebra, geometry and combinatorics
Published
• View Publication
• BIB
Frieze patterns of numbers, introduced in the early 70's by Coxeter, are currently attracting much interest due to connections with the recent theory of cluster algebras. The present paper aims to review the original work of Coxeter and the new developments around the notion of frieze, focusing on the representation theoretic, geometric and combinatorial approaches.
Colored partitions of a convex polygon by noncrossing diagonals
Published in Discrete Math. 340 (2017), no. 4, 563-571
• View Publication
• BIB
For any positive integers $a$ and $b$, we enumerate all colored partitions made by noncrossing diagonals of a convex polygon into polygons whose number of sides is congruent to $b$ modulo $a$. For the number of such partitions made by a fixed number of diagonals, we give both a recurrence relation and an explicit representation in terms of partial Bell polynomials. We use basic properties of these polynomials to efficiently incorporate restrictions on the type of polygons allowed in the partitions.
The many faces of modern combinatorics
This is a survey of recent developments in combinatorics. The goal is to give a big picture of its many interactions with other areas of mathematics, such as: group theory, representation theory, commutative algebra, geometry (including algebraic geometry), topology, probability theory, and theoretical computer science.
A uniform realization of the combinatorial $R$-matrix
Published
• View Publication
• BIB
Kirillov-Reshetikhin crystals are colored directed graphs encoding the structure of certain finite-dimensional representations of affine Lie algebras. A tensor products of column shape Kirillov-Reshetikhin crystals has recently been realized in a uniform way, for all untwisted affine types, in terms of the quantum alcove model. We enhance this model by using it to give a uniform realization of the combinatorial $R$-matrix, i.e., the unique affine crystal isomorphism permuting factors in a tensor product of KR crystals. In other words, we are generalizing to all Lie types Schützenberger's sliding game (jeu de taquin) for Young tableaux, which realizes the combinatorial $R$-matrix in type $A$. Our construction is in terms of certain combinatorial moves, called quantum Yang-Baxter moves, which are explicitly described by reduction to the rank 2 root systems. We also show that the quantum alcove model does not depend on the choice of a sequence of alcoves joining the fundamental one to a translation of it.
Integer Addition and Hamming Weight
We study the effect of addition on the Hamming weight of a positive integer. Consider the first $2^n$ positive integers, and fix an $α$ among them. We show that if the binary representation of $α$ consists of $Θ(n)$ blocks of zeros and ones, then addition by $α$ causes a constant fraction of low Hamming weight integers to become high Hamming weight integers. This result has applications in complexity theory to the hardness of computing powering maps using bounded-depth arithmetic circuits over $\mathbb{F}_2$. Our result implies that powering by $α$ composed of many blocks require exponential-size, bounded-depth arithmetic circuits over $\mathbb{F}_2$.
Cataland: Why the Fuss?
Published
• View Publication
• BIB
The three main objects in noncrossing Catalan combinatorics associated to a finite Coxeter system are noncrossing partitions, clusters, and sortable elements. The first two of these have known Fuss-Catalan generalizations. We provide new viewpoints for both and introduce the missing generalization of sortable elements by lifting the theory from the Coxeter system to the associated positive Artin monoid. We show how this new perspective ties together all three generalizations, providing a uniform framework for noncrossing Fuss-Catalan combinatorics. Having developed the combinatorial theory, we provide an interpretation of our generalizations in the language of the representation theory of hereditary Artin algebras.
On partition functions for 3-graphs
Published
• View Publication
• BIB
A {\em cyclic graph} is a graph with at each vertex a cyclic order of the edges incident with it specified. We characterize which real-valued functions on the collection of cubic cyclic graphs are partition functions of a real vertex model (P. de la Harpe, V.F.R. Jones, Graph invariants related to statistical mechanical models: examples and problems, Journal of Combinatorial Theory, Series B 57 (1993) 207--227). They are characterized by `weak reflection positivity', which amounts to the positive semidefiniteness of matrices based on the `$k$-join' of cubic cyclic graphs (for all $k\in\oZ_+$).
Basic tools are the representation theory of the symmetric group and geometric invariant theory, in particular the Hanlon-Wales theorem on the decomposition of Brauer algebras and the Procesi-Schwarz theorem on inequalities defining orbit spaces.
New Results on Higher-Order Daehee and Bernoulli Numbers and Polynomials
Published
• View Publication
• BIB
We derive new matrix representation for higher order Daehee numbers and polynomials, the higher order lambda-Daehee numbers and polynomials and the twisted lambda-Daehee numbers and polynomials of order k. This helps us to obtain simple and short proofs of many previous results on higher order Daehee numbers and polynomials. Moreover, we obtained recurrence relation, explicit formulas and some new results for these numbers and polynomials. Furthermore, we investigated the relation between these numbers and polynomials and Stirling numbers, Norlund and Bernoulli numbers of higher order. The results of this article gives a generalization of the results derived very recently by El-Desouky and Mustafa [6].
Leaf-to-leaf distances in Catalan trees
Published in Journal of Pure and Applied Mathematics: Advances and Applications 20, 1-29 (2019)
• View Publication
• BIB
We study the average leaf-to-leaf path lengths on ordered Catalan tree graphs with $n$ nodes and show that these are equivalent to the average length of paths starting from the root node. We give an explicit analytic formula for the average leaf-to-leaf path length as a function of separation of the leaves and study its asymptotic properties. At the heart of our method is a strategy based on an abstract graph representation of generating functions.
Arithmetic Identities and Congruences for Partition Triples with 3-cores
Published
• View Publication
• BIB
Let ${{B}_{3}}(n)$ denote the number of partition triples of $n$ where each partition is 3-core. With the help of generating function manipulations, we find several infinite families of arithmetic identities and congruences for ${{B}_{3}}(n)$. Moreover, let $ω(n)$ denote the number of representations of a nonnegative integer $n$ in the form $x_{1}^{2}+x_{2}^{2}+x_{3}^{2}+3y_{1}^{2}+3y_{2}^{2}+3y_{3}^{2}$ with ${{x}_{1}},{{x}_{2}},{{x}_{3}},{{y}_{1}},{{y}_{2}},{{y}_{3}}\in \mathbb{Z}.$ We find three arithmetic relations between ${{B}_{3}}(n)$ and $ω(n)$, such as $ω(6n+5)=4{{B}_{3}}(6n+4).$
The Catalan combinatorics of the hereditary artin algebras
Published
• View Publication
• BIB
This is a survey on the categorification of the poset of generalized non-crossing partitions, using the representation theory of a hereditary artin algebra H, looking at the set P of exceptional subcategories in mod H. This categorification is due to Ingalls and Thomas, and a subsequent paper by Igusa and Schiffler.
Starting point is a refinement of the classical tilting theory for mod H, replacing torsion pairs by torsion triples, thus putting it into the realm of the stability theory of King. The torsion pairs in mod H correspond nicely to the perpendicular pairs of exceptional subcategories and there is a wealth of bijections, the Ingalls-Thomas bijections, between sets of modules and subcategories.
If H is representation-finite, one may look at the corresponding numbers of modules or subcategories. Such Dynkin functions (they attach to a Dynkin diagram an integer) are displayed in chapter 1. In a mysterious way, many Dynkin functions can be described using the exponents of the Weyl group. According to Shapiro and Kostant, the exponents are given by the height partition of the root poset. A recent result of Abe-Barakat-Cuntz-Hoge-Terao allows to determine them inductively, going up in a chain of ideals in the root poset, looking at the corresponding hyperplane arrangements.
Chapter 4 deals with the case of the linearly oriented quiver of Dynkin type A. Here P is identified with the lattice NC of non-crossing partitions as introduced by Kreweras (now an important tool in several parts of mathematics, for example in free probability theory). We review some classical problems which are related to the maximal chains in NC: to count labeled trees as well as parking functions. The combinatorics of the Dynkin case A is just the combinatorics of the Catalan numbers; in an appendix, we discuss the nature of classical Catalan combinatorics.
New representation results for planar graphs
A universal representation theorem is derived that shows any graph is the intersection graph of one chordal graph, a number of co-bipartite graphs, and one unit interval graph. Central to the the result is the notion of the clique cover width which is a generalization of the bandwidth parameter. Specifically, we show that any planar graph is the intersection graph of one chordal graph, four co-bipartite graphs, and one unit interval graph. Equivalently, any planar graph is the intersection graph of a chordal graph and a graph that has {clique cover width} of at most seven. We further describe the extensions of the results to graphs drawn on surfaces and graphs excluding a minor of crossing number of at most one.
Infinite symmetric groups and combinatorial constructions of topological field theory type
Published in Russian Mathematical Surveys, 2015, 70:4, 715--773
• View Publication
• BIB
The paper contains a survey of train constructions for infinite symmetric groups and related groups. For certain pairs (a group $G$, a subgroup $K$), we construct categories, whose morphisms are two-dimensional surfaces tiled by polygons and colored in a certain way. A product of morphisms is a gluing of combinatorial bordisms. For a unitary representation of $G$ we assign a functor from the category of bordisms to the category of Hilbert spaces and bounded operators. The construction has numerous variations, instead of surfaces there arise also one-dimensional objects of Brauer diagram type, multi-dimensional pseudomanifolds, bipartite graphs
Embedding convex geometries and a bound on convex dimension
Published
• View Publication
• BIB
The notion of an abstract convex geometry offers an abstraction of the standard notion of convexity in a linear space. Kashiwabara, Nakamura and Okamoto introduce the notion of a generalized convex shelling into $\mathbb{R}$ and prove that a convex geometry may always be represented with such a shelling. We provide a new, shorter proof of their result using a recent representation theorem of Richter and Rubinstein, and deduce a different upper bound on the dimension of the shelling.
Asymptotic properties of biorthogonal polynomials systems related to Hermite and Laguerre polynomials
In this paper, the structures to a family of biorthogonal polynomials that approximate to the Hermite and Generalized Laguerre polynomials are discussed respectively. Therefore, the asymptotic relation between several orthogonal polynomials and combinatorial polynomials are derived from the systems, which in turn verify the Askey scheme of hypergeometric orthogonal polynomials. As the applications of these properties, the asymptotic representations of the generalized Buchholz, Laguerre, Ultraspherical(Gegenbauer), Bernoulli, Euler, Meixner and Meixner-Pllaczekare polynomials are derived from the theorems directly. The relationship between Bernoulli and Euler polynomials are shown as a special case of the characterization theorem of the Appell sequence generated by $α$ scaling functions.
Central Limit Theorems for some Set Partition Statistics
Published
• View Publication
• BIB
We prove the conjectured limiting normality for the number of crossings of a uniformly chosen set partition of [n] = {1,2,...,n}. The arguments use a novel stochastic representation and are also used to prove central limit theorems for the dimension index and the number of levels.
Polyhedral Omega: A New Algorithm for Solving Linear Diophantine Systems
Published
• View Publication
• BIB
Polyhedral Omega is a new algorithm for solving linear Diophantine systems (LDS), i.e., for computing a multivariate rational function representation of the set of all non-negative integer solutions to a system of linear equations and inequalities. Polyhedral Omega combines methods from partition analysis with methods from polyhedral geometry. In particular, we combine MacMahon's iterative approach based on the Omega operator and explicit formulas for its evaluation with geometric tools such as Brion decompositions and Barvinok's short rational function representations. In this way, we connect two recent branches of research that have so far remained separate, unified by the concept of symbolic cones which we introduce. The resulting LDS solver Polyhedral Omega is significantly faster than previous solvers based on partition analysis and it is competitive with state-of-the-art LDS solvers based on geometric methods. Most importantly, this synthesis of ideas makes Polyhedral Omega the simplest algorithm for solving linear Diophantine systems available to date. Moreover, we provide an illustrated geometric interpretation of partition analysis, with the aim of making ideas from both areas accessible to readers from a wide range of backgrounds.