arXiv++ Combinatorics

For a graph $G,$ let $α(G)$ denote its second smallest Laplacian eigenvalue. The Laplacian Spread Conjecture is that $α(G)+α(\overline{G}) \geq 1,$ where $\overline{G}$ is the complement of $G.$ In this article, we provide a new proof of the Laplacian spread conjecture by means of linear algebra, which is more concise.

We show that the submonoids of the tied-symmetric monoid containing the symmetric group form a distributive lattice. Furthermore, we determine a minimal generating set for any such submonoid.

Let $π=(<_D,<_A)$ be a pair of distinct orders on a $k$-letter alphabet $A. $ The periodic trajectories $v_i^\infty $ of a discrete $k$-interval exchange transformations $T$ with permutation $π$ are characterized by the following order symmetry : $v_i^ω<_D v_j^ω$ (lexicographically) if and only if $v_i^{-ω}<_Av_j^{-ω}$ (reverse lexicographically). For general words $u$ and $v$ over $A$, the orders need not agree in which case either $u^ω<_A v^ω<_D u^ω$ (Type 1) or $v^ω<_A u^ω<_D v^ω$ (Type 2). We partition all such order crossings amongst the set of conjugates of two words $u$ and $v$ into disjoint families $T_1(u,v)$ and $T_2(u,v)$ and define the index $i(u,v)$ by $|T_1(u,v)|+|T_2(u,v)|.$ Remarkably the difference, $|T_2(u,v)|-|T_1(u,v)|,$ depends only on the Parikh vectors $λ(u)$ and $λ(v).$ We show that $|T_2(u,v)|-|T_1(u,v)|=λ(u)^T Ωλ(v)$ where $Ω$ is a $k\times k$ skew symmetric matrix depending only on $π.$ It follows that the Parikh vectors of the trajectories of a discrete interval exchange are orthogonal with respect to $Ω.$ Applied to dimension $3,$ we obtain an arithmetic formula for the number of orbits in a discrete $3$-interval exchange and hence a characterization of minimality. For general $k,$ the orthogonality of the trajectories gives an upper bound $\lfloor \frac{k+d}2 \rfloor$ on the number of distinct trajectories where $d=\dim \ker (Ω).$ If $T$ is symmetric, then the number of distinct trajectories is at most$\lfloor \frac{k+1}2 \rfloor.$ An alternate interpretation of this result is that on an ordered $k$-letter alphabet, there are at most $\lfloor \frac{k+1}2 \rfloor$ primitive, pairwise non conjugate perfectly clustering words which perfectly cluster collectively in a single array in which all their conjugates are arranged in increasing order.

For positive integers \(m,n\), the partial permutohedron $\mathcal{P}(m,n)$ is a lattice polytope constructed as the convex hull of vectors in $\{0, 1, \dots, n\}^m$ that have distinct non-zero entries. We prove that for $n \ge m-1$, the Ehrhart polynomial of $\mathcal{P}(m,n)$ is magic positive except for the single case \((m,n)=(2,1)\). In particular, the Ehrhart polynomial of the parking function polytope (integrally equivalent to $\mathcal{P}(m,m-1)$) is magic positive for $m \ge 3$. For $n<m-1$, we discuss the magic positivity of the Ehrhart polynomial of $\mathcal{P}(m,n)$ for $n=1,2,3$. There exist infinitely many counterexamples with $n<m-1$ showing that the Ehrhart polynomial of $\mathcal{P}(m,n)$ is not magic positive. This partially resolves an open problem proposed by Ferroni and Higashitani.

For graphs $F$ and $H$, let $\ex(n,F,H)$ denote the maximum number of copies of $F$ in an $n$-vertex $H$-free graph. Gerbner, Győri, Methuku and Vizer proved that $\ex(n,C_6,C_8)=Θ(n^3)$ and predicted that the unrestricted problem should have the same first-order asymptotics as the bipartite one. We determine the exact value for all sufficiently large $n$, showing that \[ \ex(n,C_6,C_8)=6\binom{n-3}{3}+12(n-5). \] Moreover, the unique extremal graph is $K_3\vee (K_2\cup I_{n-5})$. The main new ingredient is a codegree decomposition for $C_8$-free graphs: a packing lemma for triangles in the linear-codegree graph recovers an almost spanning common neighborhood, and a defect-absorption argument upgrades this stability to the exact extremal graph.

