arXiv++ Combinatorics

Browse math.CO papers from arXiv

Showing 20 papers (Total: 82505 papers, 47699 authors in database)
2015-03-03 v8
Rank $n$ swapping algebra for $\operatorname{PGL}_n$ Fock-Goncharov $\mathcal{X}$ moduli space
Published in Math. Ann. (2020) • View Publication • BIB
The {\em rank $n$ swapping algebra} is a Poisson algebra defined on the set of ordered pairs of points of the circle using linking numbers, whose geometric model is given by a certain subspace of $(\mathbb{K}^n \times \mathbb{K}^{n*})^r/\operatorname{GL}(n,\mathbb{K})$. For any ideal triangulation of $D_k$---a disk with $k$ points on its boundary, using determinants, we find an injective Poisson algebra homomorphism from the fraction algebra generated by the Fock--Goncharov coordinates for $\mathcal{X}_{\operatorname{PGL}_n,D_k}$ to the rank $n$ swapping multifraction algebra for $r=k\cdot(n-1)$ with respect to the (Atiyah--Bott--)Goldman Poisson bracket and the swapping bracket. This is the building block of the general surface case. Two such injective Poisson algebra homomorphisms related to two ideal triangulations $\mathcal{T}$ and $\mathcal{T}'$ are compatible with each other under the flips.
2015-03-03
Diagonal Ramsey numbers of loose cycles in uniform hypergraphs
Published • View Publication • BIB
A $k$-uniform loose cycle $\mathcal{C}_n^k$ is a hypergraph with vertex set $\{v_1,v_2,\ldots,v_{n(k-1)}\}$ and with the set of $n$ edges $e_i=\{v_{(i-1)(k-1)+1},v_{(i-1)(k-1)+2},\ldots,v_{(i-1)(k-1)+k}\}$, $1\leq i\leq n$, where we use mod $n(k-1)$ arithmetic. The Ramsey number $R(\mathcal{C}^k_n,\mathcal{C}^k_n)$ is asymptotically $\frac{1}{2}(2k-1)n$ as has been proved by Gyárfás, Sárközy and Szemerédi. In this paper, we investigate to determining the exact value of diagonal Ramsey number of $\mathcal{C}^k_n$ and we show that for $n\geq 2$ and $k\geq 8$ $$R(\mathcal{C}^k_n,\mathcal{C}^k_n)=(k-1)n+\lfloor\frac{n-1}{2}\rfloor.$$
2015-03-03
Colorful paths for 3-chromatic graphs
In this paper, we prove that every 3-chromatic connected graph, except $C_7$, admits a 3-vertex coloring in which every vertex is the beginning of a 3-chromatic path. It is a special case of a conjecture due to S.~Akbari, F.~Khaghanpoor, and S.~Moazzeni, cited in [P.J. Cameron, Research problems from the BCC22, \emph{Discrete Math.} {\bf 311} (2011), 1074--1083], stating that every connected graph $G$ other than $C_7$ admits a $χ(G)$-coloring such that every vertex of $G$ is the beginning of a colorful path (i.e. a path of on $χ(G)$ vertices containing a vertex of each color). We also provide some support for the conjecture in the case of 4-chromatic graphs.
2015-03-03 v2
Selberg integrals, Askey-Wilson polynomials and lozenge tilings of a hexagon with a triangular hole
Published • View Publication • BIB
We obtain an explicit formula for a certain weighted enumeration of lozenge tilings of a hexagon with an arbitrary triangular hole. The complexity of our expression depends on the distance from the hole to the center of the hexagon. This proves and generalizes conjectures of Ciucu et al., who considered the case of plain enumeration when the triangle is located at or very near the center. Our proof uses Askey-Wilson polynomials as a tool to relate discrete and continuous Selberg-type integrals.
2015-03-03
Counting dominating sets and related structures in graphs
Published • View Publication • BIB
We consider some problems concerning the maximum number of (strong) dominating sets in a regular graph, and their weighted analogues. Our primary tool is Shearer's entropy lemma. These techniques extend to a reasonably broad class of graph parameters enumerating vertex colorings satisfying conditions on the multiset of colors appearing in (closed) neighborhoods. We also generalize further to enumeration problems for what we call existence homomorphisms. Here our results are substantially less complete, though we do solve some natural problems.
Discrete Malliavin-Stein method: Berry-Esseen bounds for random graphs and percolation
Published • View Publication • BIB
A new Berry-Esseen bound for non-linear functionals of non-symmetric and non-homogeneous infinite Rademacher sequences is established. It is based on a discrete version of the Malliavin-Stein method and an analysis of the discrete Ornstein-Uhlenbeck semigroup. The result is applied to sub-graph counts and to the number of vertices having a prescribed degree in the Erdős-Renyi random graph. A further application deals with a percolation problem on trees.
2015-03-03
2-Swappability and the Edge-Reconstruction Number of Regular Graphs
The edge-reconstruction number of graph $G$, denoted $ern(G)$,is the size of the smallest multiset of edge-deleted, unlabeled subgraphs of $G$, from which the structure of $G$ can be uniquely determined. That there was some connection between the areas of edge reconstruction and swappability has been known since the swapping number of a graph was first introduced by Froncek, Rosenberg, and Hlavacek in 2013. This paper illustrates the depth of that connection by proving several bridging results between those areas; in particular, when the graphs in question are both regular and 2-swappable. These connections led to the discovery of four infinite families of $r\geq 3$ regular graphs with $ern(G) \geq 3$, contradicting the formerly conjectured upper bound.
2015-03-03
On star-wheel Ramsey numbers
Published • View Publication • BIB
For two given graphs $G_1$ and $G_2$, the Ramsey number $R(G_1,G_2)$ is the least integer $r$ such that for every graph $G$ on $r$ vertices, either $G$ contains a $G_1$ or $\bar{G}$ contains a $G_2$. In this note, we determined the Ramsey number $R(K_{1,n},W_m)$ for even $m$ with $n+2\leq m\leq 2n-2$, where $W_m$ is the wheel on $m+1$ vertices, i.e., the graph obtained from a cycle $C_m$ by adding a vertex $v$ adjacent to all vertices of the $C_m$.
2015-03-02
An improved bound on the sizes of matchings guaranteeing a rainbow matching
Published • View Publication • BIB
A conjecture by Aharoni and Berger states that every family of $n$ matchings of size $n+1$ in a bipartite multigraph contains a rainbow matching of size $n$. In this paper we prove that matching sizes of $(3/2 + o(1)) n$ suffice to guarantee such a rainbow matching, which is asymptotically the same bound as the best known one in case we only aim to find a rainbow matching of size $n-1$. This improves previous results by Aharoni, Charbit and Howard, and Kotlar and Ziv.
Resolvable G-designs of order v and index λ
In this paper we consider the problem concerning the existence of a resolvable G-design of order v and index λ. We solve the problem for the cases in which G is a connected subgraph of K_4.
2015-03-02
Face-subgroups of permutation polytopes
In [Baumeister, H., Nill, Paffenholz, On permutation polytopes, Adv. Math. 222 (2009), 431-452 / arXiv:0709.1615] we conjectured a characterization of subgroups H of a permutation group G so that, on the level of permutation polytopes, P(H) is a face of P(G). Here we present the embarrassingly simple proof of this conjecture.
2015-03-02 v2
Optimal path and cycle decompositions of dense quasirandom graphs
Published in Journal of Combinatorial Theory, Series B 118 (2016), 88-108 • View Publication • BIB
Motivated by longstanding conjectures regarding decompositions of graphs into paths and cycles, we prove the following optimal decomposition results for random graphs. Let $0<p<1$ be constant and let $G\sim G_{n,p}$. Let $odd(G)$ be the number of odd degree vertices in $G$. Then a.a.s. the following hold: (i) $G$ can be decomposed into $\lfloorΔ(G)/2\rfloor$ cycles and a matching of size $odd(G)/2$. (ii) $G$ can be decomposed into $\max\{odd(G)/2,\lceilΔ(G)/2\rceil\}$ paths. (iii) $G$ can be decomposed into $\lceilΔ(G)/2\rceil$ linear forests. Each of these bounds is best possible. We actually derive (i)--(iii) from `quasirandom' versions of our results. In that context, we also determine the edge chromatic number of a given dense quasirandom graph of even order. For all these results, our main tool is a result on Hamilton decompositions of robust expanders by Kühn and Osthus.
2015-03-02
Well-quasi-ordering does not imply bounded clique-width
Published • View Publication • BIB
We present a hereditary class of graphs of unbounded clique-width which is well-quasi-ordered by the induced subgraph relation. This result provides a negative answer to the question asked by Daligault, Rao and Thomassé in ("Well-quasi-order of relabel functions", Order, 27(3):301--315, 2010).
2015-03-02 v3
Parity binomial edge ideals
Published in Journal of Algebraic Combinatorics 44(1) (2016), pp 99-117 • View Publication • BIB
Parity binomial edge ideals of simple undirected graphs are introduced. Unlike binomial edge ideals, they do not have square-free Gröbner bases and are radical if only if the graph is bipartite or the characteristic of the ground field is not two. The minimal primes are determined and shown to encode combinatorics of even and odd walks in the graph. A mesoprimary decomposition is determined and shown to be a primary decomposition in characteristic two.
2015-03-02
Noncrossing partitions and Bruhat order
Published • View Publication • BIB
We prove that the restriction of Bruhat order to noncrossing partitions in type $A_n$ for the Coxeter element $c=s_1s_2 ...s_n$ forms a distributive lattice isomorphic to the order ideals of the root poset ordered by inclusion. Motivated by the change-of-basis from the graphical basis of the Temperley-Lieb algebra to the image of the simple elements of the dual braid monoid, we extend this bijection to other Coxeter elements using certain canonical factorizations. In particular, we give new bijections---fixing the set of reflections---between noncrossing partitions associated to distinct Coxeter elements.
2015-03-02 v3
Color or cover
If all but two vertices of a triangulated sphere have degrees divisible by $k$, then the exceptional vertices are not adjacent. This theorem is proved for $k=2$ with the help of the coloring monodromy. For $k = 3, 4, 5$ colorings by the vertices of platonic solids have to be used. With a coloring monodromy one can associate a branched cover. This generalizes to a space of germs between two triangulated surfaces. We also discuss relations with Belyi surfaces and with cone-metrics of constant curvature.
2015-03-02 v2
An improved bound on the diamond-free poset problem
In the theory of partially-ordered sets, the two-dimensional Boolean lattice is known as the diamond. In this paper, we show that, if $\mathcal{F}$ is a family in the $n$-dimensional Boolean lattice that has no diamond as a subposet, then $|\mathcal{F}|\leq 2.206653{n\choose \lfloor n/2\rfloor}$, improving a bound by the authors and Michael Young.
2015-03-02 v2
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.
2015-03-02 v2
Curve Diagrams, Laminations, and the Geometric Complexity of Braids
Published in Journal of Knot Theory and its Ramifications, 24(8), 1550043 (2015) • View Publication • BIB
Braids can be represented geometrically as curve diagrams. The geometric complexity of a braid is the minimal complexity of a curve diagram representing it. We introduce and study the corresponding notion of geometric generating function. We compute explicitly the geometric generating function for the group of braids on three strands and prove that it is neither rational nor algebraic, nor even holonomic. This result may appear as counterintuitive. Indeed, the standard complexity (due to the Artin presentation of braid groups) is algorithmically harder to compute than the geometric complexity, yet the associated generating function for the group of braids on three strands is rational.
2015-03-02
On Triples of Numbers
Among three natural numbers there is always one which is larger than or equal to the Nim sum of the remaining two numbers. This amazing fact has many applications.