arXiv subjects

Balázs Patkós

Publications and source records attributed to Balázs Patkós.

At least 55 records · Page 3Linked to original sources

arXiv2022

On the number of maximal independent sets: From Moon-Moser to Hujter-Tuza

We connect two classical results in extremal graph theory concerning the number of maximal independent sets. The maximum number mis$(n)$ of maximal independent sets in an $n$-vertex graph was determined by Moon and Moser. The maximum number mis$_\bigtriangleup(n)$ of maximal independent sets in an $n$-vertex triangle-free graph was determined by Hujter and Tuza. We determine the maximum number mis$_t(n)$ of maximal independent sets in an $n$-vertex graph containing no induced triangle matching of size $t+1$. We also reprove a stability result of Kahn and Park on the maximum number mis$_{\bigtriangleup,t}(n)$ of maximal independent sets in an $n$-vertex triangle-free graphs containing no induced matching of size $t+1$.

math.CO↗

arXiv2022

Generalized Turán results for intersecting cliques

For fixed graphs $F$ and $H$, the generalized Turán problem asks for the maximum number $ex(n,H,F)$ of copies of $H$ that an $n$-vertex $F$-free graph can have. In this paper, we focus on cases with $F$ being $B_{r,s}$, the graph consisting of two cliques of size $s$ sharing $r$ common vertices. We determine $ex(n,K_t,B_{r,0})$, $ex(n,K_t,B_{r,1})$ and $ex(n,K_{a,b},B_{3,1})$ for all values of $a,b,r,t$ if $n$ is large enough.

math.CO↗

arXiv2022

Triangles in intersecting families

We prove the following the generalized Turán type result. A collection $\mathcal{T}$ of $r$ sets is an $r$-triangle if for every $T_1,T_2,\dots,T_{r-1}\in \mathcal{T}$ we have $\cap_{i=1}^{r-1}T_i\neq\emptyset$, but $\cap_{T\in \mathcal{T}}T$ is empty. A family $\mathcal{F}$ of sets is $r$-wise intersecting if for any $F_1,F_2,\dots,F_r\in \mathcal{F}$ we have $\cap_{i=1}^rF_i\neq \emptyset$ or equivalently if $\mathcal{F}$ does not contain any $m$-triangle for $m=2,3,\dots,r$. We prove that if $n\ge n_0(r,k)$, then the $r$-wise intersecting family $\mathcal{F}\subseteq \binom{[n]}{k}$ containing the most number of $(r+1)$-triangles is isomorphic to $\{F\in \binom{[n]}{k}:|F\cap [r+1]|\ge r\}$.

math.CO↗

arXiv2021

Containments in families with forbidden subposets

We consider the problem of determining the maximum number of pairs $F\subseteq F'$ in a family $\mathcal{F}\subseteq 2^{[n]}$ that avoids certain posets $P$ of height 2. We show that for any such $P$ the number of pairs is $O(n\binom{n}{\lfloor n/2\rfloor})$ and we find the exact value for the butterfly poset and the $N$ poset. Also, we determine the asymptotics of the maximum number of pairs in containment for some posets of which the Hasse diagram is a path.

math.CO↗

arXiv2021

On generalized Turán results in height two posets

For given posets $P$ and $Q$ and an integer $n$, the generalized Turán problem for posets, asks for the maximum number of copies of $Q$ in a $P$-free subset of the $n$-dimensional Boolean lattice, $2^{[n]}$. In this paper, among other results, we show the following: (i) For every $n\geq 5$, the maximum number of $2$-chains in a butterfly-free subfamily of $2^{[n]}$ is $\left\lceil\frac{n}{2}\right\rceil\binom{n}{\lfloor n/2\rfloor}$. (ii) For every fixed $s$, $t$ and $k$, a $K_{s,t}$-free family in $2^{[n]}$ has $O\left(n\binom{n}{\lfloor n/2\rfloor}\right)$ $k$-chains. (iii) For every $n\geq 3$, the maximum number of $2$-chains in an $\textbf{N}$-free family is $\binom{n}{\lfloor n/2\rfloor}$, where $\textbf{N}$ is a poset on 4 distinct elements $\{p_1,p_2,q_1,q_2\}$ for which $p_1 < q_1$, $p_2 < q_1$ and $p_2 < q_2$. (iv) We also prove exact results for the maximum number of $2$-chains in a family that has no $5$-path and asymptotic estimates for the number of $2$-chains in a family with no $6$-path.

math.CO↗

arXiv2021

Forbidden subposet problems in the grid

For posets $P$ and $Q$, extremal and saturation problems about weak and strong $P$-free subposets of $Q$ have been studied mostly in the case $Q$ is the Boolean poset $Q_n$, the poset of all subsets of an $n$-element set ordered by inclusion. In this paper, we study some instances of the problem with $Q$ being the grid, and its connections to the Boolean case and to the forbidden submatrix problem.

math.CO↗

arXiv2021

Generalized Turán problems for complete bipartite graphs

