contain ↗ reference
7720 papers tagged with this keyword
Decomposition of cubic graphs related to Wegner's conjecture
Thomassen formulated the following conjecture: Every $3$-connected cubic graph has a red-blue vertex coloring such that the blue subgraph has maximum degree $1$ (that is, it consists of a matching and some isolated vertices) and the red subgraph has minimum degree at least $1$ and contains no $3$-edge path. We prove the conjecture for Generalized Petersen graphs.
We indicate that a coloring with the same properties might exist for any subcubic graph. We confirm this statement for all subcubic trees.
Fixed point sets in digital topology, 1
In this paper, we examine some properties of the fixed point set of a digitally continuous function. The digital setting requires new methods that are not analogous to those of classical topological fixed point theory, and we obtain results that often differ greatly from standard results in classical topology.
We introduce several measures related to fixed points for continuous self-maps on digital images, and study their properties. Perhaps the most important of these is the fixed point spectrum $F(X)$ of a digital image: that is, the set of all numbers that can appear as the number of fixed points for some continuous self-map. We give a complete computation of $F(C_n)$ where $C_n$ is the digital cycle of $n$ points. For other digital images, we show that, if $X$ has at least 4 points, then $F(X)$ always contains the numbers 0, 1, 2, 3, and the cardinality of $X$. We give several examples, including $C_n$, in which $F(X)$ does not equal $\{0,1,\dots,\#X\}$.
We examine how fixed point sets are affected by rigidity, retraction, deformation retraction, and the formation of wedges and Cartesian products. We also study how fixed point sets in digital images can be arranged; e.g., in some cases the fixed point set is always connected.
The Herzog-Schönheim conjecture for solvable groups
Herzog and Schönheim conjectured that any nontrivial partition of a group into cosets must contain two cosets with the same index.
Induced Saturation of $P_{6}$
A graph $G$ is called $H$-induced-saturated if $G$ does not contain an induced copy of $H$, but removing any edge from $G$ creates an induced copy of $H$ and adding any edge of $G^{c}$ to $G$ creates an induced copy of $H$. Martin and Smith showed that there does not exist a $P_{4}$-induced-saturated graph, where $P_{4}$ is the path on 4 vertices. Axenovich and Csikós studied related questions, and asked if there exists a $P_{n}$-induced-saturated graph for any $n\geq5$. Our aim in this short note is to show that there exists a $P_{6}$-induced-saturated graph.
The Brown-Erdős-Sós Conjecture in finite abelian groups
The Brown-Erdős-Sós conjecture, one of the central conjectures in extremal combinatorics, states that for any integer $m\geq 6,$ if a 3-uniform hypergraph on $n$ vertices contains no $m$ vertices spanning at least $m-3$ edges, then the number of edges is $o(n^2).$ We prove the conjecture for triple systems coming from finite abelian groups.
Hereditary classes of ordered binary structures
Balogh, Bollobás and Morris (2006) have described a threshold phenomenon in the behavior of the profile of hereditary classes of ordered graphs. In this paper, we give an other look at their result based on the notion of monomorphic decomposition of a relational structure introduced in \cite{P-T-2013}. We prove that the class $\mathfrak S$ of ordered binary structures which do not have a finite monomorphic decomposition has a finite basis (a subset $\mathfrak A$ such that every member of $\mathfrak S$ embeds some member of $\mathfrak A$). In the case of ordered reflexive directed graphs, the basis has 1242 members and the profile of their ages grows at least as the Fibonacci function. From this result, we deduce that the following dichotomy property holds for every hereditary class $\mathfrak C$ of finite ordered binary structures of a given finite type. Either there is an integer $\ell$ such that every member of $\mathfrak C$ has a monomorphic decomposition into at most $\ell$ blocks and in this case the profile of $\mathfrak C$ is bounded by a polynomial of degree $\ell-1$ (and in fact is a polynomial), or $\mathfrak C$ contains the age of a structure which does not have a finite monomorphic decomposition, in which case the profile of $\mathfrak C$ is bounded below by the Fibonacci function.
The Green-Tao theorem for Piatetski-Shapiro primes
Let $m\geq 3$. Suppose that $$ 1-2^{-2^{m^24^m}}<γ<1. $$ Then the set $$ \{p\text{ prime}:\, p=[n^{\frac1γ}]\text{ for some }n\in{\mathbb N}\} $$ contains infinitely many non-trivial $m$-term arithmetic progressions.
Singular Ramsey and Turán numbers
We say that a subgraph $F$ of a graph $G$ is singular if the degrees $d_G(v)$ are all equal or all distinct for the vertices $v\in V(F)$. The singular Ramsey number Rs$(F)$ is the smallest positive integer $n$ such that, for every $m\geq n$, in every edge 2-coloring of $K_m$, at least one of the color classes contains $F$ as a singular subgraph. In a similar flavor, the singular Turán number Ts$(n,F)$ is defined as the maximum number of edges in a graph of order $n$, which does not contain $F$ as a singular subgraph. In this paper we initiate the study of these extremal problems. We develop methods to estimate Rs$(F)$ and Ts$(n,F)$, present tight asymptotic bounds and exact results.
Hamilton cycles and perfect matchings in the KPKVB model
In this paper we consider the existence of Hamilton cycles and perfect matchings in a random graph model proposed by Krioukov et al.~in 2010. In this model, nodes are chosen randomly inside a disk in the hyperbolic plane and two nodes are connected if they are at most a certain hyperbolic distance from each other. It has been previously shown that this model has various properties associated with complex networks, including a power-law degree distribution, "short distances" and a strictly positive clustering coefficient. The model is specified using three parameters: the number of nodes $n$, which we think of as going to infinity, and $α, ν> 0$, which we think of as constant. Roughly speaking $α$ controls the power law exponent of the degree sequence and $ν$ the average degree.
Here we show that for every $α< 1/2$ and $ν=ν(α)$ sufficiently small, the model does not contain a perfect matching with high probability, whereas for every $α< 1/2$ and $ν=ν(α)$ sufficiently large, the model contains a Hamilton cycle with high probability.
Packing without some pieces
Published in Journal of Combinatorics 10:1 (2019), 1--25
• View Publication
• BIB
Erdős and Hanani proved that for every fixed integer $k \ge 2$, the complete graph $K_n$ can be almost completely packed with copies of $K_k$; that is, $K_n$ contains pairwise edge-disjoint copies of $K_k$ that cover all but an $o_n(1)$ fraction of its edges. Equivalently, elements of the set $\C(k)$ of all red-blue edge colorings of $K_k$ can be used to almost completely pack every red-blue edge coloring of $K_n$.
The following strengthening of the aforementioned Erdős-Hanani result is considered. Suppose $\C' \subset \C(k)$. Is it true that we can use elements only from $\C'$ and almost completely pack every red-blue edge coloring of $K_n$? An element $C \in \C(k)$ is {\em avoidable} if $\C'=\C(k) \setminus C$ has this property and a subset ${\cal F} \subset \C(k)$ is avoidable if $\C'=\C(k) \setminus {\cal F}$ has this property.
It seems difficult to determine all avoidable graphs as well as all avoidable families. We prove some nontrivial sufficient conditions for avoidability. Our proofs imply, in particular, that (i) almost all elements of $\C(k)$ are avoidable (ii) all Eulerian elements of $\C(k)$ are avoidable and, in fact, the set of all Eulerian elements of $\C(k)$ is avoidable.
Steiner systems $S(2, 4, \frac{3^m-1}{2})$ and $2$-designs from ternary linear codes of length $\frac{3^m-1}{2}$
Coding theory and $t$-designs have close connections and interesting interplay. In this paper, we first introduce a class of ternary linear codes and study their parameters. We then focus on their three-weight subcodes with a special weight distribution. We determine the weight distributions of some shortened codes and punctured codes of these three-weight subcodes. These shortened and punctured codes contain some codes that have the same parameters as the best ternary linear codes known in the database maintained by Markus Grassl at http://www.codetables.de/. These three-weight subcodes with a special weight distribution do not satisfy the conditions of the Assmus-Mattson theorem and do not admit $2$-transitive or $2$-homogeneous automorphism groups in general. By employing the theory of projective geometries and projective generalized Reed-Muller codes, we prove that they still hold $2$-designs. We also determine the parameters of these $2$-designs. This paper mainly confirms some recent conjectures of Ding and Li regarding Steiner systems and $2$-designs from a special type of ternary projective codes.
Peano partial cubes
Peano partial cubes are the bipartite graphs whose geodesic interval spaces are (closed) join spaces. They are the partial cubes all of whose finite convex subgraphs have a pre-hull number which is at most 1. Special Peano partial cubes are median graphs, cellular bipartite graphs and netlike partial cubes. Analogous properties of these graphs are satisfied by Peano partial cubes. In particular the convex hull of any isometric cycle of such a graph is a gated quasi-hypertori (i.e., the Cartesian product of copies of K_2 and even cycles). Moreover, for any Peano partial cubes G that contains no isometric rays, there exists a finite qasi-hypertorus which is fixed by all automorphisms of G, and any self-contraction of G fixes some finite quasi-hypertorus. A Peano partial cube G is called a hyper-median partial cube if any triple of vertices of has either a median or a hyper-median, that is, a quasi-median whose convex-hull induces a hypertorus (i.e., the Cartesian product of even cycles such that at least one of them has length greater than 4). These graphs have several properties similar to that of median graphs. In particular a graph is a hyper-median partial cube if and only if all its finite convex subgraphs are obtained by successive gated amalgamations from finite quasi-hypertori. Also a finite graph is a hyper-median partial cube if and only if it can be obtained from K_1 by a sequence of special expansions. The class of Peano partial cubes and that of hyper-median partial cubes are closed under convex subgraphs, retracts, Cartesian products and gated amalgamations. We study two convex invariants: the Helly number of a Peano partial cube, and the depth of a hyper-median partial cube that contains no isometric rays. Finally, for a finite Peano partial cube G, we prove an Euler-type formula, and a similar formula giving the isometric dimension of G.
Vertex degree sums for matchings in 3-uniform hypergraphs
Let $n, s$ be positive integers such that $n$ is sufficiently large and $s\le n/3$. Suppose $H$ is a 3-uniform hypergraph of order $n$. If $H$ contains no isolated vertex and $deg(u)+ deg(v) > 2(s-1)(n-1)$ for any two vertices $u$ and $v$ that are contained in some edge of $H$, then $H$ contains a matching of size $s$. This degree sum condition is best possible and confirms a conjecture of the authors [Electron. J. Combin. 25 (3), 2018], who proved the case when $s= n/3$.
Block-avoiding sequencings of points in Steiner triple systems
Given an STS(v), we ask if there is a permutation of the points of the design such that no $\ell$ consecutive points in this permutation contain a block of the design. Results are obtained in the cases $\ell = 3,4$.
A note on Hadwiger's Conjecture for $W_5$-free graphs with independence number two
The Hadwiger number of a graph $G$, denoted $h(G)$, is the largest integer $t$ such that $G$ contains $K_t$ as a minor. A famous conjecture due to Hadwiger in 1943 states that for every graph $G$, $h(G) \ge χ(G)$, where $χ(G)$ denotes the chromatic number of $G$. Let $α(G)$ denote the independence number of $G$. A graph is $H$-free if it does not contain the graph $H$ as an induced subgraph. In 2003, Plummer, Stiebitz and Toft proved that $h(G) \ge χ(G)$ for all $H$-free graphs $G$ with $α(G) \le 2$, where $H$ is any graph on four vertices with $α(H) \le 2$, $H=C_5$, or $H$ is a particular graph on seven vertices. In 2010, Kriesell considered a particular strengthening of Hadwiger's conjecture due to Seymour and subsequently generalized the statement to include all forbidden subgraphs $H$ on five vertices with $α(H) \le 2$. In this note, we prove that $h(G) \ge χ(G)$ for all $W_5$-free graphs $G$ with $α(G) \le 2$, where $W_5$ denotes the wheel on six vertices.
The Ramsey Number of Fano Plane Versus Tight Path
The hypergraph Ramsey number of two $3$-uniform hypergraphs $G$ and $H$, denoted by $R(G,H)$, is the least integer $N$ such that every red-blue edge-coloring of the complete $3$-uniform hypergraph on $N$ vertices contains a red copy of $G$ or a blue copy of $H$.
The Fano plane $\mathbb{F}$ is the unique 3-uniform hypergraph with seven edges on seven vertices in which every pair of vertices is contained in a unique edge. There is a simple construction showing that $R(H,\mathbb{F}) \ge 2(v(H)-1) + 1.$ Hypergraphs $H$ for which the equality holds are called $\mathbb{F}$-good. Conlon asked to determine all $H$ that are $\mathbb{F}$-good.
In this short paper we make progress on this problem and prove that the tight path of length $n$ is $\mathbb{F}$-good.
On Hamiltonian Berge cycles in $3$-uniform hypergraphs
Given a set $R$, a hypergraph is $R$-uniform if the size of every hyperedge belongs to $R$. A hypergraph $\mathcal{H}$ is called \textit{covering} if every vertex pair is contained in some hyperedge in $\mathcal{H}$. In this note, we show that every covering $[3]$-uniform hypergraph on $n\geq 6$ vertices contains a Berge cycle $C_s$ for any $3\leq s\leq n$. As an application, we determine the maximum Lagrangian of $k$-uniform Berge-$C_{t}$-free hypergraphs and Berge-$P_{t}$-free hypergraphs.
Coded Caching based on Combinatorial Designs
We consider the standard broadcast setup with a single server broadcasting information to a number of clients, each of which contains local storage (called \textit{cache}) of some size, which can store some parts of the available files at the server. The centralized coded caching framework, consists of a caching phase and a delivery phase, both of which are carefully designed in order to use the cache and the channel together optimally. In prior literature, various combinatorial structures have been used to construct coded caching schemes. In this work, we propose a binary matrix model to construct the coded caching scheme. The ones in such a \textit{caching matrix} indicate uncached subfiles at the users. Identity submatrices of the caching matrix represent transmissions in the delivery phase. Using this model, we then propose several novel constructions for coded caching based on the various types of combinatorial designs. While most of the schemes constructed in this work (based on existing designs) have a high cache requirement (uncached fraction being $Θ(\frac{1}{\sqrt{K}})$ or $Θ(\frac{1}{K})$, $K$ being the number of users), they provide a rate that is either constant or decreasing ($O(\frac{1}{K})$) with increasing $K$, and moreover require competitively small levels of subpacketization (being $O(K^i), 1\leq i\leq 3$), which is an extremely important parameter in practical applications of coded caching. We mark this work as another attempt to exploit the well-developed theory of combinatorial designs for the problem of constructing caching schemes, utilizing the binary caching model we develop.
Multicolour bipartite Ramsey number of paths
The $k$-colour bipartite Ramsey number of a bipartite graph $H$ is the least integer $N$ for which every $k$-edge-coloured complete bipartite graph $K_{N,N}$ contains a monochromatic copy of $H$. The study of bipartite Ramsey numbers was initiated over 40 years ago by Faudree and Schelp and, independently, by Gyárfás and Lehel, who determined the $2$-colour bipartite Ramsey number of paths. Recently the $3$-colour Ramsey number of paths and (even) cycles, was essentially determined as well. Improving the results of DeBiasio, Gyárfás, Krueger, Ruszinkó, and Sárközy, in this paper we determine asymptotically the $4$-colour bipartite Ramsey number of paths and cycles. We also provide new upper bounds on the $k$-colour bipartite Ramsey numbers of paths and cycles which are close to being tight.
Existence of cube terms in finite algebras
We study the problem of whether a given finite algebra with finitely many basic operations contains a cube term; we give both structural and algorithmic results. We show that if such an algebra has a cube term then it has a cube term of dimension at most $N$, where the number $N$ depends on the arities of basic operations of the algebra and the size of the basic set. For finite idempotent algebras we give a tight bound on $N$ that, in the special case of algebras with more than $\binom{|A|}2$ basic operations, improves an earlier result of K. Kearnes and A. Szendrei. On the algorithmic side, we show that deciding the existence of cube terms is in P for idempotent algebras and in EXPTIME in general.
Since an algebra contains a $k$-ary near unanimity operation if and only if it contains a $k$-dimensional cube term and generates a congruence distributive variety, our algorithm also lets us decide whether a given finite algebra has a near unanimity operation.