An edge of a graph \emph{dominates} itself and each edge adjacent to it. A \emph{perfect edge dominating set} is a subset of edges such that each edge outside the subset is dominated by exactly one edge of the subset. In this article, we characterize the extremal graphs on $n$ vertices in the classes of trees, forests, and chordal graphs with respect to the number of perfect edge dominating sets. Moreover, we derive linear-time algorithms for counting perfect edge dominating sets and for counting dominating induced matchings in generalized series-parallel graphs and chordal graphs.

We study characteristic polynomials of arrangements obtained from the full $m$-Catalan arrangement by deleting hyperplanes indexed by graphs, digraphs, and gain-labeled digraphs. Zero-layer graph deletions give falling-factorial expansions with graphical Stirling coefficients. For a single deleted translated layer $x_i-x_j=l$, the coefficients are directed matching numbers when $1\le l\le\lfloor m/2\rfloor$, and directed path-cover numbers when $\lfloor m/2\rfloor<l\le m$. For simultaneous deletions in several translated layers, the coefficients are admissible sets of deleted gain-labeled arcs. In the case $l=m$, an inclusion-exclusion expansion yields a Lah-number identity relating path covers of a digraph and its complement. We also obtain an $m$-independent criterion for integer linear factorization, compact region-count formulas for a complete bipartite orientation after essentialization, and directed Ish-type applications.

We study skew double-shifted plane partitions with three-element profiles using MacMahon's partition analysis. We present new generating function formulas for these partitions, incorporating an extra bound on the number of non-zero diagonal elements. These objects are closely related to the Göllnitz-Gordon and little Göllnitz identities. Moreover, we investigate some infinite hierarchies of $q$-series identities that stem from our formulas. We also observe certain palindromic properties within these generating functions. Finally, we examine these same objects from the perspective of linear partitions, which leads to interesting new $q$-series identities.

We derive the equality between one-dimensional sums associated with tensor products of Kirillov-Reshetikhin column crystals of classical affine types and Lusztig q-analogues of weight multiplicities. The matching of the corresponding root systems is suggested by Howe duality. Our main tool is the dual Cauchy formula for Koornwinder polynomials due to Mimachi, which we combine with specializations in these polynomials. The mentioned dualities are proved for one-dimensional sums of all (twisted and untwisted) classical affine types except types B_n^(1) and D_n^(1). On another hand, all the Lusztig q-analogues of classical type are covered by our dualities, but they may have different parameters depending on the length of the roots in the underlying root system.

Russell recently introduced a family of three-colored partitions in analogy with earlier work by Alladi and Gordon. He showed that their enumerations are surprisingly connected to the classic Rogers-Ramanujan identities. Using the method of linked partition ideals, we elaborate on Russell's results by further counting each part color. Unlike Russell's proofs, our arguments do not require any use of computer algebra systems. With these multivariate generating function relations, we are led to confirm a conjecture of Russell. Furthermore, our results offer a combinatorial understanding of a new triple Rogers-Ramanujan type identity.

Ample sets of hypercubes, introduced by A. Dress in 1995, constitute a combinatorial structure with rich properties and important examples. Ample sets can be characterized in a multitude of combinatorial, graph-theoretical, recursive, and geometrical ways, and they are equivalent to lopsided sets introduced by J. Lawrence in 1983. In this paper, we define and investigate ample sets of Cartesian products $U=U_1\times\cdots\times U_m$. This is done using minor-subproducts of $U$, which correspond to products of partitions of factors: each minor-subproduct is obtained by partitioning each $U_i$ into blocks and contracting blocks into singletons. For a minor-subproduct $M$ and a set $S$, we define the notions of shattering of $M$ by $S$, of copy of $M$ in $S$, of projection $S_M$ of $S$ on $M$, and of strong-projection $S^M$ of $S$ on $M$. We call a set $S$ \emph{ample} if for any minor-subproduct $M$ that is shattered by $S$, there exists a copy of $M$ included in $S$. We prove that several characterizations of ample sets can be extended to ample sets of Cartesian products. In particular, we show that ampleness of $S$ is equivalent to the ampleness of the complement $S^*$, to superisometricity (isometricity of $S^M$ for any minor-subproduct $M$), and commutativity $(S^M)_{M'}=(S_{M'})^M$ for all minor-subproducts $M,M'$ with disjoint supports. We also provide more efficient characterizations of ampleness, in particular, by showing that $S$ is ample iff S is isometric and both $S_e$ and $S^e$ are ample for some elementary minor-subproduct, iff the intersection of S with any interval [u,v] with u,v in S is ample in the classical sense. We characterize ampleness by push downs and provide a decomposition theorem, allowing us to prove that their prism complexes are contractible. We provide new examples of ample sets arising from payoff games, prism-like polyhedra, and quasi-median graphs.

