arXiv++ Combinatorics

A Kőnig--Egerváry graph is a graph $G$ satisfying $α(G)+μ(G)=n(G)$, where $α(G)$, $μ(G)$, and $n(G)$ denote the independence number, the matching number, and the order of $G$, respectively. Let $\textnormal{core}(G)$ and $\textnormal{corona}(G)$ be the intersection and the union of all maximum independent sets of $G$. In this paper, we provide a complete characterization of graphs satisfying $\a{\corona G}+\a{\core G}=2α(G)+1$, thus giving a solution to an open problem posed by Levit and Mandrescu. It is known that for a non-Kőnig--Egerváry graph with a unique odd cycle, the following hold: $\ker G=\textnormal{core}(G),\allowbreak\ \left|\textnormal{corona}(G)\right| +\left|\textnormal{core}(G)\right| =2α(G)+1,\allowbreak\ \textnormal{corona}(G)\cup N(\textnormal{core}(G))=V(G)$. We extend these three results to a family of graphs containing an arbitrarily large number of odd cycles.

Let $\core G$ and $\corona G$ denote the intersection and the union, respectively, of all maximum independent sets of a graph $G$. A graph is called \emph{$2$-bicritical} if $\a{N(S)}>\a S$ for every nonempty independent set $S$. Pulleyblank 1979 showed that almost all graphs are $2$-bicritical. In this paper, we study the structure of maximum independent sets in $2$-bicritical graphs with at most two odd cycles. Using ear--pendant decompositions, we obtain a complete structural classification of these graphs into four families: one-odd cycle, fused-odd, even-linked, and odd-linked graphs. For each family, we compute explicitly $α(G)$, $\core G$, and $\corona G$, and describe the corresponding matching structure. We prove that $\a{\core G}+\a{\corona G}$ equals either $2α(G),2α(G)+1$ or $2α(G)+2$, and we give a complete, purely structural characterization of the graphs in each case in terms of the relative position of their odd cycles. These results extend a theory originally developed for König--Egerváry graphs and later for almost bipartite graphs to a broader non-König--Egerváry setting.

Let $\core G$ and $\corona G$ denote the intersection and the union, respectively, of all maximum independent sets of a graph $G$. In this work, we show that for a graph with at most two odd cycles, $\a{\core G}+\a{\corona G}$ is equal to $2α(G)$, $2α(G)+1$, or $2α(G)+2$, and we precisely characterize when each value occurs. We further characterize graphs with at most two odd cycles that admit the core--corona partition $V(G)=\corona G\ud N(\core G)$, extending known results for König--Egerváry and almost bipartite graphs. Deciding whether $\core G=\emptyset$ is known to be \textbf{NP}-hard. As an algorithmic consequence of the obtained results, we show that the core, independence number and the corona can be computed in polynomial time for this class of graphs.

We show that certain digraphs with the same vertex set but different arc sets have the same sum over the weights of all arborescences with a given root vertex. We relate our results to the Matrix-Tree Theorem and show how they provide a graphical approach for factoring matrix determinants.

In this paper, based on the value of central character on the transposition, we find structure and large genus asymptotics of certain Hurwitz numbers.

In [14] we found the large genus asymptotics of Hurwitz numbers for the Riemann sphere with a fixed number of general profiles and some (2,1^{d-2}) profiles. In this paper, motivated from [3], we generalize these results to Hurwitz numbers of an arbitrary compact Riemann surface with a fixed number of general profiles and some (r,1^{d-r}) profiles.

A one-degree-of-freedom graph is a graph obtained from a minimally rigid graph in the plane and removing an edge. For such graph, the set of realisations with fixed edge length, modulo rotations and reflections, is an algebraic curve. The genus of a connected component for generic edge lengths is a number that depends only on the graph. We prove that this genus is always odd, unless it is zero. The proof is based on tropical geometry.

The $n$-dimensional lattice polytopes $\mathcal{Q}_{n,k}$ obtained by intersecting the $n$th dilate of the standard $n$-dimensional simplex in $\mathbb{R}^n$ with the half-spaces $x_i \le 1$ for $1 \le i \le k$ form an interesting special case of Chapoton's arbor polytopes. They interpolate between the $n$th dilate of the standard $n$-dimensional simplex and the standard $n$-dimensional cube in $\mathbb{R}^n$. This paper provides an explicit combinatorial interpretation of the $h^\ast$-polynomial of $\mathcal{Q}_{n,k}$, as the ascent enumerator of certain words, and partly confirms some of Chapoton's conjectures on the lattice point enumeration of arbor polytopes in this special case. More specifically, the Ehrhart polynomial of $\mathcal{Q}_{n,k}$ is shown to be magic positive, by means of a new combinatorial parking model for cars, and the real-rootedness of its $h^\ast$-polynomial is deduced. The polynomial whose coefficients count the lattice points of $\mathcal{Q}_{n,k}$ by the number of their nonzero coordinates is shown to be gamma-positive and a combinatorial interpretation of the $h^\ast$-polynomial of any arbor polytope is conjectured.

