arXiv++ Combinatorics

Let $a$ and $b$ be distinct real weights. An $\{a,b\}$-edge-weighting of a tree assigns one of these weights to each edge and is proper if adjacent vertices have different sums of incident edge weights. For every such pair, we give an explicit structural characterization of the trees that do not admit a proper $\{a,b\}$-edge-weighting. If $ab(a+b)\neq0$, then $K_2$ is the only tree without such a weighting. If $a+b=0$, then a tree has no proper $\{a,b\}$-edge-weighting exactly when every vertex has degree $1$ or $3$ and the subgraph induced by the degree-$3$ vertices has a perfect matching. For the remaining case $ab=0$, form the spanning forest consisting of the edges whose deletion leaves two odd-order components. A tree $T$ has no proper $\{a,b\}$-edge-weighting exactly when both bipartition classes have odd order and every component of this forest satisfies two conditions. First, every component satisfies the preceding degree-and-matching condition. Second, within each component, the degree of a vertex $v$ in the forest plus twice the number of incident edges $e$ outside the forest for which the component of $T-e$ not containing $v$ has an odd number of vertices from each bipartition class is independent of $v$. For every fixed pair of distinct real weights, the proofs yield a linear-time algorithm that decides whether a proper $\{a,b\}$-edge-weighting exists and constructs one when it does.

For a graph $G$, let avm($G$) denote the average size of its maximal matchings. Engbers and Erey initiated the extremal study of this parameter and asked for extensions from trees and unicyclic graphs to $k$-cyclic graphs. In this paper, we determine the maximum value of avm($G$) over all connected bicyclic graphs with $n$ vertices and $n+1$ edges. If $n\ge 5$ is odd, then \[ \text{avm}(G)\le \frac{n-1}{2}, \] and we characterize all graphs attaining equality. For $n=6$, the maximum value is 13/5, attained uniquely by $Θ(1,3,3)$. If $n\ge 8$ is even, then \[ \text{avm}(G)\le \frac{n}{2}-1+\frac{2}{n-4}. \] Equality holds precisely for the graph obtained from two copies of $C_4$ joined by an edge by attaching $(n-8)/2$ pendant 2-paths to one endpoint of the joining edge, and, when $n\ge 10$, for the graph obtained from two copies of $C_4$ joined by a path of length 2 by attaching one leaf and $(n-10)/2$ pendant 2-paths to the internal vertex of the joining path. The proofs combine structural characterizations of odd-order extremal graphs with counting and switching arguments based on perfect matchings.

We present an average case model of classical problems in combinatorial optimization where there are color constraints. In all cases we seek some (spanning) sub-structure of a complete graph of minimum cost. The edges are randomly colored either red or blue. We bias against the red edges by placing a bound on the number of them that are allowed in our structure. This bound will be lower w.h.p. than what would occur without discrimination. We examine the effect of this bias on the minimum cost of a desired structure. We consider minimum cost spanning trees, shortest paths, minimum cost perfect matchings and the asymmetric traveling salesperson problem.

Sharma and Panda recently proved that every bipartite graph with a perfect matching has property (P); that is, it admits a non-singular real symmetric matrix with support graph G for which every vertex is a P -vertex. In this paper, we extend their result from bipartite graphs to arbitrary graphs. To this end, we introduce the notion of a P - vertex covering and define the P -vertex covering number p(G) as the minimum number of non-singular matrices in S(G) needed so that every vertex of G is a P -vertex of at least one of them. Given a maximal matching of G, we partition the vertex set into the vertices saturated by the matching and the remaining vertices, which necessarily form an independent set. We then construct separate matrices covering these two classes of vertices. We use the Implicit Function Theorem as a perturbation tool to establish the desired result.

