Showing 20 papers (Total: 84125 papers, 48472 authors in database)
On the Hamilton-Waterloo Problem with odd orders
Published
• View Publication
• BIB
Given non-negative integers $v, m, n, α, β$, the Hamilton-Waterloo problem asks for a factorization of the complete graph $K_v$ into $α$ $C_m$-factors and $β$ $C_n$-factors. Clearly, $v$ odd, $n,m\geq 3$, $m\mid v$, $n\mid v$ and $α+β= (v-1)/2$ are necessary conditions. To date results have only been found for specific values of $m$ and $n$. In this paper we show that for any $m$ and $n$ the necessary conditions are sufficient when $v$ is a multiple of $mn$ and $v>mn$, except possibly when $β=1$ or 3, with five additional possible exceptions in $(m,n,β)$. For the case where $v=mn$ we show sufficiency when $β> (n+5)/2$ except possibly when $(m,α) = (3,2)$, $(3,4)$, with seven further possible exceptions in $(m,n,α,β)$. We also show that when $n\geq m\geq 3$ are odd integers, the lexicographic product of $C_m$ with the empty graph of order $n$ has a factorization into $α$ $C_m$-factors and $β$ $C_n$-factors for every $0\leq α\leq n$, $β= n-α$, except possibly when $α= 2,4$, $β= 1, 3$, with three additional possible exceptions in $(m,n,α)$.
On the existence of unparalleled even cycle systems
Published
• View Publication
• BIB
A $2t$-cycle system of order $v$ is a set $\mathcal{C}$ of cycles whose edges partition the edge-set of $K_v-I$ (i.e., the complete graph minus the $1$-factor $I$). If $v\equiv 0 \pmod{2t}$, a set of $v/2t$ vertex-disjoint cycles of $\mathcal{C}$ is a parallel class. If $\mathcal{C}$ has no parallel classes, we call such a system unparalleled.
We show that there exists an unparalleled $2t$-cycle system of order $v \equiv 0 \pmod{2t}$ if and only if $v>2t>2$.
Some advances on Sidorenko's conjecture
Published
• View Publication
• BIB
A bipartite graph $H$ is said to have Sidorenko's property if the probability that the uniform random mapping from $V(H)$ to the vertex set of any graph $G$ is a homomorphism is at least the product over all edges in $H$ of the probability that the edge is mapped to an edge of $G$. In this paper, we provide three distinct families of bipartite graphs that have Sidorenko's property. First, using branching random walks, we develop an embedding algorithm which allows us to prove that bipartite graphs admitting a certain type of tree decomposition have Sidorenko's property. Second, we use the concept of locally dense graphs to prove that subdivisions of certain graphs, including cliques, have Sidorenko's property. Third, we prove that if $H$ has Sidorenko's property, then the Cartesian product of $H$ with an even cycle also has Sidorenko's property.
A Bramble like Witness for Large Branch-Width
Using the new framework of graph separations developed recently by Diestel and Oum, we show that there is a natural witness to large branch-width which can be defined in a similar way to a bramble. We also apply our methods to a more recent object of study in the area, a common generalization of tangles and blocks, called profiles.
Disjoint cycles of different lengths in graphs and digraphs
Published
• View Publication
• BIB
Understanding how the cycles of a graph or digraph behave in general has always been an important point of graph theory. In this paper, we study the question of finding a set of $k$ vertex-disjoint cycles (resp. directed cycles) of distinct lengths in a given graph (resp. digraph). In the context of undirected graphs, we prove that, for every $k \geq 1$, every graph with minimum degree at least $\frac{k^2+5k-2}{2}$ has $k$ vertex-disjoint cycles of different lengths, where the degree bound is best possible. We also consider stronger situations, and exhibit degree bounds (some of which are best possible) when e.g. the graph is triangle-free, or the $k$ cycles are requested to have different lengths congruent to some values modulo some $r$. In the context of directed graphs, we consider a conjecture of Lichiardopol concerning the least minimum out-degree required for a digraph to have $k$ vertex-disjoint directed cycles of different lengths. We verify this conjecture for tournaments, and, by using the probabilistic method, for regular digraphs and digraphs of small order.
On the Greatest Common Divisor of Binomial Coefficients ${n \choose q}, {n \choose 2q}, {n \choose 3q}, \dots$
Published in Amer. Math. Monthly, Vol. 124, No. 4 (April 2017), pp. 353-356
• View Publication
• BIB
Every binomial coefficient aficionado knows that the greatest common divisor of the binomial coefficients $\binom n1,\binom n2,\dots,\binom n{n-1}$ equals $p$ if $n=p^i$ for some $i>0$ and equals 1 otherwise. It is less well known that the greatest common divisor of the binomial coefficients $\binom{2n}2,\binom{2n}4,\dots,\binom{2n}{2n-2}$ equals (a certain power of 2 times) the product of all odd primes $p$ such that $2n=p^i+p^j$ for some $0\le i\le j$. This note gives a concise proof of a tidy generalization of these facts.
Decomposition of Quaternary Signed-Graphic Matroids
Published
• View Publication
• BIB
In this work we provide a decomposition theorem for the class of quaternary and non-binary signed-graphic matroids. This generalizes previous results for binary signed-graphic matroids and graphic matroids, and it provides the theoretical basis for a recognition algorithm.
Improved Lower Bounds on the Classical Ramsey Numbers R(4,22) and R(4,25)
Circulant graphs have been used to effectively establish lower bounds on many classical Ramsey numbers. Here, we construct circulant graphs of prime order that sharpen the best published lower bounds on two Ramsey numbers. Generalizing previous work in which quadratic and cubic residues were used to construct circulant graphs for the same purpose, we report on the use of quartic and higher-order residues.
The Saturation Time of Graph Bootstrap Percolation
The process of $H$-bootstrap percolation for a graph $H$ is a cellular automaton, where, given a subset of the edges of $K_n$ as initial set, an edge is added at time $t$ if it is the only missing edge in a copy of $H$ in the graph obtained through this process at time $t-1$. We discuss an extremal question about the time of $K_r$-bootstrap percolation, namely determining maximal times for an $n$-vertex graph before the process stops. We determine exact values for $r=4$ and find a lower bound for the asymptotics for $r \geq 5$ by giving an explicit construction.
There is exactly one Z2Z4-cyclic 1-perfect code
Published
• View Publication
• BIB
Let ${\cal C}$ be a ${\mathbb{Z}}_2{\mathbb{Z}}_4$-additive code of length $n > 3$. We prove that if the binary Gray image of ${\cal C}$, $C=Φ({\cal C})$, is a 1-perfect nonlinear code, then ${\cal C}$ cannot be a ${\mathbb{Z}}_2{\mathbb{Z}}_4$-cyclic code except for one case of length $n=15$. Moreover, we give a parity check matrix for this cyclic code. Adding an even parity check coordinate to a ${\mathbb{Z}}_2{\mathbb{Z}}_4$-additive 1-perfect code gives an extended 1-perfect code. We also prove that any such code cannot be ${\mathbb{Z}}_2{\mathbb{Z}}_4$-cyclic.
A preparation theorem for the kashiwara $b(\infty)$ crystal
Published
• View Publication
• BIB
The Kashiwara $B(\infty)$ crystal pertains to a Verma module for a Kac- Moody Lie algebra. Ostensibly it provides only a parametrisation of the global/canonical basis for the latter. Yet it is much more having a rich combinatorial structure from which one may read of a parametrisation of the corresponding basis for any integrable highest weight module, describe the decomposition of the tensor products of highest weight modules, the Demazure submodules of integrable highest weight modules and Demazure flags for translates of Demazure modules. $B(\infty)$ has in general infinitely many presentations as subsets of countably many copies of the natural numbers each given by successive reduced decompositions of Weyl group elements. In each presentation there is an action of Kashiwara operators determined by Kashiwara functions. These functions are linear in the entries. Thus a natural question is to show that in each presentation the subset $B(\infty)$ is polyhedral. Here a new approach to this question is initiated based on constructing dual Kashiwara functions and in this it is enough to show that the latter are also linear in the entries.
The present work resolves one of the two very difficult obstacles in a step-wise construction, namely that the resulting functions must satisfy a sum, or simply S, condition. It depends very subtly on inequalities between the coefficients occurring in functions obtained from the previous step. The only remaining obstacle, that sufficiently many functions are obtained, can at least be verified in many families of cases, though this is to be postponed to a subsequent paper.
This theory has some intriguing numerology which involves the Catalan numbers in two different ways.
On the number of SQSs, latin hypercubes and MDS codes
Published in Journal of Combinatorial Designs. 2018. V. 26 (5)
• View Publication
• BIB
It is established that the logarithm of the number of latin $d$-cubes of order $n$ is $Θ(n^{d}\ln n)$ and the logarithm of the number of pairs of orthogonal latin squares of order $n$ is $Θ(n^2\ln n)$. Similar estimations are obtained for systems of mutually strong orthogonal latin $d$-cubes. As a consequence, it is constructed a set of Steiner quadruple systems of order $n$ such that the logarithm of its cardinality is $Θ(n^3\ln n)$ as $n\rightarrow\infty$ and $n\ {\rm mod}\ 6= 2\ {\rm or}\ 4$.
An improved upper bound for the Erdős-Szekeres conjecture
Published
• View Publication
• BIB
Let $ES(n)$ denote the minimum natural number such that every set of $ES(n)$ points in general position in the plane contains $n$ points in convex position. In 1935, Erdős and Szekeres proved that $ES(n) \le {2n-4 \choose n-2}+1$. In 1961, they obtained the lower bound $2^{n-2}+1 \le ES(n)$, which they conjectured to be optimal. In this paper, we prove that $$ES(n) \le {2n-5 \choose n-2}-{2n-8 \choose n-3}+2 \approx \frac{7}{16} {2n-4 \choose n-2}.$$
The permutation class Av(4213,2143)
Published in Discrete Mathematics & Theoretical Computer Science, Vol. 18 no. 2, Permutation Patterns 2015, Permutation Patterns (April 4, 2017) dmtcs:1309
• View Publication
• BIB
We determine the structure of permutations avoiding the patterns 4213 and 2143. Each such permutation consists of the skew sum of a sequence of plane trees, together with an increasing sequence of points above and an increasing sequence of points to its left. We use this characterisation to establish the generating function enumerating these permutations. We also investigate the properties of a typical large permutation in the class and prove that if a large permutation that avoids 4213 and 2143 is chosen uniformly at random, then it is more likely than not to avoid 2413 as well.
Noncrossing partitions, toggles, and homomesies
Published in Electronic Journal of Combinatorics Volume 23 Issue 3 Number 52, 2016
• View Publication
• BIB
We introduce $n(n-1)/2$ natural involutions ("toggles") on the set $S$ of noncrossing partitions $π$ of size $n$, along with certain composite operations obtained by composing these involutions. We show that for many operations $T$ of this kind, a surprisingly large family of functions $f$ on $S$ (including the function that sends $π$ to the number of blocks of $π$) exhibits the homomesy phenomenon: the average of $f$ over the elements of a $T$-orbit is the same for all $T$-orbits. We can apply our method of proof more broadly to toggle operations back on the collection of independent sets of certain graphs. We utilize this generalization to prove a theorem about toggling on a family of graphs called "$2$-cliquish". More generally, the philosophy of this "toggle-action", proposed by Striker, is a popular topic of current and future research in dynamic algebraic combinatorics.
Cretan(4t+1) Matrices
Published
• View Publication
• BIB
A $Cretan(4t+1)$ matrix, of order $4t+1$, is an orthogonal matrix whose elements have moduli $\leq 1$. The only $Cretan(4t+1)$ matrices previously published are for orders 5, 9, 13, 17 and 37. This paper gives infinitely many new $Cretan(4t+1)$ matrices constructed using $regular~Hadamard$ matrices, $SBIBD(4t+1,k,λ)$, weighing matrices, generalized Hadamard matrices and the Kronecker product. We introduce an inequality for the radius and give a construction for a Cretan matrix for every order $n \geq 3$.
Combinatorics of poly-Bernoulli numbers
The ${\mathbb B}_n^{(k)}$ poly-Bernoulli numbers --- a natural generalization of classical Bernoulli numbers ($B_n={\mathbb B}_n^{(1)}$) --- were introduced by Kaneko in 1997. When the parameter $k$ is negative then ${\mathbb B}_n^{(k)}$ is a nonnegative number. Brewbaker was the first to give combinatorial interpretation of these numbers. He proved that ${\mathbb B}_n^{(-k)}$ counts the so called lonesum $0\text{-}1$ matrices of size $n\times k$. Several other interpretations were pointed out. We survey these and give new ones. Our new interpretation, for example, gives a transparent, combinatorial explanation of Kaneko's recursive formula for poly-Bernoulli numbers
Finite dynamical systems, hat games, and coding theory
Published
• View Publication
• BIB
The dynamical properties of finite dynamical systems (FDSs) have been investigated in the context of coding theoretic problems, such as network coding and index coding, and in the context of hat games, such as the guessing game and Winkler's hat game. In this paper, we relate the problems mentioned above to properties of FDSs, including the number of fixed points, their stability, and their instability. We first introduce the guessing dimension and the coset dimension of an FDS and their counterparts for digraphs. Based on the coset dimension, we then strengthen the existing equivalences between network coding and index coding. We also introduce the instability of FDSs and we study the stability and the instability of digraphs. We prove that the instability always reaches the size of a minimum feedback vertex set. We also obtain some non-stable bounds independent of the number of vertices of the graph. We then relate the stability and the instability to the guessing number. We also exhibit a class of sparse graphs with large girth that have high stability and high instability; our approach is code-theoretic and uses the guessing dimension. Finally, we prove that the affine instability is always asymptotically greater than or equal to the linear guessing number.
On the connectivity Waiter-Client game
In this short note we consider a variation of the connectivity Waiter-Client game $WC(n,q,\mathcal{A})$ played on an $n$-vertex graph $G$ which consists of $q+1$ disjoint spanning trees. In this game in each round Waiter offers Client $q+1$ edges of $G$ which have not yet been offered. Client chooses one edge and the remaining $q$ edges are discarded. The aim of Waiter is to force Client to build a connected graph. If this happens Waiter wins. Otherwise Client is the winner. We consider the case where $2 < q+1 < \lfloor \frac{n-1}{2}\rfloor$ and show that for each such $q$ there exists a graph $G$ for which Client has a winning strategy. This result stands in opposition to the case where $G$ consists of just 2 spanning trees or where $G$ is a complete graph, since it has been shown that for such graphs Waiter can always force Client to build a connected graph.
Ranks of subgroups in boundedly generated groups
Published
• View Publication
• BIB
We show that an infinite residually finite boundedly generated group has an infinite chain of finite index subgroups with ranks uniformly bounded, and give (sublinear) upper bounds on the ranks of arbitrary finite index subgroups of boundedly generated groups (examples which come close to achieving these bounds are presented). This proves a strong form of a conjecture of Abert, Jaikin-Zapirain, and Nikolov which asserts that the rank gradient of infinite boundedly generated residually finite groups is $0$. Furthermore, our first result establishes a variant of a conjecture of Lubotzky on the ranks of finite index subgroups of special linear groups over the integers, and is analogous to a result of Pyber and Segal for solvable groups.