contain ↗ reference
7694 papers tagged with this keyword
On the saturation spectrum of the unions of disjoint cycles
Published
• View Publication
• BIB
Let $G$ be a graph and $\mathcal{H}$ be a family of graphs. We say $G$ is $\mathcal{H}$-saturated if $G$ does not contain a copy of $H$ with $H\in\mathcal{H}$, but the addition of any edge $e\notin E(G)$ creates at least one copy of some $H\in\mathcal{H}$ within $G+e$. The saturation number of $\mathcal{H}$ is the minimum size of an $\mathcal{H}$-saturated graph on $n$ vertices, and the saturation spectrum of $\mathcal{H}$ is the set of all possible sizes of an $\mathcal{H}$-saturated graph on $n$ vertices. Let $k\mathcal{C}_{\ge 3}$ be the family of the unions of $k$ vertex-disjoint cycles. In this note, we completely determine the saturation number and the saturation spectrum of $k\mathcal{C}_{\ge 3}$ for $k=2$ and give some results for $k\ge 3$.
$k$-dimensional transversals for fat convex sets
Published
• View Publication
• BIB
We prove a fractional Helly theorem for $k$-flats intersecting fat convex sets. A family $\mathcal{F}$ of sets is said to be $ρ$-fat if every set in the family contains a ball and is contained in a ball such that the ratio of the radii of these balls is bounded by $ρ$. We prove that for every dimension $d$ and positive reals $ρ$ and $α$ there exists a positive $β=β(d,ρ, α)$ such that if $\mathcal{F}$ is a finite family of $ρ$-fat convex sets in $\mathbb{R}^d$ and an $α$-fraction of the $(k+2)$-size subfamilies from $\mathcal{F}$ can be hit by a $k$-flat, then there is a $k$-flat that intersects at least a $β$-fraction of the sets of $\mathcal{F}$. We prove spherical and colorful variants of the above results and prove a $(p,k+2)$-theorem for $k$-flats intersecting balls.
An Unexpected Class of 5+gon-free Line Patterns
Published
• View Publication
• BIB
Let $S$ be a finite subset of ${\mathbb R}^2 \setminus (0,0)$. Generally, one would expect the pattern of lines $Ax + By = 1$, where $(A, B) \in S$ to contain polygons of all shapes and sizes. We show, however, that when $S$ is a rectangular subset of the integer lattice or a closely related set, no polygons with more than 4 sides occur. In the process, we develop a general theorem that explains how to find the next side as one travels around the boundary of a cell.
Maxima of the index: forbidden unbalanced cycles
This paper aims to address the problem: what is the maximum index among all $\mathcal{C}^-_r$-free unbalanced signed graphs, where $\mathcal{C}^-_r$ is the set of unbalanced cycle of length $r$.
Let $Γ_1 = C_3^- \bullet K_{n-2}$ be a signed graph obtained by identifying a vertex of $K_{n-2}$ with a vertex of $C_3^-$ whose two incident edges in $C_3^-$ are all positive, where $C_3^-$ is an unbalanced triangle with one negative edge.
It is shown that if $Γ$ is an unbalanced signed graph of order $n$, $r$ is an integer in $\{4, \cdots, \lfloor \frac{n}{3}\rfloor + 1 \}$, and
$$λ_{1}(Γ) \geq λ_{1}(Γ_1), $$ then $Γ$ contains an unbalanced cycle of length $r$, unless $Γ\sim Γ_1$.
\indent It is shown that the result are significant in spectral extremal graph problems.
Because they can be regarded as a extension of the spectral Tur{á}n problem for cycles [Linear Algebra Appl. 428 (2008) 1492--1498] in the context of signed graphs.
Furthermore, our result partly resolved a recent open problem raised by Lin and Wang [arXiv preprint arXiv:2309.04101 (2023)].
A new approach to b-coloring of regular graphs
Published
• View Publication
• BIB
Let $G$ be a graph and c a proper k-coloring of G, i.e. any two adjacent vertices u and v have different colors c(u) and c(v). A proper k-coloring is a b-coloring if there exists a vertex in every color class that contains all the colors in its closed neighborhood. The maximum number of colors k admitting b-coloring of G is the b-chromatic number. We present two separate approaches to the conjecture posed by Blidia et. al that the b-chromatic number equals to d+1 for every d-regular graph of girth at least five except the Petersen graph.
Spectral condition for the existence of a chorded cycle
A chord of a cycle $C$ is an edge joining two non-consecutive vertices of $C$. A cycle $C$ in a graph $G$ is chorded if the vertex set of $C$ induces at least one chord. In this paper, we prove that if $G$ is a graph with order $n\geq 6$ and $ρ(G)\geq ρ(K_{2,n-2})$, then $G$ contains a chorded cycle unless $G\cong K_{2,n-2}$. This gives one answer to a question posed by Gould [Results and problems on chorded cycles: A survey, Graphs Combin. 38 (2022) 189].
Zarankiewicz's problem via $ε$-t-nets
The classical Zarankiewicz's problem asks for the maximum number of edges in a bipartite graph on $n$ vertices which does not contain the complete bipartite graph $K_{t,t}$. In one of the cornerstones of extremal graph theory, Kővári Sós and Turán proved an upper bound of $O(n^{2-\frac{1}{t}})$. In a celebrated result, Fox et al. obtained an improved bound of $O(n^{2-\frac{1}{d}})$ for graphs of VC-dimension $d$ (where $d<t$). Basit, Chernikov, Starchenko, Tao and Tran improved the bound for the case of semilinear graphs. At SODA'23, Chan and Har-Peled further improved Basit et al.'s bounds and presented (quasi-)linear upper bounds for several classes of geometrically-defined incidence graphs, including a bound of $O(n \log \log n)$ for the incidence graph of points and pseudo-discs in the plane.
In this paper we present a new approach to Zarankiewicz's problem, via $ε$-t-nets - a recently introduced generalization of the classical notion of $ε$-nets. We show that the existence of `small'-sized $ε$-t-nets implies upper bounds for Zarankiewicz's problem. Using the new approach, we obtain a sharp bound of $O(n)$ for the intersection graph of two families of pseudo-discs, thus both improving and generalizing the result of Chan and Har-Peled from incidence graphs to intersection graphs. We also obtain a short proof of the $O(n^{2-\frac{1}{d}})$ bound of Fox et al., and show improved bounds for several other classes of geometric intersection graphs, including a sharp $O(n\frac{\log n}{\log \log n})$ bound for the intersection graph of two families of axis-parallel rectangles.
An Approximate Counting Version of the Multidimensional Szemerédi Theorem
Published
• View Publication
• BIB
For any fixed $d\geq1$ and subset $X$ of $\mathbb{N}^d$, let $r_X(n)$ be the maximum cardinality of a subset $A$ of $\{1,\dots,n\}^d$ which does not contain a subset of the form $\vec{b} + rX$ for $r>0$ and $\vec{b} \in \mathbb{R}^d$. Such a set $A$ is said to be \emph{$X$-free}. The Multidimensional Szemerédi Theorem of Furstenberg and Katznelson states that $r_X(n)=o(n^d)$. We show that, for $|X|\geq 3$ and infinitely many $n\in\mathbb{N}$, the number of $X$-free subsets of $\{1,\dots,n\}^d$ is at most $2^{O(r_X(n))}$. The proof involves using a known multidimensional extension of Behrend's construction to obtain a supersaturation theorem for copies of $X$ in dense subsets of $[n]^d$ for infinitely many values of $n$ and then applying the powerful hypergraph container lemma. Our result generalizes work of Balogh, Liu, and Sharifzadeh on $k$-AP-free sets and Kim on corner-free sets.
Sparse graph counting and Kelley-Meka bounds for binary systems
Published
• View Publication
• BIB
In a recent breakthrough, Kelley and Meka (FOCS 2023) obtained a strong upper bound on the density of sets of integers without nontrivial three-term arithmetic progressions. In this work, we extend their result, establishing similar bounds for all linear patterns defined by binary systems of linear forms, where "binary" indicates that every linear form depends on exactly two variables. Prior to our work, no strong bounds were known for such systems even in the finite field model setting. A key ingredient in our proof is a graph counting lemma. The classical graph counting lemma, developed by Thomason (Random Graphs 1985) and Chung, Graham, and Wilson (Combinatorica 1989), is a fundamental tool in combinatorics. For a fixed graph $H$, it states that the number of copies of $H$ in a pseudorandom graph $G$ is similar to the number of copies of $H$ in a purely random graph with the same edge density as $G$. However, this lemma is only non-trivial when $G$ is a dense graph. In this work, we prove a graph counting lemma that is also effective when $G$ is sparse. Moreover, our lemma is well-suited for density increment arguments in additive number theory. As an immediate application, we obtain a strong bound for the Turán problem in abelian Cayley sum graphs: let $Γ$ be a finite abelian group with odd order. If a Cayley sum graph on $Γ$ does not contain any $r$-clique as a subgraph, it must have at most $2^{-Ω_r(\log^{1/16}|Γ|)}\cdot |Γ|^2$ edges. These results hinge on the technology developed by Kelley and Meka and the follow-up work by Kelley, Lovett, and Meka (STOC 2024).
Short rainbow cycles in edge-colored graphs
A famous conjecture of Caccetta and Häggkvist (CHC) states that a directed graph $D$ with $n$ vertices and minimum outdegree at least $r$ has a directed cycle of length at most $\lceil \frac{n}{r}\rceil$. In 2017, Aharoni proposed the following generalization: an edge-colored graph $G$ with $n$ vertices, $n$ color classes of size at least $r$ has a rainbow cycle of length at most $\lceil \frac{n}{r}\rceil$. Since CHC can be seen as the case of Aharoni's Conjecture: color classes in the color partition are monochromatic stars centered at distinct vertices, one way to study Aharoni's Conjecture is to structure the color classes as each color class is either a star, a triangle or contains a matching of size 2. Guo improved the upper bound in Aharoni's Conjecture to $O(\log n)$ in some mixed cases when the color classes are not necessarily stars. In this paper, we extend Guo's results. Our main result is as follows: Let $G$ an edge-colored graph on $n$ vertices and $n$ color classes, if at least $αn$ color classes are either a matching of size 2 or a triangle for $α>\frac{1}{2}$, then $G$ contains a rainbow cycle of length $O(\log n)$. We also prove that the $\log n$ bound is the right order of magnitude.
Computability of Countable Sunflowers
We provide a characterization of when a countably infinite set of finite sets contains an infinite sunflower. We also show that the collection of such sets is Turing equivalent to the set of programs such that whenever the program converges it returns the code of a program with finite range.
Power saving for the Brown-Erdős-Sós problem
Published in Discrete Analysis, 2025:5, 16 pp
• Search Publication
Let $f(n, v, e)$ denote the maximum number of edges in a 3-uniform hypergraph on $n$ vertices which does not contain $v$ vertices spanning at least $e$ edges. A central problem in extremal combinatorics, famously posed by Brown, Erdős and Sós in 1973, asks whether $f(n, e+3, e)=o(n^2)$ for every $e \ge 3$. A classical result of Sárközy and Selkow states that $f(n, e+\lfloor \log_2 e\rfloor+2, e)=o(n^{2})$ for every $e \ge 3$. This bound was recently improved by Conlon, Gishboliner, Levanzov and Shapira.
Motivated by applications to other problems, Gowers and Long made the striking conjecture that $f(n, e+4, e)=O(n^{2-\varepsilon})$ for some $\varepsilon=\varepsilon(e)>0$. Conlon, Gishboliner, Levanzov and Shapira, and later, Shapira and Tyomkyn reiterated the following approximate version of this problem. What is the smallest $d(e)$ for which $f(n, e+d(e), e)=O(n^{2-\varepsilon})$ for some $\varepsilon=\varepsilon(e)>0$? In this paper, we prove that for each $e\geq 3$ we have $f(n, e+\lfloor \log_2 e\rfloor +38, e)=O(n^{2-\varepsilon})$ for some $\varepsilon>0$. This shows that one can already obtain power saving near the Sárközy-Selkow bound at the cost of a small additive constant.
The analogue of overlap-freeness for the Fibonacci morphism
Published
• View Publication
• BIB
A $4^-$-power is a non-empty word of the form $XXXX^-$, where $X^-$ is obtained from $X$ by erasing the last letter. A binary word is called {\em faux-bonacci} if it contains no $4^-$-powers, and no factor 11. We show that faux-bonacci words bear the same relationship to the Fibonacci morphism that overlap-free words bear to the Thue-Morse morphism. We prove the analogue of Fife's Theorem for faux-bonacci words, and characterize the lexicographically least and greatest infinite faux-bonacci words.
Critical exponent of binary words with few distinct palindromes
We study infinite binary words that contain few distinct palindromes. In particular, we classify such words according to their critical exponents. This extends results by Fici and Zamboni [TCS 2013]. Interestingly, the words with 18 and 20 palindromes happen to be morphic images of the fixed point of the morphism $\texttt{0}\mapsto\texttt{01}$, $\texttt{1}\mapsto\texttt{21}$, $\texttt{2}\mapsto\texttt{0}$.
Rainbow and Gallai-Rado numbers involving binary function equations
Published
• View Publication
• BIB
Let $\mathcal{E}$, $\mathcal{E}_1$, and $\mathcal{E}_2$ be equations, $n$ and $k$ be positive integers. The rainbow number $\operatorname{rb}([n],\mathcal{E})$ is difined as the minimum number of colors such that for every exact $(\operatorname{rb}([n],\mathcal{E}))$-coloring of $[n]$, there exists a rainbow solution of $\mathcal{E}$. The Gallai-Rado number $\operatorname{GR}_k(\mathcal{E}_1:\mathcal{E}_2)$ is defined as the minimum positive integer $N$, if it exists, such that for all $n\ge N$, every $k$-colored $[n]$ contains either a rainbow solution of $\mathcal{E}_1$ or a monochromatic solution of $\mathcal{E}_2$. In this paper, we get some exact values of rainbow and Gallai-Rado numbers involving binary function equations. We also provide an algorithm to calculate the rainbow numbers of nonlinear binary function equations.
Maximal cocliques and the chromatic number of the Kneser graph on chambers of PG$(3,q)$
Published
• View Publication
• BIB
Let $Γ$ be the graph whose vertices are the chambers of the finite projective $3$-space PG$(3,q)$, with two vertices being adjacent if and only if the corresponding chambers are in general position. We show that a maximal independent set of vertices of $Γ$ contains $q^4+3q^3+4q^2+3q+1$, or $3q^3+5q^2+3q+1$, or at most $3q^3+4q^2+3q+2$ elements. For $q\geq 4$ the structure of the largest maximal independent sets is described. For $q\geq 7$ the structure of the maximal independent sets of the three largest cardinalities is described. Using the cardinality of the second largest maximal independent sets, we show that the chromatic number of $Γ$ is $q^2+q$.
Polynomially Over-Parameterized Convolutional Neural Networks Contain Structured Strong Winning Lottery Tickets
Published
• View Publication
• BIB
The Strong Lottery Ticket Hypothesis (SLTH) states that randomly-initialised neural networks likely contain subnetworks that perform well without any training. Although unstructured pruning has been extensively studied in this context, its structured counterpart, which can deliver significant computational and memory efficiency gains, has been largely unexplored. One of the main reasons for this gap is the limitations of the underlying mathematical tools used in formal analyses of the SLTH. In this paper, we overcome these limitations: we leverage recent advances in the multidimensional generalisation of the Random Subset-Sum Problem and obtain a variant that admits the stochastic dependencies that arise when addressing structured pruning in the SLTH. We apply this result to prove, for a wide class of random Convolutional Neural Networks, the existence of structured subnetworks that can approximate any sufficiently smaller network.
This result provides the first sub-exponential bound around the SLTH for structured pruning, opening up new avenues for further research on the hypothesis and contributing to the understanding of the role of over-parameterization in deep learning.
Two associative operads of packed words
The associative operad is a central structure in operad theory, defined on the linear span of the set of permutations. We build two analogs of the associative operad on the linear span of the set of packed words which turn out to be set-theoretical. By seeing a packed word as a surjective map between two finite sets, our first operad is graded by the cardinality of the domain and the second one, by the cardinality of the codomain. In the same way as the associative operad of permutations contains as quotients the duplicial and interstice operads, we derive similar structures for our operads of packed words. We propose also an analogue of Dynkin idempotent of Zie algebras in this context of operads of packed words.
The least eigenvalues of integral circulant graphs
The integral circulant graph $ICG_n (D)$ has the vertex set $Z_n = \{0, 1, 2, \ldots, n - 1\}$, where vertices $a$ and $b$ are adjacent if $\gcd(a-b,n)\in D$, with $D \subseteq \{d : d \mid n,\ 1\leq d<n\}$. In this paper, we establish that the minimal value of the least eigenvalues (minimal least eigenvalue) of integral circulant graphs $ICG_n(D)$, given an order $n$ with its prime factorization $p_1^{α_1}\cdots p_k^{α_k}$, is equal to $-\frac{n}{p_1}$. Moreover, we show that the minimal least eigenvalue of connected integral circulant graphs $ICG_n(D)$ of order $n$ whose complements are also connected is equal to $-\frac{n}{p_1}+p_1^{α_1-1}$. Finally, we determine the second minimal eigenvalue among all least eigenvalues within the class of connected integral circulant graphs of a prescribed order $n$ and show it to be equal to $-\frac{n}{p_1}+p_1-1$ or $-\frac{n}{p_1}+1$, depending on whether $α_1>1$ or not, respectively. In all the aforementioned tasks, we provide a complete characterization of graphs whose spectra contain these determined minimal least eigenvalues.
Ultrafilters, Transversals, and the Hat Game
Geschke, Lubarsky, and Rahn in ``Choice and the Hat Game''~\cite{choice-and-the-hat-game} generalize the classic hat game puzzle to infinitely-many players and ask whether every model of set theory without choice in which the optimal solution can be carried out contains either a nonprincipal ultrafilter on $\mathbb N$ or else a Vitali set. A negative answer is obtained here by constructing a model in which there is an optimal solution to the hat game puzzle but no nonprincipal ultrafilter on $\mathbb N$ and no Vitali set. This is accomplished in a more general setting, establishing that for any Borel bipartite graph $Γ$ not embedding some $K_{n,ω_1}$ and with countable colouring number there is a model of $\mbox{ZF} + \mbox{DC}$ in which $Γ$ has a $2$-colouring but there is no ultrafilter as above or Vitali set. The same conclusion applies to the natural generalization of the hat game to an arbitrary finite number of hat colours.