arXiv subjects

Máté Vizer

Publications and source records attributed to Máté Vizer.

At least 37 records · Page 2Linked to original sources

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

Fuglede's conjecture holds for cyclic groups of order $pqrs$

The tile-spectral direction of the discrete Fuglede-conjecture is well-known for cyclic groups of square-free order, initiated by Laba and Meyerowitz, but the spectral-tile direction is far from being well-understood. The product of at most three primes as the order of the cyclic group was studied intensely in the last couple of years. In this paper we study the case when the order of the cyclic group is the product of four different primes and prove that Fuglede's conjecture holds in this case.

math.CA↗

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

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↗

arXiv2019

Ramsey problems for Berge hypergraphs

For a graph $G$, a hypergraph $\mathcal{H}$ is a Berge copy of $G$ (or a Berge-$G$ in short), if there is a bijection $f : E(G) \rightarrow E(\mathcal{H})$ such that for each $e \in E(G)$ we have $e \subseteq f(e)$. We denote the family of $r$-uniform hypergraphs that are Berge copies of $G$ by $B^rG$. For families of $r$-uniform hypergraphs $\mathbf{H}$ and $\mathbf{H}'$, we denote by $R(\mathbf{H},\mathbf{H}')$ the smallest number $n$ such that in any blue-red coloring of $\mathcal{K}_n^r$ (the complete $r$-uniform hypergraph on $n$ vertices) there is a monochromatic blue copy of a hypergraph in $\mathbf{H}$ or a monochromatic red copy of a hypergraph in $\mathbf{H}'$. $R^c(\mathbf{H})$ denotes the smallest number $n$ such that in any coloring of the hyperedges of $\mathcal{K}_n^r$ with $c$ colors, there is a monochromatic copy of a hypergraph in $\mathbf{H}$. In this paper we initiate the general study of the Ramsey problem for Berge hypergraphs, and show that if $r> 2c$, then $R^c(B^rK_n)=n$. In the case $r = 2c$, we show that $R^c(B^rK_n)=n+1$, and if $G$ is a non-complete graph on $n$ vertices, then $R^c(B^rG)=n$, assuming $n$ is large enough. In the case $r < 2c$ we also obtain bounds on $R^c(B^rK_n)$. Moreover, we also determine the exact value of $R(B^3T_1,B^3T_2)$ for every pair of trees $T_1$ and $T_2$.

math.CO↗

arXiv2019

On the discrete Fuglede and Pompeiu problems

We investigate the discrete Fuglede's conjecture and Pompeiu problem on finite abelian groups and develop a strong connection between the two problems. We give a geometric condition under which a multiset of a finite abelian group has the discrete Pompeiu property. Using this description and the revealed connection we prove that Fuglede's conjecture holds for $\mathbb{Z}_{p^n q^2}$, where $p$ and $q$ are different primes. In particular, we show that every spectral subset of $\mathbb{Z}_{p^n q^2}$ tiles the group. Further, using our combinatorial methods we give a simple proof for the statement that Fuglede's conjecture holds for $\mathbb{Z}_p^2$.

math.CA↗

arXiv2019

Stability results on vertex Turán problems in Kneser graphs

The vertex set of the Kneser graph $K(n,k)$ is $V = \binom{[n]}{k}$ and two vertices are adjacent if the corresponding sets are disjoint. For any graph $F$, the largest size of a vertex set $U \subseteq V$ such that $K(n,k)[U]$ is $F$-free, was recently determined by Alishahi and Taherkhani, whenever $n$ is large enough compared to $k$ and $F$. In this paper, we determine the second largest size of a vertex set $W \subseteq V$ such that $K(n,k)[W]$ is $F$-free, in the case when $F$ is an even cycle or a complete multi-partite graph. In the latter case, we actually give a more general theorem depending on the chromatic number of $F$. These results generalize the celebrated Erd\H os-Ko-Rado theorem and Hilton-Milner theorem.

math.CO↗

arXiv2019

Regular graphs are antimagic

An undirected simple graph $G=(V,E)$ is called antimagic if there exists an injective function $f:E\rightarrow\{1,\dots,|E|\}$ such that $\sum_{e\in E(u)} f(e)\neq\sum_{e\in E(v)} f(e)$ for any pair of different nodes $u,v\in V$. In a previous version of the paper, the authors gave a proof that regular graphs are antimagic. However, the proof of the main theorem is incorrect as one of the steps uses an invalid assumption. The aim of the present erratum is to fix the proof.

cs.DM↗

arXiv2018

Generalized Turán problems for even cycles