For graph $G$, $F$ and integer $n$, the generalized Tuán number $ex(n,G,F)$ denotes the maximum number of copies of $G$ that an $F$-free $n$-vertex graph can have. We study this parameter when both $G$ and $F$ are complete bipartite graphs.

math.CO↗

arXiv2021

On general position sets in Cartesian products

The general position number ${\rm gp}(G)$ of a connected graph $G$ is the cardinality of a largest set $S$ of vertices such that no three distinct vertices from $S$ lie on a common geodesic; such sets are refereed to as gp-sets of $G$. The general position number of cylinders $P_r\,\square\, C_s$ is deduced. It is proved that ${\rm gp}(C_r\,\square\, C_s)\in \{6,7\}$ whenever $r\ge s \ge 3$, $s\ne 4$, and $r\ge 6$. A probabilistic lower bound on the general position number of Cartesian graph powers is achieved. Along the way a formula for the number of gp-sets in $P_r\,\square\, P_s$, where $r,s\ge 2$, is also determined.

math.CO↗

arXiv2021

VC-saturated set systems

The well-known Sauer lemma states that a family $\mathcal{F}\subseteq 2^{[n]}$ of VC-dimension at most $d$ has size at most $\sum_{i=0}^d\binom{n}{i}$. We obtain both random and explicit constructions to prove that the corresponding saturation number, i.e., the size of the smallest maximal family with VC-dimension $d\ge 2$, is at most $4^{d+1}$, and thus is independent of $n$.

math.CO↗

arXiv2021

On saturation of Berge hypergraphs

A hypergraph $H=(V(H), E(H))$ is a Berge copy of a graph $F$, if $V(F)\subset V(H)$ and there is a bijection $f:E(F)\rightarrow E(H)$ such that for any $e\in E(F)$ we have $e\subset f(e)$. A hypergraph is Berge-$F$-free if it does not contain any Berge copies of $F$. We address the saturation problem concerning Berge-$F$-free hypergraphs, i.e., what is the minimum number $sat_r(n,F)$ of hyperedges in an $r$-uniform Berge-$F$-free hypergraph $H$ with the property that adding any new hyperedge to $H$ creates a Berge copy of $F$. We prove that $sat_r(n,F)$ grows linearly in $n$ if $F$ is either complete multipartite or it possesses the following property: if $d_1\le d_2\le \dots \le d_{|V(F)|}$ is the degree sequence of $F$, then $F$ contains two adjacent vertices $u,v$ with $d_F(u)=d_1$, $d_F(v)=d_2$. In particular, the Berge-saturation number of regular graphs grows linearly in $n$.

math.CO↗

arXiv2020

Saturation problems with regularity constraints

For a graph $F$, we say that another graph $G$ is $F$-saturated, if $G$ is $F$-free and adding any edge to $G$ would create a copy of $F$. We study for a given graph $F$ and integer $n$ whether there exists a regular $n$-vertex $F$-saturated graph, and if it does, what is the smallest number of edges of such a graph. We mainly focus on the case when $F$ is a complete graph and prove for example that there exists a $K_3$-saturated regular graph on $n$ vertices for every large enough $n$. We also study two relaxed versions of the problem: when we only require that no regular $F$-free supergraph of $G$ should exist or when we drop the $F$-free condition and only require that any newly added edge should create a new copy of $F$.

math.CO↗

arXiv2020

Rainbow Ramsey problems for the Boolean lattice

We address the following rainbow Ramsey problem: For posets $P,Q$ what is the smallest number $n$ such that any coloring of the elements of the Boolean lattice $B_n$ either admits a monochromatic copy of $P$ or a rainbow copy of $Q$. We consider both weak and strong (non-induced and induced) versions of this problem. We also investigate related problems on (partial) $k$-colorings of $B_n$ that do not admit rainbow antichains of size $k$.

math.CO↗

arXiv2020

Supersaturation, counting, and randomness in forbidden subposet problems

In the area of forbidden subposet problems we look for the largest possible size $La(n,P)$ of a family $\mathcal{F}\subseteq 2^{[n]}$ that does not contain a forbidden inclusion pattern described by $P$. The main conjecture of the area states that for any finite poset $P$ there exists an integer $e(P)$ such that $La(n,P)=(e(P)+o(1))\binom{n}{\lfloor n/2\rfloor}$. In this paper, we formulate three strengthenings of this conjecture and prove them for some specific classes of posets. (The parameters $x(P)$ and $d(P)$ are defined in the paper.) $\bullet$ For any finite connected poset $P$ and $\varepsilon>0$, there exists $δ>0$ and an integer $x(P)$ such that for any $n$ large enough, and $\mathcal{F}\subseteq 2^{[n]}$ of size $(e(P)+\varepsilon)\binom{n}{\lfloor n/2\rfloor}$, $\mathcal{F}$ contains at least $δn^{x(P)}\binom{n}{\lfloor n/2\rfloor}$ copies of $P$. $\bullet$ The number of $P$-free families in $2^{[n]}$ is $2^{(e(P)+o(1))\binom{n}{\lfloor n/2\rfloor}}$. $\bullet$ For any finite poset $P$, there exists a positive rational $d(P)$ such that if $p=ω(n^{-d(P)})$, then the size of the largest $P$-free family in $\mathcal{P}(n,p)$ is $(e(P)+o(1))p\binom{n}{\lfloor n/2\rfloor}$ with high probability.

