contain ↗ reference
7694 papers tagged with this keyword
On Uniform f-vectors of Cutsets in the Truncated Boolean Lattice
Let $[n] = \{1, 2, \ldots, n\}$ and let $2^{[n]}$ be the collection of all subsets of $[n]$ ordered by inclusion. ${\cal C} \subseteq 2^{[n]}$ is a {\em cutset} if it meets every maximal chain in $2^{[n]}$, and the {\em width} of ${\cal C} \subseteq 2^{[n]}$ is the minimum number of chains in a chain decomposition of ${\cal C}$. Fix $0 \leq m \leq l \leq n$. What is the smallest value of $k$ such that there exists a cutset that consists only of subsets of sizes between $m$ and $l$, and such that it contains exactly $k$ subsets of size $i$ for each $m \leq i \leq l$? The answer, which we denote by $g_n(m,l)$, gives a lower estimate for the width of a cutset between levels $m$ and $l$ in $2^{[n]}$. After using the Kruskal-Katona Theorem to give a general characterization of cutsets in terms of the number and sizes of their elements, we find lower and upper bounds (as well as some exact values) for $g_n(m,l)$.
Spherical Designs and Generalized Sum-Free Sets in Abelian Groups
We extend the concepts of sum-free sets and Sidon-sets of combinatorial number theory with the aim to provide explicit constructions for spherical designs. We call a subset $S$ of the (additive) abelian group $G$ {\it $t$-free} if for all non-negative integers $k$ and $l$ with $k+l \leq t$, the sum of $k$ (not necessarily distinct) elements of $S$ does not equal the sum of $l$ (not necessarily distinct) elements of $S$ unless $k=l$ and the two sums contain the same terms.
Here we shall give asymptotic bounds for the size of a largest $t$-free set in ${\bf Z}_n$, and for $t \leq 3$ discuss how $t$-free sets in ${\bf Z}_n$ can be used to construct spherical $t$-designs.
Light subgraphs in graphs with average degree at most four
Published in Discrete Mathematics, 339 (2016) 2581--2591
• View Publication
• BIB
A graph $H$ is said to be {\em light} in a family $\mathfrak{G}$ of graphs if at least one member of $\mathfrak{G}$ contains a copy of $H$ and there exists an integer $λ(H, \mathfrak{G})$ such that each member $G$ of $\mathfrak{G}$ with a copy of $H$ also has a copy $K$ of $H$ such that $°_{G}(v) \leq λ(H, \mathfrak{G})$ for all $v \in V(K)$. In this paper, we study the light graphs in the class of graphs with small average degree, including the plane graphs with some restrictions on girth.
Refining a Tree-Decomposition which Distinguishes Tangles
Published
• View Publication
• BIB
Roberston and Seymour introduced tangles of order $k$ as objects representing highly connected parts of a graph and showed that every graph admits a tree-decomposition of adhesion $<k$ in which each tangle of order $k$ is contained in a different part. Recently, Carmesin, Diestel, Hamann and Hundertmark showed that such a tree-decomposition can be constructed in a canonical way, which makes it invariant under automorphisms of the graph. These canonical tree-decompositions necessarily have parts which contain no tangle of order $k$. We call these parts inessential. Diestel asked what could be said about the structure of the inessential parts. In this paper we show that the torsos of the inessential parts in these tree-decompositions have branch width $<k$, allowing us to further refine the canonical tree-decompositions, and also show that a similar result holds for $k$-blocks.
Coloring points with respect to squares
Published
• View Publication
• BIB
We consider the problem of $2$-coloring geometric hypergraphs. Specifically, we show that there is a constant $m$ such that any finite set of points in the plane $\mathcal{S} \subset {\mathbb R}^2$ can be $2$-colored such that every axis-parallel square that contains at least $m$ points from $\mathcal{S}$ contains points of both colors. Our proof is constructive, that is, it provides a polynomial-time algorithm for obtaining such a $2$-coloring. By affine transformations this result immediately applies also when considering $2$-coloring points with respect to homothets of a fixed parallelogram.
The Class of Random Graphs Arising from Exchangeable Random Measures
We introduce a class of random graphs that we argue meets many of the desiderata one would demand of a model to serve as the foundation for a statistical analysis of real-world networks. The class of random graphs is defined by a probabilistic symmetry: invariance of the distribution of each graph to an arbitrary relabelings of its vertices. In particular, following Caron and Fox, we interpret a symmetric simple point process on $\mathbb{R}_+^2$ as the edge set of a random graph, and formalize the probabilistic symmetry as joint exchangeability of the point process. We give a representation theorem for the class of random graphs satisfying this symmetry via a straightforward specialization of Kallenberg's representation theorem for jointly exchangeable random measures on $\mathbb{R}_+^2$. The distribution of every such random graph is characterized by three (potentially random) components: a nonnegative real $I \in \mathbb{R}_+$, an integrable function $S: \mathbb{R}_+ \to \mathbb{R}_+$, and a symmetric measurable function $W: \mathbb{R}_+^2 \to [0,1]$ that satisfies several weak integrability conditions. We call the triple $(I,S,W)$ a graphex, in analogy to graphons, which characterize the (dense) exchangeable graphs on $\mathbb{N}$. Indeed, the model we introduce here contains the exchangeable graphs as a special case, as well as the "sparse exchangeable" model of Caron and Fox. We study the structure of these random graphs, and show that they can give rise to interesting structure, including sparse graph sequences. We give explicit equations for expectations of certain graph statistics, as well as the limiting degree distribution. We also show that certain families of graphexes give rise to random graphs that, asymptotically, contain an arbitrarily large fraction of the vertices in a single connected component.
A Novel Paradigm for Calculating Ramsey Number via Artificial Bee Colony Algorithm
Published
• View Publication
• BIB
The Ramsey number is of vital importance in Ramsey's theorem. This paper proposed a novel methodology for constructing Ramsey graphs about R(3,10), which uses Artificial Bee Colony optimization(ABC) to raise the lower bound of Ramsey number R(3,10). The r(3,10)-graph contains two limitations, that is, neither complete graphs of order 3 nor independent sets of order 10. To resolve these limitations, a special mathematical model is put in the paradigm to convert the problems into discrete optimization whose smaller minimizers are correspondent to bigger lower bound as approximation of inf R(3,10). To demonstrate the potential of the proposed method, simulations are done to to minimize the amount of these two types of graphs. For the first time, four r(3,9,39) graphs with best approximation for inf R(3,10) are reported in simulations to support the current lower bound for R(3,10). The experiments' results show that the proposed paradigm for Ramsey number's calculation driven by ABC is a successful method with the advantages of high precision and robustness.
Exact Algorithms via Monotone Local Search
Published
• View Publication
• BIB
We give a new general approach for designing exact exponential-time algorithms for subset problems. In a subset problem the input implicitly describes a family of sets over a universe of size n and the task is to determine whether the family contains at least one set. Our approach is based on "monotone local search", where the goal is to extend a partial solution to a solution by adding as few elements as possible. More formally, in the extension problem we are also given as input a subset X of the universe and an integer k. The task is to determine whether one can add at most k elements to X to obtain a set in the (implicitly defined) family. Our main result is that an O*(c^k) time algorithm for the extension problem immediately yields a randomized algorithm for finding a solution of any size with running time O*((2-1/c)^n).
In many cases, the extension problem can be reduced to simply finding a solution of size at most k. Furthermore, efficient algorithms for finding small solutions have been extensively studied in the field of parameterized algorithms. Directly applying these algorithms, our theorem yields in one stroke significant improvements over the best known exponential-time algorithms for several well-studied problems, including d-Hitting Set, Feedback Vertex Set, Node Unique Label Cover, and Weighted d-SAT. Our results demonstrate an interesting and very concrete connection between parameterized algorithms and exact exponential-time algorithms.
We also show how to derandomize our algorithms at the cost of a subexponential multiplicative factor in the running time. Our derandomization is based on an efficient construction of a new pseudo-random object that might be of independent interest. Finally, we extend our methods to establish new combinatorial upper bounds and develop enumeration algorithms.
Codegree thresholds for covering 3-uniform hypergraphs
Published
• View Publication
• BIB
Given two 3-uniform hypergraphs F and G, we say that G has an F-covering if we can cover V(G) by copies of F. The minimum codegree of G is the largest integer d such that every pair of vertices from V(G) is contained in at least d triples from E(G). Define c_2(n,F) to be the largest minimum codegree among all n-vertex 3-graphs G that contain no F-covering. This is a natural problem intermediate (but distinct) from the well-studied Turán problems and tiling problems.
In this paper, we determine c_2(n, K_4) (for n>98) and the associated extremal configurations (for n>998), where K_4 denotes the complete 3-graph on 4 vertices. We also obtain bounds on c_2(n,F) which are apart by at most 2 in the cases where F is K_4^- (K_4 with one edge removed), K_5^-, and the tight cycle C_5 on 5 vertices.
Multicolor Sunflowers
Published
• View Publication
• BIB
A sunflower is a collection of distinct sets such that the intersection of any two of them is the same as the common intersection $C$ of all of them, and $|C|$ is smaller than each of the sets. A longstanding conjecture due to Erdős and Szemerédi states that the maximum size of a family of subsets of $[n]$ that contains no sunflower of fixed size $k>2$ is exponentially smaller than $2^n$ as $n\rightarrow\infty$. We consider this problem for multiple families. In particular, we obtain sharp or almost sharp bounds on the sum and product of $k$ families of subsets of $[n]$ that together contain no sunflower of size $k$ with one set from each family. For the sum, we prove that the maximum is $$(k-1)2^n+1+\sum_{s=n-k+2}^{n}\binom{n}{s}$$ for all $n \ge k \ge 3$, and for the $k=3$ case of the product, we prove that it is between $$\left(\frac{1}{8}+o(1)\right)2^{3n}\qquad \hbox{and} \qquad (0.13075+o(1))2^{3n}.$$
An introduction to higher energies and sumsets
These notes basically contain a material of two mini--courses which were read in Göteborg in April 2015 during the author visit of Chalmers & Göteborg universities and in Beijing in November 2015 during "Chinese--Russian Workshop on Exponential Sums and Sumsets". The article is a short introduction to a new area of Additive Combinatorics which is connected which so--called the higher sumsets as well as with the higher energies. We hope the notes will be helpful for a reader who is interested in the field.
On Color Preserving Automorphisms of Cayley Graphs of Odd Square-free Order
Published
• View Publication
• BIB
An automorphism $α$ of a Cayley graph $Cay(G,S)$ of a group $G$ with connection set $S$ is color-preserving if $α(g,gs) = (h,hs)$ or $(h,hs^{-1})$ for every edge $(g,gs)\in E(Cay(G,S))$. If every color-preserving automorphism of $Cay(G,S)$ is also affine, then $Cay(G,S)$ is a CCA (Cayley color automorphism) graph. If every Cayley graph $Cay(G,S)$ is a CCA graph, then $G$ is a CCA group. Hujdurović, Kutnar, D.W. Morris, and J. Morris have shown that every non-CCA group $G$ contains a section isomorphic to the nonabelian group $F_{21}$ of order $21$. We first show that there is a unique non-CCA Cayley graph $Γ$ of $F_{21}$. We then show that if $Cay(G,S)$ is a non-CCA graph of a group $G$ of odd square-free order, then $G = H\times F_{21}$ for some CCA group $H$, and $Cay(G,S) = Cay(G,T)\BoxΓ$.
Complete graph immersions and minimum degree
An immersion of a graph H in another graph G is a one-to-one mapping phi:V(H)->V(G) and a collection of edge-disjoint paths in G, one for each edge of H, such that the path P_{uv} corresponding to the edge uv has endpoints phi(u) and phi(v). The immersion is strong if the paths P_{uv} are internally disjoint from phi(V(H)). We prove that every simple graph of minimum degree at least 11t+7 contains a strong immersion of the complete graph K_t. This improves on previously known bound of minimum degree at least 200t obtained by DeVos et al.
Antifactors of regular bipartite graphs
Published in Discrete Mathematics & Theoretical Computer Science, vol. 22 no. 1, Graph Theory (June 4, 2020) dmtcs:3233
• View Publication
• BIB
Let $G=(X,Y;E)$ be a bipartite graph, where $X$ and $Y$ are color classes and $E$ is the set of edges of $G$. Lovász and Plummer \cite{LoPl86} asked whether one can decide in polynomial time that a given bipartite graph $G=(X,Y; E)$ admits a 1-anti-factor, that is subset $F$ of $E$ such that $d_F(v)=1$ for all $v\in X$ and $d_F(v)\neq 1$ for all $v\in Y$. Cornuéjols \cite{CHP} answered this question in the affirmative. Yu and Liu \cite{YL09} asked whether, for a given integer $k\geq 3$, every $k$-regular bipartite graph contains a 1-anti-factor. This paper answers this question in the affirmative.
4-coloring ($P_6$, bull)-free graphs
We present a polynomial-time algorithm that determines whether a graph that contains no induced path on six vertices and no bull (the graph with vertices a, b, c, d, e and edges ab, bc, cd, be, ce) is 4-colorable. We also show that for any fixed k the k-coloring problem can be solved in polynomial time in the class of ($P_6$, bull, gem)-free graphs.
Occurrence of Right Angles in Vector Spaces Over Finite Fields
Published in M. Bennett, Occurrence of Right Angles in Vector Spaces Over Finite Fields, European J. Combin. 70 (2018), 155-163
• View Publication
• BIB
Here we examine some Erdos-Falconer-type problems in vector spaces over finite fields involving right angles. Our main goals are to show that a) a subset A of F_q^d of size >> q^[(d+2)/3] contains three points which generate a right angle, and b) a subset A of F_q^d of size >> q^[(d+2)/2] contains two points which generate a right angle with the vertex at the origin. We will also prove that b) is sharp up to constants and provide some partial results for similar problems related to spread and collinear triples.
Cliques in the union of $C_4$-free graphs
Published
• View Publication
• BIB
Let $B$ and $R$ be two simple graphs with vertex set $V$, and let $G(B,R)$ be the simple graph with vertex set $V$, in which two vertices are adjacent if they are adjacent in at least one of $B$ and $R$. We prove that if $B$ and $R$ are two $C_4$-free graphs on the same vertex set $V$ and $G(B,R)$ is the complete graph, then there exists an $B$-clique $X$, an $R$-clique $Y$ and a clique $Z$ in $B$ and $R$, such that $V=X\cup Y\cup Z$. Further, if $x\in Z$ then $x$ is one of the vertices of some double $C_5$ in $G(B,R)$. In particular, if also $G(B,R)$ does not contains a double $C_5$, then $V$ is obedient. We obtain that if $B$ and $R$ are $C_4$-free graphs then $ω(G(B,R))\leq ω(B)+ω(R)+\frac{1}{2}\min(ω(B),ω(R))$ and $ω(G(B,R))\leq ω(B)+ω(R)+ω(H(B,R))$ where $H(B,R)$ is the simple graph with vertex set $V$, in which two vertices are adjacent if they are adjacent in $B$ and $R$.
Star-critical Ramsey number of $K_4$ versus $F_n$
For two graphs $G$ and $H$, the Ramsey number $r(G,H)$ is the smallest positive integer $r$, such that any red/blue coloring of the edges of the graph $K_r$ contains either a red subgraph that is isomorphic to $G$ or a blue subgraph that is isomorphic to $H$. Let $S_k=K_{1,k}$ be a star of order $k+1$ and $K_n\sqcup S_k$ be a graph obtained from $K_n$ by adding a new vertex $v$ and joining $v$ to $k$ vertices of $K_n$. The star-critical Ramsey number $r_*(G,H)$ is the smallest positive integer $k$ such that any red/blue coloring of the edges of graph $K_{r-1}\sqcup S_k$ contains either a red subgraph that is isomorphic to $G$ or a blue subgraph that is isomorphic to $H$, where $r=r(G,H)$. In this paper, it is shown that $r_*(F_n,K_4)=4n+2$, where $n\geq{4}$.
Splines in geometry and topology
Published
• View Publication
• BIB
This survey paper describes the role of splines in geometry and topology, emphasizing both similarities and differences from the classical treatment of splines. The exposition is non-technical and contains many examples, with references to more thorough treatments of the subject.
Almost All Regular Graphs are Normal
Published
• View Publication
• BIB
In 1999, De Simone and Körner conjectured that every graph without induced $C_5,C_7,\overline{C}_7$ contains a clique cover $\mathcal C$ and a stable set cover $\mathcal I$ such that every clique in $\mathcal C$ and every stable set in $\mathcal I$ have a vertex in common. This conjecture has roots in information theory and became known as the Normal Graph Conjecture. Here we prove that all graphs of bounded maximum degree and sufficiently large odd girth (linear in the maximum degree) are normal. This implies that for every fixed $d$, random $d$-regular graphs are a.a.s. normal.