contain ↗ reference
7689 papers tagged with this keyword
Triangle-free $d$-degenerate graphs have small fractional chromatic number
A well-known conjecture by Harris states that any triangle-free $d$-degenerate graph has fractional chromatic number at most $O\left(\frac{d}{\ln d}\right)$. This conjecture has gained much attention in recent years, and is known to have many interesting implications, including a conjecture by Esperet, Kang and Thomassé that any triangle-free graph with minimum degree $d$ contains a bipartite induced subgraph of minimum degree $Ω(\log d)$. Despite this attention, Harris' conjecture has remained wide open with no known improvement on the trivial upper bound, until now.
In this article, we give an elegant proof of Harris' conjecture. In particular, we show that any triangle-free $d$-degenerate graph has fractional chromatic number at most $(4+o(1))\frac{d}{\ln d}.$ The conjecture of Esperet et al. follows as a direct consequence. We also prove a more general result, showing that for any triangle-free graph $G$, there exists a random independent set in which each vertex $v$ is included with probability $Ω(p(v))$, where $p:V(G)\rightarrow [0,1]$ is any function that satisfies a natural condition.
Leaf-to-leaf paths of many lengths
We prove that every tree of maximum degree $Δ$ with $\ell$ leaves contains paths between leaves of at least $\log_{Δ-1}((Δ-2)\ell)$ distinct lengths. This settles in a strong form a conjecture of Narins, Pokrovskiy and Szabó. We also make progress towards another conjecture of the same authors, by proving that every tree with no vertex of degree 2 and diameter at least $N$ contains $N^{2/3}/6$ distinct leaf-to-leaf path lengths between $0$ and $N$.
Hyperbolicity, topology, and combinatorics of fine curve graphs and variants
Given a surface, the fine $k$-curve graph of the surface is a graph whose vertices are simple closed essential curves and whose edges connect curves that intersect in at most $k$ points. We note that the fine $k$-curve graph is hyperbolic for all $k$ and, for $k\geq 2,$ show that it contains as induced subgraphs all countable graphs. We also show that the direct limit of this family of graphs, which we call the finitary curve graph, has diameter 2, has a contractible flag complex, contains every countable graph as an induced subgraph, and has as its automorphism group the homeomorphism group of the surface. Finally, we explore some finite graphs that are not induced subgraphs of fine curve graphs.
On decoding hyperbolic codes
Published
• View Publication
• BIB
This work studies several decoding algorithms for hyperbolic codes. We use some previous ideas to describe how to decode a hyperbolic code using the largest Reed-Muller code contained in it or using the smallest Reed-Muller code that contains it. A combination of these two algorithms is proposed when hyperbolic codes are defined by polynomials in two variables. Then, we compare hyperbolic codes and Cube codes (tensor product of Reed-Solomon codes) and propose decoding algorithms of hyperbolic codes based on their closest Cube codes. Finally, we adapt to hyperbolic codes the Geil and Matsumoto's generalization of Sudan's list decoding algorithm.
Many pentagons in triple systems
Published
• View Publication
• BIB
We prove that every $n$ vertex linear triple system with $m$ edges has at least $m^6/n^7$
copies of a pentagon, provided $m>100 \, n^{3/2}$. This provides the first nontrivial bound for a question posed by Jiang and Yepremyan.
More generally, for each $ \ell \ge 2$, we prove that there is a constant $c$ such that if an $n$-vertex graph is $\varepsilon$-far from being triangle-free, with $\varepsilon \gg n^{-1/3\ell}$, then it has at least $c \, \varepsilon^{3\ell} n^{2\ell+1}$ copies of $C_{2\ell+1}$. This improves the previous best bound of $c \, \varepsilon^{4\ell+2} n^{2\ell+1}$ due to Gishboliner, Shapira and Wigderson.
Our result also yields some geometric theorems, including the following. For $n$ large, every $n$-point set in the plane with at least $60\, n^{11/6}$ triangles similar to a given triangle $T$, contains two triangles sharing a special point, called the harmonic point. In the other direction, we give a construction showing that the exponent $11/6\approx 1.83$ cannot be reduced to anything smaller than $\log_3 6 \approx 1.726$.
A note on the minimum size of Turán systems
Published
• View Publication
• BIB
For positive integers $n \ge s > r$, a \emph{Turán $(n,s,r)$-system} is an $n$-vertex $r$-graph in which every set of $s$ vertices contains at least one edge. Let $T(n,s,r)$ denote the the minimum size of a Turán $(n,s,r)$-system.
Upper bounds on $T(n,s,r)$ were established by Sidorenko~\cite{Sid97} for the case $s-r = Ω(r/\ln r)$ (based on a construction of Frankl--Rödl~\cite{FR85}) and by a number of authors in the case $s-r = O(1)$. In this note, we establish upper bounds in the remaining range $O(1)<s-r = O(r/\ln r)$.
$F_σ$-ideals, colorings, and representation in Banach spaces
In recent works by L. Drewnowski and I. Labuda and J. Martínez et al., non-pathological analytic \( P \)-ideals and non-pathological \( F_σ\)-ideals have been characterized and studied in terms of their representations by a sequence \( (x_n)_n \) in a Banach space, as \( \mathcal{C}((x_n)_n) \) and \( \mathcal{B}((x_n)_n) \). The ideal \( \mathcal{C}((x_n)_n) \) consists of sets where the series \( \sum_{n \in A} x_n \) is unconditionally convergent, while \( \mathcal{B}((x_n)_n) \) involves weak unconditional convergence.
In this paper, we further study these representations and provide effective descriptions of \( \mathcal{B} \)- and \( \mathcal{C} \)-ideals in the universal spaces \( C([0,1]) \) and \( C(2^{\mathbb{N}}) \), addressing a question posed by Borodulin-Nadzieja et al. A key aspect of our study is the role of the space \( c_0 \) in these representations. We focus particularly on \( \mathcal{B} \)-representations in spaces containing many copies of \( c_0 \), such as \( c_0 \)-saturated spaces of continuous functions.
A central tool in our analysis is the concept of \( c \)-coloring ideals, which arise from homogeneous sets of continuous colorings. These ideals, generated by homogeneous sets of 2-colorings, exhibit a rich combinatorial structure. Among our results, we prove that for \( d \geq 3 \), the random \( d \)-homogeneous ideal is pathological,
we construct hereditarily non-pathological universal \( c \)-coloring ideals, and we show that every \( \mathcal{B} \)-ideal represented in \( C(K) \), for \( K \) countable, contains a \( c \)-coloring ideal. Furthermore, by leveraging \( c \)-coloring ideals, we provide examples of \( \mathcal{B} \)-ideals that are not \( \mathcal{B} \)-representable in \( c_0 \). These findings highlight the interplay between combinatorial properties of ideals and their representations in Banach spaces.
The sharp upper bounds on the maximum degree and vertex-connectivity of claw-free 1-planar graphs
The complete bipartite graph $K_{1,3}$ is called a claw. The properties of claw-free graphs have attracted considerable attention, with research on claw-free planar graphs tracing back to Plummer's work in 1989. In this paper, we extend this line of research by establishing some fundamental results for claw-free 1-planar graphs, focusing on upper bounds for maximum degree and vertex-connectivity. We show that the maximum degree of claw-free 1-planar graphs is at most 10, and the bound is sharp. Furthermore, we show that for 6-connected 1-planar graphs and optimal 1-planar graphs under the constraint of forbidding induced claws, the maximum degree has the better upper bound 8. Finally, we show that every 7-connected 1-planar graph contains an induced claw, thereby implying that the vertex-connectivity of claw-free 1-planar graphs is at most 6. For a better comparison, we also refine some known results by Plummer on claw-free planar graphs.
Embedding edge-colored graphs in expanders with roll-back
We introduce a method to embed edge-colored graphs into families of expander graphs, which generalizes a framework developed by Draganić, Krivelevich, and Nenadov (2022). As an application, we show that each family of sufficiently pseudo-random graphs on $n$ vertices contains every edge-colored subdivision of $K_Δ$, provided that the distance between branch vertices in the subdivision is large enough, the average degree of each graph in the family is at least $(1+o(1))Δ$, and the number of vertices in the subdivision is at most $(1-o(1))n$.
This work is motivated in part by the problem of finding structures in distance graphs defined over finite vector spaces. For $d\ge 2$ and an odd prime power $q$, consider the vector space $\mathbb{F}_q^d$ over the finite field $\mathbb{F}_q$, where the distance between two points $(x_1,\ldots,x_d)$ and $(y_1,\ldots,y_d)$ is defined to be $\sum_{i=1}^d (x_i-y_i)^2$. A distance graph is a graph associated with a non-zero distance to each of its edges. We show that large subsets of vector spaces over finite fields contain every distance graph that is a nearly spanning subdivision of a complete graph, provided that the distance between branching vertices in the subdivision is large enough.
The Cloud and Flock Polynomials of q-Matroids
We show that the Whitney function of a q-matroid can be determined from the cloud and flock polynomials associated to the cyclic flats. These polynomials capture information about the corank (resp., nullity) of certain spaces whose cyclic core (resp., closure) is the given cyclic flat. Going one step further, we prove that the Whitney function, and in fact the cloud-flock lattice, are determined by the configuration of the q-matroid, which is the abstract lattice of cyclic flats together with the corank-nullity data. Furthermore, we show that the configuration and cloud-flock lattice behave well under duality and direct sums, whereas the Whitney function does not contain enough information to behave well under taking direct sums. As an aside we show that every configuration of a matroid arises as a configuration of a q-matroid, whereas the converse is not true.
The minimum size of a $k$-connected locally nonforesty graph
A local subgraph of a graph is the subgraph induced by the neighborhood of a vertex. Thus a graph of order $n$ has $n$ local subgraphs. A graph $G$ is called locally nonforesty if every local subgraph of $G$ contains a cycle. Clearly, a graph is locally nonforesty if and only if every vertex of the graph is the hub of a wheel. We determine the minimum size of a $k$-connected locally nonforesty graph of order $n.$
On 1-11-representability and multi-1-11-representability of graphs
Published
• View Publication
• BIB
Jeff Remmel introduced the concept of a $k$-11-representable graph in 2017. This concept was first explored by Cheon et al. in 2019, who considered it as a natural extension of word-representable graphs, which are exactly 0-11-representable graphs. A graph $G$ is $k$-11-representable if it can be represented by a word $w$ such that for any edge (resp., non-edge) $xy$ in $G$ the subsequence of $w$ formed by $x$ and $y$ contains at most $k$ (resp., at least $k+1$) pairs of consecutive equal letters. A remarkable result of Cheon at al. is that any graph is 2-11-representable, while it is still unknown whether every graph is 1-11-representable. Cheon et al. showed that the class of 1-11-representable graphs is strictly larger than that of word-representable graphs, and they introduced a useful toolbox to study 1-11-representable graphs, which was extended by additional powerful tools suggested by Futorny et al. in 2024.
In this paper, we prove that all graphs on at most 8 vertices are 1-11-representable hence extending the known fact that all graphs on at most 7 vertices are 1-11-representable. Also, we discuss applications of our main result in the study of multi-1-11-representation of graphs we introduce in this paper analogously to the notion of multi-word-representation of graphs suggested by Kenkireth and Malhotra in 2023.
Generalized Orthogonal de Bruijn and Kautz Sequences
Published
• View Publication
• BIB
A de Bruijn sequence of order $k$ over a finite alphabet is a cyclic sequence with the property that it contains every possible $k$-sequence as a substring exactly once. Orthogonal de Bruijn sequences are collections of de Bruijn sequences of the same order, $k$, satisfying the joint constraint that every $(k+1)$-sequence appears as a substring in at most one of the sequences in the collection. Both de Bruijn and orthogonal de Bruijn sequences have found numerous applications in synthetic biology, although the latter remain largely unexplored in the coding theory literature. Here we study three relevant practical generalizations of orthogonal de Bruijn sequences where we relax either the constraint that every $(k+1)$-sequence appears exactly once, or that the sequences themselves are de Bruijn rather than balanced de Bruijn sequences. We also provide lower and upper bounds on the number of fixed-weight orthogonal de Bruijn sequences. The paper concludes with parallel results for orthogonal nonbinary Kautz sequences, which satisfy similar constraints as de Bruijn sequences except for only being required to cover all subsequences of length $k$ whose maximum runlength equals to one.
Even cycles in graphs avoiding longer even cycles
A conjecture of Verstraëte states that for any fixed $\ell < k$ there exists a positive constant $c$ such that any $C_{2k}$-free graph $G$ contains a $C_{2\ell}$-free subgraph with at least $c |E(G)|$ edges. For $\ell = 2$, this conjecture was verified by Kühn and Osthus. We show that $C_6$ and $C_{2k}$ satisfy the conjecture for all odd $k$, but observe that a recent construction of a dense $C_{10}$-free subgraph of the hypercube yields a counterexample to the conjecture for $C_8$ and $C_{10}$.
Complexity and Algorithm for the Matching vertex-cutset Problem
Published
• View Publication
• BIB
In 1985, Chvátal introduced the concept of star cutsets as a means to investigate the properties of perfect graphs, which inspired many researchers to study cutsets with some specific structures, for example, star cutsets, clique cutsets, stable cutsets. In recent years, approximation algorithms have developed rapidly, the computational complexity associated with determining the minimum vertex cut possessing a particular structural property have attracted considerable academic attention.
In this paper, we demonstrate that determining whether there is a matching vertex-cutset in $H$ with size at most $k$, is $\mathbf{NP}$-complete, where $k$ is a given positive integer and $H$ is a connected graph. Furthermore, we demonstrate that for a connected graph $H$, there exists a $2$-approximation algorithm in $O(nm^2)$ for us to find a minimum matching vertex-cutset. Finally, we show that every plane graph $H$ satisfying $H\not\in\{K_2, K_4\}$ contains a matching vertex-cutset with size at most three, and this bound is tight.
On partition and almost disjoint properties of combinatorial notions
It is known that there are many notions of largeness in a semigroup that own rich combinatorial properties. In this paper, we focus on partition and almost disjoint properties of these notions. One of the most remarkable results with respect to this topic is that in an infinite very weakly cancellative semigroup of size κ, every central set can be split into κdisjoint central subsets. Moreover, if κcontains λalmost disjoint subsets, then every central set contains a family of λalmost disjoint central subsets. And many other combinatorial notions are found successively to have analogous properties, among these are thick sets, piecewise syndetic sets, J-sets and C-sets. In this paper, we mainly study four other notions: IP sets, combinatorially rich sets, Cp-sets and PP-rich sets. Where the latter two are known in (N, +), related to the polynomial extension of the central sets theorem. We lift them up to commutative cancellative semigroups and obtain an uncountable version of the polynomial extension of the central sets theorem incidentally. And we finally find that the infinite partition and almost disjoint properties hold for Cp-sets in commutative cancellative semigroups and for other three notions in (N, +).
Extremal distance spectra of graphs and essential connectivity
Published
• View Publication
• BIB
A graph is non-trivial if it contains at least one nonloop edge. The essential connectivity of $G$, denoted by $κ'(G)$, is the minimum number of vertices of $G$ whose removal produces a disconnected graph with at least two components are non-trivial. In this paper, we determine the $n$-vertex graph of given essential connectivity with minimum distance spectral radius. We also characterize the extremal graphs attaining the minimum distance spectral radius among all connected graphs with fixed essential connectivity and minimum degree. Furthermore, we characterize the extremal digraphs with minimum distance spectral radius among the strongly connected digraphs with given essential connectivity.
Excluding a rectangular grid
For every positive integer $k$, we define the $k$-treedepth as the largest graph parameter $\mathrm{td}_k$ satisfying (i) $\mathrm{td}_k(\emptyset)=0$; (ii) $\mathrm{td}_k(G) \leq 1+ \mathrm{td}_k(G-u)$ for every graph $G$ and every vertex $u \in V(G)$; and (iii) if $G$ is a $(<k)$-clique-sum of $G_1$ and $G_2$, then $\mathrm{td}_k(G) \leq \max \{\mathrm{td}_k(G_1),\mathrm{td}_k(G_2)\}$, for all graphs $G_1,G_2$. This parameter coincides with treedepth if $k=1$, and with treewidth plus $1$ if $k \geq |V(G)|$. We prove that for every positive integer $k$, a class of graphs $\mathcal{C}$ has bounded $k$-treedepth if and only if there is a positive integer $\ell$ such that for every tree $T$ on $k$ vertices, no graph in $\mathcal{C}$ contains $T \square P_\ell$ as a minor. This implies for $k=1$ that a minor-closed class of graphs has bounded treedepth if and only if it excludes a path, for $k=2$ that a minor-closed class of graphs has bounded $2$-treedepth if and only if it excludes as a minor a ladder (Huynh, Joret, Micek, Seweryn, and Wollan; Combinatorica, 2021), and for large values of $k$ that a minor-closed class of graphs has bounded treewidth if and only if it excludes a grid (Grid-Minor Theorem, Robertson and Seymour; JCTB, 1986). As a corollary, we obtain the following qualitative strengthening of the Grid-Minor Theorem in the case of bounded-height grids. For all positive integers $k, \ell$, every graph that does not contain the $k \times \ell$ grid as a minor has $(2k-1)$-treedepth at most a function of $(k, \ell)$.
Antidirected trees in directed graphs
The Komlós-Sárközy-Szemerédi (KSS) theorem establishes that a certain bound on the minimum degree of a graph guarantees it contains all bounded degree trees of the same order. Recently several authors put forward variants of this result, where the tree is of smaller order than the host graph, and the host graph also obeys a maximum degree condition. Also, Kathapurkar and Montgomery extended the KSS theorem to digraphs. We bring these two directions together by establishing minimum and maximum degree bounds for digraphs that ensure the containment of oriented trees of smaller order. Our result is restricted to balanced antidirected trees of bounded degree. More precisely, we show that for every $γ> 0$, $c\in\mathbb{R}$, $\ell\geq 2$ sufficiently large $n$ and all $k\geqγn$, the following holds for every $n$-vertex digraph $D$ and every balanced antidirected tree $T$ with $k$ arcs whose total maximum degree is bounded by $(\log n)^c$. If $D$ has a vertex of outdegree at least $(1+γ)(\ell -1)k$, a vertex of indegree at least $(1+γ)(\ell -1)k$ and minimum semidegree $δ^0(D)\geq\left(\frac{\ell}{2\ell -1}+γ\right)k$, then $D$ contains $T$.
Random Subwords and Billiard Walks in Affine Weyl Groups
Let $W$ be an irreducible affine Weyl group, and let $\mathsf{b}$ be a finite word over the alphabet of simple reflections of $W$. Fix a probability $p\in(0,1)$. For each integer $K\geq 0$, let $\mathsf{sub}_p(\mathsf{b}^K)$ be the random subword of $\mathsf{b}^K$ obtained by deleting each letter independently with probability $1-p$. Let $v_p(\mathsf{b}^K)$ be the element of $W$ represented by $\mathsf{sub}_p(\mathsf{b}^K)$. One can view $v_p(\mathsf{b}^K)$ geometrically as a random alcove; in many cases, this alcove can be seen as the location after a certain amount of time of a random billiard trajectory that, upon hitting a hyperplane in the Coxeter arrangement of $W$, reflects off of the hyperplane with probability $1-p$. We show that the asymptotic distribution of $v_p(\mathsf{b}^K)$ is a central spherical multivariate normal distribution with some variance $σ_{\mathsf{b}}^2$ depending on $\mathsf{b}$ and $p$. We provide a formula to compute $σ_{\mathsf{b}}^2$ that is remarkably simple when $\mathsf{b}$ contains only one occurrence of the simple reflection that is not in the associated finite Weyl group. As a corollary, we provide an asymptotic formula for $\mathbb{E}[\ell(v_p(\mathsf{b}^K))]$, the expected Coxeter length of $v_p(\mathsf{b}^K)$. For example, when $W=\widetilde A_{r}$ and $\mathsf{b}$ contains each simple reflection exactly once, we find that \[\lim_{K\to\infty}\frac{1}{\sqrt{K}}\mathbb{E}[\ell(v_p(\mathsf{b}^K))]=\sqrt{\frac{2}πr(r+1)\frac{p}{1-p}}.\]