arXiv++ Combinatorics

Browse math.CO papers from arXiv

Showing 20 papers (Total: 82851 papers, 47869 authors in database)
2017-01-24 v2
A unimodular Liouville hyperbolic souvlaki --- an appendix to [arXiv:1603.06712]
Published in Electron. J. Probab., Vol. 22 (2017), paper no. 36, 19 pp • Search Publication
Carmesin, Federici, and Georgakopoulos [arXiv:1603.06712] constructed a transient hyperbolic graph that has no transient subtrees and that has the Liouville property for harmonic functions. We modify their construction to get a unimodular random graph with the same properties.
2017-01-24
A maximal Boolean sublattice that is not the range of a Banaschewski function
We construct a countable bounded sublattice of the lattice of all subspaces of a vector space with two non-isomorphic maximal Boolean sublattice. We represent one of them as the range of a Banschewski function and we prove that this is not the case of the other. Hereby we solve a problem of F. Wehrung.
2017-01-24
Small subgraphs and their extensions in a random distance graph
Published • View Publication • BIB
In previous papers, threshold probabilities for the properties of a random distance graph to contain strictly balanced graphs were found. We extend this result to arbitrary graphs and prove that the number of copies of a strictly balanced graph has asymptotically Poisson distribution at the threshold.
2017-01-24
The cycle polynomial of a permutation group
Published in Electronic J. Combinatorics 25(1) (2018), Paper P1.14 • View Publication • BIB
The cycle polynomial of a finite permutation group $G$ is the generating function for the number of elements of $G$ with a given number of cycles: \[F_G(x) = \sum_{g\in G}x^{c(g)},\] where $c(g)$ is the number of cycles of $g$ on $Ω$. In the first part of the paper, we develop basic properties of this polynomial, and give a number of examples. In the 1970s, Richard Stanley introduced the notion of reciprocity for pairs of combinatorial polynomials. We show that, in a considerable number of cases, there is a polynomial in the reciprocal relation to the cycle polynomial of $G$; this is the orbital chromatic polynomial of $Γ$ and $G$, where $Γ$ is a $G$-invariant graph, introduced by the first author, Jackson and Rudd. We pose the general problem of finding all such reciprocal pairs, and give a number of examples and characterisations: the latter include the cases where $Γ$ is a complete or null graph or a tree. The paper concludes with some comments on other polynomials associated with a permutation group.
2017-01-24
An involution on Dyck paths that preserves the rise composition and interchanges the number of returns and the position of the first double fall
Motivated by a recent paper of Adin, Bagno and Roichman, we present an involution on Dyck paths that preserves the rise composition and interchanges the number of returns and the position of the first double fall.
2017-01-24 v2
The multiresolution analysis of flow graphs
Published • View Publication • BIB
We introduce and prove basic results about several graph-theoretic notions relevant to the multiresolution analysis of flow graphs that represent the transfer of control in computer programs. We take a category-theoretical viewpoint to demonstrate that our definitions are natural and to motivate particular incarnations of related constructions.
2017-01-24
Characterizing the number of coloured $m$-ary partitions modulo $m$, with and without gaps
Published • View Publication • BIB
In a pair of recent papers, Andrews, Fraenkel and Sellers provide a complete characterization for the number of $m$-ary partitions modulo $m$, with and without gaps. In this paper we extend these results to the case of coloured $m$-ary partitions, with and without gaps. Our method of proof is different, giving explicit expansions for the generating functions modulo $m$
2017-01-24 v2
Inverting the Kasteleyn matrix for holey hexagons
Consider a semi-regular hexagon on the triangular lattice (that is, the lattice consisting of unit equilateral triangles, drawn so that one family of lines is vertical). Rhombus (or lozenge) tilings of this region may be represented in at least two very different ways: as families of non-intersecting lattice paths; or alternatively as perfect matchings of a certain sub-graph of the hexagonal lattice. In this article we show how the lattice path representation of tilings may be utilised in order to calculate the entries of the inverse Kasteleyn matrix that arises from interpreting tilings as perfect matchings. Our main result gives precisely the inverse Kasteleyn matrix (up to a possible change in sign) for a semi-regular hexagon of side lengths $a,b,c,a,b,c$ (going clockwise from the south-west side). Not only does this theorem generalise a number of known results regarding tilings of hexagons that contain punctures, but it also provides a new formulation through which we may attack problems in statistical physics such as Ciucu's electrostatic conjecture.
2017-01-24 v2
The switch Markov chain for sampling irregular graphs and digraphs
Published • View Publication • BIB
The problem of efficiently sampling from a set of (undirected, or directed) graphs with a given degree sequence has many applications. One approach to this problem uses a simple Markov chain, which we call the switch chain, to perform the sampling. The switch chain is known to be rapidly mixing for regular degree sequences, both in the undirected and directed setting. We prove that the switch chain for undirected graphs is rapidly mixing for any degree sequence with minimum degree at least 1 and with maximum degree $d_{\max}$ which satisfies $3\leq d_{\max}\leq \frac{1}{3}\, \sqrt{M}$, where $M$ is the sum of the degrees. The mixing time bound obtained is only a factor $n$ larger than that established in the regular case, where $n$ is the number of vertices. Our result covers a wide range of degree sequences, including power-law graphs with parameter $γ> 5/2$ and sufficiently many edges. For directed degree sequences such that the switch chain is irreducible, we prove that the switch chain is rapidly mixing when all in-degrees and out-degrees are positive and bounded above by $\frac{1}{4}\, \sqrt{m}$, where $m$ is the number of arcs, and not all in-degrees and out-degrees equal 1. The mixing time bound obtained in the directed case is an order of $m^2$ larger than that established in the regular case.
2017-01-23
Euler characteristics of cominuscule quantum K-theory
Published • View Publication • BIB
We prove an identity relating the product of two opposite Schubert varieties in the (equivariant) quantum K-theory ring of a cominuscule flag variety to the minimal degree of a rational curve connecting the Schubert varieties. We deduce that the sum of the structure constants associated to any product of Schubert classes is equal to one. Equivalently, the sheaf Euler characteristic map extends to a ring homomorphism defined on the quantum K-theory ring.
2017-01-23 v4
Behind Every Great Tree is a Great (Phylogenetic) Network
In Francis and Steel (2015), it was shown that there exists non-trivial networks on $4$ leaves upon which the distance metric affords a metric on a tree which is not the base tree of the network. In this paper we extend this result in two directions. We show that for any tree $T$ there exists a family of non-trivial HGT networks $N$ for which the distance metric $d_N$ affords a metric on $T$. We additionally provide a class of networks on any number of leaves upon which the distance metric affords a metric on a tree which is not the base tree of the network. The family of networks are all "floating" networks, a subclass of a novel family of networks introduced in this paper, and referred to as "versatile" networks. Versatile networks are then characterised. Additionally, we find a lower bound for the number of `useful' HGT arcs in such networks, in a sense explained in the paper. This lower bound is equal to the number of HGT arcs required for each floating network in the main results, and thus our networks are minimal in this sense.
2017-01-23 v2
Generalized coinvariant algebras for wreath products
Published • View Publication • BIB
Let $r$ be a positive integer and let $G_n$ be the reflection group of $n \times n$ monomial matrices whose entries are $r^{th}$ complex roots of unity and let $k \leq n$. We define and study two new graded quotients $R_{n,k}$ and $S_{n,k}$ of the polynomial ring $\mathbb{C}[x_1, \dots, x_n]$ in $n$ variables. When $k = n$, both of these quotients coincide with the classical coinvariant algebra attached to $G_n$. The algebraic properties of our quotients are governed by the combinatorial properties of $k$-dimensional faces in the Coxeter complex attached to $G_n$ (in the case of $R_{n,k}$) and $r$-colored ordered set partitions of $\{1, 2, \dots, n\}$ with $k$ blocks (in the case of $S_{n,k}$). Our work generalizes a construction of Haglund, Rhoades, and Shimozono from the symmetric group $\mathfrak{S}_n$ to the more general wreath products $G_n$.
2017-01-23
A Note on Weak Dirac Conjecture
Published • View Publication • BIB
We show that every set $\mathcal{P}$ of $n$ non-collinear points in the plane contains a point incident to at least $\lceil\frac{n}{3}\rceil+1$ of the lines determined by $\mathcal{P}$.
2017-01-23
Spin $q$-Whittaker polynomials
Published • View Publication • BIB
We introduce and study a one-parameter generalization of the q-Whittaker symmetric functions. This is a family of multivariate symmetric polynomials, whose construction may be viewed as an application of the procedure of fusion from integrable lattice models to a vertex model interpretation of a one-parameter generalization of Hall-Littlewood polynomials from [Bor17, BP16a, BP16b]. We prove branching and Pieri rules, standard and dual (skew) Cauchy summation identities, and an integral representation for the new polynomials.
2017-01-23 v2
Induced subgraphs of graphs with large chromatic number. VII. Gyárfás' complementation conjecture
Published • View Publication • BIB
A class of graphs is $χ$-bounded if there is a function $f$ such that $χ(G)\le f(ω(G))$ for every induced subgraph $G$ of every graph in the class, where $χ,ω$ denote the chromatic number and clique number of $G$ respectively. In 1987, Gyárfás conjectured that for every $c$, if $\mathcal{C}$ is a class of graphs such that $χ(G)\le ω(G)+c$ for every induced subgraph $G$ of every graph in the class, then the class of complements of members of $\mathcal{C}$ is $χ$-bounded. We prove this conjecture. Indeed, more generally, a class of graphs is $χ$-bounded if it has the property that no graph in the class has $c+1$ odd holes, pairwise disjoint and with no edges between them. The main tool is a lemma that if $C$ is a shortest odd hole in a graph, and $X$ is the set of vertices with at least five neighbours in $V(C)$, then there is a three-vertex set that dominates $X$.
2017-01-23
Invariant Theory of finite general linear groups modulo Frobenius powers
Published in Communications in Algebra, 46:10 (2018), 4511-4529 • View Publication • BIB
We prove some cases of a conjecture of Lewis, Reiner and Stanton regarding Hilbert series corresponding to the action of $Gl_n(\mathbb{F}_q)$ on a polynomial ring modulo Frobenius powers. We also give a few conjectures about the invariant ring for certain cases that we don't prove completely.
2017-01-23 v2
An improved bound for disjoint directed cycles
Published in Discrete Mathematics 341.8 (2018), 2231-2236 • View Publication • BIB
We show that every directed graph with minimum out-degree at least $18k$ contains at least $k$ vertex disjoint cycles. This is an improvement over the result of Alon who showed this result for digraphs of minimum out-degree at least $64k$. The main benefit of the argument is that getting better results for small values of $k$ allows for further improvements to the constant.
Counting Arithmetical Structures on Paths and Cycles
Published in Discrete Math. 341 (2018), no. 10, 2949-2963 • View Publication • BIB
Let $G$ be a finite, simple, connected graph. An arithmetical structure on $G$ is a pair of positive integer vectors $\mathbf{d},\mathbf{r}$ such that $(\mathrm{diag}(\mathbf{d})-A)\mathbf{r}=0$, where $A$ is the adjacency matrix of $G$. We investigate the combinatorics of arithmetical structures on path and cycle graphs, as well as the associated critical groups (the cokernels of the matrices $(\mathrm{diag}(\mathbf{d})-A)$). For paths, we prove that arithmetical structures are enumerated by the Catalan numbers, and we obtain refined enumeration results related to ballot sequences. For cycles, we prove that arithmetical structures are enumerated by the binomial coefficients $\binom{2n-1}{n-1}$, and we obtain refined enumeration results related to multisets. In addition, we determine the critical groups for all arithmetical structures on paths and cycles.
Congruences modulo cyclotomic polynomials and algebraic independence for $q$-series
We prove congruence relations modulo cyclotomic polynomials for multisums of $q$-factorial ratios, therefore generalizing many well-known $p$-Lucas congruences. Such congruences connect various classical generating series to their $q$-analogs. Using this, we prove a propagation phenomenon: when these generating series are algebraically independent, this is also the case for their $q$-analogs.
2017-01-23 v4
Algebraic matroids and Frobenius flocks
Published in Advances in Mathematics, Volume 323, 7 January 2018, Pages 688-719 • View Publication • BIB
We show that each algebraic representation of a matroid $M$ in positive characteristic determines a matroid valuation of $M$, which we have named the {\em Lindström valuation}. If this valuation is trivial, then a linear representation of $M$ in characteristic $p$ can be derived from the algebraic representation. Thus, so-called rigid matroids, which only admit trivial valuations, are algebraic in positive characteristic $p$ if and only if they are linear in characteristic $p$. To construct the Lindström valuation, we introduce new matroid representations called flocks, and show that each algebraic representation of a matroid induces flock representations.