In the binary trust-gossip dynamics, $n$ agents each hold a directed binary opinion, trust or distrust, of every other agent, and a gossip step lets one agent copy another agent's opinion of a third whenever the copier trusts the source. We prove that under any fair schedule of such steps, every trajectory reaches an absorbing state in finitely many steps, one in which no gossip step changes any opinion; in particular, there are no limit cycles. The proof is constructive and rests on a single descent measure: the number of ordered pairs of distinct agents linked by a chain of trust. Trust-adding gossip leaves this count unchanged and trust-removing gossip can only lower it, so it never rises, and it is zero only at the all-distrust state. From any non-absorbing state we exhibit a finite run of steps that reaches an absorbing state or strictly lowers the count; since the count is a non-negative integer at most $n(n-1)$, the process halts at an absorbing state.

Eternal domination is a process in which a set of guards occupying a dominating set on a graph protects against an infinite sequence of attacks. After a vertex is attacked, one guard must move along an edge to the attacked vertex and each of the remaining guards may move along an edge so that the guards again occupy a dominating set on the graph and can defend the next attack. The minimum number of guards needed in a graph $Γ$ is the eternal domination number, denoted by $γ_{\mathrm{all}}^\infty(Γ)$. In this paper, we show that the eternal domination number of a vertex-transitive graph with an efficient dominating set is equal to its domination number. We show that a Cayley graph on a generalized dihedral group whose connection set contains few or many reflections is efficiently dominated. Then, we provide an infinite family of connected Cayley graphs for which $γ_{\mathrm{all}}^{\infty}(Γ) = γ(Γ)+1$, generalizing a result of [Braga et al., J. Combin. Math. Combin. Comput. 96 (2016), 13--22]. Finally, we build an infinite family of connected Cayley graphs with $γ_{\mathrm{all}}^\infty(Γ) \geq γ(Γ)+2$.

Bergeron's conjecture states that, if $1\leq a<b<c<d$ are integers with $ad=bc$, then one has the coefficient-wise inequality ${\binom{b+c}b}_q \ge {\binom{a+d}a}_q$ among two Gaussian polynomials. It originated in algebraic combinatorics and is wide open. The corresponding inequality for binomial coefficients (i.e., the case $q=1$) must be known to experts, but we could not find it in the literature. We give two proofs, each generalizing the statement in a separate direction. Binomial coefficients (and Gaussian polynomials) are fundamental combinatorial objects, and so one naturally hopes to see a combinatorial proof of this inequality. However, this seems hard to come by. We nevertheless give a combinatorial proof of a special case.

Modern supply chains span diverse operational environments, ranging from e-commerce distribution networks to customized production-to-order manufacturing lines. Across these settings, operational efficiency depends on coordinating two highly interdependent stages: order preparation and downstream delivery. Although these stages are traditionally managed in isolation, real-world fulfillment systems must satisfy stringent delivery expectations under dynamic stochastic order arrivals. To bridge this gap, we introduce the Dynamic Order Fulfillment Problem (DOFP), a new problem class unifying logistical challenges previously studied separately. We model DOFP as a Markov decision process whose state and decision spaces are partitioned into preparation and delivery sub-spaces, linked by synchronization constraints. While recent approaches attempt to optimize both fulfillment stages simultaneously over myopic rolling horizons, our framework isolates and optimizes the downstream delivery policy, treating preparation strictly as a state-level constraint filter. To solve this, we develop the Decomposition-Driven Framework with Value Function Approximation (DDF-VFA), which utilizes a novel policy-level decomposition. This design partitions the search into a delivery-stage master problem and a preparation-stage compatibility subproblem, iteratively refined via feedback loops. DDF-VFA executes this strategy by combining a large-neighborhood search over partial delivery decisions with a neural-network value function approximation for the cost-to-go. Numerical illustrations on two example variants using real-world datasets show that DDF-VFA consistently outperforms benchmarks that optimize the two stages independently or jointly without decomposition. Finally, the framework naturally scales to accommodate additional real-world complexities such as batched or multi-stage preparation.