matching
3314 papers tagged with this keyword
The Ternary and Quaternary Cases of the $\{2,4\}$-Distance Code Conjecture
For an integer $q\ge2$, let $A_q(n,\{2,4\})$ be the largest cardinality of an unrestricted $q$-ary code of length $n$ in which any two distinct words have Hamming distance $2$ or $4$. We prove that \[
A_q(n,\{2,4\})=1+\binom n2
\qquad(q\in\{3,4\},\ n\ge6), \] thereby settling the two remaining alphabet sizes in the conjecture of Boyvalenkov, Delchev, Zinoviev, and Zinoviev; the binary case was settled previously. The quaternary result implies the ternary result by alphabet inclusion. For $n\ge16$, the quaternary upper bound is proved combinatorially. After normalizing one word to zero, the weight-four supports form a $2$-intersecting family; exact support intersections force symbol synchronization and restrict support multiplicities. We combine the nontrivial intersection theorem with matching arguments and a three-coordinate projection lemma. The finite lengths $6\le n\le13$ are handled by a complete Hamming-isometry reduction to exact clique decisions, and $n=14,15$ by a smaller exact weighted-clique relaxation. All finite decisions are reproduced by two standalone integer-only C++17 verifiers provided as supplementary source files.
Abelian maximal pattern complexity and extremal words
In this paper, we study the Abelian maximal pattern complexity $p_α^{\ast \mathrm{ab}}(k)$, introduced by Kamae, Widmer and Zamboni, of infinite words $α\in \mathbb{A}^{\mathbb{N}_{0}}$ over finite alphabets $\mathbb{A}$.
For recurrent aperiodic words, we determine a lower bound and prove its sharpness. We further give a structural characterization of the words with minimal Abelian maximal pattern complexity.
In the general case, we prove that an infinite word $α$ is aperiodic if and only if $\binom{p_{α}^{\ast \mathrm{ab}}(k)}{2}\geq k$ for every $k.$ For aperiodic words over $\ell \geq 2$ letters, each occurring infinitely often, we further prove that $p_{α}^{\ast \mathrm{ab}}(k)\geq m$ whenever $\binom{m}{2}\leq (\ell -1)(k-\ell +2)$, for all $m,k$. Together with a matching construction, this shows that the minimum Abelian maximal pattern complexity in this class is $\sqrt{2(\ell -1)k}+O_{\ell }(1)$.
We call a word an Abelian pattern Sturmian word if, at every $k$, its Abelian maximal pattern complexity is the least positive integer $m$ satisfying $\binom{m}{2}\geq k$. We show that a word is Abelian pattern Sturmian if and only if, after relabeling its alphabet, it is the characteristic word of an infinite set $E\subset \mathbb{N}_{0}$ for which the bipartite graph on two disjoint copies of $\mathbb{N}_{0}$, with a left vertex $r$ adjacent to a right vertex $s$ exactly when $r+s\in E$, is a forest.
A proof of the 3-Decomposition Conjecture
We prove the 3-Decomposition Conjecture: every finite connected cubic loopless multigraph decomposes into a spanning tree, a 2-regular subgraph, and a matching. The proof rests on a new theorem on matching complements in subcubic graphs. Let H be a finite connected bridgeless simple graph of maximum degree three, and let S be its set of degree-two vertices, with |S| = k >= 2. We show that H has a matching of size equal to its cyclomatic number, |E(H)| - |V(H)| + 1, whose deletion leaves a single tree containing all of S, together with cycles disjoint from S. The proof is by induction on k.
On $4$-perfect-matching covers of cubic graphs with two adjacent odd circuits in a $2$-factor
Let $G$ be a cubic graph admitting a $2$-factor consisting of exactly two odd circuits, and let the complementary $1$-factor contain precisely three spokes (along with an arbitrary number of chords). We show that four perfect matchings can cover $G$. As a consequence, $G$ fulfils the $7/5$-Conjecture of Alon and Tarsi.
A Recognizable Substitution for the Anti-Penrose Tiling
We present a substitution on six marked rhombs, called Seabed, with inflation factor $φ^3$. We prove that its tiling space is mutually locally derivable with the unmarked Anti-Penrose pentagrid hull. Eleven vertex patches of depth at most four recognize the parent vertices: their acceptance domains coincide with the five internally contracted windows. Matching the fine tiles around each parent rhomb to a replacement patch recovers their markings uniquely. The inverse local maps have a uniform finite radius and extend to all singular limit tilings in the hull. The construction also gives a recognizable parent hierarchy.
Hitting time for loose Hamilton cycles in the random hypergraph process
The random hypergraph process starts with an empty hypergraph on $n$ vertices and adds a uniformly chosen missing edge at each step. For even $n$, we prove that, with high probability, a $3$-uniform loose Hamilton cycle appears when the last isolated vertex disappears. The approach developed here adapts arguments from Kahn's work on perfect matchings. It can also be extended to obtain the corresponding hitting-time theorems for $r=2$ and every fixed $r\ge4$ satisfying $(r-1)\mid n$. Furthermore, it can be used to estimate the numbers of loose Hamilton cycles at these hitting times for every fixed $r\ge2$, up to a factor of $\exp\{o(n)\}$.
A solution to a conjecture on the signless Laplacian spectral radius for $t$-color-critical graphs
An induced matching is a matching that forms an induced subgraph. A graph is $t$-color-critical if removing some induced matching of size $t$ lowers its chromatic number, but removing any $t-1$ vertices does not. Let $F$ be a $t$-color-critical graph with $χ(F)=r+1$. For sufficiently large $n$, Simonovits determined the unique edge-extremal $F$-free graph on $n$ vertices. Recently, Zheng, Li and Li [Linear Algebra Appl.\ 730 (2026) 546--565] conjectured that, for $t\ge 2$ and $r\ge 3$, the join $K_{t-1}\vee T_{n-t+1,r}$ uniquely maximizes the signless Laplacian spectral radius among all $n$-vertex $F$-free graphs when $n$ is sufficiently large. In this paper, we prove this conjecture. In contrast to the usual spectral arguments, our proof of this conjecture relies on two techniques of a rather different flavour. Our first technique is an analogue of Zykov symmetrization for the signless Laplacian matrix. Our second technique is an induction on $n$, from which we obtain the lower bound on the smallest entry of the Perron vector of a signless Laplacian spectral extremal graph rather than a structural statement.
Independent transversals in hypergraphs with low codegrees
We prove that for every fixed $r\geq3$, $k>0$ and $\varepsilon\in(0,1)$, there is $γ>0$ such that the following holds for all sufficiently large $b$. An $r$-uniform hypergraph $\mathcal H$ whose vertex set is partitioned into parts of size at least $b$ contains at least $\lceil(1-\varepsilon)b\rceil$ pairwise vertex-disjoint independent transversals, provided that the average degree in each part is at most $kb^{r-1}$ and maximum $j$-codegree $Δ_j(\mathcal H)\leqγb^{r-j}$ for $2\leq j<r$. Under the same average degree, if $q$ is the minimum part size and $Δ_j(\mathcal H)=o(q^{r-j})$ for $2\leq j<r$, the maximum number of pairwise vertex-disjoint independent transversals is $(1-o(1))q$ as $q\to\infty$. We develop an iterative halving reduction for partitioned hypergraphs to apply the theorem of Delcourt and Postle on matchings avoiding forbidden submatchings.
Sprinkling for random regular graphs and Kim-Vu's sandwich conjecture
We show that the uniform random $d$-regular graph model on $n$ vertices is, in total variation distance, asymptotically close to the union of $d$ uniformly random edge-disjoint perfect matchings, provided that $n$ is even and $ω(1) = d \leq n^{1/10}$. This confirms a conjecture by Hollom, Lichev, Mond, Portier, and Wang for this range of parameters. This result has a couple of interesting consequences. First, this shows that random $d$-regular graphs on $n$ vertices exhibit sprinkling properties for some range of parameters, thereby confirming a conjecture by Isaev, McKay, Southwell and Zhukovskii in that range. Second, we give a short alternative proof of the upper side of Kim-Vu's sandwich conjecture in the sparse regime.
Counterexamples to a conjecture and improved bounds for bipanchromatic colorings
We study the bipanchromatic number $χ_B$, introduced by Lalou et al. (Discrete Appl. Math. 391 (2026), 511-522) as the maximum number of colors in a panchromatic hypergraph coloring where every color appears at least twice. They show that merging uniquely occurring colors in a maximum panchromatic coloring gives the lower bound $β=χ_P-\lceilα/2\rceil \leq χ_B$, where $χ_P$ is the panchromatic number and $α$ is the minimum number of such colors among maximum panchromatic colorings. They conjectured that $χ_B=β$ and subsequently disproved it (arXiv:2610.08042). We identify the smallest counterexample, with six vertices and three hyperedges, both minimum possible. We show that the ratio bound $χ_B/β<2$ is asymptotically sharp and prove minimality results for the order and hyperedge count. For $3\leα<χ_P$ we show that every integer from $β$ to $χ_P-1$ occurs as $χ_B$ while $χ_P$ and $α$ are held fixed. Furthermore, we discover that the values $|V|,χ_P,α$ directly decide whether the conjectured equality holds except when $α=4$, where a matching reduction resolves the ambiguity. We derive the optimal universal lower bound $L$ depending only on $|V|,χ_P,α$ in the nontrivial regime $0<2α<|V|$. Finally, we prove $χ_B/L\le5/4$ and $χ_B/L\le6/5+1/(5L)$, with $5/4$ sharp and $6/5$ asymptotically sharp as $L\to\infty$.
A simplified proof of the FPRAS for counting perfect matchings
We give a simplified, self-contained proof of OpenAI's FPRAS for counting perfect matchings in general graphs. As in the original proof, we use a restricted Poincaré inequality for two matchings to sample weighted perfect matchings and estimate their total weight. We simplify the proof of this inequality by isolating parts of alternating cycles directly on the original vertex set and controlling the resulting error terms. This avoids the auxiliary vertices and tree constructions used in the original proof. The argument preserves the required parameter bounds and yields the same FPRAS guarantee.
An $8+9$ gluing computation for the Ramsey number $R(F_3,F_4)$
Let $F_t$ be the graph consisting of $t$ triangles with a common vertex and otherwise disjoint vertices. We prove that $R(F_3,F_4)=17$ using an $8+9$ gluing computation. Neighbourhood matching arguments give degree and clique restrictions that reduce the search on seventeen vertices to $88,294,674$ ordered seed pairs. The verified main computation excludes $88,294,634$ pairs. A cross-edge counting argument excludes thirty-four of the forty exceptional pairs, and independently checked finite-domain certificates exclude the remaining six. Together with the construction whose red graph is the complete bipartite graph $K_{8,8}$, these results establish $R(F_3,F_4)=17$.
Size Ramsey numbers of star forests with two components on one side
We determine the size Ramsey number of a two-component star forest versus an arbitrary star forest. Let $q,a,b,n_1,\ldots,n_q$ be positive integers with $a\ge b$ and $n_1\ge\cdots\ge n_q$. We prove that \[ \begin{split} \rhat\left(K_{1,a}\sq K_{1,b},
\bigsqcup_{i=1}^{q}K_{1,n_i}\right) ={}&(a+n_1-1) +\sum_{i=1}^{q-1}\max\{a+n_{i+1}-1,b+n_i-1\}\\ &+(b+n_q-1). \end{split} \] This proves the conjecture of Burr, Erdős, Faudree, Rousseau and Schelp (Erdős Problem~\#561) in the case where one of the two star forests has exactly two components. The formula holds without any restriction on the parity of the star sizes. The proof combines vertex deletion, iterated matching deletion, and Lovász's factor theorem.
Piercing spanned lines and hyperplanes
Motzkin, Grünbaum, and Erdős and Purdy asked how many noncollinear blue points can coexist with $t$ red points in the real plane if every blue-spanned line contains a red point. We prove that there are at most $2.35t-3$ blue points, even over the complex numbers. For the complex higher-dimensional problem of Campbell, Kroeker, and Lund, we prove $b_k(t)\le1.40k^2t$. Colorings of cyclic Dowling geometries give a matching lower bound in order of magnitude for all $k\ge2$ and $t\ge3$. The planar proof uses frame normalization and a second-moment estimate; the higher-dimensional proof combines the degree bound of Kroeker and Lund with principal truncation.
Tropical Circuits with Scalar Multiplication Gates
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.
Simultaneous avoidance of length-4 patterns in ascent sequences
Published in Discrete Mathematics & Theoretical Computer Science, vol. 28:3, Combinatorics (October 20, 2026) dmtcs:17977
• View Publication
• BIB
Ascent sequences form a central class of combinatorial objects, as they are in bijection with several important families such as (2+2)-free posets, Stoimenow matchings, and other Fishburn objects, and are enumerated by the Fishburn numbers.
We study pattern avoidance in ascent sequences for the five patterns of length 4: $0101$, $0102$, $0112$, $0120$, and $0121$. These patterns arise naturally from recent work on pattern avoidance in related families of Fishburn objects, including Stoimenow matchings and (2+2)-free posets. We enumerate ascent sequences avoiding any subset of these patterns, with the exception of the sets $\{0120\}$, $\{0121\}$, and $\{0120,0121\}$, for which the enumeration remains open.
Our results reveal that the corresponding avoidance classes fall into $16$ Wilf equivalence classes and exhibit a wide range of enumerative behaviour, including connections to classical sequences such as the Catalan and Fibonacci numbers, as well as polynomial formulas and rational generating functions; several of the sequences we obtain appear to be new. Our methods combine structural decompositions with generating-tree techniques and, in several cases, rely on reductions to shorter patterns via restricted growth functions. This work contributes to the broader study of pattern avoidance across Fishburn families and highlights further connections between ascent sequences and other combinatorial structures.
When Are Monomial Symmetric Polynomials Hard?
For a partition $\boldsymbolλ = (λ_1,\ldots,λ_r)$ and $n\ge r$, the monomial symmetric polynomial is defined as $$m_{\boldsymbolλ}(x_1,\ldots,x_n) := \sum x_{i_1}^{λ_1} x_{i_2}^{λ_2} \cdots x_{i_r}^{λ_r},$$ where the sum ranges over all distinct monomials obtained by assigning the parts of $\boldsymbolλ$ to pairwise distinct variables. We establish an almost-complete dichotomy for the complexity of the monomial symmetric polynomials $m_{\boldsymbolλ}$: If a family of partitions contains polynomially many distinct parts, then the corresponding monomial symmetric polynomials (on sufficiently many variables) are VNP-complete. If the number of distinct parts is constant, the family admits polynomial-size circuits. Thus the only remaining gap concerns the intermediate regime where the number of distinct parts grows subpolynomially.
As part of our proof, we use combinatorial properties of matching polynomials to establish VNP-hardness of the perfect matching polynomial for blow-up graphs; these are graphs with non-generic edge-weights that are obtained by "blowing up" a smaller graph. We reduce these matching polynomials to monomial-symmetric polynomials by combining classical techniques from algebraic complexity theory with structural properties of Sidon sets.
The Loopy Polynomial: from Tutte's Universal $V$-Function to Bizonotopal Geometry
We study the loopy polynomial L_G, a multivariate graph invariant arising from bizonotopal graphical algebras and defined by deletion and loopy contraction, in which the contracted edge is retained as a loop. It determines the Tutte polynomial and admits a spanning-forest expansion recording external activity componentwise. It also determines Stanley's chromatic symmetric function for every graph; the degree sequence, induced edge count profile, and independence polynomial for loopless graphs; and the clique and matching polynomials for simple graphs. Separating component size from external activity gives a refinement that is equivalent to the extended U-polynomial and the extended polychromate. The ordinary U-polynomial, Tutte's universal $V$-function, and Stanley's Tutte symmetric function are specializations of this refinement.
We conjecture that L_G and U_G have the same distinguishing power on simple graphs, and verify this through eleven vertices. We exhibit five-vertex loopless multigraphs with equal U-polynomials but distinct loopy and extended U-polynomials, solving a problem of Merino and Noble. We also disprove Loebl's conjecture for chordal graphs and its restriction to split graphs, with counterexamples on eleven and fourteen vertices, respectively.
For the score polytope P_G of the external bizonotopal algebra, we give a geometric realization of loopy deletion-contraction. The resulting forest-indexed geometric parking complexes partition the lattice points of P_G and are piecewise integral-affinely parametrized by boxes whose interval lengths are the component indices in the forest expansion.
Online Discrepancy for Sub-Exponential Product Distributions via Regularization
We study online discrepancy minimization for independent random vectors in $\mathbb{R}^n$ with independent coordinates. Our deterministic algorithms require no knowledge of the horizon, and their guarantees hold at every prescribed deterministic terminal time $T$. For unit-variance sub-exponential coordinates with $ψ_1$-norms at most $σ$, we obtain terminal discrepancy $O(σ^4\sqrt n)$ with failure probability $\exp(-Ω(σ^3\sqrt n))$. Independently masking centered unit-variance marks from the same class with retention probability $k/n$ gives $O(σ^4\sqrt k)$ discrepancy with failure probability $\exp(-Ω(σ^3\sqrt k))$ when $k\gtrsim\log^2(2n)$. The fourth-power dependence on $σ$ is necessary for these sub-exponential classes at the stated confidence levels.
For standard Gaussian marks, we obtain $O(\sqrt k+\sqrt{\log(2n)})$ discrepancy with failure probability $\exp(-Ω(\sqrt k+\sqrt{\log(2n)}))$. Both terms are necessary up to absolute constants for $T\ge n$. In particular, $k\gtrsim\log n$ is the optimal sparsity threshold for $O(\sqrt k)$ discrepancy. For centered unit-variance sub-Gaussian marks with any fixed $ψ_2$-norm bound $σ$, logarithmic sparsity suffices for $O(σ\sqrt{k\log(e+σ)})$ discrepancy with probability tending to one as $n\to\infty$. For a dimension-dependent family of unit-variance laws with rare activations, matching bounds determine the fixed-confidence online discrepancy order $Θ(\sqrt n\log\log n)$ at sufficiently long prescribed horizons.
Our dense result generalizes the Rademacher-input theorem of Bansal and Spencer (2020) and establishes the horizon-independent $O(\sqrt n)$ Gaussian terminal discrepancy scale anticipated by Gamarnik et al. (2022). The proofs combine regularization, global Fenchel estimates, coupled Lyapunov functions, and terminal moment recursions.
Multicolor Ramsey numbers of unbalanced double stars
For integers $n\ge m\ge1$, let $S(n,m)$ be the double star obtained by joining the centers of $K_{1,n}$ and $K_{1,m}$. Ruotolo and Song proved the upper bound $r(S(n,m);k)\le kn+m+2$ under the condition $(n+1)\lceil\frac{n+1}{k-1}\rceil >m((k-1)n+m)$, as well as the matching lower bound for odd $k$. Zhao, Mao and Zhou proved the matching lower bound for even $k$ and even $n$. We establish the remaining lower bound for even $k\ge6$ and odd $n$ through a new edge-coloring construction. Combining these results, we obtain $r(S(n,m);k)=kn+m+2$ for all integers $k\ge5$ and $n\ge m\ge1$ satisfying $(n+1)\lceil\frac{n+1}{k-1}\rceil >m((k-1)n+m)$. We also determine the four-color Ramsey number for $m\ge2$ and odd $n\ge15m$, showing that $r(S(n,m);4)=4n+m+1$.