Showing 20 papers (Total: 82851 papers, 47869 authors in database)
Distance colouring without one cycle length
Published in Combinatorics, Probability and Computing, 27(5), 794-807, 2018
• View Publication
• BIB
We consider distance colourings in graphs of maximum degree at most $d$ and how excluding one fixed cycle length $\ell$ affects the number of colours required as $d\to\infty$. For vertex-colouring and $t\ge 1$, if any two distinct vertices connected by a path of at most $t$ edges are required to be coloured differently, then a reduction by a logarithmic (in $d$) factor against the trivial bound $O(d^t)$ can be obtained by excluding an odd cycle length $\ell \ge 3t$ if $t$ is odd or by excluding an even cycle length $\ell \ge 2t+2$. For edge-colouring and $t\ge 2$, if any two distinct edges connected by a path of fewer than $t$ edges are required to be coloured differently, then excluding an even cycle length $\ell \ge 2t$ is sufficient for a logarithmic factor reduction. For $t\ge 2$, neither of the above statements are possible for other parity combinations of $\ell$ and $t$. These results can be considered extensions of results due to Johansson (1996) and Mahdian (2000), and are related to open problems of Alon and Mohar (2002) and Kaiser and Kang (2014).
Indistinguishable sceneries on the Boolean hypercube
Published in Combinator. Probab. Comp. 28 (2019) 46-60
• View Publication
• BIB
We show that the scenery reconstruction problem on the Boolean hypercube is in general impossible. This is done by using locally biased functions, in which every vertex has a constant fraction of neighbors colored by $1$, and locally stable functions, in which every vertex has a constant fraction of neighbors colored by its own color. Our methods are constructive, and also give super-polynomial lower bounds on the number of locally biased and locally stable functions. We further show similar results for $\mathbb{Z}^n$ and other graphs, and offer several follow-up questions.
Degenerate Turán problems for hereditary properties
Published
• View Publication
• BIB
Let $H$ be a graph and $t\geq s\geq 2$ be integers. We prove that if $G$ is an $n$-vertex graph with no copy of $H$ and no induced copy of $K_{s,t}$, then $λ(G) = O\left(n^{1-1/s}\right)$ where $λ(G)$ is the spectral radius of the adjacency matrix of $G$. Our results are motivated by results of Babai, Guiduli, and Nikiforov bounding the maximum spectral radius of a graph with no copy (not necessarily induced) of $K_{s,t}$.
The asymptotic volume of diagonal subpolytopes of symmetric stochastic matrices
The asymptotic volume of the polytope of symmetric stochastic matrices can be determined by asymptotic enumeration techniques as in the case of the Birkhoff polytope. These methods can be extended to polytopes of symmetric stochastic matrices with given diagonal, if this diagonal varies not too wildly. To this end, the asymptotic number of symmetric matrices with natural entries, zero diagonal and varying row sums is determined and a third order correction factor to this is examined.
Packing and covering odd cycles in cubic plane graphs with small faces
Published in European Journal of Combinatorics 67: 208-221, 2018
• View Publication
• BIB
We show that any $3$-connected cubic plane graph on $n$ vertices, with all faces of size at most $6$, can be made bipartite by deleting no more than $\sqrt{(p+3t)n/5}$ edges, where $p$ and $t$ are the numbers of pentagonal and triangular faces, respectively. In particular, any such graph can be made bipartite by deleting at most $\sqrt{12n/5}$ edges. This bound is tight, and we characterise the extremal graphs. We deduce tight lower bounds on the size of a maximum cut and a maximum independent set for this class of graphs. This extends and sharpens the results of Faria, Klein and Stehlik [SIAM J. Discrete Math. 26 (2012) 1458-1469].
Hamilton paths with lasting separation
Published
• View Publication
• BIB
We determine the asymptotics of the largest cardinality of a set of Hamilton paths in the complete graph with vertex set [n] under the condition that for any two of the paths in the family there is a subpath of length k entirely contained in only one of them and edge{disjoint from the other one.
On Number of Rich Words
Published
• View Publication
• BIB
Any finite word $w$ of length $n$ contains at most $n+1$ distinct palindromic factors. If the bound $n+1$ is reached, the word $w$ is called rich. The number of rich words of length $n$ over an alphabet of cardinality $q$ is denoted $R_n(q)$. For binary alphabet, Rubinchik and Shur deduced that ${R_n(2)}\leq c 1.605^n $ for some constant $c$. We prove that $\lim\limits_{n\rightarrow \infty }\sqrt[n]{R_n(q)}=1$ for any $q$, i.e. $R_n(q)$ has a subexponential growth on any alphabet.
Definable sets containing productsets in expansions of groups
Published in Journal of Group Theory 22 (2019), no. 1, 63-82
• View Publication
• BIB
We consider the question of when sets definable in first-order expansions of groups contain the product of two infinite sets (we refer to this as the "productset property"). We first show that the productset property holds for any definable subset $A$ of an expansion of a discrete amenable group such that $A$ has positive Banach density and the formula $x\cdot y\in A$ is stable. For arbitrary expansions of groups, we consider a "$1$-sided" version of the productset property, which is characterized in various ways using coheir independence. For stable groups, the productset property is equivalent to this $1$-sided version, and behaves as a notion of largeness for definable sets, which can be characterized by a natural weakening of model-theoretic genericity. Finally, we use recent work on regularity lemmas in distal theories to prove a definable version of the productset property for sets of positive Banach density definable in certain distal expansions of amenable groups.
Almost partitioning 2-coloured complete 3-uniform hypergraphs into two monochromatic tight or loose cycles
Published
• View Publication
• BIB
We show that for every η > 0 there exists an integer n_0 such that every 2-colouring of the 3-uniform complete hypergraph on n \geq n_0 vertices contains two disjoint monochromatic tight cycles of distinct colours that together cover all but at most ηn vertices. The same result holds if we replace tight cycles with loose cycles.
A note on sub-total domination in graphs
Let $G$ be a simple and finite graph without isolated vertices. In this paper we introduce and study a new degree sequence derived invariant called the \emph{sub-total domination number}, denoted $\sub_t(G)$. In particular, we show that $\sub_t(G)$ serves as a lower bound on $γ_t(G)$, where $γ_t(G)$ denotes the heavily studied \emph{total domination number} of $G$.
Random Monomial Ideals
Published
• View Publication
• BIB
Inspired by the study of random graphs and simplicial complexes, and motivated by the need to understand average behavior of ideals, we propose and study probabilistic models of random monomial ideals. We prove theorems about the probability distributions, expectations and thresholds for events involving monomial ideals with given Hilbert function, Krull dimension, first graded Betti numbers, and present several experimentally-backed conjectures about regularity, projective dimension, strong genericity, and Cohen-Macaulayness of random monomial ideals.
A bound on degrees of primitive elements of toric graph ideals
Published
• View Publication
• BIB
We prove that for any toric ideal of a graph the degree of any element of Graver basis is bounded above by an exponential function of the maximal degree of a circuit.
Towards Resolving Keller's Cube Tiling Conjecture in Dimension Seven
Published
• View Publication
• BIB
A cube tiling of $\mathbb{R}^d$ is a family of pairwise disjoint cubes $[0,1)^d+T=\{[0,1)^d+t\colon t\in T\}$ such that $\bigcup_{t\in T}([0,1)^d+t)=\mathbb{R}^d$. Two cubes $[0,1)^d+t$, $[0,1)^d+s$ are called a twin pair if $|t_j-s_j|=1$ for some $j\in [d]=\{1,\ldots, d\}$ and $t_i=s_i$ for every $i\in [d]\setminus \{j\}$. In $1930$, Keller conjectured that in every cube tiling of $\mathbb{R}^d$ there is a twin pair. Keller's conjecture is true for dimensions $d\leq 6$ and false for all dimensions $d\geq 8$. For $d=7$ the conjecture is still open. Let $x\in \mathbb{R}^d$, $i\in [d]$, and let $L(T,x,i)$ be the set of all $i$th coordinates $t_i$ of vectors $t\in T$ such that $([0,1)^d+t)\cap ([0,1]^d+x)\neq \emptyset$ and $t_i\leq x_i$. Let $r^-(T)=\min_{x\in \mathbb{R}^d}\; \max_{1\leq i\leq d}|L(T,x,i)|$ and $r^+(T)=\max_{x\in \mathbb{R}^d}\; \max_{1\leq i\leq d}|L(T,x,i)|$. It is known that if $r^-(T)\leq 2$ or $r^+(T)\geq 5$, then Keller's conjecture is true for $d=7$. In the paper we show that it is also true for $d=7$ if $r^+(T)=4$. Thus, if $[0,1)^7+T$ is a counterexample to Keller's conjecture, then $r^+(T)=3$, which is the last unsolved case of Keller's conjecture. Additionally, a new proof of Keller's conjecture in dimensions $d\leq 6$ is given.
Lonesum decomposable matrices
Published
• View Publication
• BIB
A lonesum matrix is a $(0,1)$-matrix that is uniquely determined by its row and column sum vectors. In this paper, we introduce lonesum decomposable matrices and study their properties. We provide a necessary and sufficient condition for a matrix $A$ to be lonesum decomposable, and give a generating function for the number $D_k(m,n)$ of $m\times n$ lonesum decomposable matrices of order $k$. Moreover, by using this generating function we prove some congruences for $D_k(m,n)$ modulo a prime.
On problems about judicious bipartitions of graphs
Published
• View Publication
• BIB
Bollobás and Scott [5] conjectured that every graph $G$ has a balanced bipartite spanning subgraph $H$ such that for each $v\in V(G)$, $d_H(v)\ge (d_G(v)-1)/2$. In this paper, we show that every graphic sequence has a realization for which this Bollobás-Scott conjecture holds, confirming a conjecture of Hartke and Seacrest [10]. On the other hand, we give an infinite family of counterexamples to this Bollobás-Scott conjecture, which indicates that $\lfloor (d_G(v)-1)/2\rfloor$ (rather than $(d_G(v)-1)/2$) is probably the correct lower bound. We also study bipartitions $V_1, V_2$ of graphs with a fixed number of edges. We provide a (best possible) upper bound on $e(V_1)^λ+e(V_2)^λ$ for any real $λ\geq 1$ (the case $λ=2$ is a question of Scott [13]) and answer a question of Scott [13] on $\max\{e(V_1),e(V_2)\}$.
Polynomial equations in function fields
Published
• View Publication
• BIB
The breakthrough paper of Croot, Lev, Pach \cite{CLP} on progression-free sets in $\Z_4^n$ introduced a polynomial method that has generated a wealth of applications, such as Ellenberg and Gijswijt's solutions to the cap set problem \cite{EG}. Using this method, we bound the size of a set of polynomials over $\F_q$ of degree less than $n$ that is free of solutions to the equation $\sum_{i=1}^k a_if_i^r=0$, where the coefficients $a_i$ are polynomials that sum to 0 and the number of variables satisfies $k\geq 2r^2+1$. The bound we obtain is of the form $q^{cn}$ for some constant $c<1$. This is in contrast to the best bounds known for the corresponding problem in the integers, which offer only a logarithmic saving, but work already with as few as $k\geq r^2+1$ variables.
Rational Noncrossing Partitions for all Coprime Pairs
Published
• View Publication
• BIB
For coprime positive integers $a<b$, Armstrong, Rhoades, and Williams (2013) defined a set $NC(a,b)$ of rational noncrossing partitions, a subset of the ordinary noncrossing partitions of $\{1, \ldots, b-1\}$. Bodnar and Rhoades (2015) confirmed their conjecture that $NC(a,b)$ is closed under rotation and proved an instance of the cyclic sieving phenomenon for this rotation action. We give a definition of $NC(a,b)$ which works for all coprime $a$ and $b$ and prove closure under rotation and cyclic sieving in this more general setting. We also generalize noncrossing parking functions to all coprime $a$ and $b$, and provide a character formula for the action of $\mathfrak{S}_a \times \mathbb{Z}_{b-1}$ on $\mathsf{Park}^{NC}(a,b)$.
Refined Enumeration of Corners in Tree-like Tableaux
Published in Discrete Mathematics & Theoretical Computer Science, Vol. 19 no. 3, Combinatorics (September 26, 2017) dmtcs:3683
• View Publication
• BIB
Tree-like tableaux are certain fillings of Ferrers diagrams originally introduced by Aval et al., which are in simple bijections with permutation tableaux coming from Postnikov's study of totally nonnegative Grassmanian and alternative tableaux introduced by Viennot. In this paper, we confirm two conjectures of Gao et al. on the refined enumeration of non-occupied corners in tree-like tableaux and symmetric tree-like tableaux via intermediate structures of alternative tableaux, linked partitions, type $B$ alternative tableaux and type $B$ linked partitions.
Induced subgraphs of graphs with large chromatic number. VIII. Long odd holes
Published
• View Publication
• BIB
We prove a conjecture of Andras Gyarfas, that for all k,t, every graph with clique number at most k and sufficiently large chromatic number has an odd hole of length at least t.
Enumeration of Graphs and the Characteristic Polynomial of the Hyperplane Arrangements $\mathcal{J}_n$
We give a complete formula for the characteristic polynomial of hyperplane arrangements $\mathcal J_n$ consisting of the hyperplanes $x_i+x_j=1$, $x_k=0$, $x_l=1$, $ 1\leq i, j, k, l\leq n$. The formula is obtained by associating hyperplane arrangements with graphs, and then enumerating central graphs via generating functions for the number of bipartite graphs of given order, size and number of connected components.