Showing 20 papers (Total: 81623 papers, 47312 authors in database)
FC-families, and improved bounds for Frankl's Conjecture
Published in European Journal of Combinatorics 27 (2006) 269-282
• View Publication
• BIB
A family of sets F is said to be union-closed if A \cup B is in F for every A and B in F. Frankl's conjecture states that given any finite union-closed family of sets, not all empty, there exists an element contained in at least half of the sets. Here we prove that the conjecture holds for families containing three 3-subsets of a 5-set, four 3-subsets of a 6-set, or eight 4-subsets of a 6-set, extending work of Poonen and Vaughan. As an application we prove the conjecture in the case that the largest set has at most nine elements, extending a result of Gao and Yu. We also pose several open questions.
Highly connected multicoloured subgraphs of multicoloured graphs
Published
• View Publication
• BIB
Suppose the edges of the complete graph on n vertices are coloured using r colours; how large a k-connected subgraph are we guaranteed to find, which uses only at most s of the colours? This question is due to Bollobas, and the case s = 1 was considered in a preivous paper by the same authors. Here we consider the case s >= 2, and mention some open problems.
Minimal percolating sets in bootstrap percolation
Published
• View Publication
• BIB
In standard bootstrap percolation, a subset A of the n x n grid is initially infected. A new site is then infected if at least two of its neighbours are infected, and an infected site stays infected forever. The set A is said to percolate if eventually the entire grid is infected. A percolating set is said to be minimal if none of its subsets percolate. Answering a question of Bollobas, we show that there exists a minimal percolating set of size 4n^2/33 + o(n^2), but there does not exist one larger than (n + 2)^2/6.
Hereditary properties of tournaments
Published
• View Publication
• BIB
A collection of unlabelled tournaments P is called a hereditary property if it is closed under isomorphism and under taking induced sub-tournaments. The speed of P is the function n -> |P_n|, where P_n = {T \in P : |V(T)| = n}. In this paper, we prove that there is a jump in the possible speeds of a hereditary property of tournaments, from polynomial to exponential speed. Moreover, we determine the minimal exponential speed, |P_n| = c^(n + o(n)), where c = 1.47... is the largest real root of the polynomial x^3 = x^2 + 1, and the unique hereditary property with this speed.
Majority bootstrap percolation on the hypercube
Published
• View Publication
• BIB
In majority bootstrap percolation on a graph G, an infection spreads according to the following deterministic rule: if at least half of the neighbours of a vertex v are already infected, then v is also infected, and infected vertices remain infected forever. Percolation occurs if eventually every vertex is infected.
The elements of the set of initially infected vertices, A \subset V(G), are normally chosen independently at random, each with probability p, say. This process has been extensively studied on the sequence of torus graphs [n]^d, for n = 1,2,..., where d = d(n) is either fixed or a very slowly growing function of n. For example, Cerf and Manzo showed that the critical probability is o(1) if d(n) < log*(n), i.e., if p = p(n) is bounded away from zero then the probability of percolation on [n]^d tends to one as n goes to infinity.
In this paper we study the case when the growth of d to infinity is not excessively slow; in particular, we show that the critical probability is 1/2 + o(1) if d > (loglog(n))^2 logloglog(n), and give much stronger bounds in the case that G is the hypercube, [2]^d.
Covers of the integers with odd moduli and their applications to the forms $x^m-2^n$ and $x^2-F_{3n}/2$
Published
• View Publication
• BIB
In this paper we construct a cover {a_s(mod n_s)}_{s=1}^k of Z with odd moduli such that there are distinct primes p_1,...,p_k dividing 2^{n_1}-1,...,2^{n_k}-1 respectively. Using this cover we show that for any positive integer m divisible by none of 3, 5, 7, 11, 13 there exists an infinite arithmetic progression of positive odd integers the m-th powers of whose terms are never of the form $2^n\pm p^a$ with p a prime and a,n in {0,1,2,...}. We also construct another cover of Z with odd moduli and use it to prove that $x^2-F_{3n}/2$ has at least two distinct prime factors whenever n is a nonnegative integer and x=a (mod M), where {F_i}_{i\ge 0} is the Fibonacci sequence, and a and M are suitable positive integers having 80 decimal digits.
Matroids with nine elements
Published
• View Publication
• BIB
We describe the computation of a catalogue containing all matroids with up to nine elements, and present some fundamental data arising from this cataogue. Our computation confirms and extends the results obtained in the 1960s by Blackburn, Crapo and Higgs. The matroids and associated data are stored in an online database, and we give three short examples of the use of this database.
Correspondences with split polynomial equations
Published
• View Publication
• BIB
We introduce endomorphisms of special jacobians and show that they satisfy polynomial equations with all integer roots which we compute. The eigen-abelian varieties for these endomorphisms are generalizations of Prym-Tjurin varieties and naturally contain special curves representing cohomology classes which are not expected to be represented by curves in generic abelian varieties.
Matrices of 3iet preserving morphisms
We study matrices of morphisms preserving the family of words coding 3-interval exchange transformations. It is well known that matrices of morphisms preserving sturmian words (i.e. words coding 2-interval exchange transformations with the maximal possible factor complexity) form the monoid $\{\boldsymbol{M}\in\mathbb{N}^{2\times 2} | \det\boldsymbol{M}=\pm1\} = \{\boldsymbol{M}\in\mathbb{N}^{2\times 2} | \boldsymbol{M}\boldsymbol{E}\boldsymbol{M}^T = \pm\boldsymbol{E}\}$, where $\boldsymbol{E} = (\begin{smallmatrix}0&1 -1&0\end{smallmatrix})$.
We prove that in case of exchange of three intervals, the matrices preserving words coding these transformations and having the maximal possible subword complexity belong to the monoid $\{\boldsymbol{M}\in\mathbb{N}^{3\times 3} | \boldsymbol{M}\boldsymbol{E}\boldsymbol{M}^T = \pm\boldsymbol{E},\
\det\boldsymbol{M}=\pm 1\}$, where $\boldsymbol{E} = \Big(\begin{smallmatrix}0&1&1 -1&0&1 -1&-1&0\end{smallmatrix}\Big)$.
Tutte Polynomials of Tensor Products of Signed Graphs and their Applications in Knot Theory
Published
• View Publication
• BIB
It is well-known that the Jones polynomial of an alternating knot is closely related to the Tutte polynomial of a special graph obtained from a regular projection of the knot. Relying on the results of Bollobás and Riordan, we introduce a generalization of Kauffman's Tutte polynomial of signed graphs for which describing the effect of taking a signed tensor product of signed graphs is very simple. We show that this Tutte polynomial of a signed tensor product of signed graphs may be expressed in terms of the Tutte polynomials of the original signed graphs by using a simple substitution rule. Our result enables us to compute the Jones polynomials of some large non-alternating knots. The combinatorics used to prove our main result is similar to Tutte's original way of counting ``activities'' and specializes to a new, perhaps simpler proof of the known formulas for the ordinary Tutte polynomial of the tensor product of unsigned graphs or matroids.
Transversal Lattices
Published in The Electronic Journal of Combinatorics, 2008
• View Publication
• BIB
A flat of a matroid is cyclic if it is a union of circuits; such flats form a lattice under inclusion and, up to isomorphism, all lattices can be obtained this way. A lattice is a Tr-lattice if all matroids whose lattices of cyclic flats are isomorphic to it are transversal. We investigate some sufficient conditions for a lattice to be a Tr-lattice; a corollary is that distributive lattices of dimension at most two are Tr-lattices. We give a necessary condition: each element in a Tr-lattice has at most two covers. We also give constructions that produce new Tr-lattices from known Tr-lattices.
Infinitely Often Dense Bases of Integers with a Prescribed Representation Function
Published
• View Publication
• BIB
Nathanson constructed asymptotic bases for the integers with a prescribed representation function, then asked how dense they can be. We can easily obtain an upper bound using a simple argument. In this paper, we will see this is indeed the best bound we can get for asymptotic bases for the integers with an arbitrary representation function prescribed.
Maximal Periods of (Ehrhart) Quasi-Polynomials
Published in J. Combin. Theory Ser. A 115, no. 3 (2008), 517-525
• View Publication
• BIB
A \emph{quasi-polynomial} is a function defined of the form $q(k) = c_d(k) k^d + c_{d-1}(k) k^{d-1} + ... + c_0(k)$, where $c_0, c_1, ..., c_d$ are periodic functions in $k \in \Z$. Prominent examples of quasi-polynomials appear in Ehrhart's theory as integer-point counting functions for rational polytopes, and McMullen gives upper bounds for the periods of the $c_j(k)$ for Ehrhart quasi-polynomials. For generic polytopes, McMullen's bounds seem to be sharp, but sometimes smaller periods exist. We prove that the second leading coefficient of an Ehrhart quasi-polynomial always has maximal expected period and present a general theorem that yields maximal periods for the coefficients of certain quasi-polynomials. We present a construction for (Ehrhart) quasi-polynomials that exhibit maximal period behavior and use it to answer a question of Zaslavsky on convolutions of quasi-polynomials.
On Potentially K_5-E_3-graphic Sequences
Let $K_m-H$ be the graph obtained from $K_m$ by removing the edges set $E(H)$ of $H$ where $H$ is a subgraph of $K_m$. In this paper, we characterize the potentially $K_5-P_3$, $K_5-A_3$, $K_5-K_3$ and $K_5-K_{1,3}$-graphic sequences where $A_3$ is $P_2\cup K_2$. Moreover, we also characterize the potentially $K_5-2K_2$-graphic sequences where $pK_2$ is the matching consisted of $p$ edges.
A Theoretic Proof of the Four Color Theorem
Withdrwan by author
Enumerating the Classes of Local Equivalency in Graphs
There are local operators on (labeled) graphs $G$ with labels $(g_{ij})$ coming from a finite field. If the filed is binary, in other words, if the graph is ordinary, the operation is just the local complementation. That is, to choose a vertex and complement the subgraph induced by its neighbors. But, in the general case, there are two different types of operators. The first type is the following. Let $v$ be a vertex of the graph and $a\in \mathbf{F}_q$, the finite field of $q$ elements. The operator is to obtain a graph with labels $g'_{ij}=g_{ij}+ag_{vi}g_{vj}$. For the second type of operators, let $0\neq b\in \mathbf{F}_q$ and the resulted graph is a graph with labels $g''_{vi}=bg_{vi}$ and $g''_{ij}=g_{ij}$, for $i,j$ unequal to $v$.
The local complementation operator (binary case) has appeared in combinatorial theory, and its properties have studied in the literature. Recently, a profound relation between local operators on graphs and quantum stabilizer codes has been found, and it has become a natural question to recognize equivalency classes under these operators. In the present article, we show that the number of graphs locally equivalent to a given graph is at most $q^{2n+1}$, and consequently, the number of classes of local equivalency is $q^{\frac{n^2}{2}-o(n)}$.
Sur la Classification et le Denombrement des Sous-groupes du Groupe Modulaire et de leurs Classes de Conjugaison
In this article we give a classification of the sub-groups in PSL(2,Z) and of the conjugacy classes of these sub-groups by the mean of an combinatorial invariant: some trivalent diagrams (dotted or not). We give explicit formulae enabling to count the number of isomorphism classes of these structures and of some of their variations, as function of the number of their arcs. Until now, the counting of non-dotted diagrams was an open problem, for it gives also the number of unrooted combinatorial maps, triangular or general respectively. The article ends with the description of a high performance algorithm to enumerate those structures witch is built upon an unexpected factoring of the cycle index series of the considered combinatorial species.
Rigorous confidence intervals for critical probabilities
Published in Physical Review E 76, 011110 (2007)
• View Publication
• BIB
We use the method of Balister, Bollobas and Walters to give rigorous 99.9999% confidence intervals for the critical probabilities for site and bond percolation on the 11 Archimedean lattices. In our computer calculations, the emphasis is on simplicity and ease of verification, rather than obtaining the best possible results. Nevertheless, we obtain intervals of width at most 0.0005 in all cases.
On Potentially $(K_5-H)$-graphic Sequences
Published in Czechoslovak Mathematical Journal,59(1)(2009), 173-182.
• View Publication
• BIB
Let $K_m-H$ be the graph obtained from $K_m$ by removing the edges set $E(H)$ of $H$ where $H$ is a subgraph of $K_m$. In this paper, we characterize the potentially $K_5-P_4$ and $K_5-Y_4$-graphic sequences where $Y_4$ is a tree on 5 vertices and 3 leaves.
Alternating subgroups of Coxeter groups
Published
• View Publication
• BIB
We study combinatorial properties of the alternating subgroup of a Coxeter group, using a presentation of it due to Bourbaki.