arXiv++ Combinatorics

Browse math.CO papers from arXiv

Showing 20 papers (Total: 82851 papers, 47869 authors in database)
2016-06-16 v2
Generalized Weyl modules for twisted current algebras
Published • View Publication • BIB
We introduce the notion of generalized Weyl modules for twisted current algebras. We study their representation-theoretic and combinatorial properties and connection to the theory of nonsymmetric Macdonald polynomials. As an application we compute the dimension of the classical Weyl modules in the remaining unknown case.
2016-06-16
Isometry Groups of Combinatorial Codes
Published • View Publication • BIB
Two isometry groups of combinatorial codes are described: the group of automorphisms and the group of monomial automorphisms, which is the group of those automorphisms that extend to monomial maps. Unlike the case of classical linear codes, where these groups are the same, it is shown that for combinatorial codes the groups can be arbitrary different. Particularly, there exist codes with the full automorphism group and the trivial monomial automorphism group. In the paper the two groups are characterized and codes with predefined isometry groups are constructed.
2016-06-16
New families of strongly regular graphs
In this article we construct a series of new infinite families of strongly regular graphs with the same parameters as the point-graphs of non-singular quadrics in PG(n,2).
2016-06-15
A Degree Condition for a Graph to have $(a,b)$-Parity Factors
Published • View Publication • BIB
Let $a,b,n$ be three positive integers such that $a\equiv b\pmod 2$ and $n\geq b(a+b)(a+b+2)/(2a)$. Let $G$ be a graph of order $n$ with minimum degree at least $a+b/a-1$. We show that $G$ has an $(a,b)$-parity factor, if $max\{d_G(u),d_G(v)\}\geq \frac{an}{a+b}$ for any two nonadjacent vertices $u,v$ of $G$. It is an extension of Nishimura's results for the existence of $k$-factors (\emph{J. Graph Theory}, \textbf{16} (1992), 141--151) and generalizes Li and Cai's result in some senses (\emph{J. Graph Theory}, \textbf{27} (1998), 1--6). These conditions are tight.
2016-06-15 v3
A Nekrasov-Okounkov formula for Macdonald polynomials
Published in Journal of Algebraic Combinatorics 48 (2018), 1-30 • View Publication • BIB
We prove a Macdonald polynomial analogue of the celebrated Nekrasov-Okounkov hook-length formula from the theory of random partitions. As an application we obtain a proof of one of the main conjectures of Hausel and Rodriguez-Villegas from their work on mixed Hodge polynomials of the moduli space of stable Higgs bundles on Riemann surfaces.
Edge-transitive bi-Cayley graphs
Published • View Publication • BIB
A graph $\G$ admitting a group $H$ of automorphisms acting semi-regularly on the vertices with exactly two orbits is called a {\em bi-Cayley graph\/} over $H$. Such a graph $\G$ is called {\em normal\/} if $H$ is normal in the full automorphism group of $\G$, and {\em normal edge-transitive\/} if the normaliser of $H$ in the full automorphism group of $\G$ is transitive on the edges of $\G$. % In this paper, we give a characterisation of normal edge-transitive bi-Cayley graphs, %which form an important subfamily of bi-Cayley graphs, and in particular, we give a detailed description of $2$-arc-transitive normal bi-Cayley graphs. Using this, we investigate three classes of bi-Cayley graphs, namely those over abelian groups, dihedral groups and metacyclic $p$-groups. We find that under certain conditions, `normal edge-transitive' is the same as `normal' for graphs in these three classes. As a by-product, we obtain a complete classification of all connected trivalent edge-transitive graphs of girth at most $6$, and answer some open questions from the literature about $2$-arc-transitive, half-arc-transitive and semisymmetric graphs.
2016-06-15 v2
On the Maximum-Weight Basis Problem
Let M to be a matroid defined on a finite set E. A subset L of E is locked in M if L is 2-connected in M, the complement of L is 2-connected in the dual M*, and min{r(L), r*(complement of L)} is greater than 1. In this paper, we prove that the nontrivial facets of the bases polytope of M are described by the locked subsets. We deduce that finding the maximum-weight basis of M is a polynomial problem for matroids with a polynomial number of locked subsets. This class of matroids is closed under 2-sums and contains uniform matroids.
2016-06-15 v2
A linear time algorithm for a variant of the max cut problem in series parallel graphs
Published • View Publication • BIB
Given a graph $G=(V, E)$, a connected sides cut $(U, V\backslash U)$ or $δ(U)$ is the set of edges of E linking all vertices of U to all vertices of $V\backslash U$ such that the induced subgraphs $G[U]$ and $G[V\backslash U]$ are connected. Given a positive weight function $w$ defined on $E$, the maximum connected sides cut problem (MAX CS CUT) is to find a connected sides cut $Ω$ such that $w(Ω)$ is maximum. MAX CS CUT is NP-hard. In this paper, we give a linear time algorithm to solve MAX CS CUT for series parallel graphs. We deduce a linear time algorithm for the minimum cut problem in the same class of graphs without computing the maximum flow.
2016-06-15
The generalized r-Whitney numbers
Published • View Publication • BIB
In this paper, we define the generalized r-Whitney numbers of the first and second kind. Moreover, we drive the generalized Whitney numbers of the first and second kind. The recurrence relations and the generating functions of these numbers are derived. The relations between these numbers and generalized Stirling numbers of the first and second kind are deduced. Furthermore, some special cases are given. Finally, matrix representation of The relations between Whitney and Stirling numbers are given.
A combinatorial construction of an M_{12}-invariant code
Published • View Publication • BIB
In this work we summarized some recent results to be included in a forthcoming paper. A ternary [66,10,36]_3-code admitting the Mathieu group M_{12} as a group of automorphisms has recently been constructed by N. Pace. We give a construction of the Pace code in terms of $M_{12}$ as well as a combinatorial description in terms of the small Witt design, the Steiner system S(5,6,12). We also present a proof that the Pace code does indeed have minimum distance 36.
2016-06-15
Generating Functions for Inverted Semistandard Young Tableaux and Generalized Ballot Numbers
Published • View Publication • BIB
An inverted semistandard Young tableau is a row-standard tableau along with a collection of inversion pairs that quantify how far the tableau is from being column semistandard. Such a tableau with precisely $k$ inversion pairs is said to be a $k$-inverted semistandard Young tableau. Building upon earlier work by Fresse and the author, this paper develops generating functions for the numbers of $k$-inverted semistandard Young tableau of various shapes $λ$ and contents $μ$. An easily-calculable generating function is given for the number of $k$-inverted semistandard Young tableau that "standardize" to a fixed semistandard Young tableau. For $m$-row shapes $λ$ and standard content $μ$, the total number of $k$-inverted standard Young tableau of shape $λ$ are then enumerated by relating such tableaux to $m$-dimensional generalizations of Dyck paths and counting the numbers of "returns to ground" in those paths. In the rectangular specialization of $λ= n^m$ this yields a generating function that involves $m$-dimensional analogues of the famed Ballot numbers. Our various results are then used to directly enumerate all $k$-inverted semistandard Young tableaux with arbitrary content and two-row shape $λ= a^1 b^1$, as well as all $k$-inverted standard Young tableaux with two-column shape $λ=2^n$.
2016-06-15 v2
Quivers with subadditive labelings: classification and integrability
Published • View Publication • BIB
Strictly subadditive, subadditive and weakly subadditive labelings of quivers were introduced by the second author, generalizing Vinberg's definition for undirected graphs. In our previous work we have shown that quivers with strictly subadditive labelings are exactly the quivers exhibiting Zamolodchikov periodicity. In this paper, we classify all quivers with subadditive labelings. We conjecture them to exhibit a certain form of integrability, namely, as the $T$-system dynamics proceeds, the values at each vertex satisfy a linear recurrence. Conversely, we show that every quiver integrable in this sense is necessarily one of the $19$ items in our classification. For the quivers of type $\hat A \otimes A$ we express the coefficients of the recurrences in terms of the partition functions for domino tilings of a cylinder, called \emph{Goncharov-Kenyon Hamiltonians}. We also consider tropical $T$-systems of type $\hat A \otimes A$ and explain how affine slices exhibit solitonic behavior, i.e. soliton resolution and speed conservation. Throughout, we conjecture how the results in the paper are expected to generalize from $\hat A \otimes A$ to all other quivers in our classification.
2016-06-15 v4
Tropical Geometry and Mechanism Design
We develop a novel framework to construct and analyze finite valued, multidimensional mechanisms using tropical convex geometry. We geometrically characterize incentive compatibility using cells in the tropical convex hull of the type set. These cells are the sets of incentive compatible payments and form tropical simplices, spanned by generating payments whose number equals the dimension of the simplex. The analysis of the collection of incentive compatible mechanisms via tropical simplices and their generating payments facilitates the use of geometric techniques. We use this view to derive a new geometric characterization of revenue equivalence but also show how to handle multidimensional mechanisms in the absence of revenue equivalence.
2016-06-15 v2
The distribution of minimum-weight cliques and other subgraphs in graphs with random edge weights
Published • View Publication • BIB
We determine, asymptotically in $n$, the distribution and mean of the weight of a minimum-weight $k$-clique (or any strictly balanced graph $H$) in a complete graph $K_n$ whose edge weights are independent random values drawn from the uniform distribution or other continuous distributions. For the clique, we also provide explicit (non-asymptotic) bounds on the distribution's CDF in a form obtained directly from the Stein-Chen method, and in a looser but simpler form. The direct form extends to other subgraphs and other edge-weight distributions. We illustrate the clique results for various values of $k$ and $n$. The results may be applied to evaluate whether an observed minimum-weight copy of a graph $H$ in a network provides statistical evidence that the network's edge weights are not independently distributed but have some structure.
2016-06-15 v4
Two double poset polytopes
Published • View Publication • BIB
To every poset P, Stanley (1986) associated two polytopes, the order polytope and the chain polytope, whose geometric properties reflect the combinatorial qualities of P. This construction allows for deep insights into combinatorics by way of geometry and vice versa. Malvenuto and Reutenauer (2011) introduced 'double posets', that is, (finite) sets equipped with two partial orders, as a generalization of Stanley's labelled posets. Many combinatorial constructions can be naturally phrased in terms of double posets. We introduce the 'double order polytope' and the 'double chain polytope' and we amply demonstrate that they geometrically capture double posets, i.e., the interaction between the two partial orders. We describe the facial structures, Ehrhart polynomials, and volumes of these polytopes in terms of the combinatorics of double posets. We also describe a curious connection to Geissinger's valuation polytopes and we characterize 2-level polytopes among our double poset polytopes. Fulkerson's 'anti-blocking' polytopes from combinatorial optimization subsume stable set polytopes of graphs and chain polytopes of posets. We determine the geometry of Minkowski- and Cayley sums of anti-blocking polytopes. In particular, we describe a canonical subdivision of Minkowski sums of anti-blocking polytopes that facilitates the computation of Ehrhart (quasi-)polynomials and volumes. This also yields canonical triangulations of double poset polytopes. Finally, we investigate the affine semigroup rings associated to double poset polytopes. We show that they have quadratic Groebner bases, which gives an algebraic description of the unimodular flag triangulations described in the first part.
2016-06-15
Power Series with Coefficients from a Finite Set
Published • View Publication • BIB
We prove in this paper that a multivariate D-finite power series with coefficients from a finite set is rational. This generalizes a rationality theorem of van der Poorten and Shparlinski in 1996.
2016-06-14
Reconstruction of infinite matroids from their 3-connected minors
Published • View Publication • BIB
We show that any infinite matroid can be reconstructed from the torsos of a tree-decomposition over its 2-separations, together with local information at the ends of the tree. We show that if the matroid is tame then this local information is simply a choice of whether circuits are permitted to use that end. The same is true if each torso is planar, with all gluing elements on a common face.
Partitioning sparse graphs into an independent set and a forest of bounded degree
Published • View Publication • BIB
An $({\cal I},{\cal F}_d)$-partition of a graph is a partition of the vertices of the graph into two sets $I$ and $F$, such that $I$ is an independent set and $F$ induces a forest of maximum degree at most $d$. We show that for all $M<3$ and $d \ge \frac{2}{3-M} - 2$, if a graph has maximum average degree less than $M$, then it has an $({\cal I},{\cal F}_d)$-partition. Additionally, we prove that for all $\frac{8}{3} \le M < 3$ and $d \ge \frac{1}{3-M}$, if a graph has maximum average degree less than $M$ then it has an $({\cal I},{\cal F}_d)$-partition.
Small feedback vertex sets in planar digraphs
Published in Electronic Journal of Combinatorics 24(2) (2017), #P2.6 • View Publication • BIB
Let $G$ be a directed planar graph on $n$ vertices, with no directed cycle of length less than $g\ge 4$. We prove that $G$ contains a set $X$ of vertices such that $G-X$ has no directed cycle, and $|X|\le \tfrac{5n-5}9$ if $g=4$, $|X|\le \tfrac{2n-5}4$ if $g=5$, and $|X|\le \tfrac{2n-6}{g}$ if $g\ge 6$. This improves recent results of Golowich and Rolnick.
Shedding vertices of vertex decomposable graphs
We focus our attention on well-covered graphs that are vertex decomposable. We show that for many known families of these vertex decomposable graphs, the set of shedding vertices forms a dominating set. We then construct three new infinite families of well-covered graphs, none of which have this property. We use these results to provide a minimal counterexample to a conjecture of Villarreal regarding Cohen-Macaulay graphs.