arXiv++ Combinatorics

Browse math.CO papers from arXiv

representation ↗ reference

4053 papers tagged with this keyword
2013-05-16 v2
Exploring the tree of numerical semigroups
Published • View PublicationBIB
In this paper we describe an algorithm visiting all numerical semigroups up to a given genus using a well suited representation. The interest of this algorithm is that it fits particularly well the architecture of modern computers allowing very large optimizations: we obtain the number of numerical semigroups of genus g 67 and we confirm the Wilf conjecture for g 60.
2013-05-13
Fibonacci Graphs and their Expressions
The paper investigates relationship between algebraic expressions and graphs. We consider a digraph called a Fibonacci graph which gives a generic example of non-series-parallel graphs. Our intention in this paper is to simplify the expressions of Fibonacci graphs and eventually find their shortest representations. With that end in view, we describe the number of methods for generating Fibonacci graph expressions and carry out their comparative analysis.
2013-05-12
Full Square Rhomboids and Their Algebraic Expressions
The paper investigates relationship between algebraic expressions and graphs. We consider a digraph called a full square rhomboid that is an example of non-series-parallel graphs. Our intention is to simplify the expressions of full square rhomboids and eventually find their shortest representations. With that end in view, we describe two decomposition methods for generating expressions of full square rhomboids and carry out their comparative analysis.
2013-05-12
On the Optimal Representation of Algebraic Expressions of Fibonacci Graphs
The paper investigates relationship between algebraic expressions and graphs. We consider a digraph called a Fibonacci graph which gives a generic example of non-series-parallel graphs. Our intention in this paper is to simplify the expressions of Fibonacci graphs and eventually find their shortest representations. With that end in view, we describe the optimal decomposition method for generating Fibonacci graph expressions that is conjectured to provide these representations. Proof (or disproof) of this conjecture is presented as an open problem.
Proof of the Andrews-Dyson-Rhoades Conjecture on the spt-Crank
Published • View PublicationBIB
The notion of the spt-crank of a vector partition, or an $S$-partition, was introduced by Andrews, Garvan and Liang. Let $N_S(m,n)$ denote the number of $S$-partitions of $n$ with spt-crank $m$. Andrews, Dyson and Rhoades conjectured that $\{N_S(m,n)\}_m$ is unimodal for any $n$, and they showed that this conjecture is equivalent to an inequality between the rank and the crank of ordinary partitions. They obtained an asymptotic formula for the difference between the rank and the crank of ordinary partitions, which implies $N_S(m,n)\geq N_S(m+1,n)$ for sufficiently large $n$ and fixed $m$. In this paper, we introduce a representation of an ordinary partition, called the $m$-Durfee rectangle symbol, which is a rectangular generalization of the Durfee symbol introduced by Andrews. We give a proof of the conjecture of Andrews, Dyson and Rhoades by considering two cases. For $m\geq 1$, we construct an injection from the set of ordinary partitions of $n$ such that $m$ appears in the rank-set to the set of ordinary partitions of $n$ with rank not less than $-m$. The case for $m=0$ requires five more injections. We also show that this conjecture implies an inequality between the positive rank and crank moments obtained by Andrews, Chan and Kim.
Directed nonabelian sandpile models on trees
Published in Communications in Mathematical Physics, 2015, Volume 335, Issue 3, pp 1065-1098 • View PublicationBIB
We define two general classes of nonabelian sandpile models on directed trees (or arborescences) as models of nonequilibrium statistical phenomena. These models have the property that sand grains can enter only through specified reservoirs, unlike the well-known abelian sandpile model. In the Trickle-down sandpile model, sand grains are allowed to move one at a time. For this model, we show that the stationary distribution is of product form. In the Landslide sandpile model, all the grains at a vertex topple at once, and here we prove formulas for all eigenvalues, their multiplicities, and the rate of convergence to stationarity. The proofs use wreath products and the representation theory of monoids.
Schur function identities arising from the basic representation of $A^{(2)}_{2}$
Published • View PublicationBIB
A Lie theoretic interpretation is given for some formulas of Schur functions and Schur $Q$-functions. Two realizations of the basic representation of the Lie algebra $A^{(2)}_2$ are considered; one is on the fermionic Fock space and the other is on the bosonic polynomial space. Via the boson-fermion correspondence, simple relations of the vacuum expectation values of fermions turn out to be algebraic relations of Schur functions.
2013-05-04
Maximum-Bandwidth Node-Disjoint Paths
Published in International Journal of Advanced Computer Science and Applications - IJACSA, Volume 3, Issue 3, March 2012, pp 48-56 • Search Publication
This paper presents a new method for finding the node-disjoint paths with maximum combined bandwidth in communication networks. This problem is an NP-complete problem which can be optimally solved in exponential time using integer linear programming (ILP). The presented method uses a maximum-cost variant of Dijkstra algorithm and a virtual-node representation to obtain the maximum-bandwidth node-disjoint path. Through several simulations, we compare the performance of our method to a modern heuristic technique and to the ILP solution. We show that, in a polynomial execution time, our proposed method produces results that are almost identical to ILP in a significantly lower execution time.
Associative and commutative tree representations for Boolean functions
Published • View PublicationBIB
Since the 90's, several authors have studied a probability distribution on the set of Boolean functions on $n$ variables induced by some probability distributions on formulas built upon the connectors $And$ and $Or$ and the literals $\{x_{1}, \bar{x}_{1}, \dots, x_{n}, \bar{x}_{n}\}$. These formulas rely on plane binary labelled trees, known as Catalan trees. We extend all the results, in particular the relation between the probability and the complexity of a Boolean function, to other models of formulas: non-binary or non-plane labelled trees (i.e. Polya trees). This includes the natural tree class where associativity and commutativity of the connectors $And$ and $Or$ are realised.
The metric dimension of strong product graphs
Published in Carpathian Journal of Mathematics 31 (2) (2015) 261-268 • Search Publication
For an ordered subset $S = \{s_1, s_2,\dots s_k\}$ of vertices and a vertex $u$ in a connected graph $G$, the metric representation of $u$ with respect to $S$ is the ordered $k$-tuple $ r(u|S)=(d_G(v,s_1), d_G(v,s_2),\dots,$ $d_G(v,s_k))$, where $d_G(x,y)$ represents the distance between the vertices $x$ and $y$. The set $S$ is a metric generator for $G$ if every two different vertices of $G$ have distinct metric representations. A minimum metric generator is called a metric basis for $G$ and its cardinality, $dim(G)$, the metric dimension of $G$. It is well known that the problem of finding the metric dimension of a graph is NP-Hard. In this paper we obtain closed formulae and tight bounds for the metric dimension of strong product graphs.
2013-04-24
Representation of matroids with a modular plane
We prove that if M is a vertically 4-connected matroid with a modular flat X of rank at least three, then every representation of M | X over a finite field F extends to a unique F-representation of M. A corollary is that when F has order q, any vertically 4-connected matroid with a PG(2, F)-restriction is either F-representable or has a U_{2, q^2+1}-minor. We also show that no excluded minor for the class of F-representable matroids has a PG(2, F)-restriction.
2013-04-22 v2
A polynomial representation and a unique code of a simple undirected graph
Published • View PublicationBIB
In this note we introduce a representation of simple undirected graphs in terms of polynomials and obtain a unique code for a simple undirected graph.
2013-04-22 v2
Multidimensional Catalan and related numbers as Hausdorff moments
Published in Probability and Mathematical Statistics, vol. 33, Fasc. 2 (2013), pp. 265-274, (10 pages) • Search Publication
We study integral representation of so-called $d$-dimensional Catalan numbers $C_{d}(n)$, defined by $[\prod_{p=0}^{d-1} \frac{p!}{(n+p)!}] (d n)!$, $d = 2, 3, ...$, $n=0, 1, ...$. We prove that the $C_{d}(n)$'s are the $n$th Hausdorff power moments of positive functions $W_{d}(x)$ defined on $x\in[0, d^d]$. We construct exact and explicit forms of $W_{d}(x)$ and demonstrate that they can be expressed as combinations of $d-1$ hypergeometric functions of type $_{d-1}F_{d-2}$ of argument $x/d^d$. These solutions are unique. We analyse them analytically and graphically. A combinatorially relevant, specific extension of $C_{d}(n)$ for $d$ even in the form $D_{d}(n)=[\prod_{p = 0}^{d-1} \frac{p!}{(n+p)!}] [\prod_{q = 0}^{d/2 - 1} \frac{(2 n + 2 q)!}{(2 q)!}]$ is analyzed along the same lines.
2013-04-18 v4
Small-Bias Sets for Nonabelian Groups: Derandomizing the Alon-Roichman Theorem
Published • View PublicationBIB
In analogy with epsilon-biased sets over Z_2^n, we construct explicit epsilon-biased sets over nonabelian finite groups G. That is, we find sets S subset G such that | Exp_{x in S} rho(x)| <= epsilon for any nontrivial irreducible representation rho. Equivalently, such sets make G's Cayley graph an expander with eigenvalue |lambda| <= epsilon. The Alon-Roichman theorem shows that random sets of size O(log |G| / epsilon^2) suffice. For groups of the form G = G_1 x ... x G_n, our construction has size poly(max_i |G_i|, n, epsilon^{-1}), and we show that a set S \subset G^n considered by Meka and Zuckerman that fools read-once branching programs over G is also epsilon-biased in this sense. For solvable groups whose abelian quotients have constant exponent, we obtain epsilon-biased sets of size (log |G|)^{1+o(1)} poly(epsilon^{-1}). Our techniques include derandomized squaring (in both the matrix product and tensor product senses) and a Chernoff-like bound on the expected norm of the product of independently random operators that may be of independent interest.
2013-04-18 v2
Unimodality via Kronecker products
Published • View PublicationBIB
We present new proofs and generalizations of unimodality of the q-binomial coefficients \binom{n}{k}_q as polynomials in q. We use an algebraic approach by interpreting the differences between numbers of certain partitions as Kronecker coefficients of representations of S_n. Other applications of this approach include strict unimodality of the diagonal q-binomial coefficients and unimodality of certain partition statistics.
2013-04-17
Average values of some Z-parameters in a random set partition
Published in The Electronic Journal of Combinatorics 18 (2011), no. 1, P228 • Search Publication
We find exact and asymptotic formulas for the average values of several statistics on set partitions: of Carlitz's $q$-Stirling distributions, of the numbers of crossings in linear and circular representations of set partitions, of the numbers of overlappings and embracings, and of the numbers of occurrences of a 2-pattern.
2013-04-13
Minimum Vector Rank and Complement Critical Graphs
Published • View PublicationBIB
Given a graph G, a real orthogonal representation of G is a function from its set of vertices to R^d such that two vertices are mapped to orthogonal vectors if and only if they are not neighbors. The minimum vector rank of a graph is the smallest dimension d for which such a representation exists. This quantity is closely related to the minimum semidefinite rank of G, which has been widely studied. Considering the minimum vector rank as an analogue of the chromatic number, this work defines critical graphs as those for which the removal of any vertex decreases the minimum vector rank; and complement critical graphs as those for which the removal of any vertex decreases the minimum vector rank of either the graph or its complement. It establishes necessary and sufficient conditions for certain classes of graphs to be complement critical, in the process calculating their minimum vector rank. In addition, this work demonstrates that complement critical graphs form a sufficient set to prove the Graph Complement Conjecture, which remains open.
2013-04-13 v2
Face numbers of Engström representations of matroids
Published • View PublicationBIB
A classic problem in matroid theory is to find subspace arrangements, specifically hyperplane and pseudosphere arrangements, whose intersection posets are isomorphic to a prescribed geometric lattice. Engström recently showed how to construct an infinite family of such subspace arrangements, indexed by the set of finite regular CW complexes. In this note, we compute the face numbers of these representations (in terms of the face numbers of the indexing complexes) and give upper bounds on the total number of faces in these objects. In particular, we show that, for a fixed rank, the total number of faces in the Engström representation corresponding to a codimension one homotopy sphere arrangement is bounded above by a polynomial in the number of elements of the matroid with degree one less than its rank.
2013-04-03 v3
Seminormal forms and cyclotomic quiver Hecke algebras of type $A$
Published • View PublicationBIB
This paper shows that the cyclotomic quiver Hecke algebras of type $A$, and the gradings on these algebras, are intimately related to the classical seminormal forms. We start by classifying all seminormal bases and then give an explicit "integral" closed formula for the Gram determinants of the Specht modules in terms of the combinatorics which utilizes the KLR gradings. We then use seminormal forms to give a deformation of the KLR algebras of type $A$. This makes it possible to study the cyclotomic quiver Hecke algebras in terms of the semisimple representation theory and seminormal forms. As an application we construct a new distinguished graded cellular basis of the cyclotomic KLR algebras of type $A$.
2013-04-02 v3
Classifying τ-tilting modules over preprojective algebras of Dynkin type
Published • View PublicationBIB
We study support $τ$-tilting modules over preprojective algebras of Dynkin type. We classify basic support $τ$-tilting modules by giving a bijection with elements in the corresponding Weyl groups. Moreover we show that they are in bijection with the set of torsion classes, the set of torsion-free classes and other important objects in representation theory. We also study $g$-matrices of support $τ$-tilting modules, which show terms of minimal projective presentations of indecomposable direct summands. We give an explicit description of $g$-matrices and prove that cones given by $g$-matrices coincide with chambers of the associated root systems.