arXiv subjects

Ervin Győri

Publications and source records attributed to Ervin Győri.

At least 19 recordsLinked to original sources

arXiv2026

Extending edge colorings of distance-3 matchings in the Cartesian product of graphs

We investigate the problem of extending partial edge colorings in Cartesian products of graphs, with a particular focus on cases where the precolored edges form a matching. Casselgren, Granholm, and Petros conjectured that any precolored distance-3 matching in $G = C^d_{2k}$ can be extended to a $2d$-edge coloring. In this paper, we prove a theorem that implies this conjecture. Especially, our main result establishes that a precolored distance-3 matching in the Cartesian product of certain class 1 graphs can be extended to an edge coloring that uses at most as many colors as the chromatic index, provided that certain degree conditions are satisfied. In the second part of the paper, we extend these results to Cartesian products of other types of graphs as well.

math.CO↗

arXiv2026

Jones' conjecture for Halin graphs and a bit more

We prove Jones' famous conjecture for Halin graphs and a somewhat more general class of graphs, too. A based planar graph is a planar one that has a face adjacent to every other face. We confirm Jones' conjecture for based planar graphs. Namely, if a based planar graph does not contain $k+1$ vertex-disjoint cycles, then it suffices to delete $2k$ vertices to make it acyclic.

math.CO↗

arXiv2026

The maximum number of odd cycles in planar graphs forbidding shorter odd cycles

Given a graph $H$ and a family of graphs $\mathcal{F}$, the generalized planar Turán number $\mathrm{ex}_\mathcal{P}(n, H, \mathcal{F})$ is the maximum number of copies of $H$ in an $n$-vertex planar graph that contains no graph $F \in \mathcal{F}$ as a subgraph. When only induced copies of $H$ are counted, we denote the corresponding generalized planar Turán number by $\mathrm{ex}_\mathcal{P}(n, H^{\mathrm{ind}}, \mathcal{F})$. Győri and Karim determined $\mathrm{ex}_\mathcal{P}(n, C_{5}, \{C_3\})$. In this paper, we determine the exact value of $\mathrm{ex}_\mathcal{P}(n, C_{2k+1}, \{C_3,C_5,\ldots,C_{2k-1}\})$ for every $k \ge 3$. Since all shorter odd cycles are forbidden, every $C_{2k+1}$ is induced. This problem is closely related to the inducibility of odd cycles in planar graphs. Ghosh, Győri, Janzer, Paulos, Salia and Zamora~(and independently Savery) determined the exact value of $\mathrm{ex}_\mathcal{P}(n, C_5^{\mathrm{ind}}, \emptyset)$. Moreover, they established a conjecture for all odd cycles $C_{2k+1}$ with $k \ge 3$. Our result confirms their conjecture under the additional assumption that all shorter odd cycles are forbidden.

math.CO↗

arXiv2026

Induced planar Turán numbers

The planar Turá number of a graph $F$ is the maximum number of edges an $n$-vertex $F$-free planar graph can have. We study the case where $F$ is forbidden as an induced subgraph, thereby introducing the induced planar Turá numbers. We will determine a sharp upper bound when $F$ is $Θ_4$, a $4$-cycle with a diagonal edge, and obtain exact extremal values in case $F$ is a path $P_k$ on $k$ vertices, for $k=3,4$ and $5$.

math.CO↗

arXiv2026

The Turán number of the Cartesian product of a star and an edge

Let $C_k$ denote the cycle of length $k$, $S_t$ be a star with $t$ edges. And let $B_t$ be the graph consisting of $t$ copies of $C_4$ sharing one fixed edge. Equivalently, $B_t=K_2 \mathbin{\square} S_t$, which is the Cartesian product of a star with $t$ edges and an edge. Recently, Gao, Janzer, Liu and Xu [\textit{Israel J. Math. 269(2025)}] proved that the Turán number of $K_2\mathbin{\square} C_{2l}$ is $Θ(n^{\frac{3}{2}})$ for every $l\ge 4$. In this paper, we obtain upper and lower estimates for the Turán number of $B_t$ in both the general and bipartite settings for every $t\geq 2$. For the lower bound, we use random construction based on the extremal structure of $C_4$. These results imply that $\frac{1}{2\sqrt{2}}\leq \lim_{t\to \infty} \frac{\mathrm{ex}(n,B_t)}{\sqrt{t}}\leq \frac{1}{2}$, and $\frac{1}{4}\leq \lim_{t\to \infty} \frac{\mathrm{ex}_{bip}(n,B_t)}{\sqrt{t}}\leq \frac{1}{2\sqrt{2}}.$ In the case of $B_2$, we obtain sharper estimates. We show that the Turán number of $B_2$ is approximately between $(0.518+o(1))n^{\frac{3}{2}}$ and $(0.603+o(1))n^{\frac{3}{2}}$. And in the bipartite setting, it is approximately between $(0.385+o(1))n^{\frac{3}{2}}$ and $(0.468+o(1))n^{\frac{3}{2}}$. Moreover, in the bipartite setting, we give a more general result, which shows that for every tree $T$ with $t$ edges, the bipartite Turán number of $K_2\mathbin{\square}T$ is at most $\frac{\sqrt{t}}{2\sqrt{2}}(1+o(1))n^{\frac{3}{2}}$.