Given a graph $H$ and a set of graphs $\mathcal F$, let $ex(n,H,\mathcal F)$ denote the maximum possible number of copies of $H$ in an $\mathcal F$-free graph on $n$ vertices. We investigate the function $ex(n,H,\mathcal F)$, when $H$ and members of $\mathcal F$ are cycles. Let $C_k$ denote the cycle of length $k$ and let $\mathscr C_k=\{C_3,C_4,\ldots,C_k\}$. Some of our main results are the following. (i) We show that $ex(n, C_{2l}, C_{2k}) = Θ(n^l)$ for any $l, k \ge 2$. Moreover, we determine it asymptotically in the following cases: We show that $ex(n,C_4,C_{2k}) = (1+o(1)) \frac{(k-1)(k-2)}{4} n^2$ and that the maximum possible number of $C_6$'s in a $C_8$-free bipartite graph is $n^3 + O(n^{5/2})$. (ii) Solymosi and Wong proved that if Erdős's Girth Conjecture holds, then for any $l \ge 3$ we have $ex(n,C_{2l},\mathscr C_{2l-1})=Θ(n^{2l/(l-1)})$. We prove that forbidding any other even cycle decreases the number of $C_{2l}$'s significantly: For any $k > l$, we have $ex(n,C_{2l},\mathscr C_{2l-1} \cup \{C_{2k}\})=Θ(n^2).$ More generally, we show that for any $k > l$ and $m \ge 2$ such that $2k \neq ml$, we have $ex(n,C_{ml},\mathscr C_{2l-1} \cup \{C_{2k}\})=Θ(n^m).$ (iii) We prove $ex(n,C_{2l+1},\mathscr C_{2l})=Θ(n^{2+1/l}),$ provided a strong version of Erdős's Girth Conjecture holds (which is known to be true when $l = 2, 3, 5$). Moreover, forbidding one more cycle decreases the number of $C_{2l+1}$'s significantly: More precisely, we have $ex(n, C_{2l+1}, \mathscr C_{2l} \cup \{C_{2k}\}) = O(n^{2-\frac{1}{l+1}}),$ and $ex(n, C_{2l+1}, \mathscr C_{2l} \cup \{C_{2k+1}\}) = O(n^2)$ for $l > k \ge 2$. (iv) We also study the maximum number of paths of given length in a $C_k$-free graph, and prove asymptotically sharp bounds in some cases.

math.CO↗

arXiv2018

On the maximum number of copies of H in graphs with given size and order

We study the maximum number $ex(n,e,H)$ of copies of a graph $H$ in graphs with given number of vertices and edges. We show that for any fixed graph $H$, $ex(n,e,H)$ is asymptotically realized by the quasi-clique provided that the edge density is sufficiently large. We also investigate a variant of this problem, when the host graph is bipartite.

math.CO↗

arXiv2018

On Clique Coverings of Complete Multipartite Graphs

A clique covering of a graph $G$ is a set of cliques of $G$ such that any edge of $G$ is contained in one of these cliques, and the weight of a clique covering is the sum of the sizes of the cliques in it. The sigma clique cover number $scc(G)$ of a graph $G$, is defined as the smallest possible weight of a clique covering of $G$. Let $ K_t(d) $ denote the complete $ t $-partite graph with each part of size $d$. We prove that for any fixed $d \ge 2$, we have $$\lim_{t \rightarrow \infty} scc(K_t(d))= \frac{d}{2} t\log t.$$ This disproves a conjecture of Davoodi, Javadi and Omoomi.

math.CO↗

arXiv2018

Majority problems of large query size

We study two models of the Majority problem. We are given n balls and an unknown coloring of them with two colors. We can ask sets of balls of size k as queries, and in the so-called General Model the answer to a query shows if all the balls in the set are of the same color or not. In the so-called Counting Model the answer to a query gives the difference between the cardinalities of the color classes in the query. Our goal is to show a ball of the larger color class, or prove that the color classes are of the same size, using as few queries as possible. In this paper we improve the bounds given by De Marco and Kranakis for the number of queries needed.

math.CO↗

arXiv2018

Asymptotics for the Turán number of Berge-$K_{2,t}$

Let $F$ be a graph. A hypergraph is called Berge-$F$ if it can be obtained by replacing each edge of $F$ by a hyperedge containing it. Let $\mathcal{F}$ be a family of graphs. The Turán number of Berge-$\mathcal{F}$ is the maximum possible number of edges in an $r$-uniform hypergraph on $n$ vertices containing no Berge-$F$ as a subhypergraph (for every $F \in \mathcal{F}$) and is denoted by $ex_r(n,\mathcal{F})$. We determine the asymptotics for the Turán number of Berge-$K_{2,t}$ by showing $$ex_3(n,K_{2,t})=\frac{1}{6}(t-1)^{3/2} \cdot n^{3/2}(1+o(1))$$ for any given $t \ge 7$. We study the analogous question for linear hypergraphs and show that $$ex_3(n,\{C_2, K_{2,t}\}) = \frac{1}{6}\sqrt{t-1} \cdot n^{3/2}(1+o_{t}(1)).$$ We also prove general upper and lower bounds on the Turán numbers of a class of graphs including $ex_r(n, K_{2,t})$, $ex_r(n,\{C_2, K_{2,t}\})$, and $ex_r(n, C_{2k})$ for $r \ge 3$. Our bounds improve results of Gerbner and Palmer, Füredi and Özkahya, Timmons, and provide a new proof of a result of Jiang and Ma.

math.CO↗