arXiv++ Combinatorics

Seeking to bridge the structural divide between a permutation's cycle notation and its one-line notation, Berman and Tenner introduced a novel notion of permutation pattern known as the arrow pattern. Recently, Archer and Laudone initiated a systematic study of arrow pattern avoidance, leaving behind three intriguing conjectures. In this paper, we resolve all three conjectures. First, we enumerate all six subclasses of permutations that simultaneously avoid a classical pattern of length 3 and a fixed arrow pattern of length 3, thereby confirming the first two conjectures. Second, we settle the third conjecture (which involves a different arrow pattern) by providing two independent proofs. These proofs rely on a restriction of Biane's bijection to non-nesting involutions and Krattenthaler's bijection from 321-avoiding permutations to Dyck paths, respectively.

We prove the remaining conjectural distribution-equivalence of mesh patterns of length 2 from 2019. This completes the classification of distribution-equivalence and Wilf-equivalence classes for mesh patterns of length 2. Consequently the numbers of such classes are 105 and 46, respectively. We approach this by constructing a marked occurrence bijection, in the spirit of the cluster method for consecutive patterns.

We construct random hives from deformed GUE minor processes. Starting from two independent diagonally deformed GUE matrices \[ X=\sqrt{n}(wG+uD),\qquad Y=\sqrt{n}(w'G'+u'D'), \] where \(D,D'\) are diagonal and have GUE spectra, we use their minor processes to form a double hive and then apply the octahedron recurrence. Under the matching condition \[ \frac{u}{w^2}=\frac{u'}{(w')^2}, \] we prove that the resulting hive law is close, in relative entropy, to a GUE hive law. More precisely, if \[ a^2=w^2+u^2,\qquad b^2=(w')^2+(u')^2, \] then the produced hive density $q_n$ satisfies \[ D_{\mathrm{KL}}\!\left( q_n\, \middle\|\, \operatorname{Density}\bigl(H_n(a\sqrt n,b\sqrt n,c_{**}\sqrt n)\bigr) \right) = O(n\log n). \] The third scale $c_{**}$ is determined by a limiting tetrahedral optimization problem; equivalently, writing \(δ=u+u'\), \[ δ^2 = \frac{ 2c_{**}^4(c_{**}^2-a^2-b^2) }{ (c_{**}^2-a^2+b^2)(c_{**}^2+a^2-b^2) }. \] Thus the construction realizes GUE hive laws, up to subleading relative entropy, throughout the right-angled and obtuse regime. The appendix records two explicit surface-tension approximations and numerical comparisons which motivated the construction.

We introduce split-free cable terms and cable plays, a sequential graph-construction language whose live cables impose uniform GF(2)-row behaviour across the current cut. Every play of width w gives a birth-order layout whose cutrank is at most half of w, rounded down, so the sequential split-free width is at least twice the linear rank-width. At the first nontrivial level we prove an exact characterization: a connected graph with at least two vertices has linear rank-width at most one exactly when it admits a stream, equivalently a singleton-birth play of width at most four. We show that unrestricted term width and sequential width differ unboundedly on trees, calibrate the construction on the net graph, and formulate an affine upper-bound conjecture relating sequential split-free width to linear rank-width. For the rank-two case we prove a two-accumulator scheduling criterion that yields width-six plays under a natural future-uniformity hypothesis.

For a finite multiset $A$ of positive integers, write $\mathcal{R}(A)=\sum_{a\in A}a^{-1}$ and let $\varepsilon(A)$ be the distance from $1$ to the largest reciprocal subsum of $A$ that does not exceed $1$. Erdős and Graham proved that $\varepsilon(A)\ll K^{-2}$ whenever $\mathcal{R}(A)>K$, and asked whether one always has $\varepsilon(A)\leq \exp(-cK)$ for an absolute constant $c>0$. We prove the stretched-exponential estimate $$ \varepsilon(A)\leq \exp\bigl(-c\sqrt{K\log K}\bigr) $$ for all sufficiently large $K$.

For graphs $F$ and $H$, a spanning subgraph $G$ of $F$ is weakly $H$-saturated in $F$ if the edges in $E(F)\setminus E(G)$ can be added one at a time, each addition creating a new copy of $H$. Recently, Tancer and Tyomkyn proved that, given an $n$-vertex graph $F$, deciding whether $\mathrm{wsat}(F,K_3)=n-1$ is NP-hard. In this paper, we study the decision version of the weak saturation problem and show that, for every fixed integer $r\ge 3$, given a graph $F$ and an integer $k$, deciding whether $\mathrm{wsat}(F,H)\le k$ is NP-complete when $H\in\{K_r,K_{r,r}\}$. Our approach uses new graph-theoretic and topological ideas and techniques, yielding new constructions that build on the construction of Tancer and Tyomkyn. In particular, our proofs further reveal a connection between weak saturation and the flag-no-square property, a fundamental property in topology that is of independent interest.

We study continuous-time quantum walks on cycles. We prove two complementary results. Firstly, the cycle $C_9$ does not admit uniform mixing at any time. Using the similar idea and Dickson polynomials, we prove that $C_{15}$ does not admit uniform mixing at any time neither. Secondly, for every prime $p$, we show that the cycle $C_{p^2}$ admits $ε$-uniform mixing.

We study the triangular array $T(n,k;μ)$ defined by the Graham--Knuth--Patashnik recurrences $$ T(n,k) \;=\; (αn + βk + γ) \, T(n-1,k) + (α' n + β' k + γ') \, T(n-1,k-1) $$ with initial condition $T(0,k)=δ_{k,0}$ and parameters $μ=(α,β,γ,α',β',γ')$, which are considered to be indeterminates. We first prove that, for any fixed $n\ge 0$, the sequence $(T(n,k;μ))_{k\ge 0}$ is strongly log-concave with the coefficientwise partial order in the variables $α,β,γ,α',β',γ'$. Moreover, we show that the sequence of the corresponding row-generating polynomials $(P_n(x;μ))_{n\ge 0}$ is strongly log-convex with the coefficientwise partial order in the variables $x$ and $α,β,γ,α',β',γ'$. Finally, we show that this sequence is coefficientwise Hankel-totally positive of order 2 with the same partial order.

Let $G$ be a simple graph with cover ideal $J(G)$ in a polynomial ring $S$ in $|V(G)|$ variables. For a matching $M$ of $G$, we denote by $\ell(M)$ the length of the longest $M$-alternating path in $G$. We define $α_t(G)$ to be the maximum size of an ordered matching $M$ of $G$ such that $\ell(M) \le 2t-1$. We then prove that $$\operatorname{depth}(S/J(G)^{(t)}) \le |V(G)| - 1 - α_t(G)$$ for all $t \ge 1$, where $J(G)^{(t)}$ denotes the $t$-th symbolic power of $J(G)$, and that equality holds when $G$ is a forest.

We establish a strict logical separation between two distinct phenomena in orthogonality hypergraphs: chromatic completeness, the possibility of assigning a single globally consistent nondegenerate spectrum to all contexts, and geometric coordinatizability, the existence of a faithful orthogonal representation by rays. A strong chromatic number larger than the Hilbert-space dimension obstructs only the former. It does not, by itself, obstruct the existence of a faithful orthogonal representation. We make this separation explicit by comparing two three-dimensional examples with the same strong chromatic number. A completed 25-ray version of the Yu-Oh configuration has strong chromatic number four and nevertheless possesses an explicit faithful orthogonal representation in R^3. Conversely, Greechie's G_{32} hypergraph also has strong chromatic number four, and has a separating and unital set of two-valued states, but we give an elementary algebraic proof that it admits no faithful orthogonal representation in C^3. The obstruction in G_{32} is therefore not chromatic but projective-geometric: the incidence relations force two distinct atoms to collapse onto the same ray.

A classical theorem of Andrásfai, Erdős, and Sós states that every $n$-vertex graph $G$ with odd girth at least $2k+1$ and minimum degree $δ(G)>\frac{2n}{2k+1}$ is bipartite (i.e., homomorphic to $K_2$). Messuti and Schacht proved that the same odd girth condition with $δ(G)>\frac{3n}{4k}$ forces a homomorphism to $C_{2k+1}$. In this paper, we strengthen the above results by showing that every $n$-vertex graph $G$ with odd girth at least $2k+1$ and minimum degree $δ(G)>\frac{4n}{6k-1}$ is homomorphic to the Möbius ladder on $4k$ vertices. This answers a question of Messuti and Schacht and generalizes a result of Brandt and Ribe-Baumann.

A dissociation set in a graph is a subset of vertices that induces a subgraph of maximum degree at most one, which is a natural generalization of the notion of an independent set. The dissociation number of a graph is defined as the maximum cardinality of a dissociation set. This paper studies the minimum spectral radius of connected graphs with a given order $n$ and a given dissociation number $ψ$. For $ψ=n-k$ with $k\ge 4$ fixed and $n$ sufficiently large, we establish both upper and lower bounds for this minimum spectral radius and prove the extremal graphs must belong to a specific graph class.

Starting from the stability theorem of Erdős and Simonovits, stability problems for graphs forbidding a fixed subgraph have been studied in terms of edge numbers, spectral radii and subgraph counts. Let $\mathcal{N}(F,G)$ denote the number of unlabeled copies of $F$ in $G$. It is known that, for every fixed path $P_t$ and even cycle $C_{2a}$, the maximum number of copies in an $n$-vertex $C_{2\ell+1}$-free graph is attained by the bipartite Turán graph $T_{n,2}$. In this paper we obtain strong structural stability for $C_{2\ell+1}$-free graphs in terms of copies of paths and even cycles. For fixed $\ell\ge2$ and $3\le r\le2\ell-1$, we show that if an $n$-vertex $C_{2\ell+1}$-free graph contains at least as many copies of $P_t$ or $C_{2a}$ as the corresponding suspended extremal construction, then it has the corresponding suspension structure. This gives exact high-chromatic extremal theorems for paths and even cycles. We also prove a counting theorem for nearly complete bipartite graphs. It shows that, for every fixed matching-admissible connected bipartite graph $F$, both imbalance between the two parts and missing cross-edges decrease the number of copies of $F$ by a term with a specified main coefficient. This theorem is independent of the forbidden odd cycle and converts subgraph-count assumptions into the edge bounds needed for the structural theorem.

For an integer $L$, write $C_{\ge L}$ for the family of cycles of length at least $L$. For $L=2a$ let $H(n,L)=K_a+\overline K_{n-a}$, and for $L=2a+1$ let $H(n,L)$ be obtained from $K_a+\overline K_{n-a}$ by adding one edge inside the independent part. We prove sharp results for two even target graphs, namely even cycles $C_{2s}$ and even paths $P_{2r+1}$. For even cycles, with $s\ge3$ and $L\ge2s$, we have \[ \mathrm{ex}(n,C_{2s},C_{\ge L+1})=C_{2s}(H(n,L)) \] for all sufficiently large $n$. Together with the known $C_4$ case of Zhu, Győri, He, Lv, Salia and Xiao~[Bull. Lond. Math. Soc. 55 (2023)], this verifies the even-cycle case of their conjecture on $\mathrm{ex}(n,C_k,C_{\ge L+1})$. For even paths, with $r\ge2$ and $L\ge2r$, we have \[ \mathrm{ex}(n,P_{2r+1},C_{\ge L+1})=N(P_{2r+1},H(n,L)) \] for all sufficiently large $n$. We also derive the corresponding exact results when the forbidden graph is a path $P_{p+1}$, sharpening the relevant even-cycle and even-path asymptotic results of Győri, Salia, Tompkins and Zamora~[Discrete Math. Theor. Comput. Sci. 21 no. 1 (2019)].

Addressing a question posed by Erdős and Hajnal, Chen and Ma proved that, for all $n \ge 600$, the complete bipartite graph $K_{n,n+1}$ is the unique graph on $2n+1$ vertices with at least $n^2+n$ edges that contains no two vertices of equal degree joined by a path of length three. In this paper, we extend this result and prove that for every fixed integer \(\ell\ge 2\) and sufficiently large \(n\), the unique \(2n\)-vertex graph with at least \((n^2+n)/2\) edges that contains no two vertices of equal degree joined by a path of length \(2\ell\) is the half graph \(H_n\). This resolves the problem posed by Chen and Ma, as well as a related question of Attwa, Azócar Carvajal, Boyadzhiyska, Pierron, and Taraz concerning paths of even length with equal-degree endpoints.

Let $f_r(k)$ be the smallest $n$ such that every $r$-coloring of $\{1,2,\ldots,n\}$ has a monochromatic solution to the equation \[\frac{1}{x_1}+\frac{1}{x_2}+\cdots+\frac{1}{x_k}=\frac{1}{x_{k+1}}, \] where $x_1,x_2,\ldots,x_k$ are not necessarily distinct. In this paper, we prove that $f_r(2)\geq 4^r/2$ for all $r\geq1$, and $f_r(k)\geq(2^r-1)k^r$ for all $k\geq3$ and $r\geq1$. When $r=2$, we show that, if $k=3\cdot2^m$ for some positive integer $m$, then $f_2(k)=3k^2$; and if $k=p^m$ for some odd prime number $p$ and positive integer $m$, then $f_2(k)\geq3k^2+1$. We also provide new computational results for $f_2(k)$ and $f_3(k)$, as well as a generalization of our lower bounds for $f_2(k)$ to equations with general coefficients.

The Alon--Tarsi number $AT(G)$ of a graph $G$, defined via the graph polynomial, is a strengthening of the list chromatic number $χ_{\ell}(G)$. We study the Alon--Tarsi number of squares of planar graphs. The square of a graph $G$ is the graph obtained by joining every pair of vertices whose distance in $G$ is at most $2$. Recently, Kim and Luo (2026) proved that $χ_{\ell}(G^2)\le 6$ for every subcubic planar graph containing no $k$-cycles for $4\le k\le 8$. We strengthen this result by proving that $AT(G^2)\le 6$ for every such graph $G$.

We prove a sparse embedding theorem for induced embeddings of bounded-degree graphs. The theorem applies to pairs $G\subseteq Γ$: the graph $G$ supplies the positive edges of the target graph, while the ambient graph $Γ$ supplies the induced constraints which must be avoided. Its main feature is that these two types of constraints are kept separate throughout the embedding process. As an application, we show that, for every fixed $Δ,r\ge2$, there are constants $A,C>0$ such that every $n$-vertex graph $H$ with maximum degree at most $Δ$ satisfies $r_{\text{ind}}(H;r)\le C n^{Δ+2}(\log n)^A$. This improves the exponent in the polynomial bound of Conlon, Fox and Zhao for bounded-degree induced Ramsey numbers. The proof combines the aforementioned embedding theorem with a sparse random transference argument, in which the random host is used only to certify robust deterministic hypotheses for every colour class.