math.CO↗

arXiv2020

Combinatorics in the exterior algebra and the Bollobás Two Families Theorem

We investigate the combinatorial structure of subspaces of the exterior algebra of a finite-dimensional real vector space, working in parallel with the extremal combinatorics of hypergraphs. Using initial monomials, projections of the underlying vector space onto subspaces, and the interior product, we find analogues of local and global LYM inequalities, the Erdős-Ko-Rado theorem, and the Ahlswede-Khachatrian bound for $t$-intersecting hypergraphs. Using these tools, we prove a new extension of the Two Families Theorem of Bollobás, giving a weighted bound for subspace configurations satisfying a skew cross-intersection condition. We also verify a recent conjecture of Gerbner, Keszegh, Methuku, Abhishek, Nagy, Patkós, Tompkins, and Xiao on pairs of set systems satisfying both an intersection and a cross-intersection condition.

math.CO↗

arXiv2020

Adaptive Majority Problems for Restricted Query Graphs and for Weighted Sets

Suppose that the vertices of a graph $G$ are colored with two colors in an unknown way. The color that occurs on more than half of the vertices is called the majority color (if it exists), and any vertex of this color is called a majority vertex. We study the problem of finding a majority vertex (or show that none exists) if we can query edges to learn whether their endpoints have the same or different colors. Denote the least number of queries needed in the worst case by $m(G)$. It was shown by Saks and Werman that $m(K_n)=n-b(n)$, where $b(n)$ is the number of 1's in the binary representation of $n$. In this paper, we initiate the study of the problem for general graphs. The obvious bounds for a connected graph $G$ on $n$ vertices are $n-b(n)\le m(G)\le n-1$. We show that for any tree $T$ on an even number of vertices we have $m(T)=n-1$ and that for any tree $T$ on an odd number of vertices, we have $n-65\le m(T)\le n-2$. Our proof uses results about the weighted version of the problem for $K_n$, which may be of independent interest. We also exhibit a sequence $G_n$ of graphs with $m(G_n)=n-b(n)$ such that $G_n$ has $O(nb(n))$ edges and $n$ vertices.

math.CO↗

arXiv2019

Some exact results for regular Turán problems

As a variant of the famous Turán problem, we study $\mathrm{rex}(n,F)$, the maximum number of edges that an $n$-vertex regular graph can have without containing a copy of $F$. We determine $\mathrm{rex}(n,K_{r+1})$ for all pairs of integers $r$ and large enough $n$. For every tree $T$, we determine $\mathrm{rex}(n,T)$ for every $n$ large enough.

math.CO↗

arXiv2019

t-wise Berge and t-heavy hypergraphs

In many proofs concerning extremal parameters of Berge hypergraphs one starts with analyzing that part of that shadow graph which is contained in many hyperedges. Capturing this phenomenon we introduce two new types of hypergraphs. A hypergraph $\mathcal{H}$ is a $t$-heavy copy of a graph $F$ if there is a copy of $F$ on its vertex set such that each edge of $F$ is contained in at least $t$ hyperedges of $\mathcal{H}$. $\mathcal{H}$ is a $t$-wise Berge copy of $F$ if additionally for distinct edges of $F$ those $t$ hyperedges are distinct. We extend known upper bounds on the Turán number of Berge hypergraphs to the $t$-wise Berge hypergraphs case. We asymptotically determine the Turán number of $t$-heavy and $t$-wise Berge copies of long paths and cycles and exactly determine the Turán number of $t$-heavy and $t$-wise Berge copies of cliques. In the case of 3-uniform hypergraphs, we consider the problem in more details and obtain additional results.

math.CO↗

arXiv2019

Singular Turán numbers and WORM-colorings

A subgraph $H$ of $G$ is \textit{singular} if the vertices of $H$ either have the same degree in $G$ or have pairwise distinct degrees in $G$. The largest number of edges of a graph on $n$ vertices that does not contain a singular copy of $H$ is denoted by $T_S(n,H)$. Caro and Tuza [Theory and Applications of Graphs, 6 (2019), 1--32] obtained the asymptotics of $T_S(n,H)$ for every graph $H$, but determined the exact value of this function only in the case $H=K_3$ and $n\equiv 2$ (mod 4). We determine $T_S(n,K_3)$ for all $n\equiv 0$ (mod 4) and $n\equiv 1$ (mod 4), and also $T_S(n,K_{r+1})$ for large enough $n$ that is divisible by $r$. We also explore the connection to the so-called $H$-WORM colorings (colorings without rainbow or monochromatic copies of $H$) and obtain new results regarding the largest number of edges that a graph with an $H$-WORM coloring can have.

math.CO↗