Let \(\cG_1,\ldots,\cG_k\) be fixed vertex-ordered graphs, each containing at least one edge. The ordered Ramsey number \(\oR(\cG_1,\ldots,\cG_k)\) is the least integer \(N\) such that every \(k\)-edge-coloring of the ordered complete graph \(\cK_N\) contains an order-preserving copy of \(\cG_i\) in color \(i\) for some \(i\in[k]\). For positive weights \(\blambda=(λ_1,\ldots,λ_k)\), let \(\oM_{\blambda}(n;\cG_1,\ldots,\cG_k)\) denote the minimum weighted number of correctly colored, order-preserving copies of the target graphs over all \(k\)-edge-colorings of \(\cK_n\). When \(\blambda=\bf{1}\), \(\oM_{\bf{1}}(n;\cG_1,\ldots,\cG_k)=\oM(n;\cG_1,\ldots,\cG_k)\) is called the ordered Ramsey multiplicity. In this paper, we first establish the amplification inequality \[ \oM_{\blambda}(n;\cG_1,\ldots,\cG_k) \ge \oM_{\blambda}(t;\cG_1,\ldots,\cG_k) \frac{\binom{n}{\hmin}}{\binom{t}{\hmin}}, \] where $h_i=v(\cG_i),\hmin=\min_{i\in[k]}h_i$, and $n\ge t\ge\oR(\cG_1,\ldots,\cG_k)$. Let $\cS_{r,s}$ be the ordered star whose center has $r-1$ leaves to its left and $s-1$ leaves to its right, and let $\bB_m$ be the family of all ordered perfect matchings on $[2m]$ containing the edge $\{1,2m\}$. We apply the amplification inequality to obtain the multiplicity lower bounds for ordered stars and ordered perfect matchings. We then obtain the upper bound $\oM_{\boldsymbolλ} (n;\cS_{r_1,s_1},\cS_{r_2,s_2}) \le \min\{λ_1 B_{h_1}(n),λ_2 B_{h_2}(n)\}$ by constructions, where $B_{h_i}(n):= \binom{\lfloor n/2\rfloor}{h_i} + \binom{\lceil n/2\rceil}{h_i}$ and $h_i=r_i+s_i-1$ for $i\in [2]$. We also derive a random-coloring upper bound for ordered stars and prove \[\oM(n; \bB_m,\bB_m) \le \binom{n}{2m} \frac{(2m-2)!}{2^{2m-2}(m-1)!}.\] Finally, we establish a regularity-based lifting theorem for ordered colorings.

The Berge-Fulkerson Conjecture states that every bridgeless cubic graph has six perfect matchings such that each edge belongs to exactly two of them. This conjecture has remained open since 1971, and several of its weakenings have been proposed over the years. Two of the most prominent are the Fan-Raspaud Conjecture and the Máčajová-Škoviera Conjecture. It is well known that the Berge-Fulkerson Conjecture implies the Fan-Raspaud Conjecture, which in turn implies the Máčajová-Škoviera Conjecture. These problems have been studied for years in the context of finite graphs, and many equivalences between them and other results have been established. However, little to nothing is known about them in the context of infinite graphs. In this paper, we investigate whether these conjectures remain valid in the infinite setting, establish their implications in analogy to the finite case, and prove that their finite versions are equivalent to their respective infinite versions.

Let $F$ be an $r$-vertex graph. In this paper, we study the $F$-factor problem in random induced subgraphs of dense graphs. We show that for any $r$-vertex graph $F$ and $γ>0$, if $H$ is an $n$-vertex graph with minimum degree at least $(1-1/χ_{cr}(F)+γ)n$, then for every fixed $p \in (0,1)$, the random induced subgraph $H[p]$ contains an $F$-factor with probability at least $1/(rq)-o_n(1)$, where $q\in \mathbb{N}$ is the order of certain coset group defined from $H$. The probability is asymptotically best possible for infinitely many $F$ and $H$ and yields that a $1/(rq)-o_n(1)$ proportion of the subsets of $H$ induce $F$-factors, interestingly, regardless of whether $H$ itself admits an $F$-factor. Similar results are obtained for perfect matchings in hypergraphs under minimum degree conditions. Our proof combines concentration inequalities, lattice point counting in $\mathbb{Z}^d$ and structural theorems for $F$-factors in dense (hyper)graphs.

A $t$-$(v,k,λ)$ covering is a collection of $k$-subsets (blocks) of a $v$-set such that every $t$-subset of points lies in at least $λ$ blocks; the covering number $C_λ(v,k,t)$ is the least number of blocks in such a collection, and one writes $C(v,k,t)$ when $λ=1$. The recorded bounds for $C(12,6,4)$ have been $40 \le C(12,6,4) \le 41$. We show that no $4$-$(12,6,1)$ covering with $40$ blocks exists, and hence that $C(12,6,4)=41$. A counting argument shows that in a hypothetical $40$-block covering every point lies in exactly $20$ blocks, the link of every point is an optimal $3$-$(11,5,1)$ covering with a forced degree sequence, and the six pairs of points of degree $10$ form a perfect matching; an exhaustive case analysis over the orbits of a group of order $3840$, carried out by satisfiability solving, then shows that no optimal $3$-$(11,5,1)$ covering occurs as such a link. Each of the $81$ formulas in the primary proof has an unsatisfiability certificate checked by drat-trim and by the formally verified checker cake_lpr; two additional cross-encoding certificates are checked by the same pipeline. The lower-bound argument uses no tabulated covering number: its only numerical input, $C(10,4,2) \ge 9$, is itself certified. As a by-product the certificates yield a self-contained certified proof that the optimal $3$-$(11,5,1)$ covering is unique up to isomorphism. Equivalently, the Turán number $T(12,8,6)$ is $41$; the new value propagates to improved lower bounds for $C(13,7,5)$, $C(14,8,6)$, $C(15,9,7)$ and $C(16,10,8)$.

