Showing 20 papers (Total: 83502 papers, 48219 authors in database)
Tame and Wild Scoring Play Games
In this paper, we will be proving mathematically that scoring play combinatorial game theory covers all combinatorial games. That is, there is a sub-set of scoring play games that are identical to the set of normal play games, and a different sub-set that is identical to the set of misère play games.
This proves conclusively, that scoring play combinatorial game theory is a complete theory for combinatorial games, and that every combinatorial game, regardless of the rule-set, can be analysed using scoring play combinatorial game theory.
Partial isomorphisms over finite fields
In this paper, we construct a combinatorial algebra of partial isomorphisms that gives rise to a "projective limit" of the centers of the group algebras C[GL(n,Fq)]. It allows us to prove a GL(n,Fq)-analogue of an old theorem of Farahat and Higman regarding products of conjugacy classes of permutations.
Uniformity of multiplicative functions and partition regularity of some quadratic equations
Since the theorems of Schur and van der Waerden, numerous partition regularity results have been proved for linear equations, but progress has been scarce for non-linear ones, the hardest case being equations in three variables. We prove partition regularity for certain equations involving forms in three variables, showing for example that the equations $16x^2+9y^2=n^2$ and $x^2+y^2-xy=n^2$ are partition regular, where $n$ is allowed to vary freely in $\mathbb{N}$. For each such problem we establish a density analogue that can be formulated in ergodic terms as a recurrence property for actions by dilations on a probability space. Our key tool for establishing such recurrence properties is a decomposition result for multiplicative functions which is of independent interest. Roughly speaking, it states that the arbitrary multiplicative function of modulus 1 can be decomposed into two terms, one that is approximately periodic and another that has small Gowers uniformity norm of degree three.
Supersaturation in the Boolean lattice
Published in Integers 14A (2014): #A4
• Search Publication
We prove a "supersaturation-type" extension of both Sperner's Theorem (1928) and its generalization by Erdos (1945) to k-chains. Our result implies that a largest family whose size is x more than the size of a largest k-chain free family and that contains the minimum number of k-chains is the family formed by taking the middle (k-1) rows of the Boolean lattice and x elements from the k-th middle row. We prove our result using the symmetric chain decomposition method of de Bruijn, van Ebbenhorst Tengbergen, and Kruyswijk (1951).
l-facial edge colorings of graphs
Published
• View Publication
• BIB
An l-facial edge coloring of a plane graph is a coloring of the edges such that any two edges at distance at most l on a boundary walk of some face receive distinct colors. It is conjectured that 3l + 1 colors suffice for an l-facial edge coloring of any plane graph. We prove that 7 colors suffice for a 2-facial edge coloring of any plane graph and therefore confirm the conjecture for l = 2.
Subgraphs Satisfying MSO Properties on z-Topologically Orderable Digraphs
Published
• View Publication
• BIB
We introduce the notion of z-topological orderings for digraphs. We prove that given a digraph G on n vertices admitting a z-topological order- ing, together with such an ordering, one may count the number of subgraphs of G that at the same time satisfy a monadic second order formula φ and are the union of k directed paths, in time f (φ, k, z) * n^O(k*z) . Our result implies the polynomial time solvability of many natural counting problems on digraphs admitting z-topological orderings for constant values of z and k. Concerning the relationship between z-topological orderability and other digraph width measures, we observe that any digraph of directed path-width d has a z- topological ordering for z <= 2d + 1. On the other hand, there are digraphs on n vertices admitting a z-topological order for z = 2, but whose directed path-width is Θ(log n). Since graphs of bounded directed path-width can have both arbitrarily large undirected tree-width and arbitrarily large clique width, our result provides for the first time a suitable way of partially trans- posing metatheorems developed in the context of the monadic second order logic of graphs of constant undirected tree-width and constant clique width to the realm of digraph width measures that are closed under taking subgraphs and whose constant levels incorporate families of graphs of arbitrarily large undirected tree-width and arbitrarily large clique width.
Planar graphs with maximum degree D at least 8 are (D+1)-edge-choosable
Published
• View Publication
• BIB
We consider the problem of list edge coloring for planar graphs. Edge coloring is the problem of coloring the edges while ensuring that two edges that are incident receive different colors. A graph is k-edge-choosable if for any assignment of k colors to every edge, there is an edge coloring such that the color of every edge belongs to its color assignment. Vizing conjectured in 1965 that every graph is (D+1)-edge-choosable, where D is the maximum degree. In 1990, Borodin solved the conjecture for planar graphs with maximum degree at least 9, and asked whether the bound could be lowered to 8. We prove here that planar graphs with maximum degree D at least 8 are (D+1)-edge-choosable.
Minimal abundant packings and choosability with separation
A $(v,k,t)$ packing of size $b$ is a system of $b$ subsets (blocks) of a $v$-element underlying set such that each block has $k$ elements and every $t$-set is contained in at most one block. $P(v,k,t)$ stands for the maximum possible $b$. A packing is called abundant if $b> v$. We give new estimates for $P(v,k,t)$ around the critical range, slightly improving the Johnson bound and asymptotically determine the minimum $v=v_0(k,t)$ when abundant packings exist.
For a graph $G$ and a positive integer $c$, let $χ_\ell(G,c)$ be the minimum value of $k$ such that one can properly color the vertices of $G$ from any assignment of lists $L(v)$ such that $|L(v)|=k$ for all $v\in V(G)$ and $|L(u)\cap L(v)|\leq c$ for all $uv\in E(G)$. Kratochvíl, Tuza and Voigt in 1998 asked to determine $\lim_{n\rightarrow \infty} χ_\ell(K_n,c)/\sqrt{cn}$ (if exists). Using our bound on $v_0(k,t)$, we prove that the limit exists and equals $1$. Given $c$, we find the exact value of $χ_\ell(K_n,c)$ for infinitely many $n$.
An Erdős--Ko--Rado theorem for matchings in the complete graph
Published
• View Publication
• BIB
We consider the following higher-order analog of the Erdős--Ko--Rado theorem. For positive integers r and n with r<= n, let M^r_n be the family of all matchings of size r in the complete graph K_{2n}. For any edge e in E(K_{2n}), the family M^r_n(e), which consists of all sets in M^r_n containing e, is called the star centered at e. We prove that if r<n and A is an intersecting family of matchings in M^r_n, then |A|<=|M^r_n(e)|$, where e is an edge in E(K_{2n}). We also prove that equality holds if and only if A is a star. The main technique we use to prove the theorem is an analog of Katona's elegant cycle method.
A construction of almost Steiner systems
Published
• View Publication
• BIB
Let $n$, $k$, and $t$ be integers satisfying $n>k>t\ge2$. A Steiner system with parameters $t$, $k$, and $n$ is a $k$-uniform hypergraph on $n$ vertices in which every set of $t$ distinct vertices is contained in exactly one edge. An outstanding problem in Design Theory is to determine whether a nontrivial Steiner system exists for $t\geq6$.
In this note we prove that for every $k>t\ge2$ and sufficiently large $n$, there exists an almost Steiner system with parameters $t$, $k$, and $n$; that is, there exists a $k$-uniform hypergraph on $n$ vertices such that every set of $t$ distinct vertices is covered by either one or two edges.
Orthogonal Dual Hyperovals, Symplectic Spreads and Orthogonal Spreads
Published
• View Publication
• BIB
Orthogonal spreads in orthogonal spaces of type $V^+(2n+2,2)$ produce large numbers of rank $n$ dual hyperovals in orthogonal spaces of type $V^+(2n,2)$. The construction resembles the method for obtaining symplectic spreads in $V(2n,q)$ from orthogonal spreads in $V^+(2n+2,q)$ when $q$ is even.
Minimal symmetric differences of lines in projective planes
Published
• View Publication
• BIB
Let q be an odd prime power and let f(r) be the minimum size of the symmetric difference of r lines in the Desarguesian projective plane PG(2,q). We prove some results about the function f(r), in particular showing that there exists a constant C>0 such that f(r)=O(q) for Cq^{3/2}<r<q^2 - Cq^{3/2}.
Potential Maximal Clique Algorithms for Perfect Phylogeny Problems
Published
• View Publication
• BIB
Kloks, Kratsch, and Spinrad showed how treewidth and minimum-fill, NP-hard combinatorial optimization problems related to minimal triangulations, are broken into subproblems by block subgraphs defined by minimal separators. These ideas were expanded on by Bouchitté and Todinca, who used potential maximal cliques to solve these problems using a dynamic programming approach in time polynomial in the number of minimal separators of a graph. It is known that solutions to the perfect phylogeny problem, maximum compatibility problem, and unique perfect phylogeny problem are characterized by minimal triangulations of the partition intersection graph. In this paper, we show that techniques similar to those proposed by Bouchitté and Todinca can be used to solve the perfect phylogeny problem with missing data, the two- state maximum compatibility problem with missing data, and the unique perfect phylogeny problem with missing data in time polynomial in the number of minimal separators of the partition intersection graph.
Correlation of paths between distinct vertices in a randomly oriented graph
Published
• View Publication
• BIB
We prove that in a random tournament the events $\{s\rightarrow a\}$ and $\{t\rightarrow b\}$ are positively correlated, for distinct vertices $a,s,b,t \in K_n.$ It is also proven that the correlation between the events $\{s\rightarrow a\}$ and $\{t\rightarrow b\}$ in the random graphs $G(n,p)$ and $G(n,m)$ with random orientation is positive for every fixed $p>0$ and sufficiently large $n$ (with $m=\left\lfloor p \binom{n}{2}\right\rfloor$). We conjecture it to be positive for all $p$ and all $n$. An exact recursion for $¶(\{s\rightarrow a\} \cap \{t\rightarrow b\})$ in $\gnp$ is given.
Structure and enumeration of (3+1)-free posets
Published in Annals of Combinatorics 18 (2014) 645-674
• View Publication
• BIB
A poset is (3+1)-free if it does not contain the disjoint union of chains of length 3 and 1 as an induced subposet. These posets play a central role in the (3+1)-free conjecture of Stanley and Stembridge. Lewis and Zhang have enumerated (3+1)-free posets in the graded case by decomposing them into bipartite graphs, but until now the general enumeration problem has remained open. We give a finer decomposition into bipartite graphs which applies to all (3+1)-free posets and obtain generating functions which count (3+1)-free posets with labelled or unlabelled vertices. Using this decomposition, we obtain a decomposition of the automorphism group and asymptotics for the number of (3+1)-free posets.
A characterization of triangulations of closed surfaces
Published
• View Publication
• BIB
In this paper we prove that a finite triangulation of a connected closed surface is completely determined by its intersection matrix. The \emph{intersection matrix} of a finite triangulation, $K$, is defined as $M_{K}=(dim(s_{i}\cap s_{j}))_{0\leq i,0\leq j}^{n-1}$, where $K_{2}=\{s_{0}, \ldots s_{n-1}\}$ is a labelling of the triangles of $K$.
Projective Equivalences of k-neighbourly Polytopes
We prove the following theorem, which is related to McMullen's problem on projective transformations of polytopes; let $2\leq k\leq \lfloor{\frac{d}{2}}\rfloor$ and $ν{(d, k)}$ be the largest number such that any set of $ν{(d,k)}$ points lying in general position in $\mathbb{R}^d$ can be mapped by a permissible projective transformation onto the vertices of a k-neighborly polytope, then $d + \left\lceil{\frac{d}{k}}\right\rceil +1 \leq ν{(d, k)} < 2d-k +1$.
Feedback arc set problem and NP-hardness of minimum recurrent configuration problem of Chip-firing game on directed graphs
Published in Ann. Comb. 19 (2015), no. 2, 373-396
• View Publication
• BIB
In this paper we present further studies of recurrent configurations of Chip-firing games on Eulerian directed graphs (simple digraphs), a class on the way from undirected graphs to general directed graphs. A computational problem that arises naturally from this model is to find the minimum number of chips of a recurrent configuration, which we call the minimum recurrent configuration (MINREC) problem. We point out a close relationship between MINREC and the minimum feedback arc set (MINFAS) problem on Eulerian directed graphs, and prove that both problems are NP-hard.
On irreducible maps and slices
Published in Combinator. Probab. Comp. 23 (2014) 914-972
• View Publication
• BIB
We consider the problem of enumerating d-irreducible maps, i.e. planar maps whose all cycles have length at least d, and such that any cycle of length d is the boundary of a face of degree d. We develop two approaches in parallel: the natural approach via substitution where these maps are obtained from general maps by a replacement of all d-cycles by elementary faces, and a bijective approach via slice decomposition which consists in cutting the maps along shortest paths. Both lead to explicit expressions for the generating functions of d-irreducible maps with controlled face degrees, summarized in some elegant "pointing formula". We provide an equivalent description of d-irreducible slices in terms of so-called d-oriented trees. We finally show that irreducible maps give rise to a hierarchy of discrete integrable equations which include equations encountered previously in the context of naturally embedded trees.
Permutation decoding of Z2Z4-linear codes
Published
• View Publication
• BIB
An alternative permutation decoding method is described which can be used for any binary systematic encoding scheme, regardless whether the code is linear or not. Thus, the method can be applied to some important codes such as Z2Z4-linear codes, which are binary and, in general, nonlinear codes in the usual sense. For this, it is proved that these codes allow a systematic encoding scheme. As a particular example, this permutation decoding method is applied to some Hadamard Z2Z4-linear codes.