contain ↗ reference
7689 papers tagged with this keyword
Simplified existence theorems on all fractional [a,b]-factors
Published
• View Publication
• BIB
Let $G$ be a graph with order $n$ and let $g, f : V (G)\rightarrow N$ such that $g(v)\leq f(v)$ for all $v\in V(G)$. We say that $G$ has all fractional $(g, f)$-factors if $G$ has a fractional $p$-factor for every $p: V (G)\rightarrow N$ such that $g(v)\leq p(v)\leq f (v)$ for every $v\in V(G)$. Let $a<b$ be two positive integers. %and $G$ \textbf{a graph} of order $n$ sufficiently large %for $a$ and $b$. If $g\equiv a$, $f\equiv b$ and $G$ has all fractional $(g,f)$-factors, then we say that $G$ has all fractional $[a,b]$-factors. Suppose that $n$ is sufficiently large for $a$ and $b$.
This paper contains two results on the existence of all $(g,f)$-factors of graphs. First, we derive from Anstee's fractional $(g,f)$-factor theorem a similar characterization for the property of all fractional $(g,f)$-factors. Second, we show that $G$ has all fractional $[a, b]$-factors if the minimum degree is at least $\frac{1}{4a}((a+b-1)^2+4b)$ and every pair of nonadjacent vertices has cardinality of the neighborhood union at least $bn/(a + b)$. These lower bounds are sharp.
A new approach to nonrepetitive sequences
Published
• View Publication
• BIB
A sequence is nonrepetitive if it does not contain two adjacent identical blocks. The remarkable construction of Thue asserts that 3 symbols are enough to build an arbitrarily long nonrepetitive sequence. It is still not settled whether the following extension holds: for every sequence of 3-element sets $L_1,..., L_n$ there exists a nonrepetitive sequence $s_1, ..., s_n$ with $s_i\in L_i$. Applying the probabilistic method one can prove that this is true for sufficiently large sets $L_i$. We present an elementary proof that sets of size 4 suffice (confirming the best known bound). The argument is a simple counting with Catalan numbers involved. Our approach is inspired by a new algorithmic proof of the Lovász Local Lemma due to Moser and Tardos and its interpretations by Fortnow and Tao. The presented method has further applications to nonrepetitive games and nonrepetitive colorings of graphs.
Nonrepetitive games
(Note. The results of this manuscript has been merged and published with another paper of the same authors: A new approach to nonrepetitve sequences.)
A repetition of size $h$ ($h\geqslant1$) in a given sequence is a subsequence of consecutive terms of the form: $xx=x_1... x_hx_1... x_h$. A sequence is nonrepetitive if it does not contain a repetition of any size. The remarkable construction of Thue asserts that 3 different symbols are enough to build an arbitrarily long nonrepetitive sequence. We consider game-theoretic versions of results on nonrepetitive sequences. A nonrepetitive game is played by two players who pick, one by one, consecutive terms of a sequence over a given set of symbols. The first player tries to avoid repetitions, while the second player, in contrast, wants to create them. Of course, by simple imitation, the second player can force lots of repetitions of size 1. However, as proved by Pegden, there is a strategy for the first player to build an arbitrarily long sequence over 37 symbols with no repetitions of size $>1$. Our techniques allow to reduce 37 to 6. Another game we consider is an erase-repetition game. Here, whenever a repetition occurs, the repeated block is immediately erased and the next player to move continues the play. We prove that there is a strategy for the first player to build an arbitrarily long nonrepetitive sequence over 8 symbols. Our approach is inspired by a new algorithmic proof of the Lovász Local Lemma due to Moser and Tardos and previous work of Moser (his so called entropy compression argument).
Constraint satisfaction problems in clausal form
Published in Fundamenta Informaticae, 2011, 109(1): pages 27-81, 83-119
• View Publication
• BIB
This is the report-version of a mini-series of two articles on the foundations of satisfiability of conjunctive normal forms with non-boolean variables, to appear in Fundamenta Informaticae, 2011. These two parts are here bundled in one report, each part yielding a chapter.
Generalised conjunctive normal forms are considered, allowing literals of the form "variable not-equal value". The first part sets the foundations for the theory of autarkies, with emphasise on matching autarkies. Main results concern various polynomial time results in dependency on the deficiency. The second part considers translations to boolean clause-sets and irredundancy as well as minimal unsatisfiability. Main results concern classification of minimally unsatisfiable clause-sets and the relations to the hermitian rank of graphs. Both parts contain also discussions of many open problems.
Strongly regular n-e.c. graphs
A result of Erdös and Rényi shows that for a fixed integer n almost all graphs satisfy the n-e.c. adjacency property. However, there are few explicit constructions of n e.c. graphs for n > 2, and almost all known families of n-e.c. graphs are strongly regular graphs. In this paper we derive parameter bounds on strongly regular n-e.c. graphs constructed from the point sets of partial geometries. This work generalizes bounds on n-e.c. block intersection graphs of balanced incomplete block designs given by McKay and Pike. It also relates to work by Griggs, Grannel, and Forbes' determining 3-e.c. graphs that are block intersection graphs of Steiner triple systems. In addition to these bounds, we give examples of strongly regular graphs that contain every possible subgraph of small order but are not n-e.c. for n > 2.
Uniform hypergraphs containing no grids
A hypergraph is called an r by r grid if it is isomorphic to a pattern of r horizontal and r vertical lines. Three sets form a triangle if they pairwise intersect in three distinct singletons. A hypergraph is linear if every pair of edges meet in at most one vertex. In this paper we construct large linear r-hypergraphs which contain no grids. Moreover, a similar construction gives large linear r-hypergraphs which contain neither grids nor triangles. For r at least 4 our constructions are almost optimal. These investigations are also motivated by coding theory: we get new bounds for optimal superimposed codes and designs.
On The b-Chromatic Number of Regular Graphs Without 4-Cycle
Published
• View Publication
• BIB
The b-chromatic number of a graph $G$, denoted by $φ(G)$, is the largest integer $k$ that $G$ admits a proper $k$-coloring such that each color class has a vertex that is adjacent to at least one vertex in each of the other color classes. We prove that for each $d$-regular graph $G$ which contains no 4-cycle, $φ(G)\geq\lfloor\frac{d+3}{2}\rfloor$ and if $G$ has a triangle, then $φ(G)\geq\lfloor\frac{d+4}{2}\rfloor$. Also, if $G$ is a $d$-regular graph which contains no 4-cycle and $diam(G)\geq6$, then $φ(G)=d+1$. Finally, we show that for any $d$-regular graph $G$ which does not contain 4-cycle and $κ(G)\leq\frac{d+1}{2}$, $φ(G)=d+1$.
A survey of the different types of vector space partitions
Published
• View Publication
• BIB
A {\it vector space partition} is here a collection $\mathcal P$ of subspaces of a finite vector space $V(n,q)$, of dimension $n$ over a finite field with $q$ elements, with the property that every non zero vector is contained in a unique member of $\mathcal P$. Vector space partitions relates to finite projective planes, design theory and error correcting codes.
In the first part of the talk I will discuss some relations between vector space partitions and other branches of mathematics. The other part of the talk contains a survey of known results on the type of a vector space partition, more precisely: the theorem of Beutelspacher and Heden on $\mathrm{T}$-partitions, rather recent results of El-Zanati et al. on the different types that appear in the spaces V(n,2), for $n\leq8$, a result of Heden and Lehmann on vector space partitions and maximal partial spreads including their new necessary condition for the existence of a vector space partition, and furthermore, I will give a theorem of Heden on the length of the tail of a vector space partition.
Finally, I will also give a few historical remarks.
Cycle-saturated graphs with minimum number of edges
A graph $G$ is called $H$-saturated if it does not contain any copy of $H$, but for any edge $e$ in the complement of $G$ the graph $G+e$ contains some $H$. The minimum size of an $n$-vertex $H$-saturated graph is denoted by $\sat(n,H)$. We prove $$\sat(n,C_k) = n + n/k + O((n/k^2) + k^2)$$ holds for all $n\geq k\geq 3$, where $C_k$ is a cycle with length $k$. We have a similar result for semi-saturated graphs $$\ssat(n,C_k) = n + n/(2k) + O((n/k^2) + k).$$ We conjecture that our three constructions are optimal.
Counting (3+1) - Avoiding permutations
A poset is {\it $(\3+\1)$-free} if it contains no induced subposet isomorphic to the disjoint union of a 3-element chain and a 1-element chain. These posets are of interest because of their connection with interval orders and their appearance in the $(\3+\1)$-free Conjecture of Stanley and Stembridge. The dimension 2 posets $P$ are exactly the ones which have an associated permutation $π$ where $i\prec j$ in $P$ if and only if $i<j$ as integers and $i$ comes before $j$ in the one-line notation of $π$. So we say that a permutation $π$ is {\it $(\3+\1)$-free} or {\it $(\3+\1)$-avoiding} if its poset is $(\3+\1)$-free. This is equivalent to $π$ avoiding the permutations 2341 and 4123 in the language of pattern avoidance. We give a complete structural characterization of such permutations. This permits us to find their generating function.
Complex Hadamard Matrices and Strongly Regular Graphs
Over forty years ago, Goethals and Seidel showed that if the adjacency algebra of a strongly regular graph $X$ contains a Hadamard matrix then $X$ is either of Latin square type or of negative Latin square type. We extend their result to complex Hadamard matrices and find only three additional families of parameters for which the strongly regular graphs have complex Hadamard matrices in their adjacency algebras.
Moreover we show that there are only three distance regular covers of the complete graph that give complex Hadamard matrices.
List of conjectural series for powers of $π$ and other constants
The author gives the full list of his conjectures on series for powers of $π$ and other important constants scattered in some of his public papers or his private diaries. The list contains 234 reasonable conjectural series. On the list there are 178 reasonable series for $π^{-1}$, four series for $π^2$, two series for $π^{-2}$, four series for $π^4$, two series for $π^5$, three series for $π^6$, seven series for $ζ(3)$, one series for $πζ(3)$, two series for $π^2ζ(3)$, one series for $ζ(3)^2$, three series involving both $ζ(3)^2$ and $π^6$, one series for $ζ(5)$, three series involving both $ζ(5)$ and $ζ(2)ζ(3)$, two series involving both $πζ(5)$ and $π^3ζ(3)$, three series involving $ζ(7)$, three series for $K=L(2,(\frac{\cdot}{3}))$, one series for the Catalan constant $G$, two series for $πG$, one series involving both $π^3G$ and $π^2ζ(3)$, two series for $πK$, two series involving $L=L(4,(\frac{\cdot}3))$, three series involving $β(4)=L(4,(\frac{-4}{\cdot}))$, and four series for $π^2\log a$ with $a=2,3,(\sqrt5+1)/2$. The code of a conjectural series is underlined if and only if a complete proof of the identity is available.
Optimizing the Graph Minors Weak Structure Theorem
Published
• View Publication
• BIB
One of the major results of [N. Robertson and P. D. Seymour. Graph minors. XIII. The disjoint paths problem. J. Combin. Theory Ser. B, 63(1):65--110, 1995], also known as the weak structure theorem, revealed the local structure of graphs excluding some graph as a minor: each such graph $G$ either has small treewidth or contains the subdivision of a wall that can be arranged "bidimensionally" inside $G$, given that some small set of vertices are removed. We prove an optimized version of that theorem where (i) the relation between the treewidth of the graph and the height of the wall is linear (thus best possible) and (ii) the number of vertices to be removed is minimized.
Rooted $K_4$-Minors
Published in Electronic J. Combinatorics 20.2:P64, 2013
• View Publication
• BIB
Let $a,b,c,d$ be four vertices in a graph $G$. A \emph{$K_4$-minor rooted} at $a,b,c,d$ consists of four pairwise-disjoint pairwise-adjacent connected subgraphs of $G$, respectively containing $a,b,c,d$. We characterise precisely when $G$ contains a $K_4$-minor rooted at $a,b,c,d$ by describing six classes of obstructions, which are the edge-maximal graphs containing no $K_4$-minor rooted at $a,b,c,d$. The following two special cases illustrate the full characterisation: (1) A 4-connected non-planar graph contains a $K_4$-minor rooted at $a,b,c,d$ for every choice of $a,b,c,d$. (2) A 3-connected planar graph contains a $K_4$-minor rooted at $a,b,c,d$ if and only if $a,b,c,d$ are not on a single face.
Longest cycles in sparse random digraphs
Published
• View Publication
• BIB
Long paths and cycles in sparse random graphs and digraphs were studied intensively in the 1980's. It was finally shown by Frieze in 1986 that the random graph $\cG(n,p)$ with $p=c/n$ has a cycle on at all but at most $(1+ε)ce^{-c}n$ vertices with high probability, where $ε=ε(c)\to 0$ as $c\to\infty$. This estimate on the number of uncovered vertices is essentially tight due to vertices of degree 1. However, for the random digraph $\cD(n,p)$ no tight result was known and the best estimate was a factor of $c/2$ away from the corresponding lower bound. In this work we close this gap and show that the random digraph $\cD(n,p)$ with $p=c/n$ has a cycle containing all but $(2+ε)e^{-c}n$ vertices w.h.p., where $ε=ε(c)\to 0$ as $c\to\infty$. This is essentially tight since w.h.p. such a random digraph contains $(2e^{-c}-o(1))n$ vertices with zero in-degree or out-degree.
The Turán number of $F_{3,3}$
Published
• View Publication
• BIB
Let $F_{3,3}$ be the 3-graph on 6 vertices, labelled abcxyz, and 10 edges, one of which is abc, and the other 9 of which are all triples that contain 1 vertex from abc and 2 vertices from xyz. We show that for all $n \ge 6$, the maximum number of edges in an $F_{3,3}$-free 3-graph on $n$ vertices is $\binom{n}{3} - \binom{\lfloor n/2 \rfloor}{3} - \binom{\lceil n/2 \rceil}{3}$. This sharpens results of Zhou and of the second author and Rödl.
Deformation Retracts of Neighborhood Complexes of Stable Kneser Graphs
Published
• View Publication
• BIB
In 2003, A. Bjorner and M. de Longueville proved that the neighborhood complex of the stable Kneser graph SG_{n,k} is homotopy equivalent to a k-sphere. Further, for n=2 they showed that the neighborhood complex deformation retracts to a subcomplex isomorphic to the associahedron. They went on to ask whether or not, for all n and k, the neighborhood complex of SG_{n,k} contains as a deformation retract the boundary complex of a simplicial polytope.
Our purpose is to give a positive answer to this question in the case k=2. We also find in this case that, after partially subdividing the neighborhood complex, the resulting complex deformation retracts onto a subcomplex arising as a polyhedral boundary sphere that is invariant under the action induced by the automorphism group of SG_{n,2}.
The Moebius function of separable and decomposable permutations
Published
• View Publication
• BIB
We give a recursive formula for the Moebius function of an interval $[σ,π]$ in the poset of permutations ordered by pattern containment in the case where $π$ is a decomposable permutation, that is, consists of two blocks where the first one contains all the letters 1, 2, ..., k for some k. This leads to many special cases of more explicit formulas. It also gives rise to a computationally efficient formula for the Moebius function in the case where $σ$ and $π$ are separable permutations. A permutation is separable if it can be generated from the permutation 1 by successive sums and skew sums or, equivalently, if it avoids the patterns 2413 and 3142. A consequence of the formula is that the Moebius function of such an interval $[σ,π]$ is bounded by the number of occurrences of $σ$ as a pattern in $π$. We also show that for any separable permutation $π$ the Moebius function of $(1,π)$ is either 0, 1 or -1.
On the Number of Pentagons in Triangle-Free Graphs
Published in J. Combin. Theory Ser. A 120 (2013), no. 3, 722-732
• View Publication
• BIB
Using the formalism of flag algebras, we prove that every triangle-free graph $G$ with $n$ vertices contains at most $(n/5)^5$ cycles of length five. Moreover, the equality is attained only when $n$ is divisible by five and $G$ is the balanced blow-up of the pentagon. We also compute the maximal number of pentagons and characterize extremal graphs in the non-divisible case provided $n$ is sufficiently large. This settles a conjecture made by Erdős in 1984.
The Newton polygon of a recurrence sequence of polynomials and its role in TQFT
The paper contains a combinatorial theorem (the sequence of Newton polygons of a reccurent sequence of polynomials is quasi-linear) and two applications of it in classical and quantum topology, namely in the behavior of the $A$-polynomial and a fixed quantum invariant (such as the Jones polynomial) under filling. Our combinatorial theorem, which complements results of Calegari-Walker \cite{CW} and the author \cite{Ga4}, occupies the bulk of the paper and its proof requires the Lech-Mahler-Skolem theorem of $p$-adic analytic number theory combined with basic principles in polyhedral and tropical geometry.