contain ↗ reference
7720 papers tagged with this keyword
Derivatives of Complete Weight Enumerators and New Balance Principle of Binary Self-Dual Codes
Let H be the standard Hadamard matrix of order two and let K=2^{-1/2}H. It is known that the complete weight enumerator $\ W$ of a binary self-dual code of length $n$ is an eigenvector corresponding to an eigenvalue 1 of the Kronecker power $K^{[n]}.$ For every integer $t$ in the interval [0,n] we define the derivative of order $t$, $W_{<t>},$ of $W$ in such a way that $W_{<t>}$ is in the eigenspace of $\ 1$ of the matrix $K^{[n-t]}.$ For large values of $t,$ $W_{<t>}$ contains less information about the code but has smaller length while $W_{<0>}=W$ completely determines the code. We compute the derivative of order $n-5$ for the extended Golay code of length 24, the extended quadratic residue code of length 48, and the putative [72,24,12] code and show that they are in the eigenspace of $\ 1$ of the matrix $% K^{[5]}.$ We use the derivatives to prove a new balance equation which involves the number of code vectors of given weight having 1 in a selected coordinate position. As an example, we use the balance equation to eliminate some candidates for weight enumerators of binary self-dual codes of length eight.
Packing cycles in planar and bounded-genus graphs
Published
• View Publication
• BIB
We devise constant-factor approximation algorithms for finding as many disjoint cycles as possible from a certain family of cycles in a given planar or bounded-genus graph. Here disjoint can mean vertex-disjoint or edge-disjoint, and the graph can be undirected or directed. The family of cycles under consideration must satisfy two properties: it must be uncrossable and allow for an oracle access that finds a weight-minimal cycle in that family for given nonnegative edge weights or (in planar graphs) the union of all remaining cycles in that family after deleting a given subset of edges.
Our setting generalizes many problems that were studied separately in the past. For example, three families that satisfy the above properties are (i) all cycles in a directed or undirected graph, (ii) all odd cycles in an undirected graph, and (iii) all cycles in an undirected graph that contain precisely one demand edge, where the demand edges form a subset of the edge set. The latter family (iii) corresponds to the classical disjoint paths problem in fully planar and bounded-genus instances. While constant-factor approximation algorithms were known for edge-disjoint paths in such instances, we improve the constant in the planar case and obtain the first such algorithms for vertex-disjoint paths. We also obtain approximate min-max theorems of the Erdős--Pósa type. For example, the minimum feedback vertex set in a planar digraph is at most 12 times the maximum number of vertex-disjoint cycles.
Induced subgraphs and path decompositions
Published
• View Publication
• BIB
A graph $H$ is an induced subgraph of a graph $G$ if a graph isomorphic to $H$ can be obtained from $G$ by deleting vertices. Recently, there has been significant interest in understanding the unavoidable induced subgraphs for graphs of large treewidth. Motivated by this work, we consider the analogous problem for pathwidth: what are the unavoidable induced subgraphs for graphs of large pathwidth? While resolving this question in the general setting looks challenging, we prove various results for sparse graphs. In particular, we show that every graph with bounded maximum degree and sufficiently large pathwidth contains a subdivision of a large complete binary tree or the line graph of a subdivision of a large complete binary tree as an induced subgraph. Similarly, we show that every graph excluding a fixed minor and with sufficiently large pathwidth contains a subdivision of a large complete binary tree or the line graph of a subdivision of a large complete binary tree as an induced subgraph. Finally, we present a characterisation for when a hereditary class defined by a finite set of forbidden induced subgraphs has bounded pathwidth.
Combinatorial and Algorithmic Aspects of Monadic Stability
Nowhere dense classes of graphs are classes of sparse graphs with rich structural and algorithmic properties, however, they fail to capture even simple classes of dense graphs. Monadically stable classes, originating from model theory, generalize nowhere dense classes and close them under transductions, i.e. transformations defined by colorings and simple first-order interpretations. In this work we aim to extend some combinatorial and algorithmic properties of nowhere dense classes to monadically stable classes of finite graphs. We prove the following results.
- In monadically stable classes the Ramsey numbers $R(s,t)$ are bounded from above by $\mathcal{O}(t^{s-1-δ})$ for some $δ>0$, improving the bound $R(s,t)\in \mathcal{O}(t^{s-1}/(\log t)^{s-1})$ known for general graphs and the bounds known for $k$-stable graphs when $s\leq k$.
- For every monadically stable class $\mathcal{C}$ and every integer $r$, there exists $δ> 0$ such that every graph $G \in \mathcal{C}$ that contains an $r$-subdivision of the biclique $K_{t,t}$ as a subgraph also contains $K_{t^δ,t^δ}$ as a subgraph. This generalizes earlier results for nowhere dense graph classes.
- We obtain a stronger regularity lemma for monadically stable classes of graphs.
- Finally, we show that we can compute polynomial kernels for the independent set and dominating set problems in powers of nowhere dense classes. Formerly, only fixed-parameter tractable algorithms were known for these problems on powers of nowhere dense classes.
Finding $k$-community structures in special graph classes
Published
• View Publication
• BIB
For a fixed integer $k\ge 2$, a $k$-community structure in an undirected graph is a partition of its vertex set into $k$ sets called communities, each of size at least two, such that every vertex of the graph has proportionally at least as many neighbours in its own community as in any other community. In this paper, we give a necessary and sufficient condition for a forest on $n$ vertices to admit a $k$-community structure. Furthermore, we provide an $O(n^{2})$-time algorithm that computes such a $k$-community structure in a forest, if it exists. These results extend a result of [Bazgan et al., Structural and algorithmic properties of $2$-community structure, Algorithmica, 80(6):1890-1908, 2018]. We also show that if communities are allowed to have size one, then every forest with $n \geq k\geq 2$ vertices admits a $k$-community structure that can be found in time $O(n^{2})$. We then consider threshold graphs and show that every connected threshold graph admits a $2$-community structure if and only if it is not isomorphic to a star; also if such a $2$-community structure exists, we explain how to obtain it in linear time. We further describe two infinite families of disconnected threshold graphs, containing exactly one isolated vertex, that do not admit any $2$-community structure. Finally, we present a new infinite family of connected graphs that may contain an even or an odd number of vertices without $2$-community structures, even if communities are allowed to have size one.
Indiscernibles and Flatness in Monadically Stable and Monadically NIP Classes
Monadically stable and monadically NIP classes of structures were initially studied in the context of model theory and defined in logical terms. They have recently attracted attention in the area of structural graph theory, as they generalize notions such as nowhere denseness, bounded cliquewidth, and bounded twinwidth.
Our main result is the - to the best of our knowledge first - purely combinatorial characterization of monadically stable classes of graphs, in terms of a property dubbed flip-flatness. A class $\mathcal{C}$ of graphs is flip-flat if for every fixed radius $r$, every sufficiently large set of vertices of a graph $G \in \mathcal{C}$ contains a large subset of vertices with mutual distance larger than $r$, where the distance is measured in some graph $G'$ that can be obtained from $G$ by performing a bounded number of flips that swap edges and non-edges within a subset of vertices. Flip-flatness generalizes the notion of uniform quasi-wideness, which characterizes nowhere dense classes and had a key impact on the combinatorial and algorithmic treatment of nowhere dense classes. To obtain this result, we develop tools that also apply to the more general monadically NIP classes, based on the notion of indiscernible sequences from model theory. We show that in monadically stable and monadically NIP classes indiscernible sequences impose a strong combinatorial structure on their definable neighborhoods. All our proofs are constructive and yield efficient algorithms.
Linear-sized minors with given edge density
It is proved that for every $\varepsilon>0$, there exists $K>0$ such that for every integer $t\ge2$, every graph with chromatic number at least $Kt$ contains a minor with $t$ vertices and edge density at least $1-\varepsilon$. Indeed, building on recent work of Delcourt and Postle on linear Hadwiger's conjecture, for $\varepsilon\in(0,\frac{1}{256})$ we can take $K=C\log\log(1/\varepsilon)$ where $C>0$ is a universal constant, which extends their recent $O(t\log\log t)$ bound on the chromatic number of graphs with no $K_t$ minor.
Coloring hypergraphs with excluded minors
Published
• View Publication
• BIB
Hadwiger's conjecture, among the most famous open problems in graph theory, states that every graph that does not contain $K_t$ as a minor is properly $(t-1)$-colorable. The purpose of this work is to demonstrate that a natural extension of Hadwiger's problem to hypergraph coloring exists, and to derive some first partial results and applications. Generalizing ordinary graph minors to hypergraphs, we say that a hypergraph $H_1$ is a minor of a hypergraph $H_2$, if a hypergraph isomorphic to $H_1$ can be obtained from $H_2$ via a finite sequence of vertex- and hyperedge-deletions, and hyperedge contractions. We first show that a weak extension of Hadwiger's conjecture to hypergraphs holds true: For every $t \ge 1$, there exists a finite (smallest) integer $h(t)$ such that every hypergraph with no $K_t$-minor is $h(t)$-colorable, and we prove $$\left\lceil\frac{3}{2}(t-1)\right\rceil \le h(t) \le 2g(t)$$ where $g(t)$ denotes the maximum chromatic number of graphs with no $K_t$-minor. Using the recent result by Delcourt and Postle that $g(t)=O(t \log \log t)$, this yields $h(t)=O(t \log \log t)$. We further conjecture that $h(t)=\left\lceil\frac{3}{2}(t-1)\right\rceil$, i.e., that every hypergraph with no $K_t$-minor is $\left\lceil\frac{3}{2}(t-1)\right\rceil$-colorable for all $t \ge 1$, and prove this conjecture for all hypergraphs with independence number at most $2$. By considering special classes of hypergraphs, the above additionally has some interesting applications for ordinary graph coloring, such as:
-graphs of chromatic number $C k t \log \log t$ contain $K_t$-minors with $k$-edge-connected branch-sets,
-graphs of chromatic number $C q t \log \log t$ contain $K_t$-minors with modulo-$q$-connected branch sets,
-by considering cycle hypergraphs of digraphs we recover known results on strong minors in digraphs of large dichromatic number as special cases.
On isomorphism classes of leaf-induced subtrees in topological trees
A subtree can be induced in a natural way by a subset of leaves of a rooted tree. We study the number of nonisomorphic such subtrees induced by leaves (leaf-induced subtrees) of a rooted tree with no vertex of outdegree 1 (topological tree). We show that only stars and binary caterpillars have the minimum nonisomorphic leaf-induced subtrees among all topological trees with a given number of leaves. We obtain a closed formula and a recursive formula for the families of $d$-ary caterpillars and complete $d$-ary trees, respectively. An asymptotic formula is found for complete $d$-ary trees using polynomial recurrences. We also show that the complete binary tree of height $h>1$ contains precisely $\lfloor 2(1.24602...)^{2^h}\rfloor$ nonisomorphic leaf-induced subtrees.
On upper bounds for the multi-fold chromatic numbers of the plane
Published in Geombinatorics 30/4 (2021) 177-189
• Search Publication
The multi-fold chromatic number of the plane $χ_m$ is the smallest number of colors $k$, sufficient to color each point of the Euclidean plane in exactly $m$ colors, so that for any pair of points at a unit distance from each other, two corresponding $m$-subsets of $k$-set do not contain any common color. We consider upper bounds for $m$-fold chromatic numbers of the plane. Our main result is that for any $m$ the inequality $χ_m<(1+2/\sqrt3)^2\cdot m+3.501$ holds.
Steiner Type Packing Problems in Digraphs: A Survey
Graph packing problem is one of the central problems in graph theory and combinatorial optimization. The famous Steiner tree packing problem in undirected graphs has become an well-established area. It is natural to extend this problem to digraphs, and such problems in digraphs are called directed Steiner type packing problems.
In this survey we overview known results on several directed Steiner type packing problems. The paper is divided into seven sections: introduction, directed Steiner tree packing problem, directed Steiner path packing problem, directed pendant Steiner tree packing problem, strong subgraph packing problem, strong arc decomposition problem, directed Steiner cycle packing problem. This survey also contains some conjectures and open problems for further study.
Cycle lengths in randomly perturbed graphs
Published
• View Publication
• BIB
Let $G$ be an $n$-vertex graph, where $δ(G) \geq δn$ for some $δ:= δ(n)$. A result of Bohman, Frieze and Martin from 2003 asserts that if $α(G) = O \left(δ^2 n \right)$, then perturbing $G$ via the addition of $ω\left(\frac{\log(1/δ)}{δ^3} \right)$ random edges, asymptotically almost surely (a.a.s. hereafter) results in a Hamiltonian graph. This bound on the size of the random perturbation is only tight when $δ$ is independent of $n$ and deteriorates as to become uninformative when $δ= Ω\left(n^{-1/3} \right)$.
We prove several improvements and extensions of the aforementioned result. First, keeping the bound on $α(G)$ as above and allowing for $δ= Ω(n^{-1/3})$, we determine the correct order of magnitude of the number of random edges whose addition to $G$ a.a.s. results in a pancyclic graph. Our second result ventures into significantly sparser graphs $G$; it delivers an almost tight bound on the size of the random perturbation required to ensure pancyclicity a.a.s., assuming $δ(G) = Ω\left((α(G) \log n)^2 \right)$ and $α(G) δ(G) = O(n)$.
Assuming the correctness of Chvátal's toughness conjecture, allows for the mitigation of the condition $α(G) = O \left(δ^2 n \right)$ imposed above, by requiring $α(G) = O(δ(G))$ instead; our third result determines, for a wide range of values of $δ(G)$, the correct order of magnitude of the size of the random perturbation required to ensure the a.a.s. pancyclicity of $G$.
For the emergence of nearly spanning cycles, our fourth result determines, under milder conditions, the correct order of magnitude of the size of the random perturbation required to ensure that a.a.s. $G$ contains such a cycle.
Improved bounds for 1-independent percolation on $\mathbb{Z}^n$
Published
• View Publication
• BIB
A 1-independent bond percolation model on a graph $G$ is a probability distribution on the spanning subgraphs of $G$ in which, for all vertex-disjoint sets of edges $S_1$ and $S_2$, the states of the edges in $S_1$ are independent of the states of the edges in $S_2$. Such a model is said to percolate if the random subgraph has an infinite component with positive probability. In 2012 the first author and Bollobás defined $p_{\max}(G)$ to be the supremum of those $p$ for which there exists a 1-independent bond percolation model on $G$ in which each edge is present in the random subgraph with probability at least $p$ but which does not percolate.
A fundamental and challenging problem in this area is to determine the value of $p_{\max}(G)$ when $G$ is the lattice graph $\mathbb{Z}^2$. Since $p_{\max}(\mathbb{Z}^n)\leq p_{\max}(\mathbb{Z}^{n-1})$, it is also of interest to establish the value of $\lim_{n\to\infty} p_{\max}(\mathbb{Z}^n)$. In this paper we significantly improve the best known upper bound on this limit and obtain better upper and lower bounds on $p_{\max}(\mathbb{Z}^2)$. In proving these results, we also give an upper bound on the critical probability for a 1-independent model on the hypercube graph to contain a giant component asymptotically almost surely.
A proof of Erdős's $B+B+t$ conjecture
Published
• View Publication
• BIB
We show that every set $A$ of natural numbers with positive upper density can be shifted to contain the restricted sumset $\{b_1 + b_2 : b_1, b_2\in B \text{ and } b_1 \neq b_2 \}$ for some infinite set $B \subset A$.
Attractor separation and signed cycles in asynchronous Boolean networks
Published
• View Publication
• BIB
The structure of the graph defined by the interactions in a Boolean network can determine properties of the asymptotic dynamics. For instance, considering the asynchronous dynamics, the absence of positive cycles guarantees the existence of a unique attractor, and the absence of negative cycles ensures that all attractors are fixed points. In presence of multiple attractors, one might be interested in properties that ensure that attractors are sufficiently "isolated", that is, they can be found in separate subspaces or even trap spaces, subspaces that are closed with respect to the dynamics. Here we introduce notions of separability for attractors and identify corresponding necessary conditions on the interaction graph. In particular, we show that if the interaction graph has at most one positive cycle, or at most one negative cycle, or if no positive cycle intersects a negative cycle, then the attractors can be separated by subspaces. If the interaction graph has no path from a negative to a positive cycle, then the attractors can be separated by trap spaces. Furthermore, we study networks with interaction graphs admitting two vertices that intersect all cycles, and show that if their attractors cannot be separated by subspaces, then their interaction graph must contain a copy of the complete signed digraph on two vertices, deprived of a negative loop. We thus establish a connection between a dynamical property and a complex network motif. The topic is far from exhausted and we conclude by stating some open questions.
On the complexity of packing rainbow spanning trees
One of the most important questions in matroid optimization is to find disjoint common bases of two matroids. The significance of the problem is well-illustrated by the long list of conjectures that can be formulated as special cases. Bérczi and Schwarcz showed that the problem is hard in general, therefore identifying the borderline between tractable and intractable instances is of interest.
In the present paper, we study the special case when one of the matroids is a partition matroid while the other one is a graphic matroid. This setting is equivalent to the problem of packing rainbow spanning trees, an extension of the problem of packing arborescences in directed graphs which was answered by Edmonds' seminal result on disjoint arborescences. We complement his result by showing that it is NP-complete to decide whether an edge-colored graph contains two disjoint rainbow spanning trees. Our complexity result holds even for the very special case when the graph is the union of two spanning trees and each color class contains exactly two edges. As a corollary, we give a negative answer to a question on the decomposition of oriented $k$-partition-connected digraphs.
Prescribed graphon symmetries and flavors of rigidity
Published
• View Publication
• BIB
We prove that an arbitrary compact metrizable group can be realized as the automorphism group of a graphing; this is a continuous analogue to Frucht's theorem recovering arbitrary finite groups are automorphism groups of finite graphs.
The paper also contains a number of results the persistence of transitivity of a compact-group action upon passing to a limit of graphons. Call a compact group $\mathbb{G}$ graphon-rigid if, whenever it acts transitively on each member $Γ_n$ of a convergent sequence of graphons, it also acts transitively on the limit $\lim_n Γ$. We show that for a compact Lie group $\mathbb{G}$ graphon rigidity is equivalent to the identity component $\mathbb{G}_0$ being semisimple; as a partial converse to a result of Lovász and Szegedy, this is also equivalent to weak randomness: the property that the group have only finitely many irreducible representations in each dimension. Similarly, call a compact group $\mathbb{G}$ image-rigid if for every compact Lie group $\mathbb{H}$ the images of morphisms $\mathbb{G}\to \mathbb{H}$ form a closed set (of closed subgroups, in the natural topology). We prove that graphon rigidity implies image rigidity for compact groups that are either connected or profinite, and the two conditions are equivalent (and also equivalent to being torsion) for profinite abelian groups.
Pairwise disjoint perfect matchings in $r$-edge-connected $r$-regular graphs
Published in SIAM J. Discrete Math., 37 (2023), 1548-1565
• View Publication
• BIB
Thomassen [Problem 1 in Factorizing regular graphs, J. Combin. Theory Ser. B, 141 (2020), 343-351] asked whether every $r$-edge-connected $r$-regular graph of even order has $r-2$ pairwise disjoint perfect matchings. We show that this is not the case if $r \equiv 2 \text{ mod } 4$. Together with a recent result of Mattiolo and Steffen [Highly edge-connected regular graphs without large factorizable subgraphs, J. Graph Theory, 99 (2022), 107-116] this solves Thomassen's problem for all even $r$. It turns out that our methods are limited to the even case of Thomassen's problem. We then prove some equivalences of statements on pairwise disjoint perfect matchings in highly edge-connected regular graphs, where the perfect matchings contain or avoid fixed sets of edges. Based on these results we relate statements on pairwise disjoint perfect matchings of 5-edge-connected 5-regular graphs to well-known conjectures for cubic graphs, such as the Fan-Raspaud Conjecture, the Berge-Fulkerson Conjecture and the $5$-Cycle Double Cover Conjecture.
Rainbow bases in matroids
Recently, it was proved by Bérczi and Schwarcz that the problem of factorizing a matroid into rainbow bases with respect to a given partition of its ground set is algorithmically intractable. On the other hand, many special cases were left open.
We first show that the problem remains hard if the matroid is graphic, answering a question of Bérczi and Schwarcz. As another special case, we consider the problem of deciding whether a given digraph can be factorized into subgraphs which are spanning trees in the underlying sense and respect upper bounds on the indegree of every vertex. We prove that this problem is also hard. This answers a question of Frank.
In the second part of the article, we deal with the relaxed problem of covering the ground set of a matroid by rainbow bases. Among other results, we show that there is a linear function $f$ such that every matroid that can be factorized into $k$ bases for some $k \geq 3$ can be covered by $f(k)$ rainbow bases if every partition class contains at most 2 elements.
Improved bounds for the triangle case of Aharoni's rainbow generalization of the Caccetta-Häggkvist conjecture
Published in Discrete Mathematics, Volume 347, Issue 1, January 2024, 113691
• View Publication
• BIB
For a digraph $G$ and $v \in V(G)$, let $δ^+(v)$ be the number of out-neighbors of $v$ in $G$. The Caccetta-Häggkvist conjecture states that for all $k \ge 1$, if $G$ is a digraph with $n = |V(G)|$ such that $δ^+(v) \ge k$ for all $v \in V(G)$, then $G$ contains a directed cycle of length at most $\lceil n/k \rceil$. Aharoni proposed a generalization of this conjecture, that a simple edge-colored graph on $n$ vertices with $n$ color classes, each of size at least $k$, has a rainbow cycle of length at most $\lceil n/k \rceil$. Let us call $(α, β)$ \emph{triangular} if every simple edge-colored graph on $n$ vertices with at least $αn$ color classes, each with at least $βn$ edges, has a rainbow triangle. Aharoni, Holzman, and DeVos showed the following: $(9/8,1/3)$ is triangular; $(1,2/5)$ is triangular. In this paper, we improve those bounds, showing the following: $(1.1077,1/3)$ is triangular; $(1,0.3988)$ is triangular. Our methods give results for infinitely many pairs $(α, β)$, including $β< 1/3$; we show that $(1.3481,1/4)$ is triangular.