matching
3272 papers tagged with this keyword
Cyclic Hamilton Cycle Decompositions of Carousel Tournaments of Order $pq$
Kelly's conjecture asks whether every regular tournament admits a Hamilton cycle decomposition. Motivated by its symmetry-preserving extension, we study cyclic Hamilton decompositions of carousel tournaments. For an odd integer $n$, let \[ T_n=\Cay\left( \mathbb Z_n,\left\{1,2,\ldots,\frac{n-1}{2}\right\} \right) \] be the carousel tournament. We ask whether $T_n$ has a Hamilton decomposition invariant under translation by $1$. Although the answer is immediate when $n$ is prime, composite orders introduce a genuine obstruction: nonunit differences generate short cycles rather than Hamilton cycles. We resolve a general composite-order family by proving that, whenever $n=pq$ for primes $7\le p<q$, the tournament $T_n$ admits a cyclic Hamilton cycle decomposition. The proof combines Hamiltonian difference sequences over prime fields with a matching argument that constructs two base paths with disjoint difference sets in $\mathbb Z_{pq}$. Thus our result gives an infinite family supporting the cyclic, symmetry-preserving extension of the Hamilton decomposition problem for regular tournaments.
Prime Labelings of Trees
A prime labeling of a graph labels its vertices bijectively with the integers from one to the number of vertices, so that adjacent vertices receive coprime labels. I prove the Entringer-Tout conjecture that every tree admits a prime labeling, extending the result of Haxell, Pikhurko, and Taraz from sufficiently large trees to all orders. My proof combines structural decompositions of trees, arithmetic organization of the labels, and matching arguments. I reduce the labeling problem to a structured bipartite matching problem by separating a small part of the tree, distributing labels according to their divisibility properties, and applying Hall's theorem to complete the labeling. I handle the finite and intermediate ranges using exact computer-assisted certificates whose validity is justified mathematically, while the remaining range is covered by analytic estimates. Together, these ingredients yield a proof for trees of every order.
On Kolmogorov's rearrangement problem and Garsia's conjecture
We give negative answers to Kolmogorov's rearrangement problem and Garsia's conjecture. We construct a complete uniformly bounded orthonormal system for which every rearrangement admits a square-summable series divergent almost everywhere. The finite construction uses two copies of the trigonometric system in different orderings. The main ingredient is a combinatorial lemma which guarantees a prescribed ordering along an arithmetic progression in at least one of two related permutations. Its proof uses Szemerédi's theorem and a counting argument. A Walsh variant gives $N$-term $\{\pm1\}$-valued systems with $L^2$ maximal norm at least $c\log\log N$ in every ordering, matching Bourgain's upper bound.
Prime factorisation of stable-matching instances: uniqueness, simultaneous products, and an exact census
Every balanced instance of the stable marriage problem with strict complete preferences has a unique finest partition into prime blocks, and that single partition simultaneously factors three different structures: the reachable execution digraph as a Cartesian product, the proposal-prefix antimatroid as a direct sum, and the stable-matching lattice as a direct product. The converse fails, and fails at every size from two on: two explicit families share the identical Boolean-cube execution while one is maximally decomposable with a single stable matching and the other is prime with n. Uniqueness yields an exact census, a recursion counting the prime instances at every size, under which exactly 88,478,208 of the 110,075,314,176 profiles with four agents on each side are decomposable and the decomposable fraction is asymptotically n! / n^(2n). The blocks are characterised as the square components of the mutual-rank filtration, so the partition is computable in polynomial time and the factorisation is a tool rather than only a fact.
Spectral extremal graphs for $W_5$-free graphs with odd size
For a fixed integer $k\ge 2$, let $W_{2k+1}=K_1\vee C_{2k}$ be an odd wheel graph. The fixed-size spectral extremal problem aims to determine \[
\operatorname{spex}(m,W_{2k+1}):=\max\{ρ(G): e(G)=m,\ G \text{ is } W_{2k+1}\text{-free}\}, \] where $ρ(G)$ denotes the adjacency spectral radius. Based on this problem, Yu, Li, and Peng [12] proposed the following conjecture: When $m-\binom{k}{2}$ is divisible by $k$ and $m$ is large, every $W_{2k+1}$-free graph of size $m$ satisfies \(
ρ(G)^2-(k-1)ρ(G)\le m-\binom{k}{2} \) with equality precisely for $K_k\vee qK_1$. For nonzero residue class, Yu, Zhang, and Zhang [13] proposed the following conjecture: Let $r$ be a nonzero remainder when $m-\binom{k}{2}$ is divided by $k$ and $m$ is large. Then $S_{k,m}$ is the unique graph among $W_{2k+1}$-free graphs of size $m$ having maximum spectral radius, where $S_{k,m}$ is obtained from $K_k\vee qK_1$ by adding a vertex $z$ and joining it to exactly $r$ vertices of the $K_k$. Very recently, Fang, Zhai and Zhang [4] confirmed the Yu--Li--Peng conjecture for $k\ge 2$. Chen, Gao and Li [2] confirmed Yu-Zhang-Zhang conjecture for $k\ge 3$. When $k=2$, then $W_5=K_1\vee C_4$. For large odd $m$, determining $\operatorname{spex}(m,W_5)$ is still open. In this paper we address the odd-size problem. Our result disproved Yu-Zhang-Zhang conjecture for $k= 2$. In our proof, a universal defect bound shows that only $O(1)$ edges can lie outside the dense core. Perron localization then reduces this to at most one edge. A discrete defect inequality forces the complete bipartite crossing and quantizes the two matching deficiencies. Exact quotient-polynomial comparisons eliminate the remaining cross-edge and odd--odd candidates.
Cubic vertices in minimal braces
Braces play a fundamental role in matching theory, as they, together with bricks, constitute the basic building blocks of matching covered graphs in the tight cut decomposition. A brace is minimal if deleting any edge from it results in a graph that is not a brace. We prove that every perfect matching of a minimal brace of order at least six contains an edge whose ends both have degree three. Consequently, every such brace has at least three edges with this property. Combining this result with the forest structure induced by the noncubic vertices, we show that every minimal brace $G$ of order $n\ge6$ and size $m$, other than $K_{3,3}$, satisfies $n_3(G)\ge\max\left\{8,\left\lceil\frac{2n+8}{5}\right\rceil, \left\lceil\frac{m-n+4}{2}\right\rceil\right\}$, where $n_3(G)$ is the number of cubic vertices of $G$. Finally, we characterize the graphs attaining the constant lower bound: a minimal brace has exactly eight cubic vertices if and only if it is isomorphic to $B_8$, $B_{10}$, $Q_{10}^{+}$, or $Q_{12}$.
Less is Moore
A Moore graph simultaneously asks for two things that normally pull in opposite directions: every vertex should have many neighbors, while every pair of vertices should remain close. For diameter two and degree $k$, the Moore bound is $k^2+1$, and equality forces a remarkably rigid graph: it is strongly regular with parameters $(k^2+1,k,0,1)$. Hoffman and Singleton showed that such a graph can exist only for $k=2,3,7$, and possibly 57. The degree-57 case on 3,250 vertices remains open.
This paper is not an attempt to settle that open problem. Instead, we ask a more algorithmic question: How efficiently can the defining Moore structure itself be searched exactly? We begin from a human-developed exhaustive search based on the radius-two Moore tree. Leaves fall into $k$ groups of size $k-1$, and the edges between every pair of such groups form a perfect matching - a permutation. For efficiency, a partial construction is abandoned immediately when it creates a triangle or quadrangle.
We then describe a sequence of exact algorithm-engineering improvements developed through a human-guided AI process and accepted only after mathematical checking and controlled regression tests. The main steps are reversible short-cycle forbid counters, bit-parallel domains, minimum-remaining-value branching, singleton propagation, matching-based AllDifferent filtering, balanced replayable parallel frontiers, residual-symmetry orbit pruning, and canonical deduplication of frontier states. On the principal $k=9$ benchmark, stronger symmetry cuts wall time from 47.6 to 17.9 seconds on a six-core laptop setup. Further parallelization speedup is reported separately; on a 16-core/32-thread machine, median wall time is reduced to 5.28 seconds. Degrees 10 and 57 are used as stress tests, and a five-minute degree-57 run uses only 161 MiB peak resident memory, showing that state size is modest.
The Second-Order Augmented Zarankiewicz Number
The second-order Zarankiewicz number $z_2(m,n)$ and the biquadratic sum-of-squares rank $\mathrm{BSR}(m,n)$ are related by the unconditional hierarchy \[ \mathrm{BSR}(m,n)\ \ge\ z_2(m,n)\ \ge\ z_{SL}(m,n)\ \ge\ z_{RL}(m,n) \ \ge\ z_{wL}(m,n)\ \ge\ z(m,n). \] We introduce the \emph{second-order augmented Zarankiewicz number} $z_{2A}(m,n)$, obtained from $z_2(m,n)$ by deleting the requirement that the configuration be \emph{limited}, so that \[ \mathrm{BSR}(m,n)\ \ge\ z_{2A}(m,n)\ \ge\ z_2(m,n). \] Although the defining class is enlarged, $z_{2A}$ still obeys the universal cell bound of Löfberg and Qi, because that bound uses only the \(C_4\)-freeness of the one-edge graph. We prove \[ \mathrm{BSR}(4,4)\ \ge\ z_{2A}(4,4)\ =\ 11\ >\ 10\ =\ z_2(4,4) \ =\ z_{RL}(4,4), \] the first recorded separation between the second-order number and its augmented variant. This result also gives a better lower bound for $\mathrm{BSR}(4,4)$. The lower bound is witnessed by an explicit non-limited $4\times4$ configuration of displayed length $11$ whose recursive-line closure satisfies $(\mathrm{RW}3^+)$; the matching upper bound excludes $12$ by the universal cell bound together with an exact finite classification of the $161$ twelve-square configurations, and \(z_2(4,4)=z_{RL}(4,4)=10\) is the exact value of Xu and Yan.
Coordinate-extension degrees and layered $k$-uniform hypergraphs
Let $\Palt=(\C,\T)$ be a $k$-palette. For $0\le t\le k-1$, its $t$th coordinate-extension degree is the minimum, over every choice of $t$ coordinates and every assignment of colors to them, of the proportion of assignments to the remaining $k-t$ coordinates that complete the fixed colors to an admissible $k$-tuple. For a $k$-graph $F$, we define $π_t^{\ext}(F)$ as the supremum of this degree over all palettes not admitted by $F$. We prove that \[ π_t^{\ext}(F)=0 \quad\text{if and only if}\quad F\text{ is }t\text{-layered}. \] We also relate $t$-layeredness to vanishing orders, min-layeredness, max-layeredness, and layeredness. These results recover and extend previous characterizations of Reiher, Rödl, and Schacht and of Lamaison, and answer a question of Lamaison for $3$-graphs. At $t=0$, the parameter $π_0^{\ext}(F)$ is the $(k-2)$-uniform Turán density $π_{k-2}(F)$. For every $k\ge3$ and $r\ge2$, we construct a finite $k$-graph $F_{k,r}$ with \( π_{k-2}(F_{k,r})=2(r-1)/rk^k. \) Thus $2/k^k$ is an accumulation point for single forbidden $k$-graphs. We also show that the least density of a $k$-graph that fails condition $\Sp$ of Lin, Wang and Zhou is $4/(3k^k)$. Finally, for every admissible matching of size $m$, we construct a $k$-graph that satisfies $\Sp$ for every coordinate pair, has no vanishing order, and has density $2^m/k^k$. This disproves a conjecture of Lin, Wang and Zhou for every $k\ge3$.
Strict spectral supersaturation for cliques: extremal graphs and sharp thresholds
For every fixed $r\ge3$ and all sufficiently large $n$, we determine the largest adjacency spectral radius of an $n$-vertex graph with fewer than $q c_r(n)$ copies of $K_{r+1}$, where $1\le q<n/r$. Here $c_r(n)$ is the number of copies created by adding one edge to a largest part of the Turán graph. We also determine all extremal graphs. In most cases the extremal graph is obtained from an almost balanced complete multipartite graph by adding a star in one part. Two small values of $q$ require separate constructions, and an additional transition occurs when $r=3$ and $n\equiv2\pmod3$. Under the non-strict constraint, the unique extremal graph is obtained by adding a $q$-edge star to a largest part of the Turán graph. We determine the difference between the strict and non-strict values and prove that the sharp matching threshold is $\sqrt2(r-1)/r$. The proof treats separately the ranges $q=o(n)$, $q/m\toγ\in(0,1)$, and $q/m\to1$.
Matching algebras and their Dunkl subalgebras
For a finite simple graph $G = (V, E)$, we consider the quotient algebra $\mathcal M(G)$ of the polynomial ring in the variables $u_e$ (for $e \in E$) by the ideal generated by all products $u_e u_f$ for non-disjoint edges $e$ and $f$ (including all squares $u_e^2$). This quotient is called the matching algebra of $G$, since it has a basis indexed by the matchings of $G$. In this quotient, we define a subalgebra $\mathcal D(G)$ generated by the signed incidence sums $θ_v=\sum_{e=(v,w)}u_e-\sum_{e=(w,v)}u_e$ for all $v \in V$ (where all edges of $G$ are oriented arbitrarily); we call this the Dunkl matching algebra.
We show that, as a graded vector space, $\mathcal D(G)$ is dual to the span of all polynomials $p_M = \prod_{(i,j) \in M} (x_i - x_j)$, where $M$ ranges over all matchings of $G$. For the complete graph $K_n$, the latter span is a direct sum of two-row Specht modules (one in each degree); thus its Hilbert series is that of the Catalan triangle, and, in characteristic zero, the Dunkl matching algebra can be presented by linear and quadratic relations. For arbitrary graphs, we formulate the saturation problem of deciding when the selected matching Specht generators $p_M$ in a given degree $k$ span the full two-row Specht module $S^{(n-k,k)}$. We show that saturation in degree $k$ forces $k$-connectivity, that saturation in degree $2$ is equivalent to $2$-connectivity, and that $k$-linked graphs are saturated in degree $k$. We also prove saturation in every possible degree whenever the complement of $G$ is a matching. We show that the Dunkl matching algebra equals the full matching algebra exactly for forests, and give an explicit Hilbert series formula for unicyclic graphs.
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.
Exact Enumeration of Phylogenetic Networks: The Tree-Child, Reticulation-Visible and Orchard Hierarchy
We develop a unified framework for the exact enumeration and asymptotic analysis of the three most studied classes of phylogenetic networks: tree-child (TC), reticulation-visible (RV) and orchard networks, whose cardinalities satisfy the strict ordering $|\mathrm{TC}_{\ell,k}|<|\mathrm{RV}_{\ell,k}|<|\mathrm{Orch}_{\ell,k}|$ for reticulation number $k\geq2$ (with $\mathrm{TC}\subsetneq\mathrm{RV}$ and $\mathrm{TC}\subsetneq\mathrm{Orch}$, while $\mathrm{RV}$ and $\mathrm{Orch}$ are incomparable as sets). Using the Chang--Fuchs structural theorem, we derive a two-level master functional equation for the RV bivariate generating function and obtain exact closed-form identities for the differences $Δ_k(\ell):=|RV_{\ell,k}|-|TC_{\ell,k}|$ for $k=2,3$, with the asymptotic universality $Δ_k(\ell)/|TC_{\ell,k}|\sim k!/\ell$. For orchard networks, we prove a \emph{universal hypergeometric law} that resolves the exact enumeration problem for all $\ell$: the column generating function $F_\ell(v)$ is rational with denominator $D_\ell(v)=\prod_{j=2}^\ell X_j(v)$, where \[
X_\ell(v) = \sum_{k=0}^{\lfloor\ell/2\rfloor}(-1)^k\,
\frac{\ell!}{(\ell-2k)!\,k!}\,v^k \] is the matching polynomial of the complete graph $K_\ell$ and a rescaled Jacobi polynomial. This immediately resolves the intractable $\ell=9$ case: $D_9$ has degree 20, dominant growth rate $\approx40.73$, and all spectral roots are positive real. A complete enumeration table is provided extending the published data of Cardona, Ribas and Pons.
Skew-symmetrizable cluster algebras from surfaces and symmetric quivers
We study skew-symmetrizable cluster algebras $\mathcal{A}$ associated with unpunctured surfaces $\tilde{\mathbf{S}}$ endowed with an orientation-preserving involution $ς$. We give a geometric realization of such cluster algebras by showing that cluster variables of $\mathcal{A}$ correspond to non-crossing $ς$-orbits $[γ]$ of arcs of $\tilde{\mathbf{S}}$, while clusters are given by admissible $ς$-invariant triangulations. We establish a formula expressing some cluster variables of $\mathcal{A}$ in terms of those of a skew-symmetric cluster algebra of the same rank, which is combinatorially derived from $\mathcal{A}$. We use this result to provide a cluster expansion formula in terms of perfect matchings of some labeled modified snake graphs constructed from the arcs of $[γ]$. Then, we associate a symmetric finite-dimensional algebra $A$ to $\mathcal{A}$, such that non-initial cluster variables correspond to some orthogonal indecomposable $A$-modules. Finally, we exhibit a purely representation-theoretic map to $\mathcal{A}$, providing a Caldero-Chapoton map in this setting.
Matchings and shape-Wilf-Equivalence of sets of patterns of length three II: Quadruples and Quintuples
Building on our classification of shape-Wilf-equivalence classes for triples of patterns of length three, we complete the classification for quadruples and quintuples. The larger pattern sets exhibit structural features that are not captured by the encoding methods used for triples and require additional combinatorial tools. Our main new ingredient is a Dyck-path approach to Ferrers boards containing the staircase board. By introducing distinguished cells and related structural parameters on the associated Dyck paths, we obtain new shape-Wilf-equivalences and, for several classes, explicit formulas for the number of avoiding transversals on a fixed Ferrers board. We further study the corresponding pattern-avoiding perfect matchings through the pattern-preserving bijection of Bloom and Elizalde. Besides deriving recurrence relations, we give bijective interpretations of several matching enumeration sequences in terms of grand Dyck paths, Schröder paths, and Dyck paths. These constructions provide additional combinatorial structure beyond the classification itself. Together with the companion paper on triples, the present work completes the classification of shape-Wilf-equivalence classes for subsets of patterns of length three, apart from the trivial empty and full pattern sets.
Balanced weightings and permutation matchings applied to the monoid of order-preserving mappings
We give a necessary and sufficient condition for a combinatorial D-class of a finite semigroup to have a permutation matching: that its structure matrix admit a balanced weighting, that is, non-negative weights with constant row sums and constant column sums. This weakens the regularity hypothesis, the role of Hall's lemma being taken up by the Birkhoff--von Neumann theorem. We then apply it to show that the monoid of all order-preserving self-maps of an n-element chain, has a permutation matching.
Asymptotically unit-rate storage codes from binary BCH codes
A storage code on a graph assigns a symbol to each vertex so that the symbol can be recovered from its neighbors. We prove that the binary full-parity storage codes on triangle-free coset graphs of primitive BCH codes have rate tending to one for every fixed error-correction capability of at least two. The conclusion also holds for an increasing error budget under an explicit growth condition. The proof bounds the binary rank of convolution matrices associated with polynomial maps. Low coordinate degree forces cancellation in the polynomial representing the image, and a polynomial rank bound converts this cancellation into a quantitative estimate for the storage rate. For the double-error-correcting family over $\mathbb{F}_{2^m}$, we prove that the storage deficiency is $Θ(((1+\sqrt{5})/4)^m)$. This refinement follows from an exact Fibonacci formula for a polynomial coefficient rank and a matching exponential lower bound after finite-field evaluation.
Stable and Online Algorithms for Random Matrix Discrepancy
We study the average-case matrix discrepancy problem: given independent normalized $d\times d$ Gaussian orthogonal ensemble matrices $A_1,\dots,A_N$ and a fixed margin $κ>0$, find signs $σ_1,\dots,σ_N\in\{-1,1\}$ such that the operator norm of $\sum_{i=1}^N σ_i A_i$ is at most $κ\sqrt{N}$. Focusing on the proportional regime $N/d^2\to τ\in(0,\infty)$ as $d\to\infty$ followed by the small-margin limit $κ\downarrow 0$, we characterize the density required by stable offline algorithms and by online algorithms.
In the offline setting, we construct a polynomial-time \emph{recenter-and-round} algorithm that is noise-stable and succeeds whenever $τ=Ω(\frac{1}{κ^2\log(1/κ)})$, along with a matching lower bound for all stable algorithms. In the online setting where each sign must be chosen irrevocably upon observing the corresponding matrix, we determine the exact limiting performance of the \emph{Frobenius-greedy} algorithm, establishing that it succeeds when $τ>τ_{\rm FG}(κ)\sim \fracπ{4κ^2}$, as well as a matching lower bound for all online algorithms by conditioning on a revealed prefix. At the core of our algorithms lies rotational symmetry, which enables us to transfer Frobenius norm control into operator norm guarantees.
Together, our results identify the algorithmic phase transition points for random matrix discrepancy: $Θ(\frac{1}{κ^2\log(1/κ)})$ for stable offline algorithms and $Θ(\frac{1}{κ^2})$ for online algorithms. Both thresholds lie far above the satisfiability scale $Θ(\log(1/κ))$, as shown by Maillard~\cite{maillard2025}.
Perfect matching covers of claw-free cubic graphs
The Berge conjecture [Proc. London Math. Soc., 1979] asserts that every bridgeless cubic graph can be covered by five perfect matchings. The 5-cycle double cover conjecture, proposed independently by Preissmann (1981) and Celmins (1984), asserts that every bridgeless graph admits five even subgraphs such that every edge belongs to exactly two of them. Hakobyan and Mkrtchyan [Ars Math. Contemp., 2019] proved that the 5-cycle double cover conjecture holds if and only if every bridgeless claw-free cubic graph can be covered by four perfect matchings. In this paper, we prove that the Berge conjecture holds for bridgeless claw-free cubic graphs. Moreover, we show that every bridgeless claw-free cubic graph $G$ admits four perfect matchings that cover at least $\frac{299}{315}|E(G)|$ edges.
Towards Strongly Aperiodic Monotiles in Higher Dimensions
The discovery of Chair44 (Tsiokos, 2026) settled the three-dimensional einstein problem with a strongly aperiodic polyhedral monotile in $\mathbb{R}^3$. This note extends the underlying mechanism---the rep-$2^N$ chair $C_N = [0,2]^N \setminus (1,2]^N$ with corner/socket markings---to $\mathbb{R}^N$. Besides expository material (the rep-$2^N$ dissection and a conditional strong-aperiodicity theorem under lattice registration and hierarchical enforcement), the note makes a new computational contribution. We introduce a frame-marking formalism in which the marking of a tile is its full orientation frame and the matching rule is the contact language generated by the substitution itself; this makes the search for matching rules finite in every dimension. We give a finite certificate (coarsening closure, tightness, and a two-shell enclosure analysis) whose validity implies that every lattice-registered tiling by the marked tile is uniquely hierarchical, hence strongly aperiodic. For $N=3$ the certificate passes: it yields explicit facet matching rules on the 24 panels of $C_3$ (135 admissible facet-contact triples) and reproduces, from first principles and independently of published constructions, the Chair44 statistics 2388 $\to$ 44 admissible contacts (30 occurring), 33 one-shell clusters, 15 extendable, each forcing a unique supertile. Among the 2187 homochiral frame assignments of the 3D substitution with a translated central child, the certified one is unique up to conjugation. For $N=4$ the same pipeline is run on several structured families of frame assignments (canonical, $D_4$-, $Z_2\times Z_2$- and $Z_4$-symmetric, and a lift of the 3D solution); none is coarsening-closed, and we report the failure data. A self-similar marking of $C_4$ thus remains an explicitly finite, open computational problem, which we state precisely. Code: https://github.com/dimkadimon/Monotile-RN