math.CO↗

arXiv2026

Forbidding matching as trace in uniform hypergraphs

We say a hypergraph $\mathcal{H}$ contains a hypergraph $\mathcal{G}$ as trace if there exists a vertex subset $S \subseteq V(\mathcal{H})$ such that $|S| = |V(\mathcal{G})|$ and $\{e \cap S: e \in E(\mathcal{H})\}$ contains $\mathcal{G}$ as a sub-hypergraph. We use $\mathrm{ex}_r(n, \mathrm{Tr}_r(\mathcal{G}))$ to denote the maximum number of hyperedges in an $r$-uniform hypergraph on $n$ vertices not containing $\mathcal{G}$ as a trace. The study of Turán numbers for traces was initiated by Mubayi and Zhao who studied the case when $\mathcal{G}$ is a complete graph. Let $M_{s+1}$ denote the graph of a matching with $s+1$ edges. In this paper, we give the upper bound of $\mathrm{ex}_r(n, \mathrm{Tr}_r(M_{s+1}))$ which is sharp asymptotically. When $r=3$, we give the exact value of $\mathrm{ex}_3 (n, \mathrm{Tr}_3 (M_{s+1}))$. We also consider the generalized Turán number in the case of matching. That is, the maximum number of copies of clique $\mathcal{K}_t^r$ in hypergraphs forbidding $\mathrm{Tr}_r (M_{s+1})$ as a trace. We give an upper bound which is sharp asymptotically and when $r=3$, we give the exact value. The Turán number of forbidding a matching and the other graph is another well studied topic initiated by Alon and Frankl. We also consider an analogue problem for the trace version, i.e., forbidding trace of matching and trace of complete graph as subgraphs.

math.CO↗

arXiv2026

The number of induced paths in outerplanar graphs

Let $P_k$ denote the path with $k$ vertices, and $\mathrm{ex}_{\mathcal{OP}}(n,H^{\mathrm{ind}},\emptyset)$ be the maximum number of induced copies of $H$ in an $n$-vertex outerplanar graph. In this paper, we determine the exact value of $\mathrm{ex}_{\mathcal{OP}}(n,P_3^{\mathrm{ind}},\emptyset)$ for all $n$, and give an asymptotic value of $\mathrm{ex}_{\mathcal{OP}}(n,P_4^{\mathrm{ind}},\emptyset)$. For general $k$, Matolcsi and Nagy proved that $\lim_{k\to \infty} {\left( \mathrm{ex}_{\mathcal{OP}}(n, P_{k+1},\emptyset)\right)^{1/k}} =4$. In the induced case, we prove that \[ fib(k-1)\frac{{(n-2k+3)}^2}{4} \le \mathrm{ex}_{\mathcal{OP}}(n, P_{k+1}^{\mathrm{ind}},\emptyset) \le fib(k+1) \binom{n}{2}, \] where $fib(k)$ is the Fibonacci number. This implies that $\lim_{k\to \infty} {\left( \mathrm{ex}_{\mathcal{OP}}(n, P_{k+1}^{\mathrm{ind}},\emptyset)\right)^{1/k}} = \frac{\sqrt{5}+1}{2}\approx 1.618$.

math.CO↗

arXiv2026

Extending partial edge-colorings of bounded size in Cartesian products of graphs

