Source author record

Marcelo Sales

Explore this author’s publications, collaborators and research topics. This catalog record has not been claimed by its author.

ResearcherUnclaimed source record

Catalog footprint

Research overview

2works
1topics
3close collaborators

Published work

2 publications

preprint2023arXiv

Independence number of hypergraphs under degree conditions

A well-known result of Ajtai et al. from 1982 states that every kk-graph HH on nn vertices, with girth at least five, and average degree tk−1t^{k-1} contains an independent set of size cn(log⁡t)1/(k−1)/tc n (\log t)^{1/(k-1)}/t for some c>0c>0. In this paper we show that an independent set of the same size can be found under weaker conditions allowing certain cycles of length 2, 3 and 4. Our work is motivated by a problem of Lo and Zhao, who asked for k≥4k\ge 4, how large of an independent set a kk-graph HH on nn vertices necessarily has when its maximum (k−2)(k-2)-degree Δk−2(H)≤dnΔ_{k-2}(H)\le dn. (The corresponding problem with respect to (k−1)(k-1)-degrees was solved by Kostochka, Mubayi, and Varstraëte [Random Structures & Algorithms 44, 224--239, 2014].) In this paper we show that every kk-graph HH on nn vertices with Δk−2(H)≤dnΔ_{k-2}(H)\le dn contains an independent set of size c(ndlog⁡log⁡nd)1/(k−1)c (\frac nd \log\log \frac nd)^{1/(k-1)}, and under additional conditions, an independent set of size c(ndlog⁡nd)1/(k−1)c (\frac nd \log \frac nd)^{1/(k-1)}. The former assertion gives a new upper bound for the (k−2)(k-2)-degree Turán density of complete kk-graphs.

preprint2022arXiv

A local version of Katona's intersection theorem

Katona's intersection theorem states that every intersecting family F⊆[n](k)\mathcal F\subseteq[n]^{(k)} satisfies ∣∂F∣≥∣F∣\vert\partial\mathcal F\vert\geq\vert\mathcal F\vert, where ∂F={F∖x:x∈F∈F}\partial\mathcal F=\{F\setminus x:x\in F\in\mathcal F\} is the shadow of F\mathcal F. Frankl conjectured that for n>2kn>2k and every intersecting family F⊆[n](k)\mathcal F\subseteq [n]^{(k)}, there is some i∈[n]i\in[n] such that ∣∂F(i)∣≥∣F(i)∣\vert \partial \mathcal F(i)\vert\geq \vert\mathcal F(i)\vert, where F(i)={F∖i:i∈F∈F}\mathcal F(i)=\{F\setminus i:i\in F\in\mathcal F\} is the link of F\mathcal F at ii. Here, we prove this conjecture in a very strong form for n>(k+12)n> \binom{k+1}{2}. In particular, our result implies that for any j∈[k]j\in[k], there is a jj-set {a1,…,aj}∈[n](j)\{a_1,\dots,a_j\}\in[n]^{(j)} such that ∣∂F(a1,…,aj)∣≥∣F(a1,…,aj)∣\vert \partial \mathcal F(a_1,\dots,a_j)\vert\geq \vert\mathcal F(a_1,\dots,a_j)\vert. A similar statement is also obtained for cross-intersecting families.

Research graph

See the researcher in context

Open full explorer

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.