We develop a mesoscopic framework for analyzing perturbations of finite point sets. Given a reference node set $Y$ with known cubature and approximation properties, we consider a disordered node set $Q$ that is observed only through its populations in cubes at scale $r>0$. By imposing Hall-type (HT) combinatorial constraints on these populations, we prove the existence of a perfect matching between $Y$ and $Q$ with $O(r)$ range. This allows integral approximation estimates on coarser cubes at scale $h>r$ to be transferred from $Y$ to $Q$ with explicit error control and anchors $Q$ to a periodic grid. We then use translation-invariant quasi-interpolation methods to obtain high-order estimates of order $h^s$ as in the quasi-uniform setting, but for a different class of geometries. The key restrictions are the HT conditions and the bound $r\le Ch$, where $C<1$ is scale independent.

Let $P$ be the Petersen graph and let $e\in E(P)$. We prove that every almost $4$-connected nonplanar graph of minimum degree at least three and girth at least five contains $P/e$ as a minor. Using this structural result, we show that every finite bridgeless $(P/e)$-minor-free multigraph admits a nowhere-zero $4$-flow. This extends the theorem of Wang, Zhang and Zhang (2009) for graphs excluding the graph obtained by contracting three edges of a perfect matching of $P$, and complements the theorem of Thomas and Thomson (2000) for $(P-e)$-minor-free graphs. Consequently, every bridgeless graph with no nowhere-zero $4$-flow contains both $P/e$ and $P-e$ as minors. The proof combines the girth-five structure theorem of Thomas and Thomson (2000) with the nonplanar extension theorem of Norin and Thomas (2016). Its finite part is computer-assisted and verifies the required minor models in the Petersen, Triplex and Basket graphs, and in the jump and facial cross extensions of the Dodecahedron.

Let $G$ be a connected simple vertex-transitive graph on $n$ vertices with degree $d$, and let $G_p$ be the random spanning subgraph obtained by retaining each edge independently with probability $p$. Motivated by a conjecture of Bedert, Draganić, Müyesser, and Pavez-Signé on Hamilton cycles in percolated Cayley graphs, we establish its matching and $2$-factor consequences for the larger class of all connected vertex-transitive host graphs. First, for every $A>0$, there is $C=C(A)>0$ such that, for every $N\ge n$, the condition $(1-p)^d\le N^{-C}$ implies, with probability at least $1-N^{-A}$, that $G_p$ has a perfect matching when $n$ is even and that $G_p-v$ has a perfect matching for every vertex $v$ when $n$ is odd. Second, if $ν_2(H)$ is the maximum number of pairwise edge-disjoint spanning $2$-factors in $H$, then, for every $A>0$ and $0<ε<1$, \[ ε^2pd\ge64(A+6)\log(2n) \] implies \[ \mathbb P\left( ν_2(G_p)\ge\left\lfloor(1-ε)\frac{pd}{2}\right\rfloor \right)\ge1-n^{-A}. \] Consequently, $pd\ge C\log n$ guarantees both the appropriate matching property and a spanning $2$-factor with high probability, uniformly over all connected vertex-transitive graphs. If $pd/\log n\to\infty$, then $ν_2(G_p)=(1+o(1))pd/2$ with high probability. The coefficient $1/2$ is best possible because each spanning $2$-factor contains $n$ edges, whereas $G_p$ contains about $pnd/2$ edges.

A graph is matchable if it admits a perfect matching. Recently, Goedgebeur et al. asked whether there exists a constant $c<12$ such that infinitely many matchable planar $3$-connected graphs, each with exactly $c$ perfect matchings. We prove that every matchable planar $3$-connected graphs on at least 40 vertices has at least 12 perfect matchings, and this lower bound is sharp. This answers the question negatively.

We refine Radhakrishnan's entropy proof of the Brégman-Minc bound by introducing a terminal-set framework in which selected vertices are revealed last. This gives new degree-sensitive upper bounds for the number of perfect matchings in bipartite graphs and an explicit formula for single-vertex terminal sets. The bounds recover the standard Brégman equality family and improve the estimate for certain nonuniform degree sequences. We also obtain a $C_4$-free refinement complementary to the edge-count bound of Araujo, Balogh and Wang.