This paper studies edge-precoloring extensions in Cartesian products of graphs, motivated by a conjecture of Casselgren, Petros, and Fufa. We formulate a general hypothesis stating that if every edge-precoloring of $G$ and $H$ of sizes $k<χ'(G)$ and $l<χ'(H)$, respectively, is extendable, then any edge-precoloring of $G \square H$ of size $k+l+1$ can be extended to a proper $(χ'(G)+χ'(H))$-coloring. We provide partial progress toward this conjecture by establishing the result in cases where $k<Δ(G)$, $G$ is a triangle-free $r$-regular graph and $H$ is a star, an even cycle, a path or, more generally, an arbitrary tree $F$. Furthermore, we prove the conjecture in the case where $G$ is a subcubic graph and $H = K_2$.

math.CO↗

arXiv2026

Forbidding edge-critical graphs as trace in uniform hypergraphs

We say a hypergraph $\mathcal{H}$ contains a graph $G$ as trace if there exists a vertex subset $S \subseteq V(\mathcal{H})$ such that $|S| = V(G)$ and $\{e \cap S \mid e \in E(\mathcal{H})\}$ contains $G$ as a subgraph. We use $\mathrm{ex}(n, Tr_r(G))$ to denote the maximum number of edges in an $r$-uniform hypergraph on $n$ vertices not containing $G$ as trace. The study of Turán numbers for traces was initiated by Mubayi and Zhao~(2017) who studied $\mathrm{ex}(n, Tr_r(K_{s+1}))$ where $K_{s+1}$ is a clique on $s+1$ vertices and conjectured the exact value of $\mathrm{ex}(n, Tr_r(K_{s+1}))$. When $r \le s$, the conjecture was covered by a result of Pikhurko~(2013) who gave the exact value of Turán numbers for expanded cliques. Then Gerbner and Picollelli~(2023) gave the exact value for book graphs~($K_{1,1,t}$, the complete tripartite graph with two parts of size one and one part of size $t \ge 2$). We say $G$ is edge-critical if there exists an edge $e \in E(G)$ such that $χ(G - e) < χ(G)$ where $χ(G)$ is the chromatic number of $G$. The definition of edge-critical was given by Simonovits~(1974), who proved that for an edge-critical graph $G$ with $χ(G) = s+1 \ge 3$, the Turán graph $T(n,s)$ is the unique extremal graph for $ex(n,G)$ as $n$ is sufficiently large. In this paper, we further generalize the results of Gerbner and Picollelli~(2023) to edge-critical graphs. More precisely, we prove that for an edge-critical graph $G$ with $χ(G) = s+1$, when $s \ge r \ge 3$ and $n$ is sufficiently large, the $r$-uniform Turán graph $T_r(n,s)$ is the unique extremal hypergraph.

math.CO↗

arXiv2026

The maximum number of triangles in graphs without the square of a path

The generalized Turán number for $H$ of $G$, denoted by $\ex(n,H,G)$, is the maximum number of copies of $H$ in an $n$-vertex $G$-free graph. When $H$ is an edge, $\ex(n,H,G)$ is the classical Turán number $\ex(n,G)$. Let $P_k$ be the path with $k$ vertices. The square of $P_k$, denoted by $P_k^2$, is obtained by joining the pairs of vertices with distance at most two in $P_k$. The Turán number of $P_k^2$, $\ex(n, P_k^2)$, was determined by several researchers. When $k=3$, $P_3^2$ is the triangle and $\ex(n, P_3^2)$ is well-known from Mantel's theorem. When $k=4$, $\ex(n, P_4^2)$ was solved by Dirac in a more general context. When $k=5,6$, the problem was solved by Xiao, Katona, Xiao, and Zamora. For general $k \ge 7$, the problem was solved by Yuan in a more general context. Recently, Mukherjee determined the generalized Turán number $\ex(n, K_3, P_5^2)$. In this paper, we determine the exact value of $\ex(n, K_3, P_6^2)$ and characterize all the extremal graphs for $n \ge 11$.

math.CO↗

arXiv2025

Sets avoiding a rainbow solution to the generalized Schur equation

A classical result in combinatorial number theory states that the largest subset of $[n]$ avoiding a solution to the equation $x+y=z$ is of size $\lceil n/2 \rceil$. For all integers $k>m$, we prove multicolored extensions of this result where we maximize the sum and product of the sizes of sets $A_1,A_2,\dots,A_k \subseteq [n]$ avoiding a rainbow solution to the Schur equation $x_1+x_2+\dots+x_m=x_{m+1}$. Moreover, we determine all the extremal families.

math.CO↗

arXiv2024

Connected Turán numbers for Berge paths in hypergraphs