We prove that any \(2\)-connected graph \(G\) on \(n\) vertices with minimum degree \(δ(G) \ge \frac{n}{4}+2\) contains a \(2\)-connected subgraph of order \(k\) for every integer \(k\) with \(4 \le k \le n\). This improves a previous result of Yin and Wu. In \cite{YinWu-DAM-2026}, Yin and Wu proposed two conjectures. The first states that for any \(2\)-connected graph \(G\) of order \(n\) and size \(m\), there exists a \(2\)-connected subgraph of order \(k\) for each \(k \in \{4, \dots, n\}\) whenever \(m \ge \frac{1}{2} n^{3/2}\). The second conjecture asserts that the same conclusion holds under the alternative condition \(δ(G) \ge \sqrt{n}\). In this paper, we construct counterexamples that completely disprove the first conjecture. Furthermore, using the existence of \((v, k, 2)\)-Symmetric Balanced Incomplete Block designs (i.e., SBIBDs), we disprove the second conjecture for all \(n \in \{8, 14, 22, 32, 74, 112, 158\}\). Finally, we propose a conjecture of our own: for any \(2\)-connected graph \(G\) on \(n\) vertices with \(δ(G) \ge \frac{n}{k}\), where \(k \ge 3\) and \(n\) is sufficiently large, \(G\) contains a \(2\)-connected subgraph of every order from \(4\) to \(n\).

The abstract chromatic number was introduced by Razborov and Coregliano in 2020 in using the language of model theory, and was used to extend the Erd\H os-Stone-Simonovits theorem to graphs with extra structures. A purely combinatorial version was introduced by Gerbner, Hama Karim and Kucheriya in 2026, who also showed that in addition to the asymptotic bound on the Turán number, the abstract chromatic number determines the asymptotics of several other Turán-type functions. We observe that the chromatic number is used here due to its special role in determining the asymptotics of the Turán number. For other extremal functions, other graph parameters may play a similar role and let us extend results in a similar fashion. We prove the appropriate generalizations and show two examples where this happens.

A signed graph $(G,σ)$ is a graph $G$ with a signature $σ$ labeling each edge with a positive or negative sign. Two signatures of $G$ are switching equivalent if one is obtained from the other by changing the signs of all edges in an edge-cut. The frustration index of a signed graph $(G, σ)$ is the minimum number of negative edges among all signatures equivalent to $σ$. A signed graph is critically $k$-frustrated if it has frustration index $k$, and the removal of any edge decreases its frustration index. A critically $k$-frustrated signed graph is prime if it has no subdivided edge (including multiedge) and none of its subgraphs is the edge-disjoint union of critically frustrated signed graphs. Steffen and Naserasr et al. conjectured that for any positive integer $k$, there are finitely many prime critically $k$-frustrated signed graphs. The cases $k=1,2,3$ have been proved to be true recently by Cappello et al.. In this paper, we show that the conjecture holds when $k=4$ and $5$.

According to a conjecture of Pach, there are $O(n)$ tangent pairs among any family of $n$ Jordan arcs in which every pair of arcs has precisely one common point and no three arcs share a common point. This conjecture was proved for two special cases, however, for the general case the currently best upper bound is only $O(n^{7/4})$. This is also the best known bound on the number of tangencies in the relaxed case where every pair of arcs has \emph{at most} one common point. We improve the bounds for the latter and former cases to $O(n^{5/3})$ and $O(n^{3/2})$, respectively. We also consider a few other variants of these questions, for example, we show that if the arcs are \emph{$x$-monotone}, each pair intersects at most once and their left endpoints lie on a common vertical line, then the maximum number of tangencies is $Θ(n^{4/3})$. Without this last condition the number of tangencies is $O(n^{4/3}(\log n)^{1/3})$, improving a previous bound of Pach and Sharir. Along the way we prove a graph-theoretic theorem which extends a result of Erdős and Simonovits and may be of independent interest.

A universal cycle for a set S of combinatorial objects is a cyclic sequence of length |S| that contains a representative of each element in S exactly once as a substring. Despite the many universal cycle constructions known in the literature for various sets including k-ary strings of length n, permutations of order n, t-subsets of an n-set, and t-multisets of an n-set, remarkably few have efficient decoding (ranking/unranking) algorithms. In this paper we develop the first polynomial time/space decoding algorithms for bounded-weight de Bruijn sequences for strings of length nover an alphabet of size k. The results are then applied to decode universal cycles for t-subsets and t-multisets.

