Showing 20 papers (Total: 82432 papers, 47671 authors in database)
A trace partitioned Gray code for q-ary generalized Fibonacci strings
Published
• View Publication
• BIB
We provide a trace partitioned Gray code for the set of q-ary strings avoiding a pattern constituted by k consecutive equal symbols. The definition of this Gray code is based on two different constructions, according to the parity of q. This result generalizes, and is based on, a Gray code for binary strings avoiding k consecutive 0's.
Polyhedrons and PBIBDs from hyperbolic manifolds
Published
• View Publication
• BIB
By taking quotients of a certain tiling of hyperbolic plane / space by certain group actions, we obtain geometric polyhedra / cellulations with interesting symmetries and incidence structure.
Connection Matrices and the Definability of Graph Parameters
Published in Logical Methods in Computer Science, Volume 10, Issue 4 (October 31, 2014) lmcs:731
• View Publication
• BIB
In this paper we extend and prove in detail the Finite Rank Theorem for connection matrices of graph parameters definable in Monadic Second Order Logic with counting (CMSOL) from B. Godlin, T. Kotek and J.A. Makowsky (2008) and J.A. Makowsky (2009). We demonstrate its vast applicability in simplifying known and new non-definability results of graph properties and finding new non-definability results for graph parameters. We also prove a Feferman-Vaught Theorem for the logic CFOL, First Order Logic with the modular counting quantifiers.
On Sparsification for Computing Treewidth
Published
• View Publication
• BIB
We investigate whether an n-vertex instance (G,k) of Treewidth, asking whether the graph G has treewidth at most k, can efficiently be made sparse without changing its answer. By giving a special form of OR-cross-composition, we prove that this is unlikely: if there is an e > 0 and a polynomial-time algorithm that reduces n-vertex Treewidth instances to equivalent instances, of an arbitrary problem, with O(n^{2-e}) bits, then NP is in coNP/poly and the polynomial hierarchy collapses to its third level.
Our sparsification lower bound has implications for structural parameterizations of Treewidth: parameterizations by measures that do not exceed the vertex count, cannot have kernels with O(k^{2-e}) bits for any e > 0, unless NP is in coNP/poly. Motivated by the question of determining the optimal kernel size for Treewidth parameterized by vertex cover, we improve the O(k^3)-vertex kernel from Bodlaender et al. (STACS 2011) to a kernel with O(k^2) vertices. Our improved kernel is based on a novel form of treewidth-invariant set. We use the q-expansion lemma of Fomin et al. (STACS 2011) to find such sets efficiently in graphs whose vertex count is superquadratic in their vertex cover number.
A generalisation of core partitions
Published
• View Publication
• BIB
Suppose $s$ and $t$ are coprime natural numbers. A theorem of Olsson says that the $t$-core of an $s$-core partition is again an $s$-core. We generalise this theorem, showing that the $s$-weight of the $t$-core of a partition $λ$ is at most the $s$-weight of $λ$. Then we consider the set $\mathcal C_{s:t}$ of partitions for which equality holds, which we call $[s{:}t]$-cores; this set has interesting structure, and we expect that it will be the subject of future study. We show that the set of $[s{:}t]$-cores is a union of finitely many orbits for an action of a Coxeter group of type $\tilde A_{s-1}\times\tilde A_{t-1}$ on the set of partitions. We also consider the problem of constructing an $[s{:}t]$-core with specified $s$-core and $t$-core.
A note on the random greedy independent set algorithm
Published
• View Publication
• BIB
Let $r\ge 3$ be a fixed constant and let $ {\mathcal H}$ be an $r$-uniform, $D$-regular hypergraph on $N$ vertices. Assume further that $ D > N^\varepsilon $ for some $ \varepsilon>0 $. Consider the random greedy algorithm for forming an independent set in $ \mathcal{H}$. An independent set is chosen at random by iteratively choosing vertices at random to be in the independent set. At each step we chose a vertex uniformly at random from the collection of vertices that could be added to the independent set (i.e. the collection of vertices $v$ with the property that $v$ is not in the current independent set $I$ and $ I \cup \{v\}$ contains no edge in $ \mathcal{H}$). Note that this process terminates at a maximal subset of vertices with the property that this set contains no edge of $ \mathcal{H} $; that is, the process terminates at a maximal independent set.
We prove that if $ \mathcal{H}$ satisfies certain degree and codegree conditions then there are $ Ω\left( N \cdot ( (\log N) / D )^{\frac{1}{r-1}} \right) $ vertices in the independent set produced by the random greedy algorithm with high probability. This result generalizes a lower bound on the number of steps in the $ H$-free process due to Bohman and Keevash and produces objects of interest in additive combinatorics.
Hyperbanana Graphs
Published in Proceedings of 25th Canadian Conference on Computational Geometry, pages 199-204, 2013
• Search Publication
A bar-and-joint framework is a finite set of points together with specified distances between selected pairs. In rigidity theory we seek to understand when the remaining pairwise distances are also fixed. If there exists a pair of points which move relative to one another while maintaining the given distance constraints, the framework is flexible; otherwise, it is rigid.
Counting conditions due to Maxwell give a necessary combinatorial criterion for generic minimal bar-and-joint rigidity in all dimensions. Laman showed that these conditions are also sufficient for frameworks in R^2. However, the flexible "double banana" shows that Maxwell's conditions are not sufficient to guarantee rigidity in R^3. We present a generalization of the double banana to a family of hyperbananas. In dimensions 3 and higher, these are (infinitesimally) flexible, providing counterexamples to the natural generalization of Laman's theorem.
Some exact values of the Harborth constant and its plus-minus weighted analogue
Published
• View Publication
• BIB
The Harborth constant of a finite abelian group is the smallest integer $\ell$ such that each subset of $G$ of cardinality $\ell$ has a subset of cardinality equal to the exponent of the group whose elements sum to the neutral element of the group. The plus-minus weighted analogue of this constant is defined in the same way except that instead of considering the sum of all elements of the subset one can choose to add either the element or its inverse. We determine these constants for certain groups, mainly groups that are the direct sum of a cyclic group and a group of order 2. Moreover, we contrast these results with existing results and conjectures on these problems.
Remarks on the plus-minus weighted Davenport constant
Published
• View Publication
• BIB
For $(G,+)$ a finite abelian group the plus-minus weighted Davenport constant, denoted $\mathsf{D}_{\pm}(G)$, is the smallest $\ell$ such that each sequence $g_1 ... g_{\ell}$ over $G$ has a weighted zero-subsum with weights +1 and -1, i.e., there is a non-empty subset $I \subset \{1,..., \ell\}$ such that $\sum_{i \in I} a_i g_i =0$ for $a_i \in \{+1,-1\}$. We present new bounds for this constant, mainly lower bounds, and also obtain the exact value of this constant for various additional types of groups.
The capture time of the hypercube
Published
• View Publication
• BIB
In the game of Cops and Robbers, the capture time of a graph is the minimum number of moves needed by the cops to capture the robber, assuming optimal play. We prove that the capture time of the $n$-dimensional hypercube is $Θ(n\ln n).$ Our methods include a novel randomized strategy for the players, which involves the analysis of the coupon-collector problem.
$\mathcal{P}\mathcal{S}$ bent functions constructed from finite pre-quasifield spreads
Bent functions are of great importance in both mathematics and information science. The $\mathcal{P}\mathcal{S}$ class of bent functions was introduced by Dillon in 1974, but functions belonging to this class that can be explicitly represented are only the $\mathcal{P}\mathcal{S}_{\text{ap}}$ functions, which were also constructed by Dillon after his introduction of the $\mathcal{P}\mathcal{S}$ class. In this paper, a technique of using finite pre-quasifield spread from finite geometry to construct $\mathcal{P}\mathcal{S}$ bent functions is proposed. The constructed functions are in similar styles with the $\mathcal{P}\mathcal{S}_{\text{ap}}$ functions. To explicitly represent them in bivariate forms, the main task is to compute compositional inverses of certain parametric permutation polynomials over finite fields of characteristic 2. Concentrated on the Dempwolff-Müller pre-quasifield, the Knuth pre-semifield and the Kantor pre-semifield, three new subclasses of the $\mathcal{P}\mathcal{S}$ class are obtained. They are the only sub-classes that can be explicitly constructed more than 30 years after the $\mathcal{P}\mathcal{S}_{\text{ap}}$ subclass was introduced.
Vertex-pursuit in random directed acyclic graphs
Published
• View Publication
• BIB
We examine a dynamic model for the disruption of information flow in hierarchical social networks by considering the vertex-pursuit game Seepage played in directed acyclic graphs (DAGs). In Seepage, agents attempt to block the movement of an intruder who moves downward from the source node to a sink. The minimum number of such agents required to block the intruder is called the green number. We propose a generalized stochastic model for DAGs with given expected total degree sequence. Seepage and the green number is analyzed in stochastic DAGs in both the cases of a regular and power law degree sequence. For each such sequence, we give asymptotic bounds (and in certain instances, precise values) for the green number.
Meyniel's conjecture on the cop number: a survey
Published
• View Publication
• BIB
Meyniel's conjecture is one of the deepest open problems on the cop number of a graph. It states that for a connected graph $G$ of order $n,$ $c(G) = O(\sqrt{n}).$ While largely ignored for over 20 years, the conjecture is receiving increasing attention. We survey the origins of and recent developments towards the solution of the conjecture. We present some new results on Meyniel extremal families containing graphs of order $n$ satisfying $c(G) \ge d\sqrt{n},$ where $d$ is a constant.
Some sharp bounds on the distance signless Laplacian spectral radius of graphs
M. Aouchiche and P. Hansen proposed the distance Laplacian and the distance signless Laplacian of a connected graph [Two Laplacians for the distance matrix of a graph, LAA 439 (2013) 21{33]. In this paper, we obtain three theorems on the sharp upper bounds of the spectral radius of a nonnegative matrix, then apply these theorems to signless Laplacian matrices and the distance signless Laplacian matrices to obtain some sharp bounds on the spectral radius, respectively. We also proposed a known result about the sharp bound of the signless Laplacian spectral radius has a defect.
Double-dimers, the Ising model and the hexahedron recurrence
Published
• View Publication
• BIB
We define and study a recurrence relation in ${\mathbb Z}^3$, called the hexahedron recurrence, which is similar to the octahedron recurrence (Hirota bilinear difference equation) and cube recurrence (Miwa equation). Like these examples, solutions to the hexahedron recurrence are partition sums for edge configurations on a certain graph, and have a natural interpretation in terms of cluster algebras. We give an explicit correspondence between monomials in the Laurent expansions arising in the recurrence with certain double-dimer configurations of a graph. We compute limit shapes for the corresponding double-dimer configurations.
The Kashaev difference equation arising in the Ising model star-triangle relation is a special case of the hexahedron recurrence. In particular this reveals the cluster nature underlying the Ising model. The above relation allows us to prove a Laurent phenomenon for the Kashaev difference equation.
The spt-Crank for Ordinary Partitions
Published
• View Publication
• BIB
The spt-function $spt(n)$ was introduced by Andrews as the weighted counting of partitions of $n$ with respect to the number of occurrences of the smallest part. Andrews, Garvan and Liang defined the spt-crank of an $S$-partition which leads to combinatorial interpretations of the congruences of $spt(n)$ mod 5 and 7. Let $N_S(m,n)$ denote the net number of $S$-partitions of $n$ with spt-crank $m$. Andrews, Garvan and Liang showed that $N_S(m,n)$ is nonnegative for all integers $m$ and positive integers $n$, and they asked the question of finding a combinatorial interpretation of $N_S(m,n)$. In this paper, we introduce the structure of doubly marked partitions and define the spt-crank of a doubly marked partition. We show that $N_S(m,n)$ can be interpreted as the number of doubly marked partitions of $n$ with spt-crank $m$. Moreover, we establish a bijection between marked partitions of $n$ and doubly marked partitions of $n$. A marked partition is defined by Andrews, Dyson and Rhoades as a partition with exactly one of the smallest parts marked. They consider it a challenge to find a definition of the spt-crank of a marked partition so that the set of marked partitions of $5n+4$ and $7n+5$ can be divided into five and seven equinumerous classes. The definition of spt-crank for doubly marked partitions and the bijection between the marked partitions and doubly marked partitions leads to a solution to the problem of Andrews, Dyson and Rhoades.
Precoloring extension involving pairs of vertices of small distance
Published
• View Publication
• BIB
In this paper, we consider coloring of graphs under the assumption that some vertices are already colored. Let $G$ be an $r$-colorable graph and let $P\subset V(G)$. Albertson [J.\ Combin.\ Theory Ser. B \textbf{73} (1998), 189--194] has proved that if every pair of vertices in $P$ have distance at least four, then every $(r+1)$-coloring of $G[P]$ can be extended to an $(r+1)$-coloring of $G$, where $G[P]$ is the subgraph of $G$ induced by $P$. In this paper, we allow $P$ to have pairs of vertices of distance at most three, and investigate how the number of such pairs affects the number of colors we need to extend the coloring of $G[P]$. We also study the effect of pairs of vertices of distance at most two, and extend the result by Albertson and Moore [J.\ Combin.\ Theory Ser. B \textbf{77} (1999) 83--95].
Multigraphs with $Δ\ge 3$ are Totally-$(2Δ-1)$-choosable
Published in Graphs and Combinatorics. Vol. 25(1), May 2009, pp. 35-40
• Search Publication
The \emph{total graph} $T(G)$ of a multigraph $G$ has as its vertices the set of edges and vertices of $G$ and has an edge between two vertices if their corresponding elements are either adjacent or incident in $G$. We show that if $G$ has maximum degree $Δ(G)$, then $T(G)$ is $(2Δ(G)-1)$-choosable. We give a linear-time algorithm that produces such a coloring. The best previous general upper bound for $Δ(G) > 3$ was $\floor{\frac32Δ(G)+2}$, by Borodin et al. When $Δ(G)=4$, our algorithm gives a better upper bound. When $Δ(G)\in\{3,5,6\}$, our algorithm matches the best known bound. However, because our algorithm is significantly simpler, it runs in linear time (unlike the algorithm of Borodin et al.).
Choice number of complete multipartite graphs $K_{3*3,2*(k-5),1*2}$ and $K_{4,3*2,2*(k-6),1*3}$
Published in Discrete Math. Vol 308, no. 23, 6 December 2008, pp. 5871-5877
• Search Publication
A graph $G$ is called \emph{chromatic-choosable} if its choice number is equal to its chromatic number, namely $Ch(G)=χ(G)$. Ohba has conjectured that every graph $G$ satisfying $|V(G)|\leq 2χ(G)+1$ is chromatic-choosable. Since each $k$-chromatic graph is a subgraph of a complete $k$-partite graph, we see that Ohba's conjecture is true if and only if it is true for every complete multipartite graph. However, the only complete multipartite graphs for which Ohba's conjecture has been verified are:
$K_{3*2,2*(k-3),1}$, $K_{3,2*(k-1)}$, $K_{s+3,2*(k-s-1),1*s}$, $K_{4,3,2*(k-4),1*2}$, and $K_{5,3,2*(k-5),1*3}$.
In this paper, we show that Ohba's conjecture is true for two new classes of complete multipartite graphs: graphs with three parts of size 3 and graphs with one part of size 4 and two parts of size 3. Namely, we prove that $Ch(K_{3*3,2*(k-5),1*2})=k$ and $Ch(K_{4,3*2,2*(k-6),1*3})=k$ (for $k\geq 5$ and $k\geq 6$, respectively).
Graphs whose indecomposability graph is 2-covered
Given a graph $G=(V,E)$, a subset $X$ of $V$ is an interval of $G$ provided that for any $a, b\in X$ and $ x\in V \setminus X$, $\{a,x\}\in E$ if and only if $\{b,x\}\in E$. For example, $\emptyset$, $\{x\}(x\in V)$ and $V$ are intervals of $G$, called trivial intervals. A graph whose intervals are trivial is indecomposable; otherwise, it is decomposable. According to Ille, the indecomposability graph of an undirected indecomposable graph $G$ is the graph $\mathbb I(G)$ whose vertices are those of $G$ and edges are the unordered pairs of distinct vertices $\{x,y\}$ such that the induced subgraph $G[V \setminus \{x,y\}]$ is indecomposable. We characterize the indecomposable graphs $G$ whose $\mathbb I(G)$ admits a vertex cover of size 2.