arXiv++ Combinatorics

Browse math.CO papers from arXiv

Showing 20 papers (Total: 84253 papers, 48533 authors in database)
Fixed points of 321-avoiding permutations
Published in Proc. Amer. Math. Soc. 147 (2019), 861-872 • View Publication • BIB
We describe the distribution of the number and location of the fixed points of permu- tations that avoid the pattern 321 via a bijection with rooted plane trees on n + 1 vertices. Using the local limit theorem for Galton-Watson trees, we are able to give an explicit description of the limit of this distribution.
2016-07-29 v3
A flow based pruning scheme for enumerative equitable coloring algorithms
Published • View Publication • BIB
An equitable graph coloring is a proper vertex coloring of a graph G where the sizes of the color classes differ by at most one. The equitable chromatic number is the smallest number k such that G admits such equitable k-coloring. We focus on enumerative algorithms for the computation of the equitable coloring number and propose a general scheme to derive pruning rules for them: We show how the extendability of a partial coloring into an equitable coloring can be modeled via network flows. Thus, we obtain pruning rules which can be checked via flow algorithms. Computational experiments show that the search tree of enumerative algorithms can be significantly reduced in size by these rules and, in most instances, such naive approach even yields a faster algorithm. Moreover, the stability, i.e., the number of solved instances within a given time limit, is greatly improved. Since the execution of flow algorithms at each node of a search tree is time consuming, we derive arithmetic pruning rules (generalized Hall-conditions) from the network model. Adding these rules to an enumerative algorithm yields an even larger runtime improvement.
2016-07-29
A Generalization of Gale's lemma
Published • View Publication • BIB
In this work, we present a generalization of Gale's lemma. Using this generalization, we introduce two combinatorial sharp lower bounds for ${\rm conid}({\rm B}_0(G))+1$ and ${\rm conid}({\rm B}(G))+2$, two famous topological lower bounds for the chromatic number of a graph $G$.
2016-07-29
The structure and the number of $P_7$-free bipartite graphs
Published • View Publication • BIB
We show that the number of labelled $P_7$-free bipartite graphs with $n$ vertices grows as $n^{Θ(n)}$. This resolves an open problem posed by Allen [P. Allen, Forbidden induced bipartite graphs. J. Graph Theory 60 (2009), no. 3, 219--241.], and completes the description of speeds of monogenic classes of bipartite graphs. Our solution is based on a new decomposition scheme of bipartite graphs, which is of independent interest.
2016-07-29 v6
Trimming and gluing Gray codes
Published in Theoretical Computer Science 714:74-95, 2018 • View Publication • BIB
We consider the algorithmic problem of generating each subset of $[n]:=\{1,2,\ldots,n\}$ whose size is in some interval $[k,l]$, $0\leq k\leq l\leq n$, exactly once (cyclically) by repeatedly adding or removing a single element, or by exchanging a single element. For $k=0$ and $l=n$ this is the classical problem of generating all $2^n$ subsets of $[n]$ by element additions/removals, and for $k=l$ this is the classical problem of generating all $\binom{n}{k}$ subsets of $[n]$ by element exchanges. We prove the existence of such cyclic minimum-change enumerations for a large range of values $n$, $k$, and $l$, improving upon and generalizing several previous results. For all these existential results we provide optimal algorithms to compute the corresponding Gray codes in constant $\mathcal{O}(1)$ time per generated set and $\mathcal{O}(n)$ space. Rephrased in terms of graph theory, our results establish the existence of (almost) Hamilton cycles in the subgraph of the $n$-dimensional cube $Q_n$ induced by all levels $[k,l]$. We reduce all remaining open cases to a generalized version of the middle levels conjecture, which asserts that the subgraph of $Q_{2k+1}$ induced by all levels $[k-c,k+1+c]$, $c\in\{0,1,\ldots,k\}$, has a Hamilton cycle. We also prove an approximate version of this generalized conjecture, showing that this graph has a cycle that visits a $(1-o(1))$-fraction of all vertices.
2016-07-29
A note on the order of iterated line digraphs
Given a digraph $G$, we propose a new method to find the recurrence equation for the number of vertices $n_k$ of the $k$-iterated line digraph $L^k(G)$, for $k\geq0$, where $L^0(G)=G$. We obtain this result by using the minimal polynomial of a quotient digraph $π(G)$ of $G$. We show some examples of this method applied to the so-called cyclic Kautz, the unicyclic, and the acyclic digraphs. In the first case, our method gives the enumeration of the ternary length-2 squarefree words of any length.
2016-07-29
On the addition of squares of units modulo n
Published • View Publication • BIB
Let $\mathbb{Z}_n$ be the ring of residue classes modulo $n$, and let $\mathbb{Z}_n^{\ast}$ be the group of its units. 90 years ago, Brauer obtained a formula for the number of representations of $c\in \mathbb{Z}_n$ as the sum of $k$ units. Recently, Yang and Tang in [Q. Yang, M. Tang, On the addition of squares of units and nonunits modulo $n$, J. Number Theory., 155 (2015) 1--12] gave a formula for the number of solutions of the equation $x_1^2+x_2^2=c$ with $x_{1},x_{2}\in \mathbb{Z}_n^{\ast}$. In this paper, we generalize this result. We find an explicit formula for the number of solutions of the equation $x^2_{1}+\cdots+x^2_{k}=c$ with $x_{1},\ldots,x_{k}\in \mathbb{Z}_n^{\ast}$.
2016-07-29 v2
Bounding the distance among longest paths in a connected graph
Published • View Publication • BIB
It is easy to see that in a connected graph any 2 longest paths have a vertex in common. For k>=7, Skupien in [7] obtained a connected graph in which some k longest paths have no common vertex, but every k-1 longest paths have a common vertex. It is not known whether every 3 longest paths in a connected graph have a common vertex and similarly for 4, 5, and 6 longest path. In [5] the authors give an upper bound on distance among 3 longest paths in a connected graph. In this paper we give a similar upper bound on distance between 4 longest paths and also for k longest paths, in general.
2016-07-29 v3
Law of Iterated Logarithm for random graphs
Published • View Publication • BIB
A milestone in Probability Theory is the law of the iterated logarithm (LIL), proved by Khinchin and independently by Kolmogorov in the 1920s, which asserts that for iid random variables $\{t_i\}_{i=1}^{\infty}$ with mean $0$ and variance $1$ $$ \Pr \left[ \limsup_{n\rightarrow \infty} \frac{ \sum_{i=1}^n t_i }{σ_n \sqrt {2 \log \log n }} =1 \right] =1 . $$ In this paper we prove that LIL holds for various functionals of random graphs and hypergraphs models. We first prove LIL for the number of copies of a fixed subgraph $H$. Two harder results concern the number of global objects: perfect matchings and Hamiltonian cycles. The main new ingredient in these results is a large deviation bound, which may be of independent interest. For random $k$-uniform hypergraphs, we obtain the Central Limit Theorem (CLT) and LIL for the number of Hamilton cycles.
2016-07-29
On Hyperoctahedral Enumeration System, Application to Signed Permutations
Published • View Publication • BIB
In this paper, we start by giving the definitions and basic facts about hyperoctahedral number system. There is a natural correspondence between the integers expressed in the latter and the elements of the hyperoctahedral group when we use the inversion statistic on this group to code the signed permutations. We use this correspondence to define a way with which the signed permutations group can be ordered. With this classification scheme, we can find the r-th signed permutation from a given number r and vice versa without consulting the list in lexicographical order of the elements of the signed permutations group.
2016-07-29 v2
Asymptotic Enumeration of Difference Matrices over Cyclic Groups
Published • View Publication • BIB
We identify a relationship between a certain family of random walks on Euclidean lattices and difference matrices over cyclic groups. We then use the techniques of Fourier analysis to estimate the return probabilities of these random walks, which in turn yields the asymptotic number of difference matrices over cyclic groups as the number of columns increases.
2016-07-28
The first few unicyclic and bicyclic hypergraphs with larger spectral radii
Published • View Publication • BIB
A connected $k$-uniform hypergraph with $n$ vertices and $m$ edges is called $r$-cyclic if $n=m(k-1)-r+1$. For $r=1$ or $2$, the hypergraph is simply called unicyclic or bicyclic. In this paper we investigate hypergraphs that attain larger spectral radii among all simple connected $k$-uniform unicyclic and bicyclic hypergraphs. Specifically, by using some edge operations, the formula on power hypergraph eigenvalues, the weighted incidence matrix and a result on linear unicyclic hypergraphs, we determined the first five hypergraphs with larger spectral radius among all unicyclic hypergraphs and the first three over all bicyclic hypergraphs.
2016-07-28
On the Tight Chromatic Bounds for a Class of Graphs without Three Induced Subgraphs
Here we prove that a graph without some three induced subgraphs has chromatic number at the most equal to its maximum clique size plus one. Further we show that the bounds are tight and give examples to show that each of the three forbidden subgraphs is necessary in the hypothesis.
2016-07-28 v4
Mixing Properties for Hom-Shifts and the Distance between Walks on Associated Graphs
Published in Pacific J. Math. 294 (2018) 41-69 • View Publication • BIB
Let $\mathcal H$ be a finite connected undirected graph and $\mathcal H_{walk}$ be the graph of bi-infinite walks on $\mathcal H$; two such walks $\{x_i\}_{i\in \mathbb Z}$ and $\{y_i\}_{i \in \mathbb Z}$ are said to be adjacent if $x_i$ is adjacent to $y_i$ for all $i \in \mathbb Z$. We consider the question: Given a graph $\mathcal H$ when is the diameter (with respect to the graph metric) of $\mathcal H_{walk}$ finite? Such questions arise while studying mixing properties of hom-shifts (shift spaces which arise as the space of graph homomorphisms from the Cayley graph of $\mathbb Z^d$ with respect to the standard generators to $\mathcal H$) and are the subject of this paper.
2016-07-28 v2
Exponential Patterns in Arithmetic Ramsey Theory
Published • View Publication • BIB
We show that for every finite colouring of the natural numbers there exists $a,b >1$ such that the triple $\{a,b,a^b\}$ is monochromatic. We go on to show the partition regularity of a much richer class of patterns involving exponentiation. For example, as a corollary to our main theorem, we show that for every $n \in \mathbb{N}$ and for every finite colouring of the natural numbers, we may find a monochromatic set including the integers $x_1,\ldots,x_n >1$; all products of distinct $x_i$; and all "exponential compositions" of distinct $x_i$ which respect the order $x_1,\ldots,x_n$. In particular, for every finite colouring of the natural numbers one can find a monochromatic quadruple of the form $\{ a,b,ab,a^b \}$, where $a,b>1$.
2016-07-28
A new progress on Weak Dirac conjecture
In 2014, Payne-Wood proved that every non-collinear set $P$ of $n$ points in the Euclidean plane contains a point in at least $\dfrac{n}{37}$ lines determined by $P.$ This is a remarkable answer for the conjecture, which was proposed by Erdős, that every non-collinear set $P$ of $n$ points contains a point in at least $\dfrac{n}{c_1}$ lines determined by $P$, for some constant $c_1.$ In this article, we refine the result of Payne-Wood to give that every non-collinear set $P$ of $n$ points contains a point in at least $\dfrac{n}{26}+2$ lines determined by $P$ . Moreover, we also discuss some relations on theorem Beck that every set $P$ of $n$ points with at most $l$ collinear determines at least $\dfrac{1}{61}n(n-l)$ lines.
2016-07-28 v2
On solution-free sets of integers
Published • View Publication • BIB
Given a linear equation $\mathcal{L}$, a set $A \subseteq [n]$ is $\mathcal{L}$-free if $A$ does not contain any `non-trivial' solutions to $\mathcal{L}$. In this paper we consider the following three general questions: (i) What is the size of the largest $\mathcal{L}$-free subset of $[n]$? (ii) How many $\mathcal{L}$-free subsets of $[n]$ are there? (iii) How many maximal $\mathcal{L}$-free subsets of $[n]$ are there? We completely resolve (i) in the case when $\mathcal{L}$ is the equation $px+qy=z$ for fixed $p,q\in \mathbb N$ where $p\geq 2$. Further, up to a multiplicative constant, we answer (ii) for a wide class of such equations $\mathcal{L}$, thereby refining a special case of a result of Green. We also give various bounds on the number of maximal $\mathcal{L}$-free subsets of $[n]$ for three-variable homogeneous linear equations $\mathcal{L}$. For this, we make use of container and removal lemmas of Green.
2016-07-28 v3
Komlós's tiling theorem via graphon covers
Published in Journal of Graph Theory, 2019, 90(1), pages 24-45 • View Publication • BIB
Komlos [Komlos: Tiling Turan Theorems, Combinatorica, 2000] determined the asymptotically optimal minimum-degree condition for covering a given proportion of vertices of a host graph by vertex-disjoint copies of a fixed graph H, thus essentially extending the Hajnal-Szemeredi theorem which deals with the case when H is a clique. We give a proof of a graphon version of Komlos's theorem. To prove this graphon version, and also to deduce from it the original statement about finite graphs, we use the machinery introduced in [Hladky, Hu, Piguet: Tilings in graphons, arXiv:1606.03113]. We further prove a stability version of Komlos's theorem.
2016-07-28 v3
Fall-colorings and b-colorings of graph products
Given a proper coloring $f$ of a graph $G$, a b-vertex in $f$ is a vertex that is adjacent to every color class but its own. It is a b-coloring if every color class contains at least one b-vertex, and it is a fall-coloring if every vertex is a b-vertex. The b-chromatic number of $G$ is the maximum integer $b(G)$ for which $G$ has a b-coloring with $b(G)$ colors, while the fall-chromatic number and the fall-acromatic number of $G$ are, respectively, the minimum and maximum integers $f_1(G),f_2(G)$ for which $G$ has a fall-coloring. In this article, we explore the concepts of b-homomorphisms and Type II homomorphisms, which generalize the concepts of b-colorings and fall-colorings, and present some meta-theorems concerning products of graphs. As a result, we derive some previously known facts about these metrics on graph products. We also give a negative answer to a question posed by Kaul and Mitillos about fall-colorings of perfect graphs.
2016-07-28
Simple modules for the partition algebra and monotone convergence of Kronecker coefficients
Published • View Publication • BIB
We construct bases of the simple modules for partition algebras which are indexed by paths in an alcove geometry. This allows us to give a concrete interpretation (and new proof) of the monotone convergence property for Kronecker coefficients using stratifications of the cell modules of the partition algebra.