A universal cycle for a set S of combinatorial objects is a cyclic sequence of length |S|that contains a representation of each element in S exactly once as a substring. If S is the set of k-subsets of [n] = {1, 2, . . . , n}, it is well-known that universal cycles do not always exists when applying a simple string representation, where 12 or 21 could represent the subset {1, 2}. Similarly, if S is the set of k-multisets of [n], it is also known that universal cycles do not always exist using a similar representation, where 112, 121, or 211 could represent the multiset {1, 1, 2}. By mapping these sets to an appropriate family of labeled graphs, universal cycles are known to exist, but without a known efficient construction. In this paper we consider a new representation for k-subsets and k-multisets that leads to efficient universal cycle constructions for all n, k >=2. We provide successor-rule algorithms to construct such universal cycles in O(n) time per symbol using O(n) space and demonstrate that necklace concatenation algorithms allow the same sequences to be generated in O(1) amortized time per symbol. They are the first known efficient universal cycle constructions for k-multisets. The results are obtained by considering constructions for bounded-weight de Bruijn sequences. In particular, we demonstrate that a bounded-weight generalization of the Grandmama de Bruijn sequence can be constructed in O(1) amortized time per symbol.

We introduce a new game played on graphs, ``Agents and Adversary". This game is reminiscent of ``Cops and Robbers" but has some fundamental differences. We classify infinite families of graphs as Agents-win and Adversary-win. We then define a new type of graph symmetry and use it to define a winning strategy for Adversary. Finally, we give tight upper and lower bounds for Agents' time-to-win on several infinite families of graphs.

We consider the identity of the abelian sandpile group of finite approximation graphs of the Sierpinski gasket, and we show that the second-order term in the scaling limit converges to the path distance to the nearest corner on the Sierpinski gasket. The proof relies on a decomposition of the identity of the sandpile group into the sum of a constant function and the Laplacian of the graph distance on the approximating graphs.

Random walks are fundamental tools for analyzing complex networked systems, including social networks, biological systems, and communication infrastructures. While classical random walks focus on pairwise interactions, many real-world systems exhibit higher-order interactions naturally modeled by hypergraphs. Existing random walk models on hypergraphs often focus on undirected structures or do not incorporate entropy-based inference, limiting their ability to capture directional flows, uncertainty, or information diffusion in complex systems. In this article, we develop a maximum-entropy random walk framework on directed hypergraphs with two interaction mechanisms: broadcasting where a pivot node activates multiple receiver nodes and merging where multiple pivot nodes jointly influence a receiver node. We infer a transition kernel via a Kullback--Leibler divergence projection onto constraints enforcing stochasticity and stationarity. The resulting optimality conditions yield a multiplicative scaling form, implemented using Sinkhorn--Schrödinger-type iterations with tensor contractions. We further analyze ergodicity, including projected linear kernels for broadcasting and tensor spectral criteria for polynomial dynamics in merging. The effectiveness of our framework is demonstrated with both synthetic and real-world examples.

This paper presents new identities expressing the terms of Fibonacci, Lucas, and generalized Fibonacci sequences with multiple indices through powers of Lucas numbers and binomial coefficients. The obtained formulas rely on the application of symmetric polynomials (Waring's formulas) to the classical Binet's formula. Particular attention is given to the binomial expansion for the generalized Fibonacci sequence, which structurally combines two adjacent binomial coefficients from Pascal's triangle.

A game $G$ is said to have the evil twin property if there exists $G^* \in \{G,G+*\}$ such that $o^+(G) = o^-(G^*)$ and $o^+(G^*) = o^-(G)$. We study sums of wildflowers, games of form $G:H$. We find that a large closed set of sums of wildflowers has the evil twin property, extending work of McKay--Milley--Nowakowski and Lo. Our argument partially generalizes the misère genus theory of Conway to partizan games, and requires proving several general theorems on ways to extend sets with the evil twin property. Many sums of mutant flowers of the form $\{*x_1,\dots,*x_n\}:a$, where $a$ is a number, also have the evil twin property. We also prove that this set of mutant flowers is the largest such closed set with the evil twin property, and that it is $\mathsf{NP\text{-}hard}$ to compute the outcome class of a sum of mutant flowers under either play convention via a reduction from \textsc{3-Sat}. Previous work on this topic was done by McKay, Milley, and Nowakowski, and later Lo.