The recent breakthrough work of Chatterjee, Ghosh, Gurjar, Raj and Thierauf [CGGRT26] gives the first deterministic NC algorithm for the bipartite matching problem. They show how to detect as well as find perfect matchings in bipartite graphs in NC. In this note we present an arguably simpler-to-state variation of the NC detection criterion of [CGGRT26], with improved parameters.

A balanced $k$-partite $k$-graph is a $k$-uniform hypergraph such that every edge intersects each partition class in exactly one vertex, where each partition class has size $n$. Lo and Markström (2014) determined the minimum vertex-degree threshold for perfect matchings in balanced \(3\)-partite \(3\)-graphs. In this paper, we determine the minimum vertex-degree threshold for balanced \(4\)-partite \(4\)-graphs. The proof relies on a reduction framework for \(k\)-partite \(k\)-graphs, through which the existence of a perfect fractional matching is converted into a finite-dimensional optimization problem.

We study the flip dynamics on perfect matchings of graphs, where a flip consists of replacing the edges of a perfect matching along an even cycle with the complementary alternating edges. In particular, we want to bound the minimum length of cycles such that any two perfect matchings are related by flips of such cycles. Given a finite graph $G$, we consider the families of decorated graphs obtained by replacing each vertex of $G$ with a decoration satisfying suitable conditions on the existence of perfect matchings in its subgraphs. We prove a general upper bound for this family. We then obtain stronger bounds for two families of decorations: clique decorations and Fisher decorations, the latter under the assumption that the underlying graph is planar. In both cases, the bounds are independent of the sizes of the decorations.

We study tropical circuits with scalar multiplication gates, that is, algebraic circuits whose gates implement $\max$, $+$, or multiplication with a positive constant. For such circuits, we prove exponential size lower bounds for computing maximum weight directed spanning trees and maximum weight bipartite perfect matchings. As a corollary, we obtain an exponential size separation between monotone and non-monotone maxout neural networks, which generalize the popularly used ReLU neural networks. One conclusion from this is that neural network models with enforced convexity constraints, such as input-convex neural networks (ICNNs), sometimes need to be exponentially larger than their unrestricted counterparts in order to express the same functions.

We study maximum-sum red-blue matchings and matching equilibrium for finite planar point sets. For a red-blue perfect matching $M = \{(a_i,b_i) : 1 \le i \le n\}$, we define the gain of a directed red cycle as the change in total weight produced by cyclically shifting the corresponding blue partners. We prove that $M$ is maximum-sum if and only if every directed red cycle has nonpositive gain, and we derive a geometric sufficient condition for optimality from cyclic intersections of distance-difference regions. We then characterize balanced matchings, in which all red-blue perfect matchings have the same total weight. Equilibrium is shown to be equivalent to vanishing cycle gains, to an additive form of the distance matrix, and to a common level-set condition for distance-difference functions. In the squared Euclidean case this yields an orthogonality classification, while in the Euclidean case it yields a hyperbolic level-set description and a collinear-separation classification in the nondegenerate setting.

A famous conjecture of Anton Kotzig states that for every even integer $n\ge 4$, the complete graph $K_n$ of order $n$ can be decomposed into $n - 1$ perfect matchings such that every pair of these matchings forms a Hamilton cycle. Despite the great interest, the conjecture is far from being solved. Here we show that the conjecture holds asymptotically, namely that $K_n$ can be decomposed into $n-1$ perfect matchings such that $(1-o(1))n$ of them have the property that any pair forms a Hamilton cycle.

The Balister--Győri--Schelp (BGS) conjecture asks whether every zero-sum list of $2^{s-1}$ nonzero vectors in $\mathbb{F}_2^s$ is the prescribed-difference profile of a perfect matching. The conjecture remains open in general, whereas the classical Hall hyperplane case is solved when all prescribed differences cross between two affine copies of a hyperplane. We isolate the smallest mixed case beyond Hall: exactly two prescribed differences are internal. Although only two requests have changed type, the complete Hall permutation is replaced by a prescribed-difference bijection between two punctured copies of the hyperplane, with two unknown deleted vertices on each side. We call this the two-hole problem. We develop a new combinatorial method for prescribed-difference matchings, based on counting and the character structure of the binary vector space. Unlike the known Hall-type methods, which construct a matching through a sequence of local algorithmic choices, our approach proves existence through a global noncancellation phenomenon. This loss of algorithmic structure is compensated by a different advantage: the method can retain global boundary information that local exchanges do not control. As a first application, it gives a new proof of the binary Hall theorem, and it then yields a complete solution of the two-hole problem with no multiplicity assumption. We also give direct constructive proofs for symmetric even-multiplicity two-hole and four-hole families. More broadly, the new technique provides a framework for studying further subfamilies of the BGS problem by measuring how far their matching structure departs from the Hall case.