arXiv++ Combinatorics

Let $G$ be an $n$-vertex graph and let $\ell:V(G)\to\mathbb{F}_2$ prescribe degree parities. A set $S\subseteq V(G)$ is $\ell$-admissible if every $v\in S$ has degree congruent to $\ell(v)$ modulo $2$ in $G[S]$. Let $h_\ell(G)$ be the maximum order of an $\ell$-admissible set, set $f_{\mathrm{oe}}(G):=\min_\ell h_\ell(G)$, and write $f_o(G):=h_{\mathbf{1}}(G)$, where $\mathbf{1}(v)=1$ for every $v\in V(G).$ We prove three main results for graphs without isolated vertices. First, by extending Zeng's odd-cut method to arbitrary parity prescriptions an introducing a one-sided completion lemma, we show that $h_\ell(G)\ge n/6$ for every $\ell$. Consequently, $f_{\mathrm{oe}}(G)\ge n/6$, improving the previous bound $2n/21$. Second, for bipartite graphs we derive lower bounds on $f_o(G)$ in terms of the $\mathbb{F}_2$-rank of the bipartite adjacency matrix and combine them to obtain \[ f_o(G)\ge \left(\frac14+\frac1{256}\right)n=\frac{65}{256}n. \] Thus, in the bipartite case, the factor $2$ in Scott's bound $f_o(G)\ge n/(2χ(G))$ can be replaced by $128/65<2$. Finally, writing $α=α(G)$, a fourth-moment argument gives, for $α\ge2$, \[ f_o(G)\ge \fracα{2}+\frac{\log_3α}{8} -\frac14\log_3\log_3\sqrtα. \] We also construct bipartite graphs satisfying \[ f_o(G)\le \frac{α(G)}2+\log_2\!\bigl(α(G)+1\bigr)+\frac12, \] showing that the logarithmic additive improvement over Scott's bound $f_o(G)\geα(G)/2$ has the optimal order of magnitude.

A graph is called odd if all of its vertex degrees are odd. A long-standing conjecture asked whether there exists a positive constant $c$ such that every $n$-vertex graph without isolated vertices contains an odd induced subgraph on at least $cn$ vertices. In 2022, Ferber and Krivelevich resolved this conjecture affirmatively with $c=10^{-4}$. A natural question is to determine the largest possible constant $c$. In 1994, Caro remarked that if $2/7$ is a valid value for $c$, then it is the largest possible one. To the best of our knowledge, the bound $c\ge 2/7$ has not been improved. Previous research has established tight bounds for specific graph classes -- for instance, $c = 2/5$ for graphs with maximum degree at most $3$ and without isolated vertices. In this paper, we prove that $c=2/7$ is the tight bound for graphs with maximum degree at most $4$ and without isolated vertices. Our result provides some support for $2/7$ being the largest value of $c$.

A long-standing and well-known conjecture (see e.g. Caro, Discrete Math, 1994) states that every $n$-vertex graph $G$ without isolated vertices contains an induced subgraph where all vertices have an odd degree and whose order is linear in $n$. Ferber and Krivelevich (Adv. Math., 2022) confirmed the conjecture. In this short paper, we generalize this result by considering $G$ with vertices labeled 0 or 1 and requiring that in an induced subgraph of $G$, the 0-labeled vertices are of even degree and the 1-labeled vertices are of odd degree. We prove that if $G$ has no isolated vertices, it contains such a subgraph of order linear in $n$. The well-known Gallai's Theorem states that the vertices of each graph can be partitioned into two parts such that all vertices in the subgraphs induced by the two parts have even degrees. The result also holds if we require that the degrees of all vertices in one of the induced subgraphs are even, and the degrees of all vertices in the other induced subgraph are odd. A natural generalization of Gallai's Theorem to out-degrees in digraphs does not hold and we characterize all digraphs for which it does hold. Our characterization is linear algebraic.

Erd{\H o}s (1963) initiated extensive graph discrepancy research on 2-edge-colored graphs. Gishboliner, Krivelevich, and Michaeli (2023) launched similar research on oriented graphs. They conjectured the following extension of Dirac's theorem: If $D$ is an oriented graph on $n \ge 3$ vertices with minimum degree $δ(D) \ge n/ 2$, then $D$ contains a Hamilton oriented cycle with at least $δ(D)$ arcs in the same direction. This conjecture was proved by Freschi and Lo (2024) who posed an open problem to extend their result to an Ore-type condition. We propose two conjectures for such extensions and prove results which provide support to the conjectures.

A $k$-tournament $H$ on $n$ vertices is a pair $(V, A)$ for $2\leq k\leq n$, where $V(H)$ is a set of vertices, and $A(H)$ is a set of all possible $k$-tuples of vertices, such that for any $k$-subset $S$ of $V$, $A(H)$ contains exactly one of the $k!$ possible permutations of $S$. In this paper, we investigate the relationship between a hyperdigraph and its corresponding normal digraph. Particularly, drawing on a result from Gutin and Yeo, we establish an intrinsic relationship between a strong $k$-tournament and a strong tournament, which enables us to provide an alternative (more straightforward and concise) proof for some previously known results and get some new results.