Let $\mathcal{F}$ be a family of $r$-uniform hypergraphs. Denote by $\ex^{\mathrm{conn}}_r(n,\mathcal{F})$ the maximum number of hyperedges in an $n$-vertex connected $r$-uniform hypergraph which contains no member of $\mathcal{F}$ as a subhypergraph. Denote by $\mathcal{B}C_k$ the Berge cycle of length $k$, and by $\mathcal{B}P_k$ the Berge path of length $k$. Füredi, Kostochka and Luo, and independently Győri, Salia and Zamora determined $\ex^{\mathrm{conn}}_r(n,\mathcal{B}P_k)$ provided $k$ is large enough compared to $r$ and $n$ is sufficiently large. For the case $k\le r$, Kostochka and Luo obtained an upper bound for $\ex^{\mathrm{conn}}_r(n,\mathcal{B}P_k)$. In this paper, we continue investigating the case $k\le r$. We precisely determine $\ex^{\mathrm{conn}}_r(n,\mathcal{B}P_k)$ when $n$ is sufficiently large and $n$ is not a multiple of~$r$. For the case $k=r+1$, we determine $\ex^{\mathrm{conn}}_r(n,\mathcal{B}P_k)$ asymptotically.

math.CO↗

arXiv2024

The Planar Turán Number of $Θ_6$-graphs

There are two particular $Θ_6$-graphs - the 6-cycle graphs with a diagonal. We find the planar Turán number of each of them, i.e. the maximum number of edges in a planar graph $G$ of $n$ vertices not containing the given $Θ_6$ as a subgraph and we find infinitely many extremal constructions showing the sharpness of these results - apart from a small additive constant error in one of the cases.

math.CO↗

arXiv2024

On the Small Quasi-kernel conjecture

An independent vertex subset $S$ of the directed graph $G$ is a kernel if the set of out-neighbors of $S$ is $V(G)\setminus S$. An independent vertex subset $Q$ of $G$ is a quasi-kernel if the union of the first and second out-neighbors contains $V(G)\setminus S$ as a subset. Deciding whether a directed graph has a kernel is an NP-hard problem. In stark contrast, each directed graph has quasi-kernel(s) and one can be found in linear time. In this article, we will survey the results on quasi-kernel and their connection with kernels. We will focus on the small quasi-kernel conjecture which states that if the graph has no vertex of zero in-degree, then there exists a quasi-kernel of size not larger than half of the order of the graph. The paper also contains new proofs and some new results as well.

math.CO↗

arXiv2024

Generalized planar Turán numbers related to short cycles

Given two graphs $H$ and $F$, the generalized planar Turán number $\mathrm{ex}_\mathcal{P}(n,H,F)$ is the maximum number of copies of $H$ that an $n$-vertex $F$-free planar graph can have. We investigate this function when $H$ and $F$ are short cycles. Namely, for large $n$, we find the exact value of $\mathrm{ex}_\mathcal{P}(n, C_l,C_3)$, where $C_l$ is a cycle of length $l$, for $4\leq l\leq 6$, and determine the extremal graphs in each case. Also, considering the converse of these problems, we determine sharp upper bounds for $\mathrm{ex}_\mathcal{P}(n,C_3,C_l)$, for $4\leq l\leq 6$.

math.CO↗

arXiv2023

On graphs without cycles of length 0 modulo 4

Bollobás proved that for every $k$ and $\ell$ such that $k\mathbb{Z}+\ell$ contains an even number, an $n$-vertex graph containing no cycle of length $\ell \bmod k$ can contain at most a linear number of edges. The precise (or asymptotic) value of the maximum number of edges in such a graph is known for very few pairs $\ell$ and $k$. In this work we precisely determine the maximum number of edges in a graph containing no cycle of length $0 \bmod 4$.

math.CO↗

arXiv2023

A note on universal graphs for spanning trees

Chung and Graham considered the problem of minimizing the number of edges in an $n$-vertex graph containing all $n$-vertex trees as a subgraph. They showed that such a graph has at least $\frac{1}{2}n \log{n}$ edges. In this note, we improve this lower estimate to $n \log{n}$.

math.CO↗

arXiv2023

Book free $3$-Uniform Hypergraphs

A $k$-book in a hypergraph consists of $k$ Berge triangles sharing a common edge. In this paper we prove that the number of the hyperedges in a $k$-book-free 3-uniform hypergraph on $n$ vertices is at most $\frac{n^2}{8}(1+o(1))